76.941 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.033 * * * [progress]: [2/2] Setting up program.
0.039 * [progress]: [Phase 2 of 3] Improving.
0.039 * [simplify]: Simplifying:
  (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))
0.040 * * [simplify]: iteration 0: 10 enodes
0.046 * * [simplify]: iteration 1: 26 enodes
0.060 * * [simplify]: iteration 2: 55 enodes
0.091 * * [simplify]: iteration 3: 116 enodes
0.192 * * [simplify]: iteration 4: 221 enodes
0.512 * * [simplify]: iteration 5: 394 enodes
1.491 * * [simplify]: iteration 6: 575 enodes
2.055 * * [simplify]: iteration 7: 756 enodes
2.249 * * [simplify]: iteration 8: 952 enodes
2.883 * * [simplify]: iteration 9: 1487 enodes
4.372 * * [simplify]: iteration 10: 2596 enodes
8.953 * * [simplify]: iteration 11: 3586 enodes
12.355 * * [simplify]: iteration 12: 4381 enodes
14.056 * * [simplify]: iteration complete: 5000 enodes
14.058 * * [simplify]: Extracting #0: cost 1 inf + 0
14.059 * * [simplify]: Extracting #1: cost 25 inf + 0
14.072 * * [simplify]: Extracting #2: cost 116 inf + 1
14.083 * * [simplify]: Extracting #3: cost 107 inf + 1270
14.092 * * [simplify]: Extracting #4: cost 31 inf + 10211
14.126 * * [simplify]: Extracting #5: cost 0 inf + 14372
14.157 * [simplify]: Simplified to:
  (* (+ (* x (- (* x 3.0) 4.0)) 1.0) 3.0)
