25.267 * [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.056 * [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.056 * [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.058 * * [simplify]: iteration  0 :  70  enodes  (cost  42 )
0.061 * * [simplify]: iteration  1 :  252  enodes  (cost  42 )
0.067 * * [simplify]: iteration  2 :  1059  enodes  (cost  42 )
0.093 * * [simplify]: iteration  3 :  4713  enodes  (cost  42 )
0.168 * * [simplify]: iteration  4 :  5001  enodes  (cost  42 )
0.169 * * [progress]: iteration 1 / 4
0.169 * * * [progress]: picking best candidate
0.173 * * * * [pick]: Picked  #<alt (λ (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.173 * * * [progress]: localizing error
0.197 * * * [progress]: generating rewritten candidates
0.197 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
0.199 * * * * [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.298 * * * [progress]: generating series expansions
0.299 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
0.299 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2)
0.299 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) into (* 0.6666666666666666 (pow (fabs x) 3))
0.299 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0
0.299 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x
0.299 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
0.299 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.299 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
0.299 * [taylor]: Taking taylor expansion of (fabs x) in x
0.300 * [backup-simplify]: Simplify (fabs x) into (fabs x)
0.300 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x
0.300 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
0.300 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.300 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
0.300 * [taylor]: Taking taylor expansion of (fabs x) in x
0.300 * [backup-simplify]: Simplify (fabs x) into (fabs x)
0.300 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2)
0.300 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3)
0.300 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3))
0.300 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3))
0.300 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0
0.300 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0
0.301 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 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 (fabs x)))) into 0
0.301 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0
0.302 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))) into 0
0.302 * [backup-simplify]: Simplify 0 into 0
0.302 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0
0.303 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0
0.304 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))) into 0
0.304 * [backup-simplify]: Simplify 0 into 0
0.304 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0
0.305 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0
0.306 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))) into 0
0.306 * [backup-simplify]: Simplify 0 into 0
0.307 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0
0.308 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0
0.309 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))))) into 0
0.309 * [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.314 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))
0.314 * [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.315 * [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.316 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))) into 0
0.316 * [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.324 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0
0.325 * [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.326 * [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.326 * [backup-simplify]: Simplify 0 into 0
0.326 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 (/ 1 x))) 3)) into (* 0.6666666666666666 (pow (fabs x) 3))
0.327 * [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.327 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0
0.327 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x
0.327 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
0.327 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.327 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
0.327 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.327 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
0.327 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x
0.327 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
0.327 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
0.327 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
0.327 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.327 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
0.327 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2)
0.327 * [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.328 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))
0.328 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0
0.328 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0
0.328 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ -1 x)) 3))) into 0
0.328 * [backup-simplify]: Simplify 0 into 0
0.329 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0
0.329 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0
0.330 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))) into 0
0.330 * [backup-simplify]: Simplify 0 into 0
0.330 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0
0.331 * [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.332 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0
0.333 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0
0.334 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))) into 0
0.334 * [backup-simplify]: Simplify 0 into 0
0.335 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0
0.336 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0
0.337 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))))) into 0
0.337 * [backup-simplify]: Simplify 0 into 0
0.338 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0
0.339 * [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.341 * [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.341 * [backup-simplify]: Simplify 0 into 0
0.341 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (* 0.6666666666666666 (pow (fabs x) 3))
0.341 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 1 1 1)
0.341 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3)
0.341 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0
0.341 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
0.341 * [taylor]: Taking taylor expansion of (fabs x) in x
0.341 * [backup-simplify]: Simplify (fabs x) into (fabs x)
0.341 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
0.341 * [taylor]: Taking taylor expansion of (fabs x) in x
0.341 * [backup-simplify]: Simplify (fabs x) into (fabs x)
0.341 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2)
0.341 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3)
0.341 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3)
0.341 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0
0.342 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0
0.342 * [backup-simplify]: Simplify 0 into 0
0.342 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0
0.342 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0
0.342 * [backup-simplify]: Simplify 0 into 0
0.343 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0
0.343 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0
0.343 * [backup-simplify]: Simplify 0 into 0
0.344 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0
0.345 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0
0.345 * [backup-simplify]: Simplify 0 into 0
0.346 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 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 0) (* 0 (pow (fabs x) 2))))))) into 0
0.346 * [backup-simplify]: Simplify 0 into 0
0.348 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0
0.349 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0
0.349 * [backup-simplify]: Simplify 0 into 0
0.349 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3)
0.349 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3)
0.349 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0
0.349 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
0.349 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.349 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
0.349 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
0.349 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.349 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
0.349 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2)
0.349 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3)
0.349 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3)
0.350 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0
0.350 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0
0.350 * [backup-simplify]: Simplify 0 into 0
0.350 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0
0.350 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0
0.350 * [backup-simplify]: Simplify 0 into 0
0.351 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0
0.351 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 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 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0
0.353 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 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 0) (* 0 (fabs (/ 1 x)))))))) into 0
0.355 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 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 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 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0
0.357 * [backup-simplify]: Simplify 0 into 0
0.357 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3)
0.357 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3)
0.357 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0
0.357 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
0.357 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.357 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
0.357 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
0.357 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.358 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
0.358 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2)
0.358 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3)
0.358 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3)
0.358 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0
0.358 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0
0.358 * [backup-simplify]: Simplify 0 into 0
0.358 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0
0.359 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0
0.359 * [backup-simplify]: Simplify 0 into 0
0.359 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0
0.360 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0
0.360 * [backup-simplify]: Simplify 0 into 0
0.361 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0
0.361 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0
0.361 * [backup-simplify]: Simplify 0 into 0
0.362 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0
0.363 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0
0.363 * [backup-simplify]: Simplify 0 into 0
0.365 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0
0.366 * [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.366 * [backup-simplify]: Simplify 0 into 0
0.366 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3)
0.366 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2 1 1)
0.366 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3)
0.366 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0
0.366 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
0.366 * [taylor]: Taking taylor expansion of (fabs x) in x
0.366 * [backup-simplify]: Simplify (fabs x) into (fabs x)
0.366 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
0.366 * [taylor]: Taking taylor expansion of (fabs x) in x
0.366 * [backup-simplify]: Simplify (fabs x) into (fabs x)
0.366 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2)
0.366 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3)
0.367 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3)
0.367 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0
0.367 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0
0.367 * [backup-simplify]: Simplify 0 into 0
0.367 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0
0.367 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0
0.367 * [backup-simplify]: Simplify 0 into 0
0.372 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0
0.373 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0
0.373 * [backup-simplify]: Simplify 0 into 0
0.374 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0
0.374 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 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 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0
0.376 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 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 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0
0.378 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 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 (pow (fabs x) 3) into (pow (fabs x) 3)
0.379 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3)
0.379 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0
0.379 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
0.379 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.379 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
0.379 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
0.379 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.379 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
0.379 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2)
0.379 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3)
0.380 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3)
0.380 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0
0.380 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0
0.380 * [backup-simplify]: Simplify 0 into 0
0.380 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0
0.381 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0
0.381 * [backup-simplify]: Simplify 0 into 0
0.381 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0
0.382 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0
0.382 * [backup-simplify]: Simplify 0 into 0
0.382 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0
0.383 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 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 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 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 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 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0
0.387 * [backup-simplify]: Simplify 0 into 0
0.387 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3)
0.388 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3)
0.388 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0
0.388 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
0.388 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.388 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
0.388 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
0.388 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.388 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
0.388 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2)
0.388 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3)
0.388 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3)
0.388 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0
0.388 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0
0.388 * [backup-simplify]: Simplify 0 into 0
0.389 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0
0.389 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 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 (fabs (/ -1 x)))))) into 0
0.390 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0
0.390 * [backup-simplify]: Simplify 0 into 0
0.391 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0
0.392 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 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 (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0
0.393 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0
0.393 * [backup-simplify]: Simplify 0 into 0
0.395 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 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 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0
0.396 * [backup-simplify]: Simplify 0 into 0
0.396 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3)
0.396 * * * [progress]: simplifying candidates
0.398 * [simplify]: Simplifying:
  (expm1 (sqrt PI))
  (log1p (sqrt PI))
  (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))
  (expm1 (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (log1p (* (/ 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)))
  (+ (- (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)))
  (expm1 (* (* (fabs x) (fabs x)) (fabs x)))
  (log1p (* (* (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))
  (expm1 (* (* (fabs x) (fabs x)) (fabs x)))
  (log1p (* (* (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 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.398 * [simplify]: Sending expressions to egg_math:
 (expm1 (sqrt h0))
 (log1p (sqrt h0))
 (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))
 (expm1 (* (/ h3 h2) (* (* (fabs h1) (fabs h1)) (fabs h1))))
 (log1p (* (/ 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)))
 (+ (- (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)))
 (expm1 (* (* (fabs h1) (fabs h1)) (fabs h1)))
 (log1p (* (* (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))
 (expm1 (* (* (fabs h1) (fabs h1)) (fabs h1)))
 (log1p (* (* (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 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.403 * * [simplify]: iteration  0 :  348  enodes  (cost  647 )
0.409 * * [simplify]: iteration  1 :  1405  enodes  (cost  470 )
0.437 * * [simplify]: iteration  2 :  5001  enodes  (cost  462 )
0.440 * * * [progress]: adding candidates to table
0.827 * * [progress]: iteration 2 / 4
0.827 * * * [progress]: picking best candidate
0.840 * * * * [pick]: Picked  #<alt (λ (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) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))>
0.840 * * * [progress]: localizing error
0.870 * * * [progress]: generating rewritten candidates
0.870 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
0.872 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1)
0.912 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 2)
0.922 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 1)
0.935 * * * [progress]: generating series expansions
0.935 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
0.935 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1 1 1 1)
0.936 * [backup-simplify]: Simplify (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) into (pow (fabs x) 3)
0.936 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0
0.936 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
0.936 * [taylor]: Taking taylor expansion of (fabs x) in x
0.936 * [backup-simplify]: Simplify (fabs x) into (fabs x)
0.936 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
0.936 * [taylor]: Taking taylor expansion of (fabs x) in x
0.936 * [backup-simplify]: Simplify (fabs x) into (fabs x)
0.936 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2)
0.936 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3)
0.936 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3)
0.936 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0
0.936 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0
0.936 * [backup-simplify]: Simplify 0 into 0
0.937 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0
0.937 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0
0.937 * [backup-simplify]: Simplify 0 into 0
0.938 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0
0.938 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0
0.938 * [backup-simplify]: Simplify 0 into 0
0.939 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0
0.940 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0
0.940 * [backup-simplify]: Simplify 0 into 0
0.941 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0
0.942 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0
0.942 * [backup-simplify]: Simplify 0 into 0
0.943 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 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 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0
0.944 * [backup-simplify]: Simplify 0 into 0
0.944 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3)
0.944 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (sqrt (fabs (/ 1 x)))) (* (fabs (/ 1 x)) (sqrt (fabs (/ 1 x))))) into (pow (fabs (/ 1 x)) 3)
0.944 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0
0.944 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
0.944 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.944 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
0.944 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
0.944 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.944 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
0.945 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2)
0.945 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3)
0.945 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3)
0.945 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0
0.945 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0
0.945 * [backup-simplify]: Simplify 0 into 0
0.945 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0
0.946 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0
0.946 * [backup-simplify]: Simplify 0 into 0
0.946 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0
0.947 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0
0.947 * [backup-simplify]: Simplify 0 into 0
0.948 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0
0.948 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0
0.948 * [backup-simplify]: Simplify 0 into 0
0.949 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0
0.950 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0
0.950 * [backup-simplify]: Simplify 0 into 0
0.951 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0
0.953 * [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.953 * [backup-simplify]: Simplify 0 into 0
0.953 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3)
0.953 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (sqrt (fabs (/ 1 (- x))))) (* (fabs (/ 1 (- x))) (sqrt (fabs (/ 1 (- x)))))) into (pow (fabs (/ -1 x)) 3)
0.953 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0
0.953 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
0.953 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.953 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
0.953 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
0.953 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.953 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
0.953 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2)
0.953 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3)
0.953 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3)
0.954 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0
0.954 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0
0.954 * [backup-simplify]: Simplify 0 into 0
0.954 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0
0.954 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0
0.954 * [backup-simplify]: Simplify 0 into 0
0.955 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0
0.956 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0
0.956 * [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 into 0
0.962 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0
0.963 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0
0.963 * [backup-simplify]: Simplify 0 into 0
0.964 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0
0.966 * [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.966 * [backup-simplify]: Simplify 0 into 0
0.966 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3)
0.966 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 2)
0.966 * [backup-simplify]: Simplify (* (fabs x) (sqrt (fabs x))) into (sqrt (pow (fabs x) 3))
0.966 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in (x) around 0
0.966 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in x
0.966 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
0.966 * [taylor]: Taking taylor expansion of (fabs x) in x
0.966 * [backup-simplify]: Simplify (fabs x) into (fabs x)
0.966 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2)
0.966 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3)
0.966 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3))
0.966 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0
0.966 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0
0.967 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs x) 3)))) into 0
0.967 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in x
0.967 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
0.967 * [taylor]: Taking taylor expansion of (fabs x) in x
0.967 * [backup-simplify]: Simplify (fabs x) into (fabs x)
0.967 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2)
0.967 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3)
0.967 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3))
0.967 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0
0.967 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0
0.967 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs x) 3)))) into 0
0.967 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3))
0.967 * [backup-simplify]: Simplify 0 into 0
0.968 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0
0.968 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0
0.969 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs x) 3)))) into 0
0.969 * [backup-simplify]: Simplify 0 into 0
0.969 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0
0.970 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0
0.970 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0
0.970 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0
0.972 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0
0.972 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0
0.972 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0
0.974 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0
0.975 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0
0.975 * [backup-simplify]: Simplify 0 into 0
0.976 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0
0.977 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0
0.977 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0
0.977 * [backup-simplify]: Simplify 0 into 0
0.977 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3))
0.978 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (sqrt (fabs (/ 1 x)))) into (sqrt (pow (fabs (/ 1 x)) 3))
0.978 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in (x) around 0
0.978 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in x
0.978 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
0.978 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.978 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
0.978 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2)
0.978 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3)
0.978 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 3)) into (sqrt (pow (fabs (/ 1 x)) 3))
0.978 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0
0.978 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0
0.978 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
0.978 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in x
0.978 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
0.978 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.979 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
0.979 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2)
0.979 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3)
0.979 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 3)) into (sqrt (pow (fabs (/ 1 x)) 3))
0.979 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0
0.979 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0
0.979 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
0.979 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 3)) into (sqrt (pow (fabs (/ 1 x)) 3))
0.979 * [backup-simplify]: Simplify 0 into 0
0.980 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0
0.980 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0
0.981 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
0.981 * [backup-simplify]: Simplify 0 into 0
0.981 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0
0.982 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0
0.983 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
0.983 * [backup-simplify]: Simplify 0 into 0
0.983 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0
0.984 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0
0.985 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
0.985 * [backup-simplify]: Simplify 0 into 0
0.986 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0
0.987 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0
0.987 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
0.987 * [backup-simplify]: Simplify 0 into 0
0.988 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0
0.990 * [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.990 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
0.990 * [backup-simplify]: Simplify 0 into 0
0.990 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 (/ 1 x))) 3)) into (sqrt (pow (fabs x) 3))
0.991 * [backup-simplify]: Simplify (* (fabs (/ 1 (- x))) (sqrt (fabs (/ 1 (- x))))) into (sqrt (pow (fabs (/ -1 x)) 3))
0.991 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in (x) around 0
0.991 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in x
0.991 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
0.991 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.991 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
0.991 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2)
0.991 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3)
0.991 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 3)) into (sqrt (pow (fabs (/ -1 x)) 3))
0.991 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0
0.991 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0
0.991 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
0.991 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in x
0.991 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
0.991 * [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.992 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 3)) into (sqrt (pow (fabs (/ -1 x)) 3))
0.992 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0
0.992 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0
0.992 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
0.992 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 3)) into (sqrt (pow (fabs (/ -1 x)) 3))
0.992 * [backup-simplify]: Simplify 0 into 0
0.993 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0
0.993 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0
0.994 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
0.994 * [backup-simplify]: Simplify 0 into 0
0.994 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0
0.995 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0
0.995 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 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 0) (* 0 (fabs (/ -1 x))))))) into 0
0.997 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0
0.997 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 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 0) (* 0 (fabs (/ -1 x)))))))) into 0
0.999 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0
1.000 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.000 * [backup-simplify]: Simplify 0 into 0
1.001 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0
1.002 * [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.003 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.003 * [backup-simplify]: Simplify 0 into 0
1.003 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (sqrt (pow (fabs x) 3))
1.003 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 1)
1.003 * [backup-simplify]: Simplify (* (fabs x) (sqrt (fabs x))) into (sqrt (pow (fabs x) 3))
1.003 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in (x) around 0
1.003 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in x
1.003 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
1.003 * [taylor]: Taking taylor expansion of (fabs x) in x
1.003 * [backup-simplify]: Simplify (fabs x) into (fabs x)
1.003 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2)
1.003 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3)
1.003 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3))
1.003 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0
1.004 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0
1.004 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.004 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in x
1.004 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
1.004 * [taylor]: Taking taylor expansion of (fabs x) in x
1.004 * [backup-simplify]: Simplify (fabs x) into (fabs x)
1.004 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2)
1.004 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3)
1.004 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3))
1.004 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0
1.004 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0
1.004 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.004 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3))
1.004 * [backup-simplify]: Simplify 0 into 0
1.005 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0
1.005 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0
1.006 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.006 * [backup-simplify]: Simplify 0 into 0
1.006 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0
1.007 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0
1.007 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.007 * [backup-simplify]: Simplify 0 into 0
1.008 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0
1.009 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0
1.009 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.009 * [backup-simplify]: Simplify 0 into 0
1.010 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0
1.011 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0
1.012 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.012 * [backup-simplify]: Simplify 0 into 0
1.013 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0
1.014 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0
1.014 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.014 * [backup-simplify]: Simplify 0 into 0
1.015 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3))
1.015 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (sqrt (fabs (/ 1 x)))) into (sqrt (pow (fabs (/ 1 x)) 3))
1.015 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in (x) around 0
1.015 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in x
1.015 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
1.015 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.015 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
1.015 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2)
1.015 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3)
1.015 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 3)) into (sqrt (pow (fabs (/ 1 x)) 3))
1.015 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0
1.015 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0
1.015 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.015 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in x
1.015 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
1.015 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.016 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
1.016 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2)
1.016 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3)
1.016 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 3)) into (sqrt (pow (fabs (/ 1 x)) 3))
1.016 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0
1.016 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0
1.016 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.016 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 3)) into (sqrt (pow (fabs (/ 1 x)) 3))
1.016 * [backup-simplify]: Simplify 0 into 0
1.017 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0
1.017 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0
1.018 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.018 * [backup-simplify]: Simplify 0 into 0
1.018 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0
1.019 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0
1.019 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.019 * [backup-simplify]: Simplify 0 into 0
1.020 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0
1.021 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0
1.021 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.021 * [backup-simplify]: Simplify 0 into 0
1.022 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0
1.023 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0
1.024 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.024 * [backup-simplify]: Simplify 0 into 0
1.025 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0
1.026 * [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.027 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.027 * [backup-simplify]: Simplify 0 into 0
1.027 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 (/ 1 x))) 3)) into (sqrt (pow (fabs x) 3))
1.027 * [backup-simplify]: Simplify (* (fabs (/ 1 (- x))) (sqrt (fabs (/ 1 (- x))))) into (sqrt (pow (fabs (/ -1 x)) 3))
1.027 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in (x) around 0
1.027 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in x
1.027 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
1.027 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.027 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
1.027 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2)
1.027 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3)
1.027 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 3)) into (sqrt (pow (fabs (/ -1 x)) 3))
1.028 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0
1.028 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0
1.028 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.028 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in x
1.028 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
1.028 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.028 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
1.028 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2)
1.028 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3)
1.028 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 3)) into (sqrt (pow (fabs (/ -1 x)) 3))
1.028 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0
1.028 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0
1.029 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.029 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 3)) into (sqrt (pow (fabs (/ -1 x)) 3))
1.029 * [backup-simplify]: Simplify 0 into 0
1.029 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0
1.030 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0
1.030 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.030 * [backup-simplify]: Simplify 0 into 0
1.031 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0
1.031 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0
1.032 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.032 * [backup-simplify]: Simplify 0 into 0
1.033 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0
1.033 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0
1.034 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.034 * [backup-simplify]: Simplify 0 into 0
1.035 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0
1.036 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0
1.036 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.036 * [backup-simplify]: Simplify 0 into 0
1.038 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0
1.039 * [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.039 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.039 * [backup-simplify]: Simplify 0 into 0
1.040 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (sqrt (pow (fabs x) 3))
1.040 * * * [progress]: simplifying candidates
1.041 * [simplify]: Simplifying:
  (expm1 (sqrt PI))
  (log1p (sqrt PI))
  (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))
  (expm1 (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))))
  (log1p (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))))
  (+ (+ 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))))
  (expm1 (* (fabs x) (sqrt (fabs x))))
  (log1p (* (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)))
  (expm1 (* (fabs x) (sqrt (fabs x))))
  (log1p (* (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.042 * [simplify]: Sending expressions to egg_math:
 (expm1 (sqrt h0))
 (log1p (sqrt h0))
 (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))
 (expm1 (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1)))))
 (log1p (* (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1)))))
 (+ (+ 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))))
 (expm1 (* (fabs h1) (sqrt (fabs h1))))
 (log1p (* (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)))
 (expm1 (* (fabs h1) (sqrt (fabs h1))))
 (log1p (* (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.046 * * [simplify]: iteration  0 :  193  enodes  (cost  529 )
1.050 * * [simplify]: iteration  1 :  672  enodes  (cost  400 )
1.072 * * [simplify]: iteration  2 :  3652  enodes  (cost  362 )
1.198 * * [simplify]: iteration  3 :  5001  enodes  (cost  362 )
1.200 * * * [progress]: adding candidates to table
1.636 * * [progress]: iteration 3 / 4
1.636 * * * [progress]: picking best candidate
1.657 * * * * [pick]: Picked  #<alt (λ (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) (sqrt (fabs x))) (sqrt (pow (fabs x) 3))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))>
1.657 * * * [progress]: localizing error
1.689 * * * [progress]: generating rewritten candidates
1.689 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 2)
1.697 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
1.698 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1)
1.729 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 1)
1.741 * * * [progress]: generating series expansions
1.741 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 2)
1.741 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3))
1.741 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in (x) around 0
1.741 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in x
1.741 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
1.741 * [taylor]: Taking taylor expansion of (fabs x) in x
1.741 * [backup-simplify]: Simplify (fabs x) into (fabs x)
1.741 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2)
1.742 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3)
1.742 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3))
1.742 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0
1.742 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0
1.742 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.742 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in x
1.742 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
1.742 * [taylor]: Taking taylor expansion of (fabs x) in x
1.742 * [backup-simplify]: Simplify (fabs x) into (fabs x)
1.742 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2)
1.742 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3)
1.742 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3))
1.742 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0
1.742 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0
1.743 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.743 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3))
1.743 * [backup-simplify]: Simplify 0 into 0
1.744 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0
1.744 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0
1.745 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.745 * [backup-simplify]: Simplify 0 into 0
1.745 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0
1.746 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0
1.746 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.746 * [backup-simplify]: Simplify 0 into 0
1.747 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0
1.748 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0
1.748 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.748 * [backup-simplify]: Simplify 0 into 0
1.749 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0
1.750 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0
1.751 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.751 * [backup-simplify]: Simplify 0 into 0
1.752 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0
1.753 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0
1.754 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.754 * [backup-simplify]: Simplify 0 into 0
1.754 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3))
1.754 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 3)) into (sqrt (pow (fabs (/ 1 x)) 3))
1.754 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in (x) around 0
1.754 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in x
1.754 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
1.754 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.754 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
1.754 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2)
1.754 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3)
1.754 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 3)) into (sqrt (pow (fabs (/ 1 x)) 3))
1.754 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0
1.754 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0
1.755 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.755 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in x
1.755 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
1.755 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.755 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
1.755 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2)
1.755 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3)
1.755 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 3)) into (sqrt (pow (fabs (/ 1 x)) 3))
1.755 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0
1.755 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0
1.755 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.756 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 3)) into (sqrt (pow (fabs (/ 1 x)) 3))
1.756 * [backup-simplify]: Simplify 0 into 0
1.756 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0
1.756 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0
1.757 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.757 * [backup-simplify]: Simplify 0 into 0
1.757 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0
1.758 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0
1.758 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.758 * [backup-simplify]: Simplify 0 into 0
1.759 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0
1.764 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0
1.765 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.765 * [backup-simplify]: Simplify 0 into 0
1.766 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0
1.767 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0
1.767 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.767 * [backup-simplify]: Simplify 0 into 0
1.768 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0
1.770 * [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.770 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.770 * [backup-simplify]: Simplify 0 into 0
1.770 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 (/ 1 x))) 3)) into (sqrt (pow (fabs x) 3))
1.770 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 (- x))) 3)) into (sqrt (pow (fabs (/ -1 x)) 3))
1.771 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in (x) around 0
1.771 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in x
1.771 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
1.771 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.771 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
1.771 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2)
1.771 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3)
1.771 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 3)) into (sqrt (pow (fabs (/ -1 x)) 3))
1.771 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0
1.771 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0
1.771 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.771 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in x
1.771 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
1.771 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.771 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
1.772 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2)
1.772 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3)
1.772 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 3)) into (sqrt (pow (fabs (/ -1 x)) 3))
1.772 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0
1.772 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0
1.772 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.772 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 3)) into (sqrt (pow (fabs (/ -1 x)) 3))
1.772 * [backup-simplify]: Simplify 0 into 0
1.773 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0
1.773 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0
1.774 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.774 * [backup-simplify]: Simplify 0 into 0
1.774 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0
1.775 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0
1.775 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.775 * [backup-simplify]: Simplify 0 into 0
1.776 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0
1.777 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0
1.777 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.777 * [backup-simplify]: Simplify 0 into 0
1.778 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0
1.779 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0
1.780 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.780 * [backup-simplify]: Simplify 0 into 0
1.781 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0
1.782 * [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.783 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.783 * [backup-simplify]: Simplify 0 into 0
1.783 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (sqrt (pow (fabs x) 3))
1.783 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
1.783 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 1 1 1)
1.783 * [backup-simplify]: Simplify (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (fabs x) 3))) into (pow (fabs x) 3)
1.783 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0
1.783 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
1.783 * [taylor]: Taking taylor expansion of (fabs x) in x
1.783 * [backup-simplify]: Simplify (fabs x) into (fabs x)
1.783 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
1.783 * [taylor]: Taking taylor expansion of (fabs x) in x
1.783 * [backup-simplify]: Simplify (fabs x) into (fabs x)
1.783 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2)
1.783 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3)
1.784 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3)
1.784 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0
1.784 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0
1.784 * [backup-simplify]: Simplify 0 into 0
1.784 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0
1.784 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0
1.784 * [backup-simplify]: Simplify 0 into 0
1.785 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0
1.785 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0
1.786 * [backup-simplify]: Simplify 0 into 0
1.786 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0
1.787 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0
1.787 * [backup-simplify]: Simplify 0 into 0
1.788 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0
1.789 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0
1.789 * [backup-simplify]: Simplify 0 into 0
1.790 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0
1.791 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0
1.791 * [backup-simplify]: Simplify 0 into 0
1.791 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3)
1.791 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (sqrt (fabs (/ 1 x)))) (sqrt (pow (fabs (/ 1 x)) 3))) into (pow (fabs (/ 1 x)) 3)
1.791 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0
1.791 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
1.791 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.791 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
1.791 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
1.791 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.791 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
1.792 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2)
1.792 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3)
1.792 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3)
1.792 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0
1.792 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 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 (fabs (/ 1 x))))) into 0
1.793 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0
1.793 * [backup-simplify]: Simplify 0 into 0
1.793 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 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 (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 (fabs (/ 1 x))))))) into 0
1.795 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0
1.795 * [backup-simplify]: Simplify 0 into 0
1.796 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0
1.797 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0
1.797 * [backup-simplify]: Simplify 0 into 0
1.798 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0
1.800 * [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.800 * [backup-simplify]: Simplify 0 into 0
1.800 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3)
1.800 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (sqrt (fabs (/ 1 (- x))))) (sqrt (pow (fabs (/ 1 (- x))) 3))) into (pow (fabs (/ -1 x)) 3)
1.800 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0
1.800 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
1.800 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.800 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
1.800 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
1.800 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.800 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
1.800 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2)
1.800 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3)
1.801 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3)
1.801 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0
1.801 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0
1.801 * [backup-simplify]: Simplify 0 into 0
1.801 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0
1.802 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0
1.802 * [backup-simplify]: Simplify 0 into 0
1.802 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0
1.803 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0
1.803 * [backup-simplify]: Simplify 0 into 0
1.803 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0
1.804 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0
1.804 * [backup-simplify]: Simplify 0 into 0
1.805 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0
1.806 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0
1.806 * [backup-simplify]: Simplify 0 into 0
1.807 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0
1.808 * [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.808 * [backup-simplify]: Simplify 0 into 0
1.808 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3)
1.809 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 1)
1.809 * [backup-simplify]: Simplify (* (fabs x) (sqrt (fabs x))) into (sqrt (pow (fabs x) 3))
1.809 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in (x) around 0
1.809 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in x
1.809 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
1.809 * [taylor]: Taking taylor expansion of (fabs x) in x
1.809 * [backup-simplify]: Simplify (fabs x) into (fabs x)
1.809 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2)
1.809 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3)
1.809 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3))
1.809 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0
1.809 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0
1.809 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.809 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in x
1.809 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
1.809 * [taylor]: Taking taylor expansion of (fabs x) in x
1.809 * [backup-simplify]: Simplify (fabs x) into (fabs x)
1.809 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2)
1.810 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3)
1.810 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3))
1.810 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0
1.810 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0
1.810 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.810 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3))
1.810 * [backup-simplify]: Simplify 0 into 0
1.810 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0
1.811 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0
1.811 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.811 * [backup-simplify]: Simplify 0 into 0
1.812 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0
1.812 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0
1.813 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.813 * [backup-simplify]: Simplify 0 into 0
1.814 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0
1.814 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0
1.815 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.815 * [backup-simplify]: Simplify 0 into 0
1.816 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0
1.817 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0
1.817 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.817 * [backup-simplify]: Simplify 0 into 0
1.818 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0
1.819 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0
1.820 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 3)))) into 0
1.820 * [backup-simplify]: Simplify 0 into 0
1.820 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3))
1.820 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (sqrt (fabs (/ 1 x)))) into (sqrt (pow (fabs (/ 1 x)) 3))
1.820 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in (x) around 0
1.820 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in x
1.820 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
1.820 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.820 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
1.821 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2)
1.821 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3)
1.821 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 3)) into (sqrt (pow (fabs (/ 1 x)) 3))
1.821 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0
1.821 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0
1.821 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.821 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in x
1.821 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
1.821 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.821 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
1.822 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2)
1.822 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3)
1.822 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 3)) into (sqrt (pow (fabs (/ 1 x)) 3))
1.822 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0
1.822 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0
1.822 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.822 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 3)) into (sqrt (pow (fabs (/ 1 x)) 3))
1.822 * [backup-simplify]: Simplify 0 into 0
1.823 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0
1.823 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0
1.824 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.824 * [backup-simplify]: Simplify 0 into 0
1.824 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0
1.825 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0
1.825 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.825 * [backup-simplify]: Simplify 0 into 0
1.826 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0
1.827 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0
1.827 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.827 * [backup-simplify]: Simplify 0 into 0
1.828 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0
1.829 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0
1.830 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.830 * [backup-simplify]: Simplify 0 into 0
1.831 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0
1.832 * [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.833 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 3)))) into 0
1.833 * [backup-simplify]: Simplify 0 into 0
1.833 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 (/ 1 x))) 3)) into (sqrt (pow (fabs x) 3))
1.833 * [backup-simplify]: Simplify (* (fabs (/ 1 (- x))) (sqrt (fabs (/ 1 (- x))))) into (sqrt (pow (fabs (/ -1 x)) 3))
1.833 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in (x) around 0
1.833 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in x
1.833 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
1.833 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.833 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
1.833 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2)
1.833 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3)
1.833 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 3)) into (sqrt (pow (fabs (/ -1 x)) 3))
1.833 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0
1.834 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0
1.834 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.834 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in x
1.834 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
1.834 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.834 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
1.834 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2)
1.834 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3)
1.834 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 3)) into (sqrt (pow (fabs (/ -1 x)) 3))
1.834 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0
1.834 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0
1.834 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.835 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 3)) into (sqrt (pow (fabs (/ -1 x)) 3))
1.835 * [backup-simplify]: Simplify 0 into 0
1.835 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0
1.835 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0
1.836 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.836 * [backup-simplify]: Simplify 0 into 0
1.836 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0
1.837 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0
1.838 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.838 * [backup-simplify]: Simplify 0 into 0
1.838 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0
1.839 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0
1.840 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.840 * [backup-simplify]: Simplify 0 into 0
1.841 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0
1.842 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0
1.842 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.842 * [backup-simplify]: Simplify 0 into 0
1.843 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0
1.844 * [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.845 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 3)))) into 0
1.845 * [backup-simplify]: Simplify 0 into 0
1.845 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (sqrt (pow (fabs x) 3))
1.845 * * * [progress]: simplifying candidates
1.847 * [simplify]: Simplifying:
  (expm1 (sqrt (pow (fabs x) 3)))
  (log1p (sqrt (pow (fabs x) 3)))
  (log (sqrt (pow (fabs x) 3)))
  (exp (sqrt (pow (fabs x) 3)))
  (* (cbrt (sqrt (pow (fabs x) 3))) (cbrt (sqrt (pow (fabs x) 3))))
  (cbrt (sqrt (pow (fabs x) 3)))
  (* (* (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3))) (sqrt (pow (fabs x) 3)))
  (sqrt (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3))
  (sqrt (pow (cbrt (fabs x)) 3))
  (sqrt (pow (sqrt (fabs x)) 3))
  (sqrt (pow (sqrt (fabs x)) 3))
  (sqrt (pow 1 3))
  (sqrt (pow (fabs x) 3))
  (sqrt (* (fabs x) (fabs x)))
  (sqrt (fabs x))
  (sqrt (* (cbrt (pow (fabs x) 3)) (cbrt (pow (fabs x) 3))))
  (sqrt (cbrt (pow (fabs x) 3)))
  (sqrt (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3))
  (sqrt (pow (cbrt (fabs x)) 3))
  (sqrt (pow (sqrt (fabs x)) 3))
  (sqrt (pow (sqrt (fabs x)) 3))
  (sqrt (pow 1 3))
  (sqrt (pow (fabs x) 3))
  (sqrt (fabs x))
  (sqrt (* (fabs x) (fabs x)))
  (sqrt (sqrt (pow (fabs x) 3)))
  (sqrt (sqrt (pow (fabs x) 3)))
  (sqrt 1)
  (sqrt (pow (fabs x) 3))
  (sqrt (pow (fabs x) (/ 3 2)))
  (sqrt (pow (fabs x) (/ 3 2)))
  (/ 3 2)
  (sqrt (sqrt (pow (fabs x) 3)))
  (sqrt (sqrt (pow (fabs x) 3)))
  (expm1 (sqrt PI))
  (log1p (sqrt PI))
  (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))
  (expm1 (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (fabs x) 3))))
  (log1p (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (fabs x) 3))))
  (+ (+ 1 1/2) (/ 3 2))
  (+ (+ 1 (/ 1 2)) (/ 3 2))
  (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (fabs x) 3)))
  (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (fabs x) 3)))
  (+ (+ (log (fabs x)) (log (sqrt (fabs x)))) (log (sqrt (pow (fabs x) 3))))
  (+ (log (* (fabs x) (sqrt (fabs x)))) (log (sqrt (pow (fabs x) 3))))
  (log (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (fabs x) 3))))
  (exp (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (fabs x) 3))))
  (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3))) (sqrt (pow (fabs x) 3))))
  (* (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x)))) (* (* (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3))) (sqrt (pow (fabs x) 3))))
  (* (cbrt (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (fabs x) 3)))) (cbrt (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (fabs x) 3)))))
  (cbrt (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (fabs x) 3))))
  (* (* (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (fabs x) 3))) (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (fabs x) 3)))) (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (fabs x) 3))))
  (sqrt (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (fabs x) 3))))
  (sqrt (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (fabs x) 3))))
  (* (* (fabs x) (sqrt (fabs x))) (* (cbrt (sqrt (pow (fabs x) 3))) (cbrt (sqrt (pow (fabs x) 3)))))
  (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3)))
  (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (sqrt (fabs x)) 3)))
  (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow 1 3)))
  (* (* (fabs x) (sqrt (fabs x))) (sqrt (* (fabs x) (fabs x))))
  (* (* (fabs x) (sqrt (fabs x))) (sqrt (* (cbrt (pow (fabs x) 3)) (cbrt (pow (fabs x) 3)))))
  (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3)))
  (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (sqrt (fabs x)) 3)))
  (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow 1 3)))
  (* (* (fabs x) (sqrt (fabs x))) (sqrt (fabs x)))
  (* (* (fabs x) (sqrt (fabs x))) (sqrt (sqrt (pow (fabs x) 3))))
  (* (* (fabs x) (sqrt (fabs x))) (sqrt 1))
  (* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (fabs x) (/ 3 2))))
  (* (* (fabs x) (sqrt (fabs x))) (sqrt (sqrt (pow (fabs x) 3))))
  (* (* (fabs x) (sqrt (fabs x))) 1)
  (* (sqrt (fabs x)) (sqrt (pow (fabs x) 3)))
  (expm1 (* (fabs x) (sqrt (fabs x))))
  (log1p (* (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)))
  (sqrt (pow (fabs x) 3))
  (sqrt (pow (fabs x) 3))
  (sqrt (pow (fabs x) 3))
  (sqrt (pow (fabs x) 3))
  (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))
