51.332 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.034 * * * [progress]: [2/2] Setting up program.
0.037 * [progress]: [Phase 2 of 3] Improving.
0.038 * [simplify]: Simplifying:
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
0.038 * * [simplify]: Extracting # 0 : cost  0
0.038 * * [simplify]: Extracting # 1 : cost  0
0.038 * * [simplify]: Extracting # 2 : cost  0
0.038 * * [simplify]: Extracting # 3 : cost  0
0.038 * * [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.042 * * [simplify]: Extracting # 0 : cost  0
0.042 * * [simplify]: Extracting # 1 : cost  0
0.042 * * [simplify]: Extracting # 2 : cost  0
0.042 * * [simplify]: iteration  1 :  15  enodes  (cost  9 )
0.048 * * [simplify]: Extracting # 0 : cost  0
0.049 * * [simplify]: Extracting # 1 : cost  0
0.049 * * [simplify]: Extracting # 2 : cost  0
0.049 * * [simplify]: iteration  2 :  31  enodes  (cost  9 )
0.063 * * [simplify]: Extracting # 0 : cost  0
0.063 * * [simplify]: Extracting # 1 : cost  0
0.063 * * [simplify]: Extracting # 2 : cost  0
0.063 * * [simplify]: iteration  3 :  71  enodes  (cost  9 )
0.110 * * [simplify]: Extracting # 0 : cost  0
0.110 * * [simplify]: Extracting # 1 : cost  0
0.110 * * [simplify]: Extracting # 2 : cost  0
0.111 * * [simplify]: iteration  4 :  136  enodes  (cost  9 )
0.164 * * [simplify]: Extracting # 0 : cost  0
0.164 * * [simplify]: Extracting # 1 : cost  0
0.165 * * [simplify]: Extracting # 2 : cost  0
0.165 * * [simplify]: iteration  5 :  209  enodes  (cost  9 )
0.256 * * [simplify]: Extracting # 0 : cost  0
0.257 * * [simplify]: Extracting # 1 : cost  0
0.257 * * [simplify]: Extracting # 2 : cost  0
0.257 * * [simplify]: iteration  6 :  276  enodes  (cost  9 )
0.358 * * [simplify]: Extracting # 0 : cost  0
0.359 * * [simplify]: Extracting # 1 : cost  0
0.359 * * [simplify]: Extracting # 2 : cost  0
0.360 * * [simplify]: iteration  7 :  340  enodes  (cost  9 )
0.484 * * [simplify]: Extracting # 0 : cost  0
0.484 * * [simplify]: Extracting # 1 : cost  0
0.485 * * [simplify]: Extracting # 2 : cost  0
0.485 * * [simplify]: iteration  8 :  377  enodes  (cost  9 )
0.602 * * [simplify]: Extracting # 0 : cost  0
0.602 * * [simplify]: iteration  9 :  382  enodes  (cost  9 )
0.750 * * [simplify]: Extracting # 0 : cost  0
0.750 * * [simplify]: iteration done:  382  enodes  (cost  9 )
0.750 * [simplify]: Simplified to:
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
0.751 * * [progress]: iteration 1 / 4
0.751 * * * [progress]: picking best candidate
0.752 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))>
0.752 * * * [progress]: localizing error
0.759 * * * [progress]: generating rewritten candidates
0.759 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.848 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.904 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
0.922 * * * [progress]: generating series expansions
0.923 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.924 * [backup-simplify]: Simplify (* (* (- x (/ 16.0 116.0)) 3.0) y) into (* 3.0 (* (- x 0.13793103448275862) y))
0.924 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0
0.924 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
0.924 * [taylor]: Taking taylor expansion of 3.0 in y
0.924 * [backup-simplify]: Simplify 3.0 into 3.0
0.924 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
0.924 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
0.924 * [taylor]: Taking taylor expansion of x in y
0.924 * [backup-simplify]: Simplify x into x
0.924 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.924 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.924 * [taylor]: Taking taylor expansion of y in y
0.924 * [backup-simplify]: Simplify 0 into 0
0.924 * [backup-simplify]: Simplify 1 into 1
0.924 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
0.924 * [taylor]: Taking taylor expansion of 3.0 in x
0.924 * [backup-simplify]: Simplify 3.0 into 3.0
0.924 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
0.924 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.924 * [taylor]: Taking taylor expansion of x in x
0.924 * [backup-simplify]: Simplify 0 into 0
0.924 * [backup-simplify]: Simplify 1 into 1
0.924 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.924 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.924 * [taylor]: Taking taylor expansion of y in x
0.924 * [backup-simplify]: Simplify y into y
0.924 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
0.924 * [taylor]: Taking taylor expansion of 3.0 in x
0.925 * [backup-simplify]: Simplify 3.0 into 3.0
0.925 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
0.925 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.925 * [taylor]: Taking taylor expansion of x in x
0.925 * [backup-simplify]: Simplify 0 into 0
0.925 * [backup-simplify]: Simplify 1 into 1
0.925 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.925 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.925 * [taylor]: Taking taylor expansion of y in x
0.925 * [backup-simplify]: Simplify y into y
0.925 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
0.926 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
0.927 * [backup-simplify]: Simplify (* (- 0.13793103448275862) y) into (* -0.13793103448275862 y)
0.927 * [backup-simplify]: Simplify (* 3.0 (* -0.13793103448275862 y)) into (* -0.41379310344827586 y)
0.927 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
0.927 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
0.927 * [backup-simplify]: Simplify -0.41379310344827586 into -0.41379310344827586
0.927 * [taylor]: Taking taylor expansion of y in y
0.927 * [backup-simplify]: Simplify 0 into 0
0.927 * [backup-simplify]: Simplify 1 into 1
0.927 * [backup-simplify]: Simplify (* -0.41379310344827586 0) into 0
0.928 * [backup-simplify]: Simplify 0 into 0
0.928 * [backup-simplify]: Simplify (- 0) into 0
0.928 * [backup-simplify]: Simplify (+ 1 0) into 1
0.929 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (* 1 y)) into y
0.929 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 (* -0.13793103448275862 y))) into (* 3.0 y)
0.929 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
0.929 * [taylor]: Taking taylor expansion of 3.0 in y
0.929 * [backup-simplify]: Simplify 3.0 into 3.0
0.929 * [taylor]: Taking taylor expansion of y in y
0.929 * [backup-simplify]: Simplify 0 into 0
0.929 * [backup-simplify]: Simplify 1 into 1
0.930 * [backup-simplify]: Simplify (* 3.0 0) into 0
0.930 * [backup-simplify]: Simplify 0 into 0
0.936 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 1) (* 0 0)) into (- 0.41379310344827586)
0.937 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
0.937 * [backup-simplify]: Simplify (- 0) into 0
0.938 * [backup-simplify]: Simplify (+ 0 0) into 0
0.938 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (* 0 y))) into 0
0.939 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))) into 0
0.939 * [taylor]: Taking taylor expansion of 0 in y
0.939 * [backup-simplify]: Simplify 0 into 0
0.939 * [backup-simplify]: Simplify 0 into 0
0.940 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
0.940 * [backup-simplify]: Simplify 3.0 into 3.0
0.940 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 1) (* 0 0))) into 0
0.940 * [backup-simplify]: Simplify 0 into 0
0.941 * [backup-simplify]: Simplify (- 0) into 0
0.941 * [backup-simplify]: Simplify (+ 0 0) into 0
0.942 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.942 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y))))) into 0
0.942 * [taylor]: Taking taylor expansion of 0 in y
0.942 * [backup-simplify]: Simplify 0 into 0
0.942 * [backup-simplify]: Simplify 0 into 0
0.942 * [backup-simplify]: Simplify 0 into 0
0.943 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
0.943 * [backup-simplify]: Simplify 0 into 0
0.944 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.944 * [backup-simplify]: Simplify 0 into 0
0.944 * [backup-simplify]: Simplify (- 0) into 0
0.944 * [backup-simplify]: Simplify (+ 0 0) into 0
0.945 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.946 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))))) into 0
0.946 * [taylor]: Taking taylor expansion of 0 in y
0.946 * [backup-simplify]: Simplify 0 into 0
0.946 * [backup-simplify]: Simplify 0 into 0
0.946 * [backup-simplify]: Simplify (+ (* 3.0 (* y x)) (* (- 0.41379310344827586) (* y 1))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
0.947 * [backup-simplify]: Simplify (* (* (- (/ 1 x) (/ 16.0 116.0)) 3.0) (/ 1 y)) into (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y))
0.947 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0
0.947 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
0.947 * [taylor]: Taking taylor expansion of 3.0 in y
0.947 * [backup-simplify]: Simplify 3.0 into 3.0
0.947 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
0.947 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
0.947 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.947 * [taylor]: Taking taylor expansion of x in y
0.947 * [backup-simplify]: Simplify x into x
0.947 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.947 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.947 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.947 * [taylor]: Taking taylor expansion of y in y
0.947 * [backup-simplify]: Simplify 0 into 0
0.947 * [backup-simplify]: Simplify 1 into 1
0.947 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
0.948 * [backup-simplify]: Simplify (+ (/ 1 x) (- 0.13793103448275862)) into (- (/ 1 x) 0.13793103448275862)
0.948 * [backup-simplify]: Simplify (/ (- (/ 1 x) 0.13793103448275862) 1) into (- (/ 1 x) 0.13793103448275862)
0.948 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
0.948 * [taylor]: Taking taylor expansion of 3.0 in x
0.948 * [backup-simplify]: Simplify 3.0 into 3.0
0.948 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
0.948 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.948 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.948 * [taylor]: Taking taylor expansion of x in x
0.948 * [backup-simplify]: Simplify 0 into 0
0.948 * [backup-simplify]: Simplify 1 into 1
0.948 * [backup-simplify]: Simplify (/ 1 1) into 1
0.948 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.948 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.948 * [taylor]: Taking taylor expansion of y in x
0.948 * [backup-simplify]: Simplify y into y
0.949 * [backup-simplify]: Simplify (+ 1 0) into 1
0.949 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.949 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
0.949 * [taylor]: Taking taylor expansion of 3.0 in x
0.949 * [backup-simplify]: Simplify 3.0 into 3.0
0.949 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
0.949 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.949 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.949 * [taylor]: Taking taylor expansion of x in x
0.949 * [backup-simplify]: Simplify 0 into 0
0.949 * [backup-simplify]: Simplify 1 into 1
0.949 * [backup-simplify]: Simplify (/ 1 1) into 1
0.949 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.949 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.949 * [taylor]: Taking taylor expansion of y in x
0.949 * [backup-simplify]: Simplify y into y
0.950 * [backup-simplify]: Simplify (+ 1 0) into 1
0.950 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.950 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
0.950 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.950 * [taylor]: Taking taylor expansion of 3.0 in y
0.950 * [backup-simplify]: Simplify 3.0 into 3.0
0.950 * [taylor]: Taking taylor expansion of y in y
0.950 * [backup-simplify]: Simplify 0 into 0
0.950 * [backup-simplify]: Simplify 1 into 1
0.950 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.950 * [backup-simplify]: Simplify 3.0 into 3.0
0.951 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.951 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
0.952 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
0.952 * [backup-simplify]: Simplify (- (/ (- 0.13793103448275862) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (* 0.13793103448275862 (/ 1 y)))
0.952 * [backup-simplify]: Simplify (+ (* 3.0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))) into (- (* 0.41379310344827586 (/ 1 y)))
0.952 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
0.952 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
0.952 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.952 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
0.952 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.952 * [taylor]: Taking taylor expansion of y in y
0.952 * [backup-simplify]: Simplify 0 into 0
0.952 * [backup-simplify]: Simplify 1 into 1
0.953 * [backup-simplify]: Simplify (/ 1 1) into 1
0.953 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
0.953 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
0.953 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
0.954 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
0.954 * [backup-simplify]: Simplify 0 into 0
0.955 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.955 * [backup-simplify]: Simplify (- 0) into 0
0.955 * [backup-simplify]: Simplify (+ 0 0) into 0
0.955 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)))) into 0
0.956 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y)))) into 0
0.956 * [taylor]: Taking taylor expansion of 0 in y
0.956 * [backup-simplify]: Simplify 0 into 0
0.956 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.957 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
0.957 * [backup-simplify]: Simplify (- 0) into 0
0.957 * [backup-simplify]: Simplify 0 into 0
0.957 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.957 * [backup-simplify]: Simplify 0 into 0
0.958 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.958 * [backup-simplify]: Simplify (- 0) into 0
0.958 * [backup-simplify]: Simplify (+ 0 0) into 0
0.959 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.959 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))))) into 0
0.959 * [taylor]: Taking taylor expansion of 0 in y
0.959 * [backup-simplify]: Simplify 0 into 0
0.959 * [backup-simplify]: Simplify 0 into 0
0.960 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.960 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
0.961 * [backup-simplify]: Simplify (- 0) into 0
0.961 * [backup-simplify]: Simplify 0 into 0
0.961 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.961 * [backup-simplify]: Simplify 0 into 0
0.962 * [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))
0.962 * [backup-simplify]: Simplify (* (* (- (/ 1 (- x)) (/ 16.0 116.0)) 3.0) (/ 1 (- y))) into (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y))
0.962 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0
0.962 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
0.962 * [taylor]: Taking taylor expansion of 3.0 in y
0.962 * [backup-simplify]: Simplify 3.0 into 3.0
0.962 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
0.962 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
0.962 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.962 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.962 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.962 * [taylor]: Taking taylor expansion of x in y
0.962 * [backup-simplify]: Simplify x into x
0.962 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.962 * [taylor]: Taking taylor expansion of y in y
0.962 * [backup-simplify]: Simplify 0 into 0
0.962 * [backup-simplify]: Simplify 1 into 1
0.963 * [backup-simplify]: Simplify (+ 0.13793103448275862 (/ 1 x)) into (+ (/ 1 x) 0.13793103448275862)
0.963 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 0.13793103448275862) 1) into (+ 0.13793103448275862 (/ 1 x))
0.963 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
0.963 * [taylor]: Taking taylor expansion of 3.0 in x
0.963 * [backup-simplify]: Simplify 3.0 into 3.0
0.963 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
0.963 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.963 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.963 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.963 * [taylor]: Taking taylor expansion of x in x
0.963 * [backup-simplify]: Simplify 0 into 0
0.963 * [backup-simplify]: Simplify 1 into 1
0.963 * [backup-simplify]: Simplify (/ 1 1) into 1
0.963 * [taylor]: Taking taylor expansion of y in x
0.963 * [backup-simplify]: Simplify y into y
0.963 * [backup-simplify]: Simplify (+ 0 1) into 1
0.963 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.963 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
0.963 * [taylor]: Taking taylor expansion of 3.0 in x
0.963 * [backup-simplify]: Simplify 3.0 into 3.0
0.963 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
0.963 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.964 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.964 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.964 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.964 * [taylor]: Taking taylor expansion of x in x
0.964 * [backup-simplify]: Simplify 0 into 0
0.964 * [backup-simplify]: Simplify 1 into 1
0.964 * [backup-simplify]: Simplify (/ 1 1) into 1
0.964 * [taylor]: Taking taylor expansion of y in x
0.964 * [backup-simplify]: Simplify y into y
0.964 * [backup-simplify]: Simplify (+ 0 1) into 1
0.964 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.964 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
0.964 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.964 * [taylor]: Taking taylor expansion of 3.0 in y
0.964 * [backup-simplify]: Simplify 3.0 into 3.0
0.964 * [taylor]: Taking taylor expansion of y in y
0.964 * [backup-simplify]: Simplify 0 into 0
0.964 * [backup-simplify]: Simplify 1 into 1
0.965 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.965 * [backup-simplify]: Simplify 3.0 into 3.0
0.965 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.965 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
0.966 * [backup-simplify]: Simplify (- (/ 0.13793103448275862 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 0.13793103448275862 (/ 1 y))
0.966 * [backup-simplify]: Simplify (+ (* 3.0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))) into (* 0.41379310344827586 (/ 1 y))
0.966 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
0.966 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.966 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
0.966 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.966 * [taylor]: Taking taylor expansion of y in y
0.966 * [backup-simplify]: Simplify 0 into 0
0.966 * [backup-simplify]: Simplify 1 into 1
0.966 * [backup-simplify]: Simplify (/ 1 1) into 1
0.966 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
0.966 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
0.967 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
0.967 * [backup-simplify]: Simplify 0 into 0
0.967 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.968 * [backup-simplify]: Simplify (+ 0 0) into 0
0.968 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)))) into 0
0.968 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y)))) into 0
0.968 * [taylor]: Taking taylor expansion of 0 in y
0.968 * [backup-simplify]: Simplify 0 into 0
0.969 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.969 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
0.969 * [backup-simplify]: Simplify 0 into 0
0.970 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.970 * [backup-simplify]: Simplify 0 into 0
0.970 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.971 * [backup-simplify]: Simplify (+ 0 0) into 0
0.971 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.972 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))))) into 0
0.972 * [taylor]: Taking taylor expansion of 0 in y
0.972 * [backup-simplify]: Simplify 0 into 0
0.972 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.974 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
0.974 * [backup-simplify]: Simplify 0 into 0
0.975 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.975 * [backup-simplify]: Simplify 0 into 0
0.976 * [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))
0.976 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.976 * [backup-simplify]: Simplify (* (- x (/ 16.0 116.0)) 3.0) into (* 3.0 (- x 0.13793103448275862))
0.976 * [approximate]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in (x) around 0
0.976 * [taylor]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in x
0.976 * [taylor]: Taking taylor expansion of 3.0 in x
0.977 * [backup-simplify]: Simplify 3.0 into 3.0
0.977 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.977 * [taylor]: Taking taylor expansion of x in x
0.977 * [backup-simplify]: Simplify 0 into 0
0.977 * [backup-simplify]: Simplify 1 into 1
0.977 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.977 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.977 * [taylor]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in x
0.977 * [taylor]: Taking taylor expansion of 3.0 in x
0.977 * [backup-simplify]: Simplify 3.0 into 3.0
0.977 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.977 * [taylor]: Taking taylor expansion of x in x
0.977 * [backup-simplify]: Simplify 0 into 0
0.977 * [backup-simplify]: Simplify 1 into 1
0.977 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.977 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.977 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
0.978 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
0.979 * [backup-simplify]: Simplify (* 3.0 (- 0.13793103448275862)) into -0.41379310344827586
0.979 * [backup-simplify]: Simplify -0.41379310344827586 into -0.41379310344827586
0.980 * [backup-simplify]: Simplify (- 0) into 0
0.980 * [backup-simplify]: Simplify (+ 1 0) into 1
0.982 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 (- 0.13793103448275862))) into 3.0
0.982 * [backup-simplify]: Simplify 3.0 into 3.0
0.982 * [backup-simplify]: Simplify (- 0) into 0
0.983 * [backup-simplify]: Simplify (+ 0 0) into 0
0.984 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862)))) into 0
0.984 * [backup-simplify]: Simplify 0 into 0
0.984 * [backup-simplify]: Simplify (- 0) into 0
0.985 * [backup-simplify]: Simplify (+ 0 0) into 0
0.986 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862))))) into 0
0.986 * [backup-simplify]: Simplify 0 into 0
0.987 * [backup-simplify]: Simplify (- 0) into 0
0.987 * [backup-simplify]: Simplify (+ 0 0) into 0
0.989 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862)))))) into 0
0.989 * [backup-simplify]: Simplify 0 into 0
0.989 * [backup-simplify]: Simplify (- 0) into 0
0.990 * [backup-simplify]: Simplify (+ 0 0) into 0
0.991 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862))))))) into 0
0.991 * [backup-simplify]: Simplify 0 into 0
0.991 * [backup-simplify]: Simplify (- 0) into 0
0.992 * [backup-simplify]: Simplify (+ 0 0) into 0
0.993 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862)))))))) into 0
0.993 * [backup-simplify]: Simplify 0 into 0
0.993 * [backup-simplify]: Simplify (- 0) into 0
0.993 * [backup-simplify]: Simplify (+ 0 0) into 0
0.995 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 0.13793103448275862))))))))) into 0
0.995 * [backup-simplify]: Simplify 0 into 0
0.995 * [backup-simplify]: Simplify (+ (* 3.0 x) -0.41379310344827586) into (- (* 3.0 x) 0.41379310344827586)
0.995 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 16.0 116.0)) 3.0) into (* 3.0 (- (/ 1 x) 0.13793103448275862))
0.995 * [approximate]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in (x) around 0
0.995 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in x
0.995 * [taylor]: Taking taylor expansion of 3.0 in x
0.995 * [backup-simplify]: Simplify 3.0 into 3.0
0.995 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.995 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.995 * [taylor]: Taking taylor expansion of x in x
0.995 * [backup-simplify]: Simplify 0 into 0
0.995 * [backup-simplify]: Simplify 1 into 1
0.995 * [backup-simplify]: Simplify (/ 1 1) into 1
0.996 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.996 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.996 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in x
0.996 * [taylor]: Taking taylor expansion of 3.0 in x
0.996 * [backup-simplify]: Simplify 3.0 into 3.0
0.996 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.996 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.996 * [taylor]: Taking taylor expansion of x in x
0.996 * [backup-simplify]: Simplify 0 into 0
0.996 * [backup-simplify]: Simplify 1 into 1
0.996 * [backup-simplify]: Simplify (/ 1 1) into 1
0.996 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.996 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.996 * [backup-simplify]: Simplify (+ 1 0) into 1
0.997 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
0.997 * [backup-simplify]: Simplify 3.0 into 3.0
0.997 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.997 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
0.998 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
0.999 * [backup-simplify]: Simplify (+ (* 3.0 (- 0.13793103448275862)) (* 0 1)) into (- 0.41379310344827586)
1.000 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
1.000 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.000 * [backup-simplify]: Simplify (- 0) into 0
1.001 * [backup-simplify]: Simplify (+ 0 0) into 0
1.002 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1))) into 0
1.002 * [backup-simplify]: Simplify 0 into 0
1.002 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.002 * [backup-simplify]: Simplify (- 0) into 0
1.003 * [backup-simplify]: Simplify (+ 0 0) into 0
1.003 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1)))) into 0
1.003 * [backup-simplify]: Simplify 0 into 0
1.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.004 * [backup-simplify]: Simplify (- 0) into 0
1.004 * [backup-simplify]: Simplify (+ 0 0) into 0
1.005 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1))))) into 0
1.005 * [backup-simplify]: Simplify 0 into 0
1.006 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.006 * [backup-simplify]: Simplify (- 0) into 0
1.006 * [backup-simplify]: Simplify (+ 0 0) into 0
1.007 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1)))))) into 0
1.008 * [backup-simplify]: Simplify 0 into 0
1.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.008 * [backup-simplify]: Simplify (- 0) into 0
1.009 * [backup-simplify]: Simplify (+ 0 0) into 0
1.010 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1))))))) into 0
1.010 * [backup-simplify]: Simplify 0 into 0
1.010 * [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.011 * [backup-simplify]: Simplify (- 0) into 0
1.011 * [backup-simplify]: Simplify (+ 0 0) into 0
1.012 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 0.13793103448275862)) (* 0 1)))))))) into 0
1.012 * [backup-simplify]: Simplify 0 into 0
1.012 * [backup-simplify]: Simplify (+ (- 0.41379310344827586) (* 3.0 (/ 1 (/ 1 x)))) into (- (* 3.0 x) 0.41379310344827586)
1.013 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 16.0 116.0)) 3.0) into (* -3.0 (+ 0.13793103448275862 (/ 1 x)))
1.013 * [approximate]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in (x) around 0
1.013 * [taylor]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in x
1.013 * [taylor]: Taking taylor expansion of -3.0 in x
1.013 * [backup-simplify]: Simplify -3.0 into -3.0
1.013 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.013 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.013 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.013 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.013 * [taylor]: Taking taylor expansion of x in x
1.013 * [backup-simplify]: Simplify 0 into 0
1.013 * [backup-simplify]: Simplify 1 into 1
1.013 * [backup-simplify]: Simplify (/ 1 1) into 1
1.013 * [taylor]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in x
1.013 * [taylor]: Taking taylor expansion of -3.0 in x
1.013 * [backup-simplify]: Simplify -3.0 into -3.0
1.013 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.013 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.013 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.013 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.013 * [taylor]: Taking taylor expansion of x in x
1.013 * [backup-simplify]: Simplify 0 into 0
1.013 * [backup-simplify]: Simplify 1 into 1
1.014 * [backup-simplify]: Simplify (/ 1 1) into 1
1.014 * [backup-simplify]: Simplify (+ 0 1) into 1
1.014 * [backup-simplify]: Simplify (* -3.0 1) into -3.0
1.014 * [backup-simplify]: Simplify -3.0 into -3.0
1.015 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.015 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
1.016 * [backup-simplify]: Simplify (+ (* -3.0 0.13793103448275862) (* 0 1)) into (- 0.41379310344827586)
1.016 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
1.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.017 * [backup-simplify]: Simplify (+ 0 0) into 0
1.018 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0.13793103448275862) (* 0 1))) into 0
1.018 * [backup-simplify]: Simplify 0 into 0
1.018 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.019 * [backup-simplify]: Simplify (+ 0 0) into 0
1.019 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0) (+ (* 0 0.13793103448275862) (* 0 1)))) into 0
1.019 * [backup-simplify]: Simplify 0 into 0
1.020 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.020 * [backup-simplify]: Simplify (+ 0 0) into 0
1.021 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.13793103448275862) (* 0 1))))) into 0
1.021 * [backup-simplify]: Simplify 0 into 0
1.022 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.022 * [backup-simplify]: Simplify (+ 0 0) into 0
1.023 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.13793103448275862) (* 0 1)))))) into 0
1.023 * [backup-simplify]: Simplify 0 into 0
1.024 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.024 * [backup-simplify]: Simplify (+ 0 0) into 0
1.025 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.13793103448275862) (* 0 1))))))) into 0
1.025 * [backup-simplify]: Simplify 0 into 0
1.025 * [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.026 * [backup-simplify]: Simplify (+ 0 0) into 0
1.027 * [backup-simplify]: Simplify (+ (* -3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.13793103448275862) (* 0 1)))))))) into 0
1.027 * [backup-simplify]: Simplify 0 into 0
1.027 * [backup-simplify]: Simplify (+ (- 0.41379310344827586) (* -3.0 (/ 1 (/ 1 (- x))))) into (- (* 3.0 x) 0.41379310344827586)
1.027 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
1.028 * [backup-simplify]: Simplify (- x (/ 16.0 116.0)) into (- x 0.13793103448275862)
1.028 * [approximate]: Taking taylor expansion of (- x 0.13793103448275862) in (x) around 0
1.028 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
1.028 * [taylor]: Taking taylor expansion of x in x
1.028 * [backup-simplify]: Simplify 0 into 0
1.028 * [backup-simplify]: Simplify 1 into 1
1.028 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.028 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.028 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
1.028 * [taylor]: Taking taylor expansion of x in x
1.028 * [backup-simplify]: Simplify 0 into 0
1.028 * [backup-simplify]: Simplify 1 into 1
1.028 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.028 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.028 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.029 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
1.029 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.029 * [backup-simplify]: Simplify (- 0) into 0
1.029 * [backup-simplify]: Simplify (+ 1 0) into 1
1.029 * [backup-simplify]: Simplify 1 into 1
1.030 * [backup-simplify]: Simplify (- 0) into 0
1.030 * [backup-simplify]: Simplify (+ 0 0) into 0
1.030 * [backup-simplify]: Simplify 0 into 0
1.030 * [backup-simplify]: Simplify (- 0) into 0
1.030 * [backup-simplify]: Simplify (+ 0 0) into 0
1.030 * [backup-simplify]: Simplify 0 into 0
1.031 * [backup-simplify]: Simplify (- 0) into 0
1.031 * [backup-simplify]: Simplify (+ 0 0) into 0
1.031 * [backup-simplify]: Simplify 0 into 0
1.031 * [backup-simplify]: Simplify (- 0) into 0
1.031 * [backup-simplify]: Simplify (+ 0 0) into 0
1.031 * [backup-simplify]: Simplify 0 into 0
1.032 * [backup-simplify]: Simplify (- 0) into 0
1.032 * [backup-simplify]: Simplify (+ 0 0) into 0
1.032 * [backup-simplify]: Simplify 0 into 0
1.032 * [backup-simplify]: Simplify (- 0) into 0
1.037 * [backup-simplify]: Simplify (+ 0 0) into 0
1.037 * [backup-simplify]: Simplify 0 into 0
1.038 * [backup-simplify]: Simplify (+ (* 1 x) (- 0.13793103448275862)) into (- x 0.13793103448275862)
1.038 * [backup-simplify]: Simplify (- (/ 1 x) (/ 16.0 116.0)) into (- (/ 1 x) 0.13793103448275862)
1.038 * [approximate]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in (x) around 0
1.038 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
1.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.038 * [taylor]: Taking taylor expansion of x in x
1.038 * [backup-simplify]: Simplify 0 into 0
1.038 * [backup-simplify]: Simplify 1 into 1
1.039 * [backup-simplify]: Simplify (/ 1 1) into 1
1.039 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.039 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.039 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
1.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.039 * [taylor]: Taking taylor expansion of x in x
1.039 * [backup-simplify]: Simplify 0 into 0
1.039 * [backup-simplify]: Simplify 1 into 1
1.039 * [backup-simplify]: Simplify (/ 1 1) into 1
1.039 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.039 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.040 * [backup-simplify]: Simplify (+ 1 0) into 1
1.040 * [backup-simplify]: Simplify 1 into 1
1.041 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.041 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.042 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
1.042 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.043 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.044 * [backup-simplify]: Simplify (- 0) into 0
1.044 * [backup-simplify]: Simplify (+ 0 0) into 0
1.044 * [backup-simplify]: Simplify 0 into 0
1.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.045 * [backup-simplify]: Simplify (- 0) into 0
1.046 * [backup-simplify]: Simplify (+ 0 0) into 0
1.046 * [backup-simplify]: Simplify 0 into 0
1.047 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.047 * [backup-simplify]: Simplify (- 0) into 0
1.047 * [backup-simplify]: Simplify (+ 0 0) into 0
1.047 * [backup-simplify]: Simplify 0 into 0
1.048 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.049 * [backup-simplify]: Simplify (- 0) into 0
1.049 * [backup-simplify]: Simplify (+ 0 0) into 0
1.049 * [backup-simplify]: Simplify 0 into 0
1.050 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.051 * [backup-simplify]: Simplify (- 0) into 0
1.051 * [backup-simplify]: Simplify (+ 0 0) into 0
1.051 * [backup-simplify]: Simplify 0 into 0
1.052 * [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.053 * [backup-simplify]: Simplify (- 0) into 0
1.053 * [backup-simplify]: Simplify (+ 0 0) into 0
1.053 * [backup-simplify]: Simplify 0 into 0
1.054 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* 1 (/ 1 (/ 1 x)))) into (- x 0.13793103448275862)
1.054 * [backup-simplify]: Simplify (- (/ 1 (- x)) (/ 16.0 116.0)) into (- (+ 0.13793103448275862 (/ 1 x)))
1.054 * [approximate]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in (x) around 0
1.054 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
1.054 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.054 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.054 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.054 * [taylor]: Taking taylor expansion of x in x
1.054 * [backup-simplify]: Simplify 0 into 0
1.054 * [backup-simplify]: Simplify 1 into 1
1.055 * [backup-simplify]: Simplify (/ 1 1) into 1
1.055 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
1.055 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
1.055 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.055 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
1.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.055 * [taylor]: Taking taylor expansion of x in x
1.055 * [backup-simplify]: Simplify 0 into 0
1.055 * [backup-simplify]: Simplify 1 into 1
1.055 * [backup-simplify]: Simplify (/ 1 1) into 1
1.055 * [backup-simplify]: Simplify (+ 0 1) into 1
1.056 * [backup-simplify]: Simplify (- 1) into -1
1.056 * [backup-simplify]: Simplify -1 into -1
1.056 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.056 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
1.057 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.057 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
1.057 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.058 * [backup-simplify]: Simplify (+ 0 0) into 0
1.058 * [backup-simplify]: Simplify (- 0) into 0
1.058 * [backup-simplify]: Simplify 0 into 0
1.058 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.059 * [backup-simplify]: Simplify (+ 0 0) into 0
1.059 * [backup-simplify]: Simplify (- 0) into 0
1.059 * [backup-simplify]: Simplify 0 into 0
1.059 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.060 * [backup-simplify]: Simplify (+ 0 0) into 0
1.060 * [backup-simplify]: Simplify (- 0) into 0
1.060 * [backup-simplify]: Simplify 0 into 0
1.060 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.061 * [backup-simplify]: Simplify (+ 0 0) into 0
1.061 * [backup-simplify]: Simplify (- 0) into 0
1.061 * [backup-simplify]: Simplify 0 into 0
1.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.062 * [backup-simplify]: Simplify (+ 0 0) into 0
1.062 * [backup-simplify]: Simplify (- 0) into 0
1.062 * [backup-simplify]: Simplify 0 into 0
1.062 * [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.063 * [backup-simplify]: Simplify (+ 0 0) into 0
1.063 * [backup-simplify]: Simplify (- 0) into 0
1.063 * [backup-simplify]: Simplify 0 into 0
1.063 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* -1 (/ 1 (/ 1 (- x))))) into (- x 0.13793103448275862)
1.063 * * * [progress]: simplifying candidates
1.064 * [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.066 * * [simplify]: Extracting # 0 : cost  0
1.066 * * [simplify]: Extracting # 1 : cost  0
1.066 * * [simplify]: Extracting # 2 : cost  0
1.066 * * [simplify]: Extracting # 3 : cost  0
1.066 * * [simplify]: Extracting # 4 : cost  0
1.066 * * [simplify]: Extracting # 5 : cost  0
1.066 * * [simplify]: Extracting # 6 : cost  0
1.066 * * [simplify]: iteration  0 :  98  enodes  (cost  701 )
1.088 * * [simplify]: Extracting # 0 : cost  0
1.089 * * [simplify]: Extracting # 1 : cost  0
1.089 * * [simplify]: Extracting # 2 : cost  0
1.089 * * [simplify]: Extracting # 3 : cost  0
1.090 * * [simplify]: Extracting # 4 : cost  0
1.090 * * [simplify]: iteration  1 :  223  enodes  (cost  688 )
1.232 * * [simplify]: Extracting # 0 : cost  0
1.233 * * [simplify]: Extracting # 1 : cost  0
1.233 * * [simplify]: Extracting # 2 : cost  0
1.234 * * [simplify]: Extracting # 3 : cost  0
1.235 * * [simplify]: Extracting # 4 : cost  0
1.236 * * [simplify]: Extracting # 5 : cost  0
1.237 * * [simplify]: iteration  2 :  727  enodes  (cost  590 )
2.134 * * [simplify]: Extracting # 0 : cost  0
2.140 * * [simplify]: Extracting # 1 : cost  0
2.153 * * [simplify]: Extracting # 2 : cost  0
2.158 * * [simplify]: Extracting # 3 : cost  0
2.163 * * [simplify]: Extracting # 4 : cost  0
2.166 * * [simplify]: iteration  3 :  2805  enodes  (cost  590 )
3.326 * * [simplify]: Extracting # 0 : cost  0
3.331 * * [simplify]: Extracting # 1 : cost  0
3.336 * * [simplify]: Extracting # 2 : cost  0
3.342 * * [simplify]: Extracting # 3 : cost  0
3.352 * * [simplify]: Extracting # 4 : cost  0
3.361 * * [simplify]: iteration done:  5002  enodes  (cost  590 )
3.362 * [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.362 * * * [progress]: adding candidates to table
3.599 * * [progress]: iteration 2 / 4
3.599 * * * [progress]: picking best candidate
3.612 * * * * [pick]: Picked  #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* y 3.0)))>
3.612 * * * [progress]: localizing error
3.619 * * * [progress]: generating rewritten candidates
3.619 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
3.716 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
3.740 * * * [progress]: generating series expansions
3.740 * * * * [progress]: [ 1 / 2 ] generating series at (2)
3.741 * [backup-simplify]: Simplify (* (- x (/ 16.0 116.0)) (* y 3.0)) into (* 3.0 (* (- x 0.13793103448275862) y))
3.741 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0
3.741 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
3.741 * [taylor]: Taking taylor expansion of 3.0 in y
3.741 * [backup-simplify]: Simplify 3.0 into 3.0
3.741 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
3.741 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
3.741 * [taylor]: Taking taylor expansion of x in y
3.741 * [backup-simplify]: Simplify x into x
3.741 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
3.741 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.741 * [taylor]: Taking taylor expansion of y in y
3.741 * [backup-simplify]: Simplify 0 into 0
3.741 * [backup-simplify]: Simplify 1 into 1
3.741 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
3.741 * [taylor]: Taking taylor expansion of 3.0 in x
3.741 * [backup-simplify]: Simplify 3.0 into 3.0
3.741 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
3.741 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
3.741 * [taylor]: Taking taylor expansion of x in x
3.741 * [backup-simplify]: Simplify 0 into 0
3.741 * [backup-simplify]: Simplify 1 into 1
3.741 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.741 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.741 * [taylor]: Taking taylor expansion of y in x
3.742 * [backup-simplify]: Simplify y into y
3.742 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
3.742 * [taylor]: Taking taylor expansion of 3.0 in x
3.742 * [backup-simplify]: Simplify 3.0 into 3.0
3.742 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
3.742 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
3.742 * [taylor]: Taking taylor expansion of x in x
3.742 * [backup-simplify]: Simplify 0 into 0
3.742 * [backup-simplify]: Simplify 1 into 1
3.742 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.742 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.742 * [taylor]: Taking taylor expansion of y in x
3.742 * [backup-simplify]: Simplify y into y
3.742 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
3.743 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
3.744 * [backup-simplify]: Simplify (* (- 0.13793103448275862) y) into (* -0.13793103448275862 y)
3.744 * [backup-simplify]: Simplify (* 3.0 (* -0.13793103448275862 y)) into (* -0.41379310344827586 y)
3.744 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
3.744 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
3.744 * [backup-simplify]: Simplify -0.41379310344827586 into -0.41379310344827586
3.744 * [taylor]: Taking taylor expansion of y in y
3.744 * [backup-simplify]: Simplify 0 into 0
3.744 * [backup-simplify]: Simplify 1 into 1
3.745 * [backup-simplify]: Simplify (* -0.41379310344827586 0) into 0
3.745 * [backup-simplify]: Simplify 0 into 0
3.745 * [backup-simplify]: Simplify (- 0) into 0
3.745 * [backup-simplify]: Simplify (+ 1 0) into 1
3.746 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (* 1 y)) into y
3.746 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 (* -0.13793103448275862 y))) into (* 3.0 y)
3.746 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
3.746 * [taylor]: Taking taylor expansion of 3.0 in y
3.746 * [backup-simplify]: Simplify 3.0 into 3.0
3.746 * [taylor]: Taking taylor expansion of y in y
3.746 * [backup-simplify]: Simplify 0 into 0
3.746 * [backup-simplify]: Simplify 1 into 1
3.747 * [backup-simplify]: Simplify (* 3.0 0) into 0
3.747 * [backup-simplify]: Simplify 0 into 0
3.748 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 1) (* 0 0)) into (- 0.41379310344827586)
3.749 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
3.749 * [backup-simplify]: Simplify (- 0) into 0
3.750 * [backup-simplify]: Simplify (+ 0 0) into 0
3.751 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (* 0 y))) into 0
3.751 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))) into 0
3.751 * [taylor]: Taking taylor expansion of 0 in y
3.751 * [backup-simplify]: Simplify 0 into 0
3.751 * [backup-simplify]: Simplify 0 into 0
3.753 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
3.753 * [backup-simplify]: Simplify 3.0 into 3.0
3.754 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 1) (* 0 0))) into 0
3.754 * [backup-simplify]: Simplify 0 into 0
3.754 * [backup-simplify]: Simplify (- 0) into 0
3.754 * [backup-simplify]: Simplify (+ 0 0) into 0
3.755 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.756 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y))))) into 0
3.756 * [taylor]: Taking taylor expansion of 0 in y
3.756 * [backup-simplify]: Simplify 0 into 0
3.756 * [backup-simplify]: Simplify 0 into 0
3.756 * [backup-simplify]: Simplify 0 into 0
3.756 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
3.756 * [backup-simplify]: Simplify 0 into 0
3.757 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.757 * [backup-simplify]: Simplify 0 into 0
3.757 * [backup-simplify]: Simplify (- 0) into 0
3.758 * [backup-simplify]: Simplify (+ 0 0) into 0
3.759 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
3.759 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))))) into 0
3.759 * [taylor]: Taking taylor expansion of 0 in y
3.759 * [backup-simplify]: Simplify 0 into 0
3.759 * [backup-simplify]: Simplify 0 into 0
3.760 * [backup-simplify]: Simplify (+ (* 3.0 (* y x)) (* (- 0.41379310344827586) (* y 1))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
3.760 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 16.0 116.0)) (* (/ 1 y) 3.0)) into (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y))
3.760 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0
3.760 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
3.760 * [taylor]: Taking taylor expansion of 3.0 in y
3.760 * [backup-simplify]: Simplify 3.0 into 3.0
3.760 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
3.760 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
3.760 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.760 * [taylor]: Taking taylor expansion of x in y
3.760 * [backup-simplify]: Simplify x into x
3.760 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.760 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
3.761 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.761 * [taylor]: Taking taylor expansion of y in y
3.761 * [backup-simplify]: Simplify 0 into 0
3.761 * [backup-simplify]: Simplify 1 into 1
3.761 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
3.761 * [backup-simplify]: Simplify (+ (/ 1 x) (- 0.13793103448275862)) into (- (/ 1 x) 0.13793103448275862)
3.761 * [backup-simplify]: Simplify (/ (- (/ 1 x) 0.13793103448275862) 1) into (- (/ 1 x) 0.13793103448275862)
3.761 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
3.761 * [taylor]: Taking taylor expansion of 3.0 in x
3.761 * [backup-simplify]: Simplify 3.0 into 3.0
3.761 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
3.761 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
3.761 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.761 * [taylor]: Taking taylor expansion of x in x
3.761 * [backup-simplify]: Simplify 0 into 0
3.761 * [backup-simplify]: Simplify 1 into 1
3.762 * [backup-simplify]: Simplify (/ 1 1) into 1
3.762 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.762 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.762 * [taylor]: Taking taylor expansion of y in x
3.762 * [backup-simplify]: Simplify y into y
3.762 * [backup-simplify]: Simplify (+ 1 0) into 1
3.762 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.762 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
3.762 * [taylor]: Taking taylor expansion of 3.0 in x
3.762 * [backup-simplify]: Simplify 3.0 into 3.0
3.762 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
3.762 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
3.762 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.762 * [taylor]: Taking taylor expansion of x in x
3.762 * [backup-simplify]: Simplify 0 into 0
3.762 * [backup-simplify]: Simplify 1 into 1
3.762 * [backup-simplify]: Simplify (/ 1 1) into 1
3.762 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.762 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.762 * [taylor]: Taking taylor expansion of y in x
3.762 * [backup-simplify]: Simplify y into y
3.763 * [backup-simplify]: Simplify (+ 1 0) into 1
3.763 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.763 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
3.763 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
3.763 * [taylor]: Taking taylor expansion of 3.0 in y
3.763 * [backup-simplify]: Simplify 3.0 into 3.0
3.763 * [taylor]: Taking taylor expansion of y in y
3.763 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 1 into 1
3.763 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
3.763 * [backup-simplify]: Simplify 3.0 into 3.0
3.764 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.764 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
3.765 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
3.765 * [backup-simplify]: Simplify (- (/ (- 0.13793103448275862) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (* 0.13793103448275862 (/ 1 y)))
3.765 * [backup-simplify]: Simplify (+ (* 3.0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))) into (- (* 0.41379310344827586 (/ 1 y)))
3.765 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
3.765 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
3.765 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
3.765 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
3.765 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.765 * [taylor]: Taking taylor expansion of y in y
3.765 * [backup-simplify]: Simplify 0 into 0
3.765 * [backup-simplify]: Simplify 1 into 1
3.765 * [backup-simplify]: Simplify (/ 1 1) into 1
3.766 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
3.766 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
3.766 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
3.767 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
3.767 * [backup-simplify]: Simplify 0 into 0
3.767 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.768 * [backup-simplify]: Simplify (- 0) into 0
3.768 * [backup-simplify]: Simplify (+ 0 0) into 0
3.768 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)))) into 0
3.768 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y)))) into 0
3.768 * [taylor]: Taking taylor expansion of 0 in y
3.768 * [backup-simplify]: Simplify 0 into 0
3.769 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.769 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
3.769 * [backup-simplify]: Simplify (- 0) into 0
3.769 * [backup-simplify]: Simplify 0 into 0
3.770 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.770 * [backup-simplify]: Simplify 0 into 0
3.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.771 * [backup-simplify]: Simplify (- 0) into 0
3.771 * [backup-simplify]: Simplify (+ 0 0) into 0
3.771 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.772 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))))) into 0
3.772 * [taylor]: Taking taylor expansion of 0 in y
3.772 * [backup-simplify]: Simplify 0 into 0
3.772 * [backup-simplify]: Simplify 0 into 0
3.772 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.773 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
3.773 * [backup-simplify]: Simplify (- 0) into 0
3.773 * [backup-simplify]: Simplify 0 into 0
3.774 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.774 * [backup-simplify]: Simplify 0 into 0
3.774 * [backup-simplify]: Simplify (+ (* (- 0.41379310344827586) (* (/ 1 (/ 1 y)) 1)) (* 3.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
3.775 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 16.0 116.0)) (* (/ 1 (- y)) 3.0)) into (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y))
3.775 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0
3.775 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
3.775 * [taylor]: Taking taylor expansion of 3.0 in y
3.775 * [backup-simplify]: Simplify 3.0 into 3.0
3.775 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
3.775 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
3.775 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
3.775 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.775 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.775 * [taylor]: Taking taylor expansion of x in y
3.775 * [backup-simplify]: Simplify x into x
3.775 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.775 * [taylor]: Taking taylor expansion of y in y
3.775 * [backup-simplify]: Simplify 0 into 0
3.775 * [backup-simplify]: Simplify 1 into 1
3.775 * [backup-simplify]: Simplify (+ 0.13793103448275862 (/ 1 x)) into (+ (/ 1 x) 0.13793103448275862)
3.775 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 0.13793103448275862) 1) into (+ 0.13793103448275862 (/ 1 x))
3.775 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
3.775 * [taylor]: Taking taylor expansion of 3.0 in x
3.775 * [backup-simplify]: Simplify 3.0 into 3.0
3.775 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
3.775 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
3.775 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.775 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.775 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.775 * [taylor]: Taking taylor expansion of x in x
3.775 * [backup-simplify]: Simplify 0 into 0
3.775 * [backup-simplify]: Simplify 1 into 1
3.776 * [backup-simplify]: Simplify (/ 1 1) into 1
3.776 * [taylor]: Taking taylor expansion of y in x
3.776 * [backup-simplify]: Simplify y into y
3.776 * [backup-simplify]: Simplify (+ 0 1) into 1
3.776 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.776 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
3.776 * [taylor]: Taking taylor expansion of 3.0 in x
3.776 * [backup-simplify]: Simplify 3.0 into 3.0
3.776 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
3.776 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
3.776 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.776 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.776 * [taylor]: Taking taylor expansion of x in x
3.776 * [backup-simplify]: Simplify 0 into 0
3.776 * [backup-simplify]: Simplify 1 into 1
3.776 * [backup-simplify]: Simplify (/ 1 1) into 1
3.776 * [taylor]: Taking taylor expansion of y in x
3.776 * [backup-simplify]: Simplify y into y
3.777 * [backup-simplify]: Simplify (+ 0 1) into 1
3.777 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.777 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
3.777 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
3.777 * [taylor]: Taking taylor expansion of 3.0 in y
3.777 * [backup-simplify]: Simplify 3.0 into 3.0
3.777 * [taylor]: Taking taylor expansion of y in y
3.777 * [backup-simplify]: Simplify 0 into 0
3.777 * [backup-simplify]: Simplify 1 into 1
3.777 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
3.777 * [backup-simplify]: Simplify 3.0 into 3.0
3.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.782 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
3.782 * [backup-simplify]: Simplify (- (/ 0.13793103448275862 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 0.13793103448275862 (/ 1 y))
3.783 * [backup-simplify]: Simplify (+ (* 3.0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))) into (* 0.41379310344827586 (/ 1 y))
3.783 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
3.783 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
3.783 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
3.783 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.783 * [taylor]: Taking taylor expansion of y in y
3.783 * [backup-simplify]: Simplify 0 into 0
3.783 * [backup-simplify]: Simplify 1 into 1
3.784 * [backup-simplify]: Simplify (/ 1 1) into 1
3.784 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
3.785 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
3.785 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
3.786 * [backup-simplify]: Simplify 0 into 0
3.786 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.787 * [backup-simplify]: Simplify (+ 0 0) into 0
3.787 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)))) into 0
3.788 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y)))) into 0
3.788 * [taylor]: Taking taylor expansion of 0 in y
3.788 * [backup-simplify]: Simplify 0 into 0
3.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.790 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
3.790 * [backup-simplify]: Simplify 0 into 0
3.791 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.791 * [backup-simplify]: Simplify 0 into 0
3.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.792 * [backup-simplify]: Simplify (+ 0 0) into 0
3.793 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.794 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))))) into 0
3.794 * [taylor]: Taking taylor expansion of 0 in y
3.794 * [backup-simplify]: Simplify 0 into 0
3.794 * [backup-simplify]: Simplify 0 into 0
3.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.796 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
3.796 * [backup-simplify]: Simplify 0 into 0
3.797 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.797 * [backup-simplify]: Simplify 0 into 0
3.797 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 (* (/ 1 (/ 1 (- y))) 1)) (* 3.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
3.797 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
3.798 * [backup-simplify]: Simplify (- x (/ 16.0 116.0)) into (- x 0.13793103448275862)
3.798 * [approximate]: Taking taylor expansion of (- x 0.13793103448275862) in (x) around 0
3.798 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
3.798 * [taylor]: Taking taylor expansion of x in x
3.798 * [backup-simplify]: Simplify 0 into 0
3.798 * [backup-simplify]: Simplify 1 into 1
3.798 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.798 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.798 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
3.798 * [taylor]: Taking taylor expansion of x in x
3.798 * [backup-simplify]: Simplify 0 into 0
3.798 * [backup-simplify]: Simplify 1 into 1
3.798 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.798 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.799 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
3.799 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
3.800 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
3.800 * [backup-simplify]: Simplify (- 0) into 0
3.801 * [backup-simplify]: Simplify (+ 1 0) into 1
3.801 * [backup-simplify]: Simplify 1 into 1
3.801 * [backup-simplify]: Simplify (- 0) into 0
3.801 * [backup-simplify]: Simplify (+ 0 0) into 0
3.801 * [backup-simplify]: Simplify 0 into 0
3.802 * [backup-simplify]: Simplify (- 0) into 0
3.802 * [backup-simplify]: Simplify (+ 0 0) into 0
3.802 * [backup-simplify]: Simplify 0 into 0
3.803 * [backup-simplify]: Simplify (- 0) into 0
3.803 * [backup-simplify]: Simplify (+ 0 0) into 0
3.803 * [backup-simplify]: Simplify 0 into 0
3.803 * [backup-simplify]: Simplify (- 0) into 0
3.804 * [backup-simplify]: Simplify (+ 0 0) into 0
3.804 * [backup-simplify]: Simplify 0 into 0
3.804 * [backup-simplify]: Simplify (- 0) into 0
3.804 * [backup-simplify]: Simplify (+ 0 0) into 0
3.805 * [backup-simplify]: Simplify 0 into 0
3.805 * [backup-simplify]: Simplify (- 0) into 0
3.805 * [backup-simplify]: Simplify (+ 0 0) into 0
3.805 * [backup-simplify]: Simplify 0 into 0
3.806 * [backup-simplify]: Simplify (+ (* 1 x) (- 0.13793103448275862)) into (- x 0.13793103448275862)
3.806 * [backup-simplify]: Simplify (- (/ 1 x) (/ 16.0 116.0)) into (- (/ 1 x) 0.13793103448275862)
3.806 * [approximate]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in (x) around 0
3.806 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
3.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.806 * [taylor]: Taking taylor expansion of x in x
3.807 * [backup-simplify]: Simplify 0 into 0
3.807 * [backup-simplify]: Simplify 1 into 1
3.807 * [backup-simplify]: Simplify (/ 1 1) into 1
3.807 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.807 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.807 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
3.807 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.807 * [taylor]: Taking taylor expansion of x in x
3.807 * [backup-simplify]: Simplify 0 into 0
3.807 * [backup-simplify]: Simplify 1 into 1
3.807 * [backup-simplify]: Simplify (/ 1 1) into 1
3.807 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.808 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.808 * [backup-simplify]: Simplify (+ 1 0) into 1
3.808 * [backup-simplify]: Simplify 1 into 1
3.809 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.809 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
3.810 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
3.810 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
3.811 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.811 * [backup-simplify]: Simplify (- 0) into 0
3.812 * [backup-simplify]: Simplify (+ 0 0) into 0
3.812 * [backup-simplify]: Simplify 0 into 0
3.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.812 * [backup-simplify]: Simplify (- 0) into 0
3.813 * [backup-simplify]: Simplify (+ 0 0) into 0
3.813 * [backup-simplify]: Simplify 0 into 0
3.813 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.813 * [backup-simplify]: Simplify (- 0) into 0
3.814 * [backup-simplify]: Simplify (+ 0 0) into 0
3.814 * [backup-simplify]: Simplify 0 into 0
3.814 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.815 * [backup-simplify]: Simplify (- 0) into 0
3.815 * [backup-simplify]: Simplify (+ 0 0) into 0
3.815 * [backup-simplify]: Simplify 0 into 0
3.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.816 * [backup-simplify]: Simplify (- 0) into 0
3.816 * [backup-simplify]: Simplify (+ 0 0) into 0
3.816 * [backup-simplify]: Simplify 0 into 0
3.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.817 * [backup-simplify]: Simplify (- 0) into 0
3.817 * [backup-simplify]: Simplify (+ 0 0) into 0
3.817 * [backup-simplify]: Simplify 0 into 0
3.817 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* 1 (/ 1 (/ 1 x)))) into (- x 0.13793103448275862)
3.818 * [backup-simplify]: Simplify (- (/ 1 (- x)) (/ 16.0 116.0)) into (- (+ 0.13793103448275862 (/ 1 x)))
3.818 * [approximate]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in (x) around 0
3.818 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
3.818 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
3.818 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.818 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.818 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.818 * [taylor]: Taking taylor expansion of x in x
3.818 * [backup-simplify]: Simplify 0 into 0
3.818 * [backup-simplify]: Simplify 1 into 1
3.818 * [backup-simplify]: Simplify (/ 1 1) into 1
3.818 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
3.818 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
3.818 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.818 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.818 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.818 * [taylor]: Taking taylor expansion of x in x
3.818 * [backup-simplify]: Simplify 0 into 0
3.818 * [backup-simplify]: Simplify 1 into 1
3.819 * [backup-simplify]: Simplify (/ 1 1) into 1
3.819 * [backup-simplify]: Simplify (+ 0 1) into 1
3.819 * [backup-simplify]: Simplify (- 1) into -1
3.819 * [backup-simplify]: Simplify -1 into -1
3.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.820 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
3.820 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
3.821 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
3.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.821 * [backup-simplify]: Simplify (+ 0 0) into 0
3.822 * [backup-simplify]: Simplify (- 0) into 0
3.822 * [backup-simplify]: Simplify 0 into 0
3.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.822 * [backup-simplify]: Simplify (+ 0 0) into 0
3.823 * [backup-simplify]: Simplify (- 0) into 0
3.823 * [backup-simplify]: Simplify 0 into 0
3.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.823 * [backup-simplify]: Simplify (+ 0 0) into 0
3.824 * [backup-simplify]: Simplify (- 0) into 0
3.824 * [backup-simplify]: Simplify 0 into 0
3.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.824 * [backup-simplify]: Simplify (+ 0 0) into 0
3.825 * [backup-simplify]: Simplify (- 0) into 0
3.825 * [backup-simplify]: Simplify 0 into 0
3.825 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.825 * [backup-simplify]: Simplify (+ 0 0) into 0
3.826 * [backup-simplify]: Simplify (- 0) into 0
3.826 * [backup-simplify]: Simplify 0 into 0
3.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.826 * [backup-simplify]: Simplify (+ 0 0) into 0
3.827 * [backup-simplify]: Simplify (- 0) into 0
3.827 * [backup-simplify]: Simplify 0 into 0
3.827 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* -1 (/ 1 (/ 1 (- x))))) into (- x 0.13793103448275862)
3.827 * * * [progress]: simplifying candidates
3.828 * [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)
3.829 * * [simplify]: Extracting # 0 : cost  0
3.829 * * [simplify]: Extracting # 1 : cost  0
3.829 * * [simplify]: Extracting # 2 : cost  0
3.829 * * [simplify]: Extracting # 3 : cost  0
3.829 * * [simplify]: Extracting # 4 : cost  0
3.829 * * [simplify]: Extracting # 5 : cost  0
3.829 * * [simplify]: Extracting # 6 : cost  0
3.829 * * [simplify]: iteration  0 :  76  enodes  (cost  483 )
3.846 * * [simplify]: Extracting # 0 : cost  0
3.846 * * [simplify]: Extracting # 1 : cost  0
3.846 * * [simplify]: Extracting # 2 : cost  0
3.846 * * [simplify]: Extracting # 3 : cost  0
3.847 * * [simplify]: Extracting # 4 : cost  0
3.847 * * [simplify]: iteration  1 :  187  enodes  (cost  475 )
3.925 * * [simplify]: Extracting # 0 : cost  0
3.926 * * [simplify]: Extracting # 1 : cost  0
3.928 * * [simplify]: Extracting # 2 : cost  0
3.929 * * [simplify]: Extracting # 3 : cost  0
3.930 * * [simplify]: Extracting # 4 : cost  0
3.932 * * [simplify]: Extracting # 5 : cost  0
3.933 * * [simplify]: iteration  2 :  584  enodes  (cost  405 )
4.693 * * [simplify]: Extracting # 0 : cost  0
4.698 * * [simplify]: Extracting # 1 : cost  0
4.702 * * [simplify]: Extracting # 2 : cost  0
4.707 * * [simplify]: Extracting # 3 : cost  0
4.712 * * [simplify]: iteration  3 :  2348  enodes  (cost  405 )
6.193 * * [simplify]: Extracting # 0 : cost  0
6.202 * * [simplify]: Extracting # 1 : cost  0
6.214 * * [simplify]: Extracting # 2 : cost  0
6.226 * * [simplify]: Extracting # 3 : cost  0
6.238 * * [simplify]: Extracting # 4 : cost  0
6.256 * * [simplify]: iteration done:  5001  enodes  (cost  405 )
6.257 * [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)
6.257 * * * [progress]: adding candidates to table
6.355 * * [progress]: iteration 3 / 4
6.356 * * * [progress]: picking best candidate
6.374 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) y) 3.0))>
6.374 * * * [progress]: localizing error
6.381 * * * [progress]: generating rewritten candidates
6.381 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
6.482 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
6.571 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
6.586 * * * [progress]: generating series expansions
6.587 * * * * [progress]: [ 1 / 3 ] generating series at (2)
6.587 * [backup-simplify]: Simplify (* (* (- x (/ 16.0 116.0)) y) 3.0) into (* 3.0 (* (- x 0.13793103448275862) y))
6.587 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0
6.587 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
6.587 * [taylor]: Taking taylor expansion of 3.0 in y
6.587 * [backup-simplify]: Simplify 3.0 into 3.0
6.587 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
6.587 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
6.587 * [taylor]: Taking taylor expansion of x in y
6.587 * [backup-simplify]: Simplify x into x
6.587 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
6.587 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.587 * [taylor]: Taking taylor expansion of y in y
6.587 * [backup-simplify]: Simplify 0 into 0
6.587 * [backup-simplify]: Simplify 1 into 1
6.587 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
6.588 * [taylor]: Taking taylor expansion of 3.0 in x
6.588 * [backup-simplify]: Simplify 3.0 into 3.0
6.588 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
6.588 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
6.588 * [taylor]: Taking taylor expansion of x in x
6.588 * [backup-simplify]: Simplify 0 into 0
6.588 * [backup-simplify]: Simplify 1 into 1
6.588 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.588 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.588 * [taylor]: Taking taylor expansion of y in x
6.588 * [backup-simplify]: Simplify y into y
6.588 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
6.588 * [taylor]: Taking taylor expansion of 3.0 in x
6.588 * [backup-simplify]: Simplify 3.0 into 3.0
6.588 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
6.588 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
6.588 * [taylor]: Taking taylor expansion of x in x
6.588 * [backup-simplify]: Simplify 0 into 0
6.588 * [backup-simplify]: Simplify 1 into 1
6.588 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.588 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.588 * [taylor]: Taking taylor expansion of y in x
6.588 * [backup-simplify]: Simplify y into y
6.588 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.589 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
6.589 * [backup-simplify]: Simplify (* (- 0.13793103448275862) y) into (* -0.13793103448275862 y)
6.589 * [backup-simplify]: Simplify (* 3.0 (* -0.13793103448275862 y)) into (* -0.41379310344827586 y)
6.589 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
6.589 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
6.589 * [backup-simplify]: Simplify -0.41379310344827586 into -0.41379310344827586
6.589 * [taylor]: Taking taylor expansion of y in y
6.589 * [backup-simplify]: Simplify 0 into 0
6.589 * [backup-simplify]: Simplify 1 into 1
6.590 * [backup-simplify]: Simplify (* -0.41379310344827586 0) into 0
6.590 * [backup-simplify]: Simplify 0 into 0
6.590 * [backup-simplify]: Simplify (- 0) into 0
6.590 * [backup-simplify]: Simplify (+ 1 0) into 1
6.590 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (* 1 y)) into y
6.590 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 (* -0.13793103448275862 y))) into (* 3.0 y)
6.591 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
6.591 * [taylor]: Taking taylor expansion of 3.0 in y
6.591 * [backup-simplify]: Simplify 3.0 into 3.0
6.591 * [taylor]: Taking taylor expansion of y in y
6.591 * [backup-simplify]: Simplify 0 into 0
6.591 * [backup-simplify]: Simplify 1 into 1
6.591 * [backup-simplify]: Simplify (* 3.0 0) into 0
6.591 * [backup-simplify]: Simplify 0 into 0
6.592 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 1) (* 0 0)) into (- 0.41379310344827586)
6.592 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
6.592 * [backup-simplify]: Simplify (- 0) into 0
6.592 * [backup-simplify]: Simplify (+ 0 0) into 0
6.593 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (* 0 y))) into 0
6.593 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))) into 0
6.593 * [taylor]: Taking taylor expansion of 0 in y
6.593 * [backup-simplify]: Simplify 0 into 0
6.593 * [backup-simplify]: Simplify 0 into 0
6.594 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
6.595 * [backup-simplify]: Simplify 3.0 into 3.0
6.595 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 1) (* 0 0))) into 0
6.595 * [backup-simplify]: Simplify 0 into 0
6.595 * [backup-simplify]: Simplify (- 0) into 0
6.596 * [backup-simplify]: Simplify (+ 0 0) into 0
6.596 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
6.597 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y))))) into 0
6.597 * [taylor]: Taking taylor expansion of 0 in y
6.597 * [backup-simplify]: Simplify 0 into 0
6.597 * [backup-simplify]: Simplify 0 into 0
6.597 * [backup-simplify]: Simplify 0 into 0
6.598 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
6.598 * [backup-simplify]: Simplify 0 into 0
6.598 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.598 * [backup-simplify]: Simplify 0 into 0
6.598 * [backup-simplify]: Simplify (- 0) into 0
6.599 * [backup-simplify]: Simplify (+ 0 0) into 0
6.600 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
6.600 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))))) into 0
6.600 * [taylor]: Taking taylor expansion of 0 in y
6.600 * [backup-simplify]: Simplify 0 into 0
6.600 * [backup-simplify]: Simplify 0 into 0
6.601 * [backup-simplify]: Simplify (+ (* 3.0 (* y x)) (* (- 0.41379310344827586) (* y 1))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
6.601 * [backup-simplify]: Simplify (* (* (- (/ 1 x) (/ 16.0 116.0)) (/ 1 y)) 3.0) into (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y))
6.601 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0
6.601 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
6.601 * [taylor]: Taking taylor expansion of 3.0 in y
6.601 * [backup-simplify]: Simplify 3.0 into 3.0
6.601 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
6.601 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
6.601 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.601 * [taylor]: Taking taylor expansion of x in y
6.601 * [backup-simplify]: Simplify x into x
6.601 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.601 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
6.601 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.601 * [taylor]: Taking taylor expansion of y in y
6.602 * [backup-simplify]: Simplify 0 into 0
6.602 * [backup-simplify]: Simplify 1 into 1
6.602 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.602 * [backup-simplify]: Simplify (+ (/ 1 x) (- 0.13793103448275862)) into (- (/ 1 x) 0.13793103448275862)
6.602 * [backup-simplify]: Simplify (/ (- (/ 1 x) 0.13793103448275862) 1) into (- (/ 1 x) 0.13793103448275862)
6.602 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
6.602 * [taylor]: Taking taylor expansion of 3.0 in x
6.602 * [backup-simplify]: Simplify 3.0 into 3.0
6.602 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
6.602 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
6.602 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.602 * [taylor]: Taking taylor expansion of x in x
6.602 * [backup-simplify]: Simplify 0 into 0
6.602 * [backup-simplify]: Simplify 1 into 1
6.603 * [backup-simplify]: Simplify (/ 1 1) into 1
6.603 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.603 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.603 * [taylor]: Taking taylor expansion of y in x
6.603 * [backup-simplify]: Simplify y into y
6.603 * [backup-simplify]: Simplify (+ 1 0) into 1
6.603 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.603 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
6.603 * [taylor]: Taking taylor expansion of 3.0 in x
6.603 * [backup-simplify]: Simplify 3.0 into 3.0
6.603 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
6.603 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
6.603 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.603 * [taylor]: Taking taylor expansion of x in x
6.603 * [backup-simplify]: Simplify 0 into 0
6.603 * [backup-simplify]: Simplify 1 into 1
6.603 * [backup-simplify]: Simplify (/ 1 1) into 1
6.603 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.603 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.603 * [taylor]: Taking taylor expansion of y in x
6.603 * [backup-simplify]: Simplify y into y
6.604 * [backup-simplify]: Simplify (+ 1 0) into 1
6.604 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.604 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
6.604 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
6.604 * [taylor]: Taking taylor expansion of 3.0 in y
6.604 * [backup-simplify]: Simplify 3.0 into 3.0
6.604 * [taylor]: Taking taylor expansion of y in y
6.604 * [backup-simplify]: Simplify 0 into 0
6.604 * [backup-simplify]: Simplify 1 into 1
6.604 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
6.604 * [backup-simplify]: Simplify 3.0 into 3.0
6.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.605 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.605 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
6.606 * [backup-simplify]: Simplify (- (/ (- 0.13793103448275862) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (* 0.13793103448275862 (/ 1 y)))
6.606 * [backup-simplify]: Simplify (+ (* 3.0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))) into (- (* 0.41379310344827586 (/ 1 y)))
6.606 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
6.606 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
6.606 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
6.606 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
6.606 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.606 * [taylor]: Taking taylor expansion of y in y
6.606 * [backup-simplify]: Simplify 0 into 0
6.606 * [backup-simplify]: Simplify 1 into 1
6.606 * [backup-simplify]: Simplify (/ 1 1) into 1
6.607 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
6.607 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
6.607 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
6.608 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
6.608 * [backup-simplify]: Simplify 0 into 0
6.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.608 * [backup-simplify]: Simplify (- 0) into 0
6.609 * [backup-simplify]: Simplify (+ 0 0) into 0
6.609 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)))) into 0
6.609 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y)))) into 0
6.609 * [taylor]: Taking taylor expansion of 0 in y
6.609 * [backup-simplify]: Simplify 0 into 0
6.610 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.610 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
6.610 * [backup-simplify]: Simplify (- 0) into 0
6.610 * [backup-simplify]: Simplify 0 into 0
6.611 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.611 * [backup-simplify]: Simplify 0 into 0
6.611 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.612 * [backup-simplify]: Simplify (- 0) into 0
6.612 * [backup-simplify]: Simplify (+ 0 0) into 0
6.612 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.613 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))))) into 0
6.613 * [taylor]: Taking taylor expansion of 0 in y
6.613 * [backup-simplify]: Simplify 0 into 0
6.613 * [backup-simplify]: Simplify 0 into 0
6.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.614 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
6.614 * [backup-simplify]: Simplify (- 0) into 0
6.614 * [backup-simplify]: Simplify 0 into 0
6.615 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.615 * [backup-simplify]: Simplify 0 into 0
6.615 * [backup-simplify]: Simplify (+ (* (- 0.41379310344827586) (* (/ 1 (/ 1 y)) 1)) (* 3.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
6.615 * [backup-simplify]: Simplify (* (* (- (/ 1 (- x)) (/ 16.0 116.0)) (/ 1 (- y))) 3.0) into (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y))
6.615 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0
6.615 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
6.615 * [taylor]: Taking taylor expansion of 3.0 in y
6.615 * [backup-simplify]: Simplify 3.0 into 3.0
6.616 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
6.616 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
6.616 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
6.616 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.616 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.616 * [taylor]: Taking taylor expansion of x in y
6.616 * [backup-simplify]: Simplify x into x
6.616 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.616 * [taylor]: Taking taylor expansion of y in y
6.616 * [backup-simplify]: Simplify 0 into 0
6.616 * [backup-simplify]: Simplify 1 into 1
6.616 * [backup-simplify]: Simplify (+ 0.13793103448275862 (/ 1 x)) into (+ (/ 1 x) 0.13793103448275862)
6.616 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 0.13793103448275862) 1) into (+ 0.13793103448275862 (/ 1 x))
6.616 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
6.616 * [taylor]: Taking taylor expansion of 3.0 in x
6.616 * [backup-simplify]: Simplify 3.0 into 3.0
6.616 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
6.616 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
6.616 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.616 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.616 * [taylor]: Taking taylor expansion of x in x
6.616 * [backup-simplify]: Simplify 0 into 0
6.616 * [backup-simplify]: Simplify 1 into 1
6.616 * [backup-simplify]: Simplify (/ 1 1) into 1
6.616 * [taylor]: Taking taylor expansion of y in x
6.616 * [backup-simplify]: Simplify y into y
6.617 * [backup-simplify]: Simplify (+ 0 1) into 1
6.617 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.617 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
6.617 * [taylor]: Taking taylor expansion of 3.0 in x
6.617 * [backup-simplify]: Simplify 3.0 into 3.0
6.617 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
6.617 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
6.617 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.617 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.617 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.617 * [taylor]: Taking taylor expansion of x in x
6.617 * [backup-simplify]: Simplify 0 into 0
6.617 * [backup-simplify]: Simplify 1 into 1
6.617 * [backup-simplify]: Simplify (/ 1 1) into 1
6.617 * [taylor]: Taking taylor expansion of y in x
6.617 * [backup-simplify]: Simplify y into y
6.617 * [backup-simplify]: Simplify (+ 0 1) into 1
6.617 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.618 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
6.618 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
6.618 * [taylor]: Taking taylor expansion of 3.0 in y
6.618 * [backup-simplify]: Simplify 3.0 into 3.0
6.618 * [taylor]: Taking taylor expansion of y in y
6.618 * [backup-simplify]: Simplify 0 into 0
6.618 * [backup-simplify]: Simplify 1 into 1
6.618 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
6.618 * [backup-simplify]: Simplify 3.0 into 3.0
6.618 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.619 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
6.619 * [backup-simplify]: Simplify (- (/ 0.13793103448275862 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 0.13793103448275862 (/ 1 y))
6.619 * [backup-simplify]: Simplify (+ (* 3.0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))) into (* 0.41379310344827586 (/ 1 y))
6.619 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
6.619 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
6.619 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
6.619 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.619 * [taylor]: Taking taylor expansion of y in y
6.619 * [backup-simplify]: Simplify 0 into 0
6.619 * [backup-simplify]: Simplify 1 into 1
6.619 * [backup-simplify]: Simplify (/ 1 1) into 1
6.619 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
6.620 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
6.620 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
6.620 * [backup-simplify]: Simplify 0 into 0
6.621 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.621 * [backup-simplify]: Simplify (+ 0 0) into 0
6.621 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)))) into 0
6.621 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y)))) into 0
6.621 * [taylor]: Taking taylor expansion of 0 in y
6.621 * [backup-simplify]: Simplify 0 into 0
6.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.622 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
6.622 * [backup-simplify]: Simplify 0 into 0
6.623 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.623 * [backup-simplify]: Simplify 0 into 0
6.623 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.624 * [backup-simplify]: Simplify (+ 0 0) into 0
6.624 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.624 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))))) into 0
6.624 * [taylor]: Taking taylor expansion of 0 in y
6.624 * [backup-simplify]: Simplify 0 into 0
6.624 * [backup-simplify]: Simplify 0 into 0
6.625 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.625 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
6.625 * [backup-simplify]: Simplify 0 into 0
6.626 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.626 * [backup-simplify]: Simplify 0 into 0
6.626 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 (* (/ 1 (/ 1 (- y))) 1)) (* 3.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
6.626 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
6.627 * [backup-simplify]: Simplify (* (- x (/ 16.0 116.0)) y) into (* (- x 0.13793103448275862) y)
6.627 * [approximate]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in (x y) around 0
6.627 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
6.627 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
6.627 * [taylor]: Taking taylor expansion of x in y
6.627 * [backup-simplify]: Simplify x into x
6.627 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
6.627 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.627 * [taylor]: Taking taylor expansion of y in y
6.627 * [backup-simplify]: Simplify 0 into 0
6.627 * [backup-simplify]: Simplify 1 into 1
6.627 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
6.627 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
6.627 * [taylor]: Taking taylor expansion of x in x
6.627 * [backup-simplify]: Simplify 0 into 0
6.627 * [backup-simplify]: Simplify 1 into 1
6.627 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.627 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.627 * [taylor]: Taking taylor expansion of y in x
6.627 * [backup-simplify]: Simplify y into y
6.627 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
6.627 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
6.627 * [taylor]: Taking taylor expansion of x in x
6.627 * [backup-simplify]: Simplify 0 into 0
6.627 * [backup-simplify]: Simplify 1 into 1
6.627 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.627 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.627 * [taylor]: Taking taylor expansion of y in x
6.627 * [backup-simplify]: Simplify y into y
6.627 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.628 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
6.628 * [backup-simplify]: Simplify (* (- 0.13793103448275862) y) into (* -0.13793103448275862 y)
6.628 * [taylor]: Taking taylor expansion of (* -0.13793103448275862 y) in y
6.628 * [taylor]: Taking taylor expansion of -0.13793103448275862 in y
6.628 * [backup-simplify]: Simplify -0.13793103448275862 into -0.13793103448275862
6.628 * [taylor]: Taking taylor expansion of y in y
6.628 * [backup-simplify]: Simplify 0 into 0
6.628 * [backup-simplify]: Simplify 1 into 1
6.629 * [backup-simplify]: Simplify (* -0.13793103448275862 0) into 0
6.629 * [backup-simplify]: Simplify 0 into 0
6.629 * [backup-simplify]: Simplify (- 0) into 0
6.629 * [backup-simplify]: Simplify (+ 1 0) into 1
6.629 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (* 1 y)) into y
6.629 * [taylor]: Taking taylor expansion of y in y
6.630 * [backup-simplify]: Simplify 0 into 0
6.630 * [backup-simplify]: Simplify 1 into 1
6.630 * [backup-simplify]: Simplify 0 into 0
6.630 * [backup-simplify]: Simplify (+ (* -0.13793103448275862 1) (* 0 0)) into (- 0.13793103448275862)
6.631 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.631 * [backup-simplify]: Simplify (- 0) into 0
6.631 * [backup-simplify]: Simplify (+ 0 0) into 0
6.632 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (* 0 y))) into 0
6.632 * [taylor]: Taking taylor expansion of 0 in y
6.632 * [backup-simplify]: Simplify 0 into 0
6.632 * [backup-simplify]: Simplify 0 into 0
6.632 * [backup-simplify]: Simplify 1 into 1
6.632 * [backup-simplify]: Simplify (+ (* -0.13793103448275862 0) (+ (* 0 1) (* 0 0))) into 0
6.632 * [backup-simplify]: Simplify 0 into 0
6.633 * [backup-simplify]: Simplify (- 0) into 0
6.633 * [backup-simplify]: Simplify (+ 0 0) into 0
6.634 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
6.634 * [taylor]: Taking taylor expansion of 0 in y
6.634 * [backup-simplify]: Simplify 0 into 0
6.634 * [backup-simplify]: Simplify 0 into 0
6.634 * [backup-simplify]: Simplify 0 into 0
6.634 * [backup-simplify]: Simplify 0 into 0
6.634 * [backup-simplify]: Simplify (+ (* -0.13793103448275862 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.634 * [backup-simplify]: Simplify 0 into 0
6.635 * [backup-simplify]: Simplify (- 0) into 0
6.639 * [backup-simplify]: Simplify (+ 0 0) into 0
6.642 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
6.642 * [taylor]: Taking taylor expansion of 0 in y
6.642 * [backup-simplify]: Simplify 0 into 0
6.642 * [backup-simplify]: Simplify 0 into 0
6.642 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* (- 0.13793103448275862) (* y 1))) into (- (* x y) (* 0.13793103448275862 y))
6.643 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 16.0 116.0)) (/ 1 y)) into (/ (- (/ 1 x) 0.13793103448275862) y)
6.643 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in (x y) around 0
6.643 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
6.643 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
6.643 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.643 * [taylor]: Taking taylor expansion of x in y
6.643 * [backup-simplify]: Simplify x into x
6.643 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.643 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
6.643 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.643 * [taylor]: Taking taylor expansion of y in y
6.643 * [backup-simplify]: Simplify 0 into 0
6.643 * [backup-simplify]: Simplify 1 into 1
6.644 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.644 * [backup-simplify]: Simplify (+ (/ 1 x) (- 0.13793103448275862)) into (- (/ 1 x) 0.13793103448275862)
6.645 * [backup-simplify]: Simplify (/ (- (/ 1 x) 0.13793103448275862) 1) into (- (/ 1 x) 0.13793103448275862)
6.645 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
6.645 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
6.645 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.645 * [taylor]: Taking taylor expansion of x in x
6.645 * [backup-simplify]: Simplify 0 into 0
6.645 * [backup-simplify]: Simplify 1 into 1
6.645 * [backup-simplify]: Simplify (/ 1 1) into 1
6.645 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.646 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.646 * [taylor]: Taking taylor expansion of y in x
6.646 * [backup-simplify]: Simplify y into y
6.646 * [backup-simplify]: Simplify (+ 1 0) into 1
6.646 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.646 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
6.646 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
6.646 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.646 * [taylor]: Taking taylor expansion of x in x
6.646 * [backup-simplify]: Simplify 0 into 0
6.646 * [backup-simplify]: Simplify 1 into 1
6.647 * [backup-simplify]: Simplify (/ 1 1) into 1
6.647 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.647 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.647 * [taylor]: Taking taylor expansion of y in x
6.647 * [backup-simplify]: Simplify y into y
6.647 * [backup-simplify]: Simplify (+ 1 0) into 1
6.647 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.648 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.648 * [taylor]: Taking taylor expansion of y in y
6.648 * [backup-simplify]: Simplify 0 into 0
6.648 * [backup-simplify]: Simplify 1 into 1
6.648 * [backup-simplify]: Simplify (/ 1 1) into 1
6.648 * [backup-simplify]: Simplify 1 into 1
6.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.649 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.650 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
6.651 * [backup-simplify]: Simplify (- (/ (- 0.13793103448275862) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (* 0.13793103448275862 (/ 1 y)))
6.651 * [taylor]: Taking taylor expansion of (- (* 0.13793103448275862 (/ 1 y))) in y
6.651 * [taylor]: Taking taylor expansion of (* 0.13793103448275862 (/ 1 y)) in y
6.651 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
6.651 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.651 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.651 * [taylor]: Taking taylor expansion of y in y
6.651 * [backup-simplify]: Simplify 0 into 0
6.651 * [backup-simplify]: Simplify 1 into 1
6.652 * [backup-simplify]: Simplify (/ 1 1) into 1
6.652 * [backup-simplify]: Simplify (* 0.13793103448275862 1) into 0.13793103448275862
6.652 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.653 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.654 * [backup-simplify]: Simplify 0 into 0
6.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.655 * [backup-simplify]: Simplify (- 0) into 0
6.655 * [backup-simplify]: Simplify (+ 0 0) into 0
6.656 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)))) into 0
6.656 * [taylor]: Taking taylor expansion of 0 in y
6.656 * [backup-simplify]: Simplify 0 into 0
6.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.657 * [backup-simplify]: Simplify (+ (* 0.13793103448275862 0) (* 0 1)) into 0
6.658 * [backup-simplify]: Simplify (- 0) into 0
6.658 * [backup-simplify]: Simplify 0 into 0
6.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.659 * [backup-simplify]: Simplify 0 into 0
6.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.660 * [backup-simplify]: Simplify (- 0) into 0
6.660 * [backup-simplify]: Simplify (+ 0 0) into 0
6.661 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.661 * [taylor]: Taking taylor expansion of 0 in y
6.661 * [backup-simplify]: Simplify 0 into 0
6.661 * [backup-simplify]: Simplify 0 into 0
6.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.663 * [backup-simplify]: Simplify (+ (* 0.13793103448275862 0) (+ (* 0 0) (* 0 1))) into 0
6.663 * [backup-simplify]: Simplify (- 0) into 0
6.663 * [backup-simplify]: Simplify 0 into 0
6.664 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.664 * [backup-simplify]: Simplify 0 into 0
6.665 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (* x y) (* 0.13793103448275862 y))
6.665 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 16.0 116.0)) (/ 1 (- y))) into (/ (+ 0.13793103448275862 (/ 1 x)) y)
6.666 * [approximate]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in (x y) around 0
6.666 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
6.666 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
6.666 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
6.666 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.666 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.666 * [taylor]: Taking taylor expansion of x in y
6.666 * [backup-simplify]: Simplify x into x
6.666 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.666 * [taylor]: Taking taylor expansion of y in y
6.666 * [backup-simplify]: Simplify 0 into 0
6.666 * [backup-simplify]: Simplify 1 into 1
6.666 * [backup-simplify]: Simplify (+ 0.13793103448275862 (/ 1 x)) into (+ (/ 1 x) 0.13793103448275862)
6.666 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 0.13793103448275862) 1) into (+ 0.13793103448275862 (/ 1 x))
6.666 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
6.666 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
6.666 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.666 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.666 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.666 * [taylor]: Taking taylor expansion of x in x
6.666 * [backup-simplify]: Simplify 0 into 0
6.666 * [backup-simplify]: Simplify 1 into 1
6.667 * [backup-simplify]: Simplify (/ 1 1) into 1
6.667 * [taylor]: Taking taylor expansion of y in x
6.667 * [backup-simplify]: Simplify y into y
6.667 * [backup-simplify]: Simplify (+ 0 1) into 1
6.667 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.667 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
6.667 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
6.668 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.668 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.668 * [taylor]: Taking taylor expansion of x in x
6.668 * [backup-simplify]: Simplify 0 into 0
6.668 * [backup-simplify]: Simplify 1 into 1
6.668 * [backup-simplify]: Simplify (/ 1 1) into 1
6.668 * [taylor]: Taking taylor expansion of y in x
6.668 * [backup-simplify]: Simplify y into y
6.669 * [backup-simplify]: Simplify (+ 0 1) into 1
6.669 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.669 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.669 * [taylor]: Taking taylor expansion of y in y
6.669 * [backup-simplify]: Simplify 0 into 0
6.669 * [backup-simplify]: Simplify 1 into 1
6.669 * [backup-simplify]: Simplify (/ 1 1) into 1
6.669 * [backup-simplify]: Simplify 1 into 1
6.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.671 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
6.671 * [backup-simplify]: Simplify (- (/ 0.13793103448275862 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 0.13793103448275862 (/ 1 y))
6.671 * [taylor]: Taking taylor expansion of (* 0.13793103448275862 (/ 1 y)) in y
6.671 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
6.671 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.671 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.671 * [taylor]: Taking taylor expansion of y in y
6.671 * [backup-simplify]: Simplify 0 into 0
6.671 * [backup-simplify]: Simplify 1 into 1
6.672 * [backup-simplify]: Simplify (/ 1 1) into 1
6.672 * [backup-simplify]: Simplify (* 0.13793103448275862 1) into 0.13793103448275862
6.672 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.673 * [backup-simplify]: Simplify 0 into 0
6.674 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.674 * [backup-simplify]: Simplify (+ 0 0) into 0
6.675 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)))) into 0
6.675 * [taylor]: Taking taylor expansion of 0 in y
6.675 * [backup-simplify]: Simplify 0 into 0
6.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.676 * [backup-simplify]: Simplify (+ (* 0.13793103448275862 0) (* 0 1)) into 0
6.676 * [backup-simplify]: Simplify 0 into 0
6.677 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.677 * [backup-simplify]: Simplify 0 into 0
6.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.678 * [backup-simplify]: Simplify (+ 0 0) into 0
6.679 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.679 * [taylor]: Taking taylor expansion of 0 in y
6.679 * [backup-simplify]: Simplify 0 into 0
6.679 * [backup-simplify]: Simplify 0 into 0
6.680 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.681 * [backup-simplify]: Simplify (+ (* 0.13793103448275862 0) (+ (* 0 0) (* 0 1))) into 0
6.681 * [backup-simplify]: Simplify 0 into 0
6.682 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.682 * [backup-simplify]: Simplify 0 into 0
6.682 * [backup-simplify]: Simplify (+ (* 0.13793103448275862 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (* x y) (* 0.13793103448275862 y))
6.682 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
6.683 * [backup-simplify]: Simplify (- x (/ 16.0 116.0)) into (- x 0.13793103448275862)
6.683 * [approximate]: Taking taylor expansion of (- x 0.13793103448275862) in (x) around 0
6.683 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
6.683 * [taylor]: Taking taylor expansion of x in x
6.683 * [backup-simplify]: Simplify 0 into 0
6.683 * [backup-simplify]: Simplify 1 into 1
6.683 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.683 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.683 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
6.683 * [taylor]: Taking taylor expansion of x in x
6.683 * [backup-simplify]: Simplify 0 into 0
6.683 * [backup-simplify]: Simplify 1 into 1
6.683 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.683 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.684 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.685 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
6.685 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.685 * [backup-simplify]: Simplify (- 0) into 0
6.686 * [backup-simplify]: Simplify (+ 1 0) into 1
6.686 * [backup-simplify]: Simplify 1 into 1
6.686 * [backup-simplify]: Simplify (- 0) into 0
6.687 * [backup-simplify]: Simplify (+ 0 0) into 0
6.687 * [backup-simplify]: Simplify 0 into 0
6.687 * [backup-simplify]: Simplify (- 0) into 0
6.687 * [backup-simplify]: Simplify (+ 0 0) into 0
6.687 * [backup-simplify]: Simplify 0 into 0
6.688 * [backup-simplify]: Simplify (- 0) into 0
6.688 * [backup-simplify]: Simplify (+ 0 0) into 0
6.688 * [backup-simplify]: Simplify 0 into 0
6.688 * [backup-simplify]: Simplify (- 0) into 0
6.689 * [backup-simplify]: Simplify (+ 0 0) into 0
6.689 * [backup-simplify]: Simplify 0 into 0
6.689 * [backup-simplify]: Simplify (- 0) into 0
6.690 * [backup-simplify]: Simplify (+ 0 0) into 0
6.690 * [backup-simplify]: Simplify 0 into 0
6.690 * [backup-simplify]: Simplify (- 0) into 0
6.690 * [backup-simplify]: Simplify (+ 0 0) into 0
6.690 * [backup-simplify]: Simplify 0 into 0
6.691 * [backup-simplify]: Simplify (+ (* 1 x) (- 0.13793103448275862)) into (- x 0.13793103448275862)
6.691 * [backup-simplify]: Simplify (- (/ 1 x) (/ 16.0 116.0)) into (- (/ 1 x) 0.13793103448275862)
6.691 * [approximate]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in (x) around 0
6.692 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
6.692 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.692 * [taylor]: Taking taylor expansion of x in x
6.692 * [backup-simplify]: Simplify 0 into 0
6.692 * [backup-simplify]: Simplify 1 into 1
6.692 * [backup-simplify]: Simplify (/ 1 1) into 1
6.692 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.692 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.692 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
6.692 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.692 * [taylor]: Taking taylor expansion of x in x
6.692 * [backup-simplify]: Simplify 0 into 0
6.692 * [backup-simplify]: Simplify 1 into 1
6.693 * [backup-simplify]: Simplify (/ 1 1) into 1
6.693 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.693 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.693 * [backup-simplify]: Simplify (+ 1 0) into 1
6.693 * [backup-simplify]: Simplify 1 into 1
6.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.694 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.695 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
6.696 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.697 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.697 * [backup-simplify]: Simplify (- 0) into 0
6.697 * [backup-simplify]: Simplify (+ 0 0) into 0
6.697 * [backup-simplify]: Simplify 0 into 0
6.698 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.699 * [backup-simplify]: Simplify (- 0) into 0
6.699 * [backup-simplify]: Simplify (+ 0 0) into 0
6.699 * [backup-simplify]: Simplify 0 into 0
6.700 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.701 * [backup-simplify]: Simplify (- 0) into 0
6.701 * [backup-simplify]: Simplify (+ 0 0) into 0
6.701 * [backup-simplify]: Simplify 0 into 0
6.702 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.703 * [backup-simplify]: Simplify (- 0) into 0
6.703 * [backup-simplify]: Simplify (+ 0 0) into 0
6.703 * [backup-simplify]: Simplify 0 into 0
6.704 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.704 * [backup-simplify]: Simplify (- 0) into 0
6.705 * [backup-simplify]: Simplify (+ 0 0) into 0
6.705 * [backup-simplify]: Simplify 0 into 0
6.706 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.707 * [backup-simplify]: Simplify (- 0) into 0
6.707 * [backup-simplify]: Simplify (+ 0 0) into 0
6.707 * [backup-simplify]: Simplify 0 into 0
6.707 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* 1 (/ 1 (/ 1 x)))) into (- x 0.13793103448275862)
6.708 * [backup-simplify]: Simplify (- (/ 1 (- x)) (/ 16.0 116.0)) into (- (+ 0.13793103448275862 (/ 1 x)))
6.708 * [approximate]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in (x) around 0
6.708 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
6.708 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
6.708 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.708 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.708 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.708 * [taylor]: Taking taylor expansion of x in x
6.708 * [backup-simplify]: Simplify 0 into 0
6.708 * [backup-simplify]: Simplify 1 into 1
6.709 * [backup-simplify]: Simplify (/ 1 1) into 1
6.709 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
6.709 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
6.709 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.709 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
6.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.709 * [taylor]: Taking taylor expansion of x in x
6.709 * [backup-simplify]: Simplify 0 into 0
6.709 * [backup-simplify]: Simplify 1 into 1
6.709 * [backup-simplify]: Simplify (/ 1 1) into 1
6.710 * [backup-simplify]: Simplify (+ 0 1) into 1
6.710 * [backup-simplify]: Simplify (- 1) into -1
6.710 * [backup-simplify]: Simplify -1 into -1
6.711 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.711 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
6.712 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.712 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
6.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.713 * [backup-simplify]: Simplify (+ 0 0) into 0
6.714 * [backup-simplify]: Simplify (- 0) into 0
6.714 * [backup-simplify]: Simplify 0 into 0
6.715 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.715 * [backup-simplify]: Simplify (+ 0 0) into 0
6.716 * [backup-simplify]: Simplify (- 0) into 0
6.716 * [backup-simplify]: Simplify 0 into 0
6.716 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.717 * [backup-simplify]: Simplify (+ 0 0) into 0
6.717 * [backup-simplify]: Simplify (- 0) into 0
6.717 * [backup-simplify]: Simplify 0 into 0
6.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.719 * [backup-simplify]: Simplify (+ 0 0) into 0
6.719 * [backup-simplify]: Simplify (- 0) into 0
6.719 * [backup-simplify]: Simplify 0 into 0
6.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.720 * [backup-simplify]: Simplify (+ 0 0) into 0
6.721 * [backup-simplify]: Simplify (- 0) into 0
6.721 * [backup-simplify]: Simplify 0 into 0
6.722 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.722 * [backup-simplify]: Simplify (+ 0 0) into 0
6.722 * [backup-simplify]: Simplify (- 0) into 0
6.723 * [backup-simplify]: Simplify 0 into 0
6.723 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* -1 (/ 1 (/ 1 (- x))))) into (- x 0.13793103448275862)
6.723 * * * [progress]: simplifying candidates
6.725 * [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)
6.727 * * [simplify]: Extracting # 0 : cost  0
6.727 * * [simplify]: Extracting # 1 : cost  0
6.727 * * [simplify]: Extracting # 2 : cost  0
6.727 * * [simplify]: Extracting # 3 : cost  0
6.728 * * [simplify]: Extracting # 4 : cost  0
6.728 * * [simplify]: Extracting # 5 : cost  0
6.728 * * [simplify]: Extracting # 6 : cost  0
6.728 * * [simplify]: iteration  0 :  98  enodes  (cost  707 )
6.764 * * [simplify]: Extracting # 0 : cost  0
6.765 * * [simplify]: Extracting # 1 : cost  0
6.765 * * [simplify]: Extracting # 2 : cost  0
6.765 * * [simplify]: Extracting # 3 : cost  0
6.766 * * [simplify]: iteration  1 :  225  enodes  (cost  688 )
6.882 * * [simplify]: Extracting # 0 : cost  0
6.883 * * [simplify]: Extracting # 1 : cost  0
6.884 * * [simplify]: Extracting # 2 : cost  0
6.885 * * [simplify]: Extracting # 3 : cost  0
6.885 * * [simplify]: Extracting # 4 : cost  0
6.886 * * [simplify]: Extracting # 5 : cost  0
6.887 * * [simplify]: iteration  2 :  738  enodes  (cost  590 )
7.881 * * [simplify]: Extracting # 0 : cost  0
7.885 * * [simplify]: Extracting # 1 : cost  0
7.888 * * [simplify]: Extracting # 2 : cost  0
7.891 * * [simplify]: Extracting # 3 : cost  0
7.893 * * [simplify]: Extracting # 4 : cost  0
7.896 * * [simplify]: iteration  3 :  2805  enodes  (cost  590 )
9.106 * * [simplify]: Extracting # 0 : cost  0
9.113 * * [simplify]: Extracting # 1 : cost  0
9.125 * * [simplify]: Extracting # 2 : cost  0
9.133 * * [simplify]: Extracting # 3 : cost  0
9.139 * * [simplify]: Extracting # 4 : cost  0
9.144 * * [simplify]: iteration done:  5001  enodes  (cost  590 )
9.145 * [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)
9.145 * * * [progress]: adding candidates to table
9.309 * * [progress]: iteration 4 / 4
9.309 * * * [progress]: picking best candidate
9.320 * * * * [pick]: Picked  #<alt (λ (x y) (* (pow (* (- x (/ 16.0 116.0)) y) 1) 3.0))>
9.320 * * * [progress]: localizing error
9.343 * * * [progress]: generating rewritten candidates
9.343 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
9.363 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
9.417 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
9.440 * * * [progress]: generating series expansions
9.471 * * * * [progress]: [ 1 / 3 ] generating series at (2)
9.472 * [backup-simplify]: Simplify (* (pow (* (- x (/ 16.0 116.0)) y) 1) 3.0) into (* 3.0 (* (- x 0.13793103448275862) y))
9.472 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0
9.472 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
9.472 * [taylor]: Taking taylor expansion of 3.0 in y
9.472 * [backup-simplify]: Simplify 3.0 into 3.0
9.472 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
9.472 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
9.472 * [taylor]: Taking taylor expansion of x in y
9.472 * [backup-simplify]: Simplify x into x
9.472 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
9.472 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.472 * [taylor]: Taking taylor expansion of y in y
9.472 * [backup-simplify]: Simplify 0 into 0
9.472 * [backup-simplify]: Simplify 1 into 1
9.472 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
9.472 * [taylor]: Taking taylor expansion of 3.0 in x
9.473 * [backup-simplify]: Simplify 3.0 into 3.0
9.473 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
9.473 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
9.473 * [taylor]: Taking taylor expansion of x in x
9.473 * [backup-simplify]: Simplify 0 into 0
9.473 * [backup-simplify]: Simplify 1 into 1
9.473 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
9.473 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.473 * [taylor]: Taking taylor expansion of y in x
9.473 * [backup-simplify]: Simplify y into y
9.473 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
9.473 * [taylor]: Taking taylor expansion of 3.0 in x
9.473 * [backup-simplify]: Simplify 3.0 into 3.0
9.473 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
9.473 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
9.473 * [taylor]: Taking taylor expansion of x in x
9.473 * [backup-simplify]: Simplify 0 into 0
9.473 * [backup-simplify]: Simplify 1 into 1
9.473 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
9.473 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.473 * [taylor]: Taking taylor expansion of y in x
9.473 * [backup-simplify]: Simplify y into y
9.474 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
9.475 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
9.475 * [backup-simplify]: Simplify (* (- 0.13793103448275862) y) into (* -0.13793103448275862 y)
9.475 * [backup-simplify]: Simplify (* 3.0 (* -0.13793103448275862 y)) into (* -0.41379310344827586 y)
9.475 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
9.475 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
9.475 * [backup-simplify]: Simplify -0.41379310344827586 into -0.41379310344827586
9.475 * [taylor]: Taking taylor expansion of y in y
9.476 * [backup-simplify]: Simplify 0 into 0
9.476 * [backup-simplify]: Simplify 1 into 1
9.476 * [backup-simplify]: Simplify (* -0.41379310344827586 0) into 0
9.476 * [backup-simplify]: Simplify 0 into 0
9.476 * [backup-simplify]: Simplify (- 0) into 0
9.477 * [backup-simplify]: Simplify (+ 1 0) into 1
9.478 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (* 1 y)) into y
9.478 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 (* -0.13793103448275862 y))) into (* 3.0 y)
9.478 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
9.478 * [taylor]: Taking taylor expansion of 3.0 in y
9.478 * [backup-simplify]: Simplify 3.0 into 3.0
9.478 * [taylor]: Taking taylor expansion of y in y
9.478 * [backup-simplify]: Simplify 0 into 0
9.478 * [backup-simplify]: Simplify 1 into 1
9.478 * [backup-simplify]: Simplify (* 3.0 0) into 0
9.478 * [backup-simplify]: Simplify 0 into 0
9.480 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 1) (* 0 0)) into (- 0.41379310344827586)
9.480 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
9.481 * [backup-simplify]: Simplify (- 0) into 0
9.481 * [backup-simplify]: Simplify (+ 0 0) into 0
9.483 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (* 0 y))) into 0
9.483 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))) into 0
9.483 * [taylor]: Taking taylor expansion of 0 in y
9.483 * [backup-simplify]: Simplify 0 into 0
9.483 * [backup-simplify]: Simplify 0 into 0
9.485 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
9.485 * [backup-simplify]: Simplify 3.0 into 3.0
9.486 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 1) (* 0 0))) into 0
9.486 * [backup-simplify]: Simplify 0 into 0
9.487 * [backup-simplify]: Simplify (- 0) into 0
9.487 * [backup-simplify]: Simplify (+ 0 0) into 0
9.488 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
9.489 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y))))) into 0
9.489 * [taylor]: Taking taylor expansion of 0 in y
9.489 * [backup-simplify]: Simplify 0 into 0
9.489 * [backup-simplify]: Simplify 0 into 0
9.490 * [backup-simplify]: Simplify 0 into 0
9.491 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
9.491 * [backup-simplify]: Simplify 0 into 0
9.492 * [backup-simplify]: Simplify (+ (* -0.41379310344827586 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.492 * [backup-simplify]: Simplify 0 into 0
9.493 * [backup-simplify]: Simplify (- 0) into 0
9.493 * [backup-simplify]: Simplify (+ 0 0) into 0
9.495 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
9.496 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 (* -0.13793103448275862 y)))))) into 0
9.496 * [taylor]: Taking taylor expansion of 0 in y
9.496 * [backup-simplify]: Simplify 0 into 0
9.496 * [backup-simplify]: Simplify 0 into 0
9.497 * [backup-simplify]: Simplify (+ (* 3.0 (* y x)) (* (- 0.41379310344827586) (* y 1))) into (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
9.498 * [backup-simplify]: Simplify (* (pow (* (- (/ 1 x) (/ 16.0 116.0)) (/ 1 y)) 1) 3.0) into (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y))
9.498 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0
9.498 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
9.498 * [taylor]: Taking taylor expansion of 3.0 in y
9.498 * [backup-simplify]: Simplify 3.0 into 3.0
9.498 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
9.498 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
9.498 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.498 * [taylor]: Taking taylor expansion of x in y
9.498 * [backup-simplify]: Simplify x into x
9.498 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.498 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
9.498 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.498 * [taylor]: Taking taylor expansion of y in y
9.498 * [backup-simplify]: Simplify 0 into 0
9.498 * [backup-simplify]: Simplify 1 into 1
9.499 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
9.499 * [backup-simplify]: Simplify (+ (/ 1 x) (- 0.13793103448275862)) into (- (/ 1 x) 0.13793103448275862)
9.499 * [backup-simplify]: Simplify (/ (- (/ 1 x) 0.13793103448275862) 1) into (- (/ 1 x) 0.13793103448275862)
9.499 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
9.499 * [taylor]: Taking taylor expansion of 3.0 in x
9.499 * [backup-simplify]: Simplify 3.0 into 3.0
9.499 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
9.499 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
9.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.500 * [taylor]: Taking taylor expansion of x in x
9.500 * [backup-simplify]: Simplify 0 into 0
9.500 * [backup-simplify]: Simplify 1 into 1
9.500 * [backup-simplify]: Simplify (/ 1 1) into 1
9.500 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
9.500 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.500 * [taylor]: Taking taylor expansion of y in x
9.500 * [backup-simplify]: Simplify y into y
9.501 * [backup-simplify]: Simplify (+ 1 0) into 1
9.501 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.501 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
9.501 * [taylor]: Taking taylor expansion of 3.0 in x
9.501 * [backup-simplify]: Simplify 3.0 into 3.0
9.501 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
9.501 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
9.501 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.501 * [taylor]: Taking taylor expansion of x in x
9.501 * [backup-simplify]: Simplify 0 into 0
9.501 * [backup-simplify]: Simplify 1 into 1
9.501 * [backup-simplify]: Simplify (/ 1 1) into 1
9.501 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
9.501 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.501 * [taylor]: Taking taylor expansion of y in x
9.501 * [backup-simplify]: Simplify y into y
9.502 * [backup-simplify]: Simplify (+ 1 0) into 1
9.502 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.502 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
9.502 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
9.502 * [taylor]: Taking taylor expansion of 3.0 in y
9.502 * [backup-simplify]: Simplify 3.0 into 3.0
9.502 * [taylor]: Taking taylor expansion of y in y
9.502 * [backup-simplify]: Simplify 0 into 0
9.502 * [backup-simplify]: Simplify 1 into 1
9.503 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
9.503 * [backup-simplify]: Simplify 3.0 into 3.0
9.504 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.504 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
9.505 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
9.506 * [backup-simplify]: Simplify (- (/ (- 0.13793103448275862) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (* 0.13793103448275862 (/ 1 y)))
9.506 * [backup-simplify]: Simplify (+ (* 3.0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))) into (- (* 0.41379310344827586 (/ 1 y)))
9.506 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
9.506 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
9.506 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
9.506 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
9.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.506 * [taylor]: Taking taylor expansion of y in y
9.506 * [backup-simplify]: Simplify 0 into 0
9.506 * [backup-simplify]: Simplify 1 into 1
9.506 * [backup-simplify]: Simplify (/ 1 1) into 1
9.507 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
9.507 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
9.508 * [backup-simplify]: Simplify (- 0.41379310344827586) into (- 0.41379310344827586)
9.509 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
9.509 * [backup-simplify]: Simplify 0 into 0
9.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.510 * [backup-simplify]: Simplify (- 0) into 0
9.510 * [backup-simplify]: Simplify (+ 0 0) into 0
9.511 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)))) into 0
9.511 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y)))) into 0
9.511 * [taylor]: Taking taylor expansion of 0 in y
9.511 * [backup-simplify]: Simplify 0 into 0
9.512 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.513 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
9.513 * [backup-simplify]: Simplify (- 0) into 0
9.513 * [backup-simplify]: Simplify 0 into 0
9.515 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.515 * [backup-simplify]: Simplify 0 into 0
9.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.516 * [backup-simplify]: Simplify (- 0) into 0
9.516 * [backup-simplify]: Simplify (+ 0 0) into 0
9.517 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.518 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (- (* 0.13793103448275862 (/ 1 y)))) (* 0 (/ 1 y))))) into 0
9.518 * [taylor]: Taking taylor expansion of 0 in y
9.518 * [backup-simplify]: Simplify 0 into 0
9.518 * [backup-simplify]: Simplify 0 into 0
9.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.520 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
9.520 * [backup-simplify]: Simplify (- 0) into 0
9.520 * [backup-simplify]: Simplify 0 into 0
9.522 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.522 * [backup-simplify]: Simplify 0 into 0
9.522 * [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))
9.523 * [backup-simplify]: Simplify (* (pow (* (- (/ 1 (- x)) (/ 16.0 116.0)) (/ 1 (- y))) 1) 3.0) into (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y))
9.523 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0
9.523 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
9.523 * [taylor]: Taking taylor expansion of 3.0 in y
9.524 * [backup-simplify]: Simplify 3.0 into 3.0
9.524 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
9.524 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
9.524 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
9.524 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.524 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.524 * [taylor]: Taking taylor expansion of x in y
9.524 * [backup-simplify]: Simplify x into x
9.524 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.524 * [taylor]: Taking taylor expansion of y in y
9.524 * [backup-simplify]: Simplify 0 into 0
9.524 * [backup-simplify]: Simplify 1 into 1
9.524 * [backup-simplify]: Simplify (+ 0.13793103448275862 (/ 1 x)) into (+ (/ 1 x) 0.13793103448275862)
9.524 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 0.13793103448275862) 1) into (+ 0.13793103448275862 (/ 1 x))
9.524 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
9.524 * [taylor]: Taking taylor expansion of 3.0 in x
9.524 * [backup-simplify]: Simplify 3.0 into 3.0
9.524 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
9.524 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
9.524 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
9.524 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.524 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.524 * [taylor]: Taking taylor expansion of x in x
9.525 * [backup-simplify]: Simplify 0 into 0
9.525 * [backup-simplify]: Simplify 1 into 1
9.525 * [backup-simplify]: Simplify (/ 1 1) into 1
9.525 * [taylor]: Taking taylor expansion of y in x
9.525 * [backup-simplify]: Simplify y into y
9.525 * [backup-simplify]: Simplify (+ 0 1) into 1
9.526 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.526 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
9.526 * [taylor]: Taking taylor expansion of 3.0 in x
9.526 * [backup-simplify]: Simplify 3.0 into 3.0
9.526 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
9.526 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
9.526 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
9.526 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.526 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.526 * [taylor]: Taking taylor expansion of x in x
9.526 * [backup-simplify]: Simplify 0 into 0
9.526 * [backup-simplify]: Simplify 1 into 1
9.526 * [backup-simplify]: Simplify (/ 1 1) into 1
9.526 * [taylor]: Taking taylor expansion of y in x
9.526 * [backup-simplify]: Simplify y into y
9.527 * [backup-simplify]: Simplify (+ 0 1) into 1
9.527 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.527 * [backup-simplify]: Simplify (* 3.0 (/ 1 y)) into (/ 3.0 y)
9.527 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
9.527 * [taylor]: Taking taylor expansion of 3.0 in y
9.527 * [backup-simplify]: Simplify 3.0 into 3.0
9.527 * [taylor]: Taking taylor expansion of y in y
9.527 * [backup-simplify]: Simplify 0 into 0
9.527 * [backup-simplify]: Simplify 1 into 1
9.528 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
9.528 * [backup-simplify]: Simplify 3.0 into 3.0
9.529 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.529 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
9.529 * [backup-simplify]: Simplify (- (/ 0.13793103448275862 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 0.13793103448275862 (/ 1 y))
9.529 * [backup-simplify]: Simplify (+ (* 3.0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))) into (* 0.41379310344827586 (/ 1 y))
9.529 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
9.529 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
9.530 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
9.530 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.530 * [taylor]: Taking taylor expansion of y in y
9.530 * [backup-simplify]: Simplify 0 into 0
9.530 * [backup-simplify]: Simplify 1 into 1
9.530 * [backup-simplify]: Simplify (/ 1 1) into 1
9.530 * [backup-simplify]: Simplify (* 0.41379310344827586 1) into 0.41379310344827586
9.531 * [backup-simplify]: Simplify 0.41379310344827586 into 0.41379310344827586
9.531 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
9.531 * [backup-simplify]: Simplify 0 into 0
9.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.533 * [backup-simplify]: Simplify (+ 0 0) into 0
9.533 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)))) into 0
9.534 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y)))) into 0
9.534 * [taylor]: Taking taylor expansion of 0 in y
9.534 * [backup-simplify]: Simplify 0 into 0
9.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.535 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (* 0 1)) into 0
9.535 * [backup-simplify]: Simplify 0 into 0
9.536 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.536 * [backup-simplify]: Simplify 0 into 0
9.537 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.538 * [backup-simplify]: Simplify (+ 0 0) into 0
9.538 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.539 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (* 0.13793103448275862 (/ 1 y))) (* 0 (/ 1 y))))) into 0
9.539 * [taylor]: Taking taylor expansion of 0 in y
9.539 * [backup-simplify]: Simplify 0 into 0
9.539 * [backup-simplify]: Simplify 0 into 0
9.540 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.541 * [backup-simplify]: Simplify (+ (* 0.41379310344827586 0) (+ (* 0 0) (* 0 1))) into 0
9.541 * [backup-simplify]: Simplify 0 into 0
9.542 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.542 * [backup-simplify]: Simplify 0 into 0
9.543 * [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))
9.543 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
9.543 * [backup-simplify]: Simplify (* (- x (/ 16.0 116.0)) y) into (* (- x 0.13793103448275862) y)
9.543 * [approximate]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in (x y) around 0
9.543 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
9.543 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
9.543 * [taylor]: Taking taylor expansion of x in y
9.543 * [backup-simplify]: Simplify x into x
9.543 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
9.543 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.544 * [taylor]: Taking taylor expansion of y in y
9.544 * [backup-simplify]: Simplify 0 into 0
9.544 * [backup-simplify]: Simplify 1 into 1
9.544 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
9.544 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
9.544 * [taylor]: Taking taylor expansion of x in x
9.544 * [backup-simplify]: Simplify 0 into 0
9.544 * [backup-simplify]: Simplify 1 into 1
9.544 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
9.544 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.544 * [taylor]: Taking taylor expansion of y in x
9.544 * [backup-simplify]: Simplify y into y
9.544 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
9.544 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
9.544 * [taylor]: Taking taylor expansion of x in x
9.544 * [backup-simplify]: Simplify 0 into 0
9.544 * [backup-simplify]: Simplify 1 into 1
9.544 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
9.544 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.544 * [taylor]: Taking taylor expansion of y in x
9.544 * [backup-simplify]: Simplify y into y
9.545 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
9.545 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
9.546 * [backup-simplify]: Simplify (* (- 0.13793103448275862) y) into (* -0.13793103448275862 y)
9.546 * [taylor]: Taking taylor expansion of (* -0.13793103448275862 y) in y
9.546 * [taylor]: Taking taylor expansion of -0.13793103448275862 in y
9.546 * [backup-simplify]: Simplify -0.13793103448275862 into -0.13793103448275862
9.546 * [taylor]: Taking taylor expansion of y in y
9.546 * [backup-simplify]: Simplify 0 into 0
9.546 * [backup-simplify]: Simplify 1 into 1
9.546 * [backup-simplify]: Simplify (* -0.13793103448275862 0) into 0
9.547 * [backup-simplify]: Simplify 0 into 0
9.547 * [backup-simplify]: Simplify (- 0) into 0
9.547 * [backup-simplify]: Simplify (+ 1 0) into 1
9.548 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (* 1 y)) into y
9.548 * [taylor]: Taking taylor expansion of y in y
9.548 * [backup-simplify]: Simplify 0 into 0
9.548 * [backup-simplify]: Simplify 1 into 1
9.548 * [backup-simplify]: Simplify 0 into 0
9.549 * [backup-simplify]: Simplify (+ (* -0.13793103448275862 1) (* 0 0)) into (- 0.13793103448275862)
9.550 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
9.550 * [backup-simplify]: Simplify (- 0) into 0
9.551 * [backup-simplify]: Simplify (+ 0 0) into 0
9.552 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (* 0 y))) into 0
9.552 * [taylor]: Taking taylor expansion of 0 in y
9.552 * [backup-simplify]: Simplify 0 into 0
9.552 * [backup-simplify]: Simplify 0 into 0
9.552 * [backup-simplify]: Simplify 1 into 1
9.553 * [backup-simplify]: Simplify (+ (* -0.13793103448275862 0) (+ (* 0 1) (* 0 0))) into 0
9.553 * [backup-simplify]: Simplify 0 into 0
9.553 * [backup-simplify]: Simplify (- 0) into 0
9.554 * [backup-simplify]: Simplify (+ 0 0) into 0
9.555 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
9.555 * [taylor]: Taking taylor expansion of 0 in y
9.555 * [backup-simplify]: Simplify 0 into 0
9.555 * [backup-simplify]: Simplify 0 into 0
9.555 * [backup-simplify]: Simplify 0 into 0
9.555 * [backup-simplify]: Simplify 0 into 0
9.556 * [backup-simplify]: Simplify (+ (* -0.13793103448275862 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.557 * [backup-simplify]: Simplify 0 into 0
9.557 * [backup-simplify]: Simplify (- 0) into 0
9.557 * [backup-simplify]: Simplify (+ 0 0) into 0
9.559 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
9.559 * [taylor]: Taking taylor expansion of 0 in y
9.559 * [backup-simplify]: Simplify 0 into 0
9.559 * [backup-simplify]: Simplify 0 into 0
9.560 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* (- 0.13793103448275862) (* y 1))) into (- (* x y) (* 0.13793103448275862 y))
9.561 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 16.0 116.0)) (/ 1 y)) into (/ (- (/ 1 x) 0.13793103448275862) y)
9.561 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in (x y) around 0
9.561 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
9.561 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
9.561 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.561 * [taylor]: Taking taylor expansion of x in y
9.561 * [backup-simplify]: Simplify x into x
9.561 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.561 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
9.561 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.561 * [taylor]: Taking taylor expansion of y in y
9.562 * [backup-simplify]: Simplify 0 into 0
9.562 * [backup-simplify]: Simplify 1 into 1
9.562 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
9.562 * [backup-simplify]: Simplify (+ (/ 1 x) (- 0.13793103448275862)) into (- (/ 1 x) 0.13793103448275862)
9.563 * [backup-simplify]: Simplify (/ (- (/ 1 x) 0.13793103448275862) 1) into (- (/ 1 x) 0.13793103448275862)
9.563 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
9.563 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
9.563 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.563 * [taylor]: Taking taylor expansion of x in x
9.563 * [backup-simplify]: Simplify 0 into 0
9.563 * [backup-simplify]: Simplify 1 into 1
9.563 * [backup-simplify]: Simplify (/ 1 1) into 1
9.563 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
9.563 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.563 * [taylor]: Taking taylor expansion of y in x
9.563 * [backup-simplify]: Simplify y into y
9.564 * [backup-simplify]: Simplify (+ 1 0) into 1
9.564 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.564 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
9.564 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
9.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.564 * [taylor]: Taking taylor expansion of x in x
9.564 * [backup-simplify]: Simplify 0 into 0
9.564 * [backup-simplify]: Simplify 1 into 1
9.564 * [backup-simplify]: Simplify (/ 1 1) into 1
9.565 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
9.565 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.565 * [taylor]: Taking taylor expansion of y in x
9.565 * [backup-simplify]: Simplify y into y
9.565 * [backup-simplify]: Simplify (+ 1 0) into 1
9.565 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.565 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.565 * [taylor]: Taking taylor expansion of y in y
9.565 * [backup-simplify]: Simplify 0 into 0
9.565 * [backup-simplify]: Simplify 1 into 1
9.566 * [backup-simplify]: Simplify (/ 1 1) into 1
9.566 * [backup-simplify]: Simplify 1 into 1
9.567 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.567 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
9.568 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
9.568 * [backup-simplify]: Simplify (- (/ (- 0.13793103448275862) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (* 0.13793103448275862 (/ 1 y)))
9.569 * [taylor]: Taking taylor expansion of (- (* 0.13793103448275862 (/ 1 y))) in y
9.569 * [taylor]: Taking taylor expansion of (* 0.13793103448275862 (/ 1 y)) in y
9.569 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
9.569 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.569 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.569 * [taylor]: Taking taylor expansion of y in y
9.569 * [backup-simplify]: Simplify 0 into 0
9.569 * [backup-simplify]: Simplify 1 into 1
9.569 * [backup-simplify]: Simplify (/ 1 1) into 1
9.570 * [backup-simplify]: Simplify (* 0.13793103448275862 1) into 0.13793103448275862
9.571 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
9.571 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
9.572 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.572 * [backup-simplify]: Simplify 0 into 0
9.573 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.574 * [backup-simplify]: Simplify (- 0) into 0
9.574 * [backup-simplify]: Simplify (+ 0 0) into 0
9.575 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)))) into 0
9.575 * [taylor]: Taking taylor expansion of 0 in y
9.575 * [backup-simplify]: Simplify 0 into 0
9.575 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.576 * [backup-simplify]: Simplify (+ (* 0.13793103448275862 0) (* 0 1)) into 0
9.576 * [backup-simplify]: Simplify (- 0) into 0
9.577 * [backup-simplify]: Simplify 0 into 0
9.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.577 * [backup-simplify]: Simplify 0 into 0
9.578 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.579 * [backup-simplify]: Simplify (- 0) into 0
9.579 * [backup-simplify]: Simplify (+ 0 0) into 0
9.579 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (* 0.13793103448275862 (/ 1 y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.580 * [taylor]: Taking taylor expansion of 0 in y
9.580 * [backup-simplify]: Simplify 0 into 0
9.580 * [backup-simplify]: Simplify 0 into 0
9.581 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.582 * [backup-simplify]: Simplify (+ (* 0.13793103448275862 0) (+ (* 0 0) (* 0 1))) into 0
9.582 * [backup-simplify]: Simplify (- 0) into 0
9.582 * [backup-simplify]: Simplify 0 into 0
9.583 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.583 * [backup-simplify]: Simplify 0 into 0
9.584 * [backup-simplify]: Simplify (+ (* (- 0.13793103448275862) (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (* x y) (* 0.13793103448275862 y))
9.584 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 16.0 116.0)) (/ 1 (- y))) into (/ (+ 0.13793103448275862 (/ 1 x)) y)
9.584 * [approximate]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in (x y) around 0
9.584 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
9.584 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
9.584 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
9.584 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.585 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.585 * [taylor]: Taking taylor expansion of x in y
9.585 * [backup-simplify]: Simplify x into x
9.585 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.585 * [taylor]: Taking taylor expansion of y in y
9.585 * [backup-simplify]: Simplify 0 into 0
9.585 * [backup-simplify]: Simplify 1 into 1
9.585 * [backup-simplify]: Simplify (+ 0.13793103448275862 (/ 1 x)) into (+ (/ 1 x) 0.13793103448275862)
9.585 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 0.13793103448275862) 1) into (+ 0.13793103448275862 (/ 1 x))
9.585 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
9.585 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
9.585 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
9.585 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.585 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.585 * [taylor]: Taking taylor expansion of x in x
9.585 * [backup-simplify]: Simplify 0 into 0
9.585 * [backup-simplify]: Simplify 1 into 1
9.586 * [backup-simplify]: Simplify (/ 1 1) into 1
9.586 * [taylor]: Taking taylor expansion of y in x
9.586 * [backup-simplify]: Simplify y into y
9.586 * [backup-simplify]: Simplify (+ 0 1) into 1
9.586 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.586 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
9.586 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
9.586 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
9.586 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.586 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.586 * [taylor]: Taking taylor expansion of x in x
9.586 * [backup-simplify]: Simplify 0 into 0
9.586 * [backup-simplify]: Simplify 1 into 1
9.587 * [backup-simplify]: Simplify (/ 1 1) into 1
9.587 * [taylor]: Taking taylor expansion of y in x
9.587 * [backup-simplify]: Simplify y into y
9.587 * [backup-simplify]: Simplify (+ 0 1) into 1
9.587 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.588 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.588 * [taylor]: Taking taylor expansion of y in y
9.588 * [backup-simplify]: Simplify 0 into 0
9.588 * [backup-simplify]: Simplify 1 into 1
9.588 * [backup-simplify]: Simplify (/ 1 1) into 1
9.588 * [backup-simplify]: Simplify 1 into 1
9.589 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.589 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
9.590 * [backup-simplify]: Simplify (- (/ 0.13793103448275862 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 0.13793103448275862 (/ 1 y))
9.590 * [taylor]: Taking taylor expansion of (* 0.13793103448275862 (/ 1 y)) in y
9.590 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
9.590 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.590 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.590 * [taylor]: Taking taylor expansion of y in y
9.590 * [backup-simplify]: Simplify 0 into 0
9.590 * [backup-simplify]: Simplify 1 into 1
9.596 * [backup-simplify]: Simplify (/ 1 1) into 1
9.597 * [backup-simplify]: Simplify (* 0.13793103448275862 1) into 0.13793103448275862
9.597 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.598 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.598 * [backup-simplify]: Simplify 0 into 0
9.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.599 * [backup-simplify]: Simplify (+ 0 0) into 0
9.599 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)))) into 0
9.599 * [taylor]: Taking taylor expansion of 0 in y
9.599 * [backup-simplify]: Simplify 0 into 0
9.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.601 * [backup-simplify]: Simplify (+ (* 0.13793103448275862 0) (* 0 1)) into 0
9.601 * [backup-simplify]: Simplify 0 into 0
9.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.602 * [backup-simplify]: Simplify 0 into 0
9.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.603 * [backup-simplify]: Simplify (+ 0 0) into 0
9.604 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 0.13793103448275862 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.604 * [taylor]: Taking taylor expansion of 0 in y
9.604 * [backup-simplify]: Simplify 0 into 0
9.604 * [backup-simplify]: Simplify 0 into 0
9.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.606 * [backup-simplify]: Simplify (+ (* 0.13793103448275862 0) (+ (* 0 0) (* 0 1))) into 0
9.606 * [backup-simplify]: Simplify 0 into 0
9.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.607 * [backup-simplify]: Simplify 0 into 0
9.607 * [backup-simplify]: Simplify (+ (* 0.13793103448275862 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (* x y) (* 0.13793103448275862 y))
9.607 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
9.608 * [backup-simplify]: Simplify (- x (/ 16.0 116.0)) into (- x 0.13793103448275862)
9.608 * [approximate]: Taking taylor expansion of (- x 0.13793103448275862) in (x) around 0
9.608 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
9.608 * [taylor]: Taking taylor expansion of x in x
9.608 * [backup-simplify]: Simplify 0 into 0
9.608 * [backup-simplify]: Simplify 1 into 1
9.608 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
9.608 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.608 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
9.608 * [taylor]: Taking taylor expansion of x in x
9.608 * [backup-simplify]: Simplify 0 into 0
9.608 * [backup-simplify]: Simplify 1 into 1
9.608 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
9.608 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.609 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
9.610 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
9.610 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
9.610 * [backup-simplify]: Simplify (- 0) into 0
9.611 * [backup-simplify]: Simplify (+ 1 0) into 1
9.611 * [backup-simplify]: Simplify 1 into 1
9.611 * [backup-simplify]: Simplify (- 0) into 0
9.612 * [backup-simplify]: Simplify (+ 0 0) into 0
9.612 * [backup-simplify]: Simplify 0 into 0
9.612 * [backup-simplify]: Simplify (- 0) into 0
9.612 * [backup-simplify]: Simplify (+ 0 0) into 0
9.612 * [backup-simplify]: Simplify 0 into 0
9.613 * [backup-simplify]: Simplify (- 0) into 0
9.613 * [backup-simplify]: Simplify (+ 0 0) into 0
9.613 * [backup-simplify]: Simplify 0 into 0
9.614 * [backup-simplify]: Simplify (- 0) into 0
9.614 * [backup-simplify]: Simplify (+ 0 0) into 0
9.614 * [backup-simplify]: Simplify 0 into 0
9.614 * [backup-simplify]: Simplify (- 0) into 0
9.615 * [backup-simplify]: Simplify (+ 0 0) into 0
9.615 * [backup-simplify]: Simplify 0 into 0
9.615 * [backup-simplify]: Simplify (- 0) into 0
9.615 * [backup-simplify]: Simplify (+ 0 0) into 0
9.615 * [backup-simplify]: Simplify 0 into 0
9.616 * [backup-simplify]: Simplify (+ (* 1 x) (- 0.13793103448275862)) into (- x 0.13793103448275862)
9.616 * [backup-simplify]: Simplify (- (/ 1 x) (/ 16.0 116.0)) into (- (/ 1 x) 0.13793103448275862)
9.617 * [approximate]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in (x) around 0
9.617 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
9.617 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.617 * [taylor]: Taking taylor expansion of x in x
9.617 * [backup-simplify]: Simplify 0 into 0
9.617 * [backup-simplify]: Simplify 1 into 1
9.617 * [backup-simplify]: Simplify (/ 1 1) into 1
9.617 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
9.617 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.617 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
9.617 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.617 * [taylor]: Taking taylor expansion of x in x
9.617 * [backup-simplify]: Simplify 0 into 0
9.617 * [backup-simplify]: Simplify 1 into 1
9.618 * [backup-simplify]: Simplify (/ 1 1) into 1
9.618 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
9.618 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.618 * [backup-simplify]: Simplify (+ 1 0) into 1
9.618 * [backup-simplify]: Simplify 1 into 1
9.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.619 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
9.620 * [backup-simplify]: Simplify (+ 0 (- 0.13793103448275862)) into (- 0.13793103448275862)
9.621 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
9.621 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.622 * [backup-simplify]: Simplify (- 0) into 0
9.622 * [backup-simplify]: Simplify (+ 0 0) into 0
9.622 * [backup-simplify]: Simplify 0 into 0
9.623 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.624 * [backup-simplify]: Simplify (- 0) into 0
9.624 * [backup-simplify]: Simplify (+ 0 0) into 0
9.624 * [backup-simplify]: Simplify 0 into 0
9.625 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.625 * [backup-simplify]: Simplify (- 0) into 0
9.625 * [backup-simplify]: Simplify (+ 0 0) into 0
9.626 * [backup-simplify]: Simplify 0 into 0
9.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.627 * [backup-simplify]: Simplify (- 0) into 0
9.627 * [backup-simplify]: Simplify (+ 0 0) into 0
9.627 * [backup-simplify]: Simplify 0 into 0
9.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.628 * [backup-simplify]: Simplify (- 0) into 0
9.629 * [backup-simplify]: Simplify (+ 0 0) into 0
9.629 * [backup-simplify]: Simplify 0 into 0
9.630 * [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
9.630 * [backup-simplify]: Simplify (- 0) into 0
9.631 * [backup-simplify]: Simplify (+ 0 0) into 0
9.631 * [backup-simplify]: Simplify 0 into 0
9.631 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* 1 (/ 1 (/ 1 x)))) into (- x 0.13793103448275862)
9.632 * [backup-simplify]: Simplify (- (/ 1 (- x)) (/ 16.0 116.0)) into (- (+ 0.13793103448275862 (/ 1 x)))
9.632 * [approximate]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in (x) around 0
9.632 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
9.632 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
9.632 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
9.632 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.632 * [taylor]: Taking taylor expansion of x in x
9.632 * [backup-simplify]: Simplify 0 into 0
9.632 * [backup-simplify]: Simplify 1 into 1
9.633 * [backup-simplify]: Simplify (/ 1 1) into 1
9.633 * [taylor]: Taking taylor expansion of (- (+ 0.13793103448275862 (/ 1 x))) in x
9.633 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
9.633 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
9.633 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
9.633 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.633 * [taylor]: Taking taylor expansion of x in x
9.633 * [backup-simplify]: Simplify 0 into 0
9.633 * [backup-simplify]: Simplify 1 into 1
9.633 * [backup-simplify]: Simplify (/ 1 1) into 1
9.634 * [backup-simplify]: Simplify (+ 0 1) into 1
9.634 * [backup-simplify]: Simplify (- 1) into -1
9.634 * [backup-simplify]: Simplify -1 into -1
9.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.635 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
9.636 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
9.636 * [backup-simplify]: Simplify (- 0.13793103448275862) into (- 0.13793103448275862)
9.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.637 * [backup-simplify]: Simplify (+ 0 0) into 0
9.638 * [backup-simplify]: Simplify (- 0) into 0
9.638 * [backup-simplify]: Simplify 0 into 0
9.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.639 * [backup-simplify]: Simplify (+ 0 0) into 0
9.639 * [backup-simplify]: Simplify (- 0) into 0
9.640 * [backup-simplify]: Simplify 0 into 0
9.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.641 * [backup-simplify]: Simplify (+ 0 0) into 0
9.641 * [backup-simplify]: Simplify (- 0) into 0
9.641 * [backup-simplify]: Simplify 0 into 0
9.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.643 * [backup-simplify]: Simplify (+ 0 0) into 0
9.644 * [backup-simplify]: Simplify (- 0) into 0
9.644 * [backup-simplify]: Simplify 0 into 0
9.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.645 * [backup-simplify]: Simplify (+ 0 0) into 0
9.645 * [backup-simplify]: Simplify (- 0) into 0
9.645 * [backup-simplify]: Simplify 0 into 0
9.646 * [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
9.647 * [backup-simplify]: Simplify (+ 0 0) into 0
9.647 * [backup-simplify]: Simplify (- 0) into 0
9.647 * [backup-simplify]: Simplify 0 into 0
9.648 * [backup-simplify]: Simplify (+ (- 0.13793103448275862) (* -1 (/ 1 (/ 1 (- x))))) into (- x 0.13793103448275862)
9.648 * * * [progress]: simplifying candidates
9.650 * [simplify]: Simplifying:
  (* (* (- x (/ 16.0 116.0)) y) 3.0)
  (+ (* (+ (log (- x (/ 16.0 116.0))) (log y)) 1) (log 3.0))
  (+ (* (log (* (- x (/ 16.0 116.0)) y)) 1) (log 3.0))
  (+ (* (log (* (- x (/ 16.0 116.0)) y)) 1) (log 3.0))
  (+ (log (pow (* (- x (/ 16.0 116.0)) y) 1)) (log 3.0))
  (log (* (pow (* (- x (/ 16.0 116.0)) y) 1) 3.0))
  (exp (* (pow (* (- x (/ 16.0 116.0)) y) 1) 3.0))
  (* (* (* (pow (* (- x (/ 16.0 116.0)) y) 1) (pow (* (- x (/ 16.0 116.0)) y) 1)) (pow (* (- x (/ 16.0 116.0)) y) 1)) (* (* 3.0 3.0) 3.0))
  (* (cbrt (* (pow (* (- x (/ 16.0 116.0)) y) 1) 3.0)) (cbrt (* (pow (* (- x (/ 16.0 116.0)) y) 1) 3.0)))
  (cbrt (* (pow (* (- x (/ 16.0 116.0)) y) 1) 3.0))
  (* (* (* (pow (* (- x (/ 16.0 116.0)) y) 1) 3.0) (* (pow (* (- x (/ 16.0 116.0)) y) 1) 3.0)) (* (pow (* (- x (/ 16.0 116.0)) y) 1) 3.0))
  (sqrt (* (pow (* (- x (/ 16.0 116.0)) y) 1) 3.0))
  (sqrt (* (pow (* (- x (/ 16.0 116.0)) y) 1) 3.0))
  (* (sqrt (pow (* (- x (/ 16.0 116.0)) y) 1)) (sqrt 3.0))
  (* (sqrt (pow (* (- x (/ 16.0 116.0)) y) 1)) (sqrt 3.0))
  (* (pow (* (- x (/ 16.0 116.0)) y) (/ 1 2)) (sqrt 3.0))
  (* (pow (* (- x (/ 16.0 116.0)) y) (/ 1 2)) (sqrt 3.0))
  (* (pow (* (- x (/ 16.0 116.0)) y) 1) (* (cbrt 3.0) (cbrt 3.0)))
  (* (pow (* (- x (/ 16.0 116.0)) y) 1) (sqrt 3.0))
  (* (pow (* (- x (/ 16.0 116.0)) y) 1) 1)
  (* (pow y 1) 3.0)
  (* (cbrt (pow (* (- x (/ 16.0 116.0)) y) 1)) 3.0)
  (* (sqrt (pow (* (- x (/ 16.0 116.0)) y) 1)) 3.0)
  (* (pow (* (- x (/ 16.0 116.0)) y) 1) 3.0)
  (* (pow (* (- x (/ 16.0 116.0)) y) (/ 1 2)) 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)
9.652 * * [simplify]: Extracting # 0 : cost  0
9.653 * * [simplify]: Extracting # 1 : cost  0
9.653 * * [simplify]: Extracting # 2 : cost  0
9.653 * * [simplify]: Extracting # 3 : cost  0
9.653 * * [simplify]: Extracting # 4 : cost  0
9.654 * * [simplify]: Extracting # 5 : cost  0
9.654 * * [simplify]: Extracting # 6 : cost  0
9.654 * * [simplify]: iteration  0 :  114  enodes  (cost  807 )
9.709 * * [simplify]: Extracting # 0 : cost  0
9.709 * * [simplify]: Extracting # 1 : cost  0
9.710 * * [simplify]: Extracting # 2 : cost  0
9.710 * * [simplify]: Extracting # 3 : cost  0
9.711 * * [simplify]: Extracting # 4 : cost  0
9.711 * * [simplify]: iteration  1 :  239  enodes  (cost  710 )
9.845 * * [simplify]: Extracting # 0 : cost  0
9.846 * * [simplify]: Extracting # 1 : cost  0
9.847 * * [simplify]: Extracting # 2 : cost  0
9.848 * * [simplify]: Extracting # 3 : cost  0
9.849 * * [simplify]: Extracting # 4 : cost  0
9.850 * * [simplify]: iteration  2 :  785  enodes  (cost  651 )
11.289 * * [simplify]: Extracting # 0 : cost  0
11.297 * * [simplify]: Extracting # 1 : cost  0
11.304 * * [simplify]: Extracting # 2 : cost  0
11.311 * * [simplify]: Extracting # 3 : cost  0
11.318 * * [simplify]: Extracting # 4 : cost  0
11.330 * * [simplify]: iteration  3 :  3388  enodes  (cost  645 )
13.067 * * [simplify]: Extracting # 0 : cost  0
13.073 * * [simplify]: Extracting # 1 : cost  0
13.079 * * [simplify]: Extracting # 2 : cost  0
13.084 * * [simplify]: Extracting # 3 : cost  0
13.091 * * [simplify]: Extracting # 4 : cost  0
13.101 * * [simplify]: iteration done:  5002  enodes  (cost  645 )
13.102 * [simplify]: Simplified to:
  (* (* (- 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))
  (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)
  (* (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))
  (* (sqrt (* (- x (/ 16.0 116.0)) y)) (sqrt 3.0))
  (* (sqrt (* (- x (/ 16.0 116.0)) y)) (sqrt 3.0))
  (* (sqrt (* (- x (/ 16.0 116.0)) y)) (sqrt 3.0))
  (* (sqrt (* (- x (/ 16.0 116.0)) y)) (sqrt 3.0))
  (* (* (- x (/ 16.0 116.0)) y) (* (cbrt 3.0) (cbrt 3.0)))
  (* (sqrt 3.0) (* (- x (/ 16.0 116.0)) y))
  (* (- x (/ 16.0 116.0)) y)
  (* 3.0 y)
  (* (cbrt (* (- x (/ 16.0 116.0)) y)) 3.0)
  (* 3.0 (sqrt (* (- x (/ 16.0 116.0)) y)))
  (* (* (- x (/ 16.0 116.0)) y) 3.0)
  (* 3.0 (sqrt (* (- x (/ 16.0 116.0)) y)))
  (* (- 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.103 * * * [progress]: adding candidates to table
13.352 * [progress]: [Phase 3 of 3] Extracting.
13.352 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) y) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<alt (λ (x y) (/ (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<alt (λ (x y) (/ (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (+ x (/ 16.0 116.0))))> #<alt (λ (x y) (* (cbrt (pow (* (- x (/ 16.0 116.0)) 3.0) 3)) y))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* y 3.0)))> #<alt (λ (x y) (* (* (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))))> #<alt (λ (x y) (* (pow (* (- x (/ 16.0 116.0)) y) 1) 3.0))>)
13.355 * * * [regime-changes]: Trying 5 branch expressions: ((- x (/ 16.0 116.0)) (* (- x (/ 16.0 116.0)) 3.0) (* (* (- x (/ 16.0 116.0)) 3.0) y) y x)
13.355 * * * * [regimes]: Trying to branch on (- x (/ 16.0 116.0)) from (#<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) y) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<alt (λ (x y) (/ (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<alt (λ (x y) (/ (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (+ x (/ 16.0 116.0))))> #<alt (λ (x y) (* (cbrt (pow (* (- x (/ 16.0 116.0)) 3.0) 3)) y))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* y 3.0)))> #<alt (λ (x y) (* (* (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))))> #<alt (λ (x y) (* (pow (* (- x (/ 16.0 116.0)) y) 1) 3.0))>)
13.404 * * * * [regimes]: Trying to branch on (* (- x (/ 16.0 116.0)) 3.0) from (#<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) y) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<alt (λ (x y) (/ (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<alt (λ (x y) (/ (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (+ x (/ 16.0 116.0))))> #<alt (λ (x y) (* (cbrt (pow (* (- x (/ 16.0 116.0)) 3.0) 3)) y))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* y 3.0)))> #<alt (λ (x y) (* (* (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))))> #<alt (λ (x y) (* (pow (* (- x (/ 16.0 116.0)) y) 1) 3.0))>)
13.453 * * * * [regimes]: Trying to branch on (* (* (- x (/ 16.0 116.0)) 3.0) y) from (#<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) y) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<alt (λ (x y) (/ (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<alt (λ (x y) (/ (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (+ x (/ 16.0 116.0))))> #<alt (λ (x y) (* (cbrt (pow (* (- x (/ 16.0 116.0)) 3.0) 3)) y))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* y 3.0)))> #<alt (λ (x y) (* (* (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))))> #<alt (λ (x y) (* (pow (* (- x (/ 16.0 116.0)) y) 1) 3.0))>)
13.481 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) y) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<alt (λ (x y) (/ (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<alt (λ (x y) (/ (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (+ x (/ 16.0 116.0))))> #<alt (λ (x y) (* (cbrt (pow (* (- x (/ 16.0 116.0)) 3.0) 3)) y))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* y 3.0)))> #<alt (λ (x y) (* (* (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))))> #<alt (λ (x y) (* (pow (* (- x (/ 16.0 116.0)) y) 1) 3.0))>)
13.510 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) y) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<alt (λ (x y) (/ (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<alt (λ (x y) (/ (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (+ x (/ 16.0 116.0))))> #<alt (λ (x y) (* (cbrt (pow (* (- x (/ 16.0 116.0)) 3.0) 3)) y))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* y 3.0)))> #<alt (λ (x y) (* (* (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))))> #<alt (λ (x y) (* (pow (* (- x (/ 16.0 116.0)) y) 1) 3.0))>)
13.549 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
13.550 * [simplify]: Simplifying:
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
13.550 * * [simplify]: Extracting # 0 : cost  0
13.550 * * [simplify]: Extracting # 1 : cost  0
13.550 * * [simplify]: Extracting # 2 : cost  0
13.550 * * [simplify]: Extracting # 3 : cost  0
13.550 * * [simplify]: Extracting # 4 : cost  0
13.550 * * [simplify]: Extracting # 5 : cost  0
13.550 * * [simplify]: Extracting # 6 : cost  0
13.550 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
13.552 * * [simplify]: Extracting # 0 : cost  0
13.552 * * [simplify]: iteration  1 :  11  enodes  (cost  9 )
13.553 * * [simplify]: Extracting # 0 : cost  0
13.554 * * [simplify]: iteration done:  11  enodes  (cost  9 )
13.554 * [simplify]: Simplified to:
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
14.762 * [regime-testing]: Baseline error score: 0.18202275284410552
14.764 * [regime-testing]: Oracle error score: 0.010001250156269533
14.766 * [regime-testing]: End program error score: 0.18202275284410552
14.803 * [regime-testing]: Target error score: 0.1780222527815977