23.309 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.065 * * * [progress]: [2/2] Setting up program.
0.076 * [progress]: [Phase 2 of 3] Improving.
0.077 * [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.077 * * [simplify]: iteration 0: 28 enodes
0.087 * * [simplify]: iteration 1: 69 enodes
0.126 * * [simplify]: iteration 2: 228 enodes
0.231 * * [simplify]: iteration 3: 873 enodes
1.142 * * [simplify]: iteration 4: 4087 enodes
2.563 * * [simplify]: iteration complete: 5002 enodes
2.564 * * [simplify]: Extracting #0: cost 1 inf + 0
2.564 * * [simplify]: Extracting #1: cost 2 inf + 0
2.564 * * [simplify]: Extracting #2: cost 43 inf + 0
2.566 * * [simplify]: Extracting #3: cost 583 inf + 1
2.583 * * [simplify]: Extracting #4: cost 1144 inf + 26077
2.662 * * [simplify]: Extracting #5: cost 364 inf + 257347
2.851 * * [simplify]: Extracting #6: cost 40 inf + 358586
2.994 * * [simplify]: Extracting #7: cost 2 inf + 366174
3.183 * * [simplify]: Extracting #8: cost 0 inf + 366480
3.314 * [simplify]: Simplified to:
  (fabs (* (/ (* (fabs x) (+ 2.0 (* (* (fabs x) (fabs x)) (+ (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (+ (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (/ 1.0 21.0)))))))) (sqrt PI)) 1.0))
3.321 * * [progress]: iteration 1 / 4
3.321 * * * [progress]: picking best candidate
3.339 * * * * [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)))))))>
3.339 * * * [progress]: localizing error
3.424 * * * [progress]: generating rewritten candidates
3.424 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
3.426 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2)
3.489 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2)
4.237 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1)
4.272 * * * [progress]: generating series expansions
4.272 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
4.272 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2)
4.273 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) into (* 0.6666666666666666 (pow (fabs x) 3))
4.273 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0
4.273 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x
4.273 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
4.273 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
4.274 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
4.274 * [taylor]: Taking taylor expansion of (fabs x) in x
4.274 * [backup-simplify]: Simplify (fabs x) into (fabs x)
4.274 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x
4.274 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
4.274 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
4.274 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
4.274 * [taylor]: Taking taylor expansion of (fabs x) in x
4.274 * [backup-simplify]: Simplify (fabs x) into (fabs x)
4.274 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2)
4.274 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3)
4.274 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3))
4.274 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3))
4.274 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0
4.274 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0
4.275 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs x) 3))) into 0
4.275 * [backup-simplify]: Simplify 0 into 0
4.275 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0
4.276 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0
4.276 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))) into 0
4.276 * [backup-simplify]: Simplify 0 into 0
4.277 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0
4.278 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0
4.278 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))) into 0
4.278 * [backup-simplify]: Simplify 0 into 0
4.279 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0
4.280 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0
4.281 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))) into 0
4.281 * [backup-simplify]: Simplify 0 into 0
4.282 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0
4.283 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0
4.284 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))))) into 0
4.284 * [backup-simplify]: Simplify 0 into 0
4.285 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0
4.287 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0
4.288 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))))) into 0
4.288 * [backup-simplify]: Simplify 0 into 0
4.288 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3))
4.289 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x)))) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))
4.289 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0
4.289 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x
4.289 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
4.289 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
4.289 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
4.289 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
4.289 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
4.289 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x
4.289 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
4.289 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
4.289 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
4.289 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
4.289 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
4.289 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2)
4.289 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3)
4.289 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))
4.289 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))
4.289 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0
4.290 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0
4.290 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ 1 x)) 3))) into 0
4.290 * [backup-simplify]: Simplify 0 into 0
4.290 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0
4.291 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0
4.291 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))) into 0
4.291 * [backup-simplify]: Simplify 0 into 0
4.292 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0
4.293 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0
4.293 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))) into 0
4.293 * [backup-simplify]: Simplify 0 into 0
4.294 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0
4.295 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0
4.296 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))) into 0
4.296 * [backup-simplify]: Simplify 0 into 0
4.297 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0
4.298 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0
4.299 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))))) into 0
4.299 * [backup-simplify]: Simplify 0 into 0
4.301 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0
4.302 * [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
4.303 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))))) into 0
4.303 * [backup-simplify]: Simplify 0 into 0
4.303 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 (/ 1 x))) 3)) into (* 0.6666666666666666 (pow (fabs x) 3))
4.304 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x))))) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))
4.304 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0
4.304 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x
4.304 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
4.304 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
4.304 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
4.304 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
4.304 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
4.304 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x
4.304 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
4.304 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
4.304 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
4.304 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
4.304 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
4.304 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2)
4.304 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3)
4.305 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))
4.305 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))
4.305 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0
4.305 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0
4.305 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ -1 x)) 3))) into 0
4.305 * [backup-simplify]: Simplify 0 into 0
4.306 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0
4.306 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0
4.307 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))) into 0
4.307 * [backup-simplify]: Simplify 0 into 0
4.307 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0
4.308 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0
4.309 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))) into 0
4.309 * [backup-simplify]: Simplify 0 into 0
4.309 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0
4.310 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0
4.311 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))) into 0
4.311 * [backup-simplify]: Simplify 0 into 0
4.312 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0
4.313 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0
4.315 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))))) into 0
4.315 * [backup-simplify]: Simplify 0 into 0
4.316 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0
4.319 * [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
4.321 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))))) into 0
4.321 * [backup-simplify]: Simplify 0 into 0
4.321 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (* 0.6666666666666666 (pow (fabs x) 3))
4.321 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2)
4.323 * [backup-simplify]: Simplify (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) into (* 0.2 (pow (fabs x) 5))
4.323 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in (x) around 0
4.323 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x
4.323 * [taylor]: Taking taylor expansion of 0.2 in x
4.323 * [backup-simplify]: Simplify 0.2 into 0.2
4.323 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x
4.323 * [taylor]: Taking taylor expansion of (fabs x) in x
4.323 * [backup-simplify]: Simplify (fabs x) into (fabs x)
4.323 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x
4.323 * [taylor]: Taking taylor expansion of 0.2 in x
4.323 * [backup-simplify]: Simplify 0.2 into 0.2
4.323 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x
4.323 * [taylor]: Taking taylor expansion of (fabs x) in x
4.323 * [backup-simplify]: Simplify (fabs x) into (fabs x)
4.323 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2)
4.323 * [backup-simplify]: Simplify (* (pow (fabs x) 2) (pow (fabs x) 2)) into (pow (fabs x) 4)
4.324 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 4)) into (pow (fabs x) 5)
4.324 * [backup-simplify]: Simplify (* 0.2 (pow (fabs x) 5)) into (* 0.2 (pow (fabs x) 5))
4.324 * [backup-simplify]: Simplify (* 0.2 (pow (fabs x) 5)) into (* 0.2 (pow (fabs x) 5))
4.324 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0
4.325 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (* 0 (pow (fabs x) 2))) into 0
4.325 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 4))) into 0
4.325 * [backup-simplify]: Simplify (+ (* 0.2 0) (* 0 (pow (fabs x) 5))) into 0
4.325 * [backup-simplify]: Simplify 0 into 0
4.326 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0
4.327 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0
4.327 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))) into 0
4.328 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (* 0 (pow (fabs x) 5)))) into 0
4.329 * [backup-simplify]: Simplify 0 into 0
4.329 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0
4.330 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0
4.331 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4))))) into 0
4.333 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 5))))) into 0
4.333 * [backup-simplify]: Simplify 0 into 0
4.334 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0
4.336 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0
4.337 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))))) into 0
4.338 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 5)))))) into 0
4.339 * [backup-simplify]: Simplify 0 into 0
4.340 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0
4.342 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0
4.344 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4))))))) into 0
4.346 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 5))))))) into 0
4.346 * [backup-simplify]: Simplify 0 into 0
4.348 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0
4.350 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0
4.352 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))))))) into 0
4.354 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 5)))))))) into 0
4.355 * [backup-simplify]: Simplify 0 into 0
4.355 * [backup-simplify]: Simplify (* 0.2 (pow (fabs x) 5)) into (* 0.2 (pow (fabs x) 5))
4.356 * [backup-simplify]: Simplify (* (/ 1.0 5.0) (* (* (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) (fabs (/ 1 x))) (fabs (/ 1 x)))) into (* 0.2 (pow (fabs (/ 1 x)) 5))
4.356 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in (x) around 0
4.356 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x
4.356 * [taylor]: Taking taylor expansion of 0.2 in x
4.356 * [backup-simplify]: Simplify 0.2 into 0.2
4.356 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x
4.356 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
4.356 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
4.356 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x
4.356 * [taylor]: Taking taylor expansion of 0.2 in x
4.356 * [backup-simplify]: Simplify 0.2 into 0.2
4.356 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x
4.356 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
4.356 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
4.357 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2)
4.357 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 x)) 2) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 4)
4.357 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 4)) into (pow (fabs (/ 1 x)) 5)
4.357 * [backup-simplify]: Simplify (* 0.2 (pow (fabs (/ 1 x)) 5)) into (* 0.2 (pow (fabs (/ 1 x)) 5))
4.358 * [backup-simplify]: Simplify (* 0.2 (pow (fabs (/ 1 x)) 5)) into (* 0.2 (pow (fabs (/ 1 x)) 5))
4.358 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0
4.358 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0
4.358 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 4))) into 0
4.359 * [backup-simplify]: Simplify (+ (* 0.2 0) (* 0 (pow (fabs (/ 1 x)) 5))) into 0
4.359 * [backup-simplify]: Simplify 0 into 0
4.360 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0
4.361 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0
4.361 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))) into 0
4.362 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 5)))) into 0
4.362 * [backup-simplify]: Simplify 0 into 0
4.363 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0
4.364 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0
4.365 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4))))) into 0
4.367 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 5))))) into 0
4.367 * [backup-simplify]: Simplify 0 into 0
4.368 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0
4.369 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0
4.371 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))))) into 0
4.373 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 5)))))) into 0
4.373 * [backup-simplify]: Simplify 0 into 0
4.379 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0
4.381 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0
4.383 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4))))))) into 0
4.385 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 5))))))) into 0
4.385 * [backup-simplify]: Simplify 0 into 0
4.387 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0
4.389 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0
4.391 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))))))) into 0
4.393 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 5)))))))) into 0
4.393 * [backup-simplify]: Simplify 0 into 0
4.394 * [backup-simplify]: Simplify (* 0.2 (pow (fabs (/ 1 (/ 1 x))) 5)) into (* 0.2 (pow (fabs x) 5))
4.395 * [backup-simplify]: Simplify (* (/ 1.0 5.0) (* (* (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x))))) into (* 0.2 (pow (fabs (/ -1 x)) 5))
4.395 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in (x) around 0
4.395 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x
4.395 * [taylor]: Taking taylor expansion of 0.2 in x
4.395 * [backup-simplify]: Simplify 0.2 into 0.2
4.395 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x
4.395 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
4.395 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
4.395 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x
4.395 * [taylor]: Taking taylor expansion of 0.2 in x
4.395 * [backup-simplify]: Simplify 0.2 into 0.2
4.395 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x
4.395 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
4.395 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
4.395 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2)
4.396 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 2) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 4)
4.396 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 4)) into (pow (fabs (/ -1 x)) 5)
4.396 * [backup-simplify]: Simplify (* 0.2 (pow (fabs (/ -1 x)) 5)) into (* 0.2 (pow (fabs (/ -1 x)) 5))
4.396 * [backup-simplify]: Simplify (* 0.2 (pow (fabs (/ -1 x)) 5)) into (* 0.2 (pow (fabs (/ -1 x)) 5))
4.397 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0
4.397 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0
4.397 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 4))) into 0
4.398 * [backup-simplify]: Simplify (+ (* 0.2 0) (* 0 (pow (fabs (/ -1 x)) 5))) into 0
4.398 * [backup-simplify]: Simplify 0 into 0
4.399 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0
4.400 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0
4.400 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))) into 0
4.401 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 5)))) into 0
4.401 * [backup-simplify]: Simplify 0 into 0
4.402 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0
4.403 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0
4.404 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4))))) into 0
4.406 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 5))))) into 0
4.406 * [backup-simplify]: Simplify 0 into 0
4.407 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0
4.408 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0
4.410 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))))) into 0
4.412 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 5)))))) into 0
4.412 * [backup-simplify]: Simplify 0 into 0
4.413 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0
4.415 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0
4.417 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4))))))) into 0
4.419 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 5))))))) into 0
4.419 * [backup-simplify]: Simplify 0 into 0
4.421 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0
4.423 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0
4.425 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))))))) into 0
4.428 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 5)))))))) into 0
4.428 * [backup-simplify]: Simplify 0 into 0
4.428 * [backup-simplify]: Simplify (* 0.2 (pow (fabs (/ -1 (/ 1 (- x)))) 5)) into (* 0.2 (pow (fabs x) 5))
4.428 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 1 1 1)
4.428 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3)
4.429 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0
4.429 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
4.429 * [taylor]: Taking taylor expansion of (fabs x) in x
4.429 * [backup-simplify]: Simplify (fabs x) into (fabs x)
4.429 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
4.429 * [taylor]: Taking taylor expansion of (fabs x) in x
4.429 * [backup-simplify]: Simplify (fabs x) into (fabs x)
4.429 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2)
4.429 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3)
4.429 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3)
4.429 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0
4.430 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0
4.430 * [backup-simplify]: Simplify 0 into 0
4.430 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0
4.431 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0
4.431 * [backup-simplify]: Simplify 0 into 0
4.432 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0
4.433 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0
4.433 * [backup-simplify]: Simplify 0 into 0
4.434 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0
4.436 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0
4.436 * [backup-simplify]: Simplify 0 into 0
4.437 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0
4.439 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0
4.439 * [backup-simplify]: Simplify 0 into 0
4.441 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0
4.443 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0
4.443 * [backup-simplify]: Simplify 0 into 0
4.443 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3)
4.443 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3)
4.443 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0
4.443 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
4.443 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
4.443 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
4.444 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
4.444 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
4.444 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
4.444 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2)
4.444 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3)
4.444 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3)
4.445 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0
4.445 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0
4.445 * [backup-simplify]: Simplify 0 into 0
4.445 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0
4.446 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0
4.446 * [backup-simplify]: Simplify 0 into 0
4.447 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0
4.448 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0
4.448 * [backup-simplify]: Simplify 0 into 0
4.449 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0
4.451 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0
4.451 * [backup-simplify]: Simplify 0 into 0
4.452 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0
4.454 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0
4.454 * [backup-simplify]: Simplify 0 into 0
4.456 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0
4.458 * [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
4.458 * [backup-simplify]: Simplify 0 into 0
4.459 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3)
4.459 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3)
4.459 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0
4.459 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
4.459 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
4.459 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
4.459 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
4.459 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
4.459 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
4.459 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2)
4.460 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3)
4.460 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3)
4.460 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0
4.460 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0
4.460 * [backup-simplify]: Simplify 0 into 0
4.461 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0
4.462 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0
4.462 * [backup-simplify]: Simplify 0 into 0
4.463 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0
4.464 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0
4.464 * [backup-simplify]: Simplify 0 into 0
4.465 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0
4.466 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0
4.466 * [backup-simplify]: Simplify 0 into 0
4.468 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0
4.470 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0
4.470 * [backup-simplify]: Simplify 0 into 0
4.472 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0
4.474 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0
4.474 * [backup-simplify]: Simplify 0 into 0
4.474 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3)
4.474 * * * [progress]: simplifying candidates
4.477 * [simplify]: Simplifying:
  (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (* (sqrt PI) (sqrt PI)) (sqrt PI))
  (sqrt (* (cbrt PI) (cbrt PI)))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (sqrt 1)
  (sqrt PI)
  (/ 1 2)
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (+ (- (log 2.0) (log 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))))
  (+ (- (log 2.0) (log 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x))))
  (+ (- (log 2.0) (log 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x))))
  (+ (log (/ 2.0 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 2.0 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x))))
  (+ (log (/ 2.0 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x))))
  (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (exp (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))))
  (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ 2.0 3.0) (* (fabs x) (fabs x)))
  (* (cbrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (cbrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (sqrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (sqrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* 2.0 (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (log (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (exp (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (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))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (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))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (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))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (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))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (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))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (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))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (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))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (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))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (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))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (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 (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
  (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (/ 1.0 5.0) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)))
  (* (cbrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (sqrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* 1.0 (* (* (* (* (fabs x) (fabs x)) (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))
  (* 0.2 (pow (fabs x) 5))
  (* 0.2 (pow (fabs x) 5))
  (* 0.2 (pow (fabs x) 5))
  (pow (fabs x) 3)
  (pow (fabs x) 3)
  (pow (fabs x) 3)
4.479 * * [simplify]: iteration 0: 216 enodes
4.526 * * [simplify]: iteration 1: 645 enodes
4.952 * * [simplify]: iteration 2: 4411 enodes
7.902 * * [simplify]: iteration complete: 5000 enodes
7.903 * * [simplify]: Extracting #0: cost 66 inf + 0
7.912 * * [simplify]: Extracting #1: cost 877 inf + 3
7.918 * * [simplify]: Extracting #2: cost 1760 inf + 7692
7.959 * * [simplify]: Extracting #3: cost 881 inf + 208360
8.063 * * [simplify]: Extracting #4: cost 126 inf + 385043
8.237 * * [simplify]: Extracting #5: cost 34 inf + 411222
8.362 * * [simplify]: Extracting #6: cost 5 inf + 421894
8.528 * * [simplify]: Extracting #7: cost 1 inf + 424438
8.662 * * [simplify]: Extracting #8: cost 0 inf + 425245
8.772 * [simplify]: Simplified to:
  (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* PI (sqrt PI))
  (fabs (cbrt PI))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  1
  (sqrt PI)
  1/2
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (log (* (/ 2.0 3.0) (* (* (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 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))))
  (* (* (* (/ 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)))
  (/ (* (* (* (fabs x) (fabs x)) (fabs x)) (cbrt 2.0)) (cbrt 3.0))
  (/ (* (* (* (fabs x) (fabs x)) (fabs x)) (cbrt 2.0)) (sqrt 3.0))
  (* (* (* (/ (cbrt 2.0) 3.0) (fabs x)) (fabs x)) (fabs x))
  (/ (* (sqrt 2.0) (* (* (fabs x) (fabs x)) (fabs x))) (cbrt 3.0))
  (/ (sqrt 2.0) (/ (sqrt 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (/ (* (* (* (fabs x) (fabs x)) (fabs x)) (sqrt 2.0)) 3.0)
  (* (/ 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)))
  (/ (* (* (fabs x) (fabs x)) (fabs x)) 3.0)
  (* (* (* (fabs x) (fabs x)) (fabs x)) 2.0)
  (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))
  (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))
  (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))
  (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))
  (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))
  (log (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))))
  (log (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))))
  (log (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))))
  (log (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))))
  (log (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))))
  (log (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))))
  (log (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))))
  (log (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))))
  (log (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))))
  (log (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))))
  (log (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))))
  (exp (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))))
  (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))))
  (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))))
  (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))))
  (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))))
  (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))))
  (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))))
  (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))))
  (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))))
  (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))))
  (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))))
  (* (cbrt (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))) (cbrt (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))))
  (cbrt (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))))
  (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))) (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))))
  (sqrt (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))))
  (sqrt (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))))
  (/ (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) 1.0) 5.0)
  (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (/ 1.0 5.0)))
  (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (sqrt (/ 1.0 5.0))))
  (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (/ (cbrt 1.0) (cbrt 5.0)))
  (* (/ (* (cbrt 1.0) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (sqrt 5.0)) (fabs x))
  (* (/ (cbrt 1.0) 5.0) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (fabs x) (* (/ (sqrt 1.0) (cbrt 5.0)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))))
  (* (/ (sqrt 1.0) (sqrt 5.0)) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (fabs x) (* (/ (sqrt 1.0) 5.0) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))))
  (* (fabs x) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (/ 1.0 (cbrt 5.0))))
  (* (/ 1.0 (sqrt 5.0)) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (fabs x)))
  (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))
  (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))
  (/ (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) 5.0)
  (* (* 1.0 (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))
  3
  3
  3
  3
  (* (* (fabs x) (fabs x)) (fabs x))
  (* (* (fabs x) (fabs x)) (fabs x))
  3
  3
  3
  3
  (* 3 (log (fabs x)))
  (* 3 (log (fabs x)))
  (* 3 (log (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)))
  (* (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)))
  (* (sqrt (fabs x)) (fabs x))
  (* (sqrt (fabs x)) (fabs x))
  (* (* (cbrt (fabs x)) (fabs x)) (* (cbrt (fabs x)) (fabs x)))
  (* (* (fabs x) (fabs x)) (sqrt (fabs x)))
  (* (fabs x) (fabs x))
  (* (fabs x) (fabs x))
  (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (* (/ 1.0 21.0) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))))) (* (fabs x) 2.0)) (+ (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))))))
  (* (* (* (fabs x) (fabs x)) (fabs x)) 0.6666666666666666)
  (* (* (* (fabs x) (fabs x)) (fabs x)) 0.6666666666666666)
  (* (* (* (fabs x) (fabs x)) (fabs x)) 0.6666666666666666)
  (* 0.2 (pow (fabs x) 5))
  (* 0.2 (pow (fabs x) 5))
  (* 0.2 (pow (fabs x) 5))
  (* (* (fabs x) (fabs x)) (fabs x))
  (* (* (fabs x) (fabs x)) (fabs x))
  (* (* (fabs x) (fabs x)) (fabs x))
