32.418 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.026 * * * [progress]: [2/2] Setting up program.
0.028 * [progress]: [Phase 2 of 3] Improving.
0.028 * [simplify]: Simplifying:
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
0.028 * * [simplify]: Extracting # 0 : cost  0
0.028 * * [simplify]: Extracting # 1 : cost  0
0.028 * * [simplify]: Extracting # 2 : cost  0
0.028 * * [simplify]: Extracting # 3 : cost  0
0.028 * * [simplify]: Extracting # 4 : cost  0
0.028 * * [simplify]: Extracting # 5 : cost  0
0.028 * * [simplify]: Extracting # 6 : cost  0
0.028 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
0.030 * * [simplify]: Extracting # 0 : cost  0
0.031 * * [simplify]: Extracting # 1 : cost  0
0.031 * * [simplify]: Extracting # 2 : cost  0
0.031 * * [simplify]: iteration  1 :  15  enodes  (cost  9 )
0.036 * * [simplify]: Extracting # 0 : cost  0
0.036 * * [simplify]: Extracting # 1 : cost  0
0.037 * * [simplify]: Extracting # 2 : cost  0
0.037 * * [simplify]: iteration  2 :  31  enodes  (cost  9 )
0.050 * * [simplify]: Extracting # 0 : cost  0
0.050 * * [simplify]: Extracting # 1 : cost  0
0.051 * * [simplify]: Extracting # 2 : cost  0
0.051 * * [simplify]: iteration  3 :  74  enodes  (cost  9 )
0.082 * * [simplify]: Extracting # 0 : cost  0
0.082 * * [simplify]: Extracting # 1 : cost  0
0.082 * * [simplify]: Extracting # 2 : cost  0
0.082 * * [simplify]: iteration  4 :  171  enodes  (cost  9 )
0.126 * * [simplify]: Extracting # 0 : cost  0
0.126 * * [simplify]: Extracting # 1 : cost  0
0.127 * * [simplify]: Extracting # 2 : cost  0
0.127 * * [simplify]: iteration  5 :  269  enodes  (cost  9 )
0.186 * * [simplify]: Extracting # 0 : cost  0
0.187 * * [simplify]: Extracting # 1 : cost  0
0.187 * * [simplify]: Extracting # 2 : cost  0
0.187 * * [simplify]: iteration  6 :  369  enodes  (cost  9 )
0.305 * * [simplify]: Extracting # 0 : cost  0
0.306 * * [simplify]: Extracting # 1 : cost  0
0.306 * * [simplify]: Extracting # 2 : cost  0
0.307 * * [simplify]: iteration  7 :  443  enodes  (cost  9 )
0.454 * * [simplify]: Extracting # 0 : cost  0
0.454 * * [simplify]: Extracting # 1 : cost  0
0.455 * * [simplify]: Extracting # 2 : cost  0
0.456 * * [simplify]: iteration  8 :  503  enodes  (cost  9 )
0.614 * * [simplify]: Extracting # 0 : cost  0
0.615 * * [simplify]: Extracting # 1 : cost  0
0.615 * * [simplify]: Extracting # 2 : cost  0
0.615 * * [simplify]: iteration  9 :  526  enodes  (cost  9 )
0.789 * * [simplify]: Extracting # 0 : cost  0
0.790 * * [simplify]: iteration  10 :  531  enodes  (cost  9 )
0.973 * * [simplify]: Extracting # 0 : cost  0
0.973 * * [simplify]: iteration done:  531  enodes  (cost  9 )
0.974 * [simplify]: Simplified to:
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
0.974 * * [progress]: iteration 1 / 4
0.974 * * * [progress]: picking best candidate
0.975 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))>
0.975 * * * [progress]: localizing error
0.983 * * * [progress]: generating rewritten candidates
0.983 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1.086 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
1.129 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
1.157 * * * [progress]: generating series expansions
1.157 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1.158 * [backup-simplify]: Simplify (* (* (- x (/ 16.0 116.0)) 3.0) y) into (* 3.0 (* (- x 0.13793103448275862) y))
1.158 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0
1.158 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
1.158 * [taylor]: Taking taylor expansion of 3.0 in y
1.158 * [backup-simplify]: Simplify 3.0 into 3.0
1.158 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
1.158 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
1.158 * [taylor]: Taking taylor expansion of x in y
1.158 * [backup-simplify]: Simplify x into x
1.158 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
1.158 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.158 * [taylor]: Taking taylor expansion of y in y
1.158 * [backup-simplify]: Simplify 0 into 0
1.158 * [backup-simplify]: Simplify 1 into 1
1.158 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
1.158 * [taylor]: Taking taylor expansion of 3.0 in x
1.158 * [backup-simplify]: Simplify 3.0 into 3.0
1.158 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
1.158 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
1.158 * [taylor]: Taking taylor expansion of x in x
1.158 * [backup-simplify]: Simplify 0 into 0
1.158 * [backup-simplify]: Simplify 1 into 1
1.158 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.158 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.158 * [taylor]: Taking taylor expansion of y in x
1.158 * [backup-simplify]: Simplify y into y
1.158 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
1.158 * [taylor]: Taking taylor expansion of 3.0 in x
1.158 * [backup-simplify]: Simplify 3.0 into 3.0
1.158 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
1.158 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
1.158 * [taylor]: Taking taylor expansion of x in x
1.158 * [backup-simplify]: Simplify 0 into 0
1.158 * [backup-simplify]: Simplify 1 into 1
1.158 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.158 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.158 * [taylor]: Taking taylor expansion of y in x
1.158 * [backup-simplify]: Simplify y into y
1.159 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.159 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
1.159 * [backup-simplify]: Simplify (* (- 0.13793103448275862) y) into (* -0.13793103448275862 y)
1.159 * [backup-simplify]: Simplify (* 3.0 (* -0.13793103448275862 y)) into (* -0.41379310344827586 y)
1.159 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
1.159 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
1.159 * [backup-simplify]: Simplify -0.41379310344827586 into -0.41379310344827586
1.159 * [taylor]: Taking taylor expansion of y in y
1.160 * [backup-simplify]: Simplify 0 into 0
1.160 * [backup-simplify]: Simplify 1 into 1
1.160 * [backup-simplify]: Simplify (* -0.41379310344827586 0) into 0
1.160 * [backup-simplify]: Simplify 0 into 0
1.160 * [backup-simplify]: Simplify (- 0) into 0
1.160 * [backup-simplify]: Simplify (+ 1 0) into 1
1.161 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (* 1 y)) into y
1.161 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 (* -0.13793103448275862 y))) into (* 3.0 y)
1.161 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
1.161 * [taylor]: Taking taylor expansion of 3.0 in y
1.161 * [backup-simplify]: Simplify 3.0 into 3.0
1.161 * [taylor]: Taking taylor expansion of y in y
1.161 * [backup-simplify]: Simplify 0 into 0
1.161 * [backup-simplify]: Simplify 1 into 1
1.161 * [backup-simplify]: Simplify (* 3.0 0) into 0
1.161 * [backup-simplify]: Simplify 0 into 0
1.162 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 1) (* 0 0)) into (- 0.41379310344827586)
1.162 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
1.162 * [backup-simplify]: Simplify (- 0) into 0
1.163 * [backup-simplify]: Simplify (+ 0 0) into 0
1.163 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (* 0 y))) into 0
1.163 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))) into 0
1.164 * [taylor]: Taking taylor expansion of 0 in y
1.164 * [backup-simplify]: Simplify 0 into 0
1.164 * [backup-simplify]: Simplify 0 into 0
1.164 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
1.164 * [backup-simplify]: Simplify 3.0 into 3.0
1.165 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 1) (* 0 0))) into 0
1.165 * [backup-simplify]: Simplify 0 into 0
1.165 * [backup-simplify]: Simplify (- 0) into 0
1.165 * [backup-simplify]: Simplify (+ 0 0) into 0
1.166 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1.167 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y))))) into 0
1.167 * [taylor]: Taking taylor expansion of 0 in y
1.167 * [backup-simplify]: Simplify 0 into 0
1.167 * [backup-simplify]: Simplify 0 into 0
1.167 * [backup-simplify]: Simplify 0 into 0
1.167 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
1.167 * [backup-simplify]: Simplify 0 into 0
1.168 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.168 * [backup-simplify]: Simplify 0 into 0
1.168 * [backup-simplify]: Simplify (- 0) into 0
1.168 * [backup-simplify]: Simplify (+ 0 0) into 0
1.169 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
1.170 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))))) into 0
1.170 * [taylor]: Taking taylor expansion of 0 in y
1.170 * [backup-simplify]: Simplify 0 into 0
1.170 * [backup-simplify]: Simplify 0 into 0
1.171 * [backup-simplify]: Simplify (+ (* 3.0 (* y x)) (* (- 0.41379310344827586) (* y 1))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
1.171 * [backup-simplify]: Simplify (* (* (- (/ 1 x) (/ 16.0 116.0)) 3.0) (/ 1 y)) into (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y))
1.171 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0
1.171 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
1.171 * [taylor]: Taking taylor expansion of 3.0 in y
1.171 * [backup-simplify]: Simplify 3.0 into 3.0
1.171 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
1.171 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
1.171 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.171 * [taylor]: Taking taylor expansion of x in y
1.171 * [backup-simplify]: Simplify x into x
1.171 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.171 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
1.171 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.171 * [taylor]: Taking taylor expansion of y in y
1.171 * [backup-simplify]: Simplify 0 into 0
1.171 * [backup-simplify]: Simplify 1 into 1
1.172 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.172 * [backup-simplify]: Simplify (+ (/ 1 x) (- 0.13793103448275862)) into (- (/ 1 x) 0.13793103448275862)
1.172 * [backup-simplify]: Simplify (/ (- (/ 1 x) 0.13793103448275862) 1) into (- (/ 1 x) 0.13793103448275862)
1.172 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
1.172 * [taylor]: Taking taylor expansion of 3.0 in x
1.172 * [backup-simplify]: Simplify 3.0 into 3.0
1.172 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
1.172 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
1.172 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.172 * [taylor]: Taking taylor expansion of x in x
1.172 * [backup-simplify]: Simplify 0 into 0
1.172 * [backup-simplify]: Simplify 1 into 1
1.172 * [backup-simplify]: Simplify (/ 1 1) into 1
1.172 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.172 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.172 * [taylor]: Taking taylor expansion of y in x
1.172 * [backup-simplify]: Simplify y into y
1.173 * [backup-simplify]: Simplify (+ 1 0) into 1
1.173 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.173 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
1.173 * [taylor]: Taking taylor expansion of 3.0 in x
1.173 * [backup-simplify]: Simplify 3.0 into 3.0
1.173 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
1.173 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
1.173 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.173 * [taylor]: Taking taylor expansion of x in x
1.173 * [backup-simplify]: Simplify 0 into 0
1.173 * [backup-simplify]: Simplify 1 into 1
1.173 * [backup-simplify]: Simplify (/ 1 1) into 1
1.173 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.173 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.173 * [taylor]: Taking taylor expansion of y in x
1.173 * [backup-simplify]: Simplify y into y
1.173 * [backup-simplify]: Simplify (+ 1 0) into 1
1.173 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.174 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
1.174 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
1.174 * [taylor]: Taking taylor expansion of 3.0 in y
1.174 * [backup-simplify]: Simplify 3.0 into 3.0
1.174 * [taylor]: Taking taylor expansion of y in y
1.174 * [backup-simplify]: Simplify 0 into 0
1.174 * [backup-simplify]: Simplify 1 into 1
1.174 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
1.174 * [backup-simplify]: Simplify 3.0 into 3.0
1.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.175 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.175 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
1.176 * [backup-simplify]: Simplify (- (/ (- 0.13793103448275862) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (* 0.13793103448275862 (/ 1 y)))
1.176 * [backup-simplify]: Simplify (+ (* 3.0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))) into (- (* 0.41379310344827586 (/ 1 y)))
1.176 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
1.176 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
1.176 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
1.176 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
1.176 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.176 * [taylor]: Taking taylor expansion of y in y
1.176 * [backup-simplify]: Simplify 0 into 0
1.176 * [backup-simplify]: Simplify 1 into 1
1.176 * [backup-simplify]: Simplify (/ 1 1) into 1
1.176 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
1.177 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
1.177 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
1.177 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
1.177 * [backup-simplify]: Simplify 0 into 0
1.178 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.178 * [backup-simplify]: Simplify (- 0) into 0
1.178 * [backup-simplify]: Simplify (+ 0 0) into 0
1.178 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)))) into 0
1.179 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y)))) into 0
1.179 * [taylor]: Taking taylor expansion of 0 in y
1.179 * [backup-simplify]: Simplify 0 into 0
1.179 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.180 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
1.180 * [backup-simplify]: Simplify (- 0) into 0
1.180 * [backup-simplify]: Simplify 0 into 0
1.181 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.181 * [backup-simplify]: Simplify 0 into 0
1.181 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.181 * [backup-simplify]: Simplify (- 0) into 0
1.182 * [backup-simplify]: Simplify (+ 0 0) into 0
1.182 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.182 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))))) into 0
1.182 * [taylor]: Taking taylor expansion of 0 in y
1.183 * [backup-simplify]: Simplify 0 into 0
1.183 * [backup-simplify]: Simplify 0 into 0
1.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.184 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
1.185 * [backup-simplify]: Simplify (- 0) into 0
1.185 * [backup-simplify]: Simplify 0 into 0
1.186 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.186 * [backup-simplify]: Simplify 0 into 0
1.187 * [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.187 * [backup-simplify]: Simplify (* (* (- (/ 1 (- x)) (/ 16.0 116.0)) 3.0) (/ 1 (- y))) into (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y))
1.187 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0
1.187 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
1.187 * [taylor]: Taking taylor expansion of 3.0 in y
1.187 * [backup-simplify]: Simplify 3.0 into 3.0
1.187 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
1.187 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
1.188 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
1.188 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.188 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.188 * [taylor]: Taking taylor expansion of x in y
1.188 * [backup-simplify]: Simplify x into x
1.188 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.188 * [taylor]: Taking taylor expansion of y in y
1.188 * [backup-simplify]: Simplify 0 into 0
1.188 * [backup-simplify]: Simplify 1 into 1
1.188 * [backup-simplify]: Simplify (+ 0.13793103448275862 (/ 1 x)) into (+ (/ 1 x) 0.13793103448275862)
1.188 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 0.13793103448275862) 1) into (+ 0.13793103448275862 (/ 1 x))
1.188 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
1.188 * [taylor]: Taking taylor expansion of 3.0 in x
1.188 * [backup-simplify]: Simplify 3.0 into 3.0
1.188 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
1.188 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.188 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.188 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.188 * [taylor]: Taking taylor expansion of x in x
1.188 * [backup-simplify]: Simplify 0 into 0
1.188 * [backup-simplify]: Simplify 1 into 1
1.189 * [backup-simplify]: Simplify (/ 1 1) into 1
1.189 * [taylor]: Taking taylor expansion of y in x
1.189 * [backup-simplify]: Simplify y into y
1.189 * [backup-simplify]: Simplify (+ 0 1) into 1
1.189 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.189 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
1.189 * [taylor]: Taking taylor expansion of 3.0 in x
1.189 * [backup-simplify]: Simplify 3.0 into 3.0
1.189 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
1.190 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.190 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.190 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.190 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.190 * [taylor]: Taking taylor expansion of x in x
1.190 * [backup-simplify]: Simplify 0 into 0
1.190 * [backup-simplify]: Simplify 1 into 1
1.190 * [backup-simplify]: Simplify (/ 1 1) into 1
1.190 * [taylor]: Taking taylor expansion of y in x
1.190 * [backup-simplify]: Simplify y into y
1.191 * [backup-simplify]: Simplify (+ 0 1) into 1
1.191 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.191 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
1.191 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
1.191 * [taylor]: Taking taylor expansion of 3.0 in y
1.191 * [backup-simplify]: Simplify 3.0 into 3.0
1.191 * [taylor]: Taking taylor expansion of y in y
1.191 * [backup-simplify]: Simplify 0 into 0
1.191 * [backup-simplify]: Simplify 1 into 1
1.191 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
1.192 * [backup-simplify]: Simplify 3.0 into 3.0
1.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.193 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
1.193 * [backup-simplify]: Simplify (- (/ 0.13793103448275862 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 0.13793103448275862 (/ 1 y))
1.193 * [backup-simplify]: Simplify (+ (* 3.0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))) into (* 0.41379310344827586 (/ 1 y))
1.193 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
1.194 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
1.194 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
1.194 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.194 * [taylor]: Taking taylor expansion of y in y
1.194 * [backup-simplify]: Simplify 0 into 0
1.194 * [backup-simplify]: Simplify 1 into 1
1.194 * [backup-simplify]: Simplify (/ 1 1) into 1
1.195 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
1.195 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
1.196 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
1.196 * [backup-simplify]: Simplify 0 into 0
1.197 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.197 * [backup-simplify]: Simplify (+ 0 0) into 0
1.197 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)))) into 0
1.198 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y)))) into 0
1.198 * [taylor]: Taking taylor expansion of 0 in y
1.198 * [backup-simplify]: Simplify 0 into 0
1.198 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.199 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
1.199 * [backup-simplify]: Simplify 0 into 0
1.199 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.199 * [backup-simplify]: Simplify 0 into 0
1.200 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.200 * [backup-simplify]: Simplify (+ 0 0) into 0
1.200 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.201 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))))) into 0
1.201 * [taylor]: Taking taylor expansion of 0 in y
1.201 * [backup-simplify]: Simplify 0 into 0
1.201 * [backup-simplify]: Simplify 0 into 0
1.202 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.202 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
1.202 * [backup-simplify]: Simplify 0 into 0
1.203 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.203 * [backup-simplify]: Simplify 0 into 0
1.203 * [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.203 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
1.204 * [backup-simplify]: Simplify (* (- x (/ 16.0 116.0)) 3.0) into (* 3.0 (- x 0.13793103448275862))
1.204 * [approximate]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in (x) around 0
1.204 * [taylor]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in x
1.204 * [taylor]: Taking taylor expansion of 3.0 in x
1.204 * [backup-simplify]: Simplify 3.0 into 3.0
1.204 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
1.204 * [taylor]: Taking taylor expansion of x in x
1.204 * [backup-simplify]: Simplify 0 into 0
1.204 * [backup-simplify]: Simplify 1 into 1
1.204 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.204 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.204 * [taylor]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in x
1.204 * [taylor]: Taking taylor expansion of 3.0 in x
1.204 * [backup-simplify]: Simplify 3.0 into 3.0
1.204 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
1.204 * [taylor]: Taking taylor expansion of x in x
1.204 * [backup-simplify]: Simplify 0 into 0
1.204 * [backup-simplify]: Simplify 1 into 1
1.204 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.204 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.204 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.205 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
1.205 * [backup-simplify]: Simplify (* 3.0 (- 0.13793103448275862)) into -0.41379310344827586
1.205 * [backup-simplify]: Simplify -0.41379310344827586 into -0.41379310344827586
1.205 * [backup-simplify]: Simplify (- 0) into 0
1.206 * [backup-simplify]: Simplify (+ 1 0) into 1
1.207 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 (- 0.13793103448275862))) into 3.0
1.207 * [backup-simplify]: Simplify 3.0 into 3.0
1.207 * [backup-simplify]: Simplify (- 0) into 0
1.207 * [backup-simplify]: Simplify (+ 0 0) into 0
1.208 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862)))) into 0
1.208 * [backup-simplify]: Simplify 0 into 0
1.208 * [backup-simplify]: Simplify (- 0) into 0
1.208 * [backup-simplify]: Simplify (+ 0 0) into 0
1.209 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862))))) into 0
1.209 * [backup-simplify]: Simplify 0 into 0
1.210 * [backup-simplify]: Simplify (- 0) into 0
1.210 * [backup-simplify]: Simplify (+ 0 0) into 0
1.211 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862)))))) into 0
1.211 * [backup-simplify]: Simplify 0 into 0
1.211 * [backup-simplify]: Simplify (- 0) into 0
1.211 * [backup-simplify]: Simplify (+ 0 0) into 0
1.212 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862))))))) into 0
1.212 * [backup-simplify]: Simplify 0 into 0
1.212 * [backup-simplify]: Simplify (- 0) into 0
1.213 * [backup-simplify]: Simplify (+ 0 0) into 0
1.214 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862)))))))) into 0
1.214 * [backup-simplify]: Simplify 0 into 0
1.214 * [backup-simplify]: Simplify (- 0) into 0
1.214 * [backup-simplify]: Simplify (+ 0 0) into 0
1.215 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862))))))))) into 0
1.216 * [backup-simplify]: Simplify 0 into 0
1.216 * [backup-simplify]: Simplify (+ (* 3.0 x) -0.41379310344827586) into (- (* 3.0 x) 0.41379310344827586)
1.216 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 16.0 116.0)) 3.0) into (* 3.0 (- (/ 1 x) 0.13793103448275862))
1.216 * [approximate]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in (x) around 0
1.216 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in x
1.216 * [taylor]: Taking taylor expansion of 3.0 in x
1.216 * [backup-simplify]: Simplify 3.0 into 3.0
1.216 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
1.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.216 * [taylor]: Taking taylor expansion of x in x
1.216 * [backup-simplify]: Simplify 0 into 0
1.216 * [backup-simplify]: Simplify 1 into 1
1.216 * [backup-simplify]: Simplify (/ 1 1) into 1
1.216 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.216 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.216 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in x
1.216 * [taylor]: Taking taylor expansion of 3.0 in x
1.217 * [backup-simplify]: Simplify 3.0 into 3.0
1.217 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
1.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.217 * [taylor]: Taking taylor expansion of x in x
1.217 * [backup-simplify]: Simplify 0 into 0
1.217 * [backup-simplify]: Simplify 1 into 1
1.217 * [backup-simplify]: Simplify (/ 1 1) into 1
1.217 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.217 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.217 * [backup-simplify]: Simplify (+ 1 0) into 1
1.217 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
1.217 * [backup-simplify]: Simplify 3.0 into 3.0
1.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.218 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.219 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
1.220 * [backup-simplify]: Simplify (+ (* 3.0 (- 0.13793103448275862)) (* 0 1)) into (- 0.41379310344827586)
1.220 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
1.221 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.221 * [backup-simplify]: Simplify (- 0) into 0
1.221 * [backup-simplify]: Simplify (+ 0 0) into 0
1.222 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1))) into 0
1.222 * [backup-simplify]: Simplify 0 into 0
1.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.222 * [backup-simplify]: Simplify (- 0) into 0
1.223 * [backup-simplify]: Simplify (+ 0 0) into 0
1.223 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1)))) into 0
1.223 * [backup-simplify]: Simplify 0 into 0
1.224 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.224 * [backup-simplify]: Simplify (- 0) into 0
1.225 * [backup-simplify]: Simplify (+ 0 0) into 0
1.226 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1))))) into 0
1.226 * [backup-simplify]: Simplify 0 into 0
1.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.226 * [backup-simplify]: Simplify (- 0) into 0
1.227 * [backup-simplify]: Simplify (+ 0 0) into 0
1.228 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1)))))) into 0
1.228 * [backup-simplify]: Simplify 0 into 0
1.228 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.228 * [backup-simplify]: Simplify (- 0) into 0
1.229 * [backup-simplify]: Simplify (+ 0 0) into 0
1.230 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1))))))) into 0
1.230 * [backup-simplify]: Simplify 0 into 0
1.230 * [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.231 * [backup-simplify]: Simplify (- 0) into 0
1.231 * [backup-simplify]: Simplify (+ 0 0) into 0
1.232 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1)))))))) into 0
1.232 * [backup-simplify]: Simplify 0 into 0
1.232 * [backup-simplify]: Simplify (+ (- 0.41379310344827586) (* 3.0 (/ 1 (/ 1 x)))) into (- (* 3.0 x) 0.41379310344827586)
1.233 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 16.0 116.0)) 3.0) into (* -3.0 (+ 0.13793103448275862 (/ 1 x)))
1.233 * [approximate]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in (x) around 0
1.233 * [taylor]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in x
1.233 * [taylor]: Taking taylor expansion of -3.0 in x
1.233 * [backup-simplify]: Simplify -3.0 into -3.0
1.233 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.233 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.233 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.233 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.233 * [taylor]: Taking taylor expansion of x in x
1.233 * [backup-simplify]: Simplify 0 into 0
1.233 * [backup-simplify]: Simplify 1 into 1
1.233 * [backup-simplify]: Simplify (/ 1 1) into 1
1.233 * [taylor]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in x
1.233 * [taylor]: Taking taylor expansion of -3.0 in x
1.233 * [backup-simplify]: Simplify -3.0 into -3.0
1.233 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.233 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.233 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.233 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.233 * [taylor]: Taking taylor expansion of x in x
1.233 * [backup-simplify]: Simplify 0 into 0
1.233 * [backup-simplify]: Simplify 1 into 1
1.234 * [backup-simplify]: Simplify (/ 1 1) into 1
1.234 * [backup-simplify]: Simplify (+ 0 1) into 1
1.234 * [backup-simplify]: Simplify (* -3.0 1) into -3.0
1.234 * [backup-simplify]: Simplify -3.0 into -3.0
1.235 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.235 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
1.236 * [backup-simplify]: Simplify (+ (* -3.0 0.13793103448275862) (* 0 1)) into (- 0.41379310344827586)
1.236 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
1.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.237 * [backup-simplify]: Simplify (+ 0 0) into 0
1.237 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0.13793103448275862) (* 0 1))) into 0
1.237 * [backup-simplify]: Simplify 0 into 0
1.238 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.238 * [backup-simplify]: Simplify (+ 0 0) into 0
1.239 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0) (+ (* 0 0.13793103448275862) (* 0 1)))) into 0
1.240 * [backup-simplify]: Simplify 0 into 0
1.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.241 * [backup-simplify]: Simplify (+ 0 0) into 0
1.246 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.13793103448275862) (* 0 1))))) into 0
1.246 * [backup-simplify]: Simplify 0 into 0
1.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.248 * [backup-simplify]: Simplify (+ 0 0) into 0
1.250 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.13793103448275862) (* 0 1)))))) into 0
1.250 * [backup-simplify]: Simplify 0 into 0
1.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.251 * [backup-simplify]: Simplify (+ 0 0) into 0
1.253 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.13793103448275862) (* 0 1))))))) into 0
1.253 * [backup-simplify]: Simplify 0 into 0
1.254 * [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.254 * [backup-simplify]: Simplify (+ 0 0) into 0
1.256 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.13793103448275862) (* 0 1)))))))) into 0
1.256 * [backup-simplify]: Simplify 0 into 0
1.257 * [backup-simplify]: Simplify (+ (- 0.41379310344827586) (* -3.0 (/ 1 (/ 1 (- x))))) into (- (* 3.0 x) 0.41379310344827586)
1.257 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
1.257 * [backup-simplify]: Simplify (- x (/ 16.0 116.0)) into (- x 0.13793103448275862)
1.257 * [approximate]: Taking taylor expansion of (- x 0.13793103448275862) in (x) around 0
1.257 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
1.257 * [taylor]: Taking taylor expansion of x in x
1.257 * [backup-simplify]: Simplify 0 into 0
1.257 * [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 (- 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 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.259 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
1.259 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.259 * [backup-simplify]: Simplify (- 0) into 0
1.259 * [backup-simplify]: Simplify (+ 1 0) into 1
1.259 * [backup-simplify]: Simplify 1 into 1
1.260 * [backup-simplify]: Simplify (- 0) into 0
1.260 * [backup-simplify]: Simplify (+ 0 0) into 0
1.260 * [backup-simplify]: Simplify 0 into 0
1.260 * [backup-simplify]: Simplify (- 0) into 0
1.260 * [backup-simplify]: Simplify (+ 0 0) into 0
1.260 * [backup-simplify]: Simplify 0 into 0
1.261 * [backup-simplify]: Simplify (- 0) into 0
1.261 * [backup-simplify]: Simplify (+ 0 0) into 0
1.261 * [backup-simplify]: Simplify 0 into 0
1.261 * [backup-simplify]: Simplify (- 0) into 0
1.261 * [backup-simplify]: Simplify (+ 0 0) into 0
1.261 * [backup-simplify]: Simplify 0 into 0
1.261 * [backup-simplify]: Simplify (- 0) into 0
1.262 * [backup-simplify]: Simplify (+ 0 0) into 0
1.262 * [backup-simplify]: Simplify 0 into 0
1.262 * [backup-simplify]: Simplify (- 0) into 0
1.262 * [backup-simplify]: Simplify (+ 0 0) into 0
1.262 * [backup-simplify]: Simplify 0 into 0
1.262 * [backup-simplify]: Simplify (+ (* 1 x) (- 0.13793103448275862)) into (- x 0.13793103448275862)
1.263 * [backup-simplify]: Simplify (- (/ 1 x) (/ 16.0 116.0)) into (- (/ 1 x) 0.13793103448275862)
1.263 * [approximate]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in (x) around 0
1.263 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
1.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.263 * [taylor]: Taking taylor expansion of x in x
1.263 * [backup-simplify]: Simplify 0 into 0
1.263 * [backup-simplify]: Simplify 1 into 1
1.263 * [backup-simplify]: Simplify (/ 1 1) into 1
1.263 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.263 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.263 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
1.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.263 * [taylor]: Taking taylor expansion of x in x
1.263 * [backup-simplify]: Simplify 0 into 0
1.263 * [backup-simplify]: Simplify 1 into 1
1.263 * [backup-simplify]: Simplify (/ 1 1) into 1
1.263 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.264 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.264 * [backup-simplify]: Simplify (+ 1 0) into 1
1.264 * [backup-simplify]: Simplify 1 into 1
1.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.265 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.265 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
1.265 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.266 * [backup-simplify]: Simplify (- 0) into 0
1.266 * [backup-simplify]: Simplify (+ 0 0) into 0
1.266 * [backup-simplify]: Simplify 0 into 0
1.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.267 * [backup-simplify]: Simplify (- 0) into 0
1.267 * [backup-simplify]: Simplify (+ 0 0) into 0
1.267 * [backup-simplify]: Simplify 0 into 0
1.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.268 * [backup-simplify]: Simplify (- 0) into 0
1.268 * [backup-simplify]: Simplify (+ 0 0) into 0
1.268 * [backup-simplify]: Simplify 0 into 0
1.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.269 * [backup-simplify]: Simplify (- 0) into 0
1.269 * [backup-simplify]: Simplify (+ 0 0) into 0
1.269 * [backup-simplify]: Simplify 0 into 0
1.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.270 * [backup-simplify]: Simplify (- 0) into 0
1.270 * [backup-simplify]: Simplify (+ 0 0) into 0
1.270 * [backup-simplify]: Simplify 0 into 0
1.271 * [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.271 * [backup-simplify]: Simplify (- 0) into 0
1.271 * [backup-simplify]: Simplify (+ 0 0) into 0
1.271 * [backup-simplify]: Simplify 0 into 0
1.271 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* 1 (/ 1 (/ 1 x)))) into (- x 0.13793103448275862)
1.272 * [backup-simplify]: Simplify (- (/ 1 (- x)) (/ 16.0 116.0)) into (- (+ 0.13793103448275862 (/ 1 x)))
1.272 * [approximate]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in (x) around 0
1.272 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
1.272 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.272 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.272 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.272 * [taylor]: Taking taylor expansion of x in x
1.272 * [backup-simplify]: Simplify 0 into 0
1.272 * [backup-simplify]: Simplify 1 into 1
1.272 * [backup-simplify]: Simplify (/ 1 1) into 1
1.272 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
1.272 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.272 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.272 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.272 * [taylor]: Taking taylor expansion of x in x
1.272 * [backup-simplify]: Simplify 0 into 0
1.272 * [backup-simplify]: Simplify 1 into 1
1.273 * [backup-simplify]: Simplify (/ 1 1) into 1
1.273 * [backup-simplify]: Simplify (+ 0 1) into 1
1.273 * [backup-simplify]: Simplify (- 1) into -1
1.273 * [backup-simplify]: Simplify -1 into -1
1.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.274 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
1.274 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.275 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.275 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.275 * [backup-simplify]: Simplify (+ 0 0) into 0
1.276 * [backup-simplify]: Simplify (- 0) into 0
1.276 * [backup-simplify]: Simplify 0 into 0
1.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.276 * [backup-simplify]: Simplify (+ 0 0) into 0
1.277 * [backup-simplify]: Simplify (- 0) into 0
1.277 * [backup-simplify]: Simplify 0 into 0
1.277 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.277 * [backup-simplify]: Simplify (+ 0 0) into 0
1.278 * [backup-simplify]: Simplify (- 0) into 0
1.278 * [backup-simplify]: Simplify 0 into 0
1.278 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.278 * [backup-simplify]: Simplify (+ 0 0) into 0
1.279 * [backup-simplify]: Simplify (- 0) into 0
1.279 * [backup-simplify]: Simplify 0 into 0
1.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.279 * [backup-simplify]: Simplify (+ 0 0) into 0
1.280 * [backup-simplify]: Simplify (- 0) into 0
1.280 * [backup-simplify]: Simplify 0 into 0
1.280 * [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.280 * [backup-simplify]: Simplify (+ 0 0) into 0
1.281 * [backup-simplify]: Simplify (- 0) into 0
1.281 * [backup-simplify]: Simplify 0 into 0
1.281 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* -1 (/ 1 (/ 1 (- x))))) into (- x 0.13793103448275862)
1.281 * * * [progress]: simplifying candidates
1.283 * [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.286 * * [simplify]: Extracting # 0 : cost  0
1.287 * * [simplify]: Extracting # 1 : cost  0
1.287 * * [simplify]: Extracting # 2 : cost  0
1.287 * * [simplify]: Extracting # 3 : cost  0
1.287 * * [simplify]: Extracting # 4 : cost  0
1.288 * * [simplify]: Extracting # 5 : cost  0
1.288 * * [simplify]: Extracting # 6 : cost  0
1.288 * * [simplify]: Extracting # 7 : cost  0
1.289 * * [simplify]: Extracting # 8 : cost  0
1.289 * * [simplify]: Extracting # 9 : cost  0
1.289 * * [simplify]: iteration  0 :  217  enodes  (cost  2289 )
1.362 * * [simplify]: Extracting # 0 : cost  0
1.363 * * [simplify]: Extracting # 1 : cost  0
1.364 * * [simplify]: Extracting # 2 : cost  0
1.364 * * [simplify]: Extracting # 3 : cost  0
1.365 * * [simplify]: Extracting # 4 : cost  0
1.365 * * [simplify]: iteration  1 :  531  enodes  (cost  2071 )
1.724 * * [simplify]: Extracting # 0 : cost  0
1.730 * * [simplify]: Extracting # 1 : cost  0
1.737 * * [simplify]: Extracting # 2 : cost  0
1.742 * * [simplify]: Extracting # 3 : cost  0
1.748 * * [simplify]: Extracting # 4 : cost  0
1.753 * * [simplify]: Extracting # 5 : cost  0
1.764 * * [simplify]: iteration  2 :  2480  enodes  (cost  1543 )
3.511 * * [simplify]: Extracting # 0 : cost  0
3.535 * * [simplify]: Extracting # 1 : cost  0
3.543 * * [simplify]: Extracting # 2 : cost  0
3.552 * * [simplify]: Extracting # 3 : cost  0
3.562 * * [simplify]: Extracting # 4 : cost  0
3.572 * * [simplify]: iteration done:  5000  enodes  (cost  1219 )
3.573 * [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)) y) 3.0)
  (* (* (- x (/ 16.0 116.0)) y) 3.0)
  (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 (* y (* (- x (/ 16.0 116.0)) 3.0)) 3)
  (pow (* y (* (- x (/ 16.0 116.0)) 3.0)) 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 (* y (* (- x (/ 16.0 116.0)) 3.0)) 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))))
  (* (sqrt y) (* (- x (/ 16.0 116.0)) 3.0))
  (* (- x (/ 16.0 116.0)) 3.0)
  (* y 3.0)
  (* (* (- (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))
  (* (* (cbrt 3.0) (cbrt 3.0)) (- x (/ 16.0 116.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) (+ (/ 16.0 116.0) x)))
  (- (/ 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.575 * * * [progress]: adding candidates to table
3.831 * * [progress]: iteration 2 / 4
3.831 * * * [progress]: picking best candidate
3.851 * * * * [pick]: Picked  #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* y 3.0)))>
3.851 * * * [progress]: localizing error
3.866 * * * [progress]: generating rewritten candidates
3.866 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
3.955 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
3.982 * * * [progress]: generating series expansions
3.982 * * * * [progress]: [ 1 / 2 ] generating series at (2)
3.983 * [backup-simplify]: Simplify (* (- x (/ 16.0 116.0)) (* y 3.0)) into (* 3.0 (* (- x 0.13793103448275862) y))
3.983 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0
3.983 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
3.983 * [taylor]: Taking taylor expansion of 3.0 in y
3.983 * [backup-simplify]: Simplify 3.0 into 3.0
3.983 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
3.983 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
3.983 * [taylor]: Taking taylor expansion of x in y
3.983 * [backup-simplify]: Simplify x into x
3.983 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
3.983 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.983 * [taylor]: Taking taylor expansion of y in y
3.983 * [backup-simplify]: Simplify 0 into 0
3.984 * [backup-simplify]: Simplify 1 into 1
3.984 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
3.984 * [taylor]: Taking taylor expansion of 3.0 in x
3.984 * [backup-simplify]: Simplify 3.0 into 3.0
3.984 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
3.984 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
3.984 * [taylor]: Taking taylor expansion of x in x
3.984 * [backup-simplify]: Simplify 0 into 0
3.984 * [backup-simplify]: Simplify 1 into 1
3.984 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.984 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.984 * [taylor]: Taking taylor expansion of y in x
3.984 * [backup-simplify]: Simplify y into y
3.984 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
3.984 * [taylor]: Taking taylor expansion of 3.0 in x
3.984 * [backup-simplify]: Simplify 3.0 into 3.0
3.984 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
3.984 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
3.984 * [taylor]: Taking taylor expansion of x in x
3.984 * [backup-simplify]: Simplify 0 into 0
3.984 * [backup-simplify]: Simplify 1 into 1
3.984 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.984 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.984 * [taylor]: Taking taylor expansion of y in x
3.984 * [backup-simplify]: Simplify y into y
3.985 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
3.986 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
3.986 * [backup-simplify]: Simplify (* (- 0.13793103448275862) y) into (* -0.13793103448275862 y)
3.986 * [backup-simplify]: Simplify (* 3.0 (* -0.13793103448275862 y)) into (* -0.41379310344827586 y)
3.986 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
3.986 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
3.986 * [backup-simplify]: Simplify -0.41379310344827586 into -0.41379310344827586
3.986 * [taylor]: Taking taylor expansion of y in y
3.986 * [backup-simplify]: Simplify 0 into 0
3.987 * [backup-simplify]: Simplify 1 into 1
3.987 * [backup-simplify]: Simplify (* -0.41379310344827586 0) into 0
3.987 * [backup-simplify]: Simplify 0 into 0
3.987 * [backup-simplify]: Simplify (- 0) into 0
3.988 * [backup-simplify]: Simplify (+ 1 0) into 1
3.988 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (* 1 y)) into y
3.989 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 (* -0.13793103448275862 y))) into (* 3.0 y)
3.989 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
3.989 * [taylor]: Taking taylor expansion of 3.0 in y
3.989 * [backup-simplify]: Simplify 3.0 into 3.0
3.989 * [taylor]: Taking taylor expansion of y in y
3.989 * [backup-simplify]: Simplify 0 into 0
3.989 * [backup-simplify]: Simplify 1 into 1
3.989 * [backup-simplify]: Simplify (* 3.0 0) into 0
3.989 * [backup-simplify]: Simplify 0 into 0
3.991 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 1) (* 0 0)) into (- 0.41379310344827586)
3.991 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
3.991 * [backup-simplify]: Simplify (- 0) into 0
3.992 * [backup-simplify]: Simplify (+ 0 0) into 0
3.993 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (* 0 y))) into 0
3.994 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))) into 0
3.994 * [taylor]: Taking taylor expansion of 0 in y
3.994 * [backup-simplify]: Simplify 0 into 0
3.994 * [backup-simplify]: Simplify 0 into 0
3.995 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
3.995 * [backup-simplify]: Simplify 3.0 into 3.0
3.996 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 1) (* 0 0))) into 0
3.996 * [backup-simplify]: Simplify 0 into 0
3.997 * [backup-simplify]: Simplify (- 0) into 0
3.997 * [backup-simplify]: Simplify (+ 0 0) into 0
3.998 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.999 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y))))) into 0
3.999 * [taylor]: Taking taylor expansion of 0 in y
3.999 * [backup-simplify]: Simplify 0 into 0
3.999 * [backup-simplify]: Simplify 0 into 0
4.000 * [backup-simplify]: Simplify 0 into 0
4.001 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
4.001 * [backup-simplify]: Simplify 0 into 0
4.002 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.002 * [backup-simplify]: Simplify 0 into 0
4.002 * [backup-simplify]: Simplify (- 0) into 0
4.003 * [backup-simplify]: Simplify (+ 0 0) into 0
4.005 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.006 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))))) into 0
4.006 * [taylor]: Taking taylor expansion of 0 in y
4.006 * [backup-simplify]: Simplify 0 into 0
4.006 * [backup-simplify]: Simplify 0 into 0
4.006 * [backup-simplify]: Simplify (+ (* 3.0 (* y x)) (* (- 0.41379310344827586) (* y 1))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
4.007 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 16.0 116.0)) (* (/ 1 y) 3.0)) into (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y))
4.007 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0
4.007 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
4.007 * [taylor]: Taking taylor expansion of 3.0 in y
4.007 * [backup-simplify]: Simplify 3.0 into 3.0
4.007 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
4.007 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
4.007 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.007 * [taylor]: Taking taylor expansion of x in y
4.007 * [backup-simplify]: Simplify x into x
4.007 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.008 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
4.008 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
4.008 * [taylor]: Taking taylor expansion of y in y
4.008 * [backup-simplify]: Simplify 0 into 0
4.008 * [backup-simplify]: Simplify 1 into 1
4.008 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
4.008 * [backup-simplify]: Simplify (+ (/ 1 x) (- 0.13793103448275862)) into (- (/ 1 x) 0.13793103448275862)
4.009 * [backup-simplify]: Simplify (/ (- (/ 1 x) 0.13793103448275862) 1) into (- (/ 1 x) 0.13793103448275862)
4.009 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
4.009 * [taylor]: Taking taylor expansion of 3.0 in x
4.009 * [backup-simplify]: Simplify 3.0 into 3.0
4.009 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
4.009 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
4.009 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.009 * [taylor]: Taking taylor expansion of x in x
4.009 * [backup-simplify]: Simplify 0 into 0
4.009 * [backup-simplify]: Simplify 1 into 1
4.009 * [backup-simplify]: Simplify (/ 1 1) into 1
4.009 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
4.009 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
4.009 * [taylor]: Taking taylor expansion of y in x
4.009 * [backup-simplify]: Simplify y into y
4.010 * [backup-simplify]: Simplify (+ 1 0) into 1
4.010 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.010 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
4.010 * [taylor]: Taking taylor expansion of 3.0 in x
4.010 * [backup-simplify]: Simplify 3.0 into 3.0
4.010 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
4.010 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
4.010 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.010 * [taylor]: Taking taylor expansion of x in x
4.010 * [backup-simplify]: Simplify 0 into 0
4.010 * [backup-simplify]: Simplify 1 into 1
4.011 * [backup-simplify]: Simplify (/ 1 1) into 1
4.011 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
4.011 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
4.011 * [taylor]: Taking taylor expansion of y in x
4.011 * [backup-simplify]: Simplify y into y
4.011 * [backup-simplify]: Simplify (+ 1 0) into 1
4.011 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.011 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
4.011 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
4.012 * [taylor]: Taking taylor expansion of 3.0 in y
4.012 * [backup-simplify]: Simplify 3.0 into 3.0
4.012 * [taylor]: Taking taylor expansion of y in y
4.012 * [backup-simplify]: Simplify 0 into 0
4.012 * [backup-simplify]: Simplify 1 into 1
4.012 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
4.012 * [backup-simplify]: Simplify 3.0 into 3.0
4.013 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.013 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
4.014 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
4.015 * [backup-simplify]: Simplify (- (/ (- 0.13793103448275862) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (* 0.13793103448275862 (/ 1 y)))
4.015 * [backup-simplify]: Simplify (+ (* 3.0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))) into (- (* 0.41379310344827586 (/ 1 y)))
4.015 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
4.015 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
4.015 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
4.015 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
4.015 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.015 * [taylor]: Taking taylor expansion of y in y
4.015 * [backup-simplify]: Simplify 0 into 0
4.015 * [backup-simplify]: Simplify 1 into 1
4.016 * [backup-simplify]: Simplify (/ 1 1) into 1
4.016 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
4.016 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
4.017 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
4.018 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
4.018 * [backup-simplify]: Simplify 0 into 0
4.019 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.019 * [backup-simplify]: Simplify (- 0) into 0
4.019 * [backup-simplify]: Simplify (+ 0 0) into 0
4.020 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)))) into 0
4.020 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y)))) into 0
4.020 * [taylor]: Taking taylor expansion of 0 in y
4.020 * [backup-simplify]: Simplify 0 into 0
4.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.022 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
4.022 * [backup-simplify]: Simplify (- 0) into 0
4.022 * [backup-simplify]: Simplify 0 into 0
4.023 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.023 * [backup-simplify]: Simplify 0 into 0
4.024 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.025 * [backup-simplify]: Simplify (- 0) into 0
4.025 * [backup-simplify]: Simplify (+ 0 0) into 0
4.025 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.026 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))))) into 0
4.026 * [taylor]: Taking taylor expansion of 0 in y
4.026 * [backup-simplify]: Simplify 0 into 0
4.027 * [backup-simplify]: Simplify 0 into 0
4.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.028 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
4.029 * [backup-simplify]: Simplify (- 0) into 0
4.029 * [backup-simplify]: Simplify 0 into 0
4.030 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.030 * [backup-simplify]: Simplify 0 into 0
4.031 * [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))
4.031 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 16.0 116.0)) (* (/ 1 (- y)) 3.0)) into (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y))
4.031 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0
4.031 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
4.031 * [taylor]: Taking taylor expansion of 3.0 in y
4.031 * [backup-simplify]: Simplify 3.0 into 3.0
4.031 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
4.031 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
4.032 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
4.032 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
4.032 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.032 * [taylor]: Taking taylor expansion of x in y
4.032 * [backup-simplify]: Simplify x into x
4.032 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.032 * [taylor]: Taking taylor expansion of y in y
4.032 * [backup-simplify]: Simplify 0 into 0
4.032 * [backup-simplify]: Simplify 1 into 1
4.032 * [backup-simplify]: Simplify (+ 0.13793103448275862 (/ 1 x)) into (+ (/ 1 x) 0.13793103448275862)
4.032 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 0.13793103448275862) 1) into (+ 0.13793103448275862 (/ 1 x))
4.032 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
4.032 * [taylor]: Taking taylor expansion of 3.0 in x
4.032 * [backup-simplify]: Simplify 3.0 into 3.0
4.032 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
4.032 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
4.032 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
4.032 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
4.032 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.032 * [taylor]: Taking taylor expansion of x in x
4.032 * [backup-simplify]: Simplify 0 into 0
4.032 * [backup-simplify]: Simplify 1 into 1
4.033 * [backup-simplify]: Simplify (/ 1 1) into 1
4.033 * [taylor]: Taking taylor expansion of y in x
4.033 * [backup-simplify]: Simplify y into y
4.033 * [backup-simplify]: Simplify (+ 0 1) into 1
4.033 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.033 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
4.033 * [taylor]: Taking taylor expansion of 3.0 in x
4.033 * [backup-simplify]: Simplify 3.0 into 3.0
4.033 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
4.034 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
4.034 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
4.034 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
4.034 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.034 * [taylor]: Taking taylor expansion of x in x
4.034 * [backup-simplify]: Simplify 0 into 0
4.034 * [backup-simplify]: Simplify 1 into 1
4.034 * [backup-simplify]: Simplify (/ 1 1) into 1
4.034 * [taylor]: Taking taylor expansion of y in x
4.034 * [backup-simplify]: Simplify y into y
4.035 * [backup-simplify]: Simplify (+ 0 1) into 1
4.035 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.035 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
4.035 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
4.035 * [taylor]: Taking taylor expansion of 3.0 in y
4.035 * [backup-simplify]: Simplify 3.0 into 3.0
4.035 * [taylor]: Taking taylor expansion of y in y
4.035 * [backup-simplify]: Simplify 0 into 0
4.035 * [backup-simplify]: Simplify 1 into 1
4.035 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
4.036 * [backup-simplify]: Simplify 3.0 into 3.0
4.036 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.037 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
4.037 * [backup-simplify]: Simplify (- (/ 0.13793103448275862 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 0.13793103448275862 (/ 1 y))
4.037 * [backup-simplify]: Simplify (+ (* 3.0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))) into (* 0.41379310344827586 (/ 1 y))
4.037 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
4.037 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
4.037 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
4.037 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.037 * [taylor]: Taking taylor expansion of y in y
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [backup-simplify]: Simplify 1 into 1
4.038 * [backup-simplify]: Simplify (/ 1 1) into 1
4.038 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
4.038 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
4.039 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
4.039 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.040 * [backup-simplify]: Simplify (+ 0 0) into 0
4.041 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)))) into 0
4.041 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y)))) into 0
4.041 * [taylor]: Taking taylor expansion of 0 in y
4.041 * [backup-simplify]: Simplify 0 into 0
4.042 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.043 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
4.043 * [backup-simplify]: Simplify 0 into 0
4.044 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.044 * [backup-simplify]: Simplify 0 into 0
4.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.045 * [backup-simplify]: Simplify (+ 0 0) into 0
4.046 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.047 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))))) into 0
4.047 * [taylor]: Taking taylor expansion of 0 in y
4.047 * [backup-simplify]: Simplify 0 into 0
4.047 * [backup-simplify]: Simplify 0 into 0
4.048 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.049 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
4.049 * [backup-simplify]: Simplify 0 into 0
4.050 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.050 * [backup-simplify]: Simplify 0 into 0
4.050 * [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))
4.050 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
4.051 * [backup-simplify]: Simplify (- x (/ 16.0 116.0)) into (- x 0.13793103448275862)
4.051 * [approximate]: Taking taylor expansion of (- x 0.13793103448275862) in (x) around 0
4.051 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
4.051 * [taylor]: Taking taylor expansion of x in x
4.051 * [backup-simplify]: Simplify 0 into 0
4.051 * [backup-simplify]: Simplify 1 into 1
4.051 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
4.051 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
4.051 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
4.051 * [taylor]: Taking taylor expansion of x in x
4.051 * [backup-simplify]: Simplify 0 into 0
4.051 * [backup-simplify]: Simplify 1 into 1
4.051 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
4.051 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
4.051 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
4.052 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
4.052 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
4.053 * [backup-simplify]: Simplify (- 0) into 0
4.053 * [backup-simplify]: Simplify (+ 1 0) into 1
4.053 * [backup-simplify]: Simplify 1 into 1
4.054 * [backup-simplify]: Simplify (- 0) into 0
4.054 * [backup-simplify]: Simplify (+ 0 0) into 0
4.054 * [backup-simplify]: Simplify 0 into 0
4.054 * [backup-simplify]: Simplify (- 0) into 0
4.055 * [backup-simplify]: Simplify (+ 0 0) into 0
4.055 * [backup-simplify]: Simplify 0 into 0
4.055 * [backup-simplify]: Simplify (- 0) into 0
4.056 * [backup-simplify]: Simplify (+ 0 0) into 0
4.056 * [backup-simplify]: Simplify 0 into 0
4.056 * [backup-simplify]: Simplify (- 0) into 0
4.056 * [backup-simplify]: Simplify (+ 0 0) into 0
4.056 * [backup-simplify]: Simplify 0 into 0
4.057 * [backup-simplify]: Simplify (- 0) into 0
4.057 * [backup-simplify]: Simplify (+ 0 0) into 0
4.057 * [backup-simplify]: Simplify 0 into 0
4.057 * [backup-simplify]: Simplify (- 0) into 0
4.058 * [backup-simplify]: Simplify (+ 0 0) into 0
4.058 * [backup-simplify]: Simplify 0 into 0
4.058 * [backup-simplify]: Simplify (+ (* 1 x) (- 0.13793103448275862)) into (- x 0.13793103448275862)
4.059 * [backup-simplify]: Simplify (- (/ 1 x) (/ 16.0 116.0)) into (- (/ 1 x) 0.13793103448275862)
4.059 * [approximate]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in (x) around 0
4.059 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
4.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.059 * [taylor]: Taking taylor expansion of x in x
4.059 * [backup-simplify]: Simplify 0 into 0
4.059 * [backup-simplify]: Simplify 1 into 1
4.059 * [backup-simplify]: Simplify (/ 1 1) into 1
4.059 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
4.059 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
4.059 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
4.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.060 * [taylor]: Taking taylor expansion of x in x
4.060 * [backup-simplify]: Simplify 0 into 0
4.060 * [backup-simplify]: Simplify 1 into 1
4.060 * [backup-simplify]: Simplify (/ 1 1) into 1
4.060 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
4.060 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
4.061 * [backup-simplify]: Simplify (+ 1 0) into 1
4.061 * [backup-simplify]: Simplify 1 into 1
4.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.062 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
4.063 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
4.063 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
4.064 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.065 * [backup-simplify]: Simplify (- 0) into 0
4.065 * [backup-simplify]: Simplify (+ 0 0) into 0
4.065 * [backup-simplify]: Simplify 0 into 0
4.066 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.066 * [backup-simplify]: Simplify (- 0) into 0
4.067 * [backup-simplify]: Simplify (+ 0 0) into 0
4.067 * [backup-simplify]: Simplify 0 into 0
4.068 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.068 * [backup-simplify]: Simplify (- 0) into 0
4.069 * [backup-simplify]: Simplify (+ 0 0) into 0
4.069 * [backup-simplify]: Simplify 0 into 0
4.070 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.070 * [backup-simplify]: Simplify (- 0) into 0
4.070 * [backup-simplify]: Simplify (+ 0 0) into 0
4.070 * [backup-simplify]: Simplify 0 into 0
4.071 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.072 * [backup-simplify]: Simplify (- 0) into 0
4.072 * [backup-simplify]: Simplify (+ 0 0) into 0
4.072 * [backup-simplify]: Simplify 0 into 0
4.073 * [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
4.073 * [backup-simplify]: Simplify (- 0) into 0
4.074 * [backup-simplify]: Simplify (+ 0 0) into 0
4.074 * [backup-simplify]: Simplify 0 into 0
4.074 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* 1 (/ 1 (/ 1 x)))) into (- x 0.13793103448275862)
4.075 * [backup-simplify]: Simplify (- (/ 1 (- x)) (/ 16.0 116.0)) into (- (+ 0.13793103448275862 (/ 1 x)))
4.075 * [approximate]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in (x) around 0
4.075 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
4.075 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
4.075 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
4.075 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
4.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.075 * [taylor]: Taking taylor expansion of x in x
4.075 * [backup-simplify]: Simplify 0 into 0
4.075 * [backup-simplify]: Simplify 1 into 1
4.076 * [backup-simplify]: Simplify (/ 1 1) into 1
4.076 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
4.076 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
4.076 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
4.076 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
4.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.076 * [taylor]: Taking taylor expansion of x in x
4.076 * [backup-simplify]: Simplify 0 into 0
4.076 * [backup-simplify]: Simplify 1 into 1
4.076 * [backup-simplify]: Simplify (/ 1 1) into 1
4.077 * [backup-simplify]: Simplify (+ 0 1) into 1
4.077 * [backup-simplify]: Simplify (- 1) into -1
4.077 * [backup-simplify]: Simplify -1 into -1
4.078 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.078 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
4.079 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
4.079 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
4.080 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.080 * [backup-simplify]: Simplify (+ 0 0) into 0
4.081 * [backup-simplify]: Simplify (- 0) into 0
4.081 * [backup-simplify]: Simplify 0 into 0
4.082 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.082 * [backup-simplify]: Simplify (+ 0 0) into 0
4.083 * [backup-simplify]: Simplify (- 0) into 0
4.083 * [backup-simplify]: Simplify 0 into 0
4.083 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.084 * [backup-simplify]: Simplify (+ 0 0) into 0
4.084 * [backup-simplify]: Simplify (- 0) into 0
4.084 * [backup-simplify]: Simplify 0 into 0
4.085 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.086 * [backup-simplify]: Simplify (+ 0 0) into 0
4.086 * [backup-simplify]: Simplify (- 0) into 0
4.086 * [backup-simplify]: Simplify 0 into 0
4.087 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.088 * [backup-simplify]: Simplify (+ 0 0) into 0
4.088 * [backup-simplify]: Simplify (- 0) into 0
4.088 * [backup-simplify]: Simplify 0 into 0
4.089 * [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
4.089 * [backup-simplify]: Simplify (+ 0 0) into 0
4.090 * [backup-simplify]: Simplify (- 0) into 0
4.090 * [backup-simplify]: Simplify 0 into 0
4.090 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* -1 (/ 1 (/ 1 (- x))))) into (- x 0.13793103448275862)
4.090 * * * [progress]: simplifying candidates
4.094 * [simplify]: Simplifying:
  (expm1 (* (- x (/ 16.0 116.0)) (* y 3.0)))
  (log1p (* (- x (/ 16.0 116.0)) (* y 3.0)))
  (* (- x (/ 16.0 116.0)) (* y 3.0))
  (* (- x (/ 16.0 116.0)) (* y 3.0))
  (+ (log (- x (/ 16.0 116.0))) (+ (log y) (log 3.0)))
  (+ (log (- x (/ 16.0 116.0))) (log (* y 3.0)))
  (log (* (- x (/ 16.0 116.0)) (* y 3.0)))
  (exp (* (- x (/ 16.0 116.0)) (* y 3.0)))
  (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* (* y y) y) (* (* 3.0 3.0) 3.0)))
  (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* (* y 3.0) (* y 3.0)) (* y 3.0)))
  (* (cbrt (* (- x (/ 16.0 116.0)) (* y 3.0))) (cbrt (* (- x (/ 16.0 116.0)) (* y 3.0))))
  (cbrt (* (- x (/ 16.0 116.0)) (* y 3.0)))
  (* (* (* (- x (/ 16.0 116.0)) (* y 3.0)) (* (- x (/ 16.0 116.0)) (* y 3.0))) (* (- x (/ 16.0 116.0)) (* y 3.0)))
  (sqrt (* (- x (/ 16.0 116.0)) (* y 3.0)))
  (sqrt (* (- x (/ 16.0 116.0)) (* y 3.0)))
  (* (- x (/ 16.0 116.0)) y)
  (* (cbrt (- x (/ 16.0 116.0))) (* y 3.0))
  (* (sqrt (- x (/ 16.0 116.0))) (* y 3.0))
  (* (- x (/ 16.0 116.0)) (* y 3.0))
  (* (- (sqrt x) (sqrt (/ 16.0 116.0))) (* y 3.0))
  (* (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) (* y 3.0))
  (* (- x (/ 16.0 116.0)) (* y 3.0))
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (* y 3.0))
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) (* y 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))
  (- x 0.13793103448275862)
  (- x 0.13793103448275862)
  (- x 0.13793103448275862)