14.171 * * [progress]: iteration 1 / 4
14.172 * * * [progress]: picking best candidate
14.180 * * * * [pick]: Picked  #<alt (λ (x) (* (+ (* x (- (* x 3.0) 4.0)) 1.0) 3.0))>
14.180 * * * [progress]: localizing error
14.280 * * * [progress]: generating rewritten candidates
14.281 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
14.364 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
14.762 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2)
14.793 * * * [progress]: generating series expansions
14.794 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
14.807 * [backup-simplify]: Simplify (* x (- (* x 3.0) 4.0)) into (* x (- (* 3.0 x) 4.0))
14.807 * [approximate]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in (x) around 0
14.807 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x
14.815 * [taylor]: Taking taylor expansion of x in x
14.815 * [backup-simplify]: Simplify 0 into 0
14.815 * [backup-simplify]: Simplify 1 into 1
14.815 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
14.815 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
14.815 * [taylor]: Taking taylor expansion of 3.0 in x
14.815 * [backup-simplify]: Simplify 3.0 into 3.0
14.815 * [taylor]: Taking taylor expansion of x in x
14.815 * [backup-simplify]: Simplify 0 into 0
14.815 * [backup-simplify]: Simplify 1 into 1
14.815 * [taylor]: Taking taylor expansion of 4.0 in x
14.815 * [backup-simplify]: Simplify 4.0 into 4.0
14.815 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x
14.815 * [taylor]: Taking taylor expansion of x in x
14.815 * [backup-simplify]: Simplify 0 into 0
14.815 * [backup-simplify]: Simplify 1 into 1
14.815 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
14.815 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
14.815 * [taylor]: Taking taylor expansion of 3.0 in x
14.815 * [backup-simplify]: Simplify 3.0 into 3.0
14.816 * [taylor]: Taking taylor expansion of x in x
14.816 * [backup-simplify]: Simplify 0 into 0
14.816 * [backup-simplify]: Simplify 1 into 1
14.816 * [taylor]: Taking taylor expansion of 4.0 in x
14.816 * [backup-simplify]: Simplify 4.0 into 4.0
14.919 * [backup-simplify]: Simplify (* 3.0 0) into 0
14.934 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
14.935 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
14.936 * [backup-simplify]: Simplify (* 0 (- 4.0)) into 0
14.936 * [backup-simplify]: Simplify 0 into 0
14.943 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
14.944 * [backup-simplify]: Simplify (- 0) into 0
14.944 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
14.946 * [backup-simplify]: Simplify (+ (* 0 3.0) (* 1 (- 4.0))) into (- 4.0)
14.953 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
14.961 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
14.962 * [backup-simplify]: Simplify (- 0) into 0
14.962 * [backup-simplify]: Simplify (+ 0 0) into 0
14.966 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 3.0) (* 0 (- 4.0)))) into 3.0
14.966 * [backup-simplify]: Simplify 3.0 into 3.0
14.968 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
14.968 * [backup-simplify]: Simplify (- 0) into 0
14.969 * [backup-simplify]: Simplify (+ 0 0) into 0
14.971 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 3.0) (* 0 (- 4.0))))) into 0
14.972 * [backup-simplify]: Simplify 0 into 0
14.974 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
14.974 * [backup-simplify]: Simplify (- 0) into 0
14.975 * [backup-simplify]: Simplify (+ 0 0) into 0
14.977 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0)))))) into 0
14.977 * [backup-simplify]: Simplify 0 into 0
14.991 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
14.992 * [backup-simplify]: Simplify (- 0) into 0
14.999 * [backup-simplify]: Simplify (+ 0 0) into 0
15.002 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0))))))) into 0
15.002 * [backup-simplify]: Simplify 0 into 0
15.003 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
15.047 * [backup-simplify]: Simplify (- 0) into 0
15.048 * [backup-simplify]: Simplify (+ 0 0) into 0
15.050 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0)))))))) into 0
15.050 * [backup-simplify]: Simplify 0 into 0
15.058 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
15.063 * [backup-simplify]: Simplify (- 0) into 0
15.065 * [backup-simplify]: Simplify (+ 0 0) into 0
15.068 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0))))))))) into 0
15.068 * [backup-simplify]: Simplify 0 into 0
15.075 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
15.076 * [backup-simplify]: Simplify (- 0) into 0
15.076 * [backup-simplify]: Simplify (+ 0 0) into 0
15.078 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0)))))))))) into 0
15.079 * [backup-simplify]: Simplify 0 into 0
15.080 * [backup-simplify]: Simplify (+ (* 3.0 (pow x 2)) (* (- 4.0) x)) into (- (* 3.0 (pow x 2)) (* 4.0 x))
15.086 * [backup-simplify]: Simplify (* (/ 1 x) (- (* (/ 1 x) 3.0) 4.0)) into (/ (- (* 3.0 (/ 1 x)) 4.0) x)
15.086 * [approximate]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in (x) around 0
15.086 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in x
15.086 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
15.086 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
15.086 * [taylor]: Taking taylor expansion of 3.0 in x
15.086 * [backup-simplify]: Simplify 3.0 into 3.0
15.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.086 * [taylor]: Taking taylor expansion of x in x
15.086 * [backup-simplify]: Simplify 0 into 0
15.086 * [backup-simplify]: Simplify 1 into 1
15.088 * [backup-simplify]: Simplify (/ 1 1) into 1
15.088 * [taylor]: Taking taylor expansion of 4.0 in x
15.089 * [backup-simplify]: Simplify 4.0 into 4.0
15.089 * [taylor]: Taking taylor expansion of x in x
15.089 * [backup-simplify]: Simplify 0 into 0
15.089 * [backup-simplify]: Simplify 1 into 1
15.090 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
15.091 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
15.092 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
15.092 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in x
15.092 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
15.092 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
15.092 * [taylor]: Taking taylor expansion of 3.0 in x
15.092 * [backup-simplify]: Simplify 3.0 into 3.0
15.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.092 * [taylor]: Taking taylor expansion of x in x
15.093 * [backup-simplify]: Simplify 0 into 0
15.093 * [backup-simplify]: Simplify 1 into 1
15.093 * [backup-simplify]: Simplify (/ 1 1) into 1
15.093 * [taylor]: Taking taylor expansion of 4.0 in x
15.093 * [backup-simplify]: Simplify 4.0 into 4.0
15.093 * [taylor]: Taking taylor expansion of x in x
15.093 * [backup-simplify]: Simplify 0 into 0
15.093 * [backup-simplify]: Simplify 1 into 1
15.094 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
15.094 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
15.094 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
15.095 * [backup-simplify]: Simplify 3.0 into 3.0
15.096 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.097 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
15.097 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
15.098 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
15.101 * [backup-simplify]: Simplify (- (/ (- 4.0) 1) (+ (* 3.0 (/ 0 1)))) into (- 4.0)
15.104 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
15.105 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.109 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
15.109 * [backup-simplify]: Simplify (- 0) into 0
15.110 * [backup-simplify]: Simplify (+ 0 0) into 0
15.111 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)))) into 0
15.111 * [backup-simplify]: Simplify 0 into 0
15.112 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.113 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.114 * [backup-simplify]: Simplify (- 0) into 0
15.114 * [backup-simplify]: Simplify (+ 0 0) into 0
15.122 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.122 * [backup-simplify]: Simplify 0 into 0
15.123 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.124 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.124 * [backup-simplify]: Simplify (- 0) into 0
15.125 * [backup-simplify]: Simplify (+ 0 0) into 0
15.126 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.126 * [backup-simplify]: Simplify 0 into 0
15.128 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.130 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.130 * [backup-simplify]: Simplify (- 0) into 0
15.131 * [backup-simplify]: Simplify (+ 0 0) into 0
15.132 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.132 * [backup-simplify]: Simplify 0 into 0
15.133 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.136 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.136 * [backup-simplify]: Simplify (- 0) into 0
15.137 * [backup-simplify]: Simplify (+ 0 0) into 0
15.138 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.138 * [backup-simplify]: Simplify 0 into 0
15.142 * [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
15.143 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
15.144 * [backup-simplify]: Simplify (- 0) into 0
15.144 * [backup-simplify]: Simplify (+ 0 0) into 0
15.145 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.145 * [backup-simplify]: Simplify 0 into 0
15.146 * [backup-simplify]: Simplify (+ (* (- 4.0) (/ 1 (/ 1 x))) (* 3.0 (pow (/ 1 (/ 1 x)) 2))) into (- (* 3.0 (pow x 2)) (* 4.0 x))
15.147 * [backup-simplify]: Simplify (* (/ 1 (- x)) (- (* (/ 1 (- x)) 3.0) 4.0)) into (/ (+ 4.0 (* 3.0 (/ 1 x))) x)
15.147 * [approximate]: Taking taylor expansion of (/ (+ 4.0 (* 3.0 (/ 1 x))) x) in (x) around 0
15.147 * [taylor]: Taking taylor expansion of (/ (+ 4.0 (* 3.0 (/ 1 x))) x) in x
15.147 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x
15.148 * [taylor]: Taking taylor expansion of 4.0 in x
15.148 * [backup-simplify]: Simplify 4.0 into 4.0
15.148 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
15.148 * [taylor]: Taking taylor expansion of 3.0 in x
15.148 * [backup-simplify]: Simplify 3.0 into 3.0
15.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.148 * [taylor]: Taking taylor expansion of x in x
15.148 * [backup-simplify]: Simplify 0 into 0
15.148 * [backup-simplify]: Simplify 1 into 1
15.149 * [backup-simplify]: Simplify (/ 1 1) into 1
15.149 * [taylor]: Taking taylor expansion of x in x
15.149 * [backup-simplify]: Simplify 0 into 0
15.149 * [backup-simplify]: Simplify 1 into 1
15.151 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
15.151 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
15.152 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
15.152 * [taylor]: Taking taylor expansion of (/ (+ 4.0 (* 3.0 (/ 1 x))) x) in x
15.152 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x
15.152 * [taylor]: Taking taylor expansion of 4.0 in x
15.152 * [backup-simplify]: Simplify 4.0 into 4.0
15.152 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
15.152 * [taylor]: Taking taylor expansion of 3.0 in x
15.152 * [backup-simplify]: Simplify 3.0 into 3.0
15.152 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.152 * [taylor]: Taking taylor expansion of x in x
15.152 * [backup-simplify]: Simplify 0 into 0
15.152 * [backup-simplify]: Simplify 1 into 1
15.153 * [backup-simplify]: Simplify (/ 1 1) into 1
15.153 * [taylor]: Taking taylor expansion of x in x
15.153 * [backup-simplify]: Simplify 0 into 0
15.153 * [backup-simplify]: Simplify 1 into 1
15.153 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
15.153 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
15.154 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
15.154 * [backup-simplify]: Simplify 3.0 into 3.0
15.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.156 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
15.157 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
15.160 * [backup-simplify]: Simplify (- (/ 4.0 1) (+ (* 3.0 (/ 0 1)))) into 4.0
15.160 * [backup-simplify]: Simplify 4.0 into 4.0
15.161 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.162 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
15.162 * [backup-simplify]: Simplify (+ 0 0) into 0
15.163 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)))) into 0
15.163 * [backup-simplify]: Simplify 0 into 0
15.164 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.165 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.166 * [backup-simplify]: Simplify (+ 0 0) into 0
15.167 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.167 * [backup-simplify]: Simplify 0 into 0
15.168 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.169 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.170 * [backup-simplify]: Simplify (+ 0 0) into 0
15.171 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.171 * [backup-simplify]: Simplify 0 into 0
15.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.173 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.174 * [backup-simplify]: Simplify (+ 0 0) into 0
15.175 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.175 * [backup-simplify]: Simplify 0 into 0
15.176 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.177 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.194 * [backup-simplify]: Simplify (+ 0 0) into 0
15.196 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.196 * [backup-simplify]: Simplify 0 into 0
15.197 * [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
15.199 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
15.199 * [backup-simplify]: Simplify (+ 0 0) into 0
15.201 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.201 * [backup-simplify]: Simplify 0 into 0
15.201 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 (/ 1 (- x)))) (* 3.0 (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 3.0 (pow x 2)) (* 4.0 x))
15.201 * * * * [progress]: [ 2 / 3 ] generating series at (2)
15.202 * [backup-simplify]: Simplify (* (+ (* x (- (* x 3.0) 4.0)) 1.0) 3.0) into (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)))
15.202 * [approximate]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in (x) around 0
15.202 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
15.202 * [taylor]: Taking taylor expansion of 3.0 in x
15.202 * [backup-simplify]: Simplify 3.0 into 3.0
15.202 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
15.202 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
15.202 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
15.202 * [taylor]: Taking taylor expansion of 3.0 in x
15.202 * [backup-simplify]: Simplify 3.0 into 3.0
15.202 * [taylor]: Taking taylor expansion of (pow x 2) in x
15.202 * [taylor]: Taking taylor expansion of x in x
15.202 * [backup-simplify]: Simplify 0 into 0
15.202 * [backup-simplify]: Simplify 1 into 1
15.202 * [taylor]: Taking taylor expansion of 1.0 in x
15.202 * [backup-simplify]: Simplify 1.0 into 1.0
15.202 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
15.202 * [taylor]: Taking taylor expansion of 4.0 in x
15.202 * [backup-simplify]: Simplify 4.0 into 4.0
15.202 * [taylor]: Taking taylor expansion of x in x
15.202 * [backup-simplify]: Simplify 0 into 0
15.202 * [backup-simplify]: Simplify 1 into 1
15.202 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
15.202 * [taylor]: Taking taylor expansion of 3.0 in x
15.202 * [backup-simplify]: Simplify 3.0 into 3.0
15.202 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
15.203 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
15.203 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
15.203 * [taylor]: Taking taylor expansion of 3.0 in x
15.203 * [backup-simplify]: Simplify 3.0 into 3.0
15.203 * [taylor]: Taking taylor expansion of (pow x 2) in x
15.203 * [taylor]: Taking taylor expansion of x in x
15.203 * [backup-simplify]: Simplify 0 into 0
15.203 * [backup-simplify]: Simplify 1 into 1
15.203 * [taylor]: Taking taylor expansion of 1.0 in x
15.203 * [backup-simplify]: Simplify 1.0 into 1.0
15.203 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
15.203 * [taylor]: Taking taylor expansion of 4.0 in x
15.203 * [backup-simplify]: Simplify 4.0 into 4.0
15.203 * [taylor]: Taking taylor expansion of x in x
15.203 * [backup-simplify]: Simplify 0 into 0
15.203 * [backup-simplify]: Simplify 1 into 1
15.204 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
15.204 * [backup-simplify]: Simplify (* 4.0 0) into 0
15.205 * [backup-simplify]: Simplify (- 0) into 0
15.205 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
15.206 * [backup-simplify]: Simplify (* 3.0 1.0) into 3.0
15.206 * [backup-simplify]: Simplify 3.0 into 3.0
15.206 * [backup-simplify]: Simplify (+ 0 0) into 0
15.208 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
15.208 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
15.209 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
15.211 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 1.0)) into (- 12.0)
15.212 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
15.212 * [backup-simplify]: Simplify (* 1 1) into 1
15.213 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
15.213 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
15.214 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
15.214 * [backup-simplify]: Simplify (- 0) into 0
15.215 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
15.220 * [backup-simplify]: Simplify (+ (* 3.0 3.0) (+ (* 0 (- 4.0)) (* 0 1.0))) into 9.0
15.220 * [backup-simplify]: Simplify 9.0 into 9.0
15.221 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (+ (* (- 12.0) x) 3.0)) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
15.222 * [backup-simplify]: Simplify (* (+ (* (/ 1 x) (- (* (/ 1 x) 3.0) 4.0)) 1.0) 3.0) into (* 3.0 (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x))))
15.222 * [approximate]: Taking taylor expansion of (* 3.0 (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x)))) in (x) around 0
15.222 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x)))) in x
15.222 * [taylor]: Taking taylor expansion of 3.0 in x
15.222 * [backup-simplify]: Simplify 3.0 into 3.0
15.222 * [taylor]: Taking taylor expansion of (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x))) in x
15.222 * [taylor]: Taking taylor expansion of (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) in x
15.222 * [taylor]: Taking taylor expansion of 1.0 in x
15.222 * [backup-simplify]: Simplify 1.0 into 1.0
15.222 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
15.222 * [taylor]: Taking taylor expansion of 3.0 in x
15.222 * [backup-simplify]: Simplify 3.0 into 3.0
15.222 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
15.222 * [taylor]: Taking taylor expansion of (pow x 2) in x
15.222 * [taylor]: Taking taylor expansion of x in x
15.222 * [backup-simplify]: Simplify 0 into 0
15.222 * [backup-simplify]: Simplify 1 into 1
15.222 * [backup-simplify]: Simplify (* 1 1) into 1
15.223 * [backup-simplify]: Simplify (/ 1 1) into 1
15.223 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
15.223 * [taylor]: Taking taylor expansion of 4.0 in x
15.223 * [backup-simplify]: Simplify 4.0 into 4.0
15.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.223 * [taylor]: Taking taylor expansion of x in x
15.223 * [backup-simplify]: Simplify 0 into 0
15.223 * [backup-simplify]: Simplify 1 into 1
15.223 * [backup-simplify]: Simplify (/ 1 1) into 1
15.223 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x)))) in x
15.223 * [taylor]: Taking taylor expansion of 3.0 in x
15.223 * [backup-simplify]: Simplify 3.0 into 3.0
15.223 * [taylor]: Taking taylor expansion of (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x))) in x
15.223 * [taylor]: Taking taylor expansion of (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) in x
15.223 * [taylor]: Taking taylor expansion of 1.0 in x
15.223 * [backup-simplify]: Simplify 1.0 into 1.0
15.223 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
15.223 * [taylor]: Taking taylor expansion of 3.0 in x
15.223 * [backup-simplify]: Simplify 3.0 into 3.0
15.223 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
15.223 * [taylor]: Taking taylor expansion of (pow x 2) in x
15.223 * [taylor]: Taking taylor expansion of x in x
15.224 * [backup-simplify]: Simplify 0 into 0
15.224 * [backup-simplify]: Simplify 1 into 1
15.224 * [backup-simplify]: Simplify (* 1 1) into 1
15.224 * [backup-simplify]: Simplify (/ 1 1) into 1
15.224 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
15.224 * [taylor]: Taking taylor expansion of 4.0 in x
15.225 * [backup-simplify]: Simplify 4.0 into 4.0
15.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.225 * [taylor]: Taking taylor expansion of x in x
15.225 * [backup-simplify]: Simplify 0 into 0
15.225 * [backup-simplify]: Simplify 1 into 1
15.225 * [backup-simplify]: Simplify (/ 1 1) into 1
15.226 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
15.227 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
15.227 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
15.228 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
15.228 * [backup-simplify]: Simplify 9.0 into 9.0
15.229 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.230 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.231 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
15.231 * [backup-simplify]: Simplify (+ 0 0) into 0
15.232 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
15.233 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
15.234 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
15.236 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 3.0)) into (- 12.0)
15.237 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
15.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.239 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.240 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
15.241 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
15.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.443 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
15.444 * [backup-simplify]: Simplify (- 0) into 0
15.445 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
15.455 * [backup-simplify]: Simplify (+ (* 3.0 1.0) (+ (* 0 (- 4.0)) (* 0 3.0))) into 3.0
15.455 * [backup-simplify]: Simplify 3.0 into 3.0
15.458 * [backup-simplify]: Simplify (+ 3.0 (+ (* (- 12.0) (/ 1 (/ 1 x))) (* 9.0 (pow (/ 1 (/ 1 x)) 2)))) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
15.459 * [backup-simplify]: Simplify (* (+ (* (/ 1 (- x)) (- (* (/ 1 (- x)) 3.0) 4.0)) 1.0) 3.0) into (* 3.0 (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))))
15.459 * [approximate]: Taking taylor expansion of (* 3.0 (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))))) in (x) around 0
15.459 * [taylor]: Taking taylor expansion of (* 3.0 (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))))) in x
15.459 * [taylor]: Taking taylor expansion of 3.0 in x
15.459 * [backup-simplify]: Simplify 3.0 into 3.0
15.459 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))) in x
15.462 * [taylor]: Taking taylor expansion of 1.0 in x
15.462 * [backup-simplify]: Simplify 1.0 into 1.0
15.462 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
15.462 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
15.462 * [taylor]: Taking taylor expansion of 3.0 in x
15.462 * [backup-simplify]: Simplify 3.0 into 3.0
15.462 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
15.462 * [taylor]: Taking taylor expansion of (pow x 2) in x
15.462 * [taylor]: Taking taylor expansion of x in x
15.462 * [backup-simplify]: Simplify 0 into 0
15.462 * [backup-simplify]: Simplify 1 into 1
15.463 * [backup-simplify]: Simplify (* 1 1) into 1
15.463 * [backup-simplify]: Simplify (/ 1 1) into 1
15.464 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
15.464 * [taylor]: Taking taylor expansion of 4.0 in x
15.464 * [backup-simplify]: Simplify 4.0 into 4.0
15.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.464 * [taylor]: Taking taylor expansion of x in x
15.464 * [backup-simplify]: Simplify 0 into 0
15.464 * [backup-simplify]: Simplify 1 into 1
15.464 * [backup-simplify]: Simplify (/ 1 1) into 1
15.464 * [taylor]: Taking taylor expansion of (* 3.0 (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))))) in x
15.464 * [taylor]: Taking taylor expansion of 3.0 in x
15.464 * [backup-simplify]: Simplify 3.0 into 3.0
15.464 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))) in x
15.464 * [taylor]: Taking taylor expansion of 1.0 in x
15.464 * [backup-simplify]: Simplify 1.0 into 1.0
15.464 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
15.464 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
15.464 * [taylor]: Taking taylor expansion of 3.0 in x
15.465 * [backup-simplify]: Simplify 3.0 into 3.0
15.465 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
15.465 * [taylor]: Taking taylor expansion of (pow x 2) in x
15.465 * [taylor]: Taking taylor expansion of x in x
15.465 * [backup-simplify]: Simplify 0 into 0
15.465 * [backup-simplify]: Simplify 1 into 1
15.465 * [backup-simplify]: Simplify (* 1 1) into 1
15.465 * [backup-simplify]: Simplify (/ 1 1) into 1
15.465 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
15.465 * [taylor]: Taking taylor expansion of 4.0 in x
15.466 * [backup-simplify]: Simplify 4.0 into 4.0
15.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.466 * [taylor]: Taking taylor expansion of x in x
15.466 * [backup-simplify]: Simplify 0 into 0
15.466 * [backup-simplify]: Simplify 1 into 1
15.466 * [backup-simplify]: Simplify (/ 1 1) into 1
15.476 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
15.476 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
15.477 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
15.477 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
15.477 * [backup-simplify]: Simplify 9.0 into 9.0
15.484 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.485 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.485 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
15.486 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
15.487 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
15.487 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
15.489 * [backup-simplify]: Simplify (+ (* 3.0 4.0) (* 0 3.0)) into 12.0
15.489 * [backup-simplify]: Simplify 12.0 into 12.0
15.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.498 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
15.503 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.504 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
15.505 * [backup-simplify]: Simplify (+ 0 0) into 0
15.505 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
15.512 * [backup-simplify]: Simplify (+ (* 3.0 1.0) (+ (* 0 4.0) (* 0 3.0))) into 3.0
15.512 * [backup-simplify]: Simplify 3.0 into 3.0
15.513 * [backup-simplify]: Simplify (+ 3.0 (+ (* 12.0 (/ 1 (/ 1 (- x)))) (* 9.0 (pow (/ 1 (/ 1 (- x))) 2)))) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
15.527 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2)
15.527 * [backup-simplify]: Simplify (- (* x 3.0) 4.0) into (- (* 3.0 x) 4.0)
15.527 * [approximate]: Taking taylor expansion of (- (* 3.0 x) 4.0) in (x) around 0
15.527 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
15.527 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
15.527 * [taylor]: Taking taylor expansion of 3.0 in x
15.527 * [backup-simplify]: Simplify 3.0 into 3.0
15.527 * [taylor]: Taking taylor expansion of x in x
15.527 * [backup-simplify]: Simplify 0 into 0
15.527 * [backup-simplify]: Simplify 1 into 1
15.527 * [taylor]: Taking taylor expansion of 4.0 in x
15.527 * [backup-simplify]: Simplify 4.0 into 4.0
15.527 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
15.527 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
15.527 * [taylor]: Taking taylor expansion of 3.0 in x
15.527 * [backup-simplify]: Simplify 3.0 into 3.0
15.528 * [taylor]: Taking taylor expansion of x in x
15.528 * [backup-simplify]: Simplify 0 into 0
15.528 * [backup-simplify]: Simplify 1 into 1
15.528 * [taylor]: Taking taylor expansion of 4.0 in x
15.528 * [backup-simplify]: Simplify 4.0 into 4.0
15.528 * [backup-simplify]: Simplify (* 3.0 0) into 0
15.529 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
15.529 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
15.530 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
15.532 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
15.532 * [backup-simplify]: Simplify (- 0) into 0
15.533 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
15.533 * [backup-simplify]: Simplify 3.0 into 3.0
15.535 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
15.539 * [backup-simplify]: Simplify (- 0) into 0
15.540 * [backup-simplify]: Simplify (+ 0 0) into 0
15.540 * [backup-simplify]: Simplify 0 into 0
15.541 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
15.542 * [backup-simplify]: Simplify (- 0) into 0
15.542 * [backup-simplify]: Simplify (+ 0 0) into 0
15.542 * [backup-simplify]: Simplify 0 into 0
15.548 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
15.548 * [backup-simplify]: Simplify (- 0) into 0
15.549 * [backup-simplify]: Simplify (+ 0 0) into 0
15.549 * [backup-simplify]: Simplify 0 into 0
15.555 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
15.556 * [backup-simplify]: Simplify (- 0) into 0
15.556 * [backup-simplify]: Simplify (+ 0 0) into 0
15.556 * [backup-simplify]: Simplify 0 into 0
15.558 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
15.558 * [backup-simplify]: Simplify (- 0) into 0
15.559 * [backup-simplify]: Simplify (+ 0 0) into 0
15.559 * [backup-simplify]: Simplify 0 into 0
15.566 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
15.566 * [backup-simplify]: Simplify (- 0) into 0
15.567 * [backup-simplify]: Simplify (+ 0 0) into 0
15.567 * [backup-simplify]: Simplify 0 into 0
15.567 * [backup-simplify]: Simplify (+ (* 3.0 x) (- 4.0)) into (- (* 3.0 x) 4.0)
15.567 * [backup-simplify]: Simplify (- (* (/ 1 x) 3.0) 4.0) into (- (* 3.0 (/ 1 x)) 4.0)
15.568 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in (x) around 0
15.568 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
15.568 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
15.568 * [taylor]: Taking taylor expansion of 3.0 in x
15.568 * [backup-simplify]: Simplify 3.0 into 3.0
15.568 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.568 * [taylor]: Taking taylor expansion of x in x
15.568 * [backup-simplify]: Simplify 0 into 0
15.568 * [backup-simplify]: Simplify 1 into 1
15.568 * [backup-simplify]: Simplify (/ 1 1) into 1
15.568 * [taylor]: Taking taylor expansion of 4.0 in x
15.568 * [backup-simplify]: Simplify 4.0 into 4.0
15.568 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
15.568 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
15.568 * [taylor]: Taking taylor expansion of 3.0 in x
15.569 * [backup-simplify]: Simplify 3.0 into 3.0
15.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.569 * [taylor]: Taking taylor expansion of x in x
15.569 * [backup-simplify]: Simplify 0 into 0
15.569 * [backup-simplify]: Simplify 1 into 1
15.569 * [backup-simplify]: Simplify (/ 1 1) into 1
15.569 * [taylor]: Taking taylor expansion of 4.0 in x
15.569 * [backup-simplify]: Simplify 4.0 into 4.0
15.570 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
15.570 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
15.570 * [backup-simplify]: Simplify 3.0 into 3.0
15.571 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.572 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
15.572 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
15.573 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
15.573 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
15.574 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.575 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
15.576 * [backup-simplify]: Simplify (- 0) into 0
15.576 * [backup-simplify]: Simplify (+ 0 0) into 0
15.576 * [backup-simplify]: Simplify 0 into 0
15.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.578 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.579 * [backup-simplify]: Simplify (- 0) into 0
15.579 * [backup-simplify]: Simplify (+ 0 0) into 0
15.579 * [backup-simplify]: Simplify 0 into 0
15.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.582 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.582 * [backup-simplify]: Simplify (- 0) into 0
15.582 * [backup-simplify]: Simplify (+ 0 0) into 0
15.582 * [backup-simplify]: Simplify 0 into 0
15.584 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.586 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.586 * [backup-simplify]: Simplify (- 0) into 0
15.587 * [backup-simplify]: Simplify (+ 0 0) into 0
15.587 * [backup-simplify]: Simplify 0 into 0
15.588 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.589 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.590 * [backup-simplify]: Simplify (- 0) into 0
15.590 * [backup-simplify]: Simplify (+ 0 0) into 0
15.590 * [backup-simplify]: Simplify 0 into 0
15.591 * [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
15.593 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
15.594 * [backup-simplify]: Simplify (- 0) into 0
15.594 * [backup-simplify]: Simplify (+ 0 0) into 0
15.594 * [backup-simplify]: Simplify 0 into 0
15.595 * [backup-simplify]: Simplify (+ (- 4.0) (* 3.0 (/ 1 (/ 1 x)))) into (- (* 3.0 x) 4.0)
15.595 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) 3.0) 4.0) into (- (+ 4.0 (* 3.0 (/ 1 x))))
15.595 * [approximate]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in (x) around 0
15.595 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x
15.595 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x
15.595 * [taylor]: Taking taylor expansion of 4.0 in x
15.595 * [backup-simplify]: Simplify 4.0 into 4.0
15.595 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
15.595 * [taylor]: Taking taylor expansion of 3.0 in x
15.596 * [backup-simplify]: Simplify 3.0 into 3.0
15.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.596 * [taylor]: Taking taylor expansion of x in x
15.596 * [backup-simplify]: Simplify 0 into 0
15.596 * [backup-simplify]: Simplify 1 into 1
15.596 * [backup-simplify]: Simplify (/ 1 1) into 1
15.596 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x
15.596 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x
15.596 * [taylor]: Taking taylor expansion of 4.0 in x
15.596 * [backup-simplify]: Simplify 4.0 into 4.0
15.596 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
15.596 * [taylor]: Taking taylor expansion of 3.0 in x
15.596 * [backup-simplify]: Simplify 3.0 into 3.0
15.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.596 * [taylor]: Taking taylor expansion of x in x
15.596 * [backup-simplify]: Simplify 0 into 0
15.596 * [backup-simplify]: Simplify 1 into 1
15.597 * [backup-simplify]: Simplify (/ 1 1) into 1
15.597 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
15.598 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
15.598 * [backup-simplify]: Simplify (- 3.0) into (- 3.0)
15.598 * [backup-simplify]: Simplify (- 3.0) into (- 3.0)
15.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.600 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
15.600 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
15.601 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
15.601 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
15.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.603 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
15.603 * [backup-simplify]: Simplify (+ 0 0) into 0
15.604 * [backup-simplify]: Simplify (- 0) into 0
15.604 * [backup-simplify]: Simplify 0 into 0
15.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.606 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.606 * [backup-simplify]: Simplify (+ 0 0) into 0
15.606 * [backup-simplify]: Simplify (- 0) into 0
15.606 * [backup-simplify]: Simplify 0 into 0
15.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.609 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.610 * [backup-simplify]: Simplify (+ 0 0) into 0
15.610 * [backup-simplify]: Simplify (- 0) into 0
15.610 * [backup-simplify]: Simplify 0 into 0
15.611 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.613 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.613 * [backup-simplify]: Simplify (+ 0 0) into 0
15.614 * [backup-simplify]: Simplify (- 0) into 0
15.614 * [backup-simplify]: Simplify 0 into 0
15.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.616 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.617 * [backup-simplify]: Simplify (+ 0 0) into 0
15.618 * [backup-simplify]: Simplify (- 0) into 0
15.618 * [backup-simplify]: Simplify 0 into 0
15.619 * [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
15.621 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
15.621 * [backup-simplify]: Simplify (+ 0 0) into 0
15.621 * [backup-simplify]: Simplify (- 0) into 0
15.622 * [backup-simplify]: Simplify 0 into 0
15.623 * [backup-simplify]: Simplify (+ (- 4.0) (* (- 3.0) (/ 1 (/ 1 (- x))))) into (- (* 3.0 x) 4.0)
15.623 * * * [progress]: simplifying candidates
15.626 * [simplify]: Simplifying:
  (* x (- (* x 3.0) 4.0))
  (+ (log x) (log (- (* x 3.0) 4.0)))
  (log (* x (- (* x 3.0) 4.0)))
  (exp (* x (- (* x 3.0) 4.0)))
  (* (* (* x x) x) (* (* (- (* x 3.0) 4.0) (- (* x 3.0) 4.0)) (- (* x 3.0) 4.0)))
  (* (cbrt (* x (- (* x 3.0) 4.0))) (cbrt (* x (- (* x 3.0) 4.0))))
  (cbrt (* x (- (* x 3.0) 4.0)))
  (* (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))) (* x (- (* x 3.0) 4.0)))
  (sqrt (* x (- (* x 3.0) 4.0)))
  (sqrt (* x (- (* x 3.0) 4.0)))
  (* (sqrt x) (sqrt (- (* x 3.0) 4.0)))
  (* (sqrt x) (sqrt (- (* x 3.0) 4.0)))
  (* x (* x 3.0))
  (* x (- 4.0))
  (* x (* x 3.0))
  (* x (- 4.0))
  (* (* x 3.0) x)
  (* (- 4.0) x)
  (* (* x 3.0) x)
  (* (- 4.0) x)
  (* x (* (cbrt (- (* x 3.0) 4.0)) (cbrt (- (* x 3.0) 4.0))))
  (* x (sqrt (- (* x 3.0) 4.0)))
  (* x 1)
  (* (cbrt x) (- (* x 3.0) 4.0))
  (* (sqrt x) (- (* x 3.0) 4.0))
  (* x (- (* x 3.0) 4.0))
  (* x (- (pow (* x 3.0) 3) (pow 4.0 3)))
  (* x (- (* (* x 3.0) (* x 3.0)) (* 4.0 4.0)))
  (* (+ (* x (- (* x 3.0) 4.0)) 1.0) 3.0)
  (+ (log (+ (* x (- (* x 3.0) 4.0)) 1.0)) (log 3.0))
  (log (* (+ (* x (- (* x 3.0) 4.0)) 1.0) 3.0))
  (exp (* (+ (* x (- (* x 3.0) 4.0)) 1.0) 3.0))
  (* (* (* (+ (* x (- (* x 3.0) 4.0)) 1.0) (+ (* x (- (* x 3.0) 4.0)) 1.0)) (+ (* x (- (* x 3.0) 4.0)) 1.0)) (* (* 3.0 3.0) 3.0))
  (* (cbrt (* (+ (* x (- (* x 3.0) 4.0)) 1.0) 3.0)) (cbrt (* (+ (* x (- (* x 3.0) 4.0)) 1.0) 3.0)))
  (cbrt (* (+ (* x (- (* x 3.0) 4.0)) 1.0) 3.0))
  (* (* (* (+ (* x (- (* x 3.0) 4.0)) 1.0) 3.0) (* (+ (* x (- (* x 3.0) 4.0)) 1.0) 3.0)) (* (+ (* x (- (* x 3.0) 4.0)) 1.0) 3.0))
  (sqrt (* (+ (* x (- (* x 3.0) 4.0)) 1.0) 3.0))
  (sqrt (* (+ (* x (- (* x 3.0) 4.0)) 1.0) 3.0))
  (* (sqrt (+ (* x (- (* x 3.0) 4.0)) 1.0)) (sqrt 3.0))
  (* (sqrt (+ (* x (- (* x 3.0) 4.0)) 1.0)) (sqrt 3.0))
  (* (+ (* x (- (* x 3.0) 4.0)) 1.0) (* (cbrt 3.0) (cbrt 3.0)))
  (* (+ (* x (- (* x 3.0) 4.0)) 1.0) (sqrt 3.0))
  (* (+ (* x (- (* x 3.0) 4.0)) 1.0) 1)
  (* (cbrt (+ (* x (- (* x 3.0) 4.0)) 1.0)) 3.0)
  (* (sqrt (+ (* x (- (* x 3.0) 4.0)) 1.0)) 3.0)
  (* (+ (* x (- (* x 3.0) 4.0)) 1.0) 3.0)
  (* (+ (pow (* x (- (* x 3.0) 4.0)) 3) (pow 1.0 3)) 3.0)
  (* (- (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))) (* 1.0 1.0)) 3.0)
  (/ (exp (* x 3.0)) (exp 4.0))
  (log (- (* x 3.0) 4.0))
  (exp (- (* x 3.0) 4.0))
  (* (cbrt (- (* x 3.0) 4.0)) (cbrt (- (* x 3.0) 4.0)))
  (cbrt (- (* x 3.0) 4.0))
  (* (* (- (* x 3.0) 4.0) (- (* x 3.0) 4.0)) (- (* x 3.0) 4.0))
  (sqrt (- (* x 3.0) 4.0))
  (sqrt (- (* x 3.0) 4.0))
  (- (pow (* x 3.0) 3) (pow 4.0 3))
  (+ (* (* x 3.0) (* x 3.0)) (+ (* 4.0 4.0) (* (* x 3.0) 4.0)))
  (- 4.0)
  (- (* (* x 3.0) (* x 3.0)) (* 4.0 4.0))
  (+ (* x 3.0) 4.0)
  (- 4.0)
  (- (* 3.0 (pow x 2)) (* 4.0 x))
  (- (* 3.0 (pow x 2)) (* 4.0 x))
  (- (* 3.0 (pow x 2)) (* 4.0 x))
  (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
  (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
  (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
  (- (* 3.0 x) 4.0)
  (- (* 3.0 x) 4.0)
  (- (* 3.0 x) 4.0)
15.628 * * [simplify]: iteration 0: 104 enodes
15.928 * * [simplify]: iteration 1: 262 enodes
16.157 * * [simplify]: iteration 2: 891 enodes
19.450 * * [simplify]: iteration 3: 4453 enodes
25.764 * * [simplify]: iteration complete: 5003 enodes
25.764 * * [simplify]: Extracting #0: cost 47 inf + 0
25.766 * * [simplify]: Extracting #1: cost 375 inf + 1
25.792 * * [simplify]: Extracting #2: cost 1135 inf + 10001
25.943 * * [simplify]: Extracting #3: cost 944 inf + 97784
26.056 * * [simplify]: Extracting #4: cost 224 inf + 251497
26.336 * * [simplify]: Extracting #5: cost 6 inf + 313082
26.578 * * [simplify]: Extracting #6: cost 0 inf + 315035
26.985 * [simplify]: Simplified to:
  (* (- (* 3.0 x) 4.0) x)
  (log (* (- (* 3.0 x) 4.0) x))
  (log (* (- (* 3.0 x) 4.0) x))
  (exp (* (- (* 3.0 x) 4.0) x))
  (* (* (- (* 3.0 x) 4.0) x) (* (* (- (* 3.0 x) 4.0) x) (* (- (* 3.0 x) 4.0) x)))
  (* (cbrt (* (- (* 3.0 x) 4.0) x)) (cbrt (* (- (* 3.0 x) 4.0) x)))
  (cbrt (* (- (* 3.0 x) 4.0) x))
  (* (* (- (* 3.0 x) 4.0) x) (* (* (- (* 3.0 x) 4.0) x) (* (- (* 3.0 x) 4.0) x)))
  (sqrt (* (- (* 3.0 x) 4.0) x))
  (sqrt (* (- (* 3.0 x) 4.0) x))
  (* (sqrt (- (* 3.0 x) 4.0)) (sqrt x))
  (* (sqrt (- (* 3.0 x) 4.0)) (sqrt x))
  (* x (* x 3.0))
  (* 4.0 (- x))
  (* x (* x 3.0))
  (* 4.0 (- x))
  (* 3.0 (* x x))
  (* 4.0 (- x))
  (* 3.0 (* x x))
  (* 4.0 (- x))
  (* (* (cbrt (- (* 3.0 x) 4.0)) (cbrt (- (* 3.0 x) 4.0))) x)
  (* (sqrt (- (* 3.0 x) 4.0)) x)
  x
  (* (- (* 3.0 x) 4.0) (cbrt x))
  (* (sqrt x) (- (* 3.0 x) 4.0))
  (* (- (* 3.0 x) 4.0) x)
  (* x (- (* (* (* 3.0 x) (* 3.0 x)) (* 3.0 x)) (* (* 4.0 4.0) 4.0)))
  (* (* (+ (* 3.0 x) 4.0) (- (* 3.0 x) 4.0)) x)
  (* 3.0 (+ 1.0 (* (- (* 3.0 x) 4.0) x)))
  (log (* 3.0 (+ 1.0 (* (- (* 3.0 x) 4.0) x))))
  (log (* 3.0 (+ 1.0 (* (- (* 3.0 x) 4.0) x))))
  (exp (* 3.0 (+ 1.0 (* (- (* 3.0 x) 4.0) x))))
  (* (* (* (+ 1.0 (* (- (* 3.0 x) 4.0) x)) 3.0) (* (+ 1.0 (* (- (* 3.0 x) 4.0) x)) 3.0)) (* 3.0 (+ 1.0 (* (- (* 3.0 x) 4.0) x))))
  (* (cbrt (* 3.0 (+ 1.0 (* (- (* 3.0 x) 4.0) x)))) (cbrt (* 3.0 (+ 1.0 (* (- (* 3.0 x) 4.0) x)))))
  (cbrt (* 3.0 (+ 1.0 (* (- (* 3.0 x) 4.0) x))))
  (* (* (* (+ 1.0 (* (- (* 3.0 x) 4.0) x)) 3.0) (* (+ 1.0 (* (- (* 3.0 x) 4.0) x)) 3.0)) (* 3.0 (+ 1.0 (* (- (* 3.0 x) 4.0) x))))
  (sqrt (* 3.0 (+ 1.0 (* (- (* 3.0 x) 4.0) x))))
  (sqrt (* 3.0 (+ 1.0 (* (- (* 3.0 x) 4.0) x))))
  (* (sqrt (+ 1.0 (* (- (* 3.0 x) 4.0) x))) (sqrt 3.0))
  (* (sqrt (+ 1.0 (* (- (* 3.0 x) 4.0) x))) (sqrt 3.0))
  (* (* (cbrt 3.0) (cbrt 3.0)) (+ 1.0 (* (- (* 3.0 x) 4.0) x)))
  (* (sqrt 3.0) (+ 1.0 (* (- (* 3.0 x) 4.0) x)))
  (+ 1.0 (* (- (* 3.0 x) 4.0) x))
  (* (cbrt (+ 1.0 (* (- (* 3.0 x) 4.0) x))) 3.0)
  (* 3.0 (sqrt (+ 1.0 (* (- (* 3.0 x) 4.0) x))))
  (* 3.0 (+ 1.0 (* (- (* 3.0 x) 4.0) x)))
  (* (+ (* (* (- (* 3.0 x) 4.0) x) (* (* (- (* 3.0 x) 4.0) x) (* (- (* 3.0 x) 4.0) x))) (* (* 1.0 1.0) 1.0)) 3.0)
  (* (+ 1.0 (* (- (* 3.0 x) 4.0) x)) (* (- (* (- (* 3.0 x) 4.0) x) 1.0) 3.0))
  (exp (- (* 3.0 x) 4.0))
  (log (- (* 3.0 x) 4.0))
  (exp (- (* 3.0 x) 4.0))
  (* (cbrt (- (* 3.0 x) 4.0)) (cbrt (- (* 3.0 x) 4.0)))
  (cbrt (- (* 3.0 x) 4.0))
  (* (- (* 3.0 x) 4.0) (* (- (* 3.0 x) 4.0) (- (* 3.0 x) 4.0)))
  (sqrt (- (* 3.0 x) 4.0))
  (sqrt (- (* 3.0 x) 4.0))
  (- (* (* (* 3.0 x) (* 3.0 x)) (* 3.0 x)) (* (* 4.0 4.0) 4.0))
  (+ (* (* 3.0 x) (+ (* 3.0 x) 4.0)) (* 4.0 4.0))
  (- 4.0)
  (* (+ (* 3.0 x) 4.0) (- (* 3.0 x) 4.0))
  (+ (* 3.0 x) 4.0)
  (- 4.0)
  (- (* (* x x) 3.0) (* 4.0 x))
  (- (* (* x x) 3.0) (* 4.0 x))
  (- (* (* x x) 3.0) (* 4.0 x))
  (- 3.0 (- (* x 12.0) (* (* x x) 9.0)))
  (- 3.0 (- (* x 12.0) (* (* x x) 9.0)))
  (- 3.0 (- (* x 12.0) (* (* x x) 9.0)))
  (- (* 3.0 x) 4.0)
  (- (* 3.0 x) 4.0)
  (- (* 3.0 x) 4.0)
27.019 * * * [progress]: adding candidates to table
28.117 * * [progress]: iteration 2 / 4
28.117 * * * [progress]: picking best candidate
28.196 * * * * [pick]: Picked  #<alt (λ (x) (- 3.0 (- (* x 12.0) (* (* x x) 9.0))))>
28.219 * * * [progress]: localizing error
28.510 * * * [progress]: generating rewritten candidates
28.510 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2)
28.550 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
28.572 * * * [progress]: generating series expansions
28.572 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2)
28.576 * [backup-simplify]: Simplify (* (* x x) 9.0) into (* 9.0 (pow x 2))
28.576 * [approximate]: Taking taylor expansion of (* 9.0 (pow x 2)) in (x) around 0
28.576 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
28.576 * [taylor]: Taking taylor expansion of 9.0 in x
28.576 * [backup-simplify]: Simplify 9.0 into 9.0
28.576 * [taylor]: Taking taylor expansion of (pow x 2) in x
28.576 * [taylor]: Taking taylor expansion of x in x
28.576 * [backup-simplify]: Simplify 0 into 0
28.577 * [backup-simplify]: Simplify 1 into 1
28.577 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
28.577 * [taylor]: Taking taylor expansion of 9.0 in x
28.577 * [backup-simplify]: Simplify 9.0 into 9.0
28.577 * [taylor]: Taking taylor expansion of (pow x 2) in x
28.577 * [taylor]: Taking taylor expansion of x in x
28.577 * [backup-simplify]: Simplify 0 into 0
28.577 * [backup-simplify]: Simplify 1 into 1
28.579 * [backup-simplify]: Simplify (* 1 1) into 1
28.579 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
28.579 * [backup-simplify]: Simplify 9.0 into 9.0
28.580 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
28.581 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
28.581 * [backup-simplify]: Simplify 0 into 0
28.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
28.583 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
28.584 * [backup-simplify]: Simplify 0 into 0
28.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.586 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.586 * [backup-simplify]: Simplify 0 into 0
28.587 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.588 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.588 * [backup-simplify]: Simplify 0 into 0
28.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.596 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.596 * [backup-simplify]: Simplify 0 into 0
28.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.601 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.601 * [backup-simplify]: Simplify 0 into 0
28.602 * [backup-simplify]: Simplify (* 9.0 (pow x 2)) into (* 9.0 (pow x 2))
28.602 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 x)) 9.0) into (/ 9.0 (pow x 2))
28.602 * [approximate]: Taking taylor expansion of (/ 9.0 (pow x 2)) in (x) around 0
28.602 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x
28.602 * [taylor]: Taking taylor expansion of 9.0 in x
28.602 * [backup-simplify]: Simplify 9.0 into 9.0
28.602 * [taylor]: Taking taylor expansion of (pow x 2) in x
28.602 * [taylor]: Taking taylor expansion of x in x
28.602 * [backup-simplify]: Simplify 0 into 0
28.602 * [backup-simplify]: Simplify 1 into 1
28.603 * [backup-simplify]: Simplify (* 1 1) into 1
28.604 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
28.604 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x
28.604 * [taylor]: Taking taylor expansion of 9.0 in x
28.604 * [backup-simplify]: Simplify 9.0 into 9.0
28.604 * [taylor]: Taking taylor expansion of (pow x 2) in x
28.604 * [taylor]: Taking taylor expansion of x in x
28.604 * [backup-simplify]: Simplify 0 into 0
28.604 * [backup-simplify]: Simplify 1 into 1
28.605 * [backup-simplify]: Simplify (* 1 1) into 1
28.605 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
28.606 * [backup-simplify]: Simplify 9.0 into 9.0
28.607 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
28.608 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)))) into 0
28.608 * [backup-simplify]: Simplify 0 into 0
28.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
28.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.610 * [backup-simplify]: Simplify 0 into 0
28.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.630 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.630 * [backup-simplify]: Simplify 0 into 0
28.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.632 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.632 * [backup-simplify]: Simplify 0 into 0
28.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.636 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.636 * [backup-simplify]: Simplify 0 into 0
28.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.640 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.640 * [backup-simplify]: Simplify 0 into 0
28.640 * [backup-simplify]: Simplify (* 9.0 (pow (/ 1 (/ 1 x)) 2)) into (* 9.0 (pow x 2))
28.640 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) 9.0) into (/ 9.0 (pow x 2))
28.640 * [approximate]: Taking taylor expansion of (/ 9.0 (pow x 2)) in (x) around 0
28.641 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x
28.641 * [taylor]: Taking taylor expansion of 9.0 in x
28.641 * [backup-simplify]: Simplify 9.0 into 9.0
28.641 * [taylor]: Taking taylor expansion of (pow x 2) in x
28.641 * [taylor]: Taking taylor expansion of x in x
28.641 * [backup-simplify]: Simplify 0 into 0
28.641 * [backup-simplify]: Simplify 1 into 1
28.641 * [backup-simplify]: Simplify (* 1 1) into 1
28.642 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
28.642 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x
28.642 * [taylor]: Taking taylor expansion of 9.0 in x
28.642 * [backup-simplify]: Simplify 9.0 into 9.0
28.642 * [taylor]: Taking taylor expansion of (pow x 2) in x
28.642 * [taylor]: Taking taylor expansion of x in x
28.642 * [backup-simplify]: Simplify 0 into 0
28.642 * [backup-simplify]: Simplify 1 into 1
28.643 * [backup-simplify]: Simplify (* 1 1) into 1
28.666 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
28.666 * [backup-simplify]: Simplify 9.0 into 9.0
28.667 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
28.668 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)))) into 0
28.668 * [backup-simplify]: Simplify 0 into 0
28.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
28.670 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.670 * [backup-simplify]: Simplify 0 into 0
28.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.672 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.672 * [backup-simplify]: Simplify 0 into 0
28.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.674 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.674 * [backup-simplify]: Simplify 0 into 0
28.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.677 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.677 * [backup-simplify]: Simplify 0 into 0
28.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.679 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.680 * [backup-simplify]: Simplify 0 into 0
28.680 * [backup-simplify]: Simplify (* 9.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 9.0 (pow x 2))
28.680 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
28.680 * [backup-simplify]: Simplify (- (* x 12.0) (* (* x x) 9.0)) into (- (* 12.0 x) (* 9.0 (pow x 2)))
28.680 * [approximate]: Taking taylor expansion of (- (* 12.0 x) (* 9.0 (pow x 2))) in (x) around 0
28.680 * [taylor]: Taking taylor expansion of (- (* 12.0 x) (* 9.0 (pow x 2))) in x
28.680 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
28.680 * [taylor]: Taking taylor expansion of 12.0 in x
28.680 * [backup-simplify]: Simplify 12.0 into 12.0
28.680 * [taylor]: Taking taylor expansion of x in x
28.680 * [backup-simplify]: Simplify 0 into 0
28.680 * [backup-simplify]: Simplify 1 into 1
28.680 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
28.680 * [taylor]: Taking taylor expansion of 9.0 in x
28.680 * [backup-simplify]: Simplify 9.0 into 9.0
28.680 * [taylor]: Taking taylor expansion of (pow x 2) in x
28.680 * [taylor]: Taking taylor expansion of x in x
28.681 * [backup-simplify]: Simplify 0 into 0
28.681 * [backup-simplify]: Simplify 1 into 1
28.681 * [taylor]: Taking taylor expansion of (- (* 12.0 x) (* 9.0 (pow x 2))) in x
28.681 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
28.681 * [taylor]: Taking taylor expansion of 12.0 in x
28.681 * [backup-simplify]: Simplify 12.0 into 12.0
28.681 * [taylor]: Taking taylor expansion of x in x
28.681 * [backup-simplify]: Simplify 0 into 0
28.681 * [backup-simplify]: Simplify 1 into 1
28.681 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
28.681 * [taylor]: Taking taylor expansion of 9.0 in x
28.681 * [backup-simplify]: Simplify 9.0 into 9.0
28.681 * [taylor]: Taking taylor expansion of (pow x 2) in x
28.681 * [taylor]: Taking taylor expansion of x in x
28.681 * [backup-simplify]: Simplify 0 into 0
28.681 * [backup-simplify]: Simplify 1 into 1
28.681 * [backup-simplify]: Simplify (* 12.0 0) into 0
28.682 * [backup-simplify]: Simplify (+ 0 0) into 0
28.682 * [backup-simplify]: Simplify 0 into 0
28.683 * [backup-simplify]: Simplify (+ (* 12.0 1) (* 0 0)) into 12.0
28.684 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
28.684 * [backup-simplify]: Simplify 12.0 into 12.0
28.685 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 1) (* 0 0))) into 0
28.685 * [backup-simplify]: Simplify (* 1 1) into 1
28.686 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
28.686 * [backup-simplify]: Simplify (- 9.0) into (- 9.0)
28.687 * [backup-simplify]: Simplify (+ 0 (- 9.0)) into (- 9.0)
28.687 * [backup-simplify]: Simplify (- 9.0) into (- 9.0)
28.689 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
28.689 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
28.690 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
28.699 * [backup-simplify]: Simplify (- 0) into 0
28.700 * [backup-simplify]: Simplify (+ 0 0) into 0
28.700 * [backup-simplify]: Simplify 0 into 0
28.705 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
28.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
28.707 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
28.708 * [backup-simplify]: Simplify (- 0) into 0
28.708 * [backup-simplify]: Simplify (+ 0 0) into 0
28.708 * [backup-simplify]: Simplify 0 into 0
28.709 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
28.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.712 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.712 * [backup-simplify]: Simplify (- 0) into 0
28.713 * [backup-simplify]: Simplify (+ 0 0) into 0
28.713 * [backup-simplify]: Simplify 0 into 0
28.714 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
28.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.717 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.718 * [backup-simplify]: Simplify (- 0) into 0
28.718 * [backup-simplify]: Simplify (+ 0 0) into 0
28.718 * [backup-simplify]: Simplify 0 into 0
28.909 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
28.949 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.956 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.967 * [backup-simplify]: Simplify (- 0) into 0
28.967 * [backup-simplify]: Simplify (+ 0 0) into 0
28.967 * [backup-simplify]: Simplify 0 into 0
28.981 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
28.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.997 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.997 * [backup-simplify]: Simplify (- 0) into 0
28.998 * [backup-simplify]: Simplify (+ 0 0) into 0
28.998 * [backup-simplify]: Simplify 0 into 0
28.998 * [backup-simplify]: Simplify (+ (* (- 9.0) (pow x 2)) (* 12.0 x)) into (- (* 12.0 x) (* 9.0 (pow x 2)))
28.999 * [backup-simplify]: Simplify (- (* (/ 1 x) 12.0) (* (* (/ 1 x) (/ 1 x)) 9.0)) into (- (* 12.0 (/ 1 x)) (* 9.0 (/ 1 (pow x 2))))
28.999 * [approximate]: Taking taylor expansion of (- (* 12.0 (/ 1 x)) (* 9.0 (/ 1 (pow x 2)))) in (x) around 0
29.011 * [taylor]: Taking taylor expansion of (- (* 12.0 (/ 1 x)) (* 9.0 (/ 1 (pow x 2)))) in x
29.011 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
29.011 * [taylor]: Taking taylor expansion of 12.0 in x
29.011 * [backup-simplify]: Simplify 12.0 into 12.0
29.011 * [taylor]: Taking taylor expansion of (/ 1 x) in x
29.011 * [taylor]: Taking taylor expansion of x in x
29.011 * [backup-simplify]: Simplify 0 into 0
29.011 * [backup-simplify]: Simplify 1 into 1
29.012 * [backup-simplify]: Simplify (/ 1 1) into 1
29.012 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
29.012 * [taylor]: Taking taylor expansion of 9.0 in x
29.012 * [backup-simplify]: Simplify 9.0 into 9.0
29.012 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
29.012 * [taylor]: Taking taylor expansion of (pow x 2) in x
29.012 * [taylor]: Taking taylor expansion of x in x
29.012 * [backup-simplify]: Simplify 0 into 0
29.012 * [backup-simplify]: Simplify 1 into 1
29.013 * [backup-simplify]: Simplify (* 1 1) into 1
29.013 * [backup-simplify]: Simplify (/ 1 1) into 1
29.013 * [taylor]: Taking taylor expansion of (- (* 12.0 (/ 1 x)) (* 9.0 (/ 1 (pow x 2)))) in x
29.013 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
29.013 * [taylor]: Taking taylor expansion of 12.0 in x
29.013 * [backup-simplify]: Simplify 12.0 into 12.0
29.013 * [taylor]: Taking taylor expansion of (/ 1 x) in x
29.013 * [taylor]: Taking taylor expansion of x in x
29.013 * [backup-simplify]: Simplify 0 into 0
29.013 * [backup-simplify]: Simplify 1 into 1
29.014 * [backup-simplify]: Simplify (/ 1 1) into 1
29.014 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
29.014 * [taylor]: Taking taylor expansion of 9.0 in x
29.014 * [backup-simplify]: Simplify 9.0 into 9.0
29.014 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
29.014 * [taylor]: Taking taylor expansion of (pow x 2) in x
29.014 * [taylor]: Taking taylor expansion of x in x
29.014 * [backup-simplify]: Simplify 0 into 0
29.014 * [backup-simplify]: Simplify 1 into 1
29.014 * [backup-simplify]: Simplify (* 1 1) into 1
29.014 * [backup-simplify]: Simplify (/ 1 1) into 1
29.028 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
29.028 * [backup-simplify]: Simplify (- 9.0) into (- 9.0)
29.029 * [backup-simplify]: Simplify (+ 0 (- 9.0)) into (- 9.0)
29.029 * [backup-simplify]: Simplify (- 9.0) into (- 9.0)
29.030 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
29.035 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.036 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
29.036 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
29.037 * [backup-simplify]: Simplify (- 0) into 0
29.037 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
29.037 * [backup-simplify]: Simplify 12.0 into 12.0
29.038 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
29.043 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
29.044 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.046 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
29.047 * [backup-simplify]: Simplify (- 0) into 0
29.047 * [backup-simplify]: Simplify (+ 0 0) into 0
29.047 * [backup-simplify]: Simplify 0 into 0
29.048 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.049 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (* 0 1))) into 0
29.051 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.052 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.053 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.053 * [backup-simplify]: Simplify (- 0) into 0
29.054 * [backup-simplify]: Simplify (+ 0 0) into 0
29.054 * [backup-simplify]: Simplify 0 into 0
29.055 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.056 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.057 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.058 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.059 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.059 * [backup-simplify]: Simplify (- 0) into 0
29.060 * [backup-simplify]: Simplify (+ 0 0) into 0
29.060 * [backup-simplify]: Simplify 0 into 0
29.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.062 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.063 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.064 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.066 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.066 * [backup-simplify]: Simplify (- 0) into 0
29.067 * [backup-simplify]: Simplify (+ 0 0) into 0
29.067 * [backup-simplify]: Simplify 0 into 0
29.068 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.070 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.071 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.073 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.075 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.076 * [backup-simplify]: Simplify (- 0) into 0
29.076 * [backup-simplify]: Simplify (+ 0 0) into 0
29.076 * [backup-simplify]: Simplify 0 into 0
29.077 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.079 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.082 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
29.083 * [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
29.085 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
29.085 * [backup-simplify]: Simplify (- 0) into 0
29.086 * [backup-simplify]: Simplify (+ 0 0) into 0
29.086 * [backup-simplify]: Simplify 0 into 0
29.087 * [backup-simplify]: Simplify (+ (* 12.0 (/ 1 (/ 1 x))) (* (- 9.0) (pow (/ 1 (/ 1 x)) 2))) into (- (* 12.0 x) (* 9.0 (pow x 2)))
29.087 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) 12.0) (* (* (/ 1 (- x)) (/ 1 (- x))) 9.0)) into (- (+ (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x))))
29.087 * [approximate]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x)))) in (x) around 0
29.087 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x)))) in x
29.092 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x))) in x
29.093 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
29.093 * [taylor]: Taking taylor expansion of 9.0 in x
29.093 * [backup-simplify]: Simplify 9.0 into 9.0
29.093 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
29.093 * [taylor]: Taking taylor expansion of (pow x 2) in x
29.093 * [taylor]: Taking taylor expansion of x in x
29.093 * [backup-simplify]: Simplify 0 into 0
29.093 * [backup-simplify]: Simplify 1 into 1
29.094 * [backup-simplify]: Simplify (* 1 1) into 1
29.094 * [backup-simplify]: Simplify (/ 1 1) into 1
29.094 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
29.094 * [taylor]: Taking taylor expansion of 12.0 in x
29.094 * [backup-simplify]: Simplify 12.0 into 12.0
29.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x
29.094 * [taylor]: Taking taylor expansion of x in x
29.094 * [backup-simplify]: Simplify 0 into 0
29.094 * [backup-simplify]: Simplify 1 into 1
29.095 * [backup-simplify]: Simplify (/ 1 1) into 1
29.095 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x)))) in x
29.095 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x))) in x
29.095 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
29.095 * [taylor]: Taking taylor expansion of 9.0 in x
29.095 * [backup-simplify]: Simplify 9.0 into 9.0
29.095 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
29.095 * [taylor]: Taking taylor expansion of (pow x 2) in x
29.095 * [taylor]: Taking taylor expansion of x in x
29.095 * [backup-simplify]: Simplify 0 into 0
29.095 * [backup-simplify]: Simplify 1 into 1
29.095 * [backup-simplify]: Simplify (* 1 1) into 1
29.096 * [backup-simplify]: Simplify (/ 1 1) into 1
29.096 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
29.096 * [taylor]: Taking taylor expansion of 12.0 in x
29.096 * [backup-simplify]: Simplify 12.0 into 12.0
29.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x
29.096 * [taylor]: Taking taylor expansion of x in x
29.096 * [backup-simplify]: Simplify 0 into 0
29.096 * [backup-simplify]: Simplify 1 into 1
29.096 * [backup-simplify]: Simplify (/ 1 1) into 1
29.097 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
29.097 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
29.098 * [backup-simplify]: Simplify (- 9.0) into (- 9.0)
29.098 * [backup-simplify]: Simplify (- 9.0) into (- 9.0)
29.099 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.099 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
29.100 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
29.101 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
29.102 * [backup-simplify]: Simplify (+ 0 12.0) into 12.0
29.102 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
29.103 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
29.104 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.105 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.107 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
29.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
29.108 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
29.109 * [backup-simplify]: Simplify (+ 0 0) into 0
29.109 * [backup-simplify]: Simplify (- 0) into 0
29.109 * [backup-simplify]: Simplify 0 into 0
29.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.128 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.130 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.131 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.136 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (* 0 1))) into 0
29.136 * [backup-simplify]: Simplify (+ 0 0) into 0
29.137 * [backup-simplify]: Simplify (- 0) into 0
29.137 * [backup-simplify]: Simplify 0 into 0
29.138 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.139 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.141 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.142 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.151 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.152 * [backup-simplify]: Simplify (+ 0 0) into 0
29.153 * [backup-simplify]: Simplify (- 0) into 0
29.153 * [backup-simplify]: Simplify 0 into 0
29.155 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.156 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.158 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.167 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.169 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.170 * [backup-simplify]: Simplify (+ 0 0) into 0
29.170 * [backup-simplify]: Simplify (- 0) into 0
29.170 * [backup-simplify]: Simplify 0 into 0
29.172 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.173 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.175 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.186 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.186 * [backup-simplify]: Simplify (+ 0 0) into 0
29.187 * [backup-simplify]: Simplify (- 0) into 0
29.187 * [backup-simplify]: Simplify 0 into 0
29.189 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
29.190 * [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
29.204 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
29.205 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.207 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.207 * [backup-simplify]: Simplify (+ 0 0) into 0
29.208 * [backup-simplify]: Simplify (- 0) into 0
29.208 * [backup-simplify]: Simplify 0 into 0
29.209 * [backup-simplify]: Simplify (+ (* (- 12.0) (/ 1 (/ 1 (- x)))) (* (- 9.0) (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 12.0 x) (* 9.0 (pow x 2)))
29.209 * * * [progress]: simplifying candidates
29.210 * [simplify]: Simplifying:
  (* (* x x) 9.0)
  (* (* x x) 9.0)
  (+ (+ (log x) (log x)) (log 9.0))
  (+ (log (* x x)) (log 9.0))
  (log (* (* x x) 9.0))
  (exp (* (* x x) 9.0))
  (* (* (* (* x x) x) (* (* x x) x)) (* (* 9.0 9.0) 9.0))
  (* (* (* (* x x) (* x x)) (* x x)) (* (* 9.0 9.0) 9.0))
  (* (cbrt (* (* x x) 9.0)) (cbrt (* (* x x) 9.0)))
  (cbrt (* (* x x) 9.0))
  (* (* (* (* x x) 9.0) (* (* x x) 9.0)) (* (* x x) 9.0))
  (sqrt (* (* x x) 9.0))
  (sqrt (* (* x x) 9.0))
  (* x (sqrt 9.0))
  (* x (sqrt 9.0))
  (* (* x x) (* (cbrt 9.0) (cbrt 9.0)))
  (* (* x x) (sqrt 9.0))
  (* (* x x) 1)
  (* x 9.0)
  (/ (exp (* x 12.0)) (exp (* (* x x) 9.0)))
  (log (- (* x 12.0) (* (* x x) 9.0)))
  (exp (- (* x 12.0) (* (* x x) 9.0)))
  (* (cbrt (- (* x 12.0) (* (* x x) 9.0))) (cbrt (- (* x 12.0) (* (* x x) 9.0))))
  (cbrt (- (* x 12.0) (* (* x x) 9.0)))
  (* (* (- (* x 12.0) (* (* x x) 9.0)) (- (* x 12.0) (* (* x x) 9.0))) (- (* x 12.0) (* (* x x) 9.0)))
  (sqrt (- (* x 12.0) (* (* x x) 9.0)))
  (sqrt (- (* x 12.0) (* (* x x) 9.0)))
  (- (pow (* x 12.0) 3) (pow (* (* x x) 9.0) 3))
  (+ (* (* x 12.0) (* x 12.0)) (+ (* (* (* x x) 9.0) (* (* x x) 9.0)) (* (* x 12.0) (* (* x x) 9.0))))
  (- (* (* x x) 9.0))
  (- (* (* x 12.0) (* x 12.0)) (* (* (* x x) 9.0) (* (* x x) 9.0)))
  (+ (* x 12.0) (* (* x x) 9.0))
  (- (* (* x x) 9.0))
  (* 9.0 (pow x 2))
  (* 9.0 (pow x 2))
  (* 9.0 (pow x 2))
  (- (* 12.0 x) (* 9.0 (pow x 2)))
  (- (* 12.0 x) (* 9.0 (pow x 2)))
  (- (* 12.0 x) (* 9.0 (pow x 2)))
29.220 * * [simplify]: iteration 0: 62 enodes
29.440 * * [simplify]: iteration 1: 169 enodes
29.637 * * [simplify]: iteration 2: 557 enodes
32.554 * * [simplify]: iteration 3: 2489 enodes
39.071 * * [simplify]: iteration complete: 5006 enodes
39.071 * * [simplify]: Extracting #0: cost 24 inf + 0
39.073 * * [simplify]: Extracting #1: cost 351 inf + 0
39.080 * * [simplify]: Extracting #2: cost 1168 inf + 4835
39.108 * * [simplify]: Extracting #3: cost 1108 inf + 74184
39.188 * * [simplify]: Extracting #4: cost 368 inf + 201431
39.478 * * [simplify]: Extracting #5: cost 30 inf + 281724
39.672 * * [simplify]: Extracting #6: cost 5 inf + 287556
39.935 * * [simplify]: Extracting #7: cost 0 inf + 289026
40.063 * [simplify]: Simplified to:
  (* x (* 9.0 x))
  (* x (* 9.0 x))
  (log (* x (* 9.0 x)))
  (log (* x (* 9.0 x)))
  (log (* x (* 9.0 x)))
  (exp (* x (* 9.0 x)))
  (* (* (* (* x 9.0) (* x x)) (* (* x 9.0) (* x x))) 9.0)
  (* (* (* (* x 9.0) (* x x)) (* (* x 9.0) (* x x))) 9.0)
  (* (cbrt (* x (* 9.0 x))) (cbrt (* x (* 9.0 x))))
  (cbrt (* x (* 9.0 x)))
  (* (* (* (* x 9.0) (* x x)) (* (* x 9.0) (* x x))) 9.0)
  (sqrt (* x (* 9.0 x)))
  (sqrt (* x (* 9.0 x)))
  (* (sqrt 9.0) x)
  (* (sqrt 9.0) x)
  (* (* x (cbrt 9.0)) (* x (cbrt 9.0)))
  (* x (* (sqrt 9.0) x))
  (* x x)
  (* x 9.0)
  (exp (* x (- 12.0 (* x 9.0))))
  (log (* x (- 12.0 (* x 9.0))))
  (exp (* x (- 12.0 (* x 9.0))))
  (* (cbrt (* x (- 12.0 (* x 9.0)))) (cbrt (* x (- 12.0 (* x 9.0)))))
  (cbrt (* x (- 12.0 (* x 9.0))))
  (* (* (* x (- 12.0 (* x 9.0))) (* x (- 12.0 (* x 9.0)))) (* x (- 12.0 (* x 9.0))))
  (sqrt (* x (- 12.0 (* x 9.0))))
  (sqrt (* x (- 12.0 (* x 9.0))))
  (- (* (* 12.0 x) (* (* 12.0 x) (* 12.0 x))) (* (* (* (* x 9.0) (* x x)) (* (* x 9.0) (* x x))) 9.0))
  (+ (* (* 12.0 x) (* 12.0 x)) (* (+ (* x (* 9.0 x)) (* x 12.0)) (* x (* 9.0 x))))
  (* (* x x) (- 9.0))
  (* (* x x) (* (+ 12.0 (* x 9.0)) (- 12.0 (* x 9.0))))
  (* x (+ 12.0 (* x 9.0)))
  (* (* x x) (- 9.0))
  (* x (* 9.0 x))
  (* x (* 9.0 x))
  (* x (* 9.0 x))
  (* x (- 12.0 (* x 9.0)))
  (* x (- 12.0 (* x 9.0)))
  (* x (- 12.0 (* x 9.0)))
40.067 * * * [progress]: adding candidates to table
40.329 * * [progress]: iteration 3 / 4
40.329 * * * [progress]: picking best candidate
40.361 * * * * [pick]: Picked  #<alt (λ (x) (- 3.0 (* x (- 12.0 (* x 9.0)))))>
40.361 * * * [progress]: localizing error
40.380 * * * [progress]: generating rewritten candidates
40.380 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
40.414 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
40.427 * * * [progress]: generating series expansions
40.427 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
40.431 * [backup-simplify]: Simplify (* x (- 12.0 (* x 9.0))) into (* x (- 12.0 (* 9.0 x)))
40.431 * [approximate]: Taking taylor expansion of (* x (- 12.0 (* 9.0 x))) in (x) around 0
40.431 * [taylor]: Taking taylor expansion of (* x (- 12.0 (* 9.0 x))) in x
40.431 * [taylor]: Taking taylor expansion of x in x
40.431 * [backup-simplify]: Simplify 0 into 0
40.431 * [backup-simplify]: Simplify 1 into 1
40.431 * [taylor]: Taking taylor expansion of (- 12.0 (* 9.0 x)) in x
40.431 * [taylor]: Taking taylor expansion of 12.0 in x
40.431 * [backup-simplify]: Simplify 12.0 into 12.0
40.431 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
40.431 * [taylor]: Taking taylor expansion of 9.0 in x
40.431 * [backup-simplify]: Simplify 9.0 into 9.0
40.431 * [taylor]: Taking taylor expansion of x in x
40.431 * [backup-simplify]: Simplify 0 into 0
40.431 * [backup-simplify]: Simplify 1 into 1
40.431 * [taylor]: Taking taylor expansion of (* x (- 12.0 (* 9.0 x))) in x
40.432 * [taylor]: Taking taylor expansion of x in x
40.432 * [backup-simplify]: Simplify 0 into 0
40.432 * [backup-simplify]: Simplify 1 into 1
40.432 * [taylor]: Taking taylor expansion of (- 12.0 (* 9.0 x)) in x
40.432 * [taylor]: Taking taylor expansion of 12.0 in x
40.432 * [backup-simplify]: Simplify 12.0 into 12.0
40.432 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
40.432 * [taylor]: Taking taylor expansion of 9.0 in x
40.432 * [backup-simplify]: Simplify 9.0 into 9.0
40.432 * [taylor]: Taking taylor expansion of x in x
40.432 * [backup-simplify]: Simplify 0 into 0
40.432 * [backup-simplify]: Simplify 1 into 1
40.435 * [backup-simplify]: Simplify (* 9.0 0) into 0
40.436 * [backup-simplify]: Simplify (- 0) into 0
40.436 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
40.437 * [backup-simplify]: Simplify (* 0 12.0) into 0
40.437 * [backup-simplify]: Simplify 0 into 0
40.438 * [backup-simplify]: Simplify (+ (* 9.0 1) (* 0 0)) into 9.0
40.439 * [backup-simplify]: Simplify (- 9.0) into (- 9.0)
40.439 * [backup-simplify]: Simplify (+ 0 (- 9.0)) into (- 9.0)
40.441 * [backup-simplify]: Simplify (+ (* 0 (- 9.0)) (* 1 12.0)) into 12.0
40.441 * [backup-simplify]: Simplify 12.0 into 12.0
40.442 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 1) (* 0 0))) into 0
40.443 * [backup-simplify]: Simplify (- 0) into 0
40.443 * [backup-simplify]: Simplify (+ 0 0) into 0
40.447 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (- 9.0)) (* 0 12.0))) into (- 9.0)
40.447 * [backup-simplify]: Simplify (- 9.0) into (- 9.0)
40.448 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
40.448 * [backup-simplify]: Simplify (- 0) into 0
40.449 * [backup-simplify]: Simplify (+ 0 0) into 0
40.450 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (- 9.0)) (* 0 12.0)))) into 0
40.450 * [backup-simplify]: Simplify 0 into 0
40.452 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
40.452 * [backup-simplify]: Simplify (- 0) into 0
40.453 * [backup-simplify]: Simplify (+ 0 0) into 0
40.454 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 9.0)) (* 0 12.0))))) into 0
40.454 * [backup-simplify]: Simplify 0 into 0
40.456 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
40.456 * [backup-simplify]: Simplify (- 0) into 0
40.457 * [backup-simplify]: Simplify (+ 0 0) into 0
40.458 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 9.0)) (* 0 12.0)))))) into 0
40.459 * [backup-simplify]: Simplify 0 into 0
40.460 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
40.461 * [backup-simplify]: Simplify (- 0) into 0
40.461 * [backup-simplify]: Simplify (+ 0 0) into 0
40.522 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 9.0)) (* 0 12.0))))))) into 0
40.522 * [backup-simplify]: Simplify 0 into 0
40.523 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
40.524 * [backup-simplify]: Simplify (- 0) into 0
40.524 * [backup-simplify]: Simplify (+ 0 0) into 0
40.526 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 9.0)) (* 0 12.0)))))))) into 0
40.527 * [backup-simplify]: Simplify 0 into 0
40.528 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
40.529 * [backup-simplify]: Simplify (- 0) into 0
40.529 * [backup-simplify]: Simplify (+ 0 0) into 0
40.531 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 9.0)) (* 0 12.0))))))))) into 0
40.532 * [backup-simplify]: Simplify 0 into 0
40.532 * [backup-simplify]: Simplify (+ (* (- 9.0) (pow x 2)) (* 12.0 x)) into (- (* 12.0 x) (* 9.0 (pow x 2)))
40.532 * [backup-simplify]: Simplify (* (/ 1 x) (- 12.0 (* (/ 1 x) 9.0))) into (/ (- 12.0 (* 9.0 (/ 1 x))) x)
40.532 * [approximate]: Taking taylor expansion of (/ (- 12.0 (* 9.0 (/ 1 x))) x) in (x) around 0
40.532 * [taylor]: Taking taylor expansion of (/ (- 12.0 (* 9.0 (/ 1 x))) x) in x
40.532 * [taylor]: Taking taylor expansion of (- 12.0 (* 9.0 (/ 1 x))) in x
40.532 * [taylor]: Taking taylor expansion of 12.0 in x
40.532 * [backup-simplify]: Simplify 12.0 into 12.0
40.533 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
40.533 * [taylor]: Taking taylor expansion of 9.0 in x
40.533 * [backup-simplify]: Simplify 9.0 into 9.0
40.533 * [taylor]: Taking taylor expansion of (/ 1 x) in x
40.533 * [taylor]: Taking taylor expansion of x in x
40.533 * [backup-simplify]: Simplify 0 into 0
40.533 * [backup-simplify]: Simplify 1 into 1
40.533 * [backup-simplify]: Simplify (/ 1 1) into 1
40.533 * [taylor]: Taking taylor expansion of x in x
40.533 * [backup-simplify]: Simplify 0 into 0
40.533 * [backup-simplify]: Simplify 1 into 1
40.533 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
40.534 * [backup-simplify]: Simplify (- 9.0) into (- 9.0)
40.535 * [backup-simplify]: Simplify (+ 0 (- 9.0)) into (- 9.0)
40.536 * [backup-simplify]: Simplify (/ (- 9.0) 1) into -9.0
40.536 * [taylor]: Taking taylor expansion of (/ (- 12.0 (* 9.0 (/ 1 x))) x) in x
40.536 * [taylor]: Taking taylor expansion of (- 12.0 (* 9.0 (/ 1 x))) in x
40.536 * [taylor]: Taking taylor expansion of 12.0 in x
40.536 * [backup-simplify]: Simplify 12.0 into 12.0
40.536 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
40.536 * [taylor]: Taking taylor expansion of 9.0 in x
40.536 * [backup-simplify]: Simplify 9.0 into 9.0
40.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x
40.536 * [taylor]: Taking taylor expansion of x in x
40.536 * [backup-simplify]: Simplify 0 into 0
40.536 * [backup-simplify]: Simplify 1 into 1
40.536 * [backup-simplify]: Simplify (/ 1 1) into 1
40.536 * [taylor]: Taking taylor expansion of x in x
40.536 * [backup-simplify]: Simplify 0 into 0
40.537 * [backup-simplify]: Simplify 1 into 1
40.537 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
40.537 * [backup-simplify]: Simplify (- 9.0) into (- 9.0)
40.543 * [backup-simplify]: Simplify (+ 0 (- 9.0)) into (- 9.0)
40.544 * [backup-simplify]: Simplify (/ (- 9.0) 1) into -9.0
40.544 * [backup-simplify]: Simplify -9.0 into -9.0
40.547 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
40.547 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
40.548 * [backup-simplify]: Simplify (- 0) into 0
40.548 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
40.549 * [backup-simplify]: Simplify (- (/ 12.0 1) (+ (* -9.0 (/ 0 1)))) into 12.0
40.549 * [backup-simplify]: Simplify 12.0 into 12.0
40.550 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.550 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
40.551 * [backup-simplify]: Simplify (- 0) into 0
40.551 * [backup-simplify]: Simplify (+ 0 0) into 0
40.551 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -9.0 (/ 0 1)) (* 12.0 (/ 0 1)))) into 0
40.552 * [backup-simplify]: Simplify 0 into 0
40.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.553 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
40.553 * [backup-simplify]: Simplify (- 0) into 0
40.553 * [backup-simplify]: Simplify (+ 0 0) into 0
40.554 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.554 * [backup-simplify]: Simplify 0 into 0
40.555 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.556 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
40.556 * [backup-simplify]: Simplify (- 0) into 0
40.557 * [backup-simplify]: Simplify (+ 0 0) into 0
40.558 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.558 * [backup-simplify]: Simplify 0 into 0
40.559 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.560 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
40.561 * [backup-simplify]: Simplify (- 0) into 0
40.561 * [backup-simplify]: Simplify (+ 0 0) into 0
40.562 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.562 * [backup-simplify]: Simplify 0 into 0
40.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.565 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
40.565 * [backup-simplify]: Simplify (- 0) into 0
40.566 * [backup-simplify]: Simplify (+ 0 0) into 0
40.567 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.567 * [backup-simplify]: Simplify 0 into 0
40.568 * [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
40.570 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
40.570 * [backup-simplify]: Simplify (- 0) into 0
40.571 * [backup-simplify]: Simplify (+ 0 0) into 0
40.572 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.572 * [backup-simplify]: Simplify 0 into 0
40.573 * [backup-simplify]: Simplify (+ (* 12.0 (/ 1 (/ 1 x))) (* -9.0 (pow (/ 1 (/ 1 x)) 2))) into (- (* 12.0 x) (* 9.0 (pow x 2)))
40.573 * [backup-simplify]: Simplify (* (/ 1 (- x)) (- 12.0 (* (/ 1 (- x)) 9.0))) into (* -1 (/ (+ (* 9.0 (/ 1 x)) 12.0) x))
40.573 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 9.0 (/ 1 x)) 12.0) x)) in (x) around 0
40.573 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 9.0 (/ 1 x)) 12.0) x)) in x
40.573 * [taylor]: Taking taylor expansion of -1 in x
40.573 * [backup-simplify]: Simplify -1 into -1
40.573 * [taylor]: Taking taylor expansion of (/ (+ (* 9.0 (/ 1 x)) 12.0) x) in x
40.573 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 12.0) in x
40.573 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
40.573 * [taylor]: Taking taylor expansion of 9.0 in x
40.573 * [backup-simplify]: Simplify 9.0 into 9.0
40.573 * [taylor]: Taking taylor expansion of (/ 1 x) in x
40.573 * [taylor]: Taking taylor expansion of x in x
40.573 * [backup-simplify]: Simplify 0 into 0
40.573 * [backup-simplify]: Simplify 1 into 1
40.574 * [backup-simplify]: Simplify (/ 1 1) into 1
40.574 * [taylor]: Taking taylor expansion of 12.0 in x
40.574 * [backup-simplify]: Simplify 12.0 into 12.0
40.574 * [taylor]: Taking taylor expansion of x in x
40.574 * [backup-simplify]: Simplify 0 into 0
40.574 * [backup-simplify]: Simplify 1 into 1
40.574 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
40.575 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
40.575 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
40.575 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 9.0 (/ 1 x)) 12.0) x)) in x
40.575 * [taylor]: Taking taylor expansion of -1 in x
40.575 * [backup-simplify]: Simplify -1 into -1
40.575 * [taylor]: Taking taylor expansion of (/ (+ (* 9.0 (/ 1 x)) 12.0) x) in x
40.575 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 12.0) in x
40.575 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
40.575 * [taylor]: Taking taylor expansion of 9.0 in x
40.575 * [backup-simplify]: Simplify 9.0 into 9.0
40.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x
40.575 * [taylor]: Taking taylor expansion of x in x
40.575 * [backup-simplify]: Simplify 0 into 0
40.575 * [backup-simplify]: Simplify 1 into 1
40.576 * [backup-simplify]: Simplify (/ 1 1) into 1
40.576 * [taylor]: Taking taylor expansion of 12.0 in x
40.576 * [backup-simplify]: Simplify 12.0 into 12.0
40.576 * [taylor]: Taking taylor expansion of x in x
40.576 * [backup-simplify]: Simplify 0 into 0
40.576 * [backup-simplify]: Simplify 1 into 1
40.576 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
40.577 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
40.577 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
40.578 * [backup-simplify]: Simplify (* -1 9.0) into -9.0
40.578 * [backup-simplify]: Simplify -9.0 into -9.0
40.579 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
40.580 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
40.580 * [backup-simplify]: Simplify (+ 0 12.0) into 12.0
40.582 * [backup-simplify]: Simplify (- (/ 12.0 1) (+ (* 9.0 (/ 0 1)))) into 12.0
40.584 * [backup-simplify]: Simplify (+ (* -1 12.0) (* 0 9.0)) into (- 12.0)
40.584 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
40.585 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.586 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
40.586 * [backup-simplify]: Simplify (+ 0 0) into 0
40.588 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)))) into 0
40.589 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 12.0) (* 0 9.0))) into 0
40.589 * [backup-simplify]: Simplify 0 into 0
40.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.591 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
40.591 * [backup-simplify]: Simplify (+ 0 0) into 0
40.592 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.594 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 12.0) (* 0 9.0)))) into 0
40.594 * [backup-simplify]: Simplify 0 into 0
40.595 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.597 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
40.597 * [backup-simplify]: Simplify (+ 0 0) into 0
40.598 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.600 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 12.0) (* 0 9.0))))) into 0
40.600 * [backup-simplify]: Simplify 0 into 0
40.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.603 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
40.603 * [backup-simplify]: Simplify (+ 0 0) into 0
40.604 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.606 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 12.0) (* 0 9.0)))))) into 0
40.606 * [backup-simplify]: Simplify 0 into 0
40.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.609 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
40.609 * [backup-simplify]: Simplify (+ 0 0) into 0
40.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.612 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 12.0) (* 0 9.0))))))) into 0
40.613 * [backup-simplify]: Simplify 0 into 0
40.614 * [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
40.615 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
40.616 * [backup-simplify]: Simplify (+ 0 0) into 0
40.617 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.619 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 12.0) (* 0 9.0)))))))) into 0
40.619 * [backup-simplify]: Simplify 0 into 0
40.620 * [backup-simplify]: Simplify (+ (* (- 12.0) (/ 1 (/ 1 (- x)))) (* -9.0 (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 12.0 x) (* 9.0 (pow x 2)))
40.621 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
40.621 * [backup-simplify]: Simplify (- 12.0 (* x 9.0)) into (- 12.0 (* 9.0 x))
40.621 * [approximate]: Taking taylor expansion of (- 12.0 (* 9.0 x)) in (x) around 0
40.621 * [taylor]: Taking taylor expansion of (- 12.0 (* 9.0 x)) in x
40.621 * [taylor]: Taking taylor expansion of 12.0 in x
40.621 * [backup-simplify]: Simplify 12.0 into 12.0
40.621 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
40.621 * [taylor]: Taking taylor expansion of 9.0 in x
40.621 * [backup-simplify]: Simplify 9.0 into 9.0
40.621 * [taylor]: Taking taylor expansion of x in x
40.621 * [backup-simplify]: Simplify 0 into 0
40.621 * [backup-simplify]: Simplify 1 into 1
40.621 * [taylor]: Taking taylor expansion of (- 12.0 (* 9.0 x)) in x
40.621 * [taylor]: Taking taylor expansion of 12.0 in x
40.621 * [backup-simplify]: Simplify 12.0 into 12.0
40.621 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
40.621 * [taylor]: Taking taylor expansion of 9.0 in x
40.621 * [backup-simplify]: Simplify 9.0 into 9.0
40.621 * [taylor]: Taking taylor expansion of x in x
40.621 * [backup-simplify]: Simplify 0 into 0
40.621 * [backup-simplify]: Simplify 1 into 1
40.622 * [backup-simplify]: Simplify (* 9.0 0) into 0
40.622 * [backup-simplify]: Simplify (- 0) into 0
40.623 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
40.623 * [backup-simplify]: Simplify 12.0 into 12.0
40.624 * [backup-simplify]: Simplify (+ (* 9.0 1) (* 0 0)) into 9.0
40.625 * [backup-simplify]: Simplify (- 9.0) into (- 9.0)
40.626 * [backup-simplify]: Simplify (+ 0 (- 9.0)) into (- 9.0)
40.626 * [backup-simplify]: Simplify (- 9.0) into (- 9.0)
40.627 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 1) (* 0 0))) into 0
40.631 * [backup-simplify]: Simplify (- 0) into 0
40.631 * [backup-simplify]: Simplify (+ 0 0) into 0
40.631 * [backup-simplify]: Simplify 0 into 0
40.632 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
40.633 * [backup-simplify]: Simplify (- 0) into 0
40.633 * [backup-simplify]: Simplify (+ 0 0) into 0
40.633 * [backup-simplify]: Simplify 0 into 0
40.635 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
40.662 * [backup-simplify]: Simplify (- 0) into 0
40.662 * [backup-simplify]: Simplify (+ 0 0) into 0
40.662 * [backup-simplify]: Simplify 0 into 0
40.664 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
40.664 * [backup-simplify]: Simplify (- 0) into 0
40.665 * [backup-simplify]: Simplify (+ 0 0) into 0
40.665 * [backup-simplify]: Simplify 0 into 0
40.666 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
40.682 * [backup-simplify]: Simplify (- 0) into 0
40.683 * [backup-simplify]: Simplify (+ 0 0) into 0
40.683 * [backup-simplify]: Simplify 0 into 0
40.685 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
40.686 * [backup-simplify]: Simplify (- 0) into 0
40.686 * [backup-simplify]: Simplify (+ 0 0) into 0
40.687 * [backup-simplify]: Simplify 0 into 0
40.687 * [backup-simplify]: Simplify (+ (* (- 9.0) x) 12.0) into (- 12.0 (* 9.0 x))
40.687 * [backup-simplify]: Simplify (- 12.0 (* (/ 1 x) 9.0)) into (- 12.0 (* 9.0 (/ 1 x)))
40.687 * [approximate]: Taking taylor expansion of (- 12.0 (* 9.0 (/ 1 x))) in (x) around 0
40.687 * [taylor]: Taking taylor expansion of (- 12.0 (* 9.0 (/ 1 x))) in x
40.687 * [taylor]: Taking taylor expansion of 12.0 in x
40.687 * [backup-simplify]: Simplify 12.0 into 12.0
40.687 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
40.687 * [taylor]: Taking taylor expansion of 9.0 in x
40.687 * [backup-simplify]: Simplify 9.0 into 9.0
40.687 * [taylor]: Taking taylor expansion of (/ 1 x) in x
40.687 * [taylor]: Taking taylor expansion of x in x
40.688 * [backup-simplify]: Simplify 0 into 0
40.688 * [backup-simplify]: Simplify 1 into 1
40.688 * [backup-simplify]: Simplify (/ 1 1) into 1
40.688 * [taylor]: Taking taylor expansion of (- 12.0 (* 9.0 (/ 1 x))) in x
40.688 * [taylor]: Taking taylor expansion of 12.0 in x
40.688 * [backup-simplify]: Simplify 12.0 into 12.0
40.688 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
40.688 * [taylor]: Taking taylor expansion of 9.0 in x
40.688 * [backup-simplify]: Simplify 9.0 into 9.0
40.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x
40.688 * [taylor]: Taking taylor expansion of x in x
40.688 * [backup-simplify]: Simplify 0 into 0
40.688 * [backup-simplify]: Simplify 1 into 1
40.689 * [backup-simplify]: Simplify (/ 1 1) into 1
40.689 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
40.689 * [backup-simplify]: Simplify (- 9.0) into (- 9.0)
40.690 * [backup-simplify]: Simplify (+ 0 (- 9.0)) into (- 9.0)
40.691 * [backup-simplify]: Simplify (- 9.0) into (- 9.0)
40.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
40.692 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
40.693 * [backup-simplify]: Simplify (- 0) into 0
40.693 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
40.693 * [backup-simplify]: Simplify 12.0 into 12.0
40.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.695 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
40.695 * [backup-simplify]: Simplify (- 0) into 0
40.696 * [backup-simplify]: Simplify (+ 0 0) into 0
40.696 * [backup-simplify]: Simplify 0 into 0
40.697 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.698 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
40.698 * [backup-simplify]: Simplify (- 0) into 0
40.699 * [backup-simplify]: Simplify (+ 0 0) into 0
40.699 * [backup-simplify]: Simplify 0 into 0
40.700 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.701 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
40.701 * [backup-simplify]: Simplify (- 0) into 0
40.702 * [backup-simplify]: Simplify (+ 0 0) into 0
40.702 * [backup-simplify]: Simplify 0 into 0
40.703 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.704 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
40.705 * [backup-simplify]: Simplify (- 0) into 0
40.705 * [backup-simplify]: Simplify (+ 0 0) into 0
40.705 * [backup-simplify]: Simplify 0 into 0
40.706 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.708 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
40.708 * [backup-simplify]: Simplify (- 0) into 0
40.708 * [backup-simplify]: Simplify (+ 0 0) into 0
40.708 * [backup-simplify]: Simplify 0 into 0
40.709 * [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
40.712 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
40.712 * [backup-simplify]: Simplify (- 0) into 0
40.712 * [backup-simplify]: Simplify (+ 0 0) into 0
40.712 * [backup-simplify]: Simplify 0 into 0
40.749 * [backup-simplify]: Simplify (+ 12.0 (* (- 9.0) (/ 1 (/ 1 x)))) into (- 12.0 (* 9.0 x))
40.749 * [backup-simplify]: Simplify (- 12.0 (* (/ 1 (- x)) 9.0)) into (+ (* 9.0 (/ 1 x)) 12.0)
40.749 * [approximate]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 12.0) in (x) around 0
40.749 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 12.0) in x
40.749 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
40.749 * [taylor]: Taking taylor expansion of 9.0 in x
40.750 * [backup-simplify]: Simplify 9.0 into 9.0
40.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x
40.750 * [taylor]: Taking taylor expansion of x in x
40.750 * [backup-simplify]: Simplify 0 into 0
40.750 * [backup-simplify]: Simplify 1 into 1
40.750 * [backup-simplify]: Simplify (/ 1 1) into 1
40.750 * [taylor]: Taking taylor expansion of 12.0 in x
40.751 * [backup-simplify]: Simplify 12.0 into 12.0
40.751 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 12.0) in x
40.751 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
40.751 * [taylor]: Taking taylor expansion of 9.0 in x
40.751 * [backup-simplify]: Simplify 9.0 into 9.0
40.751 * [taylor]: Taking taylor expansion of (/ 1 x) in x
40.751 * [taylor]: Taking taylor expansion of x in x
40.751 * [backup-simplify]: Simplify 0 into 0
40.751 * [backup-simplify]: Simplify 1 into 1
40.751 * [backup-simplify]: Simplify (/ 1 1) into 1
40.751 * [taylor]: Taking taylor expansion of 12.0 in x
40.751 * [backup-simplify]: Simplify 12.0 into 12.0
40.752 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
40.753 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
40.753 * [backup-simplify]: Simplify 9.0 into 9.0
40.753 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
40.754 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
40.755 * [backup-simplify]: Simplify (+ 0 12.0) into 12.0
40.755 * [backup-simplify]: Simplify 12.0 into 12.0
40.756 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.757 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
40.757 * [backup-simplify]: Simplify (+ 0 0) into 0
40.757 * [backup-simplify]: Simplify 0 into 0
40.758 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.760 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
40.760 * [backup-simplify]: Simplify (+ 0 0) into 0
40.760 * [backup-simplify]: Simplify 0 into 0
40.761 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.762 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
40.763 * [backup-simplify]: Simplify (+ 0 0) into 0
40.763 * [backup-simplify]: Simplify 0 into 0
40.764 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.765 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
40.765 * [backup-simplify]: Simplify (+ 0 0) into 0
40.765 * [backup-simplify]: Simplify 0 into 0
40.766 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.768 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
40.768 * [backup-simplify]: Simplify (+ 0 0) into 0
40.768 * [backup-simplify]: Simplify 0 into 0
40.769 * [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
40.770 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
40.770 * [backup-simplify]: Simplify (+ 0 0) into 0
40.770 * [backup-simplify]: Simplify 0 into 0
40.770 * [backup-simplify]: Simplify (+ 12.0 (* 9.0 (/ 1 (/ 1 (- x))))) into (- 12.0 (* 9.0 x))
40.770 * * * [progress]: simplifying candidates
40.771 * [simplify]: Simplifying:
  (* x (- 12.0 (* x 9.0)))
  (+ (log x) (log (- 12.0 (* x 9.0))))
  (log (* x (- 12.0 (* x 9.0))))
  (exp (* x (- 12.0 (* x 9.0))))
  (* (* (* x x) x) (* (* (- 12.0 (* x 9.0)) (- 12.0 (* x 9.0))) (- 12.0 (* x 9.0))))
  (* (cbrt (* x (- 12.0 (* x 9.0)))) (cbrt (* x (- 12.0 (* x 9.0)))))
  (cbrt (* x (- 12.0 (* x 9.0))))
  (* (* (* x (- 12.0 (* x 9.0))) (* x (- 12.0 (* x 9.0)))) (* x (- 12.0 (* x 9.0))))
  (sqrt (* x (- 12.0 (* x 9.0))))
  (sqrt (* x (- 12.0 (* x 9.0))))
  (* (sqrt x) (sqrt (- 12.0 (* x 9.0))))
  (* (sqrt x) (sqrt (- 12.0 (* x 9.0))))
  (* x 12.0)
  (* x (- (* x 9.0)))
  (* x 12.0)
  (* x (- (* x 9.0)))
  (* 12.0 x)
  (* (- (* x 9.0)) x)
  (* 12.0 x)
  (* (- (* x 9.0)) x)
  (* x (* (cbrt (- 12.0 (* x 9.0))) (cbrt (- 12.0 (* x 9.0)))))
  (* x (sqrt (- 12.0 (* x 9.0))))
  (* x 1)
  (* (cbrt x) (- 12.0 (* x 9.0)))
  (* (sqrt x) (- 12.0 (* x 9.0)))
  (* x (- 12.0 (* x 9.0)))
  (* x (- (pow 12.0 3) (pow (* x 9.0) 3)))
  (* x (- (* 12.0 12.0) (* (* x 9.0) (* x 9.0))))
  (/ (exp 12.0) (exp (* x 9.0)))
  (log (- 12.0 (* x 9.0)))
  (exp (- 12.0 (* x 9.0)))
  (* (cbrt (- 12.0 (* x 9.0))) (cbrt (- 12.0 (* x 9.0))))
  (cbrt (- 12.0 (* x 9.0)))
  (* (* (- 12.0 (* x 9.0)) (- 12.0 (* x 9.0))) (- 12.0 (* x 9.0)))
  (sqrt (- 12.0 (* x 9.0)))
  (sqrt (- 12.0 (* x 9.0)))
  (- (pow 12.0 3) (pow (* x 9.0) 3))
  (+ (* 12.0 12.0) (+ (* (* x 9.0) (* x 9.0)) (* 12.0 (* x 9.0))))
  (- (* x 9.0))
  (- (* 12.0 12.0) (* (* x 9.0) (* x 9.0)))
  (+ 12.0 (* x 9.0))
  (- (* x 9.0))
  (- (* 12.0 x) (* 9.0 (pow x 2)))
  (- (* 12.0 x) (* 9.0 (pow x 2)))
  (- (* 12.0 x) (* 9.0 (pow x 2)))
  (- 12.0 (* 9.0 x))
  (- 12.0 (* 9.0 x))
  (- 12.0 (* 9.0 x))
40.772 * * [simplify]: iteration 0: 61 enodes
40.807 * * [simplify]: iteration 1: 153 enodes
40.902 * * [simplify]: iteration 2: 479 enodes
43.843 * * [simplify]: iteration 3: 2128 enodes
47.898 * * [simplify]: iteration complete: 5004 enodes
47.899 * * [simplify]: Extracting #0: cost 30 inf + 0
47.900 * * [simplify]: Extracting #1: cost 236 inf + 1
47.908 * * [simplify]: Extracting #2: cost 966 inf + 10391
47.957 * * [simplify]: Extracting #3: cost 1055 inf + 102997
48.055 * * [simplify]: Extracting #4: cost 219 inf + 296450
48.186 * * [simplify]: Extracting #5: cost 42 inf + 338411
48.327 * * [simplify]: Extracting #6: cost 12 inf + 345906
48.448 * * [simplify]: Extracting #7: cost 2 inf + 347755
48.706 * * [simplify]: Extracting #8: cost 0 inf + 348261
49.044 * [simplify]: Simplified to:
  (* (- 12.0 (* 9.0 x)) x)
  (log (* (- 12.0 (* 9.0 x)) x))
  (log (* (- 12.0 (* 9.0 x)) x))
  (exp (* (- 12.0 (* 9.0 x)) x))
  (* (* (* (- 12.0 (* 9.0 x)) x) (* (- 12.0 (* 9.0 x)) x)) (* (- 12.0 (* 9.0 x)) x))
  (* (cbrt (* (- 12.0 (* 9.0 x)) x)) (cbrt (* (- 12.0 (* 9.0 x)) x)))
  (cbrt (* (- 12.0 (* 9.0 x)) x))
  (* (* (* (- 12.0 (* 9.0 x)) x) (* (- 12.0 (* 9.0 x)) x)) (* (- 12.0 (* 9.0 x)) x))
  (sqrt (* (- 12.0 (* 9.0 x)) x))
  (sqrt (* (- 12.0 (* 9.0 x)) x))
  (* (sqrt (- 12.0 (* 9.0 x))) (sqrt x))
  (* (sqrt (- 12.0 (* 9.0 x))) (sqrt x))
  (* 12.0 x)
  (* 9.0 (- (* x x)))
  (* 12.0 x)
  (* 9.0 (- (* x x)))
  (* 12.0 x)
  (* 9.0 (- (* x x)))
  (* 12.0 x)
  (* 9.0 (- (* x x)))
  (* (cbrt (- 12.0 (* 9.0 x))) (* (cbrt (- 12.0 (* 9.0 x))) x))
  (* (sqrt (- 12.0 (* 9.0 x))) x)
  x
  (* (- 12.0 (* 9.0 x)) (cbrt x))
  (* (sqrt x) (- 12.0 (* 9.0 x)))
  (* (- 12.0 (* 9.0 x)) x)
  (* x (- (* (* 12.0 12.0) 12.0) (* (* x 9.0) (* (* x 9.0) (* x 9.0)))))
  (* (* x (- 12.0 (* 9.0 x))) (+ (* 9.0 x) 12.0))
  (exp (- 12.0 (* 9.0 x)))
  (log (- 12.0 (* 9.0 x)))
  (exp (- 12.0 (* 9.0 x)))
  (* (cbrt (- 12.0 (* 9.0 x))) (cbrt (- 12.0 (* 9.0 x))))
  (cbrt (- 12.0 (* 9.0 x)))
  (* (* (- 12.0 (* 9.0 x)) (- 12.0 (* 9.0 x))) (- 12.0 (* 9.0 x)))
  (sqrt (- 12.0 (* 9.0 x)))
  (sqrt (- 12.0 (* 9.0 x)))
  (- (* (* 12.0 12.0) 12.0) (* (* x 9.0) (* (* x 9.0) (* x 9.0))))
  (+ (* (+ (* 9.0 x) 12.0) (* 9.0 x)) (* 12.0 12.0))
  (* (- x) 9.0)
  (- (* 12.0 12.0) (* (* x 9.0) (* x 9.0)))
  (+ (* 9.0 x) 12.0)
  (* (- x) 9.0)
  (* (- 12.0 (* 9.0 x)) x)
  (* (- 12.0 (* 9.0 x)) x)
  (* (- 12.0 (* 9.0 x)) x)
  (- 12.0 (* 9.0 x))
  (- 12.0 (* 9.0 x))
  (- 12.0 (* 9.0 x))
49.049 * * * [progress]: adding candidates to table
49.668 * * [progress]: iteration 4 / 4
49.668 * * * [progress]: picking best candidate
49.711 * * * * [pick]: Picked  #<alt (λ (x) (- 3.0 (- (* x 12.0) (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)))))>
49.715 * * * [progress]: localizing error
49.750 * * * [progress]: generating rewritten candidates
49.750 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2 1)
49.794 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
50.287 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
50.327 * * * [progress]: generating series expansions
50.335 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2 1)
50.350 * [backup-simplify]: Simplify (* (* x x) (sqrt 9.0)) into (* (pow x 2) (sqrt 9.0))
50.350 * [approximate]: Taking taylor expansion of (* (pow x 2) (sqrt 9.0)) in (x) around 0
50.350 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 9.0)) in x
50.350 * [taylor]: Taking taylor expansion of (pow x 2) in x
50.350 * [taylor]: Taking taylor expansion of x in x
50.350 * [backup-simplify]: Simplify 0 into 0
50.350 * [backup-simplify]: Simplify 1 into 1
50.350 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x
50.350 * [taylor]: Taking taylor expansion of 9.0 in x
50.350 * [backup-simplify]: Simplify 9.0 into 9.0
50.351 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.352 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0
50.352 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 9.0)) in x
50.352 * [taylor]: Taking taylor expansion of (pow x 2) in x
50.352 * [taylor]: Taking taylor expansion of x in x
50.352 * [backup-simplify]: Simplify 0 into 0
50.352 * [backup-simplify]: Simplify 1 into 1
50.352 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x
50.352 * [taylor]: Taking taylor expansion of 9.0 in x
50.352 * [backup-simplify]: Simplify 9.0 into 9.0
50.352 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.353 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0
50.354 * [backup-simplify]: Simplify (* 1 1) into 1
50.355 * [backup-simplify]: Simplify (* 1 (sqrt 9.0)) into (sqrt 9.0)
50.355 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.360 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
50.361 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt 9.0))) into 0
50.361 * [backup-simplify]: Simplify 0 into 0
50.362 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 9.0))) into 0
50.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
50.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 9.0)))) into 0
50.364 * [backup-simplify]: Simplify 0 into 0
50.365 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
50.368 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))) into 0
50.368 * [backup-simplify]: Simplify 0 into 0
50.369 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
50.381 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0)))))) into 0
50.381 * [backup-simplify]: Simplify 0 into 0
50.383 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
50.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))))) into 0
50.386 * [backup-simplify]: Simplify 0 into 0
50.388 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
50.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0)))))))) into 0
50.392 * [backup-simplify]: Simplify 0 into 0
50.392 * [backup-simplify]: Simplify (* (sqrt 9.0) (pow x 2)) into (* (pow x 2) (sqrt 9.0))
50.393 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 x)) (sqrt 9.0)) into (/ (sqrt 9.0) (pow x 2))
50.393 * [approximate]: Taking taylor expansion of (/ (sqrt 9.0) (pow x 2)) in (x) around 0
50.393 * [taylor]: Taking taylor expansion of (/ (sqrt 9.0) (pow x 2)) in x
50.393 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x
50.393 * [taylor]: Taking taylor expansion of 9.0 in x
50.393 * [backup-simplify]: Simplify 9.0 into 9.0
50.393 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.394 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0
50.394 * [taylor]: Taking taylor expansion of (pow x 2) in x
50.394 * [taylor]: Taking taylor expansion of x in x
50.394 * [backup-simplify]: Simplify 0 into 0
50.394 * [backup-simplify]: Simplify 1 into 1
50.394 * [backup-simplify]: Simplify (* 1 1) into 1
50.399 * [backup-simplify]: Simplify (/ (sqrt 9.0) 1) into (sqrt 9.0)
50.399 * [taylor]: Taking taylor expansion of (/ (sqrt 9.0) (pow x 2)) in x
50.399 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x
50.399 * [taylor]: Taking taylor expansion of 9.0 in x
50.399 * [backup-simplify]: Simplify 9.0 into 9.0
50.400 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.400 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0
50.400 * [taylor]: Taking taylor expansion of (pow x 2) in x
50.400 * [taylor]: Taking taylor expansion of x in x
50.401 * [backup-simplify]: Simplify 0 into 0
50.401 * [backup-simplify]: Simplify 1 into 1
50.401 * [backup-simplify]: Simplify (* 1 1) into 1
50.402 * [backup-simplify]: Simplify (/ (sqrt 9.0) 1) into (sqrt 9.0)
50.402 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.403 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
50.408 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 9.0) (/ 0 1)))) into 0
50.408 * [backup-simplify]: Simplify 0 into 0
50.409 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 9.0))) into 0
50.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
50.411 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 9.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.411 * [backup-simplify]: Simplify 0 into 0
50.412 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
50.414 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 9.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.414 * [backup-simplify]: Simplify 0 into 0
50.415 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.417 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
50.418 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 9.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.418 * [backup-simplify]: Simplify 0 into 0
50.424 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
50.427 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 9.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.427 * [backup-simplify]: Simplify 0 into 0
50.441 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
50.452 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 9.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.452 * [backup-simplify]: Simplify 0 into 0
50.453 * [backup-simplify]: Simplify (* (sqrt 9.0) (pow (/ 1 (/ 1 x)) 2)) into (* (pow x 2) (sqrt 9.0))
50.453 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) (sqrt 9.0)) into (/ (sqrt 9.0) (pow x 2))
50.453 * [approximate]: Taking taylor expansion of (/ (sqrt 9.0) (pow x 2)) in (x) around 0
50.453 * [taylor]: Taking taylor expansion of (/ (sqrt 9.0) (pow x 2)) in x
50.453 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x
50.453 * [taylor]: Taking taylor expansion of 9.0 in x
50.454 * [backup-simplify]: Simplify 9.0 into 9.0
50.454 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.454 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0
50.454 * [taylor]: Taking taylor expansion of (pow x 2) in x
50.455 * [taylor]: Taking taylor expansion of x in x
50.455 * [backup-simplify]: Simplify 0 into 0
50.455 * [backup-simplify]: Simplify 1 into 1
50.455 * [backup-simplify]: Simplify (* 1 1) into 1
50.456 * [backup-simplify]: Simplify (/ (sqrt 9.0) 1) into (sqrt 9.0)
50.456 * [taylor]: Taking taylor expansion of (/ (sqrt 9.0) (pow x 2)) in x
50.456 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x
50.456 * [taylor]: Taking taylor expansion of 9.0 in x
50.456 * [backup-simplify]: Simplify 9.0 into 9.0
50.456 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.457 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0
50.457 * [taylor]: Taking taylor expansion of (pow x 2) in x
50.457 * [taylor]: Taking taylor expansion of x in x
50.457 * [backup-simplify]: Simplify 0 into 0
50.457 * [backup-simplify]: Simplify 1 into 1
50.458 * [backup-simplify]: Simplify (* 1 1) into 1
50.464 * [backup-simplify]: Simplify (/ (sqrt 9.0) 1) into (sqrt 9.0)
50.464 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.465 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
50.466 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 9.0) (/ 0 1)))) into 0
50.466 * [backup-simplify]: Simplify 0 into 0
50.471 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 9.0))) into 0
50.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
50.474 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 9.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.474 * [backup-simplify]: Simplify 0 into 0
50.479 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
50.482 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 9.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.482 * [backup-simplify]: Simplify 0 into 0
50.488 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.489 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
50.490 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 9.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.490 * [backup-simplify]: Simplify 0 into 0
50.496 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
50.503 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 9.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.503 * [backup-simplify]: Simplify 0 into 0
50.505 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
50.516 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 9.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.516 * [backup-simplify]: Simplify 0 into 0
50.517 * [backup-simplify]: Simplify (* (sqrt 9.0) (pow (/ 1 (/ 1 (- x))) 2)) into (* (pow x 2) (sqrt 9.0))
50.517 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
50.518 * [backup-simplify]: Simplify (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)) into (* (pow x 2) (pow (sqrt 9.0) 2))
50.518 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 9.0) 2)) in (x) around 0
50.518 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 9.0) 2)) in x
50.518 * [taylor]: Taking taylor expansion of (pow x 2) in x
50.518 * [taylor]: Taking taylor expansion of x in x
50.518 * [backup-simplify]: Simplify 0 into 0
50.518 * [backup-simplify]: Simplify 1 into 1
50.518 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x
50.518 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x
50.518 * [taylor]: Taking taylor expansion of 9.0 in x
50.518 * [backup-simplify]: Simplify 9.0 into 9.0
50.518 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.519 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0
50.519 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 9.0) 2)) in x
50.519 * [taylor]: Taking taylor expansion of (pow x 2) in x
50.519 * [taylor]: Taking taylor expansion of x in x
50.519 * [backup-simplify]: Simplify 0 into 0
50.519 * [backup-simplify]: Simplify 1 into 1
50.519 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x
50.519 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x
50.519 * [taylor]: Taking taylor expansion of 9.0 in x
50.519 * [backup-simplify]: Simplify 9.0 into 9.0
50.520 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.521 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0
50.521 * [backup-simplify]: Simplify (* 1 1) into 1
50.522 * [backup-simplify]: Simplify (* (sqrt 9.0) (sqrt 9.0)) into (pow (sqrt 9.0) 2)
50.528 * [backup-simplify]: Simplify (* 1 (pow (sqrt 9.0) 2)) into (pow (sqrt 9.0) 2)
50.529 * [backup-simplify]: Simplify (pow (sqrt 9.0) 2) into (pow (sqrt 9.0) 2)
50.530 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (* 0 (sqrt 9.0))) into 0
50.531 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
50.536 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 9.0) 2))) into 0
50.536 * [backup-simplify]: Simplify 0 into 0
50.537 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 9.0))) into 0
50.539 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (* 0 (sqrt 9.0)))) into 0
50.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
50.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 9.0) 2)))) into 0
50.541 * [backup-simplify]: Simplify 0 into 0
50.543 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.544 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))) into 0
50.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
50.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 9.0) 2))))) into 0
50.547 * [backup-simplify]: Simplify 0 into 0
50.549 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.550 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0)))))) into 0
50.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
50.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 9.0) 2)))))) into 0
50.553 * [backup-simplify]: Simplify 0 into 0
50.558 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.560 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))))) into 0
50.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
50.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 9.0) 2))))))) into 0
50.563 * [backup-simplify]: Simplify 0 into 0
50.564 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.566 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0)))))))) into 0
50.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
50.570 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 9.0) 2)))))))) into 0
50.570 * [backup-simplify]: Simplify 0 into 0
50.571 * [backup-simplify]: Simplify (* (pow (sqrt 9.0) 2) (pow x 2)) into (* (pow x 2) (pow (sqrt 9.0) 2))
50.572 * [backup-simplify]: Simplify (* (* (* (/ 1 x) (/ 1 x)) (sqrt 9.0)) (sqrt 9.0)) into (/ (pow (sqrt 9.0) 2) (pow x 2))
50.572 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (pow x 2)) in (x) around 0
50.572 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (pow x 2)) in x
50.572 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x
50.572 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x
50.572 * [taylor]: Taking taylor expansion of 9.0 in x
50.572 * [backup-simplify]: Simplify 9.0 into 9.0
50.572 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.573 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0
50.573 * [taylor]: Taking taylor expansion of (pow x 2) in x
50.573 * [taylor]: Taking taylor expansion of x in x
50.573 * [backup-simplify]: Simplify 0 into 0
50.573 * [backup-simplify]: Simplify 1 into 1
50.574 * [backup-simplify]: Simplify (* (sqrt 9.0) (sqrt 9.0)) into (pow (sqrt 9.0) 2)
50.575 * [backup-simplify]: Simplify (* 1 1) into 1
50.577 * [backup-simplify]: Simplify (/ (pow (sqrt 9.0) 2) 1) into (pow (sqrt 9.0) 2)
50.577 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (pow x 2)) in x
50.577 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x
50.577 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x
50.577 * [taylor]: Taking taylor expansion of 9.0 in x
50.577 * [backup-simplify]: Simplify 9.0 into 9.0
50.577 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.578 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0
50.578 * [taylor]: Taking taylor expansion of (pow x 2) in x
50.578 * [taylor]: Taking taylor expansion of x in x
50.578 * [backup-simplify]: Simplify 0 into 0
50.578 * [backup-simplify]: Simplify 1 into 1
50.579 * [backup-simplify]: Simplify (* (sqrt 9.0) (sqrt 9.0)) into (pow (sqrt 9.0) 2)
50.580 * [backup-simplify]: Simplify (* 1 1) into 1
50.581 * [backup-simplify]: Simplify (/ (pow (sqrt 9.0) 2) 1) into (pow (sqrt 9.0) 2)
50.582 * [backup-simplify]: Simplify (pow (sqrt 9.0) 2) into (pow (sqrt 9.0) 2)
50.583 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (* 0 (sqrt 9.0))) into 0
50.584 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
50.585 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)))) into 0
50.585 * [backup-simplify]: Simplify 0 into 0
50.586 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 9.0))) into 0
50.588 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (* 0 (sqrt 9.0)))) into 0
50.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
50.590 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.591 * [backup-simplify]: Simplify 0 into 0
50.592 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.593 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))) into 0
50.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
50.596 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.596 * [backup-simplify]: Simplify 0 into 0
50.597 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.599 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0)))))) into 0
50.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
50.602 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.603 * [backup-simplify]: Simplify 0 into 0
50.605 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.606 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))))) into 0
50.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
50.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.610 * [backup-simplify]: Simplify 0 into 0
50.611 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.613 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0)))))))) into 0
50.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
50.617 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.617 * [backup-simplify]: Simplify 0 into 0
50.618 * [backup-simplify]: Simplify (* (pow (sqrt 9.0) 2) (pow (/ 1 (/ 1 x)) 2)) into (* (pow x 2) (pow (sqrt 9.0) 2))
50.620 * [backup-simplify]: Simplify (* (* (* (/ 1 (- x)) (/ 1 (- x))) (sqrt 9.0)) (sqrt 9.0)) into (/ (pow (sqrt 9.0) 2) (pow x 2))
50.620 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (pow x 2)) in (x) around 0
50.620 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (pow x 2)) in x
50.620 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x
50.620 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x
50.620 * [taylor]: Taking taylor expansion of 9.0 in x
50.620 * [backup-simplify]: Simplify 9.0 into 9.0
50.620 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.621 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0
50.621 * [taylor]: Taking taylor expansion of (pow x 2) in x
50.621 * [taylor]: Taking taylor expansion of x in x
50.621 * [backup-simplify]: Simplify 0 into 0
50.621 * [backup-simplify]: Simplify 1 into 1
50.622 * [backup-simplify]: Simplify (* (sqrt 9.0) (sqrt 9.0)) into (pow (sqrt 9.0) 2)
50.623 * [backup-simplify]: Simplify (* 1 1) into 1
50.624 * [backup-simplify]: Simplify (/ (pow (sqrt 9.0) 2) 1) into (pow (sqrt 9.0) 2)
50.624 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (pow x 2)) in x
50.624 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x
50.625 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x
50.625 * [taylor]: Taking taylor expansion of 9.0 in x
50.625 * [backup-simplify]: Simplify 9.0 into 9.0
50.625 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.626 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0
50.626 * [taylor]: Taking taylor expansion of (pow x 2) in x
50.626 * [taylor]: Taking taylor expansion of x in x
50.626 * [backup-simplify]: Simplify 0 into 0
50.626 * [backup-simplify]: Simplify 1 into 1
50.627 * [backup-simplify]: Simplify (* (sqrt 9.0) (sqrt 9.0)) into (pow (sqrt 9.0) 2)
50.628 * [backup-simplify]: Simplify (* 1 1) into 1
50.629 * [backup-simplify]: Simplify (/ (pow (sqrt 9.0) 2) 1) into (pow (sqrt 9.0) 2)
50.631 * [backup-simplify]: Simplify (pow (sqrt 9.0) 2) into (pow (sqrt 9.0) 2)
50.631 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (* 0 (sqrt 9.0))) into 0
50.632 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
50.633 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)))) into 0
50.633 * [backup-simplify]: Simplify 0 into 0
50.635 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 9.0))) into 0
50.636 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (* 0 (sqrt 9.0)))) into 0
50.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
50.638 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.638 * [backup-simplify]: Simplify 0 into 0
50.640 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.641 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))) into 0
50.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
50.643 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.643 * [backup-simplify]: Simplify 0 into 0
50.645 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.647 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0)))))) into 0
50.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
50.650 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.650 * [backup-simplify]: Simplify 0 into 0
50.652 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.653 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))))) into 0
50.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
50.654 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.654 * [backup-simplify]: Simplify 0 into 0
50.656 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.657 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0)))))))) into 0
50.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
50.660 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.660 * [backup-simplify]: Simplify 0 into 0
50.662 * [backup-simplify]: Simplify (* (pow (sqrt 9.0) 2) (pow (/ 1 (/ 1 (- x))) 2)) into (* (pow x 2) (pow (sqrt 9.0) 2))
50.662 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
50.663 * [backup-simplify]: Simplify (- (* x 12.0) (* (* (* x x) (sqrt 9.0)) (sqrt 9.0))) into (- (* 12.0 x) (* (pow x 2) (pow (sqrt 9.0) 2)))
50.663 * [approximate]: Taking taylor expansion of (- (* 12.0 x) (* (pow x 2) (pow (sqrt 9.0) 2))) in (x) around 0
50.663 * [taylor]: Taking taylor expansion of (- (* 12.0 x) (* (pow x 2) (pow (sqrt 9.0) 2))) in x
50.663 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
50.663 * [taylor]: Taking taylor expansion of 12.0 in x
50.663 * [backup-simplify]: Simplify 12.0 into 12.0
50.663 * [taylor]: Taking taylor expansion of x in x
50.663 * [backup-simplify]: Simplify 0 into 0
50.663 * [backup-simplify]: Simplify 1 into 1
50.663 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 9.0) 2)) in x
50.663 * [taylor]: Taking taylor expansion of (pow x 2) in x
50.663 * [taylor]: Taking taylor expansion of x in x
50.663 * [backup-simplify]: Simplify 0 into 0
50.663 * [backup-simplify]: Simplify 1 into 1
50.663 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x
50.663 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x
50.663 * [taylor]: Taking taylor expansion of 9.0 in x
50.663 * [backup-simplify]: Simplify 9.0 into 9.0
50.664 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.664 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0
50.665 * [taylor]: Taking taylor expansion of (- (* 12.0 x) (* (pow x 2) (pow (sqrt 9.0) 2))) in x
50.665 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
50.665 * [taylor]: Taking taylor expansion of 12.0 in x
50.665 * [backup-simplify]: Simplify 12.0 into 12.0
50.665 * [taylor]: Taking taylor expansion of x in x
50.665 * [backup-simplify]: Simplify 0 into 0
50.665 * [backup-simplify]: Simplify 1 into 1
50.665 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 9.0) 2)) in x
50.665 * [taylor]: Taking taylor expansion of (pow x 2) in x
50.665 * [taylor]: Taking taylor expansion of x in x
50.665 * [backup-simplify]: Simplify 0 into 0
50.665 * [backup-simplify]: Simplify 1 into 1
50.665 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x
50.665 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x
50.665 * [taylor]: Taking taylor expansion of 9.0 in x
50.665 * [backup-simplify]: Simplify 9.0 into 9.0
50.665 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.666 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0
50.667 * [backup-simplify]: Simplify (* 12.0 0) into 0
50.667 * [backup-simplify]: Simplify (+ 0 0) into 0
50.667 * [backup-simplify]: Simplify 0 into 0
50.668 * [backup-simplify]: Simplify (+ (* 12.0 1) (* 0 0)) into 12.0
50.669 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
50.669 * [backup-simplify]: Simplify 12.0 into 12.0
50.670 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 1) (* 0 0))) into 0
50.670 * [backup-simplify]: Simplify (* 1 1) into 1
50.672 * [backup-simplify]: Simplify (* (sqrt 9.0) (sqrt 9.0)) into (pow (sqrt 9.0) 2)
50.673 * [backup-simplify]: Simplify (* 1 (pow (sqrt 9.0) 2)) into (pow (sqrt 9.0) 2)
50.675 * [backup-simplify]: Simplify (- (pow (sqrt 9.0) 2)) into (- (pow (sqrt 9.0) 2))
50.677 * [backup-simplify]: Simplify (+ 0 (- (pow (sqrt 9.0) 2))) into (- (pow (sqrt 9.0) 2))
50.679 * [backup-simplify]: Simplify (- (pow (sqrt 9.0) 2)) into (- (pow (sqrt 9.0) 2))
50.680 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
50.681 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (* 0 (sqrt 9.0))) into 0
50.682 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
50.683 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 9.0) 2))) into 0
50.683 * [backup-simplify]: Simplify (- 0) into 0
50.684 * [backup-simplify]: Simplify (+ 0 0) into 0
50.684 * [backup-simplify]: Simplify 0 into 0
50.685 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
50.687 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 9.0))) into 0
50.688 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (* 0 (sqrt 9.0)))) into 0
50.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
50.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 9.0) 2)))) into 0
50.690 * [backup-simplify]: Simplify (- 0) into 0
50.691 * [backup-simplify]: Simplify (+ 0 0) into 0
50.691 * [backup-simplify]: Simplify 0 into 0
50.692 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
50.694 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.695 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))) into 0
50.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
50.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 9.0) 2))))) into 0
50.698 * [backup-simplify]: Simplify (- 0) into 0
50.698 * [backup-simplify]: Simplify (+ 0 0) into 0
50.698 * [backup-simplify]: Simplify 0 into 0
50.700 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
50.701 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.703 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0)))))) into 0
50.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
50.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 9.0) 2)))))) into 0
50.706 * [backup-simplify]: Simplify (- 0) into 0
50.706 * [backup-simplify]: Simplify (+ 0 0) into 0
50.706 * [backup-simplify]: Simplify 0 into 0
50.708 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
50.710 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.715 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))))) into 0
50.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
50.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 9.0) 2))))))) into 0
50.720 * [backup-simplify]: Simplify (- 0) into 0
50.720 * [backup-simplify]: Simplify (+ 0 0) into 0
50.720 * [backup-simplify]: Simplify 0 into 0
50.723 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
50.724 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.726 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0)))))))) into 0
50.737 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
50.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 9.0) 2)))))))) into 0
50.739 * [backup-simplify]: Simplify (- 0) into 0
50.740 * [backup-simplify]: Simplify (+ 0 0) into 0
50.740 * [backup-simplify]: Simplify 0 into 0
50.742 * [backup-simplify]: Simplify (+ (* (- (pow (sqrt 9.0) 2)) (pow x 2)) (* 12.0 x)) into (- (* 12.0 x) (* (pow x 2) (pow (sqrt 9.0) 2)))
50.744 * [backup-simplify]: Simplify (- (* (/ 1 x) 12.0) (* (* (* (/ 1 x) (/ 1 x)) (sqrt 9.0)) (sqrt 9.0))) into (- (* 12.0 (/ 1 x)) (/ (pow (sqrt 9.0) 2) (pow x 2)))
50.744 * [approximate]: Taking taylor expansion of (- (* 12.0 (/ 1 x)) (/ (pow (sqrt 9.0) 2) (pow x 2))) in (x) around 0
50.744 * [taylor]: Taking taylor expansion of (- (* 12.0 (/ 1 x)) (/ (pow (sqrt 9.0) 2) (pow x 2))) in x
50.744 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
50.744 * [taylor]: Taking taylor expansion of 12.0 in x
50.744 * [backup-simplify]: Simplify 12.0 into 12.0
50.744 * [taylor]: Taking taylor expansion of (/ 1 x) in x
50.744 * [taylor]: Taking taylor expansion of x in x
50.744 * [backup-simplify]: Simplify 0 into 0
50.744 * [backup-simplify]: Simplify 1 into 1
50.744 * [backup-simplify]: Simplify (/ 1 1) into 1
50.744 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (pow x 2)) in x
50.744 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x
50.744 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x
50.744 * [taylor]: Taking taylor expansion of 9.0 in x
50.744 * [backup-simplify]: Simplify 9.0 into 9.0
50.745 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.746 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0
50.746 * [taylor]: Taking taylor expansion of (pow x 2) in x
50.746 * [taylor]: Taking taylor expansion of x in x
50.746 * [backup-simplify]: Simplify 0 into 0
50.746 * [backup-simplify]: Simplify 1 into 1
50.747 * [backup-simplify]: Simplify (* (sqrt 9.0) (sqrt 9.0)) into (pow (sqrt 9.0) 2)
50.747 * [backup-simplify]: Simplify (* 1 1) into 1
50.749 * [backup-simplify]: Simplify (/ (pow (sqrt 9.0) 2) 1) into (pow (sqrt 9.0) 2)
50.749 * [taylor]: Taking taylor expansion of (- (* 12.0 (/ 1 x)) (/ (pow (sqrt 9.0) 2) (pow x 2))) in x
50.749 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
50.749 * [taylor]: Taking taylor expansion of 12.0 in x
50.749 * [backup-simplify]: Simplify 12.0 into 12.0
50.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x
50.749 * [taylor]: Taking taylor expansion of x in x
50.749 * [backup-simplify]: Simplify 0 into 0
50.749 * [backup-simplify]: Simplify 1 into 1
50.750 * [backup-simplify]: Simplify (/ 1 1) into 1
50.750 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (pow x 2)) in x
50.750 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x
50.750 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x
50.750 * [taylor]: Taking taylor expansion of 9.0 in x
50.750 * [backup-simplify]: Simplify 9.0 into 9.0
50.750 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.751 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0
50.751 * [taylor]: Taking taylor expansion of (pow x 2) in x
50.751 * [taylor]: Taking taylor expansion of x in x
50.751 * [backup-simplify]: Simplify 0 into 0
50.751 * [backup-simplify]: Simplify 1 into 1
50.752 * [backup-simplify]: Simplify (* (sqrt 9.0) (sqrt 9.0)) into (pow (sqrt 9.0) 2)
50.753 * [backup-simplify]: Simplify (* 1 1) into 1
50.755 * [backup-simplify]: Simplify (/ (pow (sqrt 9.0) 2) 1) into (pow (sqrt 9.0) 2)
50.756 * [backup-simplify]: Simplify (- (pow (sqrt 9.0) 2)) into (- (pow (sqrt 9.0) 2))
50.759 * [backup-simplify]: Simplify (+ 0 (- (pow (sqrt 9.0) 2))) into (- (pow (sqrt 9.0) 2))
50.760 * [backup-simplify]: Simplify (- (pow (sqrt 9.0) 2)) into (- (pow (sqrt 9.0) 2))
50.761 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
50.762 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (* 0 (sqrt 9.0))) into 0
50.762 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
50.764 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)))) into 0
50.764 * [backup-simplify]: Simplify (- 0) into 0
50.764 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
50.765 * [backup-simplify]: Simplify 12.0 into 12.0
50.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
50.766 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
50.767 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 9.0))) into 0
50.768 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (* 0 (sqrt 9.0)))) into 0
50.769 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
50.770 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.771 * [backup-simplify]: Simplify (- 0) into 0
50.771 * [backup-simplify]: Simplify (+ 0 0) into 0
50.771 * [backup-simplify]: Simplify 0 into 0
50.772 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.773 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (* 0 1))) into 0
50.774 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.775 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))) into 0
50.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
50.778 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.778 * [backup-simplify]: Simplify (- 0) into 0
50.779 * [backup-simplify]: Simplify (+ 0 0) into 0
50.779 * [backup-simplify]: Simplify 0 into 0
50.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.781 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
50.783 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.784 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0)))))) into 0
50.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
50.787 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.788 * [backup-simplify]: Simplify (- 0) into 0
50.788 * [backup-simplify]: Simplify (+ 0 0) into 0
50.788 * [backup-simplify]: Simplify 0 into 0
50.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.790 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
50.791 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.793 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))))) into 0
50.794 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
50.796 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.796 * [backup-simplify]: Simplify (- 0) into 0
50.797 * [backup-simplify]: Simplify (+ 0 0) into 0
50.797 * [backup-simplify]: Simplify 0 into 0
50.798 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.799 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
50.801 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.802 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0)))))))) into 0
50.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
50.806 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.806 * [backup-simplify]: Simplify (- 0) into 0
50.806 * [backup-simplify]: Simplify (+ 0 0) into 0
50.806 * [backup-simplify]: Simplify 0 into 0
50.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.809 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
50.810 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.812 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))))))) into 0
50.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
50.816 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.816 * [backup-simplify]: Simplify (- 0) into 0
50.816 * [backup-simplify]: Simplify (+ 0 0) into 0
50.816 * [backup-simplify]: Simplify 0 into 0
50.818 * [backup-simplify]: Simplify (+ (* 12.0 (/ 1 (/ 1 x))) (* (- (pow (sqrt 9.0) 2)) (pow (/ 1 (/ 1 x)) 2))) into (- (* 12.0 x) (* (pow x 2) (pow (sqrt 9.0) 2)))
50.820 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) 12.0) (* (* (* (/ 1 (- x)) (/ 1 (- x))) (sqrt 9.0)) (sqrt 9.0))) into (- (+ (/ (pow (sqrt 9.0) 2) (pow x 2)) (* 12.0 (/ 1 x))))
50.820 * [approximate]: Taking taylor expansion of (- (+ (/ (pow (sqrt 9.0) 2) (pow x 2)) (* 12.0 (/ 1 x)))) in (x) around 0
50.820 * [taylor]: Taking taylor expansion of (- (+ (/ (pow (sqrt 9.0) 2) (pow x 2)) (* 12.0 (/ 1 x)))) in x
50.820 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 9.0) 2) (pow x 2)) (* 12.0 (/ 1 x))) in x
50.820 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (pow x 2)) in x
50.820 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x
50.820 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x
50.820 * [taylor]: Taking taylor expansion of 9.0 in x
50.820 * [backup-simplify]: Simplify 9.0 into 9.0
50.820 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.821 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0
50.821 * [taylor]: Taking taylor expansion of (pow x 2) in x
50.821 * [taylor]: Taking taylor expansion of x in x
50.821 * [backup-simplify]: Simplify 0 into 0
50.821 * [backup-simplify]: Simplify 1 into 1
50.823 * [backup-simplify]: Simplify (* (sqrt 9.0) (sqrt 9.0)) into (pow (sqrt 9.0) 2)
50.823 * [backup-simplify]: Simplify (* 1 1) into 1
50.825 * [backup-simplify]: Simplify (/ (pow (sqrt 9.0) 2) 1) into (pow (sqrt 9.0) 2)
50.825 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
50.825 * [taylor]: Taking taylor expansion of 12.0 in x
50.825 * [backup-simplify]: Simplify 12.0 into 12.0
50.825 * [taylor]: Taking taylor expansion of (/ 1 x) in x
50.825 * [taylor]: Taking taylor expansion of x in x
50.825 * [backup-simplify]: Simplify 0 into 0
50.825 * [backup-simplify]: Simplify 1 into 1
50.825 * [backup-simplify]: Simplify (/ 1 1) into 1
50.825 * [taylor]: Taking taylor expansion of (- (+ (/ (pow (sqrt 9.0) 2) (pow x 2)) (* 12.0 (/ 1 x)))) in x
50.825 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 9.0) 2) (pow x 2)) (* 12.0 (/ 1 x))) in x
50.825 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (pow x 2)) in x
50.825 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x
50.825 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x
50.825 * [taylor]: Taking taylor expansion of 9.0 in x
50.826 * [backup-simplify]: Simplify 9.0 into 9.0
50.826 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0)
50.827 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0
50.827 * [taylor]: Taking taylor expansion of (pow x 2) in x
50.827 * [taylor]: Taking taylor expansion of x in x
50.827 * [backup-simplify]: Simplify 0 into 0
50.827 * [backup-simplify]: Simplify 1 into 1
50.828 * [backup-simplify]: Simplify (* (sqrt 9.0) (sqrt 9.0)) into (pow (sqrt 9.0) 2)
50.828 * [backup-simplify]: Simplify (* 1 1) into 1
50.830 * [backup-simplify]: Simplify (/ (pow (sqrt 9.0) 2) 1) into (pow (sqrt 9.0) 2)
50.830 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
50.830 * [taylor]: Taking taylor expansion of 12.0 in x
50.830 * [backup-simplify]: Simplify 12.0 into 12.0
50.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x
50.830 * [taylor]: Taking taylor expansion of x in x
50.830 * [backup-simplify]: Simplify 0 into 0
50.830 * [backup-simplify]: Simplify 1 into 1
50.831 * [backup-simplify]: Simplify (/ 1 1) into 1
50.832 * [backup-simplify]: Simplify (+ (pow (sqrt 9.0) 2) 0) into (pow (sqrt 9.0) 2)
50.834 * [backup-simplify]: Simplify (- (pow (sqrt 9.0) 2)) into (- (pow (sqrt 9.0) 2))
50.835 * [backup-simplify]: Simplify (- (pow (sqrt 9.0) 2)) into (- (pow (sqrt 9.0) 2))
50.836 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (* 0 (sqrt 9.0))) into 0
50.837 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
50.838 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)))) into 0
50.838 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
50.839 * [backup-simplify]: Simplify (+ 0 12.0) into 12.0
50.839 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
50.840 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
50.841 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 9.0))) into 0
50.842 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (* 0 (sqrt 9.0)))) into 0
50.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
50.845 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
50.846 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
50.847 * [backup-simplify]: Simplify (+ 0 0) into 0
50.847 * [backup-simplify]: Simplify (- 0) into 0
50.847 * [backup-simplify]: Simplify 0 into 0
50.849 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.850 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))) into 0
50.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
50.852 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.854 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (* 0 1))) into 0
50.854 * [backup-simplify]: Simplify (+ 0 0) into 0
50.855 * [backup-simplify]: Simplify (- 0) into 0
50.855 * [backup-simplify]: Simplify 0 into 0
50.857 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.858 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0)))))) into 0
50.860 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
50.861 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.863 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.864 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
50.864 * [backup-simplify]: Simplify (+ 0 0) into 0
50.864 * [backup-simplify]: Simplify (- 0) into 0
50.864 * [backup-simplify]: Simplify 0 into 0
50.866 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.868 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))))) into 0
50.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
50.871 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.872 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.874 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
50.874 * [backup-simplify]: Simplify (+ 0 0) into 0
50.875 * [backup-simplify]: Simplify (- 0) into 0
50.875 * [backup-simplify]: Simplify 0 into 0
50.876 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.881 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0)))))))) into 0
50.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
50.885 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.886 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.888 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
50.888 * [backup-simplify]: Simplify (+ 0 0) into 0
50.888 * [backup-simplify]: Simplify (- 0) into 0
50.888 * [backup-simplify]: Simplify 0 into 0
50.890 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0
50.892 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))))))) into 0
50.894 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
50.895 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.897 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
50.899 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
50.899 * [backup-simplify]: Simplify (+ 0 0) into 0
50.899 * [backup-simplify]: Simplify (- 0) into 0
50.899 * [backup-simplify]: Simplify 0 into 0
50.902 * [backup-simplify]: Simplify (+ (* (- 12.0) (/ 1 (/ 1 (- x)))) (* (- (pow (sqrt 9.0) 2)) (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 12.0 x) (* (pow x 2) (pow (sqrt 9.0) 2)))
50.902 * * * [progress]: simplifying candidates
50.904 * [simplify]: Simplifying:
  (* (* x x) (sqrt 9.0))
  (* (* x x) (sqrt 9.0))
  (+ (+ (log x) (log x)) (log (sqrt 9.0)))
  (+ (log (* x x)) (log (sqrt 9.0)))
  (log (* (* x x) (sqrt 9.0)))
  (exp (* (* x x) (sqrt 9.0)))
  (* (* (* (* x x) x) (* (* x x) x)) (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)))
  (* (* (* (* x x) (* x x)) (* x x)) (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)))
  (* (cbrt (* (* x x) (sqrt 9.0))) (cbrt (* (* x x) (sqrt 9.0))))
  (cbrt (* (* x x) (sqrt 9.0)))
  (* (* (* (* x x) (sqrt 9.0)) (* (* x x) (sqrt 9.0))) (* (* x x) (sqrt 9.0)))
  (sqrt (* (* x x) (sqrt 9.0)))
  (sqrt (* (* x x) (sqrt 9.0)))
  (* x (sqrt (sqrt 9.0)))
  (* x (sqrt (sqrt 9.0)))
  (* x (sqrt (sqrt 9.0)))
  (* x (sqrt (sqrt 9.0)))
  (* (* x x) (* (cbrt (sqrt 9.0)) (cbrt (sqrt 9.0))))
  (* (* x x) (sqrt (* (cbrt 9.0) (cbrt 9.0))))
  (* (* x x) (sqrt (sqrt 9.0)))
  (* (* x x) (sqrt 1))
  (* (* x x) (sqrt (sqrt 9.0)))
  (* (* x x) 1)
  (* x (sqrt 9.0))
  (* (* (* x x) (sqrt 9.0)) (sqrt 9.0))
  (* (* (* x x) (sqrt 9.0)) (sqrt 9.0))
  (* (* (* x x) (sqrt 9.0)) (sqrt 9.0))
  (+ (+ (+ (log x) (log x)) (log (sqrt 9.0))) (log (sqrt 9.0)))
  (+ (+ (log (* x x)) (log (sqrt 9.0))) (log (sqrt 9.0)))
  (+ (log (* (* x x) (sqrt 9.0))) (log (sqrt 9.0)))
  (log (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)))
  (exp (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)))
  (* (* (* (* (* x x) x) (* (* x x) x)) (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0))) (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)))
  (* (* (* (* (* x x) (* x x)) (* x x)) (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0))) (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)))
  (* (* (* (* (* x x) (sqrt 9.0)) (* (* x x) (sqrt 9.0))) (* (* x x) (sqrt 9.0))) (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)))
  (* (cbrt (* (* (* x x) (sqrt 9.0)) (sqrt 9.0))) (cbrt (* (* (* x x) (sqrt 9.0)) (sqrt 9.0))))
  (cbrt (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)))
  (* (* (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)) (* (* (* x x) (sqrt 9.0)) (sqrt 9.0))) (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)))
  (sqrt (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)))
  (sqrt (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)))
  (* (* (* x x) (sqrt 9.0)) (* (cbrt (sqrt 9.0)) (cbrt (sqrt 9.0))))
  (* (* (* x x) (sqrt 9.0)) (sqrt (* (cbrt 9.0) (cbrt 9.0))))
  (* (* (* x x) (sqrt 9.0)) (sqrt (sqrt 9.0)))
  (* (* (* x x) (sqrt 9.0)) (sqrt 1))
  (* (* (* x x) (sqrt 9.0)) (sqrt (sqrt 9.0)))
  (* (* (* x x) (sqrt 9.0)) 1)
  (* (sqrt 9.0) (sqrt 9.0))
  (/ (exp (* x 12.0)) (exp (* (* (* x x) (sqrt 9.0)) (sqrt 9.0))))
  (log (- (* x 12.0) (* (* (* x x) (sqrt 9.0)) (sqrt 9.0))))
  (exp (- (* x 12.0) (* (* (* x x) (sqrt 9.0)) (sqrt 9.0))))
  (* (cbrt (- (* x 12.0) (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)))) (cbrt (- (* x 12.0) (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)))))
  (cbrt (- (* x 12.0) (* (* (* x x) (sqrt 9.0)) (sqrt 9.0))))
  (* (* (- (* x 12.0) (* (* (* x x) (sqrt 9.0)) (sqrt 9.0))) (- (* x 12.0) (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)))) (- (* x 12.0) (* (* (* x x) (sqrt 9.0)) (sqrt 9.0))))
  (sqrt (- (* x 12.0) (* (* (* x x) (sqrt 9.0)) (sqrt 9.0))))
  (sqrt (- (* x 12.0) (* (* (* x x) (sqrt 9.0)) (sqrt 9.0))))
  (- (pow (* x 12.0) 3) (pow (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)) 3))
  (+ (* (* x 12.0) (* x 12.0)) (+ (* (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)) (* (* (* x x) (sqrt 9.0)) (sqrt 9.0))) (* (* x 12.0) (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)))))
  (- (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)))
  (- (* (* x 12.0) (* x 12.0)) (* (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)) (* (* (* x x) (sqrt 9.0)) (sqrt 9.0))))
  (+ (* x 12.0) (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)))
  (- (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)))
  (* (pow x 2) (sqrt 9.0))
  (* (pow x 2) (sqrt 9.0))
  (* (pow x 2) (sqrt 9.0))
  (* (pow x 2) (pow (sqrt 9.0) 2))
  (* (pow x 2) (pow (sqrt 9.0) 2))
  (* (pow x 2) (pow (sqrt 9.0) 2))
  (- (* 12.0 x) (* (pow x 2) (pow (sqrt 9.0) 2)))
  (- (* 12.0 x) (* (pow x 2) (pow (sqrt 9.0) 2)))
  (- (* 12.0 x) (* (pow x 2) (pow (sqrt 9.0) 2)))
50.907 * * [simplify]: iteration 0: 90 enodes
50.963 * * [simplify]: iteration 1: 252 enodes
51.267 * * [simplify]: iteration 2: 965 enodes
55.789 * * [simplify]: iteration 3: 3551 enodes
62.063 * * [simplify]: iteration complete: 5002 enodes
62.074 * * [simplify]: Extracting #0: cost 36 inf + 0
62.076 * * [simplify]: Extracting #1: cost 525 inf + 1
62.095 * * [simplify]: Extracting #2: cost 1290 inf + 10740
62.166 * * [simplify]: Extracting #3: cost 770 inf + 119522
62.547 * * [simplify]: Extracting #4: cost 104 inf + 238109
62.787 * * [simplify]: Extracting #5: cost 7 inf + 263696
63.011 * * [simplify]: Extracting #6: cost 0 inf + 268793
63.440 * [simplify]: Simplified to:
  (* x (* x (sqrt 9.0)))
  (* x (* x (sqrt 9.0)))
  (log (* x (* x (sqrt 9.0))))
  (log (* x (* x (sqrt 9.0))))
  (log (* x (* x (sqrt 9.0))))
  (exp (* x (* x (sqrt 9.0))))
  (* (* (* (* x x) (* x x)) (* (sqrt 9.0) 9.0)) (* x x))
  (* (* (* (* x x) (* x x)) (* (sqrt 9.0) 9.0)) (* x x))
  (* (cbrt (* x (* x (sqrt 9.0)))) (cbrt (* x (* x (sqrt 9.0)))))
  (cbrt (* x (* x (sqrt 9.0))))
  (* (* (* (* x x) (* x x)) (* (sqrt 9.0) 9.0)) (* x x))
  (sqrt (* x (* x (sqrt 9.0))))
  (sqrt (* x (* x (sqrt 9.0))))
  (* x (sqrt (sqrt 9.0)))
  (* x (sqrt (sqrt 9.0)))
  (* x (sqrt (sqrt 9.0)))
  (* x (sqrt (sqrt 9.0)))
  (* (* x (cbrt (sqrt 9.0))) (* x (cbrt (sqrt 9.0))))
  (* (fabs (cbrt 9.0)) (* x x))
  (* x (* x (sqrt (sqrt 9.0))))
  (* x x)
  (* x (* x (sqrt (sqrt 9.0))))
  (* x x)
  (* x (sqrt 9.0))
  (* (* 9.0 x) x)
  (* (* 9.0 x) x)
  (* (* 9.0 x) x)
  (log (* (* 9.0 x) x))
  (log (* (* 9.0 x) x))
  (log (* (* 9.0 x) x))
  (log (* (* 9.0 x) x))
  (exp (* (* 9.0 x) x))
  (* (* (* (* x x) (* 9.0 x)) (* (* x x) (* 9.0 x))) 9.0)
  (* (* (* (* x x) (* 9.0 x)) (* (* x x) (* 9.0 x))) 9.0)
  (* (* (* (* x x) (* 9.0 x)) (* (* x x) (* 9.0 x))) 9.0)
  (* (cbrt (* (* 9.0 x) x)) (cbrt (* (* 9.0 x) x)))
  (cbrt (* (* 9.0 x) x))
  (* (* (* (* x x) (* 9.0 x)) (* (* x x) (* 9.0 x))) 9.0)
  (sqrt (* (* 9.0 x) x))
  (sqrt (* (* 9.0 x) x))
  (* (* x (cbrt (sqrt 9.0))) (* (* x (cbrt (sqrt 9.0))) (sqrt 9.0)))
  (* (fabs (cbrt 9.0)) (* x (* x (sqrt 9.0))))
  (* (* (* x x) (sqrt 9.0)) (sqrt (sqrt 9.0)))
  (* x (* x (sqrt 9.0)))
  (* (* (* x x) (sqrt 9.0)) (sqrt (sqrt 9.0)))
  (* x (* x (sqrt 9.0)))
  9.0
  (exp (- (* 12.0 x) (* (* 9.0 x) x)))
  (log (- (* 12.0 x) (* (* 9.0 x) x)))
  (exp (- (* 12.0 x) (* (* 9.0 x) x)))
  (* (cbrt (- (* 12.0 x) (* (* 9.0 x) x))) (cbrt (- (* 12.0 x) (* (* 9.0 x) x))))
  (cbrt (- (* 12.0 x) (* (* 9.0 x) x)))
  (* (* (- (* 12.0 x) (* (* 9.0 x) x)) (- (* 12.0 x) (* (* 9.0 x) x))) (- (* 12.0 x) (* (* 9.0 x) x)))
  (sqrt (- (* 12.0 x) (* (* 9.0 x) x)))
  (sqrt (- (* 12.0 x) (* (* 9.0 x) x)))
  (- (* (* (* 12.0 x) (* 12.0 x)) (* 12.0 x)) (* (* (* (* x x) (* 9.0 x)) (* (* x x) (* 9.0 x))) 9.0))
  (+ (* (* (* 9.0 x) x) (+ (* 12.0 x) (* (* 9.0 x) x))) (* (* 12.0 x) (* 12.0 x)))
  (* 9.0 (- (* x x)))
  (* (+ (* 12.0 x) (* (* 9.0 x) x)) (- (* 12.0 x) (* (* 9.0 x) x)))
  (+ (* 12.0 x) (* (* 9.0 x) x))
  (* 9.0 (- (* x x)))
  (* x (* x (sqrt 9.0)))
  (* x (* x (sqrt 9.0)))
  (* x (* x (sqrt 9.0)))
  (* (* 9.0 x) x)
  (* (* 9.0 x) x)
  (* (* 9.0 x) x)
  (- (* 12.0 x) (* (* 9.0 x) x))
  (- (* 12.0 x) (* (* 9.0 x) x))
  (- (* 12.0 x) (* (* 9.0 x) x))
63.563 * * * [progress]: adding candidates to table
64.903 * [progress]: [Phase 3 of 3] Extracting.
64.903 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (- 3.0 (- (* x 12.0) (* (* (* x (cbrt (sqrt 9.0))) (* (* x (cbrt (sqrt 9.0))) (sqrt 9.0))) (cbrt (sqrt 9.0))))))> #<alt (λ (x) (- 3.0 (- (* x 12.0) (* (* (fabs (cbrt 9.0)) (* x (* x (sqrt 9.0)))) (sqrt (cbrt 9.0))))))> #<alt (λ (x) (- 3.0 (* (* (cbrt (* x (- 12.0 (* x 9.0)))) (cbrt (* x (- 12.0 (* x 9.0))))) (cbrt (* x (- 12.0 (* x 9.0)))))))> #<alt (λ (x) (- 3.0 (- (* x 12.0) (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)))))> #<alt (λ (x) (- 3.0 (* x (- 12.0 (* x 9.0)))))> #<alt (λ (x) (- 3.0 (- (* x 12.0) (* (* (* x (cbrt 9.0)) (* x (cbrt 9.0))) (cbrt 9.0)))))>)
64.926 * * * [regime-changes]: Trying 1 branch expressions: (x)
64.926 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (- 3.0 (- (* x 12.0) (* (* (* x (cbrt (sqrt 9.0))) (* (* x (cbrt (sqrt 9.0))) (sqrt 9.0))) (cbrt (sqrt 9.0))))))> #<alt (λ (x) (- 3.0 (- (* x 12.0) (* (* (fabs (cbrt 9.0)) (* x (* x (sqrt 9.0)))) (sqrt (cbrt 9.0))))))> #<alt (λ (x) (- 3.0 (* (* (cbrt (* x (- 12.0 (* x 9.0)))) (cbrt (* x (- 12.0 (* x 9.0))))) (cbrt (* x (- 12.0 (* x 9.0)))))))> #<alt (λ (x) (- 3.0 (- (* x 12.0) (* (* (* x x) (sqrt 9.0)) (sqrt 9.0)))))> #<alt (λ (x) (- 3.0 (* x (- 12.0 (* x 9.0)))))> #<alt (λ (x) (- 3.0 (- (* x 12.0) (* (* (* x (cbrt 9.0)) (* x (cbrt 9.0))) (cbrt 9.0)))))>)
65.374 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
65.375 * [simplify]: Simplifying:
  (- 3.0 (* x (- 12.0 (* x 9.0))))
65.376 * * [simplify]: iteration 0: 8 enodes
65.377 * * [simplify]: iteration 1: 10 enodes
65.378 * * [simplify]: iteration complete: 10 enodes
65.378 * * [simplify]: Extracting #0: cost 1 inf + 0
65.378 * * [simplify]: Extracting #1: cost 3 inf + 0
65.378 * * [simplify]: Extracting #2: cost 4 inf + 1
65.378 * * [simplify]: Extracting #3: cost 5 inf + 2
65.378 * * [simplify]: Extracting #4: cost 5 inf + 3
65.378 * * [simplify]: Extracting #5: cost 0 inf + 416
65.378 * [simplify]: Simplified to:
  (- 3.0 (* (- 12.0 (* 9.0 x)) x))
70.020 * [regime-testing]: Baseline error score: 0.09365286698549131
70.059 * [regime-testing]: Oracle error score: 0.010791589960605997
70.156 * [regime-testing]: End program error score: 0.09365286698549131
70.273 * [regime-testing]: Target error score: 0.09789683905451317