50.406 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.029 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying: (- 1.0 (* x (+ 0.253 (* x 0.12)))) 0.030 * * [simplify]: Extracting # 0 : cost 0 0.030 * * [simplify]: Extracting # 1 : cost 0 0.030 * * [simplify]: Extracting # 2 : cost 0 0.030 * * [simplify]: Extracting # 3 : cost 0 0.030 * * [simplify]: Extracting # 4 : cost 0 0.030 * * [simplify]: Extracting # 5 : cost 0 0.030 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.031 * * [simplify]: Extracting # 0 : cost 0 0.031 * * [simplify]: Extracting # 1 : cost 0 0.031 * * [simplify]: Extracting # 2 : cost 0 0.031 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 0.035 * * [simplify]: Extracting # 0 : cost 0 0.035 * * [simplify]: Extracting # 1 : cost 0 0.035 * * [simplify]: Extracting # 2 : cost 0 0.035 * * [simplify]: iteration 2 : 42 enodes (cost 9 ) 0.042 * * [simplify]: Extracting # 0 : cost 0 0.042 * * [simplify]: Extracting # 1 : cost 0 0.042 * * [simplify]: Extracting # 2 : cost 0 0.042 * * [simplify]: iteration 3 : 79 enodes (cost 9 ) 0.065 * * [simplify]: Extracting # 0 : cost 0 0.065 * * [simplify]: Extracting # 1 : cost 0 0.065 * * [simplify]: Extracting # 2 : cost 0 0.066 * * [simplify]: iteration 4 : 108 enodes (cost 9 ) 0.104 * * [simplify]: Extracting # 0 : cost 0 0.105 * * [simplify]: Extracting # 1 : cost 0 0.105 * * [simplify]: Extracting # 2 : cost 0 0.105 * * [simplify]: iteration 5 : 123 enodes (cost 9 ) 0.130 * * [simplify]: Extracting # 0 : cost 0 0.130 * * [simplify]: Extracting # 1 : cost 0 0.130 * * [simplify]: Extracting # 2 : cost 0 0.130 * * [simplify]: Extracting # 3 : cost 0 0.130 * * [simplify]: Extracting # 4 : cost 0 0.131 * * [simplify]: iteration 6 : 170 enodes (cost 9 ) 0.202 * * [simplify]: Extracting # 0 : cost 0 0.203 * * [simplify]: Extracting # 1 : cost 0 0.203 * * [simplify]: Extracting # 2 : cost 0 0.204 * * [simplify]: iteration 7 : 734 enodes (cost 9 ) 0.980 * * [simplify]: Extracting # 0 : cost 0 0.997 * * [simplify]: Extracting # 1 : cost 0 1.003 * * [simplify]: Extracting # 2 : cost 0 1.019 * * [simplify]: iteration 8 : 4952 enodes (cost 9 ) 12.459 * * [simplify]: Extracting # 0 : cost 0 12.579 * * [simplify]: Extracting # 1 : cost 0 12.583 * * [simplify]: Extracting # 2 : cost 0 12.587 * * [simplify]: iteration done: 5000 enodes (cost 9 ) 12.587 * [simplify]: Simplified to: (- 1.0 (* x (+ (* x 0.12) 0.253))) 12.589 * * [progress]: iteration 1 / 4 12.590 * * * [progress]: picking best candidate 12.591 * * * * [pick]: Picked # 12.591 * * * [progress]: localizing error 12.597 * * * [progress]: generating rewritten candidates 12.597 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 12.644 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 12.654 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 12.677 * * * [progress]: generating series expansions 12.677 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 12.678 * [backup-simplify]: Simplify (* x (+ (* x 0.12) 0.253)) into (* (+ (* 0.12 x) 0.253) x) 12.678 * [approximate]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in (x) around 0 12.678 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 12.678 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 12.678 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 12.678 * [taylor]: Taking taylor expansion of 0.12 in x 12.678 * [backup-simplify]: Simplify 0.12 into 0.12 12.678 * [taylor]: Taking taylor expansion of x in x 12.678 * [backup-simplify]: Simplify 0 into 0 12.678 * [backup-simplify]: Simplify 1 into 1 12.678 * [taylor]: Taking taylor expansion of 0.253 in x 12.678 * [backup-simplify]: Simplify 0.253 into 0.253 12.678 * [taylor]: Taking taylor expansion of x in x 12.678 * [backup-simplify]: Simplify 0 into 0 12.678 * [backup-simplify]: Simplify 1 into 1 12.678 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 12.678 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 12.678 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 12.678 * [taylor]: Taking taylor expansion of 0.12 in x 12.678 * [backup-simplify]: Simplify 0.12 into 0.12 12.678 * [taylor]: Taking taylor expansion of x in x 12.678 * [backup-simplify]: Simplify 0 into 0 12.678 * [backup-simplify]: Simplify 1 into 1 12.678 * [taylor]: Taking taylor expansion of 0.253 in x 12.678 * [backup-simplify]: Simplify 0.253 into 0.253 12.678 * [taylor]: Taking taylor expansion of x in x 12.678 * [backup-simplify]: Simplify 0 into 0 12.678 * [backup-simplify]: Simplify 1 into 1 12.679 * [backup-simplify]: Simplify (* 0.12 0) into 0 12.680 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 12.680 * [backup-simplify]: Simplify (* 0.253 0) into 0 12.680 * [backup-simplify]: Simplify 0 into 0 12.682 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12 12.682 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 12.684 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0.12 0)) into 0.253 12.684 * [backup-simplify]: Simplify 0.253 into 0.253 12.685 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0 12.686 * [backup-simplify]: Simplify (+ 0 0) into 0 12.688 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 1) (* 0 0))) into 0.12 12.688 * [backup-simplify]: Simplify 0.12 into 0.12 12.689 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 12.689 * [backup-simplify]: Simplify (+ 0 0) into 0 12.690 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 1) (* 0 0)))) into 0 12.690 * [backup-simplify]: Simplify 0 into 0 12.690 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 12.691 * [backup-simplify]: Simplify (+ 0 0) into 0 12.692 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 12.692 * [backup-simplify]: Simplify 0 into 0 12.692 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 12.693 * [backup-simplify]: Simplify (+ 0 0) into 0 12.694 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 12.694 * [backup-simplify]: Simplify 0 into 0 12.695 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 12.695 * [backup-simplify]: Simplify (+ 0 0) into 0 12.696 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 12.696 * [backup-simplify]: Simplify 0 into 0 12.697 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 12.697 * [backup-simplify]: Simplify (+ 0 0) into 0 12.699 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 12.699 * [backup-simplify]: Simplify 0 into 0 12.700 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 12.700 * [backup-simplify]: Simplify (+ 0 0) into 0 12.701 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 12.701 * [backup-simplify]: Simplify 0 into 0 12.702 * [backup-simplify]: Simplify (+ (* 0.12 (pow x 2)) (* 0.253 x)) into (+ (* 0.12 (pow x 2)) (* 0.253 x)) 12.702 * [backup-simplify]: Simplify (* (/ 1 x) (+ (* (/ 1 x) 0.12) 0.253)) into (/ (+ 0.253 (* 0.12 (/ 1 x))) x) 12.702 * [approximate]: Taking taylor expansion of (/ (+ 0.253 (* 0.12 (/ 1 x))) x) in (x) around 0 12.702 * [taylor]: Taking taylor expansion of (/ (+ 0.253 (* 0.12 (/ 1 x))) x) in x 12.702 * [taylor]: Taking taylor expansion of (+ 0.253 (* 0.12 (/ 1 x))) in x 12.702 * [taylor]: Taking taylor expansion of 0.253 in x 12.702 * [backup-simplify]: Simplify 0.253 into 0.253 12.702 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 12.702 * [taylor]: Taking taylor expansion of 0.12 in x 12.702 * [backup-simplify]: Simplify 0.12 into 0.12 12.702 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.702 * [taylor]: Taking taylor expansion of x in x 12.702 * [backup-simplify]: Simplify 0 into 0 12.702 * [backup-simplify]: Simplify 1 into 1 12.702 * [backup-simplify]: Simplify (/ 1 1) into 1 12.702 * [taylor]: Taking taylor expansion of x in x 12.702 * [backup-simplify]: Simplify 0 into 0 12.702 * [backup-simplify]: Simplify 1 into 1 12.703 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 12.703 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12 12.703 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 12.703 * [taylor]: Taking taylor expansion of (/ (+ 0.253 (* 0.12 (/ 1 x))) x) in x 12.703 * [taylor]: Taking taylor expansion of (+ 0.253 (* 0.12 (/ 1 x))) in x 12.703 * [taylor]: Taking taylor expansion of 0.253 in x 12.703 * [backup-simplify]: Simplify 0.253 into 0.253 12.703 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 12.703 * [taylor]: Taking taylor expansion of 0.12 in x 12.703 * [backup-simplify]: Simplify 0.12 into 0.12 12.703 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.703 * [taylor]: Taking taylor expansion of x in x 12.703 * [backup-simplify]: Simplify 0 into 0 12.703 * [backup-simplify]: Simplify 1 into 1 12.704 * [backup-simplify]: Simplify (/ 1 1) into 1 12.704 * [taylor]: Taking taylor expansion of x in x 12.704 * [backup-simplify]: Simplify 0 into 0 12.704 * [backup-simplify]: Simplify 1 into 1 12.704 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 12.704 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12 12.705 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 12.705 * [backup-simplify]: Simplify 0.12 into 0.12 12.705 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.706 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 12.706 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 12.707 * [backup-simplify]: Simplify (- (/ 0.253 1) (+ (* 0.12 (/ 0 1)))) into 0.253 12.707 * [backup-simplify]: Simplify 0.253 into 0.253 12.708 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.708 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 12.709 * [backup-simplify]: Simplify (+ 0 0) into 0 12.709 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)))) into 0 12.709 * [backup-simplify]: Simplify 0 into 0 12.710 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.710 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.711 * [backup-simplify]: Simplify (+ 0 0) into 0 12.711 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.711 * [backup-simplify]: Simplify 0 into 0 12.712 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.713 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.713 * [backup-simplify]: Simplify (+ 0 0) into 0 12.714 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.714 * [backup-simplify]: Simplify 0 into 0 12.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.715 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.715 * [backup-simplify]: Simplify (+ 0 0) into 0 12.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.716 * [backup-simplify]: Simplify 0 into 0 12.717 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.717 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.718 * [backup-simplify]: Simplify (+ 0 0) into 0 12.718 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.718 * [backup-simplify]: Simplify 0 into 0 12.719 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.720 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 12.720 * [backup-simplify]: Simplify (+ 0 0) into 0 12.721 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.721 * [backup-simplify]: Simplify 0 into 0 12.721 * [backup-simplify]: Simplify (+ (* 0.253 (/ 1 (/ 1 x))) (* 0.12 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 0.12 (pow x 2)) (* 0.253 x)) 12.721 * [backup-simplify]: Simplify (* (/ 1 (- x)) (+ (* (/ 1 (- x)) 0.12) 0.253)) into (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) 12.722 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in (x) around 0 12.722 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 12.722 * [taylor]: Taking taylor expansion of -1 in x 12.722 * [backup-simplify]: Simplify -1 into -1 12.722 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 12.722 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 12.722 * [taylor]: Taking taylor expansion of 0.253 in x 12.722 * [backup-simplify]: Simplify 0.253 into 0.253 12.722 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 12.722 * [taylor]: Taking taylor expansion of 0.12 in x 12.722 * [backup-simplify]: Simplify 0.12 into 0.12 12.722 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.722 * [taylor]: Taking taylor expansion of x in x 12.722 * [backup-simplify]: Simplify 0 into 0 12.722 * [backup-simplify]: Simplify 1 into 1 12.722 * [backup-simplify]: Simplify (/ 1 1) into 1 12.722 * [taylor]: Taking taylor expansion of x in x 12.722 * [backup-simplify]: Simplify 0 into 0 12.722 * [backup-simplify]: Simplify 1 into 1 12.722 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 12.723 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 12.723 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 12.724 * [backup-simplify]: Simplify (/ (- 0.12) 1) into -0.12 12.724 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 12.724 * [taylor]: Taking taylor expansion of -1 in x 12.724 * [backup-simplify]: Simplify -1 into -1 12.724 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 12.724 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 12.724 * [taylor]: Taking taylor expansion of 0.253 in x 12.724 * [backup-simplify]: Simplify 0.253 into 0.253 12.724 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 12.724 * [taylor]: Taking taylor expansion of 0.12 in x 12.724 * [backup-simplify]: Simplify 0.12 into 0.12 12.724 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.724 * [taylor]: Taking taylor expansion of x in x 12.724 * [backup-simplify]: Simplify 0 into 0 12.724 * [backup-simplify]: Simplify 1 into 1 12.724 * [backup-simplify]: Simplify (/ 1 1) into 1 12.724 * [taylor]: Taking taylor expansion of x in x 12.724 * [backup-simplify]: Simplify 0 into 0 12.724 * [backup-simplify]: Simplify 1 into 1 12.725 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 12.725 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 12.725 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 12.726 * [backup-simplify]: Simplify (/ (- 0.12) 1) into -0.12 12.726 * [backup-simplify]: Simplify (* -1 -0.12) into 0.12 12.726 * [backup-simplify]: Simplify 0.12 into 0.12 12.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.727 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 12.727 * [backup-simplify]: Simplify (- 0) into 0 12.728 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 12.729 * [backup-simplify]: Simplify (- (/ 0.253 1) (+ (* -0.12 (/ 0 1)))) into 0.253 12.730 * [backup-simplify]: Simplify (+ (* -1 0.253) (* 0 -0.12)) into (- 0.253) 12.730 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 12.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.731 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 12.731 * [backup-simplify]: Simplify (- 0) into 0 12.732 * [backup-simplify]: Simplify (+ 0 0) into 0 12.732 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)))) into 0 12.733 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0.253) (* 0 -0.12))) into 0 12.733 * [backup-simplify]: Simplify 0 into 0 12.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.734 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.734 * [backup-simplify]: Simplify (- 0) into 0 12.735 * [backup-simplify]: Simplify (+ 0 0) into 0 12.735 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.736 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))) into 0 12.736 * [backup-simplify]: Simplify 0 into 0 12.737 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.737 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.738 * [backup-simplify]: Simplify (- 0) into 0 12.738 * [backup-simplify]: Simplify (+ 0 0) into 0 12.738 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.739 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12))))) into 0 12.739 * [backup-simplify]: Simplify 0 into 0 12.740 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.741 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.741 * [backup-simplify]: Simplify (- 0) into 0 12.741 * [backup-simplify]: Simplify (+ 0 0) into 0 12.742 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.743 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))))) into 0 12.743 * [backup-simplify]: Simplify 0 into 0 12.744 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.745 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.745 * [backup-simplify]: Simplify (- 0) into 0 12.745 * [backup-simplify]: Simplify (+ 0 0) into 0 12.746 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.747 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12))))))) into 0 12.747 * [backup-simplify]: Simplify 0 into 0 12.748 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.748 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 12.749 * [backup-simplify]: Simplify (- 0) into 0 12.749 * [backup-simplify]: Simplify (+ 0 0) into 0 12.750 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.751 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))))))) into 0 12.751 * [backup-simplify]: Simplify 0 into 0 12.751 * [backup-simplify]: Simplify (+ (* (- 0.253) (/ 1 (/ 1 (- x)))) (* 0.12 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 0.12 (pow x 2)) (* 0.253 x)) 12.751 * * * * [progress]: [ 2 / 3 ] generating series at (2) 12.752 * [backup-simplify]: Simplify (- 1.0 (* x (+ (* x 0.12) 0.253))) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 12.752 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) in (x) around 0 12.752 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) in x 12.752 * [taylor]: Taking taylor expansion of 1.0 in x 12.752 * [backup-simplify]: Simplify 1.0 into 1.0 12.752 * [taylor]: Taking taylor expansion of (+ (* 0.12 (pow x 2)) (* 0.253 x)) in x 12.752 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 12.752 * [taylor]: Taking taylor expansion of 0.12 in x 12.752 * [backup-simplify]: Simplify 0.12 into 0.12 12.752 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.752 * [taylor]: Taking taylor expansion of x in x 12.752 * [backup-simplify]: Simplify 0 into 0 12.752 * [backup-simplify]: Simplify 1 into 1 12.752 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 12.752 * [taylor]: Taking taylor expansion of 0.253 in x 12.752 * [backup-simplify]: Simplify 0.253 into 0.253 12.752 * [taylor]: Taking taylor expansion of x in x 12.752 * [backup-simplify]: Simplify 0 into 0 12.752 * [backup-simplify]: Simplify 1 into 1 12.752 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) in x 12.752 * [taylor]: Taking taylor expansion of 1.0 in x 12.752 * [backup-simplify]: Simplify 1.0 into 1.0 12.752 * [taylor]: Taking taylor expansion of (+ (* 0.12 (pow x 2)) (* 0.253 x)) in x 12.752 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 12.752 * [taylor]: Taking taylor expansion of 0.12 in x 12.752 * [backup-simplify]: Simplify 0.12 into 0.12 12.752 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.752 * [taylor]: Taking taylor expansion of x in x 12.752 * [backup-simplify]: Simplify 0 into 0 12.752 * [backup-simplify]: Simplify 1 into 1 12.752 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 12.752 * [taylor]: Taking taylor expansion of 0.253 in x 12.752 * [backup-simplify]: Simplify 0.253 into 0.253 12.752 * [taylor]: Taking taylor expansion of x in x 12.752 * [backup-simplify]: Simplify 0 into 0 12.752 * [backup-simplify]: Simplify 1 into 1 12.753 * [backup-simplify]: Simplify (* 0.253 0) into 0 12.753 * [backup-simplify]: Simplify (+ 0 0) into 0 12.753 * [backup-simplify]: Simplify (- 0) into 0 12.753 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 12.753 * [backup-simplify]: Simplify 1.0 into 1.0 12.754 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253 12.754 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 12.755 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 12.755 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 12.755 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 12.756 * [backup-simplify]: Simplify (* 1 1) into 1 12.756 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 12.757 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0 12.757 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 12.757 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 12.758 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 12.758 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 12.758 * [backup-simplify]: Simplify (+ (* (- 0.12) (pow x 2)) (+ (* (- 0.253) x) 1.0)) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 12.759 * [backup-simplify]: Simplify (- 1.0 (* (/ 1 x) (+ (* (/ 1 x) 0.12) 0.253))) into (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) 12.759 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in (x) around 0 12.759 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in x 12.759 * [taylor]: Taking taylor expansion of 1.0 in x 12.759 * [backup-simplify]: Simplify 1.0 into 1.0 12.759 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 12.759 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 12.759 * [taylor]: Taking taylor expansion of 0.12 in x 12.759 * [backup-simplify]: Simplify 0.12 into 0.12 12.759 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 12.759 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.759 * [taylor]: Taking taylor expansion of x in x 12.759 * [backup-simplify]: Simplify 0 into 0 12.759 * [backup-simplify]: Simplify 1 into 1 12.759 * [backup-simplify]: Simplify (* 1 1) into 1 12.759 * [backup-simplify]: Simplify (/ 1 1) into 1 12.759 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 12.759 * [taylor]: Taking taylor expansion of 0.253 in x 12.759 * [backup-simplify]: Simplify 0.253 into 0.253 12.759 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.760 * [taylor]: Taking taylor expansion of x in x 12.760 * [backup-simplify]: Simplify 0 into 0 12.760 * [backup-simplify]: Simplify 1 into 1 12.760 * [backup-simplify]: Simplify (/ 1 1) into 1 12.760 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in x 12.760 * [taylor]: Taking taylor expansion of 1.0 in x 12.760 * [backup-simplify]: Simplify 1.0 into 1.0 12.760 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 12.760 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 12.760 * [taylor]: Taking taylor expansion of 0.12 in x 12.760 * [backup-simplify]: Simplify 0.12 into 0.12 12.760 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 12.760 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.760 * [taylor]: Taking taylor expansion of x in x 12.760 * [backup-simplify]: Simplify 0 into 0 12.760 * [backup-simplify]: Simplify 1 into 1 12.760 * [backup-simplify]: Simplify (* 1 1) into 1 12.761 * [backup-simplify]: Simplify (/ 1 1) into 1 12.761 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 12.761 * [taylor]: Taking taylor expansion of 0.253 in x 12.761 * [backup-simplify]: Simplify 0.253 into 0.253 12.761 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.761 * [taylor]: Taking taylor expansion of x in x 12.761 * [backup-simplify]: Simplify 0 into 0 12.761 * [backup-simplify]: Simplify 1 into 1 12.761 * [backup-simplify]: Simplify (/ 1 1) into 1 12.761 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 12.762 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 12.762 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 12.762 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 12.763 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 12.763 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.763 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.764 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 12.764 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 12.764 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 12.765 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 12.765 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 12.772 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 12.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.774 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.775 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 12.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.777 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 12.777 * [backup-simplify]: Simplify (+ 0 0) into 0 12.778 * [backup-simplify]: Simplify (- 0) into 0 12.778 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 12.778 * [backup-simplify]: Simplify 1.0 into 1.0 12.779 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 0.253) (/ 1 (/ 1 x))) (* (- 0.12) (pow (/ 1 (/ 1 x)) 2)))) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 12.780 * [backup-simplify]: Simplify (- 1.0 (* (/ 1 (- x)) (+ (* (/ 1 (- x)) 0.12) 0.253))) into (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) 12.780 * [approximate]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 12.780 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 12.780 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 12.780 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 12.780 * [taylor]: Taking taylor expansion of 0.253 in x 12.780 * [backup-simplify]: Simplify 0.253 into 0.253 12.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.780 * [taylor]: Taking taylor expansion of x in x 12.780 * [backup-simplify]: Simplify 0 into 0 12.780 * [backup-simplify]: Simplify 1 into 1 12.780 * [backup-simplify]: Simplify (/ 1 1) into 1 12.780 * [taylor]: Taking taylor expansion of 1.0 in x 12.780 * [backup-simplify]: Simplify 1.0 into 1.0 12.781 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 12.781 * [taylor]: Taking taylor expansion of 0.12 in x 12.781 * [backup-simplify]: Simplify 0.12 into 0.12 12.781 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 12.781 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.781 * [taylor]: Taking taylor expansion of x in x 12.781 * [backup-simplify]: Simplify 0 into 0 12.781 * [backup-simplify]: Simplify 1 into 1 12.781 * [backup-simplify]: Simplify (* 1 1) into 1 12.781 * [backup-simplify]: Simplify (/ 1 1) into 1 12.781 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 12.782 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 12.782 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 12.782 * [taylor]: Taking taylor expansion of 0.253 in x 12.782 * [backup-simplify]: Simplify 0.253 into 0.253 12.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.782 * [taylor]: Taking taylor expansion of x in x 12.782 * [backup-simplify]: Simplify 0 into 0 12.782 * [backup-simplify]: Simplify 1 into 1 12.782 * [backup-simplify]: Simplify (/ 1 1) into 1 12.782 * [taylor]: Taking taylor expansion of 1.0 in x 12.782 * [backup-simplify]: Simplify 1.0 into 1.0 12.782 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 12.782 * [taylor]: Taking taylor expansion of 0.12 in x 12.782 * [backup-simplify]: Simplify 0.12 into 0.12 12.782 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 12.782 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.782 * [taylor]: Taking taylor expansion of x in x 12.782 * [backup-simplify]: Simplify 0 into 0 12.782 * [backup-simplify]: Simplify 1 into 1 12.783 * [backup-simplify]: Simplify (* 1 1) into 1 12.783 * [backup-simplify]: Simplify (/ 1 1) into 1 12.784 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 12.784 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 12.785 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 12.785 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 12.786 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 12.786 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 12.787 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.788 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.788 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 12.789 * [backup-simplify]: Simplify (- 0) into 0 12.789 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 12.789 * [backup-simplify]: Simplify 0.253 into 0.253 12.790 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.791 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 12.791 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 12.792 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.793 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.794 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 12.794 * [backup-simplify]: Simplify (- 0) into 0 12.795 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 12.795 * [backup-simplify]: Simplify 1.0 into 1.0 12.796 * [backup-simplify]: Simplify (+ 1.0 (+ (* 0.253 (/ 1 (/ 1 (- x)))) (* (- 0.12) (pow (/ 1 (/ 1 (- x))) 2)))) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 12.796 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 12.796 * [backup-simplify]: Simplify (+ (* x 0.12) 0.253) into (+ (* 0.12 x) 0.253) 12.796 * [approximate]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in (x) around 0 12.796 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 12.796 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 12.796 * [taylor]: Taking taylor expansion of 0.12 in x 12.796 * [backup-simplify]: Simplify 0.12 into 0.12 12.796 * [taylor]: Taking taylor expansion of x in x 12.796 * [backup-simplify]: Simplify 0 into 0 12.796 * [backup-simplify]: Simplify 1 into 1 12.796 * [taylor]: Taking taylor expansion of 0.253 in x 12.796 * [backup-simplify]: Simplify 0.253 into 0.253 12.796 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 12.796 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 12.796 * [taylor]: Taking taylor expansion of 0.12 in x 12.797 * [backup-simplify]: Simplify 0.12 into 0.12 12.797 * [taylor]: Taking taylor expansion of x in x 12.797 * [backup-simplify]: Simplify 0 into 0 12.797 * [backup-simplify]: Simplify 1 into 1 12.797 * [taylor]: Taking taylor expansion of 0.253 in x 12.797 * [backup-simplify]: Simplify 0.253 into 0.253 12.797 * [backup-simplify]: Simplify (* 0.12 0) into 0 12.798 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 12.798 * [backup-simplify]: Simplify 0.253 into 0.253 12.799 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12 12.800 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 12.800 * [backup-simplify]: Simplify 0.12 into 0.12 12.801 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0 12.801 * [backup-simplify]: Simplify (+ 0 0) into 0 12.801 * [backup-simplify]: Simplify 0 into 0 12.802 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 12.803 * [backup-simplify]: Simplify (+ 0 0) into 0 12.803 * [backup-simplify]: Simplify 0 into 0 12.804 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 12.804 * [backup-simplify]: Simplify (+ 0 0) into 0 12.804 * [backup-simplify]: Simplify 0 into 0 12.806 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 12.806 * [backup-simplify]: Simplify (+ 0 0) into 0 12.806 * [backup-simplify]: Simplify 0 into 0 12.808 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 12.808 * [backup-simplify]: Simplify (+ 0 0) into 0 12.808 * [backup-simplify]: Simplify 0 into 0 12.810 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 12.810 * [backup-simplify]: Simplify (+ 0 0) into 0 12.810 * [backup-simplify]: Simplify 0 into 0 12.811 * [backup-simplify]: Simplify (+ (* 0.12 x) 0.253) into (+ (* 0.12 x) 0.253) 12.811 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0.12) 0.253) into (+ 0.253 (* 0.12 (/ 1 x))) 12.811 * [approximate]: Taking taylor expansion of (+ 0.253 (* 0.12 (/ 1 x))) in (x) around 0 12.811 * [taylor]: Taking taylor expansion of (+ 0.253 (* 0.12 (/ 1 x))) in x 12.811 * [taylor]: Taking taylor expansion of 0.253 in x 12.811 * [backup-simplify]: Simplify 0.253 into 0.253 12.811 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 12.811 * [taylor]: Taking taylor expansion of 0.12 in x 12.811 * [backup-simplify]: Simplify 0.12 into 0.12 12.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.811 * [taylor]: Taking taylor expansion of x in x 12.811 * [backup-simplify]: Simplify 0 into 0 12.811 * [backup-simplify]: Simplify 1 into 1 12.812 * [backup-simplify]: Simplify (/ 1 1) into 1 12.812 * [taylor]: Taking taylor expansion of (+ 0.253 (* 0.12 (/ 1 x))) in x 12.812 * [taylor]: Taking taylor expansion of 0.253 in x 12.812 * [backup-simplify]: Simplify 0.253 into 0.253 12.812 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 12.812 * [taylor]: Taking taylor expansion of 0.12 in x 12.812 * [backup-simplify]: Simplify 0.12 into 0.12 12.812 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.812 * [taylor]: Taking taylor expansion of x in x 12.812 * [backup-simplify]: Simplify 0 into 0 12.812 * [backup-simplify]: Simplify 1 into 1 12.812 * [backup-simplify]: Simplify (/ 1 1) into 1 12.813 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 12.813 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12 12.813 * [backup-simplify]: Simplify 0.12 into 0.12 12.814 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.815 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 12.815 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 12.815 * [backup-simplify]: Simplify 0.253 into 0.253 12.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.817 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 12.818 * [backup-simplify]: Simplify (+ 0 0) into 0 12.818 * [backup-simplify]: Simplify 0 into 0 12.819 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.820 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.820 * [backup-simplify]: Simplify (+ 0 0) into 0 12.820 * [backup-simplify]: Simplify 0 into 0 12.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.823 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.823 * [backup-simplify]: Simplify (+ 0 0) into 0 12.823 * [backup-simplify]: Simplify 0 into 0 12.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.825 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.826 * [backup-simplify]: Simplify (+ 0 0) into 0 12.826 * [backup-simplify]: Simplify 0 into 0 12.827 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.828 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.828 * [backup-simplify]: Simplify (+ 0 0) into 0 12.828 * [backup-simplify]: Simplify 0 into 0 12.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.831 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 12.831 * [backup-simplify]: Simplify (+ 0 0) into 0 12.831 * [backup-simplify]: Simplify 0 into 0 12.832 * [backup-simplify]: Simplify (+ 0.253 (* 0.12 (/ 1 (/ 1 x)))) into (+ (* 0.12 x) 0.253) 12.832 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) 0.12) 0.253) into (- 0.253 (* 0.12 (/ 1 x))) 12.832 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in (x) around 0 12.832 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 12.832 * [taylor]: Taking taylor expansion of 0.253 in x 12.832 * [backup-simplify]: Simplify 0.253 into 0.253 12.832 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 12.832 * [taylor]: Taking taylor expansion of 0.12 in x 12.832 * [backup-simplify]: Simplify 0.12 into 0.12 12.832 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.832 * [taylor]: Taking taylor expansion of x in x 12.832 * [backup-simplify]: Simplify 0 into 0 12.832 * [backup-simplify]: Simplify 1 into 1 12.832 * [backup-simplify]: Simplify (/ 1 1) into 1 12.832 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 12.833 * [taylor]: Taking taylor expansion of 0.253 in x 12.833 * [backup-simplify]: Simplify 0.253 into 0.253 12.833 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 12.833 * [taylor]: Taking taylor expansion of 0.12 in x 12.833 * [backup-simplify]: Simplify 0.12 into 0.12 12.833 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.833 * [taylor]: Taking taylor expansion of x in x 12.833 * [backup-simplify]: Simplify 0 into 0 12.833 * [backup-simplify]: Simplify 1 into 1 12.833 * [backup-simplify]: Simplify (/ 1 1) into 1 12.834 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 12.834 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 12.835 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 12.835 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 12.836 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.836 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 12.837 * [backup-simplify]: Simplify (- 0) into 0 12.837 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 12.837 * [backup-simplify]: Simplify 0.253 into 0.253 12.838 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.839 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 12.839 * [backup-simplify]: Simplify (- 0) into 0 12.840 * [backup-simplify]: Simplify (+ 0 0) into 0 12.840 * [backup-simplify]: Simplify 0 into 0 12.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.842 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.842 * [backup-simplify]: Simplify (- 0) into 0 12.842 * [backup-simplify]: Simplify (+ 0 0) into 0 12.843 * [backup-simplify]: Simplify 0 into 0 12.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.845 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.845 * [backup-simplify]: Simplify (- 0) into 0 12.845 * [backup-simplify]: Simplify (+ 0 0) into 0 12.845 * [backup-simplify]: Simplify 0 into 0 12.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.848 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.848 * [backup-simplify]: Simplify (- 0) into 0 12.849 * [backup-simplify]: Simplify (+ 0 0) into 0 12.849 * [backup-simplify]: Simplify 0 into 0 12.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.851 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.852 * [backup-simplify]: Simplify (- 0) into 0 12.852 * [backup-simplify]: Simplify (+ 0 0) into 0 12.852 * [backup-simplify]: Simplify 0 into 0 12.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.855 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 12.855 * [backup-simplify]: Simplify (- 0) into 0 12.856 * [backup-simplify]: Simplify (+ 0 0) into 0 12.856 * [backup-simplify]: Simplify 0 into 0 12.856 * [backup-simplify]: Simplify (+ 0.253 (* (- 0.12) (/ 1 (/ 1 (- x))))) into (+ (* 0.12 x) 0.253) 12.856 * * * [progress]: simplifying candidates 12.858 * [simplify]: Simplifying: (* x (+ (* x 0.12) 0.253)) (+ (log x) (log (+ (* x 0.12) 0.253))) (log (* x (+ (* x 0.12) 0.253))) (exp (* x (+ (* x 0.12) 0.253))) (* (* (* x x) x) (* (* (+ (* x 0.12) 0.253) (+ (* x 0.12) 0.253)) (+ (* x 0.12) 0.253))) (* (cbrt (* x (+ (* x 0.12) 0.253))) (cbrt (* x (+ (* x 0.12) 0.253)))) (cbrt (* x (+ (* x 0.12) 0.253))) (* (* (* x (+ (* x 0.12) 0.253)) (* x (+ (* x 0.12) 0.253))) (* x (+ (* x 0.12) 0.253))) (sqrt (* x (+ (* x 0.12) 0.253))) (sqrt (* x (+ (* x 0.12) 0.253))) (* (sqrt x) (sqrt (+ (* x 0.12) 0.253))) (* (sqrt x) (sqrt (+ (* x 0.12) 0.253))) (* x (* x 0.12)) (* x 0.253) (* (* x 0.12) x) (* 0.253 x) (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (* x (sqrt (+ (* x 0.12) 0.253))) (* x 1) (* (cbrt x) (+ (* x 0.12) 0.253)) (* (sqrt x) (+ (* x 0.12) 0.253)) (* x (+ (* x 0.12) 0.253)) (* x (+ (pow (* x 0.12) 3) (pow 0.253 3))) (* x (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (/ (exp 1.0) (exp (* x (+ (* x 0.12) 0.253)))) (log (- 1.0 (* x (+ (* x 0.12) 0.253)))) (exp (- 1.0 (* x (+ (* x 0.12) 0.253)))) (* (cbrt (- 1.0 (* x (+ (* x 0.12) 0.253)))) (cbrt (- 1.0 (* x (+ (* x 0.12) 0.253))))) (cbrt (- 1.0 (* x (+ (* x 0.12) 0.253)))) (* (* (- 1.0 (* x (+ (* x 0.12) 0.253))) (- 1.0 (* x (+ (* x 0.12) 0.253)))) (- 1.0 (* x (+ (* x 0.12) 0.253)))) (sqrt (- 1.0 (* x (+ (* x 0.12) 0.253)))) (sqrt (- 1.0 (* x (+ (* x 0.12) 0.253)))) (- (pow 1.0 3) (pow (* x (+ (* x 0.12) 0.253)) 3)) (+ (* 1.0 1.0) (+ (* (* x (+ (* x 0.12) 0.253)) (* x (+ (* x 0.12) 0.253))) (* 1.0 (* x (+ (* x 0.12) 0.253))))) (- (* x (+ (* x 0.12) 0.253))) (- (* 1.0 1.0) (* (* x (+ (* x 0.12) 0.253)) (* x (+ (* x 0.12) 0.253)))) (+ 1.0 (* x (+ (* x 0.12) 0.253))) (- 1.0 (* x (* x 0.12))) (- 1.0 (* (* x 0.12) x)) (- (* x (+ (* x 0.12) 0.253))) (* (exp (* x 0.12)) (exp 0.253)) (log (+ (* x 0.12) 0.253)) (exp (+ (* x 0.12) 0.253)) (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253))) (cbrt (+ (* x 0.12) 0.253)) (* (* (+ (* x 0.12) 0.253) (+ (* x 0.12) 0.253)) (+ (* x 0.12) 0.253)) (sqrt (+ (* x 0.12) 0.253)) (sqrt (+ (* x 0.12) 0.253)) (+ (pow (* x 0.12) 3) (pow 0.253 3)) (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253))) (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253)) (- (* x 0.12) 0.253) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) 12.860 * * [simplify]: Extracting # 0 : cost 0 12.860 * * [simplify]: Extracting # 1 : cost 0 12.860 * * [simplify]: Extracting # 2 : cost 0 12.860 * * [simplify]: Extracting # 3 : cost 0 12.861 * * [simplify]: Extracting # 4 : cost 0 12.861 * * [simplify]: Extracting # 5 : cost 0 12.861 * * [simplify]: Extracting # 6 : cost 0 12.861 * * [simplify]: iteration 0 : 84 enodes (cost 621 ) 12.902 * * [simplify]: Extracting # 0 : cost 0 12.902 * * [simplify]: Extracting # 1 : cost 0 12.902 * * [simplify]: Extracting # 2 : cost 0 12.903 * * [simplify]: Extracting # 3 : cost 0 12.903 * * [simplify]: Extracting # 4 : cost 0 12.903 * * [simplify]: iteration 1 : 247 enodes (cost 592 ) 13.008 * * [simplify]: Extracting # 0 : cost 0 13.009 * * [simplify]: Extracting # 1 : cost 0 13.010 * * [simplify]: Extracting # 2 : cost 0 13.011 * * [simplify]: Extracting # 3 : cost 0 13.012 * * [simplify]: Extracting # 4 : cost 0 13.013 * * [simplify]: iteration 2 : 1068 enodes (cost 550 ) 13.469 * * [simplify]: Extracting # 0 : cost 0 13.473 * * [simplify]: Extracting # 1 : cost 0 13.803 * * [simplify]: Extracting # 2 : cost 0 13.810 * * [simplify]: Extracting # 3 : cost 0 13.817 * * [simplify]: Extracting # 4 : cost 0 13.825 * * [simplify]: iteration done: 5000 enodes (cost 536 ) 13.825 * [simplify]: Simplified to: (* x (+ (* x 0.12) 0.253)) (log (* x (+ (* x 0.12) 0.253))) (log (* x (+ (* x 0.12) 0.253))) (exp (* x (+ (* x 0.12) 0.253))) (pow (* x (+ (* x 0.12) 0.253)) 3) (* (cbrt (* x (+ (* x 0.12) 0.253))) (cbrt (* x (+ (* x 0.12) 0.253)))) (cbrt (* x (+ (* x 0.12) 0.253))) (pow (* x (+ (* x 0.12) 0.253)) 3) (sqrt (* x (+ (* x 0.12) 0.253))) (sqrt (* x (+ (* x 0.12) 0.253))) (* (sqrt x) (sqrt (+ (* x 0.12) 0.253))) (* (sqrt x) (sqrt (+ (* x 0.12) 0.253))) (* x (* x 0.12)) (* x 0.253) (* (* x 0.12) x) (* 0.253 x) (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (* x (sqrt (+ (* x 0.12) 0.253))) x (* (cbrt x) (+ (* x 0.12) 0.253)) (* (sqrt x) (+ (* x 0.12) 0.253)) (* x (+ (* x 0.12) 0.253)) (* x (+ (pow (* x 0.12) 3) (pow 0.253 3))) (* x (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (exp (- 1.0 (* x (+ (* x 0.12) 0.253)))) (log (- 1.0 (* x (+ (* x 0.12) 0.253)))) (exp (- 1.0 (* x (+ (* x 0.12) 0.253)))) (* (cbrt (- 1.0 (* x (+ (* x 0.12) 0.253)))) (cbrt (- 1.0 (* x (+ (* x 0.12) 0.253))))) (cbrt (- 1.0 (* x (+ (* x 0.12) 0.253)))) (pow (- 1.0 (* x (+ (* x 0.12) 0.253))) 3) (sqrt (- 1.0 (* x (+ (* x 0.12) 0.253)))) (sqrt (- 1.0 (* x (+ (* x 0.12) 0.253)))) (- (pow 1.0 3) (pow (* x (+ (* x 0.12) 0.253)) 3)) (+ (* (* x (+ (* x 0.12) 0.253)) (+ 1.0 (* x (+ (* x 0.12) 0.253)))) (* 1.0 1.0)) (- (* x (+ (* x 0.12) 0.253))) (- (* 1.0 1.0) (* (* x (+ (* x 0.12) 0.253)) (* x (+ (* x 0.12) 0.253)))) (+ 1.0 (* x (+ (* x 0.12) 0.253))) (- 1.0 (* x (* x 0.12))) (- 1.0 (* (* x 0.12) x)) (- (* x (+ (* x 0.12) 0.253))) (exp (+ (* x 0.12) 0.253)) (log (+ (* x 0.12) 0.253)) (exp (+ (* x 0.12) 0.253)) (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253))) (cbrt (+ (* x 0.12) 0.253)) (pow (+ (* x 0.12) 0.253) 3) (sqrt (+ (* x 0.12) 0.253)) (sqrt (+ (* x 0.12) 0.253)) (+ (pow (* x 0.12) 3) (pow 0.253 3)) (+ (* 0.253 0.253) (* (* x 0.12) (- (* x 0.12) 0.253))) (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253)) (- (* x 0.12) 0.253) (* x (+ 0.253 (* 0.12 x))) (* x (+ 0.253 (* 0.12 x))) (* x (+ 0.253 (* 0.12 x))) (- 1.0 (* x (+ 0.253 (* 0.12 x)))) (- 1.0 (* x (+ 0.253 (* 0.12 x)))) (- 1.0 (* x (+ 0.253 (* 0.12 x)))) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) 13.826 * * * [progress]: adding candidates to table 13.950 * * [progress]: iteration 2 / 4 13.950 * * * [progress]: picking best candidate 13.963 * * * * [pick]: Picked # 13.963 * * * [progress]: localizing error 13.981 * * * [progress]: generating rewritten candidates 13.981 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 13.987 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 13.995 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 14.002 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 14.290 * * * [progress]: generating series expansions 14.290 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 14.290 * [backup-simplify]: Simplify (cbrt (+ (* x 0.12) 0.253)) into (pow (+ (* 0.12 x) 0.253) 1/3) 14.290 * [approximate]: Taking taylor expansion of (pow (+ (* 0.12 x) 0.253) 1/3) in (x) around 0 14.291 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 x) 0.253) 1/3) in x 14.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.12 x) 0.253)))) in x 14.291 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.12 x) 0.253))) in x 14.291 * [taylor]: Taking taylor expansion of 1/3 in x 14.291 * [backup-simplify]: Simplify 1/3 into 1/3 14.291 * [taylor]: Taking taylor expansion of (log (+ (* 0.12 x) 0.253)) in x 14.291 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 14.291 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 14.291 * [taylor]: Taking taylor expansion of 0.12 in x 14.291 * [backup-simplify]: Simplify 0.12 into 0.12 14.291 * [taylor]: Taking taylor expansion of x in x 14.291 * [backup-simplify]: Simplify 0 into 0 14.291 * [backup-simplify]: Simplify 1 into 1 14.291 * [taylor]: Taking taylor expansion of 0.253 in x 14.291 * [backup-simplify]: Simplify 0.253 into 0.253 14.292 * [backup-simplify]: Simplify (* 0.12 0) into 0 14.292 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 14.293 * [backup-simplify]: Simplify (log 0.253) into (log 0.253) 14.294 * [backup-simplify]: Simplify (* 1/3 (log 0.253)) into (* 1/3 (log 0.253)) 14.295 * [backup-simplify]: Simplify (exp (* 1/3 (log 0.253))) into (pow 0.253 1/3) 14.295 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 x) 0.253) 1/3) in x 14.295 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.12 x) 0.253)))) in x 14.295 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.12 x) 0.253))) in x 14.295 * [taylor]: Taking taylor expansion of 1/3 in x 14.295 * [backup-simplify]: Simplify 1/3 into 1/3 14.295 * [taylor]: Taking taylor expansion of (log (+ (* 0.12 x) 0.253)) in x 14.295 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 14.295 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 14.296 * [taylor]: Taking taylor expansion of 0.12 in x 14.296 * [backup-simplify]: Simplify 0.12 into 0.12 14.296 * [taylor]: Taking taylor expansion of x in x 14.296 * [backup-simplify]: Simplify 0 into 0 14.296 * [backup-simplify]: Simplify 1 into 1 14.296 * [taylor]: Taking taylor expansion of 0.253 in x 14.296 * [backup-simplify]: Simplify 0.253 into 0.253 14.299 * [backup-simplify]: Simplify (* 0.12 0) into 0 14.300 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 14.300 * [backup-simplify]: Simplify (log 0.253) into (log 0.253) 14.301 * [backup-simplify]: Simplify (* 1/3 (log 0.253)) into (* 1/3 (log 0.253)) 14.302 * [backup-simplify]: Simplify (exp (* 1/3 (log 0.253))) into (pow 0.253 1/3) 14.302 * [backup-simplify]: Simplify (pow 0.253 1/3) into (pow 0.253 1/3) 14.303 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12 14.304 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 14.308 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0.12) 1)) (pow 0.253 1)))) 1) into 0.4743083003952569 14.309 * [backup-simplify]: Simplify (+ (* 1/3 0.4743083003952569) (* 0 (log 0.253))) into 0.15810276679841895 14.312 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 0.253))) (+ (* (/ (pow 0.15810276679841895 1) 1)))) into (* 0.15810276679841895 (pow 0.253 1/3)) 14.313 * [backup-simplify]: Simplify (* 0.15810276679841895 (pow 0.253 1/3)) into (* 0.15810276679841895 (pow 0.253 1/3)) 14.313 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0 14.314 * [backup-simplify]: Simplify (+ 0 0) into 0 14.321 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0.12) 2)) (pow 0.253 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 0.253 1)))) 2) into (/ -0.0072 (pow 0.253 2)) 14.325 * [backup-simplify]: Simplify (+ (* 1/3 (/ -0.0072 (pow 0.253 2))) (+ (* 0 0.4743083003952569) (* 0 (log 0.253)))) into (- (* 0.0024 (/ 1 (pow 0.253 2)))) 14.343 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 0.253))) (+ (* (/ (pow 0.15810276679841895 2) 2)) (* (/ (pow (- (* 0.0024 (/ 1 (pow 0.253 2)))) 1) 1)))) into (* (pow 0.253 1/3) (- 0.012498242434657622 (* 0.0024 (/ 1 (pow 0.253 2))))) 14.348 * [backup-simplify]: Simplify (* (pow 0.253 1/3) (- 0.012498242434657622 (* 0.0024 (/ 1 (pow 0.253 2))))) into (* (pow 0.253 1/3) (- 0.012498242434657622 (* 0.0024 (/ 1 (pow 0.253 2))))) 14.352 * [backup-simplify]: Simplify (+ (* (* (pow 0.253 1/3) (- 0.012498242434657622 (* 0.0024 (/ 1 (pow 0.253 2))))) (pow x 2)) (+ (* (* 0.15810276679841895 (pow 0.253 1/3)) x) (pow 0.253 1/3))) into (- (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2))))) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2)))) 14.352 * [backup-simplify]: Simplify (cbrt (+ (* (/ 1 x) 0.12) 0.253)) into (pow (+ 0.253 (* 0.12 (/ 1 x))) 1/3) 14.352 * [approximate]: Taking taylor expansion of (pow (+ 0.253 (* 0.12 (/ 1 x))) 1/3) in (x) around 0 14.352 * [taylor]: Taking taylor expansion of (pow (+ 0.253 (* 0.12 (/ 1 x))) 1/3) in x 14.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 0.253 (* 0.12 (/ 1 x)))))) in x 14.352 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 0.253 (* 0.12 (/ 1 x))))) in x 14.352 * [taylor]: Taking taylor expansion of 1/3 in x 14.352 * [backup-simplify]: Simplify 1/3 into 1/3 14.352 * [taylor]: Taking taylor expansion of (log (+ 0.253 (* 0.12 (/ 1 x)))) in x 14.352 * [taylor]: Taking taylor expansion of (+ 0.253 (* 0.12 (/ 1 x))) in x 14.352 * [taylor]: Taking taylor expansion of 0.253 in x 14.352 * [backup-simplify]: Simplify 0.253 into 0.253 14.352 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 14.352 * [taylor]: Taking taylor expansion of 0.12 in x 14.353 * [backup-simplify]: Simplify 0.12 into 0.12 14.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.353 * [taylor]: Taking taylor expansion of x in x 14.353 * [backup-simplify]: Simplify 0 into 0 14.353 * [backup-simplify]: Simplify 1 into 1 14.353 * [backup-simplify]: Simplify (/ 1 1) into 1 14.353 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 14.353 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12 14.354 * [backup-simplify]: Simplify (log 0.12) into (log 0.12) 14.354 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log 0.12)) into (- (log 0.12) (log x)) 14.354 * [backup-simplify]: Simplify (* 1/3 (- (log 0.12) (log x))) into (* 1/3 (- (log 0.12) (log x))) 14.355 * [backup-simplify]: Simplify (exp (* 1/3 (- (log 0.12) (log x)))) into (exp (* 1/3 (- (log 0.12) (log x)))) 14.355 * [taylor]: Taking taylor expansion of (pow (+ 0.253 (* 0.12 (/ 1 x))) 1/3) in x 14.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 0.253 (* 0.12 (/ 1 x)))))) in x 14.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 0.253 (* 0.12 (/ 1 x))))) in x 14.355 * [taylor]: Taking taylor expansion of 1/3 in x 14.355 * [backup-simplify]: Simplify 1/3 into 1/3 14.355 * [taylor]: Taking taylor expansion of (log (+ 0.253 (* 0.12 (/ 1 x)))) in x 14.355 * [taylor]: Taking taylor expansion of (+ 0.253 (* 0.12 (/ 1 x))) in x 14.355 * [taylor]: Taking taylor expansion of 0.253 in x 14.355 * [backup-simplify]: Simplify 0.253 into 0.253 14.355 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 14.355 * [taylor]: Taking taylor expansion of 0.12 in x 14.355 * [backup-simplify]: Simplify 0.12 into 0.12 14.355 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.355 * [taylor]: Taking taylor expansion of x in x 14.355 * [backup-simplify]: Simplify 0 into 0 14.355 * [backup-simplify]: Simplify 1 into 1 14.355 * [backup-simplify]: Simplify (/ 1 1) into 1 14.356 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 14.356 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12 14.356 * [backup-simplify]: Simplify (log 0.12) into (log 0.12) 14.357 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log 0.12)) into (- (log 0.12) (log x)) 14.357 * [backup-simplify]: Simplify (* 1/3 (- (log 0.12) (log x))) into (* 1/3 (- (log 0.12) (log x))) 14.357 * [backup-simplify]: Simplify (exp (* 1/3 (- (log 0.12) (log x)))) into (exp (* 1/3 (- (log 0.12) (log x)))) 14.358 * [backup-simplify]: Simplify (exp (* 1/3 (- (log 0.12) (log x)))) into (exp (* 1/3 (- (log 0.12) (log x)))) 14.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.359 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 14.359 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 14.363 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0.253) 1)) (pow 0.12 1)))) 1) into 2.1083333333333334 14.363 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log 0.12)) into (- (log 0.12) (log x)) 14.364 * [backup-simplify]: Simplify (+ (* 1/3 2.1083333333333334) (* 0 (- (log 0.12) (log x)))) into 0.7027777777777777 14.366 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log 0.12) (log x)))) (+ (* (/ (pow 0.7027777777777777 1) 1)))) into (* 0.7027777777777777 (exp (* 1/3 (- (log 0.12) (log x))))) 14.366 * [backup-simplify]: Simplify (* 0.7027777777777777 (exp (* 1/3 (- (log 0.12) (log x))))) into (* 0.7027777777777777 (exp (* 1/3 (- (log 0.12) (log x))))) 14.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.367 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 14.367 * [backup-simplify]: Simplify (+ 0 0) into 0 14.374 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0.253) 2)) (pow 0.12 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 0.12 1)))) 2) into (/ -0.0320045 (pow 0.12 2)) 14.375 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log 0.12)) into (- (log 0.12) (log x)) 14.377 * [backup-simplify]: Simplify (+ (* 1/3 (/ -0.0320045 (pow 0.12 2))) (+ (* 0 2.1083333333333334) (* 0 (- (log 0.12) (log x))))) into (- (* 0.010668166666666666 (/ 1 (pow 0.12 2)))) 14.383 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log 0.12) (log x)))) (+ (* (/ (pow 0.7027777777777777 2) 2)) (* (/ (pow (- (* 0.010668166666666666 (/ 1 (pow 0.12 2)))) 1) 1)))) into (* (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow 0.12 2)))) (exp (* 1/3 (- (log 0.12) (log x))))) 14.385 * [backup-simplify]: Simplify (* (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow 0.12 2)))) (exp (* 1/3 (- (log 0.12) (log x))))) into (* (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow 0.12 2)))) (exp (* 1/3 (- (log 0.12) (log x))))) 14.388 * [backup-simplify]: Simplify (+ (* (* (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow 0.12 2)))) (exp (* 1/3 (- (log 0.12) (log (/ 1 x)))))) (pow (/ 1 x) 2)) (+ (* (* 0.7027777777777777 (exp (* 1/3 (- (log 0.12) (log (/ 1 x)))))) (/ 1 x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) into (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (pow x 2))) (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (* (pow 0.12 2) (pow x 2))))) 14.388 * [backup-simplify]: Simplify (cbrt (+ (* (/ 1 (- x)) 0.12) 0.253)) into (pow (- 0.253 (* 0.12 (/ 1 x))) 1/3) 14.389 * [approximate]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 1/3) in (x) around 0 14.389 * [taylor]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 1/3) in x 14.389 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 0.253 (* 0.12 (/ 1 x)))))) in x 14.389 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 0.253 (* 0.12 (/ 1 x))))) in x 14.389 * [taylor]: Taking taylor expansion of 1/3 in x 14.389 * [backup-simplify]: Simplify 1/3 into 1/3 14.389 * [taylor]: Taking taylor expansion of (log (- 0.253 (* 0.12 (/ 1 x)))) in x 14.389 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 14.389 * [taylor]: Taking taylor expansion of 0.253 in x 14.389 * [backup-simplify]: Simplify 0.253 into 0.253 14.389 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 14.389 * [taylor]: Taking taylor expansion of 0.12 in x 14.389 * [backup-simplify]: Simplify 0.12 into 0.12 14.389 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.389 * [taylor]: Taking taylor expansion of x in x 14.389 * [backup-simplify]: Simplify 0 into 0 14.389 * [backup-simplify]: Simplify 1 into 1 14.389 * [backup-simplify]: Simplify (/ 1 1) into 1 14.389 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 14.390 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 14.390 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 14.391 * [backup-simplify]: Simplify (log (- 0.12)) into (log (- 0.12)) 14.392 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log (- 0.12))) into (- (log (- 0.12)) (log x)) 14.392 * [backup-simplify]: Simplify (* 1/3 (- (log (- 0.12)) (log x))) into (* 1/3 (- (log (- 0.12)) (log x))) 14.394 * [backup-simplify]: Simplify (exp (* 1/3 (- (log (- 0.12)) (log x)))) into (exp (* 1/3 (- (log (- 0.12)) (log x)))) 14.394 * [taylor]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 1/3) in x 14.394 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 0.253 (* 0.12 (/ 1 x)))))) in x 14.394 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 0.253 (* 0.12 (/ 1 x))))) in x 14.394 * [taylor]: Taking taylor expansion of 1/3 in x 14.394 * [backup-simplify]: Simplify 1/3 into 1/3 14.394 * [taylor]: Taking taylor expansion of (log (- 0.253 (* 0.12 (/ 1 x)))) in x 14.394 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 14.394 * [taylor]: Taking taylor expansion of 0.253 in x 14.394 * [backup-simplify]: Simplify 0.253 into 0.253 14.394 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 14.394 * [taylor]: Taking taylor expansion of 0.12 in x 14.394 * [backup-simplify]: Simplify 0.12 into 0.12 14.394 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.394 * [taylor]: Taking taylor expansion of x in x 14.394 * [backup-simplify]: Simplify 0 into 0 14.394 * [backup-simplify]: Simplify 1 into 1 14.394 * [backup-simplify]: Simplify (/ 1 1) into 1 14.395 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 14.395 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 14.396 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 14.397 * [backup-simplify]: Simplify (log (- 0.12)) into (log (- 0.12)) 14.398 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log (- 0.12))) into (- (log (- 0.12)) (log x)) 14.399 * [backup-simplify]: Simplify (* 1/3 (- (log (- 0.12)) (log x))) into (* 1/3 (- (log (- 0.12)) (log x))) 14.404 * [backup-simplify]: Simplify (exp (* 1/3 (- (log (- 0.12)) (log x)))) into (exp (* 1/3 (- (log (- 0.12)) (log x)))) 14.405 * [backup-simplify]: Simplify (exp (* 1/3 (- (log (- 0.12)) (log x)))) into (exp (* 1/3 (- (log (- 0.12)) (log x)))) 14.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.406 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 14.407 * [backup-simplify]: Simplify (- 0) into 0 14.407 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 14.412 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0.253) 1)) (pow (- 0.12) 1)))) 1) into -2.1083333333333334 14.412 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log (- 0.12))) into (- (log (- 0.12)) (log x)) 14.413 * [backup-simplify]: Simplify (+ (* 1/3 -2.1083333333333334) (* 0 (- (log (- 0.12)) (log x)))) into (- 0.7027777777777777) 14.416 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log (- 0.12)) (log x)))) (+ (* (/ (pow (- 0.7027777777777777) 1) 1)))) into (* -0.7027777777777777 (exp (* 1/3 (- (log (- 0.12)) (log x))))) 14.416 * [backup-simplify]: Simplify (* -0.7027777777777777 (exp (* 1/3 (- (log (- 0.12)) (log x))))) into (* -0.7027777777777777 (exp (* 1/3 (- (log (- 0.12)) (log x))))) 14.417 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.417 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 14.418 * [backup-simplify]: Simplify (- 0) into 0 14.418 * [backup-simplify]: Simplify (+ 0 0) into 0 14.425 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0.253) 2)) (pow (- 0.12) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- 0.12) 1)))) 2) into (/ -0.0320045 (pow -0.12 2)) 14.426 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log (- 0.12))) into (- (log (- 0.12)) (log x)) 14.428 * [backup-simplify]: Simplify (+ (* 1/3 (/ -0.0320045 (pow -0.12 2))) (+ (* 0 -2.1083333333333334) (* 0 (- (log (- 0.12)) (log x))))) into (- (* 0.010668166666666666 (/ 1 (pow -0.12 2)))) 14.438 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log (- 0.12)) (log x)))) (+ (* (/ (pow (- 0.7027777777777777) 2) 2)) (* (/ (pow (- (* 0.010668166666666666 (/ 1 (pow -0.12 2)))) 1) 1)))) into (* (exp (* 1/3 (- (log (- 0.12)) (log x)))) (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow -0.12 2))))) 14.441 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log (- 0.12)) (log x)))) (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow -0.12 2))))) into (* (exp (* 1/3 (- (log (- 0.12)) (log x)))) (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow -0.12 2))))) 14.447 * [backup-simplify]: Simplify (+ (* (* (exp (* 1/3 (- (log (- 0.12)) (log (/ 1 (- x)))))) (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow -0.12 2))))) (pow (/ 1 (- x)) 2)) (+ (* (* -0.7027777777777777 (exp (* 1/3 (- (log (- 0.12)) (log (/ 1 (- x))))))) (/ 1 (- x))) (exp (* 1/3 (- (log (- 0.12)) (log (/ 1 (- x)))))))) into (- (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x)) (+ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2))))) 14.447 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 14.448 * [backup-simplify]: Simplify (cbrt (+ (* x 0.12) 0.253)) into (pow (+ (* 0.12 x) 0.253) 1/3) 14.448 * [approximate]: Taking taylor expansion of (pow (+ (* 0.12 x) 0.253) 1/3) in (x) around 0 14.448 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 x) 0.253) 1/3) in x 14.448 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.12 x) 0.253)))) in x 14.448 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.12 x) 0.253))) in x 14.448 * [taylor]: Taking taylor expansion of 1/3 in x 14.448 * [backup-simplify]: Simplify 1/3 into 1/3 14.448 * [taylor]: Taking taylor expansion of (log (+ (* 0.12 x) 0.253)) in x 14.448 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 14.448 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 14.448 * [taylor]: Taking taylor expansion of 0.12 in x 14.448 * [backup-simplify]: Simplify 0.12 into 0.12 14.448 * [taylor]: Taking taylor expansion of x in x 14.448 * [backup-simplify]: Simplify 0 into 0 14.448 * [backup-simplify]: Simplify 1 into 1 14.448 * [taylor]: Taking taylor expansion of 0.253 in x 14.448 * [backup-simplify]: Simplify 0.253 into 0.253 14.448 * [backup-simplify]: Simplify (* 0.12 0) into 0 14.448 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 14.449 * [backup-simplify]: Simplify (log 0.253) into (log 0.253) 14.449 * [backup-simplify]: Simplify (* 1/3 (log 0.253)) into (* 1/3 (log 0.253)) 14.450 * [backup-simplify]: Simplify (exp (* 1/3 (log 0.253))) into (pow 0.253 1/3) 14.450 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 x) 0.253) 1/3) in x 14.450 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.12 x) 0.253)))) in x 14.450 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.12 x) 0.253))) in x 14.450 * [taylor]: Taking taylor expansion of 1/3 in x 14.450 * [backup-simplify]: Simplify 1/3 into 1/3 14.450 * [taylor]: Taking taylor expansion of (log (+ (* 0.12 x) 0.253)) in x 14.450 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 14.450 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 14.450 * [taylor]: Taking taylor expansion of 0.12 in x 14.450 * [backup-simplify]: Simplify 0.12 into 0.12 14.450 * [taylor]: Taking taylor expansion of x in x 14.450 * [backup-simplify]: Simplify 0 into 0 14.450 * [backup-simplify]: Simplify 1 into 1 14.450 * [taylor]: Taking taylor expansion of 0.253 in x 14.450 * [backup-simplify]: Simplify 0.253 into 0.253 14.451 * [backup-simplify]: Simplify (* 0.12 0) into 0 14.451 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 14.451 * [backup-simplify]: Simplify (log 0.253) into (log 0.253) 14.452 * [backup-simplify]: Simplify (* 1/3 (log 0.253)) into (* 1/3 (log 0.253)) 14.453 * [backup-simplify]: Simplify (exp (* 1/3 (log 0.253))) into (pow 0.253 1/3) 14.453 * [backup-simplify]: Simplify (pow 0.253 1/3) into (pow 0.253 1/3) 14.454 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12 14.454 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 14.458 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0.12) 1)) (pow 0.253 1)))) 1) into 0.4743083003952569 14.459 * [backup-simplify]: Simplify (+ (* 1/3 0.4743083003952569) (* 0 (log 0.253))) into 0.15810276679841895 14.462 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 0.253))) (+ (* (/ (pow 0.15810276679841895 1) 1)))) into (* 0.15810276679841895 (pow 0.253 1/3)) 14.463 * [backup-simplify]: Simplify (* 0.15810276679841895 (pow 0.253 1/3)) into (* 0.15810276679841895 (pow 0.253 1/3)) 14.464 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0 14.464 * [backup-simplify]: Simplify (+ 0 0) into 0 14.471 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0.12) 2)) (pow 0.253 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 0.253 1)))) 2) into (/ -0.0072 (pow 0.253 2)) 14.473 * [backup-simplify]: Simplify (+ (* 1/3 (/ -0.0072 (pow 0.253 2))) (+ (* 0 0.4743083003952569) (* 0 (log 0.253)))) into (- (* 0.0024 (/ 1 (pow 0.253 2)))) 14.482 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 0.253))) (+ (* (/ (pow 0.15810276679841895 2) 2)) (* (/ (pow (- (* 0.0024 (/ 1 (pow 0.253 2)))) 1) 1)))) into (* (pow 0.253 1/3) (- 0.012498242434657622 (* 0.0024 (/ 1 (pow 0.253 2))))) 14.485 * [backup-simplify]: Simplify (* (pow 0.253 1/3) (- 0.012498242434657622 (* 0.0024 (/ 1 (pow 0.253 2))))) into (* (pow 0.253 1/3) (- 0.012498242434657622 (* 0.0024 (/ 1 (pow 0.253 2))))) 14.489 * [backup-simplify]: Simplify (+ (* (* (pow 0.253 1/3) (- 0.012498242434657622 (* 0.0024 (/ 1 (pow 0.253 2))))) (pow x 2)) (+ (* (* 0.15810276679841895 (pow 0.253 1/3)) x) (pow 0.253 1/3))) into (- (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2))))) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2)))) 14.490 * [backup-simplify]: Simplify (cbrt (+ (* (/ 1 x) 0.12) 0.253)) into (pow (+ 0.253 (* 0.12 (/ 1 x))) 1/3) 14.490 * [approximate]: Taking taylor expansion of (pow (+ 0.253 (* 0.12 (/ 1 x))) 1/3) in (x) around 0 14.490 * [taylor]: Taking taylor expansion of (pow (+ 0.253 (* 0.12 (/ 1 x))) 1/3) in x 14.490 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 0.253 (* 0.12 (/ 1 x)))))) in x 14.490 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 0.253 (* 0.12 (/ 1 x))))) in x 14.490 * [taylor]: Taking taylor expansion of 1/3 in x 14.490 * [backup-simplify]: Simplify 1/3 into 1/3 14.490 * [taylor]: Taking taylor expansion of (log (+ 0.253 (* 0.12 (/ 1 x)))) in x 14.490 * [taylor]: Taking taylor expansion of (+ 0.253 (* 0.12 (/ 1 x))) in x 14.490 * [taylor]: Taking taylor expansion of 0.253 in x 14.490 * [backup-simplify]: Simplify 0.253 into 0.253 14.490 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 14.490 * [taylor]: Taking taylor expansion of 0.12 in x 14.490 * [backup-simplify]: Simplify 0.12 into 0.12 14.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.490 * [taylor]: Taking taylor expansion of x in x 14.490 * [backup-simplify]: Simplify 0 into 0 14.490 * [backup-simplify]: Simplify 1 into 1 14.490 * [backup-simplify]: Simplify (/ 1 1) into 1 14.490 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 14.491 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12 14.491 * [backup-simplify]: Simplify (log 0.12) into (log 0.12) 14.492 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log 0.12)) into (- (log 0.12) (log x)) 14.492 * [backup-simplify]: Simplify (* 1/3 (- (log 0.12) (log x))) into (* 1/3 (- (log 0.12) (log x))) 14.492 * [backup-simplify]: Simplify (exp (* 1/3 (- (log 0.12) (log x)))) into (exp (* 1/3 (- (log 0.12) (log x)))) 14.492 * [taylor]: Taking taylor expansion of (pow (+ 0.253 (* 0.12 (/ 1 x))) 1/3) in x 14.492 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 0.253 (* 0.12 (/ 1 x)))))) in x 14.492 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 0.253 (* 0.12 (/ 1 x))))) in x 14.492 * [taylor]: Taking taylor expansion of 1/3 in x 14.492 * [backup-simplify]: Simplify 1/3 into 1/3 14.492 * [taylor]: Taking taylor expansion of (log (+ 0.253 (* 0.12 (/ 1 x)))) in x 14.492 * [taylor]: Taking taylor expansion of (+ 0.253 (* 0.12 (/ 1 x))) in x 14.492 * [taylor]: Taking taylor expansion of 0.253 in x 14.492 * [backup-simplify]: Simplify 0.253 into 0.253 14.492 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 14.492 * [taylor]: Taking taylor expansion of 0.12 in x 14.492 * [backup-simplify]: Simplify 0.12 into 0.12 14.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.492 * [taylor]: Taking taylor expansion of x in x 14.492 * [backup-simplify]: Simplify 0 into 0 14.492 * [backup-simplify]: Simplify 1 into 1 14.493 * [backup-simplify]: Simplify (/ 1 1) into 1 14.493 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 14.493 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12 14.494 * [backup-simplify]: Simplify (log 0.12) into (log 0.12) 14.494 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log 0.12)) into (- (log 0.12) (log x)) 14.498 * [backup-simplify]: Simplify (* 1/3 (- (log 0.12) (log x))) into (* 1/3 (- (log 0.12) (log x))) 14.498 * [backup-simplify]: Simplify (exp (* 1/3 (- (log 0.12) (log x)))) into (exp (* 1/3 (- (log 0.12) (log x)))) 14.499 * [backup-simplify]: Simplify (exp (* 1/3 (- (log 0.12) (log x)))) into (exp (* 1/3 (- (log 0.12) (log x)))) 14.499 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.500 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 14.500 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 14.504 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0.253) 1)) (pow 0.12 1)))) 1) into 2.1083333333333334 14.505 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log 0.12)) into (- (log 0.12) (log x)) 14.505 * [backup-simplify]: Simplify (+ (* 1/3 2.1083333333333334) (* 0 (- (log 0.12) (log x)))) into 0.7027777777777777 14.507 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log 0.12) (log x)))) (+ (* (/ (pow 0.7027777777777777 1) 1)))) into (* 0.7027777777777777 (exp (* 1/3 (- (log 0.12) (log x))))) 14.507 * [backup-simplify]: Simplify (* 0.7027777777777777 (exp (* 1/3 (- (log 0.12) (log x))))) into (* 0.7027777777777777 (exp (* 1/3 (- (log 0.12) (log x))))) 14.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.509 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 14.509 * [backup-simplify]: Simplify (+ 0 0) into 0 14.516 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0.253) 2)) (pow 0.12 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 0.12 1)))) 2) into (/ -0.0320045 (pow 0.12 2)) 14.517 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log 0.12)) into (- (log 0.12) (log x)) 14.518 * [backup-simplify]: Simplify (+ (* 1/3 (/ -0.0320045 (pow 0.12 2))) (+ (* 0 2.1083333333333334) (* 0 (- (log 0.12) (log x))))) into (- (* 0.010668166666666666 (/ 1 (pow 0.12 2)))) 14.530 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log 0.12) (log x)))) (+ (* (/ (pow 0.7027777777777777 2) 2)) (* (/ (pow (- (* 0.010668166666666666 (/ 1 (pow 0.12 2)))) 1) 1)))) into (* (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow 0.12 2)))) (exp (* 1/3 (- (log 0.12) (log x))))) 14.534 * [backup-simplify]: Simplify (* (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow 0.12 2)))) (exp (* 1/3 (- (log 0.12) (log x))))) into (* (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow 0.12 2)))) (exp (* 1/3 (- (log 0.12) (log x))))) 14.538 * [backup-simplify]: Simplify (+ (* (* (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow 0.12 2)))) (exp (* 1/3 (- (log 0.12) (log (/ 1 x)))))) (pow (/ 1 x) 2)) (+ (* (* 0.7027777777777777 (exp (* 1/3 (- (log 0.12) (log (/ 1 x)))))) (/ 1 x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) into (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (pow x 2))) (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (* (pow 0.12 2) (pow x 2))))) 14.539 * [backup-simplify]: Simplify (cbrt (+ (* (/ 1 (- x)) 0.12) 0.253)) into (pow (- 0.253 (* 0.12 (/ 1 x))) 1/3) 14.539 * [approximate]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 1/3) in (x) around 0 14.539 * [taylor]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 1/3) in x 14.539 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 0.253 (* 0.12 (/ 1 x)))))) in x 14.539 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 0.253 (* 0.12 (/ 1 x))))) in x 14.539 * [taylor]: Taking taylor expansion of 1/3 in x 14.539 * [backup-simplify]: Simplify 1/3 into 1/3 14.539 * [taylor]: Taking taylor expansion of (log (- 0.253 (* 0.12 (/ 1 x)))) in x 14.539 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 14.539 * [taylor]: Taking taylor expansion of 0.253 in x 14.539 * [backup-simplify]: Simplify 0.253 into 0.253 14.539 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 14.539 * [taylor]: Taking taylor expansion of 0.12 in x 14.539 * [backup-simplify]: Simplify 0.12 into 0.12 14.539 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.539 * [taylor]: Taking taylor expansion of x in x 14.539 * [backup-simplify]: Simplify 0 into 0 14.539 * [backup-simplify]: Simplify 1 into 1 14.540 * [backup-simplify]: Simplify (/ 1 1) into 1 14.540 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 14.540 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 14.541 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 14.542 * [backup-simplify]: Simplify (log (- 0.12)) into (log (- 0.12)) 14.543 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log (- 0.12))) into (- (log (- 0.12)) (log x)) 14.543 * [backup-simplify]: Simplify (* 1/3 (- (log (- 0.12)) (log x))) into (* 1/3 (- (log (- 0.12)) (log x))) 14.544 * [backup-simplify]: Simplify (exp (* 1/3 (- (log (- 0.12)) (log x)))) into (exp (* 1/3 (- (log (- 0.12)) (log x)))) 14.544 * [taylor]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 1/3) in x 14.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 0.253 (* 0.12 (/ 1 x)))))) in x 14.544 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 0.253 (* 0.12 (/ 1 x))))) in x 14.544 * [taylor]: Taking taylor expansion of 1/3 in x 14.544 * [backup-simplify]: Simplify 1/3 into 1/3 14.544 * [taylor]: Taking taylor expansion of (log (- 0.253 (* 0.12 (/ 1 x)))) in x 14.544 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 14.544 * [taylor]: Taking taylor expansion of 0.253 in x 14.544 * [backup-simplify]: Simplify 0.253 into 0.253 14.544 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 14.544 * [taylor]: Taking taylor expansion of 0.12 in x 14.544 * [backup-simplify]: Simplify 0.12 into 0.12 14.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.544 * [taylor]: Taking taylor expansion of x in x 14.544 * [backup-simplify]: Simplify 0 into 0 14.544 * [backup-simplify]: Simplify 1 into 1 14.545 * [backup-simplify]: Simplify (/ 1 1) into 1 14.545 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 14.545 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 14.546 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 14.546 * [backup-simplify]: Simplify (log (- 0.12)) into (log (- 0.12)) 14.547 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log (- 0.12))) into (- (log (- 0.12)) (log x)) 14.548 * [backup-simplify]: Simplify (* 1/3 (- (log (- 0.12)) (log x))) into (* 1/3 (- (log (- 0.12)) (log x))) 14.548 * [backup-simplify]: Simplify (exp (* 1/3 (- (log (- 0.12)) (log x)))) into (exp (* 1/3 (- (log (- 0.12)) (log x)))) 14.549 * [backup-simplify]: Simplify (exp (* 1/3 (- (log (- 0.12)) (log x)))) into (exp (* 1/3 (- (log (- 0.12)) (log x)))) 14.549 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.550 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 14.550 * [backup-simplify]: Simplify (- 0) into 0 14.550 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 14.555 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0.253) 1)) (pow (- 0.12) 1)))) 1) into -2.1083333333333334 14.556 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log (- 0.12))) into (- (log (- 0.12)) (log x)) 14.556 * [backup-simplify]: Simplify (+ (* 1/3 -2.1083333333333334) (* 0 (- (log (- 0.12)) (log x)))) into (- 0.7027777777777777) 14.559 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log (- 0.12)) (log x)))) (+ (* (/ (pow (- 0.7027777777777777) 1) 1)))) into (* -0.7027777777777777 (exp (* 1/3 (- (log (- 0.12)) (log x))))) 14.559 * [backup-simplify]: Simplify (* -0.7027777777777777 (exp (* 1/3 (- (log (- 0.12)) (log x))))) into (* -0.7027777777777777 (exp (* 1/3 (- (log (- 0.12)) (log x))))) 14.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.560 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 14.561 * [backup-simplify]: Simplify (- 0) into 0 14.561 * [backup-simplify]: Simplify (+ 0 0) into 0 14.568 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0.253) 2)) (pow (- 0.12) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- 0.12) 1)))) 2) into (/ -0.0320045 (pow -0.12 2)) 14.569 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log (- 0.12))) into (- (log (- 0.12)) (log x)) 14.571 * [backup-simplify]: Simplify (+ (* 1/3 (/ -0.0320045 (pow -0.12 2))) (+ (* 0 -2.1083333333333334) (* 0 (- (log (- 0.12)) (log x))))) into (- (* 0.010668166666666666 (/ 1 (pow -0.12 2)))) 14.581 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log (- 0.12)) (log x)))) (+ (* (/ (pow (- 0.7027777777777777) 2) 2)) (* (/ (pow (- (* 0.010668166666666666 (/ 1 (pow -0.12 2)))) 1) 1)))) into (* (exp (* 1/3 (- (log (- 0.12)) (log x)))) (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow -0.12 2))))) 14.584 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log (- 0.12)) (log x)))) (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow -0.12 2))))) into (* (exp (* 1/3 (- (log (- 0.12)) (log x)))) (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow -0.12 2))))) 14.588 * [backup-simplify]: Simplify (+ (* (* (exp (* 1/3 (- (log (- 0.12)) (log (/ 1 (- x)))))) (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow -0.12 2))))) (pow (/ 1 (- x)) 2)) (+ (* (* -0.7027777777777777 (exp (* 1/3 (- (log (- 0.12)) (log (/ 1 (- x))))))) (/ 1 (- x))) (exp (* 1/3 (- (log (- 0.12)) (log (/ 1 (- x)))))))) into (- (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x)) (+ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2))))) 14.588 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 14.588 * [backup-simplify]: Simplify (cbrt (+ (* x 0.12) 0.253)) into (pow (+ (* 0.12 x) 0.253) 1/3) 14.588 * [approximate]: Taking taylor expansion of (pow (+ (* 0.12 x) 0.253) 1/3) in (x) around 0 14.588 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 x) 0.253) 1/3) in x 14.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.12 x) 0.253)))) in x 14.588 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.12 x) 0.253))) in x 14.588 * [taylor]: Taking taylor expansion of 1/3 in x 14.588 * [backup-simplify]: Simplify 1/3 into 1/3 14.588 * [taylor]: Taking taylor expansion of (log (+ (* 0.12 x) 0.253)) in x 14.588 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 14.588 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 14.588 * [taylor]: Taking taylor expansion of 0.12 in x 14.588 * [backup-simplify]: Simplify 0.12 into 0.12 14.588 * [taylor]: Taking taylor expansion of x in x 14.588 * [backup-simplify]: Simplify 0 into 0 14.588 * [backup-simplify]: Simplify 1 into 1 14.588 * [taylor]: Taking taylor expansion of 0.253 in x 14.588 * [backup-simplify]: Simplify 0.253 into 0.253 14.589 * [backup-simplify]: Simplify (* 0.12 0) into 0 14.589 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 14.589 * [backup-simplify]: Simplify (log 0.253) into (log 0.253) 14.590 * [backup-simplify]: Simplify (* 1/3 (log 0.253)) into (* 1/3 (log 0.253)) 14.591 * [backup-simplify]: Simplify (exp (* 1/3 (log 0.253))) into (pow 0.253 1/3) 14.591 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 x) 0.253) 1/3) in x 14.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.12 x) 0.253)))) in x 14.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.12 x) 0.253))) in x 14.591 * [taylor]: Taking taylor expansion of 1/3 in x 14.591 * [backup-simplify]: Simplify 1/3 into 1/3 14.591 * [taylor]: Taking taylor expansion of (log (+ (* 0.12 x) 0.253)) in x 14.591 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 14.591 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 14.591 * [taylor]: Taking taylor expansion of 0.12 in x 14.591 * [backup-simplify]: Simplify 0.12 into 0.12 14.591 * [taylor]: Taking taylor expansion of x in x 14.591 * [backup-simplify]: Simplify 0 into 0 14.591 * [backup-simplify]: Simplify 1 into 1 14.591 * [taylor]: Taking taylor expansion of 0.253 in x 14.591 * [backup-simplify]: Simplify 0.253 into 0.253 14.591 * [backup-simplify]: Simplify (* 0.12 0) into 0 14.592 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 14.592 * [backup-simplify]: Simplify (log 0.253) into (log 0.253) 14.592 * [backup-simplify]: Simplify (* 1/3 (log 0.253)) into (* 1/3 (log 0.253)) 14.593 * [backup-simplify]: Simplify (exp (* 1/3 (log 0.253))) into (pow 0.253 1/3) 14.594 * [backup-simplify]: Simplify (pow 0.253 1/3) into (pow 0.253 1/3) 14.595 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12 14.595 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 14.603 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0.12) 1)) (pow 0.253 1)))) 1) into 0.4743083003952569 14.604 * [backup-simplify]: Simplify (+ (* 1/3 0.4743083003952569) (* 0 (log 0.253))) into 0.15810276679841895 14.608 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 0.253))) (+ (* (/ (pow 0.15810276679841895 1) 1)))) into (* 0.15810276679841895 (pow 0.253 1/3)) 14.608 * [backup-simplify]: Simplify (* 0.15810276679841895 (pow 0.253 1/3)) into (* 0.15810276679841895 (pow 0.253 1/3)) 14.609 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0 14.609 * [backup-simplify]: Simplify (+ 0 0) into 0 14.616 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0.12) 2)) (pow 0.253 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 0.253 1)))) 2) into (/ -0.0072 (pow 0.253 2)) 14.619 * [backup-simplify]: Simplify (+ (* 1/3 (/ -0.0072 (pow 0.253 2))) (+ (* 0 0.4743083003952569) (* 0 (log 0.253)))) into (- (* 0.0024 (/ 1 (pow 0.253 2)))) 14.628 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 0.253))) (+ (* (/ (pow 0.15810276679841895 2) 2)) (* (/ (pow (- (* 0.0024 (/ 1 (pow 0.253 2)))) 1) 1)))) into (* (pow 0.253 1/3) (- 0.012498242434657622 (* 0.0024 (/ 1 (pow 0.253 2))))) 14.631 * [backup-simplify]: Simplify (* (pow 0.253 1/3) (- 0.012498242434657622 (* 0.0024 (/ 1 (pow 0.253 2))))) into (* (pow 0.253 1/3) (- 0.012498242434657622 (* 0.0024 (/ 1 (pow 0.253 2))))) 14.634 * [backup-simplify]: Simplify (+ (* (* (pow 0.253 1/3) (- 0.012498242434657622 (* 0.0024 (/ 1 (pow 0.253 2))))) (pow x 2)) (+ (* (* 0.15810276679841895 (pow 0.253 1/3)) x) (pow 0.253 1/3))) into (- (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2))))) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2)))) 14.635 * [backup-simplify]: Simplify (cbrt (+ (* (/ 1 x) 0.12) 0.253)) into (pow (+ 0.253 (* 0.12 (/ 1 x))) 1/3) 14.635 * [approximate]: Taking taylor expansion of (pow (+ 0.253 (* 0.12 (/ 1 x))) 1/3) in (x) around 0 14.635 * [taylor]: Taking taylor expansion of (pow (+ 0.253 (* 0.12 (/ 1 x))) 1/3) in x 14.635 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 0.253 (* 0.12 (/ 1 x)))))) in x 14.635 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 0.253 (* 0.12 (/ 1 x))))) in x 14.635 * [taylor]: Taking taylor expansion of 1/3 in x 14.635 * [backup-simplify]: Simplify 1/3 into 1/3 14.635 * [taylor]: Taking taylor expansion of (log (+ 0.253 (* 0.12 (/ 1 x)))) in x 14.635 * [taylor]: Taking taylor expansion of (+ 0.253 (* 0.12 (/ 1 x))) in x 14.635 * [taylor]: Taking taylor expansion of 0.253 in x 14.635 * [backup-simplify]: Simplify 0.253 into 0.253 14.635 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 14.635 * [taylor]: Taking taylor expansion of 0.12 in x 14.635 * [backup-simplify]: Simplify 0.12 into 0.12 14.635 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.635 * [taylor]: Taking taylor expansion of x in x 14.635 * [backup-simplify]: Simplify 0 into 0 14.635 * [backup-simplify]: Simplify 1 into 1 14.635 * [backup-simplify]: Simplify (/ 1 1) into 1 14.636 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 14.636 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12 14.637 * [backup-simplify]: Simplify (log 0.12) into (log 0.12) 14.637 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log 0.12)) into (- (log 0.12) (log x)) 14.638 * [backup-simplify]: Simplify (* 1/3 (- (log 0.12) (log x))) into (* 1/3 (- (log 0.12) (log x))) 14.638 * [backup-simplify]: Simplify (exp (* 1/3 (- (log 0.12) (log x)))) into (exp (* 1/3 (- (log 0.12) (log x)))) 14.638 * [taylor]: Taking taylor expansion of (pow (+ 0.253 (* 0.12 (/ 1 x))) 1/3) in x 14.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 0.253 (* 0.12 (/ 1 x)))))) in x 14.639 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 0.253 (* 0.12 (/ 1 x))))) in x 14.639 * [taylor]: Taking taylor expansion of 1/3 in x 14.639 * [backup-simplify]: Simplify 1/3 into 1/3 14.639 * [taylor]: Taking taylor expansion of (log (+ 0.253 (* 0.12 (/ 1 x)))) in x 14.639 * [taylor]: Taking taylor expansion of (+ 0.253 (* 0.12 (/ 1 x))) in x 14.639 * [taylor]: Taking taylor expansion of 0.253 in x 14.639 * [backup-simplify]: Simplify 0.253 into 0.253 14.639 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 14.639 * [taylor]: Taking taylor expansion of 0.12 in x 14.639 * [backup-simplify]: Simplify 0.12 into 0.12 14.639 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.639 * [taylor]: Taking taylor expansion of x in x 14.639 * [backup-simplify]: Simplify 0 into 0 14.639 * [backup-simplify]: Simplify 1 into 1 14.639 * [backup-simplify]: Simplify (/ 1 1) into 1 14.640 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 14.640 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12 14.641 * [backup-simplify]: Simplify (log 0.12) into (log 0.12) 14.642 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log 0.12)) into (- (log 0.12) (log x)) 14.642 * [backup-simplify]: Simplify (* 1/3 (- (log 0.12) (log x))) into (* 1/3 (- (log 0.12) (log x))) 14.643 * [backup-simplify]: Simplify (exp (* 1/3 (- (log 0.12) (log x)))) into (exp (* 1/3 (- (log 0.12) (log x)))) 14.643 * [backup-simplify]: Simplify (exp (* 1/3 (- (log 0.12) (log x)))) into (exp (* 1/3 (- (log 0.12) (log x)))) 14.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.645 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 14.645 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 14.653 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0.253) 1)) (pow 0.12 1)))) 1) into 2.1083333333333334 14.654 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log 0.12)) into (- (log 0.12) (log x)) 14.655 * [backup-simplify]: Simplify (+ (* 1/3 2.1083333333333334) (* 0 (- (log 0.12) (log x)))) into 0.7027777777777777 14.658 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log 0.12) (log x)))) (+ (* (/ (pow 0.7027777777777777 1) 1)))) into (* 0.7027777777777777 (exp (* 1/3 (- (log 0.12) (log x))))) 14.658 * [backup-simplify]: Simplify (* 0.7027777777777777 (exp (* 1/3 (- (log 0.12) (log x))))) into (* 0.7027777777777777 (exp (* 1/3 (- (log 0.12) (log x))))) 14.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.660 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 14.661 * [backup-simplify]: Simplify (+ 0 0) into 0 14.674 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0.253) 2)) (pow 0.12 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 0.12 1)))) 2) into (/ -0.0320045 (pow 0.12 2)) 14.675 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log 0.12)) into (- (log 0.12) (log x)) 14.677 * [backup-simplify]: Simplify (+ (* 1/3 (/ -0.0320045 (pow 0.12 2))) (+ (* 0 2.1083333333333334) (* 0 (- (log 0.12) (log x))))) into (- (* 0.010668166666666666 (/ 1 (pow 0.12 2)))) 14.688 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log 0.12) (log x)))) (+ (* (/ (pow 0.7027777777777777 2) 2)) (* (/ (pow (- (* 0.010668166666666666 (/ 1 (pow 0.12 2)))) 1) 1)))) into (* (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow 0.12 2)))) (exp (* 1/3 (- (log 0.12) (log x))))) 14.692 * [backup-simplify]: Simplify (* (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow 0.12 2)))) (exp (* 1/3 (- (log 0.12) (log x))))) into (* (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow 0.12 2)))) (exp (* 1/3 (- (log 0.12) (log x))))) 14.698 * [backup-simplify]: Simplify (+ (* (* (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow 0.12 2)))) (exp (* 1/3 (- (log 0.12) (log (/ 1 x)))))) (pow (/ 1 x) 2)) (+ (* (* 0.7027777777777777 (exp (* 1/3 (- (log 0.12) (log (/ 1 x)))))) (/ 1 x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) into (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (pow x 2))) (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (* (pow 0.12 2) (pow x 2))))) 14.698 * [backup-simplify]: Simplify (cbrt (+ (* (/ 1 (- x)) 0.12) 0.253)) into (pow (- 0.253 (* 0.12 (/ 1 x))) 1/3) 14.698 * [approximate]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 1/3) in (x) around 0 14.698 * [taylor]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 1/3) in x 14.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 0.253 (* 0.12 (/ 1 x)))))) in x 14.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 0.253 (* 0.12 (/ 1 x))))) in x 14.698 * [taylor]: Taking taylor expansion of 1/3 in x 14.698 * [backup-simplify]: Simplify 1/3 into 1/3 14.698 * [taylor]: Taking taylor expansion of (log (- 0.253 (* 0.12 (/ 1 x)))) in x 14.698 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 14.698 * [taylor]: Taking taylor expansion of 0.253 in x 14.698 * [backup-simplify]: Simplify 0.253 into 0.253 14.698 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 14.699 * [taylor]: Taking taylor expansion of 0.12 in x 14.699 * [backup-simplify]: Simplify 0.12 into 0.12 14.699 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.699 * [taylor]: Taking taylor expansion of x in x 14.699 * [backup-simplify]: Simplify 0 into 0 14.699 * [backup-simplify]: Simplify 1 into 1 14.699 * [backup-simplify]: Simplify (/ 1 1) into 1 14.700 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 14.700 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 14.701 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 14.702 * [backup-simplify]: Simplify (log (- 0.12)) into (log (- 0.12)) 14.703 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log (- 0.12))) into (- (log (- 0.12)) (log x)) 14.704 * [backup-simplify]: Simplify (* 1/3 (- (log (- 0.12)) (log x))) into (* 1/3 (- (log (- 0.12)) (log x))) 14.705 * [backup-simplify]: Simplify (exp (* 1/3 (- (log (- 0.12)) (log x)))) into (exp (* 1/3 (- (log (- 0.12)) (log x)))) 14.705 * [taylor]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 1/3) in x 14.705 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 0.253 (* 0.12 (/ 1 x)))))) in x 14.705 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 0.253 (* 0.12 (/ 1 x))))) in x 14.705 * [taylor]: Taking taylor expansion of 1/3 in x 14.705 * [backup-simplify]: Simplify 1/3 into 1/3 14.705 * [taylor]: Taking taylor expansion of (log (- 0.253 (* 0.12 (/ 1 x)))) in x 14.705 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 14.705 * [taylor]: Taking taylor expansion of 0.253 in x 14.706 * [backup-simplify]: Simplify 0.253 into 0.253 14.706 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 14.706 * [taylor]: Taking taylor expansion of 0.12 in x 14.706 * [backup-simplify]: Simplify 0.12 into 0.12 14.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.706 * [taylor]: Taking taylor expansion of x in x 14.706 * [backup-simplify]: Simplify 0 into 0 14.706 * [backup-simplify]: Simplify 1 into 1 14.706 * [backup-simplify]: Simplify (/ 1 1) into 1 14.707 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 14.707 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 14.709 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 14.710 * [backup-simplify]: Simplify (log (- 0.12)) into (log (- 0.12)) 14.711 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log (- 0.12))) into (- (log (- 0.12)) (log x)) 14.712 * [backup-simplify]: Simplify (* 1/3 (- (log (- 0.12)) (log x))) into (* 1/3 (- (log (- 0.12)) (log x))) 14.713 * [backup-simplify]: Simplify (exp (* 1/3 (- (log (- 0.12)) (log x)))) into (exp (* 1/3 (- (log (- 0.12)) (log x)))) 14.714 * [backup-simplify]: Simplify (exp (* 1/3 (- (log (- 0.12)) (log x)))) into (exp (* 1/3 (- (log (- 0.12)) (log x)))) 14.715 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.716 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 14.716 * [backup-simplify]: Simplify (- 0) into 0 14.717 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 14.731 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0.253) 1)) (pow (- 0.12) 1)))) 1) into -2.1083333333333334 14.732 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log (- 0.12))) into (- (log (- 0.12)) (log x)) 14.734 * [backup-simplify]: Simplify (+ (* 1/3 -2.1083333333333334) (* 0 (- (log (- 0.12)) (log x)))) into (- 0.7027777777777777) 14.738 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log (- 0.12)) (log x)))) (+ (* (/ (pow (- 0.7027777777777777) 1) 1)))) into (* -0.7027777777777777 (exp (* 1/3 (- (log (- 0.12)) (log x))))) 14.739 * [backup-simplify]: Simplify (* -0.7027777777777777 (exp (* 1/3 (- (log (- 0.12)) (log x))))) into (* -0.7027777777777777 (exp (* 1/3 (- (log (- 0.12)) (log x))))) 14.740 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.741 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 14.742 * [backup-simplify]: Simplify (- 0) into 0 14.742 * [backup-simplify]: Simplify (+ 0 0) into 0 14.756 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0.253) 2)) (pow (- 0.12) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- 0.12) 1)))) 2) into (/ -0.0320045 (pow -0.12 2)) 14.757 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log (- 0.12))) into (- (log (- 0.12)) (log x)) 14.759 * [backup-simplify]: Simplify (+ (* 1/3 (/ -0.0320045 (pow -0.12 2))) (+ (* 0 -2.1083333333333334) (* 0 (- (log (- 0.12)) (log x))))) into (- (* 0.010668166666666666 (/ 1 (pow -0.12 2)))) 14.766 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log (- 0.12)) (log x)))) (+ (* (/ (pow (- 0.7027777777777777) 2) 2)) (* (/ (pow (- (* 0.010668166666666666 (/ 1 (pow -0.12 2)))) 1) 1)))) into (* (exp (* 1/3 (- (log (- 0.12)) (log x)))) (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow -0.12 2))))) 14.769 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log (- 0.12)) (log x)))) (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow -0.12 2))))) into (* (exp (* 1/3 (- (log (- 0.12)) (log x)))) (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow -0.12 2))))) 14.772 * [backup-simplify]: Simplify (+ (* (* (exp (* 1/3 (- (log (- 0.12)) (log (/ 1 (- x)))))) (- 0.24694830246913577 (* 0.010668166666666666 (/ 1 (pow -0.12 2))))) (pow (/ 1 (- x)) 2)) (+ (* (* -0.7027777777777777 (exp (* 1/3 (- (log (- 0.12)) (log (/ 1 (- x))))))) (/ 1 (- x))) (exp (* 1/3 (- (log (- 0.12)) (log (/ 1 (- x)))))))) into (- (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x)) (+ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2))))) 14.773 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 14.773 * [backup-simplify]: Simplify (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (* x 0.12) 0.253))) into (* (+ (* 0.12 x) 0.253) x) 14.773 * [approximate]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in (x) around 0 14.773 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 14.773 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 14.773 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 14.773 * [taylor]: Taking taylor expansion of 0.12 in x 14.773 * [backup-simplify]: Simplify 0.12 into 0.12 14.773 * [taylor]: Taking taylor expansion of x in x 14.773 * [backup-simplify]: Simplify 0 into 0 14.773 * [backup-simplify]: Simplify 1 into 1 14.773 * [taylor]: Taking taylor expansion of 0.253 in x 14.773 * [backup-simplify]: Simplify 0.253 into 0.253 14.773 * [taylor]: Taking taylor expansion of x in x 14.773 * [backup-simplify]: Simplify 0 into 0 14.773 * [backup-simplify]: Simplify 1 into 1 14.773 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 14.773 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 14.773 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 14.773 * [taylor]: Taking taylor expansion of 0.12 in x 14.773 * [backup-simplify]: Simplify 0.12 into 0.12 14.773 * [taylor]: Taking taylor expansion of x in x 14.773 * [backup-simplify]: Simplify 0 into 0 14.773 * [backup-simplify]: Simplify 1 into 1 14.773 * [taylor]: Taking taylor expansion of 0.253 in x 14.773 * [backup-simplify]: Simplify 0.253 into 0.253 14.773 * [taylor]: Taking taylor expansion of x in x 14.773 * [backup-simplify]: Simplify 0 into 0 14.773 * [backup-simplify]: Simplify 1 into 1 14.774 * [backup-simplify]: Simplify (* 0.12 0) into 0 14.774 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 14.774 * [backup-simplify]: Simplify (* 0.253 0) into 0 14.774 * [backup-simplify]: Simplify 0 into 0 14.775 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12 14.776 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 14.776 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0.12 0)) into 0.253 14.776 * [backup-simplify]: Simplify 0.253 into 0.253 14.777 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0 14.777 * [backup-simplify]: Simplify (+ 0 0) into 0 14.779 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 1) (* 0 0))) into 0.12 14.779 * [backup-simplify]: Simplify 0.12 into 0.12 14.780 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 14.780 * [backup-simplify]: Simplify (+ 0 0) into 0 14.781 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 1) (* 0 0)))) into 0 14.781 * [backup-simplify]: Simplify 0 into 0 14.782 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 14.782 * [backup-simplify]: Simplify (+ 0 0) into 0 14.783 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 14.783 * [backup-simplify]: Simplify 0 into 0 14.784 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 14.784 * [backup-simplify]: Simplify (+ 0 0) into 0 14.785 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 14.785 * [backup-simplify]: Simplify 0 into 0 14.786 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 14.786 * [backup-simplify]: Simplify (+ 0 0) into 0 14.787 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 14.787 * [backup-simplify]: Simplify 0 into 0 14.788 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 14.789 * [backup-simplify]: Simplify (+ 0 0) into 0 14.790 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 14.790 * [backup-simplify]: Simplify 0 into 0 14.791 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 14.791 * [backup-simplify]: Simplify (+ 0 0) into 0 14.794 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 14.794 * [backup-simplify]: Simplify 0 into 0 14.794 * [backup-simplify]: Simplify (+ (* 0.12 (pow x 2)) (* 0.253 x)) into (+ (* 0.12 (pow x 2)) (* 0.253 x)) 14.795 * [backup-simplify]: Simplify (* (* (/ 1 x) (* (cbrt (+ (* (/ 1 x) 0.12) 0.253)) (cbrt (+ (* (/ 1 x) 0.12) 0.253)))) (cbrt (+ (* (/ 1 x) 0.12) 0.253))) into (/ (+ 0.253 (* 0.12 (/ 1 x))) x) 14.795 * [approximate]: Taking taylor expansion of (/ (+ 0.253 (* 0.12 (/ 1 x))) x) in (x) around 0 14.795 * [taylor]: Taking taylor expansion of (/ (+ 0.253 (* 0.12 (/ 1 x))) x) in x 14.795 * [taylor]: Taking taylor expansion of (+ 0.253 (* 0.12 (/ 1 x))) in x 14.795 * [taylor]: Taking taylor expansion of 0.253 in x 14.795 * [backup-simplify]: Simplify 0.253 into 0.253 14.795 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 14.795 * [taylor]: Taking taylor expansion of 0.12 in x 14.795 * [backup-simplify]: Simplify 0.12 into 0.12 14.795 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.795 * [taylor]: Taking taylor expansion of x in x 14.795 * [backup-simplify]: Simplify 0 into 0 14.795 * [backup-simplify]: Simplify 1 into 1 14.796 * [backup-simplify]: Simplify (/ 1 1) into 1 14.796 * [taylor]: Taking taylor expansion of x in x 14.796 * [backup-simplify]: Simplify 0 into 0 14.796 * [backup-simplify]: Simplify 1 into 1 14.796 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 14.797 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12 14.797 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 14.797 * [taylor]: Taking taylor expansion of (/ (+ 0.253 (* 0.12 (/ 1 x))) x) in x 14.797 * [taylor]: Taking taylor expansion of (+ 0.253 (* 0.12 (/ 1 x))) in x 14.797 * [taylor]: Taking taylor expansion of 0.253 in x 14.797 * [backup-simplify]: Simplify 0.253 into 0.253 14.797 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 14.797 * [taylor]: Taking taylor expansion of 0.12 in x 14.797 * [backup-simplify]: Simplify 0.12 into 0.12 14.797 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.797 * [taylor]: Taking taylor expansion of x in x 14.797 * [backup-simplify]: Simplify 0 into 0 14.797 * [backup-simplify]: Simplify 1 into 1 14.798 * [backup-simplify]: Simplify (/ 1 1) into 1 14.798 * [taylor]: Taking taylor expansion of x in x 14.798 * [backup-simplify]: Simplify 0 into 0 14.798 * [backup-simplify]: Simplify 1 into 1 14.798 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 14.799 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12 14.799 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 14.799 * [backup-simplify]: Simplify 0.12 into 0.12 14.800 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.801 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 14.802 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 14.804 * [backup-simplify]: Simplify (- (/ 0.253 1) (+ (* 0.12 (/ 0 1)))) into 0.253 14.804 * [backup-simplify]: Simplify 0.253 into 0.253 14.805 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.806 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 14.806 * [backup-simplify]: Simplify (+ 0 0) into 0 14.807 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)))) into 0 14.807 * [backup-simplify]: Simplify 0 into 0 14.808 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.809 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.810 * [backup-simplify]: Simplify (+ 0 0) into 0 14.811 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.811 * [backup-simplify]: Simplify 0 into 0 14.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.813 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.814 * [backup-simplify]: Simplify (+ 0 0) into 0 14.815 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.815 * [backup-simplify]: Simplify 0 into 0 14.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.818 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.818 * [backup-simplify]: Simplify (+ 0 0) into 0 14.819 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.819 * [backup-simplify]: Simplify 0 into 0 14.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.822 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.822 * [backup-simplify]: Simplify (+ 0 0) into 0 14.824 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.824 * [backup-simplify]: Simplify 0 into 0 14.825 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.826 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 14.827 * [backup-simplify]: Simplify (+ 0 0) into 0 14.828 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.828 * [backup-simplify]: Simplify 0 into 0 14.829 * [backup-simplify]: Simplify (+ (* 0.253 (/ 1 (/ 1 x))) (* 0.12 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 0.12 (pow x 2)) (* 0.253 x)) 14.829 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (* (cbrt (+ (* (/ 1 (- x)) 0.12) 0.253)) (cbrt (+ (* (/ 1 (- x)) 0.12) 0.253)))) (cbrt (+ (* (/ 1 (- x)) 0.12) 0.253))) into (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) 14.829 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in (x) around 0 14.829 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 14.829 * [taylor]: Taking taylor expansion of -1 in x 14.829 * [backup-simplify]: Simplify -1 into -1 14.829 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 14.829 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 14.830 * [taylor]: Taking taylor expansion of 0.253 in x 14.830 * [backup-simplify]: Simplify 0.253 into 0.253 14.830 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 14.830 * [taylor]: Taking taylor expansion of 0.12 in x 14.830 * [backup-simplify]: Simplify 0.12 into 0.12 14.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.830 * [taylor]: Taking taylor expansion of x in x 14.830 * [backup-simplify]: Simplify 0 into 0 14.830 * [backup-simplify]: Simplify 1 into 1 14.830 * [backup-simplify]: Simplify (/ 1 1) into 1 14.830 * [taylor]: Taking taylor expansion of x in x 14.830 * [backup-simplify]: Simplify 0 into 0 14.830 * [backup-simplify]: Simplify 1 into 1 14.831 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 14.831 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 14.832 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 14.833 * [backup-simplify]: Simplify (/ (- 0.12) 1) into -0.12 14.833 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 14.833 * [taylor]: Taking taylor expansion of -1 in x 14.833 * [backup-simplify]: Simplify -1 into -1 14.833 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 14.833 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 14.833 * [taylor]: Taking taylor expansion of 0.253 in x 14.833 * [backup-simplify]: Simplify 0.253 into 0.253 14.833 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 14.833 * [taylor]: Taking taylor expansion of 0.12 in x 14.833 * [backup-simplify]: Simplify 0.12 into 0.12 14.833 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.833 * [taylor]: Taking taylor expansion of x in x 14.833 * [backup-simplify]: Simplify 0 into 0 14.833 * [backup-simplify]: Simplify 1 into 1 14.834 * [backup-simplify]: Simplify (/ 1 1) into 1 14.834 * [taylor]: Taking taylor expansion of x in x 14.834 * [backup-simplify]: Simplify 0 into 0 14.834 * [backup-simplify]: Simplify 1 into 1 14.834 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 14.835 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 14.835 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 14.836 * [backup-simplify]: Simplify (/ (- 0.12) 1) into -0.12 14.837 * [backup-simplify]: Simplify (* -1 -0.12) into 0.12 14.837 * [backup-simplify]: Simplify 0.12 into 0.12 14.838 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.838 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 14.839 * [backup-simplify]: Simplify (- 0) into 0 14.839 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 14.841 * [backup-simplify]: Simplify (- (/ 0.253 1) (+ (* -0.12 (/ 0 1)))) into 0.253 14.843 * [backup-simplify]: Simplify (+ (* -1 0.253) (* 0 -0.12)) into (- 0.253) 14.843 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 14.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.845 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 14.845 * [backup-simplify]: Simplify (- 0) into 0 14.846 * [backup-simplify]: Simplify (+ 0 0) into 0 14.847 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)))) into 0 14.848 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0.253) (* 0 -0.12))) into 0 14.848 * [backup-simplify]: Simplify 0 into 0 14.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.849 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.849 * [backup-simplify]: Simplify (- 0) into 0 14.849 * [backup-simplify]: Simplify (+ 0 0) into 0 14.850 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.854 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))) into 0 14.854 * [backup-simplify]: Simplify 0 into 0 14.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.855 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.856 * [backup-simplify]: Simplify (- 0) into 0 14.856 * [backup-simplify]: Simplify (+ 0 0) into 0 14.857 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.858 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12))))) into 0 14.858 * [backup-simplify]: Simplify 0 into 0 14.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.859 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.859 * [backup-simplify]: Simplify (- 0) into 0 14.859 * [backup-simplify]: Simplify (+ 0 0) into 0 14.860 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.861 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))))) into 0 14.861 * [backup-simplify]: Simplify 0 into 0 14.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.863 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.863 * [backup-simplify]: Simplify (- 0) into 0 14.863 * [backup-simplify]: Simplify (+ 0 0) into 0 14.864 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.865 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12))))))) into 0 14.865 * [backup-simplify]: Simplify 0 into 0 14.866 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.867 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 14.867 * [backup-simplify]: Simplify (- 0) into 0 14.867 * [backup-simplify]: Simplify (+ 0 0) into 0 14.868 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.869 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))))))) into 0 14.869 * [backup-simplify]: Simplify 0 into 0 14.870 * [backup-simplify]: Simplify (+ (* (- 0.253) (/ 1 (/ 1 (- x)))) (* 0.12 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 0.12 (pow x 2)) (* 0.253 x)) 14.870 * * * [progress]: simplifying candidates 14.872 * [simplify]: Simplifying: (log (cbrt (+ (* x 0.12) 0.253))) (exp (cbrt (+ (* x 0.12) 0.253))) (cbrt (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (cbrt (+ (* x 0.12) 0.253))) (cbrt (sqrt (+ (* x 0.12) 0.253))) (cbrt (sqrt (+ (* x 0.12) 0.253))) (cbrt 1) (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253)))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (- (* x 0.12) 0.253)) (* (cbrt (cbrt (+ (* x 0.12) 0.253))) (cbrt (cbrt (+ (* x 0.12) 0.253)))) (cbrt (cbrt (+ (* x 0.12) 0.253))) (* (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253))) (cbrt (+ (* x 0.12) 0.253))) (sqrt (cbrt (+ (* x 0.12) 0.253))) (sqrt (cbrt (+ (* x 0.12) 0.253))) (log (cbrt (+ (* x 0.12) 0.253))) (exp (cbrt (+ (* x 0.12) 0.253))) (cbrt (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (cbrt (+ (* x 0.12) 0.253))) (cbrt (sqrt (+ (* x 0.12) 0.253))) (cbrt (sqrt (+ (* x 0.12) 0.253))) (cbrt 1) (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253)))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (- (* x 0.12) 0.253)) (* (cbrt (cbrt (+ (* x 0.12) 0.253))) (cbrt (cbrt (+ (* x 0.12) 0.253)))) (cbrt (cbrt (+ (* x 0.12) 0.253))) (* (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253))) (cbrt (+ (* x 0.12) 0.253))) (sqrt (cbrt (+ (* x 0.12) 0.253))) (sqrt (cbrt (+ (* x 0.12) 0.253))) (log (cbrt (+ (* x 0.12) 0.253))) (exp (cbrt (+ (* x 0.12) 0.253))) (cbrt (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (cbrt (+ (* x 0.12) 0.253))) (cbrt (sqrt (+ (* x 0.12) 0.253))) (cbrt (sqrt (+ (* x 0.12) 0.253))) (cbrt 1) (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253)))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (- (* x 0.12) 0.253)) (* (cbrt (cbrt (+ (* x 0.12) 0.253))) (cbrt (cbrt (+ (* x 0.12) 0.253)))) (cbrt (cbrt (+ (* x 0.12) 0.253))) (* (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253))) (cbrt (+ (* x 0.12) 0.253))) (sqrt (cbrt (+ (* x 0.12) 0.253))) (sqrt (cbrt (+ (* x 0.12) 0.253))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (* x 0.12) 0.253))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (* x 0.12) 0.253))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (* x 0.12) 0.253))) (+ (+ (log x) (+ (log (cbrt (+ (* x 0.12) 0.253))) (log (cbrt (+ (* x 0.12) 0.253))))) (log (cbrt (+ (* x 0.12) 0.253)))) (+ (+ (log x) (log (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253))))) (log (cbrt (+ (* x 0.12) 0.253)))) (+ (log (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253))))) (log (cbrt (+ (* x 0.12) 0.253)))) (log (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (* x 0.12) 0.253)))) (exp (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (* x 0.12) 0.253)))) (* (* (* (* x x) x) (* (+ (* x 0.12) 0.253) (+ (* x 0.12) 0.253))) (+ (* x 0.12) 0.253)) (* (* (* (* x x) x) (* (* (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253))) (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253))))) (+ (* x 0.12) 0.253)) (* (* (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253))))) (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253))))) (+ (* x 0.12) 0.253)) (* (cbrt (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (* x 0.12) 0.253))))) (cbrt (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (* x 0.12) 0.253)))) (* (* (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (* x 0.12) 0.253))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (* x 0.12) 0.253)))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (* x 0.12) 0.253)))) (sqrt (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (* x 0.12) 0.253)))) (sqrt (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (* x 0.12) 0.253)))) (* (* x (* (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (* (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253)))) (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253))))) (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253))))) (* (* x (* (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253)))) (* (* (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253)))) (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253))))) (cbrt (- (* x 0.12) 0.253))) (* (* x (* (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (* (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253)))) (cbrt (- (* x 0.12) 0.253))) (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253))))) (* (* x (* (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253)))) (* (* (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253)))) (cbrt (- (* x 0.12) 0.253))) (cbrt (- (* x 0.12) 0.253))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (* (cbrt (- (* x 0.12) 0.253)) (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253))))) (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253))))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253)))) (* (* (cbrt (- (* x 0.12) 0.253)) (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253))))) (cbrt (- (* x 0.12) 0.253))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (* (cbrt (- (* x 0.12) 0.253)) (cbrt (- (* x 0.12) 0.253))) (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253))))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253)))) (* (* (cbrt (- (* x 0.12) 0.253)) (cbrt (- (* x 0.12) 0.253))) (cbrt (- (* x 0.12) 0.253))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253)))) (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253))))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253)))) (* (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253)))) (cbrt (- (* x 0.12) 0.253))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (cbrt (- (* x 0.12) 0.253)) (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253))))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253)))) (* (cbrt (- (* x 0.12) 0.253)) (cbrt (- (* x 0.12) 0.253))) (* (* x (* (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253)))) (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253))))) (* (* x (* (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253)))) (* (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253)))) (cbrt (- (* x 0.12) 0.253))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (cbrt (- (* x 0.12) 0.253)) (cbrt (+ (* (* x 0.12) (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) 0.253))))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253)))) (* (cbrt (- (* x 0.12) 0.253)) (cbrt (- (* x 0.12) 0.253))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253))))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (sqrt (+ (* x 0.12) 0.253)))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt 1)) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (* (cbrt (cbrt (+ (* x 0.12) 0.253))) (cbrt (cbrt (+ (* x 0.12) 0.253))))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (sqrt (cbrt (+ (* x 0.12) 0.253)))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) 1) (* (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253))) (cbrt (+ (* x 0.12) 0.253))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253)))) (* (* x (* (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))))) (cbrt (+ (* x 0.12) 0.253))) (* (* x (* (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))))) (cbrt (+ (* x 0.12) 0.253))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))))) (cbrt (+ (* x 0.12) 0.253))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))))) (cbrt (+ (* x 0.12) 0.253))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))))) (cbrt (+ (* x 0.12) 0.253))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))))) (cbrt (+ (* x 0.12) 0.253))) (* (* x (* (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (* x 0.12) 0.253))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (* x 0.12) 0.253))) (- (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2))))) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2)))) (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (pow x 2))) (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (* (pow 0.12 2) (pow x 2))))) (- (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x)) (+ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2))))) (- (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2))))) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2)))) (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (pow x 2))) (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (* (pow 0.12 2) (pow x 2))))) (- (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x)) (+ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2))))) (- (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2))))) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2)))) (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (pow x 2))) (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (* (pow 0.12 2) (pow x 2))))) (- (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x)) (+ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2))))) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) 14.876 * * [simplify]: Extracting # 0 : cost 0 14.876 * * [simplify]: Extracting # 1 : cost 0 14.877 * * [simplify]: Extracting # 2 : cost 0 14.877 * * [simplify]: Extracting # 3 : cost 0 14.877 * * [simplify]: Extracting # 4 : cost 0 14.877 * * [simplify]: Extracting # 5 : cost 0 14.877 * * [simplify]: Extracting # 6 : cost 0 14.878 * * [simplify]: Extracting # 7 : cost 0 14.878 * * [simplify]: Extracting # 8 : cost 0 14.878 * * [simplify]: Extracting # 9 : cost 0 14.878 * * [simplify]: Extracting # 10 : cost 0 14.879 * * [simplify]: Extracting # 11 : cost 0 14.879 * * [simplify]: Extracting # 12 : cost 0 14.879 * * [simplify]: Extracting # 13 : cost 0 14.879 * * [simplify]: Extracting # 14 : cost 0 14.879 * * [simplify]: Extracting # 15 : cost 0 14.880 * * [simplify]: iteration 0 : 186 enodes (cost 3007 ) 14.941 * * [simplify]: Extracting # 0 : cost 0 14.942 * * [simplify]: Extracting # 1 : cost 0 14.942 * * [simplify]: Extracting # 2 : cost 0 14.943 * * [simplify]: Extracting # 3 : cost 0 14.943 * * [simplify]: Extracting # 4 : cost 0 14.948 * * [simplify]: Extracting # 5 : cost 0 14.948 * * [simplify]: iteration 1 : 527 enodes (cost 2911 ) 15.343 * * [simplify]: Extracting # 0 : cost 0 15.345 * * [simplify]: Extracting # 1 : cost 0 15.348 * * [simplify]: Extracting # 2 : cost 0 15.350 * * [simplify]: Extracting # 3 : cost 0 15.355 * * [simplify]: Extracting # 4 : cost 0 15.360 * * [simplify]: iteration 2 : 2372 enodes (cost 2547 ) 16.433 * * [simplify]: Extracting # 0 : cost 0 16.446 * * [simplify]: Extracting # 1 : cost 0 16.458 * * [simplify]: Extracting # 2 : cost 0 16.470 * * [simplify]: Extracting # 3 : cost 0 16.482 * * [simplify]: Extracting # 4 : cost 0 16.504 * * [simplify]: Extracting # 5 : cost 0 16.515 * * [simplify]: iteration done: 5000 enodes (cost 2381 ) 16.517 * [simplify]: Simplified to: (log (cbrt (+ (* x 0.12) 0.253))) (exp (cbrt (+ (* x 0.12) 0.253))) (cbrt (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (cbrt (+ (* x 0.12) 0.253))) (cbrt (sqrt (+ (* x 0.12) 0.253))) (cbrt (sqrt (+ (* x 0.12) 0.253))) 1 (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12))))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (- (* x 0.12) 0.253)) (* (cbrt (cbrt (+ (* x 0.12) 0.253))) (cbrt (cbrt (+ (* x 0.12) 0.253)))) (cbrt (cbrt (+ (* x 0.12) 0.253))) (+ (* x 0.12) 0.253) (sqrt (cbrt (+ (* x 0.12) 0.253))) (sqrt (cbrt (+ (* x 0.12) 0.253))) (log (cbrt (+ (* x 0.12) 0.253))) (exp (cbrt (+ (* x 0.12) 0.253))) (cbrt (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (cbrt (+ (* x 0.12) 0.253))) (cbrt (sqrt (+ (* x 0.12) 0.253))) (cbrt (sqrt (+ (* x 0.12) 0.253))) 1 (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12))))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (- (* x 0.12) 0.253)) (* (cbrt (cbrt (+ (* x 0.12) 0.253))) (cbrt (cbrt (+ (* x 0.12) 0.253)))) (cbrt (cbrt (+ (* x 0.12) 0.253))) (+ (* x 0.12) 0.253) (sqrt (cbrt (+ (* x 0.12) 0.253))) (sqrt (cbrt (+ (* x 0.12) 0.253))) (log (cbrt (+ (* x 0.12) 0.253))) (exp (cbrt (+ (* x 0.12) 0.253))) (cbrt (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (cbrt (+ (* x 0.12) 0.253))) (cbrt (sqrt (+ (* x 0.12) 0.253))) (cbrt (sqrt (+ (* x 0.12) 0.253))) 1 (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12))))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (- (* x 0.12) 0.253)) (* (cbrt (cbrt (+ (* x 0.12) 0.253))) (cbrt (cbrt (+ (* x 0.12) 0.253)))) (cbrt (cbrt (+ (* x 0.12) 0.253))) (+ (* x 0.12) 0.253) (sqrt (cbrt (+ (* x 0.12) 0.253))) (sqrt (cbrt (+ (* x 0.12) 0.253))) (* (+ (* x 0.12) 0.253) x) (* (+ (* x 0.12) 0.253) x) (* (+ (* x 0.12) 0.253) x) (log (* (+ (* x 0.12) 0.253) x)) (log (* (+ (* x 0.12) 0.253) x)) (log (* (+ (* x 0.12) 0.253) x)) (log (* (+ (* x 0.12) 0.253) x)) (pow (exp x) (+ (* x 0.12) 0.253)) (* (pow x 3) (pow (+ (* x 0.12) 0.253) 3)) (* (pow x 3) (pow (+ (* x 0.12) 0.253) 3)) (pow (* (+ (* x 0.12) 0.253) x) 3) (* (cbrt (* (+ (* x 0.12) 0.253) x)) (cbrt (* (+ (* x 0.12) 0.253) x))) (cbrt (* (+ (* x 0.12) 0.253) x)) (pow (* (+ (* x 0.12) 0.253) x) 3) (sqrt (* (+ (* x 0.12) 0.253) x)) (sqrt (* (+ (* x 0.12) 0.253) x)) (* x (pow (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) 3)) (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12)))) (* (* x (* (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253)))) (* (cbrt (- (* x 0.12) 0.253)) (* (cbrt (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12))))) (cbrt (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12))))))) (* (* x (* (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253)))) (* (cbrt (- (* x 0.12) 0.253)) (* (cbrt (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12))))) (cbrt (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12))))))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (cbrt (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12))))) (* (cbrt (- (* x 0.12) 0.253)) (cbrt (- (* x 0.12) 0.253)))) (* (* x (* (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253)))) (* (cbrt (- (* x 0.12) 0.253)) (* (cbrt (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12))))) (cbrt (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12))))))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (cbrt (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12))))) (* (cbrt (- (* x 0.12) 0.253)) (cbrt (- (* x 0.12) 0.253)))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (cbrt (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12))))) (* (cbrt (- (* x 0.12) 0.253)) (cbrt (- (* x 0.12) 0.253)))) (* (pow (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) 3) x) (- (* x 0.12) 0.253) (* (* x (* (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))))) (cbrt (+ (* x 0.12) 0.253))) (* (cbrt (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12))))) (cbrt (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12)))))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (cbrt (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12))))) (cbrt (- (* x 0.12) 0.253))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (cbrt (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12))))) (cbrt (- (* x 0.12) 0.253))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))))) (cbrt (+ (* x 0.12) 0.253))) (* (cbrt (- (* x 0.12) 0.253)) (cbrt (- (* x 0.12) 0.253))) (* (* x (* (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))))) (cbrt (+ (* x 0.12) 0.253))) (* (cbrt (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12))))) (cbrt (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12)))))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (cbrt (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12))))) (cbrt (- (* x 0.12) 0.253))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (cbrt (+ (* (pow 0.12 2) (pow x 2)) (* 0.253 (- 0.253 (* x 0.12))))) (cbrt (- (* x 0.12) 0.253))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))))) (cbrt (+ (* x 0.12) 0.253))) (* (cbrt (- (* x 0.12) 0.253)) (cbrt (- (* x 0.12) 0.253))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253))))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (sqrt (+ (* x 0.12) 0.253)))) (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (* (cbrt (cbrt (+ (* x 0.12) 0.253))) (cbrt (cbrt (+ (* x 0.12) 0.253))))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (sqrt (cbrt (+ (* x 0.12) 0.253)))) (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (+ (* x 0.12) 0.253) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253)))) (* (* x (* (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3))))) (cbrt (+ (* x 0.12) 0.253))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (* x (* (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253))))) (cbrt (+ (* x 0.12) 0.253))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253)))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (+ (pow (* x 0.12) 3) (pow 0.253 3)))) (* (* x (* (cbrt (+ (* x 0.12) 0.253)) (cbrt (+ (* x 0.12) 0.253)))) (cbrt (- (* (* x 0.12) (* x 0.12)) (* 0.253 0.253)))) (+ (* (* 0.15810276679841895 (cbrt 0.253)) x) (- (+ (* (* (pow x 2) (cbrt 0.253)) 0.012498242434657622) (cbrt 0.253)) (* (* (pow x 2) (cbrt (/ 1 (pow 0.253 5)))) 0.0024))) (+ (+ (/ 0.7027777777777777 (/ x (cbrt (exp (+ (log x) (log 0.12)))))) (* 0.24694830246913577 (/ (cbrt (exp (+ (log x) (log 0.12)))) (* x x)))) (- (cbrt (exp (+ (log x) (log 0.12)))) (* (/ 0.010668166666666666 (* (* x 0.12) x)) (/ (cbrt (exp (+ (log x) (log 0.12)))) 0.12)))) (+ (+ (* (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) (* x x)) 0.24694830246913577) (cbrt (exp (- (log (- 0.12)) (log (/ -1 x)))))) (- (/ (* 0.7027777777777777 (cbrt (exp (- (log (- 0.12)) (log (/ -1 x)))))) x) (* 0.010668166666666666 (/ (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) (pow -0.12 2)) (* x x))))) (+ (* (* 0.15810276679841895 (cbrt 0.253)) x) (- (+ (* (* (pow x 2) (cbrt 0.253)) 0.012498242434657622) (cbrt 0.253)) (* (* (pow x 2) (cbrt (/ 1 (pow 0.253 5)))) 0.0024))) (+ (+ (/ 0.7027777777777777 (/ x (cbrt (exp (+ (log x) (log 0.12)))))) (* 0.24694830246913577 (/ (cbrt (exp (+ (log x) (log 0.12)))) (* x x)))) (- (cbrt (exp (+ (log x) (log 0.12)))) (* (/ 0.010668166666666666 (* (* x 0.12) x)) (/ (cbrt (exp (+ (log x) (log 0.12)))) 0.12)))) (+ (+ (* (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) (* x x)) 0.24694830246913577) (cbrt (exp (- (log (- 0.12)) (log (/ -1 x)))))) (- (/ (* 0.7027777777777777 (cbrt (exp (- (log (- 0.12)) (log (/ -1 x)))))) x) (* 0.010668166666666666 (/ (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) (pow -0.12 2)) (* x x))))) (+ (* (* 0.15810276679841895 (cbrt 0.253)) x) (- (+ (* (* (pow x 2) (cbrt 0.253)) 0.012498242434657622) (cbrt 0.253)) (* (* (pow x 2) (cbrt (/ 1 (pow 0.253 5)))) 0.0024))) (+ (+ (/ 0.7027777777777777 (/ x (cbrt (exp (+ (log x) (log 0.12)))))) (* 0.24694830246913577 (/ (cbrt (exp (+ (log x) (log 0.12)))) (* x x)))) (- (cbrt (exp (+ (log x) (log 0.12)))) (* (/ 0.010668166666666666 (* (* x 0.12) x)) (/ (cbrt (exp (+ (log x) (log 0.12)))) 0.12)))) (+ (+ (* (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) (* x x)) 0.24694830246913577) (cbrt (exp (- (log (- 0.12)) (log (/ -1 x)))))) (- (/ (* 0.7027777777777777 (cbrt (exp (- (log (- 0.12)) (log (/ -1 x)))))) x) (* 0.010668166666666666 (/ (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) (pow -0.12 2)) (* x x))))) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) 16.518 * * * [progress]: adding candidates to table 16.909 * * [progress]: iteration 3 / 4 16.909 * * * [progress]: picking best candidate 16.911 * * * * [pick]: Picked # 16.911 * * * [progress]: localizing error 16.920 * * * [progress]: generating rewritten candidates 16.920 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 16.934 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 16.945 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 16.977 * * * [progress]: generating series expansions 16.977 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 16.978 * [backup-simplify]: Simplify (* 0.12 (pow x 2)) into (* 0.12 (pow x 2)) 16.978 * [approximate]: Taking taylor expansion of (* 0.12 (pow x 2)) in (x) around 0 16.978 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 16.978 * [taylor]: Taking taylor expansion of 0.12 in x 16.978 * [backup-simplify]: Simplify 0.12 into 0.12 16.978 * [taylor]: Taking taylor expansion of (pow x 2) in x 16.978 * [taylor]: Taking taylor expansion of x in x 16.978 * [backup-simplify]: Simplify 0 into 0 16.978 * [backup-simplify]: Simplify 1 into 1 16.978 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 16.978 * [taylor]: Taking taylor expansion of 0.12 in x 16.978 * [backup-simplify]: Simplify 0.12 into 0.12 16.978 * [taylor]: Taking taylor expansion of (pow x 2) in x 16.978 * [taylor]: Taking taylor expansion of x in x 16.978 * [backup-simplify]: Simplify 0 into 0 16.978 * [backup-simplify]: Simplify 1 into 1 16.979 * [backup-simplify]: Simplify (* 1 1) into 1 16.979 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 16.979 * [backup-simplify]: Simplify 0.12 into 0.12 16.980 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.981 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 16.981 * [backup-simplify]: Simplify 0 into 0 16.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.983 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 16.983 * [backup-simplify]: Simplify 0 into 0 16.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 16.985 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 16.985 * [backup-simplify]: Simplify 0 into 0 16.986 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 16.988 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 16.988 * [backup-simplify]: Simplify 0 into 0 16.989 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 16.991 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 16.991 * [backup-simplify]: Simplify 0 into 0 16.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 16.994 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 16.994 * [backup-simplify]: Simplify 0 into 0 16.995 * [backup-simplify]: Simplify (* 0.12 (pow x 2)) into (* 0.12 (pow x 2)) 16.995 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 x) 2)) into (/ 0.12 (pow x 2)) 16.995 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 16.995 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 16.995 * [taylor]: Taking taylor expansion of 0.12 in x 16.995 * [backup-simplify]: Simplify 0.12 into 0.12 16.995 * [taylor]: Taking taylor expansion of (pow x 2) in x 16.995 * [taylor]: Taking taylor expansion of x in x 16.995 * [backup-simplify]: Simplify 0 into 0 16.995 * [backup-simplify]: Simplify 1 into 1 16.995 * [backup-simplify]: Simplify (* 1 1) into 1 16.996 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 16.996 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 16.996 * [taylor]: Taking taylor expansion of 0.12 in x 16.996 * [backup-simplify]: Simplify 0.12 into 0.12 16.996 * [taylor]: Taking taylor expansion of (pow x 2) in x 16.996 * [taylor]: Taking taylor expansion of x in x 16.996 * [backup-simplify]: Simplify 0 into 0 16.996 * [backup-simplify]: Simplify 1 into 1 16.997 * [backup-simplify]: Simplify (* 1 1) into 1 16.997 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 16.997 * [backup-simplify]: Simplify 0.12 into 0.12 16.998 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.999 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0 16.999 * [backup-simplify]: Simplify 0 into 0 17.000 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.001 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.001 * [backup-simplify]: Simplify 0 into 0 17.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.003 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.003 * [backup-simplify]: Simplify 0 into 0 17.011 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 17.013 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.013 * [backup-simplify]: Simplify 0 into 0 17.014 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 17.015 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.015 * [backup-simplify]: Simplify 0 into 0 17.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 17.018 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.018 * [backup-simplify]: Simplify 0 into 0 17.018 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 x)) 2)) into (* 0.12 (pow x 2)) 17.019 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (- x)) 2)) into (/ 0.12 (pow x 2)) 17.019 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 17.019 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 17.019 * [taylor]: Taking taylor expansion of 0.12 in x 17.019 * [backup-simplify]: Simplify 0.12 into 0.12 17.019 * [taylor]: Taking taylor expansion of (pow x 2) in x 17.019 * [taylor]: Taking taylor expansion of x in x 17.019 * [backup-simplify]: Simplify 0 into 0 17.019 * [backup-simplify]: Simplify 1 into 1 17.019 * [backup-simplify]: Simplify (* 1 1) into 1 17.020 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 17.020 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 17.020 * [taylor]: Taking taylor expansion of 0.12 in x 17.020 * [backup-simplify]: Simplify 0.12 into 0.12 17.020 * [taylor]: Taking taylor expansion of (pow x 2) in x 17.020 * [taylor]: Taking taylor expansion of x in x 17.020 * [backup-simplify]: Simplify 0 into 0 17.020 * [backup-simplify]: Simplify 1 into 1 17.021 * [backup-simplify]: Simplify (* 1 1) into 1 17.021 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 17.021 * [backup-simplify]: Simplify 0.12 into 0.12 17.022 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.023 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0 17.023 * [backup-simplify]: Simplify 0 into 0 17.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.025 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.025 * [backup-simplify]: Simplify 0 into 0 17.026 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.027 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.027 * [backup-simplify]: Simplify 0 into 0 17.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 17.030 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.030 * [backup-simplify]: Simplify 0 into 0 17.031 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 17.032 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.032 * [backup-simplify]: Simplify 0 into 0 17.034 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 17.035 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.035 * [backup-simplify]: Simplify 0 into 0 17.035 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 (- x))) 2)) into (* 0.12 (pow x 2)) 17.035 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 17.036 * [backup-simplify]: Simplify (+ (* 0.12 (pow x 2)) (* 0.253 x)) into (+ (* 0.12 (pow x 2)) (* 0.253 x)) 17.036 * [approximate]: Taking taylor expansion of (+ (* 0.12 (pow x 2)) (* 0.253 x)) in (x) around 0 17.036 * [taylor]: Taking taylor expansion of (+ (* 0.12 (pow x 2)) (* 0.253 x)) in x 17.036 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 17.036 * [taylor]: Taking taylor expansion of 0.12 in x 17.036 * [backup-simplify]: Simplify 0.12 into 0.12 17.036 * [taylor]: Taking taylor expansion of (pow x 2) in x 17.036 * [taylor]: Taking taylor expansion of x in x 17.036 * [backup-simplify]: Simplify 0 into 0 17.036 * [backup-simplify]: Simplify 1 into 1 17.036 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 17.036 * [taylor]: Taking taylor expansion of 0.253 in x 17.036 * [backup-simplify]: Simplify 0.253 into 0.253 17.036 * [taylor]: Taking taylor expansion of x in x 17.036 * [backup-simplify]: Simplify 0 into 0 17.036 * [backup-simplify]: Simplify 1 into 1 17.036 * [taylor]: Taking taylor expansion of (+ (* 0.12 (pow x 2)) (* 0.253 x)) in x 17.036 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 17.036 * [taylor]: Taking taylor expansion of 0.12 in x 17.036 * [backup-simplify]: Simplify 0.12 into 0.12 17.036 * [taylor]: Taking taylor expansion of (pow x 2) in x 17.036 * [taylor]: Taking taylor expansion of x in x 17.036 * [backup-simplify]: Simplify 0 into 0 17.036 * [backup-simplify]: Simplify 1 into 1 17.036 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 17.036 * [taylor]: Taking taylor expansion of 0.253 in x 17.036 * [backup-simplify]: Simplify 0.253 into 0.253 17.036 * [taylor]: Taking taylor expansion of x in x 17.037 * [backup-simplify]: Simplify 0 into 0 17.037 * [backup-simplify]: Simplify 1 into 1 17.037 * [backup-simplify]: Simplify (* 0.253 0) into 0 17.037 * [backup-simplify]: Simplify (+ 0 0) into 0 17.037 * [backup-simplify]: Simplify 0 into 0 17.039 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253 17.039 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 17.039 * [backup-simplify]: Simplify 0.253 into 0.253 17.040 * [backup-simplify]: Simplify (* 1 1) into 1 17.040 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 17.041 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0 17.042 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 17.042 * [backup-simplify]: Simplify 0.12 into 0.12 17.042 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.043 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 17.044 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 17.045 * [backup-simplify]: Simplify (+ 0 0) into 0 17.045 * [backup-simplify]: Simplify 0 into 0 17.046 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.047 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 17.048 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 17.048 * [backup-simplify]: Simplify (+ 0 0) into 0 17.048 * [backup-simplify]: Simplify 0 into 0 17.048 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.049 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.050 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 17.050 * [backup-simplify]: Simplify (+ 0 0) into 0 17.050 * [backup-simplify]: Simplify 0 into 0 17.051 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 17.052 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 17.052 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 17.053 * [backup-simplify]: Simplify (+ 0 0) into 0 17.053 * [backup-simplify]: Simplify 0 into 0 17.053 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 17.054 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 17.055 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 17.055 * [backup-simplify]: Simplify (+ 0 0) into 0 17.055 * [backup-simplify]: Simplify 0 into 0 17.056 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 17.057 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 17.058 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 17.058 * [backup-simplify]: Simplify (+ 0 0) into 0 17.059 * [backup-simplify]: Simplify 0 into 0 17.059 * [backup-simplify]: Simplify (+ (* 0.12 (pow x 2)) (* 0.253 x)) into (+ (* 0.12 (pow x 2)) (* 0.253 x)) 17.059 * [backup-simplify]: Simplify (+ (* 0.12 (pow (/ 1 x) 2)) (* 0.253 (/ 1 x))) into (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) 17.059 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in (x) around 0 17.059 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 17.059 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 17.059 * [taylor]: Taking taylor expansion of 0.12 in x 17.059 * [backup-simplify]: Simplify 0.12 into 0.12 17.059 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 17.059 * [taylor]: Taking taylor expansion of (pow x 2) in x 17.059 * [taylor]: Taking taylor expansion of x in x 17.059 * [backup-simplify]: Simplify 0 into 0 17.059 * [backup-simplify]: Simplify 1 into 1 17.059 * [backup-simplify]: Simplify (* 1 1) into 1 17.060 * [backup-simplify]: Simplify (/ 1 1) into 1 17.060 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 17.060 * [taylor]: Taking taylor expansion of 0.253 in x 17.060 * [backup-simplify]: Simplify 0.253 into 0.253 17.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.060 * [taylor]: Taking taylor expansion of x in x 17.060 * [backup-simplify]: Simplify 0 into 0 17.060 * [backup-simplify]: Simplify 1 into 1 17.060 * [backup-simplify]: Simplify (/ 1 1) into 1 17.060 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 17.060 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 17.060 * [taylor]: Taking taylor expansion of 0.12 in x 17.060 * [backup-simplify]: Simplify 0.12 into 0.12 17.060 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 17.060 * [taylor]: Taking taylor expansion of (pow x 2) in x 17.060 * [taylor]: Taking taylor expansion of x in x 17.060 * [backup-simplify]: Simplify 0 into 0 17.060 * [backup-simplify]: Simplify 1 into 1 17.060 * [backup-simplify]: Simplify (* 1 1) into 1 17.061 * [backup-simplify]: Simplify (/ 1 1) into 1 17.061 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 17.061 * [taylor]: Taking taylor expansion of 0.253 in x 17.061 * [backup-simplify]: Simplify 0.253 into 0.253 17.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.061 * [taylor]: Taking taylor expansion of x in x 17.061 * [backup-simplify]: Simplify 0 into 0 17.061 * [backup-simplify]: Simplify 1 into 1 17.061 * [backup-simplify]: Simplify (/ 1 1) into 1 17.061 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 17.062 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 17.062 * [backup-simplify]: Simplify 0.12 into 0.12 17.062 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.062 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.063 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 17.063 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 17.063 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 17.063 * [backup-simplify]: Simplify 0.253 into 0.253 17.064 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.065 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.065 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 17.065 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.066 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 17.066 * [backup-simplify]: Simplify (+ 0 0) into 0 17.066 * [backup-simplify]: Simplify 0 into 0 17.067 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.067 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.068 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.068 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.069 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0 17.069 * [backup-simplify]: Simplify (+ 0 0) into 0 17.069 * [backup-simplify]: Simplify 0 into 0 17.070 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 17.070 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.071 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 17.072 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.072 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.073 * [backup-simplify]: Simplify (+ 0 0) into 0 17.073 * [backup-simplify]: Simplify 0 into 0 17.073 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 17.074 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.075 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 17.075 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.076 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 17.076 * [backup-simplify]: Simplify (+ 0 0) into 0 17.076 * [backup-simplify]: Simplify 0 into 0 17.077 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 17.078 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.079 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 17.079 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.080 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 17.080 * [backup-simplify]: Simplify (+ 0 0) into 0 17.080 * [backup-simplify]: Simplify 0 into 0 17.081 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 17.082 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.083 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 17.084 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.084 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 17.085 * [backup-simplify]: Simplify (+ 0 0) into 0 17.085 * [backup-simplify]: Simplify 0 into 0 17.085 * [backup-simplify]: Simplify (+ (* 0.253 (/ 1 (/ 1 x))) (* 0.12 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 0.12 (pow x 2)) (* 0.253 x)) 17.085 * [backup-simplify]: Simplify (+ (* 0.12 (pow (/ 1 (- x)) 2)) (* 0.253 (/ 1 (- x)))) into (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) 17.085 * [approximate]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in (x) around 0 17.085 * [taylor]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 17.085 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 17.085 * [taylor]: Taking taylor expansion of 0.12 in x 17.085 * [backup-simplify]: Simplify 0.12 into 0.12 17.085 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 17.085 * [taylor]: Taking taylor expansion of (pow x 2) in x 17.085 * [taylor]: Taking taylor expansion of x in x 17.085 * [backup-simplify]: Simplify 0 into 0 17.085 * [backup-simplify]: Simplify 1 into 1 17.086 * [backup-simplify]: Simplify (* 1 1) into 1 17.086 * [backup-simplify]: Simplify (/ 1 1) into 1 17.086 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 17.086 * [taylor]: Taking taylor expansion of 0.253 in x 17.086 * [backup-simplify]: Simplify 0.253 into 0.253 17.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.086 * [taylor]: Taking taylor expansion of x in x 17.086 * [backup-simplify]: Simplify 0 into 0 17.086 * [backup-simplify]: Simplify 1 into 1 17.086 * [backup-simplify]: Simplify (/ 1 1) into 1 17.086 * [taylor]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 17.086 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 17.086 * [taylor]: Taking taylor expansion of 0.12 in x 17.086 * [backup-simplify]: Simplify 0.12 into 0.12 17.086 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 17.086 * [taylor]: Taking taylor expansion of (pow x 2) in x 17.086 * [taylor]: Taking taylor expansion of x in x 17.086 * [backup-simplify]: Simplify 0 into 0 17.086 * [backup-simplify]: Simplify 1 into 1 17.087 * [backup-simplify]: Simplify (* 1 1) into 1 17.087 * [backup-simplify]: Simplify (/ 1 1) into 1 17.087 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 17.087 * [taylor]: Taking taylor expansion of 0.253 in x 17.087 * [backup-simplify]: Simplify 0.253 into 0.253 17.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.087 * [taylor]: Taking taylor expansion of x in x 17.087 * [backup-simplify]: Simplify 0 into 0 17.087 * [backup-simplify]: Simplify 1 into 1 17.087 * [backup-simplify]: Simplify (/ 1 1) into 1 17.088 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 17.088 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 17.088 * [backup-simplify]: Simplify 0.12 into 0.12 17.089 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.089 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.089 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 17.090 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 17.090 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 17.091 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 17.091 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 17.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.092 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.092 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 17.093 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.093 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 17.094 * [backup-simplify]: Simplify (- 0) into 0 17.094 * [backup-simplify]: Simplify (+ 0 0) into 0 17.094 * [backup-simplify]: Simplify 0 into 0 17.094 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.095 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.096 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.096 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.097 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0 17.097 * [backup-simplify]: Simplify (- 0) into 0 17.097 * [backup-simplify]: Simplify (+ 0 0) into 0 17.097 * [backup-simplify]: Simplify 0 into 0 17.098 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 17.099 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.100 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 17.100 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.101 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.102 * [backup-simplify]: Simplify (- 0) into 0 17.102 * [backup-simplify]: Simplify (+ 0 0) into 0 17.102 * [backup-simplify]: Simplify 0 into 0 17.103 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 17.104 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.105 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 17.106 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.107 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 17.108 * [backup-simplify]: Simplify (- 0) into 0 17.108 * [backup-simplify]: Simplify (+ 0 0) into 0 17.108 * [backup-simplify]: Simplify 0 into 0 17.109 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 17.110 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.112 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 17.113 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.114 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 17.114 * [backup-simplify]: Simplify (- 0) into 0 17.115 * [backup-simplify]: Simplify (+ 0 0) into 0 17.115 * [backup-simplify]: Simplify 0 into 0 17.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 17.117 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.122 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 17.123 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.125 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 17.125 * [backup-simplify]: Simplify (- 0) into 0 17.125 * [backup-simplify]: Simplify (+ 0 0) into 0 17.125 * [backup-simplify]: Simplify 0 into 0 17.126 * [backup-simplify]: Simplify (+ (* (- 0.253) (/ 1 (/ 1 (- x)))) (* 0.12 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 0.12 (pow x 2)) (* 0.253 x)) 17.126 * * * * [progress]: [ 3 / 3 ] generating series at (2) 17.126 * [backup-simplify]: Simplify (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 17.127 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) in (x) around 0 17.127 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) in x 17.127 * [taylor]: Taking taylor expansion of 1.0 in x 17.127 * [backup-simplify]: Simplify 1.0 into 1.0 17.127 * [taylor]: Taking taylor expansion of (+ (* 0.12 (pow x 2)) (* 0.253 x)) in x 17.127 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 17.127 * [taylor]: Taking taylor expansion of 0.12 in x 17.127 * [backup-simplify]: Simplify 0.12 into 0.12 17.127 * [taylor]: Taking taylor expansion of (pow x 2) in x 17.127 * [taylor]: Taking taylor expansion of x in x 17.127 * [backup-simplify]: Simplify 0 into 0 17.127 * [backup-simplify]: Simplify 1 into 1 17.127 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 17.127 * [taylor]: Taking taylor expansion of 0.253 in x 17.127 * [backup-simplify]: Simplify 0.253 into 0.253 17.127 * [taylor]: Taking taylor expansion of x in x 17.127 * [backup-simplify]: Simplify 0 into 0 17.127 * [backup-simplify]: Simplify 1 into 1 17.127 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) in x 17.127 * [taylor]: Taking taylor expansion of 1.0 in x 17.127 * [backup-simplify]: Simplify 1.0 into 1.0 17.127 * [taylor]: Taking taylor expansion of (+ (* 0.12 (pow x 2)) (* 0.253 x)) in x 17.127 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 17.127 * [taylor]: Taking taylor expansion of 0.12 in x 17.127 * [backup-simplify]: Simplify 0.12 into 0.12 17.127 * [taylor]: Taking taylor expansion of (pow x 2) in x 17.127 * [taylor]: Taking taylor expansion of x in x 17.127 * [backup-simplify]: Simplify 0 into 0 17.127 * [backup-simplify]: Simplify 1 into 1 17.127 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 17.127 * [taylor]: Taking taylor expansion of 0.253 in x 17.127 * [backup-simplify]: Simplify 0.253 into 0.253 17.127 * [taylor]: Taking taylor expansion of x in x 17.127 * [backup-simplify]: Simplify 0 into 0 17.127 * [backup-simplify]: Simplify 1 into 1 17.128 * [backup-simplify]: Simplify (* 0.253 0) into 0 17.128 * [backup-simplify]: Simplify (+ 0 0) into 0 17.129 * [backup-simplify]: Simplify (- 0) into 0 17.129 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 17.129 * [backup-simplify]: Simplify 1.0 into 1.0 17.131 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253 17.131 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 17.131 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 17.132 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 17.132 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 17.133 * [backup-simplify]: Simplify (* 1 1) into 1 17.133 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 17.134 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0 17.134 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 17.134 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 17.135 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 17.135 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 17.136 * [backup-simplify]: Simplify (+ (* (- 0.12) (pow x 2)) (+ (* (- 0.253) x) 1.0)) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 17.136 * [backup-simplify]: Simplify (- 1.0 (+ (* 0.12 (pow (/ 1 x) 2)) (* 0.253 (/ 1 x)))) into (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) 17.136 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in (x) around 0 17.136 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in x 17.136 * [taylor]: Taking taylor expansion of 1.0 in x 17.136 * [backup-simplify]: Simplify 1.0 into 1.0 17.136 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 17.136 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 17.136 * [taylor]: Taking taylor expansion of 0.12 in x 17.136 * [backup-simplify]: Simplify 0.12 into 0.12 17.136 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 17.136 * [taylor]: Taking taylor expansion of (pow x 2) in x 17.136 * [taylor]: Taking taylor expansion of x in x 17.136 * [backup-simplify]: Simplify 0 into 0 17.136 * [backup-simplify]: Simplify 1 into 1 17.136 * [backup-simplify]: Simplify (* 1 1) into 1 17.137 * [backup-simplify]: Simplify (/ 1 1) into 1 17.137 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 17.137 * [taylor]: Taking taylor expansion of 0.253 in x 17.137 * [backup-simplify]: Simplify 0.253 into 0.253 17.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.137 * [taylor]: Taking taylor expansion of x in x 17.137 * [backup-simplify]: Simplify 0 into 0 17.137 * [backup-simplify]: Simplify 1 into 1 17.137 * [backup-simplify]: Simplify (/ 1 1) into 1 17.137 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in x 17.137 * [taylor]: Taking taylor expansion of 1.0 in x 17.137 * [backup-simplify]: Simplify 1.0 into 1.0 17.137 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 17.137 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 17.137 * [taylor]: Taking taylor expansion of 0.12 in x 17.137 * [backup-simplify]: Simplify 0.12 into 0.12 17.137 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 17.137 * [taylor]: Taking taylor expansion of (pow x 2) in x 17.137 * [taylor]: Taking taylor expansion of x in x 17.137 * [backup-simplify]: Simplify 0 into 0 17.137 * [backup-simplify]: Simplify 1 into 1 17.138 * [backup-simplify]: Simplify (* 1 1) into 1 17.138 * [backup-simplify]: Simplify (/ 1 1) into 1 17.138 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 17.138 * [taylor]: Taking taylor expansion of 0.253 in x 17.138 * [backup-simplify]: Simplify 0.253 into 0.253 17.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.138 * [taylor]: Taking taylor expansion of x in x 17.138 * [backup-simplify]: Simplify 0 into 0 17.138 * [backup-simplify]: Simplify 1 into 1 17.138 * [backup-simplify]: Simplify (/ 1 1) into 1 17.138 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 17.139 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 17.139 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 17.140 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 17.140 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 17.140 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.141 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 17.141 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 17.142 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 17.142 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 17.142 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 17.143 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 17.143 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.144 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 17.145 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.145 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 17.146 * [backup-simplify]: Simplify (+ 0 0) into 0 17.146 * [backup-simplify]: Simplify (- 0) into 0 17.146 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 17.146 * [backup-simplify]: Simplify 1.0 into 1.0 17.147 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 0.253) (/ 1 (/ 1 x))) (* (- 0.12) (pow (/ 1 (/ 1 x)) 2)))) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 17.147 * [backup-simplify]: Simplify (- 1.0 (+ (* 0.12 (pow (/ 1 (- x)) 2)) (* 0.253 (/ 1 (- x))))) into (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) 17.147 * [approximate]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 17.147 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 17.147 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 17.147 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 17.147 * [taylor]: Taking taylor expansion of 0.253 in x 17.147 * [backup-simplify]: Simplify 0.253 into 0.253 17.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.147 * [taylor]: Taking taylor expansion of x in x 17.147 * [backup-simplify]: Simplify 0 into 0 17.147 * [backup-simplify]: Simplify 1 into 1 17.148 * [backup-simplify]: Simplify (/ 1 1) into 1 17.148 * [taylor]: Taking taylor expansion of 1.0 in x 17.148 * [backup-simplify]: Simplify 1.0 into 1.0 17.148 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 17.148 * [taylor]: Taking taylor expansion of 0.12 in x 17.148 * [backup-simplify]: Simplify 0.12 into 0.12 17.148 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 17.148 * [taylor]: Taking taylor expansion of (pow x 2) in x 17.148 * [taylor]: Taking taylor expansion of x in x 17.148 * [backup-simplify]: Simplify 0 into 0 17.148 * [backup-simplify]: Simplify 1 into 1 17.148 * [backup-simplify]: Simplify (* 1 1) into 1 17.148 * [backup-simplify]: Simplify (/ 1 1) into 1 17.148 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 17.148 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 17.148 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 17.148 * [taylor]: Taking taylor expansion of 0.253 in x 17.148 * [backup-simplify]: Simplify 0.253 into 0.253 17.149 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.149 * [taylor]: Taking taylor expansion of x in x 17.149 * [backup-simplify]: Simplify 0 into 0 17.149 * [backup-simplify]: Simplify 1 into 1 17.149 * [backup-simplify]: Simplify (/ 1 1) into 1 17.149 * [taylor]: Taking taylor expansion of 1.0 in x 17.149 * [backup-simplify]: Simplify 1.0 into 1.0 17.149 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 17.149 * [taylor]: Taking taylor expansion of 0.12 in x 17.149 * [backup-simplify]: Simplify 0.12 into 0.12 17.149 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 17.149 * [taylor]: Taking taylor expansion of (pow x 2) in x 17.149 * [taylor]: Taking taylor expansion of x in x 17.149 * [backup-simplify]: Simplify 0 into 0 17.149 * [backup-simplify]: Simplify 1 into 1 17.149 * [backup-simplify]: Simplify (* 1 1) into 1 17.149 * [backup-simplify]: Simplify (/ 1 1) into 1 17.150 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 17.150 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 17.151 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 17.151 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 17.151 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 17.151 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 17.152 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.152 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.153 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 17.153 * [backup-simplify]: Simplify (- 0) into 0 17.153 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 17.153 * [backup-simplify]: Simplify 0.253 into 0.253 17.154 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.154 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 17.154 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 17.155 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.156 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.156 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 17.156 * [backup-simplify]: Simplify (- 0) into 0 17.157 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 17.157 * [backup-simplify]: Simplify 1.0 into 1.0 17.157 * [backup-simplify]: Simplify (+ 1.0 (+ (* 0.253 (/ 1 (/ 1 (- x)))) (* (- 0.12) (pow (/ 1 (/ 1 (- x))) 2)))) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 17.157 * * * [progress]: simplifying candidates 17.158 * [simplify]: Simplifying: (+ (log 0.12) (* (log x) 2)) (+ (log 0.12) (* (log x) 2)) (+ (log 0.12) (log (pow x 2))) (log (* 0.12 (pow x 2))) (exp (* 0.12 (pow x 2))) (* (* (* 0.12 0.12) 0.12) (* (* (pow x 2) (pow x 2)) (pow x 2))) (* (cbrt (* 0.12 (pow x 2))) (cbrt (* 0.12 (pow x 2)))) (cbrt (* 0.12 (pow x 2))) (* (* (* 0.12 (pow x 2)) (* 0.12 (pow x 2))) (* 0.12 (pow x 2))) (sqrt (* 0.12 (pow x 2))) (sqrt (* 0.12 (pow x 2))) (* (sqrt 0.12) (pow (sqrt x) 2)) (* (sqrt 0.12) (pow (sqrt x) 2)) (* (sqrt 0.12) x) (* (sqrt 0.12) x) (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (pow x (/ 2 2))) (* (sqrt 0.12) (pow x (/ 2 2))) (* 0.12 (pow (* (cbrt x) (cbrt x)) 2)) (* 0.12 (pow (sqrt x) 2)) (* 0.12 (pow 1 2)) (* 0.12 x) (* 0.12 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* 0.12 (sqrt (pow x 2))) (* 0.12 1) (* 0.12 (pow x (/ 2 2))) (* (cbrt 0.12) (pow x 2)) (* (sqrt 0.12) (pow x 2)) (* 0.12 (pow x 2)) (* (exp (* 0.12 (pow x 2))) (exp (* 0.253 x))) (log (+ (* 0.12 (pow x 2)) (* 0.253 x))) (exp (+ (* 0.12 (pow x 2)) (* 0.253 x))) (* (cbrt (+ (* 0.12 (pow x 2)) (* 0.253 x))) (cbrt (+ (* 0.12 (pow x 2)) (* 0.253 x)))) (cbrt (+ (* 0.12 (pow x 2)) (* 0.253 x))) (* (* (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x))) (+ (* 0.12 (pow x 2)) (* 0.253 x))) (sqrt (+ (* 0.12 (pow x 2)) (* 0.253 x))) (sqrt (+ (* 0.12 (pow x 2)) (* 0.253 x))) (+ (pow (* 0.12 (pow x 2)) 3) (pow (* 0.253 x) 3)) (+ (* (* 0.12 (pow x 2)) (* 0.12 (pow x 2))) (- (* (* 0.253 x) (* 0.253 x)) (* (* 0.12 (pow x 2)) (* 0.253 x)))) (- (* (* 0.12 (pow x 2)) (* 0.12 (pow x 2))) (* (* 0.253 x) (* 0.253 x))) (- (* 0.12 (pow x 2)) (* 0.253 x)) (/ (exp 1.0) (* (exp (* 0.12 (pow x 2))) (exp (* 0.253 x)))) (/ (exp 1.0) (exp (+ (* 0.12 (pow x 2)) (* 0.253 x)))) (log (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x)))) (exp (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x)))) (* (cbrt (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x)))) (cbrt (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))))) (cbrt (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x)))) (* (* (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x)))) (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x)))) (sqrt (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x)))) (sqrt (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x)))) (- (pow 1.0 3) (pow (+ (* 0.12 (pow x 2)) (* 0.253 x)) 3)) (+ (* 1.0 1.0) (+ (* (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x))) (* 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))))) (- (+ (* 0.12 (pow x 2)) (* 0.253 x))) (- (* 1.0 1.0) (* (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)))) (+ 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) (+ (sqrt 1.0) (sqrt (+ (* 0.12 (pow x 2)) (* 0.253 x)))) (- (sqrt 1.0) (sqrt (+ (* 0.12 (pow x 2)) (* 0.253 x)))) (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) (- 1.0 (* 0.12 (pow x 2))) (- (+ (* 0.12 (pow x 2)) (* 0.253 x))) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 17.159 * * [simplify]: Extracting # 0 : cost 0 17.160 * * [simplify]: Extracting # 1 : cost 0 17.160 * * [simplify]: Extracting # 2 : cost 0 17.160 * * [simplify]: Extracting # 3 : cost 0 17.160 * * [simplify]: Extracting # 4 : cost 0 17.160 * * [simplify]: Extracting # 5 : cost 0 17.160 * * [simplify]: Extracting # 6 : cost 0 17.160 * * [simplify]: Extracting # 7 : cost 0 17.160 * * [simplify]: iteration 0 : 99 enodes (cost 768 ) 17.188 * * [simplify]: Extracting # 0 : cost 0 17.188 * * [simplify]: Extracting # 1 : cost 0 17.188 * * [simplify]: Extracting # 2 : cost 0 17.189 * * [simplify]: Extracting # 3 : cost 0 17.189 * * [simplify]: Extracting # 4 : cost 0 17.189 * * [simplify]: iteration 1 : 256 enodes (cost 695 ) 17.353 * * [simplify]: Extracting # 0 : cost 0 17.355 * * [simplify]: Extracting # 1 : cost 0 17.356 * * [simplify]: Extracting # 2 : cost 0 17.357 * * [simplify]: Extracting # 3 : cost 0 17.358 * * [simplify]: Extracting # 4 : cost 0 17.359 * * [simplify]: iteration 2 : 984 enodes (cost 646 ) 17.852 * * [simplify]: Extracting # 0 : cost 0 17.862 * * [simplify]: Extracting # 1 : cost 0 17.873 * * [simplify]: Extracting # 2 : cost 0 17.891 * * [simplify]: Extracting # 3 : cost 0 17.902 * * [simplify]: Extracting # 4 : cost 0 17.910 * * [simplify]: Extracting # 5 : cost 0 17.917 * * [simplify]: iteration done: 5000 enodes (cost 570 ) 17.917 * [simplify]: Simplified to: (log (* 0.12 (pow x 2))) (log (* 0.12 (pow x 2))) (log (* 0.12 (pow x 2))) (log (* 0.12 (pow x 2))) (exp (* 0.12 (pow x 2))) (pow (* 0.12 (pow x 2)) 3) (* (cbrt (* 0.12 (pow x 2))) (cbrt (* 0.12 (pow x 2)))) (cbrt (* 0.12 (pow x 2))) (pow (* 0.12 (pow x 2)) 3) (sqrt (* 0.12 (pow x 2))) (sqrt (* 0.12 (pow x 2))) (* (sqrt 0.12) x) (* (sqrt 0.12) x) (* (sqrt 0.12) x) (* (sqrt 0.12) x) (* (fabs x) (sqrt 0.12)) (* (fabs x) (sqrt 0.12)) (* (sqrt 0.12) x) (* (sqrt 0.12) x) (* 0.12 (pow (* (cbrt x) (cbrt x)) 2)) (* 0.12 x) 0.12 (* 0.12 x) (* 0.12 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* 0.12 (fabs x)) 0.12 (* 0.12 x) (* (cbrt 0.12) (pow x 2)) (* (sqrt 0.12) (pow x 2)) (* 0.12 (pow x 2)) (exp (* x (+ 0.253 (* 0.12 x)))) (log (* x (+ 0.253 (* 0.12 x)))) (exp (* x (+ 0.253 (* 0.12 x)))) (* (cbrt (* x (+ 0.253 (* 0.12 x)))) (cbrt (* x (+ 0.253 (* 0.12 x))))) (cbrt (* x (+ 0.253 (* 0.12 x)))) (pow (* x (+ 0.253 (* 0.12 x))) 3) (sqrt (* x (+ 0.253 (* 0.12 x)))) (sqrt (* x (+ 0.253 (* 0.12 x)))) (+ (pow (* 0.12 (pow x 2)) 3) (pow (* 0.253 x) 3)) (+ (* 0.253 (* x (* x (- 0.253 (* x 0.12))))) (* (* 0.12 0.12) (pow x 4))) (- (* (* 0.12 0.12) (pow x 4)) (* (* 0.253 x) (* 0.253 x))) (* x (- (* 0.12 x) 0.253)) (exp (- 1.0 (* x (+ 0.253 (* 0.12 x))))) (exp (- 1.0 (* x (+ 0.253 (* 0.12 x))))) (log (- 1.0 (* x (+ 0.253 (* 0.12 x))))) (exp (- 1.0 (* x (+ 0.253 (* 0.12 x))))) (* (cbrt (- 1.0 (* x (+ 0.253 (* 0.12 x))))) (cbrt (- 1.0 (* x (+ 0.253 (* 0.12 x)))))) (cbrt (- 1.0 (* x (+ 0.253 (* 0.12 x))))) (pow (- 1.0 (* x (+ 0.253 (* 0.12 x)))) 3) (sqrt (- 1.0 (* x (+ 0.253 (* 0.12 x))))) (sqrt (- 1.0 (* x (+ 0.253 (* 0.12 x))))) (- (pow 1.0 3) (pow (* x (+ 0.253 (* 0.12 x))) 3)) (+ (* (* x (+ 0.253 (* 0.12 x))) (+ (* x (+ 0.253 (* 0.12 x))) 1.0)) (* 1.0 1.0)) (- (* x (+ 0.253 (* 0.12 x)))) (* (- 1.0 (* x (+ 0.253 (* 0.12 x)))) (+ (* x (+ 0.253 (* 0.12 x))) 1.0)) (+ (* x (+ 0.253 (* 0.12 x))) 1.0) (+ (sqrt (* x (+ 0.253 (* 0.12 x)))) (sqrt 1.0)) (- (sqrt 1.0) (sqrt (* x (+ 0.253 (* 0.12 x))))) (- 1.0 (* x (+ 0.253 (* 0.12 x)))) (- 1.0 (* 0.12 (pow x 2))) (- (* x (+ 0.253 (* 0.12 x)))) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (* x (+ 0.253 (* 0.12 x))) (* x (+ 0.253 (* 0.12 x))) (* x (+ 0.253 (* 0.12 x))) (- 1.0 (* x (+ 0.253 (* 0.12 x)))) (- 1.0 (* x (+ 0.253 (* 0.12 x)))) (- 1.0 (* x (+ 0.253 (* 0.12 x)))) 17.918 * * * [progress]: adding candidates to table 18.068 * [progress]: [Phase 3 of 3] Extracting. 18.068 * * [regime]: Finding splitpoints for: (# # #) 18.069 * * * [regime-changes]: Trying 1 branch expressions: (x) 18.069 * * * * [regimes]: Trying to branch on x from (# # #) 18.083 * * * [regime]: Found split indices: #