4.101 * * [simplify]: Extracting # 0 : cost  0
4.101 * * [simplify]: Extracting # 1 : cost  0
4.102 * * [simplify]: Extracting # 2 : cost  0
4.102 * * [simplify]: Extracting # 3 : cost  0
4.103 * * [simplify]: Extracting # 4 : cost  0
4.103 * * [simplify]: Extracting # 5 : cost  0
4.104 * * [simplify]: Extracting # 6 : cost  0
4.104 * * [simplify]: Extracting # 7 : cost  0
4.105 * * [simplify]: Extracting # 8 : cost  0
4.105 * * [simplify]: iteration  0 :  194  enodes  (cost  2055 )
4.191 * * [simplify]: Extracting # 0 : cost  0
4.191 * * [simplify]: Extracting # 1 : cost  0
4.192 * * [simplify]: Extracting # 2 : cost  0
4.193 * * [simplify]: Extracting # 3 : cost  0
4.193 * * [simplify]: Extracting # 4 : cost  0
4.194 * * [simplify]: iteration  1 :  489  enodes  (cost  1842 )
4.459 * * [simplify]: Extracting # 0 : cost  0
4.472 * * [simplify]: Extracting # 1 : cost  0
4.477 * * [simplify]: Extracting # 2 : cost  0
4.481 * * [simplify]: Extracting # 3 : cost  0
4.486 * * [simplify]: Extracting # 4 : cost  0
4.491 * * [simplify]: Extracting # 5 : cost  0
4.496 * * [simplify]: Extracting # 6 : cost  0
4.500 * * [simplify]: iteration  2 :  1956  enodes  (cost  1334 )
6.129 * * [simplify]: Extracting # 0 : cost  0
6.151 * * [simplify]: Extracting # 1 : cost  0
6.161 * * [simplify]: Extracting # 2 : cost  0
6.174 * * [simplify]: Extracting # 3 : cost  0
6.184 * * [simplify]: Extracting # 4 : cost  0
6.193 * * [simplify]: iteration done:  5000  enodes  (cost  1018 )
6.195 * [simplify]: Simplified to:
  (expm1 (* (- x (/ 16.0 116.0)) (* y 3.0)))
  (log1p (* (- x (/ 16.0 116.0)) (* y 3.0)))
  (* (- x (/ 16.0 116.0)) (* y 3.0))
  (* (- x (/ 16.0 116.0)) (* y 3.0))
  (log (* (- x (/ 16.0 116.0)) (* y 3.0)))
  (log (* (- x (/ 16.0 116.0)) (* y 3.0)))
  (log (* (- x (/ 16.0 116.0)) (* y 3.0)))
  (exp (* (- x (/ 16.0 116.0)) (* y 3.0)))
  (pow (* (- x (/ 16.0 116.0)) (* y 3.0)) 3)
  (pow (* (- x (/ 16.0 116.0)) (* y 3.0)) 3)
  (* (cbrt (* (- x (/ 16.0 116.0)) (* y 3.0))) (cbrt (* (- x (/ 16.0 116.0)) (* y 3.0))))
  (cbrt (* (- x (/ 16.0 116.0)) (* y 3.0)))
  (pow (* (- x (/ 16.0 116.0)) (* y 3.0)) 3)
  (sqrt (* (- x (/ 16.0 116.0)) (* y 3.0)))
  (sqrt (* (- x (/ 16.0 116.0)) (* y 3.0)))
  (* (- x (/ 16.0 116.0)) y)
  (* (cbrt (- x (/ 16.0 116.0))) (* y 3.0))
  (* (sqrt (- x (/ 16.0 116.0))) (* y 3.0))
  (* (- x (/ 16.0 116.0)) (* y 3.0))
  (* (- (sqrt x) (sqrt (/ 16.0 116.0))) (* y 3.0))
  (* (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) (* y 3.0))
  (* (- x (/ 16.0 116.0)) (* y 3.0))
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (* y 3.0))
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) (* y 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) (+ (/ 16.0 116.0) x)))
  (- (/ 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)
6.197 * * * [progress]: adding candidates to table
6.372 * * [progress]: iteration 3 / 4
6.372 * * * [progress]: picking best candidate
6.380 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) y) 3.0))>
6.380 * * * [progress]: localizing error
6.388 * * * [progress]: generating rewritten candidates
6.388 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
6.483 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
6.550 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
6.570 * * * [progress]: generating series expansions
6.570 * * * * [progress]: [ 1 / 3 ] generating series at (2)
6.571 * [backup-simplify]: Simplify (* (* (- x (/ 16.0 116.0)) y) 3.0) into (* 3.0 (* (- x 0.13793103448275862) y))
6.571 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0
6.571 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
6.571 * [taylor]: Taking taylor expansion of 3.0 in y
6.571 * [backup-simplify]: Simplify 3.0 into 3.0
6.571 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
6.571 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
6.571 * [taylor]: Taking taylor expansion of x in y
6.571 * [backup-simplify]: Simplify x into x
6.571 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
6.571 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.571 * [taylor]: Taking taylor expansion of y in y
6.571 * [backup-simplify]: Simplify 0 into 0
6.571 * [backup-simplify]: Simplify 1 into 1
6.571 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
6.571 * [taylor]: Taking taylor expansion of 3.0 in x
6.571 * [backup-simplify]: Simplify 3.0 into 3.0
6.571 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
6.571 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
6.571 * [taylor]: Taking taylor expansion of x in x
6.571 * [backup-simplify]: Simplify 0 into 0
6.571 * [backup-simplify]: Simplify 1 into 1
6.571 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.571 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.571 * [taylor]: Taking taylor expansion of y in x
6.571 * [backup-simplify]: Simplify y into y
6.571 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
6.571 * [taylor]: Taking taylor expansion of 3.0 in x
6.571 * [backup-simplify]: Simplify 3.0 into 3.0
6.571 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
6.571 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
6.571 * [taylor]: Taking taylor expansion of x in x
6.571 * [backup-simplify]: Simplify 0 into 0
6.571 * [backup-simplify]: Simplify 1 into 1
6.571 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.571 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.571 * [taylor]: Taking taylor expansion of y in x
6.571 * [backup-simplify]: Simplify y into y
6.572 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.573 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
6.573 * [backup-simplify]: Simplify (* (- 0.13793103448275862) y) into (* -0.13793103448275862 y)
6.573 * [backup-simplify]: Simplify (* 3.0 (* -0.13793103448275862 y)) into (* -0.41379310344827586 y)
6.573 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
6.573 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
6.573 * [backup-simplify]: Simplify -0.41379310344827586 into -0.41379310344827586
6.573 * [taylor]: Taking taylor expansion of y in y
6.573 * [backup-simplify]: Simplify 0 into 0
6.573 * [backup-simplify]: Simplify 1 into 1
6.574 * [backup-simplify]: Simplify (* -0.41379310344827586 0) into 0
6.574 * [backup-simplify]: Simplify 0 into 0
6.574 * [backup-simplify]: Simplify (- 0) into 0
6.574 * [backup-simplify]: Simplify (+ 1 0) into 1
6.575 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (* 1 y)) into y
6.575 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 (* -0.13793103448275862 y))) into (* 3.0 y)
6.575 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
6.575 * [taylor]: Taking taylor expansion of 3.0 in y
6.575 * [backup-simplify]: Simplify 3.0 into 3.0
6.575 * [taylor]: Taking taylor expansion of y in y
6.575 * [backup-simplify]: Simplify 0 into 0
6.575 * [backup-simplify]: Simplify 1 into 1
6.575 * [backup-simplify]: Simplify (* 3.0 0) into 0
6.575 * [backup-simplify]: Simplify 0 into 0
6.576 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 1) (* 0 0)) into (- 0.41379310344827586)
6.576 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
6.576 * [backup-simplify]: Simplify (- 0) into 0
6.577 * [backup-simplify]: Simplify (+ 0 0) into 0
6.577 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (* 0 y))) into 0
6.578 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))) into 0
6.578 * [taylor]: Taking taylor expansion of 0 in y
6.578 * [backup-simplify]: Simplify 0 into 0
6.578 * [backup-simplify]: Simplify 0 into 0
6.579 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
6.579 * [backup-simplify]: Simplify 3.0 into 3.0
6.579 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 1) (* 0 0))) into 0
6.579 * [backup-simplify]: Simplify 0 into 0
6.579 * [backup-simplify]: Simplify (- 0) into 0
6.580 * [backup-simplify]: Simplify (+ 0 0) into 0
6.580 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
6.581 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y))))) into 0
6.581 * [taylor]: Taking taylor expansion of 0 in y
6.581 * [backup-simplify]: Simplify 0 into 0
6.581 * [backup-simplify]: Simplify 0 into 0
6.581 * [backup-simplify]: Simplify 0 into 0
6.582 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
6.582 * [backup-simplify]: Simplify 0 into 0
6.583 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.583 * [backup-simplify]: Simplify 0 into 0
6.583 * [backup-simplify]: Simplify (- 0) into 0
6.584 * [backup-simplify]: Simplify (+ 0 0) into 0
6.585 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
6.586 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))))) into 0
6.587 * [taylor]: Taking taylor expansion of 0 in y
6.587 * [backup-simplify]: Simplify 0 into 0
6.587 * [backup-simplify]: Simplify 0 into 0
6.587 * [backup-simplify]: Simplify (+ (* 3.0 (* y x)) (* (- 0.41379310344827586) (* y 1))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
6.588 * [backup-simplify]: Simplify (* (* (- (/ 1 x) (/ 16.0 116.0)) (/ 1 y)) 3.0) into (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y))
6.588 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0
6.588 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
6.588 * [taylor]: Taking taylor expansion of 3.0 in y
6.588 * [backup-simplify]: Simplify 3.0 into 3.0
6.588 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
6.588 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
6.588 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.588 * [taylor]: Taking taylor expansion of x in y
6.588 * [backup-simplify]: Simplify x into x
6.588 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.588 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
6.588 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.588 * [taylor]: Taking taylor expansion of y in y
6.588 * [backup-simplify]: Simplify 0 into 0
6.588 * [backup-simplify]: Simplify 1 into 1
6.589 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.589 * [backup-simplify]: Simplify (+ (/ 1 x) (- 0.13793103448275862)) into (- (/ 1 x) 0.13793103448275862)
6.589 * [backup-simplify]: Simplify (/ (- (/ 1 x) 0.13793103448275862) 1) into (- (/ 1 x) 0.13793103448275862)
6.589 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
6.589 * [taylor]: Taking taylor expansion of 3.0 in x
6.589 * [backup-simplify]: Simplify 3.0 into 3.0
6.589 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
6.590 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
6.590 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.590 * [taylor]: Taking taylor expansion of x in x
6.590 * [backup-simplify]: Simplify 0 into 0
6.590 * [backup-simplify]: Simplify 1 into 1
6.590 * [backup-simplify]: Simplify (/ 1 1) into 1
6.590 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.590 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.590 * [taylor]: Taking taylor expansion of y in x
6.590 * [backup-simplify]: Simplify y into y
6.591 * [backup-simplify]: Simplify (+ 1 0) into 1
6.591 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.591 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
6.591 * [taylor]: Taking taylor expansion of 3.0 in x
6.591 * [backup-simplify]: Simplify 3.0 into 3.0
6.591 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
6.591 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
6.591 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.591 * [taylor]: Taking taylor expansion of x in x
6.591 * [backup-simplify]: Simplify 0 into 0
6.591 * [backup-simplify]: Simplify 1 into 1
6.591 * [backup-simplify]: Simplify (/ 1 1) into 1
6.591 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.591 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.591 * [taylor]: Taking taylor expansion of y in x
6.591 * [backup-simplify]: Simplify y into y
6.592 * [backup-simplify]: Simplify (+ 1 0) into 1
6.592 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.592 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
6.592 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
6.592 * [taylor]: Taking taylor expansion of 3.0 in y
6.592 * [backup-simplify]: Simplify 3.0 into 3.0
6.592 * [taylor]: Taking taylor expansion of y in y
6.592 * [backup-simplify]: Simplify 0 into 0
6.592 * [backup-simplify]: Simplify 1 into 1
6.593 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
6.593 * [backup-simplify]: Simplify 3.0 into 3.0
6.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.594 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.595 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
6.595 * [backup-simplify]: Simplify (- (/ (- 0.13793103448275862) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (* 0.13793103448275862 (/ 1 y)))
6.596 * [backup-simplify]: Simplify (+ (* 3.0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))) into (- (* 0.41379310344827586 (/ 1 y)))
6.596 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
6.596 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
6.596 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
6.596 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
6.596 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.596 * [taylor]: Taking taylor expansion of y in y
6.596 * [backup-simplify]: Simplify 0 into 0
6.596 * [backup-simplify]: Simplify 1 into 1
6.596 * [backup-simplify]: Simplify (/ 1 1) into 1
6.597 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
6.597 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
6.598 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
6.599 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
6.599 * [backup-simplify]: Simplify 0 into 0
6.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.600 * [backup-simplify]: Simplify (- 0) into 0
6.600 * [backup-simplify]: Simplify (+ 0 0) into 0
6.601 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)))) into 0
6.601 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y)))) into 0
6.601 * [taylor]: Taking taylor expansion of 0 in y
6.601 * [backup-simplify]: Simplify 0 into 0
6.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.603 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
6.603 * [backup-simplify]: Simplify (- 0) into 0
6.603 * [backup-simplify]: Simplify 0 into 0
6.604 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.604 * [backup-simplify]: Simplify 0 into 0
6.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.605 * [backup-simplify]: Simplify (- 0) into 0
6.606 * [backup-simplify]: Simplify (+ 0 0) into 0
6.606 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.607 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))))) into 0
6.607 * [taylor]: Taking taylor expansion of 0 in y
6.607 * [backup-simplify]: Simplify 0 into 0
6.607 * [backup-simplify]: Simplify 0 into 0
6.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.609 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
6.610 * [backup-simplify]: Simplify (- 0) into 0
6.610 * [backup-simplify]: Simplify 0 into 0
6.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.610 * [backup-simplify]: Simplify 0 into 0
6.611 * [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))
6.611 * [backup-simplify]: Simplify (* (* (- (/ 1 (- x)) (/ 16.0 116.0)) (/ 1 (- y))) 3.0) into (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y))
6.611 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0
6.611 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
6.611 * [taylor]: Taking taylor expansion of 3.0 in y
6.611 * [backup-simplify]: Simplify 3.0 into 3.0
6.611 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
6.611 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
6.611 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
6.611 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.611 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.611 * [taylor]: Taking taylor expansion of x in y
6.611 * [backup-simplify]: Simplify x into x
6.612 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.612 * [taylor]: Taking taylor expansion of y in y
6.612 * [backup-simplify]: Simplify 0 into 0
6.612 * [backup-simplify]: Simplify 1 into 1
6.612 * [backup-simplify]: Simplify (+ 0.13793103448275862 (/ 1 x)) into (+ (/ 1 x) 0.13793103448275862)
6.612 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 0.13793103448275862) 1) into (+ 0.13793103448275862 (/ 1 x))
6.612 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
6.612 * [taylor]: Taking taylor expansion of 3.0 in x
6.612 * [backup-simplify]: Simplify 3.0 into 3.0
6.612 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
6.612 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
6.612 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.612 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.612 * [taylor]: Taking taylor expansion of x in x
6.612 * [backup-simplify]: Simplify 0 into 0
6.612 * [backup-simplify]: Simplify 1 into 1
6.612 * [backup-simplify]: Simplify (/ 1 1) into 1
6.612 * [taylor]: Taking taylor expansion of y in x
6.612 * [backup-simplify]: Simplify y into y
6.612 * [backup-simplify]: Simplify (+ 0 1) into 1
6.612 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.613 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
6.613 * [taylor]: Taking taylor expansion of 3.0 in x
6.613 * [backup-simplify]: Simplify 3.0 into 3.0
6.613 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
6.613 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
6.613 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.613 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.613 * [taylor]: Taking taylor expansion of x in x
6.613 * [backup-simplify]: Simplify 0 into 0
6.613 * [backup-simplify]: Simplify 1 into 1
6.613 * [backup-simplify]: Simplify (/ 1 1) into 1
6.613 * [taylor]: Taking taylor expansion of y in x
6.613 * [backup-simplify]: Simplify y into y
6.613 * [backup-simplify]: Simplify (+ 0 1) into 1
6.613 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.613 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
6.613 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
6.613 * [taylor]: Taking taylor expansion of 3.0 in y
6.613 * [backup-simplify]: Simplify 3.0 into 3.0
6.613 * [taylor]: Taking taylor expansion of y in y
6.613 * [backup-simplify]: Simplify 0 into 0
6.614 * [backup-simplify]: Simplify 1 into 1
6.614 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
6.614 * [backup-simplify]: Simplify 3.0 into 3.0
6.614 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.615 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
6.615 * [backup-simplify]: Simplify (- (/ 0.13793103448275862 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 0.13793103448275862 (/ 1 y))
6.615 * [backup-simplify]: Simplify (+ (* 3.0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))) into (* 0.41379310344827586 (/ 1 y))
6.615 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
6.615 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
6.615 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
6.615 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.615 * [taylor]: Taking taylor expansion of y in y
6.615 * [backup-simplify]: Simplify 0 into 0
6.615 * [backup-simplify]: Simplify 1 into 1
6.615 * [backup-simplify]: Simplify (/ 1 1) into 1
6.615 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
6.615 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
6.616 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
6.616 * [backup-simplify]: Simplify 0 into 0
6.616 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.617 * [backup-simplify]: Simplify (+ 0 0) into 0
6.617 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)))) into 0
6.617 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y)))) into 0
6.617 * [taylor]: Taking taylor expansion of 0 in y
6.617 * [backup-simplify]: Simplify 0 into 0
6.618 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.618 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
6.618 * [backup-simplify]: Simplify 0 into 0
6.619 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.619 * [backup-simplify]: Simplify 0 into 0
6.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.620 * [backup-simplify]: Simplify (+ 0 0) into 0
6.620 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.620 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))))) into 0
6.620 * [taylor]: Taking taylor expansion of 0 in y
6.620 * [backup-simplify]: Simplify 0 into 0
6.620 * [backup-simplify]: Simplify 0 into 0
6.621 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.621 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
6.622 * [backup-simplify]: Simplify 0 into 0
6.622 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.622 * [backup-simplify]: Simplify 0 into 0
6.622 * [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))
6.622 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
6.623 * [backup-simplify]: Simplify (* (- x (/ 16.0 116.0)) y) into (* (- x 0.13793103448275862) y)
6.623 * [approximate]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in (x y) around 0
6.623 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
6.623 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
6.623 * [taylor]: Taking taylor expansion of x in y
6.623 * [backup-simplify]: Simplify x into x
6.623 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
6.623 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.623 * [taylor]: Taking taylor expansion of y in y
6.623 * [backup-simplify]: Simplify 0 into 0
6.623 * [backup-simplify]: Simplify 1 into 1
6.623 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
6.623 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
6.623 * [taylor]: Taking taylor expansion of x in x
6.623 * [backup-simplify]: Simplify 0 into 0
6.623 * [backup-simplify]: Simplify 1 into 1
6.623 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.623 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.623 * [taylor]: Taking taylor expansion of y in x
6.623 * [backup-simplify]: Simplify y into y
6.623 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
6.623 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
6.623 * [taylor]: Taking taylor expansion of x in x
6.623 * [backup-simplify]: Simplify 0 into 0
6.623 * [backup-simplify]: Simplify 1 into 1
6.623 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.623 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.623 * [taylor]: Taking taylor expansion of y in x
6.623 * [backup-simplify]: Simplify y into y
6.624 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.624 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
6.624 * [backup-simplify]: Simplify (* (- 0.13793103448275862) y) into (* -0.13793103448275862 y)
6.624 * [taylor]: Taking taylor expansion of (* -0.13793103448275862 y) in y
6.624 * [taylor]: Taking taylor expansion of -0.13793103448275862 in y
6.624 * [backup-simplify]: Simplify -0.13793103448275862 into -0.13793103448275862
6.624 * [taylor]: Taking taylor expansion of y in y
6.624 * [backup-simplify]: Simplify 0 into 0
6.624 * [backup-simplify]: Simplify 1 into 1
6.625 * [backup-simplify]: Simplify (* -0.13793103448275862 0) into 0
6.625 * [backup-simplify]: Simplify 0 into 0
6.625 * [backup-simplify]: Simplify (- 0) into 0
6.625 * [backup-simplify]: Simplify (+ 1 0) into 1
6.626 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (* 1 y)) into y
6.626 * [taylor]: Taking taylor expansion of y in y
6.626 * [backup-simplify]: Simplify 0 into 0
6.626 * [backup-simplify]: Simplify 1 into 1
6.626 * [backup-simplify]: Simplify 0 into 0
6.627 * [backup-simplify]: Simplify (+ (* -0.13793103448275862 1) (* 0 0)) into (- 0.13793103448275862)
6.627 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.627 * [backup-simplify]: Simplify (- 0) into 0
6.627 * [backup-simplify]: Simplify (+ 0 0) into 0
6.628 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (* 0 y))) into 0
6.628 * [taylor]: Taking taylor expansion of 0 in y
6.628 * [backup-simplify]: Simplify 0 into 0
6.628 * [backup-simplify]: Simplify 0 into 0
6.628 * [backup-simplify]: Simplify 1 into 1
6.629 * [backup-simplify]: Simplify (+ (* -0.13793103448275862 0) (+ (* 0 1) (* 0 0))) into 0
6.629 * [backup-simplify]: Simplify 0 into 0
6.629 * [backup-simplify]: Simplify (- 0) into 0
6.629 * [backup-simplify]: Simplify (+ 0 0) into 0
6.630 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
6.630 * [taylor]: Taking taylor expansion of 0 in y
6.630 * [backup-simplify]: Simplify 0 into 0
6.630 * [backup-simplify]: Simplify 0 into 0
6.630 * [backup-simplify]: Simplify 0 into 0
6.630 * [backup-simplify]: Simplify 0 into 0
6.631 * [backup-simplify]: Simplify (+ (* -0.13793103448275862 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.631 * [backup-simplify]: Simplify 0 into 0
6.631 * [backup-simplify]: Simplify (- 0) into 0
6.631 * [backup-simplify]: Simplify (+ 0 0) into 0
6.632 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
6.632 * [taylor]: Taking taylor expansion of 0 in y
6.633 * [backup-simplify]: Simplify 0 into 0
6.633 * [backup-simplify]: Simplify 0 into 0
6.633 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* (- 0.13793103448275862) (* y 1))) into (- (* x y) (* 0.13793103448275862 y))
6.633 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 16.0 116.0)) (/ 1 y)) into (/ (- (/ 1 x) 0.13793103448275862) y)
6.633 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in (x y) around 0
6.633 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
6.633 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
6.633 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.633 * [taylor]: Taking taylor expansion of x in y
6.633 * [backup-simplify]: Simplify x into x
6.633 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.633 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
6.633 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.633 * [taylor]: Taking taylor expansion of y in y
6.634 * [backup-simplify]: Simplify 0 into 0
6.634 * [backup-simplify]: Simplify 1 into 1
6.634 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.634 * [backup-simplify]: Simplify (+ (/ 1 x) (- 0.13793103448275862)) into (- (/ 1 x) 0.13793103448275862)
6.634 * [backup-simplify]: Simplify (/ (- (/ 1 x) 0.13793103448275862) 1) into (- (/ 1 x) 0.13793103448275862)
6.634 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
6.634 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
6.634 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.634 * [taylor]: Taking taylor expansion of x in x
6.634 * [backup-simplify]: Simplify 0 into 0
6.634 * [backup-simplify]: Simplify 1 into 1
6.635 * [backup-simplify]: Simplify (/ 1 1) into 1
6.635 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.635 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.635 * [taylor]: Taking taylor expansion of y in x
6.635 * [backup-simplify]: Simplify y into y
6.635 * [backup-simplify]: Simplify (+ 1 0) into 1
6.635 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.635 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
6.635 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
6.635 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.635 * [taylor]: Taking taylor expansion of x in x
6.635 * [backup-simplify]: Simplify 0 into 0
6.635 * [backup-simplify]: Simplify 1 into 1
6.635 * [backup-simplify]: Simplify (/ 1 1) into 1
6.635 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.635 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.635 * [taylor]: Taking taylor expansion of y in x
6.635 * [backup-simplify]: Simplify y into y
6.636 * [backup-simplify]: Simplify (+ 1 0) into 1
6.636 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.636 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.636 * [taylor]: Taking taylor expansion of y in y
6.636 * [backup-simplify]: Simplify 0 into 0
6.636 * [backup-simplify]: Simplify 1 into 1
6.636 * [backup-simplify]: Simplify (/ 1 1) into 1
6.636 * [backup-simplify]: Simplify 1 into 1
6.636 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.637 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.637 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
6.642 * [backup-simplify]: Simplify (- (/ (- 0.13793103448275862) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (* 0.13793103448275862 (/ 1 y)))
6.642 * [taylor]: Taking taylor expansion of (- (* 0.13793103448275862 (/ 1 y))) in y
6.642 * [taylor]: Taking taylor expansion of (* 0.13793103448275862 (/ 1 y)) in y
6.642 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
6.642 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.642 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.642 * [taylor]: Taking taylor expansion of y in y
6.642 * [backup-simplify]: Simplify 0 into 0
6.642 * [backup-simplify]: Simplify 1 into 1
6.643 * [backup-simplify]: Simplify (/ 1 1) into 1
6.643 * [backup-simplify]: Simplify (* 0.13793103448275862 1) into 0.13793103448275862
6.644 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.644 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.645 * [backup-simplify]: Simplify 0 into 0
6.646 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.646 * [backup-simplify]: Simplify (- 0) into 0
6.647 * [backup-simplify]: Simplify (+ 0 0) into 0
6.647 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)))) into 0
6.647 * [taylor]: Taking taylor expansion of 0 in y
6.647 * [backup-simplify]: Simplify 0 into 0
6.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.649 * [backup-simplify]: Simplify (+ (* 0.13793103448275862 0) (* 0 1)) into 0
6.650 * [backup-simplify]: Simplify (- 0) into 0
6.650 * [backup-simplify]: Simplify 0 into 0
6.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.651 * [backup-simplify]: Simplify 0 into 0
6.652 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.652 * [backup-simplify]: Simplify (- 0) into 0
6.653 * [backup-simplify]: Simplify (+ 0 0) into 0
6.653 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.653 * [taylor]: Taking taylor expansion of 0 in y
6.653 * [backup-simplify]: Simplify 0 into 0
6.653 * [backup-simplify]: Simplify 0 into 0
6.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.655 * [backup-simplify]: Simplify (+ (* 0.13793103448275862 0) (+ (* 0 0) (* 0 1))) into 0
6.655 * [backup-simplify]: Simplify (- 0) into 0
6.655 * [backup-simplify]: Simplify 0 into 0
6.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.656 * [backup-simplify]: Simplify 0 into 0
6.657 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (* x y) (* 0.13793103448275862 y))
6.658 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 16.0 116.0)) (/ 1 (- y))) into (/ (+ 0.13793103448275862 (/ 1 x)) y)
6.658 * [approximate]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in (x y) around 0
6.658 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
6.658 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
6.658 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
6.658 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.658 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.658 * [taylor]: Taking taylor expansion of x in y
6.658 * [backup-simplify]: Simplify x into x
6.658 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.658 * [taylor]: Taking taylor expansion of y in y
6.658 * [backup-simplify]: Simplify 0 into 0
6.658 * [backup-simplify]: Simplify 1 into 1
6.658 * [backup-simplify]: Simplify (+ 0.13793103448275862 (/ 1 x)) into (+ (/ 1 x) 0.13793103448275862)
6.658 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 0.13793103448275862) 1) into (+ 0.13793103448275862 (/ 1 x))
6.658 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
6.658 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
6.658 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.659 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.659 * [taylor]: Taking taylor expansion of x in x
6.659 * [backup-simplify]: Simplify 0 into 0
6.659 * [backup-simplify]: Simplify 1 into 1
6.659 * [backup-simplify]: Simplify (/ 1 1) into 1
6.659 * [taylor]: Taking taylor expansion of y in x
6.659 * [backup-simplify]: Simplify y into y
6.660 * [backup-simplify]: Simplify (+ 0 1) into 1
6.660 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.660 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
6.660 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
6.660 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.660 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.660 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.660 * [taylor]: Taking taylor expansion of x in x
6.660 * [backup-simplify]: Simplify 0 into 0
6.660 * [backup-simplify]: Simplify 1 into 1
6.660 * [backup-simplify]: Simplify (/ 1 1) into 1
6.660 * [taylor]: Taking taylor expansion of y in x
6.660 * [backup-simplify]: Simplify y into y
6.661 * [backup-simplify]: Simplify (+ 0 1) into 1
6.661 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.661 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.661 * [taylor]: Taking taylor expansion of y in y
6.661 * [backup-simplify]: Simplify 0 into 0
6.661 * [backup-simplify]: Simplify 1 into 1
6.661 * [backup-simplify]: Simplify (/ 1 1) into 1
6.661 * [backup-simplify]: Simplify 1 into 1
6.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.662 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
6.663 * [backup-simplify]: Simplify (- (/ 0.13793103448275862 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 0.13793103448275862 (/ 1 y))
6.663 * [taylor]: Taking taylor expansion of (* 0.13793103448275862 (/ 1 y)) in y
6.663 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
6.663 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.663 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.663 * [taylor]: Taking taylor expansion of y in y
6.663 * [backup-simplify]: Simplify 0 into 0
6.663 * [backup-simplify]: Simplify 1 into 1
6.663 * [backup-simplify]: Simplify (/ 1 1) into 1
6.664 * [backup-simplify]: Simplify (* 0.13793103448275862 1) into 0.13793103448275862
6.664 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.664 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.665 * [backup-simplify]: Simplify 0 into 0
6.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.666 * [backup-simplify]: Simplify (+ 0 0) into 0
6.666 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)))) into 0
6.666 * [taylor]: Taking taylor expansion of 0 in y
6.666 * [backup-simplify]: Simplify 0 into 0
6.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.668 * [backup-simplify]: Simplify (+ (* 0.13793103448275862 0) (* 0 1)) into 0
6.668 * [backup-simplify]: Simplify 0 into 0
6.669 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.669 * [backup-simplify]: Simplify 0 into 0
6.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.670 * [backup-simplify]: Simplify (+ 0 0) into 0
6.670 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.670 * [taylor]: Taking taylor expansion of 0 in y
6.670 * [backup-simplify]: Simplify 0 into 0
6.670 * [backup-simplify]: Simplify 0 into 0
6.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.672 * [backup-simplify]: Simplify (+ (* 0.13793103448275862 0) (+ (* 0 0) (* 0 1))) into 0
6.672 * [backup-simplify]: Simplify 0 into 0
6.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.673 * [backup-simplify]: Simplify 0 into 0
6.673 * [backup-simplify]: Simplify (+ (* 0.13793103448275862 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (* x y) (* 0.13793103448275862 y))
6.674 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
6.674 * [backup-simplify]: Simplify (- x (/ 16.0 116.0)) into (- x 0.13793103448275862)
6.674 * [approximate]: Taking taylor expansion of (- x 0.13793103448275862) in (x) around 0
6.674 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
6.674 * [taylor]: Taking taylor expansion of x in x
6.674 * [backup-simplify]: Simplify 0 into 0
6.674 * [backup-simplify]: Simplify 1 into 1
6.674 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.674 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.674 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
6.674 * [taylor]: Taking taylor expansion of x in x
6.674 * [backup-simplify]: Simplify 0 into 0
6.674 * [backup-simplify]: Simplify 1 into 1
6.674 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.674 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.675 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.675 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
6.675 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.676 * [backup-simplify]: Simplify (- 0) into 0
6.676 * [backup-simplify]: Simplify (+ 1 0) into 1
6.676 * [backup-simplify]: Simplify 1 into 1
6.676 * [backup-simplify]: Simplify (- 0) into 0
6.676 * [backup-simplify]: Simplify (+ 0 0) into 0
6.676 * [backup-simplify]: Simplify 0 into 0
6.677 * [backup-simplify]: Simplify (- 0) into 0
6.677 * [backup-simplify]: Simplify (+ 0 0) into 0
6.677 * [backup-simplify]: Simplify 0 into 0
6.677 * [backup-simplify]: Simplify (- 0) into 0
6.677 * [backup-simplify]: Simplify (+ 0 0) into 0
6.677 * [backup-simplify]: Simplify 0 into 0
6.677 * [backup-simplify]: Simplify (- 0) into 0
6.678 * [backup-simplify]: Simplify (+ 0 0) into 0
6.678 * [backup-simplify]: Simplify 0 into 0
6.678 * [backup-simplify]: Simplify (- 0) into 0
6.678 * [backup-simplify]: Simplify (+ 0 0) into 0
6.678 * [backup-simplify]: Simplify 0 into 0
6.678 * [backup-simplify]: Simplify (- 0) into 0
6.679 * [backup-simplify]: Simplify (+ 0 0) into 0
6.679 * [backup-simplify]: Simplify 0 into 0
6.679 * [backup-simplify]: Simplify (+ (* 1 x) (- 0.13793103448275862)) into (- x 0.13793103448275862)
6.679 * [backup-simplify]: Simplify (- (/ 1 x) (/ 16.0 116.0)) into (- (/ 1 x) 0.13793103448275862)
6.679 * [approximate]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in (x) around 0
6.679 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
6.679 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.679 * [taylor]: Taking taylor expansion of x in x
6.679 * [backup-simplify]: Simplify 0 into 0
6.679 * [backup-simplify]: Simplify 1 into 1
6.680 * [backup-simplify]: Simplify (/ 1 1) into 1
6.680 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.680 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.680 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
6.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.680 * [taylor]: Taking taylor expansion of x in x
6.680 * [backup-simplify]: Simplify 0 into 0
6.680 * [backup-simplify]: Simplify 1 into 1
6.680 * [backup-simplify]: Simplify (/ 1 1) into 1
6.680 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.680 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.680 * [backup-simplify]: Simplify (+ 1 0) into 1
6.680 * [backup-simplify]: Simplify 1 into 1
6.681 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.681 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.682 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
6.682 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.682 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.683 * [backup-simplify]: Simplify (- 0) into 0
6.683 * [backup-simplify]: Simplify (+ 0 0) into 0
6.683 * [backup-simplify]: Simplify 0 into 0
6.683 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.684 * [backup-simplify]: Simplify (- 0) into 0
6.684 * [backup-simplify]: Simplify (+ 0 0) into 0
6.684 * [backup-simplify]: Simplify 0 into 0
6.684 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.685 * [backup-simplify]: Simplify (- 0) into 0
6.685 * [backup-simplify]: Simplify (+ 0 0) into 0
6.685 * [backup-simplify]: Simplify 0 into 0
6.685 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.686 * [backup-simplify]: Simplify (- 0) into 0
6.686 * [backup-simplify]: Simplify (+ 0 0) into 0
6.686 * [backup-simplify]: Simplify 0 into 0
6.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.687 * [backup-simplify]: Simplify (- 0) into 0
6.687 * [backup-simplify]: Simplify (+ 0 0) into 0
6.687 * [backup-simplify]: Simplify 0 into 0
6.688 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.688 * [backup-simplify]: Simplify (- 0) into 0
6.688 * [backup-simplify]: Simplify (+ 0 0) into 0
6.688 * [backup-simplify]: Simplify 0 into 0
6.688 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* 1 (/ 1 (/ 1 x)))) into (- x 0.13793103448275862)
6.689 * [backup-simplify]: Simplify (- (/ 1 (- x)) (/ 16.0 116.0)) into (- (+ 0.13793103448275862 (/ 1 x)))
6.689 * [approximate]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in (x) around 0
6.689 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
6.689 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
6.689 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.689 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.689 * [taylor]: Taking taylor expansion of x in x
6.689 * [backup-simplify]: Simplify 0 into 0
6.689 * [backup-simplify]: Simplify 1 into 1
6.689 * [backup-simplify]: Simplify (/ 1 1) into 1
6.689 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
6.689 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
6.689 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.689 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.689 * [taylor]: Taking taylor expansion of x in x
6.689 * [backup-simplify]: Simplify 0 into 0
6.689 * [backup-simplify]: Simplify 1 into 1
6.690 * [backup-simplify]: Simplify (/ 1 1) into 1
6.690 * [backup-simplify]: Simplify (+ 0 1) into 1
6.690 * [backup-simplify]: Simplify (- 1) into -1
6.690 * [backup-simplify]: Simplify -1 into -1
6.691 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.691 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
6.691 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.691 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.692 * [backup-simplify]: Simplify (+ 0 0) into 0
6.692 * [backup-simplify]: Simplify (- 0) into 0
6.692 * [backup-simplify]: Simplify 0 into 0
6.693 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.693 * [backup-simplify]: Simplify (+ 0 0) into 0
6.693 * [backup-simplify]: Simplify (- 0) into 0
6.693 * [backup-simplify]: Simplify 0 into 0
6.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.694 * [backup-simplify]: Simplify (+ 0 0) into 0
6.694 * [backup-simplify]: Simplify (- 0) into 0
6.694 * [backup-simplify]: Simplify 0 into 0
6.695 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.695 * [backup-simplify]: Simplify (+ 0 0) into 0
6.695 * [backup-simplify]: Simplify (- 0) into 0
6.695 * [backup-simplify]: Simplify 0 into 0
6.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.696 * [backup-simplify]: Simplify (+ 0 0) into 0
6.696 * [backup-simplify]: Simplify (- 0) into 0
6.697 * [backup-simplify]: Simplify 0 into 0
6.697 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.697 * [backup-simplify]: Simplify (+ 0 0) into 0
6.698 * [backup-simplify]: Simplify (- 0) into 0
6.698 * [backup-simplify]: Simplify 0 into 0
6.698 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* -1 (/ 1 (/ 1 (- x))))) into (- x 0.13793103448275862)
6.698 * * * [progress]: simplifying candidates
6.700 * [simplify]: Simplifying:
  (expm1 (* (* (- x (/ 16.0 116.0)) y) 3.0))
  (log1p (* (* (- x (/ 16.0 116.0)) y) 3.0))
  (* (* (- x (/ 16.0 116.0)) y) 3.0)
  (* (* (- x (/ 16.0 116.0)) y) 3.0)
  (+ (+ (log (- x (/ 16.0 116.0))) (log y)) (log 3.0))
  (+ (log (* (- x (/ 16.0 116.0)) y)) (log 3.0))
  (log (* (* (- x (/ 16.0 116.0)) y) 3.0))
  (exp (* (* (- x (/ 16.0 116.0)) y) 3.0))
  (* (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* y y) y)) (* (* 3.0 3.0) 3.0))
  (* (* (* (* (- x (/ 16.0 116.0)) y) (* (- x (/ 16.0 116.0)) y)) (* (- x (/ 16.0 116.0)) y)) (* (* 3.0 3.0) 3.0))
  (* (cbrt (* (* (- x (/ 16.0 116.0)) y) 3.0)) (cbrt (* (* (- x (/ 16.0 116.0)) y) 3.0)))
  (cbrt (* (* (- x (/ 16.0 116.0)) y) 3.0))
  (* (* (* (* (- x (/ 16.0 116.0)) y) 3.0) (* (* (- x (/ 16.0 116.0)) y) 3.0)) (* (* (- x (/ 16.0 116.0)) y) 3.0))
  (sqrt (* (* (- x (/ 16.0 116.0)) y) 3.0))
  (sqrt (* (* (- x (/ 16.0 116.0)) y) 3.0))
  (* (* (- x (/ 16.0 116.0)) y) (* (cbrt 3.0) (cbrt 3.0)))
  (* (* (- x (/ 16.0 116.0)) y) (sqrt 3.0))
  (* (* (- x (/ 16.0 116.0)) y) 1)
  (* y 3.0)
  (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) y) 3.0)
  (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) y) 3.0)
  (expm1 (* (- x (/ 16.0 116.0)) y))
  (log1p (* (- x (/ 16.0 116.0)) y))
  (* (- x (/ 16.0 116.0)) y)
  (+ (log (- x (/ 16.0 116.0))) (log y))
  (log (* (- x (/ 16.0 116.0)) y))
  (exp (* (- x (/ 16.0 116.0)) y))
  (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* y y) y))
  (* (cbrt (* (- x (/ 16.0 116.0)) y)) (cbrt (* (- x (/ 16.0 116.0)) y)))
  (cbrt (* (- x (/ 16.0 116.0)) y))
  (* (* (* (- x (/ 16.0 116.0)) y) (* (- x (/ 16.0 116.0)) y)) (* (- x (/ 16.0 116.0)) y))
  (sqrt (* (- x (/ 16.0 116.0)) y))
  (sqrt (* (- x (/ 16.0 116.0)) y))
  (* (sqrt (- x (/ 16.0 116.0))) (sqrt y))
  (* (sqrt (- x (/ 16.0 116.0))) (sqrt y))
  (* (- x (/ 16.0 116.0)) (* (cbrt y) (cbrt y)))
  (* (- x (/ 16.0 116.0)) (sqrt y))
  (* (- x (/ 16.0 116.0)) 1)
  (* (cbrt (- x (/ 16.0 116.0))) y)
  (* (sqrt (- x (/ 16.0 116.0))) y)
  (* (- x (/ 16.0 116.0)) y)
  (* (- (sqrt x) (sqrt (/ 16.0 116.0))) y)
  (* (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) y)
  (* (- x (/ 16.0 116.0)) y)
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) y)
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.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 y) (* 0.13793103448275862 y))
  (- (* x y) (* 0.13793103448275862 y))
  (- (* x y) (* 0.13793103448275862 y))
  (- x 0.13793103448275862)
  (- x 0.13793103448275862)
  (- x 0.13793103448275862)
