16.642 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.034 * * * [progress]: [2/2] Setting up program.
0.037 * [progress]: [Phase 2 of 3] Improving.
0.037 * [simplify]: Simplifying:
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
0.037 * * [simplify]: Extracting # 0 : cost  0
0.037 * * [simplify]: Extracting # 1 : cost  0
0.037 * * [simplify]: Extracting # 2 : cost  0
0.037 * * [simplify]: Extracting # 3 : cost  0
0.037 * * [simplify]: Extracting # 4 : cost  0
0.038 * * [simplify]: Extracting # 5 : cost  0
0.038 * * [simplify]: Extracting # 6 : cost  0
0.038 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
0.041 * * [simplify]: Extracting # 0 : cost  0
0.041 * * [simplify]: Extracting # 1 : cost  0
0.041 * * [simplify]: Extracting # 2 : cost  0
0.041 * * [simplify]: iteration  1 :  15  enodes  (cost  9 )
0.048 * * [simplify]: Extracting # 0 : cost  0
0.048 * * [simplify]: Extracting # 1 : cost  0
0.048 * * [simplify]: Extracting # 2 : cost  0
0.048 * * [simplify]: iteration  2 :  31  enodes  (cost  9 )
0.062 * * [simplify]: Extracting # 0 : cost  0
0.062 * * [simplify]: Extracting # 1 : cost  0
0.063 * * [simplify]: Extracting # 2 : cost  0
0.063 * * [simplify]: iteration  3 :  71  enodes  (cost  9 )
0.101 * * [simplify]: Extracting # 0 : cost  0
0.101 * * [simplify]: Extracting # 1 : cost  0
0.101 * * [simplify]: Extracting # 2 : cost  0
0.102 * * [simplify]: iteration  4 :  136  enodes  (cost  9 )
0.163 * * [simplify]: Extracting # 0 : cost  0
0.163 * * [simplify]: Extracting # 1 : cost  0
0.163 * * [simplify]: Extracting # 2 : cost  0
0.164 * * [simplify]: iteration  5 :  209  enodes  (cost  9 )
0.224 * * [simplify]: Extracting # 0 : cost  0
0.224 * * [simplify]: Extracting # 1 : cost  0
0.224 * * [simplify]: Extracting # 2 : cost  0
0.224 * * [simplify]: iteration  6 :  276  enodes  (cost  9 )
0.350 * * [simplify]: Extracting # 0 : cost  0
0.350 * * [simplify]: Extracting # 1 : cost  0
0.350 * * [simplify]: Extracting # 2 : cost  0
0.351 * * [simplify]: iteration  7 :  340  enodes  (cost  9 )
0.541 * * [simplify]: Extracting # 0 : cost  0
0.542 * * [simplify]: Extracting # 1 : cost  0
0.543 * * [simplify]: Extracting # 2 : cost  0
0.543 * * [simplify]: iteration  8 :  377  enodes  (cost  9 )
0.715 * * [simplify]: Extracting # 0 : cost  0
0.716 * * [simplify]: iteration  9 :  382  enodes  (cost  9 )
0.870 * * [simplify]: Extracting # 0 : cost  0
0.870 * * [simplify]: iteration done:  382  enodes  (cost  9 )
0.870 * [simplify]: Simplified to:
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
0.870 * * [progress]: iteration 1 / 4
0.871 * * * [progress]: picking best candidate
0.872 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))>
0.872 * * * [progress]: localizing error
0.883 * * * [progress]: generating rewritten candidates
0.883 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.964 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
1.028 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
1.047 * * * [progress]: generating series expansions
1.047 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1.048 * [backup-simplify]: Simplify (* (* (- x (/ 16.0 116.0)) 3.0) y) into (* 3.0 (* (- x 0.13793103448275862) y))
1.048 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0
1.048 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
1.048 * [taylor]: Taking taylor expansion of 3.0 in y
1.048 * [backup-simplify]: Simplify 3.0 into 3.0
1.048 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
1.048 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
1.048 * [taylor]: Taking taylor expansion of x in y
1.048 * [backup-simplify]: Simplify x into x
1.048 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
1.048 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.048 * [taylor]: Taking taylor expansion of y in y
1.049 * [backup-simplify]: Simplify 0 into 0
1.049 * [backup-simplify]: Simplify 1 into 1
1.049 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
1.049 * [taylor]: Taking taylor expansion of 3.0 in x
1.049 * [backup-simplify]: Simplify 3.0 into 3.0
1.049 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
1.049 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
1.049 * [taylor]: Taking taylor expansion of x in x
1.049 * [backup-simplify]: Simplify 0 into 0
1.049 * [backup-simplify]: Simplify 1 into 1
1.049 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.049 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.049 * [taylor]: Taking taylor expansion of y in x
1.049 * [backup-simplify]: Simplify y into y
1.049 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
1.049 * [taylor]: Taking taylor expansion of 3.0 in x
1.049 * [backup-simplify]: Simplify 3.0 into 3.0
1.049 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
1.049 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
1.049 * [taylor]: Taking taylor expansion of x in x
1.049 * [backup-simplify]: Simplify 0 into 0
1.049 * [backup-simplify]: Simplify 1 into 1
1.049 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.049 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.049 * [taylor]: Taking taylor expansion of y in x
1.049 * [backup-simplify]: Simplify y into y
1.050 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.051 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
1.051 * [backup-simplify]: Simplify (* (- 0.13793103448275862) y) into (* -0.13793103448275862 y)
1.051 * [backup-simplify]: Simplify (* 3.0 (* -0.13793103448275862 y)) into (* -0.41379310344827586 y)
1.051 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
1.051 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
1.051 * [backup-simplify]: Simplify -0.41379310344827586 into -0.41379310344827586
1.051 * [taylor]: Taking taylor expansion of y in y
1.051 * [backup-simplify]: Simplify 0 into 0
1.051 * [backup-simplify]: Simplify 1 into 1
1.052 * [backup-simplify]: Simplify (* -0.41379310344827586 0) into 0
1.052 * [backup-simplify]: Simplify 0 into 0
1.052 * [backup-simplify]: Simplify (- 0) into 0
1.053 * [backup-simplify]: Simplify (+ 1 0) into 1
1.053 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (* 1 y)) into y
1.053 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 (* -0.13793103448275862 y))) into (* 3.0 y)
1.053 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
1.054 * [taylor]: Taking taylor expansion of 3.0 in y
1.054 * [backup-simplify]: Simplify 3.0 into 3.0
1.054 * [taylor]: Taking taylor expansion of y in y
1.054 * [backup-simplify]: Simplify 0 into 0
1.054 * [backup-simplify]: Simplify 1 into 1
1.054 * [backup-simplify]: Simplify (* 3.0 0) into 0
1.054 * [backup-simplify]: Simplify 0 into 0
1.056 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 1) (* 0 0)) into (- 0.41379310344827586)
1.056 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
1.056 * [backup-simplify]: Simplify (- 0) into 0
1.057 * [backup-simplify]: Simplify (+ 0 0) into 0
1.058 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (* 0 y))) into 0
1.058 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))) into 0
1.058 * [taylor]: Taking taylor expansion of 0 in y
1.058 * [backup-simplify]: Simplify 0 into 0
1.058 * [backup-simplify]: Simplify 0 into 0
1.060 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
1.060 * [backup-simplify]: Simplify 3.0 into 3.0
1.061 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 1) (* 0 0))) into 0
1.061 * [backup-simplify]: Simplify 0 into 0
1.061 * [backup-simplify]: Simplify (- 0) into 0
1.062 * [backup-simplify]: Simplify (+ 0 0) into 0
1.063 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1.064 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y))))) into 0
1.064 * [taylor]: Taking taylor expansion of 0 in y
1.064 * [backup-simplify]: Simplify 0 into 0
1.064 * [backup-simplify]: Simplify 0 into 0
1.064 * [backup-simplify]: Simplify 0 into 0
1.065 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
1.065 * [backup-simplify]: Simplify 0 into 0
1.067 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.067 * [backup-simplify]: Simplify 0 into 0
1.067 * [backup-simplify]: Simplify (- 0) into 0
1.067 * [backup-simplify]: Simplify (+ 0 0) into 0
1.069 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
1.070 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))))) into 0
1.070 * [taylor]: Taking taylor expansion of 0 in y
1.070 * [backup-simplify]: Simplify 0 into 0
1.070 * [backup-simplify]: Simplify 0 into 0
1.071 * [backup-simplify]: Simplify (+ (* 3.0 (* y x)) (* (- 0.41379310344827586) (* y 1))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
1.071 * [backup-simplify]: Simplify (* (* (- (/ 1 x) (/ 16.0 116.0)) 3.0) (/ 1 y)) into (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y))
1.071 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0
1.071 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
1.071 * [taylor]: Taking taylor expansion of 3.0 in y
1.071 * [backup-simplify]: Simplify 3.0 into 3.0
1.071 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
1.072 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
1.072 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.072 * [taylor]: Taking taylor expansion of x in y
1.072 * [backup-simplify]: Simplify x into x
1.072 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.072 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
1.072 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.072 * [taylor]: Taking taylor expansion of y in y
1.072 * [backup-simplify]: Simplify 0 into 0
1.072 * [backup-simplify]: Simplify 1 into 1
1.072 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.072 * [backup-simplify]: Simplify (+ (/ 1 x) (- 0.13793103448275862)) into (- (/ 1 x) 0.13793103448275862)
1.072 * [backup-simplify]: Simplify (/ (- (/ 1 x) 0.13793103448275862) 1) into (- (/ 1 x) 0.13793103448275862)
1.072 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
1.072 * [taylor]: Taking taylor expansion of 3.0 in x
1.072 * [backup-simplify]: Simplify 3.0 into 3.0
1.072 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
1.072 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
1.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.072 * [taylor]: Taking taylor expansion of x in x
1.072 * [backup-simplify]: Simplify 0 into 0
1.072 * [backup-simplify]: Simplify 1 into 1
1.073 * [backup-simplify]: Simplify (/ 1 1) into 1
1.073 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.073 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.073 * [taylor]: Taking taylor expansion of y in x
1.073 * [backup-simplify]: Simplify y into y
1.073 * [backup-simplify]: Simplify (+ 1 0) into 1
1.073 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.073 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
1.073 * [taylor]: Taking taylor expansion of 3.0 in x
1.073 * [backup-simplify]: Simplify 3.0 into 3.0
1.073 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
1.073 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
1.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.073 * [taylor]: Taking taylor expansion of x in x
1.073 * [backup-simplify]: Simplify 0 into 0
1.073 * [backup-simplify]: Simplify 1 into 1
1.073 * [backup-simplify]: Simplify (/ 1 1) into 1
1.074 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.074 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.074 * [taylor]: Taking taylor expansion of y in x
1.074 * [backup-simplify]: Simplify y into y
1.074 * [backup-simplify]: Simplify (+ 1 0) into 1
1.074 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.074 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
1.074 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
1.074 * [taylor]: Taking taylor expansion of 3.0 in y
1.074 * [backup-simplify]: Simplify 3.0 into 3.0
1.074 * [taylor]: Taking taylor expansion of y in y
1.074 * [backup-simplify]: Simplify 0 into 0
1.074 * [backup-simplify]: Simplify 1 into 1
1.074 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
1.074 * [backup-simplify]: Simplify 3.0 into 3.0
1.075 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.075 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.076 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
1.076 * [backup-simplify]: Simplify (- (/ (- 0.13793103448275862) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (* 0.13793103448275862 (/ 1 y)))
1.076 * [backup-simplify]: Simplify (+ (* 3.0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))) into (- (* 0.41379310344827586 (/ 1 y)))
1.076 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
1.076 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
1.076 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
1.076 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
1.076 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.076 * [taylor]: Taking taylor expansion of y in y
1.076 * [backup-simplify]: Simplify 0 into 0
1.076 * [backup-simplify]: Simplify 1 into 1
1.076 * [backup-simplify]: Simplify (/ 1 1) into 1
1.077 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
1.077 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
1.077 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
1.078 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
1.078 * [backup-simplify]: Simplify 0 into 0
1.078 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.078 * [backup-simplify]: Simplify (- 0) into 0
1.079 * [backup-simplify]: Simplify (+ 0 0) into 0
1.079 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)))) into 0
1.081 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y)))) into 0
1.081 * [taylor]: Taking taylor expansion of 0 in y
1.082 * [backup-simplify]: Simplify 0 into 0
1.082 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.083 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
1.083 * [backup-simplify]: Simplify (- 0) into 0
1.083 * [backup-simplify]: Simplify 0 into 0
1.083 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.083 * [backup-simplify]: Simplify 0 into 0
1.084 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.084 * [backup-simplify]: Simplify (- 0) into 0
1.084 * [backup-simplify]: Simplify (+ 0 0) into 0
1.085 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.085 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))))) into 0
1.085 * [taylor]: Taking taylor expansion of 0 in y
1.085 * [backup-simplify]: Simplify 0 into 0
1.085 * [backup-simplify]: Simplify 0 into 0
1.086 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.086 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
1.087 * [backup-simplify]: Simplify (- 0) into 0
1.087 * [backup-simplify]: Simplify 0 into 0
1.087 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.087 * [backup-simplify]: Simplify 0 into 0
1.088 * [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.088 * [backup-simplify]: Simplify (* (* (- (/ 1 (- x)) (/ 16.0 116.0)) 3.0) (/ 1 (- y))) into (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y))
1.088 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0
1.088 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
1.088 * [taylor]: Taking taylor expansion of 3.0 in y
1.088 * [backup-simplify]: Simplify 3.0 into 3.0
1.088 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
1.088 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
1.088 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
1.088 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.088 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.088 * [taylor]: Taking taylor expansion of x in y
1.088 * [backup-simplify]: Simplify x into x
1.088 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.088 * [taylor]: Taking taylor expansion of y in y
1.089 * [backup-simplify]: Simplify 0 into 0
1.089 * [backup-simplify]: Simplify 1 into 1
1.089 * [backup-simplify]: Simplify (+ 0.13793103448275862 (/ 1 x)) into (+ (/ 1 x) 0.13793103448275862)
1.089 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 0.13793103448275862) 1) into (+ 0.13793103448275862 (/ 1 x))
1.089 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
1.089 * [taylor]: Taking taylor expansion of 3.0 in x
1.089 * [backup-simplify]: Simplify 3.0 into 3.0
1.089 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
1.089 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.089 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.089 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.089 * [taylor]: Taking taylor expansion of x in x
1.089 * [backup-simplify]: Simplify 0 into 0
1.089 * [backup-simplify]: Simplify 1 into 1
1.089 * [backup-simplify]: Simplify (/ 1 1) into 1
1.089 * [taylor]: Taking taylor expansion of y in x
1.089 * [backup-simplify]: Simplify y into y
1.089 * [backup-simplify]: Simplify (+ 0 1) into 1
1.089 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.089 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
1.089 * [taylor]: Taking taylor expansion of 3.0 in x
1.089 * [backup-simplify]: Simplify 3.0 into 3.0
1.090 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
1.090 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.090 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.090 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.090 * [taylor]: Taking taylor expansion of x in x
1.090 * [backup-simplify]: Simplify 0 into 0
1.090 * [backup-simplify]: Simplify 1 into 1
1.090 * [backup-simplify]: Simplify (/ 1 1) into 1
1.090 * [taylor]: Taking taylor expansion of y in x
1.090 * [backup-simplify]: Simplify y into y
1.090 * [backup-simplify]: Simplify (+ 0 1) into 1
1.090 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.090 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
1.090 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
1.090 * [taylor]: Taking taylor expansion of 3.0 in y
1.090 * [backup-simplify]: Simplify 3.0 into 3.0
1.090 * [taylor]: Taking taylor expansion of y in y
1.090 * [backup-simplify]: Simplify 0 into 0
1.091 * [backup-simplify]: Simplify 1 into 1
1.091 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
1.091 * [backup-simplify]: Simplify 3.0 into 3.0
1.091 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.092 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
1.092 * [backup-simplify]: Simplify (- (/ 0.13793103448275862 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 0.13793103448275862 (/ 1 y))
1.092 * [backup-simplify]: Simplify (+ (* 3.0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))) into (* 0.41379310344827586 (/ 1 y))
1.092 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
1.092 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
1.092 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
1.092 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.092 * [taylor]: Taking taylor expansion of y in y
1.092 * [backup-simplify]: Simplify 0 into 0
1.092 * [backup-simplify]: Simplify 1 into 1
1.092 * [backup-simplify]: Simplify (/ 1 1) into 1
1.093 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
1.093 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
1.093 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
1.093 * [backup-simplify]: Simplify 0 into 0
1.094 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.094 * [backup-simplify]: Simplify (+ 0 0) into 0
1.094 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)))) into 0
1.095 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y)))) into 0
1.095 * [taylor]: Taking taylor expansion of 0 in y
1.095 * [backup-simplify]: Simplify 0 into 0
1.095 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.096 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
1.096 * [backup-simplify]: Simplify 0 into 0
1.097 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.097 * [backup-simplify]: Simplify 0 into 0
1.098 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.098 * [backup-simplify]: Simplify (+ 0 0) into 0
1.099 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.100 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))))) into 0
1.100 * [taylor]: Taking taylor expansion of 0 in y
1.100 * [backup-simplify]: Simplify 0 into 0
1.100 * [backup-simplify]: Simplify 0 into 0
1.100 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.101 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
1.101 * [backup-simplify]: Simplify 0 into 0
1.102 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.102 * [backup-simplify]: Simplify 0 into 0
1.103 * [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.103 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
1.104 * [backup-simplify]: Simplify (* (- x (/ 16.0 116.0)) 3.0) into (* 3.0 (- x 0.13793103448275862))
1.104 * [approximate]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in (x) around 0
1.104 * [taylor]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in x
1.104 * [taylor]: Taking taylor expansion of 3.0 in x
1.104 * [backup-simplify]: Simplify 3.0 into 3.0
1.104 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
1.104 * [taylor]: Taking taylor expansion of x in x
1.104 * [backup-simplify]: Simplify 0 into 0
1.104 * [backup-simplify]: Simplify 1 into 1
1.104 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.104 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.104 * [taylor]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in x
1.104 * [taylor]: Taking taylor expansion of 3.0 in x
1.104 * [backup-simplify]: Simplify 3.0 into 3.0
1.104 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
1.104 * [taylor]: Taking taylor expansion of x in x
1.104 * [backup-simplify]: Simplify 0 into 0
1.104 * [backup-simplify]: Simplify 1 into 1
1.104 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.104 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.105 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.106 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
1.107 * [backup-simplify]: Simplify (* 3.0 (- 0.13793103448275862)) into -0.41379310344827586
1.107 * [backup-simplify]: Simplify -0.41379310344827586 into -0.41379310344827586
1.107 * [backup-simplify]: Simplify (- 0) into 0
1.107 * [backup-simplify]: Simplify (+ 1 0) into 1
1.109 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 (- 0.13793103448275862))) into 3.0
1.109 * [backup-simplify]: Simplify 3.0 into 3.0
1.110 * [backup-simplify]: Simplify (- 0) into 0
1.110 * [backup-simplify]: Simplify (+ 0 0) into 0
1.111 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862)))) into 0
1.111 * [backup-simplify]: Simplify 0 into 0
1.112 * [backup-simplify]: Simplify (- 0) into 0
1.112 * [backup-simplify]: Simplify (+ 0 0) into 0
1.114 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862))))) into 0
1.114 * [backup-simplify]: Simplify 0 into 0
1.114 * [backup-simplify]: Simplify (- 0) into 0
1.115 * [backup-simplify]: Simplify (+ 0 0) into 0
1.117 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862)))))) into 0
1.117 * [backup-simplify]: Simplify 0 into 0
1.117 * [backup-simplify]: Simplify (- 0) into 0
1.117 * [backup-simplify]: Simplify (+ 0 0) into 0
1.119 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862))))))) into 0
1.119 * [backup-simplify]: Simplify 0 into 0
1.119 * [backup-simplify]: Simplify (- 0) into 0
1.120 * [backup-simplify]: Simplify (+ 0 0) into 0
1.121 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862)))))))) into 0
1.121 * [backup-simplify]: Simplify 0 into 0
1.121 * [backup-simplify]: Simplify (- 0) into 0
1.121 * [backup-simplify]: Simplify (+ 0 0) into 0
1.123 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862))))))))) into 0
1.123 * [backup-simplify]: Simplify 0 into 0
1.123 * [backup-simplify]: Simplify (+ (* 3.0 x) -0.41379310344827586) into (- (* 3.0 x) 0.41379310344827586)
1.123 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 16.0 116.0)) 3.0) into (* 3.0 (- (/ 1 x) 0.13793103448275862))
1.123 * [approximate]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in (x) around 0
1.123 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in x
1.123 * [taylor]: Taking taylor expansion of 3.0 in x
1.123 * [backup-simplify]: Simplify 3.0 into 3.0
1.123 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
1.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.123 * [taylor]: Taking taylor expansion of x in x
1.123 * [backup-simplify]: Simplify 0 into 0
1.123 * [backup-simplify]: Simplify 1 into 1
1.123 * [backup-simplify]: Simplify (/ 1 1) into 1
1.123 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.124 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.124 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in x
1.124 * [taylor]: Taking taylor expansion of 3.0 in x
1.124 * [backup-simplify]: Simplify 3.0 into 3.0
1.124 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
1.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.124 * [taylor]: Taking taylor expansion of x in x
1.124 * [backup-simplify]: Simplify 0 into 0
1.124 * [backup-simplify]: Simplify 1 into 1
1.124 * [backup-simplify]: Simplify (/ 1 1) into 1
1.124 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.124 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.124 * [backup-simplify]: Simplify (+ 1 0) into 1
1.125 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
1.125 * [backup-simplify]: Simplify 3.0 into 3.0
1.125 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.125 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.126 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
1.127 * [backup-simplify]: Simplify (+ (* 3.0 (- 0.13793103448275862)) (* 0 1)) into (- 0.41379310344827586)
1.127 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
1.128 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.128 * [backup-simplify]: Simplify (- 0) into 0
1.128 * [backup-simplify]: Simplify (+ 0 0) into 0
1.129 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1))) into 0
1.129 * [backup-simplify]: Simplify 0 into 0
1.129 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.130 * [backup-simplify]: Simplify (- 0) into 0
1.130 * [backup-simplify]: Simplify (+ 0 0) into 0
1.131 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1)))) into 0
1.131 * [backup-simplify]: Simplify 0 into 0
1.131 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.131 * [backup-simplify]: Simplify (- 0) into 0
1.132 * [backup-simplify]: Simplify (+ 0 0) into 0
1.132 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1))))) into 0
1.133 * [backup-simplify]: Simplify 0 into 0
1.133 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.133 * [backup-simplify]: Simplify (- 0) into 0
1.134 * [backup-simplify]: Simplify (+ 0 0) into 0
1.135 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1)))))) into 0
1.135 * [backup-simplify]: Simplify 0 into 0
1.135 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.135 * [backup-simplify]: Simplify (- 0) into 0
1.136 * [backup-simplify]: Simplify (+ 0 0) into 0
1.137 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1))))))) into 0
1.137 * [backup-simplify]: Simplify 0 into 0
1.137 * [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.137 * [backup-simplify]: Simplify (- 0) into 0
1.138 * [backup-simplify]: Simplify (+ 0 0) into 0
1.139 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1)))))))) into 0
1.139 * [backup-simplify]: Simplify 0 into 0
1.139 * [backup-simplify]: Simplify (+ (- 0.41379310344827586) (* 3.0 (/ 1 (/ 1 x)))) into (- (* 3.0 x) 0.41379310344827586)
1.140 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 16.0 116.0)) 3.0) into (* -3.0 (+ 0.13793103448275862 (/ 1 x)))
1.140 * [approximate]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in (x) around 0
1.140 * [taylor]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in x
1.140 * [taylor]: Taking taylor expansion of -3.0 in x
1.140 * [backup-simplify]: Simplify -3.0 into -3.0
1.140 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.140 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.140 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.140 * [taylor]: Taking taylor expansion of x in x
1.140 * [backup-simplify]: Simplify 0 into 0
1.140 * [backup-simplify]: Simplify 1 into 1
1.140 * [backup-simplify]: Simplify (/ 1 1) into 1
1.140 * [taylor]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in x
1.140 * [taylor]: Taking taylor expansion of -3.0 in x
1.140 * [backup-simplify]: Simplify -3.0 into -3.0
1.140 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.140 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.140 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.140 * [taylor]: Taking taylor expansion of x in x
1.140 * [backup-simplify]: Simplify 0 into 0
1.140 * [backup-simplify]: Simplify 1 into 1
1.141 * [backup-simplify]: Simplify (/ 1 1) into 1
1.141 * [backup-simplify]: Simplify (+ 0 1) into 1
1.141 * [backup-simplify]: Simplify (* -3.0 1) into -3.0
1.141 * [backup-simplify]: Simplify -3.0 into -3.0
1.142 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.142 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
1.143 * [backup-simplify]: Simplify (+ (* -3.0 0.13793103448275862) (* 0 1)) into (- 0.41379310344827586)
1.143 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
1.143 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.144 * [backup-simplify]: Simplify (+ 0 0) into 0
1.144 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0.13793103448275862) (* 0 1))) into 0
1.144 * [backup-simplify]: Simplify 0 into 0
1.145 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.145 * [backup-simplify]: Simplify (+ 0 0) into 0
1.146 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0) (+ (* 0 0.13793103448275862) (* 0 1)))) into 0
1.146 * [backup-simplify]: Simplify 0 into 0
1.146 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.147 * [backup-simplify]: Simplify (+ 0 0) into 0
1.147 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.13793103448275862) (* 0 1))))) into 0
1.147 * [backup-simplify]: Simplify 0 into 0
1.148 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.148 * [backup-simplify]: Simplify (+ 0 0) into 0
1.149 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.13793103448275862) (* 0 1)))))) into 0
1.149 * [backup-simplify]: Simplify 0 into 0
1.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.150 * [backup-simplify]: Simplify (+ 0 0) into 0
1.152 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.13793103448275862) (* 0 1))))))) into 0
1.152 * [backup-simplify]: Simplify 0 into 0
1.153 * [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.154 * [backup-simplify]: Simplify (+ 0 0) into 0
1.156 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.13793103448275862) (* 0 1)))))))) into 0
1.156 * [backup-simplify]: Simplify 0 into 0
1.156 * [backup-simplify]: Simplify (+ (- 0.41379310344827586) (* -3.0 (/ 1 (/ 1 (- x))))) into (- (* 3.0 x) 0.41379310344827586)
1.157 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
1.157 * [backup-simplify]: Simplify (- x (/ 16.0 116.0)) into (- x 0.13793103448275862)
1.157 * [approximate]: Taking taylor expansion of (- x 0.13793103448275862) in (x) around 0
1.157 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
1.157 * [taylor]: Taking taylor expansion of x in x
1.157 * [backup-simplify]: Simplify 0 into 0
1.157 * [backup-simplify]: Simplify 1 into 1
1.157 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.157 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.157 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
1.157 * [taylor]: Taking taylor expansion of x in x
1.157 * [backup-simplify]: Simplify 0 into 0
1.157 * [backup-simplify]: Simplify 1 into 1
1.157 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.158 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.158 * [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) into (- 0.13793103448275862)
1.160 * [backup-simplify]: Simplify (- 0) into 0
1.160 * [backup-simplify]: Simplify (+ 1 0) into 1
1.160 * [backup-simplify]: Simplify 1 into 1
1.160 * [backup-simplify]: Simplify (- 0) into 0
1.161 * [backup-simplify]: Simplify (+ 0 0) into 0
1.161 * [backup-simplify]: Simplify 0 into 0
1.161 * [backup-simplify]: Simplify (- 0) into 0
1.162 * [backup-simplify]: Simplify (+ 0 0) into 0
1.162 * [backup-simplify]: Simplify 0 into 0
1.162 * [backup-simplify]: Simplify (- 0) into 0
1.162 * [backup-simplify]: Simplify (+ 0 0) into 0
1.162 * [backup-simplify]: Simplify 0 into 0
1.163 * [backup-simplify]: Simplify (- 0) into 0
1.163 * [backup-simplify]: Simplify (+ 0 0) into 0
1.163 * [backup-simplify]: Simplify 0 into 0
1.163 * [backup-simplify]: Simplify (- 0) into 0
1.164 * [backup-simplify]: Simplify (+ 0 0) into 0
1.164 * [backup-simplify]: Simplify 0 into 0
1.164 * [backup-simplify]: Simplify (- 0) into 0
1.165 * [backup-simplify]: Simplify (+ 0 0) into 0
1.165 * [backup-simplify]: Simplify 0 into 0
1.165 * [backup-simplify]: Simplify (+ (* 1 x) (- 0.13793103448275862)) into (- x 0.13793103448275862)
1.166 * [backup-simplify]: Simplify (- (/ 1 x) (/ 16.0 116.0)) into (- (/ 1 x) 0.13793103448275862)
1.166 * [approximate]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in (x) around 0
1.166 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
1.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.166 * [taylor]: Taking taylor expansion of x in x
1.166 * [backup-simplify]: Simplify 0 into 0
1.166 * [backup-simplify]: Simplify 1 into 1
1.166 * [backup-simplify]: Simplify (/ 1 1) into 1
1.166 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.166 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.166 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
1.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.166 * [taylor]: Taking taylor expansion of x in x
1.166 * [backup-simplify]: Simplify 0 into 0
1.167 * [backup-simplify]: Simplify 1 into 1
1.167 * [backup-simplify]: Simplify (/ 1 1) into 1
1.167 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.167 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.168 * [backup-simplify]: Simplify (+ 1 0) into 1
1.168 * [backup-simplify]: Simplify 1 into 1
1.168 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.169 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.170 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
1.170 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.171 * [backup-simplify]: Simplify (- 0) into 0
1.172 * [backup-simplify]: Simplify (+ 0 0) into 0
1.172 * [backup-simplify]: Simplify 0 into 0
1.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.173 * [backup-simplify]: Simplify (- 0) into 0
1.173 * [backup-simplify]: Simplify (+ 0 0) into 0
1.173 * [backup-simplify]: Simplify 0 into 0
1.174 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.174 * [backup-simplify]: Simplify (- 0) into 0
1.175 * [backup-simplify]: Simplify (+ 0 0) into 0
1.175 * [backup-simplify]: Simplify 0 into 0
1.176 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.176 * [backup-simplify]: Simplify (- 0) into 0
1.176 * [backup-simplify]: Simplify (+ 0 0) into 0
1.176 * [backup-simplify]: Simplify 0 into 0
1.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 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 into 0
1.179 * [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.179 * [backup-simplify]: Simplify (- 0) into 0
1.180 * [backup-simplify]: Simplify (+ 0 0) into 0
1.180 * [backup-simplify]: Simplify 0 into 0
1.180 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* 1 (/ 1 (/ 1 x)))) into (- x 0.13793103448275862)
1.181 * [backup-simplify]: Simplify (- (/ 1 (- x)) (/ 16.0 116.0)) into (- (+ 0.13793103448275862 (/ 1 x)))
1.181 * [approximate]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in (x) around 0
1.181 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
1.181 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.181 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.181 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.181 * [taylor]: Taking taylor expansion of x in x
1.181 * [backup-simplify]: Simplify 0 into 0
1.181 * [backup-simplify]: Simplify 1 into 1
1.181 * [backup-simplify]: Simplify (/ 1 1) into 1
1.181 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
1.181 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.181 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.181 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.182 * [taylor]: Taking taylor expansion of x in x
1.182 * [backup-simplify]: Simplify 0 into 0
1.182 * [backup-simplify]: Simplify 1 into 1
1.182 * [backup-simplify]: Simplify (/ 1 1) into 1
1.182 * [backup-simplify]: Simplify (+ 0 1) into 1
1.183 * [backup-simplify]: Simplify (- 1) into -1
1.183 * [backup-simplify]: Simplify -1 into -1
1.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.184 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
1.184 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.185 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.185 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.186 * [backup-simplify]: Simplify (+ 0 0) into 0
1.186 * [backup-simplify]: Simplify (- 0) into 0
1.186 * [backup-simplify]: Simplify 0 into 0
1.187 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.187 * [backup-simplify]: Simplify (+ 0 0) into 0
1.187 * [backup-simplify]: Simplify (- 0) into 0
1.187 * [backup-simplify]: Simplify 0 into 0
1.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.188 * [backup-simplify]: Simplify (+ 0 0) into 0
1.188 * [backup-simplify]: Simplify (- 0) into 0
1.188 * [backup-simplify]: Simplify 0 into 0
1.189 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.189 * [backup-simplify]: Simplify (+ 0 0) into 0
1.189 * [backup-simplify]: Simplify (- 0) into 0
1.189 * [backup-simplify]: Simplify 0 into 0
1.190 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.192 * [backup-simplify]: Simplify (+ 0 0) into 0
1.193 * [backup-simplify]: Simplify (- 0) into 0
1.193 * [backup-simplify]: Simplify 0 into 0
1.193 * [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.194 * [backup-simplify]: Simplify (+ 0 0) into 0
1.194 * [backup-simplify]: Simplify (- 0) into 0
1.194 * [backup-simplify]: Simplify 0 into 0
1.194 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* -1 (/ 1 (/ 1 (- x))))) into (- x 0.13793103448275862)
1.194 * * * [progress]: simplifying candidates
1.195 * [simplify]: Simplifying:
  (* (* (- 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)
  (* (- 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)
  (/ (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.196 * * [simplify]: Extracting # 0 : cost  0
1.196 * * [simplify]: Extracting # 1 : cost  0
1.197 * * [simplify]: Extracting # 2 : cost  0
1.197 * * [simplify]: Extracting # 3 : cost  0
1.197 * * [simplify]: Extracting # 4 : cost  0
1.197 * * [simplify]: Extracting # 5 : cost  0
1.197 * * [simplify]: Extracting # 6 : cost  0
1.197 * * [simplify]: iteration  0 :  98  enodes  (cost  701 )
1.221 * * [simplify]: Extracting # 0 : cost  0
1.221 * * [simplify]: Extracting # 1 : cost  0
1.221 * * [simplify]: Extracting # 2 : cost  0
1.222 * * [simplify]: Extracting # 3 : cost  0
1.222 * * [simplify]: Extracting # 4 : cost  0
1.222 * * [simplify]: iteration  1 :  223  enodes  (cost  688 )
1.336 * * [simplify]: Extracting # 0 : cost  0
1.337 * * [simplify]: Extracting # 1 : cost  0
1.338 * * [simplify]: Extracting # 2 : cost  0
1.339 * * [simplify]: Extracting # 3 : cost  0
1.340 * * [simplify]: Extracting # 4 : cost  0
1.341 * * [simplify]: Extracting # 5 : cost  0
1.341 * * [simplify]: iteration  2 :  727  enodes  (cost  590 )
2.391 * * [simplify]: Extracting # 0 : cost  0
2.397 * * [simplify]: Extracting # 1 : cost  0
2.403 * * [simplify]: Extracting # 2 : cost  0
2.409 * * [simplify]: Extracting # 3 : cost  0
2.414 * * [simplify]: Extracting # 4 : cost  0
2.427 * * [simplify]: iteration  3 :  2805  enodes  (cost  590 )
3.640 * * [simplify]: Extracting # 0 : cost  0
3.645 * * [simplify]: Extracting # 1 : cost  0
3.652 * * [simplify]: Extracting # 2 : cost  0
3.658 * * [simplify]: Extracting # 3 : cost  0
3.664 * * [simplify]: Extracting # 4 : cost  0
3.680 * * [simplify]: iteration done:  5002  enodes  (cost  590 )
3.681 * [simplify]: Simplified to:
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (log (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (log (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (log (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (exp (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (pow (* (* (- x (/ 16.0 116.0)) 3.0) y) 3)
  (pow (* (* (- x (/ 16.0 116.0)) 3.0) y) 3)
  (* (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y)) (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y)))
  (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (pow (* (* (- x (/ 16.0 116.0)) 3.0) y) 3)
  (sqrt (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (sqrt (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (* (* (- x (/ 16.0 116.0)) 3.0) (* (cbrt y) (cbrt y)))
  (* (* (- x (/ 16.0 116.0)) 3.0) (sqrt y))
  (* (- x (/ 16.0 116.0)) 3.0)
  (* 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)
  (* (- x (/ 16.0 116.0)) 3.0)
  (log (* (- x (/ 16.0 116.0)) 3.0))
  (log (* (- x (/ 16.0 116.0)) 3.0))
  (exp (* (- x (/ 16.0 116.0)) 3.0))
  (pow (* (- x (/ 16.0 116.0)) 3.0) 3)
  (* (cbrt (* (- x (/ 16.0 116.0)) 3.0)) (cbrt (* (- x (/ 16.0 116.0)) 3.0)))
  (cbrt (* (- x (/ 16.0 116.0)) 3.0))
  (pow (* (- x (/ 16.0 116.0)) 3.0) 3)
  (sqrt (* (- x (/ 16.0 116.0)) 3.0))
  (sqrt (* (- x (/ 16.0 116.0)) 3.0))
  (* (sqrt (- x (/ 16.0 116.0))) (sqrt 3.0))
  (* (sqrt (- x (/ 16.0 116.0))) (sqrt 3.0))
  (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0)))
  (* (- x (/ 16.0 116.0)) (sqrt 3.0))
  (- x (/ 16.0 116.0))
  (* (cbrt (- x (/ 16.0 116.0))) 3.0)
  (* (sqrt (- x (/ 16.0 116.0))) 3.0)
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (- (sqrt x) (sqrt (/ 16.0 116.0))) 3.0)
  (* (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) 3.0)
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0)
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0)
  (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))
  (+ (* (/ 16.0 116.0) (+ x (/ 16.0 116.0))) (* x x))
  (- (/ 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))
  (* 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.682 * * * [progress]: adding candidates to table
3.881 * * [progress]: iteration 2 / 4
3.881 * * * [progress]: picking best candidate
3.891 * * * * [pick]: Picked  #<alt (λ (x y) (* y (- (* 3.0 x) 0.41379310344827586)))>
3.891 * * * [progress]: localizing error
3.898 * * * [progress]: generating rewritten candidates
3.898 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
3.937 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
3.960 * * * [progress]: generating series expansions
3.961 * * * * [progress]: [ 1 / 2 ] generating series at (2)
3.961 * [backup-simplify]: Simplify (* y (- (* 3.0 x) 0.41379310344827586)) into (* (- (* 3.0 x) 0.41379310344827586) y)
3.961 * [approximate]: Taking taylor expansion of (* (- (* 3.0 x) 0.41379310344827586) y) in (y x) around 0
3.961 * [taylor]: Taking taylor expansion of (* (- (* 3.0 x) 0.41379310344827586) y) in x
3.961 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in x
3.961 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
3.961 * [taylor]: Taking taylor expansion of 3.0 in x
3.961 * [backup-simplify]: Simplify 3.0 into 3.0
3.961 * [taylor]: Taking taylor expansion of x in x
3.961 * [backup-simplify]: Simplify 0 into 0
3.961 * [backup-simplify]: Simplify 1 into 1
3.961 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
3.961 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
3.961 * [taylor]: Taking taylor expansion of y in x
3.961 * [backup-simplify]: Simplify y into y
3.961 * [taylor]: Taking taylor expansion of (* (- (* 3.0 x) 0.41379310344827586) y) in y
3.961 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in y
3.961 * [taylor]: Taking taylor expansion of (* 3.0 x) in y
3.961 * [taylor]: Taking taylor expansion of 3.0 in y
3.961 * [backup-simplify]: Simplify 3.0 into 3.0
3.961 * [taylor]: Taking taylor expansion of x in y
3.961 * [backup-simplify]: Simplify x into x
3.962 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
3.962 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
3.962 * [taylor]: Taking taylor expansion of y in y
3.962 * [backup-simplify]: Simplify 0 into 0
3.962 * [backup-simplify]: Simplify 1 into 1
3.962 * [taylor]: Taking taylor expansion of (* (- (* 3.0 x) 0.41379310344827586) y) in y
3.962 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in y
3.962 * [taylor]: Taking taylor expansion of (* 3.0 x) in y
3.962 * [taylor]: Taking taylor expansion of 3.0 in y
3.962 * [backup-simplify]: Simplify 3.0 into 3.0
3.962 * [taylor]: Taking taylor expansion of x in y
3.962 * [backup-simplify]: Simplify x into x
3.962 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
3.962 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
3.962 * [taylor]: Taking taylor expansion of y in y
3.962 * [backup-simplify]: Simplify 0 into 0
3.962 * [backup-simplify]: Simplify 1 into 1
3.962 * [backup-simplify]: Simplify (* 3.0 x) into (* 3.0 x)
3.963 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
3.963 * [backup-simplify]: Simplify (+ (* 3.0 x) (- 0.41379310344827586)) into (- (* 3.0 x) 0.41379310344827586)
3.964 * [backup-simplify]: Simplify (* (- (* 3.0 x) 0.41379310344827586) 0) into 0
3.964 * [taylor]: Taking taylor expansion of 0 in x
3.964 * [backup-simplify]: Simplify 0 into 0
3.964 * [backup-simplify]: Simplify 0 into 0
3.964 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 x)) into 0
3.965 * [backup-simplify]: Simplify (- 0) into 0
3.965 * [backup-simplify]: Simplify (+ 0 0) into 0
3.965 * [backup-simplify]: Simplify (+ (* (- (* 3.0 x) 0.41379310344827586) 1) (* 0 0)) into (- (* 3.0 x) 0.41379310344827586)
3.965 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in x
3.966 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
3.966 * [taylor]: Taking taylor expansion of 3.0 in x
3.966 * [backup-simplify]: Simplify 3.0 into 3.0
3.966 * [taylor]: Taking taylor expansion of x in x
3.966 * [backup-simplify]: Simplify 0 into 0
3.966 * [backup-simplify]: Simplify 1 into 1
3.966 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
3.966 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
3.966 * [backup-simplify]: Simplify (* 3.0 0) into 0
3.967 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
3.967 * [backup-simplify]: Simplify (+ 0 (- 0.41379310344827586)) into (- 0.41379310344827586)
3.967 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
3.968 * [backup-simplify]: Simplify 0 into 0
3.968 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 x))) into 0
3.968 * [backup-simplify]: Simplify (- 0) into 0
3.968 * [backup-simplify]: Simplify (+ 0 0) into 0
3.969 * [backup-simplify]: Simplify (+ (* (- (* 3.0 x) 0.41379310344827586) 0) (+ (* 0 1) (* 0 0))) into 0
3.969 * [taylor]: Taking taylor expansion of 0 in x
3.969 * [backup-simplify]: Simplify 0 into 0
3.969 * [backup-simplify]: Simplify 0 into 0
3.970 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
3.970 * [backup-simplify]: Simplify (- 0) into 0
3.970 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
3.970 * [backup-simplify]: Simplify 3.0 into 3.0
3.970 * [backup-simplify]: Simplify 0 into 0
3.971 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
3.972 * [backup-simplify]: Simplify (- 0) into 0
3.972 * [backup-simplify]: Simplify (+ 0 0) into 0
3.973 * [backup-simplify]: Simplify (+ (* (- (* 3.0 x) 0.41379310344827586) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.973 * [taylor]: Taking taylor expansion of 0 in x
3.973 * [backup-simplify]: Simplify 0 into 0
3.973 * [backup-simplify]: Simplify 0 into 0
3.973 * [backup-simplify]: Simplify 0 into 0
3.974 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
3.974 * [backup-simplify]: Simplify (- 0) into 0
3.975 * [backup-simplify]: Simplify (+ 0 0) into 0
3.975 * [backup-simplify]: Simplify 0 into 0
3.975 * [backup-simplify]: Simplify 0 into 0
3.976 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
3.976 * [backup-simplify]: Simplify (- 0) into 0
3.977 * [backup-simplify]: Simplify (+ 0 0) into 0
3.978 * [backup-simplify]: Simplify (+ (* (- (* 3.0 x) 0.41379310344827586) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.978 * [taylor]: Taking taylor expansion of 0 in x
3.978 * [backup-simplify]: Simplify 0 into 0
3.978 * [backup-simplify]: Simplify 0 into 0
3.978 * [backup-simplify]: Simplify (+ (* 3.0 (* x y)) (* (- 0.41379310344827586) (* 1 y))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
3.978 * [backup-simplify]: Simplify (* (/ 1 y) (- (* 3.0 (/ 1 x)) 0.41379310344827586)) into (/ (- (* 3.0 (/ 1 x)) 0.41379310344827586) y)
3.979 * [approximate]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 0.41379310344827586) y) in (y x) around 0
3.979 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 0.41379310344827586) y) in x
3.979 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in x
3.979 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
3.979 * [taylor]: Taking taylor expansion of 3.0 in x
3.979 * [backup-simplify]: Simplify 3.0 into 3.0
3.979 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.979 * [taylor]: Taking taylor expansion of x in x
3.979 * [backup-simplify]: Simplify 0 into 0
3.979 * [backup-simplify]: Simplify 1 into 1
3.979 * [backup-simplify]: Simplify (/ 1 1) into 1
3.979 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
3.979 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
3.979 * [taylor]: Taking taylor expansion of y in x
3.979 * [backup-simplify]: Simplify y into y
3.980 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
3.980 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
3.980 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
3.980 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 0.41379310344827586) y) in y
3.980 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in y
3.980 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y
3.980 * [taylor]: Taking taylor expansion of 3.0 in y
3.980 * [backup-simplify]: Simplify 3.0 into 3.0
3.980 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.980 * [taylor]: Taking taylor expansion of x in y
3.980 * [backup-simplify]: Simplify x into x
3.981 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.981 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
3.981 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
3.981 * [taylor]: Taking taylor expansion of y in y
3.981 * [backup-simplify]: Simplify 0 into 0
3.981 * [backup-simplify]: Simplify 1 into 1
3.981 * [backup-simplify]: Simplify (* 3.0 (/ 1 x)) into (/ 3.0 x)
3.981 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
3.982 * [backup-simplify]: Simplify (+ (/ 3.0 x) (- 0.41379310344827586)) into (- (* 3.0 (/ 1 x)) 0.41379310344827586)
3.982 * [backup-simplify]: Simplify (/ (- (* 3.0 (/ 1 x)) 0.41379310344827586) 1) into (- (* 3.0 (/ 1 x)) 0.41379310344827586)
3.982 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 0.41379310344827586) y) in y
3.982 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in y
3.982 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y
3.982 * [taylor]: Taking taylor expansion of 3.0 in y
3.982 * [backup-simplify]: Simplify 3.0 into 3.0
3.982 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.982 * [taylor]: Taking taylor expansion of x in y
3.982 * [backup-simplify]: Simplify x into x
3.982 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.982 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
3.982 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
3.982 * [taylor]: Taking taylor expansion of y in y
3.982 * [backup-simplify]: Simplify 0 into 0
3.982 * [backup-simplify]: Simplify 1 into 1
3.982 * [backup-simplify]: Simplify (* 3.0 (/ 1 x)) into (/ 3.0 x)
3.983 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
3.983 * [backup-simplify]: Simplify (+ (/ 3.0 x) (- 0.41379310344827586)) into (- (* 3.0 (/ 1 x)) 0.41379310344827586)
3.983 * [backup-simplify]: Simplify (/ (- (* 3.0 (/ 1 x)) 0.41379310344827586) 1) into (- (* 3.0 (/ 1 x)) 0.41379310344827586)
3.983 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in x
3.983 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
3.983 * [taylor]: Taking taylor expansion of 3.0 in x
3.983 * [backup-simplify]: Simplify 3.0 into 3.0
3.983 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.983 * [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 * [backup-simplify]: Simplify (/ 1 1) into 1
3.984 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
3.984 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
3.984 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
3.985 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
3.985 * [backup-simplify]: Simplify 3.0 into 3.0
3.985 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.985 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 (/ 1 x))) into 0
3.986 * [backup-simplify]: Simplify (- 0) into 0
3.986 * [backup-simplify]: Simplify (+ 0 0) into 0
3.987 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (* 3.0 (/ 1 x)) 0.41379310344827586) (/ 0 1)))) into 0
3.987 * [taylor]: Taking taylor expansion of 0 in x
3.987 * [backup-simplify]: Simplify 0 into 0
3.988 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.988 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
3.989 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
3.990 * [backup-simplify]: Simplify (+ 0 (- 0.41379310344827586)) into (- 0.41379310344827586)
3.990 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
3.990 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.991 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
3.991 * [backup-simplify]: Simplify (- 0) into 0
3.992 * [backup-simplify]: Simplify (+ 0 0) into 0
3.993 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (* 3.0 (/ 1 x)) 0.41379310344827586) (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.993 * [taylor]: Taking taylor expansion of 0 in x
3.993 * [backup-simplify]: Simplify 0 into 0
3.993 * [backup-simplify]: Simplify 0 into 0
3.994 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.995 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
3.995 * [backup-simplify]: Simplify (- 0) into 0
3.996 * [backup-simplify]: Simplify (+ 0 0) into 0
3.996 * [backup-simplify]: Simplify 0 into 0
3.996 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.997 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
3.997 * [backup-simplify]: Simplify (- 0) into 0
3.998 * [backup-simplify]: Simplify (+ 0 0) into 0
3.999 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (* 3.0 (/ 1 x)) 0.41379310344827586) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.000 * [taylor]: Taking taylor expansion of 0 in x
4.000 * [backup-simplify]: Simplify 0 into 0
4.000 * [backup-simplify]: Simplify 0 into 0
4.000 * [backup-simplify]: Simplify 0 into 0
4.001 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.002 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.002 * [backup-simplify]: Simplify (- 0) into 0
4.002 * [backup-simplify]: Simplify (+ 0 0) into 0
4.002 * [backup-simplify]: Simplify 0 into 0
4.003 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.004 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x)))))) into 0
4.004 * [backup-simplify]: Simplify (- 0) into 0
4.005 * [backup-simplify]: Simplify (+ 0 0) into 0
4.007 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (* 3.0 (/ 1 x)) 0.41379310344827586) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.007 * [taylor]: Taking taylor expansion of 0 in x
4.007 * [backup-simplify]: Simplify 0 into 0
4.007 * [backup-simplify]: Simplify 0 into 0
4.008 * [backup-simplify]: Simplify (+ (* (- 0.41379310344827586) (* 1 (/ 1 (/ 1 y)))) (* 3.0 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
4.008 * [backup-simplify]: Simplify (* (/ 1 (- y)) (- (* 3.0 (/ 1 (- x))) 0.41379310344827586)) into (/ (+ 0.41379310344827586 (* 3.0 (/ 1 x))) y)
4.008 * [approximate]: Taking taylor expansion of (/ (+ 0.41379310344827586 (* 3.0 (/ 1 x))) y) in (y x) around 0
4.008 * [taylor]: Taking taylor expansion of (/ (+ 0.41379310344827586 (* 3.0 (/ 1 x))) y) in x
4.008 * [taylor]: Taking taylor expansion of (+ 0.41379310344827586 (* 3.0 (/ 1 x))) in x
4.008 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
4.008 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
4.009 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) 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) 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 y in x
4.009 * [backup-simplify]: Simplify y into y
4.010 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
4.010 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
4.010 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
4.010 * [taylor]: Taking taylor expansion of (/ (+ 0.41379310344827586 (* 3.0 (/ 1 x))) y) in y
4.010 * [taylor]: Taking taylor expansion of (+ 0.41379310344827586 (* 3.0 (/ 1 x))) in y
4.010 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
4.010 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
4.010 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y
4.010 * [taylor]: Taking taylor expansion of 3.0 in y
4.010 * [backup-simplify]: Simplify 3.0 into 3.0
4.010 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.010 * [taylor]: Taking taylor expansion of x in y
4.010 * [backup-simplify]: Simplify x into x
4.010 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.010 * [taylor]: Taking taylor expansion of y in y
4.010 * [backup-simplify]: Simplify 0 into 0
4.010 * [backup-simplify]: Simplify 1 into 1
4.011 * [backup-simplify]: Simplify (* 3.0 (/ 1 x)) into (/ 3.0 x)
4.011 * [backup-simplify]: Simplify (+ 0.41379310344827586 (/ 3.0 x)) into (+ (* 3.0 (/ 1 x)) 0.41379310344827586)
4.011 * [backup-simplify]: Simplify (/ (+ (* 3.0 (/ 1 x)) 0.41379310344827586) 1) into (+ 0.41379310344827586 (* 3.0 (/ 1 x)))
4.011 * [taylor]: Taking taylor expansion of (/ (+ 0.41379310344827586 (* 3.0 (/ 1 x))) y) in y
4.011 * [taylor]: Taking taylor expansion of (+ 0.41379310344827586 (* 3.0 (/ 1 x))) in y
4.011 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
4.011 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
4.011 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y
4.011 * [taylor]: Taking taylor expansion of 3.0 in y
4.011 * [backup-simplify]: Simplify 3.0 into 3.0
4.011 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.011 * [taylor]: Taking taylor expansion of x in y
4.011 * [backup-simplify]: Simplify x into x
4.011 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.011 * [taylor]: Taking taylor expansion of y in y
4.011 * [backup-simplify]: Simplify 0 into 0
4.011 * [backup-simplify]: Simplify 1 into 1
4.011 * [backup-simplify]: Simplify (* 3.0 (/ 1 x)) into (/ 3.0 x)
4.011 * [backup-simplify]: Simplify (+ 0.41379310344827586 (/ 3.0 x)) into (+ (* 3.0 (/ 1 x)) 0.41379310344827586)
4.012 * [backup-simplify]: Simplify (/ (+ (* 3.0 (/ 1 x)) 0.41379310344827586) 1) into (+ 0.41379310344827586 (* 3.0 (/ 1 x)))
4.012 * [taylor]: Taking taylor expansion of (+ 0.41379310344827586 (* 3.0 (/ 1 x))) in x
4.012 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
4.012 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
4.012 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
4.012 * [taylor]: Taking taylor expansion of 3.0 in x
4.012 * [backup-simplify]: Simplify 3.0 into 3.0
4.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.012 * [taylor]: Taking taylor expansion of x in x
4.012 * [backup-simplify]: Simplify 0 into 0
4.012 * [backup-simplify]: Simplify 1 into 1
4.012 * [backup-simplify]: Simplify (/ 1 1) into 1
4.013 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
4.013 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
4.013 * [backup-simplify]: Simplify 3.0 into 3.0
4.013 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.014 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 (/ 1 x))) into 0
4.014 * [backup-simplify]: Simplify (+ 0 0) into 0
4.015 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ 0.41379310344827586 (* 3.0 (/ 1 x))) (/ 0 1)))) into 0
4.015 * [taylor]: Taking taylor expansion of 0 in x
4.015 * [backup-simplify]: Simplify 0 into 0
4.016 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.017 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
4.017 * [backup-simplify]: Simplify (+ 0.41379310344827586 0) into 0.41379310344827586
4.017 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
4.017 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.018 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
4.018 * [backup-simplify]: Simplify (+ 0 0) into 0
4.020 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ 0.41379310344827586 (* 3.0 (/ 1 x))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.020 * [taylor]: Taking taylor expansion of 0 in x
4.020 * [backup-simplify]: Simplify 0 into 0
4.020 * [backup-simplify]: Simplify 0 into 0
4.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.022 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
4.022 * [backup-simplify]: Simplify (+ 0 0) into 0
4.022 * [backup-simplify]: Simplify 0 into 0
4.022 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.023 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
4.024 * [backup-simplify]: Simplify (+ 0 0) into 0
4.026 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ 0.41379310344827586 (* 3.0 (/ 1 x))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.026 * [taylor]: Taking taylor expansion of 0 in x
4.026 * [backup-simplify]: Simplify 0 into 0
4.026 * [backup-simplify]: Simplify 0 into 0
4.026 * [backup-simplify]: Simplify 0 into 0
4.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.028 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.028 * [backup-simplify]: Simplify (+ 0 0) into 0
4.028 * [backup-simplify]: Simplify 0 into 0
4.028 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.030 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x)))))) into 0
4.030 * [backup-simplify]: Simplify (+ 0 0) into 0
4.032 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ 0.41379310344827586 (* 3.0 (/ 1 x))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.032 * [taylor]: Taking taylor expansion of 0 in x
4.032 * [backup-simplify]: Simplify 0 into 0
4.032 * [backup-simplify]: Simplify 0 into 0
4.032 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 (* 1 (/ 1 (/ 1 (- y))))) (* 3.0 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
4.032 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
4.032 * [backup-simplify]: Simplify (- (* 3.0 x) 0.41379310344827586) into (- (* 3.0 x) 0.41379310344827586)
4.032 * [approximate]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in (x) around 0
4.032 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in x
4.032 * [taylor]: Taking taylor expansion of (* 3.0 x) 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 x in x
4.032 * [backup-simplify]: Simplify 0 into 0
4.032 * [backup-simplify]: Simplify 1 into 1
4.032 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
4.032 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
4.032 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in x
4.032 * [taylor]: Taking taylor expansion of (* 3.0 x) 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 x in x
4.032 * [backup-simplify]: Simplify 0 into 0
4.032 * [backup-simplify]: Simplify 1 into 1
4.032 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
4.033 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
4.033 * [backup-simplify]: Simplify (* 3.0 0) into 0
4.033 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
4.034 * [backup-simplify]: Simplify (+ 0 (- 0.41379310344827586)) into (- 0.41379310344827586)
4.034 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
4.035 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
4.035 * [backup-simplify]: Simplify (- 0) into 0
4.035 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
4.035 * [backup-simplify]: Simplify 3.0 into 3.0
4.036 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
4.036 * [backup-simplify]: Simplify (- 0) into 0
4.036 * [backup-simplify]: Simplify (+ 0 0) into 0
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.038 * [backup-simplify]: Simplify (- 0) into 0
4.038 * [backup-simplify]: Simplify (+ 0 0) into 0
4.038 * [backup-simplify]: Simplify 0 into 0
4.039 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.039 * [backup-simplify]: Simplify (- 0) into 0
4.039 * [backup-simplify]: Simplify (+ 0 0) into 0
4.039 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
4.040 * [backup-simplify]: Simplify (- 0) into 0
4.040 * [backup-simplify]: Simplify (+ 0 0) into 0
4.040 * [backup-simplify]: Simplify 0 into 0
4.041 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
4.041 * [backup-simplify]: Simplify (- 0) into 0
4.042 * [backup-simplify]: Simplify (+ 0 0) into 0
4.042 * [backup-simplify]: Simplify 0 into 0
4.043 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
4.043 * [backup-simplify]: Simplify (- 0) into 0
4.043 * [backup-simplify]: Simplify (+ 0 0) into 0
4.043 * [backup-simplify]: Simplify 0 into 0
4.044 * [backup-simplify]: Simplify (+ (* 3.0 x) (- 0.41379310344827586)) into (- (* 3.0 x) 0.41379310344827586)
4.044 * [backup-simplify]: Simplify (- (* 3.0 (/ 1 x)) 0.41379310344827586) into (- (* 3.0 (/ 1 x)) 0.41379310344827586)
4.044 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in (x) around 0
4.044 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in x
4.044 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
4.044 * [taylor]: Taking taylor expansion of 3.0 in x
4.044 * [backup-simplify]: Simplify 3.0 into 3.0
4.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.044 * [taylor]: Taking taylor expansion of x in x
4.044 * [backup-simplify]: Simplify 0 into 0
4.044 * [backup-simplify]: Simplify 1 into 1
4.044 * [backup-simplify]: Simplify (/ 1 1) into 1
4.044 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
4.044 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
4.044 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in x
4.044 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
4.044 * [taylor]: Taking taylor expansion of 3.0 in x
4.044 * [backup-simplify]: Simplify 3.0 into 3.0
4.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.044 * [taylor]: Taking taylor expansion of x in x
4.044 * [backup-simplify]: Simplify 0 into 0
4.044 * [backup-simplify]: Simplify 1 into 1
4.045 * [backup-simplify]: Simplify (/ 1 1) into 1
4.045 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
4.045 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
4.045 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
4.045 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
4.045 * [backup-simplify]: Simplify 3.0 into 3.0
4.046 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.046 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
4.046 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
4.047 * [backup-simplify]: Simplify (+ 0 (- 0.41379310344827586)) into (- 0.41379310344827586)
4.047 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
4.048 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.048 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
4.048 * [backup-simplify]: Simplify (- 0) into 0
4.049 * [backup-simplify]: Simplify (+ 0 0) into 0
4.049 * [backup-simplify]: Simplify 0 into 0
4.049 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.050 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.050 * [backup-simplify]: Simplify (- 0) into 0
4.050 * [backup-simplify]: Simplify (+ 0 0) into 0
4.050 * [backup-simplify]: Simplify 0 into 0
4.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.051 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.052 * [backup-simplify]: Simplify (- 0) into 0
4.052 * [backup-simplify]: Simplify (+ 0 0) into 0
4.052 * [backup-simplify]: Simplify 0 into 0
4.052 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.053 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.053 * [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 (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.055 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) 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 (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.057 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) 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 (+ (- 0.41379310344827586) (* 3.0 (/ 1 (/ 1 x)))) into (- (* 3.0 x) 0.41379310344827586)
4.058 * [backup-simplify]: Simplify (- (* 3.0 (/ 1 (- x))) 0.41379310344827586) into (- (+ 0.41379310344827586 (* 3.0 (/ 1 x))))
4.058 * [approximate]: Taking taylor expansion of (- (+ 0.41379310344827586 (* 3.0 (/ 1 x)))) in (x) around 0
4.058 * [taylor]: Taking taylor expansion of (- (+ 0.41379310344827586 (* 3.0 (/ 1 x)))) in x
4.058 * [taylor]: Taking taylor expansion of (+ 0.41379310344827586 (* 3.0 (/ 1 x))) in x
4.058 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
4.058 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
4.058 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
4.058 * [taylor]: Taking taylor expansion of 3.0 in x
4.058 * [backup-simplify]: Simplify 3.0 into 3.0
4.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.058 * [taylor]: Taking taylor expansion of x in x
4.058 * [backup-simplify]: Simplify 0 into 0
4.058 * [backup-simplify]: Simplify 1 into 1
4.058 * [backup-simplify]: Simplify (/ 1 1) into 1
4.058 * [taylor]: Taking taylor expansion of (- (+ 0.41379310344827586 (* 3.0 (/ 1 x)))) in x
4.058 * [taylor]: Taking taylor expansion of (+ 0.41379310344827586 (* 3.0 (/ 1 x))) in x
4.059 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
4.059 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
4.059 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
4.059 * [taylor]: Taking taylor expansion of 3.0 in x
4.059 * [backup-simplify]: Simplify 3.0 into 3.0
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 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
4.059 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
4.060 * [backup-simplify]: Simplify (- 3.0) into (- 3.0)
4.060 * [backup-simplify]: Simplify (- 3.0) into (- 3.0)
4.060 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.061 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
4.061 * [backup-simplify]: Simplify (+ 0.41379310344827586 0) into 0.41379310344827586
4.061 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
4.062 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
4.062 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.063 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
4.063 * [backup-simplify]: Simplify (+ 0 0) into 0
4.063 * [backup-simplify]: Simplify (- 0) into 0
4.063 * [backup-simplify]: Simplify 0 into 0
4.064 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.064 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.065 * [backup-simplify]: Simplify (+ 0 0) into 0
4.065 * [backup-simplify]: Simplify (- 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)) (* 0 (/ 0 1)))) into 0
4.066 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.067 * [backup-simplify]: Simplify (+ 0 0) into 0
4.067 * [backup-simplify]: Simplify (- 0) into 0
4.067 * [backup-simplify]: Simplify 0 into 0
4.067 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.068 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.068 * [backup-simplify]: Simplify (+ 0 0) into 0
4.069 * [backup-simplify]: Simplify (- 0) into 0
4.069 * [backup-simplify]: Simplify 0 into 0
4.069 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.070 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.070 * [backup-simplify]: Simplify (+ 0 0) into 0
4.071 * [backup-simplify]: Simplify (- 0) into 0
4.071 * [backup-simplify]: Simplify 0 into 0
4.074 * [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.075 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
4.075 * [backup-simplify]: Simplify (+ 0 0) into 0
4.076 * [backup-simplify]: Simplify (- 0) into 0
4.076 * [backup-simplify]: Simplify 0 into 0
4.076 * [backup-simplify]: Simplify (+ (- 0.41379310344827586) (* (- 3.0) (/ 1 (/ 1 (- x))))) into (- (* 3.0 x) 0.41379310344827586)
4.076 * * * [progress]: simplifying candidates
4.077 * [simplify]: Simplifying:
  (* y (- (* 3.0 x) 0.41379310344827586))
  (+ (log y) (log (- (* 3.0 x) 0.41379310344827586)))
  (log (* y (- (* 3.0 x) 0.41379310344827586)))
  (exp (* y (- (* 3.0 x) 0.41379310344827586)))
  (* (* (* y y) y) (* (* (- (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586)) (- (* 3.0 x) 0.41379310344827586)))
  (* (cbrt (* y (- (* 3.0 x) 0.41379310344827586))) (cbrt (* y (- (* 3.0 x) 0.41379310344827586))))
  (cbrt (* y (- (* 3.0 x) 0.41379310344827586)))
  (* (* (* y (- (* 3.0 x) 0.41379310344827586)) (* y (- (* 3.0 x) 0.41379310344827586))) (* y (- (* 3.0 x) 0.41379310344827586)))
  (sqrt (* y (- (* 3.0 x) 0.41379310344827586)))
  (sqrt (* y (- (* 3.0 x) 0.41379310344827586)))
  (* (sqrt y) (sqrt (- (* 3.0 x) 0.41379310344827586)))
  (* (sqrt y) (sqrt (- (* 3.0 x) 0.41379310344827586)))
  (* y (* 3.0 x))
  (* y (- 0.41379310344827586))
  (* y (* 3.0 x))
  (* y (- 0.41379310344827586))
  (* (* 3.0 x) y)
  (* (- 0.41379310344827586) y)
  (* (* 3.0 x) y)
  (* (- 0.41379310344827586) y)
  (* y (* (cbrt (- (* 3.0 x) 0.41379310344827586)) (cbrt (- (* 3.0 x) 0.41379310344827586))))
  (* y (sqrt (- (* 3.0 x) 0.41379310344827586)))
  (* y 1)
  (* (cbrt y) (- (* 3.0 x) 0.41379310344827586))
  (* (sqrt y) (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (pow (* 3.0 x) 3) (pow 0.41379310344827586 3)))
  (* y (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586)))
  (/ (exp (* 3.0 x)) (exp 0.41379310344827586))
  (log (- (* 3.0 x) 0.41379310344827586))
  (exp (- (* 3.0 x) 0.41379310344827586))
  (* (cbrt (- (* 3.0 x) 0.41379310344827586)) (cbrt (- (* 3.0 x) 0.41379310344827586)))
  (cbrt (- (* 3.0 x) 0.41379310344827586))
  (* (* (- (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586)) (- (* 3.0 x) 0.41379310344827586))
  (sqrt (- (* 3.0 x) 0.41379310344827586))
  (sqrt (- (* 3.0 x) 0.41379310344827586))
  (- (pow (* 3.0 x) 3) (pow 0.41379310344827586 3))
  (+ (* (* 3.0 x) (* 3.0 x)) (+ (* 0.41379310344827586 0.41379310344827586) (* (* 3.0 x) 0.41379310344827586)))
  (- 0.41379310344827586)
  (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586))
  (+ (* 3.0 x) 0.41379310344827586)
  (- 0.41379310344827586)
  (- (* 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)
4.078 * * [simplify]: Extracting # 0 : cost  0
4.078 * * [simplify]: Extracting # 1 : cost  0
4.078 * * [simplify]: Extracting # 2 : cost  0
4.078 * * [simplify]: Extracting # 3 : cost  0
4.078 * * [simplify]: Extracting # 4 : cost  0
4.078 * * [simplify]: Extracting # 5 : cost  0
4.078 * * [simplify]: Extracting # 6 : cost  0
4.078 * * [simplify]: iteration  0 :  60  enodes  (cost  401 )
4.095 * * [simplify]: Extracting # 0 : cost  0
4.096 * * [simplify]: Extracting # 1 : cost  0
4.096 * * [simplify]: Extracting # 2 : cost  0
4.096 * * [simplify]: Extracting # 3 : cost  0
4.096 * * [simplify]: iteration  1 :  138  enodes  (cost  395 )
4.132 * * [simplify]: Extracting # 0 : cost  0
4.132 * * [simplify]: Extracting # 1 : cost  0
4.132 * * [simplify]: Extracting # 2 : cost  0
4.133 * * [simplify]: Extracting # 3 : cost  0
4.133 * * [simplify]: Extracting # 4 : cost  0
4.133 * * [simplify]: Extracting # 5 : cost  0
4.134 * * [simplify]: iteration  2 :  348  enodes  (cost  351 )
4.327 * * [simplify]: Extracting # 0 : cost  0
4.329 * * [simplify]: Extracting # 1 : cost  0
4.331 * * [simplify]: Extracting # 2 : cost  0
4.332 * * [simplify]: Extracting # 3 : cost  0
4.334 * * [simplify]: Extracting # 4 : cost  0
4.336 * * [simplify]: iteration  3 :  1082  enodes  (cost  349 )
6.136 * * [simplify]: Extracting # 0 : cost  0
6.142 * * [simplify]: Extracting # 1 : cost  0
6.146 * * [simplify]: Extracting # 2 : cost  0
6.150 * * [simplify]: Extracting # 3 : cost  0
6.154 * * [simplify]: Extracting # 4 : cost  0
6.166 * * [simplify]: iteration  4 :  4462  enodes  (cost  349 )
8.208 * * [simplify]: Extracting # 0 : cost  0
8.213 * * [simplify]: Extracting # 1 : cost  0
8.222 * * [simplify]: Extracting # 2 : cost  0
8.226 * * [simplify]: Extracting # 3 : cost  0
8.230 * * [simplify]: Extracting # 4 : cost  0
8.237 * * [simplify]: iteration done:  5001  enodes  (cost  349 )
8.238 * [simplify]: Simplified to:
  (* (- (* 3.0 x) 0.41379310344827586) y)
  (log (* y (- (* 3.0 x) 0.41379310344827586)))
  (log (* y (- (* 3.0 x) 0.41379310344827586)))
  (exp (* y (- (* 3.0 x) 0.41379310344827586)))
  (pow (* (- (* 3.0 x) 0.41379310344827586) y) 3)
  (* (cbrt (* y (- (* 3.0 x) 0.41379310344827586))) (cbrt (* y (- (* 3.0 x) 0.41379310344827586))))
  (cbrt (* y (- (* 3.0 x) 0.41379310344827586)))
  (pow (* (- (* 3.0 x) 0.41379310344827586) y) 3)
  (sqrt (* y (- (* 3.0 x) 0.41379310344827586)))
  (sqrt (* y (- (* 3.0 x) 0.41379310344827586)))
  (* (sqrt y) (sqrt (- (* 3.0 x) 0.41379310344827586)))
  (* (sqrt y) (sqrt (- (* 3.0 x) 0.41379310344827586)))
  (* y (* 3.0 x))
  (* (- 0.41379310344827586) y)
  (* y (* 3.0 x))
  (* (- 0.41379310344827586) y)
  (* y (* 3.0 x))
  (* (- 0.41379310344827586) y)
  (* y (* 3.0 x))
  (* (- 0.41379310344827586) y)
  (* y (* (cbrt (- (* 3.0 x) 0.41379310344827586)) (cbrt (- (* 3.0 x) 0.41379310344827586))))
  (* y (sqrt (- (* 3.0 x) 0.41379310344827586)))
  y
  (* (cbrt y) (- (* 3.0 x) 0.41379310344827586))
  (* (sqrt y) (- (* 3.0 x) 0.41379310344827586))
  (* (- (* 3.0 x) 0.41379310344827586) y)
  (* y (- (pow (* 3.0 x) 3) (pow 0.41379310344827586 3)))
  (* y (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586)))
  (exp (- (* 3.0 x) 0.41379310344827586))
  (log (- (* 3.0 x) 0.41379310344827586))
  (exp (- (* 3.0 x) 0.41379310344827586))
  (* (cbrt (- (* 3.0 x) 0.41379310344827586)) (cbrt (- (* 3.0 x) 0.41379310344827586)))
  (cbrt (- (* 3.0 x) 0.41379310344827586))
  (pow (- (* 3.0 x) 0.41379310344827586) 3)
  (sqrt (- (* 3.0 x) 0.41379310344827586))
  (sqrt (- (* 3.0 x) 0.41379310344827586))
  (- (pow (* 3.0 x) 3) (pow 0.41379310344827586 3))
  (+ (* 0.41379310344827586 0.41379310344827586) (* (+ (* 3.0 x) 0.41379310344827586) (* 3.0 x)))
  (- 0.41379310344827586)
  (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586))
  (+ (* 3.0 x) 0.41379310344827586)
  (- 0.41379310344827586)
  (* (- (* 3.0 x) 0.41379310344827586) 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)