8.796 * * * [progress]: adding candidates to table
9.526 * * [progress]: iteration 2 / 4
9.526 * * * [progress]: picking best candidate
9.557 * * * * [pick]: Picked  #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (/ (cbrt 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)))))))>
9.558 * * * [progress]: localizing error
9.661 * * * [progress]: generating rewritten candidates
9.661 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 2 2 1 1)
9.663 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1 1 2)
9.664 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2 1 1 1)
9.665 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
9.668 * * * [progress]: generating series expansions
9.668 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 2 2 1 1)
9.668 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2 1 1 2)
9.668 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2 1 1 1)
9.669 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
9.669 * * * [progress]: simplifying candidates
9.670 * [simplify]: Simplifying:
  (log (cbrt 2.0))
  (exp (cbrt 2.0))
  (cbrt (* (cbrt 2.0) (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  (cbrt (sqrt 2.0))
  (cbrt (sqrt 2.0))
  (cbrt 1)
  (cbrt 2.0)
  (* (cbrt (cbrt 2.0)) (cbrt (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  (* (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0))
  (sqrt (cbrt 2.0))
  (sqrt (cbrt 2.0))
  (log (cbrt 2.0))
  (exp (cbrt 2.0))
  (cbrt (* (cbrt 2.0) (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  (cbrt (sqrt 2.0))
  (cbrt (sqrt 2.0))
  (cbrt 1)
  (cbrt 2.0)
  (* (cbrt (cbrt 2.0)) (cbrt (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  (* (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0))
  (sqrt (cbrt 2.0))
  (sqrt (cbrt 2.0))
  (log (cbrt 2.0))
  (exp (cbrt 2.0))
  (cbrt (* (cbrt 2.0) (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  (cbrt (sqrt 2.0))
  (cbrt (sqrt 2.0))
  (cbrt 1)
  (cbrt 2.0)
  (* (cbrt (cbrt 2.0)) (cbrt (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  (* (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0))
  (sqrt (cbrt 2.0))
  (sqrt (cbrt 2.0))
  (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))
  (* (/ (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)))
  (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
9.670 * * [simplify]: iteration 0: 37 enodes
9.683 * * [simplify]: iteration 1: 49 enodes
9.696 * * [simplify]: iteration 2: 70 enodes
9.715 * * [simplify]: iteration 3: 103 enodes
9.742 * * [simplify]: iteration 4: 150 enodes
9.776 * * [simplify]: iteration 5: 256 enodes
9.861 * * [simplify]: iteration 6: 559 enodes
10.123 * * [simplify]: iteration 7: 1556 enodes
11.522 * * [simplify]: iteration complete: 5000 enodes
11.522 * * [simplify]: Extracting #0: cost 21 inf + 0
11.523 * * [simplify]: Extracting #1: cost 305 inf + 3
11.530 * * [simplify]: Extracting #2: cost 999 inf + 1800
11.539 * * [simplify]: Extracting #3: cost 1057 inf + 6253
11.570 * * [simplify]: Extracting #4: cost 720 inf + 151793
11.622 * * [simplify]: Extracting #5: cost 117 inf + 564690
11.719 * * [simplify]: Extracting #6: cost 0 inf + 647437
11.815 * * [simplify]: Extracting #7: cost 0 inf + 642074
11.904 * * [simplify]: Extracting #8: cost 0 inf + 638886
12.029 * * [simplify]: Extracting #9: cost 0 inf + 637489
12.123 * * [simplify]: Extracting #10: cost 0 inf + 637267
12.234 * [simplify]: Simplified to:
  (log (cbrt 2.0))
  (exp (cbrt 2.0))
  (cbrt (* (cbrt 2.0) (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  (cbrt (sqrt 2.0))
  (cbrt (sqrt 2.0))
  1
  (cbrt 2.0)
  (* (cbrt (cbrt 2.0)) (cbrt (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  2.0
  (sqrt (cbrt 2.0))
  (sqrt (cbrt 2.0))
  (log (cbrt 2.0))
  (exp (cbrt 2.0))
  (cbrt (* (cbrt 2.0) (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  (cbrt (sqrt 2.0))
  (cbrt (sqrt 2.0))
  1
  (cbrt 2.0)
  (* (cbrt (cbrt 2.0)) (cbrt (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  2.0
  (sqrt (cbrt 2.0))
  (sqrt (cbrt 2.0))
  (log (cbrt 2.0))
  (exp (cbrt 2.0))
  (cbrt (* (cbrt 2.0) (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  (cbrt (sqrt 2.0))
  (cbrt (sqrt 2.0))
  1
  (cbrt 2.0)
  (* (cbrt (cbrt 2.0)) (cbrt (cbrt 2.0)))
  (cbrt (cbrt 2.0))
  2.0
  (sqrt (cbrt 2.0))
  (sqrt (cbrt 2.0))
  (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (sqrt PI) PI)
  (fabs (cbrt PI))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  1
  (sqrt PI)
  1/2
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (* (* (cbrt 2.0) (fabs x)) (* (fabs x) (/ (fabs x) 3.0)))
  (* (* (cbrt 2.0) (fabs x)) (* (fabs x) (/ (fabs x) 3.0)))
  (* (* (cbrt 2.0) (fabs x)) (* (fabs x) (/ (fabs x) 3.0)))
  (* (* (cbrt 2.0) (fabs x)) (* (fabs x) (/ (fabs x) 3.0)))
12.255 * * * [progress]: adding candidates to table
12.727 * * [progress]: iteration 3 / 4
12.727 * * * [progress]: picking best candidate
12.763 * * * * [pick]: Picked  #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (* (/ 1.0 21.0) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))))) (* (fabs x) 2.0)) (+ (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))))))))>
12.763 * * * [progress]: localizing error
12.849 * * * [progress]: generating rewritten candidates
12.849 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
12.850 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1)
12.918 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1)
12.981 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 2)
13.013 * * * [progress]: generating series expansions
13.013 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
13.013 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1)
13.014 * [backup-simplify]: Simplify (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) into (* 0.2 (pow (fabs x) 3))
13.014 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs x) 3)) in (x) around 0
13.014 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 3)) in x
13.014 * [taylor]: Taking taylor expansion of 0.2 in x
13.014 * [backup-simplify]: Simplify 0.2 into 0.2
13.014 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
13.014 * [taylor]: Taking taylor expansion of (fabs x) in x
13.014 * [backup-simplify]: Simplify (fabs x) into (fabs x)
13.014 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 3)) in x
13.014 * [taylor]: Taking taylor expansion of 0.2 in x
13.014 * [backup-simplify]: Simplify 0.2 into 0.2
13.014 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
13.014 * [taylor]: Taking taylor expansion of (fabs x) in x
13.014 * [backup-simplify]: Simplify (fabs x) into (fabs x)
13.014 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2)
13.014 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3)
13.014 * [backup-simplify]: Simplify (* 0.2 (pow (fabs x) 3)) into (* 0.2 (pow (fabs x) 3))
13.014 * [backup-simplify]: Simplify (* 0.2 (pow (fabs x) 3)) into (* 0.2 (pow (fabs x) 3))
13.015 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0
13.015 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0
13.015 * [backup-simplify]: Simplify (+ (* 0.2 0) (* 0 (pow (fabs x) 3))) into 0
13.015 * [backup-simplify]: Simplify 0 into 0
13.016 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0
13.016 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0
13.017 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))) into 0
13.017 * [backup-simplify]: Simplify 0 into 0
13.017 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0
13.018 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0
13.018 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))) into 0
13.018 * [backup-simplify]: Simplify 0 into 0
13.019 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0
13.020 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0
13.021 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))) into 0
13.021 * [backup-simplify]: Simplify 0 into 0
13.022 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0
13.023 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0
13.024 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))))) into 0
13.024 * [backup-simplify]: Simplify 0 into 0
13.025 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0
13.026 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0
13.028 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))))) into 0
13.028 * [backup-simplify]: Simplify 0 into 0
13.028 * [backup-simplify]: Simplify (* 0.2 (pow (fabs x) 3)) into (* 0.2 (pow (fabs x) 3))
13.028 * [backup-simplify]: Simplify (* (/ 1.0 5.0) (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x)))) into (* 0.2 (pow (fabs (/ 1 x)) 3))
13.028 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 3)) in (x) around 0
13.028 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 3)) in x
13.028 * [taylor]: Taking taylor expansion of 0.2 in x
13.028 * [backup-simplify]: Simplify 0.2 into 0.2
13.029 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
13.029 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
13.029 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
13.029 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 3)) in x
13.029 * [taylor]: Taking taylor expansion of 0.2 in x
13.029 * [backup-simplify]: Simplify 0.2 into 0.2
13.029 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
13.029 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
13.029 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
13.029 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2)
13.029 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3)
13.029 * [backup-simplify]: Simplify (* 0.2 (pow (fabs (/ 1 x)) 3)) into (* 0.2 (pow (fabs (/ 1 x)) 3))
13.029 * [backup-simplify]: Simplify (* 0.2 (pow (fabs (/ 1 x)) 3)) into (* 0.2 (pow (fabs (/ 1 x)) 3))
13.029 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0
13.029 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0
13.030 * [backup-simplify]: Simplify (+ (* 0.2 0) (* 0 (pow (fabs (/ 1 x)) 3))) into 0
13.030 * [backup-simplify]: Simplify 0 into 0
13.030 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0
13.031 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0
13.031 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))) into 0
13.031 * [backup-simplify]: Simplify 0 into 0
13.032 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0
13.032 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0
13.033 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))) into 0
13.033 * [backup-simplify]: Simplify 0 into 0
13.034 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0
13.035 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0
13.036 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))) into 0
13.036 * [backup-simplify]: Simplify 0 into 0
13.037 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0
13.038 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0
13.040 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))))) into 0
13.040 * [backup-simplify]: Simplify 0 into 0
13.041 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0
13.044 * [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
13.046 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))))) into 0
13.046 * [backup-simplify]: Simplify 0 into 0
13.046 * [backup-simplify]: Simplify (* 0.2 (pow (fabs (/ 1 (/ 1 x))) 3)) into (* 0.2 (pow (fabs x) 3))
13.047 * [backup-simplify]: Simplify (* (/ 1.0 5.0) (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x))))) into (* 0.2 (pow (fabs (/ -1 x)) 3))
13.047 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 3)) in (x) around 0
13.047 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 3)) in x
13.047 * [taylor]: Taking taylor expansion of 0.2 in x
13.047 * [backup-simplify]: Simplify 0.2 into 0.2
13.047 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
13.047 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
13.047 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
13.047 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 3)) in x
13.047 * [taylor]: Taking taylor expansion of 0.2 in x
13.047 * [backup-simplify]: Simplify 0.2 into 0.2
13.047 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
13.047 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
13.048 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
13.048 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2)
13.048 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3)
13.048 * [backup-simplify]: Simplify (* 0.2 (pow (fabs (/ -1 x)) 3)) into (* 0.2 (pow (fabs (/ -1 x)) 3))
13.048 * [backup-simplify]: Simplify (* 0.2 (pow (fabs (/ -1 x)) 3)) into (* 0.2 (pow (fabs (/ -1 x)) 3))
13.049 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0
13.049 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0
13.050 * [backup-simplify]: Simplify (+ (* 0.2 0) (* 0 (pow (fabs (/ -1 x)) 3))) into 0
13.050 * [backup-simplify]: Simplify 0 into 0
13.050 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0
13.051 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0
13.052 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))) into 0
13.052 * [backup-simplify]: Simplify 0 into 0
13.053 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0
13.054 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0
13.055 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))) into 0
13.055 * [backup-simplify]: Simplify 0 into 0
13.056 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0
13.058 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0
13.059 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))) into 0
13.059 * [backup-simplify]: Simplify 0 into 0
13.061 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0
13.063 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0
13.065 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))))) into 0
13.065 * [backup-simplify]: Simplify 0 into 0
13.067 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0
13.069 * [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
13.071 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))))) into 0
13.071 * [backup-simplify]: Simplify 0 into 0
13.071 * [backup-simplify]: Simplify (* 0.2 (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (* 0.2 (pow (fabs x) 3))
13.071 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1)
13.072 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) into (* 0.6666666666666666 (pow (fabs x) 3))
13.072 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0
13.072 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x
13.072 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
13.072 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
13.072 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
13.072 * [taylor]: Taking taylor expansion of (fabs x) in x
13.072 * [backup-simplify]: Simplify (fabs x) into (fabs x)
13.072 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x
13.072 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
13.072 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
13.072 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
13.072 * [taylor]: Taking taylor expansion of (fabs x) in x
13.072 * [backup-simplify]: Simplify (fabs x) into (fabs x)
13.072 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2)
13.072 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3)
13.072 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3))
13.073 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3))
13.073 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0
13.073 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0
13.073 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs x) 3))) into 0
13.073 * [backup-simplify]: Simplify 0 into 0
13.074 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0
13.074 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0
13.074 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))) into 0
13.074 * [backup-simplify]: Simplify 0 into 0
13.075 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0
13.076 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0
13.076 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))) into 0
13.076 * [backup-simplify]: Simplify 0 into 0
13.077 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0
13.078 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0
13.079 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))) into 0
13.079 * [backup-simplify]: Simplify 0 into 0
13.080 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0
13.081 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0
13.082 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))))) into 0
13.082 * [backup-simplify]: Simplify 0 into 0
13.083 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0
13.084 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0
13.086 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))))) into 0
13.086 * [backup-simplify]: Simplify 0 into 0
13.086 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3))
13.086 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x)))) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))
13.086 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0
13.086 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x
13.086 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
13.086 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
13.086 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
13.086 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
13.086 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
13.087 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x
13.087 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
13.087 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
13.087 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
13.087 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
13.087 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
13.087 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2)
13.087 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3)
13.087 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))
13.087 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))
13.087 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0
13.087 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0
13.090 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ 1 x)) 3))) into 0
13.090 * [backup-simplify]: Simplify 0 into 0
13.091 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0
13.091 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0
13.092 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))) into 0
13.092 * [backup-simplify]: Simplify 0 into 0
13.092 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0
13.093 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0
13.094 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))) into 0
13.094 * [backup-simplify]: Simplify 0 into 0
13.094 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0
13.095 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0
13.096 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))) into 0
13.096 * [backup-simplify]: Simplify 0 into 0
13.097 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0
13.098 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0
13.100 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))))) into 0
13.100 * [backup-simplify]: Simplify 0 into 0
13.102 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0
13.104 * [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
13.106 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))))) into 0
13.106 * [backup-simplify]: Simplify 0 into 0
13.106 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 (/ 1 x))) 3)) into (* 0.6666666666666666 (pow (fabs x) 3))
13.107 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x))))) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))
13.107 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0
13.107 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x
13.107 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
13.107 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
13.107 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
13.107 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
13.108 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
13.108 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x
13.108 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
13.108 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666
13.108 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
13.108 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
13.108 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
13.108 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2)
13.108 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3)
13.108 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))
13.109 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))
13.109 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0
13.109 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0
13.110 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ -1 x)) 3))) into 0
13.110 * [backup-simplify]: Simplify 0 into 0
13.110 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0
13.111 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0
13.112 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))) into 0
13.112 * [backup-simplify]: Simplify 0 into 0
13.113 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0
13.114 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0
13.116 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))) into 0
13.116 * [backup-simplify]: Simplify 0 into 0
13.117 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0
13.118 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0
13.120 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))) into 0
13.120 * [backup-simplify]: Simplify 0 into 0
13.122 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0
13.123 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0
13.126 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))))) into 0
13.126 * [backup-simplify]: Simplify 0 into 0
13.128 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0
13.130 * [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
13.132 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))))) into 0
13.132 * [backup-simplify]: Simplify 0 into 0
13.132 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (* 0.6666666666666666 (pow (fabs x) 3))
13.133 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 2)
13.133 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3)
13.133 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0
13.133 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
13.133 * [taylor]: Taking taylor expansion of (fabs x) in x
13.133 * [backup-simplify]: Simplify (fabs x) into (fabs x)
13.133 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
13.133 * [taylor]: Taking taylor expansion of (fabs x) in x
13.133 * [backup-simplify]: Simplify (fabs x) into (fabs x)
13.133 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2)
13.133 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3)
13.134 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3)
13.134 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0
13.134 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0
13.134 * [backup-simplify]: Simplify 0 into 0
13.135 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0
13.135 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0
13.135 * [backup-simplify]: Simplify 0 into 0
13.136 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0
13.137 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0
13.137 * [backup-simplify]: Simplify 0 into 0
13.138 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0
13.140 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0
13.140 * [backup-simplify]: Simplify 0 into 0
13.141 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0
13.143 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0
13.143 * [backup-simplify]: Simplify 0 into 0
13.145 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0
13.147 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0
13.147 * [backup-simplify]: Simplify 0 into 0
13.147 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3)
13.147 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3)
13.147 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0
13.147 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
13.147 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
13.147 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
13.147 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
13.147 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
13.148 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
13.148 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2)
13.148 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3)
13.148 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3)
13.148 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0
13.149 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0
13.149 * [backup-simplify]: Simplify 0 into 0
13.149 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0
13.150 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0
13.150 * [backup-simplify]: Simplify 0 into 0
13.151 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0
13.152 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0
13.152 * [backup-simplify]: Simplify 0 into 0
13.153 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0
13.154 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0
13.154 * [backup-simplify]: Simplify 0 into 0
13.156 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0
13.158 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0
13.158 * [backup-simplify]: Simplify 0 into 0
13.160 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0
13.162 * [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
13.162 * [backup-simplify]: Simplify 0 into 0
13.162 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3)
13.162 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3)
13.162 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0
13.162 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
13.162 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
13.162 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
13.162 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
13.162 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
13.163 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
13.163 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2)
13.163 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3)
13.163 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3)
13.163 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0
13.164 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0
13.164 * [backup-simplify]: Simplify 0 into 0
13.164 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0
13.165 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0
13.165 * [backup-simplify]: Simplify 0 into 0
13.166 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0
13.167 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0
13.167 * [backup-simplify]: Simplify 0 into 0
13.168 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0
13.170 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0
13.170 * [backup-simplify]: Simplify 0 into 0
13.172 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0
13.173 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0
13.173 * [backup-simplify]: Simplify 0 into 0
13.175 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0
13.178 * [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
13.178 * [backup-simplify]: Simplify 0 into 0
13.178 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3)
13.178 * * * [progress]: simplifying candidates
13.181 * [simplify]: Simplifying:
  (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (* (sqrt PI) (sqrt PI)) (sqrt PI))
  (sqrt (* (cbrt PI) (cbrt PI)))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (sqrt 1)
  (sqrt PI)
  (/ 1 2)
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (+ (- (log 1.0) (log 5.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (log (* (* (fabs x) (fabs x)) (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (log (* (* (fabs x) (fabs x)) (fabs x))))
  (log (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (exp (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (cbrt (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x)))))
  (cbrt (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (sqrt (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (sqrt (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ 1.0 5.0) (* (fabs x) (fabs x)))
  (* (cbrt (/ 1.0 5.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (sqrt (/ 1.0 5.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) (cbrt 5.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) (sqrt 5.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) 5.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) (cbrt 5.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) (sqrt 5.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) 5.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 1.0 (cbrt 5.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 1.0 (sqrt 5.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 1 5.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* 1.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)))
  (+ (+ 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)) (+ (+ (* (/ 1.0 21.0) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))))) (* (fabs x) 2.0)) (+ (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x)))))))
  (* 0.2 (pow (fabs x) 3))
  (* 0.2 (pow (fabs x) 3))
  (* 0.2 (pow (fabs x) 3))
  (* 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)
13.186 * * [simplify]: iteration 0: 187 enodes
13.236 * * [simplify]: iteration 1: 537 enodes
13.607 * * [simplify]: iteration 2: 3436 enodes
15.624 * * [simplify]: iteration complete: 5001 enodes
15.624 * * [simplify]: Extracting #0: cost 67 inf + 0
15.626 * * [simplify]: Extracting #1: cost 846 inf + 3
15.636 * * [simplify]: Extracting #2: cost 1701 inf + 14990
15.699 * * [simplify]: Extracting #3: cost 673 inf + 255542
15.787 * * [simplify]: Extracting #4: cost 93 inf + 405753
15.900 * * [simplify]: Extracting #5: cost 43 inf + 416145
16.050 * * [simplify]: Extracting #6: cost 6 inf + 430414
16.155 * * [simplify]: Extracting #7: cost 0 inf + 432156
16.286 * [simplify]: Simplified to:
  (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* PI (sqrt PI))
  (fabs (cbrt PI))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  1
  (sqrt PI)
  1/2
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x))))
  (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x))))
  (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x))))
  (log (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x)))))
  (log (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x)))))
  (log (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x)))))
  (log (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x)))))
  (log (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x)))))
  (log (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x)))))
  (log (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x)))))
  (exp (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x)))))
  (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0))))
  (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0))))
  (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0))))
  (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0))))
  (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0))))
  (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0))))
  (* (cbrt (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x))))) (cbrt (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x))))))
  (cbrt (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x)))))
  (* (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x)))) (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x))))))
  (sqrt (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x)))))
  (sqrt (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x)))))
  (/ 1.0 (/ 5.0 (* (fabs x) (fabs x))))
  (* (fabs x) (* (* (fabs x) (fabs x)) (cbrt (/ 1.0 5.0))))
  (* (* (* (fabs x) (fabs x)) (fabs x)) (sqrt (/ 1.0 5.0)))
  (* (/ (* (cbrt 1.0) (* (fabs x) (fabs x))) (cbrt 5.0)) (fabs x))
  (* (/ (cbrt 1.0) (sqrt 5.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (* (* (fabs x) (fabs x)) (fabs x)) (/ (cbrt 1.0) 5.0))
  (* (* (/ (sqrt 1.0) (cbrt 5.0)) (fabs x)) (* (fabs x) (fabs x)))
  (* (/ (sqrt 1.0) (sqrt 5.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) 5.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (/ 1.0 (/ (cbrt 5.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ 1.0 (sqrt 5.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x))))
  (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (fabs x))))
  (/ (* (* (fabs x) (fabs x)) (fabs x)) 5.0)
  (* (* 1.0 (* (fabs x) (fabs x))) (fabs x))
  (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0)
  (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0)
  (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0)
  (log (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0))
  (log (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0))
  (log (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0))
  (log (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0))
  (log (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0))
  (log (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0))
  (log (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0))
  (exp (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 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)))) (/ 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)))) (/ 2.0 3.0)))
  (* (cbrt (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0)) (cbrt (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0)))
  (cbrt (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0))
  (* (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0) (* (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0) (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0)))
  (sqrt (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0))
  (sqrt (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0))
  (/ (* 2.0 (* (fabs x) (fabs x))) 3.0)
  (* (* (* (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) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt 3.0))
  (/ (cbrt 2.0) (/ 3.0 (* (* (fabs x) (fabs x)) (fabs x))))
  (/ (* (sqrt 2.0) (* (* (fabs x) (fabs x)) (fabs x))) (cbrt 3.0))
  (/ (* (sqrt 2.0) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt 3.0))
  (* (* (* (fabs x) (fabs x)) (fabs x)) (/ (sqrt 2.0) 3.0))
  (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) (cbrt 3.0))
  (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0)
  (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0)
  (/ (* (* (fabs x) (fabs x)) (fabs x)) 3.0)
  (* 2.0 (* (* (fabs x) (fabs x)) (fabs x)))
  3
  3
  3
  3
  (* (* (fabs x) (fabs x)) (fabs x))
  (* (* (fabs x) (fabs x)) (fabs x))
  3
  3
  3
  3
  (* 3 (log (fabs x)))
  (* 3 (log (fabs x)))
  (* 3 (log (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))))
  (* (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)))
  (* (* (cbrt (fabs x)) (fabs x)) (* (cbrt (fabs x)) (fabs x)))
  (* (fabs x) (* (fabs x) (sqrt (fabs x))))
  (* (fabs x) (fabs x))
  (* (fabs x) (fabs x))
  (fabs (* (+ (* (/ 1.0 (/ 5.0 (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (fabs x))) (+ (/ (* (* (* (fabs x) (fabs x)) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (fabs x))) 1.0) 21.0) (+ (* (fabs x) 2.0) (/ (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) 3.0)))) (/ 1.0 (sqrt PI))))
  (* (* (* (fabs x) (fabs x)) (fabs x)) 0.2)
  (* (* (* (fabs x) (fabs x)) (fabs x)) 0.2)
  (* (* (* (fabs x) (fabs x)) (fabs x)) 0.2)
  (* (* (* (fabs x) (fabs x)) (fabs x)) 0.6666666666666666)
  (* (* (* (fabs x) (fabs x)) (fabs x)) 0.6666666666666666)
  (* (* (* (fabs x) (fabs x)) (fabs x)) 0.6666666666666666)
  (* (* (fabs x) (fabs x)) (fabs x))
  (* (* (fabs x) (fabs x)) (fabs x))
  (* (* (fabs x) (fabs x)) (fabs x))
16.309 * * * [progress]: adding candidates to table
17.095 * * [progress]: iteration 4 / 4
17.096 * * * [progress]: picking best candidate
17.119 * * * * [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)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (cbrt (fabs x))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))>
17.119 * * * [progress]: localizing error
17.235 * * * [progress]: generating rewritten candidates
17.235 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
17.237 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 2)
17.238 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 1 2 2)
17.240 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 1 2 1)
17.242 * * * [progress]: generating series expansions
17.242 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
17.242 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 2)
17.243 * [backup-simplify]: Simplify (cbrt (fabs x)) into (pow (fabs x) 1/3)
17.243 * [approximate]: Taking taylor expansion of (pow (fabs x) 1/3) in (x) around 0
17.243 * [taylor]: Taking taylor expansion of (pow (fabs x) 1/3) in x
17.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs x)))) in x
17.243 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs x))) in x
17.243 * [taylor]: Taking taylor expansion of 1/3 in x
17.243 * [backup-simplify]: Simplify 1/3 into 1/3
17.243 * [taylor]: Taking taylor expansion of (log (fabs x)) in x
17.243 * [taylor]: Taking taylor expansion of (fabs x) in x
17.243 * [backup-simplify]: Simplify (fabs x) into (fabs x)
17.243 * [backup-simplify]: Simplify (log (fabs x)) into (log (fabs x))
17.243 * [backup-simplify]: Simplify (* 1/3 (log (fabs x))) into (* 1/3 (log (fabs x)))
17.243 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs x)))) into (pow (fabs x) 1/3)
17.243 * [taylor]: Taking taylor expansion of (pow (fabs x) 1/3) in x
17.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs x)))) in x
17.243 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs x))) in x
17.243 * [taylor]: Taking taylor expansion of 1/3 in x
17.244 * [backup-simplify]: Simplify 1/3 into 1/3
17.244 * [taylor]: Taking taylor expansion of (log (fabs x)) in x
17.244 * [taylor]: Taking taylor expansion of (fabs x) in x
17.244 * [backup-simplify]: Simplify (fabs x) into (fabs x)
17.244 * [backup-simplify]: Simplify (log (fabs x)) into (log (fabs x))
17.244 * [backup-simplify]: Simplify (* 1/3 (log (fabs x))) into (* 1/3 (log (fabs x)))
17.244 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs x)))) into (pow (fabs x) 1/3)
17.244 * [backup-simplify]: Simplify (pow (fabs x) 1/3) into (pow (fabs x) 1/3)
17.245 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs x) 1)))) 1) into 0
17.246 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fabs x)))) into 0
17.247 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs x)))) (+ (* (/ (pow 0 1) 1)))) into 0
17.247 * [backup-simplify]: Simplify 0 into 0
17.249 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs x) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs x) 1)))) 2) into 0
17.250 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fabs x))))) into 0
17.251 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs x)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.251 * [backup-simplify]: Simplify 0 into 0
17.254 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs x) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs x) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs x) 1)))) 6) into 0
17.261 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs x)))))) into 0
17.263 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs x)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
17.263 * [backup-simplify]: Simplify 0 into 0
17.268 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fabs x) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fabs x) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fabs x) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fabs x) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fabs x) 1)))) 24) into 0
17.270 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs x))))))) into 0
17.273 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs x)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.273 * [backup-simplify]: Simplify 0 into 0
17.281 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fabs x) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fabs x) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fabs x) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fabs x) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fabs x) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fabs x) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fabs x) 1)))) 120) into 0
17.283 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs x)))))))) into 0
17.286 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs x)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
17.287 * [backup-simplify]: Simplify 0 into 0
17.299 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fabs x) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fabs x) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fabs x) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fabs x) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fabs x) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fabs x) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fabs x) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fabs x) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fabs x) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fabs x) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fabs x) 1)))) 720) into 0
17.302 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs x))))))))) into 0
17.307 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs x)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.308 * [backup-simplify]: Simplify 0 into 0
17.308 * [backup-simplify]: Simplify (pow (fabs x) 1/3) into (pow (fabs x) 1/3)
17.308 * [backup-simplify]: Simplify (cbrt (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 1/3)
17.308 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 1/3) in (x) around 0
17.308 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 1/3) in x
17.308 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ 1 x))))) in x
17.308 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ 1 x)))) in x
17.308 * [taylor]: Taking taylor expansion of 1/3 in x
17.308 * [backup-simplify]: Simplify 1/3 into 1/3
17.308 * [taylor]: Taking taylor expansion of (log (fabs (/ 1 x))) in x
17.308 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
17.308 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
17.308 * [backup-simplify]: Simplify (log (fabs (/ 1 x))) into (log (fabs (/ 1 x)))
17.309 * [backup-simplify]: Simplify (* 1/3 (log (fabs (/ 1 x)))) into (* 1/3 (log (fabs (/ 1 x))))
17.309 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (/ 1 x))))) into (pow (fabs (/ 1 x)) 1/3)
17.309 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 1/3) in x
17.309 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ 1 x))))) in x
17.309 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ 1 x)))) in x
17.309 * [taylor]: Taking taylor expansion of 1/3 in x
17.309 * [backup-simplify]: Simplify 1/3 into 1/3
17.309 * [taylor]: Taking taylor expansion of (log (fabs (/ 1 x))) in x
17.309 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
17.309 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
17.309 * [backup-simplify]: Simplify (log (fabs (/ 1 x))) into (log (fabs (/ 1 x)))
17.309 * [backup-simplify]: Simplify (* 1/3 (log (fabs (/ 1 x)))) into (* 1/3 (log (fabs (/ 1 x))))
17.309 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (/ 1 x))))) into (pow (fabs (/ 1 x)) 1/3)
17.310 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 1/3) into (pow (fabs (/ 1 x)) 1/3)
17.310 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (/ 1 x)) 1)))) 1) into 0
17.311 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fabs (/ 1 x))))) into 0
17.312 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ 1 x))))) (+ (* (/ (pow 0 1) 1)))) into 0
17.312 * [backup-simplify]: Simplify 0 into 0
17.313 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (/ 1 x)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (/ 1 x)) 1)))) 2) into 0
17.313 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fabs (/ 1 x)))))) into 0
17.314 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ 1 x))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.314 * [backup-simplify]: Simplify 0 into 0
17.316 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (/ 1 x)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (/ 1 x)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (/ 1 x)) 1)))) 6) into 0
17.317 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ 1 x))))))) into 0
17.318 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ 1 x))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
17.318 * [backup-simplify]: Simplify 0 into 0
17.321 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fabs (/ 1 x)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fabs (/ 1 x)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fabs (/ 1 x)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fabs (/ 1 x)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fabs (/ 1 x)) 1)))) 24) into 0
17.322 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ 1 x)))))))) into 0
17.323 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ 1 x))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.323 * [backup-simplify]: Simplify 0 into 0
17.328 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fabs (/ 1 x)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fabs (/ 1 x)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fabs (/ 1 x)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fabs (/ 1 x)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fabs (/ 1 x)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fabs (/ 1 x)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fabs (/ 1 x)) 1)))) 120) into 0
17.329 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ 1 x))))))))) into 0
17.331 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ 1 x))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
17.331 * [backup-simplify]: Simplify 0 into 0
17.338 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fabs (/ 1 x)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fabs (/ 1 x)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fabs (/ 1 x)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fabs (/ 1 x)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fabs (/ 1 x)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fabs (/ 1 x)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fabs (/ 1 x)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fabs (/ 1 x)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fabs (/ 1 x)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fabs (/ 1 x)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fabs (/ 1 x)) 1)))) 720) into 0
17.340 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ 1 x)))))))))) into 0
17.342 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ 1 x))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.343 * [backup-simplify]: Simplify 0 into 0
17.343 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 1/3) into (pow (fabs x) 1/3)
17.343 * [backup-simplify]: Simplify (cbrt (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 1/3)
17.343 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 1/3) in (x) around 0
17.343 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 1/3) in x
17.343 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ -1 x))))) in x
17.343 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ -1 x)))) in x
17.343 * [taylor]: Taking taylor expansion of 1/3 in x
17.343 * [backup-simplify]: Simplify 1/3 into 1/3
17.343 * [taylor]: Taking taylor expansion of (log (fabs (/ -1 x))) in x
17.343 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
17.343 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
17.343 * [backup-simplify]: Simplify (log (fabs (/ -1 x))) into (log (fabs (/ -1 x)))
17.343 * [backup-simplify]: Simplify (* 1/3 (log (fabs (/ -1 x)))) into (* 1/3 (log (fabs (/ -1 x))))
17.343 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (/ -1 x))))) into (pow (fabs (/ -1 x)) 1/3)
17.343 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 1/3) in x
17.343 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ -1 x))))) in x
17.343 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ -1 x)))) in x
17.343 * [taylor]: Taking taylor expansion of 1/3 in x
17.343 * [backup-simplify]: Simplify 1/3 into 1/3
17.343 * [taylor]: Taking taylor expansion of (log (fabs (/ -1 x))) in x
17.343 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
17.343 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
17.343 * [backup-simplify]: Simplify (log (fabs (/ -1 x))) into (log (fabs (/ -1 x)))
17.344 * [backup-simplify]: Simplify (* 1/3 (log (fabs (/ -1 x)))) into (* 1/3 (log (fabs (/ -1 x))))
17.344 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (/ -1 x))))) into (pow (fabs (/ -1 x)) 1/3)
17.344 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 1/3) into (pow (fabs (/ -1 x)) 1/3)
17.344 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (/ -1 x)) 1)))) 1) into 0
17.345 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fabs (/ -1 x))))) into 0
17.345 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ -1 x))))) (+ (* (/ (pow 0 1) 1)))) into 0
17.345 * [backup-simplify]: Simplify 0 into 0
17.346 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (/ -1 x)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (/ -1 x)) 1)))) 2) into 0
17.347 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fabs (/ -1 x)))))) into 0
17.348 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ -1 x))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.348 * [backup-simplify]: Simplify 0 into 0
17.350 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (/ -1 x)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (/ -1 x)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (/ -1 x)) 1)))) 6) into 0
17.350 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ -1 x))))))) into 0
17.351 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ -1 x))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
17.351 * [backup-simplify]: Simplify 0 into 0
17.354 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fabs (/ -1 x)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fabs (/ -1 x)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fabs (/ -1 x)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fabs (/ -1 x)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fabs (/ -1 x)) 1)))) 24) into 0
17.355 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ -1 x)))))))) into 0
17.357 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ -1 x))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.357 * [backup-simplify]: Simplify 0 into 0
17.362 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fabs (/ -1 x)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fabs (/ -1 x)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fabs (/ -1 x)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fabs (/ -1 x)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fabs (/ -1 x)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fabs (/ -1 x)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fabs (/ -1 x)) 1)))) 120) into 0
17.363 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ -1 x))))))))) into 0
17.366 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ -1 x))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
17.366 * [backup-simplify]: Simplify 0 into 0
17.376 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fabs (/ -1 x)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fabs (/ -1 x)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fabs (/ -1 x)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fabs (/ -1 x)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fabs (/ -1 x)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fabs (/ -1 x)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fabs (/ -1 x)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fabs (/ -1 x)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fabs (/ -1 x)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fabs (/ -1 x)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fabs (/ -1 x)) 1)))) 720) into 0
17.378 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ -1 x)))))))))) into 0
17.384 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ -1 x))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.384 * [backup-simplify]: Simplify 0 into 0
17.385 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 1/3) into (pow (fabs x) 1/3)
17.385 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 1 2 2)
17.385 * [backup-simplify]: Simplify (cbrt (fabs x)) into (pow (fabs x) 1/3)
17.385 * [approximate]: Taking taylor expansion of (pow (fabs x) 1/3) in (x) around 0
17.385 * [taylor]: Taking taylor expansion of (pow (fabs x) 1/3) in x
17.385 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs x)))) in x
17.385 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs x))) in x
17.385 * [taylor]: Taking taylor expansion of 1/3 in x
17.385 * [backup-simplify]: Simplify 1/3 into 1/3
17.385 * [taylor]: Taking taylor expansion of (log (fabs x)) in x
17.385 * [taylor]: Taking taylor expansion of (fabs x) in x
17.385 * [backup-simplify]: Simplify (fabs x) into (fabs x)
17.385 * [backup-simplify]: Simplify (log (fabs x)) into (log (fabs x))
17.385 * [backup-simplify]: Simplify (* 1/3 (log (fabs x))) into (* 1/3 (log (fabs x)))
17.386 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs x)))) into (pow (fabs x) 1/3)
17.386 * [taylor]: Taking taylor expansion of (pow (fabs x) 1/3) in x
17.386 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs x)))) in x
17.386 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs x))) in x
17.386 * [taylor]: Taking taylor expansion of 1/3 in x
17.386 * [backup-simplify]: Simplify 1/3 into 1/3
17.386 * [taylor]: Taking taylor expansion of (log (fabs x)) in x
17.386 * [taylor]: Taking taylor expansion of (fabs x) in x
17.386 * [backup-simplify]: Simplify (fabs x) into (fabs x)
17.386 * [backup-simplify]: Simplify (log (fabs x)) into (log (fabs x))
17.386 * [backup-simplify]: Simplify (* 1/3 (log (fabs x))) into (* 1/3 (log (fabs x)))
17.386 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs x)))) into (pow (fabs x) 1/3)
17.386 * [backup-simplify]: Simplify (pow (fabs x) 1/3) into (pow (fabs x) 1/3)
17.387 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs x) 1)))) 1) into 0
17.388 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fabs x)))) into 0
17.389 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs x)))) (+ (* (/ (pow 0 1) 1)))) into 0
17.389 * [backup-simplify]: Simplify 0 into 0
17.391 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs x) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs x) 1)))) 2) into 0
17.391 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fabs x))))) into 0
17.393 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs x)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.393 * [backup-simplify]: Simplify 0 into 0
17.396 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs x) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs x) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs x) 1)))) 6) into 0
17.397 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs x)))))) into 0
17.399 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs x)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
17.399 * [backup-simplify]: Simplify 0 into 0
17.402 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fabs x) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fabs x) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fabs x) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fabs x) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fabs x) 1)))) 24) into 0
17.403 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs x))))))) into 0
17.404 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs x)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.404 * [backup-simplify]: Simplify 0 into 0
17.409 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fabs x) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fabs x) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fabs x) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fabs x) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fabs x) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fabs x) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fabs x) 1)))) 120) into 0
17.410 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs x)))))))) into 0
17.412 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs x)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
17.412 * [backup-simplify]: Simplify 0 into 0
17.419 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fabs x) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fabs x) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fabs x) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fabs x) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fabs x) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fabs x) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fabs x) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fabs x) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fabs x) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fabs x) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fabs x) 1)))) 720) into 0
17.421 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs x))))))))) into 0
17.424 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs x)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.424 * [backup-simplify]: Simplify 0 into 0
17.424 * [backup-simplify]: Simplify (pow (fabs x) 1/3) into (pow (fabs x) 1/3)
17.424 * [backup-simplify]: Simplify (cbrt (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 1/3)
17.424 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 1/3) in (x) around 0
17.424 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 1/3) in x
17.424 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ 1 x))))) in x
17.424 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ 1 x)))) in x
17.424 * [taylor]: Taking taylor expansion of 1/3 in x
17.424 * [backup-simplify]: Simplify 1/3 into 1/3
17.424 * [taylor]: Taking taylor expansion of (log (fabs (/ 1 x))) in x
17.424 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
17.424 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
17.424 * [backup-simplify]: Simplify (log (fabs (/ 1 x))) into (log (fabs (/ 1 x)))
17.425 * [backup-simplify]: Simplify (* 1/3 (log (fabs (/ 1 x)))) into (* 1/3 (log (fabs (/ 1 x))))
17.425 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (/ 1 x))))) into (pow (fabs (/ 1 x)) 1/3)
17.425 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 1/3) in x
17.425 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ 1 x))))) in x
17.425 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ 1 x)))) in x
17.425 * [taylor]: Taking taylor expansion of 1/3 in x
17.425 * [backup-simplify]: Simplify 1/3 into 1/3
17.425 * [taylor]: Taking taylor expansion of (log (fabs (/ 1 x))) in x
17.425 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
17.425 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
17.425 * [backup-simplify]: Simplify (log (fabs (/ 1 x))) into (log (fabs (/ 1 x)))
17.425 * [backup-simplify]: Simplify (* 1/3 (log (fabs (/ 1 x)))) into (* 1/3 (log (fabs (/ 1 x))))
17.425 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (/ 1 x))))) into (pow (fabs (/ 1 x)) 1/3)
17.425 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 1/3) into (pow (fabs (/ 1 x)) 1/3)
17.426 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (/ 1 x)) 1)))) 1) into 0
17.426 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fabs (/ 1 x))))) into 0
17.427 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ 1 x))))) (+ (* (/ (pow 0 1) 1)))) into 0
17.427 * [backup-simplify]: Simplify 0 into 0
17.428 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (/ 1 x)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (/ 1 x)) 1)))) 2) into 0
17.428 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fabs (/ 1 x)))))) into 0
17.429 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ 1 x))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.429 * [backup-simplify]: Simplify 0 into 0
17.431 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (/ 1 x)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (/ 1 x)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (/ 1 x)) 1)))) 6) into 0
17.432 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ 1 x))))))) into 0
17.434 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ 1 x))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
17.434 * [backup-simplify]: Simplify 0 into 0
17.439 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fabs (/ 1 x)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fabs (/ 1 x)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fabs (/ 1 x)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fabs (/ 1 x)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fabs (/ 1 x)) 1)))) 24) into 0
17.440 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ 1 x)))))))) into 0
17.443 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ 1 x))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.443 * [backup-simplify]: Simplify 0 into 0
17.451 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fabs (/ 1 x)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fabs (/ 1 x)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fabs (/ 1 x)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fabs (/ 1 x)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fabs (/ 1 x)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fabs (/ 1 x)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fabs (/ 1 x)) 1)))) 120) into 0
17.453 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ 1 x))))))))) into 0
17.457 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ 1 x))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
17.457 * [backup-simplify]: Simplify 0 into 0
17.467 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fabs (/ 1 x)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fabs (/ 1 x)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fabs (/ 1 x)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fabs (/ 1 x)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fabs (/ 1 x)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fabs (/ 1 x)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fabs (/ 1 x)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fabs (/ 1 x)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fabs (/ 1 x)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fabs (/ 1 x)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fabs (/ 1 x)) 1)))) 720) into 0
17.468 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ 1 x)))))))))) into 0
17.472 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ 1 x))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.472 * [backup-simplify]: Simplify 0 into 0
17.472 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 1/3) into (pow (fabs x) 1/3)
17.472 * [backup-simplify]: Simplify (cbrt (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 1/3)
17.472 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 1/3) in (x) around 0
17.472 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 1/3) in x
17.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ -1 x))))) in x
17.472 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ -1 x)))) in x
17.472 * [taylor]: Taking taylor expansion of 1/3 in x
17.472 * [backup-simplify]: Simplify 1/3 into 1/3
17.472 * [taylor]: Taking taylor expansion of (log (fabs (/ -1 x))) in x
17.472 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
17.472 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
17.472 * [backup-simplify]: Simplify (log (fabs (/ -1 x))) into (log (fabs (/ -1 x)))
17.472 * [backup-simplify]: Simplify (* 1/3 (log (fabs (/ -1 x)))) into (* 1/3 (log (fabs (/ -1 x))))
17.472 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (/ -1 x))))) into (pow (fabs (/ -1 x)) 1/3)
17.472 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 1/3) in x
17.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ -1 x))))) in x
17.473 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ -1 x)))) in x
17.473 * [taylor]: Taking taylor expansion of 1/3 in x
17.473 * [backup-simplify]: Simplify 1/3 into 1/3
17.473 * [taylor]: Taking taylor expansion of (log (fabs (/ -1 x))) in x
17.473 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
17.473 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
17.473 * [backup-simplify]: Simplify (log (fabs (/ -1 x))) into (log (fabs (/ -1 x)))
17.473 * [backup-simplify]: Simplify (* 1/3 (log (fabs (/ -1 x)))) into (* 1/3 (log (fabs (/ -1 x))))
17.473 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (/ -1 x))))) into (pow (fabs (/ -1 x)) 1/3)
17.473 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 1/3) into (pow (fabs (/ -1 x)) 1/3)
17.474 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (/ -1 x)) 1)))) 1) into 0
17.474 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fabs (/ -1 x))))) into 0
17.476 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ -1 x))))) (+ (* (/ (pow 0 1) 1)))) into 0
17.476 * [backup-simplify]: Simplify 0 into 0
17.477 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (/ -1 x)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (/ -1 x)) 1)))) 2) into 0
17.478 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fabs (/ -1 x)))))) into 0
17.478 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ -1 x))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.478 * [backup-simplify]: Simplify 0 into 0
17.480 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (/ -1 x)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (/ -1 x)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (/ -1 x)) 1)))) 6) into 0
17.481 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ -1 x))))))) into 0
17.482 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ -1 x))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
17.482 * [backup-simplify]: Simplify 0 into 0
17.485 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fabs (/ -1 x)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fabs (/ -1 x)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fabs (/ -1 x)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fabs (/ -1 x)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fabs (/ -1 x)) 1)))) 24) into 0
17.486 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ -1 x)))))))) into 0
17.487 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ -1 x))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.487 * [backup-simplify]: Simplify 0 into 0
17.492 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fabs (/ -1 x)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fabs (/ -1 x)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fabs (/ -1 x)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fabs (/ -1 x)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fabs (/ -1 x)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fabs (/ -1 x)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fabs (/ -1 x)) 1)))) 120) into 0
17.493 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ -1 x))))))))) into 0
17.496 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ -1 x))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
17.496 * [backup-simplify]: Simplify 0 into 0
17.510 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fabs (/ -1 x)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fabs (/ -1 x)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fabs (/ -1 x)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fabs (/ -1 x)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fabs (/ -1 x)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fabs (/ -1 x)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fabs (/ -1 x)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fabs (/ -1 x)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fabs (/ -1 x)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fabs (/ -1 x)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fabs (/ -1 x)) 1)))) 720) into 0
17.512 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ -1 x)))))))))) into 0
17.519 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ -1 x))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.519 * [backup-simplify]: Simplify 0 into 0
17.519 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 1/3) into (pow (fabs x) 1/3)
17.519 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 1 2 1)
17.519 * [backup-simplify]: Simplify (cbrt (fabs x)) into (pow (fabs x) 1/3)
17.519 * [approximate]: Taking taylor expansion of (pow (fabs x) 1/3) in (x) around 0
17.519 * [taylor]: Taking taylor expansion of (pow (fabs x) 1/3) in x
17.519 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs x)))) in x
17.519 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs x))) in x
17.519 * [taylor]: Taking taylor expansion of 1/3 in x
17.519 * [backup-simplify]: Simplify 1/3 into 1/3
17.520 * [taylor]: Taking taylor expansion of (log (fabs x)) in x
17.520 * [taylor]: Taking taylor expansion of (fabs x) in x
17.520 * [backup-simplify]: Simplify (fabs x) into (fabs x)
17.520 * [backup-simplify]: Simplify (log (fabs x)) into (log (fabs x))
17.520 * [backup-simplify]: Simplify (* 1/3 (log (fabs x))) into (* 1/3 (log (fabs x)))
17.520 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs x)))) into (pow (fabs x) 1/3)
17.520 * [taylor]: Taking taylor expansion of (pow (fabs x) 1/3) in x
17.520 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs x)))) in x
17.520 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs x))) in x
17.520 * [taylor]: Taking taylor expansion of 1/3 in x
17.520 * [backup-simplify]: Simplify 1/3 into 1/3
17.520 * [taylor]: Taking taylor expansion of (log (fabs x)) in x
17.520 * [taylor]: Taking taylor expansion of (fabs x) in x
17.520 * [backup-simplify]: Simplify (fabs x) into (fabs x)
17.520 * [backup-simplify]: Simplify (log (fabs x)) into (log (fabs x))
17.520 * [backup-simplify]: Simplify (* 1/3 (log (fabs x))) into (* 1/3 (log (fabs x)))
17.521 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs x)))) into (pow (fabs x) 1/3)
17.521 * [backup-simplify]: Simplify (pow (fabs x) 1/3) into (pow (fabs x) 1/3)
17.522 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs x) 1)))) 1) into 0
17.523 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fabs x)))) into 0
17.524 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs x)))) (+ (* (/ (pow 0 1) 1)))) into 0
17.524 * [backup-simplify]: Simplify 0 into 0
17.525 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs x) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs x) 1)))) 2) into 0
17.526 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fabs x))))) into 0
17.528 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs x)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.528 * [backup-simplify]: Simplify 0 into 0
17.531 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs x) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs x) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs x) 1)))) 6) into 0
17.532 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs x)))))) into 0
17.534 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs x)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
17.534 * [backup-simplify]: Simplify 0 into 0
17.539 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fabs x) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fabs x) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fabs x) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fabs x) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fabs x) 1)))) 24) into 0
17.541 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs x))))))) into 0
17.544 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs x)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.544 * [backup-simplify]: Simplify 0 into 0
17.552 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fabs x) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fabs x) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fabs x) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fabs x) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fabs x) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fabs x) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fabs x) 1)))) 120) into 0
17.554 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs x)))))))) into 0
17.558 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs x)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
17.559 * [backup-simplify]: Simplify 0 into 0
17.572 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fabs x) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fabs x) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fabs x) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fabs x) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fabs x) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fabs x) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fabs x) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fabs x) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fabs x) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fabs x) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fabs x) 1)))) 720) into 0
17.575 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs x))))))))) into 0
17.581 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs x)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.581 * [backup-simplify]: Simplify 0 into 0
17.581 * [backup-simplify]: Simplify (pow (fabs x) 1/3) into (pow (fabs x) 1/3)
17.582 * [backup-simplify]: Simplify (cbrt (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 1/3)
17.582 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 1/3) in (x) around 0
17.582 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 1/3) in x
17.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ 1 x))))) in x
17.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ 1 x)))) in x
17.582 * [taylor]: Taking taylor expansion of 1/3 in x
17.582 * [backup-simplify]: Simplify 1/3 into 1/3
17.582 * [taylor]: Taking taylor expansion of (log (fabs (/ 1 x))) in x
17.582 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
17.582 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
17.582 * [backup-simplify]: Simplify (log (fabs (/ 1 x))) into (log (fabs (/ 1 x)))
17.582 * [backup-simplify]: Simplify (* 1/3 (log (fabs (/ 1 x)))) into (* 1/3 (log (fabs (/ 1 x))))
17.582 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (/ 1 x))))) into (pow (fabs (/ 1 x)) 1/3)
17.582 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 1/3) in x
17.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ 1 x))))) in x
17.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ 1 x)))) in x
17.582 * [taylor]: Taking taylor expansion of 1/3 in x
17.583 * [backup-simplify]: Simplify 1/3 into 1/3
17.583 * [taylor]: Taking taylor expansion of (log (fabs (/ 1 x))) in x
17.583 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
17.583 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
17.583 * [backup-simplify]: Simplify (log (fabs (/ 1 x))) into (log (fabs (/ 1 x)))
17.583 * [backup-simplify]: Simplify (* 1/3 (log (fabs (/ 1 x)))) into (* 1/3 (log (fabs (/ 1 x))))
17.583 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (/ 1 x))))) into (pow (fabs (/ 1 x)) 1/3)
17.583 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 1/3) into (pow (fabs (/ 1 x)) 1/3)
17.584 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (/ 1 x)) 1)))) 1) into 0
17.585 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fabs (/ 1 x))))) into 0
17.586 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ 1 x))))) (+ (* (/ (pow 0 1) 1)))) into 0
17.586 * [backup-simplify]: Simplify 0 into 0
17.588 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (/ 1 x)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (/ 1 x)) 1)))) 2) into 0
17.589 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fabs (/ 1 x)))))) into 0
17.590 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ 1 x))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.590 * [backup-simplify]: Simplify 0 into 0
17.594 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (/ 1 x)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (/ 1 x)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (/ 1 x)) 1)))) 6) into 0
17.595 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ 1 x))))))) into 0
17.597 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ 1 x))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
17.597 * [backup-simplify]: Simplify 0 into 0
17.603 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fabs (/ 1 x)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fabs (/ 1 x)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fabs (/ 1 x)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fabs (/ 1 x)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fabs (/ 1 x)) 1)))) 24) into 0
17.605 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ 1 x)))))))) into 0
17.607 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ 1 x))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.607 * [backup-simplify]: Simplify 0 into 0
17.618 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fabs (/ 1 x)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fabs (/ 1 x)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fabs (/ 1 x)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fabs (/ 1 x)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fabs (/ 1 x)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fabs (/ 1 x)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fabs (/ 1 x)) 1)))) 120) into 0
17.621 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ 1 x))))))))) into 0
17.625 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ 1 x))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
17.625 * [backup-simplify]: Simplify 0 into 0
17.639 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fabs (/ 1 x)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fabs (/ 1 x)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fabs (/ 1 x)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fabs (/ 1 x)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fabs (/ 1 x)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fabs (/ 1 x)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fabs (/ 1 x)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fabs (/ 1 x)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fabs (/ 1 x)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fabs (/ 1 x)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fabs (/ 1 x)) 1)))) 720) into 0
17.641 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ 1 x)))))))))) into 0
17.647 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ 1 x))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.648 * [backup-simplify]: Simplify 0 into 0
17.648 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 1/3) into (pow (fabs x) 1/3)
17.648 * [backup-simplify]: Simplify (cbrt (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 1/3)
17.648 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 1/3) in (x) around 0
17.648 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 1/3) in x
17.648 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ -1 x))))) in x
17.648 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ -1 x)))) in x
17.648 * [taylor]: Taking taylor expansion of 1/3 in x
17.648 * [backup-simplify]: Simplify 1/3 into 1/3
17.648 * [taylor]: Taking taylor expansion of (log (fabs (/ -1 x))) in x
17.648 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
17.648 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
17.649 * [backup-simplify]: Simplify (log (fabs (/ -1 x))) into (log (fabs (/ -1 x)))
17.649 * [backup-simplify]: Simplify (* 1/3 (log (fabs (/ -1 x)))) into (* 1/3 (log (fabs (/ -1 x))))
17.649 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (/ -1 x))))) into (pow (fabs (/ -1 x)) 1/3)
17.649 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 1/3) in x
17.649 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ -1 x))))) in x
17.649 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ -1 x)))) in x
17.649 * [taylor]: Taking taylor expansion of 1/3 in x
17.649 * [backup-simplify]: Simplify 1/3 into 1/3
17.649 * [taylor]: Taking taylor expansion of (log (fabs (/ -1 x))) in x
17.649 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
17.649 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
17.649 * [backup-simplify]: Simplify (log (fabs (/ -1 x))) into (log (fabs (/ -1 x)))
17.649 * [backup-simplify]: Simplify (* 1/3 (log (fabs (/ -1 x)))) into (* 1/3 (log (fabs (/ -1 x))))
17.650 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (/ -1 x))))) into (pow (fabs (/ -1 x)) 1/3)
17.650 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 1/3) into (pow (fabs (/ -1 x)) 1/3)
17.651 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (/ -1 x)) 1)))) 1) into 0
17.652 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fabs (/ -1 x))))) into 0
17.653 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ -1 x))))) (+ (* (/ (pow 0 1) 1)))) into 0
17.653 * [backup-simplify]: Simplify 0 into 0
17.655 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (/ -1 x)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (/ -1 x)) 1)))) 2) into 0
17.656 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fabs (/ -1 x)))))) into 0
17.657 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ -1 x))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.657 * [backup-simplify]: Simplify 0 into 0
17.660 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (/ -1 x)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (/ -1 x)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (/ -1 x)) 1)))) 6) into 0
17.662 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ -1 x))))))) into 0
17.663 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ -1 x))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
17.664 * [backup-simplify]: Simplify 0 into 0
17.669 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fabs (/ -1 x)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fabs (/ -1 x)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fabs (/ -1 x)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fabs (/ -1 x)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fabs (/ -1 x)) 1)))) 24) into 0
17.671 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ -1 x)))))))) into 0
17.674 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ -1 x))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.674 * [backup-simplify]: Simplify 0 into 0
17.683 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fabs (/ -1 x)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fabs (/ -1 x)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fabs (/ -1 x)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fabs (/ -1 x)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fabs (/ -1 x)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fabs (/ -1 x)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fabs (/ -1 x)) 1)))) 120) into 0
17.685 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ -1 x))))))))) into 0
17.689 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ -1 x))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
17.689 * [backup-simplify]: Simplify 0 into 0
17.703 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fabs (/ -1 x)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fabs (/ -1 x)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fabs (/ -1 x)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fabs (/ -1 x)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fabs (/ -1 x)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fabs (/ -1 x)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fabs (/ -1 x)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fabs (/ -1 x)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fabs (/ -1 x)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fabs (/ -1 x)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fabs (/ -1 x)) 1)))) 720) into 0
17.705 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (/ -1 x)))))))))) into 0
17.712 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (/ -1 x))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
17.712 * [backup-simplify]: Simplify 0 into 0
17.712 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 1/3) into (pow (fabs x) 1/3)
17.712 * * * [progress]: simplifying candidates
17.714 * [simplify]: Simplifying:
  (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (* (sqrt PI) (sqrt PI)) (sqrt PI))
  (sqrt (* (cbrt PI) (cbrt PI)))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (sqrt 1)
  (sqrt PI)
  (/ 1 2)
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (log (cbrt (fabs x)))
  (exp (cbrt (fabs x)))
  (cbrt (* (cbrt (fabs x)) (cbrt (fabs x))))
  (cbrt (cbrt (fabs x)))
  (cbrt (sqrt (fabs x)))
  (cbrt (sqrt (fabs x)))
  (cbrt 1)
  (cbrt (fabs x))
  (* (cbrt (cbrt (fabs x))) (cbrt (cbrt (fabs x))))
  (cbrt (cbrt (fabs x)))
  (* (* (cbrt (fabs x)) (cbrt (fabs x))) (cbrt (fabs x)))
  (sqrt (cbrt (fabs x)))
  (sqrt (cbrt (fabs x)))
  (log (cbrt (fabs x)))
  (exp (cbrt (fabs x)))
  (cbrt (* (cbrt (fabs x)) (cbrt (fabs x))))
  (cbrt (cbrt (fabs x)))
  (cbrt (sqrt (fabs x)))
  (cbrt (sqrt (fabs x)))
  (cbrt 1)
  (cbrt (fabs x))
  (* (cbrt (cbrt (fabs x))) (cbrt (cbrt (fabs x))))
  (cbrt (cbrt (fabs x)))
  (* (* (cbrt (fabs x)) (cbrt (fabs x))) (cbrt (fabs x)))
  (sqrt (cbrt (fabs x)))
  (sqrt (cbrt (fabs x)))
  (log (cbrt (fabs x)))
  (exp (cbrt (fabs x)))
  (cbrt (* (cbrt (fabs x)) (cbrt (fabs x))))
  (cbrt (cbrt (fabs x)))
  (cbrt (sqrt (fabs x)))
  (cbrt (sqrt (fabs x)))
  (cbrt 1)
  (cbrt (fabs x))
  (* (cbrt (cbrt (fabs x))) (cbrt (cbrt (fabs x))))
  (cbrt (cbrt (fabs x)))
  (* (* (cbrt (fabs x)) (cbrt (fabs x))) (cbrt (fabs x)))
  (sqrt (cbrt (fabs x)))
  (sqrt (cbrt (fabs x)))
  (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (pow (fabs x) 1/3)
  (pow (fabs x) 1/3)
  (pow (fabs x) 1/3)
  (pow (fabs x) 1/3)
  (pow (fabs x) 1/3)
  (pow (fabs x) 1/3)
  (pow (fabs x) 1/3)
  (pow (fabs x) 1/3)
  (pow (fabs x) 1/3)
17.714 * * [simplify]: iteration 0: 35 enodes
17.727 * * [simplify]: iteration 1: 56 enodes
17.745 * * [simplify]: iteration 2: 137 enodes
17.826 * * [simplify]: iteration 3: 500 enodes
19.109 * * [simplify]: iteration 4: 4864 enodes
25.845 * * [simplify]: iteration complete: 5001 enodes
25.845 * * [simplify]: Extracting #0: cost 21 inf + 0
25.846 * * [simplify]: Extracting #1: cost 409 inf + 2
25.851 * * [simplify]: Extracting #2: cost 1515 inf + 3095
25.861 * * [simplify]: Extracting #3: cost 1306 inf + 88836
25.921 * * [simplify]: Extracting #4: cost 200 inf + 582225
26.050 * * [simplify]: Extracting #5: cost 0 inf + 679673
26.135 * * [simplify]: Extracting #6: cost 0 inf + 677913
26.227 * [simplify]: Simplified to:
  (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* PI (sqrt PI))
  (fabs (cbrt PI))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  1
  (sqrt PI)
  1/2
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (* (log (fabs x)) 1/3)
  (exp (cbrt (fabs x)))
  (cbrt (* (cbrt (fabs x)) (cbrt (fabs x))))
  (cbrt (cbrt (fabs x)))
  (cbrt (sqrt (fabs x)))
  (cbrt (sqrt (fabs x)))
  1
  (cbrt (fabs x))
  (* (cbrt (cbrt (fabs x))) (cbrt (cbrt (fabs x))))
  (cbrt (cbrt (fabs x)))
  (fabs x)
  (sqrt (cbrt (fabs x)))
  (sqrt (cbrt (fabs x)))
  (* (log (fabs x)) 1/3)
  (exp (cbrt (fabs x)))
  (cbrt (* (cbrt (fabs x)) (cbrt (fabs x))))
  (cbrt (cbrt (fabs x)))
  (cbrt (sqrt (fabs x)))
  (cbrt (sqrt (fabs x)))
  1
  (cbrt (fabs x))
  (* (cbrt (cbrt (fabs x))) (cbrt (cbrt (fabs x))))
  (cbrt (cbrt (fabs x)))
  (fabs x)
  (sqrt (cbrt (fabs x)))
  (sqrt (cbrt (fabs x)))
  (* (log (fabs x)) 1/3)
  (exp (cbrt (fabs x)))
  (cbrt (* (cbrt (fabs x)) (cbrt (fabs x))))
  (cbrt (cbrt (fabs x)))
  (cbrt (sqrt (fabs x)))
  (cbrt (sqrt (fabs x)))
  1
  (cbrt (fabs x))
  (* (cbrt (cbrt (fabs x))) (cbrt (cbrt (fabs x))))
  (cbrt (cbrt (fabs x)))
  (fabs x)
  (sqrt (cbrt (fabs x)))
  (sqrt (cbrt (fabs x)))
  (* (* (cbrt (fabs x)) (fabs x)) (* (cbrt (fabs x)) (fabs x)))
  (cbrt (fabs x))
  (cbrt (fabs x))
  (cbrt (fabs x))
  (cbrt (fabs x))
  (cbrt (fabs x))
  (cbrt (fabs x))
  (cbrt (fabs x))
  (cbrt (fabs x))
  (cbrt (fabs x))
26.252 * * * [progress]: adding candidates to table
26.698 * [progress]: [Phase 3 of 3] Extracting.
26.698 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (fabs (* (/ (* (fabs x) (+ 2.0 (* (* (fabs x) (fabs x)) (+ (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (+ (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (/ 1.0 21.0)))))))) (sqrt PI)) 1.0)))> #<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)) (* (cbrt (fabs x)) (pow (fabs x) 1/3))) (cbrt (fabs x))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (* (/ 1.0 21.0) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))))) (* (fabs x) 2.0)) (+ (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))))))))> #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (/ (cbrt 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)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (cbrt (fabs x))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))>)
26.702 * * * [regime-changes]: Trying 2 branch expressions: ((fabs x) x)
26.703 * * * * [regimes]: Trying to branch on (fabs x) from (#<alt (λ (x) (fabs (* (/ (* (fabs x) (+ 2.0 (* (* (fabs x) (fabs x)) (+ (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (+ (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (/ 1.0 21.0)))))))) (sqrt PI)) 1.0)))> #<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)) (* (cbrt (fabs x)) (pow (fabs x) 1/3))) (cbrt (fabs x))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (* (/ 1.0 21.0) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))))) (* (fabs x) 2.0)) (+ (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))))))))> #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (/ (cbrt 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)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (cbrt (fabs x))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))>)
26.781 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (fabs (* (/ (* (fabs x) (+ 2.0 (* (* (fabs x) (fabs x)) (+ (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (+ (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (/ 1.0 21.0)))))))) (sqrt PI)) 1.0)))> #<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)) (* (cbrt (fabs x)) (pow (fabs x) 1/3))) (cbrt (fabs x))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (* (/ 1.0 21.0) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))))) (* (fabs x) 2.0)) (+ (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (fabs x))))))))> #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (/ (cbrt 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)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (cbrt (fabs x))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))>)
26.853 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
26.854 * [simplify]: Simplifying:
  (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (/ (cbrt 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))))))
