+
j. ^ RI Ht ^ RIHtHtHt ^ RIHt ^ RIH t H
t
^ RI H t ^ RI
Ht ^ RIHt ^ RIHtHt R U u. uF p ]
! V 4 NK
up w ttttttttR t R
t R t R t R
t R t!R t"R t#R t$R t%R t&R t'R t(R t)R# u up i ) )Mul)IIntegerRational)Symbol)rootsqrt)cos)Integral)
sqrtdenest)_subsets_sqrt_numeric_denestc \ ^^\ , , 4 \ \ , \ R^\ , , 4 \ R^\ , , 4 \ R^\ ^^\ , , 4 , , 4 \ R^\ , , ^\ , , 4 \ \ 4 \ \ 4 \ ^\ , 4 \ ^\ , 4 \ ^\ ^^\ , , 4 , 4 ^\ , ^^\ , , \ ^^4 , , ^\ ^^\ , , 4 , , \ \ ^^\ , , 4 , ^^^\ , , \ ^^4 , , , , \ ^^\ , , 4 ^\ ^^4 , \ ^, ^\ , ^, , , ^, /p V F p\
V4 W, 8X d K Q V4 h R# ) g @N)r r6r2r3r7r r )dis e/home/luca/screen-checking/.venv/lib/python3.14/site-packages/sympy/simplify/tests/test_sqrtdenest.pytest_sqrtdenestr sv
a!b&j 27 R!b&[4QV , R!DQV$$
$%tC!B$J2,='> R$r( QV d1r6l Qa!B$h
2q1R4x(1a.( (!DQrTN*: ; DQrTN Aq1R4x(1a. 8 8 9
: Q2X8Aq>)2a4!B$q&=9!; =A !}$'a'$ c \ \ ^^\ , ,
^\ ^7^
\ , ,
4 , , 4 4 \ \ ^ ^\ , ,
4 , 8X g Q h\ \ ) \ R\ , ^\ R\ , ^7, 4 , , ^, 4 , 4 p \ V 4 \ R\ , ^ , ^4 8X g Q h\ ^\
, 4 p\ \ ^V, 4 4 \ ^V, 4 8X g Q h\ ^\ ^^\ ^\ , \ , 4 , , 4 , ^, P 4 4 p \ V 4 ^\ ^^\ \ \ , ^, 4 , , 4 , 8X g Q h\ \ ^\ , ^\ , , 4 4 \ ^4 \ ^^4 , \ ^^4 ^, , 8X g Q h\ \ ^\ , \ ^\ , 4 , ^, P 4 4 4 ^\ , \ ^\ , 4 , 8X g Q h\ \ ^\ , \
, \ ^\ , 4 , ^, P 4 4 4 ^\ ^\ , 4 , \ , \
, 8X g Q h\ ^\ ^4 , \ ^4 , \ ^\ , 4 , ^, P 4 4 p \ V 4 \ ^4 \ ^4 , ^, \ ^\ , 4 , 8X g Q h\ R\ , ^\ , \ R\ , ^ , 4 , , ^, 4 p \ V 4 \ R\ , ^\ , ,
^\ , , ^, 4 8X g Q h\ R\ , \ ^4 , ^\ R\ , ^7, 4 , , ^, 4 p\ V4 V8X g Q h\ \ \ \ ^4 , 4 4 \ \ \ ^4 , 4 8X g Q h\ ^^\ ^ 4 , ,
^\ ^7^
\ , ,
4 , , 4 p\ V4 V8X g Q hR# ) N) r r r29r5r r r expandr r
r10r )erzs r test_sqrtdenest2r% s d2#:$rBsF{*;(;;< =
T"qu*
bS434C" #5!55:;
;?A a=AQ4R! +<)<%< = = == = d1R4!B$;' ( QQ
T!QZ]* + + + dQVd1r6l 2Q 6>>@A B Ba"f dQVb[4B< 7! ;CCEF G DRL2 " # # #
q3q6zCF"T!b&\1A5
=
=
?@A a=CFSVOa /$q2v, > >> > RVad43 ,,
,r
12A a=DC!B$ 2!5!: ; ;; ;
RVc!f_qc#gl!3 3
3b
89A a=A d2R=) *d2R=.A AA A R!DH*_qb2c6k!2 2
23A a=A r c \ \ R\ ^4 , ^\ , ,
^\ ^4 , , ^!, 4 4 \ ) \ , ^\
, , 8X g Q h\ \ R \
, ^\ , ,
^\ ^#4 , , ^R, 4 4 R
\ , ^\
, , 8X g Q h\ \ ^\ , ^ , ^\ ^4 , ^ , , ^\ ^ 4 , ^ , , ^, 4 4 \ ^ 4 \ ^, \ ^ 4 , , ^ , 8X g Q h\ \ R\ , R\ , , R\ , , R, 4 4 ^ \ , ^, ^8\ , , 8X g Q h\ R \ , ^b\ ^s4 , ,
^b\ R4 , ,
R,
4 p \ V 4 \ R 4 ^\ , ^\ , , ^\ ^4 , , , 8X g Q h\ R\ ^4 , ^\ , ,
^\ ^4 , , ^", 4 p \ V 4 V 8X g Q h\ \ R
\ , ^\ , ,
^, 4 4 \ ) ^, \ , \ , 8X g Q h\ \ ^\ , ^\ , , ^,
4 4 \ R 4 \ ) ^, \ , \ , , 8X g Q h\ \ ^\ , ^, ^\ , ^, , \ ^^ 4 , 4 4 \ ) ^, \ , \ , ^, 8X g Q h\ \ \ ^\ , ^, 4 \ ^\
, ^, 4 , 4 4 \ ^\ , \ , \
, 4 8X g Q h\ \ ^\ , ^\ , , ^ \ , , ^, 4 4 ^\ , \ , \ , 8X g Q h^\ , \ , \ , \
, p\ \ V^, P 4 4 4 V8X g Q h\ V^, P 4 ^, 4 p \ V 4 V 8X g Q h\ ^\ , ^\ , , ^\ , , ^ , ^
\ , , ^ \ , , 4 p \ V 4 V 8X g Q hR# ) i i i` iM iY i; Niii) r r r r r r r r15r! r r )r$ ws r test_sqrtdenest_recr- @ s d2d2h;2-$r(
:R?@ A b1R4 d3r6BrE>Ad2hJ6;< =
R!B$ d1R47QtBxZ]2QtBxZ]BQFG H R"q&48#$R' ( ( ( d3r6DG+d2g5=> ? "r BrE T"Wr$s)|
#bcl
2T
9:A a=DHadQsUlQtBxZ&? @ @@ @ RR[1R4
!DH*
,r
12A a=A d2b51R4<",- .3$(R-"2D DD D d1R4!B$;+, - R3$(R-"$% & & & d1R46BrE!G+hsA.>>? @ Q b1 d4"q>D2N:; < QVb[2
d1S51R4<"R%/"45 6!b&2+:K KK K B b2 A dAqD==?+ , 11 1 ad]]_q
!A a=A QsUQrT\AbD
2
%3
.B
67A a=A r c \ R^ \ ^4 , , ^@\ , , 4 p \ V 4 V 8X g Q hR# )i@ Ni)r r+ r )r$ s r test_issue_6241r/ _ s4 dRQZ "S&()A a=A r c
\ ^
^\ , ,
^\ , \ R\ , ^ , 4 , , 4 p \ V 4 R\ , \ , 8X g Q h\ V ^R7 R\ ^4 , \ ^
4 , 8X g Q h\ \ \ ^, 4 ^, 4 p \ V 4 V 8X g Q h\ \ R\ , ^\ , \ R\ , ^ , 4 , , ^, 4 4 \ R\ , ^\ , ,
^\ , , ^, 4 8X g Q h\ \ ^p^F\ , , ^.^"\ , , \ , , 4 4 \ ^, ^\ , , ^\ , , 8X g Q h\ ^\ ^\
, ^, 4 \ R\ , ^\ R\ , ^7, 4 , , ^, 4 , , 4 p \ R\ , ^ , 4 p\ V 4 \ \ V, \ V, , \ , \ , ^, 4 8X g Q h\ ^\
, ^, ^\ , ^, , ^\ ^*4 , ^, , ^, 4 p\ ^^\ , ,
^\ ^7^
\ , ,
4 , , 4 p\ W#, 4 \ ^\
, \ , , \ ^\ R\ , ^ , 4 \ , RR7 , 8X g Q hR# )
)max_iterF)evaluateNr r) r ) r r! r r r r r r r+ r r )r$ r# nr s r test_sqrtdenest3r5 d s~ R!C%Z!B$tBsFRK 00
01A a=BGcM )) ) a! $T!W tBx(? ?? ? T"q&\A
A a=A d2c6AbDbfrk):$::R?@ A RVad]QrT
!B
&' ( ( ( dC"R%KBBJ?:; < a!B$2 QadQh RVaSWr\0B.B%BR%G HH
HIA RVb[A a=DA1s!2S!81!< = == = QrT!Vad1f_qbz!|
+a
/0A R!C%Z!Dbf --
-.A ac?b!b&2+ .ARVb[8IB8N=B1D E E E Er c \ ^\ \ ^\ ,
4 , ,
\ ^4 ^\ , , ,
4 p \ V 4 p\ \ ) ^, 4 p\ ) V, \
V, ,
V, \ V, , \ ,
\ ,
\ , \ ^ 4 , ^, P 4 p\ V 4 V8X g Q h\ ^\ , \ \ ^, 4 , ^\ , , ^\ \ ^, 4 , , ^, 4 p \ V 4 \ \ \ ^, 4 , ^, 8X g Q h^\ , \
, ^\
, \ ^\ , ^\
, , 4 , , p\ V^, P 4 4 p \ V 4 VP 4 8X g Q hR# ) N) r r r r r+ r r r! r )r$ z1cr, s r test_sqrtdenest4r: x sV QDRL
47AF#3
34A A B bS1W
A 46BqD=1 r!t #b (2 - 3d2h >
A I I KB a=B QrT$rAv,
2
%$rAv,
6
:;A a=Bb1f - 1 11 1 B q2vtAFQrTM 222A ad]]_ A a=AHHJ && &r c F \ R 4 p \ ^\ \ ^V , 4 ^, 4 , ^, P 4 4 p\ V4 \ ^\ \ ^V , 4 ^, 4 , ^, 4 8X g Q h\ ^\ \ ^\ ^4 , 4 ^, 4 , ^, P 4 4 p\ V4 ^\ \ ^\ ^4 , 4 ^, 4 , 8X g Q h^\ ^4 , ^, ^, P 4 p\ V4 V8X g Q h\ ^\ \ ^\ ^V , 4 , 4 ^, 4 , ^, ^, P 4 4 p\ V4 V8X g Q h\ ^4 pV^, p\ \ ^\ ^\
, 4 , V, V, ^, \
V, , 4 4 R\ ^\
, 4 V, ,
8X g Q h\ ^\
, 4 p\ ^V, \ ^^\
, , 4 , ^ \
, V, \ ^^\
, , 4 , , ^@\
, , ^p, 4 p\ V4 V8X g Q hR# )xNr) )r r r r r
r )r< r$ r9 c2ras r test_sqrt_symbolic_denestr? s s A q4QU a((1,
4
4
67A a=D!d4A;?&;";a!? @ @@ @ q4QQZ(1,--1
9
9
;!+b014r"u<= >
T!b&\!^
a"f B RU4AbD>
!BrE"HT!ad(^$;
;be
Cc
IJA a=A r c p ^ RI Hp Hp \ ^^\ , ^, , ^, 4 p\
\ , \ ^, , p\ V4 V8X g Q h\ ^V, 4 ^V, 8X g Q h\ \ V^, V ^^34 4 \ ^V, V ^^34 8X g Q h\ V \ V4 , 4 V \ V4 , 8X g Q h\
\ , \ ^, , p\ V4 V8X g Q h\ ^V, 4 ^V, 8X g Q h\ \ V^, V ^^34 4 \ ^V, V ^^34 8X g Q h\ V \ V4 , 4 V \ V4 , 8X g Q hR# )r )r< yN) sympy.abcr< rA r r r r r r )r< rA r$ anss r test_issue_5857rD s\ Q"q\A
A
7R!V
C a=C a!e C '' ' hq1uq!Qi0 1S1a)$ % % % a$q'k "a$q'k 11 1
7R!V
C a=C a!e C '' ' hq1uq!Qi0 1S1a)$ % % % a$q'k "a$q'k 11 1r c \ ^4 ^..8X g Q h\ ^4 . RO. RO. RO. RO. RO. RO. RO. R O. R
O. R O. R O. R
O. RO. RO. RO.8X g Q hR# ) N)rF r r r )r rF r r )rF rF r r )r r rF r )rF r rF r )r rF rF r )rF rF rF r )r r r rF )rF r r rF )r rF r rF )rF rF r rF )r r rF rF )rF r rF rF )r rF rF rF )rF rF rF rF )subsets r r test_subsetsrI sX 1:1# 1:lL, lL, lL, N N N Nr c \ \ ^\ ^\ ^4 , 4 , 4 4 \ ^\ ^\ ^4 , 4 , 4 8X g Q hR# ) N)r r rH r r test_issue_5653rL sP Qa$q'k"
"# %(,Qa$q'k1B-B(C D D Dr c j \ ^\ ^4 \ ^^\ , , 4 , ,
^\ , , ^, 4 \ 8X g Q h^\ ^4 \ ^\ , 4 , ,
^\ , , p \ V 4 V 8X g Q hR# ) N)r r r r" s r test_issue_12420rP ss q474AaC=001Q369 :a ?? ? DGDQK !A#%A a=A r c \ \ ^\ , 4 \ ^^\ , , 4 , \ ^
^\ , , 4 ,
4 ^ 8X g Q hR# )rF N)r r r rH r r test_sqrt_ratcombrR s? d1r6lT!ad(^3d2"9oE F! KK Kr c \ R^\ ^4 , \ , , 4 ) p \ V 4 R\ ^4 \ , ,
8X g Q hR# )rK Nr r) )r r r rO s r test_issue_18041rT s>
b1T!W9Q; A a=BaN ** *r c \ R4 p \ R4 p\ ^?4 pW , W, V, ,
p\ WW#4 \ ^4 \ , ^, ^\ ^4 , \ , ^, , 8X g Q h\ \ R\ ^?4 ,
4 4 \ ^4 \ , ^, ^\ ^4 , \ , ^, , 8X g Q hR# )r7 Nr* r) )r r r r r )abr# d2s r test_issue_19914rY s A A A
qs1uB a , R
1 qay{1}$ % % % d2d2h;' (DHQJqL1T!W9Q;q=,H HH Hr N)rK rN r
)*sympy.core.mulr sympy.core.numbersr r r sympy.core.symbolr (sympy.functions.elementary.miscellaneousr r (sympy.functions.elementary.trigonometricr
sympy.integrals.integralsr sympy.simplify.sqrtdenestr r
rG r r r r r r r! r+ r r r% r- r/ r5 r: r? rD rI rL rP rR rT rY )r< s 0r rf s 5 5 $ A 8 . 0/72 %3 72T!W 72 %3 !BBCc ( F >
E(
' &2"ND
L+Is%3s B