29.153 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.071 * * * [progress]: [2/2] Setting up program. 0.078 * [progress]: [Phase 2 of 3] Improving. 0.078 * [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.079 * * [simplify]: iteration 0: 28 enodes 0.090 * * [simplify]: iteration 1: 69 enodes 0.119 * * [simplify]: iteration 2: 226 enodes 0.255 * * [simplify]: iteration 3: 855 enodes 0.992 * * [simplify]: iteration 4: 3015 enodes 2.084 * * [simplify]: iteration complete: 5013 enodes 2.084 * * [simplify]: Extracting #0: cost 1 inf + 0 2.085 * * [simplify]: Extracting #1: cost 2 inf + 0 2.085 * * [simplify]: Extracting #2: cost 108 inf + 0 2.088 * * [simplify]: Extracting #3: cost 671 inf + 1 2.103 * * [simplify]: Extracting #4: cost 1280 inf + 22954 2.174 * * [simplify]: Extracting #5: cost 797 inf + 174011 2.297 * * [simplify]: Extracting #6: cost 149 inf + 431131 2.505 * * [simplify]: Extracting #7: cost 2 inf + 498129 2.738 * * [simplify]: Extracting #8: cost 0 inf + 494235 2.982 * * [simplify]: Extracting #9: cost 0 inf + 492515 3.142 * [simplify]: Simplified to: (fabs (* (fabs x) (* (/ 1.0 (sqrt PI)) (+ (* (* (fabs x) (fabs x)) (+ (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (+ (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (/ 1.0 21.0)))))) 2.0)))) 3.148 * * [progress]: iteration 1 / 4 3.148 * * * [progress]: picking best candidate 3.167 * * * * [pick]: Picked # 3.167 * * * [progress]: localizing error 3.275 * * * [progress]: generating rewritten candidates 3.275 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 3.277 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 3.342 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 3.357 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 3.388 * * * [progress]: generating series expansions 3.389 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 3.389 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 3.390 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) into (* 0.6666666666666666 (pow (fabs x) 3)) 3.390 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 3.390 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 3.390 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.390 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 3.390 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 3.390 * [taylor]: Taking taylor expansion of (fabs x) in x 3.390 * [backup-simplify]: Simplify (fabs x) into (fabs x) 3.390 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 3.390 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.390 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 3.390 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 3.390 * [taylor]: Taking taylor expansion of (fabs x) in x 3.390 * [backup-simplify]: Simplify (fabs x) into (fabs x) 3.390 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 3.391 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 3.391 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 3.391 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 3.391 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 3.391 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 3.392 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs x) 3))) into 0 3.392 * [backup-simplify]: Simplify 0 into 0 3.393 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 3.393 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 3.394 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))) into 0 3.394 * [backup-simplify]: Simplify 0 into 0 3.395 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 3.396 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 3.398 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))) into 0 3.398 * [backup-simplify]: Simplify 0 into 0 3.399 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 3.400 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 3.402 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))) into 0 3.402 * [backup-simplify]: Simplify 0 into 0 3.403 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 3.405 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 3.407 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))))) into 0 3.407 * [backup-simplify]: Simplify 0 into 0 3.409 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 3.411 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 3.414 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))))) into 0 3.414 * [backup-simplify]: Simplify 0 into 0 3.414 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 3.415 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x)))) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 3.415 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 3.415 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 3.415 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.415 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 3.415 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 3.415 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.415 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 3.415 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 3.415 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.415 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 3.415 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 3.416 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.416 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 3.416 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 3.416 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 3.416 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 3.417 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 3.417 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 3.417 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 3.418 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ 1 x)) 3))) into 0 3.418 * [backup-simplify]: Simplify 0 into 0 3.418 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 3.419 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 3.420 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))) into 0 3.420 * [backup-simplify]: Simplify 0 into 0 3.421 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 3.422 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 3.424 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))) into 0 3.424 * [backup-simplify]: Simplify 0 into 0 3.425 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 3.427 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 3.429 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))) into 0 3.429 * [backup-simplify]: Simplify 0 into 0 3.431 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 3.432 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 3.435 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))))) into 0 3.435 * [backup-simplify]: Simplify 0 into 0 3.437 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 3.439 * [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 3.442 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))))) into 0 3.442 * [backup-simplify]: Simplify 0 into 0 3.442 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 (/ 1 x))) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 3.443 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x))))) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 3.443 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 3.443 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 3.443 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.443 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 3.443 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 3.443 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.443 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 3.443 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 3.443 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.443 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 3.443 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 3.443 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.443 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 3.443 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 3.444 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 3.444 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 3.444 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 3.444 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 3.445 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 3.445 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ -1 x)) 3))) into 0 3.445 * [backup-simplify]: Simplify 0 into 0 3.446 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 3.447 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 3.448 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))) into 0 3.448 * [backup-simplify]: Simplify 0 into 0 3.449 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 3.450 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 3.451 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))) into 0 3.451 * [backup-simplify]: Simplify 0 into 0 3.453 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 3.454 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 3.460 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))) into 0 3.460 * [backup-simplify]: Simplify 0 into 0 3.462 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 3.464 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 3.465 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))))) into 0 3.465 * [backup-simplify]: Simplify 0 into 0 3.466 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 3.468 * [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 3.469 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))))) into 0 3.469 * [backup-simplify]: Simplify 0 into 0 3.469 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 3.469 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 3.469 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 3.469 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 3.469 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 3.469 * [taylor]: Taking taylor expansion of (fabs x) in x 3.470 * [backup-simplify]: Simplify (fabs x) into (fabs x) 3.470 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 3.470 * [taylor]: Taking taylor expansion of (fabs x) in x 3.470 * [backup-simplify]: Simplify (fabs x) into (fabs x) 3.470 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 3.470 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 3.470 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 3.470 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 3.470 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 3.470 * [backup-simplify]: Simplify 0 into 0 3.470 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 3.471 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 3.471 * [backup-simplify]: Simplify 0 into 0 3.471 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 3.472 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 3.472 * [backup-simplify]: Simplify 0 into 0 3.473 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 3.474 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 3.474 * [backup-simplify]: Simplify 0 into 0 3.475 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 3.476 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 3.476 * [backup-simplify]: Simplify 0 into 0 3.477 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 3.479 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 3.479 * [backup-simplify]: Simplify 0 into 0 3.479 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 3.480 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 3.480 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 3.480 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 3.480 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.480 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 3.480 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 3.480 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.480 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 3.480 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 3.480 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 3.481 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 3.481 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 3.481 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 3.481 * [backup-simplify]: Simplify 0 into 0 3.482 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 3.482 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 3.483 * [backup-simplify]: Simplify 0 into 0 3.483 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 3.484 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 3.485 * [backup-simplify]: Simplify 0 into 0 3.486 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 3.487 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 3.487 * [backup-simplify]: Simplify 0 into 0 3.489 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 3.491 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 3.491 * [backup-simplify]: Simplify 0 into 0 3.493 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 3.495 * [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 3.495 * [backup-simplify]: Simplify 0 into 0 3.495 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 3.496 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 3.496 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 3.496 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 3.496 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.496 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 3.496 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 3.496 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.496 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 3.496 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 3.496 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 3.497 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 3.497 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 3.497 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 3.497 * [backup-simplify]: Simplify 0 into 0 3.498 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 3.498 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 3.498 * [backup-simplify]: Simplify 0 into 0 3.499 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 3.500 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 3.500 * [backup-simplify]: Simplify 0 into 0 3.502 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 3.503 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 3.503 * [backup-simplify]: Simplify 0 into 0 3.505 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 3.506 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 3.506 * [backup-simplify]: Simplify 0 into 0 3.507 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 3.509 * [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 3.509 * [backup-simplify]: Simplify 0 into 0 3.509 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 3.509 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2 1 1) 3.509 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 3.509 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 3.509 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 3.509 * [taylor]: Taking taylor expansion of (fabs x) in x 3.509 * [backup-simplify]: Simplify (fabs x) into (fabs x) 3.509 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 3.509 * [taylor]: Taking taylor expansion of (fabs x) in x 3.509 * [backup-simplify]: Simplify (fabs x) into (fabs x) 3.510 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 3.510 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 3.510 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 3.510 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 3.510 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 3.510 * [backup-simplify]: Simplify 0 into 0 3.510 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 3.511 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 3.511 * [backup-simplify]: Simplify 0 into 0 3.511 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 3.512 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 3.512 * [backup-simplify]: Simplify 0 into 0 3.513 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 3.513 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 3.513 * [backup-simplify]: Simplify 0 into 0 3.514 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 3.515 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 3.515 * [backup-simplify]: Simplify 0 into 0 3.517 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 3.518 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 3.518 * [backup-simplify]: Simplify 0 into 0 3.518 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 3.518 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 3.518 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 3.518 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 3.518 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.518 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 3.518 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 3.518 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.518 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 3.518 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 3.519 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 3.519 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 3.519 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 3.519 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 3.519 * [backup-simplify]: Simplify 0 into 0 3.519 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 3.520 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 3.520 * [backup-simplify]: Simplify 0 into 0 3.520 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 3.521 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 3.521 * [backup-simplify]: Simplify 0 into 0 3.522 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 3.523 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 3.523 * [backup-simplify]: Simplify 0 into 0 3.524 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 3.525 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 3.525 * [backup-simplify]: Simplify 0 into 0 3.526 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 3.527 * [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 3.527 * [backup-simplify]: Simplify 0 into 0 3.527 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 3.528 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 3.528 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 3.528 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 3.528 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.528 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 3.528 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 3.528 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.528 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 3.528 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 3.528 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 3.528 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 3.528 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 3.528 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 3.528 * [backup-simplify]: Simplify 0 into 0 3.529 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 3.529 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 3.529 * [backup-simplify]: Simplify 0 into 0 3.530 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 3.530 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 3.530 * [backup-simplify]: Simplify 0 into 0 3.531 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 3.532 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 3.532 * [backup-simplify]: Simplify 0 into 0 3.533 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 3.534 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 3.534 * [backup-simplify]: Simplify 0 into 0 3.535 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 3.537 * [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 3.537 * [backup-simplify]: Simplify 0 into 0 3.537 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 3.537 * * * [progress]: simplifying candidates 3.540 * [simplify]: Simplifying: (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (+ (- (log 2.0) (log 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (cbrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 3.543 * * [simplify]: iteration 0: 130 enodes 3.586 * * [simplify]: iteration 1: 340 enodes 3.777 * * [simplify]: iteration 2: 1184 enodes 4.828 * * [simplify]: iteration 3: 4703 enodes 6.337 * * [simplify]: iteration complete: 5001 enodes 6.338 * * [simplify]: Extracting #0: cost 44 inf + 0 6.339 * * [simplify]: Extracting #1: cost 496 inf + 3 6.343 * * [simplify]: Extracting #2: cost 1216 inf + 5390 6.367 * * [simplify]: Extracting #3: cost 708 inf + 162233 6.440 * * [simplify]: Extracting #4: cost 256 inf + 297667 6.533 * * [simplify]: Extracting #5: cost 101 inf + 347237 6.650 * * [simplify]: Extracting #6: cost 9 inf + 379680 6.769 * * [simplify]: Extracting #7: cost 0 inf + 382521 6.892 * * [simplify]: Extracting #8: cost 0 inf + 381801 6.981 * * [simplify]: Extracting #9: cost 0 inf + 381761 7.090 * [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)) (* (* (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))) (log (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (log (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (log (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (log (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (log (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (log (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (log (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (exp (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (* (* (* (* (* (fabs x) (fabs x)) (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (/ 2.0 3.0))) (* (* (fabs x) (fabs x)) (/ 2.0 3.0))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (* (fabs x) (fabs x)) (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (/ 2.0 3.0))) (* (* (fabs x) (fabs x)) (/ 2.0 3.0))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (* (fabs x) (fabs x)) (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (/ 2.0 3.0))) (* (* (fabs x) (fabs x)) (/ 2.0 3.0))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (* (fabs x) (fabs x)) (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (/ 2.0 3.0))) (* (* (fabs x) (fabs x)) (/ 2.0 3.0))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (* (fabs x) (fabs x)) (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (/ 2.0 3.0))) (* (* (fabs x) (fabs x)) (/ 2.0 3.0))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (* (fabs x) (fabs x)) (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (/ 2.0 3.0))) (* (* (fabs x) (fabs x)) (/ 2.0 3.0))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0))))) (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (* (* (* (* (* (fabs x) (fabs x)) (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (/ 2.0 3.0))) (* (* (fabs x) (fabs x)) (/ 2.0 3.0))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (sqrt (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (* (* (fabs x) (fabs x)) (/ 2.0 3.0)) (* (* (* (fabs x) (fabs x)) (fabs x)) (cbrt (/ 2.0 3.0))) (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (/ (* (* (* (fabs x) (fabs x)) (fabs x)) (cbrt 2.0)) (cbrt 3.0)) (* (* (/ (cbrt 2.0) (sqrt 3.0)) (fabs x)) (* (fabs x) (fabs x))) (/ (* (* (* (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) (/ (sqrt 2.0) (/ (sqrt 3.0) (* (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 (fabs x)) (sqrt 3.0)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0))) (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0))) (* (/ (* (fabs x) (fabs x)) 3.0) (fabs x)) (* (* (fabs x) 2.0) (* (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))) (* (* (fabs x) (cbrt (fabs x))) (* (fabs x) (cbrt (fabs x)))) (* (fabs x) (* (sqrt (fabs x)) (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))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (cbrt (fabs x))) (* (fabs x) (cbrt (fabs x)))) (* (fabs x) (* (sqrt (fabs x)) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (fabs (/ (* (+ (* (+ 2.0 (* (* (fabs x) (fabs x)) (/ 2.0 3.0))) (fabs x)) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* (/ 1.0 21.0) (* (fabs x) (fabs x))) (/ 1.0 5.0)))) 1.0) (sqrt PI))) (* 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)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) 7.121 * * * [progress]: adding candidates to table 8.068 * * [progress]: iteration 2 / 4 8.068 * * * [progress]: picking best candidate 8.105 * * * * [pick]: Picked # 8.105 * * * [progress]: localizing error 8.234 * * * [progress]: generating rewritten candidates 8.234 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 8.235 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 8.312 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 8.339 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2) 8.367 * * * [progress]: generating series expansions 8.367 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 8.367 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 8.369 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) into (* 0.6666666666666666 (pow (fabs x) 3)) 8.369 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 8.369 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 8.369 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 8.369 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 8.369 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 8.369 * [taylor]: Taking taylor expansion of (fabs x) in x 8.369 * [backup-simplify]: Simplify (fabs x) into (fabs x) 8.369 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 8.369 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 8.369 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 8.369 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 8.369 * [taylor]: Taking taylor expansion of (fabs x) in x 8.369 * [backup-simplify]: Simplify (fabs x) into (fabs x) 8.370 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 8.370 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 8.370 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 8.370 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 8.370 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 8.370 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 8.371 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs x) 3))) into 0 8.371 * [backup-simplify]: Simplify 0 into 0 8.371 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 8.371 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 8.372 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))) into 0 8.372 * [backup-simplify]: Simplify 0 into 0 8.372 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 8.373 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 8.374 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))) into 0 8.374 * [backup-simplify]: Simplify 0 into 0 8.375 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 8.375 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 8.376 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))) into 0 8.376 * [backup-simplify]: Simplify 0 into 0 8.377 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 8.378 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 8.380 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))))) into 0 8.380 * [backup-simplify]: Simplify 0 into 0 8.381 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 8.382 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 8.383 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))))) into 0 8.384 * [backup-simplify]: Simplify 0 into 0 8.384 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 8.384 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x)))) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 8.384 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 8.384 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 8.384 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 8.384 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 8.384 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 8.384 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 8.384 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 8.384 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 8.384 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 8.384 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 8.384 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 8.384 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 8.384 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 8.385 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 8.385 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 8.385 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 8.385 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 8.385 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 8.385 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 8.386 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ 1 x)) 3))) into 0 8.386 * [backup-simplify]: Simplify 0 into 0 8.386 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 8.386 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 8.387 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))) into 0 8.387 * [backup-simplify]: Simplify 0 into 0 8.387 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 8.388 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 8.389 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))) into 0 8.389 * [backup-simplify]: Simplify 0 into 0 8.391 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 8.392 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 8.394 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))) into 0 8.394 * [backup-simplify]: Simplify 0 into 0 8.395 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 8.397 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 8.399 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))))) into 0 8.399 * [backup-simplify]: Simplify 0 into 0 8.401 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 8.403 * [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 8.406 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))))) into 0 8.406 * [backup-simplify]: Simplify 0 into 0 8.406 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 (/ 1 x))) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 8.407 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x))))) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 8.407 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 8.407 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 8.407 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 8.407 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 8.407 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 8.407 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 8.407 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 8.407 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 8.407 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 8.407 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 8.407 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 8.407 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 8.407 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 8.408 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 8.408 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 8.408 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 8.408 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 8.408 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 8.409 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 8.409 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ -1 x)) 3))) into 0 8.409 * [backup-simplify]: Simplify 0 into 0 8.410 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 8.411 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 8.412 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))) into 0 8.412 * [backup-simplify]: Simplify 0 into 0 8.413 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 8.413 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 8.414 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))) into 0 8.414 * [backup-simplify]: Simplify 0 into 0 8.415 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 8.416 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 8.417 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))) into 0 8.417 * [backup-simplify]: Simplify 0 into 0 8.418 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 8.419 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 8.420 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))))) into 0 8.420 * [backup-simplify]: Simplify 0 into 0 8.421 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 8.423 * [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 8.424 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))))) into 0 8.424 * [backup-simplify]: Simplify 0 into 0 8.424 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 8.424 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1 1) 8.424 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 8.424 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 8.424 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 8.424 * [taylor]: Taking taylor expansion of (fabs x) in x 8.424 * [backup-simplify]: Simplify (fabs x) into (fabs x) 8.424 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 8.424 * [taylor]: Taking taylor expansion of (fabs x) in x 8.425 * [backup-simplify]: Simplify (fabs x) into (fabs x) 8.425 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 8.425 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 8.425 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 8.425 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 8.425 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 8.425 * [backup-simplify]: Simplify 0 into 0 8.426 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 8.426 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 8.426 * [backup-simplify]: Simplify 0 into 0 8.427 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 8.427 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 8.427 * [backup-simplify]: Simplify 0 into 0 8.428 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 8.429 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 8.429 * [backup-simplify]: Simplify 0 into 0 8.430 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 8.431 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 8.431 * [backup-simplify]: Simplify 0 into 0 8.432 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 8.433 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 8.433 * [backup-simplify]: Simplify 0 into 0 8.433 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 8.433 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 8.433 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 8.433 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 8.433 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 8.434 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 8.434 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 8.434 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 8.434 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 8.434 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 8.434 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 8.434 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 8.434 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 8.434 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 8.434 * [backup-simplify]: Simplify 0 into 0 8.435 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 8.435 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 8.435 * [backup-simplify]: Simplify 0 into 0 8.436 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 8.436 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 8.436 * [backup-simplify]: Simplify 0 into 0 8.437 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 8.438 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 8.438 * [backup-simplify]: Simplify 0 into 0 8.439 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 8.440 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 8.440 * [backup-simplify]: Simplify 0 into 0 8.441 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 8.442 * [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 8.442 * [backup-simplify]: Simplify 0 into 0 8.443 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 8.443 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 8.443 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 8.443 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 8.443 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 8.443 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 8.443 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 8.443 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 8.443 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 8.443 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 8.443 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 8.443 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 8.443 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 8.444 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 8.444 * [backup-simplify]: Simplify 0 into 0 8.444 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 8.444 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 8.444 * [backup-simplify]: Simplify 0 into 0 8.445 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 8.446 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 8.446 * [backup-simplify]: Simplify 0 into 0 8.446 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 8.447 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 8.447 * [backup-simplify]: Simplify 0 into 0 8.448 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 8.450 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 8.450 * [backup-simplify]: Simplify 0 into 0 8.452 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 8.454 * [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 8.454 * [backup-simplify]: Simplify 0 into 0 8.454 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 8.454 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2) 8.454 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 8.454 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 8.454 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 8.454 * [taylor]: Taking taylor expansion of (fabs x) in x 8.454 * [backup-simplify]: Simplify (fabs x) into (fabs x) 8.454 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 8.454 * [taylor]: Taking taylor expansion of (fabs x) in x 8.454 * [backup-simplify]: Simplify (fabs x) into (fabs x) 8.455 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 8.455 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 8.455 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 8.455 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 8.455 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 8.455 * [backup-simplify]: Simplify 0 into 0 8.456 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 8.457 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 8.457 * [backup-simplify]: Simplify 0 into 0 8.457 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 8.458 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 8.458 * [backup-simplify]: Simplify 0 into 0 8.460 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 8.461 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 8.461 * [backup-simplify]: Simplify 0 into 0 8.462 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 8.464 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 8.464 * [backup-simplify]: Simplify 0 into 0 8.466 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 8.468 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 8.468 * [backup-simplify]: Simplify 0 into 0 8.468 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 8.468 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 8.468 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 8.468 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 8.468 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 8.468 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 8.468 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 8.468 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 8.468 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 8.469 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 8.469 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 8.469 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 8.469 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 8.469 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 8.470 * [backup-simplify]: Simplify 0 into 0 8.470 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 8.471 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 8.471 * [backup-simplify]: Simplify 0 into 0 8.472 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 8.473 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 8.473 * [backup-simplify]: Simplify 0 into 0 8.474 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 8.475 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 8.475 * [backup-simplify]: Simplify 0 into 0 8.478 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 8.479 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 8.479 * [backup-simplify]: Simplify 0 into 0 8.480 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 8.482 * [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 8.482 * [backup-simplify]: Simplify 0 into 0 8.482 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 8.482 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 8.482 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 8.482 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 8.482 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 8.482 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 8.482 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 8.482 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 8.482 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 8.482 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 8.483 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 8.483 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 8.483 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 8.483 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 8.483 * [backup-simplify]: Simplify 0 into 0 8.483 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 8.484 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 8.484 * [backup-simplify]: Simplify 0 into 0 8.484 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 8.485 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 8.485 * [backup-simplify]: Simplify 0 into 0 8.486 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 8.486 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 8.487 * [backup-simplify]: Simplify 0 into 0 8.487 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 8.489 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 8.489 * [backup-simplify]: Simplify 0 into 0 8.490 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 8.491 * [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 8.491 * [backup-simplify]: Simplify 0 into 0 8.491 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 8.491 * * * [progress]: simplifying candidates 8.493 * [simplify]: Simplifying: (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (+ (- (log 2.0) (log 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (cbrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 8.494 * * [simplify]: iteration 0: 132 enodes 8.542 * * [simplify]: iteration 1: 346 enodes 8.690 * * [simplify]: iteration 2: 1193 enodes 9.767 * * [simplify]: iteration 3: 4743 enodes 10.979 * * [simplify]: iteration complete: 5005 enodes 10.979 * * [simplify]: Extracting #0: cost 44 inf + 0 10.981 * * [simplify]: Extracting #1: cost 454 inf + 3 10.988 * * [simplify]: Extracting #2: cost 1097 inf + 2770 11.026 * * [simplify]: Extracting #3: cost 913 inf + 74797 11.110 * * [simplify]: Extracting #4: cost 288 inf + 255444 11.192 * * [simplify]: Extracting #5: cost 83 inf + 318366 11.299 * * [simplify]: Extracting #6: cost 3 inf + 349420 11.432 * * [simplify]: Extracting #7: cost 0 inf + 350035 11.545 * [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))))) (* (* (fabs x) (* (fabs x) (fabs x))) (* (/ 2.0 3.0) (* (* (/ 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))) (* (/ 2.0 3.0) (* (* (/ 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))) (* (/ 2.0 3.0) (* (* (/ 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))) (* (/ 2.0 3.0) (* (* (/ 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))) (* (/ 2.0 3.0) (* (* (/ 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))) (* (/ 2.0 3.0) (* (* (/ 2.0 3.0) (* (fabs x) (* (fabs x) (fabs x)))) (* (/ 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))))) (* (* (fabs x) (* (fabs x) (fabs x))) (* (/ 2.0 3.0) (* (* (/ 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) (* (fabs x) (fabs x))) (cbrt 3.0)) (fabs x)) (* (/ (cbrt 2.0) (sqrt 3.0)) (* (fabs x) (* (fabs x) (fabs x)))) (* (fabs x) (/ (cbrt 2.0) (/ (/ 3.0 (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 (* (fabs x) (fabs x))) (cbrt 3.0)) (fabs x)) (/ (* (* (fabs x) 2.0) (* (fabs x) (fabs x))) (sqrt 3.0)) (/ 2.0 (/ (/ 3.0 (fabs x)) (* (fabs x) (fabs x)))) (/ 2.0 (/ (/ 3.0 (fabs x)) (* (fabs x) (fabs x)))) (* (/ (fabs x) (/ 3.0 (fabs x))) (fabs x)) (* (* (fabs x) 2.0) (* (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))) (* (* (fabs x) (cbrt (fabs x))) (* (fabs x) (cbrt (fabs x)))) (* (sqrt (fabs x)) (* (fabs x) (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)))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (cbrt (fabs x))) (* (fabs x) (cbrt (fabs x)))) (* (sqrt (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (fabs (* (* (fabs x) (+ (+ (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (/ (* 1.0 (* (fabs x) (fabs x))) 21.0)) (/ (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) 1.0) 5.0)) (+ (* (/ 2.0 3.0) (* (fabs x) (fabs x))) 2.0))) (/ 1.0 (sqrt PI)))) (* 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))) (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) 11.571 * * * [progress]: adding candidates to table 12.352 * * [progress]: iteration 3 / 4 12.353 * * * [progress]: picking best candidate 12.394 * * * * [pick]: Picked # 12.394 * * * [progress]: localizing error 12.449 * * * [progress]: generating rewritten candidates 12.450 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2) 12.451 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1) 12.471 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 2 1 1) 12.519 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1 1) 12.557 * * * [progress]: generating series expansions 12.557 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2) 12.557 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1) 12.558 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (fabs x) (fabs x))) into (* 0.6666666666666666 (pow (fabs x) 2)) 12.558 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 2)) in (x) around 0 12.558 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 2)) in x 12.559 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 12.559 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 12.559 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x 12.559 * [taylor]: Taking taylor expansion of (fabs x) in x 12.559 * [backup-simplify]: Simplify (fabs x) into (fabs x) 12.559 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 2)) in x 12.559 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 12.559 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 12.559 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x 12.559 * [taylor]: Taking taylor expansion of (fabs x) in x 12.559 * [backup-simplify]: Simplify (fabs x) into (fabs x) 12.559 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 12.559 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 2)) into (* 0.6666666666666666 (pow (fabs x) 2)) 12.560 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 2)) into (* 0.6666666666666666 (pow (fabs x) 2)) 12.560 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 12.560 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs x) 2))) into 0 12.560 * [backup-simplify]: Simplify 0 into 0 12.561 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 12.561 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 12.561 * [backup-simplify]: Simplify 0 into 0 12.562 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 12.563 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 12.563 * [backup-simplify]: Simplify 0 into 0 12.563 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 12.564 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 12.564 * [backup-simplify]: Simplify 0 into 0 12.565 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 12.567 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 12.567 * [backup-simplify]: Simplify 0 into 0 12.568 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 12.569 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 12.569 * [backup-simplify]: Simplify 0 into 0 12.570 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 2)) into (* 0.6666666666666666 (pow (fabs x) 2)) 12.570 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (fabs (/ 1 x)) (fabs (/ 1 x)))) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) 12.570 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) in (x) around 0 12.570 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) in x 12.570 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 12.570 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 12.570 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 12.570 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 12.570 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 12.570 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) in x 12.570 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 12.570 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 12.570 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 12.570 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 12.570 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 12.570 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 12.571 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) 12.571 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) 12.571 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 12.571 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 12.571 * [backup-simplify]: Simplify 0 into 0 12.572 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 12.572 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 12.572 * [backup-simplify]: Simplify 0 into 0 12.573 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 12.574 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 12.574 * [backup-simplify]: Simplify 0 into 0 12.574 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 12.575 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 12.575 * [backup-simplify]: Simplify 0 into 0 12.576 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 12.578 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 12.578 * [backup-simplify]: Simplify 0 into 0 12.579 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 12.581 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 12.581 * [backup-simplify]: Simplify 0 into 0 12.581 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 (/ 1 x))) 2)) into (* 0.6666666666666666 (pow (fabs x) 2)) 12.581 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x))))) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2)) 12.581 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2)) in (x) around 0 12.581 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2)) in x 12.581 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 12.581 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 12.581 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 12.581 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 12.581 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 12.581 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2)) in x 12.581 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 12.581 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 12.581 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 12.581 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 12.581 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 12.582 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 12.582 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2)) 12.582 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2)) 12.582 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 12.582 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 12.582 * [backup-simplify]: Simplify 0 into 0 12.583 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 12.583 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 12.583 * [backup-simplify]: Simplify 0 into 0 12.584 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 12.585 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 12.585 * [backup-simplify]: Simplify 0 into 0 12.585 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 12.587 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 12.587 * [backup-simplify]: Simplify 0 into 0 12.591 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 12.592 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 12.592 * [backup-simplify]: Simplify 0 into 0 12.593 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 12.595 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 12.595 * [backup-simplify]: Simplify 0 into 0 12.596 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 (/ 1 (- x)))) 2)) into (* 0.6666666666666666 (pow (fabs x) 2)) 12.596 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 2 1 1) 12.596 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) into (pow (fabs x) 4) 12.596 * [approximate]: Taking taylor expansion of (pow (fabs x) 4) in (x) around 0 12.596 * [taylor]: Taking taylor expansion of (pow (fabs x) 4) in x 12.596 * [taylor]: Taking taylor expansion of (fabs x) in x 12.596 * [backup-simplify]: Simplify (fabs x) into (fabs x) 12.596 * [taylor]: Taking taylor expansion of (pow (fabs x) 4) in x 12.596 * [taylor]: Taking taylor expansion of (fabs x) in x 12.596 * [backup-simplify]: Simplify (fabs x) into (fabs x) 12.596 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 12.597 * [backup-simplify]: Simplify (* (pow (fabs x) 2) (pow (fabs x) 2)) into (pow (fabs x) 4) 12.597 * [backup-simplify]: Simplify (pow (fabs x) 4) into (pow (fabs x) 4) 12.597 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 12.597 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (* 0 (pow (fabs x) 2))) into 0 12.597 * [backup-simplify]: Simplify 0 into 0 12.598 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 12.598 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 12.599 * [backup-simplify]: Simplify 0 into 0 12.599 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 12.600 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 12.600 * [backup-simplify]: Simplify 0 into 0 12.602 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 12.603 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 12.603 * [backup-simplify]: Simplify 0 into 0 12.605 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 12.606 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 12.606 * [backup-simplify]: Simplify 0 into 0 12.608 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 12.610 * [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 12.610 * [backup-simplify]: Simplify 0 into 0 12.610 * [backup-simplify]: Simplify (pow (fabs x) 4) into (pow (fabs x) 4) 12.611 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (* (fabs (/ 1 x)) (fabs (/ 1 x)))) into (pow (fabs (/ 1 x)) 4) 12.611 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 4) in (x) around 0 12.611 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 4) in x 12.611 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 12.611 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 12.611 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 4) in x 12.611 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 12.611 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 12.611 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 12.611 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 x)) 2) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 4) 12.612 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 4) into (pow (fabs (/ 1 x)) 4) 12.612 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 12.612 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 12.612 * [backup-simplify]: Simplify 0 into 0 12.613 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 12.614 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 12.614 * [backup-simplify]: Simplify 0 into 0 12.615 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 12.616 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 12.616 * [backup-simplify]: Simplify 0 into 0 12.617 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 12.619 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 12.619 * [backup-simplify]: Simplify 0 into 0 12.620 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 12.622 * [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 12.622 * [backup-simplify]: Simplify 0 into 0 12.624 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 12.626 * [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 12.626 * [backup-simplify]: Simplify 0 into 0 12.626 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 4) into (pow (fabs x) 4) 12.626 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x))))) into (pow (fabs (/ -1 x)) 4) 12.626 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 4) in (x) around 0 12.626 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 4) in x 12.626 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 12.626 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 12.626 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 4) in x 12.626 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 12.626 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 12.626 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 12.626 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 2) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 4) 12.627 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 4) into (pow (fabs (/ -1 x)) 4) 12.627 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 12.627 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 12.627 * [backup-simplify]: Simplify 0 into 0 12.627 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 12.628 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 12.628 * [backup-simplify]: Simplify 0 into 0 12.628 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 12.629 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 12.629 * [backup-simplify]: Simplify 0 into 0 12.630 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 12.631 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 12.631 * [backup-simplify]: Simplify 0 into 0 12.632 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 12.633 * [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 12.633 * [backup-simplify]: Simplify 0 into 0 12.634 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 12.635 * [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 12.635 * [backup-simplify]: Simplify 0 into 0 12.636 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 4) into (pow (fabs x) 4) 12.636 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1 1) 12.636 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) into (pow (fabs x) 4) 12.636 * [approximate]: Taking taylor expansion of (pow (fabs x) 4) in (x) around 0 12.636 * [taylor]: Taking taylor expansion of (pow (fabs x) 4) in x 12.636 * [taylor]: Taking taylor expansion of (fabs x) in x 12.636 * [backup-simplify]: Simplify (fabs x) into (fabs x) 12.636 * [taylor]: Taking taylor expansion of (pow (fabs x) 4) in x 12.636 * [taylor]: Taking taylor expansion of (fabs x) in x 12.636 * [backup-simplify]: Simplify (fabs x) into (fabs x) 12.636 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 12.636 * [backup-simplify]: Simplify (* (pow (fabs x) 2) (pow (fabs x) 2)) into (pow (fabs x) 4) 12.636 * [backup-simplify]: Simplify (pow (fabs x) 4) into (pow (fabs x) 4) 12.636 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 12.637 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (* 0 (pow (fabs x) 2))) into 0 12.637 * [backup-simplify]: Simplify 0 into 0 12.637 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 12.637 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 12.637 * [backup-simplify]: Simplify 0 into 0 12.638 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 12.639 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 12.639 * [backup-simplify]: Simplify 0 into 0 12.639 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 12.640 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 12.640 * [backup-simplify]: Simplify 0 into 0 12.641 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 12.642 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 12.642 * [backup-simplify]: Simplify 0 into 0 12.644 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 12.645 * [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 12.645 * [backup-simplify]: Simplify 0 into 0 12.645 * [backup-simplify]: Simplify (pow (fabs x) 4) into (pow (fabs x) 4) 12.645 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (* (fabs (/ 1 x)) (fabs (/ 1 x)))) into (pow (fabs (/ 1 x)) 4) 12.645 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 4) in (x) around 0 12.645 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 4) in x 12.645 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 12.645 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 12.645 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 4) in x 12.645 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 12.645 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 12.646 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 12.646 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 x)) 2) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 4) 12.646 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 4) into (pow (fabs (/ 1 x)) 4) 12.646 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 12.646 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 12.646 * [backup-simplify]: Simplify 0 into 0 12.647 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 12.647 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 12.647 * [backup-simplify]: Simplify 0 into 0 12.648 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 12.648 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 12.649 * [backup-simplify]: Simplify 0 into 0 12.649 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 12.650 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 12.650 * [backup-simplify]: Simplify 0 into 0 12.651 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 12.652 * [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 12.652 * [backup-simplify]: Simplify 0 into 0 12.654 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 12.655 * [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 12.655 * [backup-simplify]: Simplify 0 into 0 12.655 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 4) into (pow (fabs x) 4) 12.655 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x))))) into (pow (fabs (/ -1 x)) 4) 12.655 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 4) in (x) around 0 12.655 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 4) in x 12.655 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 12.655 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 12.655 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 4) in x 12.655 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 12.655 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 12.656 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 12.656 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 2) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 4) 12.656 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 4) into (pow (fabs (/ -1 x)) 4) 12.656 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 12.656 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 12.656 * [backup-simplify]: Simplify 0 into 0 12.657 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 12.658 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 12.658 * [backup-simplify]: Simplify 0 into 0 12.659 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 12.660 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 12.660 * [backup-simplify]: Simplify 0 into 0 12.661 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 12.663 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 12.663 * [backup-simplify]: Simplify 0 into 0 12.664 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 12.666 * [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 12.666 * [backup-simplify]: Simplify 0 into 0 12.668 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 12.671 * [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 12.671 * [backup-simplify]: Simplify 0 into 0 12.671 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 4) into (pow (fabs x) 4) 12.671 * * * [progress]: simplifying candidates 12.676 * [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))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (+ (- (log 2.0) (log 3.0)) (+ (log (fabs x)) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (log (* (fabs x) (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (log (fabs x)) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (log (* (fabs x) (fabs x)))) (log (* (/ 2.0 3.0) (* (fabs x) (fabs x)))) (exp (* (/ 2.0 3.0) (* (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)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (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)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))) (* (cbrt (* (/ 2.0 3.0) (* (fabs x) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (fabs x) (fabs x))))) (cbrt (* (/ 2.0 3.0) (* (fabs x) (fabs x)))) (* (* (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (/ 2.0 3.0) (* (fabs x) (fabs x)))) (* (/ 2.0 3.0) (* (fabs x) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (fabs x) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (fabs x) (fabs x)))) (* (sqrt (/ 2.0 3.0)) (fabs x)) (* (sqrt (/ 2.0 3.0)) (fabs x)) (* (/ (sqrt 2.0) (sqrt 3.0)) (fabs x)) (* (/ (sqrt 2.0) (sqrt 3.0)) (fabs x)) (* (/ 2.0 3.0) (fabs x)) (* (cbrt (/ 2.0 3.0)) (* (fabs x) (fabs x))) (* (sqrt (/ 2.0 3.0)) (* (fabs x) (fabs x))) (* (/ (cbrt 2.0) (cbrt 3.0)) (* (fabs x) (fabs x))) (* (/ (cbrt 2.0) (sqrt 3.0)) (* (fabs x) (fabs x))) (* (/ (cbrt 2.0) 3.0) (* (fabs x) (fabs x))) (* (/ (sqrt 2.0) (cbrt 3.0)) (* (fabs x) (fabs x))) (* (/ (sqrt 2.0) (sqrt 3.0)) (* (fabs x) (fabs x))) (* (/ (sqrt 2.0) 3.0) (* (fabs x) (fabs x))) (* (/ 2.0 (cbrt 3.0)) (* (fabs x) (fabs x))) (* (/ 2.0 (sqrt 3.0)) (* (fabs x) (fabs x))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (/ 1 3.0) (* (fabs x) (fabs x))) (* 2.0 (* (fabs x) (fabs x))) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 2) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) (* 2 1)) (+ 1 1) (+ 1 1) (+ 2 (+ 1 1)) (+ 2 2) (+ 2 (+ 1 1)) (+ 2 (* 2 1)) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 2) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) (* 2 1)) (+ 1 1) (+ 1 1) (+ (* 2 1) (+ 1 1)) (+ (* 2 1) 2) (+ (* 2 1) (+ 1 1)) (+ (* 2 1) (* 2 1)) (* (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)) (+ 1 1) (+ 1 1) (+ (+ (log (fabs x)) (log (fabs x))) (+ (log (fabs x)) (log (fabs x)))) (+ (+ (log (fabs x)) (log (fabs x))) (log (* (fabs x) (fabs x)))) (+ (log (* (fabs x) (fabs x))) (+ (log (fabs x)) (log (fabs x)))) (+ (log (* (fabs x) (fabs x))) (log (* (fabs x) (fabs x)))) (log (* (* (fabs x) (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)) (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)))) (* (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (cbrt (* (* (fabs x) (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)))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* 2 (+ 1 1)) (* 2 (+ 1 1)) (* 2 1) (* 2 1) (* 2 2) (* 2 (+ 1 1)) (* 2 (+ 1 1)) (* 2 1) (* 2 1) (* 2 (* 2 1)) (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (* (fabs x) (fabs x))) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 2) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) (* 2 1)) (+ 1 1) (+ 1 1) (+ 2 (+ 1 1)) (+ 2 2) (+ 2 (+ 1 1)) (+ 2 (* 2 1)) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 2) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) (* 2 1)) (+ 1 1) (+ 1 1) (+ (* 2 1) (+ 1 1)) (+ (* 2 1) 2) (+ (* 2 1) (+ 1 1)) (+ (* 2 1) (* 2 1)) (* (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)) (+ 1 1) (+ 1 1) (+ (+ (log (fabs x)) (log (fabs x))) (+ (log (fabs x)) (log (fabs x)))) (+ (+ (log (fabs x)) (log (fabs x))) (log (* (fabs x) (fabs x)))) (+ (log (* (fabs x) (fabs x))) (+ (log (fabs x)) (log (fabs x)))) (+ (log (* (fabs x) (fabs x))) (log (* (fabs x) (fabs x)))) (log (* (* (fabs x) (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)) (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)))) (* (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (cbrt (* (* (fabs x) (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)))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* 2 (+ 1 1)) (* 2 (+ 1 1)) (* 2 1) (* 2 1) (* 2 2) (* 2 (+ 1 1)) (* 2 (+ 1 1)) (* 2 1) (* 2 1) (* 2 (* 2 1)) (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (* (fabs x) (fabs x))) (fabs (* (* (fabs x) (+ (+ (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (/ (* 1.0 (* (fabs x) (fabs x))) 21.0)) (/ (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) 1.0) 5.0)) (+ (* (/ 2.0 3.0) (* (fabs x) (fabs x))) 2.0))) (/ 1.0 (sqrt PI)))) (* 0.6666666666666666 (pow (fabs x) 2)) (* 0.6666666666666666 (pow (fabs x) 2)) (* 0.6666666666666666 (pow (fabs x) 2)) (pow (fabs x) 4) (pow (fabs x) 4) (pow (fabs x) 4) (pow (fabs x) 4) (pow (fabs x) 4) (pow (fabs x) 4) 12.679 * * [simplify]: iteration 0: 137 enodes 12.734 * * [simplify]: iteration 1: 392 enodes 12.940 * * [simplify]: iteration 2: 1289 enodes 13.974 * * [simplify]: iteration 3: 3899 enodes 15.180 * * [simplify]: iteration complete: 5001 enodes 15.181 * * [simplify]: Extracting #0: cost 46 inf + 0 15.182 * * [simplify]: Extracting #1: cost 366 inf + 4 15.188 * * [simplify]: Extracting #2: cost 769 inf + 1965 15.198 * * [simplify]: Extracting #3: cost 767 inf + 30172 15.238 * * [simplify]: Extracting #4: cost 332 inf + 142520 15.306 * * [simplify]: Extracting #5: cost 181 inf + 181786 15.380 * * [simplify]: Extracting #6: cost 112 inf + 198519 15.460 * * [simplify]: Extracting #7: cost 37 inf + 232135 15.548 * * [simplify]: Extracting #8: cost 3 inf + 249130 15.637 * * [simplify]: Extracting #9: cost 0 inf + 250430 15.735 * [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)) (/ (* (* (fabs x) (fabs x)) 2.0) 3.0) (/ (* (* (fabs x) (fabs x)) 2.0) 3.0) (log (/ (* (* (fabs x) (fabs x)) 2.0) 3.0)) (log (/ (* (* (fabs x) (fabs x)) 2.0) 3.0)) (log (/ (* (* (fabs x) (fabs x)) 2.0) 3.0)) (log (/ (* (* (fabs x) (fabs x)) 2.0) 3.0)) (log (/ (* (* (fabs x) (fabs x)) 2.0) 3.0)) (exp (/ (* (* (fabs x) (fabs x)) 2.0) 3.0)) (* (* (/ (* (* (fabs x) (fabs x)) 2.0) 3.0) (/ (* (* (fabs x) (fabs x)) 2.0) 3.0)) (/ (* (* (fabs x) (fabs x)) 2.0) 3.0)) (* (* (/ (* (* (fabs x) (fabs x)) 2.0) 3.0) (/ (* (* (fabs x) (fabs x)) 2.0) 3.0)) (/ (* (* (fabs x) (fabs x)) 2.0) 3.0)) (* (* (/ (* (* (fabs x) (fabs x)) 2.0) 3.0) (/ (* (* (fabs x) (fabs x)) 2.0) 3.0)) (/ (* (* (fabs x) (fabs x)) 2.0) 3.0)) (* (* (/ (* (* (fabs x) (fabs x)) 2.0) 3.0) (/ (* (* (fabs x) (fabs x)) 2.0) 3.0)) (/ (* (* (fabs x) (fabs x)) 2.0) 3.0)) (* (cbrt (/ (* (* (fabs x) (fabs x)) 2.0) 3.0)) (cbrt (/ (* (* (fabs x) (fabs x)) 2.0) 3.0))) (cbrt (/ (* (* (fabs x) (fabs x)) 2.0) 3.0)) (* (* (/ (* (* (fabs x) (fabs x)) 2.0) 3.0) (/ (* (* (fabs x) (fabs x)) 2.0) 3.0)) (/ (* (* (fabs x) (fabs x)) 2.0) 3.0)) (sqrt (/ (* (* (fabs x) (fabs x)) 2.0) 3.0)) (sqrt (/ (* (* (fabs x) (fabs x)) 2.0) 3.0)) (* (fabs x) (sqrt (/ 2.0 3.0))) (* (fabs x) (sqrt (/ 2.0 3.0))) (* (fabs x) (/ (sqrt 2.0) (sqrt 3.0))) (* (fabs x) (/ (sqrt 2.0) (sqrt 3.0))) (* (fabs x) (/ 2.0 3.0)) (* (cbrt (/ 2.0 3.0)) (* (fabs x) (fabs x))) (* (* (fabs x) (sqrt (/ 2.0 3.0))) (fabs x)) (/ (* (* (fabs x) (cbrt 2.0)) (fabs x)) (cbrt 3.0)) (/ (cbrt 2.0) (/ (sqrt 3.0) (* (fabs x) (fabs x)))) (* (/ (cbrt 2.0) 3.0) (* (fabs x) (fabs x))) (* (fabs x) (/ (sqrt 2.0) (/ (cbrt 3.0) (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) 2.0) (sqrt 3.0))) (/ (* (* (fabs x) (fabs x)) 2.0) 3.0) (/ (* (* (fabs x) (fabs x)) 2.0) 3.0) (* (/ (fabs x) 3.0) (fabs x)) (* (* (fabs x) (fabs x)) 2.0) 4 4 4 4 2 2 4 4 4 4 4 4 4 4 2 2 4 4 4 4 (* (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)) 2 2 (* 4 (log (fabs x))) (* 4 (log (fabs x))) (* 4 (log (fabs x))) (* 4 (log (fabs x))) (* 4 (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) (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) (fabs x)))) (cbrt (* (* (fabs x) (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)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))) (fabs (* (fabs x) (fabs x))) (fabs (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) 4 4 2 2 4 4 4 2 2 4 (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) 4 4 4 4 2 2 4 4 4 4 4 4 4 4 2 2 4 4 4 4 (* (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)) 2 2 (* 4 (log (fabs x))) (* 4 (log (fabs x))) (* 4 (log (fabs x))) (* 4 (log (fabs x))) (* 4 (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) (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) (fabs x)))) (cbrt (* (* (fabs x) (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)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))) (fabs (* (fabs x) (fabs x))) (fabs (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) 4 4 2 2 4 4 4 2 2 4 (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (fabs (* (* (/ 1.0 (sqrt PI)) (fabs x)) (+ (+ (/ 1.0 (/ 5.0 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) 2.0) (* (* (fabs x) (fabs x)) (+ (/ (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) 1.0) 21.0) (/ 2.0 3.0)))))) (* (* (fabs x) (fabs x)) 0.6666666666666666) (* (* (fabs x) (fabs x)) 0.6666666666666666) (* (* (fabs x) (fabs x)) 0.6666666666666666) (* (* (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))) 15.764 * * * [progress]: adding candidates to table 16.453 * * [progress]: iteration 4 / 4 16.453 * * * [progress]: picking best candidate 16.504 * * * * [pick]: Picked # 16.504 * * * [progress]: localizing error 16.609 * * * [progress]: generating rewritten candidates 16.609 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2) 16.611 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1) 16.642 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 2 1 1) 16.667 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1 2) 16.708 * * * [progress]: generating series expansions 16.708 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2) 16.708 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1) 16.709 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (fabs x) (fabs x))) into (* 0.6666666666666666 (pow (fabs x) 2)) 16.709 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 2)) in (x) around 0 16.709 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 2)) in x 16.709 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 16.709 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 16.709 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x 16.709 * [taylor]: Taking taylor expansion of (fabs x) in x 16.710 * [backup-simplify]: Simplify (fabs x) into (fabs x) 16.710 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 2)) in x 16.710 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 16.710 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 16.710 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x 16.710 * [taylor]: Taking taylor expansion of (fabs x) in x 16.710 * [backup-simplify]: Simplify (fabs x) into (fabs x) 16.710 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 16.710 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 2)) into (* 0.6666666666666666 (pow (fabs x) 2)) 16.710 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 2)) into (* 0.6666666666666666 (pow (fabs x) 2)) 16.710 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 16.711 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs x) 2))) into 0 16.711 * [backup-simplify]: Simplify 0 into 0 16.712 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 16.713 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 16.713 * [backup-simplify]: Simplify 0 into 0 16.714 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 16.715 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 16.715 * [backup-simplify]: Simplify 0 into 0 16.716 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 16.717 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 16.717 * [backup-simplify]: Simplify 0 into 0 16.718 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 16.719 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 16.719 * [backup-simplify]: Simplify 0 into 0 16.721 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 16.722 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 16.722 * [backup-simplify]: Simplify 0 into 0 16.722 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 2)) into (* 0.6666666666666666 (pow (fabs x) 2)) 16.723 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (fabs (/ 1 x)) (fabs (/ 1 x)))) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) 16.723 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) in (x) around 0 16.723 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) in x 16.723 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 16.723 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 16.723 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 16.723 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 16.723 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 16.723 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) in x 16.723 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 16.723 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 16.723 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 16.723 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 16.723 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 16.723 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 16.723 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) 16.723 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) 16.723 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 16.724 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 16.724 * [backup-simplify]: Simplify 0 into 0 16.724 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 16.725 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 16.725 * [backup-simplify]: Simplify 0 into 0 16.725 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 16.726 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 16.726 * [backup-simplify]: Simplify 0 into 0 16.727 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 16.728 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 16.728 * [backup-simplify]: Simplify 0 into 0 16.729 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 16.730 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 16.730 * [backup-simplify]: Simplify 0 into 0 16.732 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 16.733 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 16.733 * [backup-simplify]: Simplify 0 into 0 16.733 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 (/ 1 x))) 2)) into (* 0.6666666666666666 (pow (fabs x) 2)) 16.734 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x))))) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2)) 16.734 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2)) in (x) around 0 16.734 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2)) in x 16.734 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 16.734 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 16.734 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 16.734 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 16.734 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 16.734 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2)) in x 16.734 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 16.734 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 16.734 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 16.734 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 16.734 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 16.734 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 16.734 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2)) 16.735 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2)) 16.735 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 16.735 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 16.735 * [backup-simplify]: Simplify 0 into 0 16.735 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 16.736 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 16.736 * [backup-simplify]: Simplify 0 into 0 16.737 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 16.737 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 16.738 * [backup-simplify]: Simplify 0 into 0 16.738 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 16.739 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 16.739 * [backup-simplify]: Simplify 0 into 0 16.741 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 16.743 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 16.743 * [backup-simplify]: Simplify 0 into 0 16.745 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 16.747 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 16.747 * [backup-simplify]: Simplify 0 into 0 16.748 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 (/ 1 (- x)))) 2)) into (* 0.6666666666666666 (pow (fabs x) 2)) 16.748 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 2 1 1) 16.748 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) into (pow (fabs x) 4) 16.748 * [approximate]: Taking taylor expansion of (pow (fabs x) 4) in (x) around 0 16.748 * [taylor]: Taking taylor expansion of (pow (fabs x) 4) in x 16.748 * [taylor]: Taking taylor expansion of (fabs x) in x 16.748 * [backup-simplify]: Simplify (fabs x) into (fabs x) 16.748 * [taylor]: Taking taylor expansion of (pow (fabs x) 4) in x 16.748 * [taylor]: Taking taylor expansion of (fabs x) in x 16.748 * [backup-simplify]: Simplify (fabs x) into (fabs x) 16.748 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 16.749 * [backup-simplify]: Simplify (* (pow (fabs x) 2) (pow (fabs x) 2)) into (pow (fabs x) 4) 16.749 * [backup-simplify]: Simplify (pow (fabs x) 4) into (pow (fabs x) 4) 16.749 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 16.749 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (* 0 (pow (fabs x) 2))) into 0 16.749 * [backup-simplify]: Simplify 0 into 0 16.750 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 16.751 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 16.751 * [backup-simplify]: Simplify 0 into 0 16.751 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 16.753 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 16.753 * [backup-simplify]: Simplify 0 into 0 16.754 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 16.756 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 16.756 * [backup-simplify]: Simplify 0 into 0 16.757 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 16.759 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 16.759 * [backup-simplify]: Simplify 0 into 0 16.761 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 16.762 * [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 16.762 * [backup-simplify]: Simplify 0 into 0 16.762 * [backup-simplify]: Simplify (pow (fabs x) 4) into (pow (fabs x) 4) 16.762 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (* (fabs (/ 1 x)) (fabs (/ 1 x)))) into (pow (fabs (/ 1 x)) 4) 16.762 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 4) in (x) around 0 16.762 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 4) in x 16.762 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 16.762 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 16.762 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 4) in x 16.763 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 16.763 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 16.763 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 16.763 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 x)) 2) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 4) 16.763 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 4) into (pow (fabs (/ 1 x)) 4) 16.763 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 16.763 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 16.763 * [backup-simplify]: Simplify 0 into 0 16.764 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 16.764 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 16.764 * [backup-simplify]: Simplify 0 into 0 16.765 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 16.766 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 16.766 * [backup-simplify]: Simplify 0 into 0 16.766 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 16.767 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 16.767 * [backup-simplify]: Simplify 0 into 0 16.768 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 16.769 * [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 16.769 * [backup-simplify]: Simplify 0 into 0 16.771 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 16.772 * [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 16.772 * [backup-simplify]: Simplify 0 into 0 16.772 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 4) into (pow (fabs x) 4) 16.772 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x))))) into (pow (fabs (/ -1 x)) 4) 16.772 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 4) in (x) around 0 16.772 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 4) in x 16.772 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 16.772 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 16.772 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 4) in x 16.773 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 16.773 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 16.773 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 16.773 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 2) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 4) 16.773 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 4) into (pow (fabs (/ -1 x)) 4) 16.773 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 16.773 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 16.773 * [backup-simplify]: Simplify 0 into 0 16.774 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 16.774 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 16.774 * [backup-simplify]: Simplify 0 into 0 16.775 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 16.775 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 16.775 * [backup-simplify]: Simplify 0 into 0 16.776 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 16.777 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 16.777 * [backup-simplify]: Simplify 0 into 0 16.778 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 16.779 * [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 16.779 * [backup-simplify]: Simplify 0 into 0 16.780 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 16.782 * [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 16.782 * [backup-simplify]: Simplify 0 into 0 16.782 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 4) into (pow (fabs x) 4) 16.782 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1 2) 16.782 * [backup-simplify]: Simplify (/ (* 1.0 (* (fabs x) (fabs x))) 21.0) into (* 0.047619047619047616 (pow (fabs x) 2)) 16.782 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 2)) in (x) around 0 16.782 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 2)) in x 16.782 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 16.782 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 16.782 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x 16.782 * [taylor]: Taking taylor expansion of (fabs x) in x 16.782 * [backup-simplify]: Simplify (fabs x) into (fabs x) 16.782 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 2)) in x 16.782 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 16.782 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 16.782 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x 16.782 * [taylor]: Taking taylor expansion of (fabs x) in x 16.782 * [backup-simplify]: Simplify (fabs x) into (fabs x) 16.782 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 16.783 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs x) 2)) into (* 0.047619047619047616 (pow (fabs x) 2)) 16.783 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs x) 2)) into (* 0.047619047619047616 (pow (fabs x) 2)) 16.783 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 16.783 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (* 0 (pow (fabs x) 2))) into 0 16.783 * [backup-simplify]: Simplify 0 into 0 16.783 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 16.784 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 16.784 * [backup-simplify]: Simplify 0 into 0 16.785 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 16.785 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 16.785 * [backup-simplify]: Simplify 0 into 0 16.786 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 16.787 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 16.787 * [backup-simplify]: Simplify 0 into 0 16.788 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 16.792 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 16.792 * [backup-simplify]: Simplify 0 into 0 16.793 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 16.795 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 16.795 * [backup-simplify]: Simplify 0 into 0 16.795 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs x) 2)) into (* 0.047619047619047616 (pow (fabs x) 2)) 16.795 * [backup-simplify]: Simplify (/ (* 1.0 (* (fabs (/ 1 x)) (fabs (/ 1 x)))) 21.0) into (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) 16.795 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) in (x) around 0 16.795 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) in x 16.795 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 16.795 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 16.795 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 16.795 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 16.795 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 16.795 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) in x 16.795 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 16.795 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 16.795 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 16.795 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 16.795 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 16.795 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 16.796 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) into (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) 16.796 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) into (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) 16.796 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 16.796 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 16.796 * [backup-simplify]: Simplify 0 into 0 16.797 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 16.798 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 16.798 * [backup-simplify]: Simplify 0 into 0 16.799 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 16.800 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 16.800 * [backup-simplify]: Simplify 0 into 0 16.801 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 16.803 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 16.803 * [backup-simplify]: Simplify 0 into 0 16.805 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 16.807 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 16.807 * [backup-simplify]: Simplify 0 into 0 16.809 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 16.812 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 16.812 * [backup-simplify]: Simplify 0 into 0 16.812 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ 1 (/ 1 x))) 2)) into (* 0.047619047619047616 (pow (fabs x) 2)) 16.812 * [backup-simplify]: Simplify (/ (* 1.0 (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x))))) 21.0) into (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) 16.812 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) in (x) around 0 16.812 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) in x 16.812 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 16.812 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 16.812 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 16.812 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 16.813 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 16.813 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) in x 16.813 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 16.813 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 16.813 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 16.813 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 16.813 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 16.813 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 16.813 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) into (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) 16.813 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) into (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) 16.814 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 16.814 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 16.814 * [backup-simplify]: Simplify 0 into 0 16.815 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 16.816 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 16.816 * [backup-simplify]: Simplify 0 into 0 16.817 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 16.818 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 16.818 * [backup-simplify]: Simplify 0 into 0 16.820 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 16.821 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 16.821 * [backup-simplify]: Simplify 0 into 0 16.823 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 16.825 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 16.825 * [backup-simplify]: Simplify 0 into 0 16.827 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 16.830 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 16.830 * [backup-simplify]: Simplify 0 into 0 16.830 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ -1 (/ 1 (- x)))) 2)) into (* 0.047619047619047616 (pow (fabs x) 2)) 16.830 * * * [progress]: simplifying candidates 16.833 * [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))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (+ (- (log 2.0) (log 3.0)) (+ (log (fabs x)) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (log (* (fabs x) (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (log (fabs x)) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (log (* (fabs x) (fabs x)))) (log (* (/ 2.0 3.0) (* (fabs x) (fabs x)))) (exp (* (/ 2.0 3.0) (* (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)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (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)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))) (* (cbrt (* (/ 2.0 3.0) (* (fabs x) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (fabs x) (fabs x))))) (cbrt (* (/ 2.0 3.0) (* (fabs x) (fabs x)))) (* (* (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (/ 2.0 3.0) (* (fabs x) (fabs x)))) (* (/ 2.0 3.0) (* (fabs x) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (fabs x) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (fabs x) (fabs x)))) (* (sqrt (/ 2.0 3.0)) (fabs x)) (* (sqrt (/ 2.0 3.0)) (fabs x)) (* (/ (sqrt 2.0) (sqrt 3.0)) (fabs x)) (* (/ (sqrt 2.0) (sqrt 3.0)) (fabs x)) (* (/ 2.0 3.0) (fabs x)) (* (cbrt (/ 2.0 3.0)) (* (fabs x) (fabs x))) (* (sqrt (/ 2.0 3.0)) (* (fabs x) (fabs x))) (* (/ (cbrt 2.0) (cbrt 3.0)) (* (fabs x) (fabs x))) (* (/ (cbrt 2.0) (sqrt 3.0)) (* (fabs x) (fabs x))) (* (/ (cbrt 2.0) 3.0) (* (fabs x) (fabs x))) (* (/ (sqrt 2.0) (cbrt 3.0)) (* (fabs x) (fabs x))) (* (/ (sqrt 2.0) (sqrt 3.0)) (* (fabs x) (fabs x))) (* (/ (sqrt 2.0) 3.0) (* (fabs x) (fabs x))) (* (/ 2.0 (cbrt 3.0)) (* (fabs x) (fabs x))) (* (/ 2.0 (sqrt 3.0)) (* (fabs x) (fabs x))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (/ 1 3.0) (* (fabs x) (fabs x))) (* 2.0 (* (fabs x) (fabs x))) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 2) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) (* 2 1)) (+ 1 1) (+ 1 1) (+ 2 (+ 1 1)) (+ 2 2) (+ 2 (+ 1 1)) (+ 2 (* 2 1)) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 2) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) (* 2 1)) (+ 1 1) (+ 1 1) (+ (* 2 1) (+ 1 1)) (+ (* 2 1) 2) (+ (* 2 1) (+ 1 1)) (+ (* 2 1) (* 2 1)) (* (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)) (+ 1 1) (+ 1 1) (+ (+ (log (fabs x)) (log (fabs x))) (+ (log (fabs x)) (log (fabs x)))) (+ (+ (log (fabs x)) (log (fabs x))) (log (* (fabs x) (fabs x)))) (+ (log (* (fabs x) (fabs x))) (+ (log (fabs x)) (log (fabs x)))) (+ (log (* (fabs x) (fabs x))) (log (* (fabs x) (fabs x)))) (log (* (* (fabs x) (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)) (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)))) (* (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (cbrt (* (* (fabs x) (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)))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* 2 (+ 1 1)) (* 2 (+ 1 1)) (* 2 1) (* 2 1) (* 2 2) (* 2 (+ 1 1)) (* 2 (+ 1 1)) (* 2 1) (* 2 1) (* 2 (* 2 1)) (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (* (fabs x) (fabs x))) (- (+ (log 1.0) (+ (log (fabs x)) (log (fabs x)))) (log 21.0)) (- (+ (log 1.0) (log (* (fabs x) (fabs x)))) (log 21.0)) (- (log (* 1.0 (* (fabs x) (fabs x)))) (log 21.0)) (log (/ (* 1.0 (* (fabs x) (fabs x))) 21.0)) (exp (/ (* 1.0 (* (fabs x) (fabs x))) 21.0)) (/ (* (* (* 1.0 1.0) 1.0) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* 21.0 21.0) 21.0)) (/ (* (* (* 1.0 1.0) 1.0) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))) (* (* 21.0 21.0) 21.0)) (/ (* (* (* 1.0 (* (fabs x) (fabs x))) (* 1.0 (* (fabs x) (fabs x)))) (* 1.0 (* (fabs x) (fabs x)))) (* (* 21.0 21.0) 21.0)) (* (cbrt (/ (* 1.0 (* (fabs x) (fabs x))) 21.0)) (cbrt (/ (* 1.0 (* (fabs x) (fabs x))) 21.0))) (cbrt (/ (* 1.0 (* (fabs x) (fabs x))) 21.0)) (* (* (/ (* 1.0 (* (fabs x) (fabs x))) 21.0) (/ (* 1.0 (* (fabs x) (fabs x))) 21.0)) (/ (* 1.0 (* (fabs x) (fabs x))) 21.0)) (sqrt (/ (* 1.0 (* (fabs x) (fabs x))) 21.0)) (sqrt (/ (* 1.0 (* (fabs x) (fabs x))) 21.0)) (- (* 1.0 (* (fabs x) (fabs x)))) (- 21.0) (/ 1.0 (* (cbrt 21.0) (cbrt 21.0))) (/ (* (fabs x) (fabs x)) (cbrt 21.0)) (/ 1.0 (sqrt 21.0)) (/ (* (fabs x) (fabs x)) (sqrt 21.0)) (/ 1.0 1) (/ (* (fabs x) (fabs x)) 21.0) (/ 1 21.0) (/ 21.0 (* 1.0 (* (fabs x) (fabs x)))) (/ (* 1.0 (* (fabs x) (fabs x))) (* (cbrt 21.0) (cbrt 21.0))) (/ (* 1.0 (* (fabs x) (fabs x))) (sqrt 21.0)) (/ (* 1.0 (* (fabs x) (fabs x))) 1) (/ 21.0 (* (fabs x) (fabs x))) (fabs (* (* (fabs x) (+ (+ (* (pow (fabs x) 4) (/ (* 1.0 (* (fabs x) (fabs x))) 21.0)) (/ (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) 1.0) 5.0)) (+ (* (/ 2.0 3.0) (* (fabs x) (fabs x))) 2.0))) (/ 1.0 (sqrt PI)))) (* 0.6666666666666666 (pow (fabs x) 2)) (* 0.6666666666666666 (pow (fabs x) 2)) (* 0.6666666666666666 (pow (fabs x) 2)) (pow (fabs x) 4) (pow (fabs x) 4) (pow (fabs x) 4) (* 0.047619047619047616 (pow (fabs x) 2)) (* 0.047619047619047616 (pow (fabs x) 2)) (* 0.047619047619047616 (pow (fabs x) 2)) 16.837 * * [simplify]: iteration 0: 182 enodes 16.903 * * [simplify]: iteration 1: 523 enodes 17.208 * * [simplify]: iteration 2: 1901 enodes 18.287 * * [simplify]: iteration complete: 5003 enodes 18.287 * * [simplify]: Extracting #0: cost 67 inf + 0 18.289 * * [simplify]: Extracting #1: cost 630 inf + 5 18.292 * * [simplify]: Extracting #2: cost 1088 inf + 3319 18.307 * * [simplify]: Extracting #3: cost 1141 inf + 35644 18.365 * * [simplify]: Extracting #4: cost 480 inf + 189299 18.443 * * [simplify]: Extracting #5: cost 180 inf + 265295 18.549 * * [simplify]: Extracting #6: cost 49 inf + 322140 18.665 * * [simplify]: Extracting #7: cost 0 inf + 345875 18.781 * * [simplify]: Extracting #8: cost 0 inf + 345395 18.908 * [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)) (* (* (fabs x) (/ 2.0 3.0)) (fabs x)) (* (* (fabs x) (/ 2.0 3.0)) (fabs x)) (log (* (* (fabs x) (/ 2.0 3.0)) (fabs x))) (log (* (* (fabs x) (/ 2.0 3.0)) (fabs x))) (log (* (* (fabs x) (/ 2.0 3.0)) (fabs x))) (log (* (* (fabs x) (/ 2.0 3.0)) (fabs x))) (log (* (* (fabs x) (/ 2.0 3.0)) (fabs x))) (exp (* (* (fabs x) (/ 2.0 3.0)) (fabs x))) (* (* (* (fabs x) (/ 2.0 3.0)) (fabs x)) (* (* (* (fabs x) (/ 2.0 3.0)) (fabs x)) (* (* (fabs x) (/ 2.0 3.0)) (fabs x)))) (* (* (* (fabs x) (/ 2.0 3.0)) (fabs x)) (* (* (* (fabs x) (/ 2.0 3.0)) (fabs x)) (* (* (fabs x) (/ 2.0 3.0)) (fabs x)))) (* (* (* (fabs x) (/ 2.0 3.0)) (fabs x)) (* (* (* (fabs x) (/ 2.0 3.0)) (fabs x)) (* (* (fabs x) (/ 2.0 3.0)) (fabs x)))) (* (* (* (fabs x) (/ 2.0 3.0)) (fabs x)) (* (* (* (fabs x) (/ 2.0 3.0)) (fabs x)) (* (* (fabs x) (/ 2.0 3.0)) (fabs x)))) (* (cbrt (* (* (fabs x) (/ 2.0 3.0)) (fabs x))) (cbrt (* (* (fabs x) (/ 2.0 3.0)) (fabs x)))) (cbrt (* (* (fabs x) (/ 2.0 3.0)) (fabs x))) (* (* (* (fabs x) (/ 2.0 3.0)) (fabs x)) (* (* (* (fabs x) (/ 2.0 3.0)) (fabs x)) (* (* (fabs x) (/ 2.0 3.0)) (fabs x)))) (sqrt (* (* (fabs x) (/ 2.0 3.0)) (fabs x))) (sqrt (* (* (fabs x) (/ 2.0 3.0)) (fabs x))) (* (sqrt (/ 2.0 3.0)) (fabs x)) (* (sqrt (/ 2.0 3.0)) (fabs x)) (* (fabs x) (/ (sqrt 2.0) (sqrt 3.0))) (* (fabs x) (/ (sqrt 2.0) (sqrt 3.0))) (* (fabs x) (/ 2.0 3.0)) (* (* (cbrt (/ 2.0 3.0)) (fabs x)) (fabs x)) (* (* (sqrt (/ 2.0 3.0)) (fabs x)) (fabs x)) (/ (* (* (fabs x) (fabs x)) (cbrt 2.0)) (cbrt 3.0)) (/ (* (* (fabs x) (fabs x)) (cbrt 2.0)) (sqrt 3.0)) (* (* (/ (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)) (* (/ (sqrt 2.0) 3.0) (* (fabs x) (fabs x))) (* (* (fabs x) (/ 2.0 (cbrt 3.0))) (fabs x)) (* (/ 2.0 (sqrt 3.0)) (* (fabs x) (fabs x))) (* (* (fabs x) (/ 2.0 3.0)) (fabs x)) (* (* (fabs x) (/ 2.0 3.0)) (fabs x)) (* (/ (fabs x) 3.0) (fabs x)) (* 2.0 (* (fabs x) (fabs x))) 4 4 4 4 2 2 4 4 4 4 4 4 4 4 2 2 4 4 4 4 (* (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)) 2 2 (* 4 (log (fabs x))) (* 4 (log (fabs x))) (* 4 (log (fabs x))) (* 4 (log (fabs x))) (* 4 (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) (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) (fabs x)))) (cbrt (* (* (fabs x) (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) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))))) (fabs (* (fabs x) (fabs x))) (fabs (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) 4 4 2 2 4 4 4 2 2 4 (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) (log (/ (* (* (fabs x) (fabs x)) 1.0) 21.0)) (log (/ (* (* (fabs x) (fabs x)) 1.0) 21.0)) (log (/ (* (* (fabs x) (fabs x)) 1.0) 21.0)) (log (/ (* (* (fabs x) (fabs x)) 1.0) 21.0)) (exp (/ (* (* (fabs x) (fabs x)) 1.0) 21.0)) (* (/ (* (* (fabs x) (fabs x)) 1.0) 21.0) (* (/ (* (* (fabs x) (fabs x)) 1.0) 21.0) (/ (* (* (fabs x) (fabs x)) 1.0) 21.0))) (* (/ (* (* (fabs x) (fabs x)) 1.0) 21.0) (* (/ (* (* (fabs x) (fabs x)) 1.0) 21.0) (/ (* (* (fabs x) (fabs x)) 1.0) 21.0))) (* (/ (* (* (fabs x) (fabs x)) 1.0) 21.0) (* (/ (* (* (fabs x) (fabs x)) 1.0) 21.0) (/ (* (* (fabs x) (fabs x)) 1.0) 21.0))) (* (cbrt (/ (* (* (fabs x) (fabs x)) 1.0) 21.0)) (cbrt (/ (* (* (fabs x) (fabs x)) 1.0) 21.0))) (cbrt (/ (* (* (fabs x) (fabs x)) 1.0) 21.0)) (* (/ (* (* (fabs x) (fabs x)) 1.0) 21.0) (* (/ (* (* (fabs x) (fabs x)) 1.0) 21.0) (/ (* (* (fabs x) (fabs x)) 1.0) 21.0))) (sqrt (/ (* (* (fabs x) (fabs x)) 1.0) 21.0)) (sqrt (/ (* (* (fabs x) (fabs x)) 1.0) 21.0)) (* (* (fabs x) 1.0) (- (fabs x))) (- 21.0) (/ 1.0 (* (cbrt 21.0) (cbrt 21.0))) (/ (fabs x) (/ (cbrt 21.0) (fabs x))) (/ 1.0 (sqrt 21.0)) (* (/ (fabs x) (sqrt 21.0)) (fabs x)) 1.0 (/ (* (fabs x) (fabs x)) 21.0) (/ 1 21.0) (/ 21.0 (* (* (fabs x) (fabs x)) 1.0)) (/ 1.0 (* (/ (cbrt 21.0) (fabs x)) (/ (cbrt 21.0) (fabs x)))) (* (/ 1.0 (sqrt 21.0)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) 1.0) (/ 21.0 (* (fabs x) (fabs x))) (fabs (* (* (/ 1.0 (sqrt PI)) (fabs x)) (+ (+ 2.0 (/ (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (/ 5.0 1.0))) (* (* (fabs x) (fabs x)) (+ (* (* (* (fabs x) (fabs x)) (/ 1.0 21.0)) (* (fabs x) (fabs x))) (/ 2.0 3.0)))))) (* (* (fabs x) (fabs x)) 0.6666666666666666) (* (* (fabs x) (fabs x)) 0.6666666666666666) (* (* (fabs x) (fabs x)) 0.6666666666666666) (* (* (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)) 0.047619047619047616) (* (* (fabs x) (fabs x)) 0.047619047619047616) (* (* (fabs x) (fabs x)) 0.047619047619047616) 18.948 * * * [progress]: adding candidates to table 19.818 * [progress]: [Phase 3 of 3] Extracting. 19.818 * * [regime]: Finding splitpoints for: (# # # # #) 19.822 * * * [regime-changes]: Trying 2 branch expressions: ((fabs x) x) 19.822 * * * * [regimes]: Trying to branch on (fabs x) from (# # # # #) 19.874 * * * * [regimes]: Trying to branch on x from (# # # # #) 19.923 * * * [regime]: Found split indices: #