18.312 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.051 * * * [progress]: [2/2] Setting up program. 0.056 * [progress]: [Phase 2 of 3] Improving. 0.057 * [simplify]: Simplifying: (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) 0.057 * [simplify]: Sending expressions to egg_math: (fabs (* (/ h2 (sqrt h6)) (+ (+ (+ (* h5 (fabs h0)) (* (/ h5 h4) (* (* (fabs h0) (fabs h0)) (fabs h0)))) (* (/ h2 h3) (* (* (* (* (fabs h0) (fabs h0)) (fabs h0)) (fabs h0)) (fabs h0)))) (* (/ h2 h1) (* (* (* (* (* (* (fabs h0) (fabs h0)) (fabs h0)) (fabs h0)) (fabs h0)) (fabs h0)) (fabs h0)))))) 0.059 * * [simplify]: iteration 0 : 69 enodes (cost 42 ) 0.061 * * [simplify]: iteration 1 : 231 enodes (cost 42 ) 0.067 * * [simplify]: iteration 2 : 900 enodes (cost 42 ) 0.092 * * [simplify]: iteration 3 : 3753 enodes (cost 42 ) 0.166 * * [simplify]: iteration 4 : 5001 enodes (cost 42 ) 0.167 * * [progress]: iteration 1 / 4 0.167 * * * [progress]: picking best candidate 0.170 * * * * [pick]: Picked # 0.171 * * * [progress]: localizing error 0.195 * * * [progress]: generating rewritten candidates 0.195 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.196 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 0.257 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 0.275 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 0.297 * * * [progress]: generating series expansions 0.297 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.297 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 0.298 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) into (* 0.6666666666666666 (pow (fabs x) 3)) 0.298 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 0.298 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 0.298 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.298 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.298 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.298 * [taylor]: Taking taylor expansion of (fabs x) in x 0.298 * [backup-simplify]: Simplify (fabs x) into (fabs x) 0.298 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 0.298 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.298 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.298 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.298 * [taylor]: Taking taylor expansion of (fabs x) in x 0.298 * [backup-simplify]: Simplify (fabs x) into (fabs x) 0.298 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 0.299 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 0.299 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 0.299 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 0.299 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 0.299 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 0.299 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs x) 3))) into 0 0.299 * [backup-simplify]: Simplify 0 into 0 0.300 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 0.300 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 0.301 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))) into 0 0.301 * [backup-simplify]: Simplify 0 into 0 0.301 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 0.302 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 0.303 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))) into 0 0.303 * [backup-simplify]: Simplify 0 into 0 0.303 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 0.304 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 0.305 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))) into 0 0.305 * [backup-simplify]: Simplify 0 into 0 0.306 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 0.307 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 0.308 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))))) into 0 0.308 * [backup-simplify]: Simplify 0 into 0 0.310 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 0.311 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 0.312 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))))) into 0 0.312 * [backup-simplify]: Simplify 0 into 0 0.312 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 0.313 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x)))) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 0.313 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 0.313 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 0.313 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.313 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.313 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.313 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.313 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 0.313 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 0.313 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.313 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.313 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.313 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.313 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 0.313 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 0.313 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 0.313 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 0.313 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 0.314 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 0.314 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 0.314 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ 1 x)) 3))) into 0 0.314 * [backup-simplify]: Simplify 0 into 0 0.314 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 0.315 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 0.315 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))) into 0 0.315 * [backup-simplify]: Simplify 0 into 0 0.316 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 0.317 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 0.317 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))) into 0 0.317 * [backup-simplify]: Simplify 0 into 0 0.318 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 0.319 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 0.320 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))) into 0 0.320 * [backup-simplify]: Simplify 0 into 0 0.321 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 0.322 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 0.323 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))))) into 0 0.323 * [backup-simplify]: Simplify 0 into 0 0.325 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 0.326 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 0.327 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))))) into 0 0.327 * [backup-simplify]: Simplify 0 into 0 0.327 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 (/ 1 x))) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 0.328 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x))))) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 0.328 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 0.328 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 0.328 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.328 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.328 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.328 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.328 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 0.328 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 0.328 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.328 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 0.328 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.328 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.328 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 0.328 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 0.328 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 0.328 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 0.329 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 0.329 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 0.329 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 0.329 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ -1 x)) 3))) into 0 0.329 * [backup-simplify]: Simplify 0 into 0 0.330 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 0.330 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 0.331 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))) into 0 0.331 * [backup-simplify]: Simplify 0 into 0 0.331 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 0.332 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 0.332 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))) into 0 0.332 * [backup-simplify]: Simplify 0 into 0 0.333 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 0.334 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 0.335 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))) into 0 0.335 * [backup-simplify]: Simplify 0 into 0 0.336 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 0.337 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 0.338 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))))) into 0 0.338 * [backup-simplify]: Simplify 0 into 0 0.339 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 0.341 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 0.342 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))))) into 0 0.342 * [backup-simplify]: Simplify 0 into 0 0.342 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 0.342 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 0.342 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 0.342 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 0.342 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.342 * [taylor]: Taking taylor expansion of (fabs x) in x 0.342 * [backup-simplify]: Simplify (fabs x) into (fabs x) 0.342 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.342 * [taylor]: Taking taylor expansion of (fabs x) in x 0.343 * [backup-simplify]: Simplify (fabs x) into (fabs x) 0.343 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 0.343 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 0.343 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 0.343 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 0.343 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 0.343 * [backup-simplify]: Simplify 0 into 0 0.343 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 0.344 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 0.344 * [backup-simplify]: Simplify 0 into 0 0.344 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 0.345 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 0.345 * [backup-simplify]: Simplify 0 into 0 0.345 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 0.346 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 0.346 * [backup-simplify]: Simplify 0 into 0 0.347 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 0.348 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 0.348 * [backup-simplify]: Simplify 0 into 0 0.349 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 0.350 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 0.350 * [backup-simplify]: Simplify 0 into 0 0.350 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 0.351 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 0.351 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 0.351 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.351 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.351 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 0.351 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.351 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.351 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 0.351 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 0.351 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 0.351 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 0.351 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 0.351 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 0.351 * [backup-simplify]: Simplify 0 into 0 0.352 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 0.352 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 0.352 * [backup-simplify]: Simplify 0 into 0 0.353 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 0.353 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 0.353 * [backup-simplify]: Simplify 0 into 0 0.354 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 0.355 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 0.355 * [backup-simplify]: Simplify 0 into 0 0.356 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 0.357 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 0.357 * [backup-simplify]: Simplify 0 into 0 0.358 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 0.364 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 0.364 * [backup-simplify]: Simplify 0 into 0 0.364 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 0.365 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 0.365 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 0.365 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.365 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.365 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 0.365 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.365 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.365 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 0.365 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 0.365 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 0.365 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 0.365 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 0.366 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 0.366 * [backup-simplify]: Simplify 0 into 0 0.366 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 0.366 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 0.366 * [backup-simplify]: Simplify 0 into 0 0.367 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 0.368 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 0.368 * [backup-simplify]: Simplify 0 into 0 0.368 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 0.369 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 0.369 * [backup-simplify]: Simplify 0 into 0 0.370 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 0.371 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 0.371 * [backup-simplify]: Simplify 0 into 0 0.372 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 0.373 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 0.373 * [backup-simplify]: Simplify 0 into 0 0.374 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 0.374 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2 1 1) 0.374 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 0.374 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 0.374 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.374 * [taylor]: Taking taylor expansion of (fabs x) in x 0.374 * [backup-simplify]: Simplify (fabs x) into (fabs x) 0.374 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.374 * [taylor]: Taking taylor expansion of (fabs x) in x 0.374 * [backup-simplify]: Simplify (fabs x) into (fabs x) 0.374 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 0.374 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 0.374 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 0.374 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 0.374 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 0.374 * [backup-simplify]: Simplify 0 into 0 0.375 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 0.375 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 0.375 * [backup-simplify]: Simplify 0 into 0 0.376 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 0.376 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 0.376 * [backup-simplify]: Simplify 0 into 0 0.377 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 0.378 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 0.378 * [backup-simplify]: Simplify 0 into 0 0.379 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 0.380 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 0.380 * [backup-simplify]: Simplify 0 into 0 0.381 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 0.382 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 0.382 * [backup-simplify]: Simplify 0 into 0 0.382 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 0.382 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 0.382 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 0.382 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.382 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.382 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 0.383 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.383 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.383 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 0.383 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 0.383 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 0.383 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 0.383 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 0.383 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 0.383 * [backup-simplify]: Simplify 0 into 0 0.384 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 0.384 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 0.384 * [backup-simplify]: Simplify 0 into 0 0.385 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 0.385 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 0.385 * [backup-simplify]: Simplify 0 into 0 0.386 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 0.387 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 0.387 * [backup-simplify]: Simplify 0 into 0 0.388 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 0.389 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 0.389 * [backup-simplify]: Simplify 0 into 0 0.390 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 0.391 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 0.392 * [backup-simplify]: Simplify 0 into 0 0.392 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 0.392 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 0.392 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 0.392 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.392 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.392 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 0.392 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.392 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.392 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 0.392 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 0.392 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 0.392 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 0.392 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 0.393 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 0.393 * [backup-simplify]: Simplify 0 into 0 0.393 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 0.393 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 0.393 * [backup-simplify]: Simplify 0 into 0 0.394 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 0.395 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 0.395 * [backup-simplify]: Simplify 0 into 0 0.395 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 0.396 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 0.396 * [backup-simplify]: Simplify 0 into 0 0.397 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 0.398 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 0.398 * [backup-simplify]: Simplify 0 into 0 0.399 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 0.400 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 0.400 * [backup-simplify]: Simplify 0 into 0 0.400 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 0.401 * * * [progress]: simplifying candidates 0.402 * [simplify]: Simplifying: (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (+ (- (log 2.0) (log 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (cbrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 0.403 * [simplify]: Sending expressions to egg_math: (log (sqrt h0)) (exp (sqrt h0)) (* (cbrt (sqrt h0)) (cbrt (sqrt h0))) (cbrt (sqrt h0)) (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (sqrt (* (cbrt h0) (cbrt h0))) (sqrt (cbrt h0)) (sqrt (sqrt h0)) (sqrt (sqrt h0)) (sqrt 1) (sqrt h0) (/ 1 2) (sqrt (sqrt h0)) (sqrt (sqrt h0)) (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1))) (+ (- (log h3) (log h2)) (+ (+ (log (fabs h1)) (log (fabs h1))) (log (fabs h1)))) (+ (- (log h3) (log h2)) (+ (log (* (fabs h1) (fabs h1))) (log (fabs h1)))) (+ (- (log h3) (log h2)) (log (* (* (fabs h1) (fabs h1)) (fabs h1)))) (+ (log (/ h3 h2)) (+ (+ (log (fabs h1)) (log (fabs h1))) (log (fabs h1)))) (+ (log (/ h3 h2)) (+ (log (* (fabs h1) (fabs h1))) (log (fabs h1)))) (+ (log (/ h3 h2)) (log (* (* (fabs h1) (fabs h1)) (fabs h1)))) (log (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (exp (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (/ (* (* h3 h3) h3) (* (* h2 h2) h2)) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (/ (* (* h3 h3) h3) (* (* h2 h2) h2)) (* (* (* (* (fabs h1) (fabs h1)) (* (fabs h1) (fabs h1))) (* (fabs h1) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (/ (* (* h3 h3) h3) (* (* h2 h2) h2)) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (* (* (/ h3 h2) (/ h3 h2)) (/ h3 h2)) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (* (* (/ h3 h2) (/ h3 h2)) (/ h3 h2)) (* (* (* (* (fabs h1) (fabs h1)) (* (fabs h1) (fabs h1))) (* (fabs h1) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (* (* (/ h3 h2) (/ h3 h2)) (/ h3 h2)) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (cbrt (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (cbrt (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1))))) (cbrt (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (* (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (sqrt (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (sqrt (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (/ h3 h2) (* (fabs h1) (fabs h1))) (* (cbrt (/ h3 h2)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (sqrt (/ h3 h2)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ (cbrt h3) (cbrt h2)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ (cbrt h3) (sqrt h2)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ (cbrt h3) h2) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ (sqrt h3) (cbrt h2)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ (sqrt h3) (sqrt h2)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ (sqrt h3) h2) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h3 (cbrt h2)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h3 (sqrt h2)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ 1 h2) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* h3 (* (* (fabs h1) (fabs h1)) (fabs h1))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs h1)) (log (fabs h1))) (log (fabs h1))) (+ (log (* (fabs h1) (fabs h1))) (log (fabs h1))) (log (* (* (fabs h1) (fabs h1)) (fabs h1))) (exp (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (* (* (fabs h1) (fabs h1)) (* (fabs h1) (fabs h1))) (* (fabs h1) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (cbrt (* (* (fabs h1) (fabs h1)) (fabs h1))) (cbrt (* (* (fabs h1) (fabs h1)) (fabs h1)))) (cbrt (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1))) (sqrt (* (* (fabs h1) (fabs h1)) (fabs h1))) (sqrt (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1))) (* (* (fabs h1) (fabs h1)) (* (cbrt (fabs h1)) (cbrt (fabs h1)))) (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (* (* (fabs h1) (fabs h1)) 1) (* (fabs h1) (fabs h1)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs h1)) (log (fabs h1))) (log (fabs h1))) (+ (log (* (fabs h1) (fabs h1))) (log (fabs h1))) (log (* (* (fabs h1) (fabs h1)) (fabs h1))) (exp (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (* (* (fabs h1) (fabs h1)) (* (fabs h1) (fabs h1))) (* (fabs h1) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (cbrt (* (* (fabs h1) (fabs h1)) (fabs h1))) (cbrt (* (* (fabs h1) (fabs h1)) (fabs h1)))) (cbrt (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1))) (sqrt (* (* (fabs h1) (fabs h1)) (fabs h1))) (sqrt (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1))) (* (* (fabs h1) (fabs h1)) (* (cbrt (fabs h1)) (cbrt (fabs h1)))) (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (* (* (fabs h1) (fabs h1)) 1) (* (fabs h1) (fabs h1)) (fabs (* (/ h5 (sqrt h0)) (+ (+ (+ (* h3 (fabs h1)) (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (/ h5 h6) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (fabs h1)) (fabs h1)))) (* (/ h5 h4) (* (* (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (fabs h1)) (fabs h1)) (fabs h1)) (fabs h1)))))) (* h7 (pow (fabs h1) 3)) (* h7 (pow (fabs h1) 3)) (* h7 (pow (fabs h1) 3)) (pow (fabs h1) 3) (pow (fabs h1) 3) (pow (fabs h1) 3) (pow (fabs h1) 3) (pow (fabs h1) 3) (pow (fabs h1) 3) 0.408 * * [simplify]: iteration 0 : 340 enodes (cost 603 ) 0.414 * * [simplify]: iteration 1 : 1373 enodes (cost 426 ) 0.441 * * [simplify]: iteration 2 : 5002 enodes (cost 425 ) 0.444 * * * [progress]: adding candidates to table 0.783 * * [progress]: iteration 2 / 4 0.783 * * * [progress]: picking best candidate 0.812 * * * * [pick]: Picked # 0.812 * * * [progress]: localizing error 0.846 * * * [progress]: generating rewritten candidates 0.846 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.847 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 0.889 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 2) 0.898 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 1) 0.912 * * * [progress]: generating series expansions 0.912 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.912 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 0.912 * [backup-simplify]: Simplify (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) into (pow (fabs x) 3) 0.912 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 0.912 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.912 * [taylor]: Taking taylor expansion of (fabs x) in x 0.912 * [backup-simplify]: Simplify (fabs x) into (fabs x) 0.912 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.912 * [taylor]: Taking taylor expansion of (fabs x) in x 0.912 * [backup-simplify]: Simplify (fabs x) into (fabs x) 0.913 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 0.913 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 0.913 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 0.913 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 0.913 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 0.913 * [backup-simplify]: Simplify 0 into 0 0.914 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 0.914 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 0.914 * [backup-simplify]: Simplify 0 into 0 0.915 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 0.915 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 0.915 * [backup-simplify]: Simplify 0 into 0 0.916 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 0.917 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 0.917 * [backup-simplify]: Simplify 0 into 0 0.917 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 0.918 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 0.918 * [backup-simplify]: Simplify 0 into 0 0.919 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 0.921 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 0.921 * [backup-simplify]: Simplify 0 into 0 0.921 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 0.921 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (sqrt (fabs (/ 1 x)))) (* (fabs (/ 1 x)) (sqrt (fabs (/ 1 x))))) into (pow (fabs (/ 1 x)) 3) 0.921 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 0.921 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.921 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.921 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 0.921 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.921 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.921 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 0.921 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 0.921 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 0.921 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 0.922 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 0.922 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 0.922 * [backup-simplify]: Simplify 0 into 0 0.922 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 0.922 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 0.922 * [backup-simplify]: Simplify 0 into 0 0.923 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 0.924 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 0.924 * [backup-simplify]: Simplify 0 into 0 0.924 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 0.925 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 0.925 * [backup-simplify]: Simplify 0 into 0 0.926 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 0.927 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 0.927 * [backup-simplify]: Simplify 0 into 0 0.928 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 0.929 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 0.929 * [backup-simplify]: Simplify 0 into 0 0.929 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 0.930 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (sqrt (fabs (/ 1 (- x))))) (* (fabs (/ 1 (- x))) (sqrt (fabs (/ 1 (- x)))))) into (pow (fabs (/ -1 x)) 3) 0.930 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 0.930 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.930 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.930 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 0.930 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.930 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.930 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 0.930 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 0.930 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 0.930 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 0.930 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 0.931 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 0.931 * [backup-simplify]: Simplify 0 into 0 0.931 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 0.931 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 0.931 * [backup-simplify]: Simplify 0 into 0 0.932 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 0.932 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 0.932 * [backup-simplify]: Simplify 0 into 0 0.933 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 0.934 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 0.934 * [backup-simplify]: Simplify 0 into 0 0.935 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 0.936 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 0.936 * [backup-simplify]: Simplify 0 into 0 0.937 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 0.938 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 0.938 * [backup-simplify]: Simplify 0 into 0 0.938 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 0.938 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 2) 0.938 * [backup-simplify]: Simplify (* (fabs x) (sqrt (fabs x))) into (sqrt (pow (fabs x) 3)) 0.938 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in (x) around 0 0.938 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in x 0.939 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.939 * [taylor]: Taking taylor expansion of (fabs x) in x 0.939 * [backup-simplify]: Simplify (fabs x) into (fabs x) 0.939 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 0.939 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 0.939 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3)) 0.939 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 0.939 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 0.939 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs x) 3)))) into 0 0.939 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in x 0.939 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.939 * [taylor]: Taking taylor expansion of (fabs x) in x 0.939 * [backup-simplify]: Simplify (fabs x) into (fabs x) 0.939 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 0.939 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 0.939 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3)) 0.940 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 0.940 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 0.940 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs x) 3)))) into 0 0.940 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3)) 0.940 * [backup-simplify]: Simplify 0 into 0 0.940 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 0.941 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 0.941 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs x) 3)))) into 0 0.941 * [backup-simplify]: Simplify 0 into 0 0.942 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 0.942 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 0.943 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0 0.943 * [backup-simplify]: Simplify 0 into 0 0.943 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 0.944 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 0.945 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0 0.945 * [backup-simplify]: Simplify 0 into 0 0.946 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 0.947 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 0.947 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0 0.947 * [backup-simplify]: Simplify 0 into 0 0.948 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 0.949 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 0.950 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0 0.950 * [backup-simplify]: Simplify 0 into 0 0.950 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3)) 0.950 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (sqrt (fabs (/ 1 x)))) into (sqrt (pow (fabs (/ 1 x)) 3)) 0.950 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in (x) around 0 0.950 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in x 0.950 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.950 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.950 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 0.950 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 0.951 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 0.951 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 3)) into (sqrt (pow (fabs (/ 1 x)) 3)) 0.951 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 0.951 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 0.951 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0 0.951 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in x 0.951 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.951 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.951 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 0.951 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 0.951 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 0.951 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 3)) into (sqrt (pow (fabs (/ 1 x)) 3)) 0.952 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 0.952 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 0.952 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0 0.952 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 3)) into (sqrt (pow (fabs (/ 1 x)) 3)) 0.952 * [backup-simplify]: Simplify 0 into 0 0.952 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 0.953 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 0.953 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0 0.953 * [backup-simplify]: Simplify 0 into 0 0.954 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 0.955 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 0.955 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0 0.955 * [backup-simplify]: Simplify 0 into 0 0.956 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 0.957 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 0.957 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0 0.957 * [backup-simplify]: Simplify 0 into 0 0.958 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 0.959 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 0.960 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0 0.960 * [backup-simplify]: Simplify 0 into 0 0.961 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 0.962 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 0.963 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0 0.963 * [backup-simplify]: Simplify 0 into 0 0.963 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 (/ 1 x))) 3)) into (sqrt (pow (fabs x) 3)) 0.963 * [backup-simplify]: Simplify (* (fabs (/ 1 (- x))) (sqrt (fabs (/ 1 (- x))))) into (sqrt (pow (fabs (/ -1 x)) 3)) 0.963 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in (x) around 0 0.963 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in x 0.963 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.963 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.963 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 0.963 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 0.964 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 0.964 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 3)) into (sqrt (pow (fabs (/ -1 x)) 3)) 0.964 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 0.964 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 0.964 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0 0.964 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in x 0.964 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.964 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.964 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 0.964 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 0.964 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 0.964 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 3)) into (sqrt (pow (fabs (/ -1 x)) 3)) 0.965 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 0.965 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 0.965 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0 0.965 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 3)) into (sqrt (pow (fabs (/ -1 x)) 3)) 0.965 * [backup-simplify]: Simplify 0 into 0 0.965 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 0.966 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 0.966 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0 0.966 * [backup-simplify]: Simplify 0 into 0 0.967 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 0.967 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 0.968 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0 0.968 * [backup-simplify]: Simplify 0 into 0 0.969 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 0.969 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 0.974 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0 0.974 * [backup-simplify]: Simplify 0 into 0 0.975 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 0.976 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 0.977 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0 0.977 * [backup-simplify]: Simplify 0 into 0 0.978 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 0.979 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 0.980 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0 0.980 * [backup-simplify]: Simplify 0 into 0 0.980 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (sqrt (pow (fabs x) 3)) 0.980 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 1) 0.980 * [backup-simplify]: Simplify (* (fabs x) (sqrt (fabs x))) into (sqrt (pow (fabs x) 3)) 0.980 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in (x) around 0 0.980 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in x 0.980 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.980 * [taylor]: Taking taylor expansion of (fabs x) in x 0.980 * [backup-simplify]: Simplify (fabs x) into (fabs x) 0.980 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 0.981 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 0.981 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3)) 0.981 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 0.981 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 0.981 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs x) 3)))) into 0 0.981 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in x 0.981 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.981 * [taylor]: Taking taylor expansion of (fabs x) in x 0.981 * [backup-simplify]: Simplify (fabs x) into (fabs x) 0.981 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 0.981 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 0.981 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3)) 0.981 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 0.982 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 0.982 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs x) 3)))) into 0 0.982 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3)) 0.982 * [backup-simplify]: Simplify 0 into 0 0.982 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 0.982 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 0.983 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs x) 3)))) into 0 0.983 * [backup-simplify]: Simplify 0 into 0 0.983 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 0.984 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 0.985 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0 0.985 * [backup-simplify]: Simplify 0 into 0 0.985 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 0.986 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 0.987 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0 0.987 * [backup-simplify]: Simplify 0 into 0 0.988 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 0.988 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 0.989 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0 0.989 * [backup-simplify]: Simplify 0 into 0 0.990 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 0.991 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 0.992 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0 0.992 * [backup-simplify]: Simplify 0 into 0 0.992 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3)) 0.992 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (sqrt (fabs (/ 1 x)))) into (sqrt (pow (fabs (/ 1 x)) 3)) 0.992 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in (x) around 0 0.992 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in x 0.992 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.992 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.992 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 0.992 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 0.992 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 0.993 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 3)) into (sqrt (pow (fabs (/ 1 x)) 3)) 0.993 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 0.993 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 0.993 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0 0.993 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in x 0.993 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.993 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.993 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 0.993 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 0.993 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 0.993 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 3)) into (sqrt (pow (fabs (/ 1 x)) 3)) 0.993 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 0.994 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 0.994 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0 0.994 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 3)) into (sqrt (pow (fabs (/ 1 x)) 3)) 0.994 * [backup-simplify]: Simplify 0 into 0 0.994 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 0.995 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 0.995 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0 0.995 * [backup-simplify]: Simplify 0 into 0 0.996 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 0.996 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 0.997 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0 0.997 * [backup-simplify]: Simplify 0 into 0 0.998 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 0.998 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 0.999 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0 0.999 * [backup-simplify]: Simplify 0 into 0 1.000 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1.001 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 1.001 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0 1.002 * [backup-simplify]: Simplify 0 into 0 1.003 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1.004 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 1.005 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0 1.005 * [backup-simplify]: Simplify 0 into 0 1.005 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 (/ 1 x))) 3)) into (sqrt (pow (fabs x) 3)) 1.005 * [backup-simplify]: Simplify (* (fabs (/ 1 (- x))) (sqrt (fabs (/ 1 (- x))))) into (sqrt (pow (fabs (/ -1 x)) 3)) 1.005 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in (x) around 0 1.005 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in x 1.005 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.005 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.005 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1.005 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 1.006 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 1.006 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 3)) into (sqrt (pow (fabs (/ -1 x)) 3)) 1.006 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 1.006 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 1.006 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0 1.006 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in x 1.006 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.006 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.006 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1.006 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 1.006 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 1.006 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 3)) into (sqrt (pow (fabs (/ -1 x)) 3)) 1.007 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 1.007 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 1.007 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0 1.007 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 3)) into (sqrt (pow (fabs (/ -1 x)) 3)) 1.007 * [backup-simplify]: Simplify 0 into 0 1.007 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1.008 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 1.008 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0 1.008 * [backup-simplify]: Simplify 0 into 0 1.009 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1.009 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 1.010 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0 1.010 * [backup-simplify]: Simplify 0 into 0 1.011 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1.011 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 1.012 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0 1.012 * [backup-simplify]: Simplify 0 into 0 1.013 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1.014 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 1.014 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0 1.014 * [backup-simplify]: Simplify 0 into 0 1.016 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1.017 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 1.017 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0 1.017 * [backup-simplify]: Simplify 0 into 0 1.018 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (sqrt (pow (fabs x) 3)) 1.018 * * * [progress]: simplifying candidates 1.020 * [simplify]: Simplifying: (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (+ (+ 1 1/2) (+ 1 1/2)) (+ (+ 1 1/2) (+ 1 (/ 1 2))) (+ (+ 1 (/ 1 2)) (+ 1 1/2)) (+ (+ 1 (/ 1 2)) (+ 1 (/ 1 2))) (+ 1 1) (+ 1 1) (+ 3 3) (+ 1 1) (+ 1 1) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (+ 1 1) (+ 1 1) (+ (+ (log (fabs x)) (log (sqrt (fabs x)))) (+ (log (fabs x)) (log (sqrt (fabs x))))) (+ (+ (log (fabs x)) (log (sqrt (fabs x)))) (log (* (fabs x) (sqrt (fabs x))))) (+ (log (* (fabs x) (sqrt (fabs x)))) (+ (log (fabs x)) (log (sqrt (fabs x))))) (+ (log (* (fabs x) (sqrt (fabs x)))) (log (* (fabs x) (sqrt (fabs x))))) (log (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))) (exp (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x))))) (* (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))))) (* (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x)))) (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x))))) (* (cbrt (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))) (cbrt (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))))) (cbrt (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))) (* (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))) (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))) (sqrt (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))) (sqrt (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))) (* (fabs x) (fabs x)) (* (sqrt (fabs x)) (sqrt (fabs x))) (* 2 (+ 1 1/2)) (* 2 (+ 1 (/ 1 2))) (* 2 1) (* 2 1) (* 2 3) (* 2 1) (* 2 1) (* (* (fabs x) (sqrt (fabs x))) (fabs x)) (* (sqrt (fabs x)) (* (fabs x) (sqrt (fabs x)))) (+ 1 1/2) (+ 1 (/ 1 2)) (* (fabs x) (sqrt (fabs x))) (+ (log (fabs x)) (log (sqrt (fabs x)))) (log (* (fabs x) (sqrt (fabs x)))) (exp (* (fabs x) (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (cbrt (* (fabs x) (sqrt (fabs x)))) (cbrt (* (fabs x) (sqrt (fabs x))))) (cbrt (* (fabs x) (sqrt (fabs x)))) (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x)))) (sqrt (* (fabs x) (sqrt (fabs x)))) (sqrt (* (fabs x) (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (fabs x) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) (* (fabs x) (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt 1)) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) 1) (* (cbrt (fabs x)) (sqrt (fabs x))) (* (sqrt (fabs x)) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (+ 1 1/2) (+ 1 (/ 1 2)) (* (fabs x) (sqrt (fabs x))) (+ (log (fabs x)) (log (sqrt (fabs x)))) (log (* (fabs x) (sqrt (fabs x)))) (exp (* (fabs x) (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (cbrt (* (fabs x) (sqrt (fabs x)))) (cbrt (* (fabs x) (sqrt (fabs x))))) (cbrt (* (fabs x) (sqrt (fabs x)))) (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x)))) (sqrt (* (fabs x) (sqrt (fabs x)))) (sqrt (* (fabs x) (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (fabs x) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) (* (fabs x) (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt 1)) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) 1) (* (cbrt (fabs x)) (sqrt (fabs x))) (* (sqrt (fabs x)) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) 1.020 * [simplify]: Sending expressions to egg_math: (log (sqrt h0)) (exp (sqrt h0)) (* (cbrt (sqrt h0)) (cbrt (sqrt h0))) (cbrt (sqrt h0)) (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (sqrt (* (cbrt h0) (cbrt h0))) (sqrt (cbrt h0)) (sqrt (sqrt h0)) (sqrt (sqrt h0)) (sqrt 1) (sqrt h0) (/ 1 2) (sqrt (sqrt h0)) (sqrt (sqrt h0)) (+ (+ 1 1/2) (+ 1 1/2)) (+ (+ 1 1/2) (+ 1 (/ 1 2))) (+ (+ 1 (/ 1 2)) (+ 1 1/2)) (+ (+ 1 (/ 1 2)) (+ 1 (/ 1 2))) (+ 1 1) (+ 1 1) (+ 3 3) (+ 1 1) (+ 1 1) (* (fabs h1) (fabs h1)) (* (fabs h1) (fabs h1)) (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1)))) (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1)))) (* (sqrt (fabs h1)) (sqrt (fabs h1))) (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1)))) (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1)))) (+ 1 1) (+ 1 1) (+ (+ (log (fabs h1)) (log (sqrt (fabs h1)))) (+ (log (fabs h1)) (log (sqrt (fabs h1))))) (+ (+ (log (fabs h1)) (log (sqrt (fabs h1)))) (log (* (fabs h1) (sqrt (fabs h1))))) (+ (log (* (fabs h1) (sqrt (fabs h1)))) (+ (log (fabs h1)) (log (sqrt (fabs h1))))) (+ (log (* (fabs h1) (sqrt (fabs h1)))) (log (* (fabs h1) (sqrt (fabs h1))))) (log (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1))))) (exp (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1))))) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (sqrt (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1)))) (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (sqrt (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1))))) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (sqrt (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1)))) (* (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1)))) (* (fabs h1) (sqrt (fabs h1))))) (* (* (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1)))) (* (fabs h1) (sqrt (fabs h1)))) (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (sqrt (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1))))) (* (* (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1)))) (* (fabs h1) (sqrt (fabs h1)))) (* (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1)))) (* (fabs h1) (sqrt (fabs h1))))) (* (cbrt (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1))))) (cbrt (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1)))))) (cbrt (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1))))) (* (* (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1)))) (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1))))) (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1))))) (sqrt (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1))))) (sqrt (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1))))) (* (fabs h1) (fabs h1)) (* (sqrt (fabs h1)) (sqrt (fabs h1))) (* 2 (+ 1 1/2)) (* 2 (+ 1 (/ 1 2))) (* 2 1) (* 2 1) (* 2 3) (* 2 1) (* 2 1) (* (* (fabs h1) (sqrt (fabs h1))) (fabs h1)) (* (sqrt (fabs h1)) (* (fabs h1) (sqrt (fabs h1)))) (+ 1 1/2) (+ 1 (/ 1 2)) (* (fabs h1) (sqrt (fabs h1))) (+ (log (fabs h1)) (log (sqrt (fabs h1)))) (log (* (fabs h1) (sqrt (fabs h1)))) (exp (* (fabs h1) (sqrt (fabs h1)))) (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (sqrt (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1)))) (* (cbrt (* (fabs h1) (sqrt (fabs h1)))) (cbrt (* (fabs h1) (sqrt (fabs h1))))) (cbrt (* (fabs h1) (sqrt (fabs h1)))) (* (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1)))) (* (fabs h1) (sqrt (fabs h1)))) (sqrt (* (fabs h1) (sqrt (fabs h1)))) (sqrt (* (fabs h1) (sqrt (fabs h1)))) (* (sqrt (fabs h1)) (sqrt (sqrt (fabs h1)))) (* (sqrt (fabs h1)) (sqrt (sqrt (fabs h1)))) (* (sqrt (fabs h1)) (sqrt (sqrt (fabs h1)))) (* (sqrt (fabs h1)) (sqrt (sqrt (fabs h1)))) (* (fabs h1) (* (cbrt (sqrt (fabs h1))) (cbrt (sqrt (fabs h1))))) (* (fabs h1) (sqrt (* (cbrt (fabs h1)) (cbrt (fabs h1))))) (* (fabs h1) (sqrt (sqrt (fabs h1)))) (* (fabs h1) (sqrt 1)) (* (fabs h1) (sqrt (sqrt (fabs h1)))) (* (fabs h1) 1) (* (cbrt (fabs h1)) (sqrt (fabs h1))) (* (sqrt (fabs h1)) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1))) (+ 1 1/2) (+ 1 (/ 1 2)) (* (fabs h1) (sqrt (fabs h1))) (+ (log (fabs h1)) (log (sqrt (fabs h1)))) (log (* (fabs h1) (sqrt (fabs h1)))) (exp (* (fabs h1) (sqrt (fabs h1)))) (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (sqrt (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1)))) (* (cbrt (* (fabs h1) (sqrt (fabs h1)))) (cbrt (* (fabs h1) (sqrt (fabs h1))))) (cbrt (* (fabs h1) (sqrt (fabs h1)))) (* (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1)))) (* (fabs h1) (sqrt (fabs h1)))) (sqrt (* (fabs h1) (sqrt (fabs h1)))) (sqrt (* (fabs h1) (sqrt (fabs h1)))) (* (sqrt (fabs h1)) (sqrt (sqrt (fabs h1)))) (* (sqrt (fabs h1)) (sqrt (sqrt (fabs h1)))) (* (sqrt (fabs h1)) (sqrt (sqrt (fabs h1)))) (* (sqrt (fabs h1)) (sqrt (sqrt (fabs h1)))) (* (fabs h1) (* (cbrt (sqrt (fabs h1))) (cbrt (sqrt (fabs h1))))) (* (fabs h1) (sqrt (* (cbrt (fabs h1)) (cbrt (fabs h1))))) (* (fabs h1) (sqrt (sqrt (fabs h1)))) (* (fabs h1) (sqrt 1)) (* (fabs h1) (sqrt (sqrt (fabs h1)))) (* (fabs h1) 1) (* (cbrt (fabs h1)) (sqrt (fabs h1))) (* (sqrt (fabs h1)) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1))) (pow (fabs h1) 3) (pow (fabs h1) 3) (pow (fabs h1) 3) (sqrt (pow (fabs h1) 3)) (sqrt (pow (fabs h1) 3)) (sqrt (pow (fabs h1) 3)) (sqrt (pow (fabs h1) 3)) (sqrt (pow (fabs h1) 3)) (sqrt (pow (fabs h1) 3)) 1.024 * * [simplify]: iteration 0 : 187 enodes (cost 504 ) 1.029 * * [simplify]: iteration 1 : 695 enodes (cost 356 ) 1.049 * * [simplify]: iteration 2 : 3470 enodes (cost 318 ) 1.159 * * [simplify]: iteration 3 : 5002 enodes (cost 302 ) 1.162 * * * [progress]: adding candidates to table 1.551 * * [progress]: iteration 3 / 4 1.551 * * * [progress]: picking best candidate 1.577 * * * * [pick]: Picked # 1.577 * * * [progress]: localizing error 1.618 * * * [progress]: generating rewritten candidates 1.618 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 1.620 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 1.626 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2) 1.686 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 1.707 * * * [progress]: generating series expansions 1.707 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 1.707 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2 1 1) 1.707 * [backup-simplify]: Simplify (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) into (pow (fabs (pow (fabs x) 3/2)) 2) 1.707 * [approximate]: Taking taylor expansion of (pow (fabs (pow (fabs x) 3/2)) 2) in (x) around 0 1.707 * [taylor]: Taking taylor expansion of (pow (fabs (pow (fabs x) 3/2)) 2) in x 1.707 * [taylor]: Taking taylor expansion of (fabs (pow (fabs x) 3/2)) in x 1.708 * [backup-simplify]: Simplify (fabs (pow (fabs x) 3/2)) into (fabs (pow (fabs x) 3/2)) 1.708 * [taylor]: Taking taylor expansion of (pow (fabs (pow (fabs x) 3/2)) 2) in x 1.708 * [taylor]: Taking taylor expansion of (fabs (pow (fabs x) 3/2)) in x 1.708 * [backup-simplify]: Simplify (fabs (pow (fabs x) 3/2)) into (fabs (pow (fabs x) 3/2)) 1.708 * [backup-simplify]: Simplify (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) into (pow (fabs (pow (fabs x) 3/2)) 2) 1.708 * [backup-simplify]: Simplify (pow (fabs (pow (fabs x) 3/2)) 2) into (pow (fabs (pow (fabs x) 3/2)) 2) 1.708 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs x) 3/2)) 0) (* 0 (fabs (pow (fabs x) 3/2)))) into 0 1.708 * [backup-simplify]: Simplify 0 into 0 1.709 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs x) 3/2)) 0) (+ (* 0 0) (* 0 (fabs (pow (fabs x) 3/2))))) into 0 1.709 * [backup-simplify]: Simplify 0 into 0 1.710 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs x) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs x) 3/2)))))) into 0 1.710 * [backup-simplify]: Simplify 0 into 0 1.711 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs x) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs x) 3/2))))))) into 0 1.711 * [backup-simplify]: Simplify 0 into 0 1.712 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs x) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs x) 3/2)))))))) into 0 1.712 * [backup-simplify]: Simplify 0 into 0 1.713 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs x) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs x) 3/2))))))))) into 0 1.713 * [backup-simplify]: Simplify 0 into 0 1.713 * [backup-simplify]: Simplify (pow (fabs (pow (fabs x) 3/2)) 2) into (pow (fabs (pow (fabs x) 3/2)) 2) 1.714 * [backup-simplify]: Simplify (* (fabs (pow (fabs (/ 1 x)) 3/2)) (fabs (pow (fabs (/ 1 x)) 3/2))) into (pow (fabs (pow (fabs (/ 1 x)) 3/2)) 2) 1.714 * [approximate]: Taking taylor expansion of (pow (fabs (pow (fabs (/ 1 x)) 3/2)) 2) in (x) around 0 1.714 * [taylor]: Taking taylor expansion of (pow (fabs (pow (fabs (/ 1 x)) 3/2)) 2) in x 1.714 * [taylor]: Taking taylor expansion of (fabs (pow (fabs (/ 1 x)) 3/2)) in x 1.714 * [backup-simplify]: Simplify (fabs (pow (fabs (/ 1 x)) 3/2)) into (fabs (pow (fabs (/ 1 x)) 3/2)) 1.714 * [taylor]: Taking taylor expansion of (pow (fabs (pow (fabs (/ 1 x)) 3/2)) 2) in x 1.714 * [taylor]: Taking taylor expansion of (fabs (pow (fabs (/ 1 x)) 3/2)) in x 1.714 * [backup-simplify]: Simplify (fabs (pow (fabs (/ 1 x)) 3/2)) into (fabs (pow (fabs (/ 1 x)) 3/2)) 1.714 * [backup-simplify]: Simplify (* (fabs (pow (fabs (/ 1 x)) 3/2)) (fabs (pow (fabs (/ 1 x)) 3/2))) into (pow (fabs (pow (fabs (/ 1 x)) 3/2)) 2) 1.714 * [backup-simplify]: Simplify (pow (fabs (pow (fabs (/ 1 x)) 3/2)) 2) into (pow (fabs (pow (fabs (/ 1 x)) 3/2)) 2) 1.715 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ 1 x)) 3/2)) 0) (* 0 (fabs (pow (fabs (/ 1 x)) 3/2)))) into 0 1.715 * [backup-simplify]: Simplify 0 into 0 1.715 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ 1 x)) 3/2)) 0) (+ (* 0 0) (* 0 (fabs (pow (fabs (/ 1 x)) 3/2))))) into 0 1.715 * [backup-simplify]: Simplify 0 into 0 1.716 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ 1 x)) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs (/ 1 x)) 3/2)))))) into 0 1.716 * [backup-simplify]: Simplify 0 into 0 1.717 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ 1 x)) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs (/ 1 x)) 3/2))))))) into 0 1.717 * [backup-simplify]: Simplify 0 into 0 1.718 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ 1 x)) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs (/ 1 x)) 3/2)))))))) into 0 1.718 * [backup-simplify]: Simplify 0 into 0 1.719 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ 1 x)) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs (/ 1 x)) 3/2))))))))) into 0 1.719 * [backup-simplify]: Simplify 0 into 0 1.719 * [backup-simplify]: Simplify (pow (fabs (pow (fabs (/ 1 (/ 1 x))) 3/2)) 2) into (pow (fabs (pow (fabs x) 3/2)) 2) 1.719 * [backup-simplify]: Simplify (* (fabs (pow (fabs (/ 1 (- x))) 3/2)) (fabs (pow (fabs (/ 1 (- x))) 3/2))) into (pow (fabs (pow (fabs (/ -1 x)) 3/2)) 2) 1.719 * [approximate]: Taking taylor expansion of (pow (fabs (pow (fabs (/ -1 x)) 3/2)) 2) in (x) around 0 1.719 * [taylor]: Taking taylor expansion of (pow (fabs (pow (fabs (/ -1 x)) 3/2)) 2) in x 1.719 * [taylor]: Taking taylor expansion of (fabs (pow (fabs (/ -1 x)) 3/2)) in x 1.720 * [backup-simplify]: Simplify (fabs (pow (fabs (/ -1 x)) 3/2)) into (fabs (pow (fabs (/ -1 x)) 3/2)) 1.720 * [taylor]: Taking taylor expansion of (pow (fabs (pow (fabs (/ -1 x)) 3/2)) 2) in x 1.720 * [taylor]: Taking taylor expansion of (fabs (pow (fabs (/ -1 x)) 3/2)) in x 1.720 * [backup-simplify]: Simplify (fabs (pow (fabs (/ -1 x)) 3/2)) into (fabs (pow (fabs (/ -1 x)) 3/2)) 1.720 * [backup-simplify]: Simplify (* (fabs (pow (fabs (/ -1 x)) 3/2)) (fabs (pow (fabs (/ -1 x)) 3/2))) into (pow (fabs (pow (fabs (/ -1 x)) 3/2)) 2) 1.720 * [backup-simplify]: Simplify (pow (fabs (pow (fabs (/ -1 x)) 3/2)) 2) into (pow (fabs (pow (fabs (/ -1 x)) 3/2)) 2) 1.720 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ -1 x)) 3/2)) 0) (* 0 (fabs (pow (fabs (/ -1 x)) 3/2)))) into 0 1.720 * [backup-simplify]: Simplify 0 into 0 1.721 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ -1 x)) 3/2)) 0) (+ (* 0 0) (* 0 (fabs (pow (fabs (/ -1 x)) 3/2))))) into 0 1.721 * [backup-simplify]: Simplify 0 into 0 1.721 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ -1 x)) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs (/ -1 x)) 3/2)))))) into 0 1.721 * [backup-simplify]: Simplify 0 into 0 1.722 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ -1 x)) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs (/ -1 x)) 3/2))))))) into 0 1.722 * [backup-simplify]: Simplify 0 into 0 1.723 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ -1 x)) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs (/ -1 x)) 3/2)))))))) into 0 1.723 * [backup-simplify]: Simplify 0 into 0 1.725 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ -1 x)) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs (/ -1 x)) 3/2))))))))) into 0 1.725 * [backup-simplify]: Simplify 0 into 0 1.725 * [backup-simplify]: Simplify (pow (fabs (pow (fabs (/ -1 (/ 1 (- x)))) 3/2)) 2) into (pow (fabs (pow (fabs x) 3/2)) 2) 1.725 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2) 1.725 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) into (* 0.6666666666666666 (pow (fabs x) 3)) 1.725 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 1.725 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.725 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.725 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 1.725 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.725 * [taylor]: Taking taylor expansion of (fabs x) in x 1.725 * [backup-simplify]: Simplify (fabs x) into (fabs x) 1.725 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.726 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.726 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 1.726 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.726 * [taylor]: Taking taylor expansion of (fabs x) in x 1.726 * [backup-simplify]: Simplify (fabs x) into (fabs x) 1.726 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 1.726 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 1.726 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 1.726 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 1.726 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 1.726 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 1.727 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs x) 3))) into 0 1.727 * [backup-simplify]: Simplify 0 into 0 1.727 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1.727 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 1.728 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))) into 0 1.728 * [backup-simplify]: Simplify 0 into 0 1.728 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1.729 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 1.730 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))) into 0 1.730 * [backup-simplify]: Simplify 0 into 0 1.730 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1.731 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 1.732 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))) into 0 1.732 * [backup-simplify]: Simplify 0 into 0 1.733 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1.734 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 1.735 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))))) into 0 1.735 * [backup-simplify]: Simplify 0 into 0 1.736 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1.737 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 1.739 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))))) into 0 1.739 * [backup-simplify]: Simplify 0 into 0 1.739 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 1.739 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x)))) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 1.739 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 1.739 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.739 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.739 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 1.739 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.739 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.739 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1.739 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.739 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.739 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 1.739 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.739 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.739 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1.740 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 1.740 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 1.740 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 1.740 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 1.740 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 1.740 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 1.741 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ 1 x)) 3))) into 0 1.741 * [backup-simplify]: Simplify 0 into 0 1.741 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1.741 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 1.742 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))) into 0 1.742 * [backup-simplify]: Simplify 0 into 0 1.742 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1.743 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 1.744 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))) into 0 1.744 * [backup-simplify]: Simplify 0 into 0 1.744 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1.745 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 1.746 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))) into 0 1.746 * [backup-simplify]: Simplify 0 into 0 1.747 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1.748 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 1.749 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))))) into 0 1.749 * [backup-simplify]: Simplify 0 into 0 1.754 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1.756 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 1.759 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))))) into 0 1.759 * [backup-simplify]: Simplify 0 into 0 1.759 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 (/ 1 x))) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 1.759 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x))))) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 1.759 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 1.759 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.759 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.759 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 1.759 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.759 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.759 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1.759 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.759 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.759 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 1.760 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.760 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.760 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1.760 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 1.760 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 1.760 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 1.760 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 1.760 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 1.760 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 1.761 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ -1 x)) 3))) into 0 1.761 * [backup-simplify]: Simplify 0 into 0 1.761 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1.761 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 1.762 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))) into 0 1.762 * [backup-simplify]: Simplify 0 into 0 1.763 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1.763 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 1.764 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))) into 0 1.764 * [backup-simplify]: Simplify 0 into 0 1.765 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1.765 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 1.766 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))) into 0 1.766 * [backup-simplify]: Simplify 0 into 0 1.767 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1.768 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 1.769 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))))) into 0 1.769 * [backup-simplify]: Simplify 0 into 0 1.770 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1.772 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 1.773 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))))) into 0 1.773 * [backup-simplify]: Simplify 0 into 0 1.773 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 1.773 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 1.773 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 1.773 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 1.773 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.773 * [taylor]: Taking taylor expansion of (fabs x) in x 1.773 * [backup-simplify]: Simplify (fabs x) into (fabs x) 1.773 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.773 * [taylor]: Taking taylor expansion of (fabs x) in x 1.773 * [backup-simplify]: Simplify (fabs x) into (fabs x) 1.773 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 1.774 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 1.774 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 1.774 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 1.774 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 1.774 * [backup-simplify]: Simplify 0 into 0 1.774 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1.775 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 1.775 * [backup-simplify]: Simplify 0 into 0 1.775 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1.776 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 1.776 * [backup-simplify]: Simplify 0 into 0 1.776 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1.777 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 1.777 * [backup-simplify]: Simplify 0 into 0 1.778 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1.779 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 1.779 * [backup-simplify]: Simplify 0 into 0 1.780 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1.781 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 1.781 * [backup-simplify]: Simplify 0 into 0 1.781 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 1.781 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 1.781 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 1.781 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.781 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.781 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1.781 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.781 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.781 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1.782 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 1.782 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 1.782 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 1.782 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 1.782 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 1.782 * [backup-simplify]: Simplify 0 into 0 1.782 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1.783 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 1.783 * [backup-simplify]: Simplify 0 into 0 1.784 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1.784 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 1.784 * [backup-simplify]: Simplify 0 into 0 1.785 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1.786 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 1.786 * [backup-simplify]: Simplify 0 into 0 1.787 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1.788 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 1.788 * [backup-simplify]: Simplify 0 into 0 1.789 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1.790 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 1.790 * [backup-simplify]: Simplify 0 into 0 1.790 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 1.790 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 1.790 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 1.790 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.790 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.790 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1.790 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.790 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.790 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1.790 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 1.791 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 1.791 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 1.791 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 1.791 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 1.791 * [backup-simplify]: Simplify 0 into 0 1.791 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1.792 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 1.792 * [backup-simplify]: Simplify 0 into 0 1.792 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1.793 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 1.793 * [backup-simplify]: Simplify 0 into 0 1.794 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1.794 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 1.794 * [backup-simplify]: Simplify 0 into 0 1.795 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1.796 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 1.796 * [backup-simplify]: Simplify 0 into 0 1.797 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1.798 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 1.798 * [backup-simplify]: Simplify 0 into 0 1.799 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 1.799 * * * [progress]: simplifying candidates 1.800 * [simplify]: Simplifying: (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (+ 1 1) (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (+ 1 1) (+ (log (fabs (pow (fabs x) 3/2))) (log (fabs (pow (fabs x) 3/2)))) (log (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (exp (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (* (* (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (fabs (pow (fabs x) 3/2))) (* (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (fabs (pow (fabs x) 3/2)))) (* (cbrt (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (cbrt (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))))) (cbrt (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (* (* (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (sqrt (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (sqrt (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (* (* (cbrt (fabs (pow (fabs x) 3/2))) (cbrt (fabs (pow (fabs x) 3/2)))) (* (cbrt (fabs (pow (fabs x) 3/2))) (cbrt (fabs (pow (fabs x) 3/2))))) (* (cbrt (fabs (pow (fabs x) 3/2))) (cbrt (fabs (pow (fabs x) 3/2)))) (* (sqrt (fabs (pow (fabs x) 3/2))) (sqrt (fabs (pow (fabs x) 3/2)))) (* (sqrt (fabs (pow (fabs x) 3/2))) (sqrt (fabs (pow (fabs x) 3/2)))) (* 1 1) (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (* (sqrt (fabs (pow (fabs x) 3/2))) (sqrt (fabs (pow (fabs x) 3/2)))) (* (sqrt (fabs (pow (fabs x) 3/2))) (sqrt (fabs (pow (fabs x) 3/2)))) (* 2 1) (* (fabs (pow (fabs x) 3/2)) (* (cbrt (fabs (pow (fabs x) 3/2))) (cbrt (fabs (pow (fabs x) 3/2))))) (* (fabs (pow (fabs x) 3/2)) (sqrt (fabs (pow (fabs x) 3/2)))) (* (fabs (pow (fabs x) 3/2)) 1) (* (cbrt (fabs (pow (fabs x) 3/2))) (fabs (pow (fabs x) 3/2))) (* (sqrt (fabs (pow (fabs x) 3/2))) (fabs (pow (fabs x) 3/2))) (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (+ (- (log 2.0) (log 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (cbrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (pow (fabs (pow (fabs x) 3/2)) 2) (pow (fabs (pow (fabs x) 3/2)) 2) (pow (fabs (pow (fabs x) 3/2)) 2) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 1.801 * [simplify]: Sending expressions to egg_math: (log (sqrt h0)) (exp (sqrt h0)) (* (cbrt (sqrt h0)) (cbrt (sqrt h0))) (cbrt (sqrt h0)) (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (sqrt (* (cbrt h0) (cbrt h0))) (sqrt (cbrt h0)) (sqrt (sqrt h0)) (sqrt (sqrt h0)) (sqrt 1) (sqrt h0) (/ 1 2) (sqrt (sqrt h0)) (sqrt (sqrt h0)) (+ 1 1) (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))) (+ 1 1) (+ (log (fabs (pow (fabs h1) 3/2))) (log (fabs (pow (fabs h1) 3/2)))) (log (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (exp (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (* (* (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))) (fabs (pow (fabs h1) 3/2))) (* (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))) (fabs (pow (fabs h1) 3/2)))) (* (cbrt (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (cbrt (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))))) (cbrt (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (* (* (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))) (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (sqrt (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (sqrt (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (* (* (cbrt (fabs (pow (fabs h1) 3/2))) (cbrt (fabs (pow (fabs h1) 3/2)))) (* (cbrt (fabs (pow (fabs h1) 3/2))) (cbrt (fabs (pow (fabs h1) 3/2))))) (* (cbrt (fabs (pow (fabs h1) 3/2))) (cbrt (fabs (pow (fabs h1) 3/2)))) (* (sqrt (fabs (pow (fabs h1) 3/2))) (sqrt (fabs (pow (fabs h1) 3/2)))) (* (sqrt (fabs (pow (fabs h1) 3/2))) (sqrt (fabs (pow (fabs h1) 3/2)))) (* 1 1) (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))) (* (sqrt (fabs (pow (fabs h1) 3/2))) (sqrt (fabs (pow (fabs h1) 3/2)))) (* (sqrt (fabs (pow (fabs h1) 3/2))) (sqrt (fabs (pow (fabs h1) 3/2)))) (* 2 1) (* (fabs (pow (fabs h1) 3/2)) (* (cbrt (fabs (pow (fabs h1) 3/2))) (cbrt (fabs (pow (fabs h1) 3/2))))) (* (fabs (pow (fabs h1) 3/2)) (sqrt (fabs (pow (fabs h1) 3/2)))) (* (fabs (pow (fabs h1) 3/2)) 1) (* (cbrt (fabs (pow (fabs h1) 3/2))) (fabs (pow (fabs h1) 3/2))) (* (sqrt (fabs (pow (fabs h1) 3/2))) (fabs (pow (fabs h1) 3/2))) (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))) (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1))) (+ (- (log h3) (log h2)) (+ (+ (log (fabs h1)) (log (fabs h1))) (log (fabs h1)))) (+ (- (log h3) (log h2)) (+ (log (* (fabs h1) (fabs h1))) (log (fabs h1)))) (+ (- (log h3) (log h2)) (log (* (* (fabs h1) (fabs h1)) (fabs h1)))) (+ (log (/ h3 h2)) (+ (+ (log (fabs h1)) (log (fabs h1))) (log (fabs h1)))) (+ (log (/ h3 h2)) (+ (log (* (fabs h1) (fabs h1))) (log (fabs h1)))) (+ (log (/ h3 h2)) (log (* (* (fabs h1) (fabs h1)) (fabs h1)))) (log (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (exp (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (/ (* (* h3 h3) h3) (* (* h2 h2) h2)) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (/ (* (* h3 h3) h3) (* (* h2 h2) h2)) (* (* (* (* (fabs h1) (fabs h1)) (* (fabs h1) (fabs h1))) (* (fabs h1) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (/ (* (* h3 h3) h3) (* (* h2 h2) h2)) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (* (* (/ h3 h2) (/ h3 h2)) (/ h3 h2)) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (* (* (/ h3 h2) (/ h3 h2)) (/ h3 h2)) (* (* (* (* (fabs h1) (fabs h1)) (* (fabs h1) (fabs h1))) (* (fabs h1) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (* (* (/ h3 h2) (/ h3 h2)) (/ h3 h2)) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (cbrt (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (cbrt (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1))))) (cbrt (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (* (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (sqrt (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (sqrt (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (/ h3 h2) (* (fabs h1) (fabs h1))) (* (cbrt (/ h3 h2)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (sqrt (/ h3 h2)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ (cbrt h3) (cbrt h2)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ (cbrt h3) (sqrt h2)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ (cbrt h3) h2) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ (sqrt h3) (cbrt h2)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ (sqrt h3) (sqrt h2)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ (sqrt h3) h2) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h3 (cbrt h2)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h3 (sqrt h2)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ 1 h2) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* h3 (* (* (fabs h1) (fabs h1)) (fabs h1))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs h1)) (log (fabs h1))) (log (fabs h1))) (+ (log (* (fabs h1) (fabs h1))) (log (fabs h1))) (log (* (* (fabs h1) (fabs h1)) (fabs h1))) (exp (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (* (* (fabs h1) (fabs h1)) (* (fabs h1) (fabs h1))) (* (fabs h1) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (cbrt (* (* (fabs h1) (fabs h1)) (fabs h1))) (cbrt (* (* (fabs h1) (fabs h1)) (fabs h1)))) (cbrt (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1))) (sqrt (* (* (fabs h1) (fabs h1)) (fabs h1))) (sqrt (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1))) (* (* (fabs h1) (fabs h1)) (* (cbrt (fabs h1)) (cbrt (fabs h1)))) (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (* (* (fabs h1) (fabs h1)) 1) (* (fabs h1) (fabs h1)) (fabs (* (/ h5 (sqrt h0)) (+ (+ (+ (* h3 (fabs h1)) (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (/ h5 h6) (* (* (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))) (fabs h1)) (fabs h1)))) (* (/ h5 h4) (* (* (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (fabs h1)) (fabs h1)) (fabs h1)) (fabs h1)))))) (pow (fabs (pow (fabs h1) 3/2)) 2) (pow (fabs (pow (fabs h1) 3/2)) 2) (pow (fabs (pow (fabs h1) 3/2)) 2) (* h7 (pow (fabs h1) 3)) (* h7 (pow (fabs h1) 3)) (* h7 (pow (fabs h1) 3)) (pow (fabs h1) 3) (pow (fabs h1) 3) (pow (fabs h1) 3) 1.806 * * [simplify]: iteration 0 : 405 enodes (cost 671 ) 1.813 * * [simplify]: iteration 1 : 1676 enodes (cost 507 ) 1.846 * * [simplify]: iteration 2 : 5001 enodes (cost 448 ) 1.849 * * * [progress]: adding candidates to table 2.279 * * [progress]: iteration 4 / 4 2.280 * * * [progress]: picking best candidate 2.301 * * * * [pick]: Picked # 2.302 * * * [progress]: localizing error 2.338 * * * [progress]: generating rewritten candidates 2.338 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 2.339 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 2.346 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 2.416 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 1) 2.441 * * * [progress]: generating series expansions 2.441 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 2.441 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2 1 1) 2.441 * [backup-simplify]: Simplify (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) into (pow (fabs (pow (fabs x) 3/2)) 2) 2.441 * [approximate]: Taking taylor expansion of (pow (fabs (pow (fabs x) 3/2)) 2) in (x) around 0 2.441 * [taylor]: Taking taylor expansion of (pow (fabs (pow (fabs x) 3/2)) 2) in x 2.441 * [taylor]: Taking taylor expansion of (fabs (pow (fabs x) 3/2)) in x 2.441 * [backup-simplify]: Simplify (fabs (pow (fabs x) 3/2)) into (fabs (pow (fabs x) 3/2)) 2.441 * [taylor]: Taking taylor expansion of (pow (fabs (pow (fabs x) 3/2)) 2) in x 2.441 * [taylor]: Taking taylor expansion of (fabs (pow (fabs x) 3/2)) in x 2.441 * [backup-simplify]: Simplify (fabs (pow (fabs x) 3/2)) into (fabs (pow (fabs x) 3/2)) 2.441 * [backup-simplify]: Simplify (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) into (pow (fabs (pow (fabs x) 3/2)) 2) 2.442 * [backup-simplify]: Simplify (pow (fabs (pow (fabs x) 3/2)) 2) into (pow (fabs (pow (fabs x) 3/2)) 2) 2.442 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs x) 3/2)) 0) (* 0 (fabs (pow (fabs x) 3/2)))) into 0 2.442 * [backup-simplify]: Simplify 0 into 0 2.442 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs x) 3/2)) 0) (+ (* 0 0) (* 0 (fabs (pow (fabs x) 3/2))))) into 0 2.442 * [backup-simplify]: Simplify 0 into 0 2.443 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs x) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs x) 3/2)))))) into 0 2.443 * [backup-simplify]: Simplify 0 into 0 2.444 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs x) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs x) 3/2))))))) into 0 2.444 * [backup-simplify]: Simplify 0 into 0 2.445 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs x) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs x) 3/2)))))))) into 0 2.445 * [backup-simplify]: Simplify 0 into 0 2.446 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs x) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs x) 3/2))))))))) into 0 2.446 * [backup-simplify]: Simplify 0 into 0 2.446 * [backup-simplify]: Simplify (pow (fabs (pow (fabs x) 3/2)) 2) into (pow (fabs (pow (fabs x) 3/2)) 2) 2.447 * [backup-simplify]: Simplify (* (fabs (pow (fabs (/ 1 x)) 3/2)) (fabs (pow (fabs (/ 1 x)) 3/2))) into (pow (fabs (pow (fabs (/ 1 x)) 3/2)) 2) 2.447 * [approximate]: Taking taylor expansion of (pow (fabs (pow (fabs (/ 1 x)) 3/2)) 2) in (x) around 0 2.447 * [taylor]: Taking taylor expansion of (pow (fabs (pow (fabs (/ 1 x)) 3/2)) 2) in x 2.447 * [taylor]: Taking taylor expansion of (fabs (pow (fabs (/ 1 x)) 3/2)) in x 2.447 * [backup-simplify]: Simplify (fabs (pow (fabs (/ 1 x)) 3/2)) into (fabs (pow (fabs (/ 1 x)) 3/2)) 2.447 * [taylor]: Taking taylor expansion of (pow (fabs (pow (fabs (/ 1 x)) 3/2)) 2) in x 2.447 * [taylor]: Taking taylor expansion of (fabs (pow (fabs (/ 1 x)) 3/2)) in x 2.447 * [backup-simplify]: Simplify (fabs (pow (fabs (/ 1 x)) 3/2)) into (fabs (pow (fabs (/ 1 x)) 3/2)) 2.447 * [backup-simplify]: Simplify (* (fabs (pow (fabs (/ 1 x)) 3/2)) (fabs (pow (fabs (/ 1 x)) 3/2))) into (pow (fabs (pow (fabs (/ 1 x)) 3/2)) 2) 2.447 * [backup-simplify]: Simplify (pow (fabs (pow (fabs (/ 1 x)) 3/2)) 2) into (pow (fabs (pow (fabs (/ 1 x)) 3/2)) 2) 2.447 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ 1 x)) 3/2)) 0) (* 0 (fabs (pow (fabs (/ 1 x)) 3/2)))) into 0 2.447 * [backup-simplify]: Simplify 0 into 0 2.448 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ 1 x)) 3/2)) 0) (+ (* 0 0) (* 0 (fabs (pow (fabs (/ 1 x)) 3/2))))) into 0 2.448 * [backup-simplify]: Simplify 0 into 0 2.449 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ 1 x)) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs (/ 1 x)) 3/2)))))) into 0 2.449 * [backup-simplify]: Simplify 0 into 0 2.449 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ 1 x)) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs (/ 1 x)) 3/2))))))) into 0 2.449 * [backup-simplify]: Simplify 0 into 0 2.450 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ 1 x)) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs (/ 1 x)) 3/2)))))))) into 0 2.450 * [backup-simplify]: Simplify 0 into 0 2.452 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ 1 x)) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs (/ 1 x)) 3/2))))))))) into 0 2.452 * [backup-simplify]: Simplify 0 into 0 2.452 * [backup-simplify]: Simplify (pow (fabs (pow (fabs (/ 1 (/ 1 x))) 3/2)) 2) into (pow (fabs (pow (fabs x) 3/2)) 2) 2.452 * [backup-simplify]: Simplify (* (fabs (pow (fabs (/ 1 (- x))) 3/2)) (fabs (pow (fabs (/ 1 (- x))) 3/2))) into (pow (fabs (pow (fabs (/ -1 x)) 3/2)) 2) 2.452 * [approximate]: Taking taylor expansion of (pow (fabs (pow (fabs (/ -1 x)) 3/2)) 2) in (x) around 0 2.452 * [taylor]: Taking taylor expansion of (pow (fabs (pow (fabs (/ -1 x)) 3/2)) 2) in x 2.452 * [taylor]: Taking taylor expansion of (fabs (pow (fabs (/ -1 x)) 3/2)) in x 2.452 * [backup-simplify]: Simplify (fabs (pow (fabs (/ -1 x)) 3/2)) into (fabs (pow (fabs (/ -1 x)) 3/2)) 2.452 * [taylor]: Taking taylor expansion of (pow (fabs (pow (fabs (/ -1 x)) 3/2)) 2) in x 2.452 * [taylor]: Taking taylor expansion of (fabs (pow (fabs (/ -1 x)) 3/2)) in x 2.452 * [backup-simplify]: Simplify (fabs (pow (fabs (/ -1 x)) 3/2)) into (fabs (pow (fabs (/ -1 x)) 3/2)) 2.453 * [backup-simplify]: Simplify (* (fabs (pow (fabs (/ -1 x)) 3/2)) (fabs (pow (fabs (/ -1 x)) 3/2))) into (pow (fabs (pow (fabs (/ -1 x)) 3/2)) 2) 2.453 * [backup-simplify]: Simplify (pow (fabs (pow (fabs (/ -1 x)) 3/2)) 2) into (pow (fabs (pow (fabs (/ -1 x)) 3/2)) 2) 2.453 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ -1 x)) 3/2)) 0) (* 0 (fabs (pow (fabs (/ -1 x)) 3/2)))) into 0 2.453 * [backup-simplify]: Simplify 0 into 0 2.453 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ -1 x)) 3/2)) 0) (+ (* 0 0) (* 0 (fabs (pow (fabs (/ -1 x)) 3/2))))) into 0 2.453 * [backup-simplify]: Simplify 0 into 0 2.454 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ -1 x)) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs (/ -1 x)) 3/2)))))) into 0 2.454 * [backup-simplify]: Simplify 0 into 0 2.455 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ -1 x)) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs (/ -1 x)) 3/2))))))) into 0 2.455 * [backup-simplify]: Simplify 0 into 0 2.456 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ -1 x)) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs (/ -1 x)) 3/2)))))))) into 0 2.456 * [backup-simplify]: Simplify 0 into 0 2.457 * [backup-simplify]: Simplify (+ (* (fabs (pow (fabs (/ -1 x)) 3/2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (fabs (/ -1 x)) 3/2))))))))) into 0 2.457 * [backup-simplify]: Simplify 0 into 0 2.457 * [backup-simplify]: Simplify (pow (fabs (pow (fabs (/ -1 (/ 1 (- x)))) 3/2)) 2) into (pow (fabs (pow (fabs x) 3/2)) 2) 2.457 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 2.458 * [backup-simplify]: Simplify (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) into (pow (fabs x) 3) 2.458 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 2.458 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.458 * [taylor]: Taking taylor expansion of (fabs x) in x 2.458 * [backup-simplify]: Simplify (fabs x) into (fabs x) 2.458 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.458 * [taylor]: Taking taylor expansion of (fabs x) in x 2.458 * [backup-simplify]: Simplify (fabs x) into (fabs x) 2.458 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 2.458 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 2.458 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 2.458 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 2.458 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 2.458 * [backup-simplify]: Simplify 0 into 0 2.459 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 2.459 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 2.459 * [backup-simplify]: Simplify 0 into 0 2.460 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 2.460 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 2.460 * [backup-simplify]: Simplify 0 into 0 2.461 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 2.462 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 2.462 * [backup-simplify]: Simplify 0 into 0 2.462 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 2.463 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 2.463 * [backup-simplify]: Simplify 0 into 0 2.464 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 2.466 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 2.466 * [backup-simplify]: Simplify 0 into 0 2.466 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 2.466 * [backup-simplify]: Simplify (* (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (sqrt (fabs (/ 1 x)))) (sqrt (fabs (/ 1 x)))) into (pow (fabs (/ 1 x)) 3) 2.466 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 2.466 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.466 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.466 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 2.466 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.466 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.466 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 2.466 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 2.466 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 2.466 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 2.466 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 2.467 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 2.467 * [backup-simplify]: Simplify 0 into 0 2.467 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 2.467 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 2.467 * [backup-simplify]: Simplify 0 into 0 2.468 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 2.468 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 2.468 * [backup-simplify]: Simplify 0 into 0 2.469 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 2.470 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 2.470 * [backup-simplify]: Simplify 0 into 0 2.471 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 2.472 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 2.472 * [backup-simplify]: Simplify 0 into 0 2.473 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 2.474 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 2.474 * [backup-simplify]: Simplify 0 into 0 2.475 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 2.475 * [backup-simplify]: Simplify (* (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (sqrt (fabs (/ 1 (- x))))) (sqrt (fabs (/ 1 (- x))))) into (pow (fabs (/ -1 x)) 3) 2.475 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 2.475 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.475 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.475 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 2.475 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.475 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.475 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 2.475 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 2.475 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 2.475 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 2.475 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 2.476 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 2.476 * [backup-simplify]: Simplify 0 into 0 2.476 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 2.476 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 2.476 * [backup-simplify]: Simplify 0 into 0 2.477 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 2.477 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 2.477 * [backup-simplify]: Simplify 0 into 0 2.478 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 2.479 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 2.479 * [backup-simplify]: Simplify 0 into 0 2.480 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 2.481 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 2.481 * [backup-simplify]: Simplify 0 into 0 2.482 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 2.483 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 2.483 * [backup-simplify]: Simplify 0 into 0 2.483 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 2.483 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 1) 2.483 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (sqrt (fabs x))) into (sqrt (pow (fabs x) 5)) 2.483 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in (x) around 0 2.483 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in x 2.483 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 2.483 * [taylor]: Taking taylor expansion of (fabs x) in x 2.483 * [backup-simplify]: Simplify (fabs x) into (fabs x) 2.484 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 2.484 * [backup-simplify]: Simplify (* (pow (fabs x) 2) (pow (fabs x) 2)) into (pow (fabs x) 4) 2.484 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 4)) into (pow (fabs x) 5) 2.489 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 5)) into (sqrt (pow (fabs x) 5)) 2.489 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 2.489 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (* 0 (pow (fabs x) 2))) into 0 2.489 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 4))) into 0 2.489 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs x) 5)))) into 0 2.489 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in x 2.489 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 2.489 * [taylor]: Taking taylor expansion of (fabs x) in x 2.489 * [backup-simplify]: Simplify (fabs x) into (fabs x) 2.489 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 2.490 * [backup-simplify]: Simplify (* (pow (fabs x) 2) (pow (fabs x) 2)) into (pow (fabs x) 4) 2.490 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 4)) into (pow (fabs x) 5) 2.490 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 5)) into (sqrt (pow (fabs x) 5)) 2.490 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 2.490 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (* 0 (pow (fabs x) 2))) into 0 2.490 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 4))) into 0 2.490 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs x) 5)))) into 0 2.490 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 5)) into (sqrt (pow (fabs x) 5)) 2.490 * [backup-simplify]: Simplify 0 into 0 2.491 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 2.491 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 2.492 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))) into 0 2.492 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs x) 5)))) into 0 2.492 * [backup-simplify]: Simplify 0 into 0 2.493 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 2.493 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 2.494 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4))))) into 0 2.494 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 5)))) into 0 2.494 * [backup-simplify]: Simplify 0 into 0 2.495 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 2.496 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 2.496 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))))) into 0 2.497 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 5)))) into 0 2.497 * [backup-simplify]: Simplify 0 into 0 2.498 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 2.499 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 2.500 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4))))))) into 0 2.500 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 5)))) into 0 2.500 * [backup-simplify]: Simplify 0 into 0 2.502 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 2.503 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 2.504 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))))))) into 0 2.504 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 5)))) into 0 2.504 * [backup-simplify]: Simplify 0 into 0 2.504 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 5)) into (sqrt (pow (fabs x) 5)) 2.505 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (sqrt (fabs (/ 1 x)))) into (sqrt (pow (fabs (/ 1 x)) 5)) 2.505 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in (x) around 0 2.505 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in x 2.505 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 2.505 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.505 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 2.505 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 2.505 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 x)) 2) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 4) 2.505 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 4)) into (pow (fabs (/ 1 x)) 5) 2.505 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 5)) into (sqrt (pow (fabs (/ 1 x)) 5)) 2.505 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 2.506 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 2.506 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 4))) into 0 2.506 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ 1 x)) 5)))) into 0 2.506 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in x 2.506 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 2.506 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.506 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 2.506 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 2.506 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 x)) 2) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 4) 2.506 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 4)) into (pow (fabs (/ 1 x)) 5) 2.506 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 5)) into (sqrt (pow (fabs (/ 1 x)) 5)) 2.506 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 2.507 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 2.507 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 4))) into 0 2.507 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ 1 x)) 5)))) into 0 2.507 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 5)) into (sqrt (pow (fabs (/ 1 x)) 5)) 2.507 * [backup-simplify]: Simplify 0 into 0 2.507 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 2.508 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 2.508 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))) into 0 2.509 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ 1 x)) 5)))) into 0 2.509 * [backup-simplify]: Simplify 0 into 0 2.509 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 2.510 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 2.511 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4))))) into 0 2.511 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 5)))) into 0 2.511 * [backup-simplify]: Simplify 0 into 0 2.512 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 2.513 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 2.513 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))))) into 0 2.514 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 5)))) into 0 2.514 * [backup-simplify]: Simplify 0 into 0 2.515 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 2.516 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 2.517 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4))))))) into 0 2.517 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 5)))) into 0 2.517 * [backup-simplify]: Simplify 0 into 0 2.519 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 2.520 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 2.521 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))))))) into 0 2.522 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 5)))) into 0 2.522 * [backup-simplify]: Simplify 0 into 0 2.522 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 (/ 1 x))) 5)) into (sqrt (pow (fabs x) 5)) 2.522 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (sqrt (fabs (/ 1 (- x))))) into (sqrt (pow (fabs (/ -1 x)) 5)) 2.522 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in (x) around 0 2.522 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in x 2.522 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 2.522 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.522 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 2.522 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 2.523 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 2) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 4) 2.523 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 4)) into (pow (fabs (/ -1 x)) 5) 2.523 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 5)) into (sqrt (pow (fabs (/ -1 x)) 5)) 2.523 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 2.523 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 2.523 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 4))) into 0 2.523 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ -1 x)) 5)))) into 0 2.523 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in x 2.523 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 2.523 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.523 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 2.524 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 2.524 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 2) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 4) 2.524 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 4)) into (pow (fabs (/ -1 x)) 5) 2.524 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 5)) into (sqrt (pow (fabs (/ -1 x)) 5)) 2.524 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 2.524 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 2.524 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 4))) into 0 2.524 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ -1 x)) 5)))) into 0 2.525 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 5)) into (sqrt (pow (fabs (/ -1 x)) 5)) 2.525 * [backup-simplify]: Simplify 0 into 0 2.525 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 2.525 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 2.526 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))) into 0 2.526 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ -1 x)) 5)))) into 0 2.526 * [backup-simplify]: Simplify 0 into 0 2.527 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 2.527 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 2.528 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4))))) into 0 2.529 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 5)))) into 0 2.529 * [backup-simplify]: Simplify 0 into 0 2.529 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 2.530 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 2.531 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))))) into 0 2.531 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 5)))) into 0 2.531 * [backup-simplify]: Simplify 0 into 0 2.532 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 2.533 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 2.534 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4))))))) into 0 2.535 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 5)))) into 0 2.535 * [backup-simplify]: Simplify 0 into 0 2.536 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 2.537 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 2.538 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))))))) into 0 2.539 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 5)))) into 0 2.539 * [backup-simplify]: Simplify 0 into 0 2.539 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 (/ 1 (- x)))) 5)) into (sqrt (pow (fabs x) 5)) 2.539 * * * [progress]: simplifying candidates 2.541 * [simplify]: Simplifying: (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (+ 1 1) (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (+ 1 1) (+ (log (fabs (pow (fabs x) 3/2))) (log (fabs (pow (fabs x) 3/2)))) (log (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (exp (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (* (* (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (fabs (pow (fabs x) 3/2))) (* (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (fabs (pow (fabs x) 3/2)))) (* (cbrt (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (cbrt (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))))) (cbrt (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (* (* (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (sqrt (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (sqrt (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (* (* (cbrt (fabs (pow (fabs x) 3/2))) (cbrt (fabs (pow (fabs x) 3/2)))) (* (cbrt (fabs (pow (fabs x) 3/2))) (cbrt (fabs (pow (fabs x) 3/2))))) (* (cbrt (fabs (pow (fabs x) 3/2))) (cbrt (fabs (pow (fabs x) 3/2)))) (* (sqrt (fabs (pow (fabs x) 3/2))) (sqrt (fabs (pow (fabs x) 3/2)))) (* (sqrt (fabs (pow (fabs x) 3/2))) (sqrt (fabs (pow (fabs x) 3/2)))) (* 1 1) (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (* (sqrt (fabs (pow (fabs x) 3/2))) (sqrt (fabs (pow (fabs x) 3/2)))) (* (sqrt (fabs (pow (fabs x) 3/2))) (sqrt (fabs (pow (fabs x) 3/2)))) (* 2 1) (* (fabs (pow (fabs x) 3/2)) (* (cbrt (fabs (pow (fabs x) 3/2))) (cbrt (fabs (pow (fabs x) 3/2))))) (* (fabs (pow (fabs x) 3/2)) (sqrt (fabs (pow (fabs x) 3/2)))) (* (fabs (pow (fabs x) 3/2)) 1) (* (cbrt (fabs (pow (fabs x) 3/2))) (fabs (pow (fabs x) 3/2))) (* (sqrt (fabs (pow (fabs x) 3/2))) (fabs (pow (fabs x) 3/2))) (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (+ (+ (+ 1 1) 1/2) 1/2) (+ (+ (+ 1 1) 1/2) (/ 1 2)) (+ (+ (+ 1 1) (/ 1 2)) 1/2) (+ (+ (+ 1 1) (/ 1 2)) (/ 1 2)) (+ (+ 2 1/2) 1/2) (+ (+ 2 1/2) (/ 1 2)) (+ (+ 2 (/ 1 2)) 1/2) (+ (+ 2 (/ 1 2)) (/ 1 2)) (+ (+ (+ 1 1) 1/2) 1/2) (+ (+ (+ 1 1) 1/2) (/ 1 2)) (+ (+ (+ 1 1) (/ 1 2)) 1/2) (+ (+ (+ 1 1) (/ 1 2)) (/ 1 2)) (+ (+ (* 2 1) 1/2) 1/2) (+ (+ (* 2 1) 1/2) (/ 1 2)) (+ (+ (* 2 1) (/ 1 2)) 1/2) (+ (+ (* 2 1) (/ 1 2)) (/ 1 2)) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (sqrt (fabs x)))) (log (sqrt (fabs x)))) (+ (+ (log (* (fabs x) (fabs x))) (log (sqrt (fabs x)))) (log (sqrt (fabs x)))) (+ (log (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (log (sqrt (fabs x)))) (log (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (exp (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (cbrt (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (cbrt (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))))) (cbrt (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (sqrt (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (sqrt (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt 1)) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) 1) (* (sqrt (fabs x)) (sqrt (fabs x))) (+ (+ 1 1) 1/2) (+ (+ 1 1) (/ 1 2)) (+ 2 1/2) (+ 2 (/ 1 2)) (+ (+ 1 1) 1/2) (+ (+ 1 1) (/ 1 2)) (+ (* 2 1) 1/2) (+ (* 2 1) (/ 1 2)) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (+ (+ (log (fabs x)) (log (fabs x))) (log (sqrt (fabs x)))) (+ (log (* (fabs x) (fabs x))) (log (sqrt (fabs x)))) (log (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (exp (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (cbrt (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (sqrt (fabs x))))) (cbrt (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (* (fabs x) (fabs x)) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) (* (* (fabs x) (fabs x)) (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) (* (* (fabs x) (fabs x)) (sqrt (sqrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt 1)) (* (* (fabs x) (fabs x)) (sqrt (sqrt (fabs x)))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (pow (fabs (pow (fabs x) 3/2)) 2) (pow (fabs (pow (fabs x) 3/2)) 2) (pow (fabs (pow (fabs x) 3/2)) 2) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) 2.541 * [simplify]: Sending expressions to egg_math: (log (sqrt h0)) (exp (sqrt h0)) (* (cbrt (sqrt h0)) (cbrt (sqrt h0))) (cbrt (sqrt h0)) (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (sqrt (* (cbrt h0) (cbrt h0))) (sqrt (cbrt h0)) (sqrt (sqrt h0)) (sqrt (sqrt h0)) (sqrt 1) (sqrt h0) (/ 1 2) (sqrt (sqrt h0)) (sqrt (sqrt h0)) (+ 1 1) (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))) (+ 1 1) (+ (log (fabs (pow (fabs h1) 3/2))) (log (fabs (pow (fabs h1) 3/2)))) (log (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (exp (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (* (* (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))) (fabs (pow (fabs h1) 3/2))) (* (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))) (fabs (pow (fabs h1) 3/2)))) (* (cbrt (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (cbrt (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))))) (cbrt (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (* (* (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))) (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (sqrt (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (sqrt (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (* (* (cbrt (fabs (pow (fabs h1) 3/2))) (cbrt (fabs (pow (fabs h1) 3/2)))) (* (cbrt (fabs (pow (fabs h1) 3/2))) (cbrt (fabs (pow (fabs h1) 3/2))))) (* (cbrt (fabs (pow (fabs h1) 3/2))) (cbrt (fabs (pow (fabs h1) 3/2)))) (* (sqrt (fabs (pow (fabs h1) 3/2))) (sqrt (fabs (pow (fabs h1) 3/2)))) (* (sqrt (fabs (pow (fabs h1) 3/2))) (sqrt (fabs (pow (fabs h1) 3/2)))) (* 1 1) (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))) (* (sqrt (fabs (pow (fabs h1) 3/2))) (sqrt (fabs (pow (fabs h1) 3/2)))) (* (sqrt (fabs (pow (fabs h1) 3/2))) (sqrt (fabs (pow (fabs h1) 3/2)))) (* 2 1) (* (fabs (pow (fabs h1) 3/2)) (* (cbrt (fabs (pow (fabs h1) 3/2))) (cbrt (fabs (pow (fabs h1) 3/2))))) (* (fabs (pow (fabs h1) 3/2)) (sqrt (fabs (pow (fabs h1) 3/2)))) (* (fabs (pow (fabs h1) 3/2)) 1) (* (cbrt (fabs (pow (fabs h1) 3/2))) (fabs (pow (fabs h1) 3/2))) (* (sqrt (fabs (pow (fabs h1) 3/2))) (fabs (pow (fabs h1) 3/2))) (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))) (+ (+ (+ 1 1) 1/2) 1/2) (+ (+ (+ 1 1) 1/2) (/ 1 2)) (+ (+ (+ 1 1) (/ 1 2)) 1/2) (+ (+ (+ 1 1) (/ 1 2)) (/ 1 2)) (+ (+ 2 1/2) 1/2) (+ (+ 2 1/2) (/ 1 2)) (+ (+ 2 (/ 1 2)) 1/2) (+ (+ 2 (/ 1 2)) (/ 1 2)) (+ (+ (+ 1 1) 1/2) 1/2) (+ (+ (+ 1 1) 1/2) (/ 1 2)) (+ (+ (+ 1 1) (/ 1 2)) 1/2) (+ (+ (+ 1 1) (/ 1 2)) (/ 1 2)) (+ (+ (* 2 1) 1/2) 1/2) (+ (+ (* 2 1) 1/2) (/ 1 2)) (+ (+ (* 2 1) (/ 1 2)) 1/2) (+ (+ (* 2 1) (/ 1 2)) (/ 1 2)) (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1))) (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1))) (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1))) (+ (+ (+ (log (fabs h1)) (log (fabs h1))) (log (sqrt (fabs h1)))) (log (sqrt (fabs h1)))) (+ (+ (log (* (fabs h1) (fabs h1))) (log (sqrt (fabs h1)))) (log (sqrt (fabs h1)))) (+ (log (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1)))) (log (sqrt (fabs h1)))) (log (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1)))) (exp (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1)))) (* (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (sqrt (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1)))) (* (* (sqrt (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1)))) (* (* (* (* (* (fabs h1) (fabs h1)) (* (fabs h1) (fabs h1))) (* (fabs h1) (fabs h1))) (* (* (sqrt (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1)))) (* (* (sqrt (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1)))) (* (* (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1)))) (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1)))) (* (* (sqrt (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1)))) (* (cbrt (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1)))) (cbrt (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1))))) (cbrt (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1)))) (* (* (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1))) (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1)))) (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1)))) (sqrt (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1)))) (sqrt (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1)))) (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (* (cbrt (sqrt (fabs h1))) (cbrt (sqrt (fabs h1))))) (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (sqrt (* (cbrt (fabs h1)) (cbrt (fabs h1))))) (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (sqrt (sqrt (fabs h1)))) (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (sqrt 1)) (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (sqrt (sqrt (fabs h1)))) (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) 1) (* (sqrt (fabs h1)) (sqrt (fabs h1))) (+ (+ 1 1) 1/2) (+ (+ 1 1) (/ 1 2)) (+ 2 1/2) (+ 2 (/ 1 2)) (+ (+ 1 1) 1/2) (+ (+ 1 1) (/ 1 2)) (+ (* 2 1) 1/2) (+ (* 2 1) (/ 1 2)) (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (+ (+ (log (fabs h1)) (log (fabs h1))) (log (sqrt (fabs h1)))) (+ (log (* (fabs h1) (fabs h1))) (log (sqrt (fabs h1)))) (log (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1)))) (exp (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1)))) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (sqrt (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1)))) (* (* (* (* (fabs h1) (fabs h1)) (* (fabs h1) (fabs h1))) (* (fabs h1) (fabs h1))) (* (* (sqrt (fabs h1)) (sqrt (fabs h1))) (sqrt (fabs h1)))) (* (cbrt (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1)))) (cbrt (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))))) (cbrt (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1)))) (* (* (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1)))) (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1)))) (sqrt (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1)))) (sqrt (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1)))) (* (fabs h1) (sqrt (sqrt (fabs h1)))) (* (fabs h1) (sqrt (sqrt (fabs h1)))) (* (fabs h1) (sqrt (sqrt (fabs h1)))) (* (fabs h1) (sqrt (sqrt (fabs h1)))) (* (* (fabs h1) (fabs h1)) (* (cbrt (sqrt (fabs h1))) (cbrt (sqrt (fabs h1))))) (* (* (fabs h1) (fabs h1)) (sqrt (* (cbrt (fabs h1)) (cbrt (fabs h1))))) (* (* (fabs h1) (fabs h1)) (sqrt (sqrt (fabs h1)))) (* (* (fabs h1) (fabs h1)) (sqrt 1)) (* (* (fabs h1) (fabs h1)) (sqrt (sqrt (fabs h1)))) (* (* (fabs h1) (fabs h1)) 1) (* (fabs h1) (sqrt (fabs h1))) (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (pow (fabs (pow (fabs h1) 3/2)) 2) (pow (fabs (pow (fabs h1) 3/2)) 2) (pow (fabs (pow (fabs h1) 3/2)) 2) (pow (fabs h1) 3) (pow (fabs h1) 3) (pow (fabs h1) 3) (sqrt (pow (fabs h1) 5)) (sqrt (pow (fabs h1) 5)) (sqrt (pow (fabs h1) 5)) 2.547 * * [simplify]: iteration 0 : 319 enodes (cost 641 ) 2.553 * * [simplify]: iteration 1 : 1320 enodes (cost 446 ) 2.580 * * [simplify]: iteration 2 : 5001 enodes (cost 380 ) 2.582 * * * [progress]: adding candidates to table 2.983 * [progress]: [Phase 3 of 3] Extracting. 2.983 * * [regime]: Finding splitpoints for: (# # # # # #) 2.993 * * * [regime-changes]: Trying 2 branch expressions: ((fabs x) x) 2.993 * * * * [regimes]: Trying to branch on (fabs x) from (# # # # # #) 3.043 * * * * [regimes]: Trying to branch on x from (# # # # # #) 3.090 * * * [regime]: Found split indices: #