2.168 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.013 * * * [progress]: [2/2] Setting up program. 0.014 * [progress]: [Phase 2 of 3] Improving. 0.015 * [simplify]: Simplifying: (- 1.0 (* x (+ 0.253 (* x 0.12)))) 0.015 * [simplify]: Sending expressions to egg_math: (- h0 (* h1 (+ h2 (* h1 h3)))) 0.017 * * [simplify]: iteration 0 : 19 enodes (cost 4 ) 0.018 * * [simplify]: iteration 1 : 41 enodes (cost 4 ) 0.019 * * [simplify]: iteration 2 : 69 enodes (cost 4 ) 0.021 * * [simplify]: iteration 3 : 90 enodes (cost 4 ) 0.023 * * [simplify]: iteration 4 : 105 enodes (cost 4 ) 0.026 * * [simplify]: iteration 5 : 147 enodes (cost 4 ) 0.029 * * [simplify]: iteration 6 : 226 enodes (cost 4 ) 0.032 * * [simplify]: iteration 7 : 368 enodes (cost 4 ) 0.035 * * [simplify]: iteration 8 : 415 enodes (cost 4 ) 0.039 * * [simplify]: iteration 9 : 415 enodes (cost 4 ) 0.039 * * [progress]: iteration 1 / 4 0.039 * * * [progress]: picking best candidate 0.040 * * * * [pick]: Picked # 0.041 * * * [progress]: localizing error 0.046 * * * [progress]: generating rewritten candidates 0.046 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.061 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 0.066 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.072 * * * [progress]: generating series expansions 0.072 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.072 * [backup-simplify]: Simplify (* x (+ 0.253 (* x 0.12))) into (* (+ (* 0.12 x) 0.253) x) 0.072 * [approximate]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in (x) around 0 0.072 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 0.072 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.073 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.073 * [taylor]: Taking taylor expansion of 0.12 in x 0.073 * [backup-simplify]: Simplify 0.12 into 0.12 0.073 * [taylor]: Taking taylor expansion of x in x 0.073 * [backup-simplify]: Simplify 0 into 0 0.073 * [backup-simplify]: Simplify 1 into 1 0.073 * [taylor]: Taking taylor expansion of 0.253 in x 0.073 * [backup-simplify]: Simplify 0.253 into 0.253 0.073 * [taylor]: Taking taylor expansion of x in x 0.073 * [backup-simplify]: Simplify 0 into 0 0.073 * [backup-simplify]: Simplify 1 into 1 0.073 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 0.073 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.073 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.073 * [taylor]: Taking taylor expansion of 0.12 in x 0.073 * [backup-simplify]: Simplify 0.12 into 0.12 0.073 * [taylor]: Taking taylor expansion of x in x 0.073 * [backup-simplify]: Simplify 0 into 0 0.073 * [backup-simplify]: Simplify 1 into 1 0.073 * [taylor]: Taking taylor expansion of 0.253 in x 0.073 * [backup-simplify]: Simplify 0.253 into 0.253 0.073 * [taylor]: Taking taylor expansion of x in x 0.073 * [backup-simplify]: Simplify 0 into 0 0.073 * [backup-simplify]: Simplify 1 into 1 0.073 * [backup-simplify]: Simplify (* 0.12 0) into 0 0.074 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.074 * [backup-simplify]: Simplify (* 0.253 0) into 0 0.074 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12 0.075 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.076 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0.12 0)) into 0.253 0.076 * [backup-simplify]: Simplify 0.253 into 0.253 0.076 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0 0.077 * [backup-simplify]: Simplify (+ 0 0) into 0 0.078 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 1) (* 0 0))) into 0.12 0.078 * [backup-simplify]: Simplify 0.12 into 0.12 0.079 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.079 * [backup-simplify]: Simplify (+ 0 0) into 0 0.079 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 1) (* 0 0)))) into 0 0.079 * [backup-simplify]: Simplify 0 into 0 0.080 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.080 * [backup-simplify]: Simplify (+ 0 0) into 0 0.081 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.081 * [backup-simplify]: Simplify 0 into 0 0.082 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.082 * [backup-simplify]: Simplify (+ 0 0) into 0 0.083 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.083 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 0.084 * [backup-simplify]: Simplify (+ 0 0) into 0 0.085 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 0.085 * [backup-simplify]: Simplify 0 into 0 0.086 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 0.086 * [backup-simplify]: Simplify (+ 0 0) into 0 0.087 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 0.087 * [backup-simplify]: Simplify 0 into 0 0.088 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 0.088 * [backup-simplify]: Simplify (+ 0 0) into 0 0.090 * [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 0.090 * [backup-simplify]: Simplify 0 into 0 0.090 * [backup-simplify]: Simplify (+ (* 0.12 (pow x 2)) (* 0.253 x)) into (+ (* 0.12 (pow x 2)) (* 0.253 x)) 0.090 * [backup-simplify]: Simplify (* (/ 1 x) (+ 0.253 (* (/ 1 x) 0.12))) into (/ (+ (* 0.12 (/ 1 x)) 0.253) x) 0.090 * [approximate]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in (x) around 0 0.090 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x 0.090 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.090 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.090 * [taylor]: Taking taylor expansion of 0.12 in x 0.090 * [backup-simplify]: Simplify 0.12 into 0.12 0.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.090 * [taylor]: Taking taylor expansion of x in x 0.090 * [backup-simplify]: Simplify 0 into 0 0.090 * [backup-simplify]: Simplify 1 into 1 0.090 * [backup-simplify]: Simplify (/ 1 1) into 1 0.090 * [taylor]: Taking taylor expansion of 0.253 in x 0.090 * [backup-simplify]: Simplify 0.253 into 0.253 0.090 * [taylor]: Taking taylor expansion of x in x 0.090 * [backup-simplify]: Simplify 0 into 0 0.090 * [backup-simplify]: Simplify 1 into 1 0.091 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.091 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.091 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 0.091 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x 0.091 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.091 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.091 * [taylor]: Taking taylor expansion of 0.12 in x 0.091 * [backup-simplify]: Simplify 0.12 into 0.12 0.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.091 * [taylor]: Taking taylor expansion of x in x 0.091 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify 1 into 1 0.092 * [backup-simplify]: Simplify (/ 1 1) into 1 0.092 * [taylor]: Taking taylor expansion of 0.253 in x 0.092 * [backup-simplify]: Simplify 0.253 into 0.253 0.092 * [taylor]: Taking taylor expansion of x in x 0.092 * [backup-simplify]: Simplify 0 into 0 0.092 * [backup-simplify]: Simplify 1 into 1 0.092 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.092 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.092 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 0.092 * [backup-simplify]: Simplify 0.12 into 0.12 0.096 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.096 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.097 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.098 * [backup-simplify]: Simplify (- (/ 0.253 1) (+ (* 0.12 (/ 0 1)))) into 0.253 0.098 * [backup-simplify]: Simplify 0.253 into 0.253 0.098 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.099 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.099 * [backup-simplify]: Simplify (+ 0 0) into 0 0.100 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)))) into 0 0.100 * [backup-simplify]: Simplify 0 into 0 0.100 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.101 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.101 * [backup-simplify]: Simplify (+ 0 0) into 0 0.101 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.101 * [backup-simplify]: Simplify 0 into 0 0.102 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.103 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.103 * [backup-simplify]: Simplify (+ 0 0) into 0 0.103 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.103 * [backup-simplify]: Simplify 0 into 0 0.104 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.105 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.105 * [backup-simplify]: Simplify (+ 0 0) into 0 0.105 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.106 * [backup-simplify]: Simplify 0 into 0 0.106 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.107 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.107 * [backup-simplify]: Simplify (+ 0 0) into 0 0.108 * [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 0.108 * [backup-simplify]: Simplify 0 into 0 0.108 * [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 0.109 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.109 * [backup-simplify]: Simplify (+ 0 0) into 0 0.110 * [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 0.110 * [backup-simplify]: Simplify 0 into 0 0.110 * [backup-simplify]: Simplify (+ (* 0.253 (/ 1 (/ 1 x))) (* 0.12 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 0.12 (pow x 2)) (* 0.253 x)) 0.110 * [backup-simplify]: Simplify (* (/ 1 (- x)) (+ 0.253 (* (/ 1 (- x)) 0.12))) into (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) 0.110 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in (x) around 0 0.110 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 0.110 * [taylor]: Taking taylor expansion of -1 in x 0.110 * [backup-simplify]: Simplify -1 into -1 0.110 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 0.110 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.110 * [taylor]: Taking taylor expansion of 0.253 in x 0.110 * [backup-simplify]: Simplify 0.253 into 0.253 0.110 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.111 * [taylor]: Taking taylor expansion of 0.12 in x 0.111 * [backup-simplify]: Simplify 0.12 into 0.12 0.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.111 * [taylor]: Taking taylor expansion of x in x 0.111 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify 1 into 1 0.111 * [backup-simplify]: Simplify (/ 1 1) into 1 0.111 * [taylor]: Taking taylor expansion of x in x 0.111 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify 1 into 1 0.111 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.111 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.112 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.112 * [backup-simplify]: Simplify (/ (- 0.12) 1) into -0.12 0.112 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 0.112 * [taylor]: Taking taylor expansion of -1 in x 0.112 * [backup-simplify]: Simplify -1 into -1 0.112 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 0.112 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.112 * [taylor]: Taking taylor expansion of 0.253 in x 0.112 * [backup-simplify]: Simplify 0.253 into 0.253 0.112 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.112 * [taylor]: Taking taylor expansion of 0.12 in x 0.112 * [backup-simplify]: Simplify 0.12 into 0.12 0.112 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.112 * [taylor]: Taking taylor expansion of x in x 0.113 * [backup-simplify]: Simplify 0 into 0 0.113 * [backup-simplify]: Simplify 1 into 1 0.113 * [backup-simplify]: Simplify (/ 1 1) into 1 0.113 * [taylor]: Taking taylor expansion of x in x 0.113 * [backup-simplify]: Simplify 0 into 0 0.113 * [backup-simplify]: Simplify 1 into 1 0.113 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.113 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.114 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.114 * [backup-simplify]: Simplify (/ (- 0.12) 1) into -0.12 0.114 * [backup-simplify]: Simplify (* -1 -0.12) into 0.12 0.115 * [backup-simplify]: Simplify 0.12 into 0.12 0.115 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.115 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.115 * [backup-simplify]: Simplify (- 0) into 0 0.116 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 0.117 * [backup-simplify]: Simplify (- (/ 0.253 1) (+ (* -0.12 (/ 0 1)))) into 0.253 0.118 * [backup-simplify]: Simplify (+ (* -1 0.253) (* 0 -0.12)) into (- 0.253) 0.118 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.119 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.119 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.119 * [backup-simplify]: Simplify (- 0) into 0 0.120 * [backup-simplify]: Simplify (+ 0 0) into 0 0.120 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)))) into 0 0.121 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0.253) (* 0 -0.12))) into 0 0.121 * [backup-simplify]: Simplify 0 into 0 0.121 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.122 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.122 * [backup-simplify]: Simplify (- 0) into 0 0.122 * [backup-simplify]: Simplify (+ 0 0) into 0 0.123 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.123 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))) into 0 0.123 * [backup-simplify]: Simplify 0 into 0 0.124 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.125 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.125 * [backup-simplify]: Simplify (- 0) into 0 0.125 * [backup-simplify]: Simplify (+ 0 0) into 0 0.126 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.126 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12))))) into 0 0.126 * [backup-simplify]: Simplify 0 into 0 0.127 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.127 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.128 * [backup-simplify]: Simplify (- 0) into 0 0.128 * [backup-simplify]: Simplify (+ 0 0) into 0 0.128 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.129 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))))) into 0 0.129 * [backup-simplify]: Simplify 0 into 0 0.130 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.131 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.131 * [backup-simplify]: Simplify (- 0) into 0 0.131 * [backup-simplify]: Simplify (+ 0 0) into 0 0.132 * [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 0.133 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12))))))) into 0 0.133 * [backup-simplify]: Simplify 0 into 0 0.133 * [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 0.134 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.134 * [backup-simplify]: Simplify (- 0) into 0 0.134 * [backup-simplify]: Simplify (+ 0 0) into 0 0.135 * [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 0.136 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))))))) into 0 0.136 * [backup-simplify]: Simplify 0 into 0 0.137 * [backup-simplify]: Simplify (+ (* (- 0.253) (/ 1 (/ 1 (- x)))) (* 0.12 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 0.12 (pow x 2)) (* 0.253 x)) 0.137 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 0.137 * [backup-simplify]: Simplify (+ 0.253 (* x 0.12)) into (+ (* 0.12 x) 0.253) 0.137 * [approximate]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in (x) around 0 0.137 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.137 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.137 * [taylor]: Taking taylor expansion of 0.12 in x 0.137 * [backup-simplify]: Simplify 0.12 into 0.12 0.137 * [taylor]: Taking taylor expansion of x in x 0.137 * [backup-simplify]: Simplify 0 into 0 0.137 * [backup-simplify]: Simplify 1 into 1 0.137 * [taylor]: Taking taylor expansion of 0.253 in x 0.137 * [backup-simplify]: Simplify 0.253 into 0.253 0.137 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.137 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.137 * [taylor]: Taking taylor expansion of 0.12 in x 0.137 * [backup-simplify]: Simplify 0.12 into 0.12 0.137 * [taylor]: Taking taylor expansion of x in x 0.137 * [backup-simplify]: Simplify 0 into 0 0.137 * [backup-simplify]: Simplify 1 into 1 0.137 * [taylor]: Taking taylor expansion of 0.253 in x 0.137 * [backup-simplify]: Simplify 0.253 into 0.253 0.137 * [backup-simplify]: Simplify (* 0.12 0) into 0 0.138 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.138 * [backup-simplify]: Simplify 0.253 into 0.253 0.138 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12 0.139 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.139 * [backup-simplify]: Simplify 0.12 into 0.12 0.139 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0 0.139 * [backup-simplify]: Simplify (+ 0 0) into 0 0.139 * [backup-simplify]: Simplify 0 into 0 0.140 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.140 * [backup-simplify]: Simplify (+ 0 0) into 0 0.140 * [backup-simplify]: Simplify 0 into 0 0.141 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.141 * [backup-simplify]: Simplify (+ 0 0) into 0 0.141 * [backup-simplify]: Simplify 0 into 0 0.142 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.142 * [backup-simplify]: Simplify (+ 0 0) into 0 0.142 * [backup-simplify]: Simplify 0 into 0 0.143 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 0.143 * [backup-simplify]: Simplify (+ 0 0) into 0 0.143 * [backup-simplify]: Simplify 0 into 0 0.144 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 0.144 * [backup-simplify]: Simplify (+ 0 0) into 0 0.144 * [backup-simplify]: Simplify 0 into 0 0.144 * [backup-simplify]: Simplify (+ (* 0.12 x) 0.253) into (+ (* 0.12 x) 0.253) 0.144 * [backup-simplify]: Simplify (+ 0.253 (* (/ 1 x) 0.12)) into (+ (* 0.12 (/ 1 x)) 0.253) 0.144 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in (x) around 0 0.144 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.144 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.144 * [taylor]: Taking taylor expansion of 0.12 in x 0.144 * [backup-simplify]: Simplify 0.12 into 0.12 0.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.144 * [taylor]: Taking taylor expansion of x in x 0.144 * [backup-simplify]: Simplify 0 into 0 0.144 * [backup-simplify]: Simplify 1 into 1 0.145 * [backup-simplify]: Simplify (/ 1 1) into 1 0.145 * [taylor]: Taking taylor expansion of 0.253 in x 0.145 * [backup-simplify]: Simplify 0.253 into 0.253 0.145 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.145 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.145 * [taylor]: Taking taylor expansion of 0.12 in x 0.145 * [backup-simplify]: Simplify 0.12 into 0.12 0.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.145 * [taylor]: Taking taylor expansion of x in x 0.145 * [backup-simplify]: Simplify 0 into 0 0.145 * [backup-simplify]: Simplify 1 into 1 0.145 * [backup-simplify]: Simplify (/ 1 1) into 1 0.145 * [taylor]: Taking taylor expansion of 0.253 in x 0.145 * [backup-simplify]: Simplify 0.253 into 0.253 0.145 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.146 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.146 * [backup-simplify]: Simplify 0.12 into 0.12 0.146 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.146 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.147 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.147 * [backup-simplify]: Simplify 0.253 into 0.253 0.147 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.148 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.148 * [backup-simplify]: Simplify (+ 0 0) into 0 0.148 * [backup-simplify]: Simplify 0 into 0 0.148 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.149 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.149 * [backup-simplify]: Simplify (+ 0 0) into 0 0.149 * [backup-simplify]: Simplify 0 into 0 0.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.150 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.150 * [backup-simplify]: Simplify (+ 0 0) into 0 0.150 * [backup-simplify]: Simplify 0 into 0 0.151 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.152 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.152 * [backup-simplify]: Simplify (+ 0 0) into 0 0.152 * [backup-simplify]: Simplify 0 into 0 0.152 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.153 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.153 * [backup-simplify]: Simplify (+ 0 0) into 0 0.153 * [backup-simplify]: Simplify 0 into 0 0.154 * [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 0.155 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.155 * [backup-simplify]: Simplify (+ 0 0) into 0 0.155 * [backup-simplify]: Simplify 0 into 0 0.155 * [backup-simplify]: Simplify (+ 0.253 (* 0.12 (/ 1 (/ 1 x)))) into (+ (* 0.12 x) 0.253) 0.155 * [backup-simplify]: Simplify (+ 0.253 (* (/ 1 (- x)) 0.12)) into (- 0.253 (* 0.12 (/ 1 x))) 0.155 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in (x) around 0 0.155 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.155 * [taylor]: Taking taylor expansion of 0.253 in x 0.155 * [backup-simplify]: Simplify 0.253 into 0.253 0.155 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.155 * [taylor]: Taking taylor expansion of 0.12 in x 0.155 * [backup-simplify]: Simplify 0.12 into 0.12 0.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.155 * [taylor]: Taking taylor expansion of x in x 0.155 * [backup-simplify]: Simplify 0 into 0 0.155 * [backup-simplify]: Simplify 1 into 1 0.156 * [backup-simplify]: Simplify (/ 1 1) into 1 0.156 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.156 * [taylor]: Taking taylor expansion of 0.253 in x 0.156 * [backup-simplify]: Simplify 0.253 into 0.253 0.156 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.156 * [taylor]: Taking taylor expansion of 0.12 in x 0.156 * [backup-simplify]: Simplify 0.12 into 0.12 0.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.156 * [taylor]: Taking taylor expansion of x in x 0.156 * [backup-simplify]: Simplify 0 into 0 0.156 * [backup-simplify]: Simplify 1 into 1 0.156 * [backup-simplify]: Simplify (/ 1 1) into 1 0.156 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.157 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.157 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.157 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.158 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.158 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.159 * [backup-simplify]: Simplify (- 0) into 0 0.159 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 0.159 * [backup-simplify]: Simplify 0.253 into 0.253 0.159 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.160 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.160 * [backup-simplify]: Simplify (- 0) into 0 0.160 * [backup-simplify]: Simplify (+ 0 0) into 0 0.160 * [backup-simplify]: Simplify 0 into 0 0.161 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.161 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.161 * [backup-simplify]: Simplify (- 0) into 0 0.162 * [backup-simplify]: Simplify (+ 0 0) into 0 0.162 * [backup-simplify]: Simplify 0 into 0 0.162 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.163 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.163 * [backup-simplify]: Simplify (- 0) into 0 0.163 * [backup-simplify]: Simplify (+ 0 0) into 0 0.163 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.164 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.165 * [backup-simplify]: Simplify (- 0) into 0 0.165 * [backup-simplify]: Simplify (+ 0 0) into 0 0.165 * [backup-simplify]: Simplify 0 into 0 0.165 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.166 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.166 * [backup-simplify]: Simplify (- 0) into 0 0.167 * [backup-simplify]: Simplify (+ 0 0) into 0 0.167 * [backup-simplify]: Simplify 0 into 0 0.167 * [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 0.168 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.168 * [backup-simplify]: Simplify (- 0) into 0 0.169 * [backup-simplify]: Simplify (+ 0 0) into 0 0.169 * [backup-simplify]: Simplify 0 into 0 0.169 * [backup-simplify]: Simplify (+ 0.253 (* (- 0.12) (/ 1 (/ 1 (- x))))) into (+ (* 0.12 x) 0.253) 0.169 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.169 * [backup-simplify]: Simplify (- 1.0 (* x (+ 0.253 (* x 0.12)))) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.169 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) in (x) around 0 0.169 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) in x 0.169 * [taylor]: Taking taylor expansion of 1.0 in x 0.169 * [backup-simplify]: Simplify 1.0 into 1.0 0.169 * [taylor]: Taking taylor expansion of (+ (* 0.12 (pow x 2)) (* 0.253 x)) in x 0.169 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.169 * [taylor]: Taking taylor expansion of 0.12 in x 0.169 * [backup-simplify]: Simplify 0.12 into 0.12 0.169 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.169 * [taylor]: Taking taylor expansion of x in x 0.169 * [backup-simplify]: Simplify 0 into 0 0.169 * [backup-simplify]: Simplify 1 into 1 0.169 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 0.169 * [taylor]: Taking taylor expansion of 0.253 in x 0.169 * [backup-simplify]: Simplify 0.253 into 0.253 0.169 * [taylor]: Taking taylor expansion of x in x 0.169 * [backup-simplify]: Simplify 0 into 0 0.169 * [backup-simplify]: Simplify 1 into 1 0.169 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) in x 0.169 * [taylor]: Taking taylor expansion of 1.0 in x 0.169 * [backup-simplify]: Simplify 1.0 into 1.0 0.169 * [taylor]: Taking taylor expansion of (+ (* 0.12 (pow x 2)) (* 0.253 x)) in x 0.169 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.169 * [taylor]: Taking taylor expansion of 0.12 in x 0.169 * [backup-simplify]: Simplify 0.12 into 0.12 0.169 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.169 * [taylor]: Taking taylor expansion of x in x 0.169 * [backup-simplify]: Simplify 0 into 0 0.170 * [backup-simplify]: Simplify 1 into 1 0.170 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 0.170 * [taylor]: Taking taylor expansion of 0.253 in x 0.170 * [backup-simplify]: Simplify 0.253 into 0.253 0.170 * [taylor]: Taking taylor expansion of x in x 0.170 * [backup-simplify]: Simplify 0 into 0 0.170 * [backup-simplify]: Simplify 1 into 1 0.170 * [backup-simplify]: Simplify (* 0.253 0) into 0 0.170 * [backup-simplify]: Simplify (+ 0 0) into 0 0.170 * [backup-simplify]: Simplify (- 0) into 0 0.171 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.171 * [backup-simplify]: Simplify 1.0 into 1.0 0.171 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253 0.172 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.172 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.172 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 0.172 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.173 * [backup-simplify]: Simplify (* 1 1) into 1 0.173 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.173 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0 0.174 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.174 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.174 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.175 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.175 * [backup-simplify]: Simplify (+ (* (- 0.12) (pow x 2)) (+ (* (- 0.253) x) 1.0)) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.175 * [backup-simplify]: Simplify (- 1.0 (* (/ 1 x) (+ 0.253 (* (/ 1 x) 0.12)))) into (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) 0.175 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in (x) around 0 0.175 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in x 0.175 * [taylor]: Taking taylor expansion of 1.0 in x 0.175 * [backup-simplify]: Simplify 1.0 into 1.0 0.175 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 0.175 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.175 * [taylor]: Taking taylor expansion of 0.12 in x 0.176 * [backup-simplify]: Simplify 0.12 into 0.12 0.176 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.176 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.176 * [taylor]: Taking taylor expansion of x in x 0.176 * [backup-simplify]: Simplify 0 into 0 0.176 * [backup-simplify]: Simplify 1 into 1 0.176 * [backup-simplify]: Simplify (* 1 1) into 1 0.176 * [backup-simplify]: Simplify (/ 1 1) into 1 0.176 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.176 * [taylor]: Taking taylor expansion of 0.253 in x 0.176 * [backup-simplify]: Simplify 0.253 into 0.253 0.176 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.176 * [taylor]: Taking taylor expansion of x in x 0.176 * [backup-simplify]: Simplify 0 into 0 0.176 * [backup-simplify]: Simplify 1 into 1 0.179 * [backup-simplify]: Simplify (/ 1 1) into 1 0.179 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in x 0.179 * [taylor]: Taking taylor expansion of 1.0 in x 0.179 * [backup-simplify]: Simplify 1.0 into 1.0 0.179 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 0.179 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.179 * [taylor]: Taking taylor expansion of 0.12 in x 0.179 * [backup-simplify]: Simplify 0.12 into 0.12 0.179 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.179 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.179 * [taylor]: Taking taylor expansion of x in x 0.179 * [backup-simplify]: Simplify 0 into 0 0.179 * [backup-simplify]: Simplify 1 into 1 0.179 * [backup-simplify]: Simplify (* 1 1) into 1 0.179 * [backup-simplify]: Simplify (/ 1 1) into 1 0.179 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.179 * [taylor]: Taking taylor expansion of 0.253 in x 0.179 * [backup-simplify]: Simplify 0.253 into 0.253 0.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.179 * [taylor]: Taking taylor expansion of x in x 0.179 * [backup-simplify]: Simplify 0 into 0 0.179 * [backup-simplify]: Simplify 1 into 1 0.180 * [backup-simplify]: Simplify (/ 1 1) into 1 0.180 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.180 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.180 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.181 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.181 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.181 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.182 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.182 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.182 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 0.183 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.183 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.183 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 0.184 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.185 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.185 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.186 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 0.186 * [backup-simplify]: Simplify (+ 0 0) into 0 0.186 * [backup-simplify]: Simplify (- 0) into 0 0.186 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.186 * [backup-simplify]: Simplify 1.0 into 1.0 0.187 * [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))) 0.187 * [backup-simplify]: Simplify (- 1.0 (* (/ 1 (- x)) (+ 0.253 (* (/ 1 (- x)) 0.12)))) into (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) 0.187 * [approximate]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 0.187 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.187 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 0.187 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.187 * [taylor]: Taking taylor expansion of 0.253 in x 0.187 * [backup-simplify]: Simplify 0.253 into 0.253 0.187 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.187 * [taylor]: Taking taylor expansion of x in x 0.187 * [backup-simplify]: Simplify 0 into 0 0.187 * [backup-simplify]: Simplify 1 into 1 0.188 * [backup-simplify]: Simplify (/ 1 1) into 1 0.188 * [taylor]: Taking taylor expansion of 1.0 in x 0.188 * [backup-simplify]: Simplify 1.0 into 1.0 0.188 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.188 * [taylor]: Taking taylor expansion of 0.12 in x 0.188 * [backup-simplify]: Simplify 0.12 into 0.12 0.188 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.188 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.188 * [taylor]: Taking taylor expansion of x in x 0.188 * [backup-simplify]: Simplify 0 into 0 0.188 * [backup-simplify]: Simplify 1 into 1 0.188 * [backup-simplify]: Simplify (* 1 1) into 1 0.188 * [backup-simplify]: Simplify (/ 1 1) into 1 0.188 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.188 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 0.188 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.188 * [taylor]: Taking taylor expansion of 0.253 in x 0.188 * [backup-simplify]: Simplify 0.253 into 0.253 0.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.188 * [taylor]: Taking taylor expansion of x in x 0.188 * [backup-simplify]: Simplify 0 into 0 0.188 * [backup-simplify]: Simplify 1 into 1 0.189 * [backup-simplify]: Simplify (/ 1 1) into 1 0.189 * [taylor]: Taking taylor expansion of 1.0 in x 0.189 * [backup-simplify]: Simplify 1.0 into 1.0 0.189 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.189 * [taylor]: Taking taylor expansion of 0.12 in x 0.189 * [backup-simplify]: Simplify 0.12 into 0.12 0.189 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.189 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.189 * [taylor]: Taking taylor expansion of x in x 0.189 * [backup-simplify]: Simplify 0 into 0 0.189 * [backup-simplify]: Simplify 1 into 1 0.189 * [backup-simplify]: Simplify (* 1 1) into 1 0.189 * [backup-simplify]: Simplify (/ 1 1) into 1 0.190 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.190 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.190 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.191 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.191 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 0.191 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 0.191 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.192 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.192 * [backup-simplify]: Simplify (- 0) into 0 0.193 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 0.193 * [backup-simplify]: Simplify 0.253 into 0.253 0.193 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.193 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 0.194 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.194 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.195 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.195 * [backup-simplify]: Simplify (- 0) into 0 0.196 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.196 * [backup-simplify]: Simplify 1.0 into 1.0 0.196 * [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))) 0.196 * * * [progress]: simplifying candidates 0.197 * [simplify]: Simplifying: (* x (+ 0.253 (* x 0.12))) (+ (log x) (log (+ 0.253 (* x 0.12)))) (log (* x (+ 0.253 (* x 0.12)))) (exp (* x (+ 0.253 (* x 0.12)))) (* (* (* x x) x) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12)))) (* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12))))) (cbrt (* x (+ 0.253 (* x 0.12)))) (* (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12)))) (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* x 0.253) (* x (* x 0.12)) (* 0.253 x) (* (* x 0.12) x) (* x (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))) (* x (sqrt (+ 0.253 (* x 0.12)))) (* x 1) (* (cbrt x) (+ 0.253 (* x 0.12))) (* (sqrt x) (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12))) (* x (+ (pow 0.253 3) (pow (* x 0.12) 3))) (* x (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))) (* (exp 0.253) (exp (* x 0.12))) (log (+ 0.253 (* x 0.12))) (exp (+ 0.253 (* x 0.12))) (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))) (cbrt (+ 0.253 (* x 0.12))) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))) (+ (pow 0.253 3) (pow (* x 0.12) 3)) (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12)))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12)) (/ (exp 1.0) (exp (* x (+ 0.253 (* x 0.12))))) (log (- 1.0 (* x (+ 0.253 (* x 0.12))))) (exp (- 1.0 (* x (+ 0.253 (* x 0.12))))) (* (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12)))))) (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (* (* (- 1.0 (* x (+ 0.253 (* x 0.12)))) (- 1.0 (* x (+ 0.253 (* x 0.12))))) (- 1.0 (* x (+ 0.253 (* x 0.12))))) (sqrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (sqrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (- (pow 1.0 3) (pow (* x (+ 0.253 (* x 0.12))) 3)) (+ (* 1.0 1.0) (+ (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12)))) (* 1.0 (* x (+ 0.253 (* x 0.12)))))) (- (* x (+ 0.253 (* x 0.12)))) (- (* 1.0 1.0) (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12))))) (+ 1.0 (* x (+ 0.253 (* x 0.12)))) (- 1.0 (* x 0.253)) (- 1.0 (* 0.253 x)) (- (* x (+ 0.253 (* x 0.12)))) (+ (* 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 x) 0.253) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (- 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.197 * [simplify]: Sending expressions to egg_math: (* h0 (+ h1 (* h0 h2))) (+ (log h0) (log (+ h1 (* h0 h2)))) (log (* h0 (+ h1 (* h0 h2)))) (exp (* h0 (+ h1 (* h0 h2)))) (* (* (* h0 h0) h0) (* (* (+ h1 (* h0 h2)) (+ h1 (* h0 h2))) (+ h1 (* h0 h2)))) (* (cbrt (* h0 (+ h1 (* h0 h2)))) (cbrt (* h0 (+ h1 (* h0 h2))))) (cbrt (* h0 (+ h1 (* h0 h2)))) (* (* (* h0 (+ h1 (* h0 h2))) (* h0 (+ h1 (* h0 h2)))) (* h0 (+ h1 (* h0 h2)))) (sqrt (* h0 (+ h1 (* h0 h2)))) (sqrt (* h0 (+ h1 (* h0 h2)))) (* (sqrt h0) (sqrt (+ h1 (* h0 h2)))) (* (sqrt h0) (sqrt (+ h1 (* h0 h2)))) (* h0 h1) (* h0 (* h0 h2)) (* h1 h0) (* (* h0 h2) h0) (* h0 (* (cbrt (+ h1 (* h0 h2))) (cbrt (+ h1 (* h0 h2))))) (* h0 (sqrt (+ h1 (* h0 h2)))) (* h0 1) (* (cbrt h0) (+ h1 (* h0 h2))) (* (sqrt h0) (+ h1 (* h0 h2))) (* h0 (+ h1 (* h0 h2))) (* h0 (+ (pow h1 3) (pow (* h0 h2) 3))) (* h0 (- (* h1 h1) (* (* h0 h2) (* h0 h2)))) (* (exp h1) (exp (* h0 h2))) (log (+ h1 (* h0 h2))) (exp (+ h1 (* h0 h2))) (* (cbrt (+ h1 (* h0 h2))) (cbrt (+ h1 (* h0 h2)))) (cbrt (+ h1 (* h0 h2))) (* (* (+ h1 (* h0 h2)) (+ h1 (* h0 h2))) (+ h1 (* h0 h2))) (sqrt (+ h1 (* h0 h2))) (sqrt (+ h1 (* h0 h2))) (+ (pow h1 3) (pow (* h0 h2) 3)) (+ (* h1 h1) (- (* (* h0 h2) (* h0 h2)) (* h1 (* h0 h2)))) (- (* h1 h1) (* (* h0 h2) (* h0 h2))) (- h1 (* h0 h2)) (/ (exp h3) (exp (* h0 (+ h1 (* h0 h2))))) (log (- h3 (* h0 (+ h1 (* h0 h2))))) (exp (- h3 (* h0 (+ h1 (* h0 h2))))) (* (cbrt (- h3 (* h0 (+ h1 (* h0 h2))))) (cbrt (- h3 (* h0 (+ h1 (* h0 h2)))))) (cbrt (- h3 (* h0 (+ h1 (* h0 h2))))) (* (* (- h3 (* h0 (+ h1 (* h0 h2)))) (- h3 (* h0 (+ h1 (* h0 h2))))) (- h3 (* h0 (+ h1 (* h0 h2))))) (sqrt (- h3 (* h0 (+ h1 (* h0 h2))))) (sqrt (- h3 (* h0 (+ h1 (* h0 h2))))) (- (pow h3 3) (pow (* h0 (+ h1 (* h0 h2))) 3)) (+ (* h3 h3) (+ (* (* h0 (+ h1 (* h0 h2))) (* h0 (+ h1 (* h0 h2)))) (* h3 (* h0 (+ h1 (* h0 h2)))))) (- (* h0 (+ h1 (* h0 h2)))) (- (* h3 h3) (* (* h0 (+ h1 (* h0 h2))) (* h0 (+ h1 (* h0 h2))))) (+ h3 (* h0 (+ h1 (* h0 h2)))) (- h3 (* h0 h1)) (- h3 (* h1 h0)) (- (* h0 (+ h1 (* h0 h2)))) (+ (* h2 (pow h0 2)) (* h1 h0)) (+ (* h2 (pow h0 2)) (* h1 h0)) (+ (* h2 (pow h0 2)) (* h1 h0)) (+ (* h2 h0) h1) (+ (* h2 h0) h1) (+ (* h2 h0) h1) (- h3 (+ (* h2 (pow h0 2)) (* h1 h0))) (- h3 (+ (* h2 (pow h0 2)) (* h1 h0))) (- h3 (+ (* h2 (pow h0 2)) (* h1 h0))) 0.201 * * [simplify]: iteration 0 : 226 enodes (cost 274 ) 0.206 * * [simplify]: iteration 1 : 991 enodes (cost 253 ) 0.231 * * [simplify]: iteration 2 : 5002 enodes (cost 253 ) 0.232 * * * [progress]: adding candidates to table 0.318 * * [progress]: iteration 2 / 4 0.318 * * * [progress]: picking best candidate 0.331 * * * * [pick]: Picked # 0.332 * * * [progress]: localizing error 0.338 * * * [progress]: generating rewritten candidates 0.338 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.353 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.387 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.392 * * * [progress]: generating series expansions 0.392 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.392 * [backup-simplify]: Simplify (* x (* x 0.12)) into (* 0.12 (pow x 2)) 0.392 * [approximate]: Taking taylor expansion of (* 0.12 (pow x 2)) in (x) around 0 0.392 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.393 * [taylor]: Taking taylor expansion of 0.12 in x 0.393 * [backup-simplify]: Simplify 0.12 into 0.12 0.393 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.393 * [taylor]: Taking taylor expansion of x in x 0.393 * [backup-simplify]: Simplify 0 into 0 0.393 * [backup-simplify]: Simplify 1 into 1 0.393 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.393 * [taylor]: Taking taylor expansion of 0.12 in x 0.393 * [backup-simplify]: Simplify 0.12 into 0.12 0.393 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.393 * [taylor]: Taking taylor expansion of x in x 0.393 * [backup-simplify]: Simplify 0 into 0 0.393 * [backup-simplify]: Simplify 1 into 1 0.393 * [backup-simplify]: Simplify (* 1 1) into 1 0.394 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.394 * [backup-simplify]: Simplify 0.12 into 0.12 0.394 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.394 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.394 * [backup-simplify]: Simplify 0 into 0 0.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.395 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.395 * [backup-simplify]: Simplify 0 into 0 0.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.397 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.397 * [backup-simplify]: Simplify 0 into 0 0.397 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.398 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.398 * [backup-simplify]: Simplify 0 into 0 0.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.399 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.399 * [backup-simplify]: Simplify 0 into 0 0.400 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.401 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.401 * [backup-simplify]: Simplify 0 into 0 0.401 * [backup-simplify]: Simplify (* 0.12 (pow x 2)) into (* 0.12 (pow x 2)) 0.401 * [backup-simplify]: Simplify (* (/ 1 x) (* (/ 1 x) 0.12)) into (/ 0.12 (pow x 2)) 0.401 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 0.401 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 0.401 * [taylor]: Taking taylor expansion of 0.12 in x 0.401 * [backup-simplify]: Simplify 0.12 into 0.12 0.401 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.401 * [taylor]: Taking taylor expansion of x in x 0.401 * [backup-simplify]: Simplify 0 into 0 0.401 * [backup-simplify]: Simplify 1 into 1 0.401 * [backup-simplify]: Simplify (* 1 1) into 1 0.402 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 0.402 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 0.402 * [taylor]: Taking taylor expansion of 0.12 in x 0.402 * [backup-simplify]: Simplify 0.12 into 0.12 0.402 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.402 * [taylor]: Taking taylor expansion of x in x 0.402 * [backup-simplify]: Simplify 0 into 0 0.402 * [backup-simplify]: Simplify 1 into 1 0.402 * [backup-simplify]: Simplify (* 1 1) into 1 0.402 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 0.402 * [backup-simplify]: Simplify 0.12 into 0.12 0.403 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.403 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0 0.403 * [backup-simplify]: Simplify 0 into 0 0.404 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.404 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.404 * [backup-simplify]: Simplify 0 into 0 0.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.405 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.405 * [backup-simplify]: Simplify 0 into 0 0.406 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.406 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.406 * [backup-simplify]: Simplify 0 into 0 0.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.408 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.408 * [backup-simplify]: Simplify 0 into 0 0.408 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.409 * [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 0.409 * [backup-simplify]: Simplify 0 into 0 0.409 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 x)) 2)) into (* 0.12 (pow x 2)) 0.409 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (/ 1 (- x)) 0.12)) into (/ 0.12 (pow x 2)) 0.409 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 0.409 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 0.409 * [taylor]: Taking taylor expansion of 0.12 in x 0.409 * [backup-simplify]: Simplify 0.12 into 0.12 0.409 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.409 * [taylor]: Taking taylor expansion of x in x 0.409 * [backup-simplify]: Simplify 0 into 0 0.409 * [backup-simplify]: Simplify 1 into 1 0.410 * [backup-simplify]: Simplify (* 1 1) into 1 0.410 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 0.410 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 0.410 * [taylor]: Taking taylor expansion of 0.12 in x 0.410 * [backup-simplify]: Simplify 0.12 into 0.12 0.410 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.410 * [taylor]: Taking taylor expansion of x in x 0.410 * [backup-simplify]: Simplify 0 into 0 0.410 * [backup-simplify]: Simplify 1 into 1 0.410 * [backup-simplify]: Simplify (* 1 1) into 1 0.410 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 0.410 * [backup-simplify]: Simplify 0.12 into 0.12 0.411 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.411 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0 0.411 * [backup-simplify]: Simplify 0 into 0 0.412 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.412 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.412 * [backup-simplify]: Simplify 0 into 0 0.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.413 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.413 * [backup-simplify]: Simplify 0 into 0 0.414 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.414 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.414 * [backup-simplify]: Simplify 0 into 0 0.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.416 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.416 * [backup-simplify]: Simplify 0 into 0 0.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.417 * [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 0.417 * [backup-simplify]: Simplify 0 into 0 0.417 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 (- x))) 2)) into (* 0.12 (pow x 2)) 0.417 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.417 * [backup-simplify]: Simplify (- (- 1.0 (* 0.253 x)) (* x (* x 0.12))) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.417 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) in (x) around 0 0.417 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) in x 0.417 * [taylor]: Taking taylor expansion of 1.0 in x 0.417 * [backup-simplify]: Simplify 1.0 into 1.0 0.417 * [taylor]: Taking taylor expansion of (+ (* 0.12 (pow x 2)) (* 0.253 x)) in x 0.417 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.417 * [taylor]: Taking taylor expansion of 0.12 in x 0.417 * [backup-simplify]: Simplify 0.12 into 0.12 0.417 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.418 * [taylor]: Taking taylor expansion of x in x 0.418 * [backup-simplify]: Simplify 0 into 0 0.418 * [backup-simplify]: Simplify 1 into 1 0.418 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 0.418 * [taylor]: Taking taylor expansion of 0.253 in x 0.418 * [backup-simplify]: Simplify 0.253 into 0.253 0.418 * [taylor]: Taking taylor expansion of x in x 0.418 * [backup-simplify]: Simplify 0 into 0 0.418 * [backup-simplify]: Simplify 1 into 1 0.418 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) in x 0.418 * [taylor]: Taking taylor expansion of 1.0 in x 0.418 * [backup-simplify]: Simplify 1.0 into 1.0 0.418 * [taylor]: Taking taylor expansion of (+ (* 0.12 (pow x 2)) (* 0.253 x)) in x 0.418 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.418 * [taylor]: Taking taylor expansion of 0.12 in x 0.418 * [backup-simplify]: Simplify 0.12 into 0.12 0.418 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.418 * [taylor]: Taking taylor expansion of x in x 0.418 * [backup-simplify]: Simplify 0 into 0 0.418 * [backup-simplify]: Simplify 1 into 1 0.418 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 0.418 * [taylor]: Taking taylor expansion of 0.253 in x 0.418 * [backup-simplify]: Simplify 0.253 into 0.253 0.418 * [taylor]: Taking taylor expansion of x in x 0.418 * [backup-simplify]: Simplify 0 into 0 0.418 * [backup-simplify]: Simplify 1 into 1 0.418 * [backup-simplify]: Simplify (* 0.253 0) into 0 0.418 * [backup-simplify]: Simplify (+ 0 0) into 0 0.419 * [backup-simplify]: Simplify (- 0) into 0 0.419 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.419 * [backup-simplify]: Simplify 1.0 into 1.0 0.420 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253 0.420 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.420 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.421 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 0.421 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.421 * [backup-simplify]: Simplify (* 1 1) into 1 0.421 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.422 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0 0.422 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.422 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.423 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.423 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.424 * [backup-simplify]: Simplify (+ (* (- 0.12) (pow x 2)) (+ (* (- 0.253) x) 1.0)) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.424 * [backup-simplify]: Simplify (- (- 1.0 (* 0.253 (/ 1 x))) (* (/ 1 x) (* (/ 1 x) 0.12))) into (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) 0.424 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in (x) around 0 0.424 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in x 0.424 * [taylor]: Taking taylor expansion of 1.0 in x 0.424 * [backup-simplify]: Simplify 1.0 into 1.0 0.424 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 0.424 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.424 * [taylor]: Taking taylor expansion of 0.12 in x 0.424 * [backup-simplify]: Simplify 0.12 into 0.12 0.424 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.424 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.424 * [taylor]: Taking taylor expansion of x in x 0.424 * [backup-simplify]: Simplify 0 into 0 0.424 * [backup-simplify]: Simplify 1 into 1 0.424 * [backup-simplify]: Simplify (* 1 1) into 1 0.425 * [backup-simplify]: Simplify (/ 1 1) into 1 0.425 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.425 * [taylor]: Taking taylor expansion of 0.253 in x 0.425 * [backup-simplify]: Simplify 0.253 into 0.253 0.425 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.425 * [taylor]: Taking taylor expansion of x in x 0.425 * [backup-simplify]: Simplify 0 into 0 0.425 * [backup-simplify]: Simplify 1 into 1 0.425 * [backup-simplify]: Simplify (/ 1 1) into 1 0.425 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in x 0.425 * [taylor]: Taking taylor expansion of 1.0 in x 0.425 * [backup-simplify]: Simplify 1.0 into 1.0 0.425 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 0.425 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.425 * [taylor]: Taking taylor expansion of 0.12 in x 0.425 * [backup-simplify]: Simplify 0.12 into 0.12 0.425 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.425 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.425 * [taylor]: Taking taylor expansion of x in x 0.425 * [backup-simplify]: Simplify 0 into 0 0.425 * [backup-simplify]: Simplify 1 into 1 0.425 * [backup-simplify]: Simplify (* 1 1) into 1 0.426 * [backup-simplify]: Simplify (/ 1 1) into 1 0.426 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.426 * [taylor]: Taking taylor expansion of 0.253 in x 0.426 * [backup-simplify]: Simplify 0.253 into 0.253 0.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.426 * [taylor]: Taking taylor expansion of x in x 0.426 * [backup-simplify]: Simplify 0 into 0 0.426 * [backup-simplify]: Simplify 1 into 1 0.426 * [backup-simplify]: Simplify (/ 1 1) into 1 0.426 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.427 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.427 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.427 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.427 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.428 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.429 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.429 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 0.429 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.429 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.430 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 0.430 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.431 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.431 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.432 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 0.433 * [backup-simplify]: Simplify (+ 0 0) into 0 0.433 * [backup-simplify]: Simplify (- 0) into 0 0.433 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.433 * [backup-simplify]: Simplify 1.0 into 1.0 0.434 * [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))) 0.434 * [backup-simplify]: Simplify (- (- 1.0 (* 0.253 (/ 1 (- x)))) (* (/ 1 (- x)) (* (/ 1 (- x)) 0.12))) into (- (+ 1.0 (* 0.253 (/ 1 x))) (* 0.12 (/ 1 (pow x 2)))) 0.434 * [approximate]: Taking taylor expansion of (- (+ 1.0 (* 0.253 (/ 1 x))) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 0.434 * [taylor]: Taking taylor expansion of (- (+ 1.0 (* 0.253 (/ 1 x))) (* 0.12 (/ 1 (pow x 2)))) in x 0.434 * [taylor]: Taking taylor expansion of (+ 1.0 (* 0.253 (/ 1 x))) in x 0.434 * [taylor]: Taking taylor expansion of 1.0 in x 0.434 * [backup-simplify]: Simplify 1.0 into 1.0 0.434 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.434 * [taylor]: Taking taylor expansion of 0.253 in x 0.434 * [backup-simplify]: Simplify 0.253 into 0.253 0.434 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.434 * [taylor]: Taking taylor expansion of x in x 0.434 * [backup-simplify]: Simplify 0 into 0 0.434 * [backup-simplify]: Simplify 1 into 1 0.434 * [backup-simplify]: Simplify (/ 1 1) into 1 0.434 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.434 * [taylor]: Taking taylor expansion of 0.12 in x 0.434 * [backup-simplify]: Simplify 0.12 into 0.12 0.434 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.434 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.434 * [taylor]: Taking taylor expansion of x in x 0.434 * [backup-simplify]: Simplify 0 into 0 0.434 * [backup-simplify]: Simplify 1 into 1 0.435 * [backup-simplify]: Simplify (* 1 1) into 1 0.435 * [backup-simplify]: Simplify (/ 1 1) into 1 0.435 * [taylor]: Taking taylor expansion of (- (+ 1.0 (* 0.253 (/ 1 x))) (* 0.12 (/ 1 (pow x 2)))) in x 0.435 * [taylor]: Taking taylor expansion of (+ 1.0 (* 0.253 (/ 1 x))) in x 0.435 * [taylor]: Taking taylor expansion of 1.0 in x 0.435 * [backup-simplify]: Simplify 1.0 into 1.0 0.435 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.435 * [taylor]: Taking taylor expansion of 0.253 in x 0.435 * [backup-simplify]: Simplify 0.253 into 0.253 0.435 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.435 * [taylor]: Taking taylor expansion of x in x 0.435 * [backup-simplify]: Simplify 0 into 0 0.435 * [backup-simplify]: Simplify 1 into 1 0.435 * [backup-simplify]: Simplify (/ 1 1) into 1 0.435 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.435 * [taylor]: Taking taylor expansion of 0.12 in x 0.435 * [backup-simplify]: Simplify 0.12 into 0.12 0.435 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.435 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.435 * [taylor]: Taking taylor expansion of x in x 0.435 * [backup-simplify]: Simplify 0 into 0 0.435 * [backup-simplify]: Simplify 1 into 1 0.436 * [backup-simplify]: Simplify (* 1 1) into 1 0.436 * [backup-simplify]: Simplify (/ 1 1) into 1 0.436 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.436 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.437 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.437 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.437 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 0.438 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.438 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.438 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.439 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.439 * [backup-simplify]: Simplify (- 0) into 0 0.439 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 0.439 * [backup-simplify]: Simplify 0.253 into 0.253 0.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.440 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 0.440 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.441 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.442 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.442 * [backup-simplify]: Simplify (- 0) into 0 0.446 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.446 * [backup-simplify]: Simplify 1.0 into 1.0 0.446 * [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))) 0.446 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.446 * [backup-simplify]: Simplify (- 1.0 (* 0.253 x)) into (- 1.0 (* 0.253 x)) 0.446 * [approximate]: Taking taylor expansion of (- 1.0 (* 0.253 x)) in (x) around 0 0.446 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 x)) in x 0.446 * [taylor]: Taking taylor expansion of 1.0 in x 0.446 * [backup-simplify]: Simplify 1.0 into 1.0 0.446 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 0.447 * [taylor]: Taking taylor expansion of 0.253 in x 0.447 * [backup-simplify]: Simplify 0.253 into 0.253 0.447 * [taylor]: Taking taylor expansion of x in x 0.447 * [backup-simplify]: Simplify 0 into 0 0.447 * [backup-simplify]: Simplify 1 into 1 0.447 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 x)) in x 0.447 * [taylor]: Taking taylor expansion of 1.0 in x 0.447 * [backup-simplify]: Simplify 1.0 into 1.0 0.447 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 0.447 * [taylor]: Taking taylor expansion of 0.253 in x 0.447 * [backup-simplify]: Simplify 0.253 into 0.253 0.447 * [taylor]: Taking taylor expansion of x in x 0.447 * [backup-simplify]: Simplify 0 into 0 0.447 * [backup-simplify]: Simplify 1 into 1 0.447 * [backup-simplify]: Simplify (* 0.253 0) into 0 0.447 * [backup-simplify]: Simplify (- 0) into 0 0.448 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.448 * [backup-simplify]: Simplify 1.0 into 1.0 0.448 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253 0.449 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.449 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 0.449 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.450 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0 0.450 * [backup-simplify]: Simplify (- 0) into 0 0.450 * [backup-simplify]: Simplify (+ 0 0) into 0 0.450 * [backup-simplify]: Simplify 0 into 0 0.451 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.451 * [backup-simplify]: Simplify (- 0) into 0 0.451 * [backup-simplify]: Simplify (+ 0 0) into 0 0.451 * [backup-simplify]: Simplify 0 into 0 0.452 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.452 * [backup-simplify]: Simplify (- 0) into 0 0.452 * [backup-simplify]: Simplify (+ 0 0) into 0 0.452 * [backup-simplify]: Simplify 0 into 0 0.453 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.453 * [backup-simplify]: Simplify (- 0) into 0 0.453 * [backup-simplify]: Simplify (+ 0 0) into 0 0.453 * [backup-simplify]: Simplify 0 into 0 0.454 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 0.454 * [backup-simplify]: Simplify (- 0) into 0 0.455 * [backup-simplify]: Simplify (+ 0 0) into 0 0.455 * [backup-simplify]: Simplify 0 into 0 0.456 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 0.456 * [backup-simplify]: Simplify (- 0) into 0 0.456 * [backup-simplify]: Simplify (+ 0 0) into 0 0.456 * [backup-simplify]: Simplify 0 into 0 0.456 * [backup-simplify]: Simplify (+ (* (- 0.253) x) 1.0) into (- 1.0 (* 0.253 x)) 0.456 * [backup-simplify]: Simplify (- 1.0 (* 0.253 (/ 1 x))) into (- 1.0 (* 0.253 (/ 1 x))) 0.456 * [approximate]: Taking taylor expansion of (- 1.0 (* 0.253 (/ 1 x))) in (x) around 0 0.456 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 (/ 1 x))) in x 0.456 * [taylor]: Taking taylor expansion of 1.0 in x 0.456 * [backup-simplify]: Simplify 1.0 into 1.0 0.456 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.456 * [taylor]: Taking taylor expansion of 0.253 in x 0.456 * [backup-simplify]: Simplify 0.253 into 0.253 0.457 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.457 * [taylor]: Taking taylor expansion of x in x 0.457 * [backup-simplify]: Simplify 0 into 0 0.457 * [backup-simplify]: Simplify 1 into 1 0.457 * [backup-simplify]: Simplify (/ 1 1) into 1 0.457 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 (/ 1 x))) in x 0.457 * [taylor]: Taking taylor expansion of 1.0 in x 0.457 * [backup-simplify]: Simplify 1.0 into 1.0 0.457 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.457 * [taylor]: Taking taylor expansion of 0.253 in x 0.457 * [backup-simplify]: Simplify 0.253 into 0.253 0.457 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.457 * [taylor]: Taking taylor expansion of x in x 0.457 * [backup-simplify]: Simplify 0 into 0 0.457 * [backup-simplify]: Simplify 1 into 1 0.457 * [backup-simplify]: Simplify (/ 1 1) into 1 0.457 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 0.458 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.458 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 0.458 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.459 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.459 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 0.459 * [backup-simplify]: Simplify (- 0) into 0 0.460 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.460 * [backup-simplify]: Simplify 1.0 into 1.0 0.460 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.461 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0 0.461 * [backup-simplify]: Simplify (- 0) into 0 0.461 * [backup-simplify]: Simplify (+ 0 0) into 0 0.461 * [backup-simplify]: Simplify 0 into 0 0.461 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.462 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.462 * [backup-simplify]: Simplify (- 0) into 0 0.462 * [backup-simplify]: Simplify (+ 0 0) into 0 0.462 * [backup-simplify]: Simplify 0 into 0 0.463 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.464 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.464 * [backup-simplify]: Simplify (- 0) into 0 0.464 * [backup-simplify]: Simplify (+ 0 0) into 0 0.464 * [backup-simplify]: Simplify 0 into 0 0.464 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.465 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.465 * [backup-simplify]: Simplify (- 0) into 0 0.466 * [backup-simplify]: Simplify (+ 0 0) into 0 0.466 * [backup-simplify]: Simplify 0 into 0 0.466 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.467 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.467 * [backup-simplify]: Simplify (- 0) into 0 0.467 * [backup-simplify]: Simplify (+ 0 0) into 0 0.467 * [backup-simplify]: Simplify 0 into 0 0.468 * [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 0.469 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.469 * [backup-simplify]: Simplify (- 0) into 0 0.469 * [backup-simplify]: Simplify (+ 0 0) into 0 0.469 * [backup-simplify]: Simplify 0 into 0 0.470 * [backup-simplify]: Simplify (+ 1.0 (* (- 0.253) (/ 1 (/ 1 x)))) into (- 1.0 (* 0.253 x)) 0.470 * [backup-simplify]: Simplify (- 1.0 (* 0.253 (/ 1 (- x)))) into (+ (* 0.253 (/ 1 x)) 1.0) 0.470 * [approximate]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in (x) around 0 0.470 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 0.470 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.470 * [taylor]: Taking taylor expansion of 0.253 in x 0.470 * [backup-simplify]: Simplify 0.253 into 0.253 0.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.470 * [taylor]: Taking taylor expansion of x in x 0.470 * [backup-simplify]: Simplify 0 into 0 0.470 * [backup-simplify]: Simplify 1 into 1 0.470 * [backup-simplify]: Simplify (/ 1 1) into 1 0.470 * [taylor]: Taking taylor expansion of 1.0 in x 0.470 * [backup-simplify]: Simplify 1.0 into 1.0 0.470 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 0.470 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.470 * [taylor]: Taking taylor expansion of 0.253 in x 0.470 * [backup-simplify]: Simplify 0.253 into 0.253 0.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.470 * [taylor]: Taking taylor expansion of x in x 0.470 * [backup-simplify]: Simplify 0 into 0 0.470 * [backup-simplify]: Simplify 1 into 1 0.470 * [backup-simplify]: Simplify (/ 1 1) into 1 0.470 * [taylor]: Taking taylor expansion of 1.0 in x 0.470 * [backup-simplify]: Simplify 1.0 into 1.0 0.471 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 0.471 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 0.471 * [backup-simplify]: Simplify 0.253 into 0.253 0.471 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.472 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 0.472 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.472 * [backup-simplify]: Simplify 1.0 into 1.0 0.473 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.473 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0 0.473 * [backup-simplify]: Simplify (+ 0 0) into 0 0.473 * [backup-simplify]: Simplify 0 into 0 0.474 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.474 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.475 * [backup-simplify]: Simplify (+ 0 0) into 0 0.475 * [backup-simplify]: Simplify 0 into 0 0.475 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.476 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.476 * [backup-simplify]: Simplify (+ 0 0) into 0 0.476 * [backup-simplify]: Simplify 0 into 0 0.476 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.477 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.477 * [backup-simplify]: Simplify (+ 0 0) into 0 0.477 * [backup-simplify]: Simplify 0 into 0 0.478 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.479 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.479 * [backup-simplify]: Simplify (+ 0 0) into 0 0.479 * [backup-simplify]: Simplify 0 into 0 0.480 * [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 0.480 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.481 * [backup-simplify]: Simplify (+ 0 0) into 0 0.481 * [backup-simplify]: Simplify 0 into 0 0.481 * [backup-simplify]: Simplify (+ 1.0 (* 0.253 (/ 1 (/ 1 (- x))))) into (- 1.0 (* 0.253 x)) 0.481 * * * [progress]: simplifying candidates 0.482 * [simplify]: Simplifying: (* x (* x 0.12)) (* x (* x 0.12)) (+ (log x) (+ (log x) (log 0.12))) (+ (log x) (log (* x 0.12))) (log (* x (* x 0.12))) (exp (* x (* x 0.12))) (* (* (* x x) x) (* (* (* x x) x) (* (* 0.12 0.12) 0.12))) (* (* (* x x) x) (* (* (* x 0.12) (* x 0.12)) (* x 0.12))) (* (cbrt (* x (* x 0.12))) (cbrt (* x (* x 0.12)))) (cbrt (* x (* x 0.12))) (* (* (* x (* x 0.12)) (* x (* x 0.12))) (* x (* x 0.12))) (sqrt (* x (* x 0.12))) (sqrt (* x (* x 0.12))) (* x x) (* (cbrt x) (* x 0.12)) (* (sqrt x) (* x 0.12)) (* x (* x 0.12)) (/ (/ (exp 1.0) (exp (* 0.253 x))) (exp (* x (* x 0.12)))) (/ (exp (- 1.0 (* 0.253 x))) (exp (* x (* x 0.12)))) (log (- (- 1.0 (* 0.253 x)) (* x (* x 0.12)))) (exp (- (- 1.0 (* 0.253 x)) (* x (* x 0.12)))) (* (cbrt (- (- 1.0 (* 0.253 x)) (* x (* x 0.12)))) (cbrt (- (- 1.0 (* 0.253 x)) (* x (* x 0.12))))) (cbrt (- (- 1.0 (* 0.253 x)) (* x (* x 0.12)))) (* (* (- (- 1.0 (* 0.253 x)) (* x (* x 0.12))) (- (- 1.0 (* 0.253 x)) (* x (* x 0.12)))) (- (- 1.0 (* 0.253 x)) (* x (* x 0.12)))) (sqrt (- (- 1.0 (* 0.253 x)) (* x (* x 0.12)))) (sqrt (- (- 1.0 (* 0.253 x)) (* x (* x 0.12)))) (- (pow (- 1.0 (* 0.253 x)) 3) (pow (* x (* x 0.12)) 3)) (+ (* (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x))) (+ (* (* x (* x 0.12)) (* x (* x 0.12))) (* (- 1.0 (* 0.253 x)) (* x (* x 0.12))))) (- (* x (* x 0.12))) (- (* (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x))) (* (* x (* x 0.12)) (* x (* x 0.12)))) (+ (- 1.0 (* 0.253 x)) (* x (* x 0.12))) (- (- (* 0.253 x)) (* x (* x 0.12))) (- (- (* 0.253 x)) (* x (* x 0.12))) (+ (* 0.253 x) (* x (* x 0.12))) (- (* x (* x 0.12))) (/ (exp 1.0) (exp (* 0.253 x))) (log (- 1.0 (* 0.253 x))) (exp (- 1.0 (* 0.253 x))) (* (cbrt (- 1.0 (* 0.253 x))) (cbrt (- 1.0 (* 0.253 x)))) (cbrt (- 1.0 (* 0.253 x))) (* (* (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x))) (- 1.0 (* 0.253 x))) (sqrt (- 1.0 (* 0.253 x))) (sqrt (- 1.0 (* 0.253 x))) (- (pow 1.0 3) (pow (* 0.253 x) 3)) (+ (* 1.0 1.0) (+ (* (* 0.253 x) (* 0.253 x)) (* 1.0 (* 0.253 x)))) (- (* 0.253 x)) (- (* 1.0 1.0) (* (* 0.253 x) (* 0.253 x))) (+ 1.0 (* 0.253 x)) (- (* 0.253 x)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (- 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.253 x)) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) 0.482 * [simplify]: Sending expressions to egg_math: (* h0 (* h0 h1)) (* h0 (* h0 h1)) (+ (log h0) (+ (log h0) (log h1))) (+ (log h0) (log (* h0 h1))) (log (* h0 (* h0 h1))) (exp (* h0 (* h0 h1))) (* (* (* h0 h0) h0) (* (* (* h0 h0) h0) (* (* h1 h1) h1))) (* (* (* h0 h0) h0) (* (* (* h0 h1) (* h0 h1)) (* h0 h1))) (* (cbrt (* h0 (* h0 h1))) (cbrt (* h0 (* h0 h1)))) (cbrt (* h0 (* h0 h1))) (* (* (* h0 (* h0 h1)) (* h0 (* h0 h1))) (* h0 (* h0 h1))) (sqrt (* h0 (* h0 h1))) (sqrt (* h0 (* h0 h1))) (* h0 h0) (* (cbrt h0) (* h0 h1)) (* (sqrt h0) (* h0 h1)) (* h0 (* h0 h1)) (/ (/ (exp h2) (exp (* h3 h0))) (exp (* h0 (* h0 h1)))) (/ (exp (- h2 (* h3 h0))) (exp (* h0 (* h0 h1)))) (log (- (- h2 (* h3 h0)) (* h0 (* h0 h1)))) (exp (- (- h2 (* h3 h0)) (* h0 (* h0 h1)))) (* (cbrt (- (- h2 (* h3 h0)) (* h0 (* h0 h1)))) (cbrt (- (- h2 (* h3 h0)) (* h0 (* h0 h1))))) (cbrt (- (- h2 (* h3 h0)) (* h0 (* h0 h1)))) (* (* (- (- h2 (* h3 h0)) (* h0 (* h0 h1))) (- (- h2 (* h3 h0)) (* h0 (* h0 h1)))) (- (- h2 (* h3 h0)) (* h0 (* h0 h1)))) (sqrt (- (- h2 (* h3 h0)) (* h0 (* h0 h1)))) (sqrt (- (- h2 (* h3 h0)) (* h0 (* h0 h1)))) (- (pow (- h2 (* h3 h0)) 3) (pow (* h0 (* h0 h1)) 3)) (+ (* (- h2 (* h3 h0)) (- h2 (* h3 h0))) (+ (* (* h0 (* h0 h1)) (* h0 (* h0 h1))) (* (- h2 (* h3 h0)) (* h0 (* h0 h1))))) (- (* h0 (* h0 h1))) (- (* (- h2 (* h3 h0)) (- h2 (* h3 h0))) (* (* h0 (* h0 h1)) (* h0 (* h0 h1)))) (+ (- h2 (* h3 h0)) (* h0 (* h0 h1))) (- (- (* h3 h0)) (* h0 (* h0 h1))) (- (- (* h3 h0)) (* h0 (* h0 h1))) (+ (* h3 h0) (* h0 (* h0 h1))) (- (* h0 (* h0 h1))) (/ (exp h2) (exp (* h3 h0))) (log (- h2 (* h3 h0))) (exp (- h2 (* h3 h0))) (* (cbrt (- h2 (* h3 h0))) (cbrt (- h2 (* h3 h0)))) (cbrt (- h2 (* h3 h0))) (* (* (- h2 (* h3 h0)) (- h2 (* h3 h0))) (- h2 (* h3 h0))) (sqrt (- h2 (* h3 h0))) (sqrt (- h2 (* h3 h0))) (- (pow h2 3) (pow (* h3 h0) 3)) (+ (* h2 h2) (+ (* (* h3 h0) (* h3 h0)) (* h2 (* h3 h0)))) (- (* h3 h0)) (- (* h2 h2) (* (* h3 h0) (* h3 h0))) (+ h2 (* h3 h0)) (- (* h3 h0)) (* h1 (pow h0 2)) (* h1 (pow h0 2)) (* h1 (pow h0 2)) (- h2 (+ (* h1 (pow h0 2)) (* h3 h0))) (- h2 (+ (* h1 (pow h0 2)) (* h3 h0))) (- h2 (+ (* h1 (pow h0 2)) (* h3 h0))) (- h2 (* h3 h0)) (- h2 (* h3 h0)) (- h2 (* h3 h0)) 0.486 * * [simplify]: iteration 0 : 212 enodes (cost 265 ) 0.491 * * [simplify]: iteration 1 : 755 enodes (cost 241 ) 0.509 * * [simplify]: iteration 2 : 3506 enodes (cost 239 ) 0.574 * * [simplify]: iteration 3 : 5001 enodes (cost 238 ) 0.576 * * * [progress]: adding candidates to table 0.661 * * [progress]: iteration 3 / 4 0.662 * * * [progress]: picking best candidate 0.667 * * * * [pick]: Picked # 0.667 * * * [progress]: localizing error 0.675 * * * [progress]: generating rewritten candidates 0.675 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 0.686 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.695 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.715 * * * [progress]: generating series expansions 0.715 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 0.715 * [backup-simplify]: Simplify (* 0.12 (pow x 2)) into (* 0.12 (pow x 2)) 0.715 * [approximate]: Taking taylor expansion of (* 0.12 (pow x 2)) in (x) around 0 0.715 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.715 * [taylor]: Taking taylor expansion of 0.12 in x 0.715 * [backup-simplify]: Simplify 0.12 into 0.12 0.715 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.715 * [taylor]: Taking taylor expansion of x in x 0.715 * [backup-simplify]: Simplify 0 into 0 0.715 * [backup-simplify]: Simplify 1 into 1 0.716 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.716 * [taylor]: Taking taylor expansion of 0.12 in x 0.716 * [backup-simplify]: Simplify 0.12 into 0.12 0.716 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.716 * [taylor]: Taking taylor expansion of x in x 0.716 * [backup-simplify]: Simplify 0 into 0 0.716 * [backup-simplify]: Simplify 1 into 1 0.716 * [backup-simplify]: Simplify (* 1 1) into 1 0.717 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.717 * [backup-simplify]: Simplify 0.12 into 0.12 0.717 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.718 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.718 * [backup-simplify]: Simplify 0 into 0 0.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.719 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.719 * [backup-simplify]: Simplify 0 into 0 0.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.720 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.720 * [backup-simplify]: Simplify 0 into 0 0.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.721 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.721 * [backup-simplify]: Simplify 0 into 0 0.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.723 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.723 * [backup-simplify]: Simplify 0 into 0 0.724 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.724 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.724 * [backup-simplify]: Simplify 0 into 0 0.725 * [backup-simplify]: Simplify (* 0.12 (pow x 2)) into (* 0.12 (pow x 2)) 0.725 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 x) 2)) into (/ 0.12 (pow x 2)) 0.725 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 0.725 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 0.725 * [taylor]: Taking taylor expansion of 0.12 in x 0.725 * [backup-simplify]: Simplify 0.12 into 0.12 0.725 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.725 * [taylor]: Taking taylor expansion of x in x 0.725 * [backup-simplify]: Simplify 0 into 0 0.725 * [backup-simplify]: Simplify 1 into 1 0.726 * [backup-simplify]: Simplify (* 1 1) into 1 0.726 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 0.726 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 0.726 * [taylor]: Taking taylor expansion of 0.12 in x 0.726 * [backup-simplify]: Simplify 0.12 into 0.12 0.726 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.726 * [taylor]: Taking taylor expansion of x in x 0.726 * [backup-simplify]: Simplify 0 into 0 0.726 * [backup-simplify]: Simplify 1 into 1 0.726 * [backup-simplify]: Simplify (* 1 1) into 1 0.727 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 0.727 * [backup-simplify]: Simplify 0.12 into 0.12 0.727 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.728 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0 0.728 * [backup-simplify]: Simplify 0 into 0 0.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.729 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.729 * [backup-simplify]: Simplify 0 into 0 0.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.730 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.730 * [backup-simplify]: Simplify 0 into 0 0.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.731 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.731 * [backup-simplify]: Simplify 0 into 0 0.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.732 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.733 * [backup-simplify]: Simplify 0 into 0 0.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.734 * [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 0.734 * [backup-simplify]: Simplify 0 into 0 0.734 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 x)) 2)) into (* 0.12 (pow x 2)) 0.734 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (- x)) 2)) into (/ 0.12 (pow x 2)) 0.734 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 0.734 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 0.734 * [taylor]: Taking taylor expansion of 0.12 in x 0.734 * [backup-simplify]: Simplify 0.12 into 0.12 0.734 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.734 * [taylor]: Taking taylor expansion of x in x 0.734 * [backup-simplify]: Simplify 0 into 0 0.734 * [backup-simplify]: Simplify 1 into 1 0.735 * [backup-simplify]: Simplify (* 1 1) into 1 0.735 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 0.735 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 0.735 * [taylor]: Taking taylor expansion of 0.12 in x 0.735 * [backup-simplify]: Simplify 0.12 into 0.12 0.735 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.735 * [taylor]: Taking taylor expansion of x in x 0.735 * [backup-simplify]: Simplify 0 into 0 0.735 * [backup-simplify]: Simplify 1 into 1 0.735 * [backup-simplify]: Simplify (* 1 1) into 1 0.735 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 0.736 * [backup-simplify]: Simplify 0.12 into 0.12 0.736 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.736 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0 0.736 * [backup-simplify]: Simplify 0 into 0 0.737 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.738 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.738 * [backup-simplify]: Simplify 0 into 0 0.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.739 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.739 * [backup-simplify]: Simplify 0 into 0 0.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.740 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.740 * [backup-simplify]: Simplify 0 into 0 0.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.741 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.741 * [backup-simplify]: Simplify 0 into 0 0.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.742 * [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 0.742 * [backup-simplify]: Simplify 0 into 0 0.743 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 (- x))) 2)) into (* 0.12 (pow x 2)) 0.743 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.743 * [backup-simplify]: Simplify (+ (* 0.12 (pow x 2)) (* 0.253 x)) into (+ (* 0.12 (pow x 2)) (* 0.253 x)) 0.743 * [approximate]: Taking taylor expansion of (+ (* 0.12 (pow x 2)) (* 0.253 x)) in (x) around 0 0.743 * [taylor]: Taking taylor expansion of (+ (* 0.12 (pow x 2)) (* 0.253 x)) in x 0.743 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.743 * [taylor]: Taking taylor expansion of 0.12 in x 0.743 * [backup-simplify]: Simplify 0.12 into 0.12 0.743 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.743 * [taylor]: Taking taylor expansion of x in x 0.743 * [backup-simplify]: Simplify 0 into 0 0.743 * [backup-simplify]: Simplify 1 into 1 0.743 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 0.743 * [taylor]: Taking taylor expansion of 0.253 in x 0.743 * [backup-simplify]: Simplify 0.253 into 0.253 0.743 * [taylor]: Taking taylor expansion of x in x 0.743 * [backup-simplify]: Simplify 0 into 0 0.743 * [backup-simplify]: Simplify 1 into 1 0.743 * [taylor]: Taking taylor expansion of (+ (* 0.12 (pow x 2)) (* 0.253 x)) in x 0.743 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.743 * [taylor]: Taking taylor expansion of 0.12 in x 0.743 * [backup-simplify]: Simplify 0.12 into 0.12 0.743 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.743 * [taylor]: Taking taylor expansion of x in x 0.743 * [backup-simplify]: Simplify 0 into 0 0.743 * [backup-simplify]: Simplify 1 into 1 0.743 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 0.743 * [taylor]: Taking taylor expansion of 0.253 in x 0.743 * [backup-simplify]: Simplify 0.253 into 0.253 0.743 * [taylor]: Taking taylor expansion of x in x 0.743 * [backup-simplify]: Simplify 0 into 0 0.743 * [backup-simplify]: Simplify 1 into 1 0.744 * [backup-simplify]: Simplify (* 0.253 0) into 0 0.744 * [backup-simplify]: Simplify (+ 0 0) into 0 0.744 * [backup-simplify]: Simplify 0 into 0 0.745 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253 0.745 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.745 * [backup-simplify]: Simplify 0.253 into 0.253 0.745 * [backup-simplify]: Simplify (* 1 1) into 1 0.745 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.746 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0 0.746 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.746 * [backup-simplify]: Simplify 0.12 into 0.12 0.747 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.747 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.747 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.748 * [backup-simplify]: Simplify (+ 0 0) into 0 0.748 * [backup-simplify]: Simplify 0 into 0 0.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.749 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.749 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.750 * [backup-simplify]: Simplify (+ 0 0) into 0 0.750 * [backup-simplify]: Simplify 0 into 0 0.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.751 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.751 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.752 * [backup-simplify]: Simplify (+ 0 0) into 0 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.753 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.754 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 0.754 * [backup-simplify]: Simplify (+ 0 0) into 0 0.754 * [backup-simplify]: Simplify 0 into 0 0.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.755 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.756 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 0.756 * [backup-simplify]: Simplify (+ 0 0) into 0 0.756 * [backup-simplify]: Simplify 0 into 0 0.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.758 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.759 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 0.759 * [backup-simplify]: Simplify (+ 0 0) into 0 0.759 * [backup-simplify]: Simplify 0 into 0 0.759 * [backup-simplify]: Simplify (+ (* 0.12 (pow x 2)) (* 0.253 x)) into (+ (* 0.12 (pow x 2)) (* 0.253 x)) 0.760 * [backup-simplify]: Simplify (+ (* 0.12 (pow (/ 1 x) 2)) (* 0.253 (/ 1 x))) into (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) 0.760 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in (x) around 0 0.760 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 0.760 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.760 * [taylor]: Taking taylor expansion of 0.12 in x 0.760 * [backup-simplify]: Simplify 0.12 into 0.12 0.760 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.760 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.760 * [taylor]: Taking taylor expansion of x in x 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify 1 into 1 0.760 * [backup-simplify]: Simplify (* 1 1) into 1 0.760 * [backup-simplify]: Simplify (/ 1 1) into 1 0.760 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.760 * [taylor]: Taking taylor expansion of 0.253 in x 0.760 * [backup-simplify]: Simplify 0.253 into 0.253 0.760 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.760 * [taylor]: Taking taylor expansion of x in x 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify 1 into 1 0.761 * [backup-simplify]: Simplify (/ 1 1) into 1 0.761 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 0.761 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.761 * [taylor]: Taking taylor expansion of 0.12 in x 0.761 * [backup-simplify]: Simplify 0.12 into 0.12 0.761 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.761 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.761 * [taylor]: Taking taylor expansion of x in x 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 1 into 1 0.761 * [backup-simplify]: Simplify (* 1 1) into 1 0.761 * [backup-simplify]: Simplify (/ 1 1) into 1 0.761 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.761 * [taylor]: Taking taylor expansion of 0.253 in x 0.761 * [backup-simplify]: Simplify 0.253 into 0.253 0.761 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.761 * [taylor]: Taking taylor expansion of x in x 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 1 into 1 0.762 * [backup-simplify]: Simplify (/ 1 1) into 1 0.762 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.762 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.762 * [backup-simplify]: Simplify 0.12 into 0.12 0.762 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.763 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.763 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.763 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 0.764 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.764 * [backup-simplify]: Simplify 0.253 into 0.253 0.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.765 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.766 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.766 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 0.766 * [backup-simplify]: Simplify (+ 0 0) into 0 0.766 * [backup-simplify]: Simplify 0 into 0 0.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.767 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.768 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.768 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.769 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0 0.769 * [backup-simplify]: Simplify (+ 0 0) into 0 0.769 * [backup-simplify]: Simplify 0 into 0 0.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.771 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.772 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.772 * [backup-simplify]: Simplify (+ 0 0) into 0 0.772 * [backup-simplify]: Simplify 0 into 0 0.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.773 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.774 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.774 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.775 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.775 * [backup-simplify]: Simplify (+ 0 0) into 0 0.775 * [backup-simplify]: Simplify 0 into 0 0.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.777 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.778 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.779 * [backup-simplify]: Simplify (+ 0 0) into 0 0.779 * [backup-simplify]: Simplify 0 into 0 0.779 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.780 * [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 0.781 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.782 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.782 * [backup-simplify]: Simplify (+ 0 0) into 0 0.782 * [backup-simplify]: Simplify 0 into 0 0.783 * [backup-simplify]: Simplify (+ (* 0.253 (/ 1 (/ 1 x))) (* 0.12 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 0.12 (pow x 2)) (* 0.253 x)) 0.783 * [backup-simplify]: Simplify (+ (* 0.12 (pow (/ 1 (- x)) 2)) (* 0.253 (/ 1 (- x)))) into (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) 0.783 * [approximate]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in (x) around 0 0.783 * [taylor]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 0.783 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.783 * [taylor]: Taking taylor expansion of 0.12 in x 0.783 * [backup-simplify]: Simplify 0.12 into 0.12 0.783 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.783 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.783 * [taylor]: Taking taylor expansion of x in x 0.783 * [backup-simplify]: Simplify 0 into 0 0.783 * [backup-simplify]: Simplify 1 into 1 0.783 * [backup-simplify]: Simplify (* 1 1) into 1 0.783 * [backup-simplify]: Simplify (/ 1 1) into 1 0.784 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.784 * [taylor]: Taking taylor expansion of 0.253 in x 0.784 * [backup-simplify]: Simplify 0.253 into 0.253 0.784 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.784 * [taylor]: Taking taylor expansion of x in x 0.784 * [backup-simplify]: Simplify 0 into 0 0.784 * [backup-simplify]: Simplify 1 into 1 0.784 * [backup-simplify]: Simplify (/ 1 1) into 1 0.784 * [taylor]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 0.784 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.784 * [taylor]: Taking taylor expansion of 0.12 in x 0.784 * [backup-simplify]: Simplify 0.12 into 0.12 0.784 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.784 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.784 * [taylor]: Taking taylor expansion of x in x 0.784 * [backup-simplify]: Simplify 0 into 0 0.784 * [backup-simplify]: Simplify 1 into 1 0.784 * [backup-simplify]: Simplify (* 1 1) into 1 0.784 * [backup-simplify]: Simplify (/ 1 1) into 1 0.784 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.784 * [taylor]: Taking taylor expansion of 0.253 in x 0.784 * [backup-simplify]: Simplify 0.253 into 0.253 0.785 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.785 * [taylor]: Taking taylor expansion of x in x 0.785 * [backup-simplify]: Simplify 0 into 0 0.785 * [backup-simplify]: Simplify 1 into 1 0.785 * [backup-simplify]: Simplify (/ 1 1) into 1 0.785 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.786 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.786 * [backup-simplify]: Simplify 0.12 into 0.12 0.791 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.792 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.793 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 0.793 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.793 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 0.794 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.794 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.795 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.796 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.796 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 0.796 * [backup-simplify]: Simplify (- 0) into 0 0.796 * [backup-simplify]: Simplify (+ 0 0) into 0 0.796 * [backup-simplify]: Simplify 0 into 0 0.797 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.797 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.798 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.798 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.799 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0 0.799 * [backup-simplify]: Simplify (- 0) into 0 0.799 * [backup-simplify]: Simplify (+ 0 0) into 0 0.799 * [backup-simplify]: Simplify 0 into 0 0.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.800 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.801 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.802 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.802 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.802 * [backup-simplify]: Simplify (- 0) into 0 0.803 * [backup-simplify]: Simplify (+ 0 0) into 0 0.803 * [backup-simplify]: Simplify 0 into 0 0.803 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.804 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.804 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.805 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.806 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.806 * [backup-simplify]: Simplify (- 0) into 0 0.806 * [backup-simplify]: Simplify (+ 0 0) into 0 0.806 * [backup-simplify]: Simplify 0 into 0 0.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.808 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.809 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.809 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.810 * [backup-simplify]: Simplify (- 0) into 0 0.810 * [backup-simplify]: Simplify (+ 0 0) into 0 0.810 * [backup-simplify]: Simplify 0 into 0 0.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.811 * [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 0.812 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.813 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.813 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.814 * [backup-simplify]: Simplify (- 0) into 0 0.814 * [backup-simplify]: Simplify (+ 0 0) into 0 0.814 * [backup-simplify]: Simplify 0 into 0 0.814 * [backup-simplify]: Simplify (+ (* (- 0.253) (/ 1 (/ 1 (- x)))) (* 0.12 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 0.12 (pow x 2)) (* 0.253 x)) 0.815 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.815 * [backup-simplify]: Simplify (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.815 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) in (x) around 0 0.815 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) in x 0.815 * [taylor]: Taking taylor expansion of 1.0 in x 0.815 * [backup-simplify]: Simplify 1.0 into 1.0 0.815 * [taylor]: Taking taylor expansion of (+ (* 0.12 (pow x 2)) (* 0.253 x)) in x 0.815 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.815 * [taylor]: Taking taylor expansion of 0.12 in x 0.815 * [backup-simplify]: Simplify 0.12 into 0.12 0.815 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.815 * [taylor]: Taking taylor expansion of x in x 0.815 * [backup-simplify]: Simplify 0 into 0 0.815 * [backup-simplify]: Simplify 1 into 1 0.815 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 0.815 * [taylor]: Taking taylor expansion of 0.253 in x 0.815 * [backup-simplify]: Simplify 0.253 into 0.253 0.815 * [taylor]: Taking taylor expansion of x in x 0.815 * [backup-simplify]: Simplify 0 into 0 0.815 * [backup-simplify]: Simplify 1 into 1 0.815 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) in x 0.815 * [taylor]: Taking taylor expansion of 1.0 in x 0.815 * [backup-simplify]: Simplify 1.0 into 1.0 0.815 * [taylor]: Taking taylor expansion of (+ (* 0.12 (pow x 2)) (* 0.253 x)) in x 0.815 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.815 * [taylor]: Taking taylor expansion of 0.12 in x 0.815 * [backup-simplify]: Simplify 0.12 into 0.12 0.815 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.815 * [taylor]: Taking taylor expansion of x in x 0.815 * [backup-simplify]: Simplify 0 into 0 0.815 * [backup-simplify]: Simplify 1 into 1 0.815 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 0.815 * [taylor]: Taking taylor expansion of 0.253 in x 0.815 * [backup-simplify]: Simplify 0.253 into 0.253 0.815 * [taylor]: Taking taylor expansion of x in x 0.815 * [backup-simplify]: Simplify 0 into 0 0.815 * [backup-simplify]: Simplify 1 into 1 0.816 * [backup-simplify]: Simplify (* 0.253 0) into 0 0.816 * [backup-simplify]: Simplify (+ 0 0) into 0 0.816 * [backup-simplify]: Simplify (- 0) into 0 0.816 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.816 * [backup-simplify]: Simplify 1.0 into 1.0 0.817 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253 0.817 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.818 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.818 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 0.818 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.819 * [backup-simplify]: Simplify (* 1 1) into 1 0.819 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.819 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0 0.820 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.820 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.820 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.820 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.821 * [backup-simplify]: Simplify (+ (* (- 0.12) (pow x 2)) (+ (* (- 0.253) x) 1.0)) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.821 * [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)))) 0.821 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in (x) around 0 0.821 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in x 0.821 * [taylor]: Taking taylor expansion of 1.0 in x 0.821 * [backup-simplify]: Simplify 1.0 into 1.0 0.821 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 0.821 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.821 * [taylor]: Taking taylor expansion of 0.12 in x 0.821 * [backup-simplify]: Simplify 0.12 into 0.12 0.821 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.821 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.822 * [taylor]: Taking taylor expansion of x in x 0.822 * [backup-simplify]: Simplify 0 into 0 0.822 * [backup-simplify]: Simplify 1 into 1 0.822 * [backup-simplify]: Simplify (* 1 1) into 1 0.822 * [backup-simplify]: Simplify (/ 1 1) into 1 0.822 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.822 * [taylor]: Taking taylor expansion of 0.253 in x 0.822 * [backup-simplify]: Simplify 0.253 into 0.253 0.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.822 * [taylor]: Taking taylor expansion of x in x 0.822 * [backup-simplify]: Simplify 0 into 0 0.822 * [backup-simplify]: Simplify 1 into 1 0.822 * [backup-simplify]: Simplify (/ 1 1) into 1 0.822 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in x 0.822 * [taylor]: Taking taylor expansion of 1.0 in x 0.822 * [backup-simplify]: Simplify 1.0 into 1.0 0.822 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x 0.822 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.822 * [taylor]: Taking taylor expansion of 0.12 in x 0.822 * [backup-simplify]: Simplify 0.12 into 0.12 0.822 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.822 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.822 * [taylor]: Taking taylor expansion of x in x 0.823 * [backup-simplify]: Simplify 0 into 0 0.823 * [backup-simplify]: Simplify 1 into 1 0.823 * [backup-simplify]: Simplify (* 1 1) into 1 0.823 * [backup-simplify]: Simplify (/ 1 1) into 1 0.823 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.823 * [taylor]: Taking taylor expansion of 0.253 in x 0.823 * [backup-simplify]: Simplify 0.253 into 0.253 0.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.823 * [taylor]: Taking taylor expansion of x in x 0.823 * [backup-simplify]: Simplify 0 into 0 0.823 * [backup-simplify]: Simplify 1 into 1 0.823 * [backup-simplify]: Simplify (/ 1 1) into 1 0.824 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.824 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.824 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.825 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.825 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.825 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.826 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.826 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 0.826 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.827 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.827 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 0.827 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.829 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.830 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 0.830 * [backup-simplify]: Simplify (+ 0 0) into 0 0.830 * [backup-simplify]: Simplify (- 0) into 0 0.830 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.830 * [backup-simplify]: Simplify 1.0 into 1.0 0.831 * [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))) 0.831 * [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)))) 0.831 * [approximate]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 0.831 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.831 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 0.831 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.831 * [taylor]: Taking taylor expansion of 0.253 in x 0.831 * [backup-simplify]: Simplify 0.253 into 0.253 0.831 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.831 * [taylor]: Taking taylor expansion of x in x 0.831 * [backup-simplify]: Simplify 0 into 0 0.831 * [backup-simplify]: Simplify 1 into 1 0.832 * [backup-simplify]: Simplify (/ 1 1) into 1 0.832 * [taylor]: Taking taylor expansion of 1.0 in x 0.832 * [backup-simplify]: Simplify 1.0 into 1.0 0.832 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.832 * [taylor]: Taking taylor expansion of 0.12 in x 0.832 * [backup-simplify]: Simplify 0.12 into 0.12 0.832 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.832 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.832 * [taylor]: Taking taylor expansion of x in x 0.832 * [backup-simplify]: Simplify 0 into 0 0.832 * [backup-simplify]: Simplify 1 into 1 0.832 * [backup-simplify]: Simplify (* 1 1) into 1 0.832 * [backup-simplify]: Simplify (/ 1 1) into 1 0.832 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.832 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 0.832 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.832 * [taylor]: Taking taylor expansion of 0.253 in x 0.832 * [backup-simplify]: Simplify 0.253 into 0.253 0.832 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.832 * [taylor]: Taking taylor expansion of x in x 0.832 * [backup-simplify]: Simplify 0 into 0 0.832 * [backup-simplify]: Simplify 1 into 1 0.833 * [backup-simplify]: Simplify (/ 1 1) into 1 0.833 * [taylor]: Taking taylor expansion of 1.0 in x 0.833 * [backup-simplify]: Simplify 1.0 into 1.0 0.833 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.833 * [taylor]: Taking taylor expansion of 0.12 in x 0.833 * [backup-simplify]: Simplify 0.12 into 0.12 0.833 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.833 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.833 * [taylor]: Taking taylor expansion of x in x 0.833 * [backup-simplify]: Simplify 0 into 0 0.833 * [backup-simplify]: Simplify 1 into 1 0.833 * [backup-simplify]: Simplify (* 1 1) into 1 0.833 * [backup-simplify]: Simplify (/ 1 1) into 1 0.833 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.834 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.834 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.834 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.835 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 0.835 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 0.835 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.836 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.836 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.836 * [backup-simplify]: Simplify (- 0) into 0 0.836 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 0.836 * [backup-simplify]: Simplify 0.253 into 0.253 0.837 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.837 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 0.838 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.838 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.839 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.839 * [backup-simplify]: Simplify (- 0) into 0 0.839 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.839 * [backup-simplify]: Simplify 1.0 into 1.0 0.840 * [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))) 0.840 * * * [progress]: simplifying candidates 0.841 * [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))) 0.841 * [simplify]: Sending expressions to egg_math: (+ (log h0) (* (log h1) 2)) (+ (log h0) (* (log h1) 2)) (+ (log h0) (log (pow h1 2))) (log (* h0 (pow h1 2))) (exp (* h0 (pow h1 2))) (* (* (* h0 h0) h0) (* (* (pow h1 2) (pow h1 2)) (pow h1 2))) (* (cbrt (* h0 (pow h1 2))) (cbrt (* h0 (pow h1 2)))) (cbrt (* h0 (pow h1 2))) (* (* (* h0 (pow h1 2)) (* h0 (pow h1 2))) (* h0 (pow h1 2))) (sqrt (* h0 (pow h1 2))) (sqrt (* h0 (pow h1 2))) (* (sqrt h0) (pow (sqrt h1) 2)) (* (sqrt h0) (pow (sqrt h1) 2)) (* (sqrt h0) h1) (* (sqrt h0) h1) (* (sqrt h0) (sqrt (pow h1 2))) (* (sqrt h0) (sqrt (pow h1 2))) (* (sqrt h0) (pow h1 (/ 2 2))) (* (sqrt h0) (pow h1 (/ 2 2))) (* h0 (pow (* (cbrt h1) (cbrt h1)) 2)) (* h0 (pow (sqrt h1) 2)) (* h0 (pow 1 2)) (* h0 h1) (* h0 (* (cbrt (pow h1 2)) (cbrt (pow h1 2)))) (* h0 (sqrt (pow h1 2))) (* h0 1) (* h0 (pow h1 (/ 2 2))) (* (cbrt h0) (pow h1 2)) (* (sqrt h0) (pow h1 2)) (* h0 (pow h1 2)) (* (exp (* h0 (pow h1 2))) (exp (* h2 h1))) (log (+ (* h0 (pow h1 2)) (* h2 h1))) (exp (+ (* h0 (pow h1 2)) (* h2 h1))) (* (cbrt (+ (* h0 (pow h1 2)) (* h2 h1))) (cbrt (+ (* h0 (pow h1 2)) (* h2 h1)))) (cbrt (+ (* h0 (pow h1 2)) (* h2 h1))) (* (* (+ (* h0 (pow h1 2)) (* h2 h1)) (+ (* h0 (pow h1 2)) (* h2 h1))) (+ (* h0 (pow h1 2)) (* h2 h1))) (sqrt (+ (* h0 (pow h1 2)) (* h2 h1))) (sqrt (+ (* h0 (pow h1 2)) (* h2 h1))) (+ (pow (* h0 (pow h1 2)) 3) (pow (* h2 h1) 3)) (+ (* (* h0 (pow h1 2)) (* h0 (pow h1 2))) (- (* (* h2 h1) (* h2 h1)) (* (* h0 (pow h1 2)) (* h2 h1)))) (- (* (* h0 (pow h1 2)) (* h0 (pow h1 2))) (* (* h2 h1) (* h2 h1))) (- (* h0 (pow h1 2)) (* h2 h1)) (/ (exp h3) (* (exp (* h0 (pow h1 2))) (exp (* h2 h1)))) (/ (exp h3) (exp (+ (* h0 (pow h1 2)) (* h2 h1)))) (log (- h3 (+ (* h0 (pow h1 2)) (* h2 h1)))) (exp (- h3 (+ (* h0 (pow h1 2)) (* h2 h1)))) (* (cbrt (- h3 (+ (* h0 (pow h1 2)) (* h2 h1)))) (cbrt (- h3 (+ (* h0 (pow h1 2)) (* h2 h1))))) (cbrt (- h3 (+ (* h0 (pow h1 2)) (* h2 h1)))) (* (* (- h3 (+ (* h0 (pow h1 2)) (* h2 h1))) (- h3 (+ (* h0 (pow h1 2)) (* h2 h1)))) (- h3 (+ (* h0 (pow h1 2)) (* h2 h1)))) (sqrt (- h3 (+ (* h0 (pow h1 2)) (* h2 h1)))) (sqrt (- h3 (+ (* h0 (pow h1 2)) (* h2 h1)))) (- (pow h3 3) (pow (+ (* h0 (pow h1 2)) (* h2 h1)) 3)) (+ (* h3 h3) (+ (* (+ (* h0 (pow h1 2)) (* h2 h1)) (+ (* h0 (pow h1 2)) (* h2 h1))) (* h3 (+ (* h0 (pow h1 2)) (* h2 h1))))) (- (+ (* h0 (pow h1 2)) (* h2 h1))) (- (* h3 h3) (* (+ (* h0 (pow h1 2)) (* h2 h1)) (+ (* h0 (pow h1 2)) (* h2 h1)))) (+ h3 (+ (* h0 (pow h1 2)) (* h2 h1))) (+ (sqrt h3) (sqrt (+ (* h0 (pow h1 2)) (* h2 h1)))) (- (sqrt h3) (sqrt (+ (* h0 (pow h1 2)) (* h2 h1)))) (- h3 (+ (* h0 (pow h1 2)) (* h2 h1))) (- h3 (* h0 (pow h1 2))) (- (+ (* h0 (pow h1 2)) (* h2 h1))) (* h0 (pow h1 2)) (* h0 (pow h1 2)) (* h0 (pow h1 2)) (+ (* h0 (pow h1 2)) (* h2 h1)) (+ (* h0 (pow h1 2)) (* h2 h1)) (+ (* h0 (pow h1 2)) (* h2 h1)) (- h3 (+ (* h0 (pow h1 2)) (* h2 h1))) (- h3 (+ (* h0 (pow h1 2)) (* h2 h1))) (- h3 (+ (* h0 (pow h1 2)) (* h2 h1))) 0.845 * * [simplify]: iteration 0 : 247 enodes (cost 340 ) 0.851 * * [simplify]: iteration 1 : 922 enodes (cost 317 ) 0.874 * * [simplify]: iteration 2 : 4573 enodes (cost 311 ) 1.037 * * [simplify]: iteration 3 : 5002 enodes (cost 309 ) 1.039 * * * [progress]: adding candidates to table 1.150 * * [progress]: iteration 4 / 4 1.150 * * * [progress]: picking best candidate 1.155 * * * * [pick]: Picked # 1.155 * * * [progress]: localizing error 1.169 * * * [progress]: generating rewritten candidates 1.169 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2) 1.172 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2) 1.175 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 1.236 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 1.257 * * * [progress]: generating series expansions 1.257 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2) 1.258 * [backup-simplify]: Simplify (sqrt (pow x 2)) into x 1.258 * [approximate]: Taking taylor expansion of x in (x) around 0 1.258 * [taylor]: Taking taylor expansion of x in x 1.258 * [backup-simplify]: Simplify 0 into 0 1.258 * [backup-simplify]: Simplify 1 into 1 1.258 * [taylor]: Taking taylor expansion of x in x 1.258 * [backup-simplify]: Simplify 0 into 0 1.258 * [backup-simplify]: Simplify 1 into 1 1.258 * [backup-simplify]: Simplify 0 into 0 1.258 * [backup-simplify]: Simplify 1 into 1 1.258 * [backup-simplify]: Simplify 0 into 0 1.258 * [backup-simplify]: Simplify 0 into 0 1.258 * [backup-simplify]: Simplify 0 into 0 1.258 * [backup-simplify]: Simplify 0 into 0 1.258 * [backup-simplify]: Simplify 0 into 0 1.258 * [backup-simplify]: Simplify 0 into 0 1.258 * [backup-simplify]: Simplify (* 1 x) into x 1.258 * [backup-simplify]: Simplify (sqrt (pow (/ 1 x) 2)) into (/ 1 x) 1.258 * [approximate]: Taking taylor expansion of (/ 1 x) in (x) around 0 1.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.258 * [taylor]: Taking taylor expansion of x in x 1.258 * [backup-simplify]: Simplify 0 into 0 1.258 * [backup-simplify]: Simplify 1 into 1 1.259 * [backup-simplify]: Simplify (/ 1 1) into 1 1.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.259 * [taylor]: Taking taylor expansion of x in x 1.259 * [backup-simplify]: Simplify 0 into 0 1.259 * [backup-simplify]: Simplify 1 into 1 1.259 * [backup-simplify]: Simplify (/ 1 1) into 1 1.259 * [backup-simplify]: Simplify 1 into 1 1.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.260 * [backup-simplify]: Simplify 0 into 0 1.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.260 * [backup-simplify]: Simplify 0 into 0 1.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.261 * [backup-simplify]: Simplify 0 into 0 1.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.261 * [backup-simplify]: Simplify 0 into 0 1.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.262 * [backup-simplify]: Simplify 0 into 0 1.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.262 * [backup-simplify]: Simplify 0 into 0 1.262 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 x))) into x 1.262 * [backup-simplify]: Simplify (sqrt (pow (/ 1 (- x)) 2)) into (/ 1 x) 1.262 * [approximate]: Taking taylor expansion of (/ 1 x) in (x) around 0 1.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.263 * [taylor]: Taking taylor expansion of x in x 1.263 * [backup-simplify]: Simplify 0 into 0 1.263 * [backup-simplify]: Simplify 1 into 1 1.263 * [backup-simplify]: Simplify (/ 1 1) into 1 1.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.263 * [taylor]: Taking taylor expansion of x in x 1.263 * [backup-simplify]: Simplify 0 into 0 1.263 * [backup-simplify]: Simplify 1 into 1 1.263 * [backup-simplify]: Simplify (/ 1 1) into 1 1.263 * [backup-simplify]: Simplify 1 into 1 1.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.264 * [backup-simplify]: Simplify 0 into 0 1.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.264 * [backup-simplify]: Simplify 0 into 0 1.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.265 * [backup-simplify]: Simplify 0 into 0 1.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.265 * [backup-simplify]: Simplify 0 into 0 1.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.266 * [backup-simplify]: Simplify 0 into 0 1.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.266 * [backup-simplify]: Simplify 0 into 0 1.266 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- x)))) into (* -1 x) 1.266 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2) 1.266 * [backup-simplify]: Simplify (sqrt (pow x 2)) into x 1.266 * [approximate]: Taking taylor expansion of x in (x) around 0 1.266 * [taylor]: Taking taylor expansion of x in x 1.266 * [backup-simplify]: Simplify 0 into 0 1.267 * [backup-simplify]: Simplify 1 into 1 1.267 * [taylor]: Taking taylor expansion of x in x 1.267 * [backup-simplify]: Simplify 0 into 0 1.267 * [backup-simplify]: Simplify 1 into 1 1.267 * [backup-simplify]: Simplify 0 into 0 1.267 * [backup-simplify]: Simplify 1 into 1 1.267 * [backup-simplify]: Simplify 0 into 0 1.267 * [backup-simplify]: Simplify 0 into 0 1.267 * [backup-simplify]: Simplify 0 into 0 1.267 * [backup-simplify]: Simplify 0 into 0 1.267 * [backup-simplify]: Simplify 0 into 0 1.267 * [backup-simplify]: Simplify 0 into 0 1.267 * [backup-simplify]: Simplify (* 1 x) into x 1.267 * [backup-simplify]: Simplify (sqrt (pow (/ 1 x) 2)) into (/ 1 x) 1.267 * [approximate]: Taking taylor expansion of (/ 1 x) in (x) around 0 1.267 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.267 * [taylor]: Taking taylor expansion of x in x 1.267 * [backup-simplify]: Simplify 0 into 0 1.267 * [backup-simplify]: Simplify 1 into 1 1.267 * [backup-simplify]: Simplify (/ 1 1) into 1 1.267 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.267 * [taylor]: Taking taylor expansion of x in x 1.267 * [backup-simplify]: Simplify 0 into 0 1.267 * [backup-simplify]: Simplify 1 into 1 1.267 * [backup-simplify]: Simplify (/ 1 1) into 1 1.268 * [backup-simplify]: Simplify 1 into 1 1.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.268 * [backup-simplify]: Simplify 0 into 0 1.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.268 * [backup-simplify]: Simplify 0 into 0 1.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.269 * [backup-simplify]: Simplify 0 into 0 1.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.269 * [backup-simplify]: Simplify 0 into 0 1.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.270 * [backup-simplify]: Simplify 0 into 0 1.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.270 * [backup-simplify]: Simplify 0 into 0 1.271 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 x))) into x 1.271 * [backup-simplify]: Simplify (sqrt (pow (/ 1 (- x)) 2)) into (/ 1 x) 1.271 * [approximate]: Taking taylor expansion of (/ 1 x) in (x) around 0 1.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.271 * [taylor]: Taking taylor expansion of x in x 1.271 * [backup-simplify]: Simplify 0 into 0 1.271 * [backup-simplify]: Simplify 1 into 1 1.271 * [backup-simplify]: Simplify (/ 1 1) into 1 1.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.271 * [taylor]: Taking taylor expansion of x in x 1.271 * [backup-simplify]: Simplify 0 into 0 1.271 * [backup-simplify]: Simplify 1 into 1 1.271 * [backup-simplify]: Simplify (/ 1 1) into 1 1.271 * [backup-simplify]: Simplify 1 into 1 1.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.272 * [backup-simplify]: Simplify 0 into 0 1.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.272 * [backup-simplify]: Simplify 0 into 0 1.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.273 * [backup-simplify]: Simplify 0 into 0 1.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.273 * [backup-simplify]: Simplify 0 into 0 1.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.274 * [backup-simplify]: Simplify 0 into 0 1.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.274 * [backup-simplify]: Simplify 0 into 0 1.274 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- x)))) into (* -1 x) 1.274 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 1.275 * [backup-simplify]: Simplify (* (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2)))) into (* (pow x 2) (pow (sqrt 0.12) 2)) 1.275 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in (x) around 0 1.275 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in x 1.275 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.275 * [taylor]: Taking taylor expansion of x in x 1.275 * [backup-simplify]: Simplify 0 into 0 1.275 * [backup-simplify]: Simplify 1 into 1 1.275 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 1.275 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 1.275 * [taylor]: Taking taylor expansion of 0.12 in x 1.275 * [backup-simplify]: Simplify 0.12 into 0.12 1.276 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 1.276 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 1.276 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in x 1.276 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.276 * [taylor]: Taking taylor expansion of x in x 1.276 * [backup-simplify]: Simplify 0 into 0 1.276 * [backup-simplify]: Simplify 1 into 1 1.276 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 1.276 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 1.276 * [taylor]: Taking taylor expansion of 0.12 in x 1.276 * [backup-simplify]: Simplify 0.12 into 0.12 1.277 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 1.277 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 1.277 * [backup-simplify]: Simplify (* 1 1) into 1 1.278 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2) 1.279 * [backup-simplify]: Simplify (* 1 (pow (sqrt 0.12) 2)) into (pow (sqrt 0.12) 2) 1.280 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2) 1.280 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0 1.280 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.281 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 0.12) 2))) into 0 1.281 * [backup-simplify]: Simplify 0 into 0 1.282 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 1.282 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0 1.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))) into 0 1.284 * [backup-simplify]: Simplify 0 into 0 1.284 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.285 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0 1.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2))))) into 0 1.286 * [backup-simplify]: Simplify 0 into 0 1.287 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.288 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0 1.288 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.289 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))))) into 0 1.289 * [backup-simplify]: Simplify 0 into 0 1.290 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.291 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0 1.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2))))))) into 0 1.297 * [backup-simplify]: Simplify 0 into 0 1.298 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.299 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0 1.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))))))) into 0 1.301 * [backup-simplify]: Simplify 0 into 0 1.302 * [backup-simplify]: Simplify (* (pow (sqrt 0.12) 2) (pow x 2)) into (* (pow x 2) (pow (sqrt 0.12) 2)) 1.302 * [backup-simplify]: Simplify (* (* (sqrt 0.12) (sqrt (pow (/ 1 x) 2))) (* (sqrt 0.12) (sqrt (pow (/ 1 x) 2)))) into (/ (pow (sqrt 0.12) 2) (pow x 2)) 1.302 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in (x) around 0 1.302 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 1.302 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 1.302 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 1.303 * [taylor]: Taking taylor expansion of 0.12 in x 1.303 * [backup-simplify]: Simplify 0.12 into 0.12 1.303 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 1.303 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 1.303 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.303 * [taylor]: Taking taylor expansion of x in x 1.303 * [backup-simplify]: Simplify 0 into 0 1.303 * [backup-simplify]: Simplify 1 into 1 1.304 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2) 1.304 * [backup-simplify]: Simplify (* 1 1) into 1 1.305 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2) 1.305 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 1.305 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 1.305 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 1.305 * [taylor]: Taking taylor expansion of 0.12 in x 1.305 * [backup-simplify]: Simplify 0.12 into 0.12 1.305 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 1.306 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 1.306 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.306 * [taylor]: Taking taylor expansion of x in x 1.306 * [backup-simplify]: Simplify 0 into 0 1.306 * [backup-simplify]: Simplify 1 into 1 1.307 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2) 1.307 * [backup-simplify]: Simplify (* 1 1) into 1 1.308 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2) 1.309 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2) 1.309 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0 1.309 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.310 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)))) into 0 1.310 * [backup-simplify]: Simplify 0 into 0 1.311 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 1.311 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0 1.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.312 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.312 * [backup-simplify]: Simplify 0 into 0 1.313 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.314 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0 1.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.315 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.315 * [backup-simplify]: Simplify 0 into 0 1.316 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.316 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0 1.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.318 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.318 * [backup-simplify]: Simplify 0 into 0 1.318 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.319 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0 1.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.321 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.321 * [backup-simplify]: Simplify 0 into 0 1.321 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.322 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0 1.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.324 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.324 * [backup-simplify]: Simplify 0 into 0 1.324 * [backup-simplify]: Simplify (* (pow (sqrt 0.12) 2) (pow (/ 1 (/ 1 x)) 2)) into (* (pow x 2) (pow (sqrt 0.12) 2)) 1.325 * [backup-simplify]: Simplify (* (* (sqrt 0.12) (sqrt (pow (/ 1 (- x)) 2))) (* (sqrt 0.12) (sqrt (pow (/ 1 (- x)) 2)))) into (/ (pow (sqrt 0.12) 2) (pow x 2)) 1.325 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in (x) around 0 1.325 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 1.325 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 1.325 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 1.325 * [taylor]: Taking taylor expansion of 0.12 in x 1.325 * [backup-simplify]: Simplify 0.12 into 0.12 1.326 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 1.326 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 1.326 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.326 * [taylor]: Taking taylor expansion of x in x 1.326 * [backup-simplify]: Simplify 0 into 0 1.326 * [backup-simplify]: Simplify 1 into 1 1.327 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2) 1.327 * [backup-simplify]: Simplify (* 1 1) into 1 1.328 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2) 1.328 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 1.328 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 1.328 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 1.328 * [taylor]: Taking taylor expansion of 0.12 in x 1.328 * [backup-simplify]: Simplify 0.12 into 0.12 1.328 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 1.329 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 1.329 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.329 * [taylor]: Taking taylor expansion of x in x 1.329 * [backup-simplify]: Simplify 0 into 0 1.329 * [backup-simplify]: Simplify 1 into 1 1.329 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2) 1.330 * [backup-simplify]: Simplify (* 1 1) into 1 1.330 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2) 1.331 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2) 1.331 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0 1.332 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.332 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)))) into 0 1.333 * [backup-simplify]: Simplify 0 into 0 1.333 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 1.334 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0 1.334 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.335 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.335 * [backup-simplify]: Simplify 0 into 0 1.336 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.336 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0 1.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.337 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.338 * [backup-simplify]: Simplify 0 into 0 1.338 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.339 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0 1.340 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.340 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.340 * [backup-simplify]: Simplify 0 into 0 1.341 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.342 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0 1.342 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.343 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.343 * [backup-simplify]: Simplify 0 into 0 1.344 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.345 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0 1.346 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.346 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.346 * [backup-simplify]: Simplify 0 into 0 1.347 * [backup-simplify]: Simplify (* (pow (sqrt 0.12) 2) (pow (/ 1 (/ 1 (- x))) 2)) into (* (pow x 2) (pow (sqrt 0.12) 2)) 1.347 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 1.348 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt (pow x 2))) into (* x (sqrt 0.12)) 1.348 * [approximate]: Taking taylor expansion of (* x (sqrt 0.12)) in (x) around 0 1.348 * [taylor]: Taking taylor expansion of (* x (sqrt 0.12)) in x 1.348 * [taylor]: Taking taylor expansion of x in x 1.348 * [backup-simplify]: Simplify 0 into 0 1.348 * [backup-simplify]: Simplify 1 into 1 1.348 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 1.348 * [taylor]: Taking taylor expansion of 0.12 in x 1.348 * [backup-simplify]: Simplify 0.12 into 0.12 1.348 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 1.349 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 1.349 * [taylor]: Taking taylor expansion of (* x (sqrt 0.12)) in x 1.349 * [taylor]: Taking taylor expansion of x in x 1.349 * [backup-simplify]: Simplify 0 into 0 1.349 * [backup-simplify]: Simplify 1 into 1 1.349 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 1.349 * [taylor]: Taking taylor expansion of 0.12 in x 1.349 * [backup-simplify]: Simplify 0.12 into 0.12 1.349 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 1.349 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 1.350 * [backup-simplify]: Simplify (* 0 (sqrt 0.12)) into 0 1.350 * [backup-simplify]: Simplify 0 into 0 1.351 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 0.12))) into (sqrt 0.12) 1.351 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 1.352 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 1.353 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 0.12)))) into 0 1.353 * [backup-simplify]: Simplify 0 into 0 1.353 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.354 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0 1.354 * [backup-simplify]: Simplify 0 into 0 1.355 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.355 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0 1.355 * [backup-simplify]: Simplify 0 into 0 1.356 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.357 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0 1.357 * [backup-simplify]: Simplify 0 into 0 1.358 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.359 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0 1.359 * [backup-simplify]: Simplify 0 into 0 1.359 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.360 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))))) into 0 1.360 * [backup-simplify]: Simplify 0 into 0 1.361 * [backup-simplify]: Simplify (* (sqrt 0.12) x) into (* x (sqrt 0.12)) 1.361 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt (pow (/ 1 x) 2))) into (/ (sqrt 0.12) x) 1.361 * [approximate]: Taking taylor expansion of (/ (sqrt 0.12) x) in (x) around 0 1.361 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) x) in x 1.361 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 1.361 * [taylor]: Taking taylor expansion of 0.12 in x 1.361 * [backup-simplify]: Simplify 0.12 into 0.12 1.361 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 1.362 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 1.362 * [taylor]: Taking taylor expansion of x in x 1.362 * [backup-simplify]: Simplify 0 into 0 1.362 * [backup-simplify]: Simplify 1 into 1 1.362 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12) 1.362 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) x) in x 1.362 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 1.362 * [taylor]: Taking taylor expansion of 0.12 in x 1.362 * [backup-simplify]: Simplify 0.12 into 0.12 1.363 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 1.363 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 1.363 * [taylor]: Taking taylor expansion of x in x 1.363 * [backup-simplify]: Simplify 0 into 0 1.363 * [backup-simplify]: Simplify 1 into 1 1.364 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12) 1.364 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 1.364 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)))) into 0 1.365 * [backup-simplify]: Simplify 0 into 0 1.365 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 1.366 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.366 * [backup-simplify]: Simplify 0 into 0 1.366 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.367 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.367 * [backup-simplify]: Simplify 0 into 0 1.368 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.368 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.368 * [backup-simplify]: Simplify 0 into 0 1.369 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.370 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.370 * [backup-simplify]: Simplify 0 into 0 1.370 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.371 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.371 * [backup-simplify]: Simplify 0 into 0 1.371 * [backup-simplify]: Simplify (* (sqrt 0.12) (/ 1 (/ 1 x))) into (* x (sqrt 0.12)) 1.372 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt (pow (/ 1 (- x)) 2))) into (/ (sqrt 0.12) x) 1.372 * [approximate]: Taking taylor expansion of (/ (sqrt 0.12) x) in (x) around 0 1.372 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) x) in x 1.372 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 1.372 * [taylor]: Taking taylor expansion of 0.12 in x 1.372 * [backup-simplify]: Simplify 0.12 into 0.12 1.372 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 1.373 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 1.373 * [taylor]: Taking taylor expansion of x in x 1.373 * [backup-simplify]: Simplify 0 into 0 1.373 * [backup-simplify]: Simplify 1 into 1 1.373 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12) 1.373 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) x) in x 1.373 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 1.373 * [taylor]: Taking taylor expansion of 0.12 in x 1.373 * [backup-simplify]: Simplify 0.12 into 0.12 1.373 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 1.374 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 1.374 * [taylor]: Taking taylor expansion of x in x 1.374 * [backup-simplify]: Simplify 0 into 0 1.374 * [backup-simplify]: Simplify 1 into 1 1.374 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12) 1.375 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 1.375 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)))) into 0 1.375 * [backup-simplify]: Simplify 0 into 0 1.376 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 1.376 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.376 * [backup-simplify]: Simplify 0 into 0 1.377 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.378 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.378 * [backup-simplify]: Simplify 0 into 0 1.378 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.379 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.379 * [backup-simplify]: Simplify 0 into 0 1.386 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.387 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.387 * [backup-simplify]: Simplify 0 into 0 1.388 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 1.388 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.388 * [backup-simplify]: Simplify 0 into 0 1.389 * [backup-simplify]: Simplify (* (sqrt 0.12) (/ 1 (/ 1 (- x)))) into (* -1 (* x (sqrt 0.12))) 1.389 * * * [progress]: simplifying candidates 1.390 * [simplify]: Simplifying: (log (sqrt (pow x 2))) (exp (sqrt (pow x 2))) (* (cbrt (sqrt (pow x 2))) (cbrt (sqrt (pow x 2)))) (cbrt (sqrt (pow x 2))) (* (* (sqrt (pow x 2)) (sqrt (pow x 2))) (sqrt (pow x 2))) (sqrt (pow (* (cbrt x) (cbrt x)) 2)) (sqrt (pow (cbrt x) 2)) (sqrt (pow (sqrt x) 2)) (sqrt (pow (sqrt x) 2)) (sqrt (pow 1 2)) (sqrt (pow x 2)) (sqrt x) (sqrt x) (sqrt (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (sqrt (cbrt (pow x 2))) (sqrt (sqrt (pow x 2))) (sqrt (sqrt (pow x 2))) (sqrt 1) (sqrt (pow x 2)) (sqrt (pow x (/ 2 2))) (sqrt (pow x (/ 2 2))) (/ 2 2) (sqrt (sqrt (pow x 2))) (sqrt (sqrt (pow x 2))) (log (sqrt (pow x 2))) (exp (sqrt (pow x 2))) (* (cbrt (sqrt (pow x 2))) (cbrt (sqrt (pow x 2)))) (cbrt (sqrt (pow x 2))) (* (* (sqrt (pow x 2)) (sqrt (pow x 2))) (sqrt (pow x 2))) (sqrt (pow (* (cbrt x) (cbrt x)) 2)) (sqrt (pow (cbrt x) 2)) (sqrt (pow (sqrt x) 2)) (sqrt (pow (sqrt x) 2)) (sqrt (pow 1 2)) (sqrt (pow x 2)) (sqrt x) (sqrt x) (sqrt (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (sqrt (cbrt (pow x 2))) (sqrt (sqrt (pow x 2))) (sqrt (sqrt (pow x 2))) (sqrt 1) (sqrt (pow x 2)) (sqrt (pow x (/ 2 2))) (sqrt (pow x (/ 2 2))) (/ 2 2) (sqrt (sqrt (pow x 2))) (sqrt (sqrt (pow x 2))) (+ 1/2 1/2) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (* (* 0.12 (pow x 2)) (* 0.12 (pow x 2))) (* (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2)))) (* (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2)))) (* (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2)))) (* (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2)))) (+ 1 1) (+ 1 1) (+ (+ (log (sqrt 0.12)) (log (sqrt (pow x 2)))) (+ (log (sqrt 0.12)) (log (sqrt (pow x 2))))) (+ (+ (log (sqrt 0.12)) (log (sqrt (pow x 2)))) (log (* (sqrt 0.12) (sqrt (pow x 2))))) (+ (log (* (sqrt 0.12) (sqrt (pow x 2)))) (+ (log (sqrt 0.12)) (log (sqrt (pow x 2))))) (+ (log (* (sqrt 0.12) (sqrt (pow x 2)))) (log (* (sqrt 0.12) (sqrt (pow x 2))))) (log (* (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2))))) (exp (* (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2))))) (* (* (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12)) (* (* (sqrt (pow x 2)) (sqrt (pow x 2))) (sqrt (pow x 2)))) (* (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12)) (* (* (sqrt (pow x 2)) (sqrt (pow x 2))) (sqrt (pow x 2))))) (* (* (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12)) (* (* (sqrt (pow x 2)) (sqrt (pow x 2))) (sqrt (pow x 2)))) (* (* (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2)))) (* (sqrt 0.12) (sqrt (pow x 2))))) (* (* (* (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2)))) (* (sqrt 0.12) (sqrt (pow x 2)))) (* (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12)) (* (* (sqrt (pow x 2)) (sqrt (pow x 2))) (sqrt (pow x 2))))) (* (* (* (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2)))) (* (sqrt 0.12) (sqrt (pow x 2)))) (* (* (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2)))) (* (sqrt 0.12) (sqrt (pow x 2))))) (* (cbrt (* (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2))))) (cbrt (* (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2)))))) (cbrt (* (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2))))) (* (* (* (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2)))) (* (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2))))) (* (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2))))) (* (* 0.12 (pow x 2)) (* 0.12 (pow x 2))) (sqrt (* (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2))))) (sqrt (* (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2))))) (* (sqrt 0.12) (sqrt 0.12)) (* (sqrt (pow x 2)) (sqrt (pow x 2))) (* 2 1/2) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* (* (sqrt 0.12) (sqrt (pow x 2))) (sqrt 0.12)) (* (sqrt (pow x 2)) (* (sqrt 0.12) (sqrt (pow x 2)))) (* 0.12 (pow x 2)) (* (sqrt 0.12) (sqrt (pow x 2))) (+ (log (sqrt 0.12)) (log (sqrt (pow x 2)))) (log (* (sqrt 0.12) (sqrt (pow x 2)))) (exp (* (sqrt 0.12) (sqrt (pow x 2)))) (* (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12)) (* (* (sqrt (pow x 2)) (sqrt (pow x 2))) (sqrt (pow x 2)))) (* (cbrt (* (sqrt 0.12) (sqrt (pow x 2)))) (cbrt (* (sqrt 0.12) (sqrt (pow x 2))))) (cbrt (* (sqrt 0.12) (sqrt (pow x 2)))) (* (* (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2)))) (* (sqrt 0.12) (sqrt (pow x 2)))) (* 0.12 (pow x 2)) (sqrt (* (sqrt 0.12) (sqrt (pow x 2)))) (sqrt (* (sqrt 0.12) (sqrt (pow x 2)))) (* (sqrt (sqrt 0.12)) (sqrt (pow (sqrt x) 2))) (* (sqrt (sqrt 0.12)) (sqrt (pow (sqrt x) 2))) (* (sqrt (sqrt 0.12)) (sqrt x)) (* (sqrt (sqrt 0.12)) (sqrt x)) (* (sqrt (sqrt 0.12)) (sqrt (sqrt (pow x 2)))) (* (sqrt (sqrt 0.12)) (sqrt (sqrt (pow x 2)))) (* (sqrt (sqrt 0.12)) (sqrt (pow x (/ 2 2)))) (* (sqrt (sqrt 0.12)) (sqrt (pow x (/ 2 2)))) (* (sqrt (sqrt 0.12)) (sqrt (sqrt (pow x 2)))) (* (sqrt (sqrt 0.12)) (sqrt (sqrt (pow x 2)))) (* (sqrt (sqrt 0.12)) (sqrt (pow (sqrt x) 2))) (* (sqrt (sqrt 0.12)) (sqrt (pow (sqrt x) 2))) (* (sqrt (sqrt 0.12)) (sqrt x)) (* (sqrt (sqrt 0.12)) (sqrt x)) (* (sqrt (sqrt 0.12)) (sqrt (sqrt (pow x 2)))) (* (sqrt (sqrt 0.12)) (sqrt (sqrt (pow x 2)))) (* (sqrt (sqrt 0.12)) (sqrt (pow x (/ 2 2)))) (* (sqrt (sqrt 0.12)) (sqrt (pow x (/ 2 2)))) (* (sqrt (sqrt 0.12)) (sqrt (sqrt (pow x 2)))) (* (sqrt (sqrt 0.12)) (sqrt (sqrt (pow x 2)))) (* (sqrt 0.12) (* (cbrt (sqrt (pow x 2))) (cbrt (sqrt (pow x 2))))) (* (sqrt 0.12) (sqrt (pow (* (cbrt x) (cbrt x)) 2))) (* (sqrt 0.12) (sqrt (pow (sqrt x) 2))) (* (sqrt 0.12) (sqrt (pow 1 2))) (* (sqrt 0.12) (sqrt x)) (* (sqrt 0.12) (sqrt (* (cbrt (pow x 2)) (cbrt (pow x 2))))) (* (sqrt 0.12) (sqrt (sqrt (pow x 2)))) (* (sqrt 0.12) (sqrt 1)) (* (sqrt 0.12) (sqrt (pow x (/ 2 2)))) (* (sqrt 0.12) (sqrt (sqrt (pow x 2)))) (* (sqrt 0.12) 1) (* (cbrt (sqrt 0.12)) (sqrt (pow x 2))) (* (sqrt (cbrt 0.12)) (sqrt (pow x 2))) (* (sqrt (sqrt 0.12)) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt (sqrt 0.12)) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2))) x x (* -1 x) x x (* -1 x) (* (pow x 2) (pow (sqrt 0.12) 2)) (* (pow x 2) (pow (sqrt 0.12) 2)) (* (pow x 2) (pow (sqrt 0.12) 2)) (* x (sqrt 0.12)) (* x (sqrt 0.12)) (* -1 (* x (sqrt 0.12))) 1.391 * [simplify]: Sending expressions to egg_math: (log (sqrt (pow h0 2))) (exp (sqrt (pow h0 2))) (* (cbrt (sqrt (pow h0 2))) (cbrt (sqrt (pow h0 2)))) (cbrt (sqrt (pow h0 2))) (* (* (sqrt (pow h0 2)) (sqrt (pow h0 2))) (sqrt (pow h0 2))) (sqrt (pow (* (cbrt h0) (cbrt h0)) 2)) (sqrt (pow (cbrt h0) 2)) (sqrt (pow (sqrt h0) 2)) (sqrt (pow (sqrt h0) 2)) (sqrt (pow 1 2)) (sqrt (pow h0 2)) (sqrt h0) (sqrt h0) (sqrt (* (cbrt (pow h0 2)) (cbrt (pow h0 2)))) (sqrt (cbrt (pow h0 2))) (sqrt (sqrt (pow h0 2))) (sqrt (sqrt (pow h0 2))) (sqrt 1) (sqrt (pow h0 2)) (sqrt (pow h0 (/ 2 2))) (sqrt (pow h0 (/ 2 2))) (/ 2 2) (sqrt (sqrt (pow h0 2))) (sqrt (sqrt (pow h0 2))) (log (sqrt (pow h0 2))) (exp (sqrt (pow h0 2))) (* (cbrt (sqrt (pow h0 2))) (cbrt (sqrt (pow h0 2)))) (cbrt (sqrt (pow h0 2))) (* (* (sqrt (pow h0 2)) (sqrt (pow h0 2))) (sqrt (pow h0 2))) (sqrt (pow (* (cbrt h0) (cbrt h0)) 2)) (sqrt (pow (cbrt h0) 2)) (sqrt (pow (sqrt h0) 2)) (sqrt (pow (sqrt h0) 2)) (sqrt (pow 1 2)) (sqrt (pow h0 2)) (sqrt h0) (sqrt h0) (sqrt (* (cbrt (pow h0 2)) (cbrt (pow h0 2)))) (sqrt (cbrt (pow h0 2))) (sqrt (sqrt (pow h0 2))) (sqrt (sqrt (pow h0 2))) (sqrt 1) (sqrt (pow h0 2)) (sqrt (pow h0 (/ 2 2))) (sqrt (pow h0 (/ 2 2))) (/ 2 2) (sqrt (sqrt (pow h0 2))) (sqrt (sqrt (pow h0 2))) (+ 1/2 1/2) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (* (* h1 (pow h0 2)) (* h1 (pow h0 2))) (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) (+ 1 1) (+ 1 1) (+ (+ (log (sqrt h1)) (log (sqrt (pow h0 2)))) (+ (log (sqrt h1)) (log (sqrt (pow h0 2))))) (+ (+ (log (sqrt h1)) (log (sqrt (pow h0 2)))) (log (* (sqrt h1) (sqrt (pow h0 2))))) (+ (log (* (sqrt h1) (sqrt (pow h0 2)))) (+ (log (sqrt h1)) (log (sqrt (pow h0 2))))) (+ (log (* (sqrt h1) (sqrt (pow h0 2)))) (log (* (sqrt h1) (sqrt (pow h0 2))))) (log (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2))))) (exp (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2))))) (* (* (* (* (sqrt h1) (sqrt h1)) (sqrt h1)) (* (* (sqrt (pow h0 2)) (sqrt (pow h0 2))) (sqrt (pow h0 2)))) (* (* (* (sqrt h1) (sqrt h1)) (sqrt h1)) (* (* (sqrt (pow h0 2)) (sqrt (pow h0 2))) (sqrt (pow h0 2))))) (* (* (* (* (sqrt h1) (sqrt h1)) (sqrt h1)) (* (* (sqrt (pow h0 2)) (sqrt (pow h0 2))) (sqrt (pow h0 2)))) (* (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (sqrt h1) (sqrt (pow h0 2))))) (* (* (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (* (* (sqrt h1) (sqrt h1)) (sqrt h1)) (* (* (sqrt (pow h0 2)) (sqrt (pow h0 2))) (sqrt (pow h0 2))))) (* (* (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (sqrt h1) (sqrt (pow h0 2))))) (* (cbrt (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2))))) (cbrt (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))))) (cbrt (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2))))) (* (* (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2))))) (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2))))) (* (* h1 (pow h0 2)) (* h1 (pow h0 2))) (sqrt (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2))))) (sqrt (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2))))) (* (sqrt h1) (sqrt h1)) (* (sqrt (pow h0 2)) (sqrt (pow h0 2))) (* 2 1/2) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* (* (sqrt h1) (sqrt (pow h0 2))) (sqrt h1)) (* (sqrt (pow h0 2)) (* (sqrt h1) (sqrt (pow h0 2)))) (* h1 (pow h0 2)) (* (sqrt h1) (sqrt (pow h0 2))) (+ (log (sqrt h1)) (log (sqrt (pow h0 2)))) (log (* (sqrt h1) (sqrt (pow h0 2)))) (exp (* (sqrt h1) (sqrt (pow h0 2)))) (* (* (* (sqrt h1) (sqrt h1)) (sqrt h1)) (* (* (sqrt (pow h0 2)) (sqrt (pow h0 2))) (sqrt (pow h0 2)))) (* (cbrt (* (sqrt h1) (sqrt (pow h0 2)))) (cbrt (* (sqrt h1) (sqrt (pow h0 2))))) (cbrt (* (sqrt h1) (sqrt (pow h0 2)))) (* (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (sqrt h1) (sqrt (pow h0 2)))) (* h1 (pow h0 2)) (sqrt (* (sqrt h1) (sqrt (pow h0 2)))) (sqrt (* (sqrt h1) (sqrt (pow h0 2)))) (* (sqrt (sqrt h1)) (sqrt (pow (sqrt h0) 2))) (* (sqrt (sqrt h1)) (sqrt (pow (sqrt h0) 2))) (* (sqrt (sqrt h1)) (sqrt h0)) (* (sqrt (sqrt h1)) (sqrt h0)) (* (sqrt (sqrt h1)) (sqrt (sqrt (pow h0 2)))) (* (sqrt (sqrt h1)) (sqrt (sqrt (pow h0 2)))) (* (sqrt (sqrt h1)) (sqrt (pow h0 (/ 2 2)))) (* (sqrt (sqrt h1)) (sqrt (pow h0 (/ 2 2)))) (* (sqrt (sqrt h1)) (sqrt (sqrt (pow h0 2)))) (* (sqrt (sqrt h1)) (sqrt (sqrt (pow h0 2)))) (* (sqrt (sqrt h1)) (sqrt (pow (sqrt h0) 2))) (* (sqrt (sqrt h1)) (sqrt (pow (sqrt h0) 2))) (* (sqrt (sqrt h1)) (sqrt h0)) (* (sqrt (sqrt h1)) (sqrt h0)) (* (sqrt (sqrt h1)) (sqrt (sqrt (pow h0 2)))) (* (sqrt (sqrt h1)) (sqrt (sqrt (pow h0 2)))) (* (sqrt (sqrt h1)) (sqrt (pow h0 (/ 2 2)))) (* (sqrt (sqrt h1)) (sqrt (pow h0 (/ 2 2)))) (* (sqrt (sqrt h1)) (sqrt (sqrt (pow h0 2)))) (* (sqrt (sqrt h1)) (sqrt (sqrt (pow h0 2)))) (* (sqrt h1) (* (cbrt (sqrt (pow h0 2))) (cbrt (sqrt (pow h0 2))))) (* (sqrt h1) (sqrt (pow (* (cbrt h0) (cbrt h0)) 2))) (* (sqrt h1) (sqrt (pow (sqrt h0) 2))) (* (sqrt h1) (sqrt (pow 1 2))) (* (sqrt h1) (sqrt h0)) (* (sqrt h1) (sqrt (* (cbrt (pow h0 2)) (cbrt (pow h0 2))))) (* (sqrt h1) (sqrt (sqrt (pow h0 2)))) (* (sqrt h1) (sqrt 1)) (* (sqrt h1) (sqrt (pow h0 (/ 2 2)))) (* (sqrt h1) (sqrt (sqrt (pow h0 2)))) (* (sqrt h1) 1) (* (cbrt (sqrt h1)) (sqrt (pow h0 2))) (* (sqrt (cbrt h1)) (sqrt (pow h0 2))) (* (sqrt (sqrt h1)) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt (sqrt h1)) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2))) h0 h0 (* -1 h0) h0 h0 (* -1 h0) (* (pow h0 2) (pow (sqrt h1) 2)) (* (pow h0 2) (pow (sqrt h1) 2)) (* (pow h0 2) (pow (sqrt h1) 2)) (* h0 (sqrt h1)) (* h0 (sqrt h1)) (* -1 (* h0 (sqrt h1))) 1.396 * * [simplify]: iteration 0 : 215 enodes (cost 571 ) 1.401 * * [simplify]: iteration 1 : 948 enodes (cost 435 ) 1.429 * * [simplify]: iteration 2 : 5002 enodes (cost 429 ) 1.432 * * * [progress]: adding candidates to table 1.701 * [progress]: [Phase 3 of 3] Extracting. 1.701 * * [regime]: Finding splitpoints for: (# # # # #) 1.702 * * * [regime-changes]: Trying 1 branch expressions: (x) 1.702 * * * * [regimes]: Trying to branch on x from (# # # # #) 1.719 * * * [regime]: Found split indices: #