8.238 * * * [progress]: adding candidates to table
8.367 * * [progress]: iteration 3 / 4
8.367 * * * [progress]: picking best candidate
8.383 * * * * [pick]: Picked  #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* y 3.0)))>
8.384 * * * [progress]: localizing error
8.399 * * * [progress]: generating rewritten candidates
8.399 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
8.506 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
8.529 * * * [progress]: generating series expansions
8.529 * * * * [progress]: [ 1 / 2 ] generating series at (2)
8.530 * [backup-simplify]: Simplify (* (- x (/ 16.0 116.0)) (* y 3.0)) into (* 3.0 (* (- x 0.13793103448275862) y))
8.530 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0
8.530 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
8.530 * [taylor]: Taking taylor expansion of 3.0 in y
8.530 * [backup-simplify]: Simplify 3.0 into 3.0
8.530 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
8.530 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
8.530 * [taylor]: Taking taylor expansion of x in y
8.530 * [backup-simplify]: Simplify x into x
8.530 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
8.530 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
8.530 * [taylor]: Taking taylor expansion of y in y
8.530 * [backup-simplify]: Simplify 0 into 0
8.530 * [backup-simplify]: Simplify 1 into 1
8.530 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
8.531 * [taylor]: Taking taylor expansion of 3.0 in x
8.531 * [backup-simplify]: Simplify 3.0 into 3.0
8.531 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
8.531 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
8.531 * [taylor]: Taking taylor expansion of x in x
8.531 * [backup-simplify]: Simplify 0 into 0
8.531 * [backup-simplify]: Simplify 1 into 1
8.531 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
8.531 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
8.531 * [taylor]: Taking taylor expansion of y in x
8.531 * [backup-simplify]: Simplify y into y
8.531 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
8.531 * [taylor]: Taking taylor expansion of 3.0 in x
8.531 * [backup-simplify]: Simplify 3.0 into 3.0
8.531 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
8.531 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
8.531 * [taylor]: Taking taylor expansion of x in x
8.531 * [backup-simplify]: Simplify 0 into 0
8.531 * [backup-simplify]: Simplify 1 into 1
8.531 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
8.531 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
8.531 * [taylor]: Taking taylor expansion of y in x
8.531 * [backup-simplify]: Simplify y into y
8.532 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
8.533 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
8.533 * [backup-simplify]: Simplify (* (- 0.13793103448275862) y) into (* -0.13793103448275862 y)
8.533 * [backup-simplify]: Simplify (* 3.0 (* -0.13793103448275862 y)) into (* -0.41379310344827586 y)
8.533 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
8.533 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
8.533 * [backup-simplify]: Simplify -0.41379310344827586 into -0.41379310344827586
8.533 * [taylor]: Taking taylor expansion of y in y
8.533 * [backup-simplify]: Simplify 0 into 0
8.533 * [backup-simplify]: Simplify 1 into 1
8.534 * [backup-simplify]: Simplify (* -0.41379310344827586 0) into 0
8.534 * [backup-simplify]: Simplify 0 into 0
8.534 * [backup-simplify]: Simplify (- 0) into 0
8.535 * [backup-simplify]: Simplify (+ 1 0) into 1
8.535 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (* 1 y)) into y
8.536 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 (* -0.13793103448275862 y))) into (* 3.0 y)
8.536 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
8.536 * [taylor]: Taking taylor expansion of 3.0 in y
8.536 * [backup-simplify]: Simplify 3.0 into 3.0
8.536 * [taylor]: Taking taylor expansion of y in y
8.536 * [backup-simplify]: Simplify 0 into 0
8.536 * [backup-simplify]: Simplify 1 into 1
8.536 * [backup-simplify]: Simplify (* 3.0 0) into 0
8.536 * [backup-simplify]: Simplify 0 into 0
8.538 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 1) (* 0 0)) into (- 0.41379310344827586)
8.538 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
8.538 * [backup-simplify]: Simplify (- 0) into 0
8.539 * [backup-simplify]: Simplify (+ 0 0) into 0
8.540 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (* 0 y))) into 0
8.540 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))) into 0
8.540 * [taylor]: Taking taylor expansion of 0 in y
8.540 * [backup-simplify]: Simplify 0 into 0
8.540 * [backup-simplify]: Simplify 0 into 0
8.542 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
8.542 * [backup-simplify]: Simplify 3.0 into 3.0
8.543 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 1) (* 0 0))) into 0
8.543 * [backup-simplify]: Simplify 0 into 0
8.543 * [backup-simplify]: Simplify (- 0) into 0
8.544 * [backup-simplify]: Simplify (+ 0 0) into 0
8.545 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
8.546 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y))))) into 0
8.546 * [taylor]: Taking taylor expansion of 0 in y
8.546 * [backup-simplify]: Simplify 0 into 0
8.546 * [backup-simplify]: Simplify 0 into 0
8.546 * [backup-simplify]: Simplify 0 into 0
8.547 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
8.547 * [backup-simplify]: Simplify 0 into 0
8.548 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
8.548 * [backup-simplify]: Simplify 0 into 0
8.548 * [backup-simplify]: Simplify (- 0) into 0
8.549 * [backup-simplify]: Simplify (+ 0 0) into 0
8.550 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
8.552 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))))) into 0
8.552 * [taylor]: Taking taylor expansion of 0 in y
8.552 * [backup-simplify]: Simplify 0 into 0
8.552 * [backup-simplify]: Simplify 0 into 0
8.552 * [backup-simplify]: Simplify (+ (* 3.0 (* y x)) (* (- 0.41379310344827586) (* y 1))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
8.553 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 16.0 116.0)) (* (/ 1 y) 3.0)) into (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y))
8.553 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0
8.553 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
8.553 * [taylor]: Taking taylor expansion of 3.0 in y
8.553 * [backup-simplify]: Simplify 3.0 into 3.0
8.553 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
8.553 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
8.553 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.553 * [taylor]: Taking taylor expansion of x in y
8.553 * [backup-simplify]: Simplify x into x
8.553 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.553 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
8.553 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
8.553 * [taylor]: Taking taylor expansion of y in y
8.553 * [backup-simplify]: Simplify 0 into 0
8.553 * [backup-simplify]: Simplify 1 into 1
8.554 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
8.554 * [backup-simplify]: Simplify (+ (/ 1 x) (- 0.13793103448275862)) into (- (/ 1 x) 0.13793103448275862)
8.554 * [backup-simplify]: Simplify (/ (- (/ 1 x) 0.13793103448275862) 1) into (- (/ 1 x) 0.13793103448275862)
8.554 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
8.554 * [taylor]: Taking taylor expansion of 3.0 in x
8.554 * [backup-simplify]: Simplify 3.0 into 3.0
8.554 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
8.554 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
8.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.555 * [taylor]: Taking taylor expansion of x in x
8.555 * [backup-simplify]: Simplify 0 into 0
8.555 * [backup-simplify]: Simplify 1 into 1
8.560 * [backup-simplify]: Simplify (/ 1 1) into 1
8.560 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
8.560 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
8.560 * [taylor]: Taking taylor expansion of y in x
8.560 * [backup-simplify]: Simplify y into y
8.561 * [backup-simplify]: Simplify (+ 1 0) into 1
8.561 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.561 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
8.561 * [taylor]: Taking taylor expansion of 3.0 in x
8.561 * [backup-simplify]: Simplify 3.0 into 3.0
8.561 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
8.561 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
8.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.561 * [taylor]: Taking taylor expansion of x in x
8.561 * [backup-simplify]: Simplify 0 into 0
8.561 * [backup-simplify]: Simplify 1 into 1
8.562 * [backup-simplify]: Simplify (/ 1 1) into 1
8.562 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
8.562 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
8.562 * [taylor]: Taking taylor expansion of y in x
8.562 * [backup-simplify]: Simplify y into y
8.562 * [backup-simplify]: Simplify (+ 1 0) into 1
8.562 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.562 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
8.562 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
8.562 * [taylor]: Taking taylor expansion of 3.0 in y
8.562 * [backup-simplify]: Simplify 3.0 into 3.0
8.562 * [taylor]: Taking taylor expansion of y in y
8.563 * [backup-simplify]: Simplify 0 into 0
8.563 * [backup-simplify]: Simplify 1 into 1
8.563 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
8.563 * [backup-simplify]: Simplify 3.0 into 3.0
8.564 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.564 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
8.565 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
8.565 * [backup-simplify]: Simplify (- (/ (- 0.13793103448275862) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (* 0.13793103448275862 (/ 1 y)))
8.566 * [backup-simplify]: Simplify (+ (* 3.0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))) into (- (* 0.41379310344827586 (/ 1 y)))
8.566 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
8.566 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
8.566 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
8.566 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
8.566 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.566 * [taylor]: Taking taylor expansion of y in y
8.566 * [backup-simplify]: Simplify 0 into 0
8.566 * [backup-simplify]: Simplify 1 into 1
8.566 * [backup-simplify]: Simplify (/ 1 1) into 1
8.567 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
8.567 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
8.567 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
8.568 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
8.568 * [backup-simplify]: Simplify 0 into 0
8.569 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.570 * [backup-simplify]: Simplify (- 0) into 0
8.570 * [backup-simplify]: Simplify (+ 0 0) into 0
8.570 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)))) into 0
8.571 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y)))) into 0
8.571 * [taylor]: Taking taylor expansion of 0 in y
8.571 * [backup-simplify]: Simplify 0 into 0
8.572 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.572 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
8.573 * [backup-simplify]: Simplify (- 0) into 0
8.573 * [backup-simplify]: Simplify 0 into 0
8.574 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.574 * [backup-simplify]: Simplify 0 into 0
8.575 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.575 * [backup-simplify]: Simplify (- 0) into 0
8.575 * [backup-simplify]: Simplify (+ 0 0) into 0
8.576 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
8.577 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))))) into 0
8.577 * [taylor]: Taking taylor expansion of 0 in y
8.577 * [backup-simplify]: Simplify 0 into 0
8.577 * [backup-simplify]: Simplify 0 into 0
8.578 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.579 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
8.579 * [backup-simplify]: Simplify (- 0) into 0
8.579 * [backup-simplify]: Simplify 0 into 0
8.580 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.580 * [backup-simplify]: Simplify 0 into 0
8.581 * [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))
8.582 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 16.0 116.0)) (* (/ 1 (- y)) 3.0)) into (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y))
8.582 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0
8.582 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
8.582 * [taylor]: Taking taylor expansion of 3.0 in y
8.582 * [backup-simplify]: Simplify 3.0 into 3.0
8.582 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
8.582 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
8.582 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
8.582 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
8.582 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.582 * [taylor]: Taking taylor expansion of x in y
8.582 * [backup-simplify]: Simplify x into x
8.582 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.582 * [taylor]: Taking taylor expansion of y in y
8.582 * [backup-simplify]: Simplify 0 into 0
8.582 * [backup-simplify]: Simplify 1 into 1
8.582 * [backup-simplify]: Simplify (+ 0.13793103448275862 (/ 1 x)) into (+ (/ 1 x) 0.13793103448275862)
8.583 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 0.13793103448275862) 1) into (+ 0.13793103448275862 (/ 1 x))
8.583 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
8.583 * [taylor]: Taking taylor expansion of 3.0 in x
8.583 * [backup-simplify]: Simplify 3.0 into 3.0
8.583 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
8.583 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
8.583 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
8.583 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
8.583 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.583 * [taylor]: Taking taylor expansion of x in x
8.583 * [backup-simplify]: Simplify 0 into 0
8.583 * [backup-simplify]: Simplify 1 into 1
8.583 * [backup-simplify]: Simplify (/ 1 1) into 1
8.583 * [taylor]: Taking taylor expansion of y in x
8.583 * [backup-simplify]: Simplify y into y
8.584 * [backup-simplify]: Simplify (+ 0 1) into 1
8.584 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.584 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
8.584 * [taylor]: Taking taylor expansion of 3.0 in x
8.584 * [backup-simplify]: Simplify 3.0 into 3.0
8.584 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
8.584 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
8.584 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
8.584 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
8.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.584 * [taylor]: Taking taylor expansion of x in x
8.584 * [backup-simplify]: Simplify 0 into 0
8.584 * [backup-simplify]: Simplify 1 into 1
8.585 * [backup-simplify]: Simplify (/ 1 1) into 1
8.585 * [taylor]: Taking taylor expansion of y in x
8.585 * [backup-simplify]: Simplify y into y
8.585 * [backup-simplify]: Simplify (+ 0 1) into 1
8.586 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.586 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
8.586 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
8.586 * [taylor]: Taking taylor expansion of 3.0 in y
8.586 * [backup-simplify]: Simplify 3.0 into 3.0
8.586 * [taylor]: Taking taylor expansion of y in y
8.586 * [backup-simplify]: Simplify 0 into 0
8.586 * [backup-simplify]: Simplify 1 into 1
8.586 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
8.586 * [backup-simplify]: Simplify 3.0 into 3.0
8.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.588 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
8.588 * [backup-simplify]: Simplify (- (/ 0.13793103448275862 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 0.13793103448275862 (/ 1 y))
8.588 * [backup-simplify]: Simplify (+ (* 3.0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))) into (* 0.41379310344827586 (/ 1 y))
8.588 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
8.588 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
8.588 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
8.588 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.588 * [taylor]: Taking taylor expansion of y in y
8.588 * [backup-simplify]: Simplify 0 into 0
8.588 * [backup-simplify]: Simplify 1 into 1
8.589 * [backup-simplify]: Simplify (/ 1 1) into 1
8.589 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
8.589 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
8.590 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
8.590 * [backup-simplify]: Simplify 0 into 0
8.591 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.591 * [backup-simplify]: Simplify (+ 0 0) into 0
8.592 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)))) into 0
8.592 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y)))) into 0
8.592 * [taylor]: Taking taylor expansion of 0 in y
8.592 * [backup-simplify]: Simplify 0 into 0
8.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.594 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
8.594 * [backup-simplify]: Simplify 0 into 0
8.595 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.595 * [backup-simplify]: Simplify 0 into 0
8.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.596 * [backup-simplify]: Simplify (+ 0 0) into 0
8.597 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
8.598 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))))) into 0
8.598 * [taylor]: Taking taylor expansion of 0 in y
8.598 * [backup-simplify]: Simplify 0 into 0
8.598 * [backup-simplify]: Simplify 0 into 0
8.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.600 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
8.600 * [backup-simplify]: Simplify 0 into 0
8.601 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.601 * [backup-simplify]: Simplify 0 into 0
8.601 * [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))
8.601 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
8.602 * [backup-simplify]: Simplify (- x (/ 16.0 116.0)) into (- x 0.13793103448275862)
8.602 * [approximate]: Taking taylor expansion of (- x 0.13793103448275862) in (x) around 0
8.602 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
8.602 * [taylor]: Taking taylor expansion of x in x
8.602 * [backup-simplify]: Simplify 0 into 0
8.602 * [backup-simplify]: Simplify 1 into 1
8.602 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
8.602 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
8.602 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
8.602 * [taylor]: Taking taylor expansion of x in x
8.602 * [backup-simplify]: Simplify 0 into 0
8.602 * [backup-simplify]: Simplify 1 into 1
8.602 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
8.602 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
8.602 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
8.603 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
8.604 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
8.604 * [backup-simplify]: Simplify (- 0) into 0
8.605 * [backup-simplify]: Simplify (+ 1 0) into 1
8.605 * [backup-simplify]: Simplify 1 into 1
8.605 * [backup-simplify]: Simplify (- 0) into 0
8.605 * [backup-simplify]: Simplify (+ 0 0) into 0
8.605 * [backup-simplify]: Simplify 0 into 0
8.606 * [backup-simplify]: Simplify (- 0) into 0
8.606 * [backup-simplify]: Simplify (+ 0 0) into 0
8.606 * [backup-simplify]: Simplify 0 into 0
8.606 * [backup-simplify]: Simplify (- 0) into 0
8.607 * [backup-simplify]: Simplify (+ 0 0) into 0
8.607 * [backup-simplify]: Simplify 0 into 0
8.607 * [backup-simplify]: Simplify (- 0) into 0
8.608 * [backup-simplify]: Simplify (+ 0 0) into 0
8.608 * [backup-simplify]: Simplify 0 into 0
8.608 * [backup-simplify]: Simplify (- 0) into 0
8.608 * [backup-simplify]: Simplify (+ 0 0) into 0
8.608 * [backup-simplify]: Simplify 0 into 0
8.609 * [backup-simplify]: Simplify (- 0) into 0
8.609 * [backup-simplify]: Simplify (+ 0 0) into 0
8.609 * [backup-simplify]: Simplify 0 into 0
8.610 * [backup-simplify]: Simplify (+ (* 1 x) (- 0.13793103448275862)) into (- x 0.13793103448275862)
8.610 * [backup-simplify]: Simplify (- (/ 1 x) (/ 16.0 116.0)) into (- (/ 1 x) 0.13793103448275862)
8.610 * [approximate]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in (x) around 0
8.610 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
8.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.610 * [taylor]: Taking taylor expansion of x in x
8.610 * [backup-simplify]: Simplify 0 into 0
8.610 * [backup-simplify]: Simplify 1 into 1
8.611 * [backup-simplify]: Simplify (/ 1 1) into 1
8.611 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
8.611 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
8.611 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
8.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.611 * [taylor]: Taking taylor expansion of x in x
8.611 * [backup-simplify]: Simplify 0 into 0
8.611 * [backup-simplify]: Simplify 1 into 1
8.611 * [backup-simplify]: Simplify (/ 1 1) into 1
8.611 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
8.611 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
8.612 * [backup-simplify]: Simplify (+ 1 0) into 1
8.612 * [backup-simplify]: Simplify 1 into 1
8.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.613 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
8.614 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
8.614 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
8.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.615 * [backup-simplify]: Simplify (- 0) into 0
8.616 * [backup-simplify]: Simplify (+ 0 0) into 0
8.616 * [backup-simplify]: Simplify 0 into 0
8.617 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.617 * [backup-simplify]: Simplify (- 0) into 0
8.617 * [backup-simplify]: Simplify (+ 0 0) into 0
8.618 * [backup-simplify]: Simplify 0 into 0
8.618 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.619 * [backup-simplify]: Simplify (- 0) into 0
8.619 * [backup-simplify]: Simplify (+ 0 0) into 0
8.619 * [backup-simplify]: Simplify 0 into 0
8.620 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.620 * [backup-simplify]: Simplify (- 0) into 0
8.621 * [backup-simplify]: Simplify (+ 0 0) into 0
8.621 * [backup-simplify]: Simplify 0 into 0
8.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.622 * [backup-simplify]: Simplify (- 0) into 0
8.622 * [backup-simplify]: Simplify (+ 0 0) into 0
8.622 * [backup-simplify]: Simplify 0 into 0
8.623 * [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
8.624 * [backup-simplify]: Simplify (- 0) into 0
8.624 * [backup-simplify]: Simplify (+ 0 0) into 0
8.624 * [backup-simplify]: Simplify 0 into 0
8.625 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* 1 (/ 1 (/ 1 x)))) into (- x 0.13793103448275862)
8.625 * [backup-simplify]: Simplify (- (/ 1 (- x)) (/ 16.0 116.0)) into (- (+ 0.13793103448275862 (/ 1 x)))
8.625 * [approximate]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in (x) around 0
8.625 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
8.625 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
8.625 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
8.625 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
8.625 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.625 * [taylor]: Taking taylor expansion of x in x
8.625 * [backup-simplify]: Simplify 0 into 0
8.625 * [backup-simplify]: Simplify 1 into 1
8.626 * [backup-simplify]: Simplify (/ 1 1) into 1
8.626 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
8.626 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
8.626 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
8.626 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
8.626 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.626 * [taylor]: Taking taylor expansion of x in x
8.626 * [backup-simplify]: Simplify 0 into 0
8.626 * [backup-simplify]: Simplify 1 into 1
8.626 * [backup-simplify]: Simplify (/ 1 1) into 1
8.627 * [backup-simplify]: Simplify (+ 0 1) into 1
8.627 * [backup-simplify]: Simplify (- 1) into -1
8.627 * [backup-simplify]: Simplify -1 into -1
8.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.629 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
8.629 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
8.629 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
8.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.631 * [backup-simplify]: Simplify (+ 0 0) into 0
8.631 * [backup-simplify]: Simplify (- 0) into 0
8.631 * [backup-simplify]: Simplify 0 into 0
8.632 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.632 * [backup-simplify]: Simplify (+ 0 0) into 0
8.632 * [backup-simplify]: Simplify (- 0) into 0
8.632 * [backup-simplify]: Simplify 0 into 0
8.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.634 * [backup-simplify]: Simplify (+ 0 0) into 0
8.634 * [backup-simplify]: Simplify (- 0) into 0
8.634 * [backup-simplify]: Simplify 0 into 0
8.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.636 * [backup-simplify]: Simplify (+ 0 0) into 0
8.636 * [backup-simplify]: Simplify (- 0) into 0
8.636 * [backup-simplify]: Simplify 0 into 0
8.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.637 * [backup-simplify]: Simplify (+ 0 0) into 0
8.638 * [backup-simplify]: Simplify (- 0) into 0
8.638 * [backup-simplify]: Simplify 0 into 0
8.639 * [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
8.639 * [backup-simplify]: Simplify (+ 0 0) into 0
8.639 * [backup-simplify]: Simplify (- 0) into 0
8.640 * [backup-simplify]: Simplify 0 into 0
8.640 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* -1 (/ 1 (/ 1 (- x))))) into (- x 0.13793103448275862)
8.640 * * * [progress]: simplifying candidates
8.641 * [simplify]: Simplifying:
  (* (- 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))
  (/ (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)
8.643 * * [simplify]: Extracting # 0 : cost  0
8.643 * * [simplify]: Extracting # 1 : cost  0
8.644 * * [simplify]: Extracting # 2 : cost  0
8.644 * * [simplify]: Extracting # 3 : cost  0
8.644 * * [simplify]: Extracting # 4 : cost  0
8.644 * * [simplify]: Extracting # 5 : cost  0
8.644 * * [simplify]: Extracting # 6 : cost  0
8.645 * * [simplify]: iteration  0 :  76  enodes  (cost  483 )
8.680 * * [simplify]: Extracting # 0 : cost  0
8.681 * * [simplify]: Extracting # 1 : cost  0
8.681 * * [simplify]: Extracting # 2 : cost  0
8.681 * * [simplify]: Extracting # 3 : cost  0
8.682 * * [simplify]: Extracting # 4 : cost  0
8.682 * * [simplify]: iteration  1 :  187  enodes  (cost  475 )
8.797 * * [simplify]: Extracting # 0 : cost  0
8.798 * * [simplify]: Extracting # 1 : cost  0
8.800 * * [simplify]: Extracting # 2 : cost  0
8.801 * * [simplify]: Extracting # 3 : cost  0
8.802 * * [simplify]: Extracting # 4 : cost  0
8.803 * * [simplify]: Extracting # 5 : cost  0
8.804 * * [simplify]: iteration  2 :  584  enodes  (cost  405 )
9.514 * * [simplify]: Extracting # 0 : cost  0
9.516 * * [simplify]: Extracting # 1 : cost  0
9.519 * * [simplify]: Extracting # 2 : cost  0
9.521 * * [simplify]: Extracting # 3 : cost  0
9.523 * * [simplify]: iteration  3 :  2348  enodes  (cost  405 )
10.381 * * [simplify]: Extracting # 0 : cost  0
10.386 * * [simplify]: Extracting # 1 : cost  0
10.395 * * [simplify]: Extracting # 2 : cost  0
10.418 * * [simplify]: Extracting # 3 : cost  0
10.430 * * [simplify]: Extracting # 4 : cost  0
10.441 * * [simplify]: iteration done:  5001  enodes  (cost  405 )
10.442 * [simplify]: Simplified to:
  (* (- 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))
  (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))
  (+ (* x x) (* (/ 16.0 116.0) (+ x (/ 16.0 116.0))))
  (- (/ 16.0 116.0))
  (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (+ 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))
  (* 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)
