8.681 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.084 * * * [progress]: [2/2] Setting up program. 0.096 * [progress]: [Phase 2 of 3] Improving. 0.096 * [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.097 * * [simplify]: iteration 0: 28 enodes 0.107 * * [simplify]: iteration 1: 70 enodes 0.135 * * [simplify]: iteration 2: 250 enodes 0.301 * * [simplify]: iteration 3: 1049 enodes 1.710 * * [simplify]: iteration complete: 5001 enodes 1.710 * * [simplify]: Extracting #0: cost 1 inf + 0 1.710 * * [simplify]: Extracting #1: cost 2 inf + 0 1.711 * * [simplify]: Extracting #2: cost 119 inf + 0 1.719 * * [simplify]: Extracting #3: cost 798 inf + 2 1.725 * * [simplify]: Extracting #4: cost 1011 inf + 468 1.752 * * [simplify]: Extracting #5: cost 740 inf + 67341 1.875 * * [simplify]: Extracting #6: cost 107 inf + 263997 2.025 * * [simplify]: Extracting #7: cost 0 inf + 306218 2.165 * * [simplify]: Extracting #8: cost 0 inf + 305838 2.346 * [simplify]: Simplified to: (fabs (* (/ 1.0 (sqrt PI)) (* (fabs x) (fma (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (+ (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (/ 1.0 21.0)))) (fma (/ 2.0 3.0) (* (fabs x) (fabs x)) 2.0))))) 2.352 * * [progress]: iteration 1 / 4 2.352 * * * [progress]: picking best candidate 2.364 * * * * [pick]: Picked # 2.364 * * * [progress]: localizing error 2.455 * * * [progress]: generating rewritten candidates 2.455 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 2.456 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 2.544 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 2.560 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 2.589 * * * [progress]: generating series expansions 2.589 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 2.589 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 2.590 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) into (* 0.6666666666666666 (pow (fabs x) 3)) 2.590 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 2.590 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 2.590 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.590 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 2.590 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.590 * [taylor]: Taking taylor expansion of (fabs x) in x 2.591 * [backup-simplify]: Simplify (fabs x) into (fabs x) 2.591 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 2.591 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.591 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 2.591 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.591 * [taylor]: Taking taylor expansion of (fabs x) in x 2.591 * [backup-simplify]: Simplify (fabs x) into (fabs x) 2.591 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 2.591 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 2.591 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 2.591 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 2.592 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 2.592 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 2.593 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs x) 3))) into 0 2.593 * [backup-simplify]: Simplify 0 into 0 2.593 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 2.594 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 2.595 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))) into 0 2.595 * [backup-simplify]: Simplify 0 into 0 2.596 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 2.597 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 2.598 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))) into 0 2.598 * [backup-simplify]: Simplify 0 into 0 2.599 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 2.601 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 2.602 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))) into 0 2.603 * [backup-simplify]: Simplify 0 into 0 2.604 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 2.606 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 2.608 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))))) into 0 2.608 * [backup-simplify]: Simplify 0 into 0 2.610 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 2.612 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 2.613 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))))) into 0 2.613 * [backup-simplify]: Simplify 0 into 0 2.613 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 2.614 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x)))) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 2.614 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 2.614 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 2.614 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.614 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 2.614 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.614 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.614 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 2.614 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 2.614 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.614 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 2.614 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.614 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.614 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 2.614 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 2.614 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 2.614 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 2.615 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 2.615 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 2.615 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 2.615 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ 1 x)) 3))) into 0 2.615 * [backup-simplify]: Simplify 0 into 0 2.616 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 2.616 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 2.617 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))) into 0 2.617 * [backup-simplify]: Simplify 0 into 0 2.617 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 2.618 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 2.619 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))) into 0 2.619 * [backup-simplify]: Simplify 0 into 0 2.620 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 2.621 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 2.622 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))) into 0 2.622 * [backup-simplify]: Simplify 0 into 0 2.623 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 2.624 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 2.625 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))))) into 0 2.625 * [backup-simplify]: Simplify 0 into 0 2.626 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 2.628 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 2.629 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))))) into 0 2.629 * [backup-simplify]: Simplify 0 into 0 2.629 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 (/ 1 x))) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 2.630 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x))))) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 2.630 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 2.630 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 2.630 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.630 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 2.630 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.630 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.630 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 2.630 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 2.630 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.630 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 2.630 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.630 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.630 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 2.630 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 2.631 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 2.631 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 2.631 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 2.631 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 2.631 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 2.632 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ -1 x)) 3))) into 0 2.632 * [backup-simplify]: Simplify 0 into 0 2.632 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 2.632 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 2.633 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))) into 0 2.633 * [backup-simplify]: Simplify 0 into 0 2.634 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 2.634 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 2.635 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))) into 0 2.635 * [backup-simplify]: Simplify 0 into 0 2.636 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 2.637 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 2.638 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))) into 0 2.638 * [backup-simplify]: Simplify 0 into 0 2.639 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 2.640 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 2.642 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))))) into 0 2.642 * [backup-simplify]: Simplify 0 into 0 2.644 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 2.646 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 2.649 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))))) into 0 2.649 * [backup-simplify]: Simplify 0 into 0 2.649 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 2.649 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 2.649 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 2.649 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 2.649 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.650 * [taylor]: Taking taylor expansion of (fabs x) in x 2.650 * [backup-simplify]: Simplify (fabs x) into (fabs x) 2.650 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.650 * [taylor]: Taking taylor expansion of (fabs x) in x 2.650 * [backup-simplify]: Simplify (fabs x) into (fabs x) 2.650 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 2.650 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 2.650 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 2.650 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 2.651 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 2.651 * [backup-simplify]: Simplify 0 into 0 2.651 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 2.652 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 2.652 * [backup-simplify]: Simplify 0 into 0 2.653 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 2.654 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 2.654 * [backup-simplify]: Simplify 0 into 0 2.655 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 2.656 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 2.656 * [backup-simplify]: Simplify 0 into 0 2.658 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 2.659 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 2.660 * [backup-simplify]: Simplify 0 into 0 2.662 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 2.664 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 2.664 * [backup-simplify]: Simplify 0 into 0 2.664 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 2.664 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 2.664 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 2.665 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.665 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.665 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 2.665 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.665 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.665 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 2.665 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 2.665 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 2.665 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 2.666 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 2.666 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 2.666 * [backup-simplify]: Simplify 0 into 0 2.667 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 2.667 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 2.667 * [backup-simplify]: Simplify 0 into 0 2.668 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 2.669 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 2.669 * [backup-simplify]: Simplify 0 into 0 2.670 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 2.672 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 2.672 * [backup-simplify]: Simplify 0 into 0 2.673 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 2.675 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 2.675 * [backup-simplify]: Simplify 0 into 0 2.677 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 2.679 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 2.679 * [backup-simplify]: Simplify 0 into 0 2.680 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 2.680 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 2.680 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 2.680 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.680 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.680 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 2.680 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.680 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.680 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 2.680 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 2.681 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 2.681 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 2.681 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 2.681 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 2.681 * [backup-simplify]: Simplify 0 into 0 2.682 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 2.683 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 2.683 * [backup-simplify]: Simplify 0 into 0 2.684 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 2.685 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 2.685 * [backup-simplify]: Simplify 0 into 0 2.686 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 2.687 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 2.687 * [backup-simplify]: Simplify 0 into 0 2.689 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 2.691 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 2.691 * [backup-simplify]: Simplify 0 into 0 2.693 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 2.698 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 2.699 * [backup-simplify]: Simplify 0 into 0 2.699 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 2.699 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2 1 1) 2.699 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 2.699 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 2.699 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.699 * [taylor]: Taking taylor expansion of (fabs x) in x 2.699 * [backup-simplify]: Simplify (fabs x) into (fabs x) 2.699 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.699 * [taylor]: Taking taylor expansion of (fabs x) in x 2.699 * [backup-simplify]: Simplify (fabs x) into (fabs x) 2.700 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 2.700 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 2.700 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 2.700 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 2.700 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 2.700 * [backup-simplify]: Simplify 0 into 0 2.701 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 2.702 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 2.702 * [backup-simplify]: Simplify 0 into 0 2.702 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 2.703 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 2.703 * [backup-simplify]: Simplify 0 into 0 2.705 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 2.706 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 2.706 * [backup-simplify]: Simplify 0 into 0 2.708 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 2.709 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 2.709 * [backup-simplify]: Simplify 0 into 0 2.711 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 2.713 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 2.713 * [backup-simplify]: Simplify 0 into 0 2.714 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 2.714 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 2.714 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 2.714 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.714 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.714 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 2.714 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.714 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.714 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 2.714 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 2.715 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 2.715 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 2.715 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 2.715 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 2.715 * [backup-simplify]: Simplify 0 into 0 2.716 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 2.717 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 2.717 * [backup-simplify]: Simplify 0 into 0 2.717 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 2.718 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 2.719 * [backup-simplify]: Simplify 0 into 0 2.720 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 2.721 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 2.722 * [backup-simplify]: Simplify 0 into 0 2.723 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 2.725 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 2.725 * [backup-simplify]: Simplify 0 into 0 2.727 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 2.729 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 2.729 * [backup-simplify]: Simplify 0 into 0 2.729 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 2.729 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 2.729 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 2.729 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.729 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.730 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 2.730 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.730 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.730 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 2.730 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 2.730 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 2.730 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 2.731 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 2.731 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 2.731 * [backup-simplify]: Simplify 0 into 0 2.731 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 2.732 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 2.732 * [backup-simplify]: Simplify 0 into 0 2.733 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 2.734 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 2.734 * [backup-simplify]: Simplify 0 into 0 2.735 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 2.737 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 2.737 * [backup-simplify]: Simplify 0 into 0 2.739 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 2.740 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 2.740 * [backup-simplify]: Simplify 0 into 0 2.742 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 2.743 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 2.743 * [backup-simplify]: Simplify 0 into 0 2.743 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 2.743 * * * [progress]: simplifying candidates 2.746 * [simplify]: Simplifying: (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (log1p (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (+ (- (log 2.0) (log 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (cbrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) (expm1 (* (* (fabs x) (fabs x)) (fabs x))) (log1p (* (* (fabs x) (fabs x)) (fabs x))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (expm1 (* (* (fabs x) (fabs x)) (fabs x))) (log1p (* (* (fabs x) (fabs x)) (fabs x))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 2.747 * * [simplify]: iteration 0: 136 enodes 2.782 * * [simplify]: iteration 1: 364 enodes 2.957 * * [simplify]: iteration 2: 2234 enodes 4.232 * * [simplify]: iteration complete: 5000 enodes 4.232 * * [simplify]: Extracting #0: cost 50 inf + 0 4.233 * * [simplify]: Extracting #1: cost 690 inf + 3 4.239 * * [simplify]: Extracting #2: cost 1490 inf + 3020 4.281 * * [simplify]: Extracting #3: cost 989 inf + 109165 4.333 * * [simplify]: Extracting #4: cost 284 inf + 290012 4.421 * * [simplify]: Extracting #5: cost 138 inf + 334772 4.527 * * [simplify]: Extracting #6: cost 53 inf + 367283 4.625 * * [simplify]: Extracting #7: cost 5 inf + 385558 4.732 * * [simplify]: Extracting #8: cost 0 inf + 386737 4.853 * * [simplify]: Extracting #9: cost 0 inf + 386542 4.969 * [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 (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (log1p (* (* (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) (/ 2.0 3.0))) (log (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (log (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (log (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (log (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (log (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (log (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (log (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (exp (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (* (* (* (fabs x) (fabs x)) (* (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) (/ 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) (/ 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) (/ 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) (/ 2.0 3.0))) (* (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0))) (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0))))) (* (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0))))) (cbrt (* (* (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) (/ 2.0 3.0))))) (sqrt (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (sqrt (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0)))) (* (* (fabs x) (fabs x)) (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (* (fabs x) (cbrt (/ 2.0 3.0)))) (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (* (cbrt 2.0) (* (fabs x) (fabs x))) (cbrt 3.0)) (fabs x)) (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (/ (cbrt 2.0) 3.0))) (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (/ (* (* (sqrt 2.0) (fabs x)) (* (fabs x) (fabs x))) (sqrt 3.0)) (/ (* (* (sqrt 2.0) (fabs x)) (* (fabs x) (fabs x))) 3.0) (/ 2.0 (/ (cbrt 3.0) (* (fabs x) (* (fabs x) (fabs x))))) (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0))) (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2.0 3.0))) (* (fabs x) (/ (* (fabs x) (fabs x)) 3.0)) (* (* (fabs x) (fabs x)) (* (fabs x) 2.0)) (expm1 (* (fabs x) (* (fabs x) (fabs x)))) (log1p (* (fabs x) (* (fabs x) (fabs x)))) 3 3 3 3 (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) 3 3 3 3 (* 3 (log (fabs x))) (* 3 (log (fabs x))) (* 3 (log (fabs x))) (exp (* (fabs x) (* (fabs x) (fabs x)))) (* (* (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x)))) (* (fabs x) (* (fabs x) (fabs x)))) (* (* (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x)))) (* (fabs x) (* (fabs x) (fabs x)))) (* (fabs x) (fabs x)) (fabs x) (* (* (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x)))) (* (fabs x) (* (fabs x) (fabs x)))) (sqrt (* (fabs x) (* (fabs x) (fabs x)))) (sqrt (* (fabs x) (* (fabs x) (fabs x)))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (cbrt (fabs x))) (* (fabs x) (cbrt (fabs x)))) (* (* (fabs x) (sqrt (fabs x))) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (expm1 (* (fabs x) (* (fabs x) (fabs x)))) (log1p (* (fabs x) (* (fabs x) (fabs x)))) 3 3 3 3 (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) 3 3 3 3 (* 3 (log (fabs x))) (* 3 (log (fabs x))) (* 3 (log (fabs x))) (exp (* (fabs x) (* (fabs x) (fabs x)))) (* (* (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x)))) (* (fabs x) (* (fabs x) (fabs x)))) (* (* (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x)))) (* (fabs x) (* (fabs x) (fabs x)))) (* (fabs x) (fabs x)) (fabs x) (* (* (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x)))) (* (fabs x) (* (fabs x) (fabs x)))) (sqrt (* (fabs x) (* (fabs x) (fabs x)))) (sqrt (* (fabs x) (* (fabs x) (fabs x)))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (cbrt (fabs x))) (* (fabs x) (cbrt (fabs x)))) (* (* (fabs x) (sqrt (fabs x))) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (fabs (* (fma (* (fabs x) (* (fabs x) (fabs x))) (/ 2.0 3.0) (fma (fabs x) 2.0 (* (* (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (+ (* (* (fabs x) (fabs x)) (/ 1.0 21.0)) (/ 1.0 5.0))))) (/ 1.0 (sqrt PI)))) (* (* 0.6666666666666666 (fabs x)) (* (fabs x) (fabs x))) (* (* 0.6666666666666666 (fabs x)) (* (fabs x) (fabs x))) (* (* 0.6666666666666666 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) 5.009 * * * [progress]: adding candidates to table 5.827 * * [progress]: iteration 2 / 4 5.827 * * * [progress]: picking best candidate 5.848 * * * * [pick]: Picked # 5.848 * * * [progress]: localizing error 5.960 * * * [progress]: generating rewritten candidates 5.960 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 5.962 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 6.024 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 6.040 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2) 6.073 * * * [progress]: generating series expansions 6.073 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 6.073 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 6.075 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) into (* 0.6666666666666666 (pow (fabs x) 3)) 6.075 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 6.075 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 6.075 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 6.075 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 6.075 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 6.075 * [taylor]: Taking taylor expansion of (fabs x) in x 6.075 * [backup-simplify]: Simplify (fabs x) into (fabs x) 6.075 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 6.075 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 6.075 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 6.075 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 6.075 * [taylor]: Taking taylor expansion of (fabs x) in x 6.075 * [backup-simplify]: Simplify (fabs x) into (fabs x) 6.075 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 6.076 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 6.076 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 6.076 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 6.076 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 6.076 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 6.077 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs x) 3))) into 0 6.077 * [backup-simplify]: Simplify 0 into 0 6.078 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 6.079 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 6.080 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))) into 0 6.080 * [backup-simplify]: Simplify 0 into 0 6.081 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 6.082 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 6.083 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))) into 0 6.083 * [backup-simplify]: Simplify 0 into 0 6.085 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 6.086 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 6.088 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))) into 0 6.088 * [backup-simplify]: Simplify 0 into 0 6.091 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 6.093 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 6.095 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))))) into 0 6.095 * [backup-simplify]: Simplify 0 into 0 6.097 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 6.099 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 6.104 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))))) into 0 6.104 * [backup-simplify]: Simplify 0 into 0 6.104 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs x) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 6.105 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x)))) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 6.105 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 6.105 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 6.105 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 6.105 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 6.105 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 6.105 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 6.105 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 6.105 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 6.105 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 6.105 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 6.105 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 6.105 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 6.105 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 6.105 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 6.106 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 6.106 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 6.106 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) 6.106 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 6.106 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 6.107 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ 1 x)) 3))) into 0 6.107 * [backup-simplify]: Simplify 0 into 0 6.108 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 6.108 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 6.109 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))) into 0 6.109 * [backup-simplify]: Simplify 0 into 0 6.110 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 6.111 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 6.112 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))) into 0 6.112 * [backup-simplify]: Simplify 0 into 0 6.114 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 6.115 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 6.117 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))) into 0 6.117 * [backup-simplify]: Simplify 0 into 0 6.119 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 6.121 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 6.124 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))))) into 0 6.124 * [backup-simplify]: Simplify 0 into 0 6.126 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 6.128 * [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 6.130 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))))) into 0 6.130 * [backup-simplify]: Simplify 0 into 0 6.130 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ 1 (/ 1 x))) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 6.131 * [backup-simplify]: Simplify (* (/ 2.0 3.0) (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x))))) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 6.131 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 6.131 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 6.131 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 6.131 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 6.131 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 6.131 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 6.131 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 6.131 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 6.131 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 6.131 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 6.131 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 6.131 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 6.131 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 6.132 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 6.132 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 6.132 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 6.132 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) 6.133 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 6.133 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 6.133 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (* 0 (pow (fabs (/ -1 x)) 3))) into 0 6.133 * [backup-simplify]: Simplify 0 into 0 6.134 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 6.135 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 6.135 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))) into 0 6.136 * [backup-simplify]: Simplify 0 into 0 6.136 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 6.137 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 6.139 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))) into 0 6.139 * [backup-simplify]: Simplify 0 into 0 6.140 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 6.141 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 6.143 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))) into 0 6.143 * [backup-simplify]: Simplify 0 into 0 6.145 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 6.146 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 6.148 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))))) into 0 6.149 * [backup-simplify]: Simplify 0 into 0 6.151 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 6.153 * [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 6.155 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))))) into 0 6.155 * [backup-simplify]: Simplify 0 into 0 6.155 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (* 0.6666666666666666 (pow (fabs x) 3)) 6.155 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1 1) 6.156 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 6.156 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 6.156 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 6.156 * [taylor]: Taking taylor expansion of (fabs x) in x 6.156 * [backup-simplify]: Simplify (fabs x) into (fabs x) 6.156 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 6.156 * [taylor]: Taking taylor expansion of (fabs x) in x 6.156 * [backup-simplify]: Simplify (fabs x) into (fabs x) 6.156 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 6.156 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 6.156 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 6.157 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 6.157 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 6.157 * [backup-simplify]: Simplify 0 into 0 6.158 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 6.158 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 6.158 * [backup-simplify]: Simplify 0 into 0 6.159 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 6.160 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 6.160 * [backup-simplify]: Simplify 0 into 0 6.161 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 6.163 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 6.163 * [backup-simplify]: Simplify 0 into 0 6.165 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 6.167 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 6.167 * [backup-simplify]: Simplify 0 into 0 6.169 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 6.171 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 6.171 * [backup-simplify]: Simplify 0 into 0 6.171 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 6.172 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 6.172 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 6.172 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 6.172 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 6.172 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 6.172 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 6.172 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 6.172 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 6.172 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 6.172 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 6.172 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 6.172 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 6.173 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 6.173 * [backup-simplify]: Simplify 0 into 0 6.173 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 6.174 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 6.174 * [backup-simplify]: Simplify 0 into 0 6.174 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 6.175 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 6.175 * [backup-simplify]: Simplify 0 into 0 6.175 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 6.176 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 6.176 * [backup-simplify]: Simplify 0 into 0 6.177 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 6.178 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 6.178 * [backup-simplify]: Simplify 0 into 0 6.180 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 6.181 * [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 6.181 * [backup-simplify]: Simplify 0 into 0 6.181 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 6.181 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 6.181 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 6.181 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 6.181 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 6.181 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 6.181 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 6.181 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 6.181 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 6.182 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 6.182 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 6.182 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 6.182 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 6.182 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 6.182 * [backup-simplify]: Simplify 0 into 0 6.183 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 6.183 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 6.184 * [backup-simplify]: Simplify 0 into 0 6.185 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 6.185 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 6.185 * [backup-simplify]: Simplify 0 into 0 6.186 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 6.187 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 6.187 * [backup-simplify]: Simplify 0 into 0 6.188 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 6.189 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 6.189 * [backup-simplify]: Simplify 0 into 0 6.191 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 6.192 * [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 6.192 * [backup-simplify]: Simplify 0 into 0 6.192 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 6.192 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2) 6.192 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 6.192 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 6.192 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 6.192 * [taylor]: Taking taylor expansion of (fabs x) in x 6.192 * [backup-simplify]: Simplify (fabs x) into (fabs x) 6.192 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 6.193 * [taylor]: Taking taylor expansion of (fabs x) in x 6.193 * [backup-simplify]: Simplify (fabs x) into (fabs x) 6.193 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 6.193 * [backup-simplify]: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 6.193 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 6.193 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 6.193 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 6.193 * [backup-simplify]: Simplify 0 into 0 6.193 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 6.194 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 6.194 * [backup-simplify]: Simplify 0 into 0 6.194 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 6.195 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 6.195 * [backup-simplify]: Simplify 0 into 0 6.196 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 6.196 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 6.196 * [backup-simplify]: Simplify 0 into 0 6.197 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 6.198 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 6.198 * [backup-simplify]: Simplify 0 into 0 6.200 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 6.201 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 6.201 * [backup-simplify]: Simplify 0 into 0 6.201 * [backup-simplify]: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 6.201 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 6.201 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 6.201 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 6.201 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 6.201 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 6.201 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 6.201 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 6.201 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 6.201 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 6.201 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 6.202 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 6.202 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 6.202 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 6.202 * [backup-simplify]: Simplify 0 into 0 6.202 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 6.203 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 6.203 * [backup-simplify]: Simplify 0 into 0 6.203 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 6.204 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 6.204 * [backup-simplify]: Simplify 0 into 0 6.205 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 6.206 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 6.206 * [backup-simplify]: Simplify 0 into 0 6.207 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 6.208 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 6.208 * [backup-simplify]: Simplify 0 into 0 6.209 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 6.210 * [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 6.210 * [backup-simplify]: Simplify 0 into 0 6.210 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 6.210 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 6.210 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 6.210 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 6.210 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 6.210 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 6.210 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 6.211 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 6.211 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 6.211 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 6.211 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 6.211 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 6.211 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 6.211 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 6.211 * [backup-simplify]: Simplify 0 into 0 6.212 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 6.212 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 6.212 * [backup-simplify]: Simplify 0 into 0 6.213 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 6.213 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 6.213 * [backup-simplify]: Simplify 0 into 0 6.214 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 6.215 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 6.215 * [backup-simplify]: Simplify 0 into 0 6.216 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 6.217 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 6.217 * [backup-simplify]: Simplify 0 into 0 6.219 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 6.224 * [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 6.224 * [backup-simplify]: Simplify 0 into 0 6.224 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 6.224 * * * [progress]: simplifying candidates 6.227 * [simplify]: Simplifying: (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (log1p (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (+ (- (log 2.0) (log 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (cbrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) (expm1 (* (* (fabs x) (fabs x)) (fabs x))) (log1p (* (* (fabs x) (fabs x)) (fabs x))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (expm1 (* (* (fabs x) (fabs x)) (fabs x))) (log1p (* (* (fabs x) (fabs x)) (fabs x))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 6.231 * * [simplify]: iteration 0: 138 enodes 6.268 * * [simplify]: iteration 1: 369 enodes 6.458 * * [simplify]: iteration 2: 2234 enodes 7.902 * * [simplify]: iteration complete: 5000 enodes 7.902 * * [simplify]: Extracting #0: cost 50 inf + 0 7.903 * * [simplify]: Extracting #1: cost 519 inf + 3 7.907 * * [simplify]: Extracting #2: cost 1555 inf + 2256 7.926 * * [simplify]: Extracting #3: cost 1433 inf + 55530 7.967 * * [simplify]: Extracting #4: cost 373 inf + 275920 8.049 * * [simplify]: Extracting #5: cost 129 inf + 331164 8.137 * * [simplify]: Extracting #6: cost 22 inf + 368147 8.226 * * [simplify]: Extracting #7: cost 0 inf + 377442 8.321 * * [simplify]: Extracting #8: cost 0 inf + 377292 8.411 * [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 (* (* (/ 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 3.0) (fabs x)) (* (fabs x) (fabs x)))) (log (* (* (/ 2.0 3.0) (fabs x)) (* (fabs x) (fabs x)))) (log (* (* (/ 2.0 3.0) (fabs x)) (* (fabs x) (fabs x)))) (log (* (* (/ 2.0 3.0) (fabs x)) (* (fabs x) (fabs x)))) (log (* (* (/ 2.0 3.0) (fabs x)) (* (fabs x) (fabs x)))) (log (* (* (/ 2.0 3.0) (fabs x)) (* (fabs x) (fabs x)))) (log (* (* (/ 2.0 3.0) (fabs x)) (* (fabs x) (fabs x)))) (exp (* (* (/ 2.0 3.0) (fabs x)) (* (fabs x) (fabs x)))) (* (* (* (/ 2.0 3.0) (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))) (* (* (* (/ 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))) (* (* (/ 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))))) (* (* (* (/ 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))) (* (* (* (/ 2.0 3.0) (fabs x)) (* (fabs x) (fabs x))) (* (* (/ 2.0 3.0) (fabs x)) (* (fabs x) (fabs x))))) (* (cbrt (* (* (/ 2.0 3.0) (fabs x)) (* (fabs x) (fabs x)))) (cbrt (* (* (/ 2.0 3.0) (fabs x)) (* (fabs x) (fabs x))))) (cbrt (* (* (/ 2.0 3.0) (fabs x)) (* (fabs x) (fabs x)))) (* (* (* (/ 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)))) (* (fabs x) (* (fabs x) (/ 2.0 3.0))) (* (* (fabs x) (* (fabs x) (fabs x))) (cbrt (/ 2.0 3.0))) (* (* (* (sqrt (/ 2.0 3.0)) (fabs x)) (fabs x)) (fabs x)) (* (/ (cbrt 2.0) (cbrt 3.0)) (* (fabs x) (* (fabs x) (fabs x)))) (* (fabs x) (* (/ (cbrt 2.0) (sqrt 3.0)) (* (fabs x) (fabs x)))) (* (* (/ (cbrt 2.0) 3.0) (fabs x)) (* (fabs x) (fabs x))) (* (* (/ (sqrt 2.0) (cbrt 3.0)) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (* (fabs x) (fabs x))) (/ (sqrt 2.0) (sqrt 3.0))) (/ (* (sqrt 2.0) (* (fabs x) (* (fabs x) (fabs x)))) 3.0) (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (/ 2.0 (sqrt 3.0)) (fabs x)) (* (fabs x) (fabs x))) (* (* (/ 2.0 3.0) (fabs x)) (* (fabs x) (fabs x))) (* (* (/ 2.0 3.0) (fabs x)) (* (fabs x) (fabs x))) (/ (* (fabs x) (* (fabs x) (fabs x))) 3.0) (* (* 2.0 (fabs x)) (* (fabs x) (fabs x))) (expm1 (* (fabs x) (* (fabs x) (fabs x)))) (log1p (* (fabs x) (* (fabs x) (fabs x)))) 3 3 3 3 (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) 3 3 3 3 (* 3 (log (fabs x))) (* 3 (log (fabs x))) (* 3 (log (fabs x))) (exp (* (fabs x) (* (fabs x) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (fabs x)) (* (fabs x) (fabs x)) (fabs x) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (fabs x)) (sqrt (* (fabs x) (* (fabs x) (fabs x)))) (sqrt (* (fabs x) (* (fabs x) (fabs x)))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (cbrt (fabs x))) (* (fabs x) (cbrt (fabs x)))) (* (* (fabs x) (sqrt (fabs x))) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (expm1 (* (fabs x) (* (fabs x) (fabs x)))) (log1p (* (fabs x) (* (fabs x) (fabs x)))) 3 3 3 3 (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) 3 3 3 3 (* 3 (log (fabs x))) (* 3 (log (fabs x))) (* 3 (log (fabs x))) (exp (* (fabs x) (* (fabs x) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (fabs x)) (* (fabs x) (fabs x)) (fabs x) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (fabs x)) (sqrt (* (fabs x) (* (fabs x) (fabs x)))) (sqrt (* (fabs x) (* (fabs x) (fabs x)))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (cbrt (fabs x))) (* (fabs x) (cbrt (fabs x)))) (* (* (fabs x) (sqrt (fabs x))) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (fabs (* (fma (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (fabs x)) (* (* (fabs x) (fabs x)) (/ 1.0 21.0)) (* (fabs x) (+ (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (/ (* 1.0 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 5.0)) 2.0))) (/ 1.0 (sqrt PI)))) (* (* (fabs x) (* (fabs x) (fabs x))) 0.6666666666666666) (* (* (fabs x) (* (fabs x) (fabs x))) 0.6666666666666666) (* (* (fabs x) (* (fabs x) (fabs x))) 0.6666666666666666) (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) 8.440 * * * [progress]: adding candidates to table 9.215 * * [progress]: iteration 3 / 4 9.215 * * * [progress]: picking best candidate 9.241 * * * * [pick]: Picked # 9.241 * * * [progress]: localizing error 9.307 * * * [progress]: generating rewritten candidates 9.308 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2) 9.310 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 9.351 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 3 2 1 3 1 2) 9.394 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 9.434 * * * [progress]: generating series expansions 9.434 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2) 9.434 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 9.435 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (/ 1.0 21.0)) into (* 0.047619047619047616 (pow (fabs x) 2)) 9.435 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 2)) in (x) around 0 9.435 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 2)) in x 9.435 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 9.435 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 9.435 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x 9.435 * [taylor]: Taking taylor expansion of (fabs x) in x 9.435 * [backup-simplify]: Simplify (fabs x) into (fabs x) 9.435 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 2)) in x 9.435 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 9.435 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 9.435 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x 9.435 * [taylor]: Taking taylor expansion of (fabs x) in x 9.435 * [backup-simplify]: Simplify (fabs x) into (fabs x) 9.435 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 9.435 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs x) 2)) into (* 0.047619047619047616 (pow (fabs x) 2)) 9.435 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs x) 2)) into (* 0.047619047619047616 (pow (fabs x) 2)) 9.435 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 9.436 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (* 0 (pow (fabs x) 2))) into 0 9.436 * [backup-simplify]: Simplify 0 into 0 9.436 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 9.437 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 9.437 * [backup-simplify]: Simplify 0 into 0 9.437 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 9.438 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 9.438 * [backup-simplify]: Simplify 0 into 0 9.439 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 9.440 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 9.440 * [backup-simplify]: Simplify 0 into 0 9.441 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 9.442 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 9.442 * [backup-simplify]: Simplify 0 into 0 9.443 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 9.445 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 9.445 * [backup-simplify]: Simplify 0 into 0 9.445 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs x) 2)) into (* 0.047619047619047616 (pow (fabs x) 2)) 9.445 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (/ 1.0 21.0)) into (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) 9.445 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) in (x) around 0 9.445 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) in x 9.445 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 9.445 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 9.445 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 9.445 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 9.445 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 9.446 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) in x 9.446 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 9.446 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 9.446 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 9.446 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 9.446 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 9.446 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 9.446 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) into (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) 9.446 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) into (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) 9.446 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 9.447 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 9.447 * [backup-simplify]: Simplify 0 into 0 9.447 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 9.448 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 9.448 * [backup-simplify]: Simplify 0 into 0 9.448 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 9.449 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 9.449 * [backup-simplify]: Simplify 0 into 0 9.453 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 9.455 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 9.455 * [backup-simplify]: Simplify 0 into 0 9.457 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 9.459 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 9.459 * [backup-simplify]: Simplify 0 into 0 9.461 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 9.464 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 9.464 * [backup-simplify]: Simplify 0 into 0 9.464 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ 1 (/ 1 x))) 2)) into (* 0.047619047619047616 (pow (fabs x) 2)) 9.465 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (/ 1.0 21.0)) into (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) 9.465 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) in (x) around 0 9.465 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) in x 9.465 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 9.465 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 9.465 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 9.465 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 9.465 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 9.465 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) in x 9.465 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 9.465 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 9.466 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 9.466 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 9.466 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 9.466 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 9.466 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) into (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) 9.466 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) into (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) 9.467 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 9.467 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 9.467 * [backup-simplify]: Simplify 0 into 0 9.468 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 9.469 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 9.469 * [backup-simplify]: Simplify 0 into 0 9.469 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 9.470 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 9.470 * [backup-simplify]: Simplify 0 into 0 9.471 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 9.472 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 9.472 * [backup-simplify]: Simplify 0 into 0 9.473 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 9.474 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 9.474 * [backup-simplify]: Simplify 0 into 0 9.475 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 9.477 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 9.477 * [backup-simplify]: Simplify 0 into 0 9.477 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ -1 (/ 1 (- x)))) 2)) into (* 0.047619047619047616 (pow (fabs x) 2)) 9.477 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 3 2 1 3 1 2) 9.477 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) into (pow (fabs x) 4) 9.477 * [approximate]: Taking taylor expansion of (pow (fabs x) 4) in (x) around 0 9.477 * [taylor]: Taking taylor expansion of (pow (fabs x) 4) in x 9.477 * [taylor]: Taking taylor expansion of (fabs x) in x 9.477 * [backup-simplify]: Simplify (fabs x) into (fabs x) 9.477 * [taylor]: Taking taylor expansion of (pow (fabs x) 4) in x 9.477 * [taylor]: Taking taylor expansion of (fabs x) in x 9.477 * [backup-simplify]: Simplify (fabs x) into (fabs x) 9.477 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 9.477 * [backup-simplify]: Simplify (* (pow (fabs x) 2) (pow (fabs x) 2)) into (pow (fabs x) 4) 9.478 * [backup-simplify]: Simplify (pow (fabs x) 4) into (pow (fabs x) 4) 9.478 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 9.478 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (* 0 (pow (fabs x) 2))) into 0 9.478 * [backup-simplify]: Simplify 0 into 0 9.478 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 9.479 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 9.479 * [backup-simplify]: Simplify 0 into 0 9.479 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 9.480 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 9.480 * [backup-simplify]: Simplify 0 into 0 9.481 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 9.481 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 9.481 * [backup-simplify]: Simplify 0 into 0 9.482 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 9.483 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 9.483 * [backup-simplify]: Simplify 0 into 0 9.485 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 9.486 * [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 9.486 * [backup-simplify]: Simplify 0 into 0 9.486 * [backup-simplify]: Simplify (pow (fabs x) 4) into (pow (fabs x) 4) 9.486 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (* (fabs (/ 1 x)) (fabs (/ 1 x)))) into (pow (fabs (/ 1 x)) 4) 9.486 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 4) in (x) around 0 9.486 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 4) in x 9.486 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 9.486 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 9.486 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 4) in x 9.486 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 9.486 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 9.486 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 9.487 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 x)) 2) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 4) 9.487 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 4) into (pow (fabs (/ 1 x)) 4) 9.487 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 9.487 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 9.487 * [backup-simplify]: Simplify 0 into 0 9.487 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 9.488 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 9.488 * [backup-simplify]: Simplify 0 into 0 9.488 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 9.489 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 9.489 * [backup-simplify]: Simplify 0 into 0 9.490 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 9.491 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 9.491 * [backup-simplify]: Simplify 0 into 0 9.492 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 9.493 * [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 9.493 * [backup-simplify]: Simplify 0 into 0 9.494 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 9.495 * [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 9.495 * [backup-simplify]: Simplify 0 into 0 9.495 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 4) into (pow (fabs x) 4) 9.496 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x))))) into (pow (fabs (/ -1 x)) 4) 9.496 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 4) in (x) around 0 9.496 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 4) in x 9.496 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 9.496 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 9.496 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 4) in x 9.496 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 9.496 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 9.496 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 9.496 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 2) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 4) 9.496 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 4) into (pow (fabs (/ -1 x)) 4) 9.496 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 9.497 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 9.497 * [backup-simplify]: Simplify 0 into 0 9.497 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 9.498 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 9.498 * [backup-simplify]: Simplify 0 into 0 9.499 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 9.500 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 9.500 * [backup-simplify]: Simplify 0 into 0 9.502 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 9.503 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 9.503 * [backup-simplify]: Simplify 0 into 0 9.505 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 9.507 * [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 9.507 * [backup-simplify]: Simplify 0 into 0 9.509 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 9.511 * [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 9.511 * [backup-simplify]: Simplify 0 into 0 9.511 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 4) into (pow (fabs x) 4) 9.512 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 9.512 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) into (pow (fabs x) 4) 9.512 * [approximate]: Taking taylor expansion of (pow (fabs x) 4) in (x) around 0 9.512 * [taylor]: Taking taylor expansion of (pow (fabs x) 4) in x 9.512 * [taylor]: Taking taylor expansion of (fabs x) in x 9.512 * [backup-simplify]: Simplify (fabs x) into (fabs x) 9.512 * [taylor]: Taking taylor expansion of (pow (fabs x) 4) in x 9.512 * [taylor]: Taking taylor expansion of (fabs x) in x 9.512 * [backup-simplify]: Simplify (fabs x) into (fabs x) 9.512 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 9.512 * [backup-simplify]: Simplify (* (pow (fabs x) 2) (pow (fabs x) 2)) into (pow (fabs x) 4) 9.512 * [backup-simplify]: Simplify (pow (fabs x) 4) into (pow (fabs x) 4) 9.512 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 9.513 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (* 0 (pow (fabs x) 2))) into 0 9.513 * [backup-simplify]: Simplify 0 into 0 9.513 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 9.513 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 9.513 * [backup-simplify]: Simplify 0 into 0 9.514 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 9.515 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 9.515 * [backup-simplify]: Simplify 0 into 0 9.516 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 9.516 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 9.516 * [backup-simplify]: Simplify 0 into 0 9.517 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 9.518 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 9.519 * [backup-simplify]: Simplify 0 into 0 9.520 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 9.521 * [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 9.521 * [backup-simplify]: Simplify 0 into 0 9.521 * [backup-simplify]: Simplify (pow (fabs x) 4) into (pow (fabs x) 4) 9.521 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (* (fabs (/ 1 x)) (fabs (/ 1 x)))) into (pow (fabs (/ 1 x)) 4) 9.521 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 4) in (x) around 0 9.521 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 4) in x 9.521 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 9.521 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 9.521 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 4) in x 9.521 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 9.521 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 9.522 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 9.522 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 x)) 2) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 4) 9.522 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 4) into (pow (fabs (/ 1 x)) 4) 9.522 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 9.522 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 9.522 * [backup-simplify]: Simplify 0 into 0 9.523 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 9.523 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 9.523 * [backup-simplify]: Simplify 0 into 0 9.524 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 9.524 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 9.524 * [backup-simplify]: Simplify 0 into 0 9.525 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 9.526 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 9.526 * [backup-simplify]: Simplify 0 into 0 9.527 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 9.528 * [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 9.528 * [backup-simplify]: Simplify 0 into 0 9.529 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 9.530 * [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 9.530 * [backup-simplify]: Simplify 0 into 0 9.531 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 4) into (pow (fabs x) 4) 9.531 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x))))) into (pow (fabs (/ -1 x)) 4) 9.531 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 4) in (x) around 0 9.531 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 4) in x 9.531 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 9.531 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 9.531 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 4) in x 9.531 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 9.531 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 9.531 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 9.531 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 2) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 4) 9.531 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 4) into (pow (fabs (/ -1 x)) 4) 9.531 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 9.532 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 9.532 * [backup-simplify]: Simplify 0 into 0 9.532 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 9.533 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 9.533 * [backup-simplify]: Simplify 0 into 0 9.533 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 9.534 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 9.534 * [backup-simplify]: Simplify 0 into 0 9.535 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 9.536 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 9.536 * [backup-simplify]: Simplify 0 into 0 9.537 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 9.538 * [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 9.538 * [backup-simplify]: Simplify 0 into 0 9.539 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 9.540 * [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 9.540 * [backup-simplify]: Simplify 0 into 0 9.540 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 4) into (pow (fabs x) 4) 9.540 * * * [progress]: simplifying candidates 9.543 * [simplify]: Simplifying: (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (* (* (fabs x) (fabs x)) (/ 1.0 21.0))) (log1p (* (* (fabs x) (fabs x)) (/ 1.0 21.0))) (* (* (fabs x) (fabs x)) (/ 1.0 21.0)) (* (* (fabs x) (fabs x)) (/ 1.0 21.0)) (+ (+ (log (fabs x)) (log (fabs x))) (- (log 1.0) (log 21.0))) (+ (+ (log (fabs x)) (log (fabs x))) (log (/ 1.0 21.0))) (+ (log (* (fabs x) (fabs x))) (- (log 1.0) (log 21.0))) (+ (log (* (fabs x) (fabs x))) (log (/ 1.0 21.0))) (log (* (* (fabs x) (fabs x)) (/ 1.0 21.0))) (exp (* (* (fabs x) (fabs x)) (/ 1.0 21.0))) (* (* (* (* (fabs x) (fabs x)) (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))) (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0))) (* (* (* (* (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))) (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0))) (* (cbrt (* (* (fabs x) (fabs x)) (/ 1.0 21.0))) (cbrt (* (* (fabs x) (fabs x)) (/ 1.0 21.0)))) (cbrt (* (* (fabs x) (fabs x)) (/ 1.0 21.0))) (* (* (* (* (fabs x) (fabs x)) (/ 1.0 21.0)) (* (* (fabs x) (fabs x)) (/ 1.0 21.0))) (* (* (fabs x) (fabs x)) (/ 1.0 21.0))) (sqrt (* (* (fabs x) (fabs x)) (/ 1.0 21.0))) (sqrt (* (* (fabs x) (fabs x)) (/ 1.0 21.0))) (* (fabs x) (sqrt (/ 1.0 21.0))) (* (fabs x) (sqrt (/ 1.0 21.0))) (* (fabs x) (/ (sqrt 1.0) (sqrt 21.0))) (* (fabs x) (/ (sqrt 1.0) (sqrt 21.0))) (* (* (fabs x) (fabs x)) (* (cbrt (/ 1.0 21.0)) (cbrt (/ 1.0 21.0)))) (* (* (fabs x) (fabs x)) (sqrt (/ 1.0 21.0))) (* (* (fabs x) (fabs x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 21.0) (cbrt 21.0)))) (* (* (fabs x) (fabs x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 21.0))) (* (* (fabs x) (fabs x)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1)) (* (* (fabs x) (fabs x)) (/ (sqrt 1.0) (* (cbrt 21.0) (cbrt 21.0)))) (* (* (fabs x) (fabs x)) (/ (sqrt 1.0) (sqrt 21.0))) (* (* (fabs x) (fabs x)) (/ (sqrt 1.0) 1)) (* (* (fabs x) (fabs x)) (/ 1 (* (cbrt 21.0) (cbrt 21.0)))) (* (* (fabs x) (fabs x)) (/ 1 (sqrt 21.0))) (* (* (fabs x) (fabs x)) (/ 1 1)) (* (* (fabs x) (fabs x)) 1) (* (* (fabs x) (fabs x)) 1.0) (* (fabs x) (/ 1.0 21.0)) (* (* (fabs x) (fabs x)) 1.0) (expm1 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (log1p (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 2) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) (* 2 1)) (+ 1 1) (+ 1 1) (+ 2 (+ 1 1)) (+ 2 2) (+ 2 (+ 1 1)) (+ 2 (* 2 1)) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 2) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) (* 2 1)) (+ 1 1) (+ 1 1) (+ (* 2 1) (+ 1 1)) (+ (* 2 1) 2) (+ (* 2 1) (+ 1 1)) (+ (* 2 1) (* 2 1)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (+ 1 1) (+ 1 1) (+ (+ (log (fabs x)) (log (fabs x))) (+ (log (fabs x)) (log (fabs x)))) (+ (+ (log (fabs x)) (log (fabs x))) (log (* (fabs x) (fabs x)))) (+ (log (* (fabs x) (fabs x))) (+ (log (fabs x)) (log (fabs x)))) (+ (log (* (fabs x) (fabs x))) (log (* (fabs x) (fabs x)))) (log (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (exp (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))) (* (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* 2 (+ 1 1)) (* 2 (+ 1 1)) (* 2 1) (* 2 1) (* 2 2) (* 2 (+ 1 1)) (* 2 (+ 1 1)) (* 2 1) (* 2 1) (* 2 (* 2 1)) (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (* (fabs x) (fabs x))) (expm1 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (log1p (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 2) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) (* 2 1)) (+ 1 1) (+ 1 1) (+ 2 (+ 1 1)) (+ 2 2) (+ 2 (+ 1 1)) (+ 2 (* 2 1)) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 2) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) (* 2 1)) (+ 1 1) (+ 1 1) (+ (* 2 1) (+ 1 1)) (+ (* 2 1) 2) (+ (* 2 1) (+ 1 1)) (+ (* 2 1) (* 2 1)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (+ 1 1) (+ 1 1) (+ (+ (log (fabs x)) (log (fabs x))) (+ (log (fabs x)) (log (fabs x)))) (+ (+ (log (fabs x)) (log (fabs x))) (log (* (fabs x) (fabs x)))) (+ (log (* (fabs x) (fabs x))) (+ (log (fabs x)) (log (fabs x)))) (+ (log (* (fabs x) (fabs x))) (log (* (fabs x) (fabs x)))) (log (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (exp (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))) (* (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* 2 (+ 1 1)) (* 2 (+ 1 1)) (* 2 1) (* 2 1) (* 2 2) (* 2 (+ 1 1)) (* 2 (+ 1 1)) (* 2 1) (* 2 1) (* 2 (* 2 1)) (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (* (fabs x) (fabs x))) (fabs (* (fma (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (fabs x)) (* (* (fabs x) (fabs x)) (/ 1.0 21.0)) (* (fabs x) (+ (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (/ (* 1.0 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 5.0)) 2.0))) (/ 1.0 (sqrt PI)))) (* 0.047619047619047616 (pow (fabs x) 2)) (* 0.047619047619047616 (pow (fabs x) 2)) (* 0.047619047619047616 (pow (fabs x) 2)) (pow (fabs x) 4) (pow (fabs x) 4) (pow (fabs x) 4) (pow (fabs x) 4) (pow (fabs x) 4) (pow (fabs x) 4) 9.545 * * [simplify]: iteration 0: 146 enodes 9.591 * * [simplify]: iteration 1: 426 enodes 10.003 * * [simplify]: iteration 2: 3180 enodes 12.462 * * [simplify]: iteration complete: 5002 enodes 12.462 * * [simplify]: Extracting #0: cost 52 inf + 0 12.469 * * [simplify]: Extracting #1: cost 1103 inf + 4 12.474 * * [simplify]: Extracting #2: cost 1288 inf + 11868 12.481 * * [simplify]: Extracting #3: cost 1271 inf + 20171 12.492 * * [simplify]: Extracting #4: cost 1077 inf + 51348 12.526 * * [simplify]: Extracting #5: cost 218 inf + 243406 12.597 * * [simplify]: Extracting #6: cost 48 inf + 260096 12.667 * * [simplify]: Extracting #7: cost 6 inf + 268218 12.742 * * [simplify]: Extracting #8: cost 0 inf + 271441 12.800 * * [simplify]: Extracting #9: cost 0 inf + 271291 12.868 * [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 (* (fabs x) (/ (* 1.0 (fabs x)) 21.0))) (log1p (* (fabs x) (/ (* 1.0 (fabs x)) 21.0))) (* (fabs x) (/ (* 1.0 (fabs x)) 21.0)) (* (fabs x) (/ (* 1.0 (fabs x)) 21.0)) (log (* (fabs x) (/ (* 1.0 (fabs x)) 21.0))) (log (* (fabs x) (/ (* 1.0 (fabs x)) 21.0))) (log (* (fabs x) (/ (* 1.0 (fabs x)) 21.0))) (log (* (fabs x) (/ (* 1.0 (fabs x)) 21.0))) (log (* (fabs x) (/ (* 1.0 (fabs x)) 21.0))) (exp (* (fabs x) (/ (* 1.0 (fabs x)) 21.0))) (* (/ 1.0 21.0) (* (* (* (fabs x) (* (fabs x) (fabs x))) (/ 1.0 21.0)) (* (* (fabs x) (* (fabs x) (fabs x))) (/ 1.0 21.0)))) (* (/ 1.0 21.0) (* (* (* (fabs x) (* (fabs x) (fabs x))) (/ 1.0 21.0)) (* (* (fabs x) (* (fabs x) (fabs x))) (/ 1.0 21.0)))) (* (/ 1.0 21.0) (* (* (* (fabs x) (* (fabs x) (fabs x))) (/ 1.0 21.0)) (* (* (fabs x) (* (fabs x) (fabs x))) (/ 1.0 21.0)))) (* (/ 1.0 21.0) (* (* (* (fabs x) (* (fabs x) (fabs x))) (/ 1.0 21.0)) (* (* (fabs x) (* (fabs x) (fabs x))) (/ 1.0 21.0)))) (* (cbrt (* (fabs x) (/ (* 1.0 (fabs x)) 21.0))) (cbrt (* (fabs x) (/ (* 1.0 (fabs x)) 21.0)))) (cbrt (* (fabs x) (/ (* 1.0 (fabs x)) 21.0))) (* (* (* (fabs x) (/ (* 1.0 (fabs x)) 21.0)) (* (fabs x) (/ (* 1.0 (fabs x)) 21.0))) (* (fabs x) (/ (* 1.0 (fabs x)) 21.0))) (sqrt (* (fabs x) (/ (* 1.0 (fabs x)) 21.0))) (sqrt (* (fabs x) (/ (* 1.0 (fabs x)) 21.0))) (* (fabs x) (sqrt (/ 1.0 21.0))) (* (fabs x) (sqrt (/ 1.0 21.0))) (* (fabs x) (/ (sqrt 1.0) (sqrt 21.0))) (* (fabs x) (/ (sqrt 1.0) (sqrt 21.0))) (* (* (fabs x) (cbrt (/ 1.0 21.0))) (* (fabs x) (cbrt (/ 1.0 21.0)))) (* (* (fabs x) (sqrt (/ 1.0 21.0))) (fabs x)) (* (* (fabs x) (/ (cbrt 1.0) (cbrt 21.0))) (* (fabs x) (/ (cbrt 1.0) (cbrt 21.0)))) (/ (* (* (fabs x) (cbrt 1.0)) (* (fabs x) (cbrt 1.0))) (sqrt 21.0)) (* (* (fabs x) (cbrt 1.0)) (* (fabs x) (cbrt 1.0))) (/ (* (* (fabs x) (fabs x)) (sqrt 1.0)) (* (cbrt 21.0) (cbrt 21.0))) (/ (* (* (sqrt 1.0) (fabs x)) (fabs x)) (sqrt 21.0)) (* (* (sqrt 1.0) (fabs x)) (fabs x)) (/ (* (fabs x) (fabs x)) (* (cbrt 21.0) (cbrt 21.0))) (/ (* (fabs x) (fabs x)) (sqrt 21.0)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (* 1.0 (fabs x)) (fabs x)) (/ (* 1.0 (fabs x)) 21.0) (* (* 1.0 (fabs x)) (fabs x)) (expm1 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (log1p (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 4 4 4 4 2 2 4 4 4 4 4 4 4 4 2 2 4 4 4 4 (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) 2 2 (* (log (fabs x)) 4) (* (log (fabs x)) 4) (* (log (fabs x)) 4) (* (log (fabs x)) 4) (* (log (fabs x)) 4) (exp (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (* (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (fabs (* (fabs x) (fabs x))) (fabs (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) 4 4 2 2 4 4 4 2 2 4 (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) (expm1 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (log1p (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 4 4 4 4 2 2 4 4 4 4 4 4 4 4 2 2 4 4 4 4 (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) 2 2 (* (log (fabs x)) 4) (* (log (fabs x)) 4) (* (log (fabs x)) 4) (* (log (fabs x)) 4) (* (log (fabs x)) 4) (exp (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (* (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (fabs (* (fabs x) (fabs x))) (fabs (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) 4 4 2 2 4 4 4 2 2 4 (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x))) (fabs (/ (fma (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (fma (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) 2.0)) (fabs x) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (/ (* 1.0 (fabs x)) 21.0))) (/ (sqrt PI) 1.0))) (* 0.047619047619047616 (* (fabs x) (fabs x))) (* 0.047619047619047616 (* (fabs x) (fabs x))) (* 0.047619047619047616 (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) 12.899 * * * [progress]: adding candidates to table 13.655 * * [progress]: iteration 4 / 4 13.655 * * * [progress]: picking best candidate 13.687 * * * * [pick]: Picked # 13.687 * * * [progress]: localizing error 13.755 * * * [progress]: generating rewritten candidates 13.755 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2) 13.756 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 13.777 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 3 2 1 3 1 2) 13.812 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 3 2 1) 13.819 * * * [progress]: generating series expansions 13.819 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2) 13.819 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 13.819 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (/ 1.0 21.0)) into (* 0.047619047619047616 (pow (fabs x) 2)) 13.819 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 2)) in (x) around 0 13.819 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 2)) in x 13.819 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 13.819 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 13.820 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x 13.820 * [taylor]: Taking taylor expansion of (fabs x) in x 13.820 * [backup-simplify]: Simplify (fabs x) into (fabs x) 13.820 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 2)) in x 13.820 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 13.820 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 13.820 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x 13.820 * [taylor]: Taking taylor expansion of (fabs x) in x 13.820 * [backup-simplify]: Simplify (fabs x) into (fabs x) 13.820 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 13.820 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs x) 2)) into (* 0.047619047619047616 (pow (fabs x) 2)) 13.820 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs x) 2)) into (* 0.047619047619047616 (pow (fabs x) 2)) 13.820 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 13.821 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (* 0 (pow (fabs x) 2))) into 0 13.821 * [backup-simplify]: Simplify 0 into 0 13.821 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 13.822 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 13.822 * [backup-simplify]: Simplify 0 into 0 13.822 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 13.823 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 13.823 * [backup-simplify]: Simplify 0 into 0 13.824 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 13.825 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 13.825 * [backup-simplify]: Simplify 0 into 0 13.826 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 13.827 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 13.827 * [backup-simplify]: Simplify 0 into 0 13.828 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 13.830 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 13.830 * [backup-simplify]: Simplify 0 into 0 13.830 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs x) 2)) into (* 0.047619047619047616 (pow (fabs x) 2)) 13.830 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (/ 1.0 21.0)) into (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) 13.830 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) in (x) around 0 13.830 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) in x 13.830 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 13.830 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 13.830 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 13.830 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 13.830 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 13.830 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) in x 13.830 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 13.830 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 13.830 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 13.830 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 13.830 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 13.831 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 13.831 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) into (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) 13.831 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) into (* 0.047619047619047616 (pow (fabs (/ 1 x)) 2)) 13.831 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 13.832 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 13.832 * [backup-simplify]: Simplify 0 into 0 13.832 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 13.833 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 13.833 * [backup-simplify]: Simplify 0 into 0 13.833 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 13.834 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 13.834 * [backup-simplify]: Simplify 0 into 0 13.835 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 13.836 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 13.836 * [backup-simplify]: Simplify 0 into 0 13.837 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 13.838 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 13.838 * [backup-simplify]: Simplify 0 into 0 13.839 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 13.841 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 13.841 * [backup-simplify]: Simplify 0 into 0 13.841 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ 1 (/ 1 x))) 2)) into (* 0.047619047619047616 (pow (fabs x) 2)) 13.841 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (/ 1.0 21.0)) into (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) 13.841 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) in (x) around 0 13.841 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) in x 13.841 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 13.841 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 13.841 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 13.841 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 13.842 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 13.842 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) in x 13.842 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 13.842 * [backup-simplify]: Simplify 0.047619047619047616 into 0.047619047619047616 13.842 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 13.842 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 13.842 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 13.842 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 13.842 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) into (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) 13.842 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) into (* 0.047619047619047616 (pow (fabs (/ -1 x)) 2)) 13.842 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 13.843 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 13.843 * [backup-simplify]: Simplify 0 into 0 13.843 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 13.844 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 13.844 * [backup-simplify]: Simplify 0 into 0 13.844 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 13.845 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 13.845 * [backup-simplify]: Simplify 0 into 0 13.846 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 13.847 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 13.847 * [backup-simplify]: Simplify 0 into 0 13.848 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 13.849 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 13.849 * [backup-simplify]: Simplify 0 into 0 13.850 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 13.852 * [backup-simplify]: Simplify (+ (* 0.047619047619047616 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 13.852 * [backup-simplify]: Simplify 0 into 0 13.852 * [backup-simplify]: Simplify (* 0.047619047619047616 (pow (fabs (/ -1 (/ 1 (- x)))) 2)) into (* 0.047619047619047616 (pow (fabs x) 2)) 13.852 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 3 2 1 3 1 2) 13.852 * [backup-simplify]: Simplify (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) into (pow (fabs x) 4) 13.852 * [approximate]: Taking taylor expansion of (pow (fabs x) 4) in (x) around 0 13.852 * [taylor]: Taking taylor expansion of (pow (fabs x) 4) in x 13.852 * [taylor]: Taking taylor expansion of (fabs x) in x 13.852 * [backup-simplify]: Simplify (fabs x) into (fabs x) 13.852 * [taylor]: Taking taylor expansion of (pow (fabs x) 4) in x 13.852 * [taylor]: Taking taylor expansion of (fabs x) in x 13.852 * [backup-simplify]: Simplify (fabs x) into (fabs x) 13.852 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 13.852 * [backup-simplify]: Simplify (* (pow (fabs x) 2) (pow (fabs x) 2)) into (pow (fabs x) 4) 13.853 * [backup-simplify]: Simplify (pow (fabs x) 4) into (pow (fabs x) 4) 13.853 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 13.853 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (* 0 (pow (fabs x) 2))) into 0 13.853 * [backup-simplify]: Simplify 0 into 0 13.853 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 13.854 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 13.854 * [backup-simplify]: Simplify 0 into 0 13.854 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 13.855 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 13.855 * [backup-simplify]: Simplify 0 into 0 13.855 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 13.856 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 13.856 * [backup-simplify]: Simplify 0 into 0 13.857 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 13.858 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 13.858 * [backup-simplify]: Simplify 0 into 0 13.860 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 13.861 * [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 13.861 * [backup-simplify]: Simplify 0 into 0 13.861 * [backup-simplify]: Simplify (pow (fabs x) 4) into (pow (fabs x) 4) 13.861 * [backup-simplify]: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (* (fabs (/ 1 x)) (fabs (/ 1 x)))) into (pow (fabs (/ 1 x)) 4) 13.861 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 4) in (x) around 0 13.861 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 4) in x 13.861 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 13.861 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 13.861 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 4) in x 13.861 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 13.861 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 13.861 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 13.862 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 x)) 2) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 4) 13.862 * [backup-simplify]: Simplify (pow (fabs (/ 1 x)) 4) into (pow (fabs (/ 1 x)) 4) 13.862 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 13.862 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 13.862 * [backup-simplify]: Simplify 0 into 0 13.862 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 13.863 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 13.863 * [backup-simplify]: Simplify 0 into 0 13.863 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 13.864 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 13.864 * [backup-simplify]: Simplify 0 into 0 13.865 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 13.866 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 13.866 * [backup-simplify]: Simplify 0 into 0 13.867 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 13.868 * [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 13.868 * [backup-simplify]: Simplify 0 into 0 13.869 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 13.870 * [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 13.870 * [backup-simplify]: Simplify 0 into 0 13.870 * [backup-simplify]: Simplify (pow (fabs (/ 1 (/ 1 x))) 4) into (pow (fabs x) 4) 13.871 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x))))) into (pow (fabs (/ -1 x)) 4) 13.871 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 4) in (x) around 0 13.871 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 4) in x 13.871 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 13.871 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 13.871 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 4) in x 13.871 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 13.871 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 13.871 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 13.871 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 2) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 4) 13.871 * [backup-simplify]: Simplify (pow (fabs (/ -1 x)) 4) into (pow (fabs (/ -1 x)) 4) 13.871 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 13.872 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 13.872 * [backup-simplify]: Simplify 0 into 0 13.872 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 13.872 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 13.872 * [backup-simplify]: Simplify 0 into 0 13.873 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 13.874 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 13.874 * [backup-simplify]: Simplify 0 into 0 13.874 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 13.875 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 13.875 * [backup-simplify]: Simplify 0 into 0 13.876 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 13.877 * [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 13.877 * [backup-simplify]: Simplify 0 into 0 13.879 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 13.880 * [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 13.880 * [backup-simplify]: Simplify 0 into 0 13.880 * [backup-simplify]: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 4) into (pow (fabs x) 4) 13.880 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 3 2 1) 13.881 * [backup-simplify]: Simplify (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (/ (* 1.0 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 5.0)) into (fma (pow (fabs x) 2) 0.6666666666666666 (* 0.2 (pow (fabs x) 4))) 13.881 * [approximate]: Taking taylor expansion of (fma (pow (fabs x) 2) 0.6666666666666666 (* 0.2 (pow (fabs x) 4))) in (x) around 0 13.881 * [taylor]: Taking taylor expansion of (fma (pow (fabs x) 2) 0.6666666666666666 (* 0.2 (pow (fabs x) 4))) in x 13.881 * [taylor]: Rewrote expression to (+ (* (pow (fabs x) 2) 0.6666666666666666) (* 0.2 (pow (fabs x) 4))) 13.881 * [taylor]: Taking taylor expansion of (* (pow (fabs x) 2) 0.6666666666666666) in x 13.881 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x 13.881 * [taylor]: Taking taylor expansion of (fabs x) in x 13.881 * [backup-simplify]: Simplify (fabs x) into (fabs x) 13.881 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 13.881 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 13.881 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 4)) in x 13.881 * [taylor]: Taking taylor expansion of 0.2 in x 13.881 * [backup-simplify]: Simplify 0.2 into 0.2 13.881 * [taylor]: Taking taylor expansion of (pow (fabs x) 4) in x 13.881 * [taylor]: Taking taylor expansion of (fabs x) in x 13.881 * [backup-simplify]: Simplify (fabs x) into (fabs x) 13.881 * [taylor]: Taking taylor expansion of (fma (pow (fabs x) 2) 0.6666666666666666 (* 0.2 (pow (fabs x) 4))) in x 13.881 * [taylor]: Rewrote expression to (+ (* (pow (fabs x) 2) 0.6666666666666666) (* 0.2 (pow (fabs x) 4))) 13.881 * [taylor]: Taking taylor expansion of (* (pow (fabs x) 2) 0.6666666666666666) in x 13.881 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x 13.881 * [taylor]: Taking taylor expansion of (fabs x) in x 13.881 * [backup-simplify]: Simplify (fabs x) into (fabs x) 13.881 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 13.881 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 13.881 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 4)) in x 13.881 * [taylor]: Taking taylor expansion of 0.2 in x 13.881 * [backup-simplify]: Simplify 0.2 into 0.2 13.881 * [taylor]: Taking taylor expansion of (pow (fabs x) 4) in x 13.881 * [taylor]: Taking taylor expansion of (fabs x) in x 13.881 * [backup-simplify]: Simplify (fabs x) into (fabs x) 13.882 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 13.882 * [backup-simplify]: Simplify (* (pow (fabs x) 2) 0.6666666666666666) into (* 0.6666666666666666 (pow (fabs x) 2)) 13.882 * [backup-simplify]: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 13.882 * [backup-simplify]: Simplify (* (pow (fabs x) 2) (pow (fabs x) 2)) into (pow (fabs x) 4) 13.882 * [backup-simplify]: Simplify (* 0.2 (pow (fabs x) 4)) into (* 0.2 (pow (fabs x) 4)) 13.886 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 (pow (fabs x) 2)) (* 0.2 (pow (fabs x) 4))) into (+ (* 0.2 (pow (fabs x) 4)) (* 0.6666666666666666 (pow (fabs x) 2))) 13.887 * [backup-simplify]: Simplify (+ (* 0.2 (pow (fabs x) 4)) (* 0.6666666666666666 (pow (fabs x) 2))) into (+ (* 0.2 (pow (fabs x) 4)) (* 0.6666666666666666 (pow (fabs x) 2))) 13.887 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 13.887 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (* 0 0.6666666666666666)) into 0 13.887 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 13.887 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (* 0 (pow (fabs x) 2))) into 0 13.888 * [backup-simplify]: Simplify (+ (* 0.2 0) (* 0 (pow (fabs x) 4))) into 0 13.888 * [backup-simplify]: Simplify (+ 0 0) into 0 13.888 * [backup-simplify]: Simplify 0 into 0 13.888 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 13.889 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (* 0 0.6666666666666666))) into 0 13.889 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 13.890 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 13.890 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))) into 0 13.890 * [backup-simplify]: Simplify (+ 0 0) into 0 13.890 * [backup-simplify]: Simplify 0 into 0 13.891 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 13.892 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.6666666666666666)))) into 0 13.892 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 13.893 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 13.894 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4))))) into 0 13.894 * [backup-simplify]: Simplify (+ 0 0) into 0 13.894 * [backup-simplify]: Simplify 0 into 0 13.894 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 13.895 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.6666666666666666))))) into 0 13.896 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 13.897 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 13.898 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))))) into 0 13.898 * [backup-simplify]: Simplify (+ 0 0) into 0 13.898 * [backup-simplify]: Simplify 0 into 0 13.899 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 13.900 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.6666666666666666)))))) into 0 13.901 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 13.903 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 13.905 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4))))))) into 0 13.905 * [backup-simplify]: Simplify (+ 0 0) into 0 13.905 * [backup-simplify]: Simplify 0 into 0 13.907 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 13.908 * [backup-simplify]: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.6666666666666666))))))) into 0 13.910 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 13.913 * [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 13.915 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))))))) into 0 13.916 * [backup-simplify]: Simplify (+ 0 0) into 0 13.916 * [backup-simplify]: Simplify 0 into 0 13.916 * [backup-simplify]: Simplify (+ (* 0.2 (pow (fabs x) 4)) (* 0.6666666666666666 (pow (fabs x) 2))) into (+ (* 0.2 (pow (fabs x) 4)) (* 0.6666666666666666 (pow (fabs x) 2))) 13.917 * [backup-simplify]: Simplify (fma (* (fabs (/ 1 x)) (fabs (/ 1 x))) (/ 2.0 3.0) (/ (* 1.0 (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (* (fabs (/ 1 x)) (fabs (/ 1 x))))) 5.0)) into (fma (pow (fabs (/ 1 x)) 2) 0.6666666666666666 (* 0.2 (pow (fabs (/ 1 x)) 4))) 13.917 * [approximate]: Taking taylor expansion of (fma (pow (fabs (/ 1 x)) 2) 0.6666666666666666 (* 0.2 (pow (fabs (/ 1 x)) 4))) in (x) around 0 13.917 * [taylor]: Taking taylor expansion of (fma (pow (fabs (/ 1 x)) 2) 0.6666666666666666 (* 0.2 (pow (fabs (/ 1 x)) 4))) in x 13.917 * [taylor]: Rewrote expression to (+ (* (pow (fabs (/ 1 x)) 2) 0.6666666666666666) (* 0.2 (pow (fabs (/ 1 x)) 4))) 13.918 * [taylor]: Taking taylor expansion of (* (pow (fabs (/ 1 x)) 2) 0.6666666666666666) in x 13.918 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 13.918 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 13.918 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 13.918 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 13.918 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 13.918 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 4)) in x 13.918 * [taylor]: Taking taylor expansion of 0.2 in x 13.918 * [backup-simplify]: Simplify 0.2 into 0.2 13.918 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 4) in x 13.918 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 13.918 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 13.918 * [taylor]: Taking taylor expansion of (fma (pow (fabs (/ 1 x)) 2) 0.6666666666666666 (* 0.2 (pow (fabs (/ 1 x)) 4))) in x 13.918 * [taylor]: Rewrote expression to (+ (* (pow (fabs (/ 1 x)) 2) 0.6666666666666666) (* 0.2 (pow (fabs (/ 1 x)) 4))) 13.918 * [taylor]: Taking taylor expansion of (* (pow (fabs (/ 1 x)) 2) 0.6666666666666666) in x 13.918 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 13.918 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 13.918 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 13.918 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 13.918 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 13.918 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 4)) in x 13.918 * [taylor]: Taking taylor expansion of 0.2 in x 13.918 * [backup-simplify]: Simplify 0.2 into 0.2 13.918 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 4) in x 13.918 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 13.918 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 13.919 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 13.919 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 x)) 2) 0.6666666666666666) into (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) 13.919 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 13.919 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 x)) 2) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 4) 13.919 * [backup-simplify]: Simplify (* 0.2 (pow (fabs (/ 1 x)) 4)) into (* 0.2 (pow (fabs (/ 1 x)) 4)) 13.920 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) (* 0.2 (pow (fabs (/ 1 x)) 4))) into (+ (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) (* 0.2 (pow (fabs (/ 1 x)) 4))) 13.920 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) (* 0.2 (pow (fabs (/ 1 x)) 4))) into (+ (* 0.6666666666666666 (pow (fabs (/ 1 x)) 2)) (* 0.2 (pow (fabs (/ 1 x)) 4))) 13.920 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 13.921 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (* 0 0.6666666666666666)) into 0 13.921 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 13.922 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 13.922 * [backup-simplify]: Simplify (+ (* 0.2 0) (* 0 (pow (fabs (/ 1 x)) 4))) into 0 13.922 * [backup-simplify]: Simplify (+ 0 0) into 0 13.923 * [backup-simplify]: Simplify 0 into 0 13.923 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 13.924 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (* 0 0.6666666666666666))) into 0 13.924 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 13.925 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 13.926 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))) into 0 13.926 * [backup-simplify]: Simplify (+ 0 0) into 0 13.926 * [backup-simplify]: Simplify 0 into 0 13.927 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 13.928 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.6666666666666666)))) into 0 13.929 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 13.930 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 13.931 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4))))) into 0 13.932 * [backup-simplify]: Simplify (+ 0 0) into 0 13.932 * [backup-simplify]: Simplify 0 into 0 13.934 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 13.935 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.6666666666666666))))) into 0 13.936 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 13.938 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 13.940 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))))) into 0 13.940 * [backup-simplify]: Simplify (+ 0 0) into 0 13.940 * [backup-simplify]: Simplify 0 into 0 13.942 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 13.944 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.6666666666666666)))))) into 0 13.945 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 13.946 * [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 13.947 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4))))))) into 0 13.947 * [backup-simplify]: Simplify (+ 0 0) into 0 13.947 * [backup-simplify]: Simplify 0 into 0 13.949 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 13.950 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.6666666666666666))))))) into 0 13.951 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 13.952 * [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 13.953 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))))))) into 0 13.954 * [backup-simplify]: Simplify (+ 0 0) into 0 13.954 * [backup-simplify]: Simplify 0 into 0 13.954 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 (pow (fabs (/ 1 (/ 1 x))) 2)) (* 0.2 (pow (fabs (/ 1 (/ 1 x))) 4))) into (+ (* 0.2 (pow (fabs x) 4)) (* 0.6666666666666666 (pow (fabs x) 2))) 13.955 * [backup-simplify]: Simplify (fma (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (/ 2.0 3.0) (/ (* 1.0 (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))))) 5.0)) into (fma (pow (fabs (/ -1 x)) 2) 0.6666666666666666 (* 0.2 (pow (fabs (/ -1 x)) 4))) 13.955 * [approximate]: Taking taylor expansion of (fma (pow (fabs (/ -1 x)) 2) 0.6666666666666666 (* 0.2 (pow (fabs (/ -1 x)) 4))) in (x) around 0 13.955 * [taylor]: Taking taylor expansion of (fma (pow (fabs (/ -1 x)) 2) 0.6666666666666666 (* 0.2 (pow (fabs (/ -1 x)) 4))) in x 13.955 * [taylor]: Rewrote expression to (+ (* (pow (fabs (/ -1 x)) 2) 0.6666666666666666) (* 0.2 (pow (fabs (/ -1 x)) 4))) 13.955 * [taylor]: Taking taylor expansion of (* (pow (fabs (/ -1 x)) 2) 0.6666666666666666) in x 13.955 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 13.955 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 13.955 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 13.955 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 13.955 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 13.955 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 4)) in x 13.955 * [taylor]: Taking taylor expansion of 0.2 in x 13.955 * [backup-simplify]: Simplify 0.2 into 0.2 13.955 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 4) in x 13.955 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 13.955 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 13.955 * [taylor]: Taking taylor expansion of (fma (pow (fabs (/ -1 x)) 2) 0.6666666666666666 (* 0.2 (pow (fabs (/ -1 x)) 4))) in x 13.955 * [taylor]: Rewrote expression to (+ (* (pow (fabs (/ -1 x)) 2) 0.6666666666666666) (* 0.2 (pow (fabs (/ -1 x)) 4))) 13.955 * [taylor]: Taking taylor expansion of (* (pow (fabs (/ -1 x)) 2) 0.6666666666666666) in x 13.955 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 13.955 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 13.955 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 13.955 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 13.955 * [backup-simplify]: Simplify 0.6666666666666666 into 0.6666666666666666 13.955 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 4)) in x 13.955 * [taylor]: Taking taylor expansion of 0.2 in x 13.955 * [backup-simplify]: Simplify 0.2 into 0.2 13.955 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 4) in x 13.955 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 13.955 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 13.956 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 13.956 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 2) 0.6666666666666666) into (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2)) 13.956 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 13.956 * [backup-simplify]: Simplify (* (pow (fabs (/ -1 x)) 2) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 4) 13.956 * [backup-simplify]: Simplify (* 0.2 (pow (fabs (/ -1 x)) 4)) into (* 0.2 (pow (fabs (/ -1 x)) 4)) 13.956 * [backup-simplify]: Simplify (+ (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2)) (* 0.2 (pow (fabs (/ -1 x)) 4))) into (+ (* 0.2 (pow (fabs (/ -1 x)) 4)) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2))) 13.957 * [backup-simplify]: Simplify (+ (* 0.2 (pow (fabs (/ -1 x)) 4)) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2))) into (+ (* 0.2 (pow (fabs (/ -1 x)) 4)) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 2))) 13.957 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 13.957 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (* 0 0.6666666666666666)) into 0 13.957 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 13.957 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 13.958 * [backup-simplify]: Simplify (+ (* 0.2 0) (* 0 (pow (fabs (/ -1 x)) 4))) into 0 13.958 * [backup-simplify]: Simplify (+ 0 0) into 0 13.958 * [backup-simplify]: Simplify 0 into 0 13.958 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 13.959 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (* 0 0.6666666666666666))) into 0 13.959 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 13.960 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 13.960 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))) into 0 13.960 * [backup-simplify]: Simplify (+ 0 0) into 0 13.960 * [backup-simplify]: Simplify 0 into 0 13.961 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 13.962 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.6666666666666666)))) into 0 13.962 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 13.963 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 13.964 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4))))) into 0 13.964 * [backup-simplify]: Simplify (+ 0 0) into 0 13.964 * [backup-simplify]: Simplify 0 into 0 13.965 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 13.965 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.6666666666666666))))) into 0 13.966 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 13.967 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 13.968 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))))) into 0 13.968 * [backup-simplify]: Simplify (+ 0 0) into 0 13.968 * [backup-simplify]: Simplify 0 into 0 13.969 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 13.970 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.6666666666666666)))))) into 0 13.971 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 13.972 * [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 13.974 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4))))))) into 0 13.974 * [backup-simplify]: Simplify (+ 0 0) into 0 13.974 * [backup-simplify]: Simplify 0 into 0 13.975 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 13.976 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.6666666666666666))))))) into 0 13.978 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 13.980 * [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 13.983 * [backup-simplify]: Simplify (+ (* 0.2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))))))) into 0 13.983 * [backup-simplify]: Simplify (+ 0 0) into 0 13.983 * [backup-simplify]: Simplify 0 into 0 13.984 * [backup-simplify]: Simplify (+ (* 0.2 (pow (fabs (/ -1 (/ 1 (- x)))) 4)) (* 0.6666666666666666 (pow (fabs (/ -1 (/ 1 (- x)))) 2))) into (+ (* 0.2 (pow (fabs x) 4)) (* 0.6666666666666666 (pow (fabs x) 2))) 13.984 * * * [progress]: simplifying candidates 13.987 * [simplify]: Simplifying: (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (* (* (fabs x) (fabs x)) (/ 1.0 21.0))) (log1p (* (* (fabs x) (fabs x)) (/ 1.0 21.0))) (* (* (fabs x) (fabs x)) (/ 1.0 21.0)) (* (* (fabs x) (fabs x)) (/ 1.0 21.0)) (+ (+ (log (fabs x)) (log (fabs x))) (- (log 1.0) (log 21.0))) (+ (+ (log (fabs x)) (log (fabs x))) (log (/ 1.0 21.0))) (+ (log (* (fabs x) (fabs x))) (- (log 1.0) (log 21.0))) (+ (log (* (fabs x) (fabs x))) (log (/ 1.0 21.0))) (log (* (* (fabs x) (fabs x)) (/ 1.0 21.0))) (exp (* (* (fabs x) (fabs x)) (/ 1.0 21.0))) (* (* (* (* (fabs x) (fabs x)) (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))) (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0))) (* (* (* (* (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))) (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0))) (* (cbrt (* (* (fabs x) (fabs x)) (/ 1.0 21.0))) (cbrt (* (* (fabs x) (fabs x)) (/ 1.0 21.0)))) (cbrt (* (* (fabs x) (fabs x)) (/ 1.0 21.0))) (* (* (* (* (fabs x) (fabs x)) (/ 1.0 21.0)) (* (* (fabs x) (fabs x)) (/ 1.0 21.0))) (* (* (fabs x) (fabs x)) (/ 1.0 21.0))) (sqrt (* (* (fabs x) (fabs x)) (/ 1.0 21.0))) (sqrt (* (* (fabs x) (fabs x)) (/ 1.0 21.0))) (* (fabs x) (sqrt (/ 1.0 21.0))) (* (fabs x) (sqrt (/ 1.0 21.0))) (* (fabs x) (/ (sqrt 1.0) (sqrt 21.0))) (* (fabs x) (/ (sqrt 1.0) (sqrt 21.0))) (* (* (fabs x) (fabs x)) (* (cbrt (/ 1.0 21.0)) (cbrt (/ 1.0 21.0)))) (* (* (fabs x) (fabs x)) (sqrt (/ 1.0 21.0))) (* (* (fabs x) (fabs x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 21.0) (cbrt 21.0)))) (* (* (fabs x) (fabs x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 21.0))) (* (* (fabs x) (fabs x)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1)) (* (* (fabs x) (fabs x)) (/ (sqrt 1.0) (* (cbrt 21.0) (cbrt 21.0)))) (* (* (fabs x) (fabs x)) (/ (sqrt 1.0) (sqrt 21.0))) (* (* (fabs x) (fabs x)) (/ (sqrt 1.0) 1)) (* (* (fabs x) (fabs x)) (/ 1 (* (cbrt 21.0) (cbrt 21.0)))) (* (* (fabs x) (fabs x)) (/ 1 (sqrt 21.0))) (* (* (fabs x) (fabs x)) (/ 1 1)) (* (* (fabs x) (fabs x)) 1) (* (* (fabs x) (fabs x)) 1.0) (* (fabs x) (/ 1.0 21.0)) (* (* (fabs x) (fabs x)) 1.0) (expm1 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (log1p (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 2) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) (* 2 1)) (+ 1 1) (+ 1 1) (+ 2 (+ 1 1)) (+ 2 2) (+ 2 (+ 1 1)) (+ 2 (* 2 1)) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 2) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) (* 2 1)) (+ 1 1) (+ 1 1) (+ (* 2 1) (+ 1 1)) (+ (* 2 1) 2) (+ (* 2 1) (+ 1 1)) (+ (* 2 1) (* 2 1)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (+ 1 1) (+ 1 1) (+ (+ (log (fabs x)) (log (fabs x))) (+ (log (fabs x)) (log (fabs x)))) (+ (+ (log (fabs x)) (log (fabs x))) (log (* (fabs x) (fabs x)))) (+ (log (* (fabs x) (fabs x))) (+ (log (fabs x)) (log (fabs x)))) (+ (log (* (fabs x) (fabs x))) (log (* (fabs x) (fabs x)))) (log (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (exp (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))) (* (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* 2 (+ 1 1)) (* 2 (+ 1 1)) (* 2 1) (* 2 1) (* 2 2) (* 2 (+ 1 1)) (* 2 (+ 1 1)) (* 2 1) (* 2 1) (* 2 (* 2 1)) (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (* (fabs x) (fabs x))) (expm1 (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (/ (* 1.0 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 5.0))) (log1p (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (/ (* 1.0 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 5.0))) (* (* (fabs x) (fabs x)) (/ 2.0 3.0)) (log (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (/ (* 1.0 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 5.0))) (exp (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (/ (* 1.0 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 5.0))) (* (cbrt (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (/ (* 1.0 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 5.0))) (cbrt (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (/ (* 1.0 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 5.0)))) (cbrt (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (/ (* 1.0 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 5.0))) (* (* (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (/ (* 1.0 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 5.0)) (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (/ (* 1.0 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 5.0))) (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (/ (* 1.0 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 5.0))) (sqrt (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (/ (* 1.0 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 5.0))) (sqrt (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (/ (* 1.0 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 5.0))) (fabs (* (fma (* (pow (fabs x) 4) (fabs x)) (* (* (fabs x) (fabs x)) (/ 1.0 21.0)) (* (fabs x) (+ (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (/ (* 1.0 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 5.0)) 2.0))) (/ 1.0 (sqrt PI)))) (* 0.047619047619047616 (pow (fabs x) 2)) (* 0.047619047619047616 (pow (fabs x) 2)) (* 0.047619047619047616 (pow (fabs x) 2)) (pow (fabs x) 4) (pow (fabs x) 4) (pow (fabs x) 4) (+ (* 0.2 (pow (fabs x) 4)) (* 0.6666666666666666 (pow (fabs x) 2))) (+ (* 0.2 (pow (fabs x) 4)) (* 0.6666666666666666 (pow (fabs x) 2))) (+ (* 0.2 (pow (fabs x) 4)) (* 0.6666666666666666 (pow (fabs x) 2))) 13.991 * * [simplify]: iteration 0: 161 enodes 14.047 * * [simplify]: iteration 1: 452 enodes 14.474 * * [simplify]: iteration 2: 3320 enodes 17.131 * * [simplify]: iteration complete: 5000 enodes 17.132 * * [simplify]: Extracting #0: cost 62 inf + 0 17.133 * * [simplify]: Extracting #1: cost 1010 inf + 4 17.138 * * [simplify]: Extracting #2: cost 1528 inf + 1380 17.144 * * [simplify]: Extracting #3: cost 1511 inf + 10482 17.168 * * [simplify]: Extracting #4: cost 1166 inf + 85979 17.223 * * [simplify]: Extracting #5: cost 213 inf + 292611 17.311 * * [simplify]: Extracting #6: cost 7 inf + 318554 17.392 * * [simplify]: Extracting #7: cost 0 inf + 322059 17.476 * [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 21.0) (fabs x)) (fabs x))) (log1p (* (* (/ 1.0 21.0) (fabs x)) (fabs x))) (* (* (/ 1.0 21.0) (fabs x)) (fabs x)) (* (* (/ 1.0 21.0) (fabs x)) (fabs x)) (log (* (* (/ 1.0 21.0) (fabs x)) (fabs x))) (log (* (* (/ 1.0 21.0) (fabs x)) (fabs x))) (log (* (* (/ 1.0 21.0) (fabs x)) (fabs x))) (log (* (* (/ 1.0 21.0) (fabs x)) (fabs x))) (log (* (* (/ 1.0 21.0) (fabs x)) (fabs x))) (exp (* (* (/ 1.0 21.0) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (/ 1.0 21.0)) (* (* (* (fabs x) (fabs x)) (fabs x)) (/ 1.0 21.0)))) (* (/ 1.0 21.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (/ 1.0 21.0)) (* (* (* (fabs x) (fabs x)) (fabs x)) (/ 1.0 21.0)))) (* (/ 1.0 21.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (/ 1.0 21.0)) (* (* (* (fabs x) (fabs x)) (fabs x)) (/ 1.0 21.0)))) (* (/ 1.0 21.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (/ 1.0 21.0)) (* (* (* (fabs x) (fabs x)) (fabs x)) (/ 1.0 21.0)))) (* (cbrt (* (* (/ 1.0 21.0) (fabs x)) (fabs x))) (cbrt (* (* (/ 1.0 21.0) (fabs x)) (fabs x)))) (cbrt (* (* (/ 1.0 21.0) (fabs x)) (fabs x))) (* (* (* (* (/ 1.0 21.0) (fabs x)) (fabs x)) (* (* (/ 1.0 21.0) (fabs x)) (fabs x))) (* (* (/ 1.0 21.0) (fabs x)) (fabs x))) (sqrt (* (* (/ 1.0 21.0) (fabs x)) (fabs x))) (sqrt (* (* (/ 1.0 21.0) (fabs x)) (fabs x))) (* (fabs x) (sqrt (/ 1.0 21.0))) (* (fabs x) (sqrt (/ 1.0 21.0))) (* (fabs x) (/ (sqrt 1.0) (sqrt 21.0))) (* (fabs x) (/ (sqrt 1.0) (sqrt 21.0))) (* (* (fabs x) (cbrt (/ 1.0 21.0))) (* (fabs x) (cbrt (/ 1.0 21.0)))) (* (fabs x) (* (fabs x) (sqrt (/ 1.0 21.0)))) (* (* (/ (cbrt 1.0) (cbrt 21.0)) (fabs x)) (* (/ (cbrt 1.0) (cbrt 21.0)) (fabs x))) (/ (* (* (fabs x) (cbrt 1.0)) (* (fabs x) (cbrt 1.0))) (sqrt 21.0)) (* (* (fabs x) (cbrt 1.0)) (* (fabs x) (cbrt 1.0))) (/ (/ (* (fabs x) (* (fabs x) (sqrt 1.0))) (cbrt 21.0)) (cbrt 21.0)) (* (* (/ (sqrt 1.0) (sqrt 21.0)) (fabs x)) (fabs x)) (* (fabs x) (* (fabs x) (sqrt 1.0))) (/ (* (fabs x) (fabs x)) (* (cbrt 21.0) (cbrt 21.0))) (/ (* (fabs x) (fabs x)) (sqrt 21.0)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (* (fabs x) 1.0)) (* (/ 1.0 21.0) (fabs x)) (* (fabs x) (* (fabs x) 1.0)) (expm1 (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (log1p (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) 4 4 4 4 2 2 4 4 4 4 4 4 4 4 2 2 4 4 4 4 (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) 2 2 (* 4 (log (fabs x))) (* 4 (log (fabs x))) (* 4 (log (fabs x))) (* 4 (log (fabs x))) (* 4 (log (fabs x))) (exp (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))) (* (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (cbrt (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))) (fabs (* (fabs x) (fabs x))) (fabs (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) 4 4 2 2 4 4 4 2 2 4 (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (expm1 (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))))) (log1p (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))))) (* (* (/ 2.0 3.0) (fabs x)) (fabs x)) (log (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))))) (exp (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))))) (* (cbrt (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))))) (cbrt (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))))) (cbrt (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))))) (* (* (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))) (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))))) (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))))) (sqrt (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))))) (sqrt (fma (* (fabs x) (fabs x)) (/ 2.0 3.0) (* (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))))) (fabs (/ (fma (fabs x) (fma (/ 2.0 3.0) (* (fabs x) (fabs x)) (fma (/ 1.0 5.0) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) 2.0)) (* (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (/ 1.0 21.0)) (* (fabs x) (fabs x)))) (/ (sqrt PI) 1.0))) (* (* (fabs x) (fabs x)) 0.047619047619047616) (* (* (fabs x) (fabs x)) 0.047619047619047616) (* (* (fabs x) (fabs x)) 0.047619047619047616) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (fma (* 0.2 (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) 0.6666666666666666)) (fma (* 0.2 (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) 0.6666666666666666)) (fma (* 0.2 (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) 0.6666666666666666)) 17.508 * * * [progress]: adding candidates to table 18.287 * [progress]: [Phase 3 of 3] Extracting. 18.288 * * [regime]: Finding splitpoints for: (# # # # #) 18.295 * * * [regime-changes]: Trying 2 branch expressions: ((fabs x) x) 18.295 * * * * [regimes]: Trying to branch on (fabs x) from (# # # # #) 18.385 * * * * [regimes]: Trying to branch on x from (# # # # #) 18.475 * * * [regime]: Found split indices: #