20.836 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.073 * * * [progress]: [2/2] Setting up program. 0.082 * [progress]: [Phase 2 of 3] Improving. 0.082 * [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.083 * * [simplify]: Extracting # 0 : cost 0 0.083 * * [simplify]: Extracting # 1 : cost 0 0.083 * * [simplify]: Extracting # 2 : cost 0 0.083 * * [simplify]: Extracting # 3 : cost 0 0.083 * * [simplify]: Extracting # 4 : cost 0 0.083 * * [simplify]: Extracting # 5 : cost 0 0.083 * * [simplify]: Extracting # 6 : cost 0 0.083 * * [simplify]: Extracting # 7 : cost 0 0.083 * * [simplify]: Extracting # 8 : cost 0 0.083 * * [simplify]: Extracting # 9 : cost 0 0.083 * * [simplify]: Extracting # 10 : cost 0 0.083 * * [simplify]: Extracting # 11 : cost 0 0.083 * * [simplify]: Extracting # 12 : cost 0 0.083 * * [simplify]: Extracting # 13 : cost 0 0.083 * * [simplify]: Extracting # 14 : cost 0 0.084 * * [simplify]: iteration 0 : 28 enodes (cost 67 ) 0.096 * * [simplify]: Extracting # 0 : cost 0 0.096 * * [simplify]: Extracting # 1 : cost 0 0.096 * * [simplify]: Extracting # 2 : cost 0 0.096 * * [simplify]: Extracting # 3 : cost 0 0.097 * * [simplify]: Extracting # 4 : cost 0 0.097 * * [simplify]: iteration 1 : 70 enodes (cost 66 ) 0.132 * * [simplify]: Extracting # 0 : cost 0 0.133 * * [simplify]: Extracting # 1 : cost 0 0.133 * * [simplify]: Extracting # 2 : cost 0 0.134 * * [simplify]: Extracting # 3 : cost 0 0.134 * * [simplify]: Extracting # 4 : cost 0 0.135 * * [simplify]: Extracting # 5 : cost 0 0.135 * * [simplify]: Extracting # 6 : cost 0 0.136 * * [simplify]: iteration 2 : 250 enodes (cost 47 ) 0.396 * * [simplify]: Extracting # 0 : cost 0 0.399 * * [simplify]: Extracting # 1 : cost 0 0.401 * * [simplify]: Extracting # 2 : cost 0 0.403 * * [simplify]: Extracting # 3 : cost 0 0.405 * * [simplify]: Extracting # 4 : cost 0 0.413 * * [simplify]: Extracting # 5 : cost 0 0.415 * * [simplify]: Extracting # 6 : cost 0 0.417 * * [simplify]: Extracting # 7 : cost 0 0.418 * * [simplify]: iteration 3 : 1042 enodes (cost 35 ) 2.028 * * [simplify]: Extracting # 0 : cost 0 2.033 * * [simplify]: Extracting # 1 : cost 0 2.038 * * [simplify]: Extracting # 2 : cost 0 2.043 * * [simplify]: Extracting # 3 : cost 0 2.047 * * [simplify]: Extracting # 4 : cost 0 2.052 * * [simplify]: Extracting # 5 : cost 0 2.057 * * [simplify]: Extracting # 6 : cost 0 2.065 * * [simplify]: iteration done: 5000 enodes (cost 35 ) 2.065 * [simplify]: Simplified to: (fabs (/ (fma (pow (fabs x) 3) (/ 2.0 3.0) (* (fabs x) (+ 2.0 (fma (/ 1.0 5.0) (pow (fabs x) 4) (* (pow (fabs x) 6) (/ 1.0 21.0)))))) (/ (sqrt PI) 1.0))) 2.071 * * [progress]: iteration 1 / 4 2.071 * * * [progress]: picking best candidate 2.090 * * * * [pick]: Picked # 2.090 * * * [progress]: localizing error 2.128 * * * [progress]: generating rewritten candidates 2.128 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 2.131 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2) 3.169 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 17.339 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2) 17.441 * * * [progress]: generating series expansions 17.441 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 17.441 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2) 17.442 * [backup-simplify]: Simplify (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) into (* 0.2 (pow (fabs x) 5)) 17.442 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in (x) around 0 17.442 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 17.442 * [taylor]: Taking taylor expansion of 0.2 in x 17.442 * [backup-simplify]: Simplify 0.2 into 0.2 17.442 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 17.442 * [taylor]: Taking taylor expansion of (fabs x) in x 17.442 * [backup-simplify]: Simplify (fabs x) into (fabs x) 17.442 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 17.442 * [taylor]: Taking taylor expansion of 0.2 in x 17.442 * [backup-simplify]: Simplify 0.2 into 0.2 17.442 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 17.442 * [taylor]: Taking taylor expansion of (fabs x) in x 17.442 * [backup-simplify]: Simplify (fabs x) into (fabs x) 17.442 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 17.443 * [backup-simplify]: Simplify (* (pow (fabs x) 2) (pow (fabs x) 2)) into (pow (fabs x) 4) 17.443 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 4)) into (pow (fabs x) 5) 17.443 * [backup-simplify]: Simplify (* 0.2 (pow (fabs x) 5)) into (* 0.2 (pow (fabs x) 5)) 17.443 * [backup-simplify]: Simplify (* 0.2 (pow (fabs x) 5)) into (* 0.2 (pow (fabs x) 5)) 17.443 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 17.443 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (* 0 (pow (fabs x) 2))) into 0 17.443 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 4))) into 0 17.444 * [backup-simplify]: Simplify (+ (* 0.2 0) (* 0 (pow (fabs x) 5))) into 0 17.444 * [backup-simplify]: Simplify 0 into 0 17.444 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 17.445 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 17.445 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))) into 0 17.446 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (* 0 (pow (fabs x) 5)))) into 0 17.446 * [backup-simplify]: Simplify 0 into 0 17.446 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 17.447 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 17.447 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4))))) into 0 17.448 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 5))))) into 0 17.448 * [backup-simplify]: Simplify 0 into 0 17.449 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 17.450 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 17.451 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))))) into 0 17.452 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 5)))))) into 0 17.452 * [backup-simplify]: Simplify 0 into 0 17.453 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 17.454 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 17.455 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4))))))) into 0 17.456 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 5))))))) into 0 17.456 * [backup-simplify]: Simplify 0 into 0 17.457 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 17.458 * [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 17.460 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))))))) into 0 17.463 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 5)))))))) into 0 17.463 * [backup-simplify]: Simplify 0 into 0 17.463 * [backup-simplify]: Simplify (* 0.2 (pow (fabs x) 5)) into (* 0.2 (pow (fabs x) 5)) 17.464 * [backup-simplify]: Simplify (* (/ 1.0 5.0) (* (* (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) (fabs (/ 1 x))) (fabs (/ 1 x)))) into (* 0.2 (pow (fabs (/ 1 x)) 5)) 17.464 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in (x) around 0 17.464 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 17.464 * [taylor]: Taking taylor expansion of 0.2 in x 17.464 * [backup-simplify]: Simplify 0.2 into 0.2 17.464 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 17.464 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 17.464 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 17.464 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 17.464 * [taylor]: Taking taylor expansion of 0.2 in x 17.464 * [backup-simplify]: Simplify 0.2 into 0.2 17.464 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 17.464 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 17.464 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 17.465 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 17.465 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 x)) 2) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 4) 17.465 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 4)) into (pow (fabs (/ 1 x)) 5) 17.465 * [backup-simplify]: Simplify (* 0.2 (pow (fabs (/ 1 x)) 5)) into (* 0.2 (pow (fabs (/ 1 x)) 5)) 17.466 * [backup-simplify]: Simplify (* 0.2 (pow (fabs (/ 1 x)) 5)) into (* 0.2 (pow (fabs (/ 1 x)) 5)) 17.466 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 17.466 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 17.467 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 4))) into 0 17.467 * [backup-simplify]: Simplify (+ (* 0.2 0) (* 0 (pow (fabs (/ 1 x)) 5))) into 0 17.467 * [backup-simplify]: Simplify 0 into 0 17.468 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 17.469 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 17.469 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))) into 0 17.470 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 5)))) into 0 17.470 * [backup-simplify]: Simplify 0 into 0 17.471 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 17.472 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 17.473 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4))))) into 0 17.475 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 5))))) into 0 17.475 * [backup-simplify]: Simplify 0 into 0 17.476 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 17.478 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 17.479 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))))) into 0 17.481 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 5)))))) into 0 17.481 * [backup-simplify]: Simplify 0 into 0 17.482 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 17.484 * [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 17.486 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4))))))) into 0 17.488 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 5))))))) into 0 17.488 * [backup-simplify]: Simplify 0 into 0 17.490 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 17.492 * [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 17.495 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))))))) into 0 17.497 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 5)))))))) into 0 17.497 * [backup-simplify]: Simplify 0 into 0 17.497 * [backup-simplify]: Simplify (* 0.2 (pow (fabs (/ 1 (/ 1 x))) 5)) into (* 0.2 (pow (fabs x) 5)) 17.498 * [backup-simplify]: Simplify (* (/ 1.0 5.0) (* (* (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x))))) into (* 0.2 (pow (fabs (/ -1 x)) 5)) 17.498 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in (x) around 0 17.498 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 17.499 * [taylor]: Taking taylor expansion of 0.2 in x 17.499 * [backup-simplify]: Simplify 0.2 into 0.2 17.499 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 17.499 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 17.499 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 17.499 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 17.499 * [taylor]: Taking taylor expansion of 0.2 in x 17.499 * [backup-simplify]: Simplify 0.2 into 0.2 17.499 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 17.499 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 17.499 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 17.499 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 17.500 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 2) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 4) 17.500 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 4)) into (pow (fabs (/ -1 x)) 5) 17.500 * [backup-simplify]: Simplify (* 0.2 (pow (fabs (/ -1 x)) 5)) into (* 0.2 (pow (fabs (/ -1 x)) 5)) 17.501 * [backup-simplify]: Simplify (* 0.2 (pow (fabs (/ -1 x)) 5)) into (* 0.2 (pow (fabs (/ -1 x)) 5)) 17.501 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 17.501 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 17.501 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 4))) into 0 17.503 * [backup-simplify]: Simplify (+ (* 0.2 0) (* 0 (pow (fabs (/ -1 x)) 5))) into 0 17.503 * [backup-simplify]: Simplify 0 into 0 17.503 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 17.504 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 17.505 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))) into 0 17.506 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 5)))) into 0 17.506 * [backup-simplify]: Simplify 0 into 0 17.507 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 17.508 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 17.509 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4))))) into 0 17.510 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 5))))) into 0 17.511 * [backup-simplify]: Simplify 0 into 0 17.512 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 17.514 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 17.515 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))))) into 0 17.517 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 5)))))) into 0 17.517 * [backup-simplify]: Simplify 0 into 0 17.519 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 17.521 * [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 17.523 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4))))))) into 0 17.525 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 5))))))) into 0 17.525 * [backup-simplify]: Simplify 0 into 0 17.527 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 17.535 * [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 17.538 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))))))) into 0 17.540 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 5)))))))) into 0 17.540 * [backup-simplify]: Simplify 0 into 0 17.540 * [backup-simplify]: Simplify (* 0.2 (pow (fabs (/ -1 (/ 1 (- x)))) 5)) into (* 0.2 (pow (fabs x) 5)) 17.541 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 17.542 * [backup-simplify]: Simplify (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) into (* 0.047619047619047616 (pow (fabs x) 7)) 17.542 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in (x) around 0 17.542 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 17.542 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 17.542 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 17.542 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 17.542 * [taylor]: Taking taylor expansion of (fabs x) in x 17.542 * [backup-simplify]: Simplify (fabs x) into (fabs x) 17.542 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 17.542 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 17.542 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 17.542 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 17.542 * [taylor]: Taking taylor expansion of (fabs x) in x 17.542 * [backup-simplify]: Simplify (fabs x) into (fabs x) 17.542 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 17.543 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 17.543 * [backup-simplify]: Simplify (* (pow (fabs x) 3) (pow (fabs x) 3)) into (pow (fabs x) 6) 17.543 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 6)) into (pow (fabs x) 7) 17.543 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs x) 7)) into (* 0.047619047619047616 (pow (fabs x) 7)) 17.543 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs x) 7)) into (* 0.047619047619047616 (pow (fabs x) 7)) 17.544 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 17.544 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 17.544 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 3) 0) (* 0 (pow (fabs x) 3))) into 0 17.544 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 6))) into 0 17.545 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (* 0 (pow (fabs x) 7))) into 0 17.545 * [backup-simplify]: Simplify 0 into 0 17.546 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 17.546 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 17.547 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 3) 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))) into 0 17.548 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 6)))) into 0 17.548 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (* 0 (pow (fabs x) 7)))) into 0 17.549 * [backup-simplify]: Simplify 0 into 0 17.549 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 17.551 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 17.552 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))) into 0 17.553 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 6))))) into 0 17.554 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 7))))) into 0 17.554 * [backup-simplify]: Simplify 0 into 0 17.555 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 17.557 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 17.558 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))) into 0 17.559 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 6)))))) into 0 17.561 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 7)))))) into 0 17.561 * [backup-simplify]: Simplify 0 into 0 17.563 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 17.564 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 17.566 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))))) into 0 17.568 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 6))))))) into 0 17.570 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 7))))))) into 0 17.570 * [backup-simplify]: Simplify 0 into 0 17.572 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 17.574 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 17.576 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))))) into 0 17.578 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 6)))))))) into 0 17.581 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 7)))))))) into 0 17.581 * [backup-simplify]: Simplify 0 into 0 17.581 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs x) 7)) into (* 0.047619047619047616 (pow (fabs x) 7)) 17.582 * [backup-simplify]: Simplify (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) (fabs (/ 1 x))) (fabs (/ 1 x))) (fabs (/ 1 x))) (fabs (/ 1 x)))) into (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) 17.582 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in (x) around 0 17.582 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 17.582 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 17.582 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 17.582 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 17.582 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 17.583 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 17.583 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 17.583 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 17.583 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 17.583 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 17.583 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 17.583 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 17.583 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 17.583 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 17.584 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 x)) 3) (pow (fabs (/ 1 x)) 3)) into (pow (fabs (/ 1 x)) 6) 17.584 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 6)) into (pow (fabs (/ 1 x)) 7) 17.584 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) into (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) 17.584 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) into (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) 17.585 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 17.585 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 17.585 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 3) 0) (* 0 (pow (fabs (/ 1 x)) 3))) into 0 17.585 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 6))) into 0 17.586 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (* 0 (pow (fabs (/ 1 x)) 7))) into 0 17.586 * [backup-simplify]: Simplify 0 into 0 17.587 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 17.588 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 17.588 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 3) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))) into 0 17.589 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 6)))) into 0 17.590 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 7)))) into 0 17.590 * [backup-simplify]: Simplify 0 into 0 17.591 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 17.592 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 17.592 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))) into 0 17.593 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 6))))) into 0 17.594 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 7))))) into 0 17.594 * [backup-simplify]: Simplify 0 into 0 17.595 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 17.596 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 17.597 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))) into 0 17.597 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 6)))))) into 0 17.599 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 7)))))) into 0 17.599 * [backup-simplify]: Simplify 0 into 0 17.600 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 17.601 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 17.602 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))))) into 0 17.603 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 6))))))) into 0 17.604 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 7))))))) into 0 17.604 * [backup-simplify]: Simplify 0 into 0 17.605 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 17.606 * [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 17.608 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))))) into 0 17.609 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 6)))))))) into 0 17.611 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 7)))))))) into 0 17.611 * [backup-simplify]: Simplify 0 into 0 17.611 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ 1 (/ 1 x))) 7)) into (* 0.047619047619047616 (pow (fabs x) 7)) 17.612 * [backup-simplify]: Simplify (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x))))) into (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) 17.612 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in (x) around 0 17.612 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 17.612 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 17.612 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 17.612 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 17.612 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 17.612 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 17.612 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 17.612 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 17.612 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 17.612 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 17.612 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 17.612 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 17.612 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 17.612 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 17.612 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 3) (pow (fabs (/ -1 x)) 3)) into (pow (fabs (/ -1 x)) 6) 17.613 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 6)) into (pow (fabs (/ -1 x)) 7) 17.613 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) into (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) 17.613 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) into (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) 17.613 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 17.613 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 17.613 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 3) 0) (* 0 (pow (fabs (/ -1 x)) 3))) into 0 17.613 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 6))) into 0 17.614 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (* 0 (pow (fabs (/ -1 x)) 7))) into 0 17.614 * [backup-simplify]: Simplify 0 into 0 17.614 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 17.615 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 17.615 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 3) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))) into 0 17.615 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 6)))) into 0 17.616 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 7)))) into 0 17.616 * [backup-simplify]: Simplify 0 into 0 17.617 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 17.617 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 17.618 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))) into 0 17.619 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 6))))) into 0 17.620 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 7))))) into 0 17.620 * [backup-simplify]: Simplify 0 into 0 17.621 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 17.622 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 17.624 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))) into 0 17.625 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 6)))))) into 0 17.627 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 7)))))) into 0 17.627 * [backup-simplify]: Simplify 0 into 0 17.629 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 17.630 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 17.632 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))))) into 0 17.634 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 6))))))) into 0 17.636 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 7))))))) into 0 17.637 * [backup-simplify]: Simplify 0 into 0 17.639 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 17.641 * [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 17.643 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))))) into 0 17.645 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 6)))))))) into 0 17.647 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 7)))))))) into 0 17.647 * [backup-simplify]: Simplify 0 into 0 17.648 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ -1 (/ 1 (- x)))) 7)) into (* 0.047619047619047616 (pow (fabs x) 7)) 17.648 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2) 17.648 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) into (* 0.6666666666666666 (pow (fabs x) 3)) 17.649 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 17.649 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 17.649 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 17.649 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 17.649 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 17.649 * [taylor]: Taking taylor expansion of (fabs x) in x 17.649 * [backup-simplify]: Simplify (fabs x) into (fabs x) 17.649 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 17.649 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 17.649 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 17.649 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 17.649 * [taylor]: Taking taylor expansion of (fabs x) in x 17.649 * [backup-simplify]: Simplify (fabs x) into (fabs x) 17.649 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 17.649 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 17.650 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 17.650 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 17.650 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 17.650 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 17.651 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs x) 3))) into 0 17.651 * [backup-simplify]: Simplify 0 into 0 17.651 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 17.652 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 17.653 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))) into 0 17.653 * [backup-simplify]: Simplify 0 into 0 17.654 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 17.655 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 17.656 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))) into 0 17.656 * [backup-simplify]: Simplify 0 into 0 17.656 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 17.657 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 17.658 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))) into 0 17.658 * [backup-simplify]: Simplify 0 into 0 17.659 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 17.660 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 17.662 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))))) into 0 17.662 * [backup-simplify]: Simplify 0 into 0 17.665 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 17.666 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 17.668 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))))) into 0 17.668 * [backup-simplify]: Simplify 0 into 0 17.668 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 17.668 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x)))) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 17.668 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 17.668 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 17.669 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 17.669 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 17.669 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 17.669 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 17.669 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 17.669 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 17.669 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 17.669 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 17.669 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 17.669 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 17.669 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 17.669 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 17.669 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 17.669 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 17.669 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 17.669 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 17.670 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 17.670 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ 1 x)) 3))) into 0 17.670 * [backup-simplify]: Simplify 0 into 0 17.670 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 17.671 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 17.671 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))) into 0 17.671 * [backup-simplify]: Simplify 0 into 0 17.672 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 17.673 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 17.673 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))) into 0 17.673 * [backup-simplify]: Simplify 0 into 0 17.674 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 17.675 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 17.676 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))) into 0 17.676 * [backup-simplify]: Simplify 0 into 0 17.677 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 17.678 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 17.679 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))))) into 0 17.679 * [backup-simplify]: Simplify 0 into 0 17.680 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 17.682 * [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 17.683 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))))) into 0 17.683 * [backup-simplify]: Simplify 0 into 0 17.683 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 (/ 1 x))) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 17.684 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x))))) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 17.684 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 17.684 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 17.684 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 17.684 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 17.684 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 17.684 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 17.684 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 17.684 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 17.685 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 17.685 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 17.685 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 17.685 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 17.685 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 17.685 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 17.685 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 17.685 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 17.686 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 17.686 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 17.686 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 17.687 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ -1 x)) 3))) into 0 17.687 * [backup-simplify]: Simplify 0 into 0 17.687 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 17.688 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 17.689 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))) into 0 17.689 * [backup-simplify]: Simplify 0 into 0 17.690 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 17.691 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 17.692 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))) into 0 17.692 * [backup-simplify]: Simplify 0 into 0 17.693 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 17.695 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 17.696 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))) into 0 17.696 * [backup-simplify]: Simplify 0 into 0 17.698 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 17.699 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 17.701 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))))) into 0 17.702 * [backup-simplify]: Simplify 0 into 0 17.703 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 17.706 * [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 17.708 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))))) into 0 17.708 * [backup-simplify]: Simplify 0 into 0 17.708 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 17.708 * * * [progress]: simplifying candidates 17.714 * [simplify]: Simplifying: (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (log1p (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (log (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (exp (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (cbrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (sqrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* 1.0 (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (expm1 (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (log1p (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (+ (- (log 1.0) (log 21.0)) (+ (+ (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 21.0)) (+ (+ (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 21.0)) (+ (+ (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 21.0)) (+ (+ (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 21.0)) (+ (+ (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 21.0)) (+ (log (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 21.0)) (log (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (log (/ 1.0 21.0)) (+ (+ (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 21.0)) (+ (+ (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 21.0)) (+ (+ (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 21.0)) (+ (+ (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 21.0)) (+ (+ (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 21.0)) (+ (log (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 21.0)) (log (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (log (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (exp (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (cbrt (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (cbrt (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (sqrt (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (sqrt (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (cbrt (/ 1.0 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (sqrt (/ 1.0 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) (cbrt 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) (sqrt 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) (cbrt 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) (sqrt 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 (cbrt 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 (sqrt 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* 1.0 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (expm1 (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (log1p (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (+ (- (log 2.0) (log 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (cbrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) (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.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) 17.727 * * [simplify]: Extracting # 0 : cost 0 17.727 * * [simplify]: Extracting # 1 : cost 0 17.728 * * [simplify]: Extracting # 2 : cost 0 17.729 * * [simplify]: Extracting # 3 : cost 0 17.729 * * [simplify]: Extracting # 4 : cost 0 17.730 * * [simplify]: Extracting # 5 : cost 0 17.731 * * [simplify]: Extracting # 6 : cost 0 17.732 * * [simplify]: Extracting # 7 : cost 0 17.733 * * [simplify]: Extracting # 8 : cost 0 17.734 * * [simplify]: Extracting # 9 : cost 0 17.734 * * [simplify]: Extracting # 10 : cost 0 17.735 * * [simplify]: Extracting # 11 : cost 0 17.736 * * [simplify]: iteration 0 : 305 enodes (cost 4549 ) 17.875 * * [simplify]: Extracting # 0 : cost 0 17.877 * * [simplify]: Extracting # 1 : cost 0 17.878 * * [simplify]: Extracting # 2 : cost 0 17.879 * * [simplify]: Extracting # 3 : cost 0 17.880 * * [simplify]: Extracting # 4 : cost 0 17.881 * * [simplify]: iteration 1 : 956 enodes (cost 3089 ) 18.422 * * [simplify]: Extracting # 0 : cost 0 18.435 * * [simplify]: Extracting # 1 : cost 0 18.441 * * [simplify]: Extracting # 2 : cost 0 18.447 * * [simplify]: Extracting # 3 : cost 0 18.459 * * [simplify]: Extracting # 4 : cost 0 18.470 * * [simplify]: Extracting # 5 : cost 0 18.481 * * [simplify]: Extracting # 6 : cost 0 18.492 * * [simplify]: iteration done: 5001 enodes (cost 2058 ) 18.494 * [simplify]: Simplified to: (expm1 (sqrt PI)) (log1p (sqrt PI)) (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)) (expm1 (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1)))) (log1p (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1)))) (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1))) (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1))) (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1))) (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1))) (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1)))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1)))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1)))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1)))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1)))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1)))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1)))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1)))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1)))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1)))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1)))) (pow (exp (/ 1.0 5.0)) (* (pow (fabs x) (+ 3 1)) (fabs x))) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1))) 3) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1))) 3) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1))) 3) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1))) 3) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1))) 3) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1))) 3) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1))) 3) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1))) 3) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1))) 3) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1))) 3) (* (cbrt (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1)))) (cbrt (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1))))) (cbrt (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1)))) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1))) 3) (sqrt (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1)))) (sqrt (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1)))) (* (pow (fabs x) (+ 3 1)) (/ 1.0 5.0)) (* (fabs x) (* (pow (fabs x) (+ 3 1)) (cbrt (/ 1.0 5.0)))) (* (* (sqrt (/ 1.0 5.0)) (fabs x)) (pow (fabs x) (+ 3 1))) (* (* (/ (cbrt 1.0) (cbrt 5.0)) (fabs x)) (pow (fabs x) (+ 3 1))) (* (* (/ (cbrt 1.0) (sqrt 5.0)) (pow (fabs x) (+ 3 1))) (fabs x)) (* (* (/ (cbrt 1.0) 5.0) (pow (fabs x) (+ 3 1))) (fabs x)) (* (pow (fabs x) (+ 3 1)) (* (fabs x) (/ (sqrt 1.0) (cbrt 5.0)))) (* (/ (sqrt 1.0) (sqrt 5.0)) (* (pow (fabs x) (+ 3 1)) (fabs x))) (* (pow (fabs x) (+ 3 1)) (* (fabs x) (/ (sqrt 1.0) 5.0))) (* (* (/ 1.0 (cbrt 5.0)) (fabs x)) (pow (fabs x) (+ 3 1))) (* (* (/ 1.0 (sqrt 5.0)) (fabs x)) (pow (fabs x) (+ 3 1))) (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1))) (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) (+ 3 1))) (/ (* (pow (fabs x) (+ 3 1)) (fabs x)) 5.0) (* (* 1.0 (pow (fabs x) (+ 3 1))) (fabs x)) (expm1 (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (log1p (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) (log (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (log (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (log (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (log (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (log (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (log (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (log (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (log (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (log (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (log (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (log (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (log (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (log (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (log (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (log (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (pow (exp (/ 1.0 21.0)) (* (fabs x) (pow (fabs x) (* 2 3)))) (pow (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) 3) (pow (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) 3) (pow (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) 3) (pow (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) 3) (pow (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) 3) (pow (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) 3) (pow (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) 3) (pow (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) 3) (pow (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) 3) (pow (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) 3) (pow (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) 3) (pow (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) 3) (pow (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) 3) (pow (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) 3) (* (cbrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (cbrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (cbrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (pow (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) 3) (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (/ (* 1.0 (pow (fabs x) (* 2 3))) 21.0) (* (* (fabs x) (pow (fabs x) (* 2 3))) (cbrt (/ 1.0 21.0))) (* (pow (fabs x) (* 2 3)) (* (fabs x) (sqrt (/ 1.0 21.0)))) (* (* (/ (cbrt 1.0) (cbrt 21.0)) (pow (fabs x) (* 2 3))) (fabs x)) (* (fabs x) (* (pow (fabs x) (* 2 3)) (/ (cbrt 1.0) (sqrt 21.0)))) (/ (* (* (cbrt 1.0) (fabs x)) (pow (fabs x) (* 2 3))) 21.0) (* (/ (sqrt 1.0) (cbrt 21.0)) (* (pow (fabs x) (* 2 3)) (fabs x))) (* (* (/ (sqrt 1.0) (sqrt 21.0)) (pow (fabs x) (* 2 3))) (fabs x)) (* (/ (sqrt 1.0) 21.0) (* (fabs x) (pow (fabs x) (* 2 3)))) (* (/ 1.0 (cbrt 21.0)) (* (fabs x) (pow (fabs x) (* 2 3)))) (* (pow (fabs x) (* 2 3)) (* (fabs x) (/ 1.0 (sqrt 21.0)))) (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))) (/ (* (fabs x) (pow (fabs x) (* 2 3))) 21.0) (* 1.0 (* (fabs x) (pow (fabs x) (* 2 3)))) (expm1 (* (pow (fabs x) 3) (/ 2.0 3.0))) (log1p (* (pow (fabs x) 3) (/ 2.0 3.0))) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (exp (* (pow (fabs x) 3) (/ 2.0 3.0))) (* (pow (pow (fabs x) 3) 3) (pow (/ 2.0 3.0) 3)) (* (pow (pow (fabs x) 3) 3) (pow (/ 2.0 3.0) 3)) (* (pow (pow (fabs x) 3) 3) (pow (/ 2.0 3.0) 3)) (* (pow (pow (fabs x) 3) 3) (pow (/ 2.0 3.0) 3)) (* (pow (pow (fabs x) 3) 3) (pow (/ 2.0 3.0) 3)) (* (pow (pow (fabs x) 3) 3) (pow (/ 2.0 3.0) 3)) (* (cbrt (* (pow (fabs x) 3) (/ 2.0 3.0))) (cbrt (* (pow (fabs x) 3) (/ 2.0 3.0)))) (cbrt (* (pow (fabs x) 3) (/ 2.0 3.0))) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (sqrt (* (pow (fabs x) 3) (/ 2.0 3.0))) (sqrt (* (pow (fabs x) 3) (/ 2.0 3.0))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (pow (fabs x) 3) (cbrt (/ 2.0 3.0))) (* (sqrt (/ 2.0 3.0)) (pow (fabs x) 3)) (* (/ (cbrt 2.0) (cbrt 3.0)) (pow (fabs x) 3)) (* (pow (fabs x) 3) (/ (cbrt 2.0) (sqrt 3.0))) (* (pow (fabs x) 3) (/ (cbrt 2.0) 3.0)) (* (/ (sqrt 2.0) (cbrt 3.0)) (pow (fabs x) 3)) (* (pow (fabs x) 3) (/ (sqrt 2.0) (sqrt 3.0))) (* (pow (fabs x) 3) (/ (sqrt 2.0) 3.0)) (* (pow (fabs x) 3) (/ 2.0 (cbrt 3.0))) (* (/ 2.0 (sqrt 3.0)) (pow (fabs x) 3)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (/ (pow (fabs x) 3) 3.0) (* 2.0 (pow (fabs x) 3)) (fabs (* (+ (fma 2.0 (fabs x) (* (pow (fabs x) 3) (/ 2.0 3.0))) (* (fabs x) (+ (* (pow (fabs x) (+ 3 1)) (/ 1.0 5.0)) (/ (* 1.0 (pow (fabs x) (* 2 3))) 21.0)))) (/ 1.0 (sqrt PI)))) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) 18.497 * * * [progress]: adding candidates to table 19.501 * * [progress]: iteration 2 / 4 19.501 * * * [progress]: picking best candidate 19.561 * * * * [pick]: Picked # 19.561 * * * [progress]: localizing error 19.648 * * * [progress]: generating rewritten candidates 19.648 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 19.651 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 2 2) 19.669 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 1 2) 19.671 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1 1) 19.677 * * * [progress]: generating series expansions 19.677 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 19.677 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2 2 2) 19.677 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 1 2) 19.677 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1 1) 19.677 * * * [progress]: simplifying candidates 19.678 * [simplify]: Simplifying: (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (cbrt (/ 1.0 5.0))) (log1p (cbrt (/ 1.0 5.0))) (log (cbrt (/ 1.0 5.0))) (exp (cbrt (/ 1.0 5.0))) (cbrt (* (cbrt (/ 1.0 5.0)) (cbrt (/ 1.0 5.0)))) (cbrt (cbrt (/ 1.0 5.0))) (cbrt (sqrt (/ 1.0 5.0))) (cbrt (sqrt (/ 1.0 5.0))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 5.0) (cbrt 5.0)))) (cbrt (/ (cbrt 1.0) (cbrt 5.0))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 5.0))) (cbrt (/ (cbrt 1.0) (sqrt 5.0))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) 1)) (cbrt (/ (cbrt 1.0) 5.0)) (cbrt (/ (sqrt 1.0) (* (cbrt 5.0) (cbrt 5.0)))) (cbrt (/ (sqrt 1.0) (cbrt 5.0))) (cbrt (/ (sqrt 1.0) (sqrt 5.0))) (cbrt (/ (sqrt 1.0) (sqrt 5.0))) (cbrt (/ (sqrt 1.0) 1)) (cbrt (/ (sqrt 1.0) 5.0)) (cbrt (/ 1 (* (cbrt 5.0) (cbrt 5.0)))) (cbrt (/ 1.0 (cbrt 5.0))) (cbrt (/ 1 (sqrt 5.0))) (cbrt (/ 1.0 (sqrt 5.0))) (cbrt (/ 1 1)) (cbrt (/ 1.0 5.0)) (cbrt 1) (cbrt (/ 1.0 5.0)) (cbrt 1.0) (cbrt (/ 1 5.0)) (cbrt 1.0) (cbrt 5.0) (* (cbrt (cbrt (/ 1.0 5.0))) (cbrt (cbrt (/ 1.0 5.0)))) (cbrt (cbrt (/ 1.0 5.0))) (* (* (cbrt (/ 1.0 5.0)) (cbrt (/ 1.0 5.0))) (cbrt (/ 1.0 5.0))) (sqrt (cbrt (/ 1.0 5.0))) (sqrt (cbrt (/ 1.0 5.0))) (expm1 (cbrt (/ 1.0 5.0))) (log1p (cbrt (/ 1.0 5.0))) (log (cbrt (/ 1.0 5.0))) (exp (cbrt (/ 1.0 5.0))) (cbrt (* (cbrt (/ 1.0 5.0)) (cbrt (/ 1.0 5.0)))) (cbrt (cbrt (/ 1.0 5.0))) (cbrt (sqrt (/ 1.0 5.0))) (cbrt (sqrt (/ 1.0 5.0))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 5.0) (cbrt 5.0)))) (cbrt (/ (cbrt 1.0) (cbrt 5.0))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 5.0))) (cbrt (/ (cbrt 1.0) (sqrt 5.0))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) 1)) (cbrt (/ (cbrt 1.0) 5.0)) (cbrt (/ (sqrt 1.0) (* (cbrt 5.0) (cbrt 5.0)))) (cbrt (/ (sqrt 1.0) (cbrt 5.0))) (cbrt (/ (sqrt 1.0) (sqrt 5.0))) (cbrt (/ (sqrt 1.0) (sqrt 5.0))) (cbrt (/ (sqrt 1.0) 1)) (cbrt (/ (sqrt 1.0) 5.0)) (cbrt (/ 1 (* (cbrt 5.0) (cbrt 5.0)))) (cbrt (/ 1.0 (cbrt 5.0))) (cbrt (/ 1 (sqrt 5.0))) (cbrt (/ 1.0 (sqrt 5.0))) (cbrt (/ 1 1)) (cbrt (/ 1.0 5.0)) (cbrt 1) (cbrt (/ 1.0 5.0)) (cbrt 1.0) (cbrt (/ 1 5.0)) (cbrt 1.0) (cbrt 5.0) (* (cbrt (cbrt (/ 1.0 5.0))) (cbrt (cbrt (/ 1.0 5.0)))) (cbrt (cbrt (/ 1.0 5.0))) (* (* (cbrt (/ 1.0 5.0)) (cbrt (/ 1.0 5.0))) (cbrt (/ 1.0 5.0))) (sqrt (cbrt (/ 1.0 5.0))) (sqrt (cbrt (/ 1.0 5.0))) (expm1 (cbrt (/ 1.0 5.0))) (log1p (cbrt (/ 1.0 5.0))) (log (cbrt (/ 1.0 5.0))) (exp (cbrt (/ 1.0 5.0))) (cbrt (* (cbrt (/ 1.0 5.0)) (cbrt (/ 1.0 5.0)))) (cbrt (cbrt (/ 1.0 5.0))) (cbrt (sqrt (/ 1.0 5.0))) (cbrt (sqrt (/ 1.0 5.0))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 5.0) (cbrt 5.0)))) (cbrt (/ (cbrt 1.0) (cbrt 5.0))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 5.0))) (cbrt (/ (cbrt 1.0) (sqrt 5.0))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) 1)) (cbrt (/ (cbrt 1.0) 5.0)) (cbrt (/ (sqrt 1.0) (* (cbrt 5.0) (cbrt 5.0)))) (cbrt (/ (sqrt 1.0) (cbrt 5.0))) (cbrt (/ (sqrt 1.0) (sqrt 5.0))) (cbrt (/ (sqrt 1.0) (sqrt 5.0))) (cbrt (/ (sqrt 1.0) 1)) (cbrt (/ (sqrt 1.0) 5.0)) (cbrt (/ 1 (* (cbrt 5.0) (cbrt 5.0)))) (cbrt (/ 1.0 (cbrt 5.0))) (cbrt (/ 1 (sqrt 5.0))) (cbrt (/ 1.0 (sqrt 5.0))) (cbrt (/ 1 1)) (cbrt (/ 1.0 5.0)) (cbrt 1) (cbrt (/ 1.0 5.0)) (cbrt 1.0) (cbrt (/ 1 5.0)) (cbrt 1.0) (cbrt 5.0) (* (cbrt (cbrt (/ 1.0 5.0))) (cbrt (cbrt (/ 1.0 5.0)))) (cbrt (cbrt (/ 1.0 5.0))) (* (* (cbrt (/ 1.0 5.0)) (cbrt (/ 1.0 5.0))) (cbrt (/ 1.0 5.0))) (sqrt (cbrt (/ 1.0 5.0))) (sqrt (cbrt (/ 1.0 5.0))) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (cbrt (/ 1.0 5.0)) (cbrt (/ 1.0 5.0))) (* (fabs x) (* (pow (fabs x) (+ 3 1)) (cbrt (/ 1.0 5.0)))))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (cbrt (/ 1.0 5.0)) (cbrt (/ 1.0 5.0))) (* (fabs x) (* (pow (fabs x) (+ 3 1)) (cbrt (/ 1.0 5.0)))))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (cbrt (/ 1.0 5.0)) (cbrt (/ 1.0 5.0))) (* (fabs x) (* (pow (fabs x) (+ 3 1)) (cbrt (/ 1.0 5.0)))))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (cbrt (/ 1.0 5.0)) (cbrt (/ 1.0 5.0))) (* (fabs x) (* (pow (fabs x) (+ 3 1)) (cbrt (/ 1.0 5.0)))))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) 19.680 * * [simplify]: Extracting # 0 : cost 0 19.680 * * [simplify]: Extracting # 1 : cost 0 19.680 * * [simplify]: Extracting # 2 : cost 0 19.680 * * [simplify]: Extracting # 3 : cost 0 19.680 * * [simplify]: Extracting # 4 : cost 0 19.680 * * [simplify]: Extracting # 5 : cost 0 19.680 * * [simplify]: Extracting # 6 : cost 0 19.681 * * [simplify]: Extracting # 7 : cost 0 19.681 * * [simplify]: Extracting # 8 : cost 0 19.681 * * [simplify]: Extracting # 9 : cost 0 19.681 * * [simplify]: Extracting # 10 : cost 0 19.681 * * [simplify]: Extracting # 11 : cost 0 19.681 * * [simplify]: Extracting # 12 : cost 0 19.681 * * [simplify]: Extracting # 13 : cost 0 19.681 * * [simplify]: Extracting # 14 : cost 0 19.681 * * [simplify]: Extracting # 15 : cost 0 19.682 * * [simplify]: Extracting # 16 : cost 0 19.682 * * [simplify]: iteration 0 : 104 enodes (cost 995 ) 19.707 * * [simplify]: Extracting # 0 : cost 0 19.708 * * [simplify]: Extracting # 1 : cost 0 19.708 * * [simplify]: Extracting # 2 : cost 0 19.708 * * [simplify]: Extracting # 3 : cost 0 19.709 * * [simplify]: Extracting # 4 : cost 0 19.709 * * [simplify]: iteration 1 : 174 enodes (cost 949 ) 19.749 * * [simplify]: Extracting # 0 : cost 0 19.757 * * [simplify]: Extracting # 1 : cost 0 19.758 * * [simplify]: Extracting # 2 : cost 0 19.759 * * [simplify]: Extracting # 3 : cost 0 19.760 * * [simplify]: Extracting # 4 : cost 0 19.760 * * [simplify]: iteration 2 : 411 enodes (cost 837 ) 20.013 * * [simplify]: Extracting # 0 : cost 0 20.016 * * [simplify]: Extracting # 1 : cost 0 20.020 * * [simplify]: Extracting # 2 : cost 0 20.023 * * [simplify]: Extracting # 3 : cost 0 20.027 * * [simplify]: Extracting # 4 : cost 0 20.038 * * [simplify]: Extracting # 5 : cost 0 20.041 * * [simplify]: Extracting # 6 : cost 0 20.045 * * [simplify]: iteration 3 : 1731 enodes (cost 776 ) 21.299 * * [simplify]: Extracting # 0 : cost 0 21.310 * * [simplify]: Extracting # 1 : cost 0 21.326 * * [simplify]: Extracting # 2 : cost 0 21.331 * * [simplify]: Extracting # 3 : cost 0 21.337 * * [simplify]: Extracting # 4 : cost 0 21.342 * * [simplify]: iteration done: 5000 enodes (cost 772 ) 21.343 * [simplify]: Simplified to: (expm1 (sqrt PI)) (log1p (sqrt PI)) (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)) (expm1 (cbrt (/ 1.0 5.0))) (log1p (cbrt (/ 1.0 5.0))) (log (cbrt (/ 1.0 5.0))) (exp (cbrt (/ 1.0 5.0))) (cbrt (* (cbrt (/ 1.0 5.0)) (cbrt (/ 1.0 5.0)))) (cbrt (cbrt (/ 1.0 5.0))) (cbrt (sqrt (/ 1.0 5.0))) (cbrt (sqrt (/ 1.0 5.0))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 5.0) (cbrt 5.0)))) (cbrt (/ (cbrt 1.0) (cbrt 5.0))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 5.0))) (cbrt (/ (cbrt 1.0) (sqrt 5.0))) (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (/ (cbrt 1.0) 5.0)) (cbrt (/ (sqrt 1.0) (* (cbrt 5.0) (cbrt 5.0)))) (cbrt (/ (sqrt 1.0) (cbrt 5.0))) (cbrt (/ (sqrt 1.0) (sqrt 5.0))) (cbrt (/ (sqrt 1.0) (sqrt 5.0))) (cbrt (sqrt 1.0)) (cbrt (/ (sqrt 1.0) 5.0)) (cbrt (/ 1 (* (cbrt 5.0) (cbrt 5.0)))) (cbrt (/ 1.0 (cbrt 5.0))) (cbrt (/ 1 (sqrt 5.0))) (cbrt (/ 1.0 (sqrt 5.0))) 1 (cbrt (/ 1.0 5.0)) 1 (cbrt (/ 1.0 5.0)) (cbrt 1.0) (cbrt (/ 1 5.0)) (cbrt 1.0) (cbrt 5.0) (* (cbrt (cbrt (/ 1.0 5.0))) (cbrt (cbrt (/ 1.0 5.0)))) (cbrt (cbrt (/ 1.0 5.0))) (/ 1.0 5.0) (sqrt (cbrt (/ 1.0 5.0))) (sqrt (cbrt (/ 1.0 5.0))) (expm1 (cbrt (/ 1.0 5.0))) (log1p (cbrt (/ 1.0 5.0))) (log (cbrt (/ 1.0 5.0))) (exp (cbrt (/ 1.0 5.0))) (cbrt (* (cbrt (/ 1.0 5.0)) (cbrt (/ 1.0 5.0)))) (cbrt (cbrt (/ 1.0 5.0))) (cbrt (sqrt (/ 1.0 5.0))) (cbrt (sqrt (/ 1.0 5.0))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 5.0) (cbrt 5.0)))) (cbrt (/ (cbrt 1.0) (cbrt 5.0))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 5.0))) (cbrt (/ (cbrt 1.0) (sqrt 5.0))) (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (/ (cbrt 1.0) 5.0)) (cbrt (/ (sqrt 1.0) (* (cbrt 5.0) (cbrt 5.0)))) (cbrt (/ (sqrt 1.0) (cbrt 5.0))) (cbrt (/ (sqrt 1.0) (sqrt 5.0))) (cbrt (/ (sqrt 1.0) (sqrt 5.0))) (cbrt (sqrt 1.0)) (cbrt (/ (sqrt 1.0) 5.0)) (cbrt (/ 1 (* (cbrt 5.0) (cbrt 5.0)))) (cbrt (/ 1.0 (cbrt 5.0))) (cbrt (/ 1 (sqrt 5.0))) (cbrt (/ 1.0 (sqrt 5.0))) 1 (cbrt (/ 1.0 5.0)) 1 (cbrt (/ 1.0 5.0)) (cbrt 1.0) (cbrt (/ 1 5.0)) (cbrt 1.0) (cbrt 5.0) (* (cbrt (cbrt (/ 1.0 5.0))) (cbrt (cbrt (/ 1.0 5.0)))) (cbrt (cbrt (/ 1.0 5.0))) (/ 1.0 5.0) (sqrt (cbrt (/ 1.0 5.0))) (sqrt (cbrt (/ 1.0 5.0))) (expm1 (cbrt (/ 1.0 5.0))) (log1p (cbrt (/ 1.0 5.0))) (log (cbrt (/ 1.0 5.0))) (exp (cbrt (/ 1.0 5.0))) (cbrt (* (cbrt (/ 1.0 5.0)) (cbrt (/ 1.0 5.0)))) (cbrt (cbrt (/ 1.0 5.0))) (cbrt (sqrt (/ 1.0 5.0))) (cbrt (sqrt (/ 1.0 5.0))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 5.0) (cbrt 5.0)))) (cbrt (/ (cbrt 1.0) (cbrt 5.0))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 5.0))) (cbrt (/ (cbrt 1.0) (sqrt 5.0))) (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (/ (cbrt 1.0) 5.0)) (cbrt (/ (sqrt 1.0) (* (cbrt 5.0) (cbrt 5.0)))) (cbrt (/ (sqrt 1.0) (cbrt 5.0))) (cbrt (/ (sqrt 1.0) (sqrt 5.0))) (cbrt (/ (sqrt 1.0) (sqrt 5.0))) (cbrt (sqrt 1.0)) (cbrt (/ (sqrt 1.0) 5.0)) (cbrt (/ 1 (* (cbrt 5.0) (cbrt 5.0)))) (cbrt (/ 1.0 (cbrt 5.0))) (cbrt (/ 1 (sqrt 5.0))) (cbrt (/ 1.0 (sqrt 5.0))) 1 (cbrt (/ 1.0 5.0)) 1 (cbrt (/ 1.0 5.0)) (cbrt 1.0) (cbrt (/ 1 5.0)) (cbrt 1.0) (cbrt 5.0) (* (cbrt (cbrt (/ 1.0 5.0))) (cbrt (cbrt (/ 1.0 5.0)))) (cbrt (cbrt (/ 1.0 5.0))) (/ 1.0 5.0) (sqrt (cbrt (/ 1.0 5.0))) (sqrt (cbrt (/ 1.0 5.0))) (fabs (* (/ 1.0 (sqrt PI)) (fma (/ 1.0 5.0) (pow (fabs x) 5) (fma (fabs x) (fma (pow (fabs x) 6) (/ 1.0 21.0) 2.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))))) (fabs (* (/ 1.0 (sqrt PI)) (fma (/ 1.0 5.0) (pow (fabs x) 5) (fma (fabs x) (fma (pow (fabs x) 6) (/ 1.0 21.0) 2.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))))) (fabs (* (/ 1.0 (sqrt PI)) (fma (/ 1.0 5.0) (pow (fabs x) 5) (fma (fabs x) (fma (pow (fabs x) 6) (/ 1.0 21.0) 2.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))))) (fabs (* (/ 1.0 (sqrt PI)) (fma (/ 1.0 5.0) (pow (fabs x) 5) (fma (fabs x) (fma (pow (fabs x) 6) (/ 1.0 21.0) 2.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))))) 21.344 * * * [progress]: adding candidates to table 22.389 * * [progress]: iteration 3 / 4 22.389 * * * [progress]: picking best candidate 22.411 * * * * [pick]: Picked # 22.411 * * * [progress]: localizing error 22.452 * * * [progress]: generating rewritten candidates 22.452 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2) 22.495 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1) 22.520 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 22.522 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 2) 22.557 * * * [progress]: generating series expansions 22.557 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2) 22.559 * [backup-simplify]: Simplify (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) into (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) 22.559 * [approximate]: Taking taylor expansion of (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) in (x) around 0 22.559 * [taylor]: Taking taylor expansion of (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) in x 22.559 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 7)) in x 22.559 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 22.559 * [taylor]: Taking taylor expansion of (fabs x) in x 22.559 * [backup-simplify]: Simplify (fabs x) into (fabs x) 22.559 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 22.560 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 22.560 * [backup-simplify]: Simplify (* (pow (fabs x) 3) (pow (fabs x) 3)) into (pow (fabs x) 6) 22.560 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 6)) into (pow (fabs x) 7) 22.560 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 7)) into (sqrt (pow (fabs x) 7)) 22.560 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 22.561 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 22.561 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 3) 0) (* 0 (pow (fabs x) 3))) into 0 22.561 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 6))) into 0 22.561 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs x) 7)))) into 0 22.561 * [taylor]: Taking taylor expansion of (sqrt 0.047619047619047616) in x 22.561 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 22.561 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 22.562 * [backup-simplify]: Simplify (sqrt 0.047619047619047616) into (sqrt 0.047619047619047616) 22.568 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.047619047619047616))) into 0 22.568 * [taylor]: Taking taylor expansion of (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) in x 22.568 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 7)) in x 22.568 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 22.568 * [taylor]: Taking taylor expansion of (fabs x) in x 22.568 * [backup-simplify]: Simplify (fabs x) into (fabs x) 22.568 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 22.568 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 22.569 * [backup-simplify]: Simplify (* (pow (fabs x) 3) (pow (fabs x) 3)) into (pow (fabs x) 6) 22.569 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 6)) into (pow (fabs x) 7) 22.569 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 7)) into (sqrt (pow (fabs x) 7)) 22.569 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 22.569 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 22.570 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 3) 0) (* 0 (pow (fabs x) 3))) into 0 22.570 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 6))) into 0 22.570 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs x) 7)))) into 0 22.570 * [taylor]: Taking taylor expansion of (sqrt 0.047619047619047616) in x 22.570 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 22.570 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 22.571 * [backup-simplify]: Simplify (sqrt 0.047619047619047616) into (sqrt 0.047619047619047616) 22.572 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.047619047619047616))) into 0 22.572 * [backup-simplify]: Simplify (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) into (* (sqrt 0.047619047619047616) (sqrt (pow (fabs x) 7))) 22.573 * [backup-simplify]: Simplify (* (sqrt 0.047619047619047616) (sqrt (pow (fabs x) 7))) into (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) 22.574 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs x) 7)) 0) (* 0 (sqrt 0.047619047619047616))) into 0 22.574 * [backup-simplify]: Simplify 0 into 0 22.575 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.047619047619047616))) into 0 22.575 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 22.576 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 22.577 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 3) 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))) into 0 22.577 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 6)))) into 0 22.578 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs x) 7)))) into 0 22.579 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs x) 7)) 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616)))) into 0 22.579 * [backup-simplify]: Simplify 0 into 0 22.581 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.582 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 22.583 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 22.584 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))) into 0 22.585 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 6))))) into 0 22.586 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 7)))) into 0 22.587 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs x) 7)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616))))) into 0 22.587 * [backup-simplify]: Simplify 0 into 0 22.588 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.590 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 22.591 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 22.592 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))) into 0 22.594 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 6)))))) into 0 22.595 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 7)))) into 0 22.596 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs x) 7)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616)))))) into 0 22.596 * [backup-simplify]: Simplify 0 into 0 22.598 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.600 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 22.602 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 22.603 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))))) into 0 22.605 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 6))))))) into 0 22.606 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 7)))) into 0 22.607 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs x) 7)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616))))))) into 0 22.607 * [backup-simplify]: Simplify 0 into 0 22.609 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.611 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 22.613 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 22.616 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))))) into 0 22.618 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 6)))))))) into 0 22.619 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 7)))) into 0 22.621 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs x) 7)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616)))))))) into 0 22.621 * [backup-simplify]: Simplify 0 into 0 22.622 * [backup-simplify]: Simplify (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) into (* (sqrt 0.047619047619047616) (sqrt (pow (fabs x) 7))) 22.623 * [backup-simplify]: Simplify (sqrt (* (pow (fabs (/ 1 x)) (* 2 3)) (* (/ 1.0 21.0) (fabs (/ 1 x))))) into (* (sqrt (pow (fabs (/ 1 x)) 7)) (sqrt 0.047619047619047616)) 22.623 * [approximate]: Taking taylor expansion of (* (sqrt (pow (fabs (/ 1 x)) 7)) (sqrt 0.047619047619047616)) in (x) around 0 22.623 * [taylor]: Taking taylor expansion of (* (sqrt (pow (fabs (/ 1 x)) 7)) (sqrt 0.047619047619047616)) in x 22.623 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 7)) in x 22.623 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 22.623 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 22.624 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 22.624 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 22.624 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 22.624 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 x)) 3) (pow (fabs (/ 1 x)) 3)) into (pow (fabs (/ 1 x)) 6) 22.625 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 6)) into (pow (fabs (/ 1 x)) 7) 22.625 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 7)) into (sqrt (pow (fabs (/ 1 x)) 7)) 22.625 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 22.625 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 22.626 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 3) 0) (* 0 (pow (fabs (/ 1 x)) 3))) into 0 22.626 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 6))) into 0 22.626 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ 1 x)) 7)))) into 0 22.626 * [taylor]: Taking taylor expansion of (sqrt 0.047619047619047616) in x 22.626 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 22.626 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 22.627 * [backup-simplify]: Simplify (sqrt 0.047619047619047616) into (sqrt 0.047619047619047616) 22.628 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.047619047619047616))) into 0 22.628 * [taylor]: Taking taylor expansion of (* (sqrt (pow (fabs (/ 1 x)) 7)) (sqrt 0.047619047619047616)) in x 22.628 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 7)) in x 22.628 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 22.628 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 22.628 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 22.628 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 22.629 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 22.629 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 x)) 3) (pow (fabs (/ 1 x)) 3)) into (pow (fabs (/ 1 x)) 6) 22.629 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 6)) into (pow (fabs (/ 1 x)) 7) 22.629 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 7)) into (sqrt (pow (fabs (/ 1 x)) 7)) 22.630 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 22.630 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 22.630 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 3) 0) (* 0 (pow (fabs (/ 1 x)) 3))) into 0 22.631 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 6))) into 0 22.631 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ 1 x)) 7)))) into 0 22.631 * [taylor]: Taking taylor expansion of (sqrt 0.047619047619047616) in x 22.631 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 22.631 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 22.632 * [backup-simplify]: Simplify (sqrt 0.047619047619047616) into (sqrt 0.047619047619047616) 22.632 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.047619047619047616))) into 0 22.633 * [backup-simplify]: Simplify (* (sqrt (pow (fabs (/ 1 x)) 7)) (sqrt 0.047619047619047616)) into (* (sqrt (pow (fabs (/ 1 x)) 7)) (sqrt 0.047619047619047616)) 22.634 * [backup-simplify]: Simplify (* (sqrt (pow (fabs (/ 1 x)) 7)) (sqrt 0.047619047619047616)) into (* (sqrt (pow (fabs (/ 1 x)) 7)) (sqrt 0.047619047619047616)) 22.635 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs (/ 1 x)) 7)) 0) (* 0 (sqrt 0.047619047619047616))) into 0 22.635 * [backup-simplify]: Simplify 0 into 0 22.636 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.047619047619047616))) into 0 22.637 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 22.637 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 22.638 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 3) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))) into 0 22.639 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 6)))) into 0 22.640 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ 1 x)) 7)))) into 0 22.641 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs (/ 1 x)) 7)) 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616)))) into 0 22.641 * [backup-simplify]: Simplify 0 into 0 22.642 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.643 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 22.644 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 22.645 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))) into 0 22.647 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 6))))) into 0 22.648 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 7)))) into 0 22.650 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs (/ 1 x)) 7)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616))))) into 0 22.650 * [backup-simplify]: Simplify 0 into 0 22.652 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.653 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 22.655 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 22.656 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))) into 0 22.658 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 6)))))) into 0 22.659 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 7)))) into 0 22.661 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs (/ 1 x)) 7)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616)))))) into 0 22.661 * [backup-simplify]: Simplify 0 into 0 22.662 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.664 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 22.666 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 22.667 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))))) into 0 22.669 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 6))))))) into 0 22.670 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 7)))) into 0 22.672 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs (/ 1 x)) 7)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616))))))) into 0 22.672 * [backup-simplify]: Simplify 0 into 0 22.673 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.675 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 22.676 * [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 22.678 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))))) into 0 22.679 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 6)))))))) into 0 22.680 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 7)))) into 0 22.681 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs (/ 1 x)) 7)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616)))))))) into 0 22.681 * [backup-simplify]: Simplify 0 into 0 22.681 * [backup-simplify]: Simplify (* (sqrt (pow (fabs (/ 1 (/ 1 x))) 7)) (sqrt 0.047619047619047616)) into (* (sqrt 0.047619047619047616) (sqrt (pow (fabs x) 7))) 22.682 * [backup-simplify]: Simplify (sqrt (* (pow (fabs (/ 1 (- x))) (* 2 3)) (* (/ 1.0 21.0) (fabs (/ 1 (- x)))))) into (* (sqrt 0.047619047619047616) (sqrt (pow (fabs (/ -1 x)) 7))) 22.682 * [approximate]: Taking taylor expansion of (* (sqrt 0.047619047619047616) (sqrt (pow (fabs (/ -1 x)) 7))) in (x) around 0 22.682 * [taylor]: Taking taylor expansion of (* (sqrt 0.047619047619047616) (sqrt (pow (fabs (/ -1 x)) 7))) in x 22.682 * [taylor]: Taking taylor expansion of (sqrt 0.047619047619047616) in x 22.682 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 22.682 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 22.682 * [backup-simplify]: Simplify (sqrt 0.047619047619047616) into (sqrt 0.047619047619047616) 22.683 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.047619047619047616))) into 0 22.683 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 7)) in x 22.683 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 22.683 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 22.683 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 22.683 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 22.683 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 22.683 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 3) (pow (fabs (/ -1 x)) 3)) into (pow (fabs (/ -1 x)) 6) 22.683 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 6)) into (pow (fabs (/ -1 x)) 7) 22.683 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 7)) into (sqrt (pow (fabs (/ -1 x)) 7)) 22.684 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 22.684 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 22.684 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 3) 0) (* 0 (pow (fabs (/ -1 x)) 3))) into 0 22.684 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 6))) into 0 22.684 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ -1 x)) 7)))) into 0 22.684 * [taylor]: Taking taylor expansion of (* (sqrt 0.047619047619047616) (sqrt (pow (fabs (/ -1 x)) 7))) in x 22.684 * [taylor]: Taking taylor expansion of (sqrt 0.047619047619047616) in x 22.684 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 22.684 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 22.685 * [backup-simplify]: Simplify (sqrt 0.047619047619047616) into (sqrt 0.047619047619047616) 22.685 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.047619047619047616))) into 0 22.685 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 7)) in x 22.685 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 22.685 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 22.685 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 22.685 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 22.685 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 22.686 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 3) (pow (fabs (/ -1 x)) 3)) into (pow (fabs (/ -1 x)) 6) 22.686 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 6)) into (pow (fabs (/ -1 x)) 7) 22.686 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 7)) into (sqrt (pow (fabs (/ -1 x)) 7)) 22.686 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 22.686 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 22.686 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 3) 0) (* 0 (pow (fabs (/ -1 x)) 3))) into 0 22.687 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 6))) into 0 22.687 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ -1 x)) 7)))) into 0 22.687 * [backup-simplify]: Simplify (* (sqrt 0.047619047619047616) (sqrt (pow (fabs (/ -1 x)) 7))) into (* (sqrt 0.047619047619047616) (sqrt (pow (fabs (/ -1 x)) 7))) 22.688 * [backup-simplify]: Simplify (* (sqrt 0.047619047619047616) (sqrt (pow (fabs (/ -1 x)) 7))) into (* (sqrt 0.047619047619047616) (sqrt (pow (fabs (/ -1 x)) 7))) 22.688 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (* 0 (sqrt (pow (fabs (/ -1 x)) 7)))) into 0 22.688 * [backup-simplify]: Simplify 0 into 0 22.688 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 22.689 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 22.689 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 3) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))) into 0 22.690 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 6)))) into 0 22.690 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ -1 x)) 7)))) into 0 22.691 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.047619047619047616))) into 0 22.692 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (+ (* 0 0) (* 0 (sqrt (pow (fabs (/ -1 x)) 7))))) into 0 22.692 * [backup-simplify]: Simplify 0 into 0 22.692 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 22.693 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 22.693 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))) into 0 22.694 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 6))))) into 0 22.695 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 7)))) into 0 22.695 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.696 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (pow (fabs (/ -1 x)) 7)))))) into 0 22.696 * [backup-simplify]: Simplify 0 into 0 22.697 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 22.698 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 22.699 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))) into 0 22.700 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 6)))))) into 0 22.700 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 7)))) into 0 22.701 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.703 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (pow (fabs (/ -1 x)) 7))))))) into 0 22.703 * [backup-simplify]: Simplify 0 into 0 22.704 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 22.705 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 22.706 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))))) into 0 22.707 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 6))))))) into 0 22.713 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 7)))) into 0 22.714 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.715 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (pow (fabs (/ -1 x)) 7)))))))) into 0 22.715 * [backup-simplify]: Simplify 0 into 0 22.717 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 22.718 * [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 22.719 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))))) into 0 22.720 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 6)))))))) into 0 22.721 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 7)))) into 0 22.722 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.723 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (pow (fabs (/ -1 x)) 7))))))))) into 0 22.723 * [backup-simplify]: Simplify 0 into 0 22.724 * [backup-simplify]: Simplify (* (sqrt 0.047619047619047616) (sqrt (pow (fabs (/ -1 (/ 1 (- x)))) 7))) into (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) 22.724 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1) 22.725 * [backup-simplify]: Simplify (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) into (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) 22.725 * [approximate]: Taking taylor expansion of (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) in (x) around 0 22.725 * [taylor]: Taking taylor expansion of (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) in x 22.725 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 7)) in x 22.725 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 22.725 * [taylor]: Taking taylor expansion of (fabs x) in x 22.725 * [backup-simplify]: Simplify (fabs x) into (fabs x) 22.725 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 22.725 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 22.725 * [backup-simplify]: Simplify (* (pow (fabs x) 3) (pow (fabs x) 3)) into (pow (fabs x) 6) 22.725 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 6)) into (pow (fabs x) 7) 22.725 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 7)) into (sqrt (pow (fabs x) 7)) 22.725 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 22.726 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 22.726 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 3) 0) (* 0 (pow (fabs x) 3))) into 0 22.726 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 6))) into 0 22.726 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs x) 7)))) into 0 22.726 * [taylor]: Taking taylor expansion of (sqrt 0.047619047619047616) in x 22.726 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 22.726 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 22.726 * [backup-simplify]: Simplify (sqrt 0.047619047619047616) into (sqrt 0.047619047619047616) 22.727 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.047619047619047616))) into 0 22.727 * [taylor]: Taking taylor expansion of (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) in x 22.727 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 7)) in x 22.727 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 22.727 * [taylor]: Taking taylor expansion of (fabs x) in x 22.727 * [backup-simplify]: Simplify (fabs x) into (fabs x) 22.727 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 22.727 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 22.727 * [backup-simplify]: Simplify (* (pow (fabs x) 3) (pow (fabs x) 3)) into (pow (fabs x) 6) 22.727 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 6)) into (pow (fabs x) 7) 22.727 * [backup-simplify]: Simplify (sqrt (pow (fabs x) 7)) into (sqrt (pow (fabs x) 7)) 22.728 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 22.728 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 22.728 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 3) 0) (* 0 (pow (fabs x) 3))) into 0 22.728 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 6))) into 0 22.728 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs x) 7)))) into 0 22.728 * [taylor]: Taking taylor expansion of (sqrt 0.047619047619047616) in x 22.728 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 22.728 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 22.728 * [backup-simplify]: Simplify (sqrt 0.047619047619047616) into (sqrt 0.047619047619047616) 22.729 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.047619047619047616))) into 0 22.729 * [backup-simplify]: Simplify (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) into (* (sqrt 0.047619047619047616) (sqrt (pow (fabs x) 7))) 22.730 * [backup-simplify]: Simplify (* (sqrt 0.047619047619047616) (sqrt (pow (fabs x) 7))) into (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) 22.730 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs x) 7)) 0) (* 0 (sqrt 0.047619047619047616))) into 0 22.730 * [backup-simplify]: Simplify 0 into 0 22.731 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.047619047619047616))) into 0 22.731 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 22.732 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 22.732 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 3) 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))) into 0 22.732 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 6)))) into 0 22.733 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs x) 7)))) into 0 22.733 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs x) 7)) 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616)))) into 0 22.733 * [backup-simplify]: Simplify 0 into 0 22.734 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.735 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 22.735 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 22.736 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))) into 0 22.736 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 6))))) into 0 22.737 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 7)))) into 0 22.738 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs x) 7)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616))))) into 0 22.738 * [backup-simplify]: Simplify 0 into 0 22.738 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.739 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 22.740 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 22.741 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))) into 0 22.742 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 6)))))) into 0 22.742 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 7)))) into 0 22.743 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs x) 7)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616)))))) into 0 22.743 * [backup-simplify]: Simplify 0 into 0 22.744 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.745 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 22.746 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 22.747 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))))) into 0 22.748 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 6))))))) into 0 22.748 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 7)))) into 0 22.749 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs x) 7)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616))))))) into 0 22.749 * [backup-simplify]: Simplify 0 into 0 22.750 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.751 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 22.753 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 22.755 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))))) into 0 22.757 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 6)))))))) into 0 22.759 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs x) 7)))) into 0 22.760 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs x) 7)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616)))))))) into 0 22.760 * [backup-simplify]: Simplify 0 into 0 22.761 * [backup-simplify]: Simplify (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) into (* (sqrt 0.047619047619047616) (sqrt (pow (fabs x) 7))) 22.762 * [backup-simplify]: Simplify (sqrt (* (pow (fabs (/ 1 x)) (* 2 3)) (* (/ 1.0 21.0) (fabs (/ 1 x))))) into (* (sqrt (pow (fabs (/ 1 x)) 7)) (sqrt 0.047619047619047616)) 22.762 * [approximate]: Taking taylor expansion of (* (sqrt (pow (fabs (/ 1 x)) 7)) (sqrt 0.047619047619047616)) in (x) around 0 22.762 * [taylor]: Taking taylor expansion of (* (sqrt (pow (fabs (/ 1 x)) 7)) (sqrt 0.047619047619047616)) in x 22.762 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 7)) in x 22.762 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 22.762 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 22.762 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 22.763 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 22.763 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 22.763 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 x)) 3) (pow (fabs (/ 1 x)) 3)) into (pow (fabs (/ 1 x)) 6) 22.763 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 6)) into (pow (fabs (/ 1 x)) 7) 22.764 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 7)) into (sqrt (pow (fabs (/ 1 x)) 7)) 22.764 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 22.764 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 22.764 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 3) 0) (* 0 (pow (fabs (/ 1 x)) 3))) into 0 22.765 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 6))) into 0 22.765 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ 1 x)) 7)))) into 0 22.765 * [taylor]: Taking taylor expansion of (sqrt 0.047619047619047616) in x 22.765 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 22.765 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 22.766 * [backup-simplify]: Simplify (sqrt 0.047619047619047616) into (sqrt 0.047619047619047616) 22.766 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.047619047619047616))) into 0 22.766 * [taylor]: Taking taylor expansion of (* (sqrt (pow (fabs (/ 1 x)) 7)) (sqrt 0.047619047619047616)) in x 22.766 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 7)) in x 22.767 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 22.767 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 22.767 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 22.767 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 22.767 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 22.767 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 x)) 3) (pow (fabs (/ 1 x)) 3)) into (pow (fabs (/ 1 x)) 6) 22.768 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 6)) into (pow (fabs (/ 1 x)) 7) 22.768 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ 1 x)) 7)) into (sqrt (pow (fabs (/ 1 x)) 7)) 22.768 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 22.768 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 22.769 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 3) 0) (* 0 (pow (fabs (/ 1 x)) 3))) into 0 22.769 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 6))) into 0 22.769 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ 1 x)) 7)))) into 0 22.769 * [taylor]: Taking taylor expansion of (sqrt 0.047619047619047616) in x 22.769 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 22.769 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 22.770 * [backup-simplify]: Simplify (sqrt 0.047619047619047616) into (sqrt 0.047619047619047616) 22.771 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.047619047619047616))) into 0 22.772 * [backup-simplify]: Simplify (* (sqrt (pow (fabs (/ 1 x)) 7)) (sqrt 0.047619047619047616)) into (* (sqrt (pow (fabs (/ 1 x)) 7)) (sqrt 0.047619047619047616)) 22.772 * [backup-simplify]: Simplify (* (sqrt (pow (fabs (/ 1 x)) 7)) (sqrt 0.047619047619047616)) into (* (sqrt (pow (fabs (/ 1 x)) 7)) (sqrt 0.047619047619047616)) 22.773 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs (/ 1 x)) 7)) 0) (* 0 (sqrt 0.047619047619047616))) into 0 22.773 * [backup-simplify]: Simplify 0 into 0 22.774 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.047619047619047616))) into 0 22.775 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 22.775 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 22.776 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 3) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))) into 0 22.776 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 6)))) into 0 22.777 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ 1 x)) 7)))) into 0 22.777 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs (/ 1 x)) 7)) 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616)))) into 0 22.778 * [backup-simplify]: Simplify 0 into 0 22.778 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.779 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 22.780 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 22.780 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))) into 0 22.781 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 6))))) into 0 22.781 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 7)))) into 0 22.782 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs (/ 1 x)) 7)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616))))) into 0 22.782 * [backup-simplify]: Simplify 0 into 0 22.783 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.784 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 22.785 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 22.786 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))) into 0 22.786 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 6)))))) into 0 22.787 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 7)))) into 0 22.788 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs (/ 1 x)) 7)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616)))))) into 0 22.788 * [backup-simplify]: Simplify 0 into 0 22.789 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.790 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 22.791 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 22.792 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))))) into 0 22.793 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 6))))))) into 0 22.794 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 7)))) into 0 22.794 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs (/ 1 x)) 7)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616))))))) into 0 22.795 * [backup-simplify]: Simplify 0 into 0 22.795 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.797 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 22.798 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 22.799 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))))) into 0 22.800 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 6)))))))) into 0 22.801 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ 1 x)) 7)))) into 0 22.802 * [backup-simplify]: Simplify (+ (* (sqrt (pow (fabs (/ 1 x)) 7)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616)))))))) into 0 22.802 * [backup-simplify]: Simplify 0 into 0 22.803 * [backup-simplify]: Simplify (* (sqrt (pow (fabs (/ 1 (/ 1 x))) 7)) (sqrt 0.047619047619047616)) into (* (sqrt 0.047619047619047616) (sqrt (pow (fabs x) 7))) 22.803 * [backup-simplify]: Simplify (sqrt (* (pow (fabs (/ 1 (- x))) (* 2 3)) (* (/ 1.0 21.0) (fabs (/ 1 (- x)))))) into (* (sqrt 0.047619047619047616) (sqrt (pow (fabs (/ -1 x)) 7))) 22.803 * [approximate]: Taking taylor expansion of (* (sqrt 0.047619047619047616) (sqrt (pow (fabs (/ -1 x)) 7))) in (x) around 0 22.803 * [taylor]: Taking taylor expansion of (* (sqrt 0.047619047619047616) (sqrt (pow (fabs (/ -1 x)) 7))) in x 22.803 * [taylor]: Taking taylor expansion of (sqrt 0.047619047619047616) in x 22.803 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 22.804 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 22.804 * [backup-simplify]: Simplify (sqrt 0.047619047619047616) into (sqrt 0.047619047619047616) 22.804 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.047619047619047616))) into 0 22.804 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 7)) in x 22.804 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 22.804 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 22.804 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 22.804 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 22.805 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 22.805 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 3) (pow (fabs (/ -1 x)) 3)) into (pow (fabs (/ -1 x)) 6) 22.805 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 6)) into (pow (fabs (/ -1 x)) 7) 22.805 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 7)) into (sqrt (pow (fabs (/ -1 x)) 7)) 22.805 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 22.805 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 22.806 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 3) 0) (* 0 (pow (fabs (/ -1 x)) 3))) into 0 22.806 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 6))) into 0 22.806 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ -1 x)) 7)))) into 0 22.806 * [taylor]: Taking taylor expansion of (* (sqrt 0.047619047619047616) (sqrt (pow (fabs (/ -1 x)) 7))) in x 22.806 * [taylor]: Taking taylor expansion of (sqrt 0.047619047619047616) in x 22.806 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 22.806 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 22.806 * [backup-simplify]: Simplify (sqrt 0.047619047619047616) into (sqrt 0.047619047619047616) 22.807 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.047619047619047616))) into 0 22.807 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 7)) in x 22.807 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 22.807 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 22.807 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 22.807 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 22.807 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 22.808 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 3) (pow (fabs (/ -1 x)) 3)) into (pow (fabs (/ -1 x)) 6) 22.808 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 6)) into (pow (fabs (/ -1 x)) 7) 22.808 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ -1 x)) 7)) into (sqrt (pow (fabs (/ -1 x)) 7)) 22.808 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 22.809 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 22.809 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 3) 0) (* 0 (pow (fabs (/ -1 x)) 3))) into 0 22.809 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 6))) into 0 22.810 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ -1 x)) 7)))) into 0 22.811 * [backup-simplify]: Simplify (* (sqrt 0.047619047619047616) (sqrt (pow (fabs (/ -1 x)) 7))) into (* (sqrt 0.047619047619047616) (sqrt (pow (fabs (/ -1 x)) 7))) 22.811 * [backup-simplify]: Simplify (* (sqrt 0.047619047619047616) (sqrt (pow (fabs (/ -1 x)) 7))) into (* (sqrt 0.047619047619047616) (sqrt (pow (fabs (/ -1 x)) 7))) 22.812 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (* 0 (sqrt (pow (fabs (/ -1 x)) 7)))) into 0 22.812 * [backup-simplify]: Simplify 0 into 0 22.813 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 22.814 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 22.814 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 3) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))) into 0 22.815 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 6)))) into 0 22.816 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ -1 x)) 7)))) into 0 22.818 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.047619047619047616))) into 0 22.819 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (+ (* 0 0) (* 0 (sqrt (pow (fabs (/ -1 x)) 7))))) into 0 22.819 * [backup-simplify]: Simplify 0 into 0 22.821 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 22.822 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 22.823 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))) into 0 22.831 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 6))))) into 0 22.832 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 7)))) into 0 22.834 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.835 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (pow (fabs (/ -1 x)) 7)))))) into 0 22.836 * [backup-simplify]: Simplify 0 into 0 22.837 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 22.838 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 22.840 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))) into 0 22.841 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 6)))))) into 0 22.842 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 7)))) into 0 22.844 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.846 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (pow (fabs (/ -1 x)) 7))))))) into 0 22.846 * [backup-simplify]: Simplify 0 into 0 22.848 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 22.849 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 22.851 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))))) into 0 22.853 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 6))))))) into 0 22.854 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 7)))) into 0 22.856 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.858 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (pow (fabs (/ -1 x)) 7)))))))) into 0 22.858 * [backup-simplify]: Simplify 0 into 0 22.860 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 22.862 * [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 22.864 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))))) into 0 22.866 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 6)))))))) into 0 22.867 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (/ -1 x)) 7)))) into 0 22.869 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 22.871 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (pow (fabs (/ -1 x)) 7))))))))) into 0 22.872 * [backup-simplify]: Simplify 0 into 0 22.872 * [backup-simplify]: Simplify (* (sqrt 0.047619047619047616) (sqrt (pow (fabs (/ -1 (/ 1 (- x)))) 7))) into (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) 22.872 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 22.872 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 2) 22.873 * [backup-simplify]: Simplify (* (/ 1.0 21.0) (fabs x)) into (* 0.047619047619047616 (fabs x)) 22.873 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (fabs x)) in (x) around 0 22.873 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (fabs x)) in x 22.873 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 22.873 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 22.873 * [taylor]: Taking taylor expansion of (fabs x) in x 22.873 * [backup-simplify]: Simplify (fabs x) into (fabs x) 22.873 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (fabs x)) in x 22.873 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 22.873 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 22.873 * [taylor]: Taking taylor expansion of (fabs x) in x 22.873 * [backup-simplify]: Simplify (fabs x) into (fabs x) 22.874 * [backup-simplify]: Simplify (* 0.047619047619047616 (fabs x)) into (* 0.047619047619047616 (fabs x)) 22.874 * [backup-simplify]: Simplify (* 0.047619047619047616 (fabs x)) into (* 0.047619047619047616 (fabs x)) 22.874 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (* 0 (fabs x))) into 0 22.874 * [backup-simplify]: Simplify 0 into 0 22.875 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 22.875 * [backup-simplify]: Simplify 0 into 0 22.876 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 22.876 * [backup-simplify]: Simplify 0 into 0 22.878 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 22.878 * [backup-simplify]: Simplify 0 into 0 22.880 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 22.880 * [backup-simplify]: Simplify 0 into 0 22.882 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 22.882 * [backup-simplify]: Simplify 0 into 0 22.883 * [backup-simplify]: Simplify (* 0.047619047619047616 (fabs x)) into (* 0.047619047619047616 (fabs x)) 22.883 * [backup-simplify]: Simplify (* (/ 1.0 21.0) (fabs (/ 1 x))) into (* 0.047619047619047616 (fabs (/ 1 x))) 22.883 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (fabs (/ 1 x))) in (x) around 0 22.883 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (fabs (/ 1 x))) in x 22.883 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 22.883 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 22.883 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 22.883 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 22.883 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (fabs (/ 1 x))) in x 22.883 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 22.884 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 22.884 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 22.884 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 22.884 * [backup-simplify]: Simplify (* 0.047619047619047616 (fabs (/ 1 x))) into (* 0.047619047619047616 (fabs (/ 1 x))) 22.884 * [backup-simplify]: Simplify (* 0.047619047619047616 (fabs (/ 1 x))) into (* 0.047619047619047616 (fabs (/ 1 x))) 22.885 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (* 0 (fabs (/ 1 x)))) into 0 22.885 * [backup-simplify]: Simplify 0 into 0 22.885 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 22.885 * [backup-simplify]: Simplify 0 into 0 22.887 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 22.887 * [backup-simplify]: Simplify 0 into 0 22.888 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 22.888 * [backup-simplify]: Simplify 0 into 0 22.889 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 22.889 * [backup-simplify]: Simplify 0 into 0 22.890 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 22.890 * [backup-simplify]: Simplify 0 into 0 22.890 * [backup-simplify]: Simplify (* 0.047619047619047616 (fabs (/ 1 (/ 1 x)))) into (* 0.047619047619047616 (fabs x)) 22.891 * [backup-simplify]: Simplify (* (/ 1.0 21.0) (fabs (/ 1 (- x)))) into (* 0.047619047619047616 (fabs (/ -1 x))) 22.891 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (fabs (/ -1 x))) in (x) around 0 22.891 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (fabs (/ -1 x))) in x 22.891 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 22.891 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 22.891 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 22.891 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 22.891 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (fabs (/ -1 x))) in x 22.891 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 22.891 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 22.891 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 22.891 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 22.891 * [backup-simplify]: Simplify (* 0.047619047619047616 (fabs (/ -1 x))) into (* 0.047619047619047616 (fabs (/ -1 x))) 22.891 * [backup-simplify]: Simplify (* 0.047619047619047616 (fabs (/ -1 x))) into (* 0.047619047619047616 (fabs (/ -1 x))) 22.892 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (* 0 (fabs (/ -1 x)))) into 0 22.892 * [backup-simplify]: Simplify 0 into 0 22.892 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 22.892 * [backup-simplify]: Simplify 0 into 0 22.893 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 22.893 * [backup-simplify]: Simplify 0 into 0 22.894 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 22.894 * [backup-simplify]: Simplify 0 into 0 22.895 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 22.895 * [backup-simplify]: Simplify 0 into 0 22.896 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 22.896 * [backup-simplify]: Simplify 0 into 0 22.896 * [backup-simplify]: Simplify (* 0.047619047619047616 (fabs (/ -1 (/ 1 (- x))))) into (* 0.047619047619047616 (fabs x)) 22.897 * * * [progress]: simplifying candidates 22.898 * [simplify]: Simplifying: (expm1 (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (log1p (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (log (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (exp (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (* (cbrt (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (cbrt (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))))) (cbrt (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (* (* (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (sqrt (pow (fabs x) (* 2 3))) (sqrt (* (/ 1.0 21.0) (fabs x))) (sqrt (* (pow (fabs x) (* 2 3)) (* 1.0 (fabs x)))) (sqrt 21.0) (/ 1 2) (sqrt (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (sqrt (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (expm1 (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (log1p (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (log (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (exp (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (* (cbrt (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (cbrt (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))))) (cbrt (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (* (* (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (sqrt (pow (fabs x) (* 2 3))) (sqrt (* (/ 1.0 21.0) (fabs x))) (sqrt (* (pow (fabs x) (* 2 3)) (* 1.0 (fabs x)))) (sqrt 21.0) (/ 1 2) (sqrt (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (sqrt (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x))))) (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (* (/ 1.0 21.0) (fabs x))) (log1p (* (/ 1.0 21.0) (fabs x))) (* (/ 1.0 21.0) (fabs x)) (+ (- (log 1.0) (log 21.0)) (log (fabs x))) (+ (log (/ 1.0 21.0)) (log (fabs x))) (log (* (/ 1.0 21.0) (fabs x))) (exp (* (/ 1.0 21.0) (fabs x))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (/ 1.0 21.0) (fabs x))) (cbrt (* (/ 1.0 21.0) (fabs x)))) (cbrt (* (/ 1.0 21.0) (fabs x))) (* (* (* (/ 1.0 21.0) (fabs x)) (* (/ 1.0 21.0) (fabs x))) (* (/ 1.0 21.0) (fabs x))) (sqrt (* (/ 1.0 21.0) (fabs x))) (sqrt (* (/ 1.0 21.0) (fabs x))) (* (sqrt (/ 1.0 21.0)) (sqrt (fabs x))) (* (sqrt (/ 1.0 21.0)) (sqrt (fabs x))) (* (/ (sqrt 1.0) (sqrt 21.0)) (sqrt (fabs x))) (* (/ (sqrt 1.0) (sqrt 21.0)) (sqrt (fabs x))) (* (/ 1.0 21.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (/ 1.0 21.0) (sqrt (fabs x))) (* (/ 1.0 21.0) 1) (* (cbrt (/ 1.0 21.0)) (fabs x)) (* (sqrt (/ 1.0 21.0)) (fabs x)) (* (/ (cbrt 1.0) (cbrt 21.0)) (fabs x)) (* (/ (cbrt 1.0) (sqrt 21.0)) (fabs x)) (* (/ (cbrt 1.0) 21.0) (fabs x)) (* (/ (sqrt 1.0) (cbrt 21.0)) (fabs x)) (* (/ (sqrt 1.0) (sqrt 21.0)) (fabs x)) (* (/ (sqrt 1.0) 21.0) (fabs x)) (* (/ 1.0 (cbrt 21.0)) (fabs x)) (* (/ 1.0 (sqrt 21.0)) (fabs x)) (* (/ 1.0 21.0) (fabs x)) (* (/ 1.0 21.0) (fabs x)) (* (/ 1 21.0) (fabs x)) (* 1.0 (fabs x)) (* (sqrt 0.047619047619047616) (sqrt (pow (fabs x) 7))) (* (sqrt 0.047619047619047616) (sqrt (pow (fabs x) 7))) (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) (* (sqrt 0.047619047619047616) (sqrt (pow (fabs x) 7))) (* (sqrt 0.047619047619047616) (sqrt (pow (fabs x) 7))) (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) (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)))) (* (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))) (sqrt (* (pow (fabs x) (* 2 3)) (* (/ 1.0 21.0) (fabs x)))))))) (* 0.047619047619047616 (fabs x)) (* 0.047619047619047616 (fabs x)) (* 0.047619047619047616 (fabs x)) 22.899 * * [simplify]: Extracting # 0 : cost 0 22.899 * * [simplify]: Extracting # 1 : cost 0 22.899 * * [simplify]: Extracting # 2 : cost 0 22.900 * * [simplify]: Extracting # 3 : cost 0 22.900 * * [simplify]: Extracting # 4 : cost 0 22.900 * * [simplify]: Extracting # 5 : cost 0 22.900 * * [simplify]: Extracting # 6 : cost 0 22.900 * * [simplify]: Extracting # 7 : cost 0 22.900 * * [simplify]: Extracting # 8 : cost 0 22.900 * * [simplify]: Extracting # 9 : cost 0 22.901 * * [simplify]: Extracting # 10 : cost 0 22.901 * * [simplify]: Extracting # 11 : cost 0 22.901 * * [simplify]: Extracting # 12 : cost 0 22.901 * * [simplify]: Extracting # 13 : cost 0 22.901 * * [simplify]: Extracting # 14 : cost 0 22.901 * * [simplify]: iteration 0 : 128 enodes (cost 912 ) 22.942 * * [simplify]: Extracting # 0 : cost 0 22.943 * * [simplify]: Extracting # 1 : cost 0 22.944 * * [simplify]: Extracting # 2 : cost 0 22.944 * * [simplify]: Extracting # 3 : cost 0 22.944 * * [simplify]: Extracting # 4 : cost 0 22.945 * * [simplify]: iteration 1 : 268 enodes (cost 790 ) 23.085 * * [simplify]: Extracting # 0 : cost 0 23.087 * * [simplify]: Extracting # 1 : cost 0 23.088 * * [simplify]: Extracting # 2 : cost 0 23.090 * * [simplify]: Extracting # 3 : cost 0 23.091 * * [simplify]: Extracting # 4 : cost 0 23.094 * * [simplify]: Extracting # 5 : cost 0 23.096 * * [simplify]: iteration 2 : 1152 enodes (cost 721 ) 23.919 * * [simplify]: Extracting # 0 : cost 0 23.937 * * [simplify]: Extracting # 1 : cost 0 23.943 * * [simplify]: Extracting # 2 : cost 0 23.949 * * [simplify]: Extracting # 3 : cost 0 23.956 * * [simplify]: Extracting # 4 : cost 0 23.962 * * [simplify]: Extracting # 5 : cost 0 23.968 * * [simplify]: iteration done: 5001 enodes (cost 694 ) 23.969 * [simplify]: Simplified to: (expm1 (sqrt (* (pow (fabs x) (+ 6 1)) (/ 1.0 21.0)))) (log1p (sqrt (* (pow (fabs x) (+ 6 1)) (/ 1.0 21.0)))) (log (sqrt (* (pow (fabs x) (+ 6 1)) (/ 1.0 21.0)))) (exp (sqrt (* (pow (fabs x) (+ 6 1)) (/ 1.0 21.0)))) (* (cbrt (sqrt (* (pow (fabs x) (+ 6 1)) (/ 1.0 21.0)))) (cbrt (sqrt (* (pow (fabs x) (+ 6 1)) (/ 1.0 21.0))))) (cbrt (sqrt (* (pow (fabs x) (+ 6 1)) (/ 1.0 21.0)))) (pow (sqrt (* (pow (fabs x) (+ 6 1)) (/ 1.0 21.0))) 3) (sqrt (pow (fabs x) 6)) (sqrt (* (/ 1.0 21.0) (fabs x))) (sqrt (* (pow (fabs x) (+ 6 1)) 1.0)) (sqrt 21.0) 1/2 (sqrt (sqrt (* (pow (fabs x) (+ 6 1)) (/ 1.0 21.0)))) (sqrt (sqrt (* (pow (fabs x) (+ 6 1)) (/ 1.0 21.0)))) (expm1 (sqrt (* (pow (fabs x) (+ 6 1)) (/ 1.0 21.0)))) (log1p (sqrt (* (pow (fabs x) (+ 6 1)) (/ 1.0 21.0)))) (log (sqrt (* (pow (fabs x) (+ 6 1)) (/ 1.0 21.0)))) (exp (sqrt (* (pow (fabs x) (+ 6 1)) (/ 1.0 21.0)))) (* (cbrt (sqrt (* (pow (fabs x) (+ 6 1)) (/ 1.0 21.0)))) (cbrt (sqrt (* (pow (fabs x) (+ 6 1)) (/ 1.0 21.0))))) (cbrt (sqrt (* (pow (fabs x) (+ 6 1)) (/ 1.0 21.0)))) (pow (sqrt (* (pow (fabs x) (+ 6 1)) (/ 1.0 21.0))) 3) (sqrt (pow (fabs x) 6)) (sqrt (* (/ 1.0 21.0) (fabs x))) (sqrt (* (pow (fabs x) (+ 6 1)) 1.0)) (sqrt 21.0) 1/2 (sqrt (sqrt (* (pow (fabs x) (+ 6 1)) (/ 1.0 21.0)))) (sqrt (sqrt (* (pow (fabs x) (+ 6 1)) (/ 1.0 21.0)))) (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (sqrt PI) PI) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) 1 (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (* (/ 1.0 21.0) (fabs x))) (log1p (* (/ 1.0 21.0) (fabs x))) (* (/ 1.0 21.0) (fabs x)) (log (* (/ 1.0 21.0) (fabs x))) (log (* (/ 1.0 21.0) (fabs x))) (log (* (/ 1.0 21.0) (fabs x))) (exp (* (/ 1.0 21.0) (fabs x))) (pow (* (/ 1.0 21.0) (fabs x)) 3) (pow (* (/ 1.0 21.0) (fabs x)) 3) (* (cbrt (* (/ 1.0 21.0) (fabs x))) (cbrt (* (/ 1.0 21.0) (fabs x)))) (cbrt (* (/ 1.0 21.0) (fabs x))) (pow (* (/ 1.0 21.0) (fabs x)) 3) (sqrt (* (/ 1.0 21.0) (fabs x))) (sqrt (* (/ 1.0 21.0) (fabs x))) (* (sqrt (/ 1.0 21.0)) (sqrt (fabs x))) (* (sqrt (/ 1.0 21.0)) (sqrt (fabs x))) (* (/ (sqrt 1.0) (sqrt 21.0)) (sqrt (fabs x))) (* (/ (sqrt 1.0) (sqrt 21.0)) (sqrt (fabs x))) (* (* (cbrt (fabs x)) (cbrt (fabs x))) (/ 1.0 21.0)) (* (sqrt (fabs x)) (/ 1.0 21.0)) (/ 1.0 21.0) (* (cbrt (/ 1.0 21.0)) (fabs x)) (* (sqrt (/ 1.0 21.0)) (fabs x)) (* (/ (cbrt 1.0) (cbrt 21.0)) (fabs x)) (* (/ (cbrt 1.0) (sqrt 21.0)) (fabs x)) (* (/ (cbrt 1.0) 21.0) (fabs x)) (* (/ (sqrt 1.0) (cbrt 21.0)) (fabs x)) (* (/ (sqrt 1.0) (sqrt 21.0)) (fabs x)) (* (/ (sqrt 1.0) 21.0) (fabs x)) (* (/ 1.0 (cbrt 21.0)) (fabs x)) (* (/ 1.0 (sqrt 21.0)) (fabs x)) (* (/ 1.0 21.0) (fabs x)) (* (/ 1.0 21.0) (fabs x)) (/ (fabs x) 21.0) (* 1.0 (fabs x)) (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) (fabs (* (fma (pow (fabs x) 3) (/ 2.0 3.0) (* (fabs x) (+ 2.0 (fma (pow (fabs x) (+ 3 1)) (/ 1.0 5.0) (* (pow (fabs x) 6) (/ 1.0 21.0)))))) (/ 1.0 (sqrt PI)))) (* 0.047619047619047616 (fabs x)) (* 0.047619047619047616 (fabs x)) (* 0.047619047619047616 (fabs x)) 23.969 * * * [progress]: adding candidates to table 24.825 * * [progress]: iteration 4 / 4 24.826 * * * [progress]: picking best candidate 24.846 * * * * [pick]: Picked # 24.846 * * * [progress]: localizing error 24.902 * * * [progress]: generating rewritten candidates 24.902 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 24.905 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 2 2) 24.913 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1) 24.921 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 2) 24.953 * * * [progress]: generating series expansions 24.953 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 24.953 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 2 2) 24.953 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1) 24.953 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 2) 24.954 * [backup-simplify]: Simplify (* (fabs x) (sqrt (/ 1.0 21.0))) into (* (sqrt 0.047619047619047616) (fabs x)) 24.954 * [approximate]: Taking taylor expansion of (* (sqrt 0.047619047619047616) (fabs x)) in (x) around 0 24.954 * [taylor]: Taking taylor expansion of (* (sqrt 0.047619047619047616) (fabs x)) in x 24.954 * [taylor]: Taking taylor expansion of (sqrt 0.047619047619047616) in x 24.954 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 24.955 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 24.955 * [backup-simplify]: Simplify (sqrt 0.047619047619047616) into (sqrt 0.047619047619047616) 24.955 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.047619047619047616))) into 0 24.955 * [taylor]: Taking taylor expansion of (fabs x) in x 24.956 * [backup-simplify]: Simplify (fabs x) into (fabs x) 24.956 * [taylor]: Taking taylor expansion of (* (sqrt 0.047619047619047616) (fabs x)) in x 24.956 * [taylor]: Taking taylor expansion of (sqrt 0.047619047619047616) in x 24.956 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 24.956 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 24.956 * [backup-simplify]: Simplify (sqrt 0.047619047619047616) into (sqrt 0.047619047619047616) 24.957 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.047619047619047616))) into 0 24.957 * [taylor]: Taking taylor expansion of (fabs x) in x 24.957 * [backup-simplify]: Simplify (fabs x) into (fabs x) 24.958 * [backup-simplify]: Simplify (* (sqrt 0.047619047619047616) (fabs x)) into (* (fabs x) (sqrt 0.047619047619047616)) 24.958 * [backup-simplify]: Simplify (* (fabs x) (sqrt 0.047619047619047616)) into (* (sqrt 0.047619047619047616) (fabs x)) 24.959 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (* 0 (fabs x))) into 0 24.959 * [backup-simplify]: Simplify 0 into 0 24.960 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.047619047619047616))) into 0 24.960 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 24.960 * [backup-simplify]: Simplify 0 into 0 24.961 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 24.962 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 24.962 * [backup-simplify]: Simplify 0 into 0 24.963 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 24.964 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 24.964 * [backup-simplify]: Simplify 0 into 0 24.965 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 24.966 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 24.966 * [backup-simplify]: Simplify 0 into 0 24.967 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 24.968 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 24.968 * [backup-simplify]: Simplify 0 into 0 24.968 * [backup-simplify]: Simplify (* (sqrt 0.047619047619047616) (fabs x)) into (* (fabs x) (sqrt 0.047619047619047616)) 24.969 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (sqrt (/ 1.0 21.0))) into (* (fabs (/ 1 x)) (sqrt 0.047619047619047616)) 24.969 * [approximate]: Taking taylor expansion of (* (fabs (/ 1 x)) (sqrt 0.047619047619047616)) in (x) around 0 24.969 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (sqrt 0.047619047619047616)) in x 24.969 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 24.969 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 24.969 * [taylor]: Taking taylor expansion of (sqrt 0.047619047619047616) in x 24.969 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 24.969 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 24.969 * [backup-simplify]: Simplify (sqrt 0.047619047619047616) into (sqrt 0.047619047619047616) 24.970 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.047619047619047616))) into 0 24.970 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (sqrt 0.047619047619047616)) in x 24.970 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 24.970 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 24.970 * [taylor]: Taking taylor expansion of (sqrt 0.047619047619047616) in x 24.970 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 24.970 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 24.970 * [backup-simplify]: Simplify (sqrt 0.047619047619047616) into (sqrt 0.047619047619047616) 24.971 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.047619047619047616))) into 0 24.971 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (sqrt 0.047619047619047616)) into (* (fabs (/ 1 x)) (sqrt 0.047619047619047616)) 24.971 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (sqrt 0.047619047619047616)) into (* (fabs (/ 1 x)) (sqrt 0.047619047619047616)) 24.972 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (sqrt 0.047619047619047616))) into 0 24.972 * [backup-simplify]: Simplify 0 into 0 24.973 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.047619047619047616))) into 0 24.973 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616)))) into 0 24.973 * [backup-simplify]: Simplify 0 into 0 24.974 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 24.974 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616))))) into 0 24.975 * [backup-simplify]: Simplify 0 into 0 24.975 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 24.976 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616)))))) into 0 24.976 * [backup-simplify]: Simplify 0 into 0 24.977 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 24.978 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616))))))) into 0 24.978 * [backup-simplify]: Simplify 0 into 0 24.979 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 24.980 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.047619047619047616)))))))) into 0 24.980 * [backup-simplify]: Simplify 0 into 0 24.980 * [backup-simplify]: Simplify (* (fabs (/ 1 (/ 1 x))) (sqrt 0.047619047619047616)) into (* (sqrt 0.047619047619047616) (fabs x)) 24.981 * [backup-simplify]: Simplify (* (fabs (/ 1 (- x))) (sqrt (/ 1.0 21.0))) into (* (sqrt 0.047619047619047616) (fabs (/ -1 x))) 24.981 * [approximate]: Taking taylor expansion of (* (sqrt 0.047619047619047616) (fabs (/ -1 x))) in (x) around 0 24.981 * [taylor]: Taking taylor expansion of (* (sqrt 0.047619047619047616) (fabs (/ -1 x))) in x 24.981 * [taylor]: Taking taylor expansion of (sqrt 0.047619047619047616) in x 24.981 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 24.981 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 24.981 * [backup-simplify]: Simplify (sqrt 0.047619047619047616) into (sqrt 0.047619047619047616) 24.981 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.047619047619047616))) into 0 24.981 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 24.981 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 24.981 * [taylor]: Taking taylor expansion of (* (sqrt 0.047619047619047616) (fabs (/ -1 x))) in x 24.981 * [taylor]: Taking taylor expansion of (sqrt 0.047619047619047616) in x 24.981 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 24.982 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 24.982 * [backup-simplify]: Simplify (sqrt 0.047619047619047616) into (sqrt 0.047619047619047616) 24.982 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.047619047619047616))) into 0 24.982 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 24.982 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 24.983 * [backup-simplify]: Simplify (* (sqrt 0.047619047619047616) (fabs (/ -1 x))) into (* (sqrt 0.047619047619047616) (fabs (/ -1 x))) 24.983 * [backup-simplify]: Simplify (* (sqrt 0.047619047619047616) (fabs (/ -1 x))) into (* (sqrt 0.047619047619047616) (fabs (/ -1 x))) 24.983 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (* 0 (fabs (/ -1 x)))) into 0 24.983 * [backup-simplify]: Simplify 0 into 0 24.984 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.047619047619047616))) into 0 24.985 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 24.985 * [backup-simplify]: Simplify 0 into 0 24.985 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 24.986 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 24.986 * [backup-simplify]: Simplify 0 into 0 24.987 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 24.989 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 24.989 * [backup-simplify]: Simplify 0 into 0 24.990 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 24.992 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 24.992 * [backup-simplify]: Simplify 0 into 0 24.994 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.047619047619047616))) into 0 24.996 * [backup-simplify]: Simplify (+ (* (sqrt 0.047619047619047616) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 24.997 * [backup-simplify]: Simplify 0 into 0 24.997 * [backup-simplify]: Simplify (* (sqrt 0.047619047619047616) (fabs (/ -1 (/ 1 (- x))))) into (* (fabs x) (sqrt 0.047619047619047616)) 24.997 * * * [progress]: simplifying candidates 25.000 * [simplify]: Simplifying: (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (sqrt (/ 1.0 21.0))) (log1p (sqrt (/ 1.0 21.0))) (log (sqrt (/ 1.0 21.0))) (exp (sqrt (/ 1.0 21.0))) (* (cbrt (sqrt (/ 1.0 21.0))) (cbrt (sqrt (/ 1.0 21.0)))) (cbrt (sqrt (/ 1.0 21.0))) (* (* (sqrt (/ 1.0 21.0)) (sqrt (/ 1.0 21.0))) (sqrt (/ 1.0 21.0))) (sqrt (* (cbrt (/ 1.0 21.0)) (cbrt (/ 1.0 21.0)))) (sqrt (cbrt (/ 1.0 21.0))) (sqrt (sqrt (/ 1.0 21.0))) (sqrt (sqrt (/ 1.0 21.0))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 21.0) (cbrt 21.0)))) (sqrt (/ (cbrt 1.0) (cbrt 21.0))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 21.0))) (sqrt (/ (cbrt 1.0) (sqrt 21.0))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) 1)) (sqrt (/ (cbrt 1.0) 21.0)) (sqrt (/ (sqrt 1.0) (* (cbrt 21.0) (cbrt 21.0)))) (sqrt (/ (sqrt 1.0) (cbrt 21.0))) (sqrt (/ (sqrt 1.0) (sqrt 21.0))) (sqrt (/ (sqrt 1.0) (sqrt 21.0))) (sqrt (/ (sqrt 1.0) 1)) (sqrt (/ (sqrt 1.0) 21.0)) (sqrt (/ 1 (* (cbrt 21.0) (cbrt 21.0)))) (sqrt (/ 1.0 (cbrt 21.0))) (sqrt (/ 1 (sqrt 21.0))) (sqrt (/ 1.0 (sqrt 21.0))) (sqrt (/ 1 1)) (sqrt (/ 1.0 21.0)) (sqrt 1) (sqrt (/ 1.0 21.0)) (sqrt 1.0) (sqrt (/ 1 21.0)) (sqrt 1.0) (sqrt 21.0) (/ 1 2) (sqrt (sqrt (/ 1.0 21.0))) (sqrt (sqrt (/ 1.0 21.0))) (expm1 (sqrt (/ 1.0 21.0))) (log1p (sqrt (/ 1.0 21.0))) (log (sqrt (/ 1.0 21.0))) (exp (sqrt (/ 1.0 21.0))) (* (cbrt (sqrt (/ 1.0 21.0))) (cbrt (sqrt (/ 1.0 21.0)))) (cbrt (sqrt (/ 1.0 21.0))) (* (* (sqrt (/ 1.0 21.0)) (sqrt (/ 1.0 21.0))) (sqrt (/ 1.0 21.0))) (sqrt (* (cbrt (/ 1.0 21.0)) (cbrt (/ 1.0 21.0)))) (sqrt (cbrt (/ 1.0 21.0))) (sqrt (sqrt (/ 1.0 21.0))) (sqrt (sqrt (/ 1.0 21.0))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 21.0) (cbrt 21.0)))) (sqrt (/ (cbrt 1.0) (cbrt 21.0))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 21.0))) (sqrt (/ (cbrt 1.0) (sqrt 21.0))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) 1)) (sqrt (/ (cbrt 1.0) 21.0)) (sqrt (/ (sqrt 1.0) (* (cbrt 21.0) (cbrt 21.0)))) (sqrt (/ (sqrt 1.0) (cbrt 21.0))) (sqrt (/ (sqrt 1.0) (sqrt 21.0))) (sqrt (/ (sqrt 1.0) (sqrt 21.0))) (sqrt (/ (sqrt 1.0) 1)) (sqrt (/ (sqrt 1.0) 21.0)) (sqrt (/ 1 (* (cbrt 21.0) (cbrt 21.0)))) (sqrt (/ 1.0 (cbrt 21.0))) (sqrt (/ 1 (sqrt 21.0))) (sqrt (/ 1.0 (sqrt 21.0))) (sqrt (/ 1 1)) (sqrt (/ 1.0 21.0)) (sqrt 1) (sqrt (/ 1.0 21.0)) (sqrt 1.0) (sqrt (/ 1 21.0)) (sqrt 1.0) (sqrt 21.0) (/ 1 2) (sqrt (sqrt (/ 1.0 21.0))) (sqrt (sqrt (/ 1.0 21.0))) (expm1 (* (fabs x) (sqrt (/ 1.0 21.0)))) (log1p (* (fabs x) (sqrt (/ 1.0 21.0)))) (* (fabs x) (sqrt (/ 1.0 21.0))) (+ (log (fabs x)) (log (sqrt (/ 1.0 21.0)))) (log (* (fabs x) (sqrt (/ 1.0 21.0)))) (exp (* (fabs x) (sqrt (/ 1.0 21.0)))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (/ 1.0 21.0)) (sqrt (/ 1.0 21.0))) (sqrt (/ 1.0 21.0)))) (* (cbrt (* (fabs x) (sqrt (/ 1.0 21.0)))) (cbrt (* (fabs x) (sqrt (/ 1.0 21.0))))) (cbrt (* (fabs x) (sqrt (/ 1.0 21.0)))) (* (* (* (fabs x) (sqrt (/ 1.0 21.0))) (* (fabs x) (sqrt (/ 1.0 21.0)))) (* (fabs x) (sqrt (/ 1.0 21.0)))) (sqrt (* (fabs x) (sqrt (/ 1.0 21.0)))) (sqrt (* (fabs x) (sqrt (/ 1.0 21.0)))) (* (sqrt (fabs x)) (sqrt (sqrt (/ 1.0 21.0)))) (* (sqrt (fabs x)) (sqrt (sqrt (/ 1.0 21.0)))) (* (sqrt (fabs x)) (sqrt (/ (sqrt 1.0) (sqrt 21.0)))) (* (sqrt (fabs x)) (sqrt (/ (sqrt 1.0) (sqrt 21.0)))) (* (sqrt (fabs x)) (sqrt (sqrt (/ 1.0 21.0)))) (* (sqrt (fabs x)) (sqrt (sqrt (/ 1.0 21.0)))) (* (fabs x) (* (cbrt (sqrt (/ 1.0 21.0))) (cbrt (sqrt (/ 1.0 21.0))))) (* (fabs x) (sqrt (* (cbrt (/ 1.0 21.0)) (cbrt (/ 1.0 21.0))))) (* (fabs x) (sqrt (sqrt (/ 1.0 21.0)))) (* (fabs x) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 21.0) (cbrt 21.0))))) (* (fabs x) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 21.0)))) (* (fabs x) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) 1))) (* (fabs x) (sqrt (/ (sqrt 1.0) (* (cbrt 21.0) (cbrt 21.0))))) (* (fabs x) (sqrt (/ (sqrt 1.0) (sqrt 21.0)))) (* (fabs x) (sqrt (/ (sqrt 1.0) 1))) (* (fabs x) (sqrt (/ 1 (* (cbrt 21.0) (cbrt 21.0))))) (* (fabs x) (sqrt (/ 1 (sqrt 21.0)))) (* (fabs x) (sqrt (/ 1 1))) (* (fabs x) (sqrt 1)) (* (fabs x) (sqrt 1.0)) (* (fabs x) (sqrt (sqrt (/ 1.0 21.0)))) (* (fabs x) 1) (* (cbrt (fabs x)) (sqrt (/ 1.0 21.0))) (* (sqrt (fabs x)) (sqrt (/ 1.0 21.0))) (* (fabs x) (sqrt (/ 1.0 21.0))) (* (fabs x) (sqrt 1.0)) (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)))) (* (sqrt (/ 1.0 21.0)) (* (pow (fabs x) (* 2 3)) (* (fabs x) (sqrt (/ 1.0 21.0)))))))) (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)))) (* (sqrt (/ 1.0 21.0)) (* (pow (fabs x) (* 2 3)) (* (fabs x) (sqrt (/ 1.0 21.0)))))))) (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)))) (* (sqrt (/ 1.0 21.0)) (* (pow (fabs x) (* 2 3)) (* (fabs x) (sqrt (/ 1.0 21.0)))))))) (* (fabs x) (sqrt 0.047619047619047616)) (* (sqrt 0.047619047619047616) (fabs x)) (* (fabs x) (sqrt 0.047619047619047616)) 25.004 * * [simplify]: Extracting # 0 : cost 0 25.004 * * [simplify]: Extracting # 1 : cost 0 25.004 * * [simplify]: Extracting # 2 : cost 0 25.004 * * [simplify]: Extracting # 3 : cost 0 25.005 * * [simplify]: Extracting # 4 : cost 0 25.005 * * [simplify]: Extracting # 5 : cost 0 25.005 * * [simplify]: Extracting # 6 : cost 0 25.006 * * [simplify]: Extracting # 7 : cost 0 25.006 * * [simplify]: Extracting # 8 : cost 0 25.006 * * [simplify]: Extracting # 9 : cost 0 25.007 * * [simplify]: Extracting # 10 : cost 0 25.007 * * [simplify]: Extracting # 11 : cost 0 25.007 * * [simplify]: Extracting # 12 : cost 0 25.008 * * [simplify]: iteration 0 : 139 enodes (cost 1064 ) 25.056 * * [simplify]: Extracting # 0 : cost 0 25.057 * * [simplify]: Extracting # 1 : cost 0 25.057 * * [simplify]: Extracting # 2 : cost 0 25.058 * * [simplify]: Extracting # 3 : cost 0 25.058 * * [simplify]: Extracting # 4 : cost 0 25.059 * * [simplify]: iteration 1 : 250 enodes (cost 971 ) 25.211 * * [simplify]: Extracting # 0 : cost 0 25.213 * * [simplify]: Extracting # 1 : cost 0 25.214 * * [simplify]: Extracting # 2 : cost 0 25.215 * * [simplify]: Extracting # 3 : cost 0 25.216 * * [simplify]: Extracting # 4 : cost 0 25.217 * * [simplify]: iteration 2 : 966 enodes (cost 879 ) 25.924 * * [simplify]: Extracting # 0 : cost 0 25.937 * * [simplify]: Extracting # 1 : cost 0 25.950 * * [simplify]: Extracting # 2 : cost 0 25.961 * * [simplify]: Extracting # 3 : cost 0 25.979 * * [simplify]: Extracting # 4 : cost 0 25.990 * * [simplify]: Extracting # 5 : cost 0 26.000 * * [simplify]: iteration done: 5001 enodes (cost 861 ) 26.002 * [simplify]: Simplified to: (expm1 (sqrt PI)) (log1p (sqrt PI)) (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)) (expm1 (sqrt (/ 1.0 21.0))) (log1p (sqrt (/ 1.0 21.0))) (log (sqrt (/ 1.0 21.0))) (exp (sqrt (/ 1.0 21.0))) (* (cbrt (sqrt (/ 1.0 21.0))) (cbrt (sqrt (/ 1.0 21.0)))) (cbrt (sqrt (/ 1.0 21.0))) (pow (sqrt (/ 1.0 21.0)) 3) (fabs (cbrt (/ 1.0 21.0))) (sqrt (cbrt (/ 1.0 21.0))) (sqrt (sqrt (/ 1.0 21.0))) (sqrt (sqrt (/ 1.0 21.0))) (fabs (/ (cbrt 1.0) (cbrt 21.0))) (sqrt (/ (cbrt 1.0) (cbrt 21.0))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 21.0))) (sqrt (/ (cbrt 1.0) (sqrt 21.0))) (fabs (cbrt 1.0)) (sqrt (/ (cbrt 1.0) 21.0)) (sqrt (/ (sqrt 1.0) (* (cbrt 21.0) (cbrt 21.0)))) (sqrt (/ (sqrt 1.0) (cbrt 21.0))) (sqrt (/ (sqrt 1.0) (sqrt 21.0))) (sqrt (/ (sqrt 1.0) (sqrt 21.0))) (sqrt (sqrt 1.0)) (sqrt (/ (sqrt 1.0) 21.0)) (sqrt (/ 1 (* (cbrt 21.0) (cbrt 21.0)))) (sqrt (/ 1.0 (cbrt 21.0))) (sqrt (/ 1 (sqrt 21.0))) (sqrt (/ 1.0 (sqrt 21.0))) 1 (sqrt (/ 1.0 21.0)) 1 (sqrt (/ 1.0 21.0)) (sqrt 1.0) (sqrt (/ 1 21.0)) (sqrt 1.0) (sqrt 21.0) 1/2 (sqrt (sqrt (/ 1.0 21.0))) (sqrt (sqrt (/ 1.0 21.0))) (expm1 (sqrt (/ 1.0 21.0))) (log1p (sqrt (/ 1.0 21.0))) (log (sqrt (/ 1.0 21.0))) (exp (sqrt (/ 1.0 21.0))) (* (cbrt (sqrt (/ 1.0 21.0))) (cbrt (sqrt (/ 1.0 21.0)))) (cbrt (sqrt (/ 1.0 21.0))) (pow (sqrt (/ 1.0 21.0)) 3) (fabs (cbrt (/ 1.0 21.0))) (sqrt (cbrt (/ 1.0 21.0))) (sqrt (sqrt (/ 1.0 21.0))) (sqrt (sqrt (/ 1.0 21.0))) (fabs (/ (cbrt 1.0) (cbrt 21.0))) (sqrt (/ (cbrt 1.0) (cbrt 21.0))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 21.0))) (sqrt (/ (cbrt 1.0) (sqrt 21.0))) (fabs (cbrt 1.0)) (sqrt (/ (cbrt 1.0) 21.0)) (sqrt (/ (sqrt 1.0) (* (cbrt 21.0) (cbrt 21.0)))) (sqrt (/ (sqrt 1.0) (cbrt 21.0))) (sqrt (/ (sqrt 1.0) (sqrt 21.0))) (sqrt (/ (sqrt 1.0) (sqrt 21.0))) (sqrt (sqrt 1.0)) (sqrt (/ (sqrt 1.0) 21.0)) (sqrt (/ 1 (* (cbrt 21.0) (cbrt 21.0)))) (sqrt (/ 1.0 (cbrt 21.0))) (sqrt (/ 1 (sqrt 21.0))) (sqrt (/ 1.0 (sqrt 21.0))) 1 (sqrt (/ 1.0 21.0)) 1 (sqrt (/ 1.0 21.0)) (sqrt 1.0) (sqrt (/ 1 21.0)) (sqrt 1.0) (sqrt 21.0) 1/2 (sqrt (sqrt (/ 1.0 21.0))) (sqrt (sqrt (/ 1.0 21.0))) (expm1 (* (fabs x) (sqrt (/ 1.0 21.0)))) (log1p (* (fabs x) (sqrt (/ 1.0 21.0)))) (* (fabs x) (sqrt (/ 1.0 21.0))) (log (* (fabs x) (sqrt (/ 1.0 21.0)))) (log (* (fabs x) (sqrt (/ 1.0 21.0)))) (exp (* (fabs x) (sqrt (/ 1.0 21.0)))) (pow (* (fabs x) (sqrt (/ 1.0 21.0))) 3) (* (cbrt (* (fabs x) (sqrt (/ 1.0 21.0)))) (cbrt (* (fabs x) (sqrt (/ 1.0 21.0))))) (cbrt (* (fabs x) (sqrt (/ 1.0 21.0)))) (pow (* (fabs x) (sqrt (/ 1.0 21.0))) 3) (sqrt (* (fabs x) (sqrt (/ 1.0 21.0)))) (sqrt (* (fabs x) (sqrt (/ 1.0 21.0)))) (* (sqrt (fabs x)) (sqrt (sqrt (/ 1.0 21.0)))) (* (sqrt (fabs x)) (sqrt (sqrt (/ 1.0 21.0)))) (* (sqrt (fabs x)) (sqrt (/ (sqrt 1.0) (sqrt 21.0)))) (* (sqrt (fabs x)) (sqrt (/ (sqrt 1.0) (sqrt 21.0)))) (* (sqrt (fabs x)) (sqrt (sqrt (/ 1.0 21.0)))) (* (sqrt (fabs x)) (sqrt (sqrt (/ 1.0 21.0)))) (* (fabs x) (* (cbrt (sqrt (/ 1.0 21.0))) (cbrt (sqrt (/ 1.0 21.0))))) (* (fabs (cbrt (/ 1.0 21.0))) (fabs x)) (* (fabs x) (sqrt (sqrt (/ 1.0 21.0)))) (* (fabs (/ (cbrt 1.0) (cbrt 21.0))) (fabs x)) (* (fabs x) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 21.0)))) (* (fabs x) (fabs (cbrt 1.0))) (* (fabs x) (sqrt (/ (sqrt 1.0) (* (cbrt 21.0) (cbrt 21.0))))) (* (fabs x) (sqrt (/ (sqrt 1.0) (sqrt 21.0)))) (* (fabs x) (sqrt (sqrt 1.0))) (* (fabs x) (sqrt (/ 1 (* (cbrt 21.0) (cbrt 21.0))))) (* (fabs x) (sqrt (/ 1 (sqrt 21.0)))) (fabs x) (fabs x) (* (fabs x) (sqrt 1.0)) (* (fabs x) (sqrt (sqrt (/ 1.0 21.0)))) (fabs x) (* (cbrt (fabs x)) (sqrt (/ 1.0 21.0))) (* (sqrt (fabs x)) (sqrt (/ 1.0 21.0))) (* (fabs x) (sqrt (/ 1.0 21.0))) (* (fabs x) (sqrt 1.0)) (fabs (* (fma (pow (fabs x) (+ 6 1)) (/ 1.0 21.0) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (+ (* (* (fabs x) (fabs x)) (/ 1.0 5.0)) (/ 2.0 3.0))))) (/ 1.0 (sqrt PI)))) (fabs (* (fma (pow (fabs x) (+ 6 1)) (/ 1.0 21.0) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (+ (* (* (fabs x) (fabs x)) (/ 1.0 5.0)) (/ 2.0 3.0))))) (/ 1.0 (sqrt PI)))) (fabs (* (fma (pow (fabs x) (+ 6 1)) (/ 1.0 21.0) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (+ (* (* (fabs x) (fabs x)) (/ 1.0 5.0)) (/ 2.0 3.0))))) (/ 1.0 (sqrt PI)))) (* (sqrt 0.047619047619047616) (fabs x)) (* (sqrt 0.047619047619047616) (fabs x)) (* (sqrt 0.047619047619047616) (fabs x)) 26.004 * * * [progress]: adding candidates to table 27.091 * [progress]: [Phase 3 of 3] Extracting. 27.091 * * [regime]: Finding splitpoints for: (# # # # #) 27.103 * * * [regime-changes]: Trying 2 branch expressions: ((fabs x) x) 27.103 * * * * [regimes]: Trying to branch on (fabs x) from (# # # # #) 27.192 * * * * [regimes]: Trying to branch on x from (# # # # #) 27.260 * * * [regime]: Found split indices: #