10.443 * * * [progress]: adding candidates to table
10.558 * * [progress]: iteration 4 / 4
10.558 * * * [progress]: picking best candidate
10.573 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) y) 3.0))>
10.573 * * * [progress]: localizing error
10.589 * * * [progress]: generating rewritten candidates
10.589 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
10.677 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
10.759 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
10.781 * * * [progress]: generating series expansions
10.781 * * * * [progress]: [ 1 / 3 ] generating series at (2)
10.782 * [backup-simplify]: Simplify (* (* (- x (/ 16.0 116.0)) y) 3.0) into (* 3.0 (* (- x 0.13793103448275862) y))
10.782 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0
10.782 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
10.782 * [taylor]: Taking taylor expansion of 3.0 in y
10.782 * [backup-simplify]: Simplify 3.0 into 3.0
10.782 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
10.782 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
10.782 * [taylor]: Taking taylor expansion of x in y
10.782 * [backup-simplify]: Simplify x into x
10.782 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
10.782 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.782 * [taylor]: Taking taylor expansion of y in y
10.782 * [backup-simplify]: Simplify 0 into 0
10.782 * [backup-simplify]: Simplify 1 into 1
10.782 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
10.782 * [taylor]: Taking taylor expansion of 3.0 in x
10.782 * [backup-simplify]: Simplify 3.0 into 3.0
10.782 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
10.782 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
10.782 * [taylor]: Taking taylor expansion of x in x
10.782 * [backup-simplify]: Simplify 0 into 0
10.782 * [backup-simplify]: Simplify 1 into 1
10.782 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
10.782 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.782 * [taylor]: Taking taylor expansion of y in x
10.782 * [backup-simplify]: Simplify y into y
10.782 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
10.782 * [taylor]: Taking taylor expansion of 3.0 in x
10.782 * [backup-simplify]: Simplify 3.0 into 3.0
10.782 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
10.782 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
10.783 * [taylor]: Taking taylor expansion of x in x
10.783 * [backup-simplify]: Simplify 0 into 0
10.783 * [backup-simplify]: Simplify 1 into 1
10.783 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
10.783 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.783 * [taylor]: Taking taylor expansion of y in x
10.783 * [backup-simplify]: Simplify y into y
10.783 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
10.784 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
10.785 * [backup-simplify]: Simplify (* (- 0.13793103448275862) y) into (* -0.13793103448275862 y)
10.785 * [backup-simplify]: Simplify (* 3.0 (* -0.13793103448275862 y)) into (* -0.41379310344827586 y)
10.785 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
10.785 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
10.785 * [backup-simplify]: Simplify -0.41379310344827586 into -0.41379310344827586
10.785 * [taylor]: Taking taylor expansion of y in y
10.785 * [backup-simplify]: Simplify 0 into 0
10.785 * [backup-simplify]: Simplify 1 into 1
10.785 * [backup-simplify]: Simplify (* -0.41379310344827586 0) into 0
10.785 * [backup-simplify]: Simplify 0 into 0
10.786 * [backup-simplify]: Simplify (- 0) into 0
10.786 * [backup-simplify]: Simplify (+ 1 0) into 1
10.787 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (* 1 y)) into y
10.787 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 (* -0.13793103448275862 y))) into (* 3.0 y)
10.787 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
10.787 * [taylor]: Taking taylor expansion of 3.0 in y
10.787 * [backup-simplify]: Simplify 3.0 into 3.0
10.787 * [taylor]: Taking taylor expansion of y in y
10.787 * [backup-simplify]: Simplify 0 into 0
10.787 * [backup-simplify]: Simplify 1 into 1
10.788 * [backup-simplify]: Simplify (* 3.0 0) into 0
10.788 * [backup-simplify]: Simplify 0 into 0
10.789 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 1) (* 0 0)) into (- 0.41379310344827586)
10.790 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
10.790 * [backup-simplify]: Simplify (- 0) into 0
10.791 * [backup-simplify]: Simplify (+ 0 0) into 0
10.792 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (* 0 y))) into 0
10.792 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))) into 0
10.792 * [taylor]: Taking taylor expansion of 0 in y
10.792 * [backup-simplify]: Simplify 0 into 0
10.792 * [backup-simplify]: Simplify 0 into 0
10.794 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
10.794 * [backup-simplify]: Simplify 3.0 into 3.0
10.795 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 1) (* 0 0))) into 0
10.795 * [backup-simplify]: Simplify 0 into 0
10.795 * [backup-simplify]: Simplify (- 0) into 0
10.795 * [backup-simplify]: Simplify (+ 0 0) into 0
10.797 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
10.798 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y))))) into 0
10.798 * [taylor]: Taking taylor expansion of 0 in y
10.798 * [backup-simplify]: Simplify 0 into 0
10.798 * [backup-simplify]: Simplify 0 into 0
10.798 * [backup-simplify]: Simplify 0 into 0
10.799 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
10.799 * [backup-simplify]: Simplify 0 into 0
10.800 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
10.800 * [backup-simplify]: Simplify 0 into 0
10.800 * [backup-simplify]: Simplify (- 0) into 0
10.801 * [backup-simplify]: Simplify (+ 0 0) into 0
10.802 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
10.804 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))))) into 0
10.804 * [taylor]: Taking taylor expansion of 0 in y
10.804 * [backup-simplify]: Simplify 0 into 0
10.804 * [backup-simplify]: Simplify 0 into 0
10.804 * [backup-simplify]: Simplify (+ (* 3.0 (* y x)) (* (- 0.41379310344827586) (* y 1))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
10.805 * [backup-simplify]: Simplify (* (* (- (/ 1 x) (/ 16.0 116.0)) (/ 1 y)) 3.0) into (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y))
10.805 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0
10.805 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
10.805 * [taylor]: Taking taylor expansion of 3.0 in y
10.805 * [backup-simplify]: Simplify 3.0 into 3.0
10.805 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
10.805 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
10.805 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.805 * [taylor]: Taking taylor expansion of x in y
10.805 * [backup-simplify]: Simplify x into x
10.805 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.805 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
10.805 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.805 * [taylor]: Taking taylor expansion of y in y
10.805 * [backup-simplify]: Simplify 0 into 0
10.805 * [backup-simplify]: Simplify 1 into 1
10.806 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
10.806 * [backup-simplify]: Simplify (+ (/ 1 x) (- 0.13793103448275862)) into (- (/ 1 x) 0.13793103448275862)
10.806 * [backup-simplify]: Simplify (/ (- (/ 1 x) 0.13793103448275862) 1) into (- (/ 1 x) 0.13793103448275862)
10.806 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
10.806 * [taylor]: Taking taylor expansion of 3.0 in x
10.806 * [backup-simplify]: Simplify 3.0 into 3.0
10.806 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
10.807 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
10.807 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.807 * [taylor]: Taking taylor expansion of x in x
10.807 * [backup-simplify]: Simplify 0 into 0
10.807 * [backup-simplify]: Simplify 1 into 1
10.807 * [backup-simplify]: Simplify (/ 1 1) into 1
10.807 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
10.807 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.807 * [taylor]: Taking taylor expansion of y in x
10.807 * [backup-simplify]: Simplify y into y
10.808 * [backup-simplify]: Simplify (+ 1 0) into 1
10.808 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.808 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
10.808 * [taylor]: Taking taylor expansion of 3.0 in x
10.808 * [backup-simplify]: Simplify 3.0 into 3.0
10.808 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
10.808 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
10.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.808 * [taylor]: Taking taylor expansion of x in x
10.808 * [backup-simplify]: Simplify 0 into 0
10.808 * [backup-simplify]: Simplify 1 into 1
10.808 * [backup-simplify]: Simplify (/ 1 1) into 1
10.808 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
10.808 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.808 * [taylor]: Taking taylor expansion of y in x
10.808 * [backup-simplify]: Simplify y into y
10.809 * [backup-simplify]: Simplify (+ 1 0) into 1
10.809 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.809 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
10.809 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
10.809 * [taylor]: Taking taylor expansion of 3.0 in y
10.809 * [backup-simplify]: Simplify 3.0 into 3.0
10.809 * [taylor]: Taking taylor expansion of y in y
10.809 * [backup-simplify]: Simplify 0 into 0
10.809 * [backup-simplify]: Simplify 1 into 1
10.810 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
10.810 * [backup-simplify]: Simplify 3.0 into 3.0
10.810 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.811 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
10.811 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
10.812 * [backup-simplify]: Simplify (- (/ (- 0.13793103448275862) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (* 0.13793103448275862 (/ 1 y)))
10.812 * [backup-simplify]: Simplify (+ (* 3.0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))) into (- (* 0.41379310344827586 (/ 1 y)))
10.812 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
10.812 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
10.812 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
10.812 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
10.812 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.812 * [taylor]: Taking taylor expansion of y in y
10.812 * [backup-simplify]: Simplify 0 into 0
10.812 * [backup-simplify]: Simplify 1 into 1
10.812 * [backup-simplify]: Simplify (/ 1 1) into 1
10.813 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
10.813 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
10.813 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
10.814 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
10.814 * [backup-simplify]: Simplify 0 into 0
10.814 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.815 * [backup-simplify]: Simplify (- 0) into 0
10.815 * [backup-simplify]: Simplify (+ 0 0) into 0
10.815 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)))) into 0
10.815 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y)))) into 0
10.816 * [taylor]: Taking taylor expansion of 0 in y
10.816 * [backup-simplify]: Simplify 0 into 0
10.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.817 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
10.817 * [backup-simplify]: Simplify (- 0) into 0
10.817 * [backup-simplify]: Simplify 0 into 0
10.818 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.818 * [backup-simplify]: Simplify 0 into 0
10.818 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.818 * [backup-simplify]: Simplify (- 0) into 0
10.819 * [backup-simplify]: Simplify (+ 0 0) into 0
10.819 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.819 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))))) into 0
10.819 * [taylor]: Taking taylor expansion of 0 in y
10.819 * [backup-simplify]: Simplify 0 into 0
10.820 * [backup-simplify]: Simplify 0 into 0
10.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.821 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
10.821 * [backup-simplify]: Simplify (- 0) into 0
10.821 * [backup-simplify]: Simplify 0 into 0
10.821 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.821 * [backup-simplify]: Simplify 0 into 0
10.822 * [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))
10.822 * [backup-simplify]: Simplify (* (* (- (/ 1 (- x)) (/ 16.0 116.0)) (/ 1 (- y))) 3.0) into (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y))
10.822 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0
10.822 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
10.822 * [taylor]: Taking taylor expansion of 3.0 in y
10.822 * [backup-simplify]: Simplify 3.0 into 3.0
10.822 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
10.822 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
10.823 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
10.823 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.823 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.823 * [taylor]: Taking taylor expansion of x in y
10.823 * [backup-simplify]: Simplify x into x
10.823 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.823 * [taylor]: Taking taylor expansion of y in y
10.823 * [backup-simplify]: Simplify 0 into 0
10.823 * [backup-simplify]: Simplify 1 into 1
10.823 * [backup-simplify]: Simplify (+ 0.13793103448275862 (/ 1 x)) into (+ (/ 1 x) 0.13793103448275862)
10.823 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 0.13793103448275862) 1) into (+ 0.13793103448275862 (/ 1 x))
10.823 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
10.823 * [taylor]: Taking taylor expansion of 3.0 in x
10.823 * [backup-simplify]: Simplify 3.0 into 3.0
10.823 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
10.823 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
10.823 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
10.823 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.823 * [taylor]: Taking taylor expansion of x in x
10.823 * [backup-simplify]: Simplify 0 into 0
10.823 * [backup-simplify]: Simplify 1 into 1
10.823 * [backup-simplify]: Simplify (/ 1 1) into 1
10.823 * [taylor]: Taking taylor expansion of y in x
10.823 * [backup-simplify]: Simplify y into y
10.824 * [backup-simplify]: Simplify (+ 0 1) into 1
10.824 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.824 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
10.824 * [taylor]: Taking taylor expansion of 3.0 in x
10.824 * [backup-simplify]: Simplify 3.0 into 3.0
10.824 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
10.824 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
10.824 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
10.824 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.824 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.824 * [taylor]: Taking taylor expansion of x in x
10.824 * [backup-simplify]: Simplify 0 into 0
10.824 * [backup-simplify]: Simplify 1 into 1
10.824 * [backup-simplify]: Simplify (/ 1 1) into 1
10.824 * [taylor]: Taking taylor expansion of y in x
10.824 * [backup-simplify]: Simplify y into y
10.824 * [backup-simplify]: Simplify (+ 0 1) into 1
10.824 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.825 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
10.825 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
10.825 * [taylor]: Taking taylor expansion of 3.0 in y
10.825 * [backup-simplify]: Simplify 3.0 into 3.0
10.825 * [taylor]: Taking taylor expansion of y in y
10.825 * [backup-simplify]: Simplify 0 into 0
10.825 * [backup-simplify]: Simplify 1 into 1
10.825 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
10.825 * [backup-simplify]: Simplify 3.0 into 3.0
10.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.826 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
10.826 * [backup-simplify]: Simplify (- (/ 0.13793103448275862 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 0.13793103448275862 (/ 1 y))
10.826 * [backup-simplify]: Simplify (+ (* 3.0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))) into (* 0.41379310344827586 (/ 1 y))
10.826 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
10.826 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
10.826 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
10.826 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.826 * [taylor]: Taking taylor expansion of y in y
10.826 * [backup-simplify]: Simplify 0 into 0
10.826 * [backup-simplify]: Simplify 1 into 1
10.827 * [backup-simplify]: Simplify (/ 1 1) into 1
10.827 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
10.827 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
10.828 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
10.828 * [backup-simplify]: Simplify 0 into 0
10.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.828 * [backup-simplify]: Simplify (+ 0 0) into 0
10.829 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)))) into 0
10.829 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y)))) into 0
10.829 * [taylor]: Taking taylor expansion of 0 in y
10.829 * [backup-simplify]: Simplify 0 into 0
10.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.830 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
10.830 * [backup-simplify]: Simplify 0 into 0
10.830 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.831 * [backup-simplify]: Simplify 0 into 0
10.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.831 * [backup-simplify]: Simplify (+ 0 0) into 0
10.831 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.832 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))))) into 0
10.832 * [taylor]: Taking taylor expansion of 0 in y
10.832 * [backup-simplify]: Simplify 0 into 0
10.832 * [backup-simplify]: Simplify 0 into 0
10.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.833 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
10.833 * [backup-simplify]: Simplify 0 into 0
10.834 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.834 * [backup-simplify]: Simplify 0 into 0
10.834 * [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))
10.834 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
10.835 * [backup-simplify]: Simplify (* (- x (/ 16.0 116.0)) y) into (* (- x 0.13793103448275862) y)
10.835 * [approximate]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in (x y) around 0
10.835 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
10.835 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
10.835 * [taylor]: Taking taylor expansion of x in y
10.835 * [backup-simplify]: Simplify x into x
10.835 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
10.835 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.835 * [taylor]: Taking taylor expansion of y in y
10.835 * [backup-simplify]: Simplify 0 into 0
10.835 * [backup-simplify]: Simplify 1 into 1
10.835 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
10.835 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
10.835 * [taylor]: Taking taylor expansion of x in x
10.835 * [backup-simplify]: Simplify 0 into 0
10.835 * [backup-simplify]: Simplify 1 into 1
10.835 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
10.835 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.835 * [taylor]: Taking taylor expansion of y in x
10.835 * [backup-simplify]: Simplify y into y
10.835 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
10.835 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
10.835 * [taylor]: Taking taylor expansion of x in x
10.835 * [backup-simplify]: Simplify 0 into 0
10.835 * [backup-simplify]: Simplify 1 into 1
10.835 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
10.835 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.835 * [taylor]: Taking taylor expansion of y in x
10.835 * [backup-simplify]: Simplify y into y
10.835 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
10.836 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
10.836 * [backup-simplify]: Simplify (* (- 0.13793103448275862) y) into (* -0.13793103448275862 y)
10.836 * [taylor]: Taking taylor expansion of (* -0.13793103448275862 y) in y
10.836 * [taylor]: Taking taylor expansion of -0.13793103448275862 in y
10.836 * [backup-simplify]: Simplify -0.13793103448275862 into -0.13793103448275862
10.836 * [taylor]: Taking taylor expansion of y in y
10.836 * [backup-simplify]: Simplify 0 into 0
10.836 * [backup-simplify]: Simplify 1 into 1
10.837 * [backup-simplify]: Simplify (* -0.13793103448275862 0) into 0
10.837 * [backup-simplify]: Simplify 0 into 0
10.837 * [backup-simplify]: Simplify (- 0) into 0
10.840 * [backup-simplify]: Simplify (+ 1 0) into 1
10.841 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (* 1 y)) into y
10.841 * [taylor]: Taking taylor expansion of y in y
10.841 * [backup-simplify]: Simplify 0 into 0
10.841 * [backup-simplify]: Simplify 1 into 1
10.841 * [backup-simplify]: Simplify 0 into 0
10.842 * [backup-simplify]: Simplify (+ (* -0.13793103448275862 1) (* 0 0)) into (- 0.13793103448275862)
10.843 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
10.843 * [backup-simplify]: Simplify (- 0) into 0
10.843 * [backup-simplify]: Simplify (+ 0 0) into 0
10.844 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (* 0 y))) into 0
10.844 * [taylor]: Taking taylor expansion of 0 in y
10.844 * [backup-simplify]: Simplify 0 into 0
10.844 * [backup-simplify]: Simplify 0 into 0
10.845 * [backup-simplify]: Simplify 1 into 1
10.846 * [backup-simplify]: Simplify (+ (* -0.13793103448275862 0) (+ (* 0 1) (* 0 0))) into 0
10.846 * [backup-simplify]: Simplify 0 into 0
10.846 * [backup-simplify]: Simplify (- 0) into 0
10.846 * [backup-simplify]: Simplify (+ 0 0) into 0
10.848 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
10.848 * [taylor]: Taking taylor expansion of 0 in y
10.848 * [backup-simplify]: Simplify 0 into 0
10.848 * [backup-simplify]: Simplify 0 into 0
10.848 * [backup-simplify]: Simplify 0 into 0
10.848 * [backup-simplify]: Simplify 0 into 0
10.849 * [backup-simplify]: Simplify (+ (* -0.13793103448275862 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
10.849 * [backup-simplify]: Simplify 0 into 0
10.850 * [backup-simplify]: Simplify (- 0) into 0
10.850 * [backup-simplify]: Simplify (+ 0 0) into 0
10.852 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
10.852 * [taylor]: Taking taylor expansion of 0 in y
10.852 * [backup-simplify]: Simplify 0 into 0
10.852 * [backup-simplify]: Simplify 0 into 0
10.852 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* (- 0.13793103448275862) (* y 1))) into (- (* x y) (* 0.13793103448275862 y))
10.853 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 16.0 116.0)) (/ 1 y)) into (/ (- (/ 1 x) 0.13793103448275862) y)
10.853 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in (x y) around 0
10.853 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
10.853 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
10.853 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.853 * [taylor]: Taking taylor expansion of x in y
10.853 * [backup-simplify]: Simplify x into x
10.853 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.853 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
10.853 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.853 * [taylor]: Taking taylor expansion of y in y
10.853 * [backup-simplify]: Simplify 0 into 0
10.853 * [backup-simplify]: Simplify 1 into 1
10.854 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
10.854 * [backup-simplify]: Simplify (+ (/ 1 x) (- 0.13793103448275862)) into (- (/ 1 x) 0.13793103448275862)
10.854 * [backup-simplify]: Simplify (/ (- (/ 1 x) 0.13793103448275862) 1) into (- (/ 1 x) 0.13793103448275862)
10.854 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
10.854 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
10.854 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.854 * [taylor]: Taking taylor expansion of x in x
10.854 * [backup-simplify]: Simplify 0 into 0
10.854 * [backup-simplify]: Simplify 1 into 1
10.855 * [backup-simplify]: Simplify (/ 1 1) into 1
10.855 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
10.855 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.855 * [taylor]: Taking taylor expansion of y in x
10.855 * [backup-simplify]: Simplify y into y
10.855 * [backup-simplify]: Simplify (+ 1 0) into 1
10.855 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.855 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
10.855 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
10.855 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.856 * [taylor]: Taking taylor expansion of x in x
10.856 * [backup-simplify]: Simplify 0 into 0
10.856 * [backup-simplify]: Simplify 1 into 1
10.856 * [backup-simplify]: Simplify (/ 1 1) into 1
10.856 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
10.856 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.856 * [taylor]: Taking taylor expansion of y in x
10.856 * [backup-simplify]: Simplify y into y
10.856 * [backup-simplify]: Simplify (+ 1 0) into 1
10.857 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.857 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.857 * [taylor]: Taking taylor expansion of y in y
10.857 * [backup-simplify]: Simplify 0 into 0
10.857 * [backup-simplify]: Simplify 1 into 1
10.857 * [backup-simplify]: Simplify (/ 1 1) into 1
10.857 * [backup-simplify]: Simplify 1 into 1
10.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.858 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
10.859 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
10.860 * [backup-simplify]: Simplify (- (/ (- 0.13793103448275862) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (* 0.13793103448275862 (/ 1 y)))
10.860 * [taylor]: Taking taylor expansion of (- (* 0.13793103448275862 (/ 1 y))) in y
10.860 * [taylor]: Taking taylor expansion of (* 0.13793103448275862 (/ 1 y)) in y
10.860 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
10.860 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.860 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.860 * [taylor]: Taking taylor expansion of y in y
10.860 * [backup-simplify]: Simplify 0 into 0
10.860 * [backup-simplify]: Simplify 1 into 1
10.860 * [backup-simplify]: Simplify (/ 1 1) into 1
10.861 * [backup-simplify]: Simplify (* 0.13793103448275862 1) into 0.13793103448275862
10.861 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
10.862 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
10.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.862 * [backup-simplify]: Simplify 0 into 0
10.863 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.863 * [backup-simplify]: Simplify (- 0) into 0
10.864 * [backup-simplify]: Simplify (+ 0 0) into 0
10.864 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)))) into 0
10.864 * [taylor]: Taking taylor expansion of 0 in y
10.864 * [backup-simplify]: Simplify 0 into 0
10.864 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.865 * [backup-simplify]: Simplify (+ (* 0.13793103448275862 0) (* 0 1)) into 0
10.865 * [backup-simplify]: Simplify (- 0) into 0
10.865 * [backup-simplify]: Simplify 0 into 0
10.865 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.866 * [backup-simplify]: Simplify 0 into 0
10.866 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.866 * [backup-simplify]: Simplify (- 0) into 0
10.866 * [backup-simplify]: Simplify (+ 0 0) into 0
10.867 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.867 * [taylor]: Taking taylor expansion of 0 in y
10.867 * [backup-simplify]: Simplify 0 into 0
10.867 * [backup-simplify]: Simplify 0 into 0
10.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.868 * [backup-simplify]: Simplify (+ (* 0.13793103448275862 0) (+ (* 0 0) (* 0 1))) into 0
10.868 * [backup-simplify]: Simplify (- 0) into 0
10.868 * [backup-simplify]: Simplify 0 into 0
10.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.869 * [backup-simplify]: Simplify 0 into 0
10.869 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (* x y) (* 0.13793103448275862 y))
10.870 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 16.0 116.0)) (/ 1 (- y))) into (/ (+ 0.13793103448275862 (/ 1 x)) y)
10.870 * [approximate]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in (x y) around 0
10.870 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
10.870 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
10.870 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
10.870 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.870 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.870 * [taylor]: Taking taylor expansion of x in y
10.870 * [backup-simplify]: Simplify x into x
10.870 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.870 * [taylor]: Taking taylor expansion of y in y
10.870 * [backup-simplify]: Simplify 0 into 0
10.870 * [backup-simplify]: Simplify 1 into 1
10.870 * [backup-simplify]: Simplify (+ 0.13793103448275862 (/ 1 x)) into (+ (/ 1 x) 0.13793103448275862)
10.870 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 0.13793103448275862) 1) into (+ 0.13793103448275862 (/ 1 x))
10.870 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
10.870 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
10.870 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
10.870 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.870 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.870 * [taylor]: Taking taylor expansion of x in x
10.870 * [backup-simplify]: Simplify 0 into 0
10.870 * [backup-simplify]: Simplify 1 into 1
10.870 * [backup-simplify]: Simplify (/ 1 1) into 1
10.870 * [taylor]: Taking taylor expansion of y in x
10.870 * [backup-simplify]: Simplify y into y
10.871 * [backup-simplify]: Simplify (+ 0 1) into 1
10.871 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.871 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
10.871 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
10.871 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
10.871 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.871 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.871 * [taylor]: Taking taylor expansion of x in x
10.871 * [backup-simplify]: Simplify 0 into 0
10.871 * [backup-simplify]: Simplify 1 into 1
10.871 * [backup-simplify]: Simplify (/ 1 1) into 1
10.871 * [taylor]: Taking taylor expansion of y in x
10.871 * [backup-simplify]: Simplify y into y
10.871 * [backup-simplify]: Simplify (+ 0 1) into 1
10.871 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.872 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.872 * [taylor]: Taking taylor expansion of y in y
10.872 * [backup-simplify]: Simplify 0 into 0
10.872 * [backup-simplify]: Simplify 1 into 1
10.872 * [backup-simplify]: Simplify (/ 1 1) into 1
10.872 * [backup-simplify]: Simplify 1 into 1
10.872 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.873 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
10.873 * [backup-simplify]: Simplify (- (/ 0.13793103448275862 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 0.13793103448275862 (/ 1 y))
10.873 * [taylor]: Taking taylor expansion of (* 0.13793103448275862 (/ 1 y)) in y
10.873 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
10.873 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.873 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.873 * [taylor]: Taking taylor expansion of y in y
10.873 * [backup-simplify]: Simplify 0 into 0
10.873 * [backup-simplify]: Simplify 1 into 1
10.873 * [backup-simplify]: Simplify (/ 1 1) into 1
10.873 * [backup-simplify]: Simplify (* 0.13793103448275862 1) into 0.13793103448275862
10.873 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.874 * [backup-simplify]: Simplify 0 into 0
10.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.875 * [backup-simplify]: Simplify (+ 0 0) into 0
10.875 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)))) into 0
10.875 * [taylor]: Taking taylor expansion of 0 in y
10.875 * [backup-simplify]: Simplify 0 into 0
10.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.876 * [backup-simplify]: Simplify (+ (* 0.13793103448275862 0) (* 0 1)) into 0
10.876 * [backup-simplify]: Simplify 0 into 0
10.876 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.876 * [backup-simplify]: Simplify 0 into 0
10.877 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.877 * [backup-simplify]: Simplify (+ 0 0) into 0
10.877 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.877 * [taylor]: Taking taylor expansion of 0 in y
10.877 * [backup-simplify]: Simplify 0 into 0
10.877 * [backup-simplify]: Simplify 0 into 0
10.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.879 * [backup-simplify]: Simplify (+ (* 0.13793103448275862 0) (+ (* 0 0) (* 0 1))) into 0
10.879 * [backup-simplify]: Simplify 0 into 0
10.879 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.879 * [backup-simplify]: Simplify 0 into 0
10.879 * [backup-simplify]: Simplify (+ (* 0.13793103448275862 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (* x y) (* 0.13793103448275862 y))
10.879 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
10.880 * [backup-simplify]: Simplify (- x (/ 16.0 116.0)) into (- x 0.13793103448275862)
10.880 * [approximate]: Taking taylor expansion of (- x 0.13793103448275862) in (x) around 0
10.880 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
10.880 * [taylor]: Taking taylor expansion of x in x
10.880 * [backup-simplify]: Simplify 0 into 0
10.880 * [backup-simplify]: Simplify 1 into 1
10.880 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
10.880 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.880 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
10.880 * [taylor]: Taking taylor expansion of x in x
10.880 * [backup-simplify]: Simplify 0 into 0
10.880 * [backup-simplify]: Simplify 1 into 1
10.880 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
10.880 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.880 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
10.881 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
10.881 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
10.881 * [backup-simplify]: Simplify (- 0) into 0
10.882 * [backup-simplify]: Simplify (+ 1 0) into 1
10.882 * [backup-simplify]: Simplify 1 into 1
10.882 * [backup-simplify]: Simplify (- 0) into 0
10.882 * [backup-simplify]: Simplify (+ 0 0) into 0
10.882 * [backup-simplify]: Simplify 0 into 0
10.882 * [backup-simplify]: Simplify (- 0) into 0
10.883 * [backup-simplify]: Simplify (+ 0 0) into 0
10.883 * [backup-simplify]: Simplify 0 into 0
10.883 * [backup-simplify]: Simplify (- 0) into 0
10.883 * [backup-simplify]: Simplify (+ 0 0) into 0
10.883 * [backup-simplify]: Simplify 0 into 0
10.883 * [backup-simplify]: Simplify (- 0) into 0
10.883 * [backup-simplify]: Simplify (+ 0 0) into 0
10.884 * [backup-simplify]: Simplify 0 into 0
10.884 * [backup-simplify]: Simplify (- 0) into 0
10.884 * [backup-simplify]: Simplify (+ 0 0) into 0
10.884 * [backup-simplify]: Simplify 0 into 0
10.884 * [backup-simplify]: Simplify (- 0) into 0
10.884 * [backup-simplify]: Simplify (+ 0 0) into 0
10.884 * [backup-simplify]: Simplify 0 into 0
10.885 * [backup-simplify]: Simplify (+ (* 1 x) (- 0.13793103448275862)) into (- x 0.13793103448275862)
10.885 * [backup-simplify]: Simplify (- (/ 1 x) (/ 16.0 116.0)) into (- (/ 1 x) 0.13793103448275862)
10.885 * [approximate]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in (x) around 0
10.885 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
10.885 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.885 * [taylor]: Taking taylor expansion of x in x
10.885 * [backup-simplify]: Simplify 0 into 0
10.885 * [backup-simplify]: Simplify 1 into 1
10.885 * [backup-simplify]: Simplify (/ 1 1) into 1
10.885 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
10.886 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.886 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
10.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.886 * [taylor]: Taking taylor expansion of x in x
10.886 * [backup-simplify]: Simplify 0 into 0
10.886 * [backup-simplify]: Simplify 1 into 1
10.886 * [backup-simplify]: Simplify (/ 1 1) into 1
10.886 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
10.886 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.886 * [backup-simplify]: Simplify (+ 1 0) into 1
10.886 * [backup-simplify]: Simplify 1 into 1
10.887 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.887 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
10.887 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
10.888 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
10.888 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.888 * [backup-simplify]: Simplify (- 0) into 0
10.889 * [backup-simplify]: Simplify (+ 0 0) into 0
10.889 * [backup-simplify]: Simplify 0 into 0
10.889 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.889 * [backup-simplify]: Simplify (- 0) into 0
10.890 * [backup-simplify]: Simplify (+ 0 0) into 0
10.890 * [backup-simplify]: Simplify 0 into 0
10.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.890 * [backup-simplify]: Simplify (- 0) into 0
10.891 * [backup-simplify]: Simplify (+ 0 0) into 0
10.891 * [backup-simplify]: Simplify 0 into 0
10.891 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.892 * [backup-simplify]: Simplify (- 0) into 0
10.892 * [backup-simplify]: Simplify (+ 0 0) into 0
10.892 * [backup-simplify]: Simplify 0 into 0
10.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.893 * [backup-simplify]: Simplify (- 0) into 0
10.894 * [backup-simplify]: Simplify (+ 0 0) into 0
10.894 * [backup-simplify]: Simplify 0 into 0
10.895 * [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
10.895 * [backup-simplify]: Simplify (- 0) into 0
10.896 * [backup-simplify]: Simplify (+ 0 0) into 0
10.896 * [backup-simplify]: Simplify 0 into 0
10.896 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* 1 (/ 1 (/ 1 x)))) into (- x 0.13793103448275862)
10.897 * [backup-simplify]: Simplify (- (/ 1 (- x)) (/ 16.0 116.0)) into (- (+ 0.13793103448275862 (/ 1 x)))
10.897 * [approximate]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in (x) around 0
10.897 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
10.897 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
10.897 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
10.897 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.897 * [taylor]: Taking taylor expansion of x in x
10.897 * [backup-simplify]: Simplify 0 into 0
10.897 * [backup-simplify]: Simplify 1 into 1
10.897 * [backup-simplify]: Simplify (/ 1 1) into 1
10.898 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
10.898 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
10.898 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
10.898 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
10.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.898 * [taylor]: Taking taylor expansion of x in x
10.898 * [backup-simplify]: Simplify 0 into 0
10.898 * [backup-simplify]: Simplify 1 into 1
10.898 * [backup-simplify]: Simplify (/ 1 1) into 1
10.899 * [backup-simplify]: Simplify (+ 0 1) into 1
10.899 * [backup-simplify]: Simplify (- 1) into -1
10.899 * [backup-simplify]: Simplify -1 into -1
10.900 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.901 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
10.901 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
10.901 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
10.902 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.903 * [backup-simplify]: Simplify (+ 0 0) into 0
10.903 * [backup-simplify]: Simplify (- 0) into 0
10.903 * [backup-simplify]: Simplify 0 into 0
10.904 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.904 * [backup-simplify]: Simplify (+ 0 0) into 0
10.905 * [backup-simplify]: Simplify (- 0) into 0
10.905 * [backup-simplify]: Simplify 0 into 0
10.905 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.906 * [backup-simplify]: Simplify (+ 0 0) into 0
10.906 * [backup-simplify]: Simplify (- 0) into 0
10.906 * [backup-simplify]: Simplify 0 into 0
10.907 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.907 * [backup-simplify]: Simplify (+ 0 0) into 0
10.908 * [backup-simplify]: Simplify (- 0) into 0
10.908 * [backup-simplify]: Simplify 0 into 0
10.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.909 * [backup-simplify]: Simplify (+ 0 0) into 0
10.909 * [backup-simplify]: Simplify (- 0) into 0
10.909 * [backup-simplify]: Simplify 0 into 0
10.910 * [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
10.911 * [backup-simplify]: Simplify (+ 0 0) into 0
10.911 * [backup-simplify]: Simplify (- 0) into 0
10.911 * [backup-simplify]: Simplify 0 into 0
10.912 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* -1 (/ 1 (/ 1 (- x))))) into (- x 0.13793103448275862)
10.912 * * * [progress]: simplifying candidates
10.913 * [simplify]: Simplifying:
  (* (* (- 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)
  (* (- 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)
  (/ (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)
10.916 * * [simplify]: Extracting # 0 : cost  0
10.916 * * [simplify]: Extracting # 1 : cost  0
10.917 * * [simplify]: Extracting # 2 : cost  0
10.917 * * [simplify]: Extracting # 3 : cost  0
10.917 * * [simplify]: Extracting # 4 : cost  0
10.917 * * [simplify]: Extracting # 5 : cost  0
10.918 * * [simplify]: Extracting # 6 : cost  0
10.918 * * [simplify]: iteration  0 :  98  enodes  (cost  707 )
10.942 * * [simplify]: Extracting # 0 : cost  0
10.942 * * [simplify]: Extracting # 1 : cost  0
10.942 * * [simplify]: Extracting # 2 : cost  0
10.943 * * [simplify]: Extracting # 3 : cost  0
10.943 * * [simplify]: iteration  1 :  225  enodes  (cost  688 )
11.076 * * [simplify]: Extracting # 0 : cost  0
11.076 * * [simplify]: Extracting # 1 : cost  0
11.077 * * [simplify]: Extracting # 2 : cost  0
11.078 * * [simplify]: Extracting # 3 : cost  0
11.079 * * [simplify]: Extracting # 4 : cost  0
11.080 * * [simplify]: Extracting # 5 : cost  0
11.081 * * [simplify]: iteration  2 :  738  enodes  (cost  590 )
12.039 * * [simplify]: Extracting # 0 : cost  0
12.043 * * [simplify]: Extracting # 1 : cost  0
12.049 * * [simplify]: Extracting # 2 : cost  0
12.054 * * [simplify]: Extracting # 3 : cost  0
12.057 * * [simplify]: Extracting # 4 : cost  0
12.060 * * [simplify]: iteration  3 :  2805  enodes  (cost  590 )
13.243 * * [simplify]: Extracting # 0 : cost  0
13.248 * * [simplify]: Extracting # 1 : cost  0
13.255 * * [simplify]: Extracting # 2 : cost  0
13.266 * * [simplify]: Extracting # 3 : cost  0
13.276 * * [simplify]: Extracting # 4 : cost  0
13.284 * * [simplify]: iteration done:  5001  enodes  (cost  590 )
13.284 * [simplify]: Simplified to:
  (* (* (- 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 3.0) (cbrt 3.0)))
  (* (* (- x (/ 16.0 116.0)) y) (sqrt 3.0))
  (* (- x (/ 16.0 116.0)) y)
  (* 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)
  (* (- x (/ 16.0 116.0)) y)
  (log (* (- x (/ 16.0 116.0)) y))
  (log (* (- x (/ 16.0 116.0)) y))
  (exp (* (- x (/ 16.0 116.0)) y))
  (pow (* (- x (/ 16.0 116.0)) y) 3)
  (* (cbrt (* (- x (/ 16.0 116.0)) y)) (cbrt (* (- x (/ 16.0 116.0)) y)))
  (cbrt (* (- x (/ 16.0 116.0)) y))
  (pow (* (- x (/ 16.0 116.0)) y) 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)
  (* (- 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)
  (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))
  (+ (* (/ 16.0 116.0) (+ x (/ 16.0 116.0))) (* x x))
  (- (/ 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))
  (* 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)
13.285 * * * [progress]: adding candidates to table
13.406 * [progress]: [Phase 3 of 3] Extracting.
13.406 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* y (* (* (cbrt (- (* 3.0 x) 0.41379310344827586)) (cbrt (- (* 3.0 x) 0.41379310344827586))) (cbrt (- (* 3.0 x) 0.41379310344827586)))))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* y 3.0)))> #<alt (λ (x y) (* y (- (* 3.0 x) 0.41379310344827586)))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) y) 3.0))> #<alt (λ (x y) (/ (* y (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586))) (+ (* 3.0 x) 0.41379310344827586)))> #<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))))))>)
13.407 * * * [regime-changes]: Trying 3 branch expressions: ((- x (/ 16.0 116.0)) y x)
13.407 * * * * [regimes]: Trying to branch on (- x (/ 16.0 116.0)) from (#<alt (λ (x y) (* y (* (* (cbrt (- (* 3.0 x) 0.41379310344827586)) (cbrt (- (* 3.0 x) 0.41379310344827586))) (cbrt (- (* 3.0 x) 0.41379310344827586)))))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* y 3.0)))> #<alt (λ (x y) (* y (- (* 3.0 x) 0.41379310344827586)))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) y) 3.0))> #<alt (λ (x y) (/ (* y (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586))) (+ (* 3.0 x) 0.41379310344827586)))> #<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))))))>)
13.435 * * * * [regimes]: Trying to branch on (- x (/ 16.0 116.0)) from (#<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* y 3.0)))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) y) 3.0))>)
13.448 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* y (* (* (cbrt (- (* 3.0 x) 0.41379310344827586)) (cbrt (- (* 3.0 x) 0.41379310344827586))) (cbrt (- (* 3.0 x) 0.41379310344827586)))))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* y 3.0)))> #<alt (λ (x y) (* y (- (* 3.0 x) 0.41379310344827586)))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) y) 3.0))> #<alt (λ (x y) (/ (* y (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586))) (+ (* 3.0 x) 0.41379310344827586)))> #<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))))))>)
13.474 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* y (* (* (cbrt (- (* 3.0 x) 0.41379310344827586)) (cbrt (- (* 3.0 x) 0.41379310344827586))) (cbrt (- (* 3.0 x) 0.41379310344827586)))))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* y 3.0)))> #<alt (λ (x y) (* y (- (* 3.0 x) 0.41379310344827586)))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) y) 3.0))> #<alt (λ (x y) (/ (* y (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586))) (+ (* 3.0 x) 0.41379310344827586)))> #<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))))))>)
13.497 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
13.498 * [simplify]: Simplifying:
  (* y (- (* 3.0 x) 0.41379310344827586))
13.498 * * [simplify]: Extracting # 0 : cost  0
13.498 * * [simplify]: Extracting # 1 : cost  0
13.498 * * [simplify]: Extracting # 2 : cost  0
13.498 * * [simplify]: Extracting # 3 : cost  0
13.498 * * [simplify]: Extracting # 4 : cost  0
13.498 * * [simplify]: Extracting # 5 : cost  0
13.498 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
13.498 * * [simplify]: Extracting # 0 : cost  0
13.498 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
13.499 * * [simplify]: Extracting # 0 : cost  0
13.499 * * [simplify]: iteration done:  9  enodes  (cost  7 )
13.499 * [simplify]: Simplified to:
  (* y (- (* 3.0 x) 0.41379310344827586))
14.471 * [regime-testing]: Baseline error score: 0.2154962979750173
14.477 * [regime-testing]: Oracle error score: 0.014001750218777347
14.485 * [regime-testing]: End program error score: 0.2154962979750173
14.512 * [regime-testing]: Target error score: 0.2154962979750173