2.291 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.029 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying using # : (* (/ 1.0 2.0) (+ x (* y (sqrt z)))) 0.032 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 0.033 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 0.036 * * [simplify]: iteration 2 : 45 enodes (cost 10 ) 0.045 * * [simplify]: iteration 3 : 67 enodes (cost 10 ) 0.053 * * [simplify]: iteration 4 : 93 enodes (cost 10 ) 0.065 * * [simplify]: iteration 5 : 112 enodes (cost 10 ) 0.078 * * [simplify]: iteration 6 : 124 enodes (cost 10 ) 0.095 * * [simplify]: iteration 7 : 126 enodes (cost 10 ) 0.111 * * [simplify]: iteration done : 126 enodes (cost 10 ) 0.111 * [simplify]: Simplified to: (* (/ 1.0 2.0) (+ x (* y (sqrt z)))) 0.111 * * [progress]: iteration 1 / 4 0.111 * * * [progress]: picking best candidate 0.113 * * * * [pick]: Picked # 0.113 * * * [progress]: localizing error 0.121 * * * [progress]: generating rewritten candidates 0.121 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2) 0.125 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.128 * * * [progress]: generating series expansions 0.128 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2) 0.128 * [approximate]: Taking taylor expansion of (* (sqrt z) y) in (y z) around 0 0.128 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z 0.128 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.128 * [taylor]: Taking taylor expansion of z in z 0.130 * [taylor]: Taking taylor expansion of y in z 0.130 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 0.130 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.130 * [taylor]: Taking taylor expansion of z in y 0.130 * [taylor]: Taking taylor expansion of y in y 0.130 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 0.130 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.130 * [taylor]: Taking taylor expansion of z in y 0.130 * [taylor]: Taking taylor expansion of y in y 0.130 * [taylor]: Taking taylor expansion of 0 in z 0.131 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.131 * [taylor]: Taking taylor expansion of z in z 0.133 * [taylor]: Taking taylor expansion of 0 in z 0.134 * [taylor]: Taking taylor expansion of 0 in z 0.137 * [taylor]: Taking taylor expansion of 0 in z 0.140 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in (y z) around 0 0.140 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z 0.140 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.140 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.140 * [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.143 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.143 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.143 * [taylor]: Taking taylor expansion of z in z 0.145 * [taylor]: Taking taylor expansion of 0 in z 0.150 * [taylor]: Taking taylor expansion of 0 in z 0.154 * [taylor]: Taking taylor expansion of 0 in z 0.157 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in (y z) around 0 0.157 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in z 0.157 * [taylor]: Taking taylor expansion of -1 in z 0.157 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in z 0.157 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.157 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.157 * [taylor]: Taking taylor expansion of -1 in z 0.157 * [taylor]: Taking taylor expansion of z in z 0.158 * [taylor]: Taking taylor expansion of y in z 0.158 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 0.158 * [taylor]: Taking taylor expansion of -1 in y 0.158 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 0.158 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.158 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.158 * [taylor]: Taking taylor expansion of -1 in y 0.158 * [taylor]: Taking taylor expansion of z in y 0.159 * [taylor]: Taking taylor expansion of y in y 0.159 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 0.159 * [taylor]: Taking taylor expansion of -1 in y 0.159 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 0.159 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.159 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.159 * [taylor]: Taking taylor expansion of -1 in y 0.159 * [taylor]: Taking taylor expansion of z in y 0.159 * [taylor]: Taking taylor expansion of y in y 0.159 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 z))) in z 0.159 * [taylor]: Taking taylor expansion of -1 in z 0.159 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.159 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.159 * [taylor]: Taking taylor expansion of -1 in z 0.159 * [taylor]: Taking taylor expansion of z in z 0.162 * [taylor]: Taking taylor expansion of 0 in z 0.168 * [taylor]: Taking taylor expansion of 0 in z 0.174 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.174 * [approximate]: Taking taylor expansion of (+ (* (sqrt z) y) x) in (x y z) around 0 0.174 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in z 0.174 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z 0.174 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.174 * [taylor]: Taking taylor expansion of z in z 0.175 * [taylor]: Taking taylor expansion of y in z 0.175 * [taylor]: Taking taylor expansion of x in z 0.175 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in y 0.175 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 0.175 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.175 * [taylor]: Taking taylor expansion of z in y 0.175 * [taylor]: Taking taylor expansion of y in y 0.175 * [taylor]: Taking taylor expansion of x in y 0.175 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in x 0.175 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in x 0.175 * [taylor]: Taking taylor expansion of (sqrt z) in x 0.175 * [taylor]: Taking taylor expansion of z in x 0.175 * [taylor]: Taking taylor expansion of y in x 0.175 * [taylor]: Taking taylor expansion of x in x 0.176 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in x 0.176 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in x 0.176 * [taylor]: Taking taylor expansion of (sqrt z) in x 0.176 * [taylor]: Taking taylor expansion of z in x 0.176 * [taylor]: Taking taylor expansion of y in x 0.176 * [taylor]: Taking taylor expansion of x in x 0.176 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 0.176 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.176 * [taylor]: Taking taylor expansion of z in y 0.176 * [taylor]: Taking taylor expansion of y in y 0.176 * [taylor]: Taking taylor expansion of 0 in z 0.176 * [taylor]: Taking taylor expansion of 1 in y 0.176 * [taylor]: Taking taylor expansion of 1 in z 0.177 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.177 * [taylor]: Taking taylor expansion of z in z 0.179 * [taylor]: Taking taylor expansion of 0 in y 0.179 * [taylor]: Taking taylor expansion of 0 in z 0.179 * [taylor]: Taking taylor expansion of 0 in z 0.179 * [taylor]: Taking taylor expansion of 0 in z 0.180 * [approximate]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 x)) in (x y z) around 0 0.180 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 x)) in z 0.180 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z 0.180 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.180 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.180 * [taylor]: Taking taylor expansion of z in z 0.181 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.181 * [taylor]: Taking taylor expansion of y in z 0.181 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.181 * [taylor]: Taking taylor expansion of x in z 0.181 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 x)) in y 0.181 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 0.181 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.181 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.181 * [taylor]: Taking taylor expansion of z in y 0.181 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.182 * [taylor]: Taking taylor expansion of y in y 0.182 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.182 * [taylor]: Taking taylor expansion of x in y 0.182 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 x)) in x 0.182 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in x 0.182 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 0.182 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.182 * [taylor]: Taking taylor expansion of z in x 0.182 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.182 * [taylor]: Taking taylor expansion of y in x 0.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.182 * [taylor]: Taking taylor expansion of x in x 0.183 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 x)) in x 0.183 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in x 0.183 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 0.183 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.183 * [taylor]: Taking taylor expansion of z in x 0.183 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.183 * [taylor]: Taking taylor expansion of y in x 0.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.183 * [taylor]: Taking taylor expansion of x in x 0.184 * [taylor]: Taking taylor expansion of 1 in y 0.184 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 0.184 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.184 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.184 * [taylor]: Taking taylor expansion of z in y 0.184 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.184 * [taylor]: Taking taylor expansion of y in y 0.185 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.185 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.185 * [taylor]: Taking taylor expansion of z in z 0.186 * [taylor]: Taking taylor expansion of 1 in z 0.187 * [taylor]: Taking taylor expansion of 0 in y 0.188 * [taylor]: Taking taylor expansion of 0 in z 0.188 * [taylor]: Taking taylor expansion of 0 in z 0.190 * [taylor]: Taking taylor expansion of 0 in y 0.190 * [taylor]: Taking taylor expansion of 0 in z 0.191 * [taylor]: Taking taylor expansion of 0 in z 0.191 * [taylor]: Taking taylor expansion of 0 in z 0.194 * [approximate]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in (x y z) around 0 0.194 * [taylor]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in z 0.194 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 x)) in z 0.194 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in z 0.194 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.194 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.194 * [taylor]: Taking taylor expansion of -1 in z 0.194 * [taylor]: Taking taylor expansion of z in z 0.196 * [taylor]: Taking taylor expansion of y in z 0.196 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.196 * [taylor]: Taking taylor expansion of x in z 0.196 * [taylor]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in y 0.196 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 x)) in y 0.196 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 0.196 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.196 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.196 * [taylor]: Taking taylor expansion of -1 in y 0.196 * [taylor]: Taking taylor expansion of z in y 0.196 * [taylor]: Taking taylor expansion of y in y 0.196 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.196 * [taylor]: Taking taylor expansion of x in y 0.196 * [taylor]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in x 0.196 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 x)) in x 0.196 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in x 0.196 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.196 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.196 * [taylor]: Taking taylor expansion of -1 in x 0.196 * [taylor]: Taking taylor expansion of z in x 0.196 * [taylor]: Taking taylor expansion of y in x 0.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.197 * [taylor]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in x 0.197 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 x)) in x 0.197 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in x 0.197 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.197 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.197 * [taylor]: Taking taylor expansion of -1 in x 0.197 * [taylor]: Taking taylor expansion of z in x 0.197 * [taylor]: Taking taylor expansion of y in x 0.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.197 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of -1 in y 0.198 * [taylor]: Taking taylor expansion of (- (/ (sqrt (/ -1 z)) y)) in y 0.198 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 0.198 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.198 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.198 * [taylor]: Taking taylor expansion of -1 in y 0.198 * [taylor]: Taking taylor expansion of z in y 0.199 * [taylor]: Taking taylor expansion of y in y 0.199 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 z))) in z 0.199 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.199 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.199 * [taylor]: Taking taylor expansion of -1 in z 0.199 * [taylor]: Taking taylor expansion of z in z 0.201 * [taylor]: Taking taylor expansion of -1 in z 0.202 * [taylor]: Taking taylor expansion of 0 in y 0.203 * [taylor]: Taking taylor expansion of 0 in z 0.203 * [taylor]: Taking taylor expansion of 0 in z 0.206 * * * [progress]: simplifying candidates 0.207 * [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))) (- (+ (* +nan.0 (* (pow z 3) y)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (* (pow z 2) y))))))) (- (+ (* +nan.0 (/ y z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y (pow z 2)))))))) (- (+ (* +nan.0 (/ y z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y (pow z 2)))))))) x (- x (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))) (- x (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))) 0.209 * * [simplify]: iteration 0 : 86 enodes (cost 362 ) 0.223 * * [simplify]: iteration 1 : 222 enodes (cost 325 ) 0.269 * * [simplify]: iteration 2 : 801 enodes (cost 297 ) 0.587 * * [simplify]: iteration 3 : 3638 enodes (cost 288 ) 2.992 * * [simplify]: iteration done : 5001 enodes (cost 285 ) 2.992 * [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)) (+ (* (* z y) y) (* x (- x (* y (sqrt z))))) (- (* x x) (* (* y y) z)) (- x (* y (sqrt z))) (* +nan.0 (- (* y (- z (* z z))) (* (pow z 3) y))) (* +nan.0 (- (- y (/ y (pow z 2))) (/ y z))) (* +nan.0 (- (- y (/ y (pow z 2))) (/ y z))) x (- x (* +nan.0 (- (/ y z) y))) (- x (* +nan.0 (- (/ y z) y))) 2.992 * * * [progress]: adding candidates to table 3.074 * * [progress]: iteration 2 / 4 3.074 * * * [progress]: picking best candidate 3.087 * * * * [pick]: Picked # 3.087 * * * [progress]: localizing error 3.100 * * * [progress]: generating rewritten candidates 3.100 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 3.117 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 3.123 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 3.125 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2) 3.129 * * * [progress]: generating series expansions 3.129 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 3.129 * [approximate]: Taking taylor expansion of (* (sqrt z) y) in (y z) around 0 3.129 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z 3.129 * [taylor]: Taking taylor expansion of (sqrt z) in z 3.129 * [taylor]: Taking taylor expansion of z in z 3.131 * [taylor]: Taking taylor expansion of y in z 3.131 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 3.131 * [taylor]: Taking taylor expansion of (sqrt z) in y 3.131 * [taylor]: Taking taylor expansion of z in y 3.131 * [taylor]: Taking taylor expansion of y in y 3.131 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 3.131 * [taylor]: Taking taylor expansion of (sqrt z) in y 3.131 * [taylor]: Taking taylor expansion of z in y 3.131 * [taylor]: Taking taylor expansion of y in y 3.131 * [taylor]: Taking taylor expansion of 0 in z 3.131 * [taylor]: Taking taylor expansion of (sqrt z) in z 3.132 * [taylor]: Taking taylor expansion of z in z 3.134 * [taylor]: Taking taylor expansion of 0 in z 3.135 * [taylor]: Taking taylor expansion of 0 in z 3.138 * [taylor]: Taking taylor expansion of 0 in z 3.141 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in (y z) around 0 3.141 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z 3.141 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 3.141 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.141 * [taylor]: Taking taylor expansion of z in z 3.142 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.142 * [taylor]: Taking taylor expansion of y in z 3.142 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 3.142 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 3.142 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.142 * [taylor]: Taking taylor expansion of z in y 3.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.142 * [taylor]: Taking taylor expansion of y in y 3.143 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 3.143 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 3.143 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.143 * [taylor]: Taking taylor expansion of z in y 3.143 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.143 * [taylor]: Taking taylor expansion of y in y 3.143 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 3.143 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.143 * [taylor]: Taking taylor expansion of z in z 3.145 * [taylor]: Taking taylor expansion of 0 in z 3.147 * [taylor]: Taking taylor expansion of 0 in z 3.151 * [taylor]: Taking taylor expansion of 0 in z 3.154 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in (y z) around 0 3.154 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in z 3.154 * [taylor]: Taking taylor expansion of -1 in z 3.154 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in z 3.154 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 3.154 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.154 * [taylor]: Taking taylor expansion of -1 in z 3.154 * [taylor]: Taking taylor expansion of z in z 3.156 * [taylor]: Taking taylor expansion of y in z 3.156 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 3.156 * [taylor]: Taking taylor expansion of -1 in y 3.156 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 3.156 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 3.156 * [taylor]: Taking taylor expansion of (/ -1 z) in y 3.156 * [taylor]: Taking taylor expansion of -1 in y 3.156 * [taylor]: Taking taylor expansion of z in y 3.156 * [taylor]: Taking taylor expansion of y in y 3.156 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 3.156 * [taylor]: Taking taylor expansion of -1 in y 3.156 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 3.156 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 3.156 * [taylor]: Taking taylor expansion of (/ -1 z) in y 3.156 * [taylor]: Taking taylor expansion of -1 in y 3.156 * [taylor]: Taking taylor expansion of z in y 3.156 * [taylor]: Taking taylor expansion of y in y 3.157 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 z))) in z 3.157 * [taylor]: Taking taylor expansion of -1 in z 3.157 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 3.157 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.157 * [taylor]: Taking taylor expansion of -1 in z 3.157 * [taylor]: Taking taylor expansion of z in z 3.160 * [taylor]: Taking taylor expansion of 0 in z 3.166 * [taylor]: Taking taylor expansion of 0 in z 3.174 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 3.174 * [approximate]: Taking taylor expansion of (* (pow z 1/4) y) in (y z) around 0 3.174 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in z 3.174 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 3.174 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 3.174 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 3.174 * [taylor]: Taking taylor expansion of 1/4 in z 3.175 * [taylor]: Taking taylor expansion of (log z) in z 3.175 * [taylor]: Taking taylor expansion of z in z 3.175 * [taylor]: Taking taylor expansion of y in z 3.175 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in y 3.175 * [taylor]: Taking taylor expansion of (pow z 1/4) in y 3.175 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in y 3.175 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in y 3.175 * [taylor]: Taking taylor expansion of 1/4 in y 3.175 * [taylor]: Taking taylor expansion of (log z) in y 3.175 * [taylor]: Taking taylor expansion of z in y 3.176 * [taylor]: Taking taylor expansion of y in y 3.176 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in y 3.176 * [taylor]: Taking taylor expansion of (pow z 1/4) in y 3.176 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in y 3.176 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in y 3.176 * [taylor]: Taking taylor expansion of 1/4 in y 3.176 * [taylor]: Taking taylor expansion of (log z) in y 3.176 * [taylor]: Taking taylor expansion of z in y 3.176 * [taylor]: Taking taylor expansion of y in y 3.176 * [taylor]: Taking taylor expansion of 0 in z 3.178 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 3.178 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 3.178 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 3.178 * [taylor]: Taking taylor expansion of 1/4 in z 3.178 * [taylor]: Taking taylor expansion of (log z) in z 3.178 * [taylor]: Taking taylor expansion of z in z 3.181 * [taylor]: Taking taylor expansion of 0 in z 3.187 * [taylor]: Taking taylor expansion of 0 in z 3.187 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in (y z) around 0 3.187 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in z 3.187 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 3.187 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 3.187 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 3.188 * [taylor]: Taking taylor expansion of 1/4 in z 3.188 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.188 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.188 * [taylor]: Taking taylor expansion of z in z 3.188 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.188 * [taylor]: Taking taylor expansion of y in z 3.188 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in y 3.188 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in y 3.189 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in y 3.189 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in y 3.189 * [taylor]: Taking taylor expansion of 1/4 in y 3.189 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 3.189 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.189 * [taylor]: Taking taylor expansion of z in y 3.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.189 * [taylor]: Taking taylor expansion of y in y 3.189 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in y 3.189 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in y 3.189 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in y 3.189 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in y 3.189 * [taylor]: Taking taylor expansion of 1/4 in y 3.189 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 3.189 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.189 * [taylor]: Taking taylor expansion of z in y 3.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.189 * [taylor]: Taking taylor expansion of y in y 3.190 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 3.190 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 3.190 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 3.190 * [taylor]: Taking taylor expansion of 1/4 in z 3.190 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.190 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.190 * [taylor]: Taking taylor expansion of z in z 3.193 * [taylor]: Taking taylor expansion of 0 in z 3.199 * [taylor]: Taking taylor expansion of 0 in z 3.207 * [taylor]: Taking taylor expansion of 0 in z 3.208 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in (y z) around 0 3.208 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in z 3.208 * [taylor]: Taking taylor expansion of -1 in z 3.208 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in z 3.208 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 3.208 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 3.208 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.208 * [taylor]: Taking taylor expansion of -1 in z 3.208 * [taylor]: Taking taylor expansion of z in z 3.213 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.213 * [taylor]: Taking taylor expansion of y in z 3.213 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in y 3.213 * [taylor]: Taking taylor expansion of -1 in y 3.213 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in y 3.213 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y 3.213 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 3.213 * [taylor]: Taking taylor expansion of (/ -1 z) in y 3.213 * [taylor]: Taking taylor expansion of -1 in y 3.213 * [taylor]: Taking taylor expansion of z in y 3.213 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.213 * [taylor]: Taking taylor expansion of y in y 3.213 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in y 3.213 * [taylor]: Taking taylor expansion of -1 in y 3.213 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in y 3.213 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y 3.213 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 3.213 * [taylor]: Taking taylor expansion of (/ -1 z) in y 3.213 * [taylor]: Taking taylor expansion of -1 in y 3.213 * [taylor]: Taking taylor expansion of z in y 3.214 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.214 * [taylor]: Taking taylor expansion of y in y 3.214 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 z)))) in z 3.214 * [taylor]: Taking taylor expansion of -1 in z 3.214 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 3.214 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 3.214 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.214 * [taylor]: Taking taylor expansion of -1 in z 3.214 * [taylor]: Taking taylor expansion of z in z 3.221 * [taylor]: Taking taylor expansion of 0 in z 3.227 * [taylor]: Taking taylor expansion of 0 in z 3.252 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 3.252 * [approximate]: Taking taylor expansion of (pow z 1/4) in (z) around 0 3.252 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 3.252 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 3.252 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 3.252 * [taylor]: Taking taylor expansion of 1/4 in z 3.252 * [taylor]: Taking taylor expansion of (log z) in z 3.252 * [taylor]: Taking taylor expansion of z in z 3.253 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 3.253 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 3.253 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 3.253 * [taylor]: Taking taylor expansion of 1/4 in z 3.253 * [taylor]: Taking taylor expansion of (log z) in z 3.253 * [taylor]: Taking taylor expansion of z in z 3.304 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/4) in (z) around 0 3.304 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 3.304 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 3.304 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 3.304 * [taylor]: Taking taylor expansion of 1/4 in z 3.304 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.304 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.304 * [taylor]: Taking taylor expansion of z in z 3.305 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 3.305 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 3.306 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 3.306 * [taylor]: Taking taylor expansion of 1/4 in z 3.306 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.306 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.306 * [taylor]: Taking taylor expansion of z in z 3.360 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in (z) around 0 3.360 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 3.360 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 3.360 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.360 * [taylor]: Taking taylor expansion of -1 in z 3.360 * [taylor]: Taking taylor expansion of z in z 3.365 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 3.365 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 3.365 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.366 * [taylor]: Taking taylor expansion of -1 in z 3.366 * [taylor]: Taking taylor expansion of z in z 3.386 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2) 3.387 * [approximate]: Taking taylor expansion of (pow z 1/4) in (z) around 0 3.387 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 3.387 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 3.387 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 3.387 * [taylor]: Taking taylor expansion of 1/4 in z 3.387 * [taylor]: Taking taylor expansion of (log z) in z 3.387 * [taylor]: Taking taylor expansion of z in z 3.387 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 3.387 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 3.387 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 3.387 * [taylor]: Taking taylor expansion of 1/4 in z 3.387 * [taylor]: Taking taylor expansion of (log z) in z 3.387 * [taylor]: Taking taylor expansion of z in z 3.439 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/4) in (z) around 0 3.439 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 3.439 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 3.439 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 3.439 * [taylor]: Taking taylor expansion of 1/4 in z 3.439 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.439 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.439 * [taylor]: Taking taylor expansion of z in z 3.440 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 3.440 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 3.440 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 3.440 * [taylor]: Taking taylor expansion of 1/4 in z 3.440 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.440 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.440 * [taylor]: Taking taylor expansion of z in z 3.495 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in (z) around 0 3.495 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 3.495 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 3.495 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.495 * [taylor]: Taking taylor expansion of -1 in z 3.495 * [taylor]: Taking taylor expansion of z in z 3.500 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 3.500 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 3.500 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.500 * [taylor]: Taking taylor expansion of -1 in z 3.500 * [taylor]: Taking taylor expansion of z in z 3.521 * * * [progress]: simplifying candidates 3.522 * [simplify]: Simplifying using # : (* (* 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))) (* 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 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))) (- (+ (* +nan.0 (* (pow z 3) y)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (* (pow z 2) y))))))) (- (+ (* +nan.0 (/ y z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y (pow z 2)))))))) (- (+ (* +nan.0 (/ y z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y (pow z 2)))))))) (* (pow z 1/4) y) (* (pow z 1/4) y) (- (* (sqrt +nan.0) y) (+ (* +nan.0 (/ y (* (pow (sqrt +nan.0) 3) (pow z 2)))) (- (+ (* +nan.0 (/ y (* (sqrt +nan.0) (pow z 2)))) (- (* +nan.0 (/ y (* (sqrt +nan.0) z)))))))) (pow z 1/4) (pow (/ 1 z) -1/4) (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow z 2)))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow z 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) z)))))))) (pow z 1/4) (pow (/ 1 z) -1/4) (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow z 2)))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow z 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) z)))))))) 3.527 * * [simplify]: iteration 0 : 132 enodes (cost 915 ) 3.554 * * [simplify]: iteration 1 : 345 enodes (cost 728 ) 3.629 * * [simplify]: iteration 2 : 1334 enodes (cost 650 ) 4.101 * * [simplify]: iteration done : 5001 enodes (cost 647 ) 4.101 * [simplify]: Simplified to: (* 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) (* 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))) (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))) (- (* y (- (* +nan.0 z) (* +nan.0 (pow z 2)))) (* +nan.0 (* (pow z 3) y))) (- (* +nan.0 (- y (/ y (pow z 2)))) (* +nan.0 (/ y z))) (- (* +nan.0 (- y (/ y (pow z 2)))) (* +nan.0 (/ y z))) (* (pow z 1/4) y) (* (pow z 1/4) y) (+ (- (* (sqrt +nan.0) y) (* +nan.0 (/ y (* (pow (sqrt +nan.0) 3) (pow z 2))))) (* +nan.0 (- (/ y (* (sqrt +nan.0) (pow z 2))) (/ y (* (sqrt +nan.0) z))))) (pow z 1/4) (pow (/ 1 z) -1/4) (- (sqrt +nan.0) (- (/ (/ +nan.0 (sqrt +nan.0)) (pow z 2)) (- (/ +nan.0 (* (pow (sqrt +nan.0) 3) (pow z 2))) (/ +nan.0 (* (sqrt +nan.0) z))))) (pow z 1/4) (pow (/ 1 z) -1/4) (- (sqrt +nan.0) (- (/ (/ +nan.0 (sqrt +nan.0)) (pow z 2)) (- (/ +nan.0 (* (pow (sqrt +nan.0) 3) (pow z 2))) (/ +nan.0 (* (sqrt +nan.0) z))))) 4.102 * * * [progress]: adding candidates to table 4.313 * * [progress]: iteration 3 / 4 4.313 * * * [progress]: picking best candidate 4.325 * * * * [pick]: Picked # 4.325 * * * [progress]: localizing error 4.342 * * * [progress]: generating rewritten candidates 4.342 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 4.368 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 4.374 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2) 4.376 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 4.383 * * * [progress]: generating series expansions 4.383 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 4.384 * [approximate]: Taking taylor expansion of (* (sqrt z) y) in (y z) around 0 4.384 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z 4.384 * [taylor]: Taking taylor expansion of (sqrt z) in z 4.384 * [taylor]: Taking taylor expansion of z in z 4.385 * [taylor]: Taking taylor expansion of y in z 4.385 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 4.385 * [taylor]: Taking taylor expansion of (sqrt z) in y 4.385 * [taylor]: Taking taylor expansion of z in y 4.385 * [taylor]: Taking taylor expansion of y in y 4.385 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 4.385 * [taylor]: Taking taylor expansion of (sqrt z) in y 4.385 * [taylor]: Taking taylor expansion of z in y 4.385 * [taylor]: Taking taylor expansion of y in y 4.386 * [taylor]: Taking taylor expansion of 0 in z 4.386 * [taylor]: Taking taylor expansion of (sqrt z) in z 4.386 * [taylor]: Taking taylor expansion of z in z 4.388 * [taylor]: Taking taylor expansion of 0 in z 4.389 * [taylor]: Taking taylor expansion of 0 in z 4.392 * [taylor]: Taking taylor expansion of 0 in z 4.395 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in (y z) around 0 4.395 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z 4.395 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 4.395 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.395 * [taylor]: Taking taylor expansion of z in z 4.397 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.397 * [taylor]: Taking taylor expansion of y in z 4.397 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 4.397 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 4.397 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.397 * [taylor]: Taking taylor expansion of z in y 4.397 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.397 * [taylor]: Taking taylor expansion of y in y 4.397 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 4.397 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 4.397 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.397 * [taylor]: Taking taylor expansion of z in y 4.397 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.397 * [taylor]: Taking taylor expansion of y in y 4.398 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 4.398 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.398 * [taylor]: Taking taylor expansion of z in z 4.400 * [taylor]: Taking taylor expansion of 0 in z 4.401 * [taylor]: Taking taylor expansion of 0 in z 4.405 * [taylor]: Taking taylor expansion of 0 in z 4.409 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* -1 z)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 z)))))) in (y z) around 0 4.409 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* -1 z)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 z)))))) in z 4.409 * [taylor]: Taking taylor expansion of -1 in z 4.409 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* -1 z)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 z))))) in z 4.409 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 z)) 1/4) in z 4.409 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (* -1 z))))) in z 4.409 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (* -1 z)))) in z 4.409 * [taylor]: Taking taylor expansion of 1/4 in z 4.409 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 z))) in z 4.409 * [taylor]: Taking taylor expansion of (/ 1 (* -1 z)) in z 4.409 * [taylor]: Taking taylor expansion of (* -1 z) in z 4.409 * [taylor]: Taking taylor expansion of -1 in z 4.409 * [taylor]: Taking taylor expansion of z in z 4.411 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 z)))) in z 4.411 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.411 * [taylor]: Taking taylor expansion of y in z 4.411 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 4.411 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.411 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.411 * [taylor]: Taking taylor expansion of -1 in z 4.411 * [taylor]: Taking taylor expansion of z in z 4.416 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* -1 z)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 z)))))) in y 4.416 * [taylor]: Taking taylor expansion of -1 in y 4.416 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* -1 z)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 z))))) in y 4.416 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 z)) 1/4) in y 4.416 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (* -1 z))))) in y 4.416 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (* -1 z)))) in y 4.416 * [taylor]: Taking taylor expansion of 1/4 in y 4.416 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 z))) in y 4.416 * [taylor]: Taking taylor expansion of (/ 1 (* -1 z)) in y 4.416 * [taylor]: Taking taylor expansion of (* -1 z) in y 4.416 * [taylor]: Taking taylor expansion of -1 in y 4.416 * [taylor]: Taking taylor expansion of z in y 4.416 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 z)))) in y 4.416 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.416 * [taylor]: Taking taylor expansion of y in y 4.417 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y 4.417 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 4.417 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.417 * [taylor]: Taking taylor expansion of -1 in y 4.417 * [taylor]: Taking taylor expansion of z in y 4.417 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* -1 z)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 z)))))) in y 4.417 * [taylor]: Taking taylor expansion of -1 in y 4.417 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* -1 z)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 z))))) in y 4.417 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 z)) 1/4) in y 4.417 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (* -1 z))))) in y 4.417 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (* -1 z)))) in y 4.417 * [taylor]: Taking taylor expansion of 1/4 in y 4.417 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 z))) in y 4.417 * [taylor]: Taking taylor expansion of (/ 1 (* -1 z)) in y 4.417 * [taylor]: Taking taylor expansion of (* -1 z) in y 4.417 * [taylor]: Taking taylor expansion of -1 in y 4.417 * [taylor]: Taking taylor expansion of z in y 4.417 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 z)))) in y 4.417 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.417 * [taylor]: Taking taylor expansion of y in y 4.418 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y 4.418 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 4.418 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.418 * [taylor]: Taking taylor expansion of -1 in y 4.418 * [taylor]: Taking taylor expansion of z in y 4.418 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 z) 1/4) (sqrt (sqrt (/ -1 z))))) in z 4.418 * [taylor]: Taking taylor expansion of -1 in z 4.418 * [taylor]: Taking taylor expansion of (* (pow (/ -1 z) 1/4) (sqrt (sqrt (/ -1 z)))) in z 4.418 * [taylor]: Taking taylor expansion of (pow (/ -1 z) 1/4) in z 4.418 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 z)))) in z 4.418 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 z))) in z 4.418 * [taylor]: Taking taylor expansion of 1/4 in z 4.418 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 4.418 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.418 * [taylor]: Taking taylor expansion of -1 in z 4.418 * [taylor]: Taking taylor expansion of z in z 4.420 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 4.420 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.420 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.420 * [taylor]: Taking taylor expansion of -1 in z 4.420 * [taylor]: Taking taylor expansion of z in z 4.430 * [taylor]: Taking taylor expansion of 0 in z 4.448 * [taylor]: Taking taylor expansion of 0 in z 4.471 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 4.471 * [approximate]: Taking taylor expansion of (* (pow z 1/4) y) in (y z) around 0 4.471 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in z 4.472 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 4.472 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 4.472 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 4.472 * [taylor]: Taking taylor expansion of 1/4 in z 4.472 * [taylor]: Taking taylor expansion of (log z) in z 4.472 * [taylor]: Taking taylor expansion of z in z 4.472 * [taylor]: Taking taylor expansion of y in z 4.472 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in y 4.472 * [taylor]: Taking taylor expansion of (pow z 1/4) in y 4.472 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in y 4.472 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in y 4.472 * [taylor]: Taking taylor expansion of 1/4 in y 4.472 * [taylor]: Taking taylor expansion of (log z) in y 4.472 * [taylor]: Taking taylor expansion of z in y 4.472 * [taylor]: Taking taylor expansion of y in y 4.472 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in y 4.472 * [taylor]: Taking taylor expansion of (pow z 1/4) in y 4.473 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in y 4.473 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in y 4.473 * [taylor]: Taking taylor expansion of 1/4 in y 4.473 * [taylor]: Taking taylor expansion of (log z) in y 4.473 * [taylor]: Taking taylor expansion of z in y 4.473 * [taylor]: Taking taylor expansion of y in y 4.473 * [taylor]: Taking taylor expansion of 0 in z 4.474 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 4.474 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 4.475 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 4.475 * [taylor]: Taking taylor expansion of 1/4 in z 4.475 * [taylor]: Taking taylor expansion of (log z) in z 4.475 * [taylor]: Taking taylor expansion of z in z 4.478 * [taylor]: Taking taylor expansion of 0 in z 4.484 * [taylor]: Taking taylor expansion of 0 in z 4.484 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in (y z) around 0 4.484 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in z 4.484 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 4.484 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 4.484 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 4.484 * [taylor]: Taking taylor expansion of 1/4 in z 4.484 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.484 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.484 * [taylor]: Taking taylor expansion of z in z 4.485 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.485 * [taylor]: Taking taylor expansion of y in z 4.485 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in y 4.485 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in y 4.485 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in y 4.485 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in y 4.485 * [taylor]: Taking taylor expansion of 1/4 in y 4.485 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 4.485 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.485 * [taylor]: Taking taylor expansion of z in y 4.485 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.485 * [taylor]: Taking taylor expansion of y in y 4.486 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in y 4.486 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in y 4.486 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in y 4.486 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in y 4.486 * [taylor]: Taking taylor expansion of 1/4 in y 4.486 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 4.486 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.486 * [taylor]: Taking taylor expansion of z in y 4.486 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.486 * [taylor]: Taking taylor expansion of y in y 4.486 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 4.486 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 4.486 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 4.486 * [taylor]: Taking taylor expansion of 1/4 in z 4.486 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.486 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.486 * [taylor]: Taking taylor expansion of z in z 4.490 * [taylor]: Taking taylor expansion of 0 in z 4.495 * [taylor]: Taking taylor expansion of 0 in z 4.503 * [taylor]: Taking taylor expansion of 0 in z 4.504 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in (y z) around 0 4.504 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in z 4.504 * [taylor]: Taking taylor expansion of -1 in z 4.504 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in z 4.504 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 4.504 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.504 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.504 * [taylor]: Taking taylor expansion of -1 in z 4.504 * [taylor]: Taking taylor expansion of z in z 4.509 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.509 * [taylor]: Taking taylor expansion of y in z 4.509 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in y 4.509 * [taylor]: Taking taylor expansion of -1 in y 4.509 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in y 4.509 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y 4.509 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 4.509 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.509 * [taylor]: Taking taylor expansion of -1 in y 4.509 * [taylor]: Taking taylor expansion of z in y 4.509 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.509 * [taylor]: Taking taylor expansion of y in y 4.509 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in y 4.509 * [taylor]: Taking taylor expansion of -1 in y 4.509 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in y 4.509 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y 4.509 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 4.509 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.509 * [taylor]: Taking taylor expansion of -1 in y 4.509 * [taylor]: Taking taylor expansion of z in y 4.510 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.510 * [taylor]: Taking taylor expansion of y in y 4.510 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 z)))) in z 4.510 * [taylor]: Taking taylor expansion of -1 in z 4.510 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 4.510 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.510 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.510 * [taylor]: Taking taylor expansion of -1 in z 4.510 * [taylor]: Taking taylor expansion of z in z 4.517 * [taylor]: Taking taylor expansion of 0 in z 4.528 * [taylor]: Taking taylor expansion of 0 in z 4.553 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2) 4.553 * [approximate]: Taking taylor expansion of (pow z 1/4) in (z) around 0 4.553 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 4.553 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 4.553 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 4.553 * [taylor]: Taking taylor expansion of 1/4 in z 4.553 * [taylor]: Taking taylor expansion of (log z) in z 4.553 * [taylor]: Taking taylor expansion of z in z 4.554 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 4.554 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 4.554 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 4.554 * [taylor]: Taking taylor expansion of 1/4 in z 4.554 * [taylor]: Taking taylor expansion of (log z) in z 4.554 * [taylor]: Taking taylor expansion of z in z 4.609 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/4) in (z) around 0 4.609 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 4.609 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 4.609 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 4.609 * [taylor]: Taking taylor expansion of 1/4 in z 4.609 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.609 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.609 * [taylor]: Taking taylor expansion of z in z 4.610 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 4.610 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 4.610 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 4.610 * [taylor]: Taking taylor expansion of 1/4 in z 4.610 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.610 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.610 * [taylor]: Taking taylor expansion of z in z 4.663 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in (z) around 0 4.664 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 4.664 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.664 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.664 * [taylor]: Taking taylor expansion of -1 in z 4.664 * [taylor]: Taking taylor expansion of z in z 4.669 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 4.669 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.669 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.669 * [taylor]: Taking taylor expansion of -1 in z 4.669 * [taylor]: Taking taylor expansion of z in z 4.697 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 4.697 * [approximate]: Taking taylor expansion of (pow (/ 1 z) -1/4) in (z) around 0 4.697 * [taylor]: Taking taylor expansion of (pow (/ 1 z) -1/4) in z 4.697 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log (/ 1 z)))) in z 4.697 * [taylor]: Taking taylor expansion of (* -1/4 (log (/ 1 z))) in z 4.697 * [taylor]: Taking taylor expansion of -1/4 in z 4.697 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.697 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.697 * [taylor]: Taking taylor expansion of z in z 4.698 * [taylor]: Taking taylor expansion of (pow (/ 1 z) -1/4) in z 4.698 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log (/ 1 z)))) in z 4.698 * [taylor]: Taking taylor expansion of (* -1/4 (log (/ 1 z))) in z 4.698 * [taylor]: Taking taylor expansion of -1/4 in z 4.698 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.698 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.698 * [taylor]: Taking taylor expansion of z in z 4.752 * [approximate]: Taking taylor expansion of (pow z -1/4) in (z) around 0 4.752 * [taylor]: Taking taylor expansion of (pow z -1/4) in z 4.752 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log z))) in z 4.752 * [taylor]: Taking taylor expansion of (* -1/4 (log z)) in z 4.752 * [taylor]: Taking taylor expansion of -1/4 in z 4.752 * [taylor]: Taking taylor expansion of (log z) in z 4.752 * [taylor]: Taking taylor expansion of z in z 4.752 * [taylor]: Taking taylor expansion of (pow z -1/4) in z 4.752 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log z))) in z 4.752 * [taylor]: Taking taylor expansion of (* -1/4 (log z)) in z 4.753 * [taylor]: Taking taylor expansion of -1/4 in z 4.753 * [taylor]: Taking taylor expansion of (log z) in z 4.753 * [taylor]: Taking taylor expansion of z in z 4.808 * [approximate]: Taking taylor expansion of (pow (* -1 z) -1/4) in (z) around 0 4.808 * [taylor]: Taking taylor expansion of (pow (* -1 z) -1/4) in z 4.809 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log (* -1 z)))) in z 4.809 * [taylor]: Taking taylor expansion of (* -1/4 (log (* -1 z))) in z 4.809 * [taylor]: Taking taylor expansion of -1/4 in z 4.809 * [taylor]: Taking taylor expansion of (log (* -1 z)) in z 4.809 * [taylor]: Taking taylor expansion of (* -1 z) in z 4.809 * [taylor]: Taking taylor expansion of -1 in z 4.809 * [taylor]: Taking taylor expansion of z in z 4.811 * [taylor]: Taking taylor expansion of (pow (* -1 z) -1/4) in z 4.811 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log (* -1 z)))) in z 4.811 * [taylor]: Taking taylor expansion of (* -1/4 (log (* -1 z))) in z 4.811 * [taylor]: Taking taylor expansion of -1/4 in z 4.811 * [taylor]: Taking taylor expansion of (log (* -1 z)) in z 4.811 * [taylor]: Taking taylor expansion of (* -1 z) in z 4.811 * [taylor]: Taking taylor expansion of -1 in z 4.811 * [taylor]: Taking taylor expansion of z in z 4.878 * * * [progress]: simplifying candidates 4.879 * [simplify]: Simplifying using # : (+ (+ (log y) (log (sqrt (sqrt z)))) (* (- (log z)) -1/4)) (+ (+ (log y) (log (sqrt (sqrt z)))) (* (- 0 (log z)) -1/4)) (+ (+ (log y) (log (sqrt (sqrt z)))) (* (- (log 1) (log z)) -1/4)) (+ (+ (log y) (log (sqrt (sqrt z)))) (* (log (/ 1 z)) -1/4)) (+ (+ (log y) (log (sqrt (sqrt z)))) (* (log (/ 1 z)) -1/4)) (+ (+ (log y) (log (sqrt (sqrt z)))) (log (pow (/ 1 z) -1/4))) (+ (log (* y (sqrt (sqrt z)))) (* (- (log z)) -1/4)) (+ (log (* y (sqrt (sqrt z)))) (* (- 0 (log z)) -1/4)) (+ (log (* y (sqrt (sqrt z)))) (* (- (log 1) (log z)) -1/4)) (+ (log (* y (sqrt (sqrt z)))) (* (log (/ 1 z)) -1/4)) (+ (log (* y (sqrt (sqrt z)))) (* (log (/ 1 z)) -1/4)) (+ (log (* y (sqrt (sqrt z)))) (log (pow (/ 1 z) -1/4))) (log (* (* y (sqrt (sqrt z))) (pow (/ 1 z) -1/4))) (exp (* (* y (sqrt (sqrt z))) (pow (/ 1 z) -1/4))) (* (* (* (* y y) y) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (pow (/ 1 z) -1/4) (pow (/ 1 z) -1/4)) (pow (/ 1 z) -1/4))) (* (* (* (* y (sqrt (sqrt z))) (* y (sqrt (sqrt z)))) (* y (sqrt (sqrt z)))) (* (* (pow (/ 1 z) -1/4) (pow (/ 1 z) -1/4)) (pow (/ 1 z) -1/4))) (* (cbrt (* (* y (sqrt (sqrt z))) (pow (/ 1 z) -1/4))) (cbrt (* (* y (sqrt (sqrt z))) (pow (/ 1 z) -1/4)))) (cbrt (* (* y (sqrt (sqrt z))) (pow (/ 1 z) -1/4))) (* (* (* (* y (sqrt (sqrt z))) (pow (/ 1 z) -1/4)) (* (* y (sqrt (sqrt z))) (pow (/ 1 z) -1/4))) (* (* y (sqrt (sqrt z))) (pow (/ 1 z) -1/4))) (sqrt (* (* y (sqrt (sqrt z))) (pow (/ 1 z) -1/4))) (sqrt (* (* y (sqrt (sqrt z))) (pow (/ 1 z) -1/4))) (* (* y (sqrt (sqrt z))) (pow (* (cbrt (/ 1 z)) (cbrt (/ 1 z))) -1/4)) (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/4)) (* (* y (sqrt (sqrt z))) (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z))) -1/4)) (* (* y (sqrt (sqrt z))) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt z)) -1/4)) (* (* y (sqrt (sqrt z))) (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/4)) (* (* y (sqrt (sqrt z))) (pow (/ (sqrt 1) (* (cbrt z) (cbrt z))) -1/4)) (* (* y (sqrt (sqrt z))) (pow (/ (sqrt 1) (sqrt z)) -1/4)) (* (* y (sqrt (sqrt z))) (pow (/ (sqrt 1) 1) -1/4)) (* (* y (sqrt (sqrt z))) (pow (/ 1 (* (cbrt z) (cbrt z))) -1/4)) (* (* y (sqrt (sqrt z))) (pow (/ 1 (sqrt z)) -1/4)) (* (* y (sqrt (sqrt z))) (pow (/ 1 1) -1/4)) (* (* y (sqrt (sqrt z))) (pow 1 -1/4)) (* (* y (sqrt (sqrt z))) (pow 1 -1/4)) (* (* y (sqrt (sqrt z))) (* (cbrt (pow (/ 1 z) -1/4)) (cbrt (pow (/ 1 z) -1/4)))) (* (* y (sqrt (sqrt z))) (sqrt (pow (/ 1 z) -1/4))) (* (* y (sqrt (sqrt z))) 1) (* (* y (sqrt (sqrt z))) (pow (/ 1 z) (/ -1/4 2))) (* (sqrt (sqrt z)) (pow (/ 1 z) -1/4)) (* 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 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 z)) -1/4) (* (- 0 (log z)) -1/4) (* (- (log 1) (log z)) -1/4) (* (log (/ 1 z)) -1/4) (* (log (/ 1 z)) -1/4) (* -1 -1/4) (* (- 1) -1/4) (* 1 -1/4) (pow (/ 1 z) (* (cbrt -1/4) (cbrt -1/4))) (pow (/ 1 z) (sqrt -1/4)) (pow (/ 1 z) 1) (pow (* (cbrt (/ 1 z)) (cbrt (/ 1 z))) -1/4) (pow (cbrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4) (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z))) -1/4) (pow (/ (cbrt 1) (cbrt z)) -1/4) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt z)) -1/4) (pow (/ (cbrt 1) (sqrt z)) -1/4) (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/4) (pow (/ (cbrt 1) z) -1/4) (pow (/ (sqrt 1) (* (cbrt z) (cbrt z))) -1/4) (pow (/ (sqrt 1) (cbrt z)) -1/4) (pow (/ (sqrt 1) (sqrt z)) -1/4) (pow (/ (sqrt 1) (sqrt z)) -1/4) (pow (/ (sqrt 1) 1) -1/4) (pow (/ (sqrt 1) z) -1/4) (pow (/ 1 (* (cbrt z) (cbrt z))) -1/4) (pow (/ 1 (cbrt z)) -1/4) (pow (/ 1 (sqrt z)) -1/4) (pow (/ 1 (sqrt z)) -1/4) (pow (/ 1 1) -1/4) (pow (/ 1 z) -1/4) (pow 1 -1/4) (pow (/ 1 z) -1/4) (pow 1 -1/4) (pow (/ 1 z) -1/4) (log (pow (/ 1 z) -1/4)) (exp (pow (/ 1 z) -1/4)) (* (cbrt (pow (/ 1 z) -1/4)) (cbrt (pow (/ 1 z) -1/4))) (cbrt (pow (/ 1 z) -1/4)) (* (* (pow (/ 1 z) -1/4) (pow (/ 1 z) -1/4)) (pow (/ 1 z) -1/4)) (sqrt (pow (/ 1 z) -1/4)) (sqrt (pow (/ 1 z) -1/4)) (pow (/ 1 z) (/ -1/4 2)) (pow (/ 1 z) (/ -1/4 2)) (- (+ (* +nan.0 (* (pow z 3) y)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (* (pow z 2) y))))))) (- (+ (* +nan.0 (/ y z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y (pow z 2)))))))) (- (* (sqrt +nan.0) (* (exp (* 1/4 (- (log -1) (log (/ -1 z))))) y)) (+ (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 z))))) y) (* (pow (sqrt +nan.0) 3) (pow z 2)))) (- (+ (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 z))))) y) (* (sqrt +nan.0) (pow z 2)))) (- (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 z))))) y) (* (sqrt +nan.0) z)))))))) (* (pow z 1/4) y) (* (pow z 1/4) y) (- (* (sqrt +nan.0) y) (+ (* +nan.0 (/ y (* (pow (sqrt +nan.0) 3) (pow z 2)))) (- (+ (* +nan.0 (/ y (* (sqrt +nan.0) (pow z 2)))) (- (* +nan.0 (/ y (* (sqrt +nan.0) z)))))))) (pow z 1/4) (pow (/ 1 z) -1/4) (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow z 2)))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow z 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) z)))))))) (pow z 1/4) (pow (/ 1 z) -1/4) (exp (* -1/4 (+ (log -1) (log (/ -1 z))))) 4.886 * * [simplify]: iteration 0 : 242 enodes (cost 1447 ) 4.939 * * [simplify]: iteration 1 : 637 enodes (cost 1259 ) 5.113 * * [simplify]: iteration 2 : 2584 enodes (cost 1148 ) 6.299 * * [simplify]: iteration done : 5001 enodes (cost 1146 ) 6.299 * [simplify]: Simplified to: (- (log (* y (sqrt (sqrt z)))) (* (log z) -1/4)) (- (log (* y (sqrt (sqrt z)))) (* (log z) -1/4)) (- (log (* y (sqrt (sqrt z)))) (* (log z) -1/4)) (- (log (* y (sqrt (sqrt z)))) (* (log z) -1/4)) (- (log (* y (sqrt (sqrt z)))) (* (log z) -1/4)) (- (log (* y (sqrt (sqrt z)))) (* (log z) -1/4)) (- (log (* y (sqrt (sqrt z)))) (* (log z) -1/4)) (- (log (* y (sqrt (sqrt z)))) (* (log z) -1/4)) (- (log (* y (sqrt (sqrt z)))) (* (log z) -1/4)) (- (log (* y (sqrt (sqrt z)))) (* (log z) -1/4)) (- (log (* y (sqrt (sqrt z)))) (* (log z) -1/4)) (- (log (* y (sqrt (sqrt z)))) (* (log z) -1/4)) (- (log (* y (sqrt (sqrt z)))) (* (log z) -1/4)) (exp (* (* y (sqrt (sqrt z))) (pow (/ 1 z) -1/4))) (pow (* (* y (sqrt (sqrt z))) (pow (/ 1 z) -1/4)) 3) (pow (* (* y (sqrt (sqrt z))) (pow (/ 1 z) -1/4)) 3) (* (cbrt (* (* y (sqrt (sqrt z))) (pow (/ 1 z) -1/4))) (cbrt (* (* y (sqrt (sqrt z))) (pow (/ 1 z) -1/4)))) (cbrt (* (* y (sqrt (sqrt z))) (pow (/ 1 z) -1/4))) (pow (* (* y (sqrt (sqrt z))) (pow (/ 1 z) -1/4)) 3) (sqrt (* (* y (sqrt (sqrt z))) (pow (/ 1 z) -1/4))) (sqrt (* (* y (sqrt (sqrt z))) (pow (/ 1 z) -1/4))) (* (* y (sqrt (sqrt z))) (pow (* (cbrt (/ 1 z)) (cbrt (/ 1 z))) -1/4)) (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/4)) (* (* y (sqrt (sqrt z))) (pow (/ 1 (* (cbrt z) (cbrt z))) -1/4)) (* y (* (sqrt (sqrt z)) (pow (/ 1 (sqrt z)) -1/4))) (* y (sqrt (sqrt z))) (* (* y (sqrt (sqrt z))) (pow (/ 1 (* (cbrt z) (cbrt z))) -1/4)) (* y (* (sqrt (sqrt z)) (pow (/ 1 (sqrt z)) -1/4))) (* y (sqrt (sqrt z))) (* (* y (sqrt (sqrt z))) (pow (/ 1 (* (cbrt z) (cbrt z))) -1/4)) (* y (* (sqrt (sqrt z)) (pow (/ 1 (sqrt z)) -1/4))) (* y (sqrt (sqrt z))) (* y (sqrt (sqrt z))) (* y (sqrt (sqrt z))) (* (* y (sqrt (sqrt z))) (* (cbrt (pow (/ 1 z) -1/4)) (cbrt (pow (/ 1 z) -1/4)))) (* (* y (sqrt (sqrt z))) (sqrt (pow (/ 1 z) -1/4))) (* y (sqrt (sqrt z))) (* (* (sqrt (sqrt z)) y) (pow (/ 1 z) -1/8)) (* (sqrt (sqrt z)) (pow (/ 1 z) -1/4)) (* 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))) (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 z) 1/4) (* (log z) 1/4) (* (log z) 1/4) (* (log z) 1/4) (* (log z) 1/4) 1/4 1/4 -1/4 (pow (/ 1 z) (* (cbrt -1/4) (cbrt -1/4))) (pow (/ 1 z) (sqrt -1/4)) (/ 1 z) (pow (* (cbrt (/ 1 z)) (cbrt (/ 1 z))) -1/4) (pow (cbrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4) (pow (/ 1 (* (cbrt z) (cbrt z))) -1/4) (pow (/ 1 (cbrt z)) -1/4) (pow (/ 1 (sqrt z)) -1/4) (pow (/ 1 (sqrt z)) -1/4) 1 (pow (/ 1 z) -1/4) (pow (/ 1 (* (cbrt z) (cbrt z))) -1/4) (pow (/ 1 (cbrt z)) -1/4) (pow (/ 1 (sqrt z)) -1/4) (pow (/ 1 (sqrt z)) -1/4) 1 (pow (/ 1 z) -1/4) (pow (/ 1 (* (cbrt z) (cbrt z))) -1/4) (pow (/ 1 (cbrt z)) -1/4) (pow (/ 1 (sqrt z)) -1/4) (pow (/ 1 (sqrt z)) -1/4) 1 (pow (/ 1 z) -1/4) 1 (pow (/ 1 z) -1/4) 1 (pow (/ 1 z) -1/4) (* (log z) 1/4) (exp (pow (/ 1 z) -1/4)) (* (cbrt (pow (/ 1 z) -1/4)) (cbrt (pow (/ 1 z) -1/4))) (cbrt (pow (/ 1 z) -1/4)) (pow (pow (/ 1 z) -1/4) 3) (sqrt (pow (/ 1 z) -1/4)) (sqrt (pow (/ 1 z) -1/4)) (pow (/ 1 z) -1/8) (pow (/ 1 z) -1/8) (- (* y (- (* +nan.0 z) (* +nan.0 (pow z 2)))) (* +nan.0 (* (pow z 3) y))) (- (* +nan.0 (- y (/ y (pow z 2)))) (* +nan.0 (/ y z))) (+ (- (* (sqrt +nan.0) (* (exp (* 1/4 (- (log -1) (log (/ -1 z))))) y)) (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 z))))) y) (* (pow (sqrt +nan.0) 3) (pow z 2))))) (* +nan.0 (- (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 z))))) y) (* (sqrt +nan.0) (pow z 2))) (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 z))))) y) (* (sqrt +nan.0) z))))) (* (pow z 1/4) y) (* (pow z 1/4) y) (- (* (sqrt +nan.0) y) (- (* +nan.0 (/ y (* (pow (sqrt +nan.0) 3) (pow z 2)))) (* +nan.0 (- (/ y (* (sqrt +nan.0) (pow z 2))) (/ y (* (sqrt +nan.0) z)))))) (pow z 1/4) (pow (/ 1 z) -1/4) (+ (- (sqrt +nan.0) (/ +nan.0 (* (sqrt +nan.0) (pow z 2)))) (- (/ (/ +nan.0 (pow z 2)) (pow (sqrt +nan.0) 3)) (/ +nan.0 (* (sqrt +nan.0) z)))) (pow z 1/4) (pow (/ 1 z) -1/4) (exp (* -1/4 (+ (log -1) (log (/ -1 z))))) 6.300 * * * [progress]: adding candidates to table 6.592 * * [progress]: iteration 4 / 4 6.592 * * * [progress]: picking best candidate 6.603 * * * * [pick]: Picked # 6.604 * * * [progress]: localizing error 6.622 * * * [progress]: generating rewritten candidates 6.622 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 6.666 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 6.711 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 6.718 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2) 6.730 * * * [progress]: generating series expansions 6.730 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 6.731 * [approximate]: Taking taylor expansion of (pow z 1/4) in (z) around 0 6.731 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 6.731 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 6.731 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 6.731 * [taylor]: Taking taylor expansion of 1/4 in z 6.731 * [taylor]: Taking taylor expansion of (log z) in z 6.731 * [taylor]: Taking taylor expansion of z in z 6.732 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 6.732 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 6.732 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 6.732 * [taylor]: Taking taylor expansion of 1/4 in z 6.732 * [taylor]: Taking taylor expansion of (log z) in z 6.732 * [taylor]: Taking taylor expansion of z in z 6.787 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/4) in (z) around 0 6.787 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 6.787 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 6.787 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 6.787 * [taylor]: Taking taylor expansion of 1/4 in z 6.787 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.787 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.787 * [taylor]: Taking taylor expansion of z in z 6.788 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 6.788 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 6.788 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 6.788 * [taylor]: Taking taylor expansion of 1/4 in z 6.788 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.788 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.788 * [taylor]: Taking taylor expansion of z in z 6.840 * [approximate]: Taking taylor expansion of (sqrt (/ 1 (sqrt (* -1 z)))) in (z) around 0 6.840 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (sqrt (* -1 z)))) in z 6.840 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (* -1 z))) in z 6.840 * [taylor]: Taking taylor expansion of (sqrt (* -1 z)) in z 6.840 * [taylor]: Taking taylor expansion of (* -1 z) in z 6.840 * [taylor]: Taking taylor expansion of -1 in z 6.840 * [taylor]: Taking taylor expansion of z in z 6.843 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (sqrt (* -1 z)))) in z 6.843 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (* -1 z))) in z 6.843 * [taylor]: Taking taylor expansion of (sqrt (* -1 z)) in z 6.843 * [taylor]: Taking taylor expansion of (* -1 z) in z 6.843 * [taylor]: Taking taylor expansion of -1 in z 6.843 * [taylor]: Taking taylor expansion of z in z 6.865 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 6.866 * [approximate]: Taking taylor expansion of (* (sqrt z) y) in (y z) around 0 6.866 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z 6.866 * [taylor]: Taking taylor expansion of (sqrt z) in z 6.866 * [taylor]: Taking taylor expansion of z in z 6.867 * [taylor]: Taking taylor expansion of y in z 6.867 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 6.867 * [taylor]: Taking taylor expansion of (sqrt z) in y 6.867 * [taylor]: Taking taylor expansion of z in y 6.867 * [taylor]: Taking taylor expansion of y in y 6.867 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 6.867 * [taylor]: Taking taylor expansion of (sqrt z) in y 6.867 * [taylor]: Taking taylor expansion of z in y 6.867 * [taylor]: Taking taylor expansion of y in y 6.867 * [taylor]: Taking taylor expansion of 0 in z 6.867 * [taylor]: Taking taylor expansion of (sqrt z) in z 6.867 * [taylor]: Taking taylor expansion of z in z 6.869 * [taylor]: Taking taylor expansion of 0 in z 6.870 * [taylor]: Taking taylor expansion of 0 in z 6.873 * [taylor]: Taking taylor expansion of 0 in z 6.876 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in (y z) around 0 6.876 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z 6.876 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 6.876 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.876 * [taylor]: Taking taylor expansion of z in z 6.878 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.878 * [taylor]: Taking taylor expansion of y in z 6.878 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 6.878 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 6.878 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.878 * [taylor]: Taking taylor expansion of z in y 6.878 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.878 * [taylor]: Taking taylor expansion of y in y 6.878 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 6.878 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 6.878 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.878 * [taylor]: Taking taylor expansion of z in y 6.878 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.878 * [taylor]: Taking taylor expansion of y in y 6.879 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 6.879 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.879 * [taylor]: Taking taylor expansion of z in z 6.881 * [taylor]: Taking taylor expansion of 0 in z 6.882 * [taylor]: Taking taylor expansion of 0 in z 6.886 * [taylor]: Taking taylor expansion of 0 in z 6.889 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (/ (sqrt (/ -1 z)) (sqrt (* -1 z)))))) in (y z) around 0 6.889 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (/ (sqrt (/ -1 z)) (sqrt (* -1 z)))))) in z 6.889 * [taylor]: Taking taylor expansion of -1 in z 6.889 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (/ (sqrt (/ -1 z)) (sqrt (* -1 z))))) in z 6.889 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.889 * [taylor]: Taking taylor expansion of y in z 6.889 * [taylor]: Taking taylor expansion of (sqrt (/ (sqrt (/ -1 z)) (sqrt (* -1 z)))) in z 6.889 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) (sqrt (* -1 z))) in z 6.889 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 6.889 * [taylor]: Taking taylor expansion of (/ -1 z) in z 6.889 * [taylor]: Taking taylor expansion of -1 in z 6.890 * [taylor]: Taking taylor expansion of z in z 6.891 * [taylor]: Taking taylor expansion of (sqrt (* -1 z)) in z 6.891 * [taylor]: Taking taylor expansion of (* -1 z) in z 6.891 * [taylor]: Taking taylor expansion of -1 in z 6.891 * [taylor]: Taking taylor expansion of z in z 6.894 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (/ (sqrt (/ -1 z)) (sqrt (* -1 z)))))) in y 6.894 * [taylor]: Taking taylor expansion of -1 in y 6.894 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (/ (sqrt (/ -1 z)) (sqrt (* -1 z))))) in y 6.894 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.894 * [taylor]: Taking taylor expansion of y in y 6.894 * [taylor]: Taking taylor expansion of (sqrt (/ (sqrt (/ -1 z)) (sqrt (* -1 z)))) in y 6.894 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) (sqrt (* -1 z))) in y 6.894 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 6.894 * [taylor]: Taking taylor expansion of (/ -1 z) in y 6.894 * [taylor]: Taking taylor expansion of -1 in y 6.894 * [taylor]: Taking taylor expansion of z in y 6.894 * [taylor]: Taking taylor expansion of (sqrt (* -1 z)) in y 6.894 * [taylor]: Taking taylor expansion of (* -1 z) in y 6.894 * [taylor]: Taking taylor expansion of -1 in y 6.894 * [taylor]: Taking taylor expansion of z in y 6.895 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (/ (sqrt (/ -1 z)) (sqrt (* -1 z)))))) in y 6.895 * [taylor]: Taking taylor expansion of -1 in y 6.895 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (/ (sqrt (/ -1 z)) (sqrt (* -1 z))))) in y 6.895 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.895 * [taylor]: Taking taylor expansion of y in y 6.895 * [taylor]: Taking taylor expansion of (sqrt (/ (sqrt (/ -1 z)) (sqrt (* -1 z)))) in y 6.895 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) (sqrt (* -1 z))) in y 6.896 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 6.896 * [taylor]: Taking taylor expansion of (/ -1 z) in y 6.896 * [taylor]: Taking taylor expansion of -1 in y 6.896 * [taylor]: Taking taylor expansion of z in y 6.896 * [taylor]: Taking taylor expansion of (sqrt (* -1 z)) in y 6.896 * [taylor]: Taking taylor expansion of (* -1 z) in y 6.896 * [taylor]: Taking taylor expansion of -1 in y 6.896 * [taylor]: Taking taylor expansion of z in y 6.897 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ (sqrt (/ -1 z)) (sqrt (* -1 z))))) in z 6.897 * [taylor]: Taking taylor expansion of -1 in z 6.897 * [taylor]: Taking taylor expansion of (sqrt (/ (sqrt (/ -1 z)) (sqrt (* -1 z)))) in z 6.897 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) (sqrt (* -1 z))) in z 6.897 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 6.897 * [taylor]: Taking taylor expansion of (/ -1 z) in z 6.897 * [taylor]: Taking taylor expansion of -1 in z 6.897 * [taylor]: Taking taylor expansion of z in z 6.898 * [taylor]: Taking taylor expansion of (sqrt (* -1 z)) in z 6.898 * [taylor]: Taking taylor expansion of (* -1 z) in z 6.898 * [taylor]: Taking taylor expansion of -1 in z 6.898 * [taylor]: Taking taylor expansion of z in z 6.902 * [taylor]: Taking taylor expansion of 0 in z 6.908 * [taylor]: Taking taylor expansion of 0 in z 6.922 * [taylor]: Taking taylor expansion of 0 in z 6.935 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 6.935 * [approximate]: Taking taylor expansion of (* (pow z 1/4) y) in (y z) around 0 6.935 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in z 6.935 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 6.935 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 6.935 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 6.935 * [taylor]: Taking taylor expansion of 1/4 in z 6.935 * [taylor]: Taking taylor expansion of (log z) in z 6.935 * [taylor]: Taking taylor expansion of z in z 6.941 * [taylor]: Taking taylor expansion of y in z 6.941 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in y 6.941 * [taylor]: Taking taylor expansion of (pow z 1/4) in y 6.941 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in y 6.941 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in y 6.941 * [taylor]: Taking taylor expansion of 1/4 in y 6.941 * [taylor]: Taking taylor expansion of (log z) in y 6.941 * [taylor]: Taking taylor expansion of z in y 6.941 * [taylor]: Taking taylor expansion of y in y 6.941 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in y 6.941 * [taylor]: Taking taylor expansion of (pow z 1/4) in y 6.941 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in y 6.941 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in y 6.941 * [taylor]: Taking taylor expansion of 1/4 in y 6.941 * [taylor]: Taking taylor expansion of (log z) in y 6.941 * [taylor]: Taking taylor expansion of z in y 6.942 * [taylor]: Taking taylor expansion of y in y 6.942 * [taylor]: Taking taylor expansion of 0 in z 6.943 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 6.943 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 6.943 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 6.943 * [taylor]: Taking taylor expansion of 1/4 in z 6.943 * [taylor]: Taking taylor expansion of (log z) in z 6.943 * [taylor]: Taking taylor expansion of z in z 6.947 * [taylor]: Taking taylor expansion of 0 in z 6.953 * [taylor]: Taking taylor expansion of 0 in z 6.953 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in (y z) around 0 6.953 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in z 6.953 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 6.953 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 6.953 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 6.953 * [taylor]: Taking taylor expansion of 1/4 in z 6.953 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.953 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.953 * [taylor]: Taking taylor expansion of z in z 6.954 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.954 * [taylor]: Taking taylor expansion of y in z 6.954 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in y 6.954 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in y 6.954 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in y 6.954 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in y 6.954 * [taylor]: Taking taylor expansion of 1/4 in y 6.954 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 6.954 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.954 * [taylor]: Taking taylor expansion of z in y 6.954 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.954 * [taylor]: Taking taylor expansion of y in y 6.955 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in y 6.955 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in y 6.955 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in y 6.955 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in y 6.955 * [taylor]: Taking taylor expansion of 1/4 in y 6.955 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 6.955 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.955 * [taylor]: Taking taylor expansion of z in y 6.955 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.955 * [taylor]: Taking taylor expansion of y in y 6.955 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 6.955 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 6.955 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 6.955 * [taylor]: Taking taylor expansion of 1/4 in z 6.955 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.955 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.955 * [taylor]: Taking taylor expansion of z in z 6.959 * [taylor]: Taking taylor expansion of 0 in z 6.965 * [taylor]: Taking taylor expansion of 0 in z 6.973 * [taylor]: Taking taylor expansion of 0 in z 6.973 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in (y z) around 0 6.973 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in z 6.973 * [taylor]: Taking taylor expansion of -1 in z 6.973 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in z 6.973 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 6.973 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 6.973 * [taylor]: Taking taylor expansion of (/ -1 z) in z 6.973 * [taylor]: Taking taylor expansion of -1 in z 6.973 * [taylor]: Taking taylor expansion of z in z 6.978 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.978 * [taylor]: Taking taylor expansion of y in z 6.978 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in y 6.978 * [taylor]: Taking taylor expansion of -1 in y 6.978 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in y 6.978 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y 6.978 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 6.978 * [taylor]: Taking taylor expansion of (/ -1 z) in y 6.978 * [taylor]: Taking taylor expansion of -1 in y 6.978 * [taylor]: Taking taylor expansion of z in y 6.979 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.979 * [taylor]: Taking taylor expansion of y in y 6.979 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in y 6.979 * [taylor]: Taking taylor expansion of -1 in y 6.979 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in y 6.979 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y 6.979 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 6.979 * [taylor]: Taking taylor expansion of (/ -1 z) in y 6.979 * [taylor]: Taking taylor expansion of -1 in y 6.979 * [taylor]: Taking taylor expansion of z in y 6.979 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.979 * [taylor]: Taking taylor expansion of y in y 6.980 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 z)))) in z 6.980 * [taylor]: Taking taylor expansion of -1 in z 6.980 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 6.980 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 6.980 * [taylor]: Taking taylor expansion of (/ -1 z) in z 6.980 * [taylor]: Taking taylor expansion of -1 in z 6.980 * [taylor]: Taking taylor expansion of z in z 6.986 * [taylor]: Taking taylor expansion of 0 in z 6.992 * [taylor]: Taking taylor expansion of 0 in z 7.018 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2) 7.018 * [approximate]: Taking taylor expansion of (pow z 1/4) in (z) around 0 7.018 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 7.018 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 7.018 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 7.018 * [taylor]: Taking taylor expansion of 1/4 in z 7.018 * [taylor]: Taking taylor expansion of (log z) in z 7.018 * [taylor]: Taking taylor expansion of z in z 7.018 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 7.018 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 7.019 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 7.019 * [taylor]: Taking taylor expansion of 1/4 in z 7.019 * [taylor]: Taking taylor expansion of (log z) in z 7.019 * [taylor]: Taking taylor expansion of z in z 7.074 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/4) in (z) around 0 7.074 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 7.074 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 7.074 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 7.074 * [taylor]: Taking taylor expansion of 1/4 in z 7.074 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.074 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.074 * [taylor]: Taking taylor expansion of z in z 7.075 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 7.075 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 7.075 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 7.075 * [taylor]: Taking taylor expansion of 1/4 in z 7.075 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.075 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.075 * [taylor]: Taking taylor expansion of z in z 7.132 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in (z) around 0 7.132 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 7.133 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 7.133 * [taylor]: Taking taylor expansion of (/ -1 z) in z 7.133 * [taylor]: Taking taylor expansion of -1 in z 7.133 * [taylor]: Taking taylor expansion of z in z 7.137 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 7.137 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 7.138 * [taylor]: Taking taylor expansion of (/ -1 z) in z 7.138 * [taylor]: Taking taylor expansion of -1 in z 7.138 * [taylor]: Taking taylor expansion of z in z 7.158 * * * [progress]: simplifying candidates 7.162 * [simplify]: Simplifying using # : (+ -1/4 -1/4) (* (sqrt (/ 1 z)) (sqrt (/ 1 z))) (+ (* (log (sqrt (/ 1 z))) -1/4) (* (log (sqrt (/ 1 z))) -1/4)) (+ (* (log (sqrt (/ 1 z))) -1/4) (* (log (sqrt (/ 1 z))) -1/4)) (+ (* (log (sqrt (/ 1 z))) -1/4) (log (pow (sqrt (/ 1 z)) -1/4))) (+ (* (log (sqrt (/ 1 z))) -1/4) (* (log (sqrt (/ 1 z))) -1/4)) (+ (* (log (sqrt (/ 1 z))) -1/4) (* (log (sqrt (/ 1 z))) -1/4)) (+ (* (log (sqrt (/ 1 z))) -1/4) (log (pow (sqrt (/ 1 z)) -1/4))) (+ (log (pow (sqrt (/ 1 z)) -1/4)) (* (log (sqrt (/ 1 z))) -1/4)) (+ (log (pow (sqrt (/ 1 z)) -1/4)) (* (log (sqrt (/ 1 z))) -1/4)) (+ (log (pow (sqrt (/ 1 z)) -1/4)) (log (pow (sqrt (/ 1 z)) -1/4))) (log (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4))) (exp (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4))) (* (* (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (/ 1 z)) -1/4)) (* (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (/ 1 z)) -1/4))) (* (cbrt (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4))) (cbrt (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)))) (cbrt (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4))) (* (* (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4))) (sqrt (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4))) (sqrt (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4))) (* (pow (* (cbrt (sqrt (/ 1 z))) (cbrt (sqrt (/ 1 z)))) -1/4) (pow (* (cbrt (sqrt (/ 1 z))) (cbrt (sqrt (/ 1 z)))) -1/4)) (* (pow (cbrt (sqrt (/ 1 z))) -1/4) (pow (cbrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) -1/4) (pow (sqrt (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) -1/4)) (* (pow (sqrt (cbrt (/ 1 z))) -1/4) (pow (sqrt (cbrt (/ 1 z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (/ (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z)))) -1/4) (pow (sqrt (/ (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z)))) -1/4)) (* (pow (sqrt (/ (cbrt 1) (cbrt z))) -1/4) (pow (sqrt (/ (cbrt 1) (cbrt z))) -1/4)) (* (pow (sqrt (/ (* (cbrt 1) (cbrt 1)) (sqrt z))) -1/4) (pow (sqrt (/ (* (cbrt 1) (cbrt 1)) (sqrt z))) -1/4)) (* (pow (sqrt (/ (cbrt 1) (sqrt z))) -1/4) (pow (sqrt (/ (cbrt 1) (sqrt z))) -1/4)) (* (pow (sqrt (/ (* (cbrt 1) (cbrt 1)) 1)) -1/4) (pow (sqrt (/ (* (cbrt 1) (cbrt 1)) 1)) -1/4)) (* (pow (sqrt (/ (cbrt 1) z)) -1/4) (pow (sqrt (/ (cbrt 1) z)) -1/4)) (* (pow (sqrt (/ (sqrt 1) (* (cbrt z) (cbrt z)))) -1/4) (pow (sqrt (/ (sqrt 1) (* (cbrt z) (cbrt z)))) -1/4)) (* (pow (sqrt (/ (sqrt 1) (cbrt z))) -1/4) (pow (sqrt (/ (sqrt 1) (cbrt z))) -1/4)) (* (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4) (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4)) (* (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4) (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4)) (* (pow (sqrt (/ (sqrt 1) 1)) -1/4) (pow (sqrt (/ (sqrt 1) 1)) -1/4)) (* (pow (sqrt (/ (sqrt 1) z)) -1/4) (pow (sqrt (/ (sqrt 1) z)) -1/4)) (* (pow (sqrt (/ 1 (* (cbrt z) (cbrt z)))) -1/4) (pow (sqrt (/ 1 (* (cbrt z) (cbrt z)))) -1/4)) (* (pow (sqrt (/ 1 (cbrt z))) -1/4) (pow (sqrt (/ 1 (cbrt z))) -1/4)) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (/ 1 1)) -1/4) (pow (sqrt (/ 1 1)) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt 1) -1/4) (pow (sqrt 1) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt 1) -1/4) (pow (sqrt 1) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt 1) -1/4) (pow (sqrt 1) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt 1) -1/4) (pow (sqrt 1) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow 1 -1/4) (pow 1 -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (* (cbrt (pow (sqrt (/ 1 z)) -1/4)) (cbrt (pow (sqrt (/ 1 z)) -1/4))) (* (cbrt (pow (sqrt (/ 1 z)) -1/4)) (cbrt (pow (sqrt (/ 1 z)) -1/4)))) (* (cbrt (pow (sqrt (/ 1 z)) -1/4)) (cbrt (pow (sqrt (/ 1 z)) -1/4))) (* (sqrt (pow (sqrt (/ 1 z)) -1/4)) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (sqrt (pow (sqrt (/ 1 z)) -1/4)) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* 1 1) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ 1 z)) (/ -1/4 2)) (pow (sqrt (/ 1 z)) (/ -1/4 2))) (* (pow (sqrt (/ 1 z)) (/ -1/4 2)) (pow (sqrt (/ 1 z)) (/ -1/4 2))) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) (/ -1/4 2))) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) (/ -1/4 2))) (* (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4) (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4)) (* (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4) (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4)) (* (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4) (pow (sqrt (/ 1 z)) (/ -1/4 2))) (* (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4) (pow (sqrt (/ 1 z)) (/ -1/4 2))) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4)) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4)) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (pow (sqrt (/ 1 z)) (/ -1/4 2))) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (pow (sqrt (/ 1 z)) (/ -1/4 2))) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) (/ -1/4 2))) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) (/ -1/4 2))) (* (sqrt (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (sqrt (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (sqrt (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4)) (* (sqrt (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4)) (* (sqrt (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (sqrt (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (sqrt (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (sqrt (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (sqrt (pow (sqrt (/ 1 z)) -1/4)) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (sqrt (pow (sqrt (/ 1 z)) -1/4)) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (sqrt (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (/ 1 z)) (/ -1/4 2))) (* (sqrt (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (/ 1 z)) (/ -1/4 2))) (* (pow (sqrt (/ 1 z)) (/ -1/4 2)) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (/ 1 z)) (/ -1/4 2)) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (/ 1 z)) (/ -1/4 2)) (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4)) (* (pow (sqrt (/ 1 z)) (/ -1/4 2)) (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4)) (* (pow (sqrt (/ 1 z)) (/ -1/4 2)) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (/ 1 z)) (/ -1/4 2)) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (/ 1 z)) (/ -1/4 2)) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (/ 1 z)) (/ -1/4 2)) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (/ 1 z)) (/ -1/4 2)) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (/ 1 z)) (/ -1/4 2)) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (/ 1 z)) (/ -1/4 2)) (pow (sqrt (/ 1 z)) (/ -1/4 2))) (* (pow (sqrt (/ 1 z)) (/ -1/4 2)) (pow (sqrt (/ 1 z)) (/ -1/4 2))) (* 2 -1/4) (* (pow (sqrt (/ 1 z)) -1/4) (pow (* (cbrt (sqrt (/ 1 z))) (cbrt (sqrt (/ 1 z)))) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z)))) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ (* (cbrt 1) (cbrt 1)) (sqrt z))) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ (* (cbrt 1) (cbrt 1)) 1)) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ (sqrt 1) (* (cbrt z) (cbrt z)))) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ (sqrt 1) 1)) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 (* (cbrt z) (cbrt z)))) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 1)) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt 1) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt 1) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow 1 -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (* (cbrt (pow (sqrt (/ 1 z)) -1/4)) (cbrt (pow (sqrt (/ 1 z)) -1/4)))) (* (pow (sqrt (/ 1 z)) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (/ 1 z)) -1/4) 1) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) (/ -1/4 2))) (* (pow (cbrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (cbrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ (cbrt 1) (cbrt z))) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ (cbrt 1) (sqrt z))) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ (cbrt 1) z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ (sqrt 1) (cbrt z))) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ (sqrt 1) (sqrt z))) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ (sqrt 1) z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ 1 (cbrt z))) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (cbrt (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (/ 1 z)) -1/4)) (* (sqrt (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ 1 z)) (/ -1/4 2)) (pow (sqrt (/ 1 z)) -1/4)) (* (* y (sqrt (sqrt z))) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4))) (* (* y (sqrt (sqrt z))) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4))) (+ (+ (log y) (log (sqrt (sqrt z)))) (+ (* (log (sqrt (/ 1 z))) -1/4) (* (log (sqrt (/ 1 z))) -1/4))) (+ (+ (log y) (log (sqrt (sqrt z)))) (+ (* (log (sqrt (/ 1 z))) -1/4) (* (log (sqrt (/ 1 z))) -1/4))) (+ (+ (log y) (log (sqrt (sqrt z)))) (+ (* (log (sqrt (/ 1 z))) -1/4) (log (pow (sqrt (/ 1 z)) -1/4)))) (+ (+ (log y) (log (sqrt (sqrt z)))) (+ (* (log (sqrt (/ 1 z))) -1/4) (* (log (sqrt (/ 1 z))) -1/4))) (+ (+ (log y) (log (sqrt (sqrt z)))) (+ (* (log (sqrt (/ 1 z))) -1/4) (* (log (sqrt (/ 1 z))) -1/4))) (+ (+ (log y) (log (sqrt (sqrt z)))) (+ (* (log (sqrt (/ 1 z))) -1/4) (log (pow (sqrt (/ 1 z)) -1/4)))) (+ (+ (log y) (log (sqrt (sqrt z)))) (+ (log (pow (sqrt (/ 1 z)) -1/4)) (* (log (sqrt (/ 1 z))) -1/4))) (+ (+ (log y) (log (sqrt (sqrt z)))) (+ (log (pow (sqrt (/ 1 z)) -1/4)) (* (log (sqrt (/ 1 z))) -1/4))) (+ (+ (log y) (log (sqrt (sqrt z)))) (+ (log (pow (sqrt (/ 1 z)) -1/4)) (log (pow (sqrt (/ 1 z)) -1/4)))) (+ (+ (log y) (log (sqrt (sqrt z)))) (log (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)))) (+ (log (* y (sqrt (sqrt z)))) (+ (* (log (sqrt (/ 1 z))) -1/4) (* (log (sqrt (/ 1 z))) -1/4))) (+ (log (* y (sqrt (sqrt z)))) (+ (* (log (sqrt (/ 1 z))) -1/4) (* (log (sqrt (/ 1 z))) -1/4))) (+ (log (* y (sqrt (sqrt z)))) (+ (* (log (sqrt (/ 1 z))) -1/4) (log (pow (sqrt (/ 1 z)) -1/4)))) (+ (log (* y (sqrt (sqrt z)))) (+ (* (log (sqrt (/ 1 z))) -1/4) (* (log (sqrt (/ 1 z))) -1/4))) (+ (log (* y (sqrt (sqrt z)))) (+ (* (log (sqrt (/ 1 z))) -1/4) (* (log (sqrt (/ 1 z))) -1/4))) (+ (log (* y (sqrt (sqrt z)))) (+ (* (log (sqrt (/ 1 z))) -1/4) (log (pow (sqrt (/ 1 z)) -1/4)))) (+ (log (* y (sqrt (sqrt z)))) (+ (log (pow (sqrt (/ 1 z)) -1/4)) (* (log (sqrt (/ 1 z))) -1/4))) (+ (log (* y (sqrt (sqrt z)))) (+ (log (pow (sqrt (/ 1 z)) -1/4)) (* (log (sqrt (/ 1 z))) -1/4))) (+ (log (* y (sqrt (sqrt z)))) (+ (log (pow (sqrt (/ 1 z)) -1/4)) (log (pow (sqrt (/ 1 z)) -1/4)))) (+ (log (* y (sqrt (sqrt z)))) (log (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)))) (log (* (* y (sqrt (sqrt z))) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)))) (exp (* (* y (sqrt (sqrt z))) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)))) (* (* (* (* y y) y) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (/ 1 z)) -1/4)) (* (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (/ 1 z)) -1/4)))) (* (* (* (* y y) y) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)))) (* (* (* (* y (sqrt (sqrt z))) (* y (sqrt (sqrt z)))) (* y (sqrt (sqrt z)))) (* (* (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (/ 1 z)) -1/4)) (* (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (/ 1 z)) -1/4)))) (* (* (* (* y (sqrt (sqrt z))) (* y (sqrt (sqrt z)))) (* y (sqrt (sqrt z)))) (* (* (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)))) (* (cbrt (* (* y (sqrt (sqrt z))) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)))) (cbrt (* (* y (sqrt (sqrt z))) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4))))) (cbrt (* (* y (sqrt (sqrt z))) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)))) (* (* (* (* y (sqrt (sqrt z))) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4))) (* (* y (sqrt (sqrt z))) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)))) (* (* y (sqrt (sqrt z))) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)))) (sqrt (* (* y (sqrt (sqrt z))) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)))) (sqrt (* (* y (sqrt (sqrt z))) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4)))) (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/4)) (* (sqrt (sqrt z)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4))) (* 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 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 z 1/4) (pow (/ 1 z) -1/4) (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0))))) (- (+ (* +nan.0 (* (pow z 3) y)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (* (pow z 2) y))))))) (- (+ (* +nan.0 (/ y z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y (pow z 2)))))))) (- (+ (* +nan.0 (/ y z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y (pow z 2)))))))) (* (pow z 1/4) y) (* (pow z 1/4) y) (- (* (sqrt +nan.0) y) (+ (* +nan.0 (/ y (* (pow (sqrt +nan.0) 3) (pow z 2)))) (- (+ (* +nan.0 (/ y (* (sqrt +nan.0) (pow z 2)))) (- (* +nan.0 (/ y (* (sqrt +nan.0) z)))))))) (pow z 1/4) (pow (/ 1 z) -1/4) (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow z 2)))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow z 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) z)))))))) 7.174 * * [simplify]: iteration 0 : 311 enodes (cost 4242 ) 7.236 * * [simplify]: iteration 1 : 685 enodes (cost 2937 ) 7.424 * * [simplify]: iteration 2 : 2904 enodes (cost 2633 ) 9.595 * * [simplify]: iteration done : 5001 enodes (cost 2629 ) 9.596 * [simplify]: Simplified to: -1/2 (/ 1 z) (log (pow (sqrt (/ 1 z)) -1/2)) (log (pow (sqrt (/ 1 z)) -1/2)) (log (pow (sqrt (/ 1 z)) -1/2)) (log (pow (sqrt (/ 1 z)) -1/2)) (log (pow (sqrt (/ 1 z)) -1/2)) (log (pow (sqrt (/ 1 z)) -1/2)) (log (pow (sqrt (/ 1 z)) -1/2)) (log (pow (sqrt (/ 1 z)) -1/2)) (log (pow (sqrt (/ 1 z)) -1/2)) (log (pow (sqrt (/ 1 z)) -1/2)) (exp (pow (sqrt (/ 1 z)) -1/2)) (pow (pow (sqrt (/ 1 z)) -1/2) 3) (* (cbrt (pow (sqrt (/ 1 z)) -1/2)) (cbrt (pow (sqrt (/ 1 z)) -1/2))) (cbrt (pow (sqrt (/ 1 z)) -1/2)) (pow (pow (sqrt (/ 1 z)) -1/2) 3) (fabs (pow (sqrt (/ 1 z)) -1/4)) (fabs (pow (sqrt (/ 1 z)) -1/4)) (pow (* (cbrt (sqrt (/ 1 z))) (cbrt (sqrt (/ 1 z)))) -1/2) (pow (cbrt (sqrt (/ 1 z))) -1/2) (pow (fabs (cbrt (/ 1 z))) -1/2) (pow (sqrt (cbrt (/ 1 z))) -1/2) (pow (sqrt (sqrt (/ 1 z))) -1/2) (pow (sqrt (sqrt (/ 1 z))) -1/2) (pow (sqrt (sqrt (/ 1 z))) -1/2) (pow (sqrt (sqrt (/ 1 z))) -1/2) (pow (fabs (/ 1 (cbrt z))) -1/2) (pow (sqrt (/ 1 (cbrt z))) -1/2) (pow (sqrt (/ 1 (sqrt z))) -1/2) (pow (sqrt (/ 1 (sqrt z))) -1/2) 1 (pow (sqrt (/ 1 z)) -1/2) (pow (fabs (/ 1 (cbrt z))) -1/2) (pow (sqrt (/ 1 (cbrt z))) -1/2) (pow (sqrt (/ 1 (sqrt z))) -1/2) (pow (sqrt (/ 1 (sqrt z))) -1/2) 1 (pow (sqrt (/ 1 z)) -1/2) (pow (fabs (/ 1 (cbrt z))) -1/2) (pow (sqrt (/ 1 (cbrt z))) -1/2) (pow (sqrt (/ 1 (sqrt z))) -1/2) (pow (sqrt (/ 1 (sqrt z))) -1/2) 1 (pow (sqrt (/ 1 z)) -1/2) 1 (pow (sqrt (/ 1 z)) -1/2) 1 (pow (sqrt (/ 1 z)) -1/2) 1 (pow (sqrt (/ 1 z)) -1/2) 1 (pow (sqrt (/ 1 z)) -1/2) (pow (sqrt (sqrt (/ 1 z))) -1/2) (pow (sqrt (sqrt (/ 1 z))) -1/2) (pow (sqrt (sqrt (/ 1 z))) -1/2) (pow (sqrt (sqrt (/ 1 z))) -1/2) 1 (pow (sqrt (/ 1 z)) -1/2) (* (cbrt (pow (sqrt (/ 1 z)) -1/4)) (pow (cbrt (pow (sqrt (/ 1 z)) -1/4)) 3)) (* (cbrt (pow (sqrt (/ 1 z)) -1/4)) (cbrt (pow (sqrt (/ 1 z)) -1/4))) (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4) 1 (pow (sqrt (/ 1 z)) -1/2) (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (sqrt (/ 1 z))) -1/2) (pow (sqrt (sqrt (/ 1 z))) -1/2) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (pow (sqrt (sqrt (/ 1 z))) -1/2) (pow (sqrt (sqrt (/ 1 z))) -1/2) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) -1/8)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) -1/8)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (pow (sqrt (/ 1 (sqrt z))) -1/2) (pow (sqrt (/ 1 (sqrt z))) -1/2) (pow (sqrt (/ 1 (sqrt z))) -1/2) (pow (sqrt (/ 1 (sqrt z))) -1/2) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (/ 1 z)) -1/8) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (/ 1 z)) -1/8) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (pow (sqrt (/ 1 (sqrt z))) -1/2) (pow (sqrt (/ 1 (sqrt z))) -1/2) (pow (sqrt (/ 1 (sqrt z))) -1/2) (pow (sqrt (/ 1 (sqrt z))) -1/2) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (/ 1 z)) -1/8) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (/ 1 z)) -1/8) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (pow (sqrt (sqrt (/ 1 z))) -1/2) (pow (sqrt (sqrt (/ 1 z))) -1/2) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (pow (sqrt (sqrt (/ 1 z))) -1/2) (pow (sqrt (sqrt (/ 1 z))) -1/2) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) -1/8)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) -1/8)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (/ 1 (sqrt z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4) (* (pow (sqrt (/ 1 z)) -1/8) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (/ 1 z)) -1/8) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) -1/8)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) -1/8)) (* (pow (sqrt (/ 1 z)) -1/8) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (/ 1 z)) -1/8) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (/ 1 z)) -1/8) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (/ 1 z)) -1/8) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) -1/8)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) -1/8)) (* (pow (sqrt (/ 1 z)) -1/8) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (* (pow (sqrt (/ 1 z)) -1/8) (sqrt (pow (sqrt (/ 1 z)) -1/4))) (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4) -1/2 (* (pow (sqrt (/ 1 z)) -1/4) (pow (* (cbrt (sqrt (/ 1 z))) (cbrt (sqrt (/ 1 z)))) -1/4)) (* (pow (fabs (cbrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (fabs (/ 1 (cbrt z))) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (pow (sqrt (/ 1 z)) -1/4) (* (pow (sqrt (/ 1 z)) -1/4) (pow (fabs (/ 1 (cbrt z))) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (pow (sqrt (/ 1 z)) -1/4) (* (pow (sqrt (/ 1 z)) -1/4) (pow (fabs (/ 1 (cbrt z))) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 z)) -1/4) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (/ 1 z)) -1/4) (* (pow (sqrt (/ 1 z)) -1/4) (* (cbrt (pow (sqrt (/ 1 z)) -1/4)) (cbrt (pow (sqrt (/ 1 z)) -1/4)))) (pow (sqrt (pow (sqrt (/ 1 z)) -1/4)) 3) (pow (sqrt (/ 1 z)) -1/4) (pow (pow (sqrt (/ 1 z)) -1/8) 3) (* (pow (cbrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (cbrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ 1 (cbrt z))) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (pow (sqrt (/ 1 z)) -1/2) (* (pow (sqrt (/ 1 (cbrt z))) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (pow (sqrt (/ 1 z)) -1/2) (* (pow (sqrt (/ 1 (cbrt z))) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (* (pow (sqrt (/ 1 z)) -1/4) (pow (sqrt (/ 1 (sqrt z))) -1/4)) (pow (sqrt (/ 1 z)) -1/2) (pow (sqrt (/ 1 z)) -1/2) (pow (sqrt (/ 1 z)) -1/2) (* (pow (sqrt (sqrt (/ 1 z))) -1/4) (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (/ 1 z)) -1/2) (* (cbrt (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (/ 1 z)) -1/4)) (pow (sqrt (pow (sqrt (/ 1 z)) -1/4)) 3) (pow (sqrt (/ 1 z)) -1/2) (pow (pow (sqrt (/ 1 z)) -1/8) 3) (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2)) (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2)) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (log (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (exp (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (pow (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2)) 3) (pow (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2)) 3) (pow (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2)) 3) (pow (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2)) 3) (* (cbrt (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (cbrt (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2)))) (cbrt (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (pow (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2)) 3) (sqrt (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (sqrt (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/2))) (* (* y (sqrt (sqrt z))) (pow (sqrt (/ 1 z)) -1/4)) (* (sqrt (sqrt z)) (pow (sqrt (/ 1 z)) -1/2)) (* 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) (* (sqrt (fabs (cbrt z))) y) (* 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))) (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) (pow (/ 1 z) -1/4) (- (- (/ +nan.0 (pow z 2)) +nan.0) (/ +nan.0 z)) (- (* +nan.0 (- (* z y) (* (pow z 2) y))) (* +nan.0 (* (pow z 3) y))) (- (* +nan.0 (- y (/ y (pow z 2)))) (* +nan.0 (/ y z))) (- (* +nan.0 (- y (/ y (pow z 2)))) (* +nan.0 (/ y z))) (* (pow z 1/4) y) (* (pow z 1/4) y) (+ (- (* (sqrt +nan.0) y) (* +nan.0 (/ y (* (pow (sqrt +nan.0) 3) (pow z 2))))) (* +nan.0 (- (/ y (* (sqrt +nan.0) (pow z 2))) (/ y (* (sqrt +nan.0) z))))) (pow z 1/4) (pow (/ 1 z) -1/4) (+ (- (sqrt +nan.0) (/ +nan.0 (* (sqrt +nan.0) (pow z 2)))) (- (/ (/ +nan.0 (pow z 2)) (pow (sqrt +nan.0) 3)) (/ +nan.0 (* (sqrt +nan.0) z)))) 9.598 * * * [progress]: adding candidates to table 10.063 * [progress]: [Phase 3 of 3] Extracting. 10.064 * * [regime]: Finding splitpoints for: (# # # # # #) 10.065 * * * [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) 10.065 * * * * [regimes]: Trying to branch on (sqrt z) from (# # # # # #) 10.099 * * * * [regimes]: Trying to branch on (* y (sqrt z)) from (# # # # # #) 10.132 * * * * [regimes]: Trying to branch on (+ x (* y (sqrt z))) from (# # # # # #) 10.162 * * * * [regimes]: Trying to branch on (* (/ 1.0 2.0) (+ x (* y (sqrt z)))) from (# # # # # #) 10.195 * * * * [regimes]: Trying to branch on z from (# # # # # #) 10.225 * * * * [regimes]: Trying to branch on y from (# # # # # #) 10.252 * * * * [regimes]: Trying to branch on x from (# # # # # #) 10.282 * * * [regime]: Found split indices: #