6.705 * * [simplify]: Extracting # 0 : cost  0
6.705 * * [simplify]: Extracting # 1 : cost  0
6.706 * * [simplify]: Extracting # 2 : cost  0
6.706 * * [simplify]: Extracting # 3 : cost  0
6.707 * * [simplify]: Extracting # 4 : cost  0
6.707 * * [simplify]: Extracting # 5 : cost  0
6.708 * * [simplify]: Extracting # 6 : cost  0
6.709 * * [simplify]: Extracting # 7 : cost  0
6.709 * * [simplify]: Extracting # 8 : cost  0
6.710 * * [simplify]: Extracting # 9 : cost  0
6.710 * * [simplify]: iteration  0 :  217  enodes  (cost  2295 )
6.782 * * [simplify]: Extracting # 0 : cost  0
6.783 * * [simplify]: Extracting # 1 : cost  0
6.783 * * [simplify]: Extracting # 2 : cost  0
6.784 * * [simplify]: Extracting # 3 : cost  0
6.785 * * [simplify]: Extracting # 4 : cost  0
6.785 * * [simplify]: iteration  1 :  533  enodes  (cost  2071 )
7.179 * * [simplify]: Extracting # 0 : cost  0
7.185 * * [simplify]: Extracting # 1 : cost  0
7.192 * * [simplify]: Extracting # 2 : cost  0
7.198 * * [simplify]: Extracting # 3 : cost  0
7.210 * * [simplify]: Extracting # 4 : cost  0
7.217 * * [simplify]: Extracting # 5 : cost  0
7.223 * * [simplify]: iteration  2 :  2501  enodes  (cost  1543 )
9.124 * * [simplify]: Extracting # 0 : cost  0
9.162 * * [simplify]: Extracting # 1 : cost  0
9.172 * * [simplify]: Extracting # 2 : cost  0
9.183 * * [simplify]: Extracting # 3 : cost  0
9.193 * * [simplify]: Extracting # 4 : cost  0
9.203 * * [simplify]: iteration done:  5000  enodes  (cost  1219 )
9.205 * [simplify]: Simplified to:
  (expm1 (* (* (- x (/ 16.0 116.0)) y) 3.0))
  (log1p (* (* (- x (/ 16.0 116.0)) y) 3.0))
  (* (- x (/ 16.0 116.0)) (* y 3.0))
  (* (- x (/ 16.0 116.0)) (* y 3.0))
  (log (* (* (- x (/ 16.0 116.0)) y) 3.0))
  (log (* (* (- x (/ 16.0 116.0)) y) 3.0))
  (log (* (* (- x (/ 16.0 116.0)) y) 3.0))
  (exp (* (* (- x (/ 16.0 116.0)) y) 3.0))
  (pow (* 3.0 (* (- x (/ 16.0 116.0)) y)) 3)
  (pow (* 3.0 (* (- x (/ 16.0 116.0)) y)) 3)
  (* (cbrt (* (* (- x (/ 16.0 116.0)) y) 3.0)) (cbrt (* (* (- x (/ 16.0 116.0)) y) 3.0)))
  (cbrt (* (* (- x (/ 16.0 116.0)) y) 3.0))
  (pow (* 3.0 (* (- x (/ 16.0 116.0)) y)) 3)
  (sqrt (* (* (- x (/ 16.0 116.0)) y) 3.0))
  (sqrt (* (* (- x (/ 16.0 116.0)) y) 3.0))
  (* (* (cbrt 3.0) (cbrt 3.0)) (* (- x (/ 16.0 116.0)) y))
  (* (- x (/ 16.0 116.0)) (* y (sqrt 3.0)))
  (* y (- x (/ 16.0 116.0)))
  (* 3.0 y)
  (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) y) 3.0)
  (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) y) 3.0)
  (expm1 (* (- x (/ 16.0 116.0)) y))
  (log1p (* (- x (/ 16.0 116.0)) y))
  (* y (- x (/ 16.0 116.0)))
  (log (* (- x (/ 16.0 116.0)) y))
  (log (* (- x (/ 16.0 116.0)) y))
  (exp (* (- x (/ 16.0 116.0)) y))
  (pow (* y (- x (/ 16.0 116.0))) 3)
  (* (cbrt (* (- x (/ 16.0 116.0)) y)) (cbrt (* (- x (/ 16.0 116.0)) y)))
  (cbrt (* (- x (/ 16.0 116.0)) y))
  (pow (* y (- x (/ 16.0 116.0))) 3)
  (sqrt (* (- x (/ 16.0 116.0)) y))
  (sqrt (* (- x (/ 16.0 116.0)) y))
  (* (sqrt (- x (/ 16.0 116.0))) (sqrt y))
  (* (sqrt (- x (/ 16.0 116.0))) (sqrt y))
  (* (- x (/ 16.0 116.0)) (* (cbrt y) (cbrt y)))
  (* (- x (/ 16.0 116.0)) (sqrt y))
  (- x (/ 16.0 116.0))
  (* (cbrt (- x (/ 16.0 116.0))) y)
  (* (sqrt (- x (/ 16.0 116.0))) y)
  (* y (- x (/ 16.0 116.0)))
  (* (- (sqrt x) (sqrt (/ 16.0 116.0))) y)
  (* (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) y)
  (* y (- x (/ 16.0 116.0)))
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) y)
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.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) (+ (/ 16.0 116.0) x)))
  (/ (- 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))
  (* y (- x 0.13793103448275862))
  (* y (- x 0.13793103448275862))
  (* y (- x 0.13793103448275862))
  (- x 0.13793103448275862)
  (- x 0.13793103448275862)
  (- x 0.13793103448275862)
