29.688 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.072 * * * [progress]: [2/2] Setting up program. 0.078 * [progress]: [Phase 2 of 3] Improving. 0.078 * [simplify]: Simplifying: (- (exp x) 1.0) 0.079 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.079 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.079 * * [simplify]: Extracting # 2 : cost 3 inf + 1 0.079 * * [simplify]: Extracting # 3 : cost 2 inf + 2 0.079 * * [simplify]: Extracting # 4 : cost 0 inf + 185 0.079 * * [simplify]: iteration 0 : 4 enodes (cost 112 ) 0.081 * * [simplify]: Extracting # 0 : cost 0 inf + 185 0.081 * * [simplify]: Extracting # 1 : cost 1 inf + 185 0.081 * * [simplify]: Extracting # 2 : cost 0 inf + 226 0.081 * * [simplify]: iteration 1 : 6 enodes (cost 112 ) 0.084 * * [simplify]: Extracting # 0 : cost 0 inf + 226 0.084 * * [simplify]: iteration 2 : 7 enodes (cost 112 ) 0.086 * * [simplify]: Extracting # 0 : cost 0 inf + 226 0.086 * * [simplify]: iteration complete: 7 enodes (cost 112 ) 0.086 * [simplify]: Simplified to: (- (exp x) 1.0) 0.087 * * [progress]: iteration 1 / 4 0.087 * * * [progress]: picking best candidate 0.093 * * * * [pick]: Picked # 0.093 * * * [progress]: localizing error 0.103 * * * [progress]: generating rewritten candidates 0.103 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.122 * * * [progress]: generating series expansions 0.122 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.123 * [backup-simplify]: Simplify (- (exp x) 1.0) into (- (exp x) 1.0) 0.123 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0 0.123 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.123 * [taylor]: Taking taylor expansion of (exp x) in x 0.123 * [taylor]: Taking taylor expansion of x in x 0.123 * [backup-simplify]: Simplify 0 into 0 0.123 * [backup-simplify]: Simplify 1 into 1 0.123 * [backup-simplify]: Simplify (exp 0) into 1 0.123 * [taylor]: Taking taylor expansion of 1.0 in x 0.123 * [backup-simplify]: Simplify 1.0 into 1.0 0.123 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.123 * [taylor]: Taking taylor expansion of (exp x) in x 0.123 * [taylor]: Taking taylor expansion of x in x 0.123 * [backup-simplify]: Simplify 0 into 0 0.123 * [backup-simplify]: Simplify 1 into 1 0.123 * [backup-simplify]: Simplify (exp 0) into 1 0.123 * [taylor]: Taking taylor expansion of 1.0 in x 0.123 * [backup-simplify]: Simplify 1.0 into 1.0 0.124 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.125 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0 0.125 * [backup-simplify]: Simplify 0 into 0 0.126 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.126 * [backup-simplify]: Simplify (- 0) into 0 0.126 * [backup-simplify]: Simplify (+ 1 0) into 1 0.126 * [backup-simplify]: Simplify 1 into 1 0.128 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.128 * [backup-simplify]: Simplify (- 0) into 0 0.129 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 0.129 * [backup-simplify]: Simplify 1/2 into 1/2 0.131 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 0.132 * [backup-simplify]: Simplify (- 0) into 0 0.132 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 0.132 * [backup-simplify]: Simplify 1/6 into 1/6 0.133 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 0.133 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0) 0.133 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0 0.133 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.133 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.133 * [taylor]: Taking taylor expansion of x in x 0.133 * [backup-simplify]: Simplify 0 into 0 0.133 * [backup-simplify]: Simplify 1 into 1 0.133 * [backup-simplify]: Simplify (/ 1 1) into 1 0.134 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.134 * [taylor]: Taking taylor expansion of 1.0 in x 0.134 * [backup-simplify]: Simplify 1.0 into 1.0 0.134 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.134 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.134 * [taylor]: Taking taylor expansion of x in x 0.134 * [backup-simplify]: Simplify 0 into 0 0.134 * [backup-simplify]: Simplify 1 into 1 0.134 * [backup-simplify]: Simplify (/ 1 1) into 1 0.134 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.134 * [taylor]: Taking taylor expansion of 1.0 in x 0.134 * [backup-simplify]: Simplify 1.0 into 1.0 0.135 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.135 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- 1.0)) into (- (exp (/ 1 x)) 1.0) 0.136 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0) 0.136 * [backup-simplify]: Simplify (- 0) into 0 0.136 * [backup-simplify]: Simplify (+ 0 0) into 0 0.136 * [backup-simplify]: Simplify 0 into 0 0.137 * [backup-simplify]: Simplify (- 0) into 0 0.137 * [backup-simplify]: Simplify (+ 0 0) into 0 0.137 * [backup-simplify]: Simplify 0 into 0 0.138 * [backup-simplify]: Simplify (- 0) into 0 0.138 * [backup-simplify]: Simplify (+ 0 0) into 0 0.138 * [backup-simplify]: Simplify 0 into 0 0.138 * [backup-simplify]: Simplify (- 0) into 0 0.139 * [backup-simplify]: Simplify (+ 0 0) into 0 0.139 * [backup-simplify]: Simplify 0 into 0 0.139 * [backup-simplify]: Simplify (- 0) into 0 0.139 * [backup-simplify]: Simplify (+ 0 0) into 0 0.140 * [backup-simplify]: Simplify 0 into 0 0.140 * [backup-simplify]: Simplify (- 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 (- (exp (/ 1 (/ 1 x))) 1.0) into (- (exp x) 1.0) 0.141 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) 1.0) into (- (exp (/ -1 x)) 1.0) 0.141 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0 0.141 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.141 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.141 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.141 * [taylor]: Taking taylor expansion of -1 in x 0.141 * [backup-simplify]: Simplify -1 into -1 0.141 * [taylor]: Taking taylor expansion of x in x 0.141 * [backup-simplify]: Simplify 0 into 0 0.141 * [backup-simplify]: Simplify 1 into 1 0.142 * [backup-simplify]: Simplify (/ -1 1) into -1 0.142 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.142 * [taylor]: Taking taylor expansion of 1.0 in x 0.142 * [backup-simplify]: Simplify 1.0 into 1.0 0.142 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.142 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.142 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.142 * [taylor]: Taking taylor expansion of -1 in x 0.142 * [backup-simplify]: Simplify -1 into -1 0.142 * [taylor]: Taking taylor expansion of x in x 0.142 * [backup-simplify]: Simplify 0 into 0 0.142 * [backup-simplify]: Simplify 1 into 1 0.143 * [backup-simplify]: Simplify (/ -1 1) into -1 0.143 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.143 * [taylor]: Taking taylor expansion of 1.0 in x 0.143 * [backup-simplify]: Simplify 1.0 into 1.0 0.143 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.144 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- 1.0)) into (- (exp (/ -1 x)) 1.0) 0.144 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1.0) into (- (exp (/ -1 x)) 1.0) 0.144 * [backup-simplify]: Simplify (- 0) into 0 0.145 * [backup-simplify]: Simplify (+ 0 0) into 0 0.145 * [backup-simplify]: Simplify 0 into 0 0.145 * [backup-simplify]: Simplify (- 0) into 0 0.145 * [backup-simplify]: Simplify (+ 0 0) into 0 0.145 * [backup-simplify]: Simplify 0 into 0 0.146 * [backup-simplify]: Simplify (- 0) into 0 0.146 * [backup-simplify]: Simplify (+ 0 0) into 0 0.146 * [backup-simplify]: Simplify 0 into 0 0.147 * [backup-simplify]: Simplify (- 0) into 0 0.147 * [backup-simplify]: Simplify (+ 0 0) into 0 0.147 * [backup-simplify]: Simplify 0 into 0 0.147 * [backup-simplify]: Simplify (- 0) into 0 0.148 * [backup-simplify]: Simplify (+ 0 0) into 0 0.148 * [backup-simplify]: Simplify 0 into 0 0.148 * [backup-simplify]: Simplify (- 0) into 0 0.148 * [backup-simplify]: Simplify (+ 0 0) into 0 0.148 * [backup-simplify]: Simplify 0 into 0 0.149 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1.0) into (- (exp x) 1.0) 0.149 * * * [progress]: simplifying candidates 0.149 * [simplify]: Simplifying: (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma 1 (exp x) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma 1 (exp x) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma 1 (exp x) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (expm1 (- (exp x) 1.0)) (log1p (- (exp x) 1.0)) (- 1.0) (- 1.0) (- 1.0) (/ (exp (exp x)) (exp 1.0)) (log (- (exp x) 1.0)) (exp (- (exp x) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (cbrt (- (exp x) 1.0)) (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (- (pow (exp x) 3) (pow 1.0 3)) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))) (- 1.0) (- (* (exp x) (exp x)) (* 1.0 1.0)) (+ (exp x) 1.0) (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (- (exp x) 1.0) (- 1.0) (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) (- (exp x) 1.0) (- (exp x) 1.0) 0.151 * * [simplify]: Extracting # 0 : cost 30 inf + 0 0.151 * * [simplify]: Extracting # 1 : cost 56 inf + 0 0.151 * * [simplify]: Extracting # 2 : cost 50 inf + 621 0.152 * * [simplify]: Extracting # 3 : cost 24 inf + 5892 0.153 * * [simplify]: Extracting # 4 : cost 8 inf + 9496 0.154 * * [simplify]: Extracting # 5 : cost 4 inf + 10254 0.156 * * [simplify]: Extracting # 6 : cost 3 inf + 10466 0.157 * * [simplify]: Extracting # 7 : cost 2 inf + 10719 0.158 * * [simplify]: Extracting # 8 : cost 0 inf + 11849 0.160 * * [simplify]: iteration 0 : 66 enodes (cost 9074 ) 0.203 * * [simplify]: Extracting # 0 : cost 0 inf + 11849 0.205 * * [simplify]: Extracting # 1 : cost 21 inf + 10513 0.207 * * [simplify]: Extracting # 2 : cost 5 inf + 11577 0.210 * * [simplify]: Extracting # 3 : cost 1 inf + 11731 0.212 * * [simplify]: Extracting # 4 : cost 0 inf + 11943 0.213 * * [simplify]: iteration 1 : 149 enodes (cost 7499 ) 0.248 * * [simplify]: Extracting # 0 : cost 0 inf + 11943 0.250 * * [simplify]: Extracting # 1 : cost 44 inf + 10079 0.253 * * [simplify]: Extracting # 2 : cost 5 inf + 13965 0.255 * * [simplify]: Extracting # 3 : cost 2 inf + 14220 0.258 * * [simplify]: Extracting # 4 : cost 0 inf + 14714 0.260 * * [simplify]: iteration 2 : 311 enodes (cost 5777 ) 0.395 * * [simplify]: Extracting # 0 : cost 0 inf + 14714 0.400 * * [simplify]: Extracting # 1 : cost 132 inf + 14482 0.411 * * [simplify]: Extracting # 2 : cost 6 inf + 36036 0.426 * * [simplify]: Extracting # 3 : cost 0 inf + 36953 0.441 * * [simplify]: iteration 3 : 858 enodes (cost 5728 ) 0.915 * * [simplify]: Extracting # 0 : cost 0 inf + 36953 0.930 * * [simplify]: Extracting # 1 : cost 363 inf + 34914 0.950 * * [simplify]: Extracting # 2 : cost 12 inf + 99913 0.996 * * [simplify]: Extracting # 3 : cost 2 inf + 101538 1.043 * * [simplify]: Extracting # 4 : cost 0 inf + 102407 1.087 * * [simplify]: iteration 4 : 2205 enodes (cost 5218 ) 2.567 * * [simplify]: Extracting # 0 : cost 0 inf + 102407 2.628 * * [simplify]: Extracting # 1 : cost 754 inf + 99010 2.745 * * [simplify]: Extracting # 2 : cost 177 inf + 239794 2.837 * * [simplify]: Extracting # 3 : cost 51 inf + 256572 2.964 * * [simplify]: Extracting # 4 : cost 0 inf + 272130 3.100 * * [simplify]: iteration complete: 5001 enodes (cost 5193 ) 3.100 * [simplify]: Simplified to: (- (exp x) 1.0) (fma 1.0 -1 1.0) (- (exp x) 1.0) (fma 1.0 -1 1.0) (- (exp x) 1.0) (fma 1.0 -1 1.0) (- (exp x) 1.0) (fma 1.0 -1 1.0) (- (exp x) 1.0) (fma 1.0 -1 1.0) (- (exp x) 1.0) (fma 1.0 -1 1.0) (- (exp x) 1.0) (fma 1.0 -1 1.0) (- (exp x) 1.0) (fma 1.0 -1 1.0) (- (exp x) 1.0) (fma 1.0 -1 1.0) (expm1 (- (exp x) 1.0)) (log1p (- (exp x) 1.0)) (- 1.0) (- 1.0) (- 1.0) (exp (- (exp x) 1.0)) (log (- (exp x) 1.0)) (exp (- (exp x) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (cbrt (- (exp x) 1.0)) (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (fma (exp x) (exp x) (* 1.0 (+ 1.0 (exp x)))) (- 1.0) (- (* (exp x) (exp x)) (* 1.0 1.0)) (+ (exp x) 1.0) (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (- (exp x) 1.0) (- 1.0) (fma (* x (fma 1/6 x 1/2)) x x) (- (exp x) 1.0) (- (exp x) 1.0) 3.102 * * * [progress]: adding candidates to table 3.199 * * [progress]: iteration 2 / 4 3.199 * * * [progress]: picking best candidate 3.205 * * * * [pick]: Picked # 3.205 * * * [progress]: localizing error 3.215 * * * [progress]: generating rewritten candidates 3.215 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 3.221 * * * [progress]: generating series expansions 3.221 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 3.222 * [backup-simplify]: Simplify (* x (fma 1/6 x 1/2)) into (* x (fma 1/6 x 1/2)) 3.222 * [approximate]: Taking taylor expansion of (* x (fma 1/6 x 1/2)) in (x) around 0 3.222 * [taylor]: Taking taylor expansion of (* x (fma 1/6 x 1/2)) in x 3.222 * [taylor]: Taking taylor expansion of x in x 3.222 * [backup-simplify]: Simplify 0 into 0 3.222 * [backup-simplify]: Simplify 1 into 1 3.222 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x 3.222 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2) 3.222 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 3.222 * [taylor]: Taking taylor expansion of 1/6 in x 3.222 * [backup-simplify]: Simplify 1/6 into 1/6 3.222 * [taylor]: Taking taylor expansion of x in x 3.222 * [backup-simplify]: Simplify 0 into 0 3.222 * [backup-simplify]: Simplify 1 into 1 3.222 * [taylor]: Taking taylor expansion of 1/2 in x 3.222 * [backup-simplify]: Simplify 1/2 into 1/2 3.222 * [taylor]: Taking taylor expansion of (* x (fma 1/6 x 1/2)) in x 3.222 * [taylor]: Taking taylor expansion of x in x 3.222 * [backup-simplify]: Simplify 0 into 0 3.222 * [backup-simplify]: Simplify 1 into 1 3.222 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x 3.222 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2) 3.222 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 3.222 * [taylor]: Taking taylor expansion of 1/6 in x 3.222 * [backup-simplify]: Simplify 1/6 into 1/6 3.222 * [taylor]: Taking taylor expansion of x in x 3.222 * [backup-simplify]: Simplify 0 into 0 3.222 * [backup-simplify]: Simplify 1 into 1 3.222 * [taylor]: Taking taylor expansion of 1/2 in x 3.222 * [backup-simplify]: Simplify 1/2 into 1/2 3.223 * [backup-simplify]: Simplify (* 1/6 0) into 0 3.223 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 3.224 * [backup-simplify]: Simplify (* 0 1/2) into 0 3.224 * [backup-simplify]: Simplify 0 into 0 3.224 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 3.224 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 3.225 * [backup-simplify]: Simplify (+ (* 0 1/6) (* 1 1/2)) into 1/2 3.225 * [backup-simplify]: Simplify 1/2 into 1/2 3.225 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0 3.226 * [backup-simplify]: Simplify (+ 0 0) into 0 3.226 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1/6) (* 0 1/2))) into 1/6 3.226 * [backup-simplify]: Simplify 1/6 into 1/6 3.227 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.227 * [backup-simplify]: Simplify (+ 0 0) into 0 3.228 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1/6) (* 0 1/2)))) into 0 3.228 * [backup-simplify]: Simplify 0 into 0 3.229 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 3.229 * [backup-simplify]: Simplify (+ 0 0) into 0 3.230 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2))))) into 0 3.230 * [backup-simplify]: Simplify 0 into 0 3.231 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 3.231 * [backup-simplify]: Simplify (+ 0 0) into 0 3.232 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2)))))) into 0 3.232 * [backup-simplify]: Simplify 0 into 0 3.233 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 3.233 * [backup-simplify]: Simplify (+ 0 0) into 0 3.234 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2))))))) into 0 3.234 * [backup-simplify]: Simplify 0 into 0 3.236 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 3.236 * [backup-simplify]: Simplify (+ 0 0) into 0 3.237 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2)))))))) into 0 3.237 * [backup-simplify]: Simplify 0 into 0 3.238 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 3.238 * [backup-simplify]: Simplify (+ 0 0) into 0 3.240 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2))))))))) into 0 3.240 * [backup-simplify]: Simplify 0 into 0 3.240 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 2)) (* 1/2 x)) into (+ (* 1/2 x) (* 1/6 (pow x 2))) 3.240 * [backup-simplify]: Simplify (* (/ 1 x) (fma 1/6 (/ 1 x) 1/2)) into (/ (fma 1/6 (/ 1 x) 1/2) x) 3.240 * [approximate]: Taking taylor expansion of (/ (fma 1/6 (/ 1 x) 1/2) x) in (x) around 0 3.240 * [taylor]: Taking taylor expansion of (/ (fma 1/6 (/ 1 x) 1/2) x) in x 3.240 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x 3.240 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2) 3.240 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 3.240 * [taylor]: Taking taylor expansion of 1/6 in x 3.240 * [backup-simplify]: Simplify 1/6 into 1/6 3.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.240 * [taylor]: Taking taylor expansion of x in x 3.240 * [backup-simplify]: Simplify 0 into 0 3.240 * [backup-simplify]: Simplify 1 into 1 3.241 * [backup-simplify]: Simplify (/ 1 1) into 1 3.241 * [taylor]: Taking taylor expansion of 1/2 in x 3.241 * [backup-simplify]: Simplify 1/2 into 1/2 3.241 * [taylor]: Taking taylor expansion of x in x 3.241 * [backup-simplify]: Simplify 0 into 0 3.241 * [backup-simplify]: Simplify 1 into 1 3.241 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 3.241 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 3.242 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 3.242 * [taylor]: Taking taylor expansion of (/ (fma 1/6 (/ 1 x) 1/2) x) in x 3.242 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x 3.242 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2) 3.242 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 3.242 * [taylor]: Taking taylor expansion of 1/6 in x 3.242 * [backup-simplify]: Simplify 1/6 into 1/6 3.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.242 * [taylor]: Taking taylor expansion of x in x 3.242 * [backup-simplify]: Simplify 0 into 0 3.242 * [backup-simplify]: Simplify 1 into 1 3.242 * [backup-simplify]: Simplify (/ 1 1) into 1 3.242 * [taylor]: Taking taylor expansion of 1/2 in x 3.242 * [backup-simplify]: Simplify 1/2 into 1/2 3.242 * [taylor]: Taking taylor expansion of x in x 3.242 * [backup-simplify]: Simplify 0 into 0 3.242 * [backup-simplify]: Simplify 1 into 1 3.242 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 3.243 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 3.243 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 3.243 * [backup-simplify]: Simplify 1/6 into 1/6 3.244 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.244 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 3.244 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 3.245 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1/6 (/ 0 1)))) into 1/2 3.245 * [backup-simplify]: Simplify 1/2 into 1/2 3.245 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.246 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 3.246 * [backup-simplify]: Simplify (+ 0 0) into 0 3.247 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0 3.247 * [backup-simplify]: Simplify 0 into 0 3.247 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.248 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.248 * [backup-simplify]: Simplify (+ 0 0) into 0 3.249 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.249 * [backup-simplify]: Simplify 0 into 0 3.250 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.250 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.250 * [backup-simplify]: Simplify (+ 0 0) into 0 3.251 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.251 * [backup-simplify]: Simplify 0 into 0 3.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.253 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.253 * [backup-simplify]: Simplify (+ 0 0) into 0 3.254 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.254 * [backup-simplify]: Simplify 0 into 0 3.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.255 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.255 * [backup-simplify]: Simplify (+ 0 0) into 0 3.256 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.256 * [backup-simplify]: Simplify 0 into 0 3.257 * [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 3.258 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 3.258 * [backup-simplify]: Simplify (+ 0 0) into 0 3.259 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.259 * [backup-simplify]: Simplify 0 into 0 3.260 * [backup-simplify]: Simplify (+ (* 1/2 (/ 1 (/ 1 x))) (* 1/6 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 1/2 x) (* 1/6 (pow x 2))) 3.260 * [backup-simplify]: Simplify (* (/ 1 (- x)) (fma 1/6 (/ 1 (- x)) 1/2)) into (* -1 (/ (fma 1/6 (/ -1 x) 1/2) x)) 3.260 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 1/6 (/ -1 x) 1/2) x)) in (x) around 0 3.260 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 1/6 (/ -1 x) 1/2) x)) in x 3.260 * [taylor]: Taking taylor expansion of -1 in x 3.260 * [backup-simplify]: Simplify -1 into -1 3.260 * [taylor]: Taking taylor expansion of (/ (fma 1/6 (/ -1 x) 1/2) x) in x 3.260 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x 3.260 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2) 3.260 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x 3.260 * [taylor]: Taking taylor expansion of 1/6 in x 3.260 * [backup-simplify]: Simplify 1/6 into 1/6 3.260 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.260 * [taylor]: Taking taylor expansion of -1 in x 3.260 * [backup-simplify]: Simplify -1 into -1 3.260 * [taylor]: Taking taylor expansion of x in x 3.260 * [backup-simplify]: Simplify 0 into 0 3.260 * [backup-simplify]: Simplify 1 into 1 3.261 * [backup-simplify]: Simplify (/ -1 1) into -1 3.261 * [taylor]: Taking taylor expansion of 1/2 in x 3.261 * [backup-simplify]: Simplify 1/2 into 1/2 3.261 * [taylor]: Taking taylor expansion of x in x 3.261 * [backup-simplify]: Simplify 0 into 0 3.261 * [backup-simplify]: Simplify 1 into 1 3.261 * [backup-simplify]: Simplify (* 1/6 -1) into -1/6 3.262 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6 3.262 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 3.262 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 1/6 (/ -1 x) 1/2) x)) in x 3.262 * [taylor]: Taking taylor expansion of -1 in x 3.262 * [backup-simplify]: Simplify -1 into -1 3.262 * [taylor]: Taking taylor expansion of (/ (fma 1/6 (/ -1 x) 1/2) x) in x 3.263 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x 3.263 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2) 3.263 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x 3.263 * [taylor]: Taking taylor expansion of 1/6 in x 3.263 * [backup-simplify]: Simplify 1/6 into 1/6 3.263 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.263 * [taylor]: Taking taylor expansion of -1 in x 3.263 * [backup-simplify]: Simplify -1 into -1 3.263 * [taylor]: Taking taylor expansion of x in x 3.263 * [backup-simplify]: Simplify 0 into 0 3.263 * [backup-simplify]: Simplify 1 into 1 3.263 * [backup-simplify]: Simplify (/ -1 1) into -1 3.263 * [taylor]: Taking taylor expansion of 1/2 in x 3.263 * [backup-simplify]: Simplify 1/2 into 1/2 3.263 * [taylor]: Taking taylor expansion of x in x 3.263 * [backup-simplify]: Simplify 0 into 0 3.264 * [backup-simplify]: Simplify 1 into 1 3.264 * [backup-simplify]: Simplify (* 1/6 -1) into -1/6 3.264 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6 3.265 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 3.265 * [backup-simplify]: Simplify (* -1 -1/6) into 1/6 3.265 * [backup-simplify]: Simplify 1/6 into 1/6 3.266 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.267 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 -1)) into 0 3.267 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 3.269 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* -1/6 (/ 0 1)))) into 1/2 3.269 * [backup-simplify]: Simplify (+ (* -1 1/2) (* 0 -1/6)) into -1/2 3.269 * [backup-simplify]: Simplify -1/2 into -1/2 3.271 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.272 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 -1))) into 0 3.272 * [backup-simplify]: Simplify (+ 0 0) into 0 3.273 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0 3.274 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1/2) (* 0 -1/6))) into 0 3.274 * [backup-simplify]: Simplify 0 into 0 3.275 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.277 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 3.277 * [backup-simplify]: Simplify (+ 0 0) into 0 3.278 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.280 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 -1/6)))) into 0 3.280 * [backup-simplify]: Simplify 0 into 0 3.281 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.282 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 3.282 * [backup-simplify]: Simplify (+ 0 0) into 0 3.284 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.286 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 -1/6))))) into 0 3.286 * [backup-simplify]: Simplify 0 into 0 3.287 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.288 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0 3.289 * [backup-simplify]: Simplify (+ 0 0) into 0 3.290 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.292 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 -1/6)))))) into 0 3.292 * [backup-simplify]: Simplify 0 into 0 3.293 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.295 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0 3.295 * [backup-simplify]: Simplify (+ 0 0) into 0 3.297 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.299 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 -1/6))))))) into 0 3.299 * [backup-simplify]: Simplify 0 into 0 3.300 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.302 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0 3.302 * [backup-simplify]: Simplify (+ 0 0) into 0 3.303 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.306 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 -1/6)))))))) into 0 3.306 * [backup-simplify]: Simplify 0 into 0 3.306 * [backup-simplify]: Simplify (+ (* -1/2 (/ 1 (/ 1 (- x)))) (* 1/6 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 1/2 x) (* 1/6 (pow x 2))) 3.306 * * * [progress]: simplifying candidates 3.307 * [simplify]: Simplifying: (expm1 (* x (fma 1/6 x 1/2))) (log1p (* x (fma 1/6 x 1/2))) (* x (fma 1/6 x 1/2)) (+ (log x) (log (fma 1/6 x 1/2))) (log (* x (fma 1/6 x 1/2))) (exp (* x (fma 1/6 x 1/2))) (* (* (* x x) x) (* (* (fma 1/6 x 1/2) (fma 1/6 x 1/2)) (fma 1/6 x 1/2))) (* (cbrt (* x (fma 1/6 x 1/2))) (cbrt (* x (fma 1/6 x 1/2)))) (cbrt (* x (fma 1/6 x 1/2))) (* (* (* x (fma 1/6 x 1/2)) (* x (fma 1/6 x 1/2))) (* x (fma 1/6 x 1/2))) (sqrt (* x (fma 1/6 x 1/2))) (sqrt (* x (fma 1/6 x 1/2))) (* (sqrt x) (sqrt (fma 1/6 x 1/2))) (* (sqrt x) (sqrt (fma 1/6 x 1/2))) (* x (* 1/6 x)) (* x 1/2) (* (* 1/6 x) x) (* 1/2 x) (* x (* (cbrt (fma 1/6 x 1/2)) (cbrt (fma 1/6 x 1/2)))) (* x (sqrt (fma 1/6 x 1/2))) (* x 1) (* (cbrt x) (fma 1/6 x 1/2)) (* (sqrt x) (fma 1/6 x 1/2)) (* x (fma 1/6 x 1/2)) (+ (* 1/2 x) (* 1/6 (pow x 2))) (+ (* 1/2 x) (* 1/6 (pow x 2))) (+ (* 1/2 x) (* 1/6 (pow x 2))) 3.308 * * [simplify]: Extracting # 0 : cost 22 inf + 0 3.308 * * [simplify]: Extracting # 1 : cost 37 inf + 0 3.308 * * [simplify]: Extracting # 2 : cost 37 inf + 87 3.308 * * [simplify]: Extracting # 3 : cost 31 inf + 445 3.309 * * [simplify]: Extracting # 4 : cost 19 inf + 1852 3.310 * * [simplify]: Extracting # 5 : cost 1 inf + 5055 3.310 * * [simplify]: Extracting # 6 : cost 0 inf + 5273 3.311 * * [simplify]: iteration 0 : 43 enodes (cost 4554 ) 3.334 * * [simplify]: Extracting # 0 : cost 0 inf + 5273 3.336 * * [simplify]: Extracting # 1 : cost 13 inf + 4624 3.337 * * [simplify]: Extracting # 2 : cost 0 inf + 6312 3.339 * * [simplify]: iteration 1 : 92 enodes (cost 3855 ) 3.360 * * [simplify]: Extracting # 0 : cost 0 inf + 6312 3.362 * * [simplify]: Extracting # 1 : cost 62 inf + 5890 3.363 * * [simplify]: Extracting # 2 : cost 8 inf + 13965 3.366 * * [simplify]: Extracting # 3 : cost 1 inf + 14900 3.368 * * [simplify]: Extracting # 4 : cost 0 inf + 15279 3.371 * * [simplify]: iteration 2 : 238 enodes (cost 3855 ) 3.581 * * [simplify]: Extracting # 0 : cost 0 inf + 15279 3.597 * * [simplify]: Extracting # 1 : cost 350 inf + 14799 3.636 * * [simplify]: Extracting # 2 : cost 6 inf + 66437 3.685 * * [simplify]: Extracting # 3 : cost 0 inf + 67638 3.734 * * [simplify]: iteration 3 : 1271 enodes (cost 3655 ) 5.129 * * [simplify]: Extracting # 0 : cost 0 inf + 67638 5.221 * * [simplify]: Extracting # 1 : cost 1696 inf + 65833 5.379 * * [simplify]: Extracting # 2 : cost 13 inf + 412021 5.582 * * [simplify]: Extracting # 3 : cost 3 inf + 413536 5.797 * * [simplify]: Extracting # 4 : cost 0 inf + 414707 6.075 * * [simplify]: iteration complete: 5039 enodes (cost 3655 ) 6.075 * [simplify]: Simplified to: (expm1 (* x (fma 1/6 x 1/2))) (log1p (* x (fma 1/6 x 1/2))) (* x (fma 1/6 x 1/2)) (log (* x (fma 1/6 x 1/2))) (log (* x (fma 1/6 x 1/2))) (exp (* x (fma 1/6 x 1/2))) (* (* (* x (fma 1/6 x 1/2)) (* x (fma 1/6 x 1/2))) (* x (fma 1/6 x 1/2))) (* (cbrt (* x (fma 1/6 x 1/2))) (cbrt (* x (fma 1/6 x 1/2)))) (cbrt (* x (fma 1/6 x 1/2))) (* (* (* x (fma 1/6 x 1/2)) (* x (fma 1/6 x 1/2))) (* x (fma 1/6 x 1/2))) (sqrt (* x (fma 1/6 x 1/2))) (sqrt (* x (fma 1/6 x 1/2))) (* (sqrt x) (sqrt (fma 1/6 x 1/2))) (* (sqrt x) (sqrt (fma 1/6 x 1/2))) (* (* 1/6 x) x) (* 1/2 x) (* (* 1/6 x) x) (* 1/2 x) (* x (* (cbrt (fma 1/6 x 1/2)) (cbrt (fma 1/6 x 1/2)))) (* x (sqrt (fma 1/6 x 1/2))) x (* (cbrt x) (fma 1/6 x 1/2)) (* (sqrt x) (fma 1/6 x 1/2)) (* x (fma 1/6 x 1/2)) (* x (fma 1/6 x 1/2)) (* x (fma 1/6 x 1/2)) (* x (fma 1/6 x 1/2)) 6.077 * * * [progress]: adding candidates to table 6.165 * * [progress]: iteration 3 / 4 6.165 * * * [progress]: picking best candidate 6.179 * * * * [pick]: Picked # 6.179 * * * [progress]: localizing error 6.204 * * * [progress]: generating rewritten candidates 6.204 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 6.210 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 1) 6.223 * * * [progress]: generating series expansions 6.223 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 6.223 * [backup-simplify]: Simplify (log (exp (* x (fma 1/6 x 1/2)))) into (* x (fma 1/6 x 1/2)) 6.223 * [approximate]: Taking taylor expansion of (* x (fma 1/6 x 1/2)) in (x) around 0 6.223 * [taylor]: Taking taylor expansion of (* x (fma 1/6 x 1/2)) in x 6.223 * [taylor]: Taking taylor expansion of x in x 6.224 * [backup-simplify]: Simplify 0 into 0 6.224 * [backup-simplify]: Simplify 1 into 1 6.224 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x 6.224 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2) 6.224 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 6.224 * [taylor]: Taking taylor expansion of 1/6 in x 6.224 * [backup-simplify]: Simplify 1/6 into 1/6 6.224 * [taylor]: Taking taylor expansion of x in x 6.224 * [backup-simplify]: Simplify 0 into 0 6.224 * [backup-simplify]: Simplify 1 into 1 6.224 * [taylor]: Taking taylor expansion of 1/2 in x 6.224 * [backup-simplify]: Simplify 1/2 into 1/2 6.224 * [taylor]: Taking taylor expansion of (* x (fma 1/6 x 1/2)) in x 6.224 * [taylor]: Taking taylor expansion of x in x 6.224 * [backup-simplify]: Simplify 0 into 0 6.224 * [backup-simplify]: Simplify 1 into 1 6.224 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x 6.224 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2) 6.224 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 6.224 * [taylor]: Taking taylor expansion of 1/6 in x 6.224 * [backup-simplify]: Simplify 1/6 into 1/6 6.224 * [taylor]: Taking taylor expansion of x in x 6.224 * [backup-simplify]: Simplify 0 into 0 6.224 * [backup-simplify]: Simplify 1 into 1 6.224 * [taylor]: Taking taylor expansion of 1/2 in x 6.225 * [backup-simplify]: Simplify 1/2 into 1/2 6.225 * [backup-simplify]: Simplify (* 1/6 0) into 0 6.226 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 6.226 * [backup-simplify]: Simplify (* 0 1/2) into 0 6.226 * [backup-simplify]: Simplify 0 into 0 6.227 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 6.227 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 6.228 * [backup-simplify]: Simplify (+ (* 0 1/6) (* 1 1/2)) into 1/2 6.228 * [backup-simplify]: Simplify 1/2 into 1/2 6.229 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0 6.230 * [backup-simplify]: Simplify (+ 0 0) into 0 6.231 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1/6) (* 0 1/2))) into 1/6 6.231 * [backup-simplify]: Simplify 1/6 into 1/6 6.232 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.232 * [backup-simplify]: Simplify (+ 0 0) into 0 6.234 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1/6) (* 0 1/2)))) into 0 6.234 * [backup-simplify]: Simplify 0 into 0 6.235 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 6.235 * [backup-simplify]: Simplify (+ 0 0) into 0 6.237 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2))))) into 0 6.237 * [backup-simplify]: Simplify 0 into 0 6.238 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 6.239 * [backup-simplify]: Simplify (+ 0 0) into 0 6.240 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2)))))) into 0 6.240 * [backup-simplify]: Simplify 0 into 0 6.242 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 6.242 * [backup-simplify]: Simplify (+ 0 0) into 0 6.244 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2))))))) into 0 6.244 * [backup-simplify]: Simplify 0 into 0 6.246 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 6.247 * [backup-simplify]: Simplify (+ 0 0) into 0 6.249 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2)))))))) into 0 6.249 * [backup-simplify]: Simplify 0 into 0 6.250 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 6.251 * [backup-simplify]: Simplify (+ 0 0) into 0 6.252 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2))))))))) into 0 6.252 * [backup-simplify]: Simplify 0 into 0 6.252 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 2)) (* 1/2 x)) into (+ (* 1/2 x) (* 1/6 (pow x 2))) 6.252 * [backup-simplify]: Simplify (log (exp (* (/ 1 x) (fma 1/6 (/ 1 x) 1/2)))) into (/ (fma 1/6 (/ 1 x) 1/2) x) 6.252 * [approximate]: Taking taylor expansion of (/ (fma 1/6 (/ 1 x) 1/2) x) in (x) around 0 6.252 * [taylor]: Taking taylor expansion of (/ (fma 1/6 (/ 1 x) 1/2) x) in x 6.252 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x 6.252 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2) 6.252 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 6.252 * [taylor]: Taking taylor expansion of 1/6 in x 6.252 * [backup-simplify]: Simplify 1/6 into 1/6 6.252 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.253 * [taylor]: Taking taylor expansion of x in x 6.253 * [backup-simplify]: Simplify 0 into 0 6.253 * [backup-simplify]: Simplify 1 into 1 6.253 * [backup-simplify]: Simplify (/ 1 1) into 1 6.253 * [taylor]: Taking taylor expansion of 1/2 in x 6.253 * [backup-simplify]: Simplify 1/2 into 1/2 6.253 * [taylor]: Taking taylor expansion of x in x 6.253 * [backup-simplify]: Simplify 0 into 0 6.253 * [backup-simplify]: Simplify 1 into 1 6.253 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 6.253 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 6.254 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 6.254 * [taylor]: Taking taylor expansion of (/ (fma 1/6 (/ 1 x) 1/2) x) in x 6.254 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x 6.254 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2) 6.254 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 6.254 * [taylor]: Taking taylor expansion of 1/6 in x 6.254 * [backup-simplify]: Simplify 1/6 into 1/6 6.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.254 * [taylor]: Taking taylor expansion of x in x 6.254 * [backup-simplify]: Simplify 0 into 0 6.254 * [backup-simplify]: Simplify 1 into 1 6.254 * [backup-simplify]: Simplify (/ 1 1) into 1 6.254 * [taylor]: Taking taylor expansion of 1/2 in x 6.254 * [backup-simplify]: Simplify 1/2 into 1/2 6.254 * [taylor]: Taking taylor expansion of x in x 6.254 * [backup-simplify]: Simplify 0 into 0 6.254 * [backup-simplify]: Simplify 1 into 1 6.255 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 6.255 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 6.255 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 6.255 * [backup-simplify]: Simplify 1/6 into 1/6 6.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.256 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 6.256 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 6.257 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1/6 (/ 0 1)))) into 1/2 6.257 * [backup-simplify]: Simplify 1/2 into 1/2 6.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.258 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 6.258 * [backup-simplify]: Simplify (+ 0 0) into 0 6.259 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0 6.259 * [backup-simplify]: Simplify 0 into 0 6.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.260 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.260 * [backup-simplify]: Simplify (+ 0 0) into 0 6.261 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.261 * [backup-simplify]: Simplify 0 into 0 6.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.262 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.262 * [backup-simplify]: Simplify (+ 0 0) into 0 6.263 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.263 * [backup-simplify]: Simplify 0 into 0 6.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.265 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.269 * [backup-simplify]: Simplify (+ 0 0) into 0 6.270 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.270 * [backup-simplify]: Simplify 0 into 0 6.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.271 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.271 * [backup-simplify]: Simplify (+ 0 0) into 0 6.272 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.272 * [backup-simplify]: Simplify 0 into 0 6.273 * [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 6.274 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 6.274 * [backup-simplify]: Simplify (+ 0 0) into 0 6.275 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.275 * [backup-simplify]: Simplify 0 into 0 6.275 * [backup-simplify]: Simplify (+ (* 1/2 (/ 1 (/ 1 x))) (* 1/6 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 1/2 x) (* 1/6 (pow x 2))) 6.275 * [backup-simplify]: Simplify (log (exp (* (/ 1 (- x)) (fma 1/6 (/ 1 (- x)) 1/2)))) into (* -1 (/ (fma 1/6 (/ -1 x) 1/2) x)) 6.275 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 1/6 (/ -1 x) 1/2) x)) in (x) around 0 6.275 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 1/6 (/ -1 x) 1/2) x)) in x 6.275 * [taylor]: Taking taylor expansion of -1 in x 6.275 * [backup-simplify]: Simplify -1 into -1 6.275 * [taylor]: Taking taylor expansion of (/ (fma 1/6 (/ -1 x) 1/2) x) in x 6.275 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x 6.276 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2) 6.276 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x 6.276 * [taylor]: Taking taylor expansion of 1/6 in x 6.276 * [backup-simplify]: Simplify 1/6 into 1/6 6.276 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.276 * [taylor]: Taking taylor expansion of -1 in x 6.276 * [backup-simplify]: Simplify -1 into -1 6.276 * [taylor]: Taking taylor expansion of x in x 6.276 * [backup-simplify]: Simplify 0 into 0 6.276 * [backup-simplify]: Simplify 1 into 1 6.276 * [backup-simplify]: Simplify (/ -1 1) into -1 6.276 * [taylor]: Taking taylor expansion of 1/2 in x 6.276 * [backup-simplify]: Simplify 1/2 into 1/2 6.276 * [taylor]: Taking taylor expansion of x in x 6.276 * [backup-simplify]: Simplify 0 into 0 6.276 * [backup-simplify]: Simplify 1 into 1 6.276 * [backup-simplify]: Simplify (* 1/6 -1) into -1/6 6.277 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6 6.277 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 6.277 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 1/6 (/ -1 x) 1/2) x)) in x 6.277 * [taylor]: Taking taylor expansion of -1 in x 6.277 * [backup-simplify]: Simplify -1 into -1 6.277 * [taylor]: Taking taylor expansion of (/ (fma 1/6 (/ -1 x) 1/2) x) in x 6.277 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x 6.277 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2) 6.277 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x 6.277 * [taylor]: Taking taylor expansion of 1/6 in x 6.277 * [backup-simplify]: Simplify 1/6 into 1/6 6.277 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.277 * [taylor]: Taking taylor expansion of -1 in x 6.277 * [backup-simplify]: Simplify -1 into -1 6.277 * [taylor]: Taking taylor expansion of x in x 6.277 * [backup-simplify]: Simplify 0 into 0 6.277 * [backup-simplify]: Simplify 1 into 1 6.277 * [backup-simplify]: Simplify (/ -1 1) into -1 6.277 * [taylor]: Taking taylor expansion of 1/2 in x 6.278 * [backup-simplify]: Simplify 1/2 into 1/2 6.278 * [taylor]: Taking taylor expansion of x in x 6.278 * [backup-simplify]: Simplify 0 into 0 6.278 * [backup-simplify]: Simplify 1 into 1 6.278 * [backup-simplify]: Simplify (* 1/6 -1) into -1/6 6.278 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6 6.278 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 6.279 * [backup-simplify]: Simplify (* -1 -1/6) into 1/6 6.279 * [backup-simplify]: Simplify 1/6 into 1/6 6.279 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 6.280 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 -1)) into 0 6.280 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 6.280 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* -1/6 (/ 0 1)))) into 1/2 6.281 * [backup-simplify]: Simplify (+ (* -1 1/2) (* 0 -1/6)) into -1/2 6.281 * [backup-simplify]: Simplify -1/2 into -1/2 6.282 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.282 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 -1))) into 0 6.282 * [backup-simplify]: Simplify (+ 0 0) into 0 6.283 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0 6.284 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1/2) (* 0 -1/6))) into 0 6.284 * [backup-simplify]: Simplify 0 into 0 6.284 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.285 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 6.285 * [backup-simplify]: Simplify (+ 0 0) into 0 6.286 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.286 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 -1/6)))) into 0 6.287 * [backup-simplify]: Simplify 0 into 0 6.287 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.288 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 6.288 * [backup-simplify]: Simplify (+ 0 0) into 0 6.289 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.290 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 -1/6))))) into 0 6.290 * [backup-simplify]: Simplify 0 into 0 6.290 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.291 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0 6.291 * [backup-simplify]: Simplify (+ 0 0) into 0 6.292 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.293 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 -1/6)))))) into 0 6.293 * [backup-simplify]: Simplify 0 into 0 6.293 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.294 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0 6.295 * [backup-simplify]: Simplify (+ 0 0) into 0 6.295 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.296 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 -1/6))))))) into 0 6.296 * [backup-simplify]: Simplify 0 into 0 6.297 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.298 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0 6.298 * [backup-simplify]: Simplify (+ 0 0) into 0 6.300 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.302 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 -1/6)))))))) into 0 6.302 * [backup-simplify]: Simplify 0 into 0 6.302 * [backup-simplify]: Simplify (+ (* -1/2 (/ 1 (/ 1 (- x)))) (* 1/6 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 1/2 x) (* 1/6 (pow x 2))) 6.302 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 1) 6.303 * [backup-simplify]: Simplify (* x (fma 1/6 x 1/2)) into (* x (fma 1/6 x 1/2)) 6.303 * [approximate]: Taking taylor expansion of (* x (fma 1/6 x 1/2)) in (x) around 0 6.303 * [taylor]: Taking taylor expansion of (* x (fma 1/6 x 1/2)) in x 6.303 * [taylor]: Taking taylor expansion of x in x 6.303 * [backup-simplify]: Simplify 0 into 0 6.303 * [backup-simplify]: Simplify 1 into 1 6.303 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x 6.303 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2) 6.303 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 6.303 * [taylor]: Taking taylor expansion of 1/6 in x 6.303 * [backup-simplify]: Simplify 1/6 into 1/6 6.303 * [taylor]: Taking taylor expansion of x in x 6.303 * [backup-simplify]: Simplify 0 into 0 6.303 * [backup-simplify]: Simplify 1 into 1 6.303 * [taylor]: Taking taylor expansion of 1/2 in x 6.303 * [backup-simplify]: Simplify 1/2 into 1/2 6.303 * [taylor]: Taking taylor expansion of (* x (fma 1/6 x 1/2)) in x 6.303 * [taylor]: Taking taylor expansion of x in x 6.303 * [backup-simplify]: Simplify 0 into 0 6.303 * [backup-simplify]: Simplify 1 into 1 6.303 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x 6.303 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2) 6.303 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 6.303 * [taylor]: Taking taylor expansion of 1/6 in x 6.303 * [backup-simplify]: Simplify 1/6 into 1/6 6.303 * [taylor]: Taking taylor expansion of x in x 6.303 * [backup-simplify]: Simplify 0 into 0 6.303 * [backup-simplify]: Simplify 1 into 1 6.304 * [taylor]: Taking taylor expansion of 1/2 in x 6.304 * [backup-simplify]: Simplify 1/2 into 1/2 6.305 * [backup-simplify]: Simplify (* 1/6 0) into 0 6.305 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 6.306 * [backup-simplify]: Simplify (* 0 1/2) into 0 6.306 * [backup-simplify]: Simplify 0 into 0 6.306 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 6.307 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 6.308 * [backup-simplify]: Simplify (+ (* 0 1/6) (* 1 1/2)) into 1/2 6.308 * [backup-simplify]: Simplify 1/2 into 1/2 6.309 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0 6.309 * [backup-simplify]: Simplify (+ 0 0) into 0 6.310 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1/6) (* 0 1/2))) into 1/6 6.310 * [backup-simplify]: Simplify 1/6 into 1/6 6.311 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.312 * [backup-simplify]: Simplify (+ 0 0) into 0 6.313 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1/6) (* 0 1/2)))) into 0 6.313 * [backup-simplify]: Simplify 0 into 0 6.315 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 6.315 * [backup-simplify]: Simplify (+ 0 0) into 0 6.317 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2))))) into 0 6.317 * [backup-simplify]: Simplify 0 into 0 6.319 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 6.319 * [backup-simplify]: Simplify (+ 0 0) into 0 6.321 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2)))))) into 0 6.321 * [backup-simplify]: Simplify 0 into 0 6.322 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 6.323 * [backup-simplify]: Simplify (+ 0 0) into 0 6.324 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2))))))) into 0 6.324 * [backup-simplify]: Simplify 0 into 0 6.326 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 6.327 * [backup-simplify]: Simplify (+ 0 0) into 0 6.329 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2)))))))) into 0 6.329 * [backup-simplify]: Simplify 0 into 0 6.331 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 6.331 * [backup-simplify]: Simplify (+ 0 0) into 0 6.334 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2))))))))) into 0 6.334 * [backup-simplify]: Simplify 0 into 0 6.334 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 2)) (* 1/2 x)) into (+ (* 1/2 x) (* 1/6 (pow x 2))) 6.335 * [backup-simplify]: Simplify (* (/ 1 x) (fma 1/6 (/ 1 x) 1/2)) into (/ (fma 1/6 (/ 1 x) 1/2) x) 6.335 * [approximate]: Taking taylor expansion of (/ (fma 1/6 (/ 1 x) 1/2) x) in (x) around 0 6.335 * [taylor]: Taking taylor expansion of (/ (fma 1/6 (/ 1 x) 1/2) x) in x 6.335 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x 6.335 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2) 6.335 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 6.335 * [taylor]: Taking taylor expansion of 1/6 in x 6.335 * [backup-simplify]: Simplify 1/6 into 1/6 6.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.335 * [taylor]: Taking taylor expansion of x in x 6.335 * [backup-simplify]: Simplify 0 into 0 6.335 * [backup-simplify]: Simplify 1 into 1 6.335 * [backup-simplify]: Simplify (/ 1 1) into 1 6.336 * [taylor]: Taking taylor expansion of 1/2 in x 6.336 * [backup-simplify]: Simplify 1/2 into 1/2 6.336 * [taylor]: Taking taylor expansion of x in x 6.336 * [backup-simplify]: Simplify 0 into 0 6.336 * [backup-simplify]: Simplify 1 into 1 6.336 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 6.337 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 6.337 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 6.337 * [taylor]: Taking taylor expansion of (/ (fma 1/6 (/ 1 x) 1/2) x) in x 6.337 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x 6.337 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2) 6.337 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 6.337 * [taylor]: Taking taylor expansion of 1/6 in x 6.337 * [backup-simplify]: Simplify 1/6 into 1/6 6.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.337 * [taylor]: Taking taylor expansion of x in x 6.337 * [backup-simplify]: Simplify 0 into 0 6.337 * [backup-simplify]: Simplify 1 into 1 6.338 * [backup-simplify]: Simplify (/ 1 1) into 1 6.338 * [taylor]: Taking taylor expansion of 1/2 in x 6.338 * [backup-simplify]: Simplify 1/2 into 1/2 6.338 * [taylor]: Taking taylor expansion of x in x 6.338 * [backup-simplify]: Simplify 0 into 0 6.338 * [backup-simplify]: Simplify 1 into 1 6.338 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 6.339 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 6.339 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 6.339 * [backup-simplify]: Simplify 1/6 into 1/6 6.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.341 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 6.341 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 6.342 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1/6 (/ 0 1)))) into 1/2 6.342 * [backup-simplify]: Simplify 1/2 into 1/2 6.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.344 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 6.345 * [backup-simplify]: Simplify (+ 0 0) into 0 6.346 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0 6.346 * [backup-simplify]: Simplify 0 into 0 6.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.348 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.348 * [backup-simplify]: Simplify (+ 0 0) into 0 6.350 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.350 * [backup-simplify]: Simplify 0 into 0 6.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.352 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.352 * [backup-simplify]: Simplify (+ 0 0) into 0 6.354 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.354 * [backup-simplify]: Simplify 0 into 0 6.354 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.355 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.355 * [backup-simplify]: Simplify (+ 0 0) into 0 6.356 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.356 * [backup-simplify]: Simplify 0 into 0 6.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.358 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.358 * [backup-simplify]: Simplify (+ 0 0) into 0 6.359 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.359 * [backup-simplify]: Simplify 0 into 0 6.359 * [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 6.360 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 6.360 * [backup-simplify]: Simplify (+ 0 0) into 0 6.361 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.361 * [backup-simplify]: Simplify 0 into 0 6.361 * [backup-simplify]: Simplify (+ (* 1/2 (/ 1 (/ 1 x))) (* 1/6 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 1/2 x) (* 1/6 (pow x 2))) 6.361 * [backup-simplify]: Simplify (* (/ 1 (- x)) (fma 1/6 (/ 1 (- x)) 1/2)) into (* -1 (/ (fma 1/6 (/ -1 x) 1/2) x)) 6.361 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 1/6 (/ -1 x) 1/2) x)) in (x) around 0 6.362 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 1/6 (/ -1 x) 1/2) x)) in x 6.362 * [taylor]: Taking taylor expansion of -1 in x 6.362 * [backup-simplify]: Simplify -1 into -1 6.362 * [taylor]: Taking taylor expansion of (/ (fma 1/6 (/ -1 x) 1/2) x) in x 6.362 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x 6.362 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2) 6.362 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x 6.362 * [taylor]: Taking taylor expansion of 1/6 in x 6.362 * [backup-simplify]: Simplify 1/6 into 1/6 6.362 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.362 * [taylor]: Taking taylor expansion of -1 in x 6.362 * [backup-simplify]: Simplify -1 into -1 6.362 * [taylor]: Taking taylor expansion of x in x 6.362 * [backup-simplify]: Simplify 0 into 0 6.362 * [backup-simplify]: Simplify 1 into 1 6.362 * [backup-simplify]: Simplify (/ -1 1) into -1 6.362 * [taylor]: Taking taylor expansion of 1/2 in x 6.362 * [backup-simplify]: Simplify 1/2 into 1/2 6.362 * [taylor]: Taking taylor expansion of x in x 6.362 * [backup-simplify]: Simplify 0 into 0 6.362 * [backup-simplify]: Simplify 1 into 1 6.362 * [backup-simplify]: Simplify (* 1/6 -1) into -1/6 6.363 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6 6.363 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 6.363 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 1/6 (/ -1 x) 1/2) x)) in x 6.363 * [taylor]: Taking taylor expansion of -1 in x 6.363 * [backup-simplify]: Simplify -1 into -1 6.363 * [taylor]: Taking taylor expansion of (/ (fma 1/6 (/ -1 x) 1/2) x) in x 6.363 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x 6.363 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2) 6.363 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x 6.363 * [taylor]: Taking taylor expansion of 1/6 in x 6.363 * [backup-simplify]: Simplify 1/6 into 1/6 6.363 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.363 * [taylor]: Taking taylor expansion of -1 in x 6.363 * [backup-simplify]: Simplify -1 into -1 6.363 * [taylor]: Taking taylor expansion of x in x 6.363 * [backup-simplify]: Simplify 0 into 0 6.363 * [backup-simplify]: Simplify 1 into 1 6.364 * [backup-simplify]: Simplify (/ -1 1) into -1 6.364 * [taylor]: Taking taylor expansion of 1/2 in x 6.364 * [backup-simplify]: Simplify 1/2 into 1/2 6.364 * [taylor]: Taking taylor expansion of x in x 6.364 * [backup-simplify]: Simplify 0 into 0 6.364 * [backup-simplify]: Simplify 1 into 1 6.364 * [backup-simplify]: Simplify (* 1/6 -1) into -1/6 6.364 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6 6.365 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 6.365 * [backup-simplify]: Simplify (* -1 -1/6) into 1/6 6.365 * [backup-simplify]: Simplify 1/6 into 1/6 6.365 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 6.366 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 -1)) into 0 6.366 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 6.367 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* -1/6 (/ 0 1)))) into 1/2 6.367 * [backup-simplify]: Simplify (+ (* -1 1/2) (* 0 -1/6)) into -1/2 6.367 * [backup-simplify]: Simplify -1/2 into -1/2 6.368 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.368 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 -1))) into 0 6.369 * [backup-simplify]: Simplify (+ 0 0) into 0 6.369 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0 6.370 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1/2) (* 0 -1/6))) into 0 6.370 * [backup-simplify]: Simplify 0 into 0 6.370 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.371 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 6.371 * [backup-simplify]: Simplify (+ 0 0) into 0 6.372 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.373 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 -1/6)))) into 0 6.373 * [backup-simplify]: Simplify 0 into 0 6.373 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.374 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 6.376 * [backup-simplify]: Simplify (+ 0 0) into 0 6.377 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.378 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 -1/6))))) into 0 6.378 * [backup-simplify]: Simplify 0 into 0 6.379 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.380 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0 6.380 * [backup-simplify]: Simplify (+ 0 0) into 0 6.381 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.382 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 -1/6)))))) into 0 6.382 * [backup-simplify]: Simplify 0 into 0 6.383 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.385 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0 6.385 * [backup-simplify]: Simplify (+ 0 0) into 0 6.387 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.389 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 -1/6))))))) into 0 6.389 * [backup-simplify]: Simplify 0 into 0 6.390 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.392 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0 6.392 * [backup-simplify]: Simplify (+ 0 0) into 0 6.394 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.396 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 -1/6)))))))) into 0 6.396 * [backup-simplify]: Simplify 0 into 0 6.397 * [backup-simplify]: Simplify (+ (* -1/2 (/ 1 (/ 1 (- x)))) (* 1/6 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 1/2 x) (* 1/6 (pow x 2))) 6.397 * * * [progress]: simplifying candidates 6.398 * [simplify]: Simplifying: (expm1 (log (exp (* x (fma 1/6 x 1/2))))) (log1p (log (exp (* x (fma 1/6 x 1/2))))) (log (exp (* x (* 1/6 x)))) (log (exp (* x 1/2))) (log (exp (* (* 1/6 x) x))) (log (exp (* 1/2 x))) (log (* (cbrt (exp (* x (fma 1/6 x 1/2)))) (cbrt (exp (* x (fma 1/6 x 1/2)))))) (log (cbrt (exp (* x (fma 1/6 x 1/2))))) (log (sqrt (exp (* x (fma 1/6 x 1/2))))) (log (sqrt (exp (* x (fma 1/6 x 1/2))))) (log 1) (log (exp (* x (fma 1/6 x 1/2)))) (log (exp x)) (log (exp (* x (fma 1/6 x 1/2)))) (log (exp x)) (log (log (exp (* x (fma 1/6 x 1/2))))) (exp (log (exp (* x (fma 1/6 x 1/2))))) (* (cbrt (log (exp (* x (fma 1/6 x 1/2))))) (cbrt (log (exp (* x (fma 1/6 x 1/2)))))) (cbrt (log (exp (* x (fma 1/6 x 1/2))))) (* (* (log (exp (* x (fma 1/6 x 1/2)))) (log (exp (* x (fma 1/6 x 1/2))))) (log (exp (* x (fma 1/6 x 1/2))))) (sqrt (log (exp (* x (fma 1/6 x 1/2))))) (sqrt (log (exp (* x (fma 1/6 x 1/2))))) (expm1 (* x (fma 1/6 x 1/2))) (log1p (* x (fma 1/6 x 1/2))) (* x (fma 1/6 x 1/2)) (+ (log x) (log (fma 1/6 x 1/2))) (log (* x (fma 1/6 x 1/2))) (exp (* x (fma 1/6 x 1/2))) (* (* (* x x) x) (* (* (fma 1/6 x 1/2) (fma 1/6 x 1/2)) (fma 1/6 x 1/2))) (* (cbrt (* x (fma 1/6 x 1/2))) (cbrt (* x (fma 1/6 x 1/2)))) (cbrt (* x (fma 1/6 x 1/2))) (* (* (* x (fma 1/6 x 1/2)) (* x (fma 1/6 x 1/2))) (* x (fma 1/6 x 1/2))) (sqrt (* x (fma 1/6 x 1/2))) (sqrt (* x (fma 1/6 x 1/2))) (* (sqrt x) (sqrt (fma 1/6 x 1/2))) (* (sqrt x) (sqrt (fma 1/6 x 1/2))) (* x (* 1/6 x)) (* x 1/2) (* (* 1/6 x) x) (* 1/2 x) (* x (* (cbrt (fma 1/6 x 1/2)) (cbrt (fma 1/6 x 1/2)))) (* x (sqrt (fma 1/6 x 1/2))) (* x 1) (* (cbrt x) (fma 1/6 x 1/2)) (* (sqrt x) (fma 1/6 x 1/2)) (* x (fma 1/6 x 1/2)) (+ (* 1/2 x) (* 1/6 (pow x 2))) (+ (* 1/2 x) (* 1/6 (pow x 2))) (+ (* 1/2 x) (* 1/6 (pow x 2))) (+ (* 1/2 x) (* 1/6 (pow x 2))) (+ (* 1/2 x) (* 1/6 (pow x 2))) (+ (* 1/2 x) (* 1/6 (pow x 2))) 6.399 * * [simplify]: Extracting # 0 : cost 40 inf + 0 6.399 * * [simplify]: Extracting # 1 : cost 64 inf + 0 6.399 * * [simplify]: Extracting # 2 : cost 66 inf + 3 6.399 * * [simplify]: Extracting # 3 : cost 53 inf + 954 6.400 * * [simplify]: Extracting # 4 : cost 18 inf + 7388 6.400 * * [simplify]: Extracting # 5 : cost 4 inf + 10654 6.401 * * [simplify]: Extracting # 6 : cost 0 inf + 11630 6.402 * * [simplify]: iteration 0 : 70 enodes (cost 11227 ) 6.416 * * [simplify]: Extracting # 0 : cost 0 inf + 11630 6.417 * * [simplify]: Extracting # 1 : cost 12 inf + 9371 6.419 * * [simplify]: Extracting # 2 : cost 0 inf + 10528 6.420 * * [simplify]: iteration 1 : 126 enodes (cost 7490 ) 6.447 * * [simplify]: Extracting # 0 : cost 0 inf + 10528 6.448 * * [simplify]: Extracting # 1 : cost 65 inf + 10065 6.451 * * [simplify]: Extracting # 2 : cost 10 inf + 18531 6.454 * * [simplify]: Extracting # 3 : cost 1 inf + 20312 6.458 * * [simplify]: Extracting # 4 : cost 0 inf + 20594