546.667 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.035 * * * [progress]: [2/2] Setting up program. 0.038 * [progress]: [Phase 2 of 3] Improving. 0.039 * [simplify]: Simplifying using # : (+ (- 1.0 x) (* y (sqrt x))) 0.039 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.040 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 0.042 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 0.045 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 0.051 * * [simplify]: iteration 4 : 55 enodes (cost 8 ) 0.060 * * [simplify]: iteration 5 : 70 enodes (cost 8 ) 0.069 * * [simplify]: iteration 6 : 79 enodes (cost 8 ) 0.083 * * [simplify]: iteration 7 : 96 enodes (cost 8 ) 0.099 * * [simplify]: iteration 8 : 115 enodes (cost 8 ) 0.112 * * [simplify]: iteration 9 : 122 enodes (cost 8 ) 0.128 * * [simplify]: iteration 10 : 126 enodes (cost 8 ) 0.147 * * [simplify]: iteration 11 : 130 enodes (cost 8 ) 0.162 * * [simplify]: iteration done : 130 enodes (cost 8 ) 0.162 * [simplify]: Simplified to: (+ (- 1.0 x) (* y (sqrt x))) 0.162 * * [progress]: iteration 1 / 4 0.162 * * * [progress]: picking best candidate 0.165 * * * * [pick]: Picked # 0.165 * * * [progress]: localizing error 0.172 * * * [progress]: generating rewritten candidates 0.172 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.177 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.185 * * * [progress]: generating series expansions 0.185 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.185 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 0.185 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 0.185 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.185 * [taylor]: Taking taylor expansion of x in x 0.185 * [taylor]: Taking taylor expansion of y in x 0.185 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 0.186 * [taylor]: Taking taylor expansion of (sqrt x) in y 0.186 * [taylor]: Taking taylor expansion of x in y 0.186 * [taylor]: Taking taylor expansion of y in y 0.186 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 0.186 * [taylor]: Taking taylor expansion of (sqrt x) in y 0.186 * [taylor]: Taking taylor expansion of x in y 0.186 * [taylor]: Taking taylor expansion of y in y 0.186 * [taylor]: Taking taylor expansion of 0 in x 0.186 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.186 * [taylor]: Taking taylor expansion of x in x 0.186 * [taylor]: Taking taylor expansion of 0 in x 0.186 * [taylor]: Taking taylor expansion of 0 in x 0.187 * [taylor]: Taking taylor expansion of 0 in x 0.187 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 0.188 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 0.188 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.188 * [taylor]: Taking taylor expansion of x in x 0.188 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.188 * [taylor]: Taking taylor expansion of y in x 0.188 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 0.188 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 0.188 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.188 * [taylor]: Taking taylor expansion of x in y 0.188 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.188 * [taylor]: Taking taylor expansion of y in y 0.188 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 0.188 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 0.188 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.188 * [taylor]: Taking taylor expansion of x in y 0.188 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.188 * [taylor]: Taking taylor expansion of y in y 0.188 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.188 * [taylor]: Taking taylor expansion of x in x 0.188 * [taylor]: Taking taylor expansion of 0 in x 0.189 * [taylor]: Taking taylor expansion of 0 in x 0.189 * [taylor]: Taking taylor expansion of 0 in x 0.190 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0 0.190 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x 0.190 * [taylor]: Taking taylor expansion of -1 in x 0.190 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 0.190 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.190 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.190 * [taylor]: Taking taylor expansion of -1 in x 0.190 * [taylor]: Taking taylor expansion of x in x 0.190 * [taylor]: Taking taylor expansion of y in x 0.190 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 0.190 * [taylor]: Taking taylor expansion of -1 in y 0.190 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 0.190 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 0.190 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.190 * [taylor]: Taking taylor expansion of -1 in y 0.190 * [taylor]: Taking taylor expansion of x in y 0.190 * [taylor]: Taking taylor expansion of y in y 0.191 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 0.191 * [taylor]: Taking taylor expansion of -1 in y 0.191 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 0.191 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 0.191 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.191 * [taylor]: Taking taylor expansion of -1 in y 0.191 * [taylor]: Taking taylor expansion of x in y 0.191 * [taylor]: Taking taylor expansion of y in y 0.191 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x 0.191 * [taylor]: Taking taylor expansion of -1 in x 0.191 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.191 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.191 * [taylor]: Taking taylor expansion of -1 in x 0.191 * [taylor]: Taking taylor expansion of x in x 0.191 * [taylor]: Taking taylor expansion of 0 in x 0.192 * [taylor]: Taking taylor expansion of 0 in x 0.193 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.193 * [approximate]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1.0) x) in (x y) around 0 0.193 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1.0) x) in y 0.193 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1.0) in y 0.193 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 0.193 * [taylor]: Taking taylor expansion of (sqrt x) in y 0.193 * [taylor]: Taking taylor expansion of x in y 0.193 * [taylor]: Taking taylor expansion of y in y 0.193 * [taylor]: Taking taylor expansion of 1.0 in y 0.193 * [taylor]: Taking taylor expansion of x in y 0.193 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1.0) x) in x 0.193 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1.0) in x 0.193 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 0.193 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.193 * [taylor]: Taking taylor expansion of x in x 0.193 * [taylor]: Taking taylor expansion of y in x 0.193 * [taylor]: Taking taylor expansion of 1.0 in x 0.193 * [taylor]: Taking taylor expansion of x in x 0.193 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1.0) x) in x 0.193 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1.0) in x 0.193 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 0.193 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.193 * [taylor]: Taking taylor expansion of x in x 0.193 * [taylor]: Taking taylor expansion of y in x 0.194 * [taylor]: Taking taylor expansion of 1.0 in x 0.194 * [taylor]: Taking taylor expansion of x in x 0.194 * [taylor]: Taking taylor expansion of 1.0 in y 0.194 * [taylor]: Taking taylor expansion of (- (* NAN y) 1) in y 0.194 * [taylor]: Taking taylor expansion of (* NAN y) in y 0.194 * [taylor]: Taking taylor expansion of NAN in y 0.194 * [taylor]: Taking taylor expansion of y in y 0.194 * [taylor]: Taking taylor expansion of 1 in y 0.194 * [taylor]: Taking taylor expansion of (* (pow NAN 3) y) in y 0.194 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 0.194 * [taylor]: Taking taylor expansion of NAN in y 0.194 * [taylor]: Taking taylor expansion of y in y 0.195 * [approximate]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) (/ 1 x)) in (x y) around 0 0.195 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) (/ 1 x)) in y 0.195 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) in y 0.195 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 0.195 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 0.195 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.195 * [taylor]: Taking taylor expansion of x in y 0.195 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.195 * [taylor]: Taking taylor expansion of y in y 0.195 * [taylor]: Taking taylor expansion of 1.0 in y 0.195 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.195 * [taylor]: Taking taylor expansion of x in y 0.195 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) (/ 1 x)) in x 0.195 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) in x 0.195 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 0.195 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.195 * [taylor]: Taking taylor expansion of x in x 0.195 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.195 * [taylor]: Taking taylor expansion of y in x 0.195 * [taylor]: Taking taylor expansion of 1.0 in x 0.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.195 * [taylor]: Taking taylor expansion of x in x 0.195 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) (/ 1 x)) in x 0.195 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) in x 0.195 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 0.195 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.196 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.196 * [taylor]: Taking taylor expansion of y in x 0.196 * [taylor]: Taking taylor expansion of 1.0 in x 0.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.196 * [taylor]: Taking taylor expansion of (neg 1) in y 0.196 * [taylor]: Taking taylor expansion of 1 in y 0.196 * [taylor]: Taking taylor expansion of (+ (/ NAN y) 1.0) in y 0.196 * [taylor]: Taking taylor expansion of (/ NAN y) in y 0.196 * [taylor]: Taking taylor expansion of NAN in y 0.196 * [taylor]: Taking taylor expansion of y in y 0.196 * [taylor]: Taking taylor expansion of 1.0 in y 0.197 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) y) in y 0.197 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 0.197 * [taylor]: Taking taylor expansion of NAN in y 0.197 * [taylor]: Taking taylor expansion of y in y 0.197 * [approximate]: Taking taylor expansion of (- (+ (/ 1 x) 1.0) (/ (sqrt (/ -1 x)) y)) in (x y) around 0 0.197 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0) (/ (sqrt (/ -1 x)) y)) in y 0.197 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 0.197 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.197 * [taylor]: Taking taylor expansion of x in y 0.197 * [taylor]: Taking taylor expansion of 1.0 in y 0.198 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 0.198 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 0.198 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.198 * [taylor]: Taking taylor expansion of -1 in y 0.198 * [taylor]: Taking taylor expansion of x in y 0.198 * [taylor]: Taking taylor expansion of y in y 0.198 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0) (/ (sqrt (/ -1 x)) y)) in x 0.198 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of 1.0 in x 0.198 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 0.198 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.198 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.198 * [taylor]: Taking taylor expansion of -1 in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of y in x 0.198 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0) (/ (sqrt (/ -1 x)) y)) in x 0.198 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of 1.0 in x 0.198 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 0.198 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.198 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.198 * [taylor]: Taking taylor expansion of -1 in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of y in x 0.198 * [taylor]: Taking taylor expansion of 1 in y 0.199 * [taylor]: Taking taylor expansion of (- 1.0 (/ NAN y)) in y 0.199 * [taylor]: Taking taylor expansion of 1.0 in y 0.199 * [taylor]: Taking taylor expansion of (/ NAN y) in y 0.199 * [taylor]: Taking taylor expansion of NAN in y 0.199 * [taylor]: Taking taylor expansion of y in y 0.199 * [taylor]: Taking taylor expansion of (neg (/ (pow NAN 3) y)) in y 0.199 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) y) in y 0.199 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 0.199 * [taylor]: Taking taylor expansion of NAN in y 0.199 * [taylor]: Taking taylor expansion of y in y 0.200 * * * [progress]: simplifying candidates 0.201 * [simplify]: Simplifying using # : (* y (sqrt x)) (+ (log y) (log (sqrt x))) (log (* y (sqrt x))) (exp (* y (sqrt x))) (* (* (* y y) y) (* (* (sqrt x) (sqrt x)) (sqrt x))) (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))) (cbrt (* y (sqrt x))) (* (* (* y (sqrt x)) (* y (sqrt x))) (* y (sqrt x))) (sqrt (* y (sqrt x))) (sqrt (* y (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* y (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (* y (sqrt (* (cbrt x) (cbrt x)))) (* y (sqrt (sqrt x))) (* y (sqrt 1)) (* y (sqrt (sqrt x))) (* y 1) (* (cbrt y) (sqrt x)) (* (sqrt y) (sqrt x)) (* y (sqrt x)) (* (/ (exp 1.0) (exp x)) (exp (* y (sqrt x)))) (* (exp (- 1.0 x)) (exp (* y (sqrt x)))) (log (+ (- 1.0 x) (* y (sqrt x)))) (exp (+ (- 1.0 x) (* y (sqrt x)))) (* (cbrt (+ (- 1.0 x) (* y (sqrt x)))) (cbrt (+ (- 1.0 x) (* y (sqrt x))))) (cbrt (+ (- 1.0 x) (* y (sqrt x)))) (* (* (+ (- 1.0 x) (* y (sqrt x))) (+ (- 1.0 x) (* y (sqrt x)))) (+ (- 1.0 x) (* y (sqrt x)))) (sqrt (+ (- 1.0 x) (* y (sqrt x)))) (sqrt (+ (- 1.0 x) (* y (sqrt x)))) (+ (pow (- 1.0 x) 3) (pow (* y (sqrt x)) 3)) (+ (* (- 1.0 x) (- 1.0 x)) (- (* (* y (sqrt x)) (* y (sqrt x))) (* (- 1.0 x) (* y (sqrt x))))) (- (* (- 1.0 x) (- 1.0 x)) (* (* y (sqrt x)) (* y (sqrt x)))) (- (- 1.0 x) (* y (sqrt x))) (+ (neg x) (* y (sqrt x))) (+ (neg x) (* y (sqrt x))) (- x (* y (sqrt x))) (+ (* (pow x 3) (* (pow NAN 5) y)) (+ (* x (* NAN y)) (* (pow x 2) (* (pow NAN 3) y)))) (+ (* NAN y) (+ (/ (* (pow NAN 5) y) (pow x 2)) (/ (* (pow NAN 3) y) x))) (- (+ (* NAN y) (/ (* (pow NAN 5) y) (pow x 2))) (/ (* (pow NAN 3) y) x)) (- (+ (* x (* NAN y)) 1.0) x) (- (+ (* NAN y) (/ (* (pow NAN 3) y) x)) x) (- (* NAN y) (+ x (/ (* (pow NAN 3) y) x))) 0.201 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 0.202 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 0.202 * * [simplify]: iteration done : 5 enodes (cost 4 ) 0.203 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.203 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 0.204 * * [simplify]: iteration done : 7 enodes (cost 6 ) 0.205 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.205 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 0.210 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 0.211 * * [simplify]: iteration done : 10 enodes (cost 5 ) 0.211 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.212 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.213 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 0.214 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 0.218 * * [simplify]: iteration 4 : 45 enodes (cost 5 ) 0.224 * * [simplify]: iteration 5 : 101 enodes (cost 5 ) 0.256 * * [simplify]: iteration 6 : 240 enodes (cost 5 ) 0.408 * * [simplify]: iteration 7 : 694 enodes (cost 5 ) 1.496 * * [simplify]: iteration 8 : 2697 enodes (cost 5 ) 3.474 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 3.475 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 3.476 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 3.478 * * [simplify]: iteration 2 : 38 enodes (cost 8 ) 3.486 * * [simplify]: iteration 3 : 70 enodes (cost 8 ) 3.508 * * [simplify]: iteration 4 : 98 enodes (cost 8 ) 3.531 * * [simplify]: iteration 5 : 144 enodes (cost 8 ) 3.577 * * [simplify]: iteration 6 : 264 enodes (cost 8 ) 3.741 * * [simplify]: iteration 7 : 653 enodes (cost 8 ) 4.883 * * [simplify]: iteration 8 : 2091 enodes (cost 8 ) 8.171 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 8.172 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 8.173 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 8.174 * * [simplify]: iteration done : 7 enodes (cost 11 ) 8.174 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 8.175 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 8.175 * * [simplify]: iteration done : 6 enodes (cost 5 ) 8.176 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 8.177 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 8.180 * * [simplify]: iteration 2 : 46 enodes (cost 6 ) 8.198 * * [simplify]: iteration 3 : 88 enodes (cost 6 ) 8.221 * * [simplify]: iteration 4 : 105 enodes (cost 6 ) 8.251 * * [simplify]: iteration 5 : 149 enodes (cost 6 ) 8.305 * * [simplify]: iteration 6 : 280 enodes (cost 6 ) 8.466 * * [simplify]: iteration 7 : 735 enodes (cost 6 ) 9.470 * * [simplify]: iteration 8 : 2739 enodes (cost 6 ) 11.107 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 11.107 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 11.108 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 11.109 * * [simplify]: iteration done : 6 enodes (cost 5 ) 11.109 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 11.110 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 11.111 * * [simplify]: iteration done : 6 enodes (cost 5 ) 11.111 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 11.112 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 11.113 * * [simplify]: iteration done : 7 enodes (cost 6 ) 11.113 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 11.114 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 11.115 * * [simplify]: iteration done : 7 enodes (cost 6 ) 11.115 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 11.116 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 11.116 * * [simplify]: iteration done : 7 enodes (cost 6 ) 11.117 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 11.118 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 11.118 * * [simplify]: iteration done : 7 enodes (cost 6 ) 11.123 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 11.123 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 11.124 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 11.126 * * [simplify]: iteration done : 11 enodes (cost 9 ) 11.126 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 11.127 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 11.128 * * [simplify]: iteration done : 8 enodes (cost 5 ) 11.128 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 11.129 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 11.129 * * [simplify]: iteration done : 6 enodes (cost 5 ) 11.130 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 11.130 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 11.131 * * [simplify]: iteration done : 7 enodes (cost 3 ) 11.132 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 11.132 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 11.133 * * [simplify]: iteration done : 6 enodes (cost 5 ) 11.133 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 11.134 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 11.134 * * [simplify]: iteration done : 6 enodes (cost 1 ) 11.134 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 11.135 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 11.135 * * [simplify]: iteration done : 6 enodes (cost 5 ) 11.136 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 11.136 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 11.137 * * [simplify]: iteration done : 6 enodes (cost 5 ) 11.138 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 11.138 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 11.138 * * [simplify]: iteration done : 5 enodes (cost 4 ) 11.139 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 11.140 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 11.142 * * [simplify]: iteration 2 : 35 enodes (cost 9 ) 11.147 * * [simplify]: iteration 3 : 66 enodes (cost 9 ) 11.157 * * [simplify]: iteration 4 : 155 enodes (cost 9 ) 11.203 * * [simplify]: iteration 5 : 420 enodes (cost 9 ) 11.515 * * [simplify]: iteration 6 : 1331 enodes (cost 9 ) 13.887 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 13.887 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 13.889 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 13.891 * * [simplify]: iteration 2 : 38 enodes (cost 9 ) 13.900 * * [simplify]: iteration 3 : 81 enodes (cost 9 ) 13.915 * * [simplify]: iteration 4 : 187 enodes (cost 9 ) 13.981 * * [simplify]: iteration 5 : 501 enodes (cost 9 ) 14.527 * * [simplify]: iteration 6 : 1717 enodes (cost 9 ) 16.538 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 16.540 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 16.541 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 16.543 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 16.546 * * [simplify]: iteration 3 : 39 enodes (cost 9 ) 16.552 * * [simplify]: iteration 4 : 56 enodes (cost 9 ) 16.562 * * [simplify]: iteration 5 : 71 enodes (cost 9 ) 16.570 * * [simplify]: iteration 6 : 80 enodes (cost 9 ) 16.584 * * [simplify]: iteration 7 : 97 enodes (cost 9 ) 16.602 * * [simplify]: iteration 8 : 116 enodes (cost 9 ) 16.615 * * [simplify]: iteration 9 : 123 enodes (cost 9 ) 16.631 * * [simplify]: iteration 10 : 127 enodes (cost 9 ) 16.651 * * [simplify]: iteration 11 : 131 enodes (cost 9 ) 16.668 * * [simplify]: iteration done : 131 enodes (cost 9 ) 16.669 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 16.670 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 16.672 * * [simplify]: iteration 2 : 39 enodes (cost 9 ) 16.677 * * [simplify]: iteration 3 : 81 enodes (cost 9 ) 16.695 * * [simplify]: iteration 4 : 162 enodes (cost 9 ) 16.737 * * [simplify]: iteration 5 : 372 enodes (cost 9 ) 17.009 * * [simplify]: iteration 6 : 1241 enodes (cost 9 ) 20.249 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 20.250 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 20.251 * * [simplify]: iteration 1 : 15 enodes (cost 19 ) 20.253 * * [simplify]: iteration 2 : 25 enodes (cost 19 ) 20.256 * * [simplify]: iteration 3 : 40 enodes (cost 19 ) 20.262 * * [simplify]: iteration 4 : 57 enodes (cost 19 ) 20.272 * * [simplify]: iteration 5 : 72 enodes (cost 19 ) 20.281 * * [simplify]: iteration 6 : 81 enodes (cost 19 ) 20.291 * * [simplify]: iteration 7 : 98 enodes (cost 19 ) 20.312 * * [simplify]: iteration 8 : 117 enodes (cost 19 ) 20.325 * * [simplify]: iteration 9 : 124 enodes (cost 19 ) 20.341 * * [simplify]: iteration 10 : 128 enodes (cost 19 ) 20.362 * * [simplify]: iteration 11 : 132 enodes (cost 19 ) 20.377 * * [simplify]: iteration done : 132 enodes (cost 19 ) 20.378 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 20.379 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 20.381 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 20.384 * * [simplify]: iteration 3 : 39 enodes (cost 9 ) 20.390 * * [simplify]: iteration 4 : 56 enodes (cost 9 ) 20.400 * * [simplify]: iteration 5 : 71 enodes (cost 9 ) 20.412 * * [simplify]: iteration 6 : 80 enodes (cost 9 ) 20.422 * * [simplify]: iteration 7 : 97 enodes (cost 9 ) 20.440 * * [simplify]: iteration 8 : 116 enodes (cost 9 ) 20.453 * * [simplify]: iteration 9 : 123 enodes (cost 9 ) 20.472 * * [simplify]: iteration 10 : 127 enodes (cost 9 ) 20.489 * * [simplify]: iteration 11 : 131 enodes (cost 9 ) 20.506 * * [simplify]: iteration done : 131 enodes (cost 9 ) 20.506 * * [simplify]: iteration 0 : 9 enodes (cost 26 ) 20.508 * * [simplify]: iteration 1 : 28 enodes (cost 26 ) 20.513 * * [simplify]: iteration 2 : 98 enodes (cost 10 ) 20.546 * * [simplify]: iteration 3 : 478 enodes (cost 10 ) 21.054 * * [simplify]: iteration 4 : 2716 enodes (cost 10 ) 22.185 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 22.186 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 22.187 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 22.189 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 22.192 * * [simplify]: iteration 3 : 39 enodes (cost 9 ) 22.198 * * [simplify]: iteration 4 : 56 enodes (cost 9 ) 22.208 * * [simplify]: iteration 5 : 71 enodes (cost 9 ) 22.215 * * [simplify]: iteration 6 : 80 enodes (cost 9 ) 22.226 * * [simplify]: iteration 7 : 97 enodes (cost 9 ) 22.247 * * [simplify]: iteration 8 : 116 enodes (cost 9 ) 22.260 * * [simplify]: iteration 9 : 123 enodes (cost 9 ) 22.275 * * [simplify]: iteration 10 : 127 enodes (cost 9 ) 22.297 * * [simplify]: iteration 11 : 131 enodes (cost 9 ) 22.313 * * [simplify]: iteration done : 131 enodes (cost 9 ) 22.314 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 22.314 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 22.316 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 22.319 * * [simplify]: iteration 3 : 39 enodes (cost 9 ) 22.325 * * [simplify]: iteration 4 : 56 enodes (cost 9 ) 22.335 * * [simplify]: iteration 5 : 71 enodes (cost 9 ) 22.348 * * [simplify]: iteration 6 : 80 enodes (cost 9 ) 22.359 * * [simplify]: iteration 7 : 97 enodes (cost 9 ) 22.376 * * [simplify]: iteration 8 : 116 enodes (cost 9 ) 22.389 * * [simplify]: iteration 9 : 123 enodes (cost 9 ) 22.408 * * [simplify]: iteration 10 : 127 enodes (cost 9 ) 22.425 * * [simplify]: iteration 11 : 131 enodes (cost 9 ) 22.441 * * [simplify]: iteration done : 131 enodes (cost 9 ) 22.442 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 22.443 * * [simplify]: iteration 1 : 30 enodes (cost 12 ) 22.448 * * [simplify]: iteration 2 : 81 enodes (cost 12 ) 22.472 * * [simplify]: iteration 3 : 209 enodes (cost 12 ) 22.542 * * [simplify]: iteration 4 : 459 enodes (cost 12 ) 22.753 * * [simplify]: iteration 5 : 1281 enodes (cost 12 ) 24.211 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 24.211 * * [simplify]: iteration 0 : 11 enodes (cost 26 ) 24.213 * * [simplify]: iteration 1 : 31 enodes (cost 21 ) 24.219 * * [simplify]: iteration 2 : 89 enodes (cost 21 ) 24.240 * * [simplify]: iteration 3 : 240 enodes (cost 18 ) 24.325 * * [simplify]: iteration 4 : 619 enodes (cost 18 ) 24.708 * * [simplify]: iteration 5 : 1801 enodes (cost 18 ) 27.206 * * [simplify]: iteration done : 5000 enodes (cost 18 ) 27.207 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 27.209 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 27.213 * * [simplify]: iteration 2 : 69 enodes (cost 13 ) 27.227 * * [simplify]: iteration 3 : 178 enodes (cost 13 ) 27.279 * * [simplify]: iteration 4 : 503 enodes (cost 13 ) 27.630 * * [simplify]: iteration 5 : 1610 enodes (cost 13 ) 28.787 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 28.787 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 28.788 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 28.790 * * [simplify]: iteration 2 : 31 enodes (cost 8 ) 28.795 * * [simplify]: iteration 3 : 47 enodes (cost 8 ) 28.802 * * [simplify]: iteration 4 : 64 enodes (cost 8 ) 28.818 * * [simplify]: iteration 5 : 82 enodes (cost 8 ) 28.827 * * [simplify]: iteration 6 : 97 enodes (cost 8 ) 28.844 * * [simplify]: iteration 7 : 123 enodes (cost 8 ) 28.858 * * [simplify]: iteration 8 : 131 enodes (cost 8 ) 28.877 * * [simplify]: iteration 9 : 135 enodes (cost 8 ) 28.894 * * [simplify]: iteration 10 : 139 enodes (cost 8 ) 28.909 * * [simplify]: iteration done : 139 enodes (cost 8 ) 28.910 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 28.911 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 28.912 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 28.912 * * [simplify]: iteration done : 9 enodes (cost 6 ) 28.913 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 28.914 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 28.915 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 28.916 * * [simplify]: iteration done : 9 enodes (cost 6 ) 28.917 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 28.918 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 28.919 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 28.920 * * [simplify]: iteration done : 15 enodes (cost 6 ) 28.921 * * [simplify]: iteration 0 : 18 enodes (cost 25 ) 28.924 * * [simplify]: iteration 1 : 54 enodes (cost 25 ) 28.941 * * [simplify]: iteration 2 : 171 enodes (cost 23 ) 28.981 * * [simplify]: iteration 3 : 471 enodes (cost 21 ) 29.226 * * [simplify]: iteration 4 : 1358 enodes (cost 19 ) 31.091 * * [simplify]: iteration 5 : 4940 enodes (cost 17 ) 32.648 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 32.649 * * [simplify]: iteration 0 : 16 enodes (cost 21 ) 32.651 * * [simplify]: iteration 1 : 43 enodes (cost 21 ) 32.658 * * [simplify]: iteration 2 : 113 enodes (cost 21 ) 32.682 * * [simplify]: iteration 3 : 239 enodes (cost 19 ) 32.740 * * [simplify]: iteration 4 : 615 enodes (cost 17 ) 33.085 * * [simplify]: iteration 5 : 1894 enodes (cost 17 ) 35.327 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 35.327 * * [simplify]: iteration 0 : 16 enodes (cost 21 ) 35.330 * * [simplify]: iteration 1 : 44 enodes (cost 21 ) 35.337 * * [simplify]: iteration 2 : 119 enodes (cost 21 ) 35.362 * * [simplify]: iteration 3 : 286 enodes (cost 19 ) 35.448 * * [simplify]: iteration 4 : 836 enodes (cost 17 ) 36.031 * * [simplify]: iteration 5 : 2645 enodes (cost 17 ) 37.760 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 37.760 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 37.762 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 37.764 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 37.769 * * [simplify]: iteration 3 : 36 enodes (cost 9 ) 37.774 * * [simplify]: iteration 4 : 42 enodes (cost 9 ) 37.781 * * [simplify]: iteration 5 : 68 enodes (cost 9 ) 37.801 * * [simplify]: iteration 6 : 132 enodes (cost 9 ) 37.862 * * [simplify]: iteration 7 : 229 enodes (cost 9 ) 37.896 * * [simplify]: iteration 8 : 258 enodes (cost 9 ) 37.943 * * [simplify]: iteration 9 : 292 enodes (cost 9 ) 37.996 * * [simplify]: iteration 10 : 316 enodes (cost 9 ) 38.054 * * [simplify]: iteration 11 : 417 enodes (cost 9 ) 38.349 * * [simplify]: iteration 12 : 803 enodes (cost 9 ) 38.506 * * [simplify]: iteration 13 : 832 enodes (cost 9 ) 38.621 * * [simplify]: iteration done : 832 enodes (cost 9 ) 38.621 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 38.623 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 38.626 * * [simplify]: iteration 2 : 60 enodes (cost 13 ) 38.636 * * [simplify]: iteration 3 : 124 enodes (cost 11 ) 38.667 * * [simplify]: iteration 4 : 274 enodes (cost 11 ) 38.783 * * [simplify]: iteration 5 : 683 enodes (cost 11 ) 39.539 * * [simplify]: iteration 6 : 2275 enodes (cost 11 ) 41.954 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 41.954 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 41.956 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 41.960 * * [simplify]: iteration 2 : 62 enodes (cost 13 ) 41.969 * * [simplify]: iteration 3 : 139 enodes (cost 11 ) 42.006 * * [simplify]: iteration 4 : 388 enodes (cost 11 ) 42.289 * * [simplify]: iteration 5 : 1309 enodes (cost 11 ) 44.700 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 44.700 * [simplify]: Simplified to: (* y (sqrt x)) (+ (log y) (log (sqrt x))) (log (* y (sqrt x))) (exp (* y (sqrt x))) (* (* x (sqrt x)) (pow y 3)) (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))) (cbrt (* y (sqrt x))) (pow (* y (sqrt x)) 3) (sqrt (* y (sqrt x))) (sqrt (* y (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* y (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (* (fabs (cbrt x)) y) (* y (sqrt (sqrt x))) (* 1 y) (* y (sqrt (sqrt x))) y (* (cbrt y) (sqrt x)) (* (sqrt y) (sqrt x)) (* y (sqrt x)) (exp (+ (* y (sqrt x)) (- 1.0 x))) (exp (+ (- 1.0 x) (* y (sqrt x)))) (log (+ (- 1.0 x) (* y (sqrt x)))) (exp (+ (- 1.0 x) (* y (sqrt x)))) (* (cbrt (+ (- 1.0 x) (* y (sqrt x)))) (cbrt (+ (- 1.0 x) (* y (sqrt x))))) (cbrt (+ (- 1.0 x) (* y (sqrt x)))) (pow (+ (- 1.0 x) (* y (sqrt x))) 3) (sqrt (+ (- 1.0 x) (* y (sqrt x)))) (sqrt (+ (- 1.0 x) (* y (sqrt x)))) (+ (pow (- 1.0 x) 3) (pow (* y (sqrt x)) 3)) (- (* (* y y) x) (* (- 1.0 x) (- (* y (sqrt x)) (- 1.0 x)))) (- (* (- 1.0 x) (- 1.0 x)) (* x (* y y))) (- (- 1.0 x) (* y (sqrt x))) (- (* y (sqrt x)) x) (- (* y (sqrt x)) x) (- x (* y (sqrt x))) (* x (* y (+ NAN (* x (+ (* x (pow NAN 5)) (pow NAN 3)))))) (* y (+ (+ (/ (pow NAN 3) x) NAN) (/ (pow NAN 5) (pow x 2)))) (* y (+ (- (/ (pow NAN 5) (pow x 2)) (/ (pow NAN 3) x)) NAN)) (- (+ (* x (* NAN y)) 1.0) x) (- (* y (+ (/ (pow NAN 3) x) NAN)) x) (- (* y (- NAN (/ (pow NAN 3) x))) x) 44.700 * * * [progress]: adding candidates to table 44.761 * * [progress]: iteration 2 / 4 44.761 * * * [progress]: picking best candidate 44.775 * * * * [pick]: Picked # 44.775 * * * [progress]: localizing error 44.784 * * * [progress]: generating rewritten candidates 44.784 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 44.794 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 44.801 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 44.804 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 44.809 * * * [progress]: generating series expansions 44.809 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 44.809 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 44.809 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 44.809 * [taylor]: Taking taylor expansion of (sqrt x) in x 44.809 * [taylor]: Taking taylor expansion of x in x 44.809 * [taylor]: Taking taylor expansion of y in x 44.809 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 44.809 * [taylor]: Taking taylor expansion of (sqrt x) in y 44.809 * [taylor]: Taking taylor expansion of x in y 44.809 * [taylor]: Taking taylor expansion of y in y 44.809 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 44.809 * [taylor]: Taking taylor expansion of (sqrt x) in y 44.809 * [taylor]: Taking taylor expansion of x in y 44.809 * [taylor]: Taking taylor expansion of y in y 44.809 * [taylor]: Taking taylor expansion of 0 in x 44.809 * [taylor]: Taking taylor expansion of (sqrt x) in x 44.809 * [taylor]: Taking taylor expansion of x in x 44.809 * [taylor]: Taking taylor expansion of 0 in x 44.810 * [taylor]: Taking taylor expansion of 0 in x 44.810 * [taylor]: Taking taylor expansion of 0 in x 44.811 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 44.811 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 44.811 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 44.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x 44.811 * [taylor]: Taking taylor expansion of x in x 44.811 * [taylor]: Taking taylor expansion of (/ 1 y) in x 44.811 * [taylor]: Taking taylor expansion of y in x 44.811 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 44.811 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 44.811 * [taylor]: Taking taylor expansion of (/ 1 x) in y 44.811 * [taylor]: Taking taylor expansion of x in y 44.811 * [taylor]: Taking taylor expansion of (/ 1 y) in y 44.811 * [taylor]: Taking taylor expansion of y in y 44.811 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 44.811 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 44.811 * [taylor]: Taking taylor expansion of (/ 1 x) in y 44.811 * [taylor]: Taking taylor expansion of x in y 44.812 * [taylor]: Taking taylor expansion of (/ 1 y) in y 44.812 * [taylor]: Taking taylor expansion of y in y 44.812 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 44.812 * [taylor]: Taking taylor expansion of (/ 1 x) in x 44.812 * [taylor]: Taking taylor expansion of x in x 44.812 * [taylor]: Taking taylor expansion of 0 in x 44.812 * [taylor]: Taking taylor expansion of 0 in x 44.813 * [taylor]: Taking taylor expansion of 0 in x 44.813 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0 44.813 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x 44.813 * [taylor]: Taking taylor expansion of -1 in x 44.813 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 44.814 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 44.814 * [taylor]: Taking taylor expansion of (/ -1 x) in x 44.814 * [taylor]: Taking taylor expansion of -1 in x 44.814 * [taylor]: Taking taylor expansion of x in x 44.814 * [taylor]: Taking taylor expansion of y in x 44.814 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 44.814 * [taylor]: Taking taylor expansion of -1 in y 44.814 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 44.814 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 44.814 * [taylor]: Taking taylor expansion of (/ -1 x) in y 44.814 * [taylor]: Taking taylor expansion of -1 in y 44.814 * [taylor]: Taking taylor expansion of x in y 44.814 * [taylor]: Taking taylor expansion of y in y 44.814 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 44.814 * [taylor]: Taking taylor expansion of -1 in y 44.814 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 44.814 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 44.814 * [taylor]: Taking taylor expansion of (/ -1 x) in y 44.814 * [taylor]: Taking taylor expansion of -1 in y 44.814 * [taylor]: Taking taylor expansion of x in y 44.814 * [taylor]: Taking taylor expansion of y in y 44.814 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x 44.814 * [taylor]: Taking taylor expansion of -1 in x 44.814 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 44.814 * [taylor]: Taking taylor expansion of (/ -1 x) in x 44.814 * [taylor]: Taking taylor expansion of -1 in x 44.814 * [taylor]: Taking taylor expansion of x in x 44.815 * [taylor]: Taking taylor expansion of 0 in x 44.815 * [taylor]: Taking taylor expansion of 0 in x 44.816 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 44.816 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0 44.816 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x 44.816 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 44.816 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 44.816 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 44.816 * [taylor]: Taking taylor expansion of 1/4 in x 44.816 * [taylor]: Taking taylor expansion of (log x) in x 44.816 * [taylor]: Taking taylor expansion of x in x 44.817 * [taylor]: Taking taylor expansion of y in x 44.817 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 44.817 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 44.817 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 44.817 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 44.817 * [taylor]: Taking taylor expansion of 1/4 in y 44.817 * [taylor]: Taking taylor expansion of (log x) in y 44.817 * [taylor]: Taking taylor expansion of x in y 44.817 * [taylor]: Taking taylor expansion of y in y 44.817 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 44.817 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 44.817 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 44.817 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 44.817 * [taylor]: Taking taylor expansion of 1/4 in y 44.817 * [taylor]: Taking taylor expansion of (log x) in y 44.817 * [taylor]: Taking taylor expansion of x in y 44.817 * [taylor]: Taking taylor expansion of y in y 44.817 * [taylor]: Taking taylor expansion of 0 in x 44.817 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 44.817 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 44.817 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 44.817 * [taylor]: Taking taylor expansion of 1/4 in x 44.818 * [taylor]: Taking taylor expansion of (log x) in x 44.818 * [taylor]: Taking taylor expansion of x in x 44.818 * [taylor]: Taking taylor expansion of 0 in x 44.819 * [taylor]: Taking taylor expansion of 0 in x 44.820 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0 44.820 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x 44.820 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 44.820 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 44.820 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 44.820 * [taylor]: Taking taylor expansion of 1/4 in x 44.820 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 44.820 * [taylor]: Taking taylor expansion of (/ 1 x) in x 44.820 * [taylor]: Taking taylor expansion of x in x 44.820 * [taylor]: Taking taylor expansion of (/ 1 y) in x 44.820 * [taylor]: Taking taylor expansion of y in x 44.820 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 44.820 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 44.820 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 44.820 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 44.820 * [taylor]: Taking taylor expansion of 1/4 in y 44.820 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 44.820 * [taylor]: Taking taylor expansion of (/ 1 x) in y 44.820 * [taylor]: Taking taylor expansion of x in y 44.820 * [taylor]: Taking taylor expansion of (/ 1 y) in y 44.820 * [taylor]: Taking taylor expansion of y in y 44.820 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 44.820 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 44.820 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 44.820 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 44.820 * [taylor]: Taking taylor expansion of 1/4 in y 44.820 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 44.820 * [taylor]: Taking taylor expansion of (/ 1 x) in y 44.820 * [taylor]: Taking taylor expansion of x in y 44.820 * [taylor]: Taking taylor expansion of (/ 1 y) in y 44.821 * [taylor]: Taking taylor expansion of y in y 44.821 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 44.821 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 44.821 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 44.821 * [taylor]: Taking taylor expansion of 1/4 in x 44.821 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 44.821 * [taylor]: Taking taylor expansion of (/ 1 x) in x 44.821 * [taylor]: Taking taylor expansion of x in x 44.822 * [taylor]: Taking taylor expansion of 0 in x 44.823 * [taylor]: Taking taylor expansion of 0 in x 44.824 * [taylor]: Taking taylor expansion of 0 in x 44.824 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (y x) around 0 44.824 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 44.824 * [taylor]: Taking taylor expansion of -1 in x 44.825 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 44.825 * [taylor]: Taking taylor expansion of (/ 1 y) in x 44.825 * [taylor]: Taking taylor expansion of y in x 44.825 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 44.825 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 44.825 * [taylor]: Taking taylor expansion of (/ -1 x) in x 44.825 * [taylor]: Taking taylor expansion of -1 in x 44.825 * [taylor]: Taking taylor expansion of x in x 44.825 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 44.825 * [taylor]: Taking taylor expansion of -1 in y 44.825 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 44.825 * [taylor]: Taking taylor expansion of (/ 1 y) in y 44.825 * [taylor]: Taking taylor expansion of y in y 44.825 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 44.825 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 44.825 * [taylor]: Taking taylor expansion of (/ -1 x) in y 44.825 * [taylor]: Taking taylor expansion of -1 in y 44.825 * [taylor]: Taking taylor expansion of x in y 44.825 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 44.825 * [taylor]: Taking taylor expansion of -1 in y 44.825 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 44.825 * [taylor]: Taking taylor expansion of (/ 1 y) in y 44.825 * [taylor]: Taking taylor expansion of y in y 44.825 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 44.825 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 44.825 * [taylor]: Taking taylor expansion of (/ -1 x) in y 44.825 * [taylor]: Taking taylor expansion of -1 in y 44.825 * [taylor]: Taking taylor expansion of x in y 44.826 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 x)))) in x 44.826 * [taylor]: Taking taylor expansion of -1 in x 44.826 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 44.826 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 44.826 * [taylor]: Taking taylor expansion of (/ -1 x) in x 44.826 * [taylor]: Taking taylor expansion of -1 in x 44.826 * [taylor]: Taking taylor expansion of x in x 44.826 * [taylor]: Taking taylor expansion of 0 in x 44.827 * [taylor]: Taking taylor expansion of 0 in x 44.828 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 44.828 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 44.828 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 44.828 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 44.828 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 44.828 * [taylor]: Taking taylor expansion of 1/4 in x 44.828 * [taylor]: Taking taylor expansion of (log x) in x 44.828 * [taylor]: Taking taylor expansion of x in x 44.829 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 44.829 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 44.829 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 44.829 * [taylor]: Taking taylor expansion of 1/4 in x 44.829 * [taylor]: Taking taylor expansion of (log x) in x 44.829 * [taylor]: Taking taylor expansion of x in x 44.836 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 44.836 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 44.836 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 44.836 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 44.836 * [taylor]: Taking taylor expansion of 1/4 in x 44.836 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 44.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x 44.836 * [taylor]: Taking taylor expansion of x in x 44.836 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 44.836 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 44.836 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 44.836 * [taylor]: Taking taylor expansion of 1/4 in x 44.836 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 44.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x 44.836 * [taylor]: Taking taylor expansion of x in x 44.844 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0 44.844 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 44.844 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 44.844 * [taylor]: Taking taylor expansion of (/ -1 x) in x 44.844 * [taylor]: Taking taylor expansion of -1 in x 44.844 * [taylor]: Taking taylor expansion of x in x 44.844 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 44.844 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 44.844 * [taylor]: Taking taylor expansion of (/ -1 x) in x 44.844 * [taylor]: Taking taylor expansion of -1 in x 44.844 * [taylor]: Taking taylor expansion of x in x 44.846 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 44.846 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 44.846 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 44.846 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 44.846 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 44.846 * [taylor]: Taking taylor expansion of 1/4 in x 44.846 * [taylor]: Taking taylor expansion of (log x) in x 44.846 * [taylor]: Taking taylor expansion of x in x 44.846 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 44.846 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 44.846 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 44.846 * [taylor]: Taking taylor expansion of 1/4 in x 44.846 * [taylor]: Taking taylor expansion of (log x) in x 44.846 * [taylor]: Taking taylor expansion of x in x 44.853 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 44.853 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 44.853 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 44.853 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 44.853 * [taylor]: Taking taylor expansion of 1/4 in x 44.853 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 44.853 * [taylor]: Taking taylor expansion of (/ 1 x) in x 44.853 * [taylor]: Taking taylor expansion of x in x 44.853 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 44.853 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 44.853 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 44.853 * [taylor]: Taking taylor expansion of 1/4 in x 44.853 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 44.853 * [taylor]: Taking taylor expansion of (/ 1 x) in x 44.853 * [taylor]: Taking taylor expansion of x in x 44.861 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0 44.861 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 44.861 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 44.861 * [taylor]: Taking taylor expansion of (/ -1 x) in x 44.861 * [taylor]: Taking taylor expansion of -1 in x 44.861 * [taylor]: Taking taylor expansion of x in x 44.861 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 44.861 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 44.861 * [taylor]: Taking taylor expansion of (/ -1 x) in x 44.861 * [taylor]: Taking taylor expansion of -1 in x 44.861 * [taylor]: Taking taylor expansion of x in x 44.863 * * * [progress]: simplifying candidates 44.867 * [simplify]: Simplifying using # : (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))) (+ (+ (log y) (log (sqrt (sqrt x)))) (log (sqrt (sqrt x)))) (+ (log (* y (sqrt (sqrt x)))) (log (sqrt (sqrt x)))) (log (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (exp (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (* y y) y) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x)))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))))) (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (sqrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (sqrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (* (cbrt x) (cbrt x))))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt 1))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (sqrt 1)) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) 1) (* (sqrt (sqrt x)) (sqrt (sqrt x))) (* y (sqrt (sqrt x))) (+ (log y) (log (sqrt (sqrt x)))) (log (* y (sqrt (sqrt x)))) (exp (* y (sqrt (sqrt x)))) (* (* (* y y) y) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (cbrt (* y (sqrt (sqrt x)))) (cbrt (* y (sqrt (sqrt x))))) (cbrt (* y (sqrt (sqrt x)))) (* (* (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x)))) (sqrt (* y (sqrt (sqrt x)))) (sqrt (* y (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* y (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* y (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* y (sqrt (sqrt (* (cbrt x) (cbrt x))))) (* y (sqrt (sqrt (sqrt x)))) (* y (sqrt (sqrt 1))) (* y (sqrt (sqrt (sqrt x)))) (* y (sqrt 1)) (* y (sqrt (sqrt (sqrt x)))) (* y 1) (* (cbrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* y (sqrt (sqrt x))) (log (sqrt (sqrt x))) (exp (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt x))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (sqrt (cbrt (sqrt x))) (sqrt (sqrt (* (cbrt x) (cbrt x)))) (sqrt (sqrt (cbrt x))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt 1)) (sqrt (sqrt x)) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (sqrt 1) (sqrt (sqrt x)) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (log (sqrt (sqrt x))) (exp (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt x))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (sqrt (cbrt (sqrt x))) (sqrt (sqrt (* (cbrt x) (cbrt x)))) (sqrt (sqrt (cbrt x))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt 1)) (sqrt (sqrt x)) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (sqrt 1) (sqrt (sqrt x)) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (+ (* (pow x 3) (* (pow NAN 5) y)) (+ (* x (* NAN y)) (* (pow x 2) (* (pow NAN 3) y)))) (+ (* NAN y) (+ (/ (* (pow NAN 5) y) (pow x 2)) (/ (* (pow NAN 3) y) x))) (- (+ (* NAN y) (/ (* (pow NAN 5) y) (pow x 2))) (/ (* (pow NAN 3) y) x)) (* (exp (* 1/4 (+ (log 1) (log x)))) y) (* (exp (* 1/4 (- (log 1) (log (/ 1 x))))) y) (- (+ (* (sqrt NAN) y) (* 3/8 (* (/ y (pow x 2)) (sqrt (pow NAN 9))))) (* 1/2 (* (/ y x) (sqrt (pow NAN 5))))) (exp (* 1/4 (+ (log 1) (log x)))) (exp (* 1/4 (- (log 1) (log (/ 1 x))))) (- (+ (sqrt NAN) (* 3/8 (* (/ 1 (pow x 2)) (sqrt (pow NAN 9))))) (* 1/2 (* (/ 1 x) (sqrt (pow NAN 5))))) (exp (* 1/4 (+ (log 1) (log x)))) (exp (* 1/4 (- (log 1) (log (/ 1 x))))) (- (+ (sqrt NAN) (* 3/8 (* (/ 1 (pow x 2)) (sqrt (pow NAN 9))))) (* 1/2 (* (/ 1 x) (sqrt (pow NAN 5))))) 44.868 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 44.868 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 44.870 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 44.871 * * [simplify]: iteration 3 : 12 enodes (cost 4 ) 44.872 * * [simplify]: iteration done : 12 enodes (cost 4 ) 44.873 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 44.874 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 44.875 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 44.876 * * [simplify]: iteration 3 : 12 enodes (cost 4 ) 44.877 * * [simplify]: iteration done : 12 enodes (cost 4 ) 44.878 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 44.879 * * [simplify]: iteration 1 : 12 enodes (cost 12 ) 44.880 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 44.882 * * [simplify]: iteration 3 : 16 enodes (cost 9 ) 44.884 * * [simplify]: iteration done : 16 enodes (cost 9 ) 44.884 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 44.885 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 44.886 * * [simplify]: iteration 2 : 15 enodes (cost 11 ) 44.888 * * [simplify]: iteration 3 : 18 enodes (cost 9 ) 44.890 * * [simplify]: iteration 4 : 19 enodes (cost 9 ) 44.892 * * [simplify]: iteration done : 19 enodes (cost 9 ) 44.893 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 44.893 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 44.895 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 44.898 * * [simplify]: iteration 3 : 26 enodes (cost 5 ) 44.900 * * [simplify]: iteration 4 : 28 enodes (cost 5 ) 44.903 * * [simplify]: iteration 5 : 29 enodes (cost 5 ) 44.906 * * [simplify]: iteration done : 29 enodes (cost 5 ) 44.906 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 44.907 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 44.909 * * [simplify]: iteration 2 : 24 enodes (cost 5 ) 44.912 * * [simplify]: iteration 3 : 43 enodes (cost 5 ) 44.917 * * [simplify]: iteration 4 : 87 enodes (cost 5 ) 44.934 * * [simplify]: iteration 5 : 199 enodes (cost 5 ) 45.015 * * [simplify]: iteration 6 : 475 enodes (cost 5 ) 45.330 * * [simplify]: iteration 7 : 1316 enodes (cost 5 ) 46.800 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 46.801 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 46.802 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 46.810 * * [simplify]: iteration 2 : 80 enodes (cost 12 ) 46.839 * * [simplify]: iteration 3 : 219 enodes (cost 8 ) 46.958 * * [simplify]: iteration 4 : 437 enodes (cost 8 ) 47.367 * * [simplify]: iteration 5 : 1108 enodes (cost 8 ) 49.696 * * [simplify]: iteration 6 : 3733 enodes (cost 6 ) 51.670 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 51.671 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 51.672 * * [simplify]: iteration 1 : 26 enodes (cost 19 ) 51.678 * * [simplify]: iteration 2 : 92 enodes (cost 13 ) 51.720 * * [simplify]: iteration 3 : 269 enodes (cost 13 ) 51.898 * * [simplify]: iteration 4 : 449 enodes (cost 6 ) 52.324 * * [simplify]: iteration 5 : 1002 enodes (cost 6 ) 54.219 * * [simplify]: iteration 6 : 2977 enodes (cost 6 ) 56.495 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 56.495 * * [simplify]: iteration 0 : 8 enodes (cost 21 ) 56.496 * * [simplify]: iteration 1 : 12 enodes (cost 21 ) 56.498 * * [simplify]: iteration 2 : 13 enodes (cost 11 ) 56.499 * * [simplify]: iteration 3 : 14 enodes (cost 11 ) 56.501 * * [simplify]: iteration done : 14 enodes (cost 11 ) 56.501 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 56.502 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 56.503 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 56.505 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 56.506 * * [simplify]: iteration done : 13 enodes (cost 5 ) 56.507 * * [simplify]: iteration 0 : 8 enodes (cost 29 ) 56.509 * * [simplify]: iteration 1 : 21 enodes (cost 29 ) 56.514 * * [simplify]: iteration 2 : 77 enodes (cost 6 ) 56.547 * * [simplify]: iteration 3 : 214 enodes (cost 6 ) 56.682 * * [simplify]: iteration 4 : 352 enodes (cost 6 ) 56.898 * * [simplify]: iteration 5 : 516 enodes (cost 6 ) 57.441 * * [simplify]: iteration 6 : 1323 enodes (cost 6 ) 60.596 * * [simplify]: iteration 7 : 4345 enodes (cost 6 ) 62.629 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 62.629 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 62.630 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 62.631 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 62.633 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 62.634 * * [simplify]: iteration done : 13 enodes (cost 5 ) 62.635 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 62.635 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 62.637 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 62.638 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 62.639 * * [simplify]: iteration done : 13 enodes (cost 5 ) 62.640 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 62.641 * * [simplify]: iteration 1 : 14 enodes (cost 15 ) 62.643 * * [simplify]: iteration 2 : 27 enodes (cost 15 ) 62.647 * * [simplify]: iteration 3 : 37 enodes (cost 15 ) 62.653 * * [simplify]: iteration done : 37 enodes (cost 15 ) 62.654 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 62.655 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 62.657 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 62.659 * * [simplify]: iteration done : 20 enodes (cost 10 ) 62.660 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 62.661 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 62.662 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 62.664 * * [simplify]: iteration done : 21 enodes (cost 10 ) 62.665 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 62.666 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 62.667 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 62.669 * * [simplify]: iteration done : 17 enodes (cost 10 ) 62.670 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 62.671 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 62.673 * * [simplify]: iteration 2 : 21 enodes (cost 7 ) 62.675 * * [simplify]: iteration done : 21 enodes (cost 5 ) 62.676 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 62.677 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 62.678 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 62.684 * * [simplify]: iteration done : 17 enodes (cost 10 ) 62.685 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 62.686 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 62.687 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 62.690 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 62.692 * * [simplify]: iteration 4 : 27 enodes (cost 5 ) 62.693 * * [simplify]: iteration done : 27 enodes (cost 5 ) 62.694 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 62.695 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 62.696 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 62.698 * * [simplify]: iteration done : 17 enodes (cost 10 ) 62.699 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 62.699 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 62.701 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 62.704 * * [simplify]: iteration 3 : 31 enodes (cost 5 ) 62.706 * * [simplify]: iteration done : 31 enodes (cost 5 ) 62.707 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 62.707 * * [simplify]: iteration done : 4 enodes (cost 2 ) 62.708 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 62.708 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 62.709 * * [simplify]: iteration done : 6 enodes (cost 5 ) 62.710 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 62.710 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 62.711 * * [simplify]: iteration done : 8 enodes (cost 7 ) 62.712 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 62.712 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 62.713 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 62.714 * * [simplify]: iteration done : 11 enodes (cost 6 ) 62.715 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 62.715 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 62.716 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 62.718 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 62.721 * * [simplify]: iteration 4 : 46 enodes (cost 6 ) 62.728 * * [simplify]: iteration 5 : 102 enodes (cost 6 ) 62.765 * * [simplify]: iteration 6 : 243 enodes (cost 6 ) 62.913 * * [simplify]: iteration 7 : 706 enodes (cost 6 ) 63.992 * * [simplify]: iteration 8 : 2720 enodes (cost 6 ) 65.850 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 65.851 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 65.852 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 65.854 * * [simplify]: iteration 2 : 42 enodes (cost 9 ) 65.862 * * [simplify]: iteration 3 : 79 enodes (cost 9 ) 65.887 * * [simplify]: iteration 4 : 134 enodes (cost 7 ) 65.941 * * [simplify]: iteration 5 : 261 enodes (cost 7 ) 66.089 * * [simplify]: iteration 6 : 668 enodes (cost 7 ) 67.117 * * [simplify]: iteration 7 : 2500 enodes (cost 7 ) 68.834 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 68.835 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 68.835 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 68.836 * * [simplify]: iteration done : 8 enodes (cost 13 ) 68.837 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 68.837 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 68.838 * * [simplify]: iteration done : 7 enodes (cost 6 ) 68.838 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 68.839 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 68.843 * * [simplify]: iteration 2 : 47 enodes (cost 7 ) 68.855 * * [simplify]: iteration 3 : 90 enodes (cost 7 ) 68.883 * * [simplify]: iteration 4 : 106 enodes (cost 7 ) 68.911 * * [simplify]: iteration 5 : 152 enodes (cost 7 ) 68.972 * * [simplify]: iteration 6 : 289 enodes (cost 7 ) 69.146 * * [simplify]: iteration 7 : 748 enodes (cost 7 ) 70.233 * * [simplify]: iteration 8 : 2723 enodes (cost 7 ) 72.057 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 72.058 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 72.059 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 72.059 * * [simplify]: iteration done : 7 enodes (cost 6 ) 72.060 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 72.061 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 72.061 * * [simplify]: iteration done : 7 enodes (cost 6 ) 72.062 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 72.063 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 72.063 * * [simplify]: iteration done : 8 enodes (cost 7 ) 72.064 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 72.065 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 72.065 * * [simplify]: iteration done : 8 enodes (cost 7 ) 72.066 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 72.067 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 72.067 * * [simplify]: iteration done : 8 enodes (cost 7 ) 72.068 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 72.068 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 72.069 * * [simplify]: iteration done : 8 enodes (cost 7 ) 72.070 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 72.070 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 72.071 * * [simplify]: iteration done : 8 enodes (cost 7 ) 72.072 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 72.072 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 72.073 * * [simplify]: iteration done : 8 enodes (cost 7 ) 72.074 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 72.074 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 72.075 * * [simplify]: iteration 2 : 12 enodes (cost 11 ) 72.077 * * [simplify]: iteration done : 12 enodes (cost 11 ) 72.077 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 72.078 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 72.079 * * [simplify]: iteration done : 9 enodes (cost 6 ) 72.080 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 72.081 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 72.082 * * [simplify]: iteration done : 9 enodes (cost 6 ) 72.082 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 72.083 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 72.084 * * [simplify]: iteration done : 7 enodes (cost 6 ) 72.084 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 72.085 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 72.085 * * [simplify]: iteration done : 8 enodes (cost 3 ) 72.086 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 72.086 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 72.087 * * [simplify]: iteration done : 7 enodes (cost 6 ) 72.088 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 72.088 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 72.089 * * [simplify]: iteration done : 7 enodes (cost 3 ) 72.089 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 72.090 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 72.090 * * [simplify]: iteration done : 7 enodes (cost 6 ) 72.091 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 72.091 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 72.092 * * [simplify]: iteration done : 6 enodes (cost 1 ) 72.092 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 72.098 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 72.098 * * [simplify]: iteration done : 7 enodes (cost 6 ) 72.099 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 72.100 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 72.100 * * [simplify]: iteration done : 7 enodes (cost 6 ) 72.101 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 72.101 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 72.102 * * [simplify]: iteration done : 6 enodes (cost 5 ) 72.103 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 72.103 * * [simplify]: iteration done : 4 enodes (cost 4 ) 72.103 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 72.104 * * [simplify]: iteration done : 4 enodes (cost 4 ) 72.104 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 72.105 * * [simplify]: iteration done : 5 enodes (cost 9 ) 72.105 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 72.106 * * [simplify]: iteration done : 4 enodes (cost 4 ) 72.106 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 72.107 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 72.108 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 72.109 * * [simplify]: iteration 3 : 14 enodes (cost 5 ) 72.110 * * [simplify]: iteration 4 : 20 enodes (cost 5 ) 72.112 * * [simplify]: iteration 5 : 30 enodes (cost 5 ) 72.116 * * [simplify]: iteration 6 : 51 enodes (cost 5 ) 72.125 * * [simplify]: iteration 7 : 114 enodes (cost 5 ) 72.172 * * [simplify]: iteration 8 : 325 enodes (cost 5 ) 72.637 * * [simplify]: iteration 9 : 1252 enodes (cost 5 ) 75.045 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 75.045 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 75.046 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 75.046 * * [simplify]: iteration done : 6 enodes (cost 4 ) 75.047 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 75.047 * * [simplify]: iteration done : 4 enodes (cost 4 ) 75.048 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 75.048 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 75.049 * * [simplify]: iteration done : 6 enodes (cost 4 ) 75.049 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 75.050 * * [simplify]: iteration done : 4 enodes (cost 4 ) 75.050 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 75.051 * * [simplify]: iteration done : 4 enodes (cost 4 ) 75.051 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 75.051 * * [simplify]: iteration done : 4 enodes (cost 4 ) 75.052 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 75.052 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 75.053 * * [simplify]: iteration done : 5 enodes (cost 1 ) 75.053 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 75.053 * * [simplify]: iteration done : 3 enodes (cost 3 ) 75.054 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 75.054 * * [simplify]: iteration done : 4 enodes (cost 4 ) 75.055 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 75.055 * * [simplify]: iteration done : 4 enodes (cost 4 ) 75.056 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 75.056 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 75.056 * * [simplify]: iteration done : 4 enodes (cost 1 ) 75.057 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 75.057 * * [simplify]: iteration done : 3 enodes (cost 3 ) 75.058 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 75.058 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 75.058 * * [simplify]: iteration done : 4 enodes (cost 1 ) 75.059 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 75.059 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 75.059 * * [simplify]: iteration done : 6 enodes (cost 1 ) 75.060 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 75.061 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 75.061 * * [simplify]: iteration 2 : 11 enodes (cost 1 ) 75.062 * * [simplify]: iteration done : 11 enodes (cost 1 ) 75.062 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 75.063 * * [simplify]: iteration done : 4 enodes (cost 4 ) 75.063 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 75.063 * * [simplify]: iteration done : 4 enodes (cost 4 ) 75.064 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 75.064 * * [simplify]: iteration done : 4 enodes (cost 4 ) 75.065 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 75.065 * * [simplify]: iteration done : 4 enodes (cost 4 ) 75.066 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 75.066 * * [simplify]: iteration done : 5 enodes (cost 9 ) 75.067 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 75.068 * * [simplify]: iteration done : 4 enodes (cost 4 ) 75.068 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 75.069 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 75.069 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 75.070 * * [simplify]: iteration 3 : 14 enodes (cost 5 ) 75.079 * * [simplify]: iteration 4 : 20 enodes (cost 5 ) 75.081 * * [simplify]: iteration 5 : 30 enodes (cost 5 ) 75.084 * * [simplify]: iteration 6 : 51 enodes (cost 5 ) 75.093 * * [simplify]: iteration 7 : 114 enodes (cost 5 ) 75.140 * * [simplify]: iteration 8 : 325 enodes (cost 5 ) 75.611 * * [simplify]: iteration 9 : 1252 enodes (cost 5 ) 78.022 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 78.023 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 78.024 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 78.024 * * [simplify]: iteration done : 6 enodes (cost 4 ) 78.025 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 78.025 * * [simplify]: iteration done : 4 enodes (cost 4 ) 78.026 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 78.027 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 78.027 * * [simplify]: iteration done : 6 enodes (cost 4 ) 78.028 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 78.028 * * [simplify]: iteration done : 4 enodes (cost 4 ) 78.029 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 78.029 * * [simplify]: iteration done : 4 enodes (cost 4 ) 78.030 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 78.030 * * [simplify]: iteration done : 4 enodes (cost 4 ) 78.031 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 78.031 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 78.031 * * [simplify]: iteration done : 5 enodes (cost 1 ) 78.032 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 78.032 * * [simplify]: iteration done : 3 enodes (cost 3 ) 78.033 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 78.033 * * [simplify]: iteration done : 4 enodes (cost 4 ) 78.034 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 78.034 * * [simplify]: iteration done : 4 enodes (cost 4 ) 78.034 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 78.035 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 78.035 * * [simplify]: iteration done : 4 enodes (cost 1 ) 78.035 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 78.036 * * [simplify]: iteration done : 3 enodes (cost 3 ) 78.036 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 78.036 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 78.037 * * [simplify]: iteration done : 4 enodes (cost 1 ) 78.037 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 78.038 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 78.038 * * [simplify]: iteration done : 6 enodes (cost 1 ) 78.038 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 78.039 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 78.040 * * [simplify]: iteration 2 : 11 enodes (cost 1 ) 78.040 * * [simplify]: iteration done : 11 enodes (cost 1 ) 78.041 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 78.041 * * [simplify]: iteration done : 4 enodes (cost 4 ) 78.042 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 78.042 * * [simplify]: iteration done : 4 enodes (cost 4 ) 78.043 * * [simplify]: iteration 0 : 18 enodes (cost 25 ) 78.045 * * [simplify]: iteration 1 : 54 enodes (cost 25 ) 78.065 * * [simplify]: iteration 2 : 171 enodes (cost 23 ) 78.105 * * [simplify]: iteration 3 : 471 enodes (cost 21 ) 78.349 * * [simplify]: iteration 4 : 1358 enodes (cost 19 ) 80.194 * * [simplify]: iteration 5 : 4940 enodes (cost 17 ) 82.013 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 82.014 * * [simplify]: iteration 0 : 16 enodes (cost 21 ) 82.016 * * [simplify]: iteration 1 : 43 enodes (cost 21 ) 82.023 * * [simplify]: iteration 2 : 113 enodes (cost 21 ) 82.046 * * [simplify]: iteration 3 : 239 enodes (cost 19 ) 82.105 * * [simplify]: iteration 4 : 615 enodes (cost 17 ) 82.451 * * [simplify]: iteration 5 : 1894 enodes (cost 17 ) 84.716 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 84.717 * * [simplify]: iteration 0 : 16 enodes (cost 21 ) 84.719 * * [simplify]: iteration 1 : 44 enodes (cost 21 ) 84.727 * * [simplify]: iteration 2 : 119 enodes (cost 21 ) 84.750 * * [simplify]: iteration 3 : 286 enodes (cost 19 ) 84.838 * * [simplify]: iteration 4 : 836 enodes (cost 17 ) 85.421 * * [simplify]: iteration 5 : 2645 enodes (cost 17 ) 86.938 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 86.938 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 86.940 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 86.943 * * [simplify]: iteration 2 : 31 enodes (cost 7 ) 86.946 * * [simplify]: iteration 3 : 59 enodes (cost 5 ) 86.956 * * [simplify]: iteration 4 : 126 enodes (cost 5 ) 86.992 * * [simplify]: iteration 5 : 271 enodes (cost 5 ) 87.120 * * [simplify]: iteration 6 : 644 enodes (cost 5 ) 87.661 * * [simplify]: iteration 7 : 1697 enodes (cost 5 ) 89.425 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 89.426 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 89.427 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 89.430 * * [simplify]: iteration 2 : 38 enodes (cost 7 ) 89.436 * * [simplify]: iteration 3 : 78 enodes (cost 5 ) 89.445 * * [simplify]: iteration 4 : 147 enodes (cost 5 ) 89.491 * * [simplify]: iteration 5 : 348 enodes (cost 5 ) 89.669 * * [simplify]: iteration 6 : 813 enodes (cost 5 ) 90.772 * * [simplify]: iteration 7 : 2584 enodes (cost 5 ) 91.941 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 91.942 * * [simplify]: iteration 0 : 23 enodes (cost 28 ) 91.945 * * [simplify]: iteration 1 : 54 enodes (cost 28 ) 91.959 * * [simplify]: iteration 2 : 134 enodes (cost 28 ) 91.980 * * [simplify]: iteration 3 : 276 enodes (cost 28 ) 92.051 * * [simplify]: iteration 4 : 495 enodes (cost 24 ) 92.188 * * [simplify]: iteration 5 : 809 enodes (cost 24 ) 92.484 * * [simplify]: iteration 6 : 1437 enodes (cost 24 ) 93.946 * * [simplify]: iteration 7 : 3915 enodes (cost 24 ) 95.671 * * [simplify]: iteration done : 5000 enodes (cost 24 ) 95.671 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 95.672 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 95.675 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 95.678 * * [simplify]: iteration 3 : 49 enodes (cost 3 ) 95.684 * * [simplify]: iteration 4 : 86 enodes (cost 3 ) 95.704 * * [simplify]: iteration 5 : 170 enodes (cost 3 ) 95.757 * * [simplify]: iteration 6 : 350 enodes (cost 3 ) 95.943 * * [simplify]: iteration 7 : 888 enodes (cost 3 ) 97.341 * * [simplify]: iteration 8 : 3029 enodes (cost 3 ) 99.564 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 99.565 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 99.566 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 99.568 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 99.574 * * [simplify]: iteration 3 : 71 enodes (cost 3 ) 99.582 * * [simplify]: iteration 4 : 125 enodes (cost 3 ) 99.615 * * [simplify]: iteration 5 : 263 enodes (cost 3 ) 99.724 * * [simplify]: iteration 6 : 562 enodes (cost 3 ) 100.225 * * [simplify]: iteration 7 : 1633 enodes (cost 3 ) 101.914 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 101.915 * * [simplify]: iteration 0 : 22 enodes (cost 26 ) 101.918 * * [simplify]: iteration 1 : 53 enodes (cost 26 ) 101.927 * * [simplify]: iteration 2 : 129 enodes (cost 22 ) 101.958 * * [simplify]: iteration 3 : 349 enodes (cost 22 ) 102.359 * * [simplify]: iteration 4 : 848 enodes (cost 22 ) 103.008 * * [simplify]: iteration 5 : 2118 enodes (cost 20 ) 105.060 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 105.060 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 105.062 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 105.064 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 105.075 * * [simplify]: iteration 3 : 49 enodes (cost 3 ) 105.081 * * [simplify]: iteration 4 : 86 enodes (cost 3 ) 105.096 * * [simplify]: iteration 5 : 170 enodes (cost 3 ) 105.149 * * [simplify]: iteration 6 : 350 enodes (cost 3 ) 105.341 * * [simplify]: iteration 7 : 888 enodes (cost 3 ) 106.735 * * [simplify]: iteration 8 : 3029 enodes (cost 3 ) 108.956 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 108.957 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 108.958 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 108.961 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 108.965 * * [simplify]: iteration 3 : 71 enodes (cost 3 ) 108.979 * * [simplify]: iteration 4 : 125 enodes (cost 3 ) 109.006 * * [simplify]: iteration 5 : 263 enodes (cost 3 ) 109.114 * * [simplify]: iteration 6 : 562 enodes (cost 3 ) 109.615 * * [simplify]: iteration 7 : 1633 enodes (cost 3 ) 111.323 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 111.324 * * [simplify]: iteration 0 : 22 enodes (cost 26 ) 111.327 * * [simplify]: iteration 1 : 53 enodes (cost 26 ) 111.336 * * [simplify]: iteration 2 : 129 enodes (cost 22 ) 111.371 * * [simplify]: iteration 3 : 349 enodes (cost 22 ) 111.570 * * [simplify]: iteration 4 : 848 enodes (cost 22 ) 112.214 * * [simplify]: iteration 5 : 2118 enodes (cost 20 ) 114.280 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 114.281 * [simplify]: Simplified to: (* y (sqrt x)) (* y (sqrt x)) (+ (* 2 (log (sqrt (sqrt x)))) (log y)) (+ (log y) (* 2 (log (sqrt (sqrt x))))) (log (* (sqrt x) y)) (exp (* (sqrt x) y)) (pow (* y (sqrt x)) 3) (pow (* y (sqrt x)) 3) (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))) (cbrt (* (sqrt x) y)) (pow (* y (sqrt x)) 3) (sqrt (* (sqrt x) y)) (sqrt (* (sqrt x) y)) (* (* y (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* (fabs (cbrt (sqrt x))) (* y (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (sqrt (fabs (cbrt x)))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* y (sqrt (sqrt x))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* y (sqrt (sqrt x))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* y (sqrt (sqrt x))) (sqrt x) (* y (sqrt (sqrt x))) (+ (log y) (log (sqrt (sqrt x)))) (log (* y (sqrt (sqrt x)))) (exp (* y (sqrt (sqrt x)))) (pow (* y (sqrt (sqrt x))) 3) (* (cbrt (* y (sqrt (sqrt x)))) (cbrt (* y (sqrt (sqrt x))))) (cbrt (* y (sqrt (sqrt x)))) (pow (* y (sqrt (sqrt x))) 3) (sqrt (* y (sqrt (sqrt x)))) (sqrt (* y (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* y (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* (fabs (cbrt (sqrt x))) y) (* (sqrt (fabs (cbrt x))) y) (* y (sqrt (sqrt (sqrt x)))) (* y 1) (* y (sqrt (sqrt (sqrt x)))) (* 1 y) (* y (sqrt (sqrt (sqrt x)))) y (* (cbrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* y (sqrt (sqrt x))) (log (sqrt (sqrt x))) (exp (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt x))) (pow (sqrt (sqrt x)) 3) (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) 1 (sqrt (sqrt x)) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) 1 (sqrt (sqrt x)) 1/4 1/2 1/4 (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (log (sqrt (sqrt x))) (exp (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt x))) (pow (sqrt (sqrt x)) 3) (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) 1 (sqrt (sqrt x)) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) 1 (sqrt (sqrt x)) 1/4 1/2 1/4 (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (* x (* y (+ NAN (* x (+ (* x (pow NAN 5)) (pow NAN 3)))))) (* y (+ (+ (/ (pow NAN 3) x) NAN) (/ (pow NAN 5) (pow x 2)))) (* y (+ (- (/ (pow NAN 5) (pow x 2)) (/ (pow NAN 3) x)) NAN)) (* y (pow x 1/4)) (* y (pow x 1/4)) (+ (* (sqrt NAN) y) (* (/ y x) (+ (* (/ (sqrt (pow NAN 9)) x) 3/8) (* -1/2 (sqrt (pow NAN 5)))))) (pow x 1/4) (pow x 1/4) (+ (/ (+ (* (/ (sqrt (pow NAN 9)) x) 3/8) (* -1/2 (sqrt (pow NAN 5)))) x) (sqrt NAN)) (pow x 1/4) (pow x 1/4) (+ (/ (+ (* (/ (sqrt (pow NAN 9)) x) 3/8) (* -1/2 (sqrt (pow NAN 5)))) x) (sqrt NAN)) 114.282 * * * [progress]: adding candidates to table 114.369 * * [progress]: iteration 3 / 4 114.369 * * * [progress]: picking best candidate 114.382 * * * * [pick]: Picked # 114.382 * * * [progress]: localizing error 114.396 * * * [progress]: generating rewritten candidates 114.396 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1) 114.398 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1) 114.400 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 114.416 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 114.427 * * * [progress]: generating series expansions 114.427 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1) 114.427 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0 114.427 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 114.427 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 114.427 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 114.428 * [taylor]: Taking taylor expansion of 1/6 in x 114.428 * [taylor]: Taking taylor expansion of (log x) in x 114.428 * [taylor]: Taking taylor expansion of x in x 114.428 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 114.428 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 114.428 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 114.428 * [taylor]: Taking taylor expansion of 1/6 in x 114.428 * [taylor]: Taking taylor expansion of (log x) in x 114.428 * [taylor]: Taking taylor expansion of x in x 114.435 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0 114.435 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 114.435 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 114.435 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 114.435 * [taylor]: Taking taylor expansion of 1/6 in x 114.435 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 114.435 * [taylor]: Taking taylor expansion of (/ 1 x) in x 114.435 * [taylor]: Taking taylor expansion of x in x 114.435 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 114.435 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 114.435 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 114.435 * [taylor]: Taking taylor expansion of 1/6 in x 114.435 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 114.435 * [taylor]: Taking taylor expansion of (/ 1 x) in x 114.435 * [taylor]: Taking taylor expansion of x in x 114.443 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0 114.443 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 114.443 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 114.443 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 114.443 * [taylor]: Taking taylor expansion of 1/3 in x 114.443 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 114.443 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 114.443 * [taylor]: Taking taylor expansion of (/ -1 x) in x 114.443 * [taylor]: Taking taylor expansion of -1 in x 114.443 * [taylor]: Taking taylor expansion of x in x 114.443 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 114.443 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 114.443 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 114.443 * [taylor]: Taking taylor expansion of 1/3 in x 114.443 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 114.443 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 114.443 * [taylor]: Taking taylor expansion of (/ -1 x) in x 114.443 * [taylor]: Taking taylor expansion of -1 in x 114.443 * [taylor]: Taking taylor expansion of x in x 114.446 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1) 114.446 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0 114.446 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 114.446 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 114.446 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 114.446 * [taylor]: Taking taylor expansion of 1/6 in x 114.446 * [taylor]: Taking taylor expansion of (log x) in x 114.446 * [taylor]: Taking taylor expansion of x in x 114.446 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 114.446 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 114.446 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 114.446 * [taylor]: Taking taylor expansion of 1/6 in x 114.446 * [taylor]: Taking taylor expansion of (log x) in x 114.446 * [taylor]: Taking taylor expansion of x in x 114.453 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0 114.453 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 114.453 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 114.453 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 114.453 * [taylor]: Taking taylor expansion of 1/6 in x 114.453 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 114.453 * [taylor]: Taking taylor expansion of (/ 1 x) in x 114.453 * [taylor]: Taking taylor expansion of x in x 114.454 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 114.454 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 114.454 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 114.454 * [taylor]: Taking taylor expansion of 1/6 in x 114.454 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 114.454 * [taylor]: Taking taylor expansion of (/ 1 x) in x 114.454 * [taylor]: Taking taylor expansion of x in x 114.462 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0 114.462 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 114.462 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 114.462 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 114.462 * [taylor]: Taking taylor expansion of 1/3 in x 114.462 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 114.462 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 114.462 * [taylor]: Taking taylor expansion of (/ -1 x) in x 114.462 * [taylor]: Taking taylor expansion of -1 in x 114.462 * [taylor]: Taking taylor expansion of x in x 114.463 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 114.463 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 114.463 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 114.463 * [taylor]: Taking taylor expansion of 1/3 in x 114.463 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 114.463 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 114.463 * [taylor]: Taking taylor expansion of (/ -1 x) in x 114.463 * [taylor]: Taking taylor expansion of -1 in x 114.463 * [taylor]: Taking taylor expansion of x in x 114.465 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 114.465 * [approximate]: Taking taylor expansion of (* (pow x 1/3) (* y (fabs (pow x 1/6)))) in (y x) around 0 114.465 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (* y (fabs (pow x 1/6)))) in x 114.465 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 114.465 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 114.465 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 114.465 * [taylor]: Taking taylor expansion of 1/3 in x 114.465 * [taylor]: Taking taylor expansion of (log x) in x 114.465 * [taylor]: Taking taylor expansion of x in x 114.465 * [taylor]: Taking taylor expansion of (* y (fabs (pow x 1/6))) in x 114.465 * [taylor]: Taking taylor expansion of y in x 114.466 * [taylor]: Taking taylor expansion of (fabs (pow x 1/6)) in x 114.467 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (* y (fabs (pow x 1/6)))) in y 114.467 * [taylor]: Taking taylor expansion of (pow x 1/3) in y 114.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in y 114.467 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in y 114.467 * [taylor]: Taking taylor expansion of 1/3 in y 114.467 * [taylor]: Taking taylor expansion of (log x) in y 114.467 * [taylor]: Taking taylor expansion of x in y 114.467 * [taylor]: Taking taylor expansion of (* y (fabs (pow x 1/6))) in y 114.467 * [taylor]: Taking taylor expansion of y in y 114.467 * [taylor]: Taking taylor expansion of (fabs (pow x 1/6)) in y 114.467 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (* y (fabs (pow x 1/6)))) in y 114.467 * [taylor]: Taking taylor expansion of (pow x 1/3) in y 114.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in y 114.467 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in y 114.467 * [taylor]: Taking taylor expansion of 1/3 in y 114.467 * [taylor]: Taking taylor expansion of (log x) in y 114.467 * [taylor]: Taking taylor expansion of x in y 114.467 * [taylor]: Taking taylor expansion of (* y (fabs (pow x 1/6))) in y 114.467 * [taylor]: Taking taylor expansion of y in y 114.467 * [taylor]: Taking taylor expansion of (fabs (pow x 1/6)) in y 114.468 * [taylor]: Taking taylor expansion of 0 in x 114.468 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (fabs (pow x 1/6))) in x 114.468 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 114.468 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 114.468 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 114.468 * [taylor]: Taking taylor expansion of 1/3 in x 114.468 * [taylor]: Taking taylor expansion of (log x) in x 114.468 * [taylor]: Taking taylor expansion of x in x 114.468 * [taylor]: Taking taylor expansion of (fabs (pow x 1/6)) in x 114.469 * [taylor]: Taking taylor expansion of 0 in x 114.471 * [taylor]: Taking taylor expansion of 0 in x 114.471 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ (fabs (pow (/ 1 x) 1/6)) y)) in (y x) around 0 114.471 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ (fabs (pow (/ 1 x) 1/6)) y)) in x 114.471 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 114.471 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 114.471 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 114.471 * [taylor]: Taking taylor expansion of 1/3 in x 114.471 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 114.471 * [taylor]: Taking taylor expansion of (/ 1 x) in x 114.471 * [taylor]: Taking taylor expansion of x in x 114.471 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 x) 1/6)) y) in x 114.471 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/6)) in x 114.472 * [taylor]: Taking taylor expansion of y in x 114.472 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ (fabs (pow (/ 1 x) 1/6)) y)) in y 114.472 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y 114.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y 114.472 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y 114.472 * [taylor]: Taking taylor expansion of 1/3 in y 114.472 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 114.472 * [taylor]: Taking taylor expansion of (/ 1 x) in y 114.472 * [taylor]: Taking taylor expansion of x in y 114.472 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 x) 1/6)) y) in y 114.472 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/6)) in y 114.472 * [taylor]: Taking taylor expansion of y in y 114.472 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ (fabs (pow (/ 1 x) 1/6)) y)) in y 114.472 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y 114.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y 114.472 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y 114.472 * [taylor]: Taking taylor expansion of 1/3 in y 114.472 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 114.472 * [taylor]: Taking taylor expansion of (/ 1 x) in y 114.472 * [taylor]: Taking taylor expansion of x in y 114.472 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 x) 1/6)) y) in y 114.472 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/6)) in y 114.473 * [taylor]: Taking taylor expansion of y in y 114.473 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (fabs (pow (/ 1 x) 1/6))) in x 114.473 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 114.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 114.473 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 114.473 * [taylor]: Taking taylor expansion of 1/3 in x 114.473 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 114.473 * [taylor]: Taking taylor expansion of (/ 1 x) in x 114.473 * [taylor]: Taking taylor expansion of x in x 114.473 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/6)) in x 114.474 * [taylor]: Taking taylor expansion of 0 in x 114.475 * [taylor]: Taking taylor expansion of 0 in x 114.477 * [taylor]: Taking taylor expansion of 0 in x 114.478 * [approximate]: Taking taylor expansion of (* -1 (* (/ (fabs (pow (sqrt (/ -1 x)) 1/3)) y) (pow (pow (sqrt (/ -1 x)) 2) 1/3))) in (y x) around 0 114.478 * [taylor]: Taking taylor expansion of (* -1 (* (/ (fabs (pow (sqrt (/ -1 x)) 1/3)) y) (pow (pow (sqrt (/ -1 x)) 2) 1/3))) in x 114.478 * [taylor]: Taking taylor expansion of -1 in x 114.478 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (sqrt (/ -1 x)) 1/3)) y) (pow (pow (sqrt (/ -1 x)) 2) 1/3)) in x 114.478 * [taylor]: Taking taylor expansion of (/ (fabs (pow (sqrt (/ -1 x)) 1/3)) y) in x 114.478 * [taylor]: Taking taylor expansion of (fabs (pow (sqrt (/ -1 x)) 1/3)) in x 114.478 * [taylor]: Taking taylor expansion of y in x 114.478 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 2) 1/3) in x 114.478 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt (/ -1 x)) 2)))) in x 114.478 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt (/ -1 x)) 2))) in x 114.478 * [taylor]: Taking taylor expansion of 1/3 in x 114.478 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 2)) in x 114.478 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 114.478 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 114.478 * [taylor]: Taking taylor expansion of (/ -1 x) in x 114.478 * [taylor]: Taking taylor expansion of -1 in x 114.478 * [taylor]: Taking taylor expansion of x in x 114.479 * [taylor]: Taking taylor expansion of (* -1 (* (/ (fabs (pow (sqrt (/ -1 x)) 1/3)) y) (pow (pow (sqrt (/ -1 x)) 2) 1/3))) in y 114.479 * [taylor]: Taking taylor expansion of -1 in y 114.479 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (sqrt (/ -1 x)) 1/3)) y) (pow (pow (sqrt (/ -1 x)) 2) 1/3)) in y 114.479 * [taylor]: Taking taylor expansion of (/ (fabs (pow (sqrt (/ -1 x)) 1/3)) y) in y 114.479 * [taylor]: Taking taylor expansion of (fabs (pow (sqrt (/ -1 x)) 1/3)) in y 114.479 * [taylor]: Taking taylor expansion of y in y 114.479 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 2) 1/3) in y 114.479 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt (/ -1 x)) 2)))) in y 114.479 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt (/ -1 x)) 2))) in y 114.479 * [taylor]: Taking taylor expansion of 1/3 in y 114.479 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 2)) in y 114.479 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in y 114.479 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 114.479 * [taylor]: Taking taylor expansion of (/ -1 x) in y 114.479 * [taylor]: Taking taylor expansion of -1 in y 114.479 * [taylor]: Taking taylor expansion of x in y 114.480 * [taylor]: Taking taylor expansion of (* -1 (* (/ (fabs (pow (sqrt (/ -1 x)) 1/3)) y) (pow (pow (sqrt (/ -1 x)) 2) 1/3))) in y 114.480 * [taylor]: Taking taylor expansion of -1 in y 114.480 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (sqrt (/ -1 x)) 1/3)) y) (pow (pow (sqrt (/ -1 x)) 2) 1/3)) in y 114.480 * [taylor]: Taking taylor expansion of (/ (fabs (pow (sqrt (/ -1 x)) 1/3)) y) in y 114.480 * [taylor]: Taking taylor expansion of (fabs (pow (sqrt (/ -1 x)) 1/3)) in y 114.480 * [taylor]: Taking taylor expansion of y in y 114.480 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 2) 1/3) in y 114.480 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt (/ -1 x)) 2)))) in y 114.480 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt (/ -1 x)) 2))) in y 114.480 * [taylor]: Taking taylor expansion of 1/3 in y 114.480 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 2)) in y 114.480 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in y 114.480 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 114.480 * [taylor]: Taking taylor expansion of (/ -1 x) in y 114.480 * [taylor]: Taking taylor expansion of -1 in y 114.480 * [taylor]: Taking taylor expansion of x in y 114.481 * [taylor]: Taking taylor expansion of (* -1 (* (fabs (pow (sqrt (/ -1 x)) 1/3)) (pow (pow (sqrt (/ -1 x)) 2) 1/3))) in x 114.481 * [taylor]: Taking taylor expansion of -1 in x 114.481 * [taylor]: Taking taylor expansion of (* (fabs (pow (sqrt (/ -1 x)) 1/3)) (pow (pow (sqrt (/ -1 x)) 2) 1/3)) in x 114.481 * [taylor]: Taking taylor expansion of (fabs (pow (sqrt (/ -1 x)) 1/3)) in x 114.481 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 2) 1/3) in x 114.481 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt (/ -1 x)) 2)))) in x 114.481 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt (/ -1 x)) 2))) in x 114.481 * [taylor]: Taking taylor expansion of 1/3 in x 114.481 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 2)) in x 114.481 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 114.481 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 114.481 * [taylor]: Taking taylor expansion of (/ -1 x) in x 114.481 * [taylor]: Taking taylor expansion of -1 in x 114.481 * [taylor]: Taking taylor expansion of x in x 114.483 * [taylor]: Taking taylor expansion of 0 in x 114.486 * [taylor]: Taking taylor expansion of 0 in x 114.489 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 114.489 * [approximate]: Taking taylor expansion of (* (pow x 1/12) (fabs (pow x 1/6))) in (x) around 0 114.489 * [taylor]: Taking taylor expansion of (* (pow x 1/12) (fabs (pow x 1/6))) in x 114.490 * [taylor]: Taking taylor expansion of (pow x 1/12) in x 114.490 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log x))) in x 114.490 * [taylor]: Taking taylor expansion of (* 1/12 (log x)) in x 114.490 * [taylor]: Taking taylor expansion of 1/12 in x 114.490 * [taylor]: Taking taylor expansion of (log x) in x 114.490 * [taylor]: Taking taylor expansion of x in x 114.490 * [taylor]: Taking taylor expansion of (fabs (pow x 1/6)) in x 114.490 * [taylor]: Taking taylor expansion of (* (pow x 1/12) (fabs (pow x 1/6))) in x 114.490 * [taylor]: Taking taylor expansion of (pow x 1/12) in x 114.490 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log x))) in x 114.490 * [taylor]: Taking taylor expansion of (* 1/12 (log x)) in x 114.490 * [taylor]: Taking taylor expansion of 1/12 in x 114.490 * [taylor]: Taking taylor expansion of (log x) in x 114.490 * [taylor]: Taking taylor expansion of x in x 114.490 * [taylor]: Taking taylor expansion of (fabs (pow x 1/6)) in x 114.498 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (fabs (pow (/ 1 x) 1/6))) in (x) around 0 114.498 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (fabs (pow (/ 1 x) 1/6))) in x 114.498 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in x 114.498 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in x 114.498 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in x 114.498 * [taylor]: Taking taylor expansion of 1/12 in x 114.498 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 114.498 * [taylor]: Taking taylor expansion of (/ 1 x) in x 114.498 * [taylor]: Taking taylor expansion of x in x 114.499 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/6)) in x 114.499 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (fabs (pow (/ 1 x) 1/6))) in x 114.499 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in x 114.499 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in x 114.499 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in x 114.499 * [taylor]: Taking taylor expansion of 1/12 in x 114.499 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 114.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x 114.499 * [taylor]: Taking taylor expansion of x in x 114.499 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/6)) in x 114.508 * [approximate]: Taking taylor expansion of (* (fabs (pow (sqrt (/ -1 x)) 1/3)) (pow (sqrt (/ -1 x)) 1/6)) in (x) around 0 114.508 * [taylor]: Taking taylor expansion of (* (fabs (pow (sqrt (/ -1 x)) 1/3)) (pow (sqrt (/ -1 x)) 1/6)) in x 114.508 * [taylor]: Taking taylor expansion of (fabs (pow (sqrt (/ -1 x)) 1/3)) in x 114.508 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/6) in x 114.508 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (sqrt (/ -1 x))))) in x 114.508 * [taylor]: Taking taylor expansion of (* 1/6 (log (sqrt (/ -1 x)))) in x 114.508 * [taylor]: Taking taylor expansion of 1/6 in x 114.508 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 114.509 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 114.509 * [taylor]: Taking taylor expansion of (/ -1 x) in x 114.509 * [taylor]: Taking taylor expansion of -1 in x 114.509 * [taylor]: Taking taylor expansion of x in x 114.509 * [taylor]: Taking taylor expansion of (* (fabs (pow (sqrt (/ -1 x)) 1/3)) (pow (sqrt (/ -1 x)) 1/6)) in x 114.509 * [taylor]: Taking taylor expansion of (fabs (pow (sqrt (/ -1 x)) 1/3)) in x 114.509 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/6) in x 114.509 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (sqrt (/ -1 x))))) in x 114.509 * [taylor]: Taking taylor expansion of (* 1/6 (log (sqrt (/ -1 x)))) in x 114.509 * [taylor]: Taking taylor expansion of 1/6 in x 114.509 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 114.509 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 114.509 * [taylor]: Taking taylor expansion of (/ -1 x) in x 114.509 * [taylor]: Taking taylor expansion of -1 in x 114.509 * [taylor]: Taking taylor expansion of x in x 114.518 * * * [progress]: simplifying candidates 114.519 * [simplify]: Simplifying using # : (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt 1)) (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt 1)) (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (log (fabs (cbrt (sqrt x)))) (log (sqrt (cbrt (sqrt x)))))) (+ (+ (log y) (log (sqrt (sqrt x)))) (log (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (+ (log (* y (sqrt (sqrt x)))) (+ (log (fabs (cbrt (sqrt x)))) (log (sqrt (cbrt (sqrt x)))))) (+ (log (* y (sqrt (sqrt x)))) (log (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (log (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (exp (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (* (* (* (* y y) y) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (fabs (cbrt (sqrt x))) (fabs (cbrt (sqrt x)))) (fabs (cbrt (sqrt x)))) (* (* (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (sqrt (cbrt (sqrt x)))))) (* (* (* (* y y) y) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (* (* (* (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x)))) (* (* (* (fabs (cbrt (sqrt x))) (fabs (cbrt (sqrt x)))) (fabs (cbrt (sqrt x)))) (* (* (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (sqrt (cbrt (sqrt x)))))) (* (* (* (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x)))) (* (* (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (* (cbrt (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (cbrt (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))))) (cbrt (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (* (* (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (sqrt (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (sqrt (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (* (* y (sqrt (sqrt x))) (fabs (cbrt (sqrt x)))) (* (sqrt (sqrt x)) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (+ (log (fabs (cbrt (sqrt x)))) (log (sqrt (cbrt (sqrt x))))) (log (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (exp (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (* (* (* (fabs (cbrt (sqrt x))) (fabs (cbrt (sqrt x)))) (fabs (cbrt (sqrt x)))) (* (* (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (sqrt (cbrt (sqrt x))))) (* (cbrt (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (cbrt (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (cbrt (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (* (* (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (* (sqrt (fabs (cbrt (sqrt x)))) (sqrt (cbrt (sqrt (sqrt x))))) (* (sqrt (fabs (cbrt (sqrt x)))) (sqrt (cbrt (sqrt (sqrt x))))) (* (sqrt (fabs (cbrt (sqrt x)))) (sqrt (cbrt (sqrt (sqrt x))))) (* (sqrt (fabs (cbrt (sqrt x)))) (sqrt (cbrt (sqrt (sqrt x))))) (* (sqrt (fabs (cbrt (sqrt x)))) (sqrt (sqrt (cbrt (sqrt x))))) (* (sqrt (fabs (cbrt (sqrt x)))) (sqrt (sqrt (cbrt (sqrt x))))) (* (sqrt (fabs (cbrt (sqrt x)))) (sqrt (sqrt (cbrt (sqrt x))))) (* (sqrt (fabs (cbrt (sqrt x)))) (sqrt (sqrt (cbrt (sqrt x))))) (* (fabs (cbrt (sqrt x))) (* (cbrt (sqrt (cbrt (sqrt x)))) (cbrt (sqrt (cbrt (sqrt x)))))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt (* (cbrt x) (cbrt x)))))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt (sqrt x))))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt 1)))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt (sqrt x))))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt 1))) (* (fabs (cbrt (sqrt x))) (sqrt (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))))) (* (fabs (cbrt (sqrt x))) (sqrt (sqrt (cbrt (sqrt x))))) (* (fabs (cbrt (sqrt x))) (sqrt 1)) (* (fabs (cbrt (sqrt x))) (sqrt (sqrt (cbrt (sqrt x))))) (* (fabs (cbrt (sqrt x))) 1) (* (cbrt (fabs (cbrt (sqrt x)))) (sqrt (cbrt (sqrt x)))) (* (sqrt (fabs (cbrt (sqrt x)))) (sqrt (cbrt (sqrt x)))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (exp (* 1/6 (+ (log 1) (log x)))) (exp (* 1/6 (- (log 1) (log (/ 1 x))))) (- (+ (pow NAN 1/3) (* 2/9 (* (/ 1 (pow x 2)) (pow (pow NAN 13) 1/3)))) (* 1/3 (* (/ 1 x) (pow (pow NAN 7) 1/3)))) (exp (* 1/6 (+ (log 1) (log x)))) (exp (* 1/6 (- (log 1) (log (/ 1 x))))) (- (+ (pow NAN 1/3) (* 2/9 (* (/ 1 (pow x 2)) (pow (pow NAN 13) 1/3)))) (* 1/3 (* (/ 1 x) (pow (pow NAN 7) 1/3)))) (* (exp (* 1/3 (+ (log 1) (log x)))) (* y (fabs (pow x 1/6)))) (* y (* (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (fabs (pow x 1/6)))) (- (+ (* 5/9 (* (/ (* y (fabs (pow (sqrt x) 1/3))) (pow x 2)) (pow (pow NAN 14) 1/3))) (* (* y (fabs (pow (sqrt x) 1/3))) (pow (pow NAN 2) 1/3))) (* 2/3 (* (/ (* y (fabs (pow (sqrt x) 1/3))) x) (pow (pow NAN 8) 1/3)))) (* (exp (* 1/12 (+ (log 1) (log x)))) (fabs (pow x 1/6))) (* (exp (* 1/12 (- (log 1) (log (/ 1 x))))) (fabs (pow x 1/6))) (- (+ (* 7/72 (* (/ (fabs (pow (sqrt x) 1/3)) (pow x 2)) (pow (pow NAN 25) 1/6))) (* (pow NAN 1/6) (fabs (pow (sqrt x) 1/3)))) (* 1/6 (* (/ (fabs (pow (sqrt x) 1/3)) x) (pow (pow NAN 13) 1/6)))) 114.520 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 114.520 * * [simplify]: iteration done : 4 enodes (cost 4 ) 114.521 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 114.521 * * [simplify]: iteration done : 4 enodes (cost 4 ) 114.522 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 114.522 * * [simplify]: iteration done : 5 enodes (cost 8 ) 114.523 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 114.523 * * [simplify]: iteration done : 4 enodes (cost 4 ) 114.524 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 114.524 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 114.525 * * [simplify]: iteration done : 6 enodes (cost 4 ) 114.525 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 114.525 * * [simplify]: iteration done : 4 enodes (cost 4 ) 114.526 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 114.526 * * [simplify]: iteration done : 4 enodes (cost 4 ) 114.527 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 114.527 * * [simplify]: iteration done : 4 enodes (cost 4 ) 114.528 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 114.528 * * [simplify]: iteration 1 : 5 enodes (cost 2 ) 114.528 * * [simplify]: iteration done : 5 enodes (cost 2 ) 114.529 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 114.529 * * [simplify]: iteration done : 3 enodes (cost 3 ) 114.530 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 114.530 * * [simplify]: iteration done : 4 enodes (cost 4 ) 114.531 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 114.531 * * [simplify]: iteration done : 4 enodes (cost 4 ) 114.532 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 114.532 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 114.532 * * [simplify]: iteration done : 4 enodes (cost 1 ) 114.533 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 114.533 * * [simplify]: iteration done : 3 enodes (cost 3 ) 114.534 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 114.534 * * [simplify]: iteration done : 5 enodes (cost 9 ) 114.535 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 114.535 * * [simplify]: iteration done : 4 enodes (cost 4 ) 114.536 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 114.536 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 114.537 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 114.538 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 114.539 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 114.541 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 114.544 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 114.554 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 114.601 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 115.055 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 117.459 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 117.460 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 117.460 * * [simplify]: iteration done : 4 enodes (cost 4 ) 117.461 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 117.461 * * [simplify]: iteration done : 4 enodes (cost 4 ) 117.462 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 117.462 * * [simplify]: iteration done : 4 enodes (cost 4 ) 117.463 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 117.463 * * [simplify]: iteration done : 4 enodes (cost 4 ) 117.464 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 117.464 * * [simplify]: iteration done : 5 enodes (cost 8 ) 117.465 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 117.466 * * [simplify]: iteration done : 4 enodes (cost 4 ) 117.466 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 117.467 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 117.467 * * [simplify]: iteration done : 6 enodes (cost 4 ) 117.468 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 117.468 * * [simplify]: iteration done : 4 enodes (cost 4 ) 117.469 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 117.469 * * [simplify]: iteration done : 4 enodes (cost 4 ) 117.470 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 117.470 * * [simplify]: iteration done : 4 enodes (cost 4 ) 117.471 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 117.471 * * [simplify]: iteration 1 : 5 enodes (cost 2 ) 117.472 * * [simplify]: iteration done : 5 enodes (cost 2 ) 117.472 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 117.472 * * [simplify]: iteration done : 3 enodes (cost 3 ) 117.473 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 117.473 * * [simplify]: iteration done : 4 enodes (cost 4 ) 117.474 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 117.474 * * [simplify]: iteration done : 4 enodes (cost 4 ) 117.475 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 117.475 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 117.475 * * [simplify]: iteration done : 4 enodes (cost 1 ) 117.476 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 117.476 * * [simplify]: iteration done : 3 enodes (cost 3 ) 117.476 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 117.477 * * [simplify]: iteration done : 5 enodes (cost 9 ) 117.477 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 117.478 * * [simplify]: iteration done : 4 enodes (cost 4 ) 117.478 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 117.479 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 117.480 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 117.481 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 117.482 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 117.485 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 117.488 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 117.497 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 117.543 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 117.991 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 120.392 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 120.392 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 120.393 * * [simplify]: iteration done : 4 enodes (cost 4 ) 120.393 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 120.394 * * [simplify]: iteration done : 4 enodes (cost 4 ) 120.394 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 120.395 * * [simplify]: iteration 1 : 17 enodes (cost 15 ) 120.398 * * [simplify]: iteration 2 : 36 enodes (cost 15 ) 120.403 * * [simplify]: iteration 3 : 59 enodes (cost 15 ) 120.414 * * [simplify]: iteration 4 : 62 enodes (cost 15 ) 120.429 * * [simplify]: iteration done : 62 enodes (cost 15 ) 120.430 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 120.431 * * [simplify]: iteration 1 : 17 enodes (cost 15 ) 120.434 * * [simplify]: iteration 2 : 36 enodes (cost 15 ) 120.440 * * [simplify]: iteration 3 : 59 enodes (cost 15 ) 120.451 * * [simplify]: iteration 4 : 62 enodes (cost 15 ) 120.462 * * [simplify]: iteration done : 62 enodes (cost 15 ) 120.463 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 120.464 * * [simplify]: iteration 1 : 17 enodes (cost 15 ) 120.466 * * [simplify]: iteration 2 : 36 enodes (cost 15 ) 120.472 * * [simplify]: iteration 3 : 59 enodes (cost 15 ) 120.486 * * [simplify]: iteration 4 : 62 enodes (cost 15 ) 120.498 * * [simplify]: iteration done : 62 enodes (cost 15 ) 120.498 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 120.499 * * [simplify]: iteration 1 : 17 enodes (cost 15 ) 120.502 * * [simplify]: iteration 2 : 36 enodes (cost 15 ) 120.508 * * [simplify]: iteration 3 : 59 enodes (cost 15 ) 120.519 * * [simplify]: iteration 4 : 62 enodes (cost 15 ) 120.532 * * [simplify]: iteration done : 62 enodes (cost 15 ) 120.534 * * [simplify]: iteration 0 : 14 enodes (cost 19 ) 120.535 * * [simplify]: iteration 1 : 21 enodes (cost 19 ) 120.538 * * [simplify]: iteration 2 : 40 enodes (cost 19 ) 120.543 * * [simplify]: iteration 3 : 65 enodes (cost 19 ) 120.553 * * [simplify]: iteration 4 : 68 enodes (cost 19 ) 120.564 * * [simplify]: iteration done : 68 enodes (cost 19 ) 120.564 * * [simplify]: iteration 0 : 13 enodes (cost 18 ) 120.566 * * [simplify]: iteration 1 : 21 enodes (cost 18 ) 120.568 * * [simplify]: iteration 2 : 34 enodes (cost 18 ) 120.572 * * [simplify]: iteration 3 : 57 enodes (cost 18 ) 120.580 * * [simplify]: iteration 4 : 70 enodes (cost 18 ) 120.594 * * [simplify]: iteration done : 70 enodes (cost 18 ) 120.595 * * [simplify]: iteration 0 : 13 enodes (cost 18 ) 120.596 * * [simplify]: iteration 1 : 21 enodes (cost 18 ) 120.598 * * [simplify]: iteration 2 : 34 enodes (cost 18 ) 120.603 * * [simplify]: iteration 3 : 58 enodes (cost 18 ) 120.612 * * [simplify]: iteration 4 : 71 enodes (cost 18 ) 120.622 * * [simplify]: iteration done : 71 enodes (cost 18 ) 120.623 * * [simplify]: iteration 0 : 12 enodes (cost 17 ) 120.624 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 120.626 * * [simplify]: iteration 2 : 31 enodes (cost 17 ) 120.629 * * [simplify]: iteration 3 : 53 enodes (cost 17 ) 120.636 * * [simplify]: iteration 4 : 66 enodes (cost 17 ) 120.651 * * [simplify]: iteration 5 : 67 enodes (cost 17 ) 120.662 * * [simplify]: iteration done : 67 enodes (cost 17 ) 120.662 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 120.663 * * [simplify]: iteration 1 : 21 enodes (cost 16 ) 120.666 * * [simplify]: iteration 2 : 53 enodes (cost 16 ) 120.675 * * [simplify]: iteration 3 : 107 enodes (cost 16 ) 120.695 * * [simplify]: iteration 4 : 154 enodes (cost 16 ) 120.724 * * [simplify]: iteration 5 : 157 enodes (cost 16 ) 120.748 * * [simplify]: iteration done : 157 enodes (cost 16 ) 120.749 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 120.750 * * [simplify]: iteration 1 : 20 enodes (cost 16 ) 120.756 * * [simplify]: iteration 2 : 52 enodes (cost 16 ) 120.766 * * [simplify]: iteration 3 : 116 enodes (cost 16 ) 120.787 * * [simplify]: iteration 4 : 244 enodes (cost 16 ) 120.840 * * [simplify]: iteration 5 : 563 enodes (cost 16 ) 121.174 * * [simplify]: iteration 6 : 1392 enodes (cost 16 ) 123.197 * * [simplify]: iteration 7 : 3856 enodes (cost 16 ) 124.087 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 124.088 * * [simplify]: iteration 0 : 18 enodes (cost 47 ) 124.090 * * [simplify]: iteration 1 : 37 enodes (cost 36 ) 124.098 * * [simplify]: iteration 2 : 145 enodes (cost 23 ) 124.169 * * [simplify]: iteration 3 : 751 enodes (cost 23 ) 125.516 * * [simplify]: iteration 4 : 4252 enodes (cost 19 ) 127.285 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 127.286 * * [simplify]: iteration 0 : 16 enodes (cost 47 ) 127.288 * * [simplify]: iteration 1 : 39 enodes (cost 42 ) 127.296 * * [simplify]: iteration 2 : 148 enodes (cost 21 ) 127.378 * * [simplify]: iteration 3 : 795 enodes (cost 21 ) 128.987 * * [simplify]: iteration 4 : 4559 enodes (cost 19 ) 130.511 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 130.512 * * [simplify]: iteration 0 : 16 enodes (cost 47 ) 130.514 * * [simplify]: iteration 1 : 39 enodes (cost 41 ) 130.528 * * [simplify]: iteration 2 : 148 enodes (cost 21 ) 130.605 * * [simplify]: iteration 3 : 755 enodes (cost 21 ) 132.157 * * [simplify]: iteration 4 : 4501 enodes (cost 19 ) 133.719 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 133.720 * * [simplify]: iteration 0 : 14 enodes (cost 47 ) 133.722 * * [simplify]: iteration 1 : 41 enodes (cost 47 ) 133.731 * * [simplify]: iteration 2 : 151 enodes (cost 19 ) 133.824 * * [simplify]: iteration 3 : 802 enodes (cost 19 ) 135.641 * * [simplify]: iteration 4 : 4688 enodes (cost 17 ) 137.105 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 137.105 * * [simplify]: iteration 0 : 12 enodes (cost 33 ) 137.107 * * [simplify]: iteration 1 : 19 enodes (cost 33 ) 137.109 * * [simplify]: iteration 2 : 38 enodes (cost 33 ) 137.115 * * [simplify]: iteration 3 : 63 enodes (cost 33 ) 137.127 * * [simplify]: iteration 4 : 66 enodes (cost 33 ) 137.139 * * [simplify]: iteration done : 66 enodes (cost 33 ) 137.140 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 137.141 * * [simplify]: iteration 1 : 18 enodes (cost 16 ) 137.144 * * [simplify]: iteration 2 : 37 enodes (cost 16 ) 137.150 * * [simplify]: iteration 3 : 60 enodes (cost 16 ) 137.164 * * [simplify]: iteration 4 : 63 enodes (cost 16 ) 137.175 * * [simplify]: iteration done : 63 enodes (cost 16 ) 137.176 * * [simplify]: iteration 0 : 12 enodes (cost 47 ) 137.178 * * [simplify]: iteration 1 : 29 enodes (cost 47 ) 137.185 * * [simplify]: iteration 2 : 148 enodes (cost 17 ) 137.291 * * [simplify]: iteration 3 : 902 enodes (cost 17 ) 139.963 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 139.964 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 139.965 * * [simplify]: iteration 1 : 18 enodes (cost 16 ) 139.968 * * [simplify]: iteration 2 : 37 enodes (cost 16 ) 139.975 * * [simplify]: iteration 3 : 60 enodes (cost 16 ) 139.992 * * [simplify]: iteration 4 : 63 enodes (cost 16 ) 140.003 * * [simplify]: iteration done : 63 enodes (cost 16 ) 140.004 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 140.005 * * [simplify]: iteration 1 : 18 enodes (cost 16 ) 140.008 * * [simplify]: iteration 2 : 37 enodes (cost 16 ) 140.014 * * [simplify]: iteration 3 : 60 enodes (cost 16 ) 140.026 * * [simplify]: iteration 4 : 63 enodes (cost 16 ) 140.041 * * [simplify]: iteration done : 63 enodes (cost 16 ) 140.042 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 140.043 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 140.044 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 140.046 * * [simplify]: iteration 3 : 20 enodes (cost 10 ) 140.048 * * [simplify]: iteration done : 20 enodes (cost 10 ) 140.049 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 140.050 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 140.051 * * [simplify]: iteration 2 : 18 enodes (cost 13 ) 140.053 * * [simplify]: iteration 3 : 20 enodes (cost 13 ) 140.055 * * [simplify]: iteration done : 20 enodes (cost 13 ) 140.056 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 140.056 * * [simplify]: iteration 1 : 7 enodes (cost 9 ) 140.057 * * [simplify]: iteration done : 7 enodes (cost 9 ) 140.058 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 140.058 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 140.059 * * [simplify]: iteration done : 9 enodes (cost 11 ) 140.060 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 140.061 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 140.062 * * [simplify]: iteration 2 : 12 enodes (cost 10 ) 140.063 * * [simplify]: iteration done : 12 enodes (cost 10 ) 140.064 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 140.064 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 140.066 * * [simplify]: iteration 2 : 16 enodes (cost 10 ) 140.067 * * [simplify]: iteration 3 : 24 enodes (cost 10 ) 140.070 * * [simplify]: iteration 4 : 47 enodes (cost 10 ) 140.077 * * [simplify]: iteration 5 : 103 enodes (cost 10 ) 140.114 * * [simplify]: iteration 6 : 241 enodes (cost 10 ) 140.263 * * [simplify]: iteration 7 : 700 enodes (cost 10 ) 141.355 * * [simplify]: iteration 8 : 2704 enodes (cost 10 ) 143.167 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 143.168 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 143.169 * * [simplify]: iteration 1 : 17 enodes (cost 23 ) 143.172 * * [simplify]: iteration 2 : 43 enodes (cost 13 ) 143.181 * * [simplify]: iteration 3 : 85 enodes (cost 13 ) 143.200 * * [simplify]: iteration 4 : 138 enodes (cost 11 ) 143.253 * * [simplify]: iteration 5 : 269 enodes (cost 11 ) 143.403 * * [simplify]: iteration 6 : 686 enodes (cost 11 ) 144.372 * * [simplify]: iteration 7 : 2467 enodes (cost 11 ) 146.192 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 146.192 * * [simplify]: iteration 0 : 8 enodes (cost 21 ) 146.193 * * [simplify]: iteration 1 : 9 enodes (cost 21 ) 146.194 * * [simplify]: iteration done : 9 enodes (cost 21 ) 146.195 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 146.195 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 146.196 * * [simplify]: iteration done : 8 enodes (cost 10 ) 146.196 * * [simplify]: iteration 0 : 8 enodes (cost 29 ) 146.197 * * [simplify]: iteration 1 : 19 enodes (cost 29 ) 146.201 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 146.217 * * [simplify]: iteration 3 : 92 enodes (cost 11 ) 146.241 * * [simplify]: iteration 4 : 108 enodes (cost 11 ) 146.272 * * [simplify]: iteration 5 : 154 enodes (cost 11 ) 146.331 * * [simplify]: iteration 6 : 292 enodes (cost 11 ) 146.502 * * [simplify]: iteration 7 : 758 enodes (cost 11 ) 147.576 * * [simplify]: iteration 8 : 2777 enodes (cost 11 ) 149.582 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 149.583 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 149.584 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 149.584 * * [simplify]: iteration done : 8 enodes (cost 10 ) 149.585 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 149.586 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 149.586 * * [simplify]: iteration done : 8 enodes (cost 10 ) 149.587 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 149.588 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 149.589 * * [simplify]: iteration done : 10 enodes (cost 11 ) 149.589 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 149.590 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 149.591 * * [simplify]: iteration done : 10 enodes (cost 11 ) 149.591 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 149.592 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 149.593 * * [simplify]: iteration done : 10 enodes (cost 11 ) 149.594 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 149.594 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 149.595 * * [simplify]: iteration done : 10 enodes (cost 11 ) 149.596 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 149.600 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 149.601 * * [simplify]: iteration done : 9 enodes (cost 11 ) 149.602 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 149.602 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 149.603 * * [simplify]: iteration done : 9 enodes (cost 11 ) 149.604 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 149.604 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 149.605 * * [simplify]: iteration done : 9 enodes (cost 11 ) 149.606 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 149.606 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 149.608 * * [simplify]: iteration done : 9 enodes (cost 11 ) 149.608 * * [simplify]: iteration 0 : 8 enodes (cost 16 ) 149.609 * * [simplify]: iteration 1 : 11 enodes (cost 16 ) 149.611 * * [simplify]: iteration 2 : 13 enodes (cost 16 ) 149.612 * * [simplify]: iteration done : 13 enodes (cost 16 ) 149.613 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 149.613 * * [simplify]: iteration 1 : 9 enodes (cost 14 ) 149.614 * * [simplify]: iteration done : 9 enodes (cost 14 ) 149.615 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 149.616 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 149.617 * * [simplify]: iteration done : 12 enodes (cost 10 ) 149.617 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 149.618 * * [simplify]: iteration 1 : 9 enodes (cost 10 ) 149.619 * * [simplify]: iteration done : 9 enodes (cost 10 ) 149.619 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 149.620 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 149.621 * * [simplify]: iteration done : 12 enodes (cost 8 ) 149.622 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 149.622 * * [simplify]: iteration 1 : 9 enodes (cost 10 ) 149.623 * * [simplify]: iteration done : 9 enodes (cost 10 ) 149.624 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 149.624 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 149.625 * * [simplify]: iteration done : 11 enodes (cost 7 ) 149.626 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 149.627 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 149.628 * * [simplify]: iteration done : 10 enodes (cost 10 ) 149.628 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 149.629 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 149.629 * * [simplify]: iteration done : 8 enodes (cost 10 ) 149.630 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 149.631 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 149.632 * * [simplify]: iteration done : 10 enodes (cost 6 ) 149.632 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 149.633 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 149.634 * * [simplify]: iteration done : 8 enodes (cost 10 ) 149.634 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 149.635 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 149.636 * * [simplify]: iteration 2 : 12 enodes (cost 4 ) 149.636 * * [simplify]: iteration done : 12 enodes (cost 4 ) 149.637 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 149.638 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 149.638 * * [simplify]: iteration done : 8 enodes (cost 10 ) 149.639 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 149.639 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 149.640 * * [simplify]: iteration done : 8 enodes (cost 10 ) 149.641 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 149.641 * * [simplify]: iteration 1 : 7 enodes (cost 9 ) 149.642 * * [simplify]: iteration done : 7 enodes (cost 9 ) 149.642 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 149.644 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 149.646 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 149.649 * * [simplify]: iteration 3 : 49 enodes (cost 3 ) 149.656 * * [simplify]: iteration 4 : 86 enodes (cost 3 ) 149.674 * * [simplify]: iteration 5 : 170 enodes (cost 3 ) 149.726 * * [simplify]: iteration 6 : 350 enodes (cost 3 ) 149.911 * * [simplify]: iteration 7 : 888 enodes (cost 3 ) 151.259 * * [simplify]: iteration 8 : 3034 enodes (cost 3 ) 153.070 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 153.070 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 153.072 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 153.074 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 153.079 * * [simplify]: iteration 3 : 71 enodes (cost 3 ) 153.087 * * [simplify]: iteration 4 : 125 enodes (cost 3 ) 153.119 * * [simplify]: iteration 5 : 263 enodes (cost 3 ) 153.228 * * [simplify]: iteration 6 : 562 enodes (cost 3 ) 153.722 * * [simplify]: iteration 7 : 1633 enodes (cost 3 ) 155.413 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 155.414 * * [simplify]: iteration 0 : 22 enodes (cost 29 ) 155.421 * * [simplify]: iteration 1 : 64 enodes (cost 26 ) 155.433 * * [simplify]: iteration 2 : 167 enodes (cost 22 ) 155.491 * * [simplify]: iteration 3 : 559 enodes (cost 22 ) 156.056 * * [simplify]: iteration 4 : 2021 enodes (cost 22 ) 157.594 * * [simplify]: iteration done : 5001 enodes (cost 22 ) 157.595 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 157.596 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 157.599 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 157.603 * * [simplify]: iteration 3 : 49 enodes (cost 3 ) 157.608 * * [simplify]: iteration 4 : 86 enodes (cost 3 ) 157.624 * * [simplify]: iteration 5 : 170 enodes (cost 3 ) 157.678 * * [simplify]: iteration 6 : 350 enodes (cost 3 ) 157.868 * * [simplify]: iteration 7 : 888 enodes (cost 3 ) 159.450 * * [simplify]: iteration 8 : 3034 enodes (cost 3 ) 161.250 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 161.251 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 161.252 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 161.255 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 161.260 * * [simplify]: iteration 3 : 71 enodes (cost 3 ) 161.269 * * [simplify]: iteration 4 : 125 enodes (cost 3 ) 161.296 * * [simplify]: iteration 5 : 263 enodes (cost 3 ) 161.407 * * [simplify]: iteration 6 : 562 enodes (cost 3 ) 161.909 * * [simplify]: iteration 7 : 1633 enodes (cost 3 ) 163.586 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 163.587 * * [simplify]: iteration 0 : 22 enodes (cost 29 ) 163.590 * * [simplify]: iteration 1 : 64 enodes (cost 26 ) 163.606 * * [simplify]: iteration 2 : 167 enodes (cost 22 ) 163.663 * * [simplify]: iteration 3 : 559 enodes (cost 22 ) 164.224 * * [simplify]: iteration 4 : 2021 enodes (cost 22 ) 165.754 * * [simplify]: iteration done : 5001 enodes (cost 22 ) 165.755 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 165.757 * * [simplify]: iteration 1 : 35 enodes (cost 14 ) 165.761 * * [simplify]: iteration 2 : 54 enodes (cost 12 ) 165.769 * * [simplify]: iteration 3 : 108 enodes (cost 9 ) 165.798 * * [simplify]: iteration 4 : 282 enodes (cost 9 ) 165.963 * * [simplify]: iteration 5 : 931 enodes (cost 9 ) 168.278 * * [simplify]: iteration 6 : 4407 enodes (cost 9 ) 170.763 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 170.764 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 170.766 * * [simplify]: iteration 1 : 34 enodes (cost 15 ) 170.770 * * [simplify]: iteration 2 : 61 enodes (cost 12 ) 170.785 * * [simplify]: iteration 3 : 121 enodes (cost 9 ) 170.803 * * [simplify]: iteration 4 : 261 enodes (cost 9 ) 170.981 * * [simplify]: iteration 5 : 1026 enodes (cost 9 ) 173.538 * * [simplify]: iteration 6 : 4592 enodes (cost 9 ) 176.053 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 176.054 * * [simplify]: iteration 0 : 29 enodes (cost 51 ) 176.063 * * [simplify]: iteration 1 : 84 enodes (cost 45 ) 176.079 * * [simplify]: iteration 2 : 243 enodes (cost 45 ) 176.136 * * [simplify]: iteration 3 : 784 enodes (cost 45 ) 176.700 * * [simplify]: iteration 4 : 3027 enodes (cost 36 ) 177.813 * * [simplify]: iteration done : 5000 enodes (cost 36 ) 177.814 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 177.816 * * [simplify]: iteration 1 : 29 enodes (cost 12 ) 177.820 * * [simplify]: iteration 2 : 42 enodes (cost 10 ) 177.825 * * [simplify]: iteration 3 : 78 enodes (cost 8 ) 177.844 * * [simplify]: iteration 4 : 192 enodes (cost 8 ) 177.948 * * [simplify]: iteration 5 : 579 enodes (cost 8 ) 178.663 * * [simplify]: iteration 6 : 2030 enodes (cost 8 ) 180.636 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 180.637 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 180.639 * * [simplify]: iteration 1 : 28 enodes (cost 13 ) 180.643 * * [simplify]: iteration 2 : 49 enodes (cost 10 ) 180.654 * * [simplify]: iteration 3 : 97 enodes (cost 8 ) 180.667 * * [simplify]: iteration 4 : 206 enodes (cost 8 ) 180.760 * * [simplify]: iteration 5 : 647 enodes (cost 8 ) 181.700 * * [simplify]: iteration 6 : 2490 enodes (cost 8 ) 183.000 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 183.001 * * [simplify]: iteration 0 : 26 enodes (cost 43 ) 183.005 * * [simplify]: iteration 1 : 69 enodes (cost 40 ) 183.027 * * [simplify]: iteration 2 : 184 enodes (cost 40 ) 183.060 * * [simplify]: iteration 3 : 479 enodes (cost 40 ) 183.255 * * [simplify]: iteration 4 : 1459 enodes (cost 33 ) 184.615 * * [simplify]: iteration done : 5001 enodes (cost 33 ) 184.616 * [simplify]: Simplified to: (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (fabs (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) 1 (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (sqrt x) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (fabs (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) 1 (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (sqrt x) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (log (fabs (cbrt (sqrt x)))) (log (sqrt (cbrt (sqrt x)))))) (+ (+ (log y) (log (sqrt (sqrt x)))) (log (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (+ (log (* y (sqrt (sqrt x)))) (+ (log (fabs (cbrt (sqrt x)))) (log (sqrt (cbrt (sqrt x)))))) (+ (log (* y (sqrt (sqrt x)))) (log (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (log (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (exp (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (* (pow (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) 3) (pow (* y (sqrt (sqrt x))) 3)) (* (pow (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) 3) (pow (* y (sqrt (sqrt x))) 3)) (* (pow (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) 3) (pow (* y (sqrt (sqrt x))) 3)) (pow (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) 3) (* (cbrt (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (cbrt (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))))) (cbrt (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (pow (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) 3) (sqrt (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (sqrt (* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (* (* y (sqrt (sqrt x))) (fabs (cbrt (sqrt x)))) (* (sqrt (sqrt x)) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (+ (log (fabs (cbrt (sqrt x)))) (log (sqrt (cbrt (sqrt x))))) (log (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (exp (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (pow (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) 3) (* (cbrt (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (cbrt (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (cbrt (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (pow (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) 3) (sqrt (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (* (sqrt (fabs (cbrt (sqrt x)))) (sqrt (cbrt (sqrt (sqrt x))))) (* (sqrt (fabs (cbrt (sqrt x)))) (sqrt (cbrt (sqrt (sqrt x))))) (* (sqrt (fabs (cbrt (sqrt x)))) (sqrt (cbrt (sqrt (sqrt x))))) (* (sqrt (fabs (cbrt (sqrt x)))) (sqrt (cbrt (sqrt (sqrt x))))) (* (sqrt (fabs (cbrt (sqrt x)))) (sqrt (sqrt (cbrt (sqrt x))))) (* (sqrt (fabs (cbrt (sqrt x)))) (sqrt (sqrt (cbrt (sqrt x))))) (* (sqrt (fabs (cbrt (sqrt x)))) (sqrt (sqrt (cbrt (sqrt x))))) (* (sqrt (fabs (cbrt (sqrt x)))) (sqrt (sqrt (cbrt (sqrt x))))) (* (fabs (cbrt (sqrt x))) (* (cbrt (sqrt (cbrt (sqrt x)))) (cbrt (sqrt (cbrt (sqrt x)))))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (* (sqrt (cbrt (fabs (cbrt x)))) (fabs (cbrt (sqrt x)))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt (sqrt x))))) (* (sqrt (cbrt 1)) (fabs (cbrt (sqrt x)))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt (sqrt x))))) (* (fabs (cbrt (sqrt x))) (sqrt 1)) (* (fabs (cbrt (sqrt x))) (fabs (cbrt (cbrt (sqrt x))))) (* (fabs (cbrt (sqrt x))) (sqrt (sqrt (cbrt (sqrt x))))) (* 1 (fabs (cbrt (sqrt x)))) (* (fabs (cbrt (sqrt x))) (sqrt (sqrt (cbrt (sqrt x))))) (fabs (cbrt (sqrt x))) (* (cbrt (fabs (cbrt (sqrt x)))) (sqrt (cbrt (sqrt x)))) (* (sqrt (fabs (cbrt (sqrt x)))) (sqrt (cbrt (sqrt x)))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (pow x 1/6) (pow x 1/6) (- (+ (cbrt NAN) (* (cbrt (pow NAN 13)) (/ 2/9 (pow x 2)))) (* (/ 1/3 x) (cbrt (pow NAN 7)))) (pow x 1/6) (pow x 1/6) (- (+ (cbrt NAN) (* (cbrt (pow NAN 13)) (/ 2/9 (pow x 2)))) (* (/ 1/3 x) (cbrt (pow NAN 7)))) (* (* y (fabs (pow x 1/6))) (cbrt x)) (* y (* (cbrt x) (fabs (pow x 1/6)))) (+ (* (* y (/ (fabs (cbrt (sqrt x))) x)) (- (* (/ (cbrt (pow NAN 14)) x) 5/9) (* 2/3 (cbrt (pow NAN 8))))) (* (* y (fabs (cbrt (sqrt x)))) (cbrt (pow NAN 2)))) (* (pow x 1/12) (fabs (pow x 1/6))) (* (pow x 1/12) (fabs (pow x 1/6))) (+ (* (/ (fabs (cbrt (sqrt x))) x) (+ (* -1/6 (pow (pow NAN 13) 1/6)) (* (/ (pow (pow NAN 25) 1/6) x) 7/72))) (* (pow NAN 1/6) (fabs (cbrt (sqrt x))))) 184.617 * * * [progress]: adding candidates to table 184.725 * * [progress]: iteration 4 / 4 184.725 * * * [progress]: picking best candidate 184.734 * * * * [pick]: Picked # 184.735 * * * [progress]: localizing error 184.745 * * * [progress]: generating rewritten candidates 184.745 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 184.749 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 184.753 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 184.757 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 184.764 * * * [progress]: generating series expansions 184.764 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 184.764 * [approximate]: Taking taylor expansion of (* (pow x 1/6) (pow y 1/3)) in (y x) around 0 184.764 * [taylor]: Taking taylor expansion of (* (pow x 1/6) (pow y 1/3)) in x 184.764 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 184.764 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 184.764 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 184.764 * [taylor]: Taking taylor expansion of 1/6 in x 184.764 * [taylor]: Taking taylor expansion of (log x) in x 184.765 * [taylor]: Taking taylor expansion of x in x 184.765 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 184.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 184.765 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 184.765 * [taylor]: Taking taylor expansion of 1/3 in x 184.765 * [taylor]: Taking taylor expansion of (log y) in x 184.765 * [taylor]: Taking taylor expansion of y in x 184.765 * [taylor]: Taking taylor expansion of (* (pow x 1/6) (pow y 1/3)) in y 184.765 * [taylor]: Taking taylor expansion of (pow x 1/6) in y 184.765 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in y 184.765 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in y 184.765 * [taylor]: Taking taylor expansion of 1/6 in y 184.765 * [taylor]: Taking taylor expansion of (log x) in y 184.765 * [taylor]: Taking taylor expansion of x in y 184.765 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 184.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 184.765 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 184.765 * [taylor]: Taking taylor expansion of 1/3 in y 184.765 * [taylor]: Taking taylor expansion of (log y) in y 184.765 * [taylor]: Taking taylor expansion of y in y 184.765 * [taylor]: Taking taylor expansion of (* (pow x 1/6) (pow y 1/3)) in y 184.765 * [taylor]: Taking taylor expansion of (pow x 1/6) in y 184.765 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in y 184.765 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in y 184.765 * [taylor]: Taking taylor expansion of 1/6 in y 184.765 * [taylor]: Taking taylor expansion of (log x) in y 184.765 * [taylor]: Taking taylor expansion of x in y 184.766 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 184.766 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 184.766 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 184.766 * [taylor]: Taking taylor expansion of 1/3 in y 184.766 * [taylor]: Taking taylor expansion of (log y) in y 184.766 * [taylor]: Taking taylor expansion of y in y 184.766 * [taylor]: Taking taylor expansion of (* (pow x 1/6) (exp (* 1/3 (+ (log y) (log 1))))) in x 184.766 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 184.766 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 184.766 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 184.766 * [taylor]: Taking taylor expansion of 1/6 in x 184.766 * [taylor]: Taking taylor expansion of (log x) in x 184.766 * [taylor]: Taking taylor expansion of x in x 184.766 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log y) (log 1)))) in x 184.766 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log y) (log 1))) in x 184.766 * [taylor]: Taking taylor expansion of 1/3 in x 184.766 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in x 184.766 * [taylor]: Taking taylor expansion of (log y) in x 184.766 * [taylor]: Taking taylor expansion of y in x 184.767 * [taylor]: Taking taylor expansion of (log 1) in x 184.767 * [taylor]: Taking taylor expansion of 1 in x 184.768 * [taylor]: Taking taylor expansion of 0 in x 184.769 * [taylor]: Taking taylor expansion of 0 in x 184.772 * [taylor]: Taking taylor expansion of 0 in x 184.772 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/6) (pow (/ 1 y) 1/3)) in (y x) around 0 184.772 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/6) (pow (/ 1 y) 1/3)) in x 184.772 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 184.772 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 184.772 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 184.772 * [taylor]: Taking taylor expansion of 1/6 in x 184.772 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 184.772 * [taylor]: Taking taylor expansion of (/ 1 x) in x 184.772 * [taylor]: Taking taylor expansion of x in x 184.773 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 184.773 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 184.773 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 184.773 * [taylor]: Taking taylor expansion of 1/3 in x 184.773 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 184.773 * [taylor]: Taking taylor expansion of (/ 1 y) in x 184.773 * [taylor]: Taking taylor expansion of y in x 184.773 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/6) (pow (/ 1 y) 1/3)) in y 184.773 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in y 184.773 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in y 184.773 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in y 184.773 * [taylor]: Taking taylor expansion of 1/6 in y 184.773 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 184.773 * [taylor]: Taking taylor expansion of (/ 1 x) in y 184.773 * [taylor]: Taking taylor expansion of x in y 184.773 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 184.773 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 184.773 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 184.773 * [taylor]: Taking taylor expansion of 1/3 in y 184.773 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 184.773 * [taylor]: Taking taylor expansion of (/ 1 y) in y 184.773 * [taylor]: Taking taylor expansion of y in y 184.773 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/6) (pow (/ 1 y) 1/3)) in y 184.773 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in y 184.773 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in y 184.774 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in y 184.774 * [taylor]: Taking taylor expansion of 1/6 in y 184.774 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 184.774 * [taylor]: Taking taylor expansion of (/ 1 x) in y 184.774 * [taylor]: Taking taylor expansion of x in y 184.774 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 184.774 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 184.774 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 184.774 * [taylor]: Taking taylor expansion of 1/3 in y 184.774 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 184.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y 184.774 * [taylor]: Taking taylor expansion of y in y 184.774 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/6) (exp (* 1/3 (- (log 1) (log y))))) in x 184.774 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 184.774 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 184.774 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 184.774 * [taylor]: Taking taylor expansion of 1/6 in x 184.774 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 184.774 * [taylor]: Taking taylor expansion of (/ 1 x) in x 184.774 * [taylor]: Taking taylor expansion of x in x 184.774 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log y)))) in x 184.775 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log y))) in x 184.775 * [taylor]: Taking taylor expansion of 1/3 in x 184.775 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x 184.775 * [taylor]: Taking taylor expansion of (log 1) in x 184.775 * [taylor]: Taking taylor expansion of 1 in x 184.775 * [taylor]: Taking taylor expansion of (log y) in x 184.775 * [taylor]: Taking taylor expansion of y in x 184.776 * [taylor]: Taking taylor expansion of 0 in x 184.779 * [taylor]: Taking taylor expansion of 0 in x 184.782 * [taylor]: Taking taylor expansion of 0 in x 184.782 * [approximate]: Taking taylor expansion of (* (pow (/ (sqrt (/ -1 x)) y) 1/3) (cbrt -1)) in (y x) around 0 184.782 * [taylor]: Taking taylor expansion of (* (pow (/ (sqrt (/ -1 x)) y) 1/3) (cbrt -1)) in x 184.782 * [taylor]: Taking taylor expansion of (pow (/ (sqrt (/ -1 x)) y) 1/3) in x 184.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sqrt (/ -1 x)) y)))) in x 184.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sqrt (/ -1 x)) y))) in x 184.783 * [taylor]: Taking taylor expansion of 1/3 in x 184.783 * [taylor]: Taking taylor expansion of (log (/ (sqrt (/ -1 x)) y)) in x 184.783 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 184.783 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 184.783 * [taylor]: Taking taylor expansion of (/ -1 x) in x 184.783 * [taylor]: Taking taylor expansion of -1 in x 184.783 * [taylor]: Taking taylor expansion of x in x 184.783 * [taylor]: Taking taylor expansion of y in x 184.783 * [taylor]: Taking taylor expansion of (cbrt -1) in x 184.783 * [taylor]: Taking taylor expansion of -1 in x 184.783 * [taylor]: Taking taylor expansion of (* (pow (/ (sqrt (/ -1 x)) y) 1/3) (cbrt -1)) in y 184.783 * [taylor]: Taking taylor expansion of (pow (/ (sqrt (/ -1 x)) y) 1/3) in y 184.783 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sqrt (/ -1 x)) y)))) in y 184.783 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sqrt (/ -1 x)) y))) in y 184.783 * [taylor]: Taking taylor expansion of 1/3 in y 184.783 * [taylor]: Taking taylor expansion of (log (/ (sqrt (/ -1 x)) y)) in y 184.783 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 184.783 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 184.783 * [taylor]: Taking taylor expansion of (/ -1 x) in y 184.783 * [taylor]: Taking taylor expansion of -1 in y 184.783 * [taylor]: Taking taylor expansion of x in y 184.783 * [taylor]: Taking taylor expansion of y in y 184.784 * [taylor]: Taking taylor expansion of (cbrt -1) in y 184.784 * [taylor]: Taking taylor expansion of -1 in y 184.784 * [taylor]: Taking taylor expansion of (* (pow (/ (sqrt (/ -1 x)) y) 1/3) (cbrt -1)) in y 184.784 * [taylor]: Taking taylor expansion of (pow (/ (sqrt (/ -1 x)) y) 1/3) in y 184.784 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sqrt (/ -1 x)) y)))) in y 184.784 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sqrt (/ -1 x)) y))) in y 184.784 * [taylor]: Taking taylor expansion of 1/3 in y 184.784 * [taylor]: Taking taylor expansion of (log (/ (sqrt (/ -1 x)) y)) in y 184.784 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 184.784 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 184.784 * [taylor]: Taking taylor expansion of (/ -1 x) in y 184.784 * [taylor]: Taking taylor expansion of -1 in y 184.784 * [taylor]: Taking taylor expansion of x in y 184.784 * [taylor]: Taking taylor expansion of y in y 184.784 * [taylor]: Taking taylor expansion of (cbrt -1) in y 184.784 * [taylor]: Taking taylor expansion of -1 in y 184.785 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sqrt (/ -1 x))) (log y))))) in x 184.785 * [taylor]: Taking taylor expansion of (cbrt -1) in x 184.785 * [taylor]: Taking taylor expansion of -1 in x 184.785 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sqrt (/ -1 x))) (log y)))) in x 184.785 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sqrt (/ -1 x))) (log y))) in x 184.785 * [taylor]: Taking taylor expansion of 1/3 in x 184.785 * [taylor]: Taking taylor expansion of (- (log (sqrt (/ -1 x))) (log y)) in x 184.785 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 184.785 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 184.785 * [taylor]: Taking taylor expansion of (/ -1 x) in x 184.785 * [taylor]: Taking taylor expansion of -1 in x 184.785 * [taylor]: Taking taylor expansion of x in x 184.785 * [taylor]: Taking taylor expansion of (log y) in x 184.785 * [taylor]: Taking taylor expansion of y in x 184.786 * [taylor]: Taking taylor expansion of 0 in x 184.788 * [taylor]: Taking taylor expansion of 0 in x 184.792 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 184.792 * [approximate]: Taking taylor expansion of (* (pow x 1/6) (pow y 1/3)) in (y x) around 0 184.792 * [taylor]: Taking taylor expansion of (* (pow x 1/6) (pow y 1/3)) in x 184.792 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 184.792 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 184.792 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 184.792 * [taylor]: Taking taylor expansion of 1/6 in x 184.792 * [taylor]: Taking taylor expansion of (log x) in x 184.792 * [taylor]: Taking taylor expansion of x in x 184.792 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 184.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 184.792 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 184.792 * [taylor]: Taking taylor expansion of 1/3 in x 184.792 * [taylor]: Taking taylor expansion of (log y) in x 184.792 * [taylor]: Taking taylor expansion of y in x 184.792 * [taylor]: Taking taylor expansion of (* (pow x 1/6) (pow y 1/3)) in y 184.792 * [taylor]: Taking taylor expansion of (pow x 1/6) in y 184.792 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in y 184.792 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in y 184.792 * [taylor]: Taking taylor expansion of 1/6 in y 184.792 * [taylor]: Taking taylor expansion of (log x) in y 184.792 * [taylor]: Taking taylor expansion of x in y 184.793 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 184.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 184.793 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 184.793 * [taylor]: Taking taylor expansion of 1/3 in y 184.793 * [taylor]: Taking taylor expansion of (log y) in y 184.793 * [taylor]: Taking taylor expansion of y in y 184.793 * [taylor]: Taking taylor expansion of (* (pow x 1/6) (pow y 1/3)) in y 184.793 * [taylor]: Taking taylor expansion of (pow x 1/6) in y 184.793 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in y 184.793 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in y 184.793 * [taylor]: Taking taylor expansion of 1/6 in y 184.793 * [taylor]: Taking taylor expansion of (log x) in y 184.793 * [taylor]: Taking taylor expansion of x in y 184.793 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 184.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 184.793 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 184.793 * [taylor]: Taking taylor expansion of 1/3 in y 184.793 * [taylor]: Taking taylor expansion of (log y) in y 184.793 * [taylor]: Taking taylor expansion of y in y 184.793 * [taylor]: Taking taylor expansion of (* (pow x 1/6) (exp (* 1/3 (+ (log y) (log 1))))) in x 184.793 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 184.793 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 184.793 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 184.793 * [taylor]: Taking taylor expansion of 1/6 in x 184.793 * [taylor]: Taking taylor expansion of (log x) in x 184.793 * [taylor]: Taking taylor expansion of x in x 184.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log y) (log 1)))) in x 184.794 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log y) (log 1))) in x 184.794 * [taylor]: Taking taylor expansion of 1/3 in x 184.794 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in x 184.794 * [taylor]: Taking taylor expansion of (log y) in x 184.794 * [taylor]: Taking taylor expansion of y in x 184.794 * [taylor]: Taking taylor expansion of (log 1) in x 184.794 * [taylor]: Taking taylor expansion of 1 in x 184.795 * [taylor]: Taking taylor expansion of 0 in x 184.797 * [taylor]: Taking taylor expansion of 0 in x 184.799 * [taylor]: Taking taylor expansion of 0 in x 184.800 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/6) (pow (/ 1 y) 1/3)) in (y x) around 0 184.800 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/6) (pow (/ 1 y) 1/3)) in x 184.800 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 184.800 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 184.800 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 184.800 * [taylor]: Taking taylor expansion of 1/6 in x 184.800 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 184.800 * [taylor]: Taking taylor expansion of (/ 1 x) in x 184.800 * [taylor]: Taking taylor expansion of x in x 184.800 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 184.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 184.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 184.800 * [taylor]: Taking taylor expansion of 1/3 in x 184.800 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 184.800 * [taylor]: Taking taylor expansion of (/ 1 y) in x 184.800 * [taylor]: Taking taylor expansion of y in x 184.800 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/6) (pow (/ 1 y) 1/3)) in y 184.800 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in y 184.800 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in y 184.800 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in y 184.800 * [taylor]: Taking taylor expansion of 1/6 in y 184.800 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 184.800 * [taylor]: Taking taylor expansion of (/ 1 x) in y 184.800 * [taylor]: Taking taylor expansion of x in y 184.800 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 184.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 184.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 184.800 * [taylor]: Taking taylor expansion of 1/3 in y 184.800 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 184.800 * [taylor]: Taking taylor expansion of (/ 1 y) in y 184.801 * [taylor]: Taking taylor expansion of y in y 184.801 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/6) (pow (/ 1 y) 1/3)) in y 184.801 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in y 184.801 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in y 184.801 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in y 184.801 * [taylor]: Taking taylor expansion of 1/6 in y 184.801 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 184.801 * [taylor]: Taking taylor expansion of (/ 1 x) in y 184.801 * [taylor]: Taking taylor expansion of x in y 184.801 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 184.801 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 184.801 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 184.801 * [taylor]: Taking taylor expansion of 1/3 in y 184.801 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 184.801 * [taylor]: Taking taylor expansion of (/ 1 y) in y 184.801 * [taylor]: Taking taylor expansion of y in y 184.801 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/6) (exp (* 1/3 (- (log 1) (log y))))) in x 184.801 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 184.801 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 184.801 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 184.801 * [taylor]: Taking taylor expansion of 1/6 in x 184.802 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 184.802 * [taylor]: Taking taylor expansion of (/ 1 x) in x 184.802 * [taylor]: Taking taylor expansion of x in x 184.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log y)))) in x 184.802 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log y))) in x 184.802 * [taylor]: Taking taylor expansion of 1/3 in x 184.802 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x 184.802 * [taylor]: Taking taylor expansion of (log 1) in x 184.802 * [taylor]: Taking taylor expansion of 1 in x 184.802 * [taylor]: Taking taylor expansion of (log y) in x 184.802 * [taylor]: Taking taylor expansion of y in x 184.803 * [taylor]: Taking taylor expansion of 0 in x 184.805 * [taylor]: Taking taylor expansion of 0 in x 184.808 * [taylor]: Taking taylor expansion of 0 in x 184.808 * [approximate]: Taking taylor expansion of (* (pow (/ (sqrt (/ -1 x)) y) 1/3) (cbrt -1)) in (y x) around 0 184.808 * [taylor]: Taking taylor expansion of (* (pow (/ (sqrt (/ -1 x)) y) 1/3) (cbrt -1)) in x 184.808 * [taylor]: Taking taylor expansion of (pow (/ (sqrt (/ -1 x)) y) 1/3) in x 184.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sqrt (/ -1 x)) y)))) in x 184.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sqrt (/ -1 x)) y))) in x 184.808 * [taylor]: Taking taylor expansion of 1/3 in x 184.808 * [taylor]: Taking taylor expansion of (log (/ (sqrt (/ -1 x)) y)) in x 184.808 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 184.809 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 184.809 * [taylor]: Taking taylor expansion of (/ -1 x) in x 184.809 * [taylor]: Taking taylor expansion of -1 in x 184.809 * [taylor]: Taking taylor expansion of x in x 184.809 * [taylor]: Taking taylor expansion of y in x 184.809 * [taylor]: Taking taylor expansion of (cbrt -1) in x 184.809 * [taylor]: Taking taylor expansion of -1 in x 184.809 * [taylor]: Taking taylor expansion of (* (pow (/ (sqrt (/ -1 x)) y) 1/3) (cbrt -1)) in y 184.809 * [taylor]: Taking taylor expansion of (pow (/ (sqrt (/ -1 x)) y) 1/3) in y 184.809 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sqrt (/ -1 x)) y)))) in y 184.809 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sqrt (/ -1 x)) y))) in y 184.809 * [taylor]: Taking taylor expansion of 1/3 in y 184.809 * [taylor]: Taking taylor expansion of (log (/ (sqrt (/ -1 x)) y)) in y 184.809 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 184.809 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 184.809 * [taylor]: Taking taylor expansion of (/ -1 x) in y 184.809 * [taylor]: Taking taylor expansion of -1 in y 184.809 * [taylor]: Taking taylor expansion of x in y 184.809 * [taylor]: Taking taylor expansion of y in y 184.810 * [taylor]: Taking taylor expansion of (cbrt -1) in y 184.810 * [taylor]: Taking taylor expansion of -1 in y 184.810 * [taylor]: Taking taylor expansion of (* (pow (/ (sqrt (/ -1 x)) y) 1/3) (cbrt -1)) in y 184.810 * [taylor]: Taking taylor expansion of (pow (/ (sqrt (/ -1 x)) y) 1/3) in y 184.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sqrt (/ -1 x)) y)))) in y 184.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sqrt (/ -1 x)) y))) in y 184.810 * [taylor]: Taking taylor expansion of 1/3 in y 184.810 * [taylor]: Taking taylor expansion of (log (/ (sqrt (/ -1 x)) y)) in y 184.810 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 184.810 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 184.810 * [taylor]: Taking taylor expansion of (/ -1 x) in y 184.810 * [taylor]: Taking taylor expansion of -1 in y 184.810 * [taylor]: Taking taylor expansion of x in y 184.810 * [taylor]: Taking taylor expansion of y in y 184.810 * [taylor]: Taking taylor expansion of (cbrt -1) in y 184.810 * [taylor]: Taking taylor expansion of -1 in y 184.811 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sqrt (/ -1 x))) (log y))))) in x 184.811 * [taylor]: Taking taylor expansion of (cbrt -1) in x 184.811 * [taylor]: Taking taylor expansion of -1 in x 184.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sqrt (/ -1 x))) (log y)))) in x 184.811 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sqrt (/ -1 x))) (log y))) in x 184.811 * [taylor]: Taking taylor expansion of 1/3 in x 184.811 * [taylor]: Taking taylor expansion of (- (log (sqrt (/ -1 x))) (log y)) in x 184.811 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 184.811 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 184.811 * [taylor]: Taking taylor expansion of (/ -1 x) in x 184.811 * [taylor]: Taking taylor expansion of -1 in x 184.811 * [taylor]: Taking taylor expansion of x in x 184.811 * [taylor]: Taking taylor expansion of (log y) in x 184.811 * [taylor]: Taking taylor expansion of y in x 184.812 * [taylor]: Taking taylor expansion of 0 in x 184.819 * [taylor]: Taking taylor expansion of 0 in x 184.823 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 184.823 * [approximate]: Taking taylor expansion of (* (pow x 1/6) (pow y 1/3)) in (y x) around 0 184.823 * [taylor]: Taking taylor expansion of (* (pow x 1/6) (pow y 1/3)) in x 184.823 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 184.823 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 184.823 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 184.823 * [taylor]: Taking taylor expansion of 1/6 in x 184.823 * [taylor]: Taking taylor expansion of (log x) in x 184.823 * [taylor]: Taking taylor expansion of x in x 184.823 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 184.823 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 184.823 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 184.823 * [taylor]: Taking taylor expansion of 1/3 in x 184.823 * [taylor]: Taking taylor expansion of (log y) in x 184.823 * [taylor]: Taking taylor expansion of y in x 184.823 * [taylor]: Taking taylor expansion of (* (pow x 1/6) (pow y 1/3)) in y 184.823 * [taylor]: Taking taylor expansion of (pow x 1/6) in y 184.823 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in y 184.823 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in y 184.823 * [taylor]: Taking taylor expansion of 1/6 in y 184.823 * [taylor]: Taking taylor expansion of (log x) in y 184.823 * [taylor]: Taking taylor expansion of x in y 184.824 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 184.824 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 184.824 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 184.824 * [taylor]: Taking taylor expansion of 1/3 in y 184.824 * [taylor]: Taking taylor expansion of (log y) in y 184.824 * [taylor]: Taking taylor expansion of y in y 184.824 * [taylor]: Taking taylor expansion of (* (pow x 1/6) (pow y 1/3)) in y 184.824 * [taylor]: Taking taylor expansion of (pow x 1/6) in y 184.824 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in y 184.824 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in y 184.824 * [taylor]: Taking taylor expansion of 1/6 in y 184.824 * [taylor]: Taking taylor expansion of (log x) in y 184.824 * [taylor]: Taking taylor expansion of x in y 184.824 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 184.824 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 184.824 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 184.824 * [taylor]: Taking taylor expansion of 1/3 in y 184.824 * [taylor]: Taking taylor expansion of (log y) in y 184.824 * [taylor]: Taking taylor expansion of y in y 184.824 * [taylor]: Taking taylor expansion of (* (pow x 1/6) (exp (* 1/3 (+ (log y) (log 1))))) in x 184.824 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 184.824 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 184.824 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 184.824 * [taylor]: Taking taylor expansion of 1/6 in x 184.824 * [taylor]: Taking taylor expansion of (log x) in x 184.824 * [taylor]: Taking taylor expansion of x in x 184.825 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log y) (log 1)))) in x 184.825 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log y) (log 1))) in x 184.825 * [taylor]: Taking taylor expansion of 1/3 in x 184.825 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in x 184.825 * [taylor]: Taking taylor expansion of (log y) in x 184.825 * [taylor]: Taking taylor expansion of y in x 184.825 * [taylor]: Taking taylor expansion of (log 1) in x 184.825 * [taylor]: Taking taylor expansion of 1 in x 184.826 * [taylor]: Taking taylor expansion of 0 in x 184.828 * [taylor]: Taking taylor expansion of 0 in x 184.830 * [taylor]: Taking taylor expansion of 0 in x 184.831 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/6) (pow (/ 1 y) 1/3)) in (y x) around 0 184.831 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/6) (pow (/ 1 y) 1/3)) in x 184.831 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 184.831 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 184.831 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 184.831 * [taylor]: Taking taylor expansion of 1/6 in x 184.831 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 184.831 * [taylor]: Taking taylor expansion of (/ 1 x) in x 184.831 * [taylor]: Taking taylor expansion of x in x 184.831 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 184.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 184.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 184.831 * [taylor]: Taking taylor expansion of 1/3 in x 184.831 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 184.831 * [taylor]: Taking taylor expansion of (/ 1 y) in x 184.831 * [taylor]: Taking taylor expansion of y in x 184.831 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/6) (pow (/ 1 y) 1/3)) in y 184.831 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in y 184.831 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in y 184.831 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in y 184.831 * [taylor]: Taking taylor expansion of 1/6 in y 184.831 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 184.831 * [taylor]: Taking taylor expansion of (/ 1 x) in y 184.831 * [taylor]: Taking taylor expansion of x in y 184.831 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 184.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 184.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 184.831 * [taylor]: Taking taylor expansion of 1/3 in y 184.831 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 184.832 * [taylor]: Taking taylor expansion of (/ 1 y) in y 184.832 * [taylor]: Taking taylor expansion of y in y 184.832 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/6) (pow (/ 1 y) 1/3)) in y 184.832 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in y 184.832 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in y 184.832 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in y 184.832 * [taylor]: Taking taylor expansion of 1/6 in y 184.832 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 184.832 * [taylor]: Taking taylor expansion of (/ 1 x) in y 184.832 * [taylor]: Taking taylor expansion of x in y 184.832 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 184.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 184.832 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 184.832 * [taylor]: Taking taylor expansion of 1/3 in y 184.832 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 184.832 * [taylor]: Taking taylor expansion of (/ 1 y) in y 184.832 * [taylor]: Taking taylor expansion of y in y 184.832 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/6) (exp (* 1/3 (- (log 1) (log y))))) in x 184.832 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 184.832 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 184.832 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 184.832 * [taylor]: Taking taylor expansion of 1/6 in x 184.833 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 184.833 * [taylor]: Taking taylor expansion of (/ 1 x) in x 184.833 * [taylor]: Taking taylor expansion of x in x 184.833 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log y)))) in x 184.833 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log y))) in x 184.833 * [taylor]: Taking taylor expansion of 1/3 in x 184.833 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x 184.833 * [taylor]: Taking taylor expansion of (log 1) in x 184.833 * [taylor]: Taking taylor expansion of 1 in x 184.833 * [taylor]: Taking taylor expansion of (log y) in x 184.833 * [taylor]: Taking taylor expansion of y in x 184.834 * [taylor]: Taking taylor expansion of 0 in x 184.837 * [taylor]: Taking taylor expansion of 0 in x 184.840 * [taylor]: Taking taylor expansion of 0 in x 184.840 * [approximate]: Taking taylor expansion of (* (pow (/ (sqrt (/ -1 x)) y) 1/3) (cbrt -1)) in (y x) around 0 184.840 * [taylor]: Taking taylor expansion of (* (pow (/ (sqrt (/ -1 x)) y) 1/3) (cbrt -1)) in x 184.840 * [taylor]: Taking taylor expansion of (pow (/ (sqrt (/ -1 x)) y) 1/3) in x 184.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sqrt (/ -1 x)) y)))) in x 184.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sqrt (/ -1 x)) y))) in x 184.841 * [taylor]: Taking taylor expansion of 1/3 in x 184.841 * [taylor]: Taking taylor expansion of (log (/ (sqrt (/ -1 x)) y)) in x 184.841 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 184.841 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 184.841 * [taylor]: Taking taylor expansion of (/ -1 x) in x 184.841 * [taylor]: Taking taylor expansion of -1 in x 184.841 * [taylor]: Taking taylor expansion of x in x 184.841 * [taylor]: Taking taylor expansion of y in x 184.841 * [taylor]: Taking taylor expansion of (cbrt -1) in x 184.841 * [taylor]: Taking taylor expansion of -1 in x 184.841 * [taylor]: Taking taylor expansion of (* (pow (/ (sqrt (/ -1 x)) y) 1/3) (cbrt -1)) in y 184.841 * [taylor]: Taking taylor expansion of (pow (/ (sqrt (/ -1 x)) y) 1/3) in y 184.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sqrt (/ -1 x)) y)))) in y 184.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sqrt (/ -1 x)) y))) in y 184.841 * [taylor]: Taking taylor expansion of 1/3 in y 184.841 * [taylor]: Taking taylor expansion of (log (/ (sqrt (/ -1 x)) y)) in y 184.841 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 184.841 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 184.841 * [taylor]: Taking taylor expansion of (/ -1 x) in y 184.841 * [taylor]: Taking taylor expansion of -1 in y 184.841 * [taylor]: Taking taylor expansion of x in y 184.841 * [taylor]: Taking taylor expansion of y in y 184.842 * [taylor]: Taking taylor expansion of (cbrt -1) in y 184.842 * [taylor]: Taking taylor expansion of -1 in y 184.842 * [taylor]: Taking taylor expansion of (* (pow (/ (sqrt (/ -1 x)) y) 1/3) (cbrt -1)) in y 184.842 * [taylor]: Taking taylor expansion of (pow (/ (sqrt (/ -1 x)) y) 1/3) in y 184.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sqrt (/ -1 x)) y)))) in y 184.842 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sqrt (/ -1 x)) y))) in y 184.842 * [taylor]: Taking taylor expansion of 1/3 in y 184.842 * [taylor]: Taking taylor expansion of (log (/ (sqrt (/ -1 x)) y)) in y 184.842 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 184.842 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 184.842 * [taylor]: Taking taylor expansion of (/ -1 x) in y 184.842 * [taylor]: Taking taylor expansion of -1 in y 184.842 * [taylor]: Taking taylor expansion of x in y 184.842 * [taylor]: Taking taylor expansion of y in y 184.842 * [taylor]: Taking taylor expansion of (cbrt -1) in y 184.842 * [taylor]: Taking taylor expansion of -1 in y 184.843 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sqrt (/ -1 x))) (log y))))) in x 184.843 * [taylor]: Taking taylor expansion of (cbrt -1) in x 184.843 * [taylor]: Taking taylor expansion of -1 in x 184.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sqrt (/ -1 x))) (log y)))) in x 184.843 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sqrt (/ -1 x))) (log y))) in x 184.843 * [taylor]: Taking taylor expansion of 1/3 in x 184.843 * [taylor]: Taking taylor expansion of (- (log (sqrt (/ -1 x))) (log y)) in x 184.843 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 184.843 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 184.843 * [taylor]: Taking taylor expansion of (/ -1 x) in x 184.843 * [taylor]: Taking taylor expansion of -1 in x 184.843 * [taylor]: Taking taylor expansion of x in x 184.843 * [taylor]: Taking taylor expansion of (log y) in x 184.843 * [taylor]: Taking taylor expansion of y in x 184.844 * [taylor]: Taking taylor expansion of 0 in x 184.847 * [taylor]: Taking taylor expansion of 0 in x 184.850 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 184.850 * [approximate]: Taking taylor expansion of (pow (* x (pow y 2)) 1/3) in (y x) around 0 184.850 * [taylor]: Taking taylor expansion of (pow (* x (pow y 2)) 1/3) in x 184.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (pow y 2))))) in x 184.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (pow y 2)))) in x 184.850 * [taylor]: Taking taylor expansion of 1/3 in x 184.850 * [taylor]: Taking taylor expansion of (log (* x (pow y 2))) in x 184.850 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 184.850 * [taylor]: Taking taylor expansion of x in x 184.850 * [taylor]: Taking taylor expansion of (pow y 2) in x 184.850 * [taylor]: Taking taylor expansion of y in x 184.851 * [taylor]: Taking taylor expansion of (pow (* x (pow y 2)) 1/3) in y 184.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (pow y 2))))) in y 184.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (pow y 2)))) in y 184.851 * [taylor]: Taking taylor expansion of 1/3 in y 184.851 * [taylor]: Taking taylor expansion of (log (* x (pow y 2))) in y 184.851 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 184.851 * [taylor]: Taking taylor expansion of x in y 184.851 * [taylor]: Taking taylor expansion of (pow y 2) in y 184.851 * [taylor]: Taking taylor expansion of y in y 184.851 * [taylor]: Taking taylor expansion of (pow (* x (pow y 2)) 1/3) in y 184.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (pow y 2))))) in y 184.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (pow y 2)))) in y 184.851 * [taylor]: Taking taylor expansion of 1/3 in y 184.851 * [taylor]: Taking taylor expansion of (log (* x (pow y 2))) in y 184.851 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 184.851 * [taylor]: Taking taylor expansion of x in y 184.851 * [taylor]: Taking taylor expansion of (pow y 2) in y 184.851 * [taylor]: Taking taylor expansion of y in y 184.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log y)) (log x)))) in x 184.852 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log y)) (log x))) in x 184.852 * [taylor]: Taking taylor expansion of 1/3 in x 184.852 * [taylor]: Taking taylor expansion of (+ (* 2 (log y)) (log x)) in x 184.852 * [taylor]: Taking taylor expansion of (* 2 (log y)) in x 184.852 * [taylor]: Taking taylor expansion of 2 in x 184.852 * [taylor]: Taking taylor expansion of (log y) in x 184.852 * [taylor]: Taking taylor expansion of y in x 184.852 * [taylor]: Taking taylor expansion of (log x) in x 184.852 * [taylor]: Taking taylor expansion of x in x 184.852 * [taylor]: Taking taylor expansion of 0 in x 184.854 * [taylor]: Taking taylor expansion of 0 in x 184.855 * [taylor]: Taking taylor expansion of 0 in x 184.856 * [approximate]: Taking taylor expansion of (pow (/ 1 (* x (pow y 2))) 1/3) in (y x) around 0 184.856 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (pow y 2))) 1/3) in x 184.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (pow y 2)))))) in x 184.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (pow y 2))))) in x 184.856 * [taylor]: Taking taylor expansion of 1/3 in x 184.856 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (pow y 2)))) in x 184.856 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 184.856 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 184.856 * [taylor]: Taking taylor expansion of x in x 184.856 * [taylor]: Taking taylor expansion of (pow y 2) in x 184.856 * [taylor]: Taking taylor expansion of y in x 184.856 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (pow y 2))) 1/3) in y 184.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (pow y 2)))))) in y 184.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (pow y 2))))) in y 184.856 * [taylor]: Taking taylor expansion of 1/3 in y 184.856 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (pow y 2)))) in y 184.856 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 184.856 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 184.856 * [taylor]: Taking taylor expansion of x in y 184.856 * [taylor]: Taking taylor expansion of (pow y 2) in y 184.856 * [taylor]: Taking taylor expansion of y in y 184.857 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (pow y 2))) 1/3) in y 184.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (pow y 2)))))) in y 184.857 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (pow y 2))))) in y 184.857 * [taylor]: Taking taylor expansion of 1/3 in y 184.857 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (pow y 2)))) in y 184.857 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 184.857 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 184.857 * [taylor]: Taking taylor expansion of x in y 184.857 * [taylor]: Taking taylor expansion of (pow y 2) in y 184.857 * [taylor]: Taking taylor expansion of y in y 184.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x)) (* 2 (log y))))) in x 184.857 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x)) (* 2 (log y)))) in x 184.857 * [taylor]: Taking taylor expansion of 1/3 in x 184.857 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (* 2 (log y))) in x 184.857 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 184.857 * [taylor]: Taking taylor expansion of (/ 1 x) in x 184.857 * [taylor]: Taking taylor expansion of x in x 184.857 * [taylor]: Taking taylor expansion of (* 2 (log y)) in x 184.857 * [taylor]: Taking taylor expansion of 2 in x 184.857 * [taylor]: Taking taylor expansion of (log y) in x 184.857 * [taylor]: Taking taylor expansion of y in x 184.858 * [taylor]: Taking taylor expansion of 0 in x 184.860 * [taylor]: Taking taylor expansion of 0 in x 184.862 * [taylor]: Taking taylor expansion of 0 in x 184.862 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (sqrt (/ -1 x)) 2) (pow y 2)) 1/3)) in (y x) around 0 184.862 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (sqrt (/ -1 x)) 2) (pow y 2)) 1/3)) in x 184.862 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 184.862 * [taylor]: Taking taylor expansion of (cbrt -1) in x 184.862 * [taylor]: Taking taylor expansion of -1 in x 184.862 * [taylor]: Taking taylor expansion of (pow (/ (pow (sqrt (/ -1 x)) 2) (pow y 2)) 1/3) in x 184.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sqrt (/ -1 x)) 2) (pow y 2))))) in x 184.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sqrt (/ -1 x)) 2) (pow y 2)))) in x 184.862 * [taylor]: Taking taylor expansion of 1/3 in x 184.862 * [taylor]: Taking taylor expansion of (log (/ (pow (sqrt (/ -1 x)) 2) (pow y 2))) in x 184.862 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 x)) 2) (pow y 2)) in x 184.862 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 184.862 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 184.862 * [taylor]: Taking taylor expansion of (/ -1 x) in x 184.862 * [taylor]: Taking taylor expansion of -1 in x 184.863 * [taylor]: Taking taylor expansion of x in x 184.863 * [taylor]: Taking taylor expansion of (pow y 2) in x 184.863 * [taylor]: Taking taylor expansion of y in x 184.863 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (sqrt (/ -1 x)) 2) (pow y 2)) 1/3)) in y 184.863 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 184.863 * [taylor]: Taking taylor expansion of (cbrt -1) in y 184.863 * [taylor]: Taking taylor expansion of -1 in y 184.863 * [taylor]: Taking taylor expansion of (pow (/ (pow (sqrt (/ -1 x)) 2) (pow y 2)) 1/3) in y 184.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sqrt (/ -1 x)) 2) (pow y 2))))) in y 184.863 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sqrt (/ -1 x)) 2) (pow y 2)))) in y 184.863 * [taylor]: Taking taylor expansion of 1/3 in y 184.863 * [taylor]: Taking taylor expansion of (log (/ (pow (sqrt (/ -1 x)) 2) (pow y 2))) in y 184.863 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 x)) 2) (pow y 2)) in y 184.863 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in y 184.863 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 184.863 * [taylor]: Taking taylor expansion of (/ -1 x) in y 184.863 * [taylor]: Taking taylor expansion of -1 in y 184.863 * [taylor]: Taking taylor expansion of x in y 184.864 * [taylor]: Taking taylor expansion of (pow y 2) in y 184.864 * [taylor]: Taking taylor expansion of y in y 184.864 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (sqrt (/ -1 x)) 2) (pow y 2)) 1/3)) in y 184.864 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 184.864 * [taylor]: Taking taylor expansion of (cbrt -1) in y 184.864 * [taylor]: Taking taylor expansion of -1 in y 184.864 * [taylor]: Taking taylor expansion of (pow (/ (pow (sqrt (/ -1 x)) 2) (pow y 2)) 1/3) in y 184.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sqrt (/ -1 x)) 2) (pow y 2))))) in y 184.864 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sqrt (/ -1 x)) 2) (pow y 2)))) in y 184.864 * [taylor]: Taking taylor expansion of 1/3 in y 184.864 * [taylor]: Taking taylor expansion of (log (/ (pow (sqrt (/ -1 x)) 2) (pow y 2))) in y 184.864 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 x)) 2) (pow y 2)) in y 184.864 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in y 184.865 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 184.865 * [taylor]: Taking taylor expansion of (/ -1 x) in y 184.865 * [taylor]: Taking taylor expansion of -1 in y 184.865 * [taylor]: Taking taylor expansion of x in y 184.865 * [taylor]: Taking taylor expansion of (pow y 2) in y 184.865 * [taylor]: Taking taylor expansion of y in y 184.866 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (pow (sqrt (/ -1 x)) 2)) (* 2 (log y)))))) in x 184.866 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 184.866 * [taylor]: Taking taylor expansion of (cbrt -1) in x 184.866 * [taylor]: Taking taylor expansion of -1 in x 184.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sqrt (/ -1 x)) 2)) (* 2 (log y))))) in x 184.866 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sqrt (/ -1 x)) 2)) (* 2 (log y)))) in x 184.866 * [taylor]: Taking taylor expansion of 1/3 in x 184.866 * [taylor]: Taking taylor expansion of (- (log (pow (sqrt (/ -1 x)) 2)) (* 2 (log y))) in x 184.866 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 2)) in x 184.866 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 184.866 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 184.866 * [taylor]: Taking taylor expansion of (/ -1 x) in x 184.866 * [taylor]: Taking taylor expansion of -1 in x 184.866 * [taylor]: Taking taylor expansion of x in x 184.866 * [taylor]: Taking taylor expansion of (* 2 (log y)) in x 184.866 * [taylor]: Taking taylor expansion of 2 in x 184.866 * [taylor]: Taking taylor expansion of (log y) in x 184.866 * [taylor]: Taking taylor expansion of y in x 184.869 * [taylor]: Taking taylor expansion of 0 in x 184.873 * [taylor]: Taking taylor expansion of 0 in x 184.877 * * * [progress]: simplifying candidates 184.878 * [simplify]: Simplifying using # : (log (cbrt (* y (sqrt x)))) (exp (cbrt (* y (sqrt x)))) (cbrt y) (cbrt (sqrt x)) (* (cbrt (cbrt (* y (sqrt x)))) (cbrt (cbrt (* y (sqrt x))))) (cbrt (cbrt (* y (sqrt x)))) (* (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))) (cbrt (* y (sqrt x)))) (sqrt (cbrt (* y (sqrt x)))) (sqrt (cbrt (* y (sqrt x)))) (log (cbrt (* y (sqrt x)))) (exp (cbrt (* y (sqrt x)))) (cbrt y) (cbrt (sqrt x)) (* (cbrt (cbrt (* y (sqrt x)))) (cbrt (cbrt (* y (sqrt x))))) (cbrt (cbrt (* y (sqrt x)))) (* (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))) (cbrt (* y (sqrt x)))) (sqrt (cbrt (* y (sqrt x)))) (sqrt (cbrt (* y (sqrt x)))) (log (cbrt (* y (sqrt x)))) (exp (cbrt (* y (sqrt x)))) (cbrt y) (cbrt (sqrt x)) (* (cbrt (cbrt (* y (sqrt x)))) (cbrt (cbrt (* y (sqrt x))))) (cbrt (cbrt (* y (sqrt x)))) (* (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))) (cbrt (* y (sqrt x)))) (sqrt (cbrt (* y (sqrt x)))) (sqrt (cbrt (* y (sqrt x)))) (+ 1/3 1/3) (+ 1 1) (* (* y (sqrt x)) (* y (sqrt x))) (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))) (+ 1 1) (+ (log (cbrt (* y (sqrt x)))) (log (cbrt (* y (sqrt x))))) (log (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x))))) (exp (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x))))) (* (* y (sqrt x)) (* y (sqrt x))) (* (cbrt (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x))))) (cbrt (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))))) (cbrt (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x))))) (* (* (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))) (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x))))) (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x))))) (sqrt (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x))))) (sqrt (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x))))) (* (cbrt y) (cbrt y)) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (* (cbrt (cbrt (* y (sqrt x)))) (cbrt (cbrt (* y (sqrt x))))) (* (cbrt (cbrt (* y (sqrt x)))) (cbrt (cbrt (* y (sqrt x)))))) (* (cbrt (cbrt (* y (sqrt x)))) (cbrt (cbrt (* y (sqrt x))))) (* (sqrt (cbrt (* y (sqrt x)))) (sqrt (cbrt (* y (sqrt x))))) (* (sqrt (cbrt (* y (sqrt x)))) (sqrt (cbrt (* y (sqrt x))))) (* 1 1) (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))) (* (sqrt (cbrt (* y (sqrt x)))) (sqrt (cbrt (* y (sqrt x))))) (* (sqrt (cbrt (* y (sqrt x)))) (sqrt (cbrt (* y (sqrt x))))) (* 2 1/3) (* 2 1) (* (cbrt (* y (sqrt x))) (cbrt y)) (* (cbrt (* y (sqrt x))) (* (cbrt (cbrt (* y (sqrt x)))) (cbrt (cbrt (* y (sqrt x)))))) (* (cbrt (* y (sqrt x))) (sqrt (cbrt (* y (sqrt x))))) (* (cbrt (* y (sqrt x))) 1) (* (cbrt (sqrt x)) (cbrt (* y (sqrt x)))) (* (cbrt (cbrt (* y (sqrt x)))) (cbrt (* y (sqrt x)))) (* (sqrt (cbrt (* y (sqrt x)))) (cbrt (* y (sqrt x)))) (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))) (* (exp (* 1/6 (+ (log 1) (log x)))) (exp (* 1/3 (+ (log y) (log 1))))) (* (exp (* 1/6 (- (log 1) (log (/ 1 x))))) (exp (* 1/3 (- (log 1) (log (/ 1 y)))))) (- (+ (* (cbrt -1) (exp (* 1/3 (- (log NAN) (log (/ -1 y)))))) (* 2/9 (/ (* (pow NAN 4) (* (cbrt -1) (exp (* 1/3 (- (log NAN) (log (/ -1 y))))))) (pow x 2)))) (* 1/3 (/ (* (pow NAN 2) (* (cbrt -1) (exp (* 1/3 (- (log NAN) (log (/ -1 y))))))) x))) (* (exp (* 1/6 (+ (log 1) (log x)))) (exp (* 1/3 (+ (log y) (log 1))))) (* (exp (* 1/6 (- (log 1) (log (/ 1 x))))) (exp (* 1/3 (- (log 1) (log (/ 1 y)))))) (- (+ (* (cbrt -1) (exp (* 1/3 (- (log NAN) (log (/ -1 y)))))) (* 2/9 (/ (* (pow NAN 4) (* (cbrt -1) (exp (* 1/3 (- (log NAN) (log (/ -1 y))))))) (pow x 2)))) (* 1/3 (/ (* (pow NAN 2) (* (cbrt -1) (exp (* 1/3 (- (log NAN) (log (/ -1 y))))))) x))) (* (exp (* 1/6 (+ (log 1) (log x)))) (exp (* 1/3 (+ (log y) (log 1))))) (* (exp (* 1/6 (- (log 1) (log (/ 1 x))))) (exp (* 1/3 (- (log 1) (log (/ 1 y)))))) (- (+ (* (cbrt -1) (exp (* 1/3 (- (log NAN) (log (/ -1 y)))))) (* 2/9 (/ (* (pow NAN 4) (* (cbrt -1) (exp (* 1/3 (- (log NAN) (log (/ -1 y))))))) (pow x 2)))) (* 1/3 (/ (* (pow NAN 2) (* (cbrt -1) (exp (* 1/3 (- (log NAN) (log (/ -1 y))))))) x))) (exp (* 1/3 (+ (* 2 (log y)) (+ (log 1) (log x))))) (exp (* 1/3 (- (log 1) (+ (log (/ 1 x)) (* 2 (log (/ 1 y))))))) (- (+ (* (exp (* 1/3 (- (log (pow NAN 2)) (* 2 (log (/ -1 y)))))) (pow (cbrt -1) 2)) (* 5/9 (/ (* (exp (* 1/3 (- (log (pow NAN 2)) (* 2 (log (/ -1 y)))))) (* (pow NAN 4) (pow (cbrt -1) 2))) (pow x 2)))) (* 2/3 (/ (* (exp (* 1/3 (- (log (pow NAN 2)) (* 2 (log (/ -1 y)))))) (* (pow NAN 2) (pow (cbrt -1) 2))) x))) 184.879 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 184.880 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 184.880 * * [simplify]: iteration done : 7 enodes (cost 6 ) 184.881 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 184.881 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 184.882 * * [simplify]: iteration done : 7 enodes (cost 6 ) 184.883 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 184.883 * * [simplify]: iteration done : 2 enodes (cost 2 ) 184.883 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 184.883 * * [simplify]: iteration done : 3 enodes (cost 3 ) 184.884 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 184.885 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 184.885 * * [simplify]: iteration done : 8 enodes (cost 13 ) 184.886 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 184.887 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 184.887 * * [simplify]: iteration done : 7 enodes (cost 6 ) 184.888 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 184.889 * * [simplify]: iteration 1 : 9 enodes (cost 17 ) 184.890 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 184.891 * * [simplify]: iteration 3 : 16 enodes (cost 4 ) 184.893 * * [simplify]: iteration 4 : 22 enodes (cost 4 ) 184.896 * * [simplify]: iteration 5 : 32 enodes (cost 4 ) 184.899 * * [simplify]: iteration 6 : 53 enodes (cost 4 ) 184.913 * * [simplify]: iteration 7 : 113 enodes (cost 4 ) 184.962 * * [simplify]: iteration 8 : 334 enodes (cost 4 ) 185.426 * * [simplify]: iteration 9 : 1261 enodes (cost 4 ) 187.742 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 187.743 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 187.744 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 187.744 * * [simplify]: iteration done : 7 enodes (cost 6 ) 187.745 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 187.746 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 187.746 * * [simplify]: iteration done : 7 enodes (cost 6 ) 187.747 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 187.747 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 187.748 * * [simplify]: iteration done : 7 enodes (cost 6 ) 187.749 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 187.749 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 187.750 * * [simplify]: iteration done : 7 enodes (cost 6 ) 187.750 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 187.751 * * [simplify]: iteration done : 2 enodes (cost 2 ) 187.751 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 187.751 * * [simplify]: iteration done : 3 enodes (cost 3 ) 187.752 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 187.753 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 187.753 * * [simplify]: iteration done : 8 enodes (cost 13 ) 187.754 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 187.755 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 187.755 * * [simplify]: iteration done : 7 enodes (cost 6 ) 187.756 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 187.757 * * [simplify]: iteration 1 : 9 enodes (cost 17 ) 187.758 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 187.759 * * [simplify]: iteration 3 : 16 enodes (cost 4 ) 187.761 * * [simplify]: iteration 4 : 22 enodes (cost 4 ) 187.763 * * [simplify]: iteration 5 : 32 enodes (cost 4 ) 187.767 * * [simplify]: iteration 6 : 53 enodes (cost 4 ) 187.777 * * [simplify]: iteration 7 : 113 enodes (cost 4 ) 187.827 * * [simplify]: iteration 8 : 334 enodes (cost 4 ) 188.291 * * [simplify]: iteration 9 : 1261 enodes (cost 4 ) 190.610 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 190.611 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 190.611 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 190.612 * * [simplify]: iteration done : 7 enodes (cost 6 ) 190.613 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 190.613 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 190.614 * * [simplify]: iteration done : 7 enodes (cost 6 ) 190.614 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 190.615 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 190.616 * * [simplify]: iteration done : 7 enodes (cost 6 ) 190.616 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 190.617 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 190.617 * * [simplify]: iteration done : 7 enodes (cost 6 ) 190.618 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 190.618 * * [simplify]: iteration done : 2 enodes (cost 2 ) 190.619 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 190.619 * * [simplify]: iteration done : 3 enodes (cost 3 ) 190.619 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 190.620 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 190.621 * * [simplify]: iteration done : 8 enodes (cost 13 ) 190.621 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 190.622 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 190.623 * * [simplify]: iteration done : 7 enodes (cost 6 ) 190.623 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 190.624 * * [simplify]: iteration 1 : 9 enodes (cost 17 ) 190.625 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 190.627 * * [simplify]: iteration 3 : 16 enodes (cost 4 ) 190.629 * * [simplify]: iteration 4 : 22 enodes (cost 4 ) 190.631 * * [simplify]: iteration 5 : 32 enodes (cost 4 ) 190.635 * * [simplify]: iteration 6 : 53 enodes (cost 4 ) 190.644 * * [simplify]: iteration 7 : 113 enodes (cost 4 ) 190.694 * * [simplify]: iteration 8 : 334 enodes (cost 4 ) 191.157 * * [simplify]: iteration 9 : 1261 enodes (cost 4 ) 193.455 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 193.456 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 193.456 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 193.457 * * [simplify]: iteration done : 7 enodes (cost 6 ) 193.458 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 193.458 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 193.459 * * [simplify]: iteration done : 7 enodes (cost 6 ) 193.459 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 193.460 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 193.460 * * [simplify]: iteration done : 5 enodes (cost 1 ) 193.460 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 193.461 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 193.461 * * [simplify]: iteration done : 6 enodes (cost 1 ) 193.462 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 193.462 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 193.465 * * [simplify]: iteration 2 : 24 enodes (cost 5 ) 193.473 * * [simplify]: iteration done : 24 enodes (cost 5 ) 193.474 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 193.474 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 193.475 * * [simplify]: iteration done : 7 enodes (cost 11 ) 193.475 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 193.476 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 193.476 * * [simplify]: iteration done : 6 enodes (cost 1 ) 193.477 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 193.477 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 193.478 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 193.479 * * [simplify]: iteration done : 11 enodes (cost 8 ) 193.480 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 193.481 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 193.482 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 193.483 * * [simplify]: iteration 3 : 13 enodes (cost 8 ) 193.484 * * [simplify]: iteration done : 13 enodes (cost 8 ) 193.485 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 193.486 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 193.487 * * [simplify]: iteration 2 : 14 enodes (cost 12 ) 193.488 * * [simplify]: iteration 3 : 19 enodes (cost 12 ) 193.491 * * [simplify]: iteration 4 : 37 enodes (cost 12 ) 193.496 * * [simplify]: iteration 5 : 77 enodes (cost 12 ) 193.517 * * [simplify]: iteration 6 : 182 enodes (cost 12 ) 193.616 * * [simplify]: iteration 7 : 564 enodes (cost 12 ) 194.471 * * [simplify]: iteration 8 : 2244 enodes (cost 12 ) 196.597 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 196.598 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 196.598 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 196.601 * * [simplify]: iteration 2 : 24 enodes (cost 5 ) 196.604 * * [simplify]: iteration done : 24 enodes (cost 5 ) 196.605 * * [simplify]: iteration 0 : 8 enodes (cost 25 ) 196.606 * * [simplify]: iteration 1 : 9 enodes (cost 25 ) 196.607 * * [simplify]: iteration done : 9 enodes (cost 25 ) 196.607 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 196.608 * * [simplify]: iteration 1 : 8 enodes (cost 12 ) 196.609 * * [simplify]: iteration done : 8 enodes (cost 12 ) 196.609 * * [simplify]: iteration 0 : 8 enodes (cost 35 ) 196.611 * * [simplify]: iteration 1 : 17 enodes (cost 35 ) 196.614 * * [simplify]: iteration 2 : 25 enodes (cost 13 ) 196.618 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 196.626 * * [simplify]: iteration 4 : 101 enodes (cost 7 ) 196.660 * * [simplify]: iteration 5 : 232 enodes (cost 5 ) 196.760 * * [simplify]: iteration 6 : 522 enodes (cost 5 ) 197.547 * * [simplify]: iteration 7 : 1750 enodes (cost 5 ) 199.651 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 199.651 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 199.652 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 199.653 * * [simplify]: iteration done : 9 enodes (cost 6 ) 199.654 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 199.654 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 199.655 * * [simplify]: iteration done : 9 enodes (cost 6 ) 199.656 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 199.657 * * [simplify]: iteration done : 3 enodes (cost 5 ) 199.657 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 199.658 * * [simplify]: iteration done : 4 enodes (cost 7 ) 199.658 * * [simplify]: iteration 0 : 8 enodes (cost 27 ) 199.659 * * [simplify]: iteration 1 : 13 enodes (cost 27 ) 199.661 * * [simplify]: iteration 2 : 15 enodes (cost 15 ) 199.663 * * [simplify]: iteration 3 : 24 enodes (cost 8 ) 199.666 * * [simplify]: iteration 4 : 39 enodes (cost 8 ) 199.671 * * [simplify]: iteration 5 : 65 enodes (cost 8 ) 199.681 * * [simplify]: iteration 6 : 136 enodes (cost 8 ) 199.726 * * [simplify]: iteration 7 : 348 enodes (cost 8 ) 200.087 * * [simplify]: iteration 8 : 1252 enodes (cost 8 ) 201.732 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 201.732 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 201.733 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 201.734 * * [simplify]: iteration done : 8 enodes (cost 13 ) 201.735 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 201.735 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 201.736 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 201.737 * * [simplify]: iteration done : 9 enodes (cost 5 ) 201.737 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 201.738 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 201.739 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 201.746 * * [simplify]: iteration done : 9 enodes (cost 5 ) 201.747 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 201.747 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 201.747 * * [simplify]: iteration done : 4 enodes (cost 1 ) 201.748 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 201.749 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 201.750 * * [simplify]: iteration done : 7 enodes (cost 11 ) 201.750 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 201.751 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 201.752 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 201.753 * * [simplify]: iteration done : 9 enodes (cost 5 ) 201.754 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 201.754 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 201.755 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 201.756 * * [simplify]: iteration done : 9 enodes (cost 5 ) 201.756 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 201.757 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 201.757 * * [simplify]: iteration done : 5 enodes (cost 1 ) 201.757 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 201.758 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 201.758 * * [simplify]: iteration done : 6 enodes (cost 1 ) 201.759 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 201.759 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 201.760 * * [simplify]: iteration done : 9 enodes (cost 8 ) 201.761 * * [simplify]: iteration 0 : 8 enodes (cost 19 ) 201.762 * * [simplify]: iteration 1 : 12 enodes (cost 19 ) 201.763 * * [simplify]: iteration 2 : 14 enodes (cost 19 ) 201.765 * * [simplify]: iteration done : 14 enodes (cost 19 ) 201.765 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 201.766 * * [simplify]: iteration 1 : 9 enodes (cost 12 ) 201.767 * * [simplify]: iteration done : 9 enodes (cost 12 ) 201.767 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 201.768 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 201.769 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 201.770 * * [simplify]: iteration done : 14 enodes (cost 5 ) 201.771 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 201.771 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 201.772 * * [simplify]: iteration done : 9 enodes (cost 9 ) 201.773 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 201.773 * * [simplify]: iteration 1 : 9 enodes (cost 12 ) 201.774 * * [simplify]: iteration done : 9 enodes (cost 12 ) 201.775 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 201.776 * * [simplify]: iteration 1 : 9 enodes (cost 12 ) 201.777 * * [simplify]: iteration done : 9 enodes (cost 12 ) 201.778 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 201.778 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 201.779 * * [simplify]: iteration done : 7 enodes (cost 11 ) 201.780 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 201.782 * * [simplify]: iteration 1 : 40 enodes (cost 14 ) 201.788 * * [simplify]: iteration 2 : 60 enodes (cost 10 ) 201.798 * * [simplify]: iteration 3 : 116 enodes (cost 6 ) 201.826 * * [simplify]: iteration 4 : 284 enodes (cost 6 ) 202.019 * * [simplify]: iteration 5 : 917 enodes (cost 6 ) 203.724 * * [simplify]: iteration 6 : 3628 enodes (cost 6 ) 205.424 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 205.425 * * [simplify]: iteration 0 : 17 enodes (cost 21 ) 205.427 * * [simplify]: iteration 1 : 38 enodes (cost 16 ) 205.432 * * [simplify]: iteration 2 : 69 enodes (cost 10 ) 205.451 * * [simplify]: iteration 3 : 151 enodes (cost 6 ) 205.475 * * [simplify]: iteration 4 : 341 enodes (cost 6 ) 205.676 * * [simplify]: iteration 5 : 1088 enodes (cost 6 ) 208.010 * * [simplify]: iteration 6 : 4436 enodes (cost 6 ) 209.877 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 209.878 * * [simplify]: iteration 0 : 27 enodes (cost 59 ) 209.882 * * [simplify]: iteration 1 : 68 enodes (cost 59 ) 209.898 * * [simplify]: iteration 2 : 234 enodes (cost 59 ) 209.954 * * [simplify]: iteration 3 : 823 enodes (cost 56 ) 210.767 * * [simplify]: iteration 4 : 4863 enodes (cost 37 ) 211.950 * * [simplify]: iteration done : 5000 enodes (cost 37 ) 211.950 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 211.953 * * [simplify]: iteration 1 : 40 enodes (cost 14 ) 211.959 * * [simplify]: iteration 2 : 60 enodes (cost 10 ) 211.969 * * [simplify]: iteration 3 : 116 enodes (cost 6 ) 211.993 * * [simplify]: iteration 4 : 284 enodes (cost 6 ) 212.186 * * [simplify]: iteration 5 : 917 enodes (cost 6 ) 213.884 * * [simplify]: iteration 6 : 3628 enodes (cost 6 ) 215.585 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 215.586 * * [simplify]: iteration 0 : 17 enodes (cost 21 ) 215.588 * * [simplify]: iteration 1 : 38 enodes (cost 16 ) 215.595 * * [simplify]: iteration 2 : 69 enodes (cost 10 ) 215.607 * * [simplify]: iteration 3 : 151 enodes (cost 6 ) 215.838 * * [simplify]: iteration 4 : 341 enodes (cost 6 ) 216.036 * * [simplify]: iteration 5 : 1088 enodes (cost 6 ) 218.354 * * [simplify]: iteration 6 : 4436 enodes (cost 6 ) 220.206 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 220.207 * * [simplify]: iteration 0 : 27 enodes (cost 59 ) 220.211 * * [simplify]: iteration 1 : 68 enodes (cost 59 ) 220.227 * * [simplify]: iteration 2 : 234 enodes (cost 59 ) 220.281 * * [simplify]: iteration 3 : 823 enodes (cost 56 ) 221.089 * * [simplify]: iteration 4 : 4863 enodes (cost 37 ) 222.269 * * [simplify]: iteration done : 5000 enodes (cost 37 ) 222.270 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 222.273 * * [simplify]: iteration 1 : 40 enodes (cost 14 ) 222.287 * * [simplify]: iteration 2 : 60 enodes (cost 10 ) 222.296 * * [simplify]: iteration 3 : 116 enodes (cost 6 ) 222.321 * * [simplify]: iteration 4 : 284 enodes (cost 6 ) 222.513 * * [simplify]: iteration 5 : 917 enodes (cost 6 ) 224.194 * * [simplify]: iteration 6 : 3628 enodes (cost 6 ) 225.887 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 225.888 * * [simplify]: iteration 0 : 17 enodes (cost 21 ) 225.890 * * [simplify]: iteration 1 : 38 enodes (cost 16 ) 225.896 * * [simplify]: iteration 2 : 69 enodes (cost 10 ) 225.909 * * [simplify]: iteration 3 : 151 enodes (cost 6 ) 225.936 * * [simplify]: iteration 4 : 341 enodes (cost 6 ) 226.130 * * [simplify]: iteration 5 : 1088 enodes (cost 6 ) 228.447 * * [simplify]: iteration 6 : 4436 enodes (cost 6 ) 230.321 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 230.322 * * [simplify]: iteration 0 : 27 enodes (cost 59 ) 230.326 * * [simplify]: iteration 1 : 68 enodes (cost 59 ) 230.349 * * [simplify]: iteration 2 : 234 enodes (cost 59 ) 230.406 * * [simplify]: iteration 3 : 823 enodes (cost 56 ) 231.210 * * [simplify]: iteration 4 : 4863 enodes (cost 37 ) 232.391 * * [simplify]: iteration done : 5000 enodes (cost 37 ) 232.393 * * [simplify]: iteration 0 : 13 enodes (cost 13 ) 232.394 * * [simplify]: iteration 1 : 29 enodes (cost 12 ) 232.399 * * [simplify]: iteration 2 : 65 enodes (cost 10 ) 232.409 * * [simplify]: iteration 3 : 114 enodes (cost 7 ) 232.432 * * [simplify]: iteration 4 : 196 enodes (cost 6 ) 232.487 * * [simplify]: iteration 5 : 455 enodes (cost 6 ) 233.135 * * [simplify]: iteration 6 : 1499 enodes (cost 6 ) 235.015 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 235.016 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 235.019 * * [simplify]: iteration 1 : 32 enodes (cost 14 ) 235.024 * * [simplify]: iteration 2 : 65 enodes (cost 12 ) 235.040 * * [simplify]: iteration 3 : 178 enodes (cost 9 ) 235.103 * * [simplify]: iteration 4 : 378 enodes (cost 6 ) 235.255 * * [simplify]: iteration 5 : 751 enodes (cost 6 ) 235.723 * * [simplify]: iteration 6 : 1633 enodes (cost 6 ) 237.711 * * [simplify]: iteration 7 : 4449 enodes (cost 6 ) 238.619 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 238.620 * * [simplify]: iteration 0 : 32 enodes (cost 77 ) 238.624 * * [simplify]: iteration 1 : 81 enodes (cost 77 ) 238.646 * * [simplify]: iteration 2 : 301 enodes (cost 71 ) 238.735 * * [simplify]: iteration 3 : 1117 enodes (cost 65 ) 239.499 * * [simplify]: iteration done : 5000 enodes (cost 65 ) 239.500 * [simplify]: Simplified to: (log (cbrt (* y (sqrt x)))) (exp (cbrt (* y (sqrt x)))) (cbrt y) (cbrt (sqrt x)) (* (cbrt (cbrt (* y (sqrt x)))) (cbrt (cbrt (* y (sqrt x))))) (cbrt (cbrt (* y (sqrt x)))) (* y (sqrt x)) (sqrt (cbrt (* y (sqrt x)))) (sqrt (cbrt (* y (sqrt x)))) (log (cbrt (* y (sqrt x)))) (exp (cbrt (* y (sqrt x)))) (cbrt y) (cbrt (sqrt x)) (* (cbrt (cbrt (* y (sqrt x)))) (cbrt (cbrt (* y (sqrt x))))) (cbrt (cbrt (* y (sqrt x)))) (* y (sqrt x)) (sqrt (cbrt (* y (sqrt x)))) (sqrt (cbrt (* y (sqrt x)))) (log (cbrt (* y (sqrt x)))) (exp (cbrt (* y (sqrt x)))) (cbrt y) (cbrt (sqrt x)) (* (cbrt (cbrt (* y (sqrt x)))) (cbrt (cbrt (* y (sqrt x))))) (cbrt (cbrt (* y (sqrt x)))) (* y (sqrt x)) (sqrt (cbrt (* y (sqrt x)))) (sqrt (cbrt (* y (sqrt x)))) 2/3 2 (* x (* y y)) (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))) 2 (* 2 (log (cbrt (* y (sqrt x))))) (* 2 (log (cbrt (* y (sqrt x))))) (exp (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x))))) (* x (* y y)) (* (cbrt (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x))))) (cbrt (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))))) (cbrt (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x))))) (* x (* y y)) (fabs (cbrt (* y (sqrt x)))) (fabs (cbrt (* y (sqrt x)))) (* (cbrt y) (cbrt y)) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (pow (cbrt (cbrt (* y (sqrt x)))) 4) (* (cbrt (cbrt (* y (sqrt x)))) (cbrt (cbrt (* y (sqrt x))))) (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x))) 1 (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))) (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x))) 2/3 2 (* (cbrt (* y (sqrt x))) (cbrt y)) (* (cbrt (* y (sqrt x))) (* (cbrt (cbrt (* y (sqrt x)))) (cbrt (cbrt (* y (sqrt x)))))) (* (cbrt (* y (sqrt x))) (sqrt (cbrt (* y (sqrt x))))) (cbrt (* y (sqrt x))) (* (cbrt (sqrt x)) (cbrt (* y (sqrt x)))) (* (cbrt (cbrt (* y (sqrt x)))) (cbrt (* y (sqrt x)))) (* (sqrt (cbrt (* y (sqrt x)))) (cbrt (* y (sqrt x)))) (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))) (* (pow x 1/6) (cbrt y)) (* (cbrt y) (pow x 1/6)) (+ (* (* (cbrt (/ NAN (/ -1 y))) (cbrt -1)) (+ (* -1/3 (/ (pow NAN 2) x)) (/ (* (pow NAN 4) 2/9) (pow x 2)))) (* (cbrt (/ NAN (/ -1 y))) (cbrt -1))) (* (pow x 1/6) (cbrt y)) (* (cbrt y) (pow x 1/6)) (+ (* (* (cbrt (/ NAN (/ -1 y))) (cbrt -1)) (+ (* -1/3 (/ (pow NAN 2) x)) (/ (* (pow NAN 4) 2/9) (pow x 2)))) (* (cbrt (/ NAN (/ -1 y))) (cbrt -1))) (* (pow x 1/6) (cbrt y)) (* (cbrt y) (pow x 1/6)) (+ (* (* (cbrt (/ NAN (/ -1 y))) (cbrt -1)) (+ (* -1/3 (/ (pow NAN 2) x)) (/ (* (pow NAN 4) 2/9) (pow x 2)))) (* (cbrt (/ NAN (/ -1 y))) (cbrt -1))) (* (pow y 2/3) (cbrt x)) (cbrt (/ x (pow y -2))) (+ (- (/ (* 5/9 (* (pow NAN 4) (pow (cbrt -1) 2))) (/ (pow x 2) (exp (* 2/3 (- (log NAN) (log (/ -1 y))))))) (* 2/3 (/ (exp (* 2/3 (- (log NAN) (log (/ -1 y))))) (/ x (* (pow NAN 2) (pow (cbrt -1) 2)))))) (* (exp (* 2/3 (- (log NAN) (log (/ -1 y))))) (pow (cbrt -1) 2))) 239.501 * * * [progress]: adding candidates to table 239.588 * [progress]: [Phase 3 of 3] Extracting. 239.588 * * [regime]: Finding splitpoints for: (# # # # # #) 239.589 * * * [regime-changes]: Trying 3 branch expressions: ((+ (- 1.0 x) (* y (sqrt x))) y x) 239.589 * * * * [regimes]: Trying to branch on (+ (- 1.0 x) (* y (sqrt x))) from (# # # # # #) 239.647 * * * * [regimes]: Trying to branch on y from (# # # # # #) 239.696 * * * * [regimes]: Trying to branch on x from (# # # # # #) 239.745 * * * [regime]: Found split indices: #