26.854 * * [simplify]: iteration 0: 33 enodes
26.859 * * [simplify]: iteration 1: 49 enodes
26.864 * * [simplify]: iteration complete: 49 enodes
26.864 * * [simplify]: Extracting #0: cost 1 inf + 0
26.864 * * [simplify]: Extracting #1: cost 2 inf + 0
26.864 * * [simplify]: Extracting #2: cost 4 inf + 0
26.864 * * [simplify]: Extracting #3: cost 8 inf + 0
26.865 * * [simplify]: Extracting #4: cost 12 inf + 1
26.865 * * [simplify]: Extracting #5: cost 18 inf + 2
26.865 * * [simplify]: Extracting #6: cost 20 inf + 168
26.865 * * [simplify]: Extracting #7: cost 20 inf + 213
26.865 * * [simplify]: Extracting #8: cost 18 inf + 418
26.866 * * [simplify]: Extracting #9: cost 12 inf + 1025
26.866 * * [simplify]: Extracting #10: cost 10 inf + 1509
26.867 * * [simplify]: Extracting #11: cost 6 inf + 2677
26.868 * * [simplify]: Extracting #12: cost 3 inf + 4128
26.870 * * [simplify]: Extracting #13: cost 2 inf + 4974
26.872 * * [simplify]: Extracting #14: cost 0 inf + 6948
26.875 * [simplify]: Simplified to:
  (fabs (* (+ (* (* (* (fabs x) (* (fabs x) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)))) (fabs x)) (/ 1.0 21.0)) (+ (* (* (fabs x) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (/ 1.0 5.0)) (+ (* (* (cbrt 2.0) (cbrt 2.0)) (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (fabs x) 2.0)))) (/ 1.0 (sqrt PI))))
31.816 * [regime-testing]: Baseline error score: 0.23664125086428237
31.833 * [regime-testing]: Oracle error score: 0.05109379297592486
31.867 * [regime-testing]: End program error score: 0.23664125086428237