10.310 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.023 * * * [progress]: [2/2] Setting up program. 0.025 * [progress]: [Phase 2 of 3] Improving. 0.026 * [simplify]: Simplifying using # : (+ (- 1.0 x) (* y (sqrt x))) 0.026 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.027 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 0.029 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 0.032 * * [simplify]: iteration 3 : 42 enodes (cost 7 ) 0.037 * * [simplify]: iteration 4 : 65 enodes (cost 7 ) 0.047 * * [simplify]: iteration 5 : 86 enodes (cost 7 ) 0.058 * * [simplify]: iteration 6 : 103 enodes (cost 7 ) 0.073 * * [simplify]: iteration 7 : 124 enodes (cost 7 ) 0.093 * * [simplify]: iteration 8 : 147 enodes (cost 7 ) 0.111 * * [simplify]: iteration 9 : 154 enodes (cost 7 ) 0.132 * * [simplify]: iteration 10 : 162 enodes (cost 7 ) 0.153 * * [simplify]: iteration 11 : 166 enodes (cost 7 ) 0.177 * * [simplify]: iteration done : 166 enodes (cost 7 ) 0.177 * [simplify]: Simplified to: (fma y (sqrt x) (- 1.0 x)) 0.180 * * [progress]: iteration 1 / 4 0.180 * * * [progress]: picking best candidate 0.181 * * * * [pick]: Picked # 0.181 * * * [progress]: localizing error 0.187 * * * [progress]: generating rewritten candidates 0.187 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.192 * * * [progress]: generating series expansions 0.192 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.192 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 0.192 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 0.192 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.192 * [taylor]: Taking taylor expansion of x in x 0.194 * [taylor]: Taking taylor expansion of y in x 0.194 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 0.194 * [taylor]: Taking taylor expansion of (sqrt x) in y 0.194 * [taylor]: Taking taylor expansion of x in y 0.194 * [taylor]: Taking taylor expansion of y in y 0.194 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 0.194 * [taylor]: Taking taylor expansion of (sqrt x) in y 0.194 * [taylor]: Taking taylor expansion of x in y 0.194 * [taylor]: Taking taylor expansion of y in y 0.194 * [taylor]: Taking taylor expansion of 0 in x 0.194 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.195 * [taylor]: Taking taylor expansion of x in x 0.196 * [taylor]: Taking taylor expansion of 0 in x 0.197 * [taylor]: Taking taylor expansion of 0 in x 0.200 * [taylor]: Taking taylor expansion of 0 in x 0.203 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 0.203 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 0.203 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.203 * [taylor]: Taking taylor expansion of x in x 0.205 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.205 * [taylor]: Taking taylor expansion of y in x 0.205 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 0.205 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 0.205 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.205 * [taylor]: Taking taylor expansion of x in y 0.205 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.205 * [taylor]: Taking taylor expansion of y in y 0.205 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 0.205 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 0.205 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.205 * [taylor]: Taking taylor expansion of x in y 0.205 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.205 * [taylor]: Taking taylor expansion of y in y 0.206 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.206 * [taylor]: Taking taylor expansion of x in x 0.208 * [taylor]: Taking taylor expansion of 0 in x 0.209 * [taylor]: Taking taylor expansion of 0 in x 0.213 * [taylor]: Taking taylor expansion of 0 in x 0.216 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0 0.216 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x 0.216 * [taylor]: Taking taylor expansion of -1 in x 0.216 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 0.216 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.216 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.216 * [taylor]: Taking taylor expansion of -1 in x 0.216 * [taylor]: Taking taylor expansion of x in x 0.217 * [taylor]: Taking taylor expansion of y in x 0.217 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 0.217 * [taylor]: Taking taylor expansion of -1 in y 0.217 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 0.217 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 0.217 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.217 * [taylor]: Taking taylor expansion of -1 in y 0.217 * [taylor]: Taking taylor expansion of x in y 0.217 * [taylor]: Taking taylor expansion of y in y 0.218 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 0.218 * [taylor]: Taking taylor expansion of -1 in y 0.218 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 0.218 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 0.218 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.218 * [taylor]: Taking taylor expansion of -1 in y 0.218 * [taylor]: Taking taylor expansion of x in y 0.218 * [taylor]: Taking taylor expansion of y in y 0.218 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x 0.218 * [taylor]: Taking taylor expansion of -1 in x 0.218 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.218 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.218 * [taylor]: Taking taylor expansion of -1 in x 0.218 * [taylor]: Taking taylor expansion of x in x 0.221 * [taylor]: Taking taylor expansion of 0 in x 0.227 * [taylor]: Taking taylor expansion of 0 in x 0.235 * * * [progress]: simplifying candidates 0.235 * [simplify]: Simplifying using # : (expm1 (* y (sqrt x))) (log1p (* y (sqrt x))) (* 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)) (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 (* x y)) (- (* +nan.0 (* (pow x 3) y))))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) 0.237 * * [simplify]: iteration 0 : 65 enodes (cost 220 ) 0.251 * * [simplify]: iteration 1 : 155 enodes (cost 197 ) 0.274 * * [simplify]: iteration 2 : 380 enodes (cost 183 ) 0.493 * * [simplify]: iteration 3 : 1197 enodes (cost 175 ) 1.107 * * [simplify]: iteration 4 : 3742 enodes (cost 170 ) 3.016 * * [simplify]: iteration done : 5000 enodes (cost 170 ) 3.016 * [simplify]: Simplified to: (expm1 (* y (sqrt x))) (log1p (* y (sqrt x))) (* y (sqrt x)) (log (* y (sqrt x))) (log (* y (sqrt x))) (exp (* y (sqrt x))) (pow (* y (sqrt x)) 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))) y (* y (sqrt (sqrt x))) y (* (cbrt y) (sqrt x)) (* (sqrt y) (sqrt x)) (* y (sqrt x)) (* (* +nan.0 y) (- (- x (pow x 3)) (pow x 2))) (* +nan.0 (- (- (/ y x) y) (/ y (pow x 2)))) (* +nan.0 (- (- (/ y x) y) (/ y (pow x 2)))) 3.016 * * * [progress]: adding candidates to table 3.075 * * [progress]: iteration 2 / 4 3.075 * * * [progress]: picking best candidate 3.084 * * * * [pick]: Picked # 3.084 * * * [progress]: localizing error 3.092 * * * [progress]: generating rewritten candidates 3.092 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 3.110 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 3.117 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 3.118 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 3.121 * * * [progress]: generating series expansions 3.121 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 3.122 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 3.122 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 3.122 * [taylor]: Taking taylor expansion of (sqrt x) in x 3.122 * [taylor]: Taking taylor expansion of x in x 3.123 * [taylor]: Taking taylor expansion of y in x 3.123 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 3.123 * [taylor]: Taking taylor expansion of (sqrt x) in y 3.123 * [taylor]: Taking taylor expansion of x in y 3.123 * [taylor]: Taking taylor expansion of y in y 3.123 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 3.123 * [taylor]: Taking taylor expansion of (sqrt x) in y 3.123 * [taylor]: Taking taylor expansion of x in y 3.123 * [taylor]: Taking taylor expansion of y in y 3.123 * [taylor]: Taking taylor expansion of 0 in x 3.124 * [taylor]: Taking taylor expansion of (sqrt x) in x 3.124 * [taylor]: Taking taylor expansion of x in x 3.126 * [taylor]: Taking taylor expansion of 0 in x 3.127 * [taylor]: Taking taylor expansion of 0 in x 3.129 * [taylor]: Taking taylor expansion of 0 in x 3.132 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 3.132 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 3.132 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 3.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.132 * [taylor]: Taking taylor expansion of x in x 3.133 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.133 * [taylor]: Taking taylor expansion of y in x 3.133 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 3.133 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 3.133 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.134 * [taylor]: Taking taylor expansion of x in y 3.134 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.134 * [taylor]: Taking taylor expansion of y in y 3.134 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 3.134 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 3.134 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.134 * [taylor]: Taking taylor expansion of x in y 3.134 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.134 * [taylor]: Taking taylor expansion of y in y 3.134 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 3.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.135 * [taylor]: Taking taylor expansion of x in x 3.136 * [taylor]: Taking taylor expansion of 0 in x 3.138 * [taylor]: Taking taylor expansion of 0 in x 3.142 * [taylor]: Taking taylor expansion of 0 in x 3.145 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0 3.145 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x 3.145 * [taylor]: Taking taylor expansion of -1 in x 3.145 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 3.145 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.145 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.145 * [taylor]: Taking taylor expansion of -1 in x 3.145 * [taylor]: Taking taylor expansion of x in x 3.146 * [taylor]: Taking taylor expansion of y in x 3.146 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 3.146 * [taylor]: Taking taylor expansion of -1 in y 3.146 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 3.146 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 3.146 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.146 * [taylor]: Taking taylor expansion of -1 in y 3.146 * [taylor]: Taking taylor expansion of x in y 3.146 * [taylor]: Taking taylor expansion of y in y 3.146 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 3.146 * [taylor]: Taking taylor expansion of -1 in y 3.147 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 3.147 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 3.147 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.147 * [taylor]: Taking taylor expansion of -1 in y 3.147 * [taylor]: Taking taylor expansion of x in y 3.147 * [taylor]: Taking taylor expansion of y in y 3.147 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x 3.147 * [taylor]: Taking taylor expansion of -1 in x 3.147 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.147 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.147 * [taylor]: Taking taylor expansion of -1 in x 3.147 * [taylor]: Taking taylor expansion of x in x 3.150 * [taylor]: Taking taylor expansion of 0 in x 3.155 * [taylor]: Taking taylor expansion of 0 in x 3.161 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 3.161 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0 3.161 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x 3.161 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 3.161 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 3.161 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 3.161 * [taylor]: Taking taylor expansion of 1/4 in x 3.161 * [taylor]: Taking taylor expansion of (log x) in x 3.161 * [taylor]: Taking taylor expansion of x in x 3.162 * [taylor]: Taking taylor expansion of y in x 3.162 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 3.162 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 3.162 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 3.162 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 3.162 * [taylor]: Taking taylor expansion of 1/4 in y 3.162 * [taylor]: Taking taylor expansion of (log x) in y 3.162 * [taylor]: Taking taylor expansion of x in y 3.162 * [taylor]: Taking taylor expansion of y in y 3.162 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 3.162 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 3.162 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 3.162 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 3.162 * [taylor]: Taking taylor expansion of 1/4 in y 3.162 * [taylor]: Taking taylor expansion of (log x) in y 3.162 * [taylor]: Taking taylor expansion of x in y 3.162 * [taylor]: Taking taylor expansion of y in y 3.162 * [taylor]: Taking taylor expansion of 0 in x 3.164 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 3.164 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 3.164 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 3.164 * [taylor]: Taking taylor expansion of 1/4 in x 3.164 * [taylor]: Taking taylor expansion of (log x) in x 3.164 * [taylor]: Taking taylor expansion of x in x 3.167 * [taylor]: Taking taylor expansion of 0 in x 3.172 * [taylor]: Taking taylor expansion of 0 in x 3.173 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0 3.173 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x 3.173 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 3.173 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 3.173 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 3.173 * [taylor]: Taking taylor expansion of 1/4 in x 3.173 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.173 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.173 * [taylor]: Taking taylor expansion of x in x 3.173 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.174 * [taylor]: Taking taylor expansion of y in x 3.174 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 3.174 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 3.174 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 3.174 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 3.174 * [taylor]: Taking taylor expansion of 1/4 in y 3.174 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 3.174 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.174 * [taylor]: Taking taylor expansion of x in y 3.174 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.174 * [taylor]: Taking taylor expansion of y in y 3.177 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 3.177 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 3.177 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 3.177 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 3.177 * [taylor]: Taking taylor expansion of 1/4 in y 3.177 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 3.177 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.177 * [taylor]: Taking taylor expansion of x in y 3.177 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.177 * [taylor]: Taking taylor expansion of y in y 3.178 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 3.178 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 3.178 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 3.178 * [taylor]: Taking taylor expansion of 1/4 in x 3.178 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.178 * [taylor]: Taking taylor expansion of x in x 3.181 * [taylor]: Taking taylor expansion of 0 in x 3.186 * [taylor]: Taking taylor expansion of 0 in x 3.194 * [taylor]: Taking taylor expansion of 0 in x 3.194 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (y x) around 0 3.194 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 3.194 * [taylor]: Taking taylor expansion of -1 in x 3.194 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 3.194 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.194 * [taylor]: Taking taylor expansion of y in x 3.194 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 3.194 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.194 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.194 * [taylor]: Taking taylor expansion of -1 in x 3.194 * [taylor]: Taking taylor expansion of x in x 3.199 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 3.199 * [taylor]: Taking taylor expansion of -1 in y 3.199 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 3.199 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.199 * [taylor]: Taking taylor expansion of y in y 3.199 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 3.199 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 3.199 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.199 * [taylor]: Taking taylor expansion of -1 in y 3.199 * [taylor]: Taking taylor expansion of x in y 3.200 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 3.200 * [taylor]: Taking taylor expansion of -1 in y 3.200 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 3.200 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.200 * [taylor]: Taking taylor expansion of y in y 3.200 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 3.200 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 3.200 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.200 * [taylor]: Taking taylor expansion of -1 in y 3.200 * [taylor]: Taking taylor expansion of x in y 3.200 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 x)))) in x 3.200 * [taylor]: Taking taylor expansion of -1 in x 3.200 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 3.200 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.200 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.200 * [taylor]: Taking taylor expansion of -1 in x 3.200 * [taylor]: Taking taylor expansion of x in x 3.207 * [taylor]: Taking taylor expansion of 0 in x 3.212 * [taylor]: Taking taylor expansion of 0 in x 3.236 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 3.236 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 3.236 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 3.236 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 3.236 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 3.236 * [taylor]: Taking taylor expansion of 1/4 in x 3.236 * [taylor]: Taking taylor expansion of (log x) in x 3.236 * [taylor]: Taking taylor expansion of x in x 3.237 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 3.237 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 3.237 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 3.237 * [taylor]: Taking taylor expansion of 1/4 in x 3.237 * [taylor]: Taking taylor expansion of (log x) in x 3.237 * [taylor]: Taking taylor expansion of x in x 3.302 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 3.302 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 3.302 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 3.302 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 3.302 * [taylor]: Taking taylor expansion of 1/4 in x 3.302 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.302 * [taylor]: Taking taylor expansion of x in x 3.303 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 3.303 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 3.303 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 3.303 * [taylor]: Taking taylor expansion of 1/4 in x 3.303 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.303 * [taylor]: Taking taylor expansion of x in x 3.355 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0 3.356 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 3.356 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.356 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.356 * [taylor]: Taking taylor expansion of -1 in x 3.356 * [taylor]: Taking taylor expansion of x in x 3.360 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 3.360 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.360 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.360 * [taylor]: Taking taylor expansion of -1 in x 3.360 * [taylor]: Taking taylor expansion of x in x 3.380 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 3.380 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 3.380 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 3.380 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 3.380 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 3.380 * [taylor]: Taking taylor expansion of 1/4 in x 3.380 * [taylor]: Taking taylor expansion of (log x) in x 3.380 * [taylor]: Taking taylor expansion of x in x 3.381 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 3.381 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 3.381 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 3.381 * [taylor]: Taking taylor expansion of 1/4 in x 3.381 * [taylor]: Taking taylor expansion of (log x) in x 3.381 * [taylor]: Taking taylor expansion of x in x 3.430 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 3.430 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 3.430 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 3.430 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 3.430 * [taylor]: Taking taylor expansion of 1/4 in x 3.430 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.430 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.430 * [taylor]: Taking taylor expansion of x in x 3.431 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 3.431 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 3.431 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 3.431 * [taylor]: Taking taylor expansion of 1/4 in x 3.431 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.431 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.431 * [taylor]: Taking taylor expansion of x in x 3.481 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0 3.481 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 3.481 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.481 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.481 * [taylor]: Taking taylor expansion of -1 in x 3.481 * [taylor]: Taking taylor expansion of x in x 3.491 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 3.491 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.491 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.491 * [taylor]: Taking taylor expansion of -1 in x 3.491 * [taylor]: Taking taylor expansion of x in x 3.511 * * * [progress]: simplifying candidates 3.512 * [simplify]: Simplifying using # : (expm1 (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (log1p (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* 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))) (expm1 (* y (sqrt (sqrt x)))) (log1p (* y (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))) (expm1 (sqrt (sqrt x))) (log1p (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))) (expm1 (sqrt (sqrt x))) (log1p (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))) (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 (* x y)) (- (* +nan.0 (* (pow x 3) y))))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) (* (pow x 1/4) y) (* (pow x 1/4) y) (- (* (sqrt +nan.0) y) (+ (* +nan.0 (/ y (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ y (* (sqrt +nan.0) (pow x 2)))) (- (* +nan.0 (/ y (* (pow (sqrt +nan.0) 3) (pow x 2))))))))) (pow x 1/4) (pow (/ 1 x) -1/4) (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2))))))))) (pow x 1/4) (pow (/ 1 x) -1/4) (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2))))))))) 3.517 * * [simplify]: iteration 0 : 138 enodes (cost 963 ) 3.558 * * [simplify]: iteration 1 : 355 enodes (cost 754 ) 3.671 * * [simplify]: iteration 2 : 1064 enodes (cost 688 ) 4.550 * * [simplify]: iteration 3 : 3553 enodes (cost 671 ) 5.519 * * [simplify]: iteration done : 5000 enodes (cost 671 ) 5.520 * [simplify]: Simplified to: (expm1 (* y (sqrt x))) (log1p (* y (sqrt x))) (* y (sqrt x)) (* y (sqrt x)) (log (* y (sqrt x))) (log (* y (sqrt x))) (log (* y (sqrt x))) (exp (* y (sqrt x))) (pow (* y (sqrt x)) 3) (pow (* y (sqrt x)) 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))) (* (* y (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (fabs (cbrt (sqrt x)))) (* (sqrt (fabs (cbrt 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))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* y (sqrt (sqrt x))) (sqrt x) (expm1 (* y (sqrt (sqrt x)))) (log1p (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x))) (log (* y (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))))) (* y (fabs (cbrt (sqrt x)))) (* (sqrt (fabs (cbrt x))) y) (* y (sqrt (sqrt (sqrt x)))) y (* y (sqrt (sqrt (sqrt x)))) y (* y (sqrt (sqrt (sqrt x)))) y (* (cbrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* y (sqrt (sqrt x))) (expm1 (sqrt (sqrt x))) (log1p (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))) (expm1 (sqrt (sqrt x))) (log1p (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))) (- (* y (- (* +nan.0 (pow x 2)) (* +nan.0 (- x (pow x 3)))))) (- (+ (* (/ y x) (- (/ +nan.0 x) +nan.0)) (* +nan.0 y))) (- (+ (* (/ y x) (- (/ +nan.0 x) +nan.0)) (* +nan.0 y))) (* (pow x 1/4) y) (* (pow x 1/4) y) (fma (sqrt +nan.0) y (- (* (/ y (pow x 2)) (- (/ +nan.0 (sqrt +nan.0)) (/ +nan.0 (pow (sqrt +nan.0) 3)))) (* +nan.0 (/ y (* (sqrt +nan.0) x))))) (pow x 1/4) (pow (/ 1 x) -1/4) (+ (* (/ 1 (pow x 2)) (- (/ +nan.0 (pow (sqrt +nan.0) 3)) (/ +nan.0 (sqrt +nan.0)))) (- (sqrt +nan.0) (/ +nan.0 (* (sqrt +nan.0) x)))) (pow x 1/4) (pow (/ 1 x) -1/4) (+ (* (/ 1 (pow x 2)) (- (/ +nan.0 (pow (sqrt +nan.0) 3)) (/ +nan.0 (sqrt +nan.0)))) (- (sqrt +nan.0) (/ +nan.0 (* (sqrt +nan.0) x)))) 5.521 * * * [progress]: adding candidates to table 5.740 * * [progress]: iteration 3 / 4 5.740 * * * [progress]: picking best candidate 5.749 * * * * [pick]: Picked # 5.749 * * * [progress]: localizing error 5.759 * * * [progress]: generating rewritten candidates 5.760 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 5.787 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 5.872 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 5.881 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 5.886 * * * [progress]: generating series expansions 5.886 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 5.886 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0 5.886 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x 5.886 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 5.886 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 5.886 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 5.886 * [taylor]: Taking taylor expansion of 1/4 in x 5.886 * [taylor]: Taking taylor expansion of (log x) in x 5.886 * [taylor]: Taking taylor expansion of x in x 5.887 * [taylor]: Taking taylor expansion of y in x 5.887 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 5.887 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 5.887 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 5.887 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 5.887 * [taylor]: Taking taylor expansion of 1/4 in y 5.887 * [taylor]: Taking taylor expansion of (log x) in y 5.887 * [taylor]: Taking taylor expansion of x in y 5.887 * [taylor]: Taking taylor expansion of y in y 5.887 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 5.887 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 5.887 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 5.887 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 5.887 * [taylor]: Taking taylor expansion of 1/4 in y 5.887 * [taylor]: Taking taylor expansion of (log x) in y 5.888 * [taylor]: Taking taylor expansion of x in y 5.888 * [taylor]: Taking taylor expansion of y in y 5.888 * [taylor]: Taking taylor expansion of 0 in x 5.890 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 5.890 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 5.890 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 5.890 * [taylor]: Taking taylor expansion of 1/4 in x 5.890 * [taylor]: Taking taylor expansion of (log x) in x 5.890 * [taylor]: Taking taylor expansion of x in x 5.893 * [taylor]: Taking taylor expansion of 0 in x 5.899 * [taylor]: Taking taylor expansion of 0 in x 5.899 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0 5.899 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x 5.899 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 5.899 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 5.899 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 5.899 * [taylor]: Taking taylor expansion of 1/4 in x 5.899 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.899 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.899 * [taylor]: Taking taylor expansion of x in x 5.900 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.900 * [taylor]: Taking taylor expansion of y in x 5.900 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 5.900 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 5.900 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 5.900 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 5.900 * [taylor]: Taking taylor expansion of 1/4 in y 5.900 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 5.900 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.900 * [taylor]: Taking taylor expansion of x in y 5.901 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.901 * [taylor]: Taking taylor expansion of y in y 5.901 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 5.901 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 5.901 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 5.901 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 5.901 * [taylor]: Taking taylor expansion of 1/4 in y 5.901 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 5.901 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.901 * [taylor]: Taking taylor expansion of x in y 5.901 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.901 * [taylor]: Taking taylor expansion of y in y 5.901 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 5.902 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 5.902 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 5.902 * [taylor]: Taking taylor expansion of 1/4 in x 5.902 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.902 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.902 * [taylor]: Taking taylor expansion of x in x 5.905 * [taylor]: Taking taylor expansion of 0 in x 5.910 * [taylor]: Taking taylor expansion of 0 in x 5.922 * [taylor]: Taking taylor expansion of 0 in x 5.923 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (y x) around 0 5.923 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 5.923 * [taylor]: Taking taylor expansion of -1 in x 5.923 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 5.923 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.923 * [taylor]: Taking taylor expansion of y in x 5.923 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 5.923 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 5.923 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.923 * [taylor]: Taking taylor expansion of -1 in x 5.923 * [taylor]: Taking taylor expansion of x in x 5.928 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 5.928 * [taylor]: Taking taylor expansion of -1 in y 5.928 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 5.928 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.928 * [taylor]: Taking taylor expansion of y in y 5.928 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 5.928 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 5.928 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.928 * [taylor]: Taking taylor expansion of -1 in y 5.928 * [taylor]: Taking taylor expansion of x in y 5.928 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 5.928 * [taylor]: Taking taylor expansion of -1 in y 5.928 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 5.928 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.928 * [taylor]: Taking taylor expansion of y in y 5.929 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 5.929 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 5.929 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.929 * [taylor]: Taking taylor expansion of -1 in y 5.929 * [taylor]: Taking taylor expansion of x in y 5.929 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 x)))) in x 5.929 * [taylor]: Taking taylor expansion of -1 in x 5.929 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 5.929 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 5.929 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.929 * [taylor]: Taking taylor expansion of -1 in x 5.929 * [taylor]: Taking taylor expansion of x in x 5.936 * [taylor]: Taking taylor expansion of 0 in x 5.942 * [taylor]: Taking taylor expansion of 0 in x 5.966 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 5.967 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 5.967 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 5.967 * [taylor]: Taking taylor expansion of (sqrt x) in x 5.967 * [taylor]: Taking taylor expansion of x in x 5.968 * [taylor]: Taking taylor expansion of y in x 5.968 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 5.968 * [taylor]: Taking taylor expansion of (sqrt x) in y 5.968 * [taylor]: Taking taylor expansion of x in y 5.968 * [taylor]: Taking taylor expansion of y in y 5.968 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 5.968 * [taylor]: Taking taylor expansion of (sqrt x) in y 5.968 * [taylor]: Taking taylor expansion of x in y 5.968 * [taylor]: Taking taylor expansion of y in y 5.968 * [taylor]: Taking taylor expansion of 0 in x 5.968 * [taylor]: Taking taylor expansion of (sqrt x) in x 5.968 * [taylor]: Taking taylor expansion of x in x 5.970 * [taylor]: Taking taylor expansion of 0 in x 5.971 * [taylor]: Taking taylor expansion of 0 in x 5.974 * [taylor]: Taking taylor expansion of 0 in x 5.977 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 5.977 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 5.977 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 5.977 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.977 * [taylor]: Taking taylor expansion of x in x 5.978 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.978 * [taylor]: Taking taylor expansion of y in x 5.978 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 5.978 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 5.978 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.978 * [taylor]: Taking taylor expansion of x in y 5.978 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.979 * [taylor]: Taking taylor expansion of y in y 5.979 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 5.979 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 5.979 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.979 * [taylor]: Taking taylor expansion of x in y 5.979 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.979 * [taylor]: Taking taylor expansion of y in y 5.979 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 5.979 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.979 * [taylor]: Taking taylor expansion of x in x 5.981 * [taylor]: Taking taylor expansion of 0 in x 5.983 * [taylor]: Taking taylor expansion of 0 in x 5.987 * [taylor]: Taking taylor expansion of 0 in x 5.991 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0 5.991 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x 5.991 * [taylor]: Taking taylor expansion of -1 in x 5.991 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 5.991 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 5.991 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.991 * [taylor]: Taking taylor expansion of -1 in x 5.991 * [taylor]: Taking taylor expansion of x in x 5.992 * [taylor]: Taking taylor expansion of y in x 5.992 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 5.992 * [taylor]: Taking taylor expansion of -1 in y 5.992 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 5.992 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 5.992 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.993 * [taylor]: Taking taylor expansion of -1 in y 5.993 * [taylor]: Taking taylor expansion of x in y 5.993 * [taylor]: Taking taylor expansion of y in y 5.993 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 5.993 * [taylor]: Taking taylor expansion of -1 in y 5.993 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 5.993 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 5.993 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.993 * [taylor]: Taking taylor expansion of -1 in y 5.993 * [taylor]: Taking taylor expansion of x in y 5.993 * [taylor]: Taking taylor expansion of y in y 5.993 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x 5.993 * [taylor]: Taking taylor expansion of -1 in x 5.993 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 5.993 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.993 * [taylor]: Taking taylor expansion of -1 in x 5.993 * [taylor]: Taking taylor expansion of x in x 5.996 * [taylor]: Taking taylor expansion of 0 in x 6.007 * [taylor]: Taking taylor expansion of 0 in x 6.013 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 6.013 * [approximate]: Taking taylor expansion of (* (pow x 1/8) y) in (y x) around 0 6.013 * [taylor]: Taking taylor expansion of (* (pow x 1/8) y) in x 6.013 * [taylor]: Taking taylor expansion of (pow x 1/8) in x 6.013 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log x))) in x 6.013 * [taylor]: Taking taylor expansion of (* 1/8 (log x)) in x 6.013 * [taylor]: Taking taylor expansion of 1/8 in x 6.013 * [taylor]: Taking taylor expansion of (log x) in x 6.013 * [taylor]: Taking taylor expansion of x in x 6.014 * [taylor]: Taking taylor expansion of y in x 6.014 * [taylor]: Taking taylor expansion of (* (pow x 1/8) y) in y 6.014 * [taylor]: Taking taylor expansion of (pow x 1/8) in y 6.014 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log x))) in y 6.014 * [taylor]: Taking taylor expansion of (* 1/8 (log x)) in y 6.014 * [taylor]: Taking taylor expansion of 1/8 in y 6.014 * [taylor]: Taking taylor expansion of (log x) in y 6.014 * [taylor]: Taking taylor expansion of x in y 6.014 * [taylor]: Taking taylor expansion of y in y 6.014 * [taylor]: Taking taylor expansion of (* (pow x 1/8) y) in y 6.014 * [taylor]: Taking taylor expansion of (pow x 1/8) in y 6.014 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log x))) in y 6.014 * [taylor]: Taking taylor expansion of (* 1/8 (log x)) in y 6.014 * [taylor]: Taking taylor expansion of 1/8 in y 6.014 * [taylor]: Taking taylor expansion of (log x) in y 6.014 * [taylor]: Taking taylor expansion of x in y 6.014 * [taylor]: Taking taylor expansion of y in y 6.015 * [taylor]: Taking taylor expansion of 0 in x 6.016 * [taylor]: Taking taylor expansion of (pow x 1/8) in x 6.016 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log x))) in x 6.016 * [taylor]: Taking taylor expansion of (* 1/8 (log x)) in x 6.016 * [taylor]: Taking taylor expansion of 1/8 in x 6.016 * [taylor]: Taking taylor expansion of (log x) in x 6.016 * [taylor]: Taking taylor expansion of x in x 6.020 * [taylor]: Taking taylor expansion of 0 in x 6.026 * [taylor]: Taking taylor expansion of 0 in x 6.026 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/8) (/ 1 y)) in (y x) around 0 6.026 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/8) (/ 1 y)) in x 6.026 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/8) in x 6.026 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 x)))) in x 6.026 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 x))) in x 6.026 * [taylor]: Taking taylor expansion of 1/8 in x 6.026 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.026 * [taylor]: Taking taylor expansion of x in x 6.027 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.027 * [taylor]: Taking taylor expansion of y in x 6.027 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/8) (/ 1 y)) in y 6.027 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/8) in y 6.027 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 x)))) in y 6.027 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 x))) in y 6.027 * [taylor]: Taking taylor expansion of 1/8 in y 6.027 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 6.027 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.027 * [taylor]: Taking taylor expansion of x in y 6.027 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.027 * [taylor]: Taking taylor expansion of y in y 6.028 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/8) (/ 1 y)) in y 6.028 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/8) in y 6.028 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 x)))) in y 6.028 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 x))) in y 6.028 * [taylor]: Taking taylor expansion of 1/8 in y 6.028 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 6.028 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.028 * [taylor]: Taking taylor expansion of x in y 6.028 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.028 * [taylor]: Taking taylor expansion of y in y 6.028 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/8) in x 6.028 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 x)))) in x 6.028 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 x))) in x 6.028 * [taylor]: Taking taylor expansion of 1/8 in x 6.028 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.028 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.028 * [taylor]: Taking taylor expansion of x in x 6.031 * [taylor]: Taking taylor expansion of 0 in x 6.037 * [taylor]: Taking taylor expansion of 0 in x 6.046 * [taylor]: Taking taylor expansion of 0 in x 6.046 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4))) in (y x) around 0 6.046 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4))) in x 6.046 * [taylor]: Taking taylor expansion of -1 in x 6.046 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4)) in x 6.046 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.046 * [taylor]: Taking taylor expansion of y in x 6.046 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/4) in x 6.046 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 x))))) in x 6.046 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 x)))) in x 6.046 * [taylor]: Taking taylor expansion of 1/4 in x 6.046 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 6.046 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 6.046 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.046 * [taylor]: Taking taylor expansion of -1 in x 6.046 * [taylor]: Taking taylor expansion of x in x 6.049 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4))) in y 6.049 * [taylor]: Taking taylor expansion of -1 in y 6.049 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4)) in y 6.049 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.049 * [taylor]: Taking taylor expansion of y in y 6.050 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/4) in y 6.050 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 x))))) in y 6.050 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 x)))) in y 6.050 * [taylor]: Taking taylor expansion of 1/4 in y 6.050 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in y 6.050 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 6.050 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.050 * [taylor]: Taking taylor expansion of -1 in y 6.050 * [taylor]: Taking taylor expansion of x in y 6.050 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4))) in y 6.050 * [taylor]: Taking taylor expansion of -1 in y 6.050 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4)) in y 6.050 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.050 * [taylor]: Taking taylor expansion of y in y 6.050 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/4) in y 6.050 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 x))))) in y 6.050 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 x)))) in y 6.050 * [taylor]: Taking taylor expansion of 1/4 in y 6.050 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in y 6.050 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 6.050 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.050 * [taylor]: Taking taylor expansion of -1 in y 6.050 * [taylor]: Taking taylor expansion of x in y 6.051 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt (/ -1 x)) 1/4)) in x 6.051 * [taylor]: Taking taylor expansion of -1 in x 6.051 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/4) in x 6.051 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 x))))) in x 6.051 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 x)))) in x 6.051 * [taylor]: Taking taylor expansion of 1/4 in x 6.051 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 6.051 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 6.051 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.051 * [taylor]: Taking taylor expansion of -1 in x 6.051 * [taylor]: Taking taylor expansion of x in x 6.058 * [taylor]: Taking taylor expansion of 0 in x 6.076 * [taylor]: Taking taylor expansion of 0 in x 6.107 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 6.107 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 6.107 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 6.107 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 6.107 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 6.107 * [taylor]: Taking taylor expansion of 1/4 in x 6.107 * [taylor]: Taking taylor expansion of (log x) in x 6.107 * [taylor]: Taking taylor expansion of x in x 6.108 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 6.108 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 6.108 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 6.108 * [taylor]: Taking taylor expansion of 1/4 in x 6.108 * [taylor]: Taking taylor expansion of (log x) in x 6.108 * [taylor]: Taking taylor expansion of x in x 6.157 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 6.157 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 6.157 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 6.157 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 6.157 * [taylor]: Taking taylor expansion of 1/4 in x 6.157 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.157 * [taylor]: Taking taylor expansion of x in x 6.158 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 6.158 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 6.158 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 6.158 * [taylor]: Taking taylor expansion of 1/4 in x 6.158 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.158 * [taylor]: Taking taylor expansion of x in x 6.217 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0 6.217 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 6.217 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 6.217 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.217 * [taylor]: Taking taylor expansion of -1 in x 6.217 * [taylor]: Taking taylor expansion of x in x 6.222 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 6.222 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 6.222 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.222 * [taylor]: Taking taylor expansion of -1 in x 6.222 * [taylor]: Taking taylor expansion of x in x 6.243 * * * [progress]: simplifying candidates 6.244 * [simplify]: Simplifying using # : (expm1 (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (log1p (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (+ (+ (log y) (log (sqrt (sqrt (sqrt x))))) (log (sqrt (sqrt (sqrt x))))) (+ (log (* y (sqrt (sqrt (sqrt x))))) (log (sqrt (sqrt (sqrt x))))) (log (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (exp (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* (* (* y y) y) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* (* (* y (sqrt (sqrt (sqrt x)))) (* y (sqrt (sqrt (sqrt x))))) (* y (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (cbrt (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (cbrt (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))))) (cbrt (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (sqrt (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (sqrt (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x)))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (* (cbrt x) (cbrt x)))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt 1)))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt 1))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt 1)) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt (sqrt x)))) 1) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (expm1 (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (log1p (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))) (+ (+ (+ (log y) (log (sqrt (sqrt (sqrt x))))) (log (sqrt (sqrt (sqrt x))))) (log (sqrt (sqrt x)))) (+ (+ (log (* y (sqrt (sqrt (sqrt x))))) (log (sqrt (sqrt (sqrt x))))) (log (sqrt (sqrt x)))) (+ (log (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (log (sqrt (sqrt x)))) (log (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (exp (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (* (* (* (* (* y y) y) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (* (* y (sqrt (sqrt (sqrt x)))) (* y (sqrt (sqrt (sqrt x))))) (* y (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (cbrt (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (cbrt (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))))) (cbrt (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (* (* (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (sqrt (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (sqrt (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (* (cbrt x) (cbrt x))))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt 1))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt 1)) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) 1) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt x))) (expm1 (* y (sqrt (sqrt (sqrt x))))) (log1p (* y (sqrt (sqrt (sqrt x))))) (* y (sqrt (sqrt (sqrt x)))) (+ (log y) (log (sqrt (sqrt (sqrt x))))) (log (* y (sqrt (sqrt (sqrt x))))) (exp (* y (sqrt (sqrt (sqrt x))))) (* (* (* y y) y) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (cbrt (* y (sqrt (sqrt (sqrt x))))) (cbrt (* y (sqrt (sqrt (sqrt x)))))) (cbrt (* y (sqrt (sqrt (sqrt x))))) (* (* (* y (sqrt (sqrt (sqrt x)))) (* y (sqrt (sqrt (sqrt x))))) (* y (sqrt (sqrt (sqrt x))))) (sqrt (* y (sqrt (sqrt (sqrt x))))) (sqrt (* y (sqrt (sqrt (sqrt x))))) (* (sqrt y) (sqrt (sqrt (sqrt (sqrt x))))) (* (sqrt y) (sqrt (sqrt (sqrt (sqrt x))))) (* (sqrt y) (sqrt (sqrt (sqrt (sqrt x))))) (* (sqrt y) (sqrt (sqrt (sqrt (sqrt x))))) (* (sqrt y) (sqrt (sqrt (sqrt (sqrt x))))) (* (sqrt y) (sqrt (sqrt (sqrt (sqrt x))))) (* (sqrt y) (sqrt (sqrt (sqrt (sqrt x))))) (* (sqrt y) (sqrt (sqrt (sqrt (sqrt x))))) (* y (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x)))))) (* y (sqrt (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))) (* y (sqrt (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (* y (sqrt (sqrt (sqrt (* (cbrt x) (cbrt x)))))) (* y (sqrt (sqrt (sqrt (sqrt x))))) (* y (sqrt (sqrt (sqrt 1)))) (* y (sqrt (sqrt (sqrt (sqrt x))))) (* y (sqrt (sqrt 1))) (* y (sqrt (sqrt (sqrt (sqrt x))))) (* y (sqrt 1)) (* y (sqrt (sqrt (sqrt (sqrt x))))) (* y 1) (* (cbrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* y (sqrt (sqrt (sqrt x)))) (expm1 (sqrt (sqrt x))) (log1p (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 1/4) y) (* (pow x 1/4) y) (- (* (sqrt +nan.0) y) (+ (* +nan.0 (/ y (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ y (* (sqrt +nan.0) (pow x 2)))) (- (* +nan.0 (/ y (* (pow (sqrt +nan.0) 3) (pow x 2))))))))) (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 (* x y)) (- (* +nan.0 (* (pow x 3) y))))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) (* (pow x 1/8) y) (* (pow x 1/8) y) (- (* (pow +nan.0 1/4) y) (+ (* +nan.0 (* (/ y x) (pow +nan.0 1/4))) (- (* +nan.0 (* (/ y (pow x 2)) (pow +nan.0 1/4)))))) (pow x 1/4) (pow (/ 1 x) -1/4) (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2))))))))) 6.257 * * [simplify]: iteration 0 : 188 enodes (cost 1613 ) 6.312 * * [simplify]: iteration 1 : 491 enodes (cost 1127 ) 6.486 * * [simplify]: iteration 2 : 1610 enodes (cost 899 ) 7.175 * * [simplify]: iteration done : 5000 enodes (cost 876 ) 7.176 * [simplify]: Simplified to: (expm1 (* y (sqrt (sqrt x)))) (log1p (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x))) (log (* y (sqrt (sqrt x)))) (log (* y (sqrt (sqrt x)))) (log (* y (sqrt (sqrt x)))) (exp (* y (sqrt (sqrt x)))) (pow (* y (sqrt (sqrt x))) 3) (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)))) (* (* y (sqrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x)))))) (* (* y (sqrt (sqrt (sqrt x)))) (fabs (cbrt (sqrt (sqrt x))))) (* (sqrt (fabs (cbrt (sqrt x)))) (* y (sqrt (sqrt (sqrt x))))) (* (sqrt (sqrt (fabs (cbrt x)))) (* y (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x))))) (* y (sqrt (sqrt (sqrt x)))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x))))) (* y (sqrt (sqrt (sqrt x)))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x))))) (* y (sqrt (sqrt (sqrt x)))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x))))) (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)) (expm1 (* y (sqrt x))) (log1p (* y (sqrt x))) (* y (sqrt x)) (* y (sqrt x)) (* y (sqrt x)) (log (* y (sqrt x))) (log (* y (sqrt x))) (log (* y (sqrt x))) (log (* y (sqrt x))) (exp (* y (sqrt x))) (pow (* y (sqrt x)) 3) (pow (* y (sqrt x)) 3) (pow (* y (sqrt x)) 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))) (* (* y (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (fabs (cbrt (sqrt x)))) (* (sqrt (fabs (cbrt x))) (* y (sqrt (sqrt x)))) (* y (pow (sqrt (sqrt (sqrt x))) 3)) (* y (sqrt (sqrt x))) (* y (pow (sqrt (sqrt (sqrt x))) 3)) (* y (sqrt (sqrt x))) (* y (pow (sqrt (sqrt (sqrt x))) 3)) (* y (sqrt (sqrt x))) (pow (sqrt (sqrt (sqrt x))) 3) (expm1 (* y (sqrt (sqrt (sqrt x))))) (log1p (* y (sqrt (sqrt (sqrt x))))) (* y (sqrt (sqrt (sqrt x)))) (log (* y (sqrt (sqrt (sqrt x))))) (log (* y (sqrt (sqrt (sqrt x))))) (exp (* y (sqrt (sqrt (sqrt x))))) (pow (* y (sqrt (sqrt (sqrt x)))) 3) (* (cbrt (* y (sqrt (sqrt (sqrt x))))) (cbrt (* y (sqrt (sqrt (sqrt x)))))) (cbrt (* y (sqrt (sqrt (sqrt x))))) (pow (* y (sqrt (sqrt (sqrt x)))) 3) (sqrt (* y (sqrt (sqrt (sqrt x))))) (sqrt (* y (sqrt (sqrt (sqrt x))))) (* (sqrt y) (sqrt (sqrt (sqrt (sqrt x))))) (* (sqrt y) (sqrt (sqrt (sqrt (sqrt x))))) (* (sqrt y) (sqrt (sqrt (sqrt (sqrt x))))) (* (sqrt y) (sqrt (sqrt (sqrt (sqrt x))))) (* (sqrt y) (sqrt (sqrt (sqrt (sqrt x))))) (* (sqrt y) (sqrt (sqrt (sqrt (sqrt x))))) (* (sqrt y) (sqrt (sqrt (sqrt (sqrt x))))) (* (sqrt y) (sqrt (sqrt (sqrt (sqrt x))))) (* y (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x)))))) (* (fabs (cbrt (sqrt (sqrt x)))) y) (* y (sqrt (fabs (cbrt (sqrt x))))) (* (sqrt (sqrt (fabs (cbrt x)))) y) (* y (sqrt (sqrt (sqrt (sqrt x))))) y (* y (sqrt (sqrt (sqrt (sqrt x))))) y (* y (sqrt (sqrt (sqrt (sqrt x))))) y (* y (sqrt (sqrt (sqrt (sqrt x))))) y (* (cbrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* y (sqrt (sqrt (sqrt x)))) (expm1 (sqrt (sqrt x))) (log1p (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))) (* (pow x 1/4) y) (* (pow x 1/4) y) (fma (sqrt +nan.0) y (- (* (/ y (pow x 2)) (- (/ +nan.0 (sqrt +nan.0)) (/ +nan.0 (pow (sqrt +nan.0) 3)))) (* +nan.0 (/ y (* (sqrt +nan.0) x))))) (- (* y (- (* +nan.0 (pow x 2)) (* +nan.0 (- x (pow x 3)))))) (+ (- (* +nan.0 y)) (* (/ y x) (- +nan.0 (/ +nan.0 x)))) (+ (- (* +nan.0 y)) (* (/ y x) (- +nan.0 (/ +nan.0 x)))) (* (pow x 1/8) y) (* (pow x 1/8) y) (* (pow +nan.0 1/4) (- y (* (/ y x) (- +nan.0 (/ +nan.0 x))))) (pow x 1/4) (pow (/ 1 x) -1/4) (+ (- (sqrt +nan.0) (/ +nan.0 (* (sqrt +nan.0) x))) (* (/ 1 (pow x 2)) (- (/ +nan.0 (pow (sqrt +nan.0) 3)) (/ +nan.0 (sqrt +nan.0))))) 7.177 * * * [progress]: adding candidates to table 7.435 * * [progress]: iteration 4 / 4 7.435 * * * [progress]: picking best candidate 7.442 * * * * [pick]: Picked # 7.442 * * * [progress]: localizing error 7.455 * * * [progress]: generating rewritten candidates 7.455 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2 1) 7.456 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1) 7.457 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 7.465 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 7.513 * * * [progress]: generating series expansions 7.513 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2 1) 7.513 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0 7.513 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 7.513 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 7.513 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 7.513 * [taylor]: Taking taylor expansion of 1/6 in x 7.513 * [taylor]: Taking taylor expansion of (log x) in x 7.513 * [taylor]: Taking taylor expansion of x in x 7.514 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 7.514 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 7.514 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 7.514 * [taylor]: Taking taylor expansion of 1/6 in x 7.514 * [taylor]: Taking taylor expansion of (log x) in x 7.514 * [taylor]: Taking taylor expansion of x in x 7.566 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0 7.566 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 7.566 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 7.566 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 7.566 * [taylor]: Taking taylor expansion of 1/6 in x 7.566 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.566 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.566 * [taylor]: Taking taylor expansion of x in x 7.567 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 7.567 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 7.567 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 7.567 * [taylor]: Taking taylor expansion of 1/6 in x 7.567 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.567 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.567 * [taylor]: Taking taylor expansion of x in x 7.618 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0 7.619 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 7.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 7.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 7.619 * [taylor]: Taking taylor expansion of 1/3 in x 7.619 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 7.619 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 7.619 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.619 * [taylor]: Taking taylor expansion of -1 in x 7.619 * [taylor]: Taking taylor expansion of x in x 7.622 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 7.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 7.622 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 7.622 * [taylor]: Taking taylor expansion of 1/3 in x 7.622 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 7.622 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 7.622 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.622 * [taylor]: Taking taylor expansion of -1 in x 7.622 * [taylor]: Taking taylor expansion of x in x 7.662 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1) 7.662 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0 7.662 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 7.662 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 7.662 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 7.662 * [taylor]: Taking taylor expansion of 1/6 in x 7.662 * [taylor]: Taking taylor expansion of (log x) in x 7.662 * [taylor]: Taking taylor expansion of x in x 7.663 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 7.663 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 7.663 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 7.663 * [taylor]: Taking taylor expansion of 1/6 in x 7.663 * [taylor]: Taking taylor expansion of (log x) in x 7.663 * [taylor]: Taking taylor expansion of x in x 7.712 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0 7.712 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 7.712 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 7.712 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 7.712 * [taylor]: Taking taylor expansion of 1/6 in x 7.712 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.712 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.712 * [taylor]: Taking taylor expansion of x in x 7.718 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 7.719 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 7.719 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 7.719 * [taylor]: Taking taylor expansion of 1/6 in x 7.719 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.719 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.719 * [taylor]: Taking taylor expansion of x in x 7.771 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0 7.771 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 7.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 7.771 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 7.771 * [taylor]: Taking taylor expansion of 1/3 in x 7.771 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 7.771 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 7.771 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.771 * [taylor]: Taking taylor expansion of -1 in x 7.771 * [taylor]: Taking taylor expansion of x in x 7.774 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 7.774 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 7.774 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 7.774 * [taylor]: Taking taylor expansion of 1/3 in x 7.774 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 7.774 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 7.774 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.774 * [taylor]: Taking taylor expansion of -1 in x 7.774 * [taylor]: Taking taylor expansion of x in x 7.815 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 7.815 * [approximate]: Taking taylor expansion of (* (pow x 1/12) (fabs (pow x 1/6))) in (x) around 0 7.815 * [taylor]: Taking taylor expansion of (* (pow x 1/12) (fabs (pow x 1/6))) in x 7.815 * [taylor]: Taking taylor expansion of (pow x 1/12) in x 7.815 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log x))) in x 7.815 * [taylor]: Taking taylor expansion of (* 1/12 (log x)) in x 7.815 * [taylor]: Taking taylor expansion of 1/12 in x 7.815 * [taylor]: Taking taylor expansion of (log x) in x 7.815 * [taylor]: Taking taylor expansion of x in x 7.816 * [taylor]: Taking taylor expansion of (fabs (pow x 1/6)) in x 7.816 * [taylor]: Taking taylor expansion of (* (pow x 1/12) (fabs (pow x 1/6))) in x 7.816 * [taylor]: Taking taylor expansion of (pow x 1/12) in x 7.816 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log x))) in x 7.816 * [taylor]: Taking taylor expansion of (* 1/12 (log x)) in x 7.816 * [taylor]: Taking taylor expansion of 1/12 in x 7.816 * [taylor]: Taking taylor expansion of (log x) in x 7.816 * [taylor]: Taking taylor expansion of x in x 7.817 * [taylor]: Taking taylor expansion of (fabs (pow x 1/6)) in x 7.870 * [approximate]: Taking taylor expansion of (* (fabs (pow (/ 1 x) 1/6)) (pow (/ 1 x) 1/12)) in (x) around 0 7.870 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ 1 x) 1/6)) (pow (/ 1 x) 1/12)) in x 7.870 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/6)) in x 7.870 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in x 7.870 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in x 7.870 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in x 7.870 * [taylor]: Taking taylor expansion of 1/12 in x 7.870 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.870 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.870 * [taylor]: Taking taylor expansion of x in x 7.871 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ 1 x) 1/6)) (pow (/ 1 x) 1/12)) in x 7.871 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/6)) in x 7.871 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in x 7.871 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in x 7.871 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in x 7.871 * [taylor]: Taking taylor expansion of 1/12 in x 7.871 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.871 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.871 * [taylor]: Taking taylor expansion of x in x 7.935 * [approximate]: Taking taylor expansion of (* (fabs (pow (sqrt (/ -1 x)) 1/3)) (pow (sqrt (/ -1 x)) 1/6)) in (x) around 0 7.935 * [taylor]: Taking taylor expansion of (* (fabs (pow (sqrt (/ -1 x)) 1/3)) (pow (sqrt (/ -1 x)) 1/6)) in x 7.935 * [taylor]: Taking taylor expansion of (fabs (pow (sqrt (/ -1 x)) 1/3)) in x 7.935 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/6) in x 7.935 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (sqrt (/ -1 x))))) in x 7.935 * [taylor]: Taking taylor expansion of (* 1/6 (log (sqrt (/ -1 x)))) in x 7.935 * [taylor]: Taking taylor expansion of 1/6 in x 7.935 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 7.935 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 7.935 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.935 * [taylor]: Taking taylor expansion of -1 in x 7.935 * [taylor]: Taking taylor expansion of x in x 7.939 * [taylor]: Taking taylor expansion of (* (fabs (pow (sqrt (/ -1 x)) 1/3)) (pow (sqrt (/ -1 x)) 1/6)) in x 7.939 * [taylor]: Taking taylor expansion of (fabs (pow (sqrt (/ -1 x)) 1/3)) in x 7.939 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/6) in x 7.939 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (sqrt (/ -1 x))))) in x 7.939 * [taylor]: Taking taylor expansion of (* 1/6 (log (sqrt (/ -1 x)))) in x 7.939 * [taylor]: Taking taylor expansion of 1/6 in x 7.939 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 7.939 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 7.939 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.939 * [taylor]: Taking taylor expansion of -1 in x 7.939 * [taylor]: Taking taylor expansion of x in x 7.983 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 7.983 * [approximate]: Taking taylor expansion of (* (pow x 1/3) (* y (fabs (pow x 1/6)))) in (y x) around 0 7.983 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (* y (fabs (pow x 1/6)))) in x 7.983 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.983 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.983 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.983 * [taylor]: Taking taylor expansion of 1/3 in x 7.983 * [taylor]: Taking taylor expansion of (log x) in x 7.983 * [taylor]: Taking taylor expansion of x in x 7.984 * [taylor]: Taking taylor expansion of (* y (fabs (pow x 1/6))) in x 7.984 * [taylor]: Taking taylor expansion of y in x 7.984 * [taylor]: Taking taylor expansion of (fabs (pow x 1/6)) in x 7.984 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (* y (fabs (pow x 1/6)))) in y 7.984 * [taylor]: Taking taylor expansion of (pow x 1/3) in y 7.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in y 7.984 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in y 7.984 * [taylor]: Taking taylor expansion of 1/3 in y 7.984 * [taylor]: Taking taylor expansion of (log x) in y 7.984 * [taylor]: Taking taylor expansion of x in y 7.984 * [taylor]: Taking taylor expansion of (* y (fabs (pow x 1/6))) in y 7.984 * [taylor]: Taking taylor expansion of y in y 7.984 * [taylor]: Taking taylor expansion of (fabs (pow x 1/6)) in y 7.984 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (* y (fabs (pow x 1/6)))) in y 7.984 * [taylor]: Taking taylor expansion of (pow x 1/3) in y 7.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in y 7.984 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in y 7.984 * [taylor]: Taking taylor expansion of 1/3 in y 7.984 * [taylor]: Taking taylor expansion of (log x) in y 7.984 * [taylor]: Taking taylor expansion of x in y 7.985 * [taylor]: Taking taylor expansion of (* y (fabs (pow x 1/6))) in y 7.985 * [taylor]: Taking taylor expansion of y in y 7.985 * [taylor]: Taking taylor expansion of (fabs (pow x 1/6)) in y 7.985 * [taylor]: Taking taylor expansion of 0 in x 7.987 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (fabs (pow x 1/6))) in x 7.987 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.987 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.987 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.987 * [taylor]: Taking taylor expansion of 1/3 in x 7.987 * [taylor]: Taking taylor expansion of (log x) in x 7.987 * [taylor]: Taking taylor expansion of x in x 7.987 * [taylor]: Taking taylor expansion of (fabs (pow x 1/6)) in x 7.991 * [taylor]: Taking taylor expansion of 0 in x 7.998 * [taylor]: Taking taylor expansion of 0 in x 7.999 * [approximate]: Taking taylor expansion of (* (/ (fabs (pow (/ 1 x) 1/6)) y) (pow (/ 1 x) 1/3)) in (y x) around 0 7.999 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (/ 1 x) 1/6)) y) (pow (/ 1 x) 1/3)) in x 7.999 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 x) 1/6)) y) in x 7.999 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/6)) in x 7.999 * [taylor]: Taking taylor expansion of y in x 7.999 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.999 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.999 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.999 * [taylor]: Taking taylor expansion of 1/3 in x 7.999 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.999 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.999 * [taylor]: Taking taylor expansion of x in x 8.000 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (/ 1 x) 1/6)) y) (pow (/ 1 x) 1/3)) in y 8.000 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 x) 1/6)) y) in y 8.000 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/6)) in y 8.000 * [taylor]: Taking taylor expansion of y in y 8.000 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y 8.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y 8.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y 8.000 * [taylor]: Taking taylor expansion of 1/3 in y 8.000 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 8.000 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.000 * [taylor]: Taking taylor expansion of x in y 8.000 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (/ 1 x) 1/6)) y) (pow (/ 1 x) 1/3)) in y 8.000 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 x) 1/6)) y) in y 8.000 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/6)) in y 8.000 * [taylor]: Taking taylor expansion of y in y 8.001 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y 8.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y 8.001 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y 8.001 * [taylor]: Taking taylor expansion of 1/3 in y 8.001 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 8.001 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.001 * [taylor]: Taking taylor expansion of x in y 8.001 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ 1 x) 1/6)) (pow (/ 1 x) 1/3)) in x 8.001 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/6)) in x 8.001 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.001 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.001 * [taylor]: Taking taylor expansion of 1/3 in x 8.001 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.001 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.001 * [taylor]: Taking taylor expansion of x in x 8.004 * [taylor]: Taking taylor expansion of 0 in x 8.011 * [taylor]: Taking taylor expansion of 0 in x 8.020 * [taylor]: Taking taylor expansion of 0 in x 8.021 * [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 8.021 * [taylor]: Taking taylor expansion of (* -1 (* (/ (fabs (pow (sqrt (/ -1 x)) 1/3)) y) (pow (pow (sqrt (/ -1 x)) 2) 1/3))) in x 8.021 * [taylor]: Taking taylor expansion of -1 in x 8.021 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (sqrt (/ -1 x)) 1/3)) y) (pow (pow (sqrt (/ -1 x)) 2) 1/3)) in x 8.021 * [taylor]: Taking taylor expansion of (/ (fabs (pow (sqrt (/ -1 x)) 1/3)) y) in x 8.021 * [taylor]: Taking taylor expansion of (fabs (pow (sqrt (/ -1 x)) 1/3)) in x 8.021 * [taylor]: Taking taylor expansion of y in x 8.021 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 2) 1/3) in x 8.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt (/ -1 x)) 2)))) in x 8.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt (/ -1 x)) 2))) in x 8.021 * [taylor]: Taking taylor expansion of 1/3 in x 8.021 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 2)) in x 8.021 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 8.021 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 8.021 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.021 * [taylor]: Taking taylor expansion of -1 in x 8.021 * [taylor]: Taking taylor expansion of x in x 8.025 * [taylor]: Taking taylor expansion of (* -1 (* (/ (fabs (pow (sqrt (/ -1 x)) 1/3)) y) (pow (pow (sqrt (/ -1 x)) 2) 1/3))) in y 8.025 * [taylor]: Taking taylor expansion of -1 in y 8.025 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (sqrt (/ -1 x)) 1/3)) y) (pow (pow (sqrt (/ -1 x)) 2) 1/3)) in y 8.025 * [taylor]: Taking taylor expansion of (/ (fabs (pow (sqrt (/ -1 x)) 1/3)) y) in y 8.025 * [taylor]: Taking taylor expansion of (fabs (pow (sqrt (/ -1 x)) 1/3)) in y 8.025 * [taylor]: Taking taylor expansion of y in y 8.025 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 2) 1/3) in y 8.025 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt (/ -1 x)) 2)))) in y 8.025 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt (/ -1 x)) 2))) in y 8.025 * [taylor]: Taking taylor expansion of 1/3 in y 8.025 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 2)) in y 8.025 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in y 8.025 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 8.025 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.025 * [taylor]: Taking taylor expansion of -1 in y 8.025 * [taylor]: Taking taylor expansion of x in y 8.026 * [taylor]: Taking taylor expansion of (* -1 (* (/ (fabs (pow (sqrt (/ -1 x)) 1/3)) y) (pow (pow (sqrt (/ -1 x)) 2) 1/3))) in y 8.026 * [taylor]: Taking taylor expansion of -1 in y 8.026 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (sqrt (/ -1 x)) 1/3)) y) (pow (pow (sqrt (/ -1 x)) 2) 1/3)) in y 8.026 * [taylor]: Taking taylor expansion of (/ (fabs (pow (sqrt (/ -1 x)) 1/3)) y) in y 8.026 * [taylor]: Taking taylor expansion of (fabs (pow (sqrt (/ -1 x)) 1/3)) in y 8.026 * [taylor]: Taking taylor expansion of y in y 8.026 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 2) 1/3) in y 8.026 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt (/ -1 x)) 2)))) in y 8.026 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt (/ -1 x)) 2))) in y 8.026 * [taylor]: Taking taylor expansion of 1/3 in y 8.026 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 2)) in y 8.026 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in y 8.026 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 8.026 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.026 * [taylor]: Taking taylor expansion of -1 in y 8.026 * [taylor]: Taking taylor expansion of x in y 8.027 * [taylor]: Taking taylor expansion of (* -1 (* (fabs (pow (sqrt (/ -1 x)) 1/3)) (pow (pow (sqrt (/ -1 x)) 2) 1/3))) in x 8.027 * [taylor]: Taking taylor expansion of -1 in x 8.027 * [taylor]: Taking taylor expansion of (* (fabs (pow (sqrt (/ -1 x)) 1/3)) (pow (pow (sqrt (/ -1 x)) 2) 1/3)) in x 8.027 * [taylor]: Taking taylor expansion of (fabs (pow (sqrt (/ -1 x)) 1/3)) in x 8.027 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 2) 1/3) in x 8.027 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt (/ -1 x)) 2)))) in x 8.027 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt (/ -1 x)) 2))) in x 8.027 * [taylor]: Taking taylor expansion of 1/3 in x 8.027 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 2)) in x 8.027 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 8.027 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 8.027 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.027 * [taylor]: Taking taylor expansion of -1 in x 8.027 * [taylor]: Taking taylor expansion of x in x 8.035 * [taylor]: Taking taylor expansion of 0 in x 8.061 * [taylor]: Taking taylor expansion of 0 in x 8.087 * * * [progress]: simplifying candidates 8.088 * [simplify]: Simplifying using # : (expm1 (cbrt (sqrt x))) (log1p (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))) (expm1 (cbrt (sqrt x))) (log1p (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))) (expm1 (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (log1p (* (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)))) (expm1 (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (log1p (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x))) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x))) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x))) (+ (+ (log y) (+ (log (fabs (cbrt (sqrt x)))) (log (sqrt (cbrt (sqrt x)))))) (log (sqrt (sqrt x)))) (+ (+ (log y) (log (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (log (sqrt (sqrt x)))) (+ (log (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (log (sqrt (sqrt x)))) (log (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (exp (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (* (* (* (* y y) y) (* (* (* (fabs (cbrt (sqrt x))) (fabs (cbrt (sqrt x)))) (fabs (cbrt (sqrt x)))) (* (* (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (sqrt (cbrt (sqrt x)))))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (* y y) y) (* (* (* (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 (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (cbrt (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (cbrt (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x))))) (cbrt (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (* (* (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x))) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (sqrt (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (sqrt (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt (* (cbrt x) (cbrt x))))) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt (sqrt x)))) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt 1))) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt (sqrt x)))) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt 1)) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt (sqrt x)))) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) 1) (* (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (sqrt (sqrt x))) (pow x 1/6) (pow (/ 1 x) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 x) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 (pow x 2)) (pow +nan.0 1/3)))))) (pow x 1/6) (pow (/ 1 x) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 x) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 (pow x 2)) (pow +nan.0 1/3)))))) (* (pow x 1/12) (fabs (pow x 1/6))) (* (pow x 1/12) (fabs (pow x 1/6))) (- (* (fabs (pow (sqrt x) 1/3)) (pow +nan.0 1/6)) (+ (* +nan.0 (* (/ (fabs (pow (sqrt x) 1/3)) x) (pow +nan.0 1/6))) (- (* +nan.0 (* (/ (fabs (pow (sqrt x) 1/3)) (pow x 2)) (pow +nan.0 1/6)))))) (* (pow x 1/3) (* y (fabs (pow x 1/6)))) (* (pow x 1/3) (* y (fabs (pow x 1/6)))) (- (* (* (fabs (pow (sqrt x) 1/3)) y) (pow +nan.0 1/3)) (+ (* +nan.0 (* (/ (* (fabs (pow (sqrt x) 1/3)) y) x) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ (* (fabs (pow (sqrt x) 1/3)) y) (pow x 2)) (pow +nan.0 1/3)))))) 8.094 * * [simplify]: iteration 0 : 162 enodes (cost 1395 ) 8.131 * * [simplify]: iteration 1 : 392 enodes (cost 1261 ) 8.229 * * [simplify]: iteration 2 : 1406 enodes (cost 1112 ) 8.624 * * [simplify]: iteration done : 5000 enodes (cost 1112 ) 8.624 * [simplify]: Simplified to: (expm1 (cbrt (sqrt x))) (log1p (cbrt (sqrt x))) (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (pow (sqrt x) 2/3)) (cbrt (cbrt (sqrt x))) (cbrt (fabs (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) 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))) (pow (cbrt (sqrt x)) 3) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (expm1 (cbrt (sqrt x))) (log1p (cbrt (sqrt x))) (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (pow (sqrt x) 2/3)) (cbrt (cbrt (sqrt x))) (cbrt (fabs (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) 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))) (pow (cbrt (sqrt x)) 3) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (expm1 (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (log1p (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (log (* (fabs (cbrt (sqrt x))) (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)))))) (* (sqrt (cbrt (pow (sqrt x) 2/3))) (fabs (cbrt (sqrt x)))) (* (sqrt (cbrt (fabs (cbrt x)))) (fabs (cbrt (sqrt x)))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt (sqrt x))))) (fabs (cbrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt (sqrt x))))) (fabs (cbrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (fabs (cbrt (cbrt (sqrt x))))) (* (fabs (cbrt (sqrt x))) (sqrt (sqrt (cbrt (sqrt x))))) (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)))) (expm1 (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (log1p (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x))) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x))) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x))) (log (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (log (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (log (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (log (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (exp (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (pow (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x))) 3) (pow (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x))) 3) (pow (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x))) 3) (* (cbrt (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (cbrt (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x))))) (cbrt (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (pow (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x))) 3) (sqrt (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (sqrt (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt x)))) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* (* (sqrt (cbrt (sqrt x))) (pow (sqrt x) 2/3)) y) (* (sqrt (fabs (cbrt x))) (* (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) y)) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt (sqrt x)))) (* (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) y) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt (sqrt x)))) (* (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) y) (* (* y (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))) (sqrt (sqrt (sqrt x)))) (* (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) y) (* (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (sqrt (sqrt x))) (pow x 1/6) (pow (/ 1 x) -1/6) (- (cbrt +nan.0) (* +nan.0 (- (/ (cbrt +nan.0) x) (/ (cbrt +nan.0) (pow x 2))))) (pow x 1/6) (pow (/ 1 x) -1/6) (- (cbrt +nan.0) (* +nan.0 (- (/ (cbrt +nan.0) x) (/ (cbrt +nan.0) (pow x 2))))) (* (pow x 1/12) (sqrt (cbrt x))) (* (pow x 1/12) (sqrt (cbrt x))) (+ (* (pow +nan.0 1/6) (- (fabs (cbrt (sqrt x))) (* +nan.0 (/ (fabs (cbrt (sqrt x))) x)))) (* (* (/ (fabs (cbrt (sqrt x))) (pow x 2)) (pow +nan.0 1/6)) +nan.0)) (* (sqrt (cbrt x)) (* (cbrt x) y)) (* (sqrt (cbrt x)) (* (cbrt x) y)) (fma (cbrt +nan.0) (* y (fabs (cbrt (sqrt x)))) (- (* (cbrt +nan.0) (- (* +nan.0 (/ (fabs (cbrt (sqrt x))) (/ x y))) (* +nan.0 (/ (* y (fabs (cbrt (sqrt x)))) (pow x 2))))))) 8.625 * * * [progress]: adding candidates to table 8.931 * [progress]: [Phase 3 of 3] Extracting. 8.931 * * [regime]: Finding splitpoints for: (# # # # #) 8.932 * * * [regime-changes]: Trying 3 branch expressions: ((+ (- 1.0 x) (* y (sqrt x))) y x) 8.932 * * * * [regimes]: Trying to branch on (+ (- 1.0 x) (* y (sqrt x))) from (# # # # #) 8.959 * * * * [regimes]: Trying to branch on y from (# # # # #) 8.979 * * * * [regimes]: Trying to branch on x from (# # # # #) 9.002 * * * [regime]: Found split indices: #