1.847 * [simplify]: Sending expressions to egg_math:
 (expm1 (sqrt (pow (fabs h0) 3)))
 (log1p (sqrt (pow (fabs h0) 3)))
 (log (sqrt (pow (fabs h0) 3)))
 (exp (sqrt (pow (fabs h0) 3)))
 (* (cbrt (sqrt (pow (fabs h0) 3))) (cbrt (sqrt (pow (fabs h0) 3))))
 (cbrt (sqrt (pow (fabs h0) 3)))
 (* (* (sqrt (pow (fabs h0) 3)) (sqrt (pow (fabs h0) 3))) (sqrt (pow (fabs h0) 3)))
 (sqrt (pow (* (cbrt (fabs h0)) (cbrt (fabs h0))) 3))
 (sqrt (pow (cbrt (fabs h0)) 3))
 (sqrt (pow (sqrt (fabs h0)) 3))
 (sqrt (pow (sqrt (fabs h0)) 3))
 (sqrt (pow 1 3))
 (sqrt (pow (fabs h0) 3))
 (sqrt (* (fabs h0) (fabs h0)))
 (sqrt (fabs h0))
 (sqrt (* (cbrt (pow (fabs h0) 3)) (cbrt (pow (fabs h0) 3))))
 (sqrt (cbrt (pow (fabs h0) 3)))
 (sqrt (pow (* (cbrt (fabs h0)) (cbrt (fabs h0))) 3))
 (sqrt (pow (cbrt (fabs h0)) 3))
 (sqrt (pow (sqrt (fabs h0)) 3))
 (sqrt (pow (sqrt (fabs h0)) 3))
 (sqrt (pow 1 3))
 (sqrt (pow (fabs h0) 3))
 (sqrt (fabs h0))
 (sqrt (* (fabs h0) (fabs h0)))
 (sqrt (sqrt (pow (fabs h0) 3)))
 (sqrt (sqrt (pow (fabs h0) 3)))
 (sqrt 1)
 (sqrt (pow (fabs h0) 3))
 (sqrt (pow (fabs h0) (/ 3 2)))
 (sqrt (pow (fabs h0) (/ 3 2)))
 (/ 3 2)
 (sqrt (sqrt (pow (fabs h0) 3)))
 (sqrt (sqrt (pow (fabs h0) 3)))
 (expm1 (sqrt h1))
 (log1p (sqrt h1))
 (log (sqrt h1))
 (exp (sqrt h1))
 (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))
 (cbrt (sqrt h1))
 (* (* (sqrt h1) (sqrt h1)) (sqrt h1))
 (sqrt (* (cbrt h1) (cbrt h1)))
 (sqrt (cbrt h1))
 (sqrt (sqrt h1))
 (sqrt (sqrt h1))
 (sqrt 1)
 (sqrt h1)
 (/ 1 2)
 (sqrt (sqrt h1))
 (sqrt (sqrt h1))
 (expm1 (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow (fabs h0) 3))))
 (log1p (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow (fabs h0) 3))))
 (+ (+ 1 1/2) (/ 3 2))
 (+ (+ 1 (/ 1 2)) (/ 3 2))
 (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow (fabs h0) 3)))
 (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow (fabs h0) 3)))
 (+ (+ (log (fabs h0)) (log (sqrt (fabs h0)))) (log (sqrt (pow (fabs h0) 3))))
 (+ (log (* (fabs h0) (sqrt (fabs h0)))) (log (sqrt (pow (fabs h0) 3))))
 (log (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow (fabs h0) 3))))
 (exp (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow (fabs h0) 3))))
 (* (* (* (* (fabs h0) (fabs h0)) (fabs h0)) (* (* (sqrt (fabs h0)) (sqrt (fabs h0))) (sqrt (fabs h0)))) (* (* (sqrt (pow (fabs h0) 3)) (sqrt (pow (fabs h0) 3))) (sqrt (pow (fabs h0) 3))))
 (* (* (* (* (fabs h0) (sqrt (fabs h0))) (* (fabs h0) (sqrt (fabs h0)))) (* (fabs h0) (sqrt (fabs h0)))) (* (* (sqrt (pow (fabs h0) 3)) (sqrt (pow (fabs h0) 3))) (sqrt (pow (fabs h0) 3))))
 (* (cbrt (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow (fabs h0) 3)))) (cbrt (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow (fabs h0) 3)))))
 (cbrt (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow (fabs h0) 3))))
 (* (* (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow (fabs h0) 3))) (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow (fabs h0) 3)))) (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow (fabs h0) 3))))
 (sqrt (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow (fabs h0) 3))))
 (sqrt (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow (fabs h0) 3))))
 (* (* (fabs h0) (sqrt (fabs h0))) (* (cbrt (sqrt (pow (fabs h0) 3))) (cbrt (sqrt (pow (fabs h0) 3)))))
 (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow (* (cbrt (fabs h0)) (cbrt (fabs h0))) 3)))
 (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow (sqrt (fabs h0)) 3)))
 (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow 1 3)))
 (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (* (fabs h0) (fabs h0))))
 (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (* (cbrt (pow (fabs h0) 3)) (cbrt (pow (fabs h0) 3)))))
 (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow (* (cbrt (fabs h0)) (cbrt (fabs h0))) 3)))
 (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow (sqrt (fabs h0)) 3)))
 (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow 1 3)))
 (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (fabs h0)))
 (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (sqrt (pow (fabs h0) 3))))
 (* (* (fabs h0) (sqrt (fabs h0))) (sqrt 1))
 (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (pow (fabs h0) (/ 3 2))))
 (* (* (fabs h0) (sqrt (fabs h0))) (sqrt (sqrt (pow (fabs h0) 3))))
 (* (* (fabs h0) (sqrt (fabs h0))) 1)
 (* (sqrt (fabs h0)) (sqrt (pow (fabs h0) 3)))
 (expm1 (* (fabs h0) (sqrt (fabs h0))))
 (log1p (* (fabs h0) (sqrt (fabs h0))))
 (+ 1 1/2)
 (+ 1 (/ 1 2))
 (* (fabs h0) (sqrt (fabs h0)))
 (+ (log (fabs h0)) (log (sqrt (fabs h0))))
 (log (* (fabs h0) (sqrt (fabs h0))))
 (exp (* (fabs h0) (sqrt (fabs h0))))
 (* (* (* (fabs h0) (fabs h0)) (fabs h0)) (* (* (sqrt (fabs h0)) (sqrt (fabs h0))) (sqrt (fabs h0))))
 (* (cbrt (* (fabs h0) (sqrt (fabs h0)))) (cbrt (* (fabs h0) (sqrt (fabs h0)))))
 (cbrt (* (fabs h0) (sqrt (fabs h0))))
 (* (* (* (fabs h0) (sqrt (fabs h0))) (* (fabs h0) (sqrt (fabs h0)))) (* (fabs h0) (sqrt (fabs h0))))
 (sqrt (* (fabs h0) (sqrt (fabs h0))))
 (sqrt (* (fabs h0) (sqrt (fabs h0))))
 (* (sqrt (fabs h0)) (sqrt (sqrt (fabs h0))))
 (* (sqrt (fabs h0)) (sqrt (sqrt (fabs h0))))
 (* (sqrt (fabs h0)) (sqrt (sqrt (fabs h0))))
 (* (sqrt (fabs h0)) (sqrt (sqrt (fabs h0))))
 (* (fabs h0) (* (cbrt (sqrt (fabs h0))) (cbrt (sqrt (fabs h0)))))
 (* (fabs h0) (sqrt (* (cbrt (fabs h0)) (cbrt (fabs h0)))))
 (* (fabs h0) (sqrt (sqrt (fabs h0))))
 (* (fabs h0) (sqrt 1))
 (* (fabs h0) (sqrt (sqrt (fabs h0))))
 (* (fabs h0) 1)
 (* (cbrt (fabs h0)) (sqrt (fabs h0)))
 (* (sqrt (fabs h0)) (sqrt (fabs h0)))
 (* (fabs h0) (sqrt (fabs h0)))
 (sqrt (pow (fabs h0) 3))
 (sqrt (pow (fabs h0) 3))
 (sqrt (pow (fabs h0) 3))
 (sqrt (pow (fabs h0) 3))
 (pow (fabs h0) 3)
 (pow (fabs h0) 3)
 (pow (fabs h0) 3)
 (sqrt (pow (fabs h0) 3))
 (sqrt (pow (fabs h0) 3))
 (sqrt (pow (fabs h0) 3))
