11.422 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.025 * * * [progress]: [2/2] Setting up program. 0.026 * [progress]: [Phase 2 of 3] Improving. 0.027 * [simplify]: Simplifying using # : (+ (- 1.0 x) (* y (sqrt x))) 0.028 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.029 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 0.030 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 0.033 * * [simplify]: iteration 3 : 42 enodes (cost 7 ) 0.038 * * [simplify]: iteration 4 : 65 enodes (cost 7 ) 0.048 * * [simplify]: iteration 5 : 86 enodes (cost 7 ) 0.059 * * [simplify]: iteration 6 : 103 enodes (cost 7 ) 0.076 * * [simplify]: iteration 7 : 124 enodes (cost 7 ) 0.096 * * [simplify]: iteration 8 : 147 enodes (cost 7 ) 0.115 * * [simplify]: iteration 9 : 155 enodes (cost 7 ) 0.137 * * [simplify]: iteration done : 155 enodes (cost 7 ) 0.137 * [simplify]: Simplified to: (fma y (sqrt x) (- 1.0 x)) 0.140 * * [progress]: iteration 1 / 4 0.140 * * * [progress]: picking best candidate 0.141 * * * * [pick]: Picked # 0.141 * * * [progress]: localizing error 0.148 * * * [progress]: generating rewritten candidates 0.148 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.153 * * * [progress]: generating series expansions 0.153 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.153 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 0.153 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 0.153 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.153 * [taylor]: Taking taylor expansion of x in x 0.155 * [taylor]: Taking taylor expansion of y in x 0.155 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 0.155 * [taylor]: Taking taylor expansion of (sqrt x) in y 0.155 * [taylor]: Taking taylor expansion of x in y 0.155 * [taylor]: Taking taylor expansion of y in y 0.155 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 0.155 * [taylor]: Taking taylor expansion of (sqrt x) in y 0.155 * [taylor]: Taking taylor expansion of x in y 0.155 * [taylor]: Taking taylor expansion of y in y 0.155 * [taylor]: Taking taylor expansion of 0 in x 0.156 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.156 * [taylor]: Taking taylor expansion of x in x 0.158 * [taylor]: Taking taylor expansion of 0 in x 0.159 * [taylor]: Taking taylor expansion of 0 in x 0.162 * [taylor]: Taking taylor expansion of 0 in x 0.165 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 0.165 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 0.165 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.165 * [taylor]: Taking taylor expansion of x in x 0.166 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.166 * [taylor]: Taking taylor expansion of y in x 0.166 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 0.167 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 0.167 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.167 * [taylor]: Taking taylor expansion of x in y 0.167 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.167 * [taylor]: Taking taylor expansion of y in y 0.167 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 0.167 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 0.167 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.167 * [taylor]: Taking taylor expansion of x in y 0.167 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.167 * [taylor]: Taking taylor expansion of y in y 0.168 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.168 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.168 * [taylor]: Taking taylor expansion of x in x 0.170 * [taylor]: Taking taylor expansion of 0 in x 0.171 * [taylor]: Taking taylor expansion of 0 in x 0.175 * [taylor]: Taking taylor expansion of 0 in x 0.179 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0 0.179 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x 0.179 * [taylor]: Taking taylor expansion of -1 in x 0.179 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 0.179 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.179 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.179 * [taylor]: Taking taylor expansion of -1 in x 0.179 * [taylor]: Taking taylor expansion of x in x 0.180 * [taylor]: Taking taylor expansion of y in x 0.180 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 0.180 * [taylor]: Taking taylor expansion of -1 in y 0.180 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 0.180 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 0.180 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.180 * [taylor]: Taking taylor expansion of -1 in y 0.180 * [taylor]: Taking taylor expansion of x in y 0.181 * [taylor]: Taking taylor expansion of y in y 0.181 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 0.181 * [taylor]: Taking taylor expansion of -1 in y 0.181 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 0.181 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 0.181 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.181 * [taylor]: Taking taylor expansion of -1 in y 0.181 * [taylor]: Taking taylor expansion of x in y 0.181 * [taylor]: Taking taylor expansion of y in y 0.181 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x 0.181 * [taylor]: Taking taylor expansion of -1 in x 0.181 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.181 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.181 * [taylor]: Taking taylor expansion of -1 in x 0.181 * [taylor]: Taking taylor expansion of x in x 0.184 * [taylor]: Taking taylor expansion of 0 in x 0.190 * [taylor]: Taking taylor expansion of 0 in x 0.201 * * * [progress]: simplifying candidates 0.202 * [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.204 * * [simplify]: iteration 0 : 65 enodes (cost 220 ) 0.216 * * [simplify]: iteration 1 : 155 enodes (cost 197 ) 0.248 * * [simplify]: iteration 2 : 521 enodes (cost 183 ) 0.662 * * [simplify]: iteration 3 : 2543 enodes (cost 175 ) 2.063 * * [simplify]: iteration done : 5001 enodes (cost 172 ) 2.064 * [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)) (* (- (* y (- x (pow x 3))) (* (pow x 2) y)) +nan.0) (* (- (- (/ y x) y) (/ y (pow x 2))) +nan.0) (* (- (- (/ y x) y) (/ y (pow x 2))) +nan.0) 2.064 * * * [progress]: adding candidates to table 2.115 * * [progress]: iteration 2 / 4 2.115 * * * [progress]: picking best candidate 2.125 * * * * [pick]: Picked # 2.125 * * * [progress]: localizing error 2.137 * * * [progress]: generating rewritten candidates 2.137 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 2.155 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 2.161 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 2.163 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 2.167 * * * [progress]: generating series expansions 2.167 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 2.167 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 2.167 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 2.167 * [taylor]: Taking taylor expansion of (sqrt x) in x 2.167 * [taylor]: Taking taylor expansion of x in x 2.169 * [taylor]: Taking taylor expansion of y in x 2.169 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 2.169 * [taylor]: Taking taylor expansion of (sqrt x) in y 2.169 * [taylor]: Taking taylor expansion of x in y 2.169 * [taylor]: Taking taylor expansion of y in y 2.169 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 2.169 * [taylor]: Taking taylor expansion of (sqrt x) in y 2.169 * [taylor]: Taking taylor expansion of x in y 2.169 * [taylor]: Taking taylor expansion of y in y 2.169 * [taylor]: Taking taylor expansion of 0 in x 2.170 * [taylor]: Taking taylor expansion of (sqrt x) in x 2.170 * [taylor]: Taking taylor expansion of x in x 2.172 * [taylor]: Taking taylor expansion of 0 in x 2.173 * [taylor]: Taking taylor expansion of 0 in x 2.176 * [taylor]: Taking taylor expansion of 0 in x 2.179 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 2.179 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 2.179 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 2.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.179 * [taylor]: Taking taylor expansion of x in x 2.180 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.180 * [taylor]: Taking taylor expansion of y in x 2.180 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 2.180 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 2.180 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.180 * [taylor]: Taking taylor expansion of x in y 2.180 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.180 * [taylor]: Taking taylor expansion of y in y 2.181 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 2.181 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 2.181 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.181 * [taylor]: Taking taylor expansion of x in y 2.181 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.181 * [taylor]: Taking taylor expansion of y in y 2.181 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 2.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.181 * [taylor]: Taking taylor expansion of x in x 2.183 * [taylor]: Taking taylor expansion of 0 in x 2.185 * [taylor]: Taking taylor expansion of 0 in x 2.189 * [taylor]: Taking taylor expansion of 0 in x 2.192 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0 2.193 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x 2.193 * [taylor]: Taking taylor expansion of -1 in x 2.193 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 2.193 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.193 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.193 * [taylor]: Taking taylor expansion of -1 in x 2.193 * [taylor]: Taking taylor expansion of x in x 2.194 * [taylor]: Taking taylor expansion of y in x 2.194 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 2.194 * [taylor]: Taking taylor expansion of -1 in y 2.194 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 2.194 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 2.194 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.194 * [taylor]: Taking taylor expansion of -1 in y 2.194 * [taylor]: Taking taylor expansion of x in y 2.194 * [taylor]: Taking taylor expansion of y in y 2.194 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 2.194 * [taylor]: Taking taylor expansion of -1 in y 2.194 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 2.194 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 2.194 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.194 * [taylor]: Taking taylor expansion of -1 in y 2.194 * [taylor]: Taking taylor expansion of x in y 2.195 * [taylor]: Taking taylor expansion of y in y 2.195 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x 2.195 * [taylor]: Taking taylor expansion of -1 in x 2.195 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.195 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.195 * [taylor]: Taking taylor expansion of -1 in x 2.195 * [taylor]: Taking taylor expansion of x in x 2.198 * [taylor]: Taking taylor expansion of 0 in x 2.204 * [taylor]: Taking taylor expansion of 0 in x 2.209 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 2.210 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0 2.210 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x 2.210 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 2.210 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 2.210 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 2.210 * [taylor]: Taking taylor expansion of 1/4 in x 2.210 * [taylor]: Taking taylor expansion of (log x) in x 2.210 * [taylor]: Taking taylor expansion of x in x 2.210 * [taylor]: Taking taylor expansion of y in x 2.210 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 2.210 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 2.210 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 2.210 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 2.210 * [taylor]: Taking taylor expansion of 1/4 in y 2.210 * [taylor]: Taking taylor expansion of (log x) in y 2.210 * [taylor]: Taking taylor expansion of x in y 2.211 * [taylor]: Taking taylor expansion of y in y 2.211 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 2.211 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 2.211 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 2.211 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 2.211 * [taylor]: Taking taylor expansion of 1/4 in y 2.211 * [taylor]: Taking taylor expansion of (log x) in y 2.211 * [taylor]: Taking taylor expansion of x in y 2.211 * [taylor]: Taking taylor expansion of y in y 2.211 * [taylor]: Taking taylor expansion of 0 in x 2.213 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 2.213 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 2.213 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 2.213 * [taylor]: Taking taylor expansion of 1/4 in x 2.213 * [taylor]: Taking taylor expansion of (log x) in x 2.213 * [taylor]: Taking taylor expansion of x in x 2.216 * [taylor]: Taking taylor expansion of 0 in x 2.228 * [taylor]: Taking taylor expansion of 0 in x 2.228 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0 2.228 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x 2.228 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 2.228 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 2.228 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 2.228 * [taylor]: Taking taylor expansion of 1/4 in x 2.228 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.228 * [taylor]: Taking taylor expansion of x in x 2.229 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.229 * [taylor]: Taking taylor expansion of y in x 2.229 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 2.229 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 2.229 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 2.229 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 2.229 * [taylor]: Taking taylor expansion of 1/4 in y 2.229 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 2.229 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.229 * [taylor]: Taking taylor expansion of x in y 2.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.229 * [taylor]: Taking taylor expansion of y in y 2.230 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 2.230 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 2.230 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 2.230 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 2.230 * [taylor]: Taking taylor expansion of 1/4 in y 2.230 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 2.230 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.230 * [taylor]: Taking taylor expansion of x in y 2.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.230 * [taylor]: Taking taylor expansion of y in y 2.230 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 2.230 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 2.230 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 2.230 * [taylor]: Taking taylor expansion of 1/4 in x 2.230 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.230 * [taylor]: Taking taylor expansion of x in x 2.234 * [taylor]: Taking taylor expansion of 0 in x 2.240 * [taylor]: Taking taylor expansion of 0 in x 2.248 * [taylor]: Taking taylor expansion of 0 in x 2.248 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (y x) around 0 2.249 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 2.249 * [taylor]: Taking taylor expansion of -1 in x 2.249 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 2.249 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.249 * [taylor]: Taking taylor expansion of y in x 2.249 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 2.249 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.249 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.249 * [taylor]: Taking taylor expansion of -1 in x 2.249 * [taylor]: Taking taylor expansion of x in x 2.253 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 2.253 * [taylor]: Taking taylor expansion of -1 in y 2.254 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 2.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.254 * [taylor]: Taking taylor expansion of y in y 2.254 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 2.254 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 2.254 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.254 * [taylor]: Taking taylor expansion of -1 in y 2.254 * [taylor]: Taking taylor expansion of x in y 2.254 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 2.254 * [taylor]: Taking taylor expansion of -1 in y 2.254 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 2.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.254 * [taylor]: Taking taylor expansion of y in y 2.254 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 2.254 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 2.255 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.255 * [taylor]: Taking taylor expansion of -1 in y 2.255 * [taylor]: Taking taylor expansion of x in y 2.255 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 x)))) in x 2.255 * [taylor]: Taking taylor expansion of -1 in x 2.255 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 2.255 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.255 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.255 * [taylor]: Taking taylor expansion of -1 in x 2.255 * [taylor]: Taking taylor expansion of x in x 2.262 * [taylor]: Taking taylor expansion of 0 in x 2.268 * [taylor]: Taking taylor expansion of 0 in x 2.293 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 2.293 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 2.293 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 2.293 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 2.293 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 2.293 * [taylor]: Taking taylor expansion of 1/4 in x 2.293 * [taylor]: Taking taylor expansion of (log x) in x 2.293 * [taylor]: Taking taylor expansion of x in x 2.294 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 2.294 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 2.294 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 2.294 * [taylor]: Taking taylor expansion of 1/4 in x 2.294 * [taylor]: Taking taylor expansion of (log x) in x 2.294 * [taylor]: Taking taylor expansion of x in x 2.350 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 2.350 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 2.350 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 2.350 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 2.350 * [taylor]: Taking taylor expansion of 1/4 in x 2.350 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.350 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.350 * [taylor]: Taking taylor expansion of x in x 2.351 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 2.351 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 2.351 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 2.351 * [taylor]: Taking taylor expansion of 1/4 in x 2.351 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.351 * [taylor]: Taking taylor expansion of x in x 2.410 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0 2.410 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 2.410 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.410 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.410 * [taylor]: Taking taylor expansion of -1 in x 2.410 * [taylor]: Taking taylor expansion of x in x 2.416 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 2.416 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.416 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.416 * [taylor]: Taking taylor expansion of -1 in x 2.416 * [taylor]: Taking taylor expansion of x in x 2.437 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 2.437 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 2.437 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 2.437 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 2.437 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 2.437 * [taylor]: Taking taylor expansion of 1/4 in x 2.437 * [taylor]: Taking taylor expansion of (log x) in x 2.437 * [taylor]: Taking taylor expansion of x in x 2.438 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 2.438 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 2.438 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 2.438 * [taylor]: Taking taylor expansion of 1/4 in x 2.438 * [taylor]: Taking taylor expansion of (log x) in x 2.438 * [taylor]: Taking taylor expansion of x in x 2.494 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 2.494 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 2.494 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 2.494 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 2.494 * [taylor]: Taking taylor expansion of 1/4 in x 2.494 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.494 * [taylor]: Taking taylor expansion of x in x 2.495 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 2.495 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 2.495 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 2.495 * [taylor]: Taking taylor expansion of 1/4 in x 2.495 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.495 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.495 * [taylor]: Taking taylor expansion of x in x 2.556 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0 2.556 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 2.556 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.556 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.556 * [taylor]: Taking taylor expansion of -1 in x 2.556 * [taylor]: Taking taylor expansion of x in x 2.561 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 2.561 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.561 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.561 * [taylor]: Taking taylor expansion of -1 in x 2.561 * [taylor]: Taking taylor expansion of x in x 2.583 * * * [progress]: simplifying candidates 2.584 * [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))))))))) 2.589 * * [simplify]: iteration 0 : 138 enodes (cost 963 ) 2.629 * * [simplify]: iteration 1 : 355 enodes (cost 754 ) 2.742 * * [simplify]: iteration 2 : 1234 enodes (cost 688 ) 3.247 * * [simplify]: iteration done : 5000 enodes (cost 678 ) 3.248 * [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))) (- (* (* +nan.0 y) (- x (pow x 3))) (* +nan.0 (* (pow x 2) y))) (- (+ (* +nan.0 y) (* (/ y x) (- (/ +nan.0 x) +nan.0)))) (- (+ (* +nan.0 y) (* (/ y x) (- (/ +nan.0 x) +nan.0)))) (* (pow x 1/4) y) (* (pow x 1/4) y) (fma (sqrt +nan.0) y (- (+ (* (/ +nan.0 (sqrt +nan.0)) (- (/ y x) (/ y (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 x) (sqrt +nan.0)) (- (/ +nan.0 (* (pow (sqrt +nan.0) 3) (pow x 2))) (/ +nan.0 (* (sqrt +nan.0) (pow x 2)))))) (pow x 1/4) (pow (/ 1 x) -1/4) (- (sqrt +nan.0) (- (/ (/ +nan.0 x) (sqrt +nan.0)) (- (/ +nan.0 (* (pow (sqrt +nan.0) 3) (pow x 2))) (/ +nan.0 (* (sqrt +nan.0) (pow x 2)))))) 3.248 * * * [progress]: adding candidates to table 3.471 * * [progress]: iteration 3 / 4 3.471 * * * [progress]: picking best candidate 3.482 * * * * [pick]: Picked # 3.482 * * * [progress]: localizing error 3.498 * * * [progress]: generating rewritten candidates 3.498 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 3.522 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 3.533 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 3.534 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 3.543 * * * [progress]: generating series expansions 3.543 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 3.543 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 3.543 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 3.543 * [taylor]: Taking taylor expansion of (sqrt x) in x 3.543 * [taylor]: Taking taylor expansion of x in x 3.545 * [taylor]: Taking taylor expansion of y in x 3.545 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 3.545 * [taylor]: Taking taylor expansion of (sqrt x) in y 3.545 * [taylor]: Taking taylor expansion of x in y 3.545 * [taylor]: Taking taylor expansion of y in y 3.545 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 3.545 * [taylor]: Taking taylor expansion of (sqrt x) in y 3.545 * [taylor]: Taking taylor expansion of x in y 3.545 * [taylor]: Taking taylor expansion of y in y 3.545 * [taylor]: Taking taylor expansion of 0 in x 3.546 * [taylor]: Taking taylor expansion of (sqrt x) in x 3.546 * [taylor]: Taking taylor expansion of x in x 3.548 * [taylor]: Taking taylor expansion of 0 in x 3.549 * [taylor]: Taking taylor expansion of 0 in x 3.552 * [taylor]: Taking taylor expansion of 0 in x 3.555 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 3.555 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 3.555 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 3.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.555 * [taylor]: Taking taylor expansion of x in x 3.556 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.556 * [taylor]: Taking taylor expansion of y in x 3.557 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 3.557 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 3.557 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.557 * [taylor]: Taking taylor expansion of x in y 3.557 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.557 * [taylor]: Taking taylor expansion of y in y 3.557 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 3.557 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 3.557 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.557 * [taylor]: Taking taylor expansion of x in y 3.557 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.557 * [taylor]: Taking taylor expansion of y in y 3.558 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 3.558 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.558 * [taylor]: Taking taylor expansion of x in x 3.560 * [taylor]: Taking taylor expansion of 0 in x 3.561 * [taylor]: Taking taylor expansion of 0 in x 3.565 * [taylor]: Taking taylor expansion of 0 in x 3.568 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in (y x) around 0 3.568 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in x 3.568 * [taylor]: Taking taylor expansion of -1 in x 3.568 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 3.568 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 x)) 1/4) in x 3.568 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (* -1 x))))) in x 3.568 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (* -1 x)))) in x 3.568 * [taylor]: Taking taylor expansion of 1/4 in x 3.569 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 x))) in x 3.569 * [taylor]: Taking taylor expansion of (/ 1 (* -1 x)) in x 3.569 * [taylor]: Taking taylor expansion of (* -1 x) in x 3.569 * [taylor]: Taking taylor expansion of -1 in x 3.569 * [taylor]: Taking taylor expansion of x in x 3.571 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 3.571 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.571 * [taylor]: Taking taylor expansion of y in x 3.571 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 3.571 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.571 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.571 * [taylor]: Taking taylor expansion of -1 in x 3.571 * [taylor]: Taking taylor expansion of x in x 3.576 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in y 3.576 * [taylor]: Taking taylor expansion of -1 in y 3.576 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 3.576 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 x)) 1/4) in y 3.576 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (* -1 x))))) in y 3.576 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (* -1 x)))) in y 3.576 * [taylor]: Taking taylor expansion of 1/4 in y 3.576 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 x))) in y 3.576 * [taylor]: Taking taylor expansion of (/ 1 (* -1 x)) in y 3.576 * [taylor]: Taking taylor expansion of (* -1 x) in y 3.576 * [taylor]: Taking taylor expansion of -1 in y 3.576 * [taylor]: Taking taylor expansion of x in y 3.576 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 3.577 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.577 * [taylor]: Taking taylor expansion of y in y 3.577 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 3.577 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 3.577 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.577 * [taylor]: Taking taylor expansion of -1 in y 3.577 * [taylor]: Taking taylor expansion of x in y 3.577 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in y 3.577 * [taylor]: Taking taylor expansion of -1 in y 3.577 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 3.577 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 x)) 1/4) in y 3.577 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (* -1 x))))) in y 3.577 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (* -1 x)))) in y 3.577 * [taylor]: Taking taylor expansion of 1/4 in y 3.577 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 x))) in y 3.577 * [taylor]: Taking taylor expansion of (/ 1 (* -1 x)) in y 3.577 * [taylor]: Taking taylor expansion of (* -1 x) in y 3.577 * [taylor]: Taking taylor expansion of -1 in y 3.577 * [taylor]: Taking taylor expansion of x in y 3.577 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 3.578 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.578 * [taylor]: Taking taylor expansion of y in y 3.578 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 3.578 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 3.578 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.578 * [taylor]: Taking taylor expansion of -1 in y 3.578 * [taylor]: Taking taylor expansion of x in y 3.578 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (sqrt (sqrt (/ -1 x))))) in x 3.579 * [taylor]: Taking taylor expansion of -1 in x 3.579 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (sqrt (sqrt (/ -1 x)))) in x 3.579 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in x 3.579 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in x 3.579 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in x 3.579 * [taylor]: Taking taylor expansion of 1/4 in x 3.579 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 3.579 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.579 * [taylor]: Taking taylor expansion of -1 in x 3.579 * [taylor]: Taking taylor expansion of x in x 3.580 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 3.580 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.580 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.580 * [taylor]: Taking taylor expansion of -1 in x 3.580 * [taylor]: Taking taylor expansion of x in x 3.590 * [taylor]: Taking taylor expansion of 0 in x 3.602 * [taylor]: Taking taylor expansion of 0 in x 3.632 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 3.633 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0 3.633 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x 3.633 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 3.633 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 3.633 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 3.633 * [taylor]: Taking taylor expansion of 1/4 in x 3.633 * [taylor]: Taking taylor expansion of (log x) in x 3.633 * [taylor]: Taking taylor expansion of x in x 3.633 * [taylor]: Taking taylor expansion of y in x 3.633 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 3.633 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 3.633 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 3.633 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 3.633 * [taylor]: Taking taylor expansion of 1/4 in y 3.634 * [taylor]: Taking taylor expansion of (log x) in y 3.634 * [taylor]: Taking taylor expansion of x in y 3.634 * [taylor]: Taking taylor expansion of y in y 3.634 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 3.634 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 3.634 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 3.634 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 3.634 * [taylor]: Taking taylor expansion of 1/4 in y 3.634 * [taylor]: Taking taylor expansion of (log x) in y 3.634 * [taylor]: Taking taylor expansion of x in y 3.634 * [taylor]: Taking taylor expansion of y in y 3.634 * [taylor]: Taking taylor expansion of 0 in x 3.636 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 3.636 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 3.636 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 3.636 * [taylor]: Taking taylor expansion of 1/4 in x 3.636 * [taylor]: Taking taylor expansion of (log x) in x 3.636 * [taylor]: Taking taylor expansion of x in x 3.639 * [taylor]: Taking taylor expansion of 0 in x 3.645 * [taylor]: Taking taylor expansion of 0 in x 3.645 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0 3.645 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x 3.645 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 3.645 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 3.645 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 3.645 * [taylor]: Taking taylor expansion of 1/4 in x 3.645 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.645 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.645 * [taylor]: Taking taylor expansion of x in x 3.646 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.646 * [taylor]: Taking taylor expansion of y in x 3.646 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 3.646 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 3.646 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 3.646 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 3.646 * [taylor]: Taking taylor expansion of 1/4 in y 3.646 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 3.646 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.646 * [taylor]: Taking taylor expansion of x in y 3.647 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.647 * [taylor]: Taking taylor expansion of y in y 3.647 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 3.647 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 3.647 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 3.647 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 3.647 * [taylor]: Taking taylor expansion of 1/4 in y 3.647 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 3.647 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.647 * [taylor]: Taking taylor expansion of x in y 3.647 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.647 * [taylor]: Taking taylor expansion of y in y 3.648 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 3.648 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 3.648 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 3.648 * [taylor]: Taking taylor expansion of 1/4 in x 3.648 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.648 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.648 * [taylor]: Taking taylor expansion of x in x 3.651 * [taylor]: Taking taylor expansion of 0 in x 3.656 * [taylor]: Taking taylor expansion of 0 in x 3.664 * [taylor]: Taking taylor expansion of 0 in x 3.665 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (y x) around 0 3.665 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 3.665 * [taylor]: Taking taylor expansion of -1 in x 3.665 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 3.665 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.665 * [taylor]: Taking taylor expansion of y in x 3.665 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 3.665 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.665 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.665 * [taylor]: Taking taylor expansion of -1 in x 3.665 * [taylor]: Taking taylor expansion of x in x 3.670 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 3.670 * [taylor]: Taking taylor expansion of -1 in y 3.670 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 3.670 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.670 * [taylor]: Taking taylor expansion of y in y 3.670 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 3.670 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 3.670 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.670 * [taylor]: Taking taylor expansion of -1 in y 3.670 * [taylor]: Taking taylor expansion of x in y 3.670 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 3.670 * [taylor]: Taking taylor expansion of -1 in y 3.670 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 3.671 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.671 * [taylor]: Taking taylor expansion of y in y 3.671 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 3.671 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 3.671 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.671 * [taylor]: Taking taylor expansion of -1 in y 3.671 * [taylor]: Taking taylor expansion of x in y 3.671 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 x)))) in x 3.671 * [taylor]: Taking taylor expansion of -1 in x 3.671 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 3.671 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.671 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.671 * [taylor]: Taking taylor expansion of -1 in x 3.671 * [taylor]: Taking taylor expansion of x in x 3.678 * [taylor]: Taking taylor expansion of 0 in x 3.684 * [taylor]: Taking taylor expansion of 0 in x 3.714 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 3.714 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 3.714 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 3.714 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 3.715 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 3.715 * [taylor]: Taking taylor expansion of 1/4 in x 3.715 * [taylor]: Taking taylor expansion of (log x) in x 3.715 * [taylor]: Taking taylor expansion of x in x 3.715 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 3.715 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 3.715 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 3.715 * [taylor]: Taking taylor expansion of 1/4 in x 3.715 * [taylor]: Taking taylor expansion of (log x) in x 3.715 * [taylor]: Taking taylor expansion of x in x 3.764 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 3.764 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 3.764 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 3.764 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 3.764 * [taylor]: Taking taylor expansion of 1/4 in x 3.764 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.764 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.764 * [taylor]: Taking taylor expansion of x in x 3.765 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 3.765 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 3.765 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 3.765 * [taylor]: Taking taylor expansion of 1/4 in x 3.765 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.765 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.765 * [taylor]: Taking taylor expansion of x in x 3.823 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0 3.823 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 3.823 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.823 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.823 * [taylor]: Taking taylor expansion of -1 in x 3.823 * [taylor]: Taking taylor expansion of x in x 3.828 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 3.828 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.828 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.828 * [taylor]: Taking taylor expansion of -1 in x 3.828 * [taylor]: Taking taylor expansion of x in x 3.850 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 3.850 * [approximate]: Taking taylor expansion of (pow (/ 1 x) -1/4) in (x) around 0 3.850 * [taylor]: Taking taylor expansion of (pow (/ 1 x) -1/4) in x 3.850 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log (/ 1 x)))) in x 3.850 * [taylor]: Taking taylor expansion of (* -1/4 (log (/ 1 x))) in x 3.850 * [taylor]: Taking taylor expansion of -1/4 in x 3.850 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.850 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.850 * [taylor]: Taking taylor expansion of x in x 3.851 * [taylor]: Taking taylor expansion of (pow (/ 1 x) -1/4) in x 3.851 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log (/ 1 x)))) in x 3.851 * [taylor]: Taking taylor expansion of (* -1/4 (log (/ 1 x))) in x 3.851 * [taylor]: Taking taylor expansion of -1/4 in x 3.851 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.851 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.851 * [taylor]: Taking taylor expansion of x in x 3.909 * [approximate]: Taking taylor expansion of (pow x -1/4) in (x) around 0 3.909 * [taylor]: Taking taylor expansion of (pow x -1/4) in x 3.909 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log x))) in x 3.909 * [taylor]: Taking taylor expansion of (* -1/4 (log x)) in x 3.909 * [taylor]: Taking taylor expansion of -1/4 in x 3.909 * [taylor]: Taking taylor expansion of (log x) in x 3.909 * [taylor]: Taking taylor expansion of x in x 3.910 * [taylor]: Taking taylor expansion of (pow x -1/4) in x 3.910 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log x))) in x 3.910 * [taylor]: Taking taylor expansion of (* -1/4 (log x)) in x 3.910 * [taylor]: Taking taylor expansion of -1/4 in x 3.910 * [taylor]: Taking taylor expansion of (log x) in x 3.910 * [taylor]: Taking taylor expansion of x in x 3.965 * [approximate]: Taking taylor expansion of (pow (* -1 x) -1/4) in (x) around 0 3.965 * [taylor]: Taking taylor expansion of (pow (* -1 x) -1/4) in x 3.965 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log (* -1 x)))) in x 3.965 * [taylor]: Taking taylor expansion of (* -1/4 (log (* -1 x))) in x 3.965 * [taylor]: Taking taylor expansion of -1/4 in x 3.965 * [taylor]: Taking taylor expansion of (log (* -1 x)) in x 3.965 * [taylor]: Taking taylor expansion of (* -1 x) in x 3.965 * [taylor]: Taking taylor expansion of -1 in x 3.965 * [taylor]: Taking taylor expansion of x in x 3.967 * [taylor]: Taking taylor expansion of (pow (* -1 x) -1/4) in x 3.967 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log (* -1 x)))) in x 3.967 * [taylor]: Taking taylor expansion of (* -1/4 (log (* -1 x))) in x 3.967 * [taylor]: Taking taylor expansion of -1/4 in x 3.967 * [taylor]: Taking taylor expansion of (log (* -1 x)) in x 3.967 * [taylor]: Taking taylor expansion of (* -1 x) in x 3.967 * [taylor]: Taking taylor expansion of -1 in x 3.967 * [taylor]: Taking taylor expansion of x in x 4.037 * * * [progress]: simplifying candidates 4.039 * [simplify]: Simplifying using # : (expm1 (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (log1p (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (+ (+ (log y) (log (sqrt (sqrt x)))) (* (- (log x)) -1/4)) (+ (+ (log y) (log (sqrt (sqrt x)))) (* (- 0 (log x)) -1/4)) (+ (+ (log y) (log (sqrt (sqrt x)))) (* (- (log 1) (log x)) -1/4)) (+ (+ (log y) (log (sqrt (sqrt x)))) (* (log (/ 1 x)) -1/4)) (+ (+ (log y) (log (sqrt (sqrt x)))) (* (log (/ 1 x)) -1/4)) (+ (+ (log y) (log (sqrt (sqrt x)))) (log (pow (/ 1 x) -1/4))) (+ (log (* y (sqrt (sqrt x)))) (* (- (log x)) -1/4)) (+ (log (* y (sqrt (sqrt x)))) (* (- 0 (log x)) -1/4)) (+ (log (* y (sqrt (sqrt x)))) (* (- (log 1) (log x)) -1/4)) (+ (log (* y (sqrt (sqrt x)))) (* (log (/ 1 x)) -1/4)) (+ (log (* y (sqrt (sqrt x)))) (* (log (/ 1 x)) -1/4)) (+ (log (* y (sqrt (sqrt x)))) (log (pow (/ 1 x) -1/4))) (log (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (exp (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (* (* (* (* y y) y) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (pow (/ 1 x) -1/4) (pow (/ 1 x) -1/4)) (pow (/ 1 x) -1/4))) (* (* (* (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x)))) (* (* (pow (/ 1 x) -1/4) (pow (/ 1 x) -1/4)) (pow (/ 1 x) -1/4))) (* (cbrt (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (cbrt (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4)))) (cbrt (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (* (* (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4)) (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (sqrt (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (sqrt (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (* (* y (sqrt (sqrt x))) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/4)) (* (* y (sqrt (sqrt x))) (pow (sqrt (/ 1 x)) -1/4)) (* (* y (sqrt (sqrt x))) (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) -1/4)) (* (* y (sqrt (sqrt x))) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) -1/4)) (* (* y (sqrt (sqrt x))) (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/4)) (* (* y (sqrt (sqrt x))) (pow (/ (sqrt 1) (* (cbrt x) (cbrt x))) -1/4)) (* (* y (sqrt (sqrt x))) (pow (/ (sqrt 1) (sqrt x)) -1/4)) (* (* y (sqrt (sqrt x))) (pow (/ (sqrt 1) 1) -1/4)) (* (* y (sqrt (sqrt x))) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4)) (* (* y (sqrt (sqrt x))) (pow (/ 1 (sqrt x)) -1/4)) (* (* y (sqrt (sqrt x))) (pow (/ 1 1) -1/4)) (* (* y (sqrt (sqrt x))) (pow 1 -1/4)) (* (* y (sqrt (sqrt x))) (pow 1 -1/4)) (* (* y (sqrt (sqrt x))) (* (cbrt (pow (/ 1 x) -1/4)) (cbrt (pow (/ 1 x) -1/4)))) (* (* y (sqrt (sqrt x))) (sqrt (pow (/ 1 x) -1/4))) (* (* y (sqrt (sqrt x))) 1) (* (* y (sqrt (sqrt x))) (pow (/ 1 x) (/ -1/4 2))) (* (sqrt (sqrt x)) (pow (/ 1 x) -1/4)) (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 (pow (/ 1 x) -1/4)) (log1p (pow (/ 1 x) -1/4)) (* (- (log x)) -1/4) (* (- 0 (log x)) -1/4) (* (- (log 1) (log x)) -1/4) (* (log (/ 1 x)) -1/4) (* (log (/ 1 x)) -1/4) (* -1 -1/4) (* (- 1) -1/4) (* 1 -1/4) (pow (/ 1 x) (* (cbrt -1/4) (cbrt -1/4))) (pow (/ 1 x) (sqrt -1/4)) (pow (/ 1 x) 1) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/4) (pow (cbrt (/ 1 x)) -1/4) (pow (sqrt (/ 1 x)) -1/4) (pow (sqrt (/ 1 x)) -1/4) (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) -1/4) (pow (/ (cbrt 1) (cbrt x)) -1/4) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) -1/4) (pow (/ (cbrt 1) (sqrt x)) -1/4) (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/4) (pow (/ (cbrt 1) x) -1/4) (pow (/ (sqrt 1) (* (cbrt x) (cbrt x))) -1/4) (pow (/ (sqrt 1) (cbrt x)) -1/4) (pow (/ (sqrt 1) (sqrt x)) -1/4) (pow (/ (sqrt 1) (sqrt x)) -1/4) (pow (/ (sqrt 1) 1) -1/4) (pow (/ (sqrt 1) x) -1/4) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4) (pow (/ 1 (cbrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 1) -1/4) (pow (/ 1 x) -1/4) (pow 1 -1/4) (pow (/ 1 x) -1/4) (pow 1 -1/4) (pow (/ 1 x) -1/4) (log (pow (/ 1 x) -1/4)) (exp (pow (/ 1 x) -1/4)) (* (cbrt (pow (/ 1 x) -1/4)) (cbrt (pow (/ 1 x) -1/4))) (cbrt (pow (/ 1 x) -1/4)) (* (* (pow (/ 1 x) -1/4) (pow (/ 1 x) -1/4)) (pow (/ 1 x) -1/4)) (sqrt (pow (/ 1 x) -1/4)) (sqrt (pow (/ 1 x) -1/4)) (pow (/ 1 x) (/ -1/4 2)) (pow (/ 1 x) (/ -1/4 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)))))) (- (* (sqrt +nan.0) (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y)) (+ (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (+ (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (sqrt +nan.0) x))) (- (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (sqrt +nan.0) (pow x 2))))))))) (* (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) (exp (* -1/4 (+ (log -1) (log (/ -1 x))))) 4.046 * * [simplify]: iteration 0 : 250 enodes (cost 1503 ) 4.121 * * [simplify]: iteration 1 : 646 enodes (cost 1285 ) 4.367 * * [simplify]: iteration 2 : 2263 enodes (cost 1204 ) 4.976 * * [simplify]: iteration done : 5001 enodes (cost 1202 ) 4.977 * [simplify]: Simplified to: (expm1 (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (log1p (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (exp (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (pow (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4)) 3) (pow (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4)) 3) (* (cbrt (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (cbrt (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4)))) (cbrt (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (pow (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4)) 3) (sqrt (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (sqrt (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (* (* y (sqrt (sqrt x))) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/4)) (* (* y (sqrt (sqrt x))) (pow (sqrt (/ 1 x)) -1/4)) (* (* (sqrt (sqrt x)) y) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4)) (* (pow (/ 1 (sqrt x)) -1/4) (* (sqrt (sqrt x)) y)) (* (sqrt (sqrt x)) y) (* (* (sqrt (sqrt x)) y) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4)) (* (pow (/ 1 (sqrt x)) -1/4) (* (sqrt (sqrt x)) y)) (* (sqrt (sqrt x)) y) (* (* (sqrt (sqrt x)) y) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4)) (* (pow (/ 1 (sqrt x)) -1/4) (* (sqrt (sqrt x)) y)) (* (sqrt (sqrt x)) y) (* (sqrt (sqrt x)) y) (* (sqrt (sqrt x)) y) (* (* y (sqrt (sqrt x))) (* (cbrt (pow (/ 1 x) -1/4)) (cbrt (pow (/ 1 x) -1/4)))) (* (* y (sqrt (sqrt x))) (sqrt (pow (/ 1 x) -1/4))) (* (sqrt (sqrt x)) y) (* (* (sqrt (sqrt x)) y) (pow (/ 1 x) -1/8)) (* (sqrt (sqrt x)) (pow (/ 1 x) -1/4)) (expm1 (* y (sqrt (sqrt x)))) (log1p (* y (sqrt (sqrt x)))) (* (sqrt (sqrt x)) y) (log (* y (sqrt (sqrt x)))) (log (* y (sqrt (sqrt x)))) (exp (* y (sqrt (sqrt x)))) (pow (* (sqrt (sqrt x)) y) 3) (* (cbrt (* y (sqrt (sqrt x)))) (cbrt (* y (sqrt (sqrt x))))) (cbrt (* y (sqrt (sqrt x)))) (pow (* (sqrt (sqrt x)) y) 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)))) (* y (sqrt (fabs (cbrt x)))) (* 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))) (* (sqrt (sqrt x)) y) (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 (pow (/ 1 x) -1/4)) (log1p (pow (/ 1 x) -1/4)) (* (log x) 1/4) (* (log x) 1/4) (* (log x) 1/4) (* (log x) 1/4) (* (log x) 1/4) 1/4 1/4 -1/4 (pow (/ 1 x) (* (cbrt -1/4) (cbrt -1/4))) (pow (/ 1 x) (sqrt -1/4)) (/ 1 x) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/4) (pow (cbrt (/ 1 x)) -1/4) (pow (sqrt (/ 1 x)) -1/4) (pow (sqrt (/ 1 x)) -1/4) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4) (pow (/ 1 (cbrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) 1 (pow (/ 1 x) -1/4) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4) (pow (/ 1 (cbrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) 1 (pow (/ 1 x) -1/4) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4) (pow (/ 1 (cbrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) 1 (pow (/ 1 x) -1/4) 1 (pow (/ 1 x) -1/4) 1 (pow (/ 1 x) -1/4) (* (log x) 1/4) (exp (pow (/ 1 x) -1/4)) (* (cbrt (pow (/ 1 x) -1/4)) (cbrt (pow (/ 1 x) -1/4))) (cbrt (pow (/ 1 x) -1/4)) (pow (pow (/ 1 x) -1/4) 3) (sqrt (pow (/ 1 x) -1/4)) (sqrt (pow (/ 1 x) -1/4)) (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8) (- (* +nan.0 (- (* x y) (* (pow x 3) y))) (* +nan.0 (* (pow x 2) y))) (- (* +nan.0 (- (/ y x) y)) (* +nan.0 (/ y (pow x 2)))) (+ (- (* (sqrt +nan.0) (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y)) (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (pow (sqrt +nan.0) 3) (pow x 2))))) (* +nan.0 (- (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (sqrt +nan.0) x)) (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (sqrt +nan.0) (pow x 2)))))) (* (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))) (/ y (* (pow (sqrt +nan.0) 3) (pow x 2)))))) (pow x 1/4) (pow (/ 1 x) -1/4) (+ (- (sqrt +nan.0) (/ +nan.0 (* (sqrt +nan.0) x))) (- (/ +nan.0 (* (pow (sqrt +nan.0) 3) (pow x 2))) (/ +nan.0 (* (sqrt +nan.0) (pow x 2))))) (pow x 1/4) (pow (/ 1 x) -1/4) (exp (* -1/4 (+ (log -1) (log (/ -1 x))))) 4.977 * * * [progress]: adding candidates to table 5.473 * * [progress]: iteration 4 / 4 5.473 * * * [progress]: picking best candidate 5.482 * * * * [pick]: Picked # 5.482 * * * [progress]: localizing error 5.498 * * * [progress]: generating rewritten candidates 5.498 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 5.532 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 5.571 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 5.578 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 5.597 * * * [progress]: generating series expansions 5.597 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 5.597 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 5.597 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 5.597 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 5.597 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 5.597 * [taylor]: Taking taylor expansion of 1/4 in x 5.597 * [taylor]: Taking taylor expansion of (log x) in x 5.597 * [taylor]: Taking taylor expansion of x in x 5.598 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 5.598 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 5.598 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 5.598 * [taylor]: Taking taylor expansion of 1/4 in x 5.598 * [taylor]: Taking taylor expansion of (log x) in x 5.598 * [taylor]: Taking taylor expansion of x in x 5.654 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 5.654 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 5.654 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 5.654 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 5.654 * [taylor]: Taking taylor expansion of 1/4 in x 5.654 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.654 * [taylor]: Taking taylor expansion of x in x 5.655 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 5.655 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 5.655 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 5.655 * [taylor]: Taking taylor expansion of 1/4 in x 5.655 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.655 * [taylor]: Taking taylor expansion of x in x 5.711 * [approximate]: Taking taylor expansion of (pow (/ 1 (* -1 x)) 1/4) in (x) around 0 5.711 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 x)) 1/4) in x 5.711 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (* -1 x))))) in x 5.711 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (* -1 x)))) in x 5.711 * [taylor]: Taking taylor expansion of 1/4 in x 5.711 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 x))) in x 5.711 * [taylor]: Taking taylor expansion of (/ 1 (* -1 x)) in x 5.711 * [taylor]: Taking taylor expansion of (* -1 x) in x 5.711 * [taylor]: Taking taylor expansion of -1 in x 5.711 * [taylor]: Taking taylor expansion of x in x 5.713 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 x)) 1/4) in x 5.713 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (* -1 x))))) in x 5.713 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (* -1 x)))) in x 5.713 * [taylor]: Taking taylor expansion of 1/4 in x 5.713 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 x))) in x 5.713 * [taylor]: Taking taylor expansion of (/ 1 (* -1 x)) in x 5.713 * [taylor]: Taking taylor expansion of (* -1 x) in x 5.713 * [taylor]: Taking taylor expansion of -1 in x 5.713 * [taylor]: Taking taylor expansion of x in x 5.779 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 5.780 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 5.780 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 5.780 * [taylor]: Taking taylor expansion of (sqrt x) in x 5.780 * [taylor]: Taking taylor expansion of x in x 5.781 * [taylor]: Taking taylor expansion of y in x 5.781 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 5.781 * [taylor]: Taking taylor expansion of (sqrt x) in y 5.781 * [taylor]: Taking taylor expansion of x in y 5.781 * [taylor]: Taking taylor expansion of y in y 5.781 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 5.781 * [taylor]: Taking taylor expansion of (sqrt x) in y 5.781 * [taylor]: Taking taylor expansion of x in y 5.781 * [taylor]: Taking taylor expansion of y in y 5.781 * [taylor]: Taking taylor expansion of 0 in x 5.782 * [taylor]: Taking taylor expansion of (sqrt x) in x 5.782 * [taylor]: Taking taylor expansion of x in x 5.784 * [taylor]: Taking taylor expansion of 0 in x 5.785 * [taylor]: Taking taylor expansion of 0 in x 5.788 * [taylor]: Taking taylor expansion of 0 in x 5.791 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 5.791 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 5.791 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 5.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.791 * [taylor]: Taking taylor expansion of x in x 5.792 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.792 * [taylor]: Taking taylor expansion of y in x 5.792 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 5.792 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 5.792 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.792 * [taylor]: Taking taylor expansion of x in y 5.792 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.792 * [taylor]: Taking taylor expansion of y in y 5.793 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 5.793 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 5.793 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.793 * [taylor]: Taking taylor expansion of x in y 5.793 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.793 * [taylor]: Taking taylor expansion of y in y 5.793 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 5.793 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.793 * [taylor]: Taking taylor expansion of x in x 5.795 * [taylor]: Taking taylor expansion of 0 in x 5.797 * [taylor]: Taking taylor expansion of 0 in x 5.801 * [taylor]: Taking taylor expansion of 0 in x 5.804 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in (y x) around 0 5.804 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in x 5.804 * [taylor]: Taking taylor expansion of -1 in x 5.804 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 5.804 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in x 5.805 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in x 5.805 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in x 5.805 * [taylor]: Taking taylor expansion of 1/4 in x 5.805 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 5.805 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.805 * [taylor]: Taking taylor expansion of -1 in x 5.805 * [taylor]: Taking taylor expansion of x in x 5.806 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 5.806 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.806 * [taylor]: Taking taylor expansion of y in x 5.806 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 5.806 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 5.806 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.806 * [taylor]: Taking taylor expansion of -1 in x 5.806 * [taylor]: Taking taylor expansion of x in x 5.811 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in y 5.811 * [taylor]: Taking taylor expansion of -1 in y 5.811 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 5.811 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in y 5.811 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in y 5.811 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in y 5.811 * [taylor]: Taking taylor expansion of 1/4 in y 5.811 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in y 5.811 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.811 * [taylor]: Taking taylor expansion of -1 in y 5.812 * [taylor]: Taking taylor expansion of x in y 5.812 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 5.812 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.812 * [taylor]: Taking taylor expansion of y in y 5.812 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 5.812 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 5.812 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.812 * [taylor]: Taking taylor expansion of -1 in y 5.812 * [taylor]: Taking taylor expansion of x in y 5.812 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in y 5.812 * [taylor]: Taking taylor expansion of -1 in y 5.812 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 5.812 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in y 5.812 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in y 5.812 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in y 5.812 * [taylor]: Taking taylor expansion of 1/4 in y 5.812 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in y 5.812 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.813 * [taylor]: Taking taylor expansion of -1 in y 5.813 * [taylor]: Taking taylor expansion of x in y 5.813 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 5.813 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.813 * [taylor]: Taking taylor expansion of y in y 5.813 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 5.813 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 5.813 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.813 * [taylor]: Taking taylor expansion of -1 in y 5.813 * [taylor]: Taking taylor expansion of x in y 5.814 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (sqrt (sqrt (/ -1 x))))) in x 5.814 * [taylor]: Taking taylor expansion of -1 in x 5.814 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (sqrt (sqrt (/ -1 x)))) in x 5.814 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in x 5.814 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in x 5.814 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in x 5.814 * [taylor]: Taking taylor expansion of 1/4 in x 5.814 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 5.814 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.814 * [taylor]: Taking taylor expansion of -1 in x 5.814 * [taylor]: Taking taylor expansion of x in x 5.816 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 5.816 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 5.816 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.816 * [taylor]: Taking taylor expansion of -1 in x 5.816 * [taylor]: Taking taylor expansion of x in x 5.825 * [taylor]: Taking taylor expansion of 0 in x 5.836 * [taylor]: Taking taylor expansion of 0 in x 5.866 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 5.866 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0 5.867 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x 5.867 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 5.867 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 5.867 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 5.867 * [taylor]: Taking taylor expansion of 1/4 in x 5.867 * [taylor]: Taking taylor expansion of (log x) in x 5.867 * [taylor]: Taking taylor expansion of x in x 5.867 * [taylor]: Taking taylor expansion of y in x 5.867 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 5.867 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 5.867 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 5.867 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 5.867 * [taylor]: Taking taylor expansion of 1/4 in y 5.867 * [taylor]: Taking taylor expansion of (log x) in y 5.867 * [taylor]: Taking taylor expansion of x in y 5.867 * [taylor]: Taking taylor expansion of y in y 5.867 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 5.867 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 5.868 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 5.868 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 5.868 * [taylor]: Taking taylor expansion of 1/4 in y 5.868 * [taylor]: Taking taylor expansion of (log x) in y 5.868 * [taylor]: Taking taylor expansion of x in y 5.868 * [taylor]: Taking taylor expansion of y in y 5.868 * [taylor]: Taking taylor expansion of 0 in x 5.869 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 5.869 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 5.869 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 5.869 * [taylor]: Taking taylor expansion of 1/4 in x 5.869 * [taylor]: Taking taylor expansion of (log x) in x 5.869 * [taylor]: Taking taylor expansion of x in x 5.873 * [taylor]: Taking taylor expansion of 0 in x 5.878 * [taylor]: Taking taylor expansion of 0 in x 5.879 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0 5.879 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x 5.879 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 5.879 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 5.879 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 5.879 * [taylor]: Taking taylor expansion of 1/4 in x 5.879 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.879 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.879 * [taylor]: Taking taylor expansion of x in x 5.880 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.880 * [taylor]: Taking taylor expansion of y in x 5.880 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 5.880 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 5.880 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 5.880 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 5.880 * [taylor]: Taking taylor expansion of 1/4 in y 5.880 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 5.880 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.880 * [taylor]: Taking taylor expansion of x in y 5.880 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.880 * [taylor]: Taking taylor expansion of y in y 5.880 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 5.880 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 5.880 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 5.880 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 5.880 * [taylor]: Taking taylor expansion of 1/4 in y 5.880 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 5.880 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.880 * [taylor]: Taking taylor expansion of x in y 5.881 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.881 * [taylor]: Taking taylor expansion of y in y 5.881 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 5.881 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 5.881 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 5.881 * [taylor]: Taking taylor expansion of 1/4 in x 5.881 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.881 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.881 * [taylor]: Taking taylor expansion of x in x 5.884 * [taylor]: Taking taylor expansion of 0 in x 5.890 * [taylor]: Taking taylor expansion of 0 in x 5.898 * [taylor]: Taking taylor expansion of 0 in x 5.898 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (y x) around 0 5.898 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 5.898 * [taylor]: Taking taylor expansion of -1 in x 5.898 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 5.898 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.898 * [taylor]: Taking taylor expansion of y in x 5.898 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 5.898 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 5.898 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.898 * [taylor]: Taking taylor expansion of -1 in x 5.898 * [taylor]: Taking taylor expansion of x in x 5.903 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 5.903 * [taylor]: Taking taylor expansion of -1 in y 5.903 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 5.903 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.903 * [taylor]: Taking taylor expansion of y in y 5.903 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 5.903 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 5.903 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.903 * [taylor]: Taking taylor expansion of -1 in y 5.903 * [taylor]: Taking taylor expansion of x in y 5.904 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 5.904 * [taylor]: Taking taylor expansion of -1 in y 5.904 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 5.904 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.904 * [taylor]: Taking taylor expansion of y in y 5.904 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 5.904 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 5.904 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.904 * [taylor]: Taking taylor expansion of -1 in y 5.904 * [taylor]: Taking taylor expansion of x in y 5.905 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 x)))) in x 5.905 * [taylor]: Taking taylor expansion of -1 in x 5.905 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 5.905 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 5.905 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.905 * [taylor]: Taking taylor expansion of -1 in x 5.905 * [taylor]: Taking taylor expansion of x in x 5.912 * [taylor]: Taking taylor expansion of 0 in x 5.918 * [taylor]: Taking taylor expansion of 0 in x 5.950 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 5.950 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 5.950 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 5.950 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 5.950 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 5.950 * [taylor]: Taking taylor expansion of 1/4 in x 5.950 * [taylor]: Taking taylor expansion of (log x) in x 5.950 * [taylor]: Taking taylor expansion of x in x 5.951 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 5.951 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 5.951 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 5.951 * [taylor]: Taking taylor expansion of 1/4 in x 5.951 * [taylor]: Taking taylor expansion of (log x) in x 5.951 * [taylor]: Taking taylor expansion of x in x 6.000 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 6.000 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 6.000 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 6.000 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 6.000 * [taylor]: Taking taylor expansion of 1/4 in x 6.000 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.000 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.000 * [taylor]: Taking taylor expansion of x in x 6.001 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 6.001 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 6.001 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 6.001 * [taylor]: Taking taylor expansion of 1/4 in x 6.001 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.001 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.001 * [taylor]: Taking taylor expansion of x in x 6.061 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0 6.061 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 6.061 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 6.061 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.061 * [taylor]: Taking taylor expansion of -1 in x 6.061 * [taylor]: Taking taylor expansion of x in x 6.066 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 6.066 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 6.066 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.066 * [taylor]: Taking taylor expansion of -1 in x 6.066 * [taylor]: Taking taylor expansion of x in x 6.087 * * * [progress]: simplifying candidates 6.098 * [simplify]: Simplifying using # : (expm1 (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (log1p (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (+ -1/8 -1/8) (* (/ 1 x) (/ 1 x)) (+ (* (- (log x)) -1/8) (* (- (log x)) -1/8)) (+ (* (- (log x)) -1/8) (* (- 0 (log x)) -1/8)) (+ (* (- (log x)) -1/8) (* (- (log 1) (log x)) -1/8)) (+ (* (- (log x)) -1/8) (* (log (/ 1 x)) -1/8)) (+ (* (- (log x)) -1/8) (* (log (/ 1 x)) -1/8)) (+ (* (- (log x)) -1/8) (log (pow (/ 1 x) -1/8))) (+ (* (- 0 (log x)) -1/8) (* (- (log x)) -1/8)) (+ (* (- 0 (log x)) -1/8) (* (- 0 (log x)) -1/8)) (+ (* (- 0 (log x)) -1/8) (* (- (log 1) (log x)) -1/8)) (+ (* (- 0 (log x)) -1/8) (* (log (/ 1 x)) -1/8)) (+ (* (- 0 (log x)) -1/8) (* (log (/ 1 x)) -1/8)) (+ (* (- 0 (log x)) -1/8) (log (pow (/ 1 x) -1/8))) (+ (* (- (log 1) (log x)) -1/8) (* (- (log x)) -1/8)) (+ (* (- (log 1) (log x)) -1/8) (* (- 0 (log x)) -1/8)) (+ (* (- (log 1) (log x)) -1/8) (* (- (log 1) (log x)) -1/8)) (+ (* (- (log 1) (log x)) -1/8) (* (log (/ 1 x)) -1/8)) (+ (* (- (log 1) (log x)) -1/8) (* (log (/ 1 x)) -1/8)) (+ (* (- (log 1) (log x)) -1/8) (log (pow (/ 1 x) -1/8))) (+ (* (log (/ 1 x)) -1/8) (* (- (log x)) -1/8)) (+ (* (log (/ 1 x)) -1/8) (* (- 0 (log x)) -1/8)) (+ (* (log (/ 1 x)) -1/8) (* (- (log 1) (log x)) -1/8)) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8)) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8)) (+ (* (log (/ 1 x)) -1/8) (log (pow (/ 1 x) -1/8))) (+ (* (log (/ 1 x)) -1/8) (* (- (log x)) -1/8)) (+ (* (log (/ 1 x)) -1/8) (* (- 0 (log x)) -1/8)) (+ (* (log (/ 1 x)) -1/8) (* (- (log 1) (log x)) -1/8)) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8)) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8)) (+ (* (log (/ 1 x)) -1/8) (log (pow (/ 1 x) -1/8))) (+ (log (pow (/ 1 x) -1/8)) (* (- (log x)) -1/8)) (+ (log (pow (/ 1 x) -1/8)) (* (- 0 (log x)) -1/8)) (+ (log (pow (/ 1 x) -1/8)) (* (- (log 1) (log x)) -1/8)) (+ (log (pow (/ 1 x) -1/8)) (* (log (/ 1 x)) -1/8)) (+ (log (pow (/ 1 x) -1/8)) (* (log (/ 1 x)) -1/8)) (+ (log (pow (/ 1 x) -1/8)) (log (pow (/ 1 x) -1/8))) (log (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (exp (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (* (* (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8)) (* (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8))) (* (cbrt (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (cbrt (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (cbrt (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (* (* (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (sqrt (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (sqrt (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (* (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/8) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/8)) (* (pow (cbrt (/ 1 x)) -1/8) (pow (cbrt (/ 1 x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) -1/8) (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) -1/8)) (* (pow (/ (cbrt 1) (cbrt x)) -1/8) (pow (/ (cbrt 1) (cbrt x)) -1/8)) (* (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) -1/8) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) -1/8)) (* (pow (/ (cbrt 1) (sqrt x)) -1/8) (pow (/ (cbrt 1) (sqrt x)) -1/8)) (* (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/8) (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/8)) (* (pow (/ (cbrt 1) x) -1/8) (pow (/ (cbrt 1) x) -1/8)) (* (pow (/ (sqrt 1) (* (cbrt x) (cbrt x))) -1/8) (pow (/ (sqrt 1) (* (cbrt x) (cbrt x))) -1/8)) (* (pow (/ (sqrt 1) (cbrt x)) -1/8) (pow (/ (sqrt 1) (cbrt x)) -1/8)) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (/ (sqrt 1) 1) -1/8) (pow (/ (sqrt 1) 1) -1/8)) (* (pow (/ (sqrt 1) x) -1/8) (pow (/ (sqrt 1) x) -1/8)) (* (pow (/ 1 (* (cbrt x) (cbrt x))) -1/8) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/8)) (* (pow (/ 1 (cbrt x)) -1/8) (pow (/ 1 (cbrt x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (/ 1 1) -1/8) (pow (/ 1 1) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow 1 -1/8) (pow 1 -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow 1 -1/8) (pow 1 -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow 1 -1/8) (pow 1 -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow 1 -1/8) (pow 1 -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (* (cbrt (pow (/ 1 x) -1/8)) (cbrt (pow (/ 1 x) -1/8))) (* (cbrt (pow (/ 1 x) -1/8)) (cbrt (pow (/ 1 x) -1/8)))) (* (cbrt (pow (/ 1 x) -1/8)) (cbrt (pow (/ 1 x) -1/8))) (* (sqrt (pow (/ 1 x) -1/8)) (sqrt (pow (/ 1 x) -1/8))) (* (sqrt (pow (/ 1 x) -1/8)) (sqrt (pow (/ 1 x) -1/8))) (* 1 1) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 x) (/ -1/8 2)) (pow (/ 1 x) (/ -1/8 2))) (* (pow (/ 1 x) (/ -1/8 2)) (pow (/ 1 x) (/ -1/8 2))) (* (pow (sqrt (/ 1 x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (sqrt (/ 1 x)) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ 1 x) (/ -1/8 2))) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ 1 x) (/ -1/8 2))) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (/ 1 x) (/ -1/8 2))) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (/ 1 x) (/ -1/8 2))) (* (pow (/ 1 (sqrt x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 (sqrt x)) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) (/ -1/8 2))) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) (/ -1/8 2))) (* (sqrt (pow (/ 1 x) -1/8)) (pow (sqrt (/ 1 x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (sqrt (/ 1 x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ 1 (sqrt x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ 1 (sqrt x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (sqrt (pow (/ 1 x) -1/8))) (* (sqrt (pow (/ 1 x) -1/8)) (sqrt (pow (/ 1 x) -1/8))) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ 1 x) (/ -1/8 2))) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ 1 x) (/ -1/8 2))) (* (pow (/ 1 x) (/ -1/8 2)) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 x) (/ -1/8 2)) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 x) (/ -1/8 2)) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (/ 1 x) (/ -1/8 2)) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (/ 1 x) (/ -1/8 2)) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (/ 1 x) (/ -1/8 2)) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (/ 1 x) (/ -1/8 2)) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 x) (/ -1/8 2)) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 x) (/ -1/8 2)) (pow (/ 1 x) (/ -1/8 2))) (* (pow (/ 1 x) (/ -1/8 2)) (pow (/ 1 x) (/ -1/8 2))) (* 2 -1/8) (* (pow (/ 1 x) -1/8) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/8)) (* (pow (/ 1 x) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ (sqrt 1) (* (cbrt x) (cbrt x))) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ (sqrt 1) 1) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 1) -1/8)) (* (pow (/ 1 x) -1/8) (pow 1 -1/8)) (* (pow (/ 1 x) -1/8) (pow 1 -1/8)) (* (pow (/ 1 x) -1/8) (* (cbrt (pow (/ 1 x) -1/8)) (cbrt (pow (/ 1 x) -1/8)))) (* (pow (/ 1 x) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 x) -1/8) 1) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) (/ -1/8 2))) (* (pow (cbrt (/ 1 x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ (cbrt 1) (cbrt x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ (cbrt 1) (sqrt x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ (cbrt 1) x) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ (sqrt 1) (cbrt x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ (sqrt 1) x) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 (cbrt x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (cbrt (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 x) (/ -1/8 2)) (pow (/ 1 x) -1/8)) (expm1 (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (log1p (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (* (- (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (* (- 0 (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (* (- (log 1) (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (log (pow (/ 1 x) -1/8)))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (* (- (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (* (- 0 (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (* (- (log 1) (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (log (pow (/ 1 x) -1/8)))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (* (- (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (* (- 0 (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (* (- (log 1) (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (log (pow (/ 1 x) -1/8)))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- 0 (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- (log 1) (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (log (pow (/ 1 x) -1/8)))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- 0 (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- (log 1) (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (log (pow (/ 1 x) -1/8)))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (* (- (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (* (- 0 (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (* (- (log 1) (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (log (pow (/ 1 x) -1/8)))) (+ (+ (log y) (log (sqrt (sqrt x)))) (log (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (* (- (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (* (- 0 (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (* (- (log 1) (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (log (pow (/ 1 x) -1/8)))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (* (- (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (* (- 0 (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (* (- (log 1) (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (log (pow (/ 1 x) -1/8)))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (* (- (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (* (- 0 (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (* (- (log 1) (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (log (pow (/ 1 x) -1/8)))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- 0 (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- (log 1) (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (log (pow (/ 1 x) -1/8)))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- 0 (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- (log 1) (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (log (pow (/ 1 x) -1/8)))) (+ (log (* y (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (* (- (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (* (- 0 (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (* (- (log 1) (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (log (pow (/ 1 x) -1/8)))) (+ (log (* y (sqrt (sqrt x)))) (log (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (log (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (exp (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (* (* (* (* y y) y) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8)) (* (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8)))) (* (* (* (* y y) y) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (* (* (* (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x)))) (* (* (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8)) (* (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8)))) (* (* (* (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x)))) (* (* (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (* (cbrt (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (cbrt (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))))) (cbrt (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (* (* (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (sqrt (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (sqrt (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/8)) (* (sqrt (sqrt x)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (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))) (pow x 1/4) (pow (/ 1 x) -1/4) (exp (* 1/4 (- (log -1) (log (/ -1 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)))))) (- (* (sqrt +nan.0) (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y)) (+ (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (+ (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (sqrt +nan.0) x))) (- (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (sqrt +nan.0) (pow x 2))))))))) (* (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))))))))) 6.114 * * [simplify]: iteration 0 : 375 enodes (cost 4879 ) 6.241 * * [simplify]: iteration 1 : 919 enodes (cost 3067 ) 6.451 * * [simplify]: iteration 2 : 2626 enodes (cost 2832 ) 7.039 * * [simplify]: iteration done : 5001 enodes (cost 2830 ) 7.040 * [simplify]: Simplified to: (expm1 (pow (/ 1 x) -1/4)) (log1p (pow (/ 1 x) -1/4)) -1/4 (/ 1 (pow x 2)) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (exp (pow (/ 1 x) -1/4)) (pow (pow (/ 1 x) -1/4) 3) (* (cbrt (pow (/ 1 x) -1/4)) (cbrt (pow (/ 1 x) -1/4))) (cbrt (pow (/ 1 x) -1/4)) (pow (pow (/ 1 x) -1/4) 3) (sqrt (pow (/ 1 x) -1/4)) (sqrt (pow (/ 1 x) -1/4)) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/4) (pow (cbrt (/ 1 x)) -1/4) (pow (sqrt (/ 1 x)) -1/4) (pow (sqrt (/ 1 x)) -1/4) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4) (pow (/ 1 (cbrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) 1 (pow (/ 1 x) -1/4) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4) (pow (/ 1 (cbrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) 1 (pow (/ 1 x) -1/4) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4) (pow (/ 1 (cbrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) 1 (pow (/ 1 x) -1/4) 1 (pow (/ 1 x) -1/4) 1 (pow (/ 1 x) -1/4) 1 (pow (/ 1 x) -1/4) 1 (pow (/ 1 x) -1/4) (* (pow (cbrt (pow (/ 1 x) -1/8)) 3) (cbrt (pow (/ 1 x) -1/8))) (* (cbrt (pow (/ 1 x) -1/8)) (cbrt (pow (/ 1 x) -1/8))) (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8) 1 (pow (/ 1 x) -1/4) (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8) (pow (sqrt (/ 1 x)) -1/4) (pow (sqrt (/ 1 x)) -1/4) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (sqrt (/ 1 x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 x) -1/16) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 x) -1/16) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ 1 (sqrt x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/16)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/16)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ 1 (sqrt x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/16)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/16)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (sqrt (/ 1 x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (sqrt (/ 1 x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ 1 (sqrt x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ 1 (sqrt x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ 1 (sqrt x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ 1 (sqrt x)) -1/8)) (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8) (* (pow (/ 1 x) -1/16) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 x) -1/16) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 x) -1/16) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 x) -1/16) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/16)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/16)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/16)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/16)) (* (pow (/ 1 x) -1/16) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 x) -1/16) (sqrt (pow (/ 1 x) -1/8))) (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8) -1/4 (* (pow (/ 1 x) -1/8) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/8)) (* (pow (/ 1 x) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 (* (cbrt x) (cbrt x))) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8) (* (pow (/ 1 (* (cbrt x) (cbrt x))) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8) (* (pow (/ 1 (* (cbrt x) (cbrt x))) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8) (* (pow (/ 1 x) -1/8) (* (cbrt (pow (/ 1 x) -1/8)) (cbrt (pow (/ 1 x) -1/8)))) (pow (sqrt (pow (/ 1 x) -1/8)) 3) (pow (/ 1 x) -1/8) (pow (pow (/ 1 x) -1/16) 3) (* (pow (cbrt (/ 1 x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 x) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 (cbrt x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/4) (* (pow (/ 1 (cbrt x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/4) (* (pow (/ 1 (cbrt x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/4) (pow (/ 1 x) -1/4) (pow (/ 1 x) -1/4) (* (cbrt (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8)) (pow (sqrt (pow (/ 1 x) -1/8)) 3) (pow (/ 1 x) -1/4) (pow (pow (/ 1 x) -1/16) 3) (expm1 (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x))))) (log1p (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x))))) (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x)))) (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x)))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (pow (exp (* y (sqrt (sqrt x)))) (pow (/ 1 x) -1/4)) (pow (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x)))) 3) (pow (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x)))) 3) (pow (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x)))) 3) (pow (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x)))) 3) (* (cbrt (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x))))) (cbrt (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x)))))) (cbrt (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x))))) (pow (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x)))) 3) (sqrt (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x))))) (sqrt (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/8)) (* (sqrt (sqrt x)) (pow (/ 1 x) -1/4)) (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))))) (* (fabs (cbrt (sqrt x))) y) (* (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))) (pow x 1/4) (pow (/ 1 x) -1/4) (exp (* 1/4 (- (log -1) (log (/ -1 x))))) (- (* +nan.0 (- (* x y) (* (pow x 3) y))) (* +nan.0 (* (pow x 2) y))) (- (* +nan.0 (- (/ y x) y)) (* +nan.0 (/ y (pow x 2)))) (+ (- (* (sqrt +nan.0) (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y)) (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (pow (sqrt +nan.0) 3) (pow x 2))))) (* +nan.0 (- (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (sqrt +nan.0) x)) (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (sqrt +nan.0) (pow x 2)))))) (* (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))) (/ y (* (pow (sqrt +nan.0) 3) (pow x 2)))))) (pow x 1/4) (pow (/ 1 x) -1/4) (- (sqrt +nan.0) (- (/ +nan.0 (* (sqrt +nan.0) x)) (- (/ +nan.0 (* (pow (sqrt +nan.0) 3) (pow x 2))) (/ +nan.0 (* (sqrt +nan.0) (pow x 2)))))) 7.049 * * * [progress]: adding candidates to table 7.466 * [progress]: [Phase 3 of 3] Extracting. 7.466 * * [regime]: Finding splitpoints for: (# # # # #) 7.468 * * * [regime-changes]: Trying 3 branch expressions: ((+ (- 1.0 x) (* y (sqrt x))) y x) 7.468 * * * * [regimes]: Trying to branch on (+ (- 1.0 x) (* y (sqrt x))) from (# # # # #) 7.494 * * * * [regimes]: Trying to branch on y from (# # # # #) 7.520 * * * * [regimes]: Trying to branch on x from (# # # # #) 7.546 * * * [regime]: Found split indices: #