9.209 * * * [progress]: adding candidates to table
9.438 * * [progress]: iteration 4 / 4
9.438 * * * [progress]: picking best candidate
9.452 * * * * [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))>
9.452 * * * [progress]: localizing error
9.488 * * * [progress]: generating rewritten candidates
9.489 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 2)
9.496 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2)
9.502 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 2)
9.509 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 2 1)
9.515 * * * [progress]: generating series expansions
9.515 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 2)
9.515 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 2)
9.515 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 2)
9.515 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 2 1)
9.515 * * * [progress]: simplifying candidates
9.518 * [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)
9.520 * * [simplify]: Extracting # 0 : cost  0
9.521 * * [simplify]: Extracting # 1 : cost  0
9.521 * * [simplify]: Extracting # 2 : cost  0
9.521 * * [simplify]: Extracting # 3 : cost  0
9.521 * * [simplify]: Extracting # 4 : cost  0
9.521 * * [simplify]: Extracting # 5 : cost  0
9.521 * * [simplify]: Extracting # 6 : cost  0
9.521 * * [simplify]: Extracting # 7 : cost  0
9.522 * * [simplify]: Extracting # 8 : cost  0
9.522 * * [simplify]: Extracting # 9 : cost  0
9.522 * * [simplify]: Extracting # 10 : cost  0
9.522 * * [simplify]: Extracting # 11 : cost  0
9.522 * * [simplify]: iteration  0 :  58  enodes  (cost  880 )
9.575 * * [simplify]: Extracting # 0 : cost  0
9.575 * * [simplify]: Extracting # 1 : cost  0
9.575 * * [simplify]: Extracting # 2 : cost  0
9.576 * * [simplify]: Extracting # 3 : cost  0
9.576 * * [simplify]: Extracting # 4 : cost  0
9.576 * * [simplify]: iteration  1 :  170  enodes  (cost  518 )
9.665 * * [simplify]: Extracting # 0 : cost  0
9.666 * * [simplify]: Extracting # 1 : cost  0
9.667 * * [simplify]: Extracting # 2 : cost  0
9.668 * * [simplify]: Extracting # 3 : cost  0
9.669 * * [simplify]: Extracting # 4 : cost  0
9.670 * * [simplify]: iteration  2 :  595  enodes  (cost  466 )
10.120 * * [simplify]: Extracting # 0 : cost  0
10.122 * * [simplify]: Extracting # 1 : cost  0
10.123 * * [simplify]: Extracting # 2 : cost  0
10.125 * * [simplify]: Extracting # 3 : cost  0
10.126 * * [simplify]: Extracting # 4 : cost  0
10.127 * * [simplify]: iteration  3 :  1795  enodes  (cost  426 )
10.517 * * [simplify]: Extracting # 0 : cost  0
10.525 * * [simplify]: Extracting # 1 : cost  0
10.540 * * [simplify]: Extracting # 2 : cost  0
10.546 * * [simplify]: Extracting # 3 : cost  0
10.552 * * [simplify]: Extracting # 4 : cost  0
10.558 * * [simplify]: iteration done:  5000  enodes  (cost  422 )
10.559 * [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))
  (cbrt (pow (cbrt 116.0) 2))
  (cbrt (cbrt 116.0))
  (cbrt (sqrt 116.0))
  (cbrt (sqrt 116.0))
  1
  (cbrt 116.0)
  (cbrt (pow (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))
10.560 * * * [progress]: adding candidates to table
10.902 * [progress]: [Phase 3 of 3] Extracting.
10.902 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<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))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* y 3.0)))> #<alt (λ (x y) (/ (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (* y 3.0)) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<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))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) y) 3.0))>)
10.903 * * * [regime-changes]: Trying 5 branch expressions: ((- x (/ 16.0 116.0)) (* (- x (/ 16.0 116.0)) 3.0) (* (* (- x (/ 16.0 116.0)) 3.0) y) y x)
10.903 * * * * [regimes]: Trying to branch on (- x (/ 16.0 116.0)) from (#<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<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))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* y 3.0)))> #<alt (λ (x y) (/ (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (* y 3.0)) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<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))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) y) 3.0))>)
10.940 * * * * [regimes]: Trying to branch on (* (- x (/ 16.0 116.0)) 3.0) from (#<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<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))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* y 3.0)))> #<alt (λ (x y) (/ (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (* y 3.0)) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<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))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) y) 3.0))>)
10.983 * * * * [regimes]: Trying to branch on (* (* (- x (/ 16.0 116.0)) 3.0) y) from (#<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<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))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* y 3.0)))> #<alt (λ (x y) (/ (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (* y 3.0)) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<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))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) y) 3.0))>)
11.005 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<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))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* y 3.0)))> #<alt (λ (x y) (/ (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (* y 3.0)) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<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))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) y) 3.0))>)
11.038 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<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))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* y 3.0)))> #<alt (λ (x y) (/ (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (* y 3.0)) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<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))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) y) 3.0))>)
11.059 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
11.059 * [simplify]: Simplifying:
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
11.059 * * [simplify]: Extracting # 0 : cost  0
11.059 * * [simplify]: Extracting # 1 : cost  0
11.059 * * [simplify]: Extracting # 2 : cost  0
11.059 * * [simplify]: Extracting # 3 : cost  0
11.059 * * [simplify]: Extracting # 4 : cost  0
11.059 * * [simplify]: Extracting # 5 : cost  0
11.059 * * [simplify]: Extracting # 6 : cost  0
11.059 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
11.060 * * [simplify]: Extracting # 0 : cost  0
11.060 * * [simplify]: iteration  1 :  11  enodes  (cost  9 )
11.061 * * [simplify]: Extracting # 0 : cost  0
11.061 * * [simplify]: iteration done:  11  enodes  (cost  9 )
11.061 * [simplify]: Simplified to:
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
12.221 * [regime-testing]: Baseline error score: 0.18272096043264424
12.226 * [regime-testing]: Oracle error score: 0.011251406425803226
12.232 * [regime-testing]: End program error score: 0.18272096043264424
12.255 * [regime-testing]: Target error score: 0.17908610763899574