9.034 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.034 * [progress]: [Phase 2 of 3] Improving.
0.034 * [simplify]: Simplifying:
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
0.035 * * [simplify]: Extracting # 0 : cost  0
0.035 * * [simplify]: Extracting # 1 : cost  0
0.035 * * [simplify]: Extracting # 2 : cost  0
0.035 * * [simplify]: Extracting # 3 : cost  0
0.035 * * [simplify]: Extracting # 4 : cost  0
0.035 * * [simplify]: Extracting # 5 : cost  0
0.035 * * [simplify]: Extracting # 6 : cost  0
0.035 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
0.038 * * [simplify]: Extracting # 0 : cost  0
0.038 * * [simplify]: Extracting # 1 : cost  0
0.038 * * [simplify]: Extracting # 2 : cost  0
0.038 * * [simplify]: iteration  1 :  15  enodes  (cost  9 )
0.043 * * [simplify]: Extracting # 0 : cost  0
0.043 * * [simplify]: Extracting # 1 : cost  0
0.043 * * [simplify]: Extracting # 2 : cost  0
0.043 * * [simplify]: iteration  2 :  31  enodes  (cost  9 )
0.070 * * [simplify]: Extracting # 0 : cost  0
0.070 * * [simplify]: Extracting # 1 : cost  0
0.071 * * [simplify]: Extracting # 2 : cost  0
0.071 * * [simplify]: iteration  3 :  73  enodes  (cost  9 )
0.092 * * [simplify]: Extracting # 0 : cost  0
0.092 * * [simplify]: Extracting # 1 : cost  0
0.092 * * [simplify]: Extracting # 2 : cost  0
0.093 * * [simplify]: iteration  4 :  150  enodes  (cost  9 )
0.139 * * [simplify]: Extracting # 0 : cost  0
0.140 * * [simplify]: Extracting # 1 : cost  0
0.140 * * [simplify]: Extracting # 2 : cost  0
0.140 * * [simplify]: iteration  5 :  231  enodes  (cost  9 )
0.227 * * [simplify]: Extracting # 0 : cost  0
0.227 * * [simplify]: Extracting # 1 : cost  0
0.228 * * [simplify]: Extracting # 2 : cost  0
0.228 * * [simplify]: iteration  6 :  309  enodes  (cost  9 )
0.381 * * [simplify]: Extracting # 0 : cost  0
0.381 * * [simplify]: Extracting # 1 : cost  0
0.382 * * [simplify]: Extracting # 2 : cost  0
0.382 * * [simplify]: iteration  7 :  379  enodes  (cost  9 )
0.540 * * [simplify]: Extracting # 0 : cost  0
0.540 * * [simplify]: Extracting # 1 : cost  0
0.541 * * [simplify]: Extracting # 2 : cost  0
0.541 * * [simplify]: iteration  8 :  430  enodes  (cost  9 )
0.705 * * [simplify]: Extracting # 0 : cost  0
0.706 * * [simplify]: iteration  9 :  443  enodes  (cost  9 )
0.878 * * [simplify]: Extracting # 0 : cost  0
0.879 * * [simplify]: iteration  10 :  446  enodes  (cost  9 )
1.074 * * [simplify]: Extracting # 0 : cost  0
1.075 * * [simplify]: iteration done:  446  enodes  (cost  9 )
1.075 * [simplify]: Simplified to:
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
1.075 * * [progress]: iteration 1 / 4
1.075 * * * [progress]: picking best candidate
1.076 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))>
1.076 * * * [progress]: localizing error
1.084 * * * [progress]: generating rewritten candidates
1.084 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1.184 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
1.239 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
1.257 * * * [progress]: generating series expansions
1.257 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1.258 * [backup-simplify]: Simplify (* (* (- x (/ 16.0 116.0)) 3.0) y) into (* 3.0 (* (- x 0.13793103448275862) y))
1.258 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0
1.258 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
1.258 * [taylor]: Taking taylor expansion of 3.0 in y
1.258 * [backup-simplify]: Simplify 3.0 into 3.0
1.258 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
1.258 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
1.258 * [taylor]: Taking taylor expansion of x in y
1.258 * [backup-simplify]: Simplify x into x
1.258 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
1.258 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.258 * [taylor]: Taking taylor expansion of y in y
1.258 * [backup-simplify]: Simplify 0 into 0
1.258 * [backup-simplify]: Simplify 1 into 1
1.258 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
1.258 * [taylor]: Taking taylor expansion of 3.0 in x
1.258 * [backup-simplify]: Simplify 3.0 into 3.0
1.258 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
1.258 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
1.258 * [taylor]: Taking taylor expansion of x in x
1.258 * [backup-simplify]: Simplify 0 into 0
1.258 * [backup-simplify]: Simplify 1 into 1
1.258 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.258 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.258 * [taylor]: Taking taylor expansion of y in x
1.258 * [backup-simplify]: Simplify y into y
1.258 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
1.258 * [taylor]: Taking taylor expansion of 3.0 in x
1.258 * [backup-simplify]: Simplify 3.0 into 3.0
1.258 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
1.258 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
1.258 * [taylor]: Taking taylor expansion of x in x
1.258 * [backup-simplify]: Simplify 0 into 0
1.258 * [backup-simplify]: Simplify 1 into 1
1.258 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.258 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.258 * [taylor]: Taking taylor expansion of y in x
1.258 * [backup-simplify]: Simplify y into y
1.259 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.259 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
1.260 * [backup-simplify]: Simplify (* (- 0.13793103448275862) y) into (* -0.13793103448275862 y)
1.260 * [backup-simplify]: Simplify (* 3.0 (* -0.13793103448275862 y)) into (* -0.41379310344827586 y)
1.260 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
1.260 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
1.260 * [backup-simplify]: Simplify -0.41379310344827586 into -0.41379310344827586
1.260 * [taylor]: Taking taylor expansion of y in y
1.260 * [backup-simplify]: Simplify 0 into 0
1.260 * [backup-simplify]: Simplify 1 into 1
1.260 * [backup-simplify]: Simplify (* -0.41379310344827586 0) into 0
1.260 * [backup-simplify]: Simplify 0 into 0
1.260 * [backup-simplify]: Simplify (- 0) into 0
1.261 * [backup-simplify]: Simplify (+ 1 0) into 1
1.261 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (* 1 y)) into y
1.261 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 (* -0.13793103448275862 y))) into (* 3.0 y)
1.261 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
1.261 * [taylor]: Taking taylor expansion of 3.0 in y
1.261 * [backup-simplify]: Simplify 3.0 into 3.0
1.261 * [taylor]: Taking taylor expansion of y in y
1.261 * [backup-simplify]: Simplify 0 into 0
1.261 * [backup-simplify]: Simplify 1 into 1
1.261 * [backup-simplify]: Simplify (* 3.0 0) into 0
1.261 * [backup-simplify]: Simplify 0 into 0
1.262 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 1) (* 0 0)) into (- 0.41379310344827586)
1.262 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
1.263 * [backup-simplify]: Simplify (- 0) into 0
1.263 * [backup-simplify]: Simplify (+ 0 0) into 0
1.263 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (* 0 y))) into 0
1.264 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))) into 0
1.264 * [taylor]: Taking taylor expansion of 0 in y
1.264 * [backup-simplify]: Simplify 0 into 0
1.264 * [backup-simplify]: Simplify 0 into 0
1.265 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
1.265 * [backup-simplify]: Simplify 3.0 into 3.0
1.265 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 1) (* 0 0))) into 0
1.265 * [backup-simplify]: Simplify 0 into 0
1.265 * [backup-simplify]: Simplify (- 0) into 0
1.266 * [backup-simplify]: Simplify (+ 0 0) into 0
1.266 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1.267 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y))))) into 0
1.267 * [taylor]: Taking taylor expansion of 0 in y
1.267 * [backup-simplify]: Simplify 0 into 0
1.267 * [backup-simplify]: Simplify 0 into 0
1.267 * [backup-simplify]: Simplify 0 into 0
1.268 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
1.268 * [backup-simplify]: Simplify 0 into 0
1.268 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.268 * [backup-simplify]: Simplify 0 into 0
1.269 * [backup-simplify]: Simplify (- 0) into 0
1.269 * [backup-simplify]: Simplify (+ 0 0) into 0
1.270 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
1.271 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))))) into 0
1.271 * [taylor]: Taking taylor expansion of 0 in y
1.271 * [backup-simplify]: Simplify 0 into 0
1.271 * [backup-simplify]: Simplify 0 into 0
1.271 * [backup-simplify]: Simplify (+ (* 3.0 (* y x)) (* (- 0.41379310344827586) (* y 1))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
1.272 * [backup-simplify]: Simplify (* (* (- (/ 1 x) (/ 16.0 116.0)) 3.0) (/ 1 y)) into (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y))
1.272 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0
1.272 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
1.272 * [taylor]: Taking taylor expansion of 3.0 in y
1.272 * [backup-simplify]: Simplify 3.0 into 3.0
1.272 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
1.272 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
1.272 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.272 * [taylor]: Taking taylor expansion of x in y
1.272 * [backup-simplify]: Simplify x into x
1.272 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.272 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
1.272 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.272 * [taylor]: Taking taylor expansion of y in y
1.272 * [backup-simplify]: Simplify 0 into 0
1.272 * [backup-simplify]: Simplify 1 into 1
1.272 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.272 * [backup-simplify]: Simplify (+ (/ 1 x) (- 0.13793103448275862)) into (- (/ 1 x) 0.13793103448275862)
1.272 * [backup-simplify]: Simplify (/ (- (/ 1 x) 0.13793103448275862) 1) into (- (/ 1 x) 0.13793103448275862)
1.272 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
1.272 * [taylor]: Taking taylor expansion of 3.0 in x
1.272 * [backup-simplify]: Simplify 3.0 into 3.0
1.272 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
1.273 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
1.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.273 * [taylor]: Taking taylor expansion of x in x
1.273 * [backup-simplify]: Simplify 0 into 0
1.273 * [backup-simplify]: Simplify 1 into 1
1.273 * [backup-simplify]: Simplify (/ 1 1) into 1
1.273 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.273 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.273 * [taylor]: Taking taylor expansion of y in x
1.273 * [backup-simplify]: Simplify y into y
1.273 * [backup-simplify]: Simplify (+ 1 0) into 1
1.273 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.273 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
1.273 * [taylor]: Taking taylor expansion of 3.0 in x
1.273 * [backup-simplify]: Simplify 3.0 into 3.0
1.273 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
1.273 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
1.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.273 * [taylor]: Taking taylor expansion of x in x
1.273 * [backup-simplify]: Simplify 0 into 0
1.273 * [backup-simplify]: Simplify 1 into 1
1.274 * [backup-simplify]: Simplify (/ 1 1) into 1
1.274 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.274 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.274 * [taylor]: Taking taylor expansion of y in x
1.274 * [backup-simplify]: Simplify y into y
1.274 * [backup-simplify]: Simplify (+ 1 0) into 1
1.274 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.274 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
1.274 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
1.274 * [taylor]: Taking taylor expansion of 3.0 in y
1.274 * [backup-simplify]: Simplify 3.0 into 3.0
1.274 * [taylor]: Taking taylor expansion of y in y
1.274 * [backup-simplify]: Simplify 0 into 0
1.274 * [backup-simplify]: Simplify 1 into 1
1.274 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
1.275 * [backup-simplify]: Simplify 3.0 into 3.0
1.275 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.275 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.276 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
1.276 * [backup-simplify]: Simplify (- (/ (- 0.13793103448275862) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (* 0.13793103448275862 (/ 1 y)))
1.276 * [backup-simplify]: Simplify (+ (* 3.0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))) into (- (* 0.41379310344827586 (/ 1 y)))
1.276 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
1.277 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
1.277 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
1.277 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
1.277 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.277 * [taylor]: Taking taylor expansion of y in y
1.277 * [backup-simplify]: Simplify 0 into 0
1.277 * [backup-simplify]: Simplify 1 into 1
1.277 * [backup-simplify]: Simplify (/ 1 1) into 1
1.277 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
1.277 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
1.278 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
1.278 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
1.278 * [backup-simplify]: Simplify 0 into 0
1.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.279 * [backup-simplify]: Simplify (- 0) into 0
1.279 * [backup-simplify]: Simplify (+ 0 0) into 0
1.279 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)))) into 0
1.280 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y)))) into 0
1.280 * [taylor]: Taking taylor expansion of 0 in y
1.280 * [backup-simplify]: Simplify 0 into 0
1.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.280 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
1.281 * [backup-simplify]: Simplify (- 0) into 0
1.281 * [backup-simplify]: Simplify 0 into 0
1.281 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.281 * [backup-simplify]: Simplify 0 into 0
1.282 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.282 * [backup-simplify]: Simplify (- 0) into 0
1.282 * [backup-simplify]: Simplify (+ 0 0) into 0
1.283 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.283 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))))) into 0
1.283 * [taylor]: Taking taylor expansion of 0 in y
1.283 * [backup-simplify]: Simplify 0 into 0
1.283 * [backup-simplify]: Simplify 0 into 0
1.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.284 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
1.284 * [backup-simplify]: Simplify (- 0) into 0
1.284 * [backup-simplify]: Simplify 0 into 0
1.285 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.285 * [backup-simplify]: Simplify 0 into 0
1.285 * [backup-simplify]: Simplify (+ (* (- 0.41379310344827586) (* (/ 1 (/ 1 y)) 1)) (* 3.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
1.286 * [backup-simplify]: Simplify (* (* (- (/ 1 (- x)) (/ 16.0 116.0)) 3.0) (/ 1 (- y))) into (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y))
1.286 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0
1.286 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
1.286 * [taylor]: Taking taylor expansion of 3.0 in y
1.286 * [backup-simplify]: Simplify 3.0 into 3.0
1.286 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
1.286 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
1.286 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
1.286 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.286 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.286 * [taylor]: Taking taylor expansion of x in y
1.286 * [backup-simplify]: Simplify x into x
1.286 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.286 * [taylor]: Taking taylor expansion of y in y
1.286 * [backup-simplify]: Simplify 0 into 0
1.286 * [backup-simplify]: Simplify 1 into 1
1.286 * [backup-simplify]: Simplify (+ 0.13793103448275862 (/ 1 x)) into (+ (/ 1 x) 0.13793103448275862)
1.286 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 0.13793103448275862) 1) into (+ 0.13793103448275862 (/ 1 x))
1.286 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
1.286 * [taylor]: Taking taylor expansion of 3.0 in x
1.286 * [backup-simplify]: Simplify 3.0 into 3.0
1.286 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
1.286 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.286 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.286 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.286 * [taylor]: Taking taylor expansion of x in x
1.286 * [backup-simplify]: Simplify 0 into 0
1.286 * [backup-simplify]: Simplify 1 into 1
1.287 * [backup-simplify]: Simplify (/ 1 1) into 1
1.287 * [taylor]: Taking taylor expansion of y in x
1.287 * [backup-simplify]: Simplify y into y
1.287 * [backup-simplify]: Simplify (+ 0 1) into 1
1.287 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.287 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
1.287 * [taylor]: Taking taylor expansion of 3.0 in x
1.287 * [backup-simplify]: Simplify 3.0 into 3.0
1.287 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
1.287 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.287 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.287 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.287 * [taylor]: Taking taylor expansion of x in x
1.287 * [backup-simplify]: Simplify 0 into 0
1.287 * [backup-simplify]: Simplify 1 into 1
1.287 * [backup-simplify]: Simplify (/ 1 1) into 1
1.288 * [taylor]: Taking taylor expansion of y in x
1.288 * [backup-simplify]: Simplify y into y
1.288 * [backup-simplify]: Simplify (+ 0 1) into 1
1.288 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.288 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
1.288 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
1.288 * [taylor]: Taking taylor expansion of 3.0 in y
1.288 * [backup-simplify]: Simplify 3.0 into 3.0
1.288 * [taylor]: Taking taylor expansion of y in y
1.288 * [backup-simplify]: Simplify 0 into 0
1.288 * [backup-simplify]: Simplify 1 into 1
1.291 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
1.291 * [backup-simplify]: Simplify 3.0 into 3.0
1.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.292 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
1.292 * [backup-simplify]: Simplify (- (/ 0.13793103448275862 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 0.13793103448275862 (/ 1 y))
1.293 * [backup-simplify]: Simplify (+ (* 3.0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))) into (* 0.41379310344827586 (/ 1 y))
1.293 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
1.293 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
1.293 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
1.293 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.293 * [taylor]: Taking taylor expansion of y in y
1.293 * [backup-simplify]: Simplify 0 into 0
1.293 * [backup-simplify]: Simplify 1 into 1
1.293 * [backup-simplify]: Simplify (/ 1 1) into 1
1.293 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
1.293 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
1.294 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
1.294 * [backup-simplify]: Simplify 0 into 0
1.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.294 * [backup-simplify]: Simplify (+ 0 0) into 0
1.295 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)))) into 0
1.295 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y)))) into 0
1.295 * [taylor]: Taking taylor expansion of 0 in y
1.295 * [backup-simplify]: Simplify 0 into 0
1.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.296 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
1.296 * [backup-simplify]: Simplify 0 into 0
1.296 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.296 * [backup-simplify]: Simplify 0 into 0
1.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.297 * [backup-simplify]: Simplify (+ 0 0) into 0
1.297 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.298 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))))) into 0
1.298 * [taylor]: Taking taylor expansion of 0 in y
1.298 * [backup-simplify]: Simplify 0 into 0
1.298 * [backup-simplify]: Simplify 0 into 0
1.299 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.299 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
1.299 * [backup-simplify]: Simplify 0 into 0
1.301 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.301 * [backup-simplify]: Simplify 0 into 0
1.301 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 (* (/ 1 (/ 1 (- y))) 1)) (* 3.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
1.301 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
1.302 * [backup-simplify]: Simplify (* (- x (/ 16.0 116.0)) 3.0) into (* 3.0 (- x 0.13793103448275862))
1.302 * [approximate]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in (x) around 0
1.302 * [taylor]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in x
1.302 * [taylor]: Taking taylor expansion of 3.0 in x
1.302 * [backup-simplify]: Simplify 3.0 into 3.0
1.302 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
1.302 * [taylor]: Taking taylor expansion of x in x
1.302 * [backup-simplify]: Simplify 0 into 0
1.302 * [backup-simplify]: Simplify 1 into 1
1.302 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.302 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.302 * [taylor]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in x
1.302 * [taylor]: Taking taylor expansion of 3.0 in x
1.302 * [backup-simplify]: Simplify 3.0 into 3.0
1.302 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
1.302 * [taylor]: Taking taylor expansion of x in x
1.302 * [backup-simplify]: Simplify 0 into 0
1.302 * [backup-simplify]: Simplify 1 into 1
1.302 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.302 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.302 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.303 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
1.304 * [backup-simplify]: Simplify (* 3.0 (- 0.13793103448275862)) into -0.41379310344827586
1.304 * [backup-simplify]: Simplify -0.41379310344827586 into -0.41379310344827586
1.304 * [backup-simplify]: Simplify (- 0) into 0
1.305 * [backup-simplify]: Simplify (+ 1 0) into 1
1.306 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 (- 0.13793103448275862))) into 3.0
1.306 * [backup-simplify]: Simplify 3.0 into 3.0
1.307 * [backup-simplify]: Simplify (- 0) into 0
1.307 * [backup-simplify]: Simplify (+ 0 0) into 0
1.308 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862)))) into 0
1.308 * [backup-simplify]: Simplify 0 into 0
1.309 * [backup-simplify]: Simplify (- 0) into 0
1.309 * [backup-simplify]: Simplify (+ 0 0) into 0
1.310 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862))))) into 0
1.310 * [backup-simplify]: Simplify 0 into 0
1.310 * [backup-simplify]: Simplify (- 0) into 0
1.310 * [backup-simplify]: Simplify (+ 0 0) into 0
1.311 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862)))))) into 0
1.311 * [backup-simplify]: Simplify 0 into 0
1.312 * [backup-simplify]: Simplify (- 0) into 0
1.312 * [backup-simplify]: Simplify (+ 0 0) into 0
1.313 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862))))))) into 0
1.313 * [backup-simplify]: Simplify 0 into 0
1.313 * [backup-simplify]: Simplify (- 0) into 0
1.313 * [backup-simplify]: Simplify (+ 0 0) into 0
1.315 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862)))))))) into 0
1.315 * [backup-simplify]: Simplify 0 into 0
1.315 * [backup-simplify]: Simplify (- 0) into 0
1.315 * [backup-simplify]: Simplify (+ 0 0) into 0
1.316 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862))))))))) into 0
1.316 * [backup-simplify]: Simplify 0 into 0
1.316 * [backup-simplify]: Simplify (+ (* 3.0 x) -0.41379310344827586) into (- (* 3.0 x) 0.41379310344827586)
1.317 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 16.0 116.0)) 3.0) into (* 3.0 (- (/ 1 x) 0.13793103448275862))
1.317 * [approximate]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in (x) around 0
1.317 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in x
1.317 * [taylor]: Taking taylor expansion of 3.0 in x
1.317 * [backup-simplify]: Simplify 3.0 into 3.0
1.317 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
1.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.317 * [taylor]: Taking taylor expansion of x in x
1.317 * [backup-simplify]: Simplify 0 into 0
1.317 * [backup-simplify]: Simplify 1 into 1
1.317 * [backup-simplify]: Simplify (/ 1 1) into 1
1.317 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.317 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.317 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in x
1.317 * [taylor]: Taking taylor expansion of 3.0 in x
1.317 * [backup-simplify]: Simplify 3.0 into 3.0
1.317 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
1.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.317 * [taylor]: Taking taylor expansion of x in x
1.317 * [backup-simplify]: Simplify 0 into 0
1.317 * [backup-simplify]: Simplify 1 into 1
1.318 * [backup-simplify]: Simplify (/ 1 1) into 1
1.318 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.318 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.318 * [backup-simplify]: Simplify (+ 1 0) into 1
1.318 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
1.318 * [backup-simplify]: Simplify 3.0 into 3.0
1.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.319 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.319 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
1.321 * [backup-simplify]: Simplify (+ (* 3.0 (- 0.13793103448275862)) (* 0 1)) into (- 0.41379310344827586)
1.321 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
1.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.322 * [backup-simplify]: Simplify (- 0) into 0
1.322 * [backup-simplify]: Simplify (+ 0 0) into 0
1.322 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1))) into 0
1.322 * [backup-simplify]: Simplify 0 into 0
1.323 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.323 * [backup-simplify]: Simplify (- 0) into 0
1.323 * [backup-simplify]: Simplify (+ 0 0) into 0
1.324 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1)))) into 0
1.324 * [backup-simplify]: Simplify 0 into 0
1.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.325 * [backup-simplify]: Simplify (- 0) into 0
1.325 * [backup-simplify]: Simplify (+ 0 0) into 0
1.326 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1))))) into 0
1.326 * [backup-simplify]: Simplify 0 into 0
1.327 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.327 * [backup-simplify]: Simplify (- 0) into 0
1.327 * [backup-simplify]: Simplify (+ 0 0) into 0
1.328 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1)))))) into 0
1.328 * [backup-simplify]: Simplify 0 into 0
1.329 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.329 * [backup-simplify]: Simplify (- 0) into 0
1.329 * [backup-simplify]: Simplify (+ 0 0) into 0
1.330 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1))))))) into 0
1.330 * [backup-simplify]: Simplify 0 into 0
1.331 * [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
1.331 * [backup-simplify]: Simplify (- 0) into 0
1.331 * [backup-simplify]: Simplify (+ 0 0) into 0
1.332 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1)))))))) into 0
1.333 * [backup-simplify]: Simplify 0 into 0
1.333 * [backup-simplify]: Simplify (+ (- 0.41379310344827586) (* 3.0 (/ 1 (/ 1 x)))) into (- (* 3.0 x) 0.41379310344827586)
1.333 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 16.0 116.0)) 3.0) into (* -3.0 (+ 0.13793103448275862 (/ 1 x)))
1.333 * [approximate]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in (x) around 0
1.333 * [taylor]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in x
1.333 * [taylor]: Taking taylor expansion of -3.0 in x
1.333 * [backup-simplify]: Simplify -3.0 into -3.0
1.333 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.333 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.333 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.333 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.333 * [taylor]: Taking taylor expansion of x in x
1.333 * [backup-simplify]: Simplify 0 into 0
1.333 * [backup-simplify]: Simplify 1 into 1
1.334 * [backup-simplify]: Simplify (/ 1 1) into 1
1.334 * [taylor]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in x
1.334 * [taylor]: Taking taylor expansion of -3.0 in x
1.334 * [backup-simplify]: Simplify -3.0 into -3.0
1.334 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.334 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.334 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.334 * [taylor]: Taking taylor expansion of x in x
1.334 * [backup-simplify]: Simplify 0 into 0
1.334 * [backup-simplify]: Simplify 1 into 1
1.334 * [backup-simplify]: Simplify (/ 1 1) into 1
1.334 * [backup-simplify]: Simplify (+ 0 1) into 1
1.335 * [backup-simplify]: Simplify (* -3.0 1) into -3.0
1.335 * [backup-simplify]: Simplify -3.0 into -3.0
1.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.335 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
1.336 * [backup-simplify]: Simplify (+ (* -3.0 0.13793103448275862) (* 0 1)) into (- 0.41379310344827586)
1.337 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
1.337 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.337 * [backup-simplify]: Simplify (+ 0 0) into 0
1.338 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0.13793103448275862) (* 0 1))) into 0
1.338 * [backup-simplify]: Simplify 0 into 0
1.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.339 * [backup-simplify]: Simplify (+ 0 0) into 0
1.340 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0) (+ (* 0 0.13793103448275862) (* 0 1)))) into 0
1.340 * [backup-simplify]: Simplify 0 into 0
1.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.342 * [backup-simplify]: Simplify (+ 0 0) into 0
1.343 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.13793103448275862) (* 0 1))))) into 0
1.343 * [backup-simplify]: Simplify 0 into 0
1.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.345 * [backup-simplify]: Simplify (+ 0 0) into 0
1.346 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.13793103448275862) (* 0 1)))))) into 0
1.346 * [backup-simplify]: Simplify 0 into 0
1.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.347 * [backup-simplify]: Simplify (+ 0 0) into 0
1.348 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.13793103448275862) (* 0 1))))))) into 0
1.348 * [backup-simplify]: Simplify 0 into 0
1.349 * [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
1.349 * [backup-simplify]: Simplify (+ 0 0) into 0
1.350 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.13793103448275862) (* 0 1)))))))) into 0
1.350 * [backup-simplify]: Simplify 0 into 0
1.350 * [backup-simplify]: Simplify (+ (- 0.41379310344827586) (* -3.0 (/ 1 (/ 1 (- x))))) into (- (* 3.0 x) 0.41379310344827586)
1.350 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
1.351 * [backup-simplify]: Simplify (- x (/ 16.0 116.0)) into (- x 0.13793103448275862)
1.351 * [approximate]: Taking taylor expansion of (- x 0.13793103448275862) in (x) around 0
1.351 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
1.351 * [taylor]: Taking taylor expansion of x in x
1.351 * [backup-simplify]: Simplify 0 into 0
1.351 * [backup-simplify]: Simplify 1 into 1
1.351 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.351 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.351 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
1.351 * [taylor]: Taking taylor expansion of x in x
1.351 * [backup-simplify]: Simplify 0 into 0
1.351 * [backup-simplify]: Simplify 1 into 1
1.351 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.351 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.351 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.352 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
1.352 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.352 * [backup-simplify]: Simplify (- 0) into 0
1.353 * [backup-simplify]: Simplify (+ 1 0) into 1
1.353 * [backup-simplify]: Simplify 1 into 1
1.353 * [backup-simplify]: Simplify (- 0) into 0
1.353 * [backup-simplify]: Simplify (+ 0 0) into 0
1.353 * [backup-simplify]: Simplify 0 into 0
1.353 * [backup-simplify]: Simplify (- 0) into 0
1.354 * [backup-simplify]: Simplify (+ 0 0) into 0
1.354 * [backup-simplify]: Simplify 0 into 0
1.354 * [backup-simplify]: Simplify (- 0) into 0
1.354 * [backup-simplify]: Simplify (+ 0 0) into 0
1.354 * [backup-simplify]: Simplify 0 into 0
1.354 * [backup-simplify]: Simplify (- 0) into 0
1.355 * [backup-simplify]: Simplify (+ 0 0) into 0
1.355 * [backup-simplify]: Simplify 0 into 0
1.355 * [backup-simplify]: Simplify (- 0) into 0
1.355 * [backup-simplify]: Simplify (+ 0 0) into 0
1.355 * [backup-simplify]: Simplify 0 into 0
1.355 * [backup-simplify]: Simplify (- 0) into 0
1.356 * [backup-simplify]: Simplify (+ 0 0) into 0
1.356 * [backup-simplify]: Simplify 0 into 0
1.356 * [backup-simplify]: Simplify (+ (* 1 x) (- 0.13793103448275862)) into (- x 0.13793103448275862)
1.356 * [backup-simplify]: Simplify (- (/ 1 x) (/ 16.0 116.0)) into (- (/ 1 x) 0.13793103448275862)
1.356 * [approximate]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in (x) around 0
1.356 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
1.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.356 * [taylor]: Taking taylor expansion of x in x
1.356 * [backup-simplify]: Simplify 0 into 0
1.356 * [backup-simplify]: Simplify 1 into 1
1.357 * [backup-simplify]: Simplify (/ 1 1) into 1
1.357 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.357 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.357 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
1.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.357 * [taylor]: Taking taylor expansion of x in x
1.357 * [backup-simplify]: Simplify 0 into 0
1.357 * [backup-simplify]: Simplify 1 into 1
1.357 * [backup-simplify]: Simplify (/ 1 1) into 1
1.357 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.357 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.357 * [backup-simplify]: Simplify (+ 1 0) into 1
1.357 * [backup-simplify]: Simplify 1 into 1
1.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.358 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.358 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
1.359 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.359 * [backup-simplify]: Simplify (- 0) into 0
1.360 * [backup-simplify]: Simplify (+ 0 0) into 0
1.360 * [backup-simplify]: Simplify 0 into 0
1.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.360 * [backup-simplify]: Simplify (- 0) into 0
1.361 * [backup-simplify]: Simplify (+ 0 0) into 0
1.361 * [backup-simplify]: Simplify 0 into 0
1.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.361 * [backup-simplify]: Simplify (- 0) into 0
1.361 * [backup-simplify]: Simplify (+ 0 0) into 0
1.362 * [backup-simplify]: Simplify 0 into 0
1.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.362 * [backup-simplify]: Simplify (- 0) into 0
1.362 * [backup-simplify]: Simplify (+ 0 0) into 0
1.363 * [backup-simplify]: Simplify 0 into 0
1.363 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.363 * [backup-simplify]: Simplify (- 0) into 0
1.363 * [backup-simplify]: Simplify (+ 0 0) into 0
1.364 * [backup-simplify]: Simplify 0 into 0
1.364 * [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
1.364 * [backup-simplify]: Simplify (- 0) into 0
1.365 * [backup-simplify]: Simplify (+ 0 0) into 0
1.365 * [backup-simplify]: Simplify 0 into 0
1.365 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* 1 (/ 1 (/ 1 x)))) into (- x 0.13793103448275862)
1.365 * [backup-simplify]: Simplify (- (/ 1 (- x)) (/ 16.0 116.0)) into (- (+ 0.13793103448275862 (/ 1 x)))
1.365 * [approximate]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in (x) around 0
1.365 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
1.365 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.365 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.365 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.365 * [taylor]: Taking taylor expansion of x in x
1.365 * [backup-simplify]: Simplify 0 into 0
1.365 * [backup-simplify]: Simplify 1 into 1
1.366 * [backup-simplify]: Simplify (/ 1 1) into 1
1.366 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
1.366 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.366 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.366 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.366 * [taylor]: Taking taylor expansion of x in x
1.366 * [backup-simplify]: Simplify 0 into 0
1.366 * [backup-simplify]: Simplify 1 into 1
1.366 * [backup-simplify]: Simplify (/ 1 1) into 1
1.366 * [backup-simplify]: Simplify (+ 0 1) into 1
1.366 * [backup-simplify]: Simplify (- 1) into -1
1.367 * [backup-simplify]: Simplify -1 into -1
1.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.367 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
1.367 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.368 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.368 * [backup-simplify]: Simplify (+ 0 0) into 0
1.369 * [backup-simplify]: Simplify (- 0) into 0
1.369 * [backup-simplify]: Simplify 0 into 0
1.369 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.369 * [backup-simplify]: Simplify (+ 0 0) into 0
1.370 * [backup-simplify]: Simplify (- 0) into 0
1.370 * [backup-simplify]: Simplify 0 into 0
1.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.370 * [backup-simplify]: Simplify (+ 0 0) into 0
1.371 * [backup-simplify]: Simplify (- 0) into 0
1.371 * [backup-simplify]: Simplify 0 into 0
1.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.371 * [backup-simplify]: Simplify (+ 0 0) into 0
1.371 * [backup-simplify]: Simplify (- 0) into 0
1.372 * [backup-simplify]: Simplify 0 into 0
1.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.372 * [backup-simplify]: Simplify (+ 0 0) into 0
1.372 * [backup-simplify]: Simplify (- 0) into 0
1.372 * [backup-simplify]: Simplify 0 into 0
1.373 * [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
1.373 * [backup-simplify]: Simplify (+ 0 0) into 0
1.373 * [backup-simplify]: Simplify (- 0) into 0
1.374 * [backup-simplify]: Simplify 0 into 0
1.374 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* -1 (/ 1 (/ 1 (- x))))) into (- x 0.13793103448275862)
1.374 * * * [progress]: simplifying candidates
1.377 * [simplify]: Simplifying:
  (expm1 (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (log1p (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (+ (+ (log (- x (/ 16.0 116.0))) (log 3.0)) (log y))
  (+ (log (* (- x (/ 16.0 116.0)) 3.0)) (log y))
  (log (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (exp (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (* (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* 3.0 3.0) 3.0)) (* (* y y) y))
  (* (* (* (* (- x (/ 16.0 116.0)) 3.0) (* (- x (/ 16.0 116.0)) 3.0)) (* (- x (/ 16.0 116.0)) 3.0)) (* (* y y) y))
  (* (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y)) (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y)))
  (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (* (* (* (* (- x (/ 16.0 116.0)) 3.0) y) (* (* (- x (/ 16.0 116.0)) 3.0) y)) (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (sqrt (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (sqrt (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (* (* (- x (/ 16.0 116.0)) 3.0) (* (cbrt y) (cbrt y)))
  (* (* (- x (/ 16.0 116.0)) 3.0) (sqrt y))
  (* (* (- x (/ 16.0 116.0)) 3.0) 1)
  (* 3.0 y)
  (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y)
  (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y)
  (expm1 (* (- x (/ 16.0 116.0)) 3.0))
  (log1p (* (- x (/ 16.0 116.0)) 3.0))
  (* (- x (/ 16.0 116.0)) 3.0)
  (+ (log (- x (/ 16.0 116.0))) (log 3.0))
  (log (* (- x (/ 16.0 116.0)) 3.0))
  (exp (* (- x (/ 16.0 116.0)) 3.0))
  (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* 3.0 3.0) 3.0))
  (* (cbrt (* (- x (/ 16.0 116.0)) 3.0)) (cbrt (* (- x (/ 16.0 116.0)) 3.0)))
  (cbrt (* (- x (/ 16.0 116.0)) 3.0))
  (* (* (* (- x (/ 16.0 116.0)) 3.0) (* (- x (/ 16.0 116.0)) 3.0)) (* (- x (/ 16.0 116.0)) 3.0))
  (sqrt (* (- x (/ 16.0 116.0)) 3.0))
  (sqrt (* (- x (/ 16.0 116.0)) 3.0))
  (* (sqrt (- x (/ 16.0 116.0))) (sqrt 3.0))
  (* (sqrt (- x (/ 16.0 116.0))) (sqrt 3.0))
  (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0)))
  (* (- x (/ 16.0 116.0)) (sqrt 3.0))
  (* (- x (/ 16.0 116.0)) 1)
  (* (cbrt (- x (/ 16.0 116.0))) 3.0)
  (* (sqrt (- x (/ 16.0 116.0))) 3.0)
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (- (sqrt x) (sqrt (/ 16.0 116.0))) 3.0)
  (* (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) 3.0)
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0)
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0)
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt (/ 16.0 116.0)) (* (cbrt (/ 16.0 116.0)) (cbrt (/ 16.0 116.0))))))
  (fma (- (cbrt (/ 16.0 116.0))) (* (cbrt (/ 16.0 116.0)) (cbrt (/ 16.0 116.0))) (* (cbrt (/ 16.0 116.0)) (* (cbrt (/ 16.0 116.0)) (cbrt (/ 16.0 116.0)))))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt (/ 16.0 116.0)) (sqrt (/ 16.0 116.0)))))
  (fma (- (sqrt (/ 16.0 116.0))) (sqrt (/ 16.0 116.0)) (* (sqrt (/ 16.0 116.0)) (sqrt (/ 16.0 116.0))))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (cbrt 16.0) (cbrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (* (cbrt 116.0) (cbrt 116.0))))))
  (fma (- (/ (cbrt 16.0) (cbrt 116.0))) (/ (* (cbrt 16.0) (cbrt 16.0)) (* (cbrt 116.0) (cbrt 116.0))) (* (/ (cbrt 16.0) (cbrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (* (cbrt 116.0) (cbrt 116.0)))))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (cbrt 16.0) (sqrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (sqrt 116.0)))))
  (fma (- (/ (cbrt 16.0) (sqrt 116.0))) (/ (* (cbrt 16.0) (cbrt 16.0)) (sqrt 116.0)) (* (/ (cbrt 16.0) (sqrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (sqrt 116.0))))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (cbrt 16.0) 116.0) (/ (* (cbrt 16.0) (cbrt 16.0)) 1))))
  (fma (- (/ (cbrt 16.0) 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) 1) (* (/ (cbrt 16.0) 116.0) (/ (* (cbrt 16.0) (cbrt 16.0)) 1)))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (sqrt 16.0) (cbrt 116.0)) (/ (sqrt 16.0) (* (cbrt 116.0) (cbrt 116.0))))))
  (fma (- (/ (sqrt 16.0) (cbrt 116.0))) (/ (sqrt 16.0) (* (cbrt 116.0) (cbrt 116.0))) (* (/ (sqrt 16.0) (cbrt 116.0)) (/ (sqrt 16.0) (* (cbrt 116.0) (cbrt 116.0)))))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (sqrt 16.0) (sqrt 116.0)) (/ (sqrt 16.0) (sqrt 116.0)))))
  (fma (- (/ (sqrt 16.0) (sqrt 116.0))) (/ (sqrt 16.0) (sqrt 116.0)) (* (/ (sqrt 16.0) (sqrt 116.0)) (/ (sqrt 16.0) (sqrt 116.0))))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (sqrt 16.0) 116.0) (/ (sqrt 16.0) 1))))
  (fma (- (/ (sqrt 16.0) 116.0)) (/ (sqrt 16.0) 1) (* (/ (sqrt 16.0) 116.0) (/ (sqrt 16.0) 1)))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ 16.0 (cbrt 116.0)) (/ 1 (* (cbrt 116.0) (cbrt 116.0))))))
  (fma (- (/ 16.0 (cbrt 116.0))) (/ 1 (* (cbrt 116.0) (cbrt 116.0))) (* (/ 16.0 (cbrt 116.0)) (/ 1 (* (cbrt 116.0) (cbrt 116.0)))))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ 16.0 (sqrt 116.0)) (/ 1 (sqrt 116.0)))))
  (fma (- (/ 16.0 (sqrt 116.0))) (/ 1 (sqrt 116.0)) (* (/ 16.0 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ 16.0 116.0) (/ 1 1))))
  (fma (- (/ 16.0 116.0)) (/ 1 1) (* (/ 16.0 116.0) (/ 1 1)))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ 16.0 116.0) 1)))
  (fma (- (/ 16.0 116.0)) 1 (* (/ 16.0 116.0) 1))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ 1 116.0) 16.0)))
  (fma (- (/ 1 116.0)) 16.0 (* (/ 1 116.0) 16.0))
  (fma (sqrt x) (sqrt x) (- (* (cbrt (/ 16.0 116.0)) (* (cbrt (/ 16.0 116.0)) (cbrt (/ 16.0 116.0))))))
  (fma (- (cbrt (/ 16.0 116.0))) (* (cbrt (/ 16.0 116.0)) (cbrt (/ 16.0 116.0))) (* (cbrt (/ 16.0 116.0)) (* (cbrt (/ 16.0 116.0)) (cbrt (/ 16.0 116.0)))))
  (fma (sqrt x) (sqrt x) (- (* (sqrt (/ 16.0 116.0)) (sqrt (/ 16.0 116.0)))))
  (fma (- (sqrt (/ 16.0 116.0))) (sqrt (/ 16.0 116.0)) (* (sqrt (/ 16.0 116.0)) (sqrt (/ 16.0 116.0))))
  (fma (sqrt x) (sqrt x) (- (* (/ (cbrt 16.0) (cbrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (* (cbrt 116.0) (cbrt 116.0))))))
  (fma (- (/ (cbrt 16.0) (cbrt 116.0))) (/ (* (cbrt 16.0) (cbrt 16.0)) (* (cbrt 116.0) (cbrt 116.0))) (* (/ (cbrt 16.0) (cbrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (* (cbrt 116.0) (cbrt 116.0)))))
  (fma (sqrt x) (sqrt x) (- (* (/ (cbrt 16.0) (sqrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (sqrt 116.0)))))
  (fma (- (/ (cbrt 16.0) (sqrt 116.0))) (/ (* (cbrt 16.0) (cbrt 16.0)) (sqrt 116.0)) (* (/ (cbrt 16.0) (sqrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (sqrt 116.0))))
  (fma (sqrt x) (sqrt x) (- (* (/ (cbrt 16.0) 116.0) (/ (* (cbrt 16.0) (cbrt 16.0)) 1))))
  (fma (- (/ (cbrt 16.0) 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) 1) (* (/ (cbrt 16.0) 116.0) (/ (* (cbrt 16.0) (cbrt 16.0)) 1)))
  (fma (sqrt x) (sqrt x) (- (* (/ (sqrt 16.0) (cbrt 116.0)) (/ (sqrt 16.0) (* (cbrt 116.0) (cbrt 116.0))))))
  (fma (- (/ (sqrt 16.0) (cbrt 116.0))) (/ (sqrt 16.0) (* (cbrt 116.0) (cbrt 116.0))) (* (/ (sqrt 16.0) (cbrt 116.0)) (/ (sqrt 16.0) (* (cbrt 116.0) (cbrt 116.0)))))
  (fma (sqrt x) (sqrt x) (- (* (/ (sqrt 16.0) (sqrt 116.0)) (/ (sqrt 16.0) (sqrt 116.0)))))
  (fma (- (/ (sqrt 16.0) (sqrt 116.0))) (/ (sqrt 16.0) (sqrt 116.0)) (* (/ (sqrt 16.0) (sqrt 116.0)) (/ (sqrt 16.0) (sqrt 116.0))))
  (fma (sqrt x) (sqrt x) (- (* (/ (sqrt 16.0) 116.0) (/ (sqrt 16.0) 1))))
  (fma (- (/ (sqrt 16.0) 116.0)) (/ (sqrt 16.0) 1) (* (/ (sqrt 16.0) 116.0) (/ (sqrt 16.0) 1)))
  (fma (sqrt x) (sqrt x) (- (* (/ 16.0 (cbrt 116.0)) (/ 1 (* (cbrt 116.0) (cbrt 116.0))))))
  (fma (- (/ 16.0 (cbrt 116.0))) (/ 1 (* (cbrt 116.0) (cbrt 116.0))) (* (/ 16.0 (cbrt 116.0)) (/ 1 (* (cbrt 116.0) (cbrt 116.0)))))
  (fma (sqrt x) (sqrt x) (- (* (/ 16.0 (sqrt 116.0)) (/ 1 (sqrt 116.0)))))
  (fma (- (/ 16.0 (sqrt 116.0))) (/ 1 (sqrt 116.0)) (* (/ 16.0 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (fma (sqrt x) (sqrt x) (- (* (/ 16.0 116.0) (/ 1 1))))
  (fma (- (/ 16.0 116.0)) (/ 1 1) (* (/ 16.0 116.0) (/ 1 1)))
  (fma (sqrt x) (sqrt x) (- (* (/ 16.0 116.0) 1)))
  (fma (- (/ 16.0 116.0)) 1 (* (/ 16.0 116.0) 1))
  (fma (sqrt x) (sqrt x) (- (* (/ 1 116.0) 16.0)))
  (fma (- (/ 1 116.0)) 16.0 (* (/ 1 116.0) 16.0))
  (fma 1 x (- (* (cbrt (/ 16.0 116.0)) (* (cbrt (/ 16.0 116.0)) (cbrt (/ 16.0 116.0))))))
  (fma (- (cbrt (/ 16.0 116.0))) (* (cbrt (/ 16.0 116.0)) (cbrt (/ 16.0 116.0))) (* (cbrt (/ 16.0 116.0)) (* (cbrt (/ 16.0 116.0)) (cbrt (/ 16.0 116.0)))))
  (fma 1 x (- (* (sqrt (/ 16.0 116.0)) (sqrt (/ 16.0 116.0)))))
  (fma (- (sqrt (/ 16.0 116.0))) (sqrt (/ 16.0 116.0)) (* (sqrt (/ 16.0 116.0)) (sqrt (/ 16.0 116.0))))
  (fma 1 x (- (* (/ (cbrt 16.0) (cbrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (* (cbrt 116.0) (cbrt 116.0))))))
  (fma (- (/ (cbrt 16.0) (cbrt 116.0))) (/ (* (cbrt 16.0) (cbrt 16.0)) (* (cbrt 116.0) (cbrt 116.0))) (* (/ (cbrt 16.0) (cbrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (* (cbrt 116.0) (cbrt 116.0)))))
  (fma 1 x (- (* (/ (cbrt 16.0) (sqrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (sqrt 116.0)))))
  (fma (- (/ (cbrt 16.0) (sqrt 116.0))) (/ (* (cbrt 16.0) (cbrt 16.0)) (sqrt 116.0)) (* (/ (cbrt 16.0) (sqrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (sqrt 116.0))))
  (fma 1 x (- (* (/ (cbrt 16.0) 116.0) (/ (* (cbrt 16.0) (cbrt 16.0)) 1))))
  (fma (- (/ (cbrt 16.0) 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) 1) (* (/ (cbrt 16.0) 116.0) (/ (* (cbrt 16.0) (cbrt 16.0)) 1)))
  (fma 1 x (- (* (/ (sqrt 16.0) (cbrt 116.0)) (/ (sqrt 16.0) (* (cbrt 116.0) (cbrt 116.0))))))
  (fma (- (/ (sqrt 16.0) (cbrt 116.0))) (/ (sqrt 16.0) (* (cbrt 116.0) (cbrt 116.0))) (* (/ (sqrt 16.0) (cbrt 116.0)) (/ (sqrt 16.0) (* (cbrt 116.0) (cbrt 116.0)))))
  (fma 1 x (- (* (/ (sqrt 16.0) (sqrt 116.0)) (/ (sqrt 16.0) (sqrt 116.0)))))
  (fma (- (/ (sqrt 16.0) (sqrt 116.0))) (/ (sqrt 16.0) (sqrt 116.0)) (* (/ (sqrt 16.0) (sqrt 116.0)) (/ (sqrt 16.0) (sqrt 116.0))))
  (fma 1 x (- (* (/ (sqrt 16.0) 116.0) (/ (sqrt 16.0) 1))))
  (fma (- (/ (sqrt 16.0) 116.0)) (/ (sqrt 16.0) 1) (* (/ (sqrt 16.0) 116.0) (/ (sqrt 16.0) 1)))
  (fma 1 x (- (* (/ 16.0 (cbrt 116.0)) (/ 1 (* (cbrt 116.0) (cbrt 116.0))))))
  (fma (- (/ 16.0 (cbrt 116.0))) (/ 1 (* (cbrt 116.0) (cbrt 116.0))) (* (/ 16.0 (cbrt 116.0)) (/ 1 (* (cbrt 116.0) (cbrt 116.0)))))
  (fma 1 x (- (* (/ 16.0 (sqrt 116.0)) (/ 1 (sqrt 116.0)))))
  (fma (- (/ 16.0 (sqrt 116.0))) (/ 1 (sqrt 116.0)) (* (/ 16.0 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (fma 1 x (- (* (/ 16.0 116.0) (/ 1 1))))
  (fma (- (/ 16.0 116.0)) (/ 1 1) (* (/ 16.0 116.0) (/ 1 1)))
  (fma 1 x (- (* (/ 16.0 116.0) 1)))
  (fma (- (/ 16.0 116.0)) 1 (* (/ 16.0 116.0) 1))
  (fma 1 x (- (* (/ 1 116.0) 16.0)))
  (fma (- (/ 1 116.0)) 16.0 (* (/ 1 116.0) 16.0))
  (expm1 (- x (/ 16.0 116.0)))
  (log1p (- x (/ 16.0 116.0)))
  (- (/ 16.0 116.0))
  (- (/ 16.0 116.0))
  (- (/ 16.0 116.0))
  (/ (exp x) (exp (/ 16.0 116.0)))
  (log (- x (/ 16.0 116.0)))
  (exp (- x (/ 16.0 116.0)))
  (* (cbrt (- x (/ 16.0 116.0))) (cbrt (- x (/ 16.0 116.0))))
  (cbrt (- x (/ 16.0 116.0)))
  (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0)))
  (sqrt (- x (/ 16.0 116.0)))
  (sqrt (- x (/ 16.0 116.0)))
  (- (pow x 3) (pow (/ 16.0 116.0) 3))
  (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))
  (- (/ 16.0 116.0))
  (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (+ x (/ 16.0 116.0))
  (+ (sqrt x) (sqrt (/ 16.0 116.0)))
  (- (sqrt x) (sqrt (/ 16.0 116.0)))
  (+ (sqrt x) (/ (sqrt 16.0) (sqrt 116.0)))
  (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0)))
  (- x (/ 16.0 116.0))
  (- (/ 16.0 116.0))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
  (- x 0.13793103448275862)
  (- x 0.13793103448275862)
  (- x 0.13793103448275862)
1.384 * * [simplify]: Extracting # 0 : cost  0
1.384 * * [simplify]: Extracting # 1 : cost  0
1.384 * * [simplify]: Extracting # 2 : cost  0
1.385 * * [simplify]: Extracting # 3 : cost  0
1.385 * * [simplify]: Extracting # 4 : cost  0
1.386 * * [simplify]: Extracting # 5 : cost  0
1.387 * * [simplify]: Extracting # 6 : cost  0
1.387 * * [simplify]: Extracting # 7 : cost  0
1.388 * * [simplify]: Extracting # 8 : cost  0
1.388 * * [simplify]: Extracting # 9 : cost  0
1.389 * * [simplify]: iteration  0 :  217  enodes  (cost  2289 )
1.457 * * [simplify]: Extracting # 0 : cost  0
1.458 * * [simplify]: Extracting # 1 : cost  0
1.459 * * [simplify]: Extracting # 2 : cost  0
1.460 * * [simplify]: Extracting # 3 : cost  0
1.461 * * [simplify]: Extracting # 4 : cost  0
1.463 * * [simplify]: iteration  1 :  503  enodes  (cost  2065 )
1.767 * * [simplify]: Extracting # 0 : cost  0
1.770 * * [simplify]: Extracting # 1 : cost  0
1.774 * * [simplify]: Extracting # 2 : cost  0
1.777 * * [simplify]: Extracting # 3 : cost  0
1.780 * * [simplify]: Extracting # 4 : cost  0
1.783 * * [simplify]: Extracting # 5 : cost  0
1.786 * * [simplify]: Extracting # 6 : cost  0
1.789 * * [simplify]: iteration  2 :  1462  enodes  (cost  1478 )
3.056 * * [simplify]: Extracting # 0 : cost  0
3.071 * * [simplify]: Extracting # 1 : cost  0
3.082 * * [simplify]: Extracting # 2 : cost  0
3.100 * * [simplify]: Extracting # 3 : cost  0
3.109 * * [simplify]: Extracting # 4 : cost  0
3.115 * * [simplify]: iteration done:  5001  enodes  (cost  1219 )
3.116 * [simplify]: Simplified to:
  (expm1 (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (log1p (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (log (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (log (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (log (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (exp (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (pow (* (* (- x (/ 16.0 116.0)) 3.0) y) 3)
  (pow (* (* (- x (/ 16.0 116.0)) 3.0) y) 3)
  (* (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y)) (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y)))
  (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (pow (* (* (- x (/ 16.0 116.0)) 3.0) y) 3)
  (sqrt (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (sqrt (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (* (* (- x (/ 16.0 116.0)) 3.0) (* (cbrt y) (cbrt y)))
  (* (* (- x (/ 16.0 116.0)) 3.0) (sqrt y))
  (* (- x (/ 16.0 116.0)) 3.0)
  (* 3.0 y)
  (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y)
  (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y)
  (expm1 (* (- x (/ 16.0 116.0)) 3.0))
  (log1p (* (- x (/ 16.0 116.0)) 3.0))
  (* (- x (/ 16.0 116.0)) 3.0)
  (log (* (- x (/ 16.0 116.0)) 3.0))
  (log (* (- x (/ 16.0 116.0)) 3.0))
  (exp (* (- x (/ 16.0 116.0)) 3.0))
  (pow (* (- x (/ 16.0 116.0)) 3.0) 3)
  (* (cbrt (* (- x (/ 16.0 116.0)) 3.0)) (cbrt (* (- x (/ 16.0 116.0)) 3.0)))
  (cbrt (* (- x (/ 16.0 116.0)) 3.0))
  (pow (* (- x (/ 16.0 116.0)) 3.0) 3)
  (sqrt (* (- x (/ 16.0 116.0)) 3.0))
  (sqrt (* (- x (/ 16.0 116.0)) 3.0))
  (* (sqrt (- x (/ 16.0 116.0))) (sqrt 3.0))
  (* (sqrt (- x (/ 16.0 116.0))) (sqrt 3.0))
  (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0)))
  (* (- x (/ 16.0 116.0)) (sqrt 3.0))
  (- x (/ 16.0 116.0))
  (* (cbrt (- x (/ 16.0 116.0))) 3.0)
  (* (sqrt (- x (/ 16.0 116.0))) 3.0)
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (- (sqrt x) (sqrt (/ 16.0 116.0))) 3.0)
  (* (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) 3.0)
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0)
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0)
  (- (pow (cbrt x) 3) (/ 16.0 116.0))
  0
  (- (pow (cbrt x) 3) (/ 16.0 116.0))
  0
  (- (pow (cbrt x) 3) (/ 16.0 (pow (cbrt 116.0) 3)))
  (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))
  (- (pow (cbrt x) 3) (/ (/ 16.0 (sqrt 116.0)) (sqrt 116.0)))
  (* (/ 16.0 (sqrt 116.0)) (+ (/ -1 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (- (pow (cbrt x) 3) (/ 16.0 116.0))
  0
  (- (pow (cbrt x) 3) (/ 16.0 (pow (cbrt 116.0) 3)))
  (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))
  (- (pow (cbrt x) 3) (/ (/ 16.0 (sqrt 116.0)) (sqrt 116.0)))
  (* (/ 16.0 (sqrt 116.0)) (+ (/ -1 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (- (pow (cbrt x) 3) (/ 16.0 116.0))
  0
  (- (pow (cbrt x) 3) (/ 16.0 (pow (cbrt 116.0) 3)))
  (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))
  (- (pow (cbrt x) 3) (/ (/ 16.0 (sqrt 116.0)) (sqrt 116.0)))
  (* (/ 16.0 (sqrt 116.0)) (+ (/ -1 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (- (pow (cbrt x) 3) (/ 16.0 116.0))
  0
  (- (pow (cbrt x) 3) (/ 16.0 116.0))
  0
  (- (pow (cbrt x) 3) (/ 16.0 116.0))
  0
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 (pow (cbrt 116.0) 3)))
  (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))
  (- x (/ (/ 16.0 (sqrt 116.0)) (sqrt 116.0)))
  (* (/ 16.0 (sqrt 116.0)) (+ (/ -1 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 (pow (cbrt 116.0) 3)))
  (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))
  (- x (/ (/ 16.0 (sqrt 116.0)) (sqrt 116.0)))
  (* (/ 16.0 (sqrt 116.0)) (+ (/ -1 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 (pow (cbrt 116.0) 3)))
  (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))
  (- x (/ (/ 16.0 (sqrt 116.0)) (sqrt 116.0)))
  (* (/ 16.0 (sqrt 116.0)) (+ (/ -1 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 (pow (cbrt 116.0) 3)))
  (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))
  (- x (/ (/ 16.0 (sqrt 116.0)) (sqrt 116.0)))
  (* (/ 16.0 (sqrt 116.0)) (+ (/ -1 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 (pow (cbrt 116.0) 3)))
  (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))
  (- x (/ (/ 16.0 (sqrt 116.0)) (sqrt 116.0)))
  (* (/ 16.0 (sqrt 116.0)) (+ (/ -1 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 (pow (cbrt 116.0) 3)))
  (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))
  (- x (/ (/ 16.0 (sqrt 116.0)) (sqrt 116.0)))
  (* (/ 16.0 (sqrt 116.0)) (+ (/ -1 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 116.0))
  0
  (expm1 (- x (/ 16.0 116.0)))
  (log1p (- x (/ 16.0 116.0)))
  (/ (- 16.0) 116.0)
  (/ (- 16.0) 116.0)
  (/ (- 16.0) 116.0)
  (exp (- x (/ 16.0 116.0)))
  (log (- x (/ 16.0 116.0)))
  (exp (- x (/ 16.0 116.0)))
  (* (cbrt (- x (/ 16.0 116.0))) (cbrt (- x (/ 16.0 116.0))))
  (cbrt (- x (/ 16.0 116.0)))
  (pow (- x (/ 16.0 116.0)) 3)
  (sqrt (- x (/ 16.0 116.0)))
  (sqrt (- x (/ 16.0 116.0)))
  (- (pow x 3) (pow (/ 16.0 116.0) 3))
  (fma x x (* (/ 16.0 116.0) (+ x (/ 16.0 116.0))))
  (/ (- 16.0) 116.0)
  (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (+ (/ 16.0 116.0) x)
  (+ (sqrt x) (sqrt (/ 16.0 116.0)))
  (- (sqrt x) (sqrt (/ 16.0 116.0)))
  (+ (sqrt x) (/ (sqrt 16.0) (sqrt 116.0)))
  (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0)))
  (- x (/ 16.0 116.0))
  (/ (- 16.0) 116.0)
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
  (- x 0.13793103448275862)
  (- x 0.13793103448275862)
  (- x 0.13793103448275862)
3.117 * * * [progress]: adding candidates to table
3.311 * * [progress]: iteration 2 / 4
3.311 * * * [progress]: picking best candidate
3.334 * * * * [pick]: Picked  #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* 3.0 y)))>
3.335 * * * [progress]: localizing error
3.342 * * * [progress]: generating rewritten candidates
3.342 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
3.409 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
3.427 * * * [progress]: generating series expansions
3.427 * * * * [progress]: [ 1 / 2 ] generating series at (2)
3.428 * [backup-simplify]: Simplify (* (- x (/ 16.0 116.0)) (* 3.0 y)) into (* 3.0 (* (- x 0.13793103448275862) y))
3.428 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0
3.428 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
3.428 * [taylor]: Taking taylor expansion of 3.0 in y
3.428 * [backup-simplify]: Simplify 3.0 into 3.0
3.428 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
3.428 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
3.428 * [taylor]: Taking taylor expansion of x in y
3.428 * [backup-simplify]: Simplify x into x
3.428 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
3.428 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.428 * [taylor]: Taking taylor expansion of y in y
3.428 * [backup-simplify]: Simplify 0 into 0
3.428 * [backup-simplify]: Simplify 1 into 1
3.428 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
3.428 * [taylor]: Taking taylor expansion of 3.0 in x
3.428 * [backup-simplify]: Simplify 3.0 into 3.0
3.428 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
3.428 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
3.428 * [taylor]: Taking taylor expansion of x in x
3.428 * [backup-simplify]: Simplify 0 into 0
3.428 * [backup-simplify]: Simplify 1 into 1
3.428 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.428 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.428 * [taylor]: Taking taylor expansion of y in x
3.428 * [backup-simplify]: Simplify y into y
3.428 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
3.428 * [taylor]: Taking taylor expansion of 3.0 in x
3.428 * [backup-simplify]: Simplify 3.0 into 3.0
3.428 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
3.428 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
3.428 * [taylor]: Taking taylor expansion of x in x
3.428 * [backup-simplify]: Simplify 0 into 0
3.428 * [backup-simplify]: Simplify 1 into 1
3.428 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.428 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.428 * [taylor]: Taking taylor expansion of y in x
3.428 * [backup-simplify]: Simplify y into y
3.429 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
3.429 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
3.430 * [backup-simplify]: Simplify (* (- 0.13793103448275862) y) into (* -0.13793103448275862 y)
3.430 * [backup-simplify]: Simplify (* 3.0 (* -0.13793103448275862 y)) into (* -0.41379310344827586 y)
3.430 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
3.430 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
3.430 * [backup-simplify]: Simplify -0.41379310344827586 into -0.41379310344827586
3.430 * [taylor]: Taking taylor expansion of y in y
3.430 * [backup-simplify]: Simplify 0 into 0
3.430 * [backup-simplify]: Simplify 1 into 1
3.430 * [backup-simplify]: Simplify (* -0.41379310344827586 0) into 0
3.430 * [backup-simplify]: Simplify 0 into 0
3.430 * [backup-simplify]: Simplify (- 0) into 0
3.431 * [backup-simplify]: Simplify (+ 1 0) into 1
3.431 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (* 1 y)) into y
3.431 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 (* -0.13793103448275862 y))) into (* 3.0 y)
3.431 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
3.431 * [taylor]: Taking taylor expansion of 3.0 in y
3.431 * [backup-simplify]: Simplify 3.0 into 3.0
3.431 * [taylor]: Taking taylor expansion of y in y
3.431 * [backup-simplify]: Simplify 0 into 0
3.431 * [backup-simplify]: Simplify 1 into 1
3.432 * [backup-simplify]: Simplify (* 3.0 0) into 0
3.432 * [backup-simplify]: Simplify 0 into 0
3.432 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 1) (* 0 0)) into (- 0.41379310344827586)
3.433 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
3.433 * [backup-simplify]: Simplify (- 0) into 0
3.433 * [backup-simplify]: Simplify (+ 0 0) into 0
3.434 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (* 0 y))) into 0
3.434 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))) into 0
3.434 * [taylor]: Taking taylor expansion of 0 in y
3.434 * [backup-simplify]: Simplify 0 into 0
3.434 * [backup-simplify]: Simplify 0 into 0
3.435 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
3.435 * [backup-simplify]: Simplify 3.0 into 3.0
3.436 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 1) (* 0 0))) into 0
3.436 * [backup-simplify]: Simplify 0 into 0
3.436 * [backup-simplify]: Simplify (- 0) into 0
3.436 * [backup-simplify]: Simplify (+ 0 0) into 0
3.437 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.437 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y))))) into 0
3.437 * [taylor]: Taking taylor expansion of 0 in y
3.437 * [backup-simplify]: Simplify 0 into 0
3.437 * [backup-simplify]: Simplify 0 into 0
3.437 * [backup-simplify]: Simplify 0 into 0
3.438 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
3.438 * [backup-simplify]: Simplify 0 into 0
3.439 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.439 * [backup-simplify]: Simplify 0 into 0
3.440 * [backup-simplify]: Simplify (- 0) into 0
3.440 * [backup-simplify]: Simplify (+ 0 0) into 0
3.442 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
3.443 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))))) into 0
3.443 * [taylor]: Taking taylor expansion of 0 in y
3.443 * [backup-simplify]: Simplify 0 into 0
3.443 * [backup-simplify]: Simplify 0 into 0
3.443 * [backup-simplify]: Simplify (+ (* 3.0 (* y x)) (* (- 0.41379310344827586) (* y 1))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
3.443 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 16.0 116.0)) (* 3.0 (/ 1 y))) into (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y))
3.443 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0
3.443 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
3.444 * [taylor]: Taking taylor expansion of 3.0 in y
3.444 * [backup-simplify]: Simplify 3.0 into 3.0
3.444 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
3.444 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
3.444 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.444 * [taylor]: Taking taylor expansion of x in y
3.444 * [backup-simplify]: Simplify x into x
3.444 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.444 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
3.444 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.444 * [taylor]: Taking taylor expansion of y in y
3.444 * [backup-simplify]: Simplify 0 into 0
3.444 * [backup-simplify]: Simplify 1 into 1
3.444 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
3.444 * [backup-simplify]: Simplify (+ (/ 1 x) (- 0.13793103448275862)) into (- (/ 1 x) 0.13793103448275862)
3.444 * [backup-simplify]: Simplify (/ (- (/ 1 x) 0.13793103448275862) 1) into (- (/ 1 x) 0.13793103448275862)
3.444 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
3.444 * [taylor]: Taking taylor expansion of 3.0 in x
3.444 * [backup-simplify]: Simplify 3.0 into 3.0
3.444 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
3.444 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
3.444 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.444 * [taylor]: Taking taylor expansion of x in x
3.445 * [backup-simplify]: Simplify 0 into 0
3.445 * [backup-simplify]: Simplify 1 into 1
3.445 * [backup-simplify]: Simplify (/ 1 1) into 1
3.445 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.445 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.445 * [taylor]: Taking taylor expansion of y in x
3.445 * [backup-simplify]: Simplify y into y
3.445 * [backup-simplify]: Simplify (+ 1 0) into 1
3.445 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.445 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
3.445 * [taylor]: Taking taylor expansion of 3.0 in x
3.445 * [backup-simplify]: Simplify 3.0 into 3.0
3.445 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
3.445 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
3.445 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.445 * [taylor]: Taking taylor expansion of x in x
3.445 * [backup-simplify]: Simplify 0 into 0
3.445 * [backup-simplify]: Simplify 1 into 1
3.446 * [backup-simplify]: Simplify (/ 1 1) into 1
3.446 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.446 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.446 * [taylor]: Taking taylor expansion of y in x
3.446 * [backup-simplify]: Simplify y into y
3.446 * [backup-simplify]: Simplify (+ 1 0) into 1
3.446 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.446 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
3.446 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
3.446 * [taylor]: Taking taylor expansion of 3.0 in y
3.446 * [backup-simplify]: Simplify 3.0 into 3.0
3.446 * [taylor]: Taking taylor expansion of y in y
3.446 * [backup-simplify]: Simplify 0 into 0
3.446 * [backup-simplify]: Simplify 1 into 1
3.446 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
3.446 * [backup-simplify]: Simplify 3.0 into 3.0
3.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.447 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
3.448 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
3.448 * [backup-simplify]: Simplify (- (/ (- 0.13793103448275862) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (* 0.13793103448275862 (/ 1 y)))
3.448 * [backup-simplify]: Simplify (+ (* 3.0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))) into (- (* 0.41379310344827586 (/ 1 y)))
3.448 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
3.448 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
3.448 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
3.448 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
3.448 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.448 * [taylor]: Taking taylor expansion of y in y
3.448 * [backup-simplify]: Simplify 0 into 0
3.448 * [backup-simplify]: Simplify 1 into 1
3.448 * [backup-simplify]: Simplify (/ 1 1) into 1
3.449 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
3.449 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
3.449 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
3.450 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
3.450 * [backup-simplify]: Simplify 0 into 0
3.450 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.451 * [backup-simplify]: Simplify (- 0) into 0
3.451 * [backup-simplify]: Simplify (+ 0 0) into 0
3.451 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)))) into 0
3.451 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y)))) into 0
3.451 * [taylor]: Taking taylor expansion of 0 in y
3.451 * [backup-simplify]: Simplify 0 into 0
3.456 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.456 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
3.457 * [backup-simplify]: Simplify (- 0) into 0
3.457 * [backup-simplify]: Simplify 0 into 0
3.457 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.457 * [backup-simplify]: Simplify 0 into 0
3.458 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.458 * [backup-simplify]: Simplify (- 0) into 0
3.458 * [backup-simplify]: Simplify (+ 0 0) into 0
3.458 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.459 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))))) into 0
3.459 * [taylor]: Taking taylor expansion of 0 in y
3.459 * [backup-simplify]: Simplify 0 into 0
3.459 * [backup-simplify]: Simplify 0 into 0
3.460 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.460 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
3.460 * [backup-simplify]: Simplify (- 0) into 0
3.460 * [backup-simplify]: Simplify 0 into 0
3.461 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.461 * [backup-simplify]: Simplify 0 into 0
3.461 * [backup-simplify]: Simplify (+ (* (- 0.41379310344827586) (* (/ 1 (/ 1 y)) 1)) (* 3.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
3.462 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 16.0 116.0)) (* 3.0 (/ 1 (- y)))) into (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y))
3.462 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0
3.462 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
3.462 * [taylor]: Taking taylor expansion of 3.0 in y
3.462 * [backup-simplify]: Simplify 3.0 into 3.0
3.462 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
3.462 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
3.462 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
3.462 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.462 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.462 * [taylor]: Taking taylor expansion of x in y
3.462 * [backup-simplify]: Simplify x into x
3.462 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.462 * [taylor]: Taking taylor expansion of y in y
3.462 * [backup-simplify]: Simplify 0 into 0
3.462 * [backup-simplify]: Simplify 1 into 1
3.462 * [backup-simplify]: Simplify (+ 0.13793103448275862 (/ 1 x)) into (+ (/ 1 x) 0.13793103448275862)
3.462 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 0.13793103448275862) 1) into (+ 0.13793103448275862 (/ 1 x))
3.462 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
3.462 * [taylor]: Taking taylor expansion of 3.0 in x
3.462 * [backup-simplify]: Simplify 3.0 into 3.0
3.462 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
3.462 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
3.462 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.462 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.462 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.462 * [taylor]: Taking taylor expansion of x in x
3.462 * [backup-simplify]: Simplify 0 into 0
3.463 * [backup-simplify]: Simplify 1 into 1
3.463 * [backup-simplify]: Simplify (/ 1 1) into 1
3.463 * [taylor]: Taking taylor expansion of y in x
3.463 * [backup-simplify]: Simplify y into y
3.463 * [backup-simplify]: Simplify (+ 0 1) into 1
3.463 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.463 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
3.463 * [taylor]: Taking taylor expansion of 3.0 in x
3.463 * [backup-simplify]: Simplify 3.0 into 3.0
3.463 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
3.463 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
3.463 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.463 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.464 * [taylor]: Taking taylor expansion of x in x
3.464 * [backup-simplify]: Simplify 0 into 0
3.464 * [backup-simplify]: Simplify 1 into 1
3.464 * [backup-simplify]: Simplify (/ 1 1) into 1
3.464 * [taylor]: Taking taylor expansion of y in x
3.464 * [backup-simplify]: Simplify y into y
3.464 * [backup-simplify]: Simplify (+ 0 1) into 1
3.464 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.464 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
3.464 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
3.464 * [taylor]: Taking taylor expansion of 3.0 in y
3.464 * [backup-simplify]: Simplify 3.0 into 3.0
3.464 * [taylor]: Taking taylor expansion of y in y
3.464 * [backup-simplify]: Simplify 0 into 0
3.464 * [backup-simplify]: Simplify 1 into 1
3.465 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
3.465 * [backup-simplify]: Simplify 3.0 into 3.0
3.465 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.465 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
3.466 * [backup-simplify]: Simplify (- (/ 0.13793103448275862 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 0.13793103448275862 (/ 1 y))
3.466 * [backup-simplify]: Simplify (+ (* 3.0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))) into (* 0.41379310344827586 (/ 1 y))
3.466 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
3.466 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
3.466 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
3.466 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.466 * [taylor]: Taking taylor expansion of y in y
3.466 * [backup-simplify]: Simplify 0 into 0
3.466 * [backup-simplify]: Simplify 1 into 1
3.466 * [backup-simplify]: Simplify (/ 1 1) into 1
3.466 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
3.466 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
3.467 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
3.467 * [backup-simplify]: Simplify 0 into 0
3.467 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.468 * [backup-simplify]: Simplify (+ 0 0) into 0
3.468 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)))) into 0
3.468 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y)))) into 0
3.468 * [taylor]: Taking taylor expansion of 0 in y
3.468 * [backup-simplify]: Simplify 0 into 0
3.469 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.469 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
3.469 * [backup-simplify]: Simplify 0 into 0
3.470 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.470 * [backup-simplify]: Simplify 0 into 0
3.470 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.471 * [backup-simplify]: Simplify (+ 0 0) into 0
3.471 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.471 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))))) into 0
3.471 * [taylor]: Taking taylor expansion of 0 in y
3.472 * [backup-simplify]: Simplify 0 into 0
3.472 * [backup-simplify]: Simplify 0 into 0
3.472 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.473 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
3.473 * [backup-simplify]: Simplify 0 into 0
3.473 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.473 * [backup-simplify]: Simplify 0 into 0
3.473 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 (* (/ 1 (/ 1 (- y))) 1)) (* 3.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
3.473 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
3.474 * [backup-simplify]: Simplify (- x (/ 16.0 116.0)) into (- x 0.13793103448275862)
3.474 * [approximate]: Taking taylor expansion of (- x 0.13793103448275862) in (x) around 0
3.474 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
3.474 * [taylor]: Taking taylor expansion of x in x
3.474 * [backup-simplify]: Simplify 0 into 0
3.474 * [backup-simplify]: Simplify 1 into 1
3.474 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.474 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.474 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
3.474 * [taylor]: Taking taylor expansion of x in x
3.474 * [backup-simplify]: Simplify 0 into 0
3.474 * [backup-simplify]: Simplify 1 into 1
3.474 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.474 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.474 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
3.475 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
3.475 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
3.475 * [backup-simplify]: Simplify (- 0) into 0
3.476 * [backup-simplify]: Simplify (+ 1 0) into 1
3.476 * [backup-simplify]: Simplify 1 into 1
3.476 * [backup-simplify]: Simplify (- 0) into 0
3.476 * [backup-simplify]: Simplify (+ 0 0) into 0
3.476 * [backup-simplify]: Simplify 0 into 0
3.476 * [backup-simplify]: Simplify (- 0) into 0
3.477 * [backup-simplify]: Simplify (+ 0 0) into 0
3.477 * [backup-simplify]: Simplify 0 into 0
3.477 * [backup-simplify]: Simplify (- 0) into 0
3.477 * [backup-simplify]: Simplify (+ 0 0) into 0
3.477 * [backup-simplify]: Simplify 0 into 0
3.477 * [backup-simplify]: Simplify (- 0) into 0
3.478 * [backup-simplify]: Simplify (+ 0 0) into 0
3.478 * [backup-simplify]: Simplify 0 into 0
3.478 * [backup-simplify]: Simplify (- 0) into 0
3.478 * [backup-simplify]: Simplify (+ 0 0) into 0
3.478 * [backup-simplify]: Simplify 0 into 0
3.478 * [backup-simplify]: Simplify (- 0) into 0
3.478 * [backup-simplify]: Simplify (+ 0 0) into 0
3.479 * [backup-simplify]: Simplify 0 into 0
3.479 * [backup-simplify]: Simplify (+ (* 1 x) (- 0.13793103448275862)) into (- x 0.13793103448275862)
3.479 * [backup-simplify]: Simplify (- (/ 1 x) (/ 16.0 116.0)) into (- (/ 1 x) 0.13793103448275862)
3.479 * [approximate]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in (x) around 0
3.479 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
3.479 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.479 * [taylor]: Taking taylor expansion of x in x
3.479 * [backup-simplify]: Simplify 0 into 0
3.479 * [backup-simplify]: Simplify 1 into 1
3.479 * [backup-simplify]: Simplify (/ 1 1) into 1
3.480 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.480 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.480 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
3.480 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.480 * [taylor]: Taking taylor expansion of x in x
3.480 * [backup-simplify]: Simplify 0 into 0
3.480 * [backup-simplify]: Simplify 1 into 1
3.480 * [backup-simplify]: Simplify (/ 1 1) into 1
3.480 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.480 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.480 * [backup-simplify]: Simplify (+ 1 0) into 1
3.480 * [backup-simplify]: Simplify 1 into 1
3.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.481 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
3.481 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
3.482 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
3.482 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.483 * [backup-simplify]: Simplify (- 0) into 0
3.483 * [backup-simplify]: Simplify (+ 0 0) into 0
3.483 * [backup-simplify]: Simplify 0 into 0
3.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.484 * [backup-simplify]: Simplify (- 0) into 0
3.485 * [backup-simplify]: Simplify (+ 0 0) into 0
3.485 * [backup-simplify]: Simplify 0 into 0
3.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.486 * [backup-simplify]: Simplify (- 0) into 0
3.486 * [backup-simplify]: Simplify (+ 0 0) into 0
3.486 * [backup-simplify]: Simplify 0 into 0
3.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.488 * [backup-simplify]: Simplify (- 0) into 0
3.488 * [backup-simplify]: Simplify (+ 0 0) into 0
3.488 * [backup-simplify]: Simplify 0 into 0
3.489 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.489 * [backup-simplify]: Simplify (- 0) into 0
3.490 * [backup-simplify]: Simplify (+ 0 0) into 0
3.490 * [backup-simplify]: Simplify 0 into 0
3.491 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.491 * [backup-simplify]: Simplify (- 0) into 0
3.492 * [backup-simplify]: Simplify (+ 0 0) into 0
3.492 * [backup-simplify]: Simplify 0 into 0
3.492 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* 1 (/ 1 (/ 1 x)))) into (- x 0.13793103448275862)
3.493 * [backup-simplify]: Simplify (- (/ 1 (- x)) (/ 16.0 116.0)) into (- (+ 0.13793103448275862 (/ 1 x)))
3.493 * [approximate]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in (x) around 0
3.493 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
3.493 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
3.493 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.493 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.493 * [taylor]: Taking taylor expansion of x in x
3.493 * [backup-simplify]: Simplify 0 into 0
3.493 * [backup-simplify]: Simplify 1 into 1
3.493 * [backup-simplify]: Simplify (/ 1 1) into 1
3.494 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
3.494 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
3.494 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.494 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.494 * [taylor]: Taking taylor expansion of x in x
3.494 * [backup-simplify]: Simplify 0 into 0
3.494 * [backup-simplify]: Simplify 1 into 1
3.494 * [backup-simplify]: Simplify (/ 1 1) into 1
3.495 * [backup-simplify]: Simplify (+ 0 1) into 1
3.495 * [backup-simplify]: Simplify (- 1) into -1
3.495 * [backup-simplify]: Simplify -1 into -1
3.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.496 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
3.497 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
3.497 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
3.498 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.498 * [backup-simplify]: Simplify (+ 0 0) into 0
3.499 * [backup-simplify]: Simplify (- 0) into 0
3.499 * [backup-simplify]: Simplify 0 into 0
3.500 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.500 * [backup-simplify]: Simplify (+ 0 0) into 0
3.501 * [backup-simplify]: Simplify (- 0) into 0
3.501 * [backup-simplify]: Simplify 0 into 0
3.502 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.502 * [backup-simplify]: Simplify (+ 0 0) into 0
3.503 * [backup-simplify]: Simplify (- 0) into 0
3.503 * [backup-simplify]: Simplify 0 into 0
3.504 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.504 * [backup-simplify]: Simplify (+ 0 0) into 0
3.504 * [backup-simplify]: Simplify (- 0) into 0
3.504 * [backup-simplify]: Simplify 0 into 0
3.506 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.506 * [backup-simplify]: Simplify (+ 0 0) into 0
3.507 * [backup-simplify]: Simplify (- 0) into 0
3.507 * [backup-simplify]: Simplify 0 into 0
3.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.508 * [backup-simplify]: Simplify (+ 0 0) into 0
3.508 * [backup-simplify]: Simplify (- 0) into 0
3.508 * [backup-simplify]: Simplify 0 into 0
3.509 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* -1 (/ 1 (/ 1 (- x))))) into (- x 0.13793103448275862)
3.509 * * * [progress]: simplifying candidates
3.513 * [simplify]: Simplifying:
  (expm1 (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (log1p (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (* (- x (/ 16.0 116.0)) (* 3.0 y))
  (* (- x (/ 16.0 116.0)) (* 3.0 y))
  (+ (log (- x (/ 16.0 116.0))) (+ (log 3.0) (log y)))
  (+ (log (- x (/ 16.0 116.0))) (log (* 3.0 y)))
  (log (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (exp (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* (* 3.0 3.0) 3.0) (* (* y y) y)))
  (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* (* 3.0 y) (* 3.0 y)) (* 3.0 y)))
  (* (cbrt (* (- x (/ 16.0 116.0)) (* 3.0 y))) (cbrt (* (- x (/ 16.0 116.0)) (* 3.0 y))))
  (cbrt (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (* (* (* (- x (/ 16.0 116.0)) (* 3.0 y)) (* (- x (/ 16.0 116.0)) (* 3.0 y))) (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (sqrt (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (sqrt (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (cbrt (- x (/ 16.0 116.0))) (* 3.0 y))
  (* (sqrt (- x (/ 16.0 116.0))) (* 3.0 y))
  (* (- x (/ 16.0 116.0)) (* 3.0 y))
  (* (- (sqrt x) (sqrt (/ 16.0 116.0))) (* 3.0 y))
  (* (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) (* 3.0 y))
  (* (- x (/ 16.0 116.0)) (* 3.0 y))
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (* 3.0 y))
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) (* 3.0 y))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt (/ 16.0 116.0)) (* (cbrt (/ 16.0 116.0)) (cbrt (/ 16.0 116.0))))))
  (fma (- (cbrt (/ 16.0 116.0))) (* (cbrt (/ 16.0 116.0)) (cbrt (/ 16.0 116.0))) (* (cbrt (/ 16.0 116.0)) (* (cbrt (/ 16.0 116.0)) (cbrt (/ 16.0 116.0)))))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt (/ 16.0 116.0)) (sqrt (/ 16.0 116.0)))))
  (fma (- (sqrt (/ 16.0 116.0))) (sqrt (/ 16.0 116.0)) (* (sqrt (/ 16.0 116.0)) (sqrt (/ 16.0 116.0))))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (cbrt 16.0) (cbrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (* (cbrt 116.0) (cbrt 116.0))))))
  (fma (- (/ (cbrt 16.0) (cbrt 116.0))) (/ (* (cbrt 16.0) (cbrt 16.0)) (* (cbrt 116.0) (cbrt 116.0))) (* (/ (cbrt 16.0) (cbrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (* (cbrt 116.0) (cbrt 116.0)))))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (cbrt 16.0) (sqrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (sqrt 116.0)))))
  (fma (- (/ (cbrt 16.0) (sqrt 116.0))) (/ (* (cbrt 16.0) (cbrt 16.0)) (sqrt 116.0)) (* (/ (cbrt 16.0) (sqrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (sqrt 116.0))))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (cbrt 16.0) 116.0) (/ (* (cbrt 16.0) (cbrt 16.0)) 1))))
  (fma (- (/ (cbrt 16.0) 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) 1) (* (/ (cbrt 16.0) 116.0) (/ (* (cbrt 16.0) (cbrt 16.0)) 1)))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (sqrt 16.0) (cbrt 116.0)) (/ (sqrt 16.0) (* (cbrt 116.0) (cbrt 116.0))))))
  (fma (- (/ (sqrt 16.0) (cbrt 116.0))) (/ (sqrt 16.0) (* (cbrt 116.0) (cbrt 116.0))) (* (/ (sqrt 16.0) (cbrt 116.0)) (/ (sqrt 16.0) (* (cbrt 116.0) (cbrt 116.0)))))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (sqrt 16.0) (sqrt 116.0)) (/ (sqrt 16.0) (sqrt 116.0)))))
  (fma (- (/ (sqrt 16.0) (sqrt 116.0))) (/ (sqrt 16.0) (sqrt 116.0)) (* (/ (sqrt 16.0) (sqrt 116.0)) (/ (sqrt 16.0) (sqrt 116.0))))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (sqrt 16.0) 116.0) (/ (sqrt 16.0) 1))))
  (fma (- (/ (sqrt 16.0) 116.0)) (/ (sqrt 16.0) 1) (* (/ (sqrt 16.0) 116.0) (/ (sqrt 16.0) 1)))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ 16.0 (cbrt 116.0)) (/ 1 (* (cbrt 116.0) (cbrt 116.0))))))
  (fma (- (/ 16.0 (cbrt 116.0))) (/ 1 (* (cbrt 116.0) (cbrt 116.0))) (* (/ 16.0 (cbrt 116.0)) (/ 1 (* (cbrt 116.0) (cbrt 116.0)))))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ 16.0 (sqrt 116.0)) (/ 1 (sqrt 116.0)))))
  (fma (- (/ 16.0 (sqrt 116.0))) (/ 1 (sqrt 116.0)) (* (/ 16.0 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ 16.0 116.0) (/ 1 1))))
  (fma (- (/ 16.0 116.0)) (/ 1 1) (* (/ 16.0 116.0) (/ 1 1)))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ 16.0 116.0) 1)))
  (fma (- (/ 16.0 116.0)) 1 (* (/ 16.0 116.0) 1))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ 1 116.0) 16.0)))
  (fma (- (/ 1 116.0)) 16.0 (* (/ 1 116.0) 16.0))
  (fma (sqrt x) (sqrt x) (- (* (cbrt (/ 16.0 116.0)) (* (cbrt (/ 16.0 116.0)) (cbrt (/ 16.0 116.0))))))
  (fma (- (cbrt (/ 16.0 116.0))) (* (cbrt (/ 16.0 116.0)) (cbrt (/ 16.0 116.0))) (* (cbrt (/ 16.0 116.0)) (* (cbrt (/ 16.0 116.0)) (cbrt (/ 16.0 116.0)))))
  (fma (sqrt x) (sqrt x) (- (* (sqrt (/ 16.0 116.0)) (sqrt (/ 16.0 116.0)))))
  (fma (- (sqrt (/ 16.0 116.0))) (sqrt (/ 16.0 116.0)) (* (sqrt (/ 16.0 116.0)) (sqrt (/ 16.0 116.0))))
  (fma (sqrt x) (sqrt x) (- (* (/ (cbrt 16.0) (cbrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (* (cbrt 116.0) (cbrt 116.0))))))
  (fma (- (/ (cbrt 16.0) (cbrt 116.0))) (/ (* (cbrt 16.0) (cbrt 16.0)) (* (cbrt 116.0) (cbrt 116.0))) (* (/ (cbrt 16.0) (cbrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (* (cbrt 116.0) (cbrt 116.0)))))
  (fma (sqrt x) (sqrt x) (- (* (/ (cbrt 16.0) (sqrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (sqrt 116.0)))))
  (fma (- (/ (cbrt 16.0) (sqrt 116.0))) (/ (* (cbrt 16.0) (cbrt 16.0)) (sqrt 116.0)) (* (/ (cbrt 16.0) (sqrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (sqrt 116.0))))
  (fma (sqrt x) (sqrt x) (- (* (/ (cbrt 16.0) 116.0) (/ (* (cbrt 16.0) (cbrt 16.0)) 1))))
  (fma (- (/ (cbrt 16.0) 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) 1) (* (/ (cbrt 16.0) 116.0) (/ (* (cbrt 16.0) (cbrt 16.0)) 1)))
  (fma (sqrt x) (sqrt x) (- (* (/ (sqrt 16.0) (cbrt 116.0)) (/ (sqrt 16.0) (* (cbrt 116.0) (cbrt 116.0))))))
  (fma (- (/ (sqrt 16.0) (cbrt 116.0))) (/ (sqrt 16.0) (* (cbrt 116.0) (cbrt 116.0))) (* (/ (sqrt 16.0) (cbrt 116.0)) (/ (sqrt 16.0) (* (cbrt 116.0) (cbrt 116.0)))))
  (fma (sqrt x) (sqrt x) (- (* (/ (sqrt 16.0) (sqrt 116.0)) (/ (sqrt 16.0) (sqrt 116.0)))))
  (fma (- (/ (sqrt 16.0) (sqrt 116.0))) (/ (sqrt 16.0) (sqrt 116.0)) (* (/ (sqrt 16.0) (sqrt 116.0)) (/ (sqrt 16.0) (sqrt 116.0))))
  (fma (sqrt x) (sqrt x) (- (* (/ (sqrt 16.0) 116.0) (/ (sqrt 16.0) 1))))
  (fma (- (/ (sqrt 16.0) 116.0)) (/ (sqrt 16.0) 1) (* (/ (sqrt 16.0) 116.0) (/ (sqrt 16.0) 1)))
  (fma (sqrt x) (sqrt x) (- (* (/ 16.0 (cbrt 116.0)) (/ 1 (* (cbrt 116.0) (cbrt 116.0))))))
  (fma (- (/ 16.0 (cbrt 116.0))) (/ 1 (* (cbrt 116.0) (cbrt 116.0))) (* (/ 16.0 (cbrt 116.0)) (/ 1 (* (cbrt 116.0) (cbrt 116.0)))))
  (fma (sqrt x) (sqrt x) (- (* (/ 16.0 (sqrt 116.0)) (/ 1 (sqrt 116.0)))))
  (fma (- (/ 16.0 (sqrt 116.0))) (/ 1 (sqrt 116.0)) (* (/ 16.0 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (fma (sqrt x) (sqrt x) (- (* (/ 16.0 116.0) (/ 1 1))))
  (fma (- (/ 16.0 116.0)) (/ 1 1) (* (/ 16.0 116.0) (/ 1 1)))
  (fma (sqrt x) (sqrt x) (- (* (/ 16.0 116.0) 1)))
  (fma (- (/ 16.0 116.0)) 1 (* (/ 16.0 116.0) 1))
  (fma (sqrt x) (sqrt x) (- (* (/ 1 116.0) 16.0)))
  (fma (- (/ 1 116.0)) 16.0 (* (/ 1 116.0) 16.0))
  (fma 1 x (- (* (cbrt (/ 16.0 116.0)) (* (cbrt (/ 16.0 116.0)) (cbrt (/ 16.0 116.0))))))
  (fma (- (cbrt (/ 16.0 116.0))) (* (cbrt (/ 16.0 116.0)) (cbrt (/ 16.0 116.0))) (* (cbrt (/ 16.0 116.0)) (* (cbrt (/ 16.0 116.0)) (cbrt (/ 16.0 116.0)))))
  (fma 1 x (- (* (sqrt (/ 16.0 116.0)) (sqrt (/ 16.0 116.0)))))
  (fma (- (sqrt (/ 16.0 116.0))) (sqrt (/ 16.0 116.0)) (* (sqrt (/ 16.0 116.0)) (sqrt (/ 16.0 116.0))))
  (fma 1 x (- (* (/ (cbrt 16.0) (cbrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (* (cbrt 116.0) (cbrt 116.0))))))
  (fma (- (/ (cbrt 16.0) (cbrt 116.0))) (/ (* (cbrt 16.0) (cbrt 16.0)) (* (cbrt 116.0) (cbrt 116.0))) (* (/ (cbrt 16.0) (cbrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (* (cbrt 116.0) (cbrt 116.0)))))
  (fma 1 x (- (* (/ (cbrt 16.0) (sqrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (sqrt 116.0)))))
  (fma (- (/ (cbrt 16.0) (sqrt 116.0))) (/ (* (cbrt 16.0) (cbrt 16.0)) (sqrt 116.0)) (* (/ (cbrt 16.0) (sqrt 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) (sqrt 116.0))))
  (fma 1 x (- (* (/ (cbrt 16.0) 116.0) (/ (* (cbrt 16.0) (cbrt 16.0)) 1))))
  (fma (- (/ (cbrt 16.0) 116.0)) (/ (* (cbrt 16.0) (cbrt 16.0)) 1) (* (/ (cbrt 16.0) 116.0) (/ (* (cbrt 16.0) (cbrt 16.0)) 1)))
  (fma 1 x (- (* (/ (sqrt 16.0) (cbrt 116.0)) (/ (sqrt 16.0) (* (cbrt 116.0) (cbrt 116.0))))))
  (fma (- (/ (sqrt 16.0) (cbrt 116.0))) (/ (sqrt 16.0) (* (cbrt 116.0) (cbrt 116.0))) (* (/ (sqrt 16.0) (cbrt 116.0)) (/ (sqrt 16.0) (* (cbrt 116.0) (cbrt 116.0)))))
  (fma 1 x (- (* (/ (sqrt 16.0) (sqrt 116.0)) (/ (sqrt 16.0) (sqrt 116.0)))))
  (fma (- (/ (sqrt 16.0) (sqrt 116.0))) (/ (sqrt 16.0) (sqrt 116.0)) (* (/ (sqrt 16.0) (sqrt 116.0)) (/ (sqrt 16.0) (sqrt 116.0))))
  (fma 1 x (- (* (/ (sqrt 16.0) 116.0) (/ (sqrt 16.0) 1))))
  (fma (- (/ (sqrt 16.0) 116.0)) (/ (sqrt 16.0) 1) (* (/ (sqrt 16.0) 116.0) (/ (sqrt 16.0) 1)))
  (fma 1 x (- (* (/ 16.0 (cbrt 116.0)) (/ 1 (* (cbrt 116.0) (cbrt 116.0))))))
  (fma (- (/ 16.0 (cbrt 116.0))) (/ 1 (* (cbrt 116.0) (cbrt 116.0))) (* (/ 16.0 (cbrt 116.0)) (/ 1 (* (cbrt 116.0) (cbrt 116.0)))))
  (fma 1 x (- (* (/ 16.0 (sqrt 116.0)) (/ 1 (sqrt 116.0)))))
  (fma (- (/ 16.0 (sqrt 116.0))) (/ 1 (sqrt 116.0)) (* (/ 16.0 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (fma 1 x (- (* (/ 16.0 116.0) (/ 1 1))))
  (fma (- (/ 16.0 116.0)) (/ 1 1) (* (/ 16.0 116.0) (/ 1 1)))
  (fma 1 x (- (* (/ 16.0 116.0) 1)))
  (fma (- (/ 16.0 116.0)) 1 (* (/ 16.0 116.0) 1))
  (fma 1 x (- (* (/ 1 116.0) 16.0)))
  (fma (- (/ 1 116.0)) 16.0 (* (/ 1 116.0) 16.0))
  (expm1 (- x (/ 16.0 116.0)))
  (log1p (- x (/ 16.0 116.0)))
  (- (/ 16.0 116.0))
  (- (/ 16.0 116.0))
  (- (/ 16.0 116.0))
  (/ (exp x) (exp (/ 16.0 116.0)))
  (log (- x (/ 16.0 116.0)))
  (exp (- x (/ 16.0 116.0)))
  (* (cbrt (- x (/ 16.0 116.0))) (cbrt (- x (/ 16.0 116.0))))
  (cbrt (- x (/ 16.0 116.0)))
  (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0)))
  (sqrt (- x (/ 16.0 116.0)))
  (sqrt (- x (/ 16.0 116.0)))
  (- (pow x 3) (pow (/ 16.0 116.0) 3))
  (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))
  (- (/ 16.0 116.0))
  (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (+ x (/ 16.0 116.0))
  (+ (sqrt x) (sqrt (/ 16.0 116.0)))
  (- (sqrt x) (sqrt (/ 16.0 116.0)))
  (+ (sqrt x) (/ (sqrt 16.0) (sqrt 116.0)))
  (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0)))
  (- x (/ 16.0 116.0))
  (- (/ 16.0 116.0))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- x 0.13793103448275862)
  (- x 0.13793103448275862)
  (- x 0.13793103448275862)
3.519 * * [simplify]: Extracting # 0 : cost  0
3.520 * * [simplify]: Extracting # 1 : cost  0
3.520 * * [simplify]: Extracting # 2 : cost  0
3.521 * * [simplify]: Extracting # 3 : cost  0
3.521 * * [simplify]: Extracting # 4 : cost  0
3.522 * * [simplify]: Extracting # 5 : cost  0
3.522 * * [simplify]: Extracting # 6 : cost  0
3.523 * * [simplify]: Extracting # 7 : cost  0
3.523 * * [simplify]: Extracting # 8 : cost  0
3.524 * * [simplify]: iteration  0 :  194  enodes  (cost  2055 )
3.590 * * [simplify]: Extracting # 0 : cost  0
3.590 * * [simplify]: Extracting # 1 : cost  0
3.591 * * [simplify]: Extracting # 2 : cost  0
3.591 * * [simplify]: Extracting # 3 : cost  0
3.592 * * [simplify]: Extracting # 4 : cost  0
3.592 * * [simplify]: iteration  1 :  467  enodes  (cost  1836 )
3.847 * * [simplify]: Extracting # 0 : cost  0
3.849 * * [simplify]: Extracting # 1 : cost  0
3.850 * * [simplify]: Extracting # 2 : cost  0
3.852 * * [simplify]: Extracting # 3 : cost  0
3.854 * * [simplify]: Extracting # 4 : cost  0
3.855 * * [simplify]: Extracting # 5 : cost  0
3.856 * * [simplify]: iteration  2 :  1320  enodes  (cost  1277 )
5.004 * * [simplify]: Extracting # 0 : cost  0
5.018 * * [simplify]: Extracting # 1 : cost  0
5.028 * * [simplify]: Extracting # 2 : cost  0
5.038 * * [simplify]: Extracting # 3 : cost  0
5.048 * * [simplify]: Extracting # 4 : cost  0
5.058 * * [simplify]: iteration done:  5001  enodes  (cost  1018 )
5.059 * [simplify]: Simplified to:
  (expm1 (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (log1p (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (* (- x (/ 16.0 116.0)) (* 3.0 y))
  (* (- x (/ 16.0 116.0)) (* 3.0 y))
  (log (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (log (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (log (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (exp (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (pow (* (- x (/ 16.0 116.0)) (* 3.0 y)) 3)
  (pow (* (- x (/ 16.0 116.0)) (* 3.0 y)) 3)
  (* (cbrt (* (- x (/ 16.0 116.0)) (* 3.0 y))) (cbrt (* (- x (/ 16.0 116.0)) (* 3.0 y))))
  (cbrt (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (pow (* (- x (/ 16.0 116.0)) (* 3.0 y)) 3)
  (sqrt (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (sqrt (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (cbrt (- x (/ 16.0 116.0))) (* 3.0 y))
  (* (sqrt (- x (/ 16.0 116.0))) (* 3.0 y))
  (* (- x (/ 16.0 116.0)) (* 3.0 y))
  (* (- (sqrt x) (sqrt (/ 16.0 116.0))) (* 3.0 y))
  (* (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) (* 3.0 y))
  (* (- x (/ 16.0 116.0)) (* 3.0 y))
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (* 3.0 y))
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) (* 3.0 y))
  (- (pow (cbrt x) 3) (/ 16.0 116.0))
  0
  (- (pow (cbrt x) 3) (/ 16.0 116.0))
  0
  (- (pow (cbrt x) 3) (/ 16.0 (pow (cbrt 116.0) 3)))
  (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))
  (- (pow (cbrt x) 3) (/ (/ 16.0 (sqrt 116.0)) (sqrt 116.0)))
  (* (/ 16.0 (sqrt 116.0)) (+ (/ -1 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (- (pow (cbrt x) 3) (/ 16.0 116.0))
  0
  (- (pow (cbrt x) 3) (/ 16.0 (pow (cbrt 116.0) 3)))
  (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))
  (- (pow (cbrt x) 3) (/ (/ 16.0 (sqrt 116.0)) (sqrt 116.0)))
  (* (/ 16.0 (sqrt 116.0)) (+ (/ -1 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (- (pow (cbrt x) 3) (/ 16.0 116.0))
  0
  (- (pow (cbrt x) 3) (/ 16.0 (pow (cbrt 116.0) 3)))
  (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))
  (- (pow (cbrt x) 3) (/ (/ 16.0 (sqrt 116.0)) (sqrt 116.0)))
  (* (/ 16.0 (sqrt 116.0)) (+ (/ -1 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (- (pow (cbrt x) 3) (/ 16.0 116.0))
  0
  (- (pow (cbrt x) 3) (/ 16.0 116.0))
  0
  (- (pow (cbrt x) 3) (/ 16.0 116.0))
  0
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 (pow (cbrt 116.0) 3)))
  (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))
  (- x (/ (/ 16.0 (sqrt 116.0)) (sqrt 116.0)))
  (* (/ 16.0 (sqrt 116.0)) (+ (/ -1 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 (pow (cbrt 116.0) 3)))
  (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))
  (- x (/ (/ 16.0 (sqrt 116.0)) (sqrt 116.0)))
  (* (/ 16.0 (sqrt 116.0)) (+ (/ -1 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 (pow (cbrt 116.0) 3)))
  (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))
  (- x (/ (/ 16.0 (sqrt 116.0)) (sqrt 116.0)))
  (* (/ 16.0 (sqrt 116.0)) (+ (/ -1 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 (pow (cbrt 116.0) 3)))
  (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))
  (- x (/ (/ 16.0 (sqrt 116.0)) (sqrt 116.0)))
  (* (/ 16.0 (sqrt 116.0)) (+ (/ -1 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 (pow (cbrt 116.0) 3)))
  (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))
  (- x (/ (/ 16.0 (sqrt 116.0)) (sqrt 116.0)))
  (* (/ 16.0 (sqrt 116.0)) (+ (/ -1 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 (pow (cbrt 116.0) 3)))
  (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))
  (- x (/ (/ 16.0 (sqrt 116.0)) (sqrt 116.0)))
  (* (/ 16.0 (sqrt 116.0)) (+ (/ -1 (sqrt 116.0)) (/ 1 (sqrt 116.0))))
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 116.0))
  0
  (- x (/ 16.0 116.0))
  0
  (expm1 (- x (/ 16.0 116.0)))
  (log1p (- x (/ 16.0 116.0)))
  (- (/ 16.0 116.0))
  (- (/ 16.0 116.0))
  (- (/ 16.0 116.0))
  (exp (- x (/ 16.0 116.0)))
  (log (- x (/ 16.0 116.0)))
  (exp (- x (/ 16.0 116.0)))
  (* (cbrt (- x (/ 16.0 116.0))) (cbrt (- x (/ 16.0 116.0))))
  (cbrt (- x (/ 16.0 116.0)))
  (pow (- x (/ 16.0 116.0)) 3)
  (sqrt (- x (/ 16.0 116.0)))
  (sqrt (- x (/ 16.0 116.0)))
  (- (pow x 3) (pow (/ 16.0 116.0) 3))
  (fma x x (* (/ 16.0 116.0) (+ x (/ 16.0 116.0))))
  (- (/ 16.0 116.0))
  (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (+ (/ 16.0 116.0) x)
  (+ (sqrt x) (sqrt (/ 16.0 116.0)))
  (- (sqrt x) (sqrt (/ 16.0 116.0)))
  (+ (sqrt x) (/ (sqrt 16.0) (sqrt 116.0)))
  (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0)))
  (- x (/ 16.0 116.0))
  (- (/ 16.0 116.0))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (- x 0.13793103448275862)
  (- x 0.13793103448275862)
  (- x 0.13793103448275862)
5.060 * * * [progress]: adding candidates to table
5.274 * * [progress]: iteration 3 / 4
5.274 * * * [progress]: picking best candidate
5.312 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (+ (- x (/ 16.0 (pow (cbrt 116.0) 3))) (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))) 3.0) y))>
5.312 * * * [progress]: localizing error
5.350 * * * [progress]: generating rewritten candidates
5.350 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 2)
5.358 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2)
5.364 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 2)
5.370 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 2 1)
5.376 * * * [progress]: generating series expansions
5.376 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 2)
5.376 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 2)
5.376 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 2)
5.376 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 2 1)
5.376 * * * [progress]: simplifying candidates
5.379 * [simplify]: Simplifying:
  (expm1 (pow (cbrt 116.0) 3))
  (log1p (pow (cbrt 116.0) 3))
  (* (log (cbrt 116.0)) 3)
  (* (log (cbrt 116.0)) 3)
  (* 1/3 3)
  (* 1 3)
  (pow (cbrt 116.0) (* (cbrt 3) (cbrt 3)))
  (pow (cbrt 116.0) (sqrt 3))
  (pow (cbrt 116.0) 1)
  (pow (cbrt (* (cbrt 116.0) (cbrt 116.0))) 3)
  (pow (cbrt (cbrt 116.0)) 3)
  (pow (cbrt (sqrt 116.0)) 3)
  (pow (cbrt (sqrt 116.0)) 3)
  (pow (cbrt 1) 3)
  (pow (cbrt 116.0) 3)
  (pow (* (cbrt (cbrt 116.0)) (cbrt (cbrt 116.0))) 3)
  (pow (cbrt (cbrt 116.0)) 3)
  (pow (sqrt (cbrt 116.0)) 3)
  (pow (sqrt (cbrt 116.0)) 3)
  (pow 1 3)
  (pow (cbrt 116.0) 3)
  (* (cbrt 116.0) (cbrt 116.0))
  (log (pow (cbrt 116.0) 3))
  (exp (pow (cbrt 116.0) 3))
  (* (cbrt (pow (cbrt 116.0) 3)) (cbrt (pow (cbrt 116.0) 3)))
  (cbrt (pow (cbrt 116.0) 3))
  (* (* (pow (cbrt 116.0) 3) (pow (cbrt 116.0) 3)) (pow (cbrt 116.0) 3))
  (pow (cbrt (* (cbrt 116.0) (cbrt 116.0))) 3)
  (pow (cbrt (cbrt 116.0)) 3)
  (pow (cbrt (sqrt 116.0)) 3)
  (pow (cbrt (sqrt 116.0)) 3)
  (pow (cbrt 1) 3)
  (pow (cbrt 116.0) 3)
  (pow (* (cbrt (cbrt 116.0)) (cbrt (cbrt 116.0))) 3)
  (pow (cbrt (cbrt 116.0)) 3)
  (pow (sqrt (cbrt 116.0)) 3)
  (pow (sqrt (cbrt 116.0)) 3)
  (pow 1 3)
  (pow (cbrt 116.0) 3)
  (* (cbrt 116.0) (cbrt 116.0))
  (sqrt (pow (cbrt 116.0) 3))
  (sqrt (pow (cbrt 116.0) 3))
  (pow (cbrt 116.0) (/ 3 2))
  (pow (cbrt 116.0) (/ 3 2))
  (expm1 (pow (cbrt 116.0) 3))
  (log1p (pow (cbrt 116.0) 3))
  (* (log (cbrt 116.0)) 3)
  (* (log (cbrt 116.0)) 3)
  (* 1/3 3)
  (* 1 3)
  (pow (cbrt 116.0) (* (cbrt 3) (cbrt 3)))
  (pow (cbrt 116.0) (sqrt 3))
  (pow (cbrt 116.0) 1)
  (pow (cbrt (* (cbrt 116.0) (cbrt 116.0))) 3)
  (pow (cbrt (cbrt 116.0)) 3)
  (pow (cbrt (sqrt 116.0)) 3)
  (pow (cbrt (sqrt 116.0)) 3)
  (pow (cbrt 1) 3)
  (pow (cbrt 116.0) 3)
  (pow (* (cbrt (cbrt 116.0)) (cbrt (cbrt 116.0))) 3)
  (pow (cbrt (cbrt 116.0)) 3)
  (pow (sqrt (cbrt 116.0)) 3)
  (pow (sqrt (cbrt 116.0)) 3)
  (pow 1 3)
  (pow (cbrt 116.0) 3)
  (* (cbrt 116.0) (cbrt 116.0))
  (log (pow (cbrt 116.0) 3))
  (exp (pow (cbrt 116.0) 3))
  (* (cbrt (pow (cbrt 116.0) 3)) (cbrt (pow (cbrt 116.0) 3)))
  (cbrt (pow (cbrt 116.0) 3))
  (* (* (pow (cbrt 116.0) 3) (pow (cbrt 116.0) 3)) (pow (cbrt 116.0) 3))
  (pow (cbrt (* (cbrt 116.0) (cbrt 116.0))) 3)
  (pow (cbrt (cbrt 116.0)) 3)
  (pow (cbrt (sqrt 116.0)) 3)
  (pow (cbrt (sqrt 116.0)) 3)
  (pow (cbrt 1) 3)
  (pow (cbrt 116.0) 3)
  (pow (* (cbrt (cbrt 116.0)) (cbrt (cbrt 116.0))) 3)
  (pow (cbrt (cbrt 116.0)) 3)
  (pow (sqrt (cbrt 116.0)) 3)
  (pow (sqrt (cbrt 116.0)) 3)
  (pow 1 3)
  (pow (cbrt 116.0) 3)
  (* (cbrt 116.0) (cbrt 116.0))
  (sqrt (pow (cbrt 116.0) 3))
  (sqrt (pow (cbrt 116.0) 3))
  (pow (cbrt 116.0) (/ 3 2))
  (pow (cbrt 116.0) (/ 3 2))
  (expm1 (pow (cbrt 116.0) 3))
  (log1p (pow (cbrt 116.0) 3))
  (* (log (cbrt 116.0)) 3)
  (* (log (cbrt 116.0)) 3)
  (* 1/3 3)
  (* 1 3)
  (pow (cbrt 116.0) (* (cbrt 3) (cbrt 3)))
  (pow (cbrt 116.0) (sqrt 3))
  (pow (cbrt 116.0) 1)
  (pow (cbrt (* (cbrt 116.0) (cbrt 116.0))) 3)
  (pow (cbrt (cbrt 116.0)) 3)
  (pow (cbrt (sqrt 116.0)) 3)
  (pow (cbrt (sqrt 116.0)) 3)
  (pow (cbrt 1) 3)
  (pow (cbrt 116.0) 3)
  (pow (* (cbrt (cbrt 116.0)) (cbrt (cbrt 116.0))) 3)
  (pow (cbrt (cbrt 116.0)) 3)
  (pow (sqrt (cbrt 116.0)) 3)
  (pow (sqrt (cbrt 116.0)) 3)
  (pow 1 3)
  (pow (cbrt 116.0) 3)
  (* (cbrt 116.0) (cbrt 116.0))
  (log (pow (cbrt 116.0) 3))
  (exp (pow (cbrt 116.0) 3))
  (* (cbrt (pow (cbrt 116.0) 3)) (cbrt (pow (cbrt 116.0) 3)))
  (cbrt (pow (cbrt 116.0) 3))
  (* (* (pow (cbrt 116.0) 3) (pow (cbrt 116.0) 3)) (pow (cbrt 116.0) 3))
  (pow (cbrt (* (cbrt 116.0) (cbrt 116.0))) 3)
  (pow (cbrt (cbrt 116.0)) 3)
  (pow (cbrt (sqrt 116.0)) 3)
  (pow (cbrt (sqrt 116.0)) 3)
  (pow (cbrt 1) 3)
  (pow (cbrt 116.0) 3)
  (pow (* (cbrt (cbrt 116.0)) (cbrt (cbrt 116.0))) 3)
  (pow (cbrt (cbrt 116.0)) 3)
  (pow (sqrt (cbrt 116.0)) 3)
  (pow (sqrt (cbrt 116.0)) 3)
  (pow 1 3)
  (pow (cbrt 116.0) 3)
  (* (cbrt 116.0) (cbrt 116.0))
  (sqrt (pow (cbrt 116.0) 3))
  (sqrt (pow (cbrt 116.0) 3))
  (pow (cbrt 116.0) (/ 3 2))
  (pow (cbrt 116.0) (/ 3 2))
  (expm1 (cbrt 116.0))
  (log1p (cbrt 116.0))
  (log (cbrt 116.0))
  (exp (cbrt 116.0))
  (cbrt (* (cbrt 116.0) (cbrt 116.0)))
  (cbrt (cbrt 116.0))
  (cbrt (sqrt 116.0))
  (cbrt (sqrt 116.0))
  (cbrt 1)
  (cbrt 116.0)
  (* (cbrt (cbrt 116.0)) (cbrt (cbrt 116.0)))
  (cbrt (cbrt 116.0))
  (* (* (cbrt 116.0) (cbrt 116.0)) (cbrt 116.0))
  (sqrt (cbrt 116.0))
  (sqrt (cbrt 116.0))
  (* (* (+ (- x (/ 16.0 (pow (cbrt 116.0) 3))) (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))) 3.0) y)
  (* (* (+ (- x (/ 16.0 (pow (cbrt 116.0) 3))) (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))) 3.0) y)
  (* (* (+ (- x (/ 16.0 (pow (cbrt 116.0) 3))) (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))) 3.0) y)
  (* (* (+ (- x (/ 16.0 (pow (cbrt 116.0) 3))) (+ (- (/ 16.0 (pow (cbrt 116.0) 3))) (/ 16.0 (pow (cbrt 116.0) 3)))) 3.0) y)
5.381 * * [simplify]: Extracting # 0 : cost  0
5.381 * * [simplify]: Extracting # 1 : cost  0
5.381 * * [simplify]: Extracting # 2 : cost  0
5.382 * * [simplify]: Extracting # 3 : cost  0
5.382 * * [simplify]: Extracting # 4 : cost  0
5.382 * * [simplify]: Extracting # 5 : cost  0
5.382 * * [simplify]: Extracting # 6 : cost  0
5.382 * * [simplify]: Extracting # 7 : cost  0
5.382 * * [simplify]: Extracting # 8 : cost  0
5.382 * * [simplify]: Extracting # 9 : cost  0
5.383 * * [simplify]: Extracting # 10 : cost  0
5.383 * * [simplify]: Extracting # 11 : cost  0
5.383 * * [simplify]: iteration  0 :  58  enodes  (cost  880 )
5.416 * * [simplify]: Extracting # 0 : cost  0
5.416 * * [simplify]: Extracting # 1 : cost  0
5.416 * * [simplify]: Extracting # 2 : cost  0
5.416 * * [simplify]: Extracting # 3 : cost  0
5.417 * * [simplify]: Extracting # 4 : cost  0
5.417 * * [simplify]: iteration  1 :  132  enodes  (cost  500 )
5.463 * * [simplify]: Extracting # 0 : cost  0
5.464 * * [simplify]: Extracting # 1 : cost  0
5.464 * * [simplify]: Extracting # 2 : cost  0
5.464 * * [simplify]: Extracting # 3 : cost  0
5.465 * * [simplify]: Extracting # 4 : cost  0
5.465 * * [simplify]: iteration  2 :  263  enodes  (cost  466 )
5.576 * * [simplify]: Extracting # 0 : cost  0
5.576 * * [simplify]: Extracting # 1 : cost  0
5.577 * * [simplify]: Extracting # 2 : cost  0
5.578 * * [simplify]: Extracting # 3 : cost  0
5.579 * * [simplify]: Extracting # 4 : cost  0
5.580 * * [simplify]: Extracting # 5 : cost  0
5.582 * * [simplify]: iteration  3 :  715  enodes  (cost  426 )
6.239 * * [simplify]: Extracting # 0 : cost  0
6.241 * * [simplify]: Extracting # 1 : cost  0
6.243 * * [simplify]: Extracting # 2 : cost  0
6.245 * * [simplify]: Extracting # 3 : cost  0
6.247 * * [simplify]: Extracting # 4 : cost  0
6.248 * * [simplify]: iteration  4 :  1973  enodes  (cost  422 )
7.372 * * [simplify]: Extracting # 0 : cost  0
7.378 * * [simplify]: Extracting # 1 : cost  0
7.386 * * [simplify]: Extracting # 2 : cost  0
7.392 * * [simplify]: Extracting # 3 : cost  0
7.400 * * [simplify]: Extracting # 4 : cost  0
7.408 * * [simplify]: iteration done:  5001  enodes  (cost  422 )
7.410 * [simplify]: Simplified to:
  (expm1 116.0)
  (log1p 116.0)
  (log 116.0)
  (log 116.0)
  1
  3
  (pow (cbrt 116.0) (* (cbrt 3) (cbrt 3)))
  (pow (cbrt 116.0) (sqrt 3))
  (cbrt 116.0)
  (pow (cbrt 116.0) 2)
  (cbrt 116.0)
  (sqrt 116.0)
  (sqrt 116.0)
  1
  116.0
  (pow (cbrt 116.0) 2)
  (cbrt 116.0)
  (pow (cbrt 116.0) 3/2)
  (pow (cbrt 116.0) 3/2)
  1
  116.0
  (pow (cbrt 116.0) 2)
  (log 116.0)
  (exp 116.0)
  (pow (cbrt 116.0) 2)
  (cbrt 116.0)
  (pow 116.0 3)
  (pow (cbrt 116.0) 2)
  (cbrt 116.0)
  (sqrt 116.0)
  (sqrt 116.0)
  1
  116.0
  (pow (cbrt 116.0) 2)
  (cbrt 116.0)
  (pow (cbrt 116.0) 3/2)
  (pow (cbrt 116.0) 3/2)
  1
  116.0
  (pow (cbrt 116.0) 2)
  (sqrt 116.0)
  (sqrt 116.0)
  (pow (cbrt 116.0) 3/2)
  (pow (cbrt 116.0) 3/2)
  (expm1 116.0)
  (log1p 116.0)
  (log 116.0)
  (log 116.0)
  1
  3
  (pow (cbrt 116.0) (* (cbrt 3) (cbrt 3)))
  (pow (cbrt 116.0) (sqrt 3))
  (cbrt 116.0)
  (pow (cbrt 116.0) 2)
  (cbrt 116.0)
  (sqrt 116.0)
  (sqrt 116.0)
  1
  116.0
  (pow (cbrt 116.0) 2)
  (cbrt 116.0)
  (pow (cbrt 116.0) 3/2)
  (pow (cbrt 116.0) 3/2)
  1
  116.0
  (pow (cbrt 116.0) 2)
  (log 116.0)
  (exp 116.0)
  (pow (cbrt 116.0) 2)
  (cbrt 116.0)
  (pow 116.0 3)
  (pow (cbrt 116.0) 2)
  (cbrt 116.0)
  (sqrt 116.0)
  (sqrt 116.0)
  1
  116.0
  (pow (cbrt 116.0) 2)
  (cbrt 116.0)
  (pow (cbrt 116.0) 3/2)
  (pow (cbrt 116.0) 3/2)
  1
  116.0
  (pow (cbrt 116.0) 2)
  (sqrt 116.0)
  (sqrt 116.0)
  (pow (cbrt 116.0) 3/2)
  (pow (cbrt 116.0) 3/2)
  (expm1 116.0)
  (log1p 116.0)
  (log 116.0)
  (log 116.0)
  1
  3
  (pow (cbrt 116.0) (* (cbrt 3) (cbrt 3)))
  (pow (cbrt 116.0) (sqrt 3))
  (cbrt 116.0)
  (pow (cbrt 116.0) 2)
  (cbrt 116.0)
  (sqrt 116.0)
  (sqrt 116.0)
  1
  116.0
  (pow (cbrt 116.0) 2)
  (cbrt 116.0)
  (pow (cbrt 116.0) 3/2)
  (pow (cbrt 116.0) 3/2)
  1
  116.0
  (pow (cbrt 116.0) 2)
  (log 116.0)
  (exp 116.0)
  (pow (cbrt 116.0) 2)
  (cbrt 116.0)
  (pow 116.0 3)
  (pow (cbrt 116.0) 2)
  (cbrt 116.0)
  (sqrt 116.0)
  (sqrt 116.0)
  1
  116.0
  (pow (cbrt 116.0) 2)
  (cbrt 116.0)
  (pow (cbrt 116.0) 3/2)
  (pow (cbrt 116.0) 3/2)
  1
  116.0
  (pow (cbrt 116.0) 2)
  (sqrt 116.0)
  (sqrt 116.0)
  (pow (cbrt 116.0) 3/2)
  (pow (cbrt 116.0) 3/2)
  (expm1 (cbrt 116.0))
  (log1p (cbrt 116.0))
  (log (cbrt 116.0))
  (exp (cbrt 116.0))
  (pow (cbrt (cbrt 116.0)) 2)
  (cbrt (cbrt 116.0))
  (cbrt (sqrt 116.0))
  (cbrt (sqrt 116.0))
  1
  (cbrt 116.0)
  (pow (cbrt (cbrt 116.0)) 2)
  (cbrt (cbrt 116.0))
  116.0
  (sqrt (cbrt 116.0))
  (sqrt (cbrt 116.0))
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
7.411 * * * [progress]: adding candidates to table
7.726 * * [progress]: iteration 4 / 4
7.726 * * * [progress]: picking best candidate
7.755 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (* (cbrt (* (- x (/ 16.0 116.0)) 3.0)) (cbrt (* (- x (/ 16.0 116.0)) 3.0))) (cbrt (* (- x (/ 16.0 116.0)) 3.0))) y))>
7.755 * * * [progress]: localizing error
7.788 * * * [progress]: generating rewritten candidates
7.788 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
7.806 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
7.823 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
7.845 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
7.885 * * * [progress]: generating series expansions
7.885 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
7.886 * [backup-simplify]: Simplify (cbrt (* (- x (/ 16.0 116.0)) 3.0)) into (* (cbrt 3.0) (pow (- x 0.13793103448275862) 1/3))
7.886 * [approximate]: Taking taylor expansion of (* (cbrt 3.0) (pow (- x 0.13793103448275862) 1/3)) in (x) around 0
7.886 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow (- x 0.13793103448275862) 1/3)) in x
7.886 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
7.886 * [taylor]: Taking taylor expansion of 3.0 in x
7.886 * [backup-simplify]: Simplify 3.0 into 3.0
7.886 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
7.887 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
7.887 * [taylor]: Taking taylor expansion of (pow (- x 0.13793103448275862) 1/3) in x
7.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x 0.13793103448275862)))) in x
7.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x 0.13793103448275862))) in x
7.887 * [taylor]: Taking taylor expansion of 1/3 in x
7.887 * [backup-simplify]: Simplify 1/3 into 1/3
7.887 * [taylor]: Taking taylor expansion of (log (- x 0.13793103448275862)) in x
7.887 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
7.887 * [taylor]: Taking taylor expansion of x in x
7.887 * [backup-simplify]: Simplify 0 into 0
7.887 * [backup-simplify]: Simplify 1 into 1
7.887 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
7.887 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
7.887 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
7.888 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
7.888 * [backup-simplify]: Simplify (log (- 0.13793103448275862)) into (log (- 0.13793103448275862))
7.889 * [backup-simplify]: Simplify (* 1/3 (log (- 0.13793103448275862))) into (* 1/3 (log (- 0.13793103448275862)))
7.890 * [backup-simplify]: Simplify (exp (* 1/3 (log (- 0.13793103448275862)))) into (pow (- 0.13793103448275862) 1/3)
7.890 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow (- x 0.13793103448275862) 1/3)) in x
7.890 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
7.890 * [taylor]: Taking taylor expansion of 3.0 in x
7.890 * [backup-simplify]: Simplify 3.0 into 3.0
7.891 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
7.891 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
7.891 * [taylor]: Taking taylor expansion of (pow (- x 0.13793103448275862) 1/3) in x
7.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x 0.13793103448275862)))) in x
7.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x 0.13793103448275862))) in x
7.891 * [taylor]: Taking taylor expansion of 1/3 in x
7.891 * [backup-simplify]: Simplify 1/3 into 1/3
7.891 * [taylor]: Taking taylor expansion of (log (- x 0.13793103448275862)) in x
7.891 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
7.891 * [taylor]: Taking taylor expansion of x in x
7.891 * [backup-simplify]: Simplify 0 into 0
7.891 * [backup-simplify]: Simplify 1 into 1
7.891 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
7.891 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
7.891 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
7.892 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
7.892 * [backup-simplify]: Simplify (log (- 0.13793103448275862)) into (log (- 0.13793103448275862))
7.893 * [backup-simplify]: Simplify (* 1/3 (log (- 0.13793103448275862))) into (* 1/3 (log (- 0.13793103448275862)))
7.895 * [backup-simplify]: Simplify (exp (* 1/3 (log (- 0.13793103448275862)))) into (pow (- 0.13793103448275862) 1/3)
7.897 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (- 0.13793103448275862) 1/3)) into (* (cbrt 3.0) (pow -0.13793103448275862 1/3))
7.898 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow -0.13793103448275862 1/3)) into (* (cbrt 3.0) (pow -0.13793103448275862 1/3))
7.899 * [backup-simplify]: Simplify (- 0) into 0
7.899 * [backup-simplify]: Simplify (+ 1 0) into 1
7.904 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (- 0.13793103448275862) 1)))) 1) into -7.25
7.905 * [backup-simplify]: Simplify (+ (* 1/3 -7.25) (* 0 (log (- 0.13793103448275862)))) into (- 2.4166666666666665)
7.914 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- 0.13793103448275862)))) (+ (* (/ (pow (- 2.4166666666666665) 1) 1)))) into (* -2.4166666666666665 (pow -0.13793103448275862 1/3))
7.917 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) (* -2.4166666666666665 (pow -0.13793103448275862 1/3))) (* 0 (pow (- 0.13793103448275862) 1/3))) into (- (* 2.4166666666666665 (* (cbrt 3.0) (pow -0.13793103448275862 1/3))))
7.919 * [backup-simplify]: Simplify (- (* 2.4166666666666665 (* (cbrt 3.0) (pow -0.13793103448275862 1/3)))) into (- (* 2.4166666666666665 (* (cbrt 3.0) (pow -0.13793103448275862 1/3))))
7.919 * [backup-simplify]: Simplify (- 0) into 0
7.920 * [backup-simplify]: Simplify (+ 0 0) into 0
7.926 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow (- 0.13793103448275862) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- 0.13793103448275862) 1)))) 2) into (/ -1/2 (pow -0.13793103448275862 2))
7.929 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow -0.13793103448275862 2))) (+ (* 0 -7.25) (* 0 (log (- 0.13793103448275862))))) into (- (* 1/6 (/ 1 (pow -0.13793103448275862 2))))
7.945 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- 0.13793103448275862)))) (+ (* (/ (pow (- 2.4166666666666665) 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow -0.13793103448275862 2)))) 1) 1)))) into (* (- 2.9201388888888884 (* 1/6 (/ 1 (pow -0.13793103448275862 2)))) (pow -0.13793103448275862 1/3))
7.947 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
7.958 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) (* (- 2.9201388888888884 (* 1/6 (/ 1 (pow -0.13793103448275862 2)))) (pow -0.13793103448275862 1/3))) (+ (* 0 (* -2.4166666666666665 (pow -0.13793103448275862 1/3))) (* 0 (pow (- 0.13793103448275862) 1/3)))) into (- (* 2.9201388888888884 (* (cbrt 3.0) (pow -0.13793103448275862 1/3))) (* 1/6 (* (cbrt 3.0) (pow (/ 1 (pow -0.13793103448275862 5)) 1/3))))
7.964 * [backup-simplify]: Simplify (- (* 2.9201388888888884 (* (cbrt 3.0) (pow -0.13793103448275862 1/3))) (* 1/6 (* (cbrt 3.0) (pow (/ 1 (pow -0.13793103448275862 5)) 1/3)))) into (- (* 2.9201388888888884 (* (cbrt 3.0) (pow -0.13793103448275862 1/3))) (* 1/6 (* (cbrt 3.0) (pow (/ 1 (pow -0.13793103448275862 5)) 1/3))))