20.116 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.040 * * * [progress]: [2/2] Setting up program. 0.044 * [progress]: [Phase 2 of 3] Improving. 0.044 * [simplify]: Simplifying using # : (* (/ 1.0 2.0) (+ x (* y (sqrt z)))) 0.045 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 0.046 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 0.049 * * [simplify]: iteration 2 : 45 enodes (cost 10 ) 0.055 * * [simplify]: iteration 3 : 65 enodes (cost 10 ) 0.064 * * [simplify]: iteration 4 : 91 enodes (cost 10 ) 0.082 * * [simplify]: iteration 5 : 110 enodes (cost 10 ) 0.098 * * [simplify]: iteration 6 : 122 enodes (cost 10 ) 0.116 * * [simplify]: iteration done : 122 enodes (cost 10 ) 0.117 * [simplify]: Simplified to: (* (/ 1.0 2.0) (+ x (* y (sqrt z)))) 0.117 * * [progress]: iteration 1 / 4 0.117 * * * [progress]: picking best candidate 0.122 * * * * [pick]: Picked # 0.122 * * * [progress]: localizing error 0.130 * * * [progress]: generating rewritten candidates 0.130 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2) 0.136 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.139 * * * [progress]: generating series expansions 0.139 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2) 0.140 * [approximate]: Taking taylor expansion of (* (sqrt z) y) in (y z) around 0 0.140 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z 0.140 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.140 * [taylor]: Taking taylor expansion of z in z 0.140 * [taylor]: Taking taylor expansion of y in z 0.140 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 0.140 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.140 * [taylor]: Taking taylor expansion of z in y 0.140 * [taylor]: Taking taylor expansion of y in y 0.140 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 0.140 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.140 * [taylor]: Taking taylor expansion of z in y 0.140 * [taylor]: Taking taylor expansion of y in y 0.140 * [taylor]: Taking taylor expansion of 0 in z 0.140 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.140 * [taylor]: Taking taylor expansion of z in z 0.140 * [taylor]: Taking taylor expansion of 0 in z 0.140 * [taylor]: Taking taylor expansion of 0 in z 0.141 * [taylor]: Taking taylor expansion of 0 in z 0.142 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in (y z) around 0 0.142 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z 0.142 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.142 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.142 * [taylor]: Taking taylor expansion of z in z 0.142 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.142 * [taylor]: Taking taylor expansion of y in z 0.142 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 0.142 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.142 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.142 * [taylor]: Taking taylor expansion of z in y 0.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.142 * [taylor]: Taking taylor expansion of y in y 0.142 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 0.142 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.142 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.142 * [taylor]: Taking taylor expansion of z in y 0.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.142 * [taylor]: Taking taylor expansion of y in y 0.142 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.142 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.142 * [taylor]: Taking taylor expansion of z in z 0.143 * [taylor]: Taking taylor expansion of 0 in z 0.143 * [taylor]: Taking taylor expansion of 0 in z 0.143 * [taylor]: Taking taylor expansion of 0 in z 0.144 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in (y z) around 0 0.144 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in z 0.144 * [taylor]: Taking taylor expansion of -1 in z 0.144 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in z 0.144 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.144 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.144 * [taylor]: Taking taylor expansion of -1 in z 0.144 * [taylor]: Taking taylor expansion of z in z 0.144 * [taylor]: Taking taylor expansion of y in z 0.144 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 0.144 * [taylor]: Taking taylor expansion of -1 in y 0.144 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 0.145 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.145 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.145 * [taylor]: Taking taylor expansion of -1 in y 0.145 * [taylor]: Taking taylor expansion of z in y 0.145 * [taylor]: Taking taylor expansion of y in y 0.145 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 0.145 * [taylor]: Taking taylor expansion of -1 in y 0.145 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 0.145 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.145 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.145 * [taylor]: Taking taylor expansion of -1 in y 0.145 * [taylor]: Taking taylor expansion of z in y 0.145 * [taylor]: Taking taylor expansion of y in y 0.145 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 z))) in z 0.145 * [taylor]: Taking taylor expansion of -1 in z 0.145 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.145 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.145 * [taylor]: Taking taylor expansion of -1 in z 0.145 * [taylor]: Taking taylor expansion of z in z 0.146 * [taylor]: Taking taylor expansion of 0 in z 0.146 * [taylor]: Taking taylor expansion of 0 in z 0.147 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.147 * [approximate]: Taking taylor expansion of (+ (* (sqrt z) y) x) in (x y z) around 0 0.147 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in z 0.147 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z 0.147 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.147 * [taylor]: Taking taylor expansion of z in z 0.147 * [taylor]: Taking taylor expansion of y in z 0.147 * [taylor]: Taking taylor expansion of x in z 0.147 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in y 0.147 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 0.147 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.147 * [taylor]: Taking taylor expansion of z in y 0.147 * [taylor]: Taking taylor expansion of y in y 0.147 * [taylor]: Taking taylor expansion of x in y 0.147 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in x 0.148 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in x 0.148 * [taylor]: Taking taylor expansion of (sqrt z) in x 0.148 * [taylor]: Taking taylor expansion of z in x 0.148 * [taylor]: Taking taylor expansion of y in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.148 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in x 0.148 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in x 0.148 * [taylor]: Taking taylor expansion of (sqrt z) in x 0.148 * [taylor]: Taking taylor expansion of z in x 0.148 * [taylor]: Taking taylor expansion of y in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.148 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 0.148 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.148 * [taylor]: Taking taylor expansion of z in y 0.148 * [taylor]: Taking taylor expansion of y in y 0.148 * [taylor]: Taking taylor expansion of 0 in z 0.148 * [taylor]: Taking taylor expansion of 1 in y 0.148 * [taylor]: Taking taylor expansion of 1 in z 0.148 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.148 * [taylor]: Taking taylor expansion of z in z 0.148 * [taylor]: Taking taylor expansion of 0 in y 0.148 * [taylor]: Taking taylor expansion of 0 in z 0.148 * [taylor]: Taking taylor expansion of 0 in z 0.149 * [taylor]: Taking taylor expansion of 0 in z 0.149 * [approximate]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 x)) in (x y z) around 0 0.149 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 x)) in z 0.149 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z 0.149 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.149 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.149 * [taylor]: Taking taylor expansion of z in z 0.149 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.149 * [taylor]: Taking taylor expansion of y in z 0.149 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.149 * [taylor]: Taking taylor expansion of x in z 0.149 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 x)) in y 0.149 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 0.149 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.149 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.149 * [taylor]: Taking taylor expansion of z in y 0.149 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.149 * [taylor]: Taking taylor expansion of y in y 0.149 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.149 * [taylor]: Taking taylor expansion of x in y 0.149 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 x)) in x 0.149 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in x 0.149 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 0.149 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.150 * [taylor]: Taking taylor expansion of z in x 0.150 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.150 * [taylor]: Taking taylor expansion of y in x 0.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.150 * [taylor]: Taking taylor expansion of x in x 0.150 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 x)) in x 0.150 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in x 0.150 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 0.150 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.150 * [taylor]: Taking taylor expansion of z in x 0.150 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.150 * [taylor]: Taking taylor expansion of y in x 0.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.150 * [taylor]: Taking taylor expansion of x in x 0.150 * [taylor]: Taking taylor expansion of 1 in y 0.150 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 0.150 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.150 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.150 * [taylor]: Taking taylor expansion of z in y 0.150 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.150 * [taylor]: Taking taylor expansion of y in y 0.151 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.151 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.151 * [taylor]: Taking taylor expansion of z in z 0.151 * [taylor]: Taking taylor expansion of 1 in z 0.151 * [taylor]: Taking taylor expansion of 0 in y 0.151 * [taylor]: Taking taylor expansion of 0 in z 0.151 * [taylor]: Taking taylor expansion of 0 in z 0.151 * [taylor]: Taking taylor expansion of 0 in y 0.151 * [taylor]: Taking taylor expansion of 0 in z 0.152 * [taylor]: Taking taylor expansion of 0 in z 0.152 * [taylor]: Taking taylor expansion of 0 in z 0.152 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 x) (/ (sqrt (/ -1 z)) y))) in (x y z) around 0 0.152 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 x) (/ (sqrt (/ -1 z)) y))) in z 0.152 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (sqrt (/ -1 z)) y)) in z 0.152 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.152 * [taylor]: Taking taylor expansion of x in z 0.152 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in z 0.152 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.152 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.152 * [taylor]: Taking taylor expansion of -1 in z 0.152 * [taylor]: Taking taylor expansion of z in z 0.153 * [taylor]: Taking taylor expansion of y in z 0.153 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 x) (/ (sqrt (/ -1 z)) y))) in y 0.153 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (sqrt (/ -1 z)) y)) in y 0.153 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.153 * [taylor]: Taking taylor expansion of x in y 0.153 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 0.153 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.153 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.153 * [taylor]: Taking taylor expansion of -1 in y 0.153 * [taylor]: Taking taylor expansion of z in y 0.153 * [taylor]: Taking taylor expansion of y in y 0.153 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 x) (/ (sqrt (/ -1 z)) y))) in x 0.153 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (sqrt (/ -1 z)) y)) in x 0.153 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.153 * [taylor]: Taking taylor expansion of x in x 0.153 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in x 0.153 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.153 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.153 * [taylor]: Taking taylor expansion of -1 in x 0.153 * [taylor]: Taking taylor expansion of z in x 0.153 * [taylor]: Taking taylor expansion of y in x 0.153 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 x) (/ (sqrt (/ -1 z)) y))) in x 0.153 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (sqrt (/ -1 z)) y)) in x 0.153 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.153 * [taylor]: Taking taylor expansion of x in x 0.153 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in x 0.153 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.153 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.153 * [taylor]: Taking taylor expansion of -1 in x 0.153 * [taylor]: Taking taylor expansion of z in x 0.154 * [taylor]: Taking taylor expansion of y in x 0.154 * [taylor]: Taking taylor expansion of (neg 1) in y 0.154 * [taylor]: Taking taylor expansion of 1 in y 0.154 * [taylor]: Taking taylor expansion of (neg (/ (sqrt (/ -1 z)) y)) in y 0.154 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 0.154 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.154 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.154 * [taylor]: Taking taylor expansion of -1 in y 0.154 * [taylor]: Taking taylor expansion of z in y 0.154 * [taylor]: Taking taylor expansion of y in y 0.154 * [taylor]: Taking taylor expansion of (neg (sqrt (/ -1 z))) in z 0.154 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.154 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.154 * [taylor]: Taking taylor expansion of -1 in z 0.154 * [taylor]: Taking taylor expansion of z in z 0.154 * [taylor]: Taking taylor expansion of (neg 1) in z 0.154 * [taylor]: Taking taylor expansion of 1 in z 0.155 * [taylor]: Taking taylor expansion of 0 in y 0.155 * [taylor]: Taking taylor expansion of 0 in z 0.155 * [taylor]: Taking taylor expansion of 0 in z 0.155 * * * [progress]: simplifying candidates 0.156 * [simplify]: Simplifying using # : (* y (sqrt z)) (+ (log y) (log (sqrt z))) (log (* y (sqrt z))) (exp (* y (sqrt z))) (* (* (* y y) y) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (cbrt (* y (sqrt z))) (cbrt (* y (sqrt z)))) (cbrt (* y (sqrt z))) (* (* (* y (sqrt z)) (* y (sqrt z))) (* y (sqrt z))) (sqrt (* y (sqrt z))) (sqrt (* y (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* y (sqrt (* (cbrt z) (cbrt z)))) (* y (sqrt (sqrt z))) (* y (sqrt 1)) (* y (sqrt (sqrt z))) (* y 1) (* (cbrt y) (sqrt z)) (* (sqrt y) (sqrt z)) (* y (sqrt z)) (* (exp x) (exp (* y (sqrt z)))) (log (+ x (* y (sqrt z)))) (exp (+ x (* y (sqrt z)))) (* (cbrt (+ x (* y (sqrt z)))) (cbrt (+ x (* y (sqrt z))))) (cbrt (+ x (* y (sqrt z)))) (* (* (+ x (* y (sqrt z))) (+ x (* y (sqrt z)))) (+ x (* y (sqrt z)))) (sqrt (+ x (* y (sqrt z)))) (sqrt (+ x (* y (sqrt z)))) (+ (pow x 3) (pow (* y (sqrt z)) 3)) (+ (* x x) (- (* (* y (sqrt z)) (* y (sqrt z))) (* x (* y (sqrt z))))) (- (* x x) (* (* y (sqrt z)) (* y (sqrt z)))) (- x (* y (sqrt z))) (+ (* (pow NAN 3) (* (pow z 2) y)) (+ (* (pow NAN 5) (* (pow z 3) y)) (* NAN (* z y)))) (+ (/ (* (pow NAN 3) y) z) (+ (* NAN y) (/ (* (pow NAN 5) y) (pow z 2)))) (- (+ (* NAN y) (/ (* (pow NAN 5) y) (pow z 2))) (/ (* (pow NAN 3) y) z)) x (+ (* NAN y) (+ x (/ (* (pow NAN 3) y) z))) (- (+ (* NAN y) x) (/ (* (pow NAN 3) y) z)) 0.158 * * [simplify]: iteration 0 : 85 enodes (cost 367 ) 0.175 * * [simplify]: iteration 1 : 214 enodes (cost 336 ) 0.215 * * [simplify]: iteration 2 : 536 enodes (cost 318 ) 0.451 * * [simplify]: iteration 3 : 1490 enodes (cost 305 ) 1.190 * * [simplify]: iteration 4 : 4407 enodes (cost 299 ) 2.466 * * [simplify]: iteration done : 5000 enodes (cost 299 ) 2.466 * [simplify]: Simplified to: (* y (sqrt z)) (log (* y (sqrt z))) (log (* y (sqrt z))) (exp (* y (sqrt z))) (pow (* y (sqrt z)) 3) (* (cbrt (* y (sqrt z))) (cbrt (* y (sqrt z)))) (cbrt (* y (sqrt z))) (pow (* y (sqrt z)) 3) (sqrt (* y (sqrt z))) (sqrt (* y (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* y (fabs (cbrt z))) (* y (sqrt (sqrt z))) y (* y (sqrt (sqrt z))) y (* (cbrt y) (sqrt z)) (* (sqrt y) (sqrt z)) (* y (sqrt z)) (exp (+ x (* y (sqrt z)))) (log (+ x (* y (sqrt z)))) (exp (+ x (* y (sqrt z)))) (* (cbrt (+ x (* y (sqrt z)))) (cbrt (+ x (* y (sqrt z))))) (cbrt (+ x (* y (sqrt z)))) (pow (+ x (* y (sqrt z))) 3) (sqrt (+ x (* y (sqrt z)))) (sqrt (+ x (* y (sqrt z)))) (+ (pow x 3) (pow (* y (sqrt z)) 3)) (- (* (* y y) z) (* x (- (* y (sqrt z)) x))) (- (* x x) (* (* y y) z)) (- x (* y (sqrt z))) (* (* z (+ (* z (+ (pow NAN 3) (* (pow NAN 5) z))) NAN)) y) (* y (+ (+ (/ (pow NAN 3) z) (/ (pow NAN 5) (pow z 2))) NAN)) (* y (+ (/ (pow NAN 5) (pow z 2)) (- NAN (/ (pow NAN 3) z)))) x (+ (* y (+ NAN (/ (pow NAN 3) z))) x) (+ (* y (- NAN (/ (pow NAN 3) z))) x) 2.467 * * * [progress]: adding candidates to table 2.518 * * [progress]: iteration 2 / 4 2.518 * * * [progress]: picking best candidate 2.541 * * * * [pick]: Picked # 2.542 * * * [progress]: localizing error 2.552 * * * [progress]: generating rewritten candidates 2.552 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 2.560 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 2.570 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 2.572 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2) 2.577 * * * [progress]: generating series expansions 2.577 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 2.577 * [approximate]: Taking taylor expansion of (* (pow z 1/4) y) in (y z) around 0 2.577 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in z 2.577 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 2.577 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 2.577 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 2.577 * [taylor]: Taking taylor expansion of 1/4 in z 2.577 * [taylor]: Taking taylor expansion of (log z) in z 2.577 * [taylor]: Taking taylor expansion of z in z 2.577 * [taylor]: Taking taylor expansion of y in z 2.577 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in y 2.577 * [taylor]: Taking taylor expansion of (pow z 1/4) in y 2.577 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in y 2.577 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in y 2.577 * [taylor]: Taking taylor expansion of 1/4 in y 2.577 * [taylor]: Taking taylor expansion of (log z) in y 2.577 * [taylor]: Taking taylor expansion of z in y 2.577 * [taylor]: Taking taylor expansion of y in y 2.577 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in y 2.577 * [taylor]: Taking taylor expansion of (pow z 1/4) in y 2.577 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in y 2.577 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in y 2.577 * [taylor]: Taking taylor expansion of 1/4 in y 2.577 * [taylor]: Taking taylor expansion of (log z) in y 2.577 * [taylor]: Taking taylor expansion of z in y 2.577 * [taylor]: Taking taylor expansion of y in y 2.578 * [taylor]: Taking taylor expansion of 0 in z 2.578 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 2.578 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 2.578 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 2.578 * [taylor]: Taking taylor expansion of 1/4 in z 2.578 * [taylor]: Taking taylor expansion of (log z) in z 2.578 * [taylor]: Taking taylor expansion of z in z 2.579 * [taylor]: Taking taylor expansion of 0 in z 2.580 * [taylor]: Taking taylor expansion of 0 in z 2.580 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in (y z) around 0 2.580 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in z 2.580 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 2.580 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 2.580 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 2.580 * [taylor]: Taking taylor expansion of 1/4 in z 2.580 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.580 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.580 * [taylor]: Taking taylor expansion of z in z 2.580 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.580 * [taylor]: Taking taylor expansion of y in z 2.580 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in y 2.580 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in y 2.580 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in y 2.580 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in y 2.580 * [taylor]: Taking taylor expansion of 1/4 in y 2.580 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 2.580 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.580 * [taylor]: Taking taylor expansion of z in y 2.581 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.581 * [taylor]: Taking taylor expansion of y in y 2.581 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in y 2.581 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in y 2.581 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in y 2.581 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in y 2.581 * [taylor]: Taking taylor expansion of 1/4 in y 2.581 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 2.581 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.581 * [taylor]: Taking taylor expansion of z in y 2.581 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.581 * [taylor]: Taking taylor expansion of y in y 2.581 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 2.581 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 2.581 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 2.581 * [taylor]: Taking taylor expansion of 1/4 in z 2.581 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.581 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.581 * [taylor]: Taking taylor expansion of z in z 2.582 * [taylor]: Taking taylor expansion of 0 in z 2.586 * [taylor]: Taking taylor expansion of 0 in z 2.587 * [taylor]: Taking taylor expansion of 0 in z 2.587 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in (y z) around 0 2.587 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in z 2.587 * [taylor]: Taking taylor expansion of -1 in z 2.587 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in z 2.587 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 2.587 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 2.587 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.588 * [taylor]: Taking taylor expansion of -1 in z 2.588 * [taylor]: Taking taylor expansion of z in z 2.588 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.588 * [taylor]: Taking taylor expansion of y in z 2.588 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in y 2.588 * [taylor]: Taking taylor expansion of -1 in y 2.588 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in y 2.588 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y 2.588 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 2.588 * [taylor]: Taking taylor expansion of (/ -1 z) in y 2.588 * [taylor]: Taking taylor expansion of -1 in y 2.588 * [taylor]: Taking taylor expansion of z in y 2.588 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.588 * [taylor]: Taking taylor expansion of y in y 2.588 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in y 2.588 * [taylor]: Taking taylor expansion of -1 in y 2.588 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in y 2.588 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y 2.588 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 2.588 * [taylor]: Taking taylor expansion of (/ -1 z) in y 2.588 * [taylor]: Taking taylor expansion of -1 in y 2.588 * [taylor]: Taking taylor expansion of z in y 2.589 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.589 * [taylor]: Taking taylor expansion of y in y 2.589 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 z)))) in z 2.589 * [taylor]: Taking taylor expansion of -1 in z 2.589 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 2.589 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 2.589 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.589 * [taylor]: Taking taylor expansion of -1 in z 2.589 * [taylor]: Taking taylor expansion of z in z 2.589 * [taylor]: Taking taylor expansion of 0 in z 2.590 * [taylor]: Taking taylor expansion of 0 in z 2.591 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 2.591 * [approximate]: Taking taylor expansion of (* (sqrt z) y) in (y z) around 0 2.591 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z 2.591 * [taylor]: Taking taylor expansion of (sqrt z) in z 2.591 * [taylor]: Taking taylor expansion of z in z 2.591 * [taylor]: Taking taylor expansion of y in z 2.591 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 2.591 * [taylor]: Taking taylor expansion of (sqrt z) in y 2.591 * [taylor]: Taking taylor expansion of z in y 2.591 * [taylor]: Taking taylor expansion of y in y 2.591 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 2.591 * [taylor]: Taking taylor expansion of (sqrt z) in y 2.591 * [taylor]: Taking taylor expansion of z in y 2.592 * [taylor]: Taking taylor expansion of y in y 2.592 * [taylor]: Taking taylor expansion of 0 in z 2.592 * [taylor]: Taking taylor expansion of (sqrt z) in z 2.592 * [taylor]: Taking taylor expansion of z in z 2.592 * [taylor]: Taking taylor expansion of 0 in z 2.592 * [taylor]: Taking taylor expansion of 0 in z 2.592 * [taylor]: Taking taylor expansion of 0 in z 2.593 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in (y z) around 0 2.593 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z 2.593 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 2.593 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.593 * [taylor]: Taking taylor expansion of z in z 2.593 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.593 * [taylor]: Taking taylor expansion of y in z 2.593 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 2.593 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 2.593 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.593 * [taylor]: Taking taylor expansion of z in y 2.593 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.593 * [taylor]: Taking taylor expansion of y in y 2.594 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 2.594 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 2.594 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.594 * [taylor]: Taking taylor expansion of z in y 2.594 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.594 * [taylor]: Taking taylor expansion of y in y 2.594 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 2.594 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.594 * [taylor]: Taking taylor expansion of z in z 2.594 * [taylor]: Taking taylor expansion of 0 in z 2.594 * [taylor]: Taking taylor expansion of 0 in z 2.595 * [taylor]: Taking taylor expansion of 0 in z 2.595 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in (y z) around 0 2.596 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in z 2.596 * [taylor]: Taking taylor expansion of -1 in z 2.596 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in z 2.596 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 2.596 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.596 * [taylor]: Taking taylor expansion of -1 in z 2.596 * [taylor]: Taking taylor expansion of z in z 2.596 * [taylor]: Taking taylor expansion of y in z 2.596 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 2.596 * [taylor]: Taking taylor expansion of -1 in y 2.596 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 2.596 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 2.596 * [taylor]: Taking taylor expansion of (/ -1 z) in y 2.596 * [taylor]: Taking taylor expansion of -1 in y 2.596 * [taylor]: Taking taylor expansion of z in y 2.596 * [taylor]: Taking taylor expansion of y in y 2.596 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 2.596 * [taylor]: Taking taylor expansion of -1 in y 2.596 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 2.596 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 2.596 * [taylor]: Taking taylor expansion of (/ -1 z) in y 2.596 * [taylor]: Taking taylor expansion of -1 in y 2.596 * [taylor]: Taking taylor expansion of z in y 2.596 * [taylor]: Taking taylor expansion of y in y 2.596 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 z))) in z 2.596 * [taylor]: Taking taylor expansion of -1 in z 2.596 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 2.596 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.596 * [taylor]: Taking taylor expansion of -1 in z 2.596 * [taylor]: Taking taylor expansion of z in z 2.597 * [taylor]: Taking taylor expansion of 0 in z 2.597 * [taylor]: Taking taylor expansion of 0 in z 2.598 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 2.598 * [approximate]: Taking taylor expansion of (pow z 1/4) in (z) around 0 2.598 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 2.598 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 2.598 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 2.598 * [taylor]: Taking taylor expansion of 1/4 in z 2.598 * [taylor]: Taking taylor expansion of (log z) in z 2.598 * [taylor]: Taking taylor expansion of z in z 2.598 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 2.598 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 2.599 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 2.599 * [taylor]: Taking taylor expansion of 1/4 in z 2.599 * [taylor]: Taking taylor expansion of (log z) in z 2.599 * [taylor]: Taking taylor expansion of z in z 2.606 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/4) in (z) around 0 2.606 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 2.606 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 2.606 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 2.606 * [taylor]: Taking taylor expansion of 1/4 in z 2.606 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.606 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.606 * [taylor]: Taking taylor expansion of z in z 2.606 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 2.606 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 2.606 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 2.606 * [taylor]: Taking taylor expansion of 1/4 in z 2.606 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.606 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.606 * [taylor]: Taking taylor expansion of z in z 2.613 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in (z) around 0 2.613 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 2.613 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 2.613 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.613 * [taylor]: Taking taylor expansion of -1 in z 2.613 * [taylor]: Taking taylor expansion of z in z 2.614 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 2.614 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 2.614 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.614 * [taylor]: Taking taylor expansion of -1 in z 2.614 * [taylor]: Taking taylor expansion of z in z 2.615 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2) 2.615 * [approximate]: Taking taylor expansion of (pow z 1/4) in (z) around 0 2.615 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 2.615 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 2.615 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 2.615 * [taylor]: Taking taylor expansion of 1/4 in z 2.615 * [taylor]: Taking taylor expansion of (log z) in z 2.615 * [taylor]: Taking taylor expansion of z in z 2.615 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 2.615 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 2.615 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 2.615 * [taylor]: Taking taylor expansion of 1/4 in z 2.615 * [taylor]: Taking taylor expansion of (log z) in z 2.615 * [taylor]: Taking taylor expansion of z in z 2.622 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/4) in (z) around 0 2.622 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 2.622 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 2.622 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 2.622 * [taylor]: Taking taylor expansion of 1/4 in z 2.622 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.622 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.622 * [taylor]: Taking taylor expansion of z in z 2.622 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 2.622 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 2.622 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 2.622 * [taylor]: Taking taylor expansion of 1/4 in z 2.622 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.622 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.622 * [taylor]: Taking taylor expansion of z in z 2.629 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in (z) around 0 2.629 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 2.629 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 2.629 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.630 * [taylor]: Taking taylor expansion of -1 in z 2.630 * [taylor]: Taking taylor expansion of z in z 2.630 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 2.630 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 2.630 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.630 * [taylor]: Taking taylor expansion of -1 in z 2.630 * [taylor]: Taking taylor expansion of z in z 2.631 * * * [progress]: simplifying candidates 2.632 * [simplify]: Simplifying using # : (* y (sqrt (sqrt z))) (+ (log y) (log (sqrt (sqrt z)))) (log (* y (sqrt (sqrt z)))) (exp (* y (sqrt (sqrt z)))) (* (* (* y y) y) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (cbrt (* y (sqrt (sqrt z)))) (cbrt (* y (sqrt (sqrt z))))) (cbrt (* y (sqrt (sqrt z)))) (* (* (* y (sqrt (sqrt z))) (* y (sqrt (sqrt z)))) (* y (sqrt (sqrt z)))) (sqrt (* y (sqrt (sqrt z)))) (sqrt (* y (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* y (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))) (* y (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* y (sqrt (sqrt (* (cbrt z) (cbrt z))))) (* y (sqrt (sqrt (sqrt z)))) (* y (sqrt (sqrt 1))) (* y (sqrt (sqrt (sqrt z)))) (* y (sqrt 1)) (* y (sqrt (sqrt (sqrt z)))) (* y 1) (* (cbrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* y (sqrt (sqrt z))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))) (+ (+ (log y) (log (sqrt (sqrt z)))) (log (sqrt (sqrt z)))) (+ (log (* y (sqrt (sqrt z)))) (log (sqrt (sqrt z)))) (log (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (exp (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (* y y) y) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (* y (sqrt (sqrt z))) (* y (sqrt (sqrt z)))) (* y (sqrt (sqrt z)))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (cbrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (cbrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))))) (cbrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (sqrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (sqrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))) (* (* y (sqrt (sqrt z))) (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (* (cbrt z) (cbrt z))))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt 1))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) (sqrt 1)) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) 1) (* (sqrt (sqrt z)) (sqrt (sqrt z))) (log (sqrt (sqrt z))) (exp (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt z))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (sqrt (cbrt (sqrt z))) (sqrt (sqrt (* (cbrt z) (cbrt z)))) (sqrt (sqrt (cbrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt 1)) (sqrt (sqrt z)) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (sqrt 1) (sqrt (sqrt z)) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (log (sqrt (sqrt z))) (exp (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt z))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (sqrt (cbrt (sqrt z))) (sqrt (sqrt (* (cbrt z) (cbrt z)))) (sqrt (sqrt (cbrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt 1)) (sqrt (sqrt z)) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (sqrt 1) (sqrt (sqrt z)) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (* (exp (* 1/4 (+ (log z) (log 1)))) y) (* y (exp (* 1/4 (- (log 1) (log (/ 1 z)))))) (- (+ (* (sqrt NAN) y) (* 3/8 (* (sqrt (pow NAN 9)) (/ y (pow z 2))))) (* 1/2 (* (sqrt (pow NAN 5)) (/ y z)))) (+ (* (pow NAN 3) (* (pow z 2) y)) (+ (* (pow NAN 5) (* (pow z 3) y)) (* NAN (* z y)))) (+ (/ (* (pow NAN 3) y) z) (+ (* NAN y) (/ (* (pow NAN 5) y) (pow z 2)))) (- (+ (* NAN y) (/ (* (pow NAN 5) y) (pow z 2))) (/ (* (pow NAN 3) y) z)) (exp (* 1/4 (+ (log z) (log 1)))) (exp (* 1/4 (- (log 1) (log (/ 1 z))))) (- (+ (sqrt NAN) (* 3/8 (* (sqrt (pow NAN 9)) (/ 1 (pow z 2))))) (* 1/2 (* (sqrt (pow NAN 5)) (/ 1 z)))) (exp (* 1/4 (+ (log z) (log 1)))) (exp (* 1/4 (- (log 1) (log (/ 1 z))))) (- (+ (sqrt NAN) (* 3/8 (* (sqrt (pow NAN 9)) (/ 1 (pow z 2))))) (* 1/2 (* (sqrt (pow NAN 5)) (/ 1 z)))) 2.636 * * [simplify]: iteration 0 : 131 enodes (cost 917 ) 2.676 * * [simplify]: iteration 1 : 321 enodes (cost 721 ) 2.752 * * [simplify]: iteration 2 : 882 enodes (cost 650 ) 3.526 * * [simplify]: iteration 3 : 2367 enodes (cost 630 ) 4.485 * * [simplify]: iteration done : 5001 enodes (cost 630 ) 4.486 * [simplify]: Simplified to: (* y (sqrt (sqrt z))) (log (* y (sqrt (sqrt z)))) (log (* y (sqrt (sqrt z)))) (exp (* y (sqrt (sqrt z)))) (pow (* y (sqrt (sqrt z))) 3) (* (cbrt (* y (sqrt (sqrt z)))) (cbrt (* y (sqrt (sqrt z))))) (cbrt (* y (sqrt (sqrt z)))) (pow (* y (sqrt (sqrt z))) 3) (sqrt (* y (sqrt (sqrt z)))) (sqrt (* y (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* y (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))) (* (fabs (cbrt (sqrt z))) y) (* y (sqrt (fabs (cbrt z)))) (* y (sqrt (sqrt (sqrt z)))) y (* y (sqrt (sqrt (sqrt z)))) y (* y (sqrt (sqrt (sqrt z)))) y (* (cbrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* y (sqrt (sqrt z))) (* y (sqrt z)) (* y (sqrt z)) (log (* y (sqrt z))) (log (* y (sqrt z))) (log (* y (sqrt z))) (exp (* y (sqrt z))) (pow (* y (sqrt z)) 3) (pow (* y (sqrt z)) 3) (* (cbrt (* y (sqrt z))) (cbrt (* y (sqrt z)))) (cbrt (* y (sqrt z))) (pow (* y (sqrt z)) 3) (sqrt (* y (sqrt z))) (sqrt (* y (sqrt z))) (* (* y (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))) (* (fabs (cbrt (sqrt z))) (* y (sqrt (sqrt z)))) (* (sqrt (fabs (cbrt z))) (* y (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* y (sqrt (sqrt z))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* y (sqrt (sqrt z))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* y (sqrt (sqrt z))) (sqrt z) (log (sqrt (sqrt z))) (exp (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt z))) (pow (sqrt (sqrt z)) 3) (fabs (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) 1 (sqrt (sqrt z)) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) 1 (sqrt (sqrt z)) 1/4 1/2 1/4 (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (log (sqrt (sqrt z))) (exp (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt z))) (pow (sqrt (sqrt z)) 3) (fabs (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) 1 (sqrt (sqrt z)) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) 1 (sqrt (sqrt z)) 1/4 1/2 1/4 (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (* (pow z 1/4) y) (* (pow z 1/4) y) (- (+ (* (sqrt NAN) y) (* 3/8 (* (sqrt (pow NAN 9)) (/ y (pow z 2))))) (* 1/2 (* (sqrt (pow NAN 5)) (/ y z)))) (* y (+ (* NAN z) (* (pow z 2) (+ (pow NAN 3) (* (pow NAN 5) z))))) (+ (* NAN y) (* y (+ (/ (pow NAN 3) z) (/ (pow NAN 5) (pow z 2))))) (+ (* y (- NAN (/ (pow NAN 3) z))) (/ (* (pow NAN 5) y) (pow z 2))) (pow z 1/4) (pow z 1/4) (+ (- (/ (* 3/8 (sqrt (pow NAN 9))) (pow z 2)) (* 1/2 (/ (sqrt (pow NAN 5)) z))) (sqrt NAN)) (pow z 1/4) (pow z 1/4) (+ (- (/ (* 3/8 (sqrt (pow NAN 9))) (pow z 2)) (* 1/2 (/ (sqrt (pow NAN 5)) z))) (sqrt NAN)) 4.486 * * * [progress]: adding candidates to table 4.572 * * [progress]: iteration 3 / 4 4.572 * * * [progress]: picking best candidate 4.595 * * * * [pick]: Picked # 4.595 * * * [progress]: localizing error 4.608 * * * [progress]: generating rewritten candidates 4.608 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 4.620 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 4.638 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1) 4.644 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 4.651 * * * [progress]: generating series expansions 4.651 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 4.651 * [approximate]: Taking taylor expansion of (* (pow (pow z 3) 1/8) y) in (y z) around 0 4.651 * [taylor]: Taking taylor expansion of (* (pow (pow z 3) 1/8) y) in z 4.651 * [taylor]: Taking taylor expansion of (pow (pow z 3) 1/8) in z 4.651 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (pow z 3)))) in z 4.651 * [taylor]: Taking taylor expansion of (* 1/8 (log (pow z 3))) in z 4.651 * [taylor]: Taking taylor expansion of 1/8 in z 4.651 * [taylor]: Taking taylor expansion of (log (pow z 3)) in z 4.651 * [taylor]: Taking taylor expansion of (pow z 3) in z 4.651 * [taylor]: Taking taylor expansion of z in z 4.652 * [taylor]: Taking taylor expansion of y in z 4.652 * [taylor]: Taking taylor expansion of (* (pow (pow z 3) 1/8) y) in y 4.652 * [taylor]: Taking taylor expansion of (pow (pow z 3) 1/8) in y 4.652 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (pow z 3)))) in y 4.652 * [taylor]: Taking taylor expansion of (* 1/8 (log (pow z 3))) in y 4.652 * [taylor]: Taking taylor expansion of 1/8 in y 4.652 * [taylor]: Taking taylor expansion of (log (pow z 3)) in y 4.652 * [taylor]: Taking taylor expansion of (pow z 3) in y 4.652 * [taylor]: Taking taylor expansion of z in y 4.652 * [taylor]: Taking taylor expansion of y in y 4.652 * [taylor]: Taking taylor expansion of (* (pow (pow z 3) 1/8) y) in y 4.652 * [taylor]: Taking taylor expansion of (pow (pow z 3) 1/8) in y 4.652 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (pow z 3)))) in y 4.652 * [taylor]: Taking taylor expansion of (* 1/8 (log (pow z 3))) in y 4.652 * [taylor]: Taking taylor expansion of 1/8 in y 4.652 * [taylor]: Taking taylor expansion of (log (pow z 3)) in y 4.652 * [taylor]: Taking taylor expansion of (pow z 3) in y 4.652 * [taylor]: Taking taylor expansion of z in y 4.652 * [taylor]: Taking taylor expansion of y in y 4.653 * [taylor]: Taking taylor expansion of 0 in z 4.653 * [taylor]: Taking taylor expansion of (pow (pow z 3) 1/8) in z 4.653 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (pow z 3)))) in z 4.653 * [taylor]: Taking taylor expansion of (* 1/8 (log (pow z 3))) in z 4.653 * [taylor]: Taking taylor expansion of 1/8 in z 4.653 * [taylor]: Taking taylor expansion of (log (pow z 3)) in z 4.653 * [taylor]: Taking taylor expansion of (pow z 3) in z 4.653 * [taylor]: Taking taylor expansion of z in z 4.654 * [taylor]: Taking taylor expansion of 0 in z 4.656 * [taylor]: Taking taylor expansion of 0 in z 4.656 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 3)) 1/8) (/ 1 y)) in (y z) around 0 4.656 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 3)) 1/8) (/ 1 y)) in z 4.656 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 3)) 1/8) in z 4.656 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 (pow z 3))))) in z 4.656 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 (pow z 3)))) in z 4.656 * [taylor]: Taking taylor expansion of 1/8 in z 4.656 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 3))) in z 4.656 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 4.656 * [taylor]: Taking taylor expansion of (pow z 3) in z 4.656 * [taylor]: Taking taylor expansion of z in z 4.656 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.656 * [taylor]: Taking taylor expansion of y in z 4.656 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 3)) 1/8) (/ 1 y)) in y 4.656 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 3)) 1/8) in y 4.656 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 (pow z 3))))) in y 4.656 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 (pow z 3)))) in y 4.656 * [taylor]: Taking taylor expansion of 1/8 in y 4.656 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 3))) in y 4.656 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 4.656 * [taylor]: Taking taylor expansion of (pow z 3) in y 4.656 * [taylor]: Taking taylor expansion of z in y 4.657 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.657 * [taylor]: Taking taylor expansion of y in y 4.657 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 3)) 1/8) (/ 1 y)) in y 4.657 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 3)) 1/8) in y 4.657 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 (pow z 3))))) in y 4.657 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 (pow z 3)))) in y 4.657 * [taylor]: Taking taylor expansion of 1/8 in y 4.657 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 3))) in y 4.657 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 4.657 * [taylor]: Taking taylor expansion of (pow z 3) in y 4.657 * [taylor]: Taking taylor expansion of z in y 4.657 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.657 * [taylor]: Taking taylor expansion of y in y 4.658 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 3)) 1/8) in z 4.658 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 (pow z 3))))) in z 4.658 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 (pow z 3)))) in z 4.658 * [taylor]: Taking taylor expansion of 1/8 in z 4.658 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 3))) in z 4.658 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 4.658 * [taylor]: Taking taylor expansion of (pow z 3) in z 4.658 * [taylor]: Taking taylor expansion of z in z 4.659 * [taylor]: Taking taylor expansion of 0 in z 4.660 * [taylor]: Taking taylor expansion of 0 in z 4.662 * [taylor]: Taking taylor expansion of 0 in z 4.662 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (pow (sqrt (/ -1 z)) 3) 1/4))) in (y z) around 0 4.662 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (pow (sqrt (/ -1 z)) 3) 1/4))) in z 4.662 * [taylor]: Taking taylor expansion of -1 in z 4.662 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (pow (sqrt (/ -1 z)) 3) 1/4)) in z 4.662 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.662 * [taylor]: Taking taylor expansion of y in z 4.662 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 z)) 3) 1/4) in z 4.662 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (sqrt (/ -1 z)) 3)))) in z 4.662 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (sqrt (/ -1 z)) 3))) in z 4.662 * [taylor]: Taking taylor expansion of 1/4 in z 4.662 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 z)) 3)) in z 4.662 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 3) in z 4.663 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.663 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.663 * [taylor]: Taking taylor expansion of -1 in z 4.663 * [taylor]: Taking taylor expansion of z in z 4.663 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (pow (sqrt (/ -1 z)) 3) 1/4))) in y 4.663 * [taylor]: Taking taylor expansion of -1 in y 4.663 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (pow (sqrt (/ -1 z)) 3) 1/4)) in y 4.663 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.663 * [taylor]: Taking taylor expansion of y in y 4.663 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 z)) 3) 1/4) in y 4.663 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (sqrt (/ -1 z)) 3)))) in y 4.663 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (sqrt (/ -1 z)) 3))) in y 4.663 * [taylor]: Taking taylor expansion of 1/4 in y 4.663 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 z)) 3)) in y 4.663 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 3) in y 4.663 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 4.663 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.663 * [taylor]: Taking taylor expansion of -1 in y 4.663 * [taylor]: Taking taylor expansion of z in y 4.664 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (pow (sqrt (/ -1 z)) 3) 1/4))) in y 4.664 * [taylor]: Taking taylor expansion of -1 in y 4.664 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (pow (sqrt (/ -1 z)) 3) 1/4)) in y 4.664 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.664 * [taylor]: Taking taylor expansion of y in y 4.664 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 z)) 3) 1/4) in y 4.664 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (sqrt (/ -1 z)) 3)))) in y 4.664 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (sqrt (/ -1 z)) 3))) in y 4.664 * [taylor]: Taking taylor expansion of 1/4 in y 4.664 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 z)) 3)) in y 4.664 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 3) in y 4.664 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 4.664 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.664 * [taylor]: Taking taylor expansion of -1 in y 4.664 * [taylor]: Taking taylor expansion of z in y 4.665 * [taylor]: Taking taylor expansion of (* -1 (pow (pow (sqrt (/ -1 z)) 3) 1/4)) in z 4.665 * [taylor]: Taking taylor expansion of -1 in z 4.665 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 z)) 3) 1/4) in z 4.665 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (sqrt (/ -1 z)) 3)))) in z 4.665 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (sqrt (/ -1 z)) 3))) in z 4.665 * [taylor]: Taking taylor expansion of 1/4 in z 4.665 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 z)) 3)) in z 4.665 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 3) in z 4.665 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.665 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.665 * [taylor]: Taking taylor expansion of -1 in z 4.665 * [taylor]: Taking taylor expansion of z in z 4.666 * [taylor]: Taking taylor expansion of 0 in z 4.669 * [taylor]: Taking taylor expansion of 0 in z 4.675 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 4.675 * [approximate]: Taking taylor expansion of (* (sqrt z) y) in (y z) around 0 4.675 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z 4.675 * [taylor]: Taking taylor expansion of (sqrt z) in z 4.675 * [taylor]: Taking taylor expansion of z in z 4.675 * [taylor]: Taking taylor expansion of y in z 4.675 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 4.675 * [taylor]: Taking taylor expansion of (sqrt z) in y 4.675 * [taylor]: Taking taylor expansion of z in y 4.675 * [taylor]: Taking taylor expansion of y in y 4.675 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 4.675 * [taylor]: Taking taylor expansion of (sqrt z) in y 4.675 * [taylor]: Taking taylor expansion of z in y 4.675 * [taylor]: Taking taylor expansion of y in y 4.676 * [taylor]: Taking taylor expansion of 0 in z 4.676 * [taylor]: Taking taylor expansion of (sqrt z) in z 4.676 * [taylor]: Taking taylor expansion of z in z 4.676 * [taylor]: Taking taylor expansion of 0 in z 4.676 * [taylor]: Taking taylor expansion of 0 in z 4.676 * [taylor]: Taking taylor expansion of 0 in z 4.677 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in (y z) around 0 4.677 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z 4.677 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 4.677 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.677 * [taylor]: Taking taylor expansion of z in z 4.677 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.677 * [taylor]: Taking taylor expansion of y in z 4.677 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 4.677 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 4.677 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.677 * [taylor]: Taking taylor expansion of z in y 4.677 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.677 * [taylor]: Taking taylor expansion of y in y 4.678 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 4.678 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 4.678 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.678 * [taylor]: Taking taylor expansion of z in y 4.678 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.678 * [taylor]: Taking taylor expansion of y in y 4.678 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 4.678 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.678 * [taylor]: Taking taylor expansion of z in z 4.678 * [taylor]: Taking taylor expansion of 0 in z 4.678 * [taylor]: Taking taylor expansion of 0 in z 4.679 * [taylor]: Taking taylor expansion of 0 in z 4.680 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in (y z) around 0 4.680 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in z 4.680 * [taylor]: Taking taylor expansion of -1 in z 4.680 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in z 4.680 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.680 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.680 * [taylor]: Taking taylor expansion of -1 in z 4.680 * [taylor]: Taking taylor expansion of z in z 4.680 * [taylor]: Taking taylor expansion of y in z 4.680 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 4.680 * [taylor]: Taking taylor expansion of -1 in y 4.680 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 4.680 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 4.680 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.680 * [taylor]: Taking taylor expansion of -1 in y 4.680 * [taylor]: Taking taylor expansion of z in y 4.680 * [taylor]: Taking taylor expansion of y in y 4.680 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 4.680 * [taylor]: Taking taylor expansion of -1 in y 4.680 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 4.680 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 4.680 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.680 * [taylor]: Taking taylor expansion of -1 in y 4.680 * [taylor]: Taking taylor expansion of z in y 4.680 * [taylor]: Taking taylor expansion of y in y 4.680 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 z))) in z 4.680 * [taylor]: Taking taylor expansion of -1 in z 4.680 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.681 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.681 * [taylor]: Taking taylor expansion of -1 in z 4.681 * [taylor]: Taking taylor expansion of z in z 4.681 * [taylor]: Taking taylor expansion of 0 in z 4.681 * [taylor]: Taking taylor expansion of 0 in z 4.682 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1) 4.682 * [approximate]: Taking taylor expansion of (* (pow z 1/4) y) in (y z) around 0 4.682 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in z 4.682 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 4.682 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 4.682 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 4.682 * [taylor]: Taking taylor expansion of 1/4 in z 4.682 * [taylor]: Taking taylor expansion of (log z) in z 4.682 * [taylor]: Taking taylor expansion of z in z 4.683 * [taylor]: Taking taylor expansion of y in z 4.683 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in y 4.683 * [taylor]: Taking taylor expansion of (pow z 1/4) in y 4.683 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in y 4.683 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in y 4.683 * [taylor]: Taking taylor expansion of 1/4 in y 4.683 * [taylor]: Taking taylor expansion of (log z) in y 4.683 * [taylor]: Taking taylor expansion of z in y 4.683 * [taylor]: Taking taylor expansion of y in y 4.683 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in y 4.683 * [taylor]: Taking taylor expansion of (pow z 1/4) in y 4.683 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in y 4.683 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in y 4.683 * [taylor]: Taking taylor expansion of 1/4 in y 4.683 * [taylor]: Taking taylor expansion of (log z) in y 4.683 * [taylor]: Taking taylor expansion of z in y 4.683 * [taylor]: Taking taylor expansion of y in y 4.683 * [taylor]: Taking taylor expansion of 0 in z 4.683 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 4.683 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 4.683 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 4.683 * [taylor]: Taking taylor expansion of 1/4 in z 4.683 * [taylor]: Taking taylor expansion of (log z) in z 4.683 * [taylor]: Taking taylor expansion of z in z 4.684 * [taylor]: Taking taylor expansion of 0 in z 4.685 * [taylor]: Taking taylor expansion of 0 in z 4.685 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in (y z) around 0 4.685 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in z 4.685 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 4.685 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 4.685 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 4.685 * [taylor]: Taking taylor expansion of 1/4 in z 4.685 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.686 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.686 * [taylor]: Taking taylor expansion of z in z 4.686 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.686 * [taylor]: Taking taylor expansion of y in z 4.686 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in y 4.686 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in y 4.686 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in y 4.686 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in y 4.686 * [taylor]: Taking taylor expansion of 1/4 in y 4.686 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 4.686 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.686 * [taylor]: Taking taylor expansion of z in y 4.686 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.686 * [taylor]: Taking taylor expansion of y in y 4.686 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in y 4.686 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in y 4.686 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in y 4.686 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in y 4.686 * [taylor]: Taking taylor expansion of 1/4 in y 4.686 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 4.686 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.686 * [taylor]: Taking taylor expansion of z in y 4.686 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.686 * [taylor]: Taking taylor expansion of y in y 4.686 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 4.686 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 4.686 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 4.687 * [taylor]: Taking taylor expansion of 1/4 in z 4.687 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.687 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.687 * [taylor]: Taking taylor expansion of z in z 4.687 * [taylor]: Taking taylor expansion of 0 in z 4.688 * [taylor]: Taking taylor expansion of 0 in z 4.690 * [taylor]: Taking taylor expansion of 0 in z 4.690 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in (y z) around 0 4.690 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in z 4.690 * [taylor]: Taking taylor expansion of -1 in z 4.690 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in z 4.690 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 4.690 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.690 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.690 * [taylor]: Taking taylor expansion of -1 in z 4.690 * [taylor]: Taking taylor expansion of z in z 4.690 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.690 * [taylor]: Taking taylor expansion of y in z 4.690 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in y 4.690 * [taylor]: Taking taylor expansion of -1 in y 4.690 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in y 4.690 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y 4.690 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 4.690 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.690 * [taylor]: Taking taylor expansion of -1 in y 4.690 * [taylor]: Taking taylor expansion of z in y 4.691 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.691 * [taylor]: Taking taylor expansion of y in y 4.691 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in y 4.691 * [taylor]: Taking taylor expansion of -1 in y 4.691 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in y 4.691 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y 4.691 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 4.691 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.691 * [taylor]: Taking taylor expansion of -1 in y 4.691 * [taylor]: Taking taylor expansion of z in y 4.691 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.691 * [taylor]: Taking taylor expansion of y in y 4.691 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 z)))) in z 4.691 * [taylor]: Taking taylor expansion of -1 in z 4.691 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 4.691 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.691 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.691 * [taylor]: Taking taylor expansion of -1 in z 4.691 * [taylor]: Taking taylor expansion of z in z 4.692 * [taylor]: Taking taylor expansion of 0 in z 4.692 * [taylor]: Taking taylor expansion of 0 in z 4.693 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 4.693 * [approximate]: Taking taylor expansion of (pow z 1/8) in (z) around 0 4.693 * [taylor]: Taking taylor expansion of (pow z 1/8) in z 4.694 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log z))) in z 4.694 * [taylor]: Taking taylor expansion of (* 1/8 (log z)) in z 4.694 * [taylor]: Taking taylor expansion of 1/8 in z 4.694 * [taylor]: Taking taylor expansion of (log z) in z 4.694 * [taylor]: Taking taylor expansion of z in z 4.694 * [taylor]: Taking taylor expansion of (pow z 1/8) in z 4.694 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log z))) in z 4.694 * [taylor]: Taking taylor expansion of (* 1/8 (log z)) in z 4.694 * [taylor]: Taking taylor expansion of 1/8 in z 4.694 * [taylor]: Taking taylor expansion of (log z) in z 4.694 * [taylor]: Taking taylor expansion of z in z 4.700 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/8) in (z) around 0 4.700 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/8) in z 4.700 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 z)))) in z 4.700 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 z))) in z 4.700 * [taylor]: Taking taylor expansion of 1/8 in z 4.700 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.700 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.700 * [taylor]: Taking taylor expansion of z in z 4.700 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/8) in z 4.701 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 z)))) in z 4.701 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 z))) in z 4.701 * [taylor]: Taking taylor expansion of 1/8 in z 4.701 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.701 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.701 * [taylor]: Taking taylor expansion of z in z 4.708 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/4) in (z) around 0 4.708 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/4) in z 4.708 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 z))))) in z 4.708 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 z)))) in z 4.708 * [taylor]: Taking taylor expansion of 1/4 in z 4.708 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 4.708 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.708 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.708 * [taylor]: Taking taylor expansion of -1 in z 4.708 * [taylor]: Taking taylor expansion of z in z 4.708 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/4) in z 4.708 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 z))))) in z 4.708 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 z)))) in z 4.708 * [taylor]: Taking taylor expansion of 1/4 in z 4.708 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 4.708 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.708 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.708 * [taylor]: Taking taylor expansion of -1 in z 4.708 * [taylor]: Taking taylor expansion of z in z 4.710 * * * [progress]: simplifying candidates 4.712 * [simplify]: Simplifying using # : (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (+ (+ (log y) (log (sqrt (sqrt z)))) (log (sqrt (sqrt (sqrt z))))) (+ (log (* y (sqrt (sqrt z)))) (log (sqrt (sqrt (sqrt z))))) (log (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))) (exp (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))) (* (* (* (* y y) y) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (* (* (* (* y (sqrt (sqrt z))) (* y (sqrt (sqrt z)))) (* y (sqrt (sqrt z)))) (* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (* (cbrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))) (cbrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))))) (cbrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))) (* (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))) (sqrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))) (sqrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))) (* (* y (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt (sqrt z)))))) (* (* y (sqrt (sqrt z))) (sqrt (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt (* (cbrt z) (cbrt z)))))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt (sqrt z))))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt 1)))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt (sqrt z))))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt 1))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt (sqrt z))))) (* (* y (sqrt (sqrt z))) (sqrt 1)) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt (sqrt z))))) (* (* y (sqrt (sqrt z))) 1) (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt z)))) (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (+ (+ (+ (log y) (log (sqrt (sqrt z)))) (log (sqrt (sqrt (sqrt z))))) (log (sqrt (sqrt (sqrt z))))) (+ (+ (log (* y (sqrt (sqrt z)))) (log (sqrt (sqrt (sqrt z))))) (log (sqrt (sqrt (sqrt z))))) (+ (log (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))) (log (sqrt (sqrt (sqrt z))))) (log (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (exp (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (* (* (* (* (* y y) y) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (* (* (* (* (* y (sqrt (sqrt z))) (* y (sqrt (sqrt z)))) (* y (sqrt (sqrt z)))) (* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (* (* (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))) (* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (* (cbrt (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (cbrt (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))))) (cbrt (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (* (* (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (sqrt (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (sqrt (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt (sqrt z)))))) (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))))) (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (* (cbrt z) (cbrt z)))))) (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z))))) (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt 1)))) (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z))))) (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt 1))) (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z))))) (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt 1)) (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z))))) (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) 1) (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* y (sqrt (sqrt z))) (+ (log y) (log (sqrt (sqrt z)))) (log (* y (sqrt (sqrt z)))) (exp (* y (sqrt (sqrt z)))) (* (* (* y y) y) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (cbrt (* y (sqrt (sqrt z)))) (cbrt (* y (sqrt (sqrt z))))) (cbrt (* y (sqrt (sqrt z)))) (* (* (* y (sqrt (sqrt z))) (* y (sqrt (sqrt z)))) (* y (sqrt (sqrt z)))) (sqrt (* y (sqrt (sqrt z)))) (sqrt (* y (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* y (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))) (* y (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* y (sqrt (sqrt (* (cbrt z) (cbrt z))))) (* y (sqrt (sqrt (sqrt z)))) (* y (sqrt (sqrt 1))) (* y (sqrt (sqrt (sqrt z)))) (* y (sqrt 1)) (* y (sqrt (sqrt (sqrt z)))) (* y 1) (* (cbrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* y (sqrt (sqrt z))) (log (sqrt (sqrt (sqrt z)))) (exp (sqrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt (sqrt z))))) (cbrt (sqrt (sqrt (sqrt z)))) (* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))) (sqrt (cbrt (sqrt (sqrt z)))) (sqrt (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (sqrt (cbrt (sqrt z)))) (sqrt (sqrt (sqrt (* (cbrt z) (cbrt z))))) (sqrt (sqrt (sqrt (cbrt z)))) (sqrt (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt 1))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))) (sqrt (sqrt 1)) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))) (sqrt 1) (sqrt (sqrt (sqrt z))) (/ 1/2 2) (/ 1 2) (/ (/ 1/2 2) 2) (/ (/ 1 2) 2) (/ (/ (/ 1 2) 2) 2) (sqrt (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))) (* (exp (* 1/8 (+ (* 3 (log z)) (log 1)))) y) (* y (exp (* 1/8 (- (log 1) (* 3 (log (/ 1 z))))))) (- (+ (* 21/32 (* (pow (pow NAN 19) 1/4) (/ y (pow z 2)))) (* (pow (pow NAN 3) 1/4) y)) (* 3/4 (* (pow (pow NAN 11) 1/4) (/ y z)))) (+ (* (pow NAN 3) (* (pow z 2) y)) (+ (* (pow NAN 5) (* (pow z 3) y)) (* NAN (* z y)))) (+ (/ (* (pow NAN 3) y) z) (+ (* NAN y) (/ (* (pow NAN 5) y) (pow z 2)))) (- (+ (* NAN y) (/ (* (pow NAN 5) y) (pow z 2))) (/ (* (pow NAN 3) y) z)) (* (exp (* 1/4 (+ (log z) (log 1)))) y) (* y (exp (* 1/4 (- (log 1) (log (/ 1 z)))))) (- (+ (* (sqrt NAN) y) (* 3/8 (* (sqrt (pow NAN 9)) (/ y (pow z 2))))) (* 1/2 (* (sqrt (pow NAN 5)) (/ y z)))) (exp (* 1/8 (+ (log z) (log 1)))) (exp (* 1/8 (- (log 1) (log (/ 1 z))))) (- (+ (pow NAN 1/4) (* 5/32 (* (pow (pow NAN 17) 1/4) (/ 1 (pow z 2))))) (* 1/4 (* (pow (pow NAN 9) 1/4) (/ 1 z)))) 4.718 * * [simplify]: iteration 0 : 209 enodes (cost 1573 ) 4.773 * * [simplify]: iteration 1 : 541 enodes (cost 1243 ) 4.952 * * [simplify]: iteration 2 : 1622 enodes (cost 970 ) 6.305 * * [simplify]: iteration 3 : 4802 enodes (cost 950 ) 7.216 * * [simplify]: iteration done : 5000 enodes (cost 950 ) 7.217 * [simplify]: Simplified to: (* (pow (sqrt (sqrt (sqrt z))) 3) y) (* (pow (sqrt (sqrt (sqrt z))) 3) y) (log (* (pow (sqrt (sqrt (sqrt z))) 3) y)) (log (* (pow (sqrt (sqrt (sqrt z))) 3) y)) (log (* (pow (sqrt (sqrt (sqrt z))) 3) y)) (pow (exp y) (pow (sqrt (sqrt (sqrt z))) 3)) (pow (* (pow (sqrt (sqrt (sqrt z))) 3) y) 3) (pow (* (pow (sqrt (sqrt (sqrt z))) 3) y) 3) (* (cbrt (* (pow (sqrt (sqrt (sqrt z))) 3) y)) (cbrt (* (pow (sqrt (sqrt (sqrt z))) 3) y))) (cbrt (* (pow (sqrt (sqrt (sqrt z))) 3) y)) (pow (* (pow (sqrt (sqrt (sqrt z))) 3) y) 3) (sqrt (* (pow (sqrt (sqrt (sqrt z))) 3) y)) (sqrt (* (pow (sqrt (sqrt (sqrt z))) 3) y)) (* (* y (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt (sqrt z)))))) (* (* (sqrt (sqrt z)) y) (fabs (cbrt (sqrt (sqrt z))))) (* (* (sqrt (sqrt z)) y) (sqrt (fabs (cbrt (sqrt z))))) (* (* (sqrt (sqrt z)) y) (sqrt (sqrt (fabs (cbrt z))))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt (sqrt z))))) (* (sqrt (sqrt z)) y) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt (sqrt z))))) (* (sqrt (sqrt z)) y) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt (sqrt z))))) (* (sqrt (sqrt z)) y) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt (sqrt z))))) (* (sqrt (sqrt z)) y) (pow (sqrt (sqrt (sqrt z))) 3) (* (sqrt z) y) (* (sqrt z) y) (* (sqrt z) y) (log (* (sqrt z) y)) (log (* (sqrt z) y)) (log (* (sqrt z) y)) (log (* (sqrt z) y)) (exp (* (sqrt z) y)) (pow (* (sqrt z) y) 3) (pow (* (sqrt z) y) 3) (pow (* (sqrt z) y) 3) (* (cbrt (* (sqrt z) y)) (cbrt (* (sqrt z) y))) (cbrt (* (sqrt z) y)) (pow (* (sqrt z) y) 3) (sqrt (* (sqrt z) y)) (sqrt (* (sqrt z) y)) (* (* (* (cbrt (sqrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt (sqrt z))))) y) (pow (sqrt (sqrt (sqrt z))) 3)) (* (fabs (cbrt (sqrt (sqrt z)))) (* (pow (sqrt (sqrt (sqrt z))) 3) y)) (* (sqrt (fabs (cbrt (sqrt z)))) (* (pow (sqrt (sqrt (sqrt z))) 3) y)) (* (* (sqrt (sqrt (fabs (cbrt z)))) y) (pow (sqrt (sqrt (sqrt z))) 3)) (* y (* (pow (sqrt (sqrt (sqrt z))) 3) (sqrt (sqrt (sqrt (sqrt z)))))) (* (pow (sqrt (sqrt (sqrt z))) 3) y) (* y (* (pow (sqrt (sqrt (sqrt z))) 3) (sqrt (sqrt (sqrt (sqrt z)))))) (* (pow (sqrt (sqrt (sqrt z))) 3) y) (* y (* (pow (sqrt (sqrt (sqrt z))) 3) (sqrt (sqrt (sqrt (sqrt z)))))) (* (pow (sqrt (sqrt (sqrt z))) 3) y) (* y (* (pow (sqrt (sqrt (sqrt z))) 3) (sqrt (sqrt (sqrt (sqrt z)))))) (* (pow (sqrt (sqrt (sqrt z))) 3) y) (sqrt (sqrt z)) (* (sqrt (sqrt z)) y) (log (* y (sqrt (sqrt z)))) (log (* y (sqrt (sqrt z)))) (exp (* y (sqrt (sqrt z)))) (pow (* (sqrt (sqrt z)) y) 3) (* (cbrt (* y (sqrt (sqrt z)))) (cbrt (* y (sqrt (sqrt z))))) (cbrt (* y (sqrt (sqrt z)))) (pow (* (sqrt (sqrt z)) y) 3) (sqrt (* y (sqrt (sqrt z)))) (sqrt (* y (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* y (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))) (* (fabs (cbrt (sqrt z))) y) (* y (sqrt (fabs (cbrt z)))) (* y (sqrt (sqrt (sqrt z)))) y (* y (sqrt (sqrt (sqrt z)))) y (* y (sqrt (sqrt (sqrt z)))) y (* (cbrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt (sqrt z)) y) (log (sqrt (sqrt (sqrt z)))) (exp (sqrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt (sqrt z))))) (cbrt (sqrt (sqrt (sqrt z)))) (pow (sqrt (sqrt (sqrt z))) 3) (fabs (cbrt (sqrt (sqrt z)))) (sqrt (cbrt (sqrt (sqrt z)))) (sqrt (fabs (cbrt (sqrt z)))) (sqrt (sqrt (cbrt (sqrt z)))) (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))) (sqrt (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))) 1 (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))) 1 (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))) 1 (sqrt (sqrt (sqrt z))) 1/4 1/2 1/8 1/4 1/8 (sqrt (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))) (* y (pow z 3/8)) (* y (pow z 3/8)) (- (+ (* 21/32 (* (pow (pow NAN 19) 1/4) (/ y (pow z 2)))) (* (pow (pow NAN 3) 1/4) y)) (* 3/4 (* (pow (pow NAN 11) 1/4) (/ y z)))) (* y (+ (* NAN z) (* (* z z) (+ (pow NAN 3) (* (pow NAN 5) z))))) (+ (* NAN y) (* y (+ (/ (pow NAN 3) z) (/ (pow NAN 5) (pow z 2))))) (+ (* NAN y) (* y (- (/ (pow NAN 5) (pow z 2)) (/ (pow NAN 3) z)))) (* (pow z 1/4) y) (* (pow z 1/4) y) (- (+ (* (sqrt NAN) y) (* 3/8 (* (sqrt (pow NAN 9)) (/ y (pow z 2))))) (* 1/2 (* (sqrt (pow NAN 5)) (/ y z)))) (pow z 1/8) (pow z 1/8) (- (+ (pow NAN 1/4) (* 5/32 (/ (pow (pow NAN 17) 1/4) (pow z 2)))) (* 1/4 (/ (pow (pow NAN 9) 1/4) z))) 7.218 * * * [progress]: adding candidates to table 7.325 * * [progress]: iteration 4 / 4 7.325 * * * [progress]: picking best candidate 7.349 * * * * [pick]: Picked # 7.349 * * * [progress]: localizing error 7.364 * * * [progress]: generating rewritten candidates 7.364 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 7.374 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 7.380 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 7.383 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1) 7.388 * * * [progress]: generating series expansions 7.389 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 7.389 * [approximate]: Taking taylor expansion of (* (sqrt z) y) in (y z) around 0 7.389 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z 7.389 * [taylor]: Taking taylor expansion of (sqrt z) in z 7.389 * [taylor]: Taking taylor expansion of z in z 7.389 * [taylor]: Taking taylor expansion of y in z 7.389 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 7.389 * [taylor]: Taking taylor expansion of (sqrt z) in y 7.389 * [taylor]: Taking taylor expansion of z in y 7.389 * [taylor]: Taking taylor expansion of y in y 7.389 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 7.389 * [taylor]: Taking taylor expansion of (sqrt z) in y 7.389 * [taylor]: Taking taylor expansion of z in y 7.389 * [taylor]: Taking taylor expansion of y in y 7.389 * [taylor]: Taking taylor expansion of 0 in z 7.389 * [taylor]: Taking taylor expansion of (sqrt z) in z 7.389 * [taylor]: Taking taylor expansion of z in z 7.389 * [taylor]: Taking taylor expansion of 0 in z 7.390 * [taylor]: Taking taylor expansion of 0 in z 7.390 * [taylor]: Taking taylor expansion of 0 in z 7.391 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in (y z) around 0 7.391 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z 7.391 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 7.391 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.391 * [taylor]: Taking taylor expansion of z in z 7.391 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.391 * [taylor]: Taking taylor expansion of y in z 7.391 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 7.391 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 7.391 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.391 * [taylor]: Taking taylor expansion of z in y 7.391 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.391 * [taylor]: Taking taylor expansion of y in y 7.391 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 7.391 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 7.391 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.391 * [taylor]: Taking taylor expansion of z in y 7.391 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.392 * [taylor]: Taking taylor expansion of y in y 7.392 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 7.392 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.392 * [taylor]: Taking taylor expansion of z in z 7.392 * [taylor]: Taking taylor expansion of 0 in z 7.392 * [taylor]: Taking taylor expansion of 0 in z 7.393 * [taylor]: Taking taylor expansion of 0 in z 7.394 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ -1 (pow z 3)) 1/8) (* (pow (sqrt (/ -1 z)) 1/4) (/ 1 y)))) in (y z) around 0 7.394 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 (pow z 3)) 1/8) (* (pow (sqrt (/ -1 z)) 1/4) (/ 1 y)))) in z 7.394 * [taylor]: Taking taylor expansion of -1 in z 7.394 * [taylor]: Taking taylor expansion of (* (pow (/ -1 (pow z 3)) 1/8) (* (pow (sqrt (/ -1 z)) 1/4) (/ 1 y))) in z 7.394 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 3)) 1/8) in z 7.394 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ -1 (pow z 3))))) in z 7.394 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ -1 (pow z 3)))) in z 7.394 * [taylor]: Taking taylor expansion of 1/8 in z 7.394 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 3))) in z 7.394 * [taylor]: Taking taylor expansion of (/ -1 (pow z 3)) in z 7.394 * [taylor]: Taking taylor expansion of -1 in z 7.394 * [taylor]: Taking taylor expansion of (pow z 3) in z 7.394 * [taylor]: Taking taylor expansion of z in z 7.394 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 z)) 1/4) (/ 1 y)) in z 7.394 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/4) in z 7.394 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 z))))) in z 7.394 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 z)))) in z 7.394 * [taylor]: Taking taylor expansion of 1/4 in z 7.394 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 7.394 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 7.394 * [taylor]: Taking taylor expansion of (/ -1 z) in z 7.394 * [taylor]: Taking taylor expansion of -1 in z 7.394 * [taylor]: Taking taylor expansion of z in z 7.395 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.395 * [taylor]: Taking taylor expansion of y in z 7.395 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 (pow z 3)) 1/8) (* (pow (sqrt (/ -1 z)) 1/4) (/ 1 y)))) in y 7.395 * [taylor]: Taking taylor expansion of -1 in y 7.395 * [taylor]: Taking taylor expansion of (* (pow (/ -1 (pow z 3)) 1/8) (* (pow (sqrt (/ -1 z)) 1/4) (/ 1 y))) in y 7.395 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 3)) 1/8) in y 7.395 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ -1 (pow z 3))))) in y 7.395 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ -1 (pow z 3)))) in y 7.395 * [taylor]: Taking taylor expansion of 1/8 in y 7.395 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 3))) in y 7.395 * [taylor]: Taking taylor expansion of (/ -1 (pow z 3)) in y 7.395 * [taylor]: Taking taylor expansion of -1 in y 7.395 * [taylor]: Taking taylor expansion of (pow z 3) in y 7.395 * [taylor]: Taking taylor expansion of z in y 7.395 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 z)) 1/4) (/ 1 y)) in y 7.395 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/4) in y 7.395 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 z))))) in y 7.395 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 z)))) in y 7.395 * [taylor]: Taking taylor expansion of 1/4 in y 7.395 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in y 7.395 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 7.395 * [taylor]: Taking taylor expansion of (/ -1 z) in y 7.395 * [taylor]: Taking taylor expansion of -1 in y 7.395 * [taylor]: Taking taylor expansion of z in y 7.396 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.396 * [taylor]: Taking taylor expansion of y in y 7.396 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 (pow z 3)) 1/8) (* (pow (sqrt (/ -1 z)) 1/4) (/ 1 y)))) in y 7.396 * [taylor]: Taking taylor expansion of -1 in y 7.396 * [taylor]: Taking taylor expansion of (* (pow (/ -1 (pow z 3)) 1/8) (* (pow (sqrt (/ -1 z)) 1/4) (/ 1 y))) in y 7.396 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 3)) 1/8) in y 7.396 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ -1 (pow z 3))))) in y 7.396 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ -1 (pow z 3)))) in y 7.396 * [taylor]: Taking taylor expansion of 1/8 in y 7.396 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 3))) in y 7.396 * [taylor]: Taking taylor expansion of (/ -1 (pow z 3)) in y 7.396 * [taylor]: Taking taylor expansion of -1 in y 7.396 * [taylor]: Taking taylor expansion of (pow z 3) in y 7.396 * [taylor]: Taking taylor expansion of z in y 7.396 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 z)) 1/4) (/ 1 y)) in y 7.396 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/4) in y 7.396 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 z))))) in y 7.396 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 z)))) in y 7.396 * [taylor]: Taking taylor expansion of 1/4 in y 7.396 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in y 7.396 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 7.396 * [taylor]: Taking taylor expansion of (/ -1 z) in y 7.396 * [taylor]: Taking taylor expansion of -1 in y 7.396 * [taylor]: Taking taylor expansion of z in y 7.397 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.397 * [taylor]: Taking taylor expansion of y in y 7.397 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 (pow z 3)) 1/8) (pow (sqrt (/ -1 z)) 1/4))) in z 7.397 * [taylor]: Taking taylor expansion of -1 in z 7.397 * [taylor]: Taking taylor expansion of (* (pow (/ -1 (pow z 3)) 1/8) (pow (sqrt (/ -1 z)) 1/4)) in z 7.397 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 3)) 1/8) in z 7.397 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ -1 (pow z 3))))) in z 7.397 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ -1 (pow z 3)))) in z 7.397 * [taylor]: Taking taylor expansion of 1/8 in z 7.397 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 3))) in z 7.397 * [taylor]: Taking taylor expansion of (/ -1 (pow z 3)) in z 7.397 * [taylor]: Taking taylor expansion of -1 in z 7.397 * [taylor]: Taking taylor expansion of (pow z 3) in z 7.397 * [taylor]: Taking taylor expansion of z in z 7.398 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/4) in z 7.398 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 z))))) in z 7.398 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 z)))) in z 7.398 * [taylor]: Taking taylor expansion of 1/4 in z 7.398 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 7.398 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 7.398 * [taylor]: Taking taylor expansion of (/ -1 z) in z 7.398 * [taylor]: Taking taylor expansion of -1 in z 7.398 * [taylor]: Taking taylor expansion of z in z 7.400 * [taylor]: Taking taylor expansion of 0 in z 7.404 * [taylor]: Taking taylor expansion of 0 in z 7.407 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 7.407 * [approximate]: Taking taylor expansion of (* (pow (pow z 3) 1/8) y) in (y z) around 0 7.407 * [taylor]: Taking taylor expansion of (* (pow (pow z 3) 1/8) y) in z 7.407 * [taylor]: Taking taylor expansion of (pow (pow z 3) 1/8) in z 7.407 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (pow z 3)))) in z 7.407 * [taylor]: Taking taylor expansion of (* 1/8 (log (pow z 3))) in z 7.407 * [taylor]: Taking taylor expansion of 1/8 in z 7.407 * [taylor]: Taking taylor expansion of (log (pow z 3)) in z 7.407 * [taylor]: Taking taylor expansion of (pow z 3) in z 7.407 * [taylor]: Taking taylor expansion of z in z 7.408 * [taylor]: Taking taylor expansion of y in z 7.408 * [taylor]: Taking taylor expansion of (* (pow (pow z 3) 1/8) y) in y 7.408 * [taylor]: Taking taylor expansion of (pow (pow z 3) 1/8) in y 7.408 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (pow z 3)))) in y 7.408 * [taylor]: Taking taylor expansion of (* 1/8 (log (pow z 3))) in y 7.408 * [taylor]: Taking taylor expansion of 1/8 in y 7.408 * [taylor]: Taking taylor expansion of (log (pow z 3)) in y 7.408 * [taylor]: Taking taylor expansion of (pow z 3) in y 7.408 * [taylor]: Taking taylor expansion of z in y 7.408 * [taylor]: Taking taylor expansion of y in y 7.408 * [taylor]: Taking taylor expansion of (* (pow (pow z 3) 1/8) y) in y 7.408 * [taylor]: Taking taylor expansion of (pow (pow z 3) 1/8) in y 7.408 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (pow z 3)))) in y 7.408 * [taylor]: Taking taylor expansion of (* 1/8 (log (pow z 3))) in y 7.408 * [taylor]: Taking taylor expansion of 1/8 in y 7.408 * [taylor]: Taking taylor expansion of (log (pow z 3)) in y 7.408 * [taylor]: Taking taylor expansion of (pow z 3) in y 7.408 * [taylor]: Taking taylor expansion of z in y 7.408 * [taylor]: Taking taylor expansion of y in y 7.409 * [taylor]: Taking taylor expansion of 0 in z 7.409 * [taylor]: Taking taylor expansion of (pow (pow z 3) 1/8) in z 7.409 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (pow z 3)))) in z 7.409 * [taylor]: Taking taylor expansion of (* 1/8 (log (pow z 3))) in z 7.409 * [taylor]: Taking taylor expansion of 1/8 in z 7.409 * [taylor]: Taking taylor expansion of (log (pow z 3)) in z 7.409 * [taylor]: Taking taylor expansion of (pow z 3) in z 7.409 * [taylor]: Taking taylor expansion of z in z 7.410 * [taylor]: Taking taylor expansion of 0 in z 7.411 * [taylor]: Taking taylor expansion of 0 in z 7.412 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 3)) 1/8) (/ 1 y)) in (y z) around 0 7.412 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 3)) 1/8) (/ 1 y)) in z 7.412 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 3)) 1/8) in z 7.412 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 (pow z 3))))) in z 7.412 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 (pow z 3)))) in z 7.412 * [taylor]: Taking taylor expansion of 1/8 in z 7.412 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 3))) in z 7.412 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 7.412 * [taylor]: Taking taylor expansion of (pow z 3) in z 7.412 * [taylor]: Taking taylor expansion of z in z 7.412 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.412 * [taylor]: Taking taylor expansion of y in z 7.412 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 3)) 1/8) (/ 1 y)) in y 7.412 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 3)) 1/8) in y 7.412 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 (pow z 3))))) in y 7.412 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 (pow z 3)))) in y 7.412 * [taylor]: Taking taylor expansion of 1/8 in y 7.412 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 3))) in y 7.412 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 7.412 * [taylor]: Taking taylor expansion of (pow z 3) in y 7.412 * [taylor]: Taking taylor expansion of z in y 7.413 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.413 * [taylor]: Taking taylor expansion of y in y 7.413 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 3)) 1/8) (/ 1 y)) in y 7.413 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 3)) 1/8) in y 7.413 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 (pow z 3))))) in y 7.413 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 (pow z 3)))) in y 7.413 * [taylor]: Taking taylor expansion of 1/8 in y 7.413 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 3))) in y 7.413 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 7.413 * [taylor]: Taking taylor expansion of (pow z 3) in y 7.413 * [taylor]: Taking taylor expansion of z in y 7.413 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.413 * [taylor]: Taking taylor expansion of y in y 7.413 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 3)) 1/8) in z 7.413 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 (pow z 3))))) in z 7.413 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 (pow z 3)))) in z 7.413 * [taylor]: Taking taylor expansion of 1/8 in z 7.413 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 3))) in z 7.413 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 7.413 * [taylor]: Taking taylor expansion of (pow z 3) in z 7.413 * [taylor]: Taking taylor expansion of z in z 7.414 * [taylor]: Taking taylor expansion of 0 in z 7.416 * [taylor]: Taking taylor expansion of 0 in z 7.418 * [taylor]: Taking taylor expansion of 0 in z 7.418 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ (pow -1 3) (pow z 3)) 1/8) (/ 1 y))) in (y z) around 0 7.418 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (pow -1 3) (pow z 3)) 1/8) (/ 1 y))) in z 7.418 * [taylor]: Taking taylor expansion of -1 in z 7.418 * [taylor]: Taking taylor expansion of (* (pow (/ (pow -1 3) (pow z 3)) 1/8) (/ 1 y)) in z 7.418 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 3) (pow z 3)) 1/8) in z 7.418 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ (pow -1 3) (pow z 3))))) in z 7.418 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ (pow -1 3) (pow z 3)))) in z 7.418 * [taylor]: Taking taylor expansion of 1/8 in z 7.418 * [taylor]: Taking taylor expansion of (log (/ (pow -1 3) (pow z 3))) in z 7.418 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in z 7.418 * [taylor]: Taking taylor expansion of (pow -1 3) in z 7.418 * [taylor]: Taking taylor expansion of -1 in z 7.418 * [taylor]: Taking taylor expansion of (pow z 3) in z 7.418 * [taylor]: Taking taylor expansion of z in z 7.419 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.419 * [taylor]: Taking taylor expansion of y in z 7.419 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (pow -1 3) (pow z 3)) 1/8) (/ 1 y))) in y 7.419 * [taylor]: Taking taylor expansion of -1 in y 7.419 * [taylor]: Taking taylor expansion of (* (pow (/ (pow -1 3) (pow z 3)) 1/8) (/ 1 y)) in y 7.419 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 3) (pow z 3)) 1/8) in y 7.419 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ (pow -1 3) (pow z 3))))) in y 7.419 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ (pow -1 3) (pow z 3)))) in y 7.419 * [taylor]: Taking taylor expansion of 1/8 in y 7.419 * [taylor]: Taking taylor expansion of (log (/ (pow -1 3) (pow z 3))) in y 7.419 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in y 7.419 * [taylor]: Taking taylor expansion of (pow -1 3) in y 7.419 * [taylor]: Taking taylor expansion of -1 in y 7.419 * [taylor]: Taking taylor expansion of (pow z 3) in y 7.419 * [taylor]: Taking taylor expansion of z in y 7.419 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.419 * [taylor]: Taking taylor expansion of y in y 7.419 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (pow -1 3) (pow z 3)) 1/8) (/ 1 y))) in y 7.419 * [taylor]: Taking taylor expansion of -1 in y 7.419 * [taylor]: Taking taylor expansion of (* (pow (/ (pow -1 3) (pow z 3)) 1/8) (/ 1 y)) in y 7.419 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 3) (pow z 3)) 1/8) in y 7.419 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ (pow -1 3) (pow z 3))))) in y 7.419 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ (pow -1 3) (pow z 3)))) in y 7.419 * [taylor]: Taking taylor expansion of 1/8 in y 7.419 * [taylor]: Taking taylor expansion of (log (/ (pow -1 3) (pow z 3))) in y 7.419 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in y 7.419 * [taylor]: Taking taylor expansion of (pow -1 3) in y 7.419 * [taylor]: Taking taylor expansion of -1 in y 7.419 * [taylor]: Taking taylor expansion of (pow z 3) in y 7.419 * [taylor]: Taking taylor expansion of z in y 7.420 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.420 * [taylor]: Taking taylor expansion of y in y 7.420 * [taylor]: Taking taylor expansion of (* -1 (pow (/ -1 (pow z 3)) 1/8)) in z 7.420 * [taylor]: Taking taylor expansion of -1 in z 7.420 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 3)) 1/8) in z 7.420 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ -1 (pow z 3))))) in z 7.420 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ -1 (pow z 3)))) in z 7.420 * [taylor]: Taking taylor expansion of 1/8 in z 7.420 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 3))) in z 7.420 * [taylor]: Taking taylor expansion of (/ -1 (pow z 3)) in z 7.420 * [taylor]: Taking taylor expansion of -1 in z 7.420 * [taylor]: Taking taylor expansion of (pow z 3) in z 7.420 * [taylor]: Taking taylor expansion of z in z 7.425 * [taylor]: Taking taylor expansion of 0 in z 7.427 * [taylor]: Taking taylor expansion of 0 in z 7.429 * [taylor]: Taking taylor expansion of 0 in z 7.429 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 7.429 * [approximate]: Taking taylor expansion of (pow z 1/8) in (z) around 0 7.429 * [taylor]: Taking taylor expansion of (pow z 1/8) in z 7.429 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log z))) in z 7.429 * [taylor]: Taking taylor expansion of (* 1/8 (log z)) in z 7.429 * [taylor]: Taking taylor expansion of 1/8 in z 7.429 * [taylor]: Taking taylor expansion of (log z) in z 7.429 * [taylor]: Taking taylor expansion of z in z 7.429 * [taylor]: Taking taylor expansion of (pow z 1/8) in z 7.429 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log z))) in z 7.429 * [taylor]: Taking taylor expansion of (* 1/8 (log z)) in z 7.429 * [taylor]: Taking taylor expansion of 1/8 in z 7.429 * [taylor]: Taking taylor expansion of (log z) in z 7.430 * [taylor]: Taking taylor expansion of z in z 7.436 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/8) in (z) around 0 7.436 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/8) in z 7.436 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 z)))) in z 7.436 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 z))) in z 7.436 * [taylor]: Taking taylor expansion of 1/8 in z 7.436 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.436 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.436 * [taylor]: Taking taylor expansion of z in z 7.436 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/8) in z 7.436 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 z)))) in z 7.436 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 z))) in z 7.436 * [taylor]: Taking taylor expansion of 1/8 in z 7.436 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.436 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.436 * [taylor]: Taking taylor expansion of z in z 7.443 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/4) in (z) around 0 7.443 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/4) in z 7.443 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 z))))) in z 7.443 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 z)))) in z 7.443 * [taylor]: Taking taylor expansion of 1/4 in z 7.443 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 7.443 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 7.443 * [taylor]: Taking taylor expansion of (/ -1 z) in z 7.444 * [taylor]: Taking taylor expansion of -1 in z 7.444 * [taylor]: Taking taylor expansion of z in z 7.444 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/4) in z 7.444 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 z))))) in z 7.444 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 z)))) in z 7.444 * [taylor]: Taking taylor expansion of 1/4 in z 7.444 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 7.444 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 7.444 * [taylor]: Taking taylor expansion of (/ -1 z) in z 7.444 * [taylor]: Taking taylor expansion of -1 in z 7.444 * [taylor]: Taking taylor expansion of z in z 7.446 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1) 7.446 * [approximate]: Taking taylor expansion of (pow z 1/4) in (z) around 0 7.446 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 7.446 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 7.446 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 7.446 * [taylor]: Taking taylor expansion of 1/4 in z 7.446 * [taylor]: Taking taylor expansion of (log z) in z 7.446 * [taylor]: Taking taylor expansion of z in z 7.446 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 7.446 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 7.446 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 7.446 * [taylor]: Taking taylor expansion of 1/4 in z 7.446 * [taylor]: Taking taylor expansion of (log z) in z 7.446 * [taylor]: Taking taylor expansion of z in z 7.453 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/4) in (z) around 0 7.453 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 7.453 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 7.453 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 7.453 * [taylor]: Taking taylor expansion of 1/4 in z 7.453 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.453 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.453 * [taylor]: Taking taylor expansion of z in z 7.453 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 7.453 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 7.453 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 7.453 * [taylor]: Taking taylor expansion of 1/4 in z 7.453 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.453 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.454 * [taylor]: Taking taylor expansion of z in z 7.460 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in (z) around 0 7.460 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 7.460 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 7.460 * [taylor]: Taking taylor expansion of (/ -1 z) in z 7.460 * [taylor]: Taking taylor expansion of -1 in z 7.460 * [taylor]: Taking taylor expansion of z in z 7.461 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 7.461 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 7.461 * [taylor]: Taking taylor expansion of (/ -1 z) in z 7.461 * [taylor]: Taking taylor expansion of -1 in z 7.461 * [taylor]: Taking taylor expansion of z in z 7.462 * * * [progress]: simplifying candidates 7.463 * [simplify]: Simplifying using # : (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z)))) (+ (+ (log y) (* (log z) 3/8)) (log (sqrt (sqrt (sqrt z))))) (+ (+ (log y) (* (log z) 3/8)) (log (sqrt (sqrt (sqrt z))))) (+ (+ (log y) (log (pow z 3/8))) (log (sqrt (sqrt (sqrt z))))) (+ (log (* y (pow z 3/8))) (log (sqrt (sqrt (sqrt z))))) (log (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z))))) (exp (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z))))) (* (* (* (* y y) y) (* (* (pow z 3/8) (pow z 3/8)) (pow z 3/8))) (* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (* (* (* (* y (pow z 3/8)) (* y (pow z 3/8))) (* y (pow z 3/8))) (* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (* (cbrt (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z))))) (cbrt (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z)))))) (cbrt (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z))))) (* (* (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z)))) (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z))))) (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z))))) (sqrt (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z))))) (sqrt (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z))))) (* (* y (pow z 3/8)) (* (cbrt (sqrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt (sqrt z)))))) (* (* y (pow z 3/8)) (sqrt (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))))) (* (* y (pow z 3/8)) (sqrt (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt (* (cbrt z) (cbrt z)))))) (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt (sqrt z))))) (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt 1)))) (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt (sqrt z))))) (* (* y (pow z 3/8)) (sqrt (sqrt 1))) (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt (sqrt z))))) (* (* y (pow z 3/8)) (sqrt 1)) (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt (sqrt z))))) (* (* y (pow z 3/8)) 1) (* (pow z 3/8) (sqrt (sqrt (sqrt z)))) (+ (log y) (* (log z) 3/8)) (+ (log y) (* (log z) 3/8)) (+ (log y) (log (pow z 3/8))) (log (* y (pow z 3/8))) (exp (* y (pow z 3/8))) (* (* (* y y) y) (* (* (pow z 3/8) (pow z 3/8)) (pow z 3/8))) (* (cbrt (* y (pow z 3/8))) (cbrt (* y (pow z 3/8)))) (cbrt (* y (pow z 3/8))) (* (* (* y (pow z 3/8)) (* y (pow z 3/8))) (* y (pow z 3/8))) (sqrt (* y (pow z 3/8))) (sqrt (* y (pow z 3/8))) (* (sqrt y) (pow (sqrt z) 3/8)) (* (sqrt y) (pow (sqrt z) 3/8)) (* (sqrt y) (sqrt (pow z 3/8))) (* (sqrt y) (sqrt (pow z 3/8))) (* (sqrt y) (pow z (/ 3/8 2))) (* (sqrt y) (pow z (/ 3/8 2))) (* y (pow (* (cbrt z) (cbrt z)) 3/8)) (* y (pow (sqrt z) 3/8)) (* y (pow 1 3/8)) (* y (* (cbrt (pow z 3/8)) (cbrt (pow z 3/8)))) (* y (sqrt (pow z 3/8))) (* y 1) (* y (pow z (/ 3/8 2))) (* (cbrt y) (pow z 3/8)) (* (sqrt y) (pow z 3/8)) (* y (pow z 3/8)) (log (sqrt (sqrt (sqrt z)))) (exp (sqrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt (sqrt z))))) (cbrt (sqrt (sqrt (sqrt z)))) (* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))) (sqrt (cbrt (sqrt (sqrt z)))) (sqrt (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (sqrt (cbrt (sqrt z)))) (sqrt (sqrt (sqrt (* (cbrt z) (cbrt z))))) (sqrt (sqrt (sqrt (cbrt z)))) (sqrt (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt 1))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))) (sqrt (sqrt 1)) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))) (sqrt 1) (sqrt (sqrt (sqrt z))) (/ 1/2 2) (/ 1 2) (/ (/ 1/2 2) 2) (/ (/ 1 2) 2) (/ (/ (/ 1 2) 2) 2) (sqrt (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))) (log (sqrt (sqrt z))) (exp (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt z))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (sqrt (cbrt (sqrt z))) (sqrt (sqrt (* (cbrt z) (cbrt z)))) (sqrt (sqrt (cbrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt 1)) (sqrt (sqrt z)) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (sqrt 1) (sqrt (sqrt z)) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (+ (* (pow NAN 3) (* (pow z 2) y)) (+ (* (pow NAN 5) (* (pow z 3) y)) (* NAN (* z y)))) (+ (/ (* (pow NAN 3) y) z) (+ (* NAN y) (/ (* (pow NAN 5) y) (pow z 2)))) (- (+ (* 5/32 (* (pow (pow NAN 17) 1/4) (/ (* y (exp (* 1/8 (- (log -1) (* 3 (log (/ -1 z))))))) (pow z 2)))) (* (pow NAN 1/4) (* y (exp (* 1/8 (- (log -1) (* 3 (log (/ -1 z))))))))) (* 1/4 (* (pow (pow NAN 9) 1/4) (/ (* y (exp (* 1/8 (- (log -1) (* 3 (log (/ -1 z))))))) z)))) (* (exp (* 1/8 (+ (* 3 (log z)) (log 1)))) y) (* y (exp (* 1/8 (- (log 1) (* 3 (log (/ 1 z))))))) (* y (exp (* 1/8 (- (log -1) (* 3 (log (/ -1 z))))))) (exp (* 1/8 (+ (log z) (log 1)))) (exp (* 1/8 (- (log 1) (log (/ 1 z))))) (- (+ (pow NAN 1/4) (* 5/32 (* (pow (pow NAN 17) 1/4) (/ 1 (pow z 2))))) (* 1/4 (* (pow (pow NAN 9) 1/4) (/ 1 z)))) (exp (* 1/4 (+ (log z) (log 1)))) (exp (* 1/4 (- (log 1) (log (/ 1 z))))) (- (+ (sqrt NAN) (* 3/8 (* (sqrt (pow NAN 9)) (/ 1 (pow z 2))))) (* 1/2 (* (sqrt (pow NAN 5)) (/ 1 z)))) 7.469 * * [simplify]: iteration 0 : 200 enodes (cost 1103 ) 7.522 * * [simplify]: iteration 1 : 485 enodes (cost 943 ) 7.640 * * [simplify]: iteration 2 : 1396 enodes (cost 869 ) 8.285 * * [simplify]: iteration done : 5000 enodes (cost 865 ) 8.286 * [simplify]: Simplified to: (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z)))) (log (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z))))) (log (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z))))) (log (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z))))) (log (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z))))) (log (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z))))) (exp (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z))))) (pow (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z)))) 3) (pow (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z)))) 3) (* (cbrt (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z))))) (cbrt (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z)))))) (cbrt (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z))))) (pow (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z)))) 3) (sqrt (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z))))) (sqrt (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt z))))) (* (* y (pow z 3/8)) (* (cbrt (sqrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt (sqrt z)))))) (* (fabs (cbrt (sqrt (sqrt z)))) (* y (pow z 3/8))) (* (* y (pow z 3/8)) (sqrt (fabs (cbrt (sqrt z))))) (* y (* (pow z 3/8) (sqrt (sqrt (fabs (cbrt z)))))) (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt (sqrt z))))) (* y (pow z 3/8)) (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt (sqrt z))))) (* y (pow z 3/8)) (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt (sqrt z))))) (* y (pow z 3/8)) (* (* y (pow z 3/8)) (sqrt (sqrt (sqrt (sqrt z))))) (* y (pow z 3/8)) (* (pow z 3/8) (sqrt (sqrt (sqrt z)))) (log (* y (pow z 3/8))) (log (* y (pow z 3/8))) (log (* y (pow z 3/8))) (log (* y (pow z 3/8))) (exp (* y (pow z 3/8))) (pow (* y (pow z 3/8)) 3) (* (cbrt (* y (pow z 3/8))) (cbrt (* y (pow z 3/8)))) (cbrt (* y (pow z 3/8))) (pow (* y (pow z 3/8)) 3) (sqrt (* y (pow z 3/8))) (sqrt (* y (pow z 3/8))) (* (sqrt y) (pow (sqrt z) 3/8)) (* (sqrt y) (pow (sqrt z) 3/8)) (* (sqrt y) (sqrt (pow z 3/8))) (* (sqrt y) (sqrt (pow z 3/8))) (* (sqrt y) (pow z 3/16)) (* (sqrt y) (pow z 3/16)) (* y (pow (* (cbrt z) (cbrt z)) 3/8)) (* y (pow (sqrt z) 3/8)) y (* y (* (cbrt (pow z 3/8)) (cbrt (pow z 3/8)))) (* y (sqrt (pow z 3/8))) y (* (pow z 3/16) y) (* (cbrt y) (pow z 3/8)) (* (sqrt y) (pow z 3/8)) (* y (pow z 3/8)) (log (sqrt (sqrt (sqrt z)))) (exp (sqrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt (sqrt z))))) (cbrt (sqrt (sqrt (sqrt z)))) (pow (sqrt (sqrt (sqrt z))) 3) (fabs (cbrt (sqrt (sqrt z)))) (sqrt (cbrt (sqrt (sqrt z)))) (sqrt (fabs (cbrt (sqrt z)))) (sqrt (sqrt (cbrt (sqrt z)))) (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))) (sqrt (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))) 1 (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))) 1 (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))) 1 (sqrt (sqrt (sqrt z))) 1/4 1/2 1/8 1/4 1/8 (sqrt (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))) (log (sqrt (sqrt z))) (exp (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt z))) (pow (sqrt (sqrt z)) 3) (fabs (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) 1 (sqrt (sqrt z)) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) 1 (sqrt (sqrt z)) 1/4 1/2 1/4 (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (+ (* NAN (* z y)) (* y (* (pow z 2) (+ (pow NAN 3) (* (pow NAN 5) z))))) (+ (* NAN y) (* y (+ (/ (pow NAN 3) z) (/ (pow NAN 5) (pow z 2))))) (- (+ (* 5/32 (* (pow (pow NAN 17) 1/4) (/ (* y (exp (* 1/8 (- (log -1) (* 3 (log (/ -1 z))))))) (pow z 2)))) (* (pow NAN 1/4) (* y (exp (* 1/8 (- (log -1) (* 3 (log (/ -1 z))))))))) (* 1/4 (* (pow (pow NAN 9) 1/4) (/ (* y (exp (* 1/8 (- (log -1) (* 3 (log (/ -1 z))))))) z)))) (* y (exp (* (log z) 3/8))) (* y (exp (* (log z) 3/8))) (* y (exp (* 1/8 (- (log -1) (* 3 (log (/ -1 z))))))) (pow (exp 1/8) (log z)) (pow (exp 1/8) (log z)) (+ (pow NAN 1/4) (- (/ (* 5/32 (pow (pow NAN 17) 1/4)) (pow z 2)) (/ (* 1/4 (pow (pow NAN 9) 1/4)) z))) (exp (* 1/4 (log z))) (exp (* 1/4 (log z))) (- (+ (* (/ (sqrt (pow NAN 9)) (pow z 2)) 3/8) (sqrt NAN)) (* 1/2 (/ (sqrt (pow NAN 5)) z))) 8.286 * * * [progress]: adding candidates to table 8.425 * [progress]: [Phase 3 of 3] Extracting. 8.425 * * [regime]: Finding splitpoints for: (# # # # # #) 8.426 * * * [regime-changes]: Trying 7 branch expressions: ((sqrt z) (* y (sqrt z)) (+ x (* y (sqrt z))) (* (/ 1.0 2.0) (+ x (* y (sqrt z)))) z y x) 8.426 * * * * [regimes]: Trying to branch on (sqrt z) from (# # # # # #) 8.490 * * * * [regimes]: Trying to branch on (* y (sqrt z)) from (# # # # # #) 8.554 * * * * [regimes]: Trying to branch on (+ x (* y (sqrt z))) from (# # # # # #) 8.618 * * * * [regimes]: Trying to branch on (* (/ 1.0 2.0) (+ x (* y (sqrt z)))) from (# # # # # #) 8.684 * * * * [regimes]: Trying to branch on z from (# # # # # #) 8.742 * * * * [regimes]: Trying to branch on y from (# # # # # #) 8.799 * * * * [regimes]: Trying to branch on x from (# # # # # #) 8.856 * * * [regime]: Found split indices: #