1.852 * * [simplify]: iteration  0 :  238  enodes  (cost  563 )
1.858 * * [simplify]: iteration  1 :  1233  enodes  (cost  497 )
1.894 * * [simplify]: iteration  2 :  5001  enodes  (cost  494 )
1.897 * * * [progress]: adding candidates to table
2.409 * * [progress]: iteration 4 / 4
2.409 * * * [progress]: picking best candidate
2.426 * * * * [pick]: Picked  #<alt (λ (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) (* (* (* (* (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3)))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))>
2.426 * * * [progress]: localizing error
2.468 * * * [progress]: generating rewritten candidates
2.468 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 2 1)
2.471 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
2.472 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 1 1)
2.476 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1)
2.516 * * * [progress]: generating series expansions
2.516 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 2 1)
2.516 * [backup-simplify]: Simplify (cbrt (pow (fabs x) 3)) into (fabs x)
2.516 * [approximate]: Taking taylor expansion of (fabs x) in (x) around 0
2.516 * [taylor]: Taking taylor expansion of (fabs x) in x
2.516 * [backup-simplify]: Simplify (fabs x) into (fabs x)
2.516 * [taylor]: Taking taylor expansion of (fabs x) in x
2.516 * [backup-simplify]: Simplify (fabs x) into (fabs x)
2.516 * [backup-simplify]: Simplify (fabs x) into (fabs x)
2.516 * [backup-simplify]: Simplify 0 into 0
2.516 * [backup-simplify]: Simplify 0 into 0
2.516 * [backup-simplify]: Simplify 0 into 0
2.516 * [backup-simplify]: Simplify 0 into 0
2.516 * [backup-simplify]: Simplify 0 into 0
2.516 * [backup-simplify]: Simplify 0 into 0
2.516 * [backup-simplify]: Simplify (fabs x) into (fabs x)
2.517 * [backup-simplify]: Simplify (cbrt (pow (fabs (/ 1 x)) 3)) into (fabs (/ 1 x))
2.517 * [approximate]: Taking taylor expansion of (fabs (/ 1 x)) in (x) around 0
2.517 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
2.517 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
2.517 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
2.517 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
2.517 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
2.517 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify (fabs (/ 1 (/ 1 x))) into (fabs x)
2.517 * [backup-simplify]: Simplify (cbrt (pow (fabs (/ 1 (- x))) 3)) into (fabs (/ -1 x))
2.517 * [approximate]: Taking taylor expansion of (fabs (/ -1 x)) in (x) around 0
2.517 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
2.517 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
2.517 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
2.517 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
2.517 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
2.517 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify 0 into 0
2.518 * [backup-simplify]: Simplify 0 into 0
2.518 * [backup-simplify]: Simplify 0 into 0
2.518 * [backup-simplify]: Simplify 0 into 0
2.518 * [backup-simplify]: Simplify (fabs (/ -1 (/ 1 (- x)))) into (fabs x)
2.518 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
2.518 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 1 1)
2.518 * [backup-simplify]: Simplify (pow (sqrt (fabs x)) 3) into (pow (sqrt (fabs x)) 3)
2.518 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs x)) 3) in (x) around 0
2.518 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs x)) 3) in x
2.518 * [taylor]: Taking taylor expansion of (sqrt (fabs x)) in x
2.518 * [taylor]: Taking taylor expansion of (fabs x) in x
2.518 * [backup-simplify]: Simplify (fabs x) into (fabs x)
2.518 * [backup-simplify]: Simplify (sqrt (fabs x)) into (sqrt (fabs x))
2.518 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs x)))) into 0
2.518 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs x)) 3) in x
2.518 * [taylor]: Taking taylor expansion of (sqrt (fabs x)) in x
2.518 * [taylor]: Taking taylor expansion of (fabs x) in x
2.518 * [backup-simplify]: Simplify (fabs x) into (fabs x)
2.518 * [backup-simplify]: Simplify (sqrt (fabs x)) into (sqrt (fabs x))
2.518 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs x)))) into 0
2.518 * [backup-simplify]: Simplify (* (sqrt (fabs x)) (sqrt (fabs x))) into (fabs x)
2.518 * [backup-simplify]: Simplify (* (sqrt (fabs x)) (fabs x)) into (sqrt (pow (fabs x) 3))
2.522 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3))
2.522 * [backup-simplify]: Simplify (+ (* (sqrt (fabs x)) 0) (* 0 (sqrt (fabs x)))) into 0
2.522 * [backup-simplify]: Simplify (+ (* (sqrt (fabs x)) 0) (* 0 (fabs x))) into 0
2.522 * [backup-simplify]: Simplify 0 into 0
2.523 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs x)))) into 0
2.523 * [backup-simplify]: Simplify (+ (* (sqrt (fabs x)) 0) (+ (* 0 0) (* 0 (sqrt (fabs x))))) into 0
2.523 * [backup-simplify]: Simplify (+ (* (sqrt (fabs x)) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0
2.523 * [backup-simplify]: Simplify 0 into 0
2.524 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs x)))) into 0
2.525 * [backup-simplify]: Simplify (+ (* (sqrt (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs x)))))) into 0
2.525 * [backup-simplify]: Simplify (+ (* (sqrt (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0
2.525 * [backup-simplify]: Simplify 0 into 0
2.526 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs x)))) into 0
2.526 * [backup-simplify]: Simplify (+ (* (sqrt (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs x))))))) into 0
2.527 * [backup-simplify]: Simplify (+ (* (sqrt (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0
2.527 * [backup-simplify]: Simplify 0 into 0
2.528 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fabs x)))) into 0
2.528 * [backup-simplify]: Simplify (+ (* (sqrt (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs x)))))))) into 0
2.529 * [backup-simplify]: Simplify (+ (* (sqrt (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0
2.529 * [backup-simplify]: Simplify 0 into 0
2.530 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fabs x)))) into 0
2.531 * [backup-simplify]: Simplify (+ (* (sqrt (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs x))))))))) into 0
2.532 * [backup-simplify]: Simplify (+ (* (sqrt (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0
2.532 * [backup-simplify]: Simplify 0 into 0
2.532 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 3)) into (sqrt (pow (fabs x) 3))
2.532 * [backup-simplify]: Simplify (pow (sqrt (fabs (/ 1 x))) 3) into (pow (sqrt (fabs (/ 1 x))) 3)
2.532 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (/ 1 x))) 3) in (x) around 0
2.532 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ 1 x))) 3) in x
2.532 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ 1 x))) in x
2.532 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
2.532 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
2.533 * [backup-simplify]: Simplify (sqrt (fabs (/ 1 x))) into (sqrt (fabs (/ 1 x)))
2.533 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ 1 x))))) into 0
2.533 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ 1 x))) 3) in x
2.533 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ 1 x))) in x
2.533 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
2.533 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
2.533 * [backup-simplify]: Simplify (sqrt (fabs (/ 1 x))) into (sqrt (fabs (/ 1 x)))
2.533 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ 1 x))))) into 0
2.533 * [backup-simplify]: Simplify (* (sqrt (fabs (/ 1 x))) (sqrt (fabs (/ 1 x)))) into (fabs (/ 1 x))
2.533 * [backup-simplify]: Simplify (* (sqrt (fabs (/ 1 x))) (fabs (/ 1 x))) into (sqrt (pow (fabs (/ 1 x)) 3))
2.533 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 3)) into (sqrt (pow (fabs (/ 1 x)) 3))
2.533 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ 1 x))) 0) (* 0 (sqrt (fabs (/ 1 x))))) into 0
2.533 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ 1 x))) 0) (* 0 (fabs (/ 1 x)))) into 0
2.533 * [backup-simplify]: Simplify 0 into 0
2.534 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ 1 x))))) into 0
2.534 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ 1 x))) 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ 1 x)))))) into 0
2.535 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ 1 x))) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0
2.535 * [backup-simplify]: Simplify 0 into 0
2.535 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ 1 x))))) into 0
2.536 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ 1 x))))))) into 0
2.536 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0
2.536 * [backup-simplify]: Simplify 0 into 0
2.537 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ 1 x))))) into 0
2.537 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ 1 x)))))))) into 0
2.538 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0
2.538 * [backup-simplify]: Simplify 0 into 0
2.539 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ 1 x))))) into 0
2.540 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ 1 x))))))))) into 0
2.541 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0
2.541 * [backup-simplify]: Simplify 0 into 0
2.541 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ 1 x))))) into 0
2.542 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ 1 x)))))))))) into 0
2.543 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0
2.543 * [backup-simplify]: Simplify 0 into 0
2.544 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 (/ 1 x))) 3)) into (sqrt (pow (fabs x) 3))
2.544 * [backup-simplify]: Simplify (pow (sqrt (fabs (/ 1 (- x)))) 3) into (pow (sqrt (fabs (/ -1 x))) 3)
2.544 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (/ -1 x))) 3) in (x) around 0
2.544 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ -1 x))) 3) in x
2.544 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ -1 x))) in x
2.544 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
2.544 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
2.544 * [backup-simplify]: Simplify (sqrt (fabs (/ -1 x))) into (sqrt (fabs (/ -1 x)))
2.544 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ -1 x))))) into 0
2.544 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ -1 x))) 3) in x
2.544 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ -1 x))) in x
2.544 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
2.544 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
2.544 * [backup-simplify]: Simplify (sqrt (fabs (/ -1 x))) into (sqrt (fabs (/ -1 x)))
2.544 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ -1 x))))) into 0
2.544 * [backup-simplify]: Simplify (* (sqrt (fabs (/ -1 x))) (sqrt (fabs (/ -1 x)))) into (fabs (/ -1 x))
2.544 * [backup-simplify]: Simplify (* (sqrt (fabs (/ -1 x))) (fabs (/ -1 x))) into (sqrt (pow (fabs (/ -1 x)) 3))
2.544 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 3)) into (sqrt (pow (fabs (/ -1 x)) 3))
2.545 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ -1 x))) 0) (* 0 (sqrt (fabs (/ -1 x))))) into 0
2.545 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ -1 x))) 0) (* 0 (fabs (/ -1 x)))) into 0
2.545 * [backup-simplify]: Simplify 0 into 0
2.545 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ -1 x))))) into 0
2.546 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ -1 x))) 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ -1 x)))))) into 0
2.546 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ -1 x))) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0
2.546 * [backup-simplify]: Simplify 0 into 0
2.546 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ -1 x))))) into 0
2.547 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ -1 x))))))) into 0
2.547 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0
2.547 * [backup-simplify]: Simplify 0 into 0
2.548 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ -1 x))))) into 0
2.549 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ -1 x)))))))) into 0
2.549 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0
2.549 * [backup-simplify]: Simplify 0 into 0
2.550 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ -1 x))))) into 0
2.551 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ -1 x))))))))) into 0
2.552 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0
2.552 * [backup-simplify]: Simplify 0 into 0
2.552 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ -1 x))))) into 0
2.554 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ -1 x)))))))))) into 0
2.555 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0
2.555 * [backup-simplify]: Simplify 0 into 0
2.555 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (sqrt (pow (fabs x) 3))
2.555 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 1 1 1)
2.555 * [backup-simplify]: Simplify (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3)))) into (* (fabs (fabs x)) (pow (fabs x) 2))
2.555 * [approximate]: Taking taylor expansion of (* (fabs (fabs x)) (pow (fabs x) 2)) in (x) around 0
2.555 * [taylor]: Taking taylor expansion of (* (fabs (fabs x)) (pow (fabs x) 2)) in x
2.555 * [taylor]: Taking taylor expansion of (fabs (fabs x)) in x
2.555 * [backup-simplify]: Simplify (fabs (fabs x)) into (fabs (fabs x))
2.555 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x
2.555 * [taylor]: Taking taylor expansion of (fabs x) in x
2.555 * [backup-simplify]: Simplify (fabs x) into (fabs x)
2.555 * [taylor]: Taking taylor expansion of (* (fabs (fabs x)) (pow (fabs x) 2)) in x
2.555 * [taylor]: Taking taylor expansion of (fabs (fabs x)) in x
2.555 * [backup-simplify]: Simplify (fabs (fabs x)) into (fabs (fabs x))
2.555 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x
2.555 * [taylor]: Taking taylor expansion of (fabs x) in x
2.555 * [backup-simplify]: Simplify (fabs x) into (fabs x)
2.556 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2)
2.556 * [backup-simplify]: Simplify (* (fabs (fabs x)) (pow (fabs x) 2)) into (* (fabs (fabs x)) (pow (fabs x) 2))
2.556 * [backup-simplify]: Simplify (* (fabs (fabs x)) (pow (fabs x) 2)) into (* (fabs (fabs x)) (pow (fabs x) 2))
2.556 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0
2.556 * [backup-simplify]: Simplify (+ (* (fabs (fabs x)) 0) (* 0 (pow (fabs x) 2))) into 0
2.556 * [backup-simplify]: Simplify 0 into 0
2.556 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0
2.557 * [backup-simplify]: Simplify (+ (* (fabs (fabs x)) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0
2.557 * [backup-simplify]: Simplify 0 into 0
2.557 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0
2.558 * [backup-simplify]: Simplify (+ (* (fabs (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0
2.558 * [backup-simplify]: Simplify 0 into 0
2.558 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0
2.559 * [backup-simplify]: Simplify (+ (* (fabs (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0
2.559 * [backup-simplify]: Simplify 0 into 0
2.560 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0
2.561 * [backup-simplify]: Simplify (+ (* (fabs (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0
2.561 * [backup-simplify]: Simplify 0 into 0
2.562 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0
2.563 * [backup-simplify]: Simplify (+ (* (fabs (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0
2.563 * [backup-simplify]: Simplify 0 into 0
2.563 * [backup-simplify]: Simplify (* (fabs (fabs x)) (pow (fabs x) 2)) into (* (fabs (fabs x)) (pow (fabs x) 2))
2.564 * [backup-simplify]: Simplify (* (* (pow (sqrt (fabs (/ 1 x))) 3) (fabs (fabs (/ 1 x)))) (sqrt (cbrt (pow (fabs (/ 1 x)) 3)))) into (* (fabs (fabs (/ 1 x))) (pow (fabs (/ 1 x)) 2))
2.564 * [approximate]: Taking taylor expansion of (* (fabs (fabs (/ 1 x))) (pow (fabs (/ 1 x)) 2)) in (x) around 0
2.564 * [taylor]: Taking taylor expansion of (* (fabs (fabs (/ 1 x))) (pow (fabs (/ 1 x)) 2)) in x
2.564 * [taylor]: Taking taylor expansion of (fabs (fabs (/ 1 x))) in x
2.564 * [backup-simplify]: Simplify (fabs (fabs (/ 1 x))) into (fabs (fabs (/ 1 x)))
2.564 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x
2.564 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
2.564 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
2.564 * [taylor]: Taking taylor expansion of (* (fabs (fabs (/ 1 x))) (pow (fabs (/ 1 x)) 2)) in x
2.564 * [taylor]: Taking taylor expansion of (fabs (fabs (/ 1 x))) in x
2.564 * [backup-simplify]: Simplify (fabs (fabs (/ 1 x))) into (fabs (fabs (/ 1 x)))
2.564 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x
2.564 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
2.564 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
2.564 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2)
2.564 * [backup-simplify]: Simplify (* (fabs (fabs (/ 1 x))) (pow (fabs (/ 1 x)) 2)) into (* (fabs (fabs (/ 1 x))) (pow (fabs (/ 1 x)) 2))
2.564 * [backup-simplify]: Simplify (* (fabs (fabs (/ 1 x))) (pow (fabs (/ 1 x)) 2)) into (* (fabs (fabs (/ 1 x))) (pow (fabs (/ 1 x)) 2))
2.565 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0
2.565 * [backup-simplify]: Simplify (+ (* (fabs (fabs (/ 1 x))) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0
2.565 * [backup-simplify]: Simplify 0 into 0
2.565 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0
2.565 * [backup-simplify]: Simplify (+ (* (fabs (fabs (/ 1 x))) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0
2.565 * [backup-simplify]: Simplify 0 into 0
2.566 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0
2.567 * [backup-simplify]: Simplify (+ (* (fabs (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0
2.567 * [backup-simplify]: Simplify 0 into 0
2.568 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0
2.569 * [backup-simplify]: Simplify (+ (* (fabs (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0
2.569 * [backup-simplify]: Simplify 0 into 0
2.570 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0
2.571 * [backup-simplify]: Simplify (+ (* (fabs (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0
2.571 * [backup-simplify]: Simplify 0 into 0
2.572 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0
2.573 * [backup-simplify]: Simplify (+ (* (fabs (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0
2.573 * [backup-simplify]: Simplify 0 into 0
2.573 * [backup-simplify]: Simplify (* (fabs (fabs (/ 1 (/ 1 x)))) (pow (fabs (/ 1 (/ 1 x))) 2)) into (* (fabs (fabs x)) (pow (fabs x) 2))
2.573 * [backup-simplify]: Simplify (* (* (pow (sqrt (fabs (/ 1 (- x)))) 3) (fabs (fabs (/ 1 (- x))))) (sqrt (cbrt (pow (fabs (/ 1 (- x))) 3)))) into (* (pow (fabs (/ -1 x)) 2) (fabs (fabs (/ -1 x))))
2.573 * [approximate]: Taking taylor expansion of (* (pow (fabs (/ -1 x)) 2) (fabs (fabs (/ -1 x)))) in (x) around 0
2.573 * [taylor]: Taking taylor expansion of (* (pow (fabs (/ -1 x)) 2) (fabs (fabs (/ -1 x)))) in x
2.573 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x
2.573 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
2.573 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
2.574 * [taylor]: Taking taylor expansion of (fabs (fabs (/ -1 x))) in x
2.574 * [backup-simplify]: Simplify (fabs (fabs (/ -1 x))) into (fabs (fabs (/ -1 x)))
2.574 * [taylor]: Taking taylor expansion of (* (pow (fabs (/ -1 x)) 2) (fabs (fabs (/ -1 x)))) in x
2.574 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x
2.574 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
2.574 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
2.574 * [taylor]: Taking taylor expansion of (fabs (fabs (/ -1 x))) in x
2.574 * [backup-simplify]: Simplify (fabs (fabs (/ -1 x))) into (fabs (fabs (/ -1 x)))
2.574 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2)
2.574 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 2) (fabs (fabs (/ -1 x)))) into (* (pow (fabs (/ -1 x)) 2) (fabs (fabs (/ -1 x))))
2.574 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 2) (fabs (fabs (/ -1 x)))) into (* (pow (fabs (/ -1 x)) 2) (fabs (fabs (/ -1 x))))
2.574 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0
2.574 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (* 0 (fabs (fabs (/ -1 x))))) into 0
2.574 * [backup-simplify]: Simplify 0 into 0
2.575 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0
2.575 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (* 0 (fabs (fabs (/ -1 x)))))) into 0
2.575 * [backup-simplify]: Simplify 0 into 0
2.576 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0
2.576 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (fabs (/ -1 x))))))) into 0
2.576 * [backup-simplify]: Simplify 0 into 0
2.577 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0
2.578 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (fabs (/ -1 x)))))))) into 0
2.578 * [backup-simplify]: Simplify 0 into 0
2.579 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0
2.580 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (fabs (/ -1 x))))))))) into 0
2.580 * [backup-simplify]: Simplify 0 into 0
2.581 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0
2.582 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (fabs (/ -1 x)))))))))) into 0
2.582 * [backup-simplify]: Simplify 0 into 0
2.582 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 (/ 1 (- x)))) 2) (fabs (fabs (/ -1 (/ 1 (- x)))))) into (* (fabs (fabs x)) (pow (fabs x) 2))
2.582 * * * [progress]: simplifying candidates
2.584 * [simplify]: Simplifying:
  (expm1 (cbrt (pow (fabs x) 3)))
  (log1p (cbrt (pow (fabs x) 3)))
  (log (cbrt (pow (fabs x) 3)))
  (exp (cbrt (pow (fabs x) 3)))
  (cbrt (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3))
  (cbrt (pow (cbrt (fabs x)) 3))
  (cbrt (pow (sqrt (fabs x)) 3))
  (cbrt (pow (sqrt (fabs x)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (fabs x) 3))
  (cbrt (* (fabs x) (fabs x)))
  (cbrt (fabs x))
  (cbrt (* (cbrt (pow (fabs x) 3)) (cbrt (pow (fabs x) 3))))
  (cbrt (cbrt (pow (fabs x) 3)))
  (cbrt (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3))
  (cbrt (pow (cbrt (fabs x)) 3))
  (cbrt (pow (sqrt (fabs x)) 3))
  (cbrt (pow (sqrt (fabs x)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (fabs x) 3))
  (cbrt (fabs x))
  (cbrt (* (fabs x) (fabs x)))
  (cbrt (sqrt (pow (fabs x) 3)))
  (cbrt (sqrt (pow (fabs x) 3)))
  (cbrt 1)
  (cbrt (pow (fabs x) 3))
  (cbrt (pow (fabs x) (/ 3 2)))
  (cbrt (pow (fabs x) (/ 3 2)))
  (* (cbrt (cbrt (pow (fabs x) 3))) (cbrt (cbrt (pow (fabs x) 3))))
  (cbrt (cbrt (pow (fabs x) 3)))
  (* (* (cbrt (pow (fabs x) 3)) (cbrt (pow (fabs x) 3))) (cbrt (pow (fabs x) 3)))
  (sqrt (cbrt (pow (fabs x) 3)))
  (sqrt (cbrt (pow (fabs x) 3)))
  (expm1 (sqrt PI))
  (log1p (sqrt PI))
  (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))
  (expm1 (pow (sqrt (fabs x)) 3))
  (log1p (pow (sqrt (fabs x)) 3))
  (* (log (sqrt (fabs x))) 3)
  (* (log (sqrt (fabs x))) 3)
  (* 1/2 3)
  (* 1 3)
  (* (/ 1 2) 3)
  (pow (sqrt (fabs x)) (* (cbrt 3) (cbrt 3)))
  (pow (sqrt (fabs x)) (sqrt 3))
  (pow (sqrt (fabs x)) 1)
  (pow (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x)))) 3)
  (pow (cbrt (sqrt (fabs x))) 3)
  (pow (sqrt (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (sqrt (cbrt (fabs x))) 3)
  (pow (sqrt (sqrt (fabs x))) 3)
  (pow (sqrt (sqrt (fabs x))) 3)
  (pow (sqrt 1) 3)
  (pow (sqrt (fabs x)) 3)
  (pow (sqrt (sqrt (fabs x))) 3)
  (pow (sqrt (sqrt (fabs x))) 3)
  (pow 1 3)
  (pow (sqrt (fabs x)) 3)
  (* (sqrt (fabs x)) (sqrt (fabs x)))
  (log (pow (sqrt (fabs x)) 3))
  (exp (pow (sqrt (fabs x)) 3))
  (* (cbrt (pow (sqrt (fabs x)) 3)) (cbrt (pow (sqrt (fabs x)) 3)))
  (cbrt (pow (sqrt (fabs x)) 3))
  (* (* (pow (sqrt (fabs x)) 3) (pow (sqrt (fabs x)) 3)) (pow (sqrt (fabs x)) 3))
  (pow (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x)))) 3)
  (pow (cbrt (sqrt (fabs x))) 3)
  (pow (sqrt (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (sqrt (cbrt (fabs x))) 3)
  (pow (sqrt (sqrt (fabs x))) 3)
  (pow (sqrt (sqrt (fabs x))) 3)
  (pow (sqrt 1) 3)
  (pow (sqrt (fabs x)) 3)
  (pow (sqrt (sqrt (fabs x))) 3)
  (pow (sqrt (sqrt (fabs x))) 3)
  (pow 1 3)
  (pow (sqrt (fabs x)) 3)
  (* (sqrt (fabs x)) (sqrt (fabs x)))
  (/ 3 2)
  (sqrt (pow (sqrt (fabs x)) 3))
  (sqrt (pow (sqrt (fabs x)) 3))
  (pow (sqrt (fabs x)) (/ 3 2))
  (pow (sqrt (fabs x)) (/ 3 2))
  (expm1 (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3)))))
  (log1p (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3)))))
  (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3))))
  (+ (+ (* (log (sqrt (fabs x))) 3) (log (fabs (fabs x)))) (log (sqrt (cbrt (pow (fabs x) 3)))))
  (+ (+ (* (log (sqrt (fabs x))) 3) (log (fabs (fabs x)))) (log (sqrt (cbrt (pow (fabs x) 3)))))
  (+ (+ (log (pow (sqrt (fabs x)) 3)) (log (fabs (fabs x)))) (log (sqrt (cbrt (pow (fabs x) 3)))))
  (+ (log (* (pow (sqrt (fabs x)) 3) (fabs (fabs x)))) (log (sqrt (cbrt (pow (fabs x) 3)))))
  (log (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3)))))
  (exp (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3)))))
  (* (* (* (* (pow (sqrt (fabs x)) 3) (pow (sqrt (fabs x)) 3)) (pow (sqrt (fabs x)) 3)) (* (* (fabs (fabs x)) (fabs (fabs x))) (fabs (fabs x)))) (* (* (sqrt (cbrt (pow (fabs x) 3))) (sqrt (cbrt (pow (fabs x) 3)))) (sqrt (cbrt (pow (fabs x) 3)))))
  (* (* (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (* (pow (sqrt (fabs x)) 3) (fabs (fabs x)))) (* (pow (sqrt (fabs x)) 3) (fabs (fabs x)))) (* (* (sqrt (cbrt (pow (fabs x) 3))) (sqrt (cbrt (pow (fabs x) 3)))) (sqrt (cbrt (pow (fabs x) 3)))))
  (* (cbrt (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3))))) (cbrt (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3))))))
  (cbrt (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3)))))
  (* (* (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3)))) (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3))))) (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3)))))
  (sqrt (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3)))))
  (sqrt (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3)))))
  (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (* (cbrt (sqrt (cbrt (pow (fabs x) 3)))) (cbrt (sqrt (cbrt (pow (fabs x) 3))))))
  (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3))))
  (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (sqrt (fabs x)) 3))))
  (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow 1 3))))
  (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (* (fabs x) (fabs x)))))
  (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (* (cbrt (pow (fabs x) 3)) (cbrt (pow (fabs x) 3))))))
  (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3))))
  (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (sqrt (fabs x)) 3))))
  (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow 1 3))))
  (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (fabs x))))
  (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (sqrt (pow (fabs x) 3)))))
  (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt 1)))
  (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) (/ 3 2)))))
  (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (* (cbrt (cbrt (pow (fabs x) 3))) (cbrt (cbrt (pow (fabs x) 3))))))
  (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (sqrt (cbrt (pow (fabs x) 3)))))
  (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt 1))
  (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (sqrt (cbrt (pow (fabs x) 3)))))
  (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) 1)
  (* (fabs (fabs x)) (sqrt (cbrt (pow (fabs x) 3))))
  (fabs x)
  (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) (* (* (* (* (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3)))) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))
  (sqrt (pow (fabs x) 3))
  (sqrt (pow (fabs x) 3))
  (sqrt (pow (fabs x) 3))
  (* (fabs (fabs x)) (pow (fabs x) 2))
  (* (fabs (fabs x)) (pow (fabs x) 2))
  (* (fabs (fabs x)) (pow (fabs x) 2))
2.585 * [simplify]: Sending expressions to egg_math:
 (expm1 (cbrt (pow (fabs h0) 3)))
 (log1p (cbrt (pow (fabs h0) 3)))
 (log (cbrt (pow (fabs h0) 3)))
 (exp (cbrt (pow (fabs h0) 3)))
 (cbrt (pow (* (cbrt (fabs h0)) (cbrt (fabs h0))) 3))
 (cbrt (pow (cbrt (fabs h0)) 3))
 (cbrt (pow (sqrt (fabs h0)) 3))
 (cbrt (pow (sqrt (fabs h0)) 3))
 (cbrt (pow 1 3))
 (cbrt (pow (fabs h0) 3))
 (cbrt (* (fabs h0) (fabs h0)))
 (cbrt (fabs h0))
 (cbrt (* (cbrt (pow (fabs h0) 3)) (cbrt (pow (fabs h0) 3))))
 (cbrt (cbrt (pow (fabs h0) 3)))
 (cbrt (pow (* (cbrt (fabs h0)) (cbrt (fabs h0))) 3))
 (cbrt (pow (cbrt (fabs h0)) 3))
 (cbrt (pow (sqrt (fabs h0)) 3))
 (cbrt (pow (sqrt (fabs h0)) 3))
 (cbrt (pow 1 3))
 (cbrt (pow (fabs h0) 3))
 (cbrt (fabs h0))
 (cbrt (* (fabs h0) (fabs h0)))
 (cbrt (sqrt (pow (fabs h0) 3)))
 (cbrt (sqrt (pow (fabs h0) 3)))
 (cbrt 1)
 (cbrt (pow (fabs h0) 3))
 (cbrt (pow (fabs h0) (/ 3 2)))
 (cbrt (pow (fabs h0) (/ 3 2)))
 (* (cbrt (cbrt (pow (fabs h0) 3))) (cbrt (cbrt (pow (fabs h0) 3))))
 (cbrt (cbrt (pow (fabs h0) 3)))
 (* (* (cbrt (pow (fabs h0) 3)) (cbrt (pow (fabs h0) 3))) (cbrt (pow (fabs h0) 3)))
 (sqrt (cbrt (pow (fabs h0) 3)))
 (sqrt (cbrt (pow (fabs h0) 3)))
 (expm1 (sqrt h1))
 (log1p (sqrt h1))
 (log (sqrt h1))
 (exp (sqrt h1))
 (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))
 (cbrt (sqrt h1))
 (* (* (sqrt h1) (sqrt h1)) (sqrt h1))
 (sqrt (* (cbrt h1) (cbrt h1)))
 (sqrt (cbrt h1))
 (sqrt (sqrt h1))
 (sqrt (sqrt h1))
 (sqrt 1)
 (sqrt h1)
 (/ 1 2)
 (sqrt (sqrt h1))
 (sqrt (sqrt h1))
 (expm1 (pow (sqrt (fabs h0)) 3))
 (log1p (pow (sqrt (fabs h0)) 3))
 (* (log (sqrt (fabs h0))) 3)
 (* (log (sqrt (fabs h0))) 3)
 (* 1/2 3)
 (* 1 3)
 (* (/ 1 2) 3)
 (pow (sqrt (fabs h0)) (* (cbrt 3) (cbrt 3)))
 (pow (sqrt (fabs h0)) (sqrt 3))
 (pow (sqrt (fabs h0)) 1)
 (pow (* (cbrt (sqrt (fabs h0))) (cbrt (sqrt (fabs h0)))) 3)
 (pow (cbrt (sqrt (fabs h0))) 3)
 (pow (sqrt (* (cbrt (fabs h0)) (cbrt (fabs h0)))) 3)
 (pow (sqrt (cbrt (fabs h0))) 3)
 (pow (sqrt (sqrt (fabs h0))) 3)
 (pow (sqrt (sqrt (fabs h0))) 3)
 (pow (sqrt 1) 3)
 (pow (sqrt (fabs h0)) 3)
 (pow (sqrt (sqrt (fabs h0))) 3)
 (pow (sqrt (sqrt (fabs h0))) 3)
 (pow 1 3)
 (pow (sqrt (fabs h0)) 3)
 (* (sqrt (fabs h0)) (sqrt (fabs h0)))
 (log (pow (sqrt (fabs h0)) 3))
 (exp (pow (sqrt (fabs h0)) 3))
 (* (cbrt (pow (sqrt (fabs h0)) 3)) (cbrt (pow (sqrt (fabs h0)) 3)))
 (cbrt (pow (sqrt (fabs h0)) 3))
 (* (* (pow (sqrt (fabs h0)) 3) (pow (sqrt (fabs h0)) 3)) (pow (sqrt (fabs h0)) 3))
 (pow (* (cbrt (sqrt (fabs h0))) (cbrt (sqrt (fabs h0)))) 3)
 (pow (cbrt (sqrt (fabs h0))) 3)
 (pow (sqrt (* (cbrt (fabs h0)) (cbrt (fabs h0)))) 3)
 (pow (sqrt (cbrt (fabs h0))) 3)
 (pow (sqrt (sqrt (fabs h0))) 3)
 (pow (sqrt (sqrt (fabs h0))) 3)
 (pow (sqrt 1) 3)
 (pow (sqrt (fabs h0)) 3)
 (pow (sqrt (sqrt (fabs h0))) 3)
 (pow (sqrt (sqrt (fabs h0))) 3)
 (pow 1 3)
 (pow (sqrt (fabs h0)) 3)
 (* (sqrt (fabs h0)) (sqrt (fabs h0)))
 (/ 3 2)
 (sqrt (pow (sqrt (fabs h0)) 3))
 (sqrt (pow (sqrt (fabs h0)) 3))
 (pow (sqrt (fabs h0)) (/ 3 2))
 (pow (sqrt (fabs h0)) (/ 3 2))
 (expm1 (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow (fabs h0) 3)))))
 (log1p (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow (fabs h0) 3)))))
 (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow (fabs h0) 3))))
 (+ (+ (* (log (sqrt (fabs h0))) 3) (log (fabs (fabs h0)))) (log (sqrt (cbrt (pow (fabs h0) 3)))))
 (+ (+ (* (log (sqrt (fabs h0))) 3) (log (fabs (fabs h0)))) (log (sqrt (cbrt (pow (fabs h0) 3)))))
 (+ (+ (log (pow (sqrt (fabs h0)) 3)) (log (fabs (fabs h0)))) (log (sqrt (cbrt (pow (fabs h0) 3)))))
 (+ (log (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0)))) (log (sqrt (cbrt (pow (fabs h0) 3)))))
 (log (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow (fabs h0) 3)))))
 (exp (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow (fabs h0) 3)))))
 (* (* (* (* (pow (sqrt (fabs h0)) 3) (pow (sqrt (fabs h0)) 3)) (pow (sqrt (fabs h0)) 3)) (* (* (fabs (fabs h0)) (fabs (fabs h0))) (fabs (fabs h0)))) (* (* (sqrt (cbrt (pow (fabs h0) 3))) (sqrt (cbrt (pow (fabs h0) 3)))) (sqrt (cbrt (pow (fabs h0) 3)))))
 (* (* (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0)))) (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0)))) (* (* (sqrt (cbrt (pow (fabs h0) 3))) (sqrt (cbrt (pow (fabs h0) 3)))) (sqrt (cbrt (pow (fabs h0) 3)))))
 (* (cbrt (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow (fabs h0) 3))))) (cbrt (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow (fabs h0) 3))))))
 (cbrt (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow (fabs h0) 3)))))
 (* (* (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow (fabs h0) 3)))) (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow (fabs h0) 3))))) (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow (fabs h0) 3)))))
 (sqrt (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow (fabs h0) 3)))))
 (sqrt (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow (fabs h0) 3)))))
 (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (* (cbrt (sqrt (cbrt (pow (fabs h0) 3)))) (cbrt (sqrt (cbrt (pow (fabs h0) 3))))))
 (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow (* (cbrt (fabs h0)) (cbrt (fabs h0))) 3))))
 (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow (sqrt (fabs h0)) 3))))
 (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow 1 3))))
 (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (* (fabs h0) (fabs h0)))))
 (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (* (cbrt (pow (fabs h0) 3)) (cbrt (pow (fabs h0) 3))))))
 (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow (* (cbrt (fabs h0)) (cbrt (fabs h0))) 3))))
 (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow (sqrt (fabs h0)) 3))))
 (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow 1 3))))
 (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (fabs h0))))
 (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (sqrt (pow (fabs h0) 3)))))
 (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt 1)))
 (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow (fabs h0) (/ 3 2)))))
 (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (* (cbrt (cbrt (pow (fabs h0) 3))) (cbrt (cbrt (pow (fabs h0) 3))))))
 (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (sqrt (cbrt (pow (fabs h0) 3)))))
 (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt 1))
 (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (sqrt (cbrt (pow (fabs h0) 3)))))
 (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) 1)
 (* (fabs (fabs h0)) (sqrt (cbrt (pow (fabs h0) 3))))
 (fabs h0)
 (fabs h0)
 (fabs h0)
 (fabs (* (/ h3 (sqrt h1)) (+ (+ (+ (* h6 (fabs h0)) (* (/ h6 h5) (* (* (fabs h0) (fabs h0)) (fabs h0)))) (* (/ h3 h4) (* (* (* (* (fabs h0) (fabs h0)) (fabs h0)) (fabs h0)) (fabs h0)))) (* (/ h3 h2) (* (* (* (* (* (* (pow (sqrt (fabs h0)) 3) (fabs (fabs h0))) (sqrt (cbrt (pow (fabs h0) 3)))) (fabs h0)) (fabs h0)) (fabs h0)) (fabs h0))))))
 (sqrt (pow (fabs h0) 3))
 (sqrt (pow (fabs h0) 3))
 (sqrt (pow (fabs h0) 3))
 (* (fabs (fabs h0)) (pow (fabs h0) 2))
 (* (fabs (fabs h0)) (pow (fabs h0) 2))
 (* (fabs (fabs h0)) (pow (fabs h0) 2))
2.590 * * [simplify]: iteration  0 :  392  enodes  (cost  776 )
2.599 * * [simplify]: iteration  1 :  2212  enodes  (cost  667 )
2.660 * * [simplify]: iteration  2 :  5001  enodes  (cost  620 )
2.663 * * * [progress]: adding candidates to table
3.209 * [progress]: [Phase 3 of 3] Extracting.
3.209 * * [regime]: Finding splitpoints for: (#<alt (λ (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) (* (* (* (* (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3)))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (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) (sqrt (fabs x))) (sqrt (pow (fabs x) 3))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (expm1 (log1p (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) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (expm1 (log1p (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)))))))> #<alt (λ (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)))))))>)
3.216 * * * [regime-changes]: Trying 5 branch expressions: ((fabs x) (+ (+ (+ (* 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)))) (* (/ 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))))) (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)))))) x)
3.216 * * * * [regimes]: Trying to branch on (fabs x) from (#<alt (λ (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) (* (* (* (* (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3)))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (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) (sqrt (fabs x))) (sqrt (pow (fabs x) 3))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (expm1 (log1p (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) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (expm1 (log1p (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)))))))> #<alt (λ (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)))))))>)
3.259 * * * * [regimes]: Trying to branch on (+ (+ (+ (* 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)))) from (#<alt (λ (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) (* (* (* (* (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3)))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (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) (sqrt (fabs x))) (sqrt (pow (fabs x) 3))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (expm1 (log1p (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) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (expm1 (log1p (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)))))))> #<alt (λ (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)))))))>)
3.304 * * * * [regimes]: Trying to branch on (+ (+ (+ (* 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)))) from (#<alt (λ (x) (fabs (* (/ 1.0 (expm1 (log1p (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)))))))> #<alt (λ (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)))))))>)
3.326 * * * * [regimes]: Trying to branch on (* (/ 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))))) from (#<alt (λ (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) (* (* (* (* (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3)))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (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) (sqrt (fabs x))) (sqrt (pow (fabs x) 3))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (expm1 (log1p (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) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (expm1 (log1p (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)))))))> #<alt (λ (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)))))))>)
3.375 * * * * [regimes]: Trying to branch on (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)))))) from (#<alt (λ (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) (* (* (* (* (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3)))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (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) (sqrt (fabs x))) (sqrt (pow (fabs x) 3))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (expm1 (log1p (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) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (expm1 (log1p (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)))))))> #<alt (λ (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)))))))>)
3.428 * * * * [regimes]: Trying to branch on x from (#<alt (λ (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) (* (* (* (* (* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3)))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (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) (sqrt (fabs x))) (sqrt (pow (fabs x) 3))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (expm1 (log1p (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) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (expm1 (log1p (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)))))))> #<alt (λ (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)))))))>)
3.466 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
3.466 * [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) (sqrt (fabs x))) (sqrt (pow (fabs x) 3))) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))
3.466 * [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) (sqrt (fabs h0))) (sqrt (pow (fabs h0) 3))) (fabs h0)) (fabs h0)) (fabs h0)) (fabs h0))))))
3.467 * * [simplify]: iteration  0 :  53  enodes  (cost  45 )
3.467 * * [simplify]: iteration  1 :  53  enodes  (cost  45 )
5.053 * [regime-testing]: Baseline error score: 0.21411757134643983
5.053 * [regime-testing]: Oracle error score: 0.13213211807771044
5.054 * [regime-testing]: End program error score: 0.21411757134643983