1.298 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.051 * * * [progress]: [2/2] Setting up program.
0.053 * [progress]: [Phase 2 of 3] Improving.
0.053 * [simplify]: Simplifying:
  (* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
0.054 * * [simplify]: Extracting # 0 : cost  0
0.054 * * [simplify]: Extracting # 1 : cost  0
0.054 * * [simplify]: Extracting # 2 : cost  0
0.054 * * [simplify]: Extracting # 3 : cost  0
0.054 * * [simplify]: Extracting # 4 : cost  0
0.054 * * [simplify]: Extracting # 5 : cost  0
0.054 * * [simplify]: Extracting # 6 : cost  0
0.054 * * [simplify]: iteration  0 :  12  enodes  (cost  14 )
0.056 * * [simplify]: Extracting # 0 : cost  0
0.056 * * [simplify]: Extracting # 1 : cost  0
0.056 * * [simplify]: Extracting # 2 : cost  0
0.056 * * [simplify]: iteration  1 :  24  enodes  (cost  14 )
0.061 * * [simplify]: Extracting # 0 : cost  0
0.061 * * [simplify]: Extracting # 1 : cost  0
0.061 * * [simplify]: Extracting # 2 : cost  0
0.061 * * [simplify]: iteration  2 :  64  enodes  (cost  14 )
0.100 * * [simplify]: Extracting # 0 : cost  0
0.100 * * [simplify]: Extracting # 1 : cost  0
0.101 * * [simplify]: Extracting # 2 : cost  0
0.101 * * [simplify]: iteration  3 :  188  enodes  (cost  14 )
0.208 * * [simplify]: Extracting # 0 : cost  0
0.208 * * [simplify]: Extracting # 1 : cost  0
0.209 * * [simplify]: Extracting # 2 : cost  0
0.210 * * [simplify]: iteration  4 :  400  enodes  (cost  14 )
0.365 * * [simplify]: Extracting # 0 : cost  0
0.365 * * [simplify]: Extracting # 1 : cost  0
0.366 * * [simplify]: Extracting # 2 : cost  0
0.366 * * [simplify]: iteration  5 :  616  enodes  (cost  14 )
0.789 * * [simplify]: Extracting # 0 : cost  0
0.790 * * [simplify]: Extracting # 1 : cost  0
0.791 * * [simplify]: Extracting # 2 : cost  0
0.792 * * [simplify]: iteration  6 :  995  enodes  (cost  14 )
1.448 * * [simplify]: Extracting # 0 : cost  0
1.451 * * [simplify]: Extracting # 1 : cost  0
1.459 * * [simplify]: Extracting # 2 : cost  0
1.460 * * [simplify]: iteration  7 :  1394  enodes  (cost  14 )
2.451 * * [simplify]: Extracting # 0 : cost  0
2.454 * * [simplify]: Extracting # 1 : cost  0
2.456 * * [simplify]: Extracting # 2 : cost  0
2.458 * * [simplify]: iteration  8 :  1866  enodes  (cost  14 )
4.202 * * [simplify]: Extracting # 0 : cost  0
4.204 * * [simplify]: Extracting # 1 : cost  0
4.205 * * [simplify]: Extracting # 2 : cost  0
4.207 * * [simplify]: iteration  9 :  2606  enodes  (cost  14 )
7.435 * * [simplify]: Extracting # 0 : cost  0
7.443 * * [simplify]: Extracting # 1 : cost  0
7.448 * * [simplify]: Extracting # 2 : cost  0
7.452 * * [simplify]: iteration  10 :  3634  enodes  (cost  14 )
12.590 * * [simplify]: Extracting # 0 : cost  0
12.595 * * [simplify]: Extracting # 1 : cost  0
12.598 * * [simplify]: Extracting # 2 : cost  0
12.600 * * [simplify]: iteration  11 :  4214  enodes  (cost  14 )
18.337 * * [simplify]: Extracting # 0 : cost  0
18.340 * * [simplify]: Extracting # 1 : cost  0
18.345 * * [simplify]: iteration  12 :  4310  enodes  (cost  14 )
23.513 * * [simplify]: Extracting # 0 : cost  0
23.516 * * [simplify]: iteration  13 :  4311  enodes  (cost  14 )
28.558 * * [simplify]: Extracting # 0 : cost  0
28.563 * * [simplify]: iteration done:  4311  enodes  (cost  14 )
28.563 * [simplify]: Simplified to:
  (* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
28.564 * * [progress]: iteration 1 / 4
28.564 * * * [progress]: picking best candidate
28.567 * * * * [pick]: Picked  #<alt (λ (x y) (* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0)))>
28.567 * * * [progress]: localizing error
28.584 * * * [progress]: generating rewritten candidates
28.585 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 2)
28.593 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
28.827 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
28.842 * * * [progress]: generating series expansions
28.842 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 2)
28.842 * [backup-simplify]: Simplify (/ 1.0 (* x 9.0)) into (/ 0.1111111111111111 x)
28.842 * [approximate]: Taking taylor expansion of (/ 0.1111111111111111 x) in (x) around 0
28.842 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 x) in x
28.842 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
28.842 * [backup-simplify]: Simplify 0.1111111111111111 into 0.1111111111111111
28.842 * [taylor]: Taking taylor expansion of x in x
28.842 * [backup-simplify]: Simplify 0 into 0
28.842 * [backup-simplify]: Simplify 1 into 1
28.843 * [backup-simplify]: Simplify (/ 0.1111111111111111 1) into 0.1111111111111111
28.843 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 x) in x
28.843 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
28.843 * [backup-simplify]: Simplify 0.1111111111111111 into 0.1111111111111111
28.843 * [taylor]: Taking taylor expansion of x in x
28.843 * [backup-simplify]: Simplify 0 into 0
28.843 * [backup-simplify]: Simplify 1 into 1
28.843 * [backup-simplify]: Simplify (/ 0.1111111111111111 1) into 0.1111111111111111
28.843 * [backup-simplify]: Simplify 0.1111111111111111 into 0.1111111111111111
28.844 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.1111111111111111 (/ 0 1)))) into 0
28.844 * [backup-simplify]: Simplify 0 into 0
28.845 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.1111111111111111 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.845 * [backup-simplify]: Simplify 0 into 0
28.846 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.1111111111111111 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.846 * [backup-simplify]: Simplify 0 into 0
28.847 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.1111111111111111 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.847 * [backup-simplify]: Simplify 0 into 0
28.848 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.1111111111111111 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.848 * [backup-simplify]: Simplify 0 into 0
28.849 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.1111111111111111 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.849 * [backup-simplify]: Simplify 0 into 0
28.850 * [backup-simplify]: Simplify (* 0.1111111111111111 (/ 1 x)) into (/ 0.1111111111111111 x)
28.850 * [backup-simplify]: Simplify (/ 1.0 (* (/ 1 x) 9.0)) into (* 0.1111111111111111 x)
28.850 * [approximate]: Taking taylor expansion of (* 0.1111111111111111 x) in (x) around 0
28.850 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
28.850 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
28.850 * [backup-simplify]: Simplify 0.1111111111111111 into 0.1111111111111111
28.850 * [taylor]: Taking taylor expansion of x in x
28.850 * [backup-simplify]: Simplify 0 into 0
28.850 * [backup-simplify]: Simplify 1 into 1
28.850 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 x) in x
28.850 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
28.850 * [backup-simplify]: Simplify 0.1111111111111111 into 0.1111111111111111
28.850 * [taylor]: Taking taylor expansion of x in x
28.850 * [backup-simplify]: Simplify 0 into 0
28.850 * [backup-simplify]: Simplify 1 into 1
28.851 * [backup-simplify]: Simplify (* 0.1111111111111111 0) into 0
28.851 * [backup-simplify]: Simplify 0 into 0
28.852 * [backup-simplify]: Simplify (+ (* 0.1111111111111111 1) (* 0 0)) into 0.1111111111111111
28.852 * [backup-simplify]: Simplify 0.1111111111111111 into 0.1111111111111111
28.853 * [backup-simplify]: Simplify (+ (* 0.1111111111111111 0) (+ (* 0 1) (* 0 0))) into 0
28.853 * [backup-simplify]: Simplify 0 into 0
28.854 * [backup-simplify]: Simplify (+ (* 0.1111111111111111 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
28.854 * [backup-simplify]: Simplify 0 into 0
28.856 * [backup-simplify]: Simplify (+ (* 0.1111111111111111 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
28.856 * [backup-simplify]: Simplify 0 into 0
28.857 * [backup-simplify]: Simplify (+ (* 0.1111111111111111 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
28.857 * [backup-simplify]: Simplify 0 into 0
28.859 * [backup-simplify]: Simplify (+ (* 0.1111111111111111 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
28.859 * [backup-simplify]: Simplify 0 into 0
28.861 * [backup-simplify]: Simplify (+ (* 0.1111111111111111 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
28.861 * [backup-simplify]: Simplify 0 into 0
28.861 * [backup-simplify]: Simplify (* 0.1111111111111111 (/ 1 x)) into (/ 0.1111111111111111 x)
28.861 * [backup-simplify]: Simplify (/ 1.0 (* (/ 1 (- x)) 9.0)) into (* -0.1111111111111111 x)
28.861 * [approximate]: Taking taylor expansion of (* -0.1111111111111111 x) in (x) around 0
28.861 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 x) in x
28.861 * [taylor]: Taking taylor expansion of -0.1111111111111111 in x
28.861 * [backup-simplify]: Simplify -0.1111111111111111 into -0.1111111111111111
28.861 * [taylor]: Taking taylor expansion of x in x
28.861 * [backup-simplify]: Simplify 0 into 0
28.861 * [backup-simplify]: Simplify 1 into 1
28.861 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 x) in x
28.861 * [taylor]: Taking taylor expansion of -0.1111111111111111 in x
28.861 * [backup-simplify]: Simplify -0.1111111111111111 into -0.1111111111111111
28.861 * [taylor]: Taking taylor expansion of x in x
28.861 * [backup-simplify]: Simplify 0 into 0
28.862 * [backup-simplify]: Simplify 1 into 1
28.862 * [backup-simplify]: Simplify (* -0.1111111111111111 0) into 0
28.862 * [backup-simplify]: Simplify 0 into 0
28.863 * [backup-simplify]: Simplify (+ (* -0.1111111111111111 1) (* 0 0)) into (- 0.1111111111111111)
28.864 * [backup-simplify]: Simplify (- 0.1111111111111111) into (- 0.1111111111111111)
28.865 * [backup-simplify]: Simplify (+ (* -0.1111111111111111 0) (+ (* 0 1) (* 0 0))) into 0
28.865 * [backup-simplify]: Simplify 0 into 0
28.866 * [backup-simplify]: Simplify (+ (* -0.1111111111111111 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
28.866 * [backup-simplify]: Simplify 0 into 0
28.867 * [backup-simplify]: Simplify (+ (* -0.1111111111111111 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
28.867 * [backup-simplify]: Simplify 0 into 0
28.869 * [backup-simplify]: Simplify (+ (* -0.1111111111111111 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
28.869 * [backup-simplify]: Simplify 0 into 0
28.871 * [backup-simplify]: Simplify (+ (* -0.1111111111111111 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
28.871 * [backup-simplify]: Simplify 0 into 0
28.873 * [backup-simplify]: Simplify (+ (* -0.1111111111111111 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
28.873 * [backup-simplify]: Simplify 0 into 0
28.873 * [backup-simplify]: Simplify (* (- 0.1111111111111111) (/ 1 (- x))) into (/ 0.1111111111111111 x)
28.873 * * * * [progress]: [ 2 / 3 ] generating series at (2)
28.874 * [backup-simplify]: Simplify (* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0)) into (* 3.0 (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)))
28.874 * [approximate]: Taking taylor expansion of (* 3.0 (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0))) in (x y) around 0
28.874 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0))) in y
28.874 * [taylor]: Taking taylor expansion of 3.0 in y
28.874 * [backup-simplify]: Simplify 3.0 into 3.0
28.874 * [taylor]: Taking taylor expansion of (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)) in y
28.874 * [taylor]: Taking taylor expansion of (sqrt x) in y
28.874 * [taylor]: Taking taylor expansion of x in y
28.874 * [backup-simplify]: Simplify x into x
28.874 * [backup-simplify]: Simplify (sqrt x) into (sqrt x)
28.874 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt x))) into 0
28.874 * [taylor]: Taking taylor expansion of (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0) in y
28.874 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in y
28.874 * [taylor]: Taking taylor expansion of y in y
28.874 * [backup-simplify]: Simplify 0 into 0
28.874 * [backup-simplify]: Simplify 1 into 1
28.874 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in y
28.874 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y
28.874 * [backup-simplify]: Simplify 0.1111111111111111 into 0.1111111111111111
28.874 * [taylor]: Taking taylor expansion of (/ 1 x) in y
28.874 * [taylor]: Taking taylor expansion of x in y
28.874 * [backup-simplify]: Simplify x into x
28.874 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
28.874 * [taylor]: Taking taylor expansion of 1.0 in y
28.874 * [backup-simplify]: Simplify 1.0 into 1.0
28.874 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0))) in x
28.875 * [taylor]: Taking taylor expansion of 3.0 in x
28.875 * [backup-simplify]: Simplify 3.0 into 3.0
28.875 * [taylor]: Taking taylor expansion of (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)) in x
28.875 * [taylor]: Taking taylor expansion of (sqrt x) in x
28.875 * [taylor]: Taking taylor expansion of x in x
28.875 * [backup-simplify]: Simplify 0 into 0
28.875 * [backup-simplify]: Simplify 1 into 1
28.875 * [backup-simplify]: Simplify (sqrt 0) into 0
28.877 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
28.877 * [taylor]: Taking taylor expansion of (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0) in x
28.877 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in x
28.877 * [taylor]: Taking taylor expansion of y in x
28.877 * [backup-simplify]: Simplify y into y
28.877 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x
28.877 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
28.877 * [backup-simplify]: Simplify 0.1111111111111111 into 0.1111111111111111
28.877 * [taylor]: Taking taylor expansion of (/ 1 x) in x
28.877 * [taylor]: Taking taylor expansion of x in x
28.877 * [backup-simplify]: Simplify 0 into 0
28.877 * [backup-simplify]: Simplify 1 into 1
28.878 * [backup-simplify]: Simplify (/ 1 1) into 1
28.878 * [taylor]: Taking taylor expansion of 1.0 in x
28.878 * [backup-simplify]: Simplify 1.0 into 1.0
28.878 * [taylor]: Taking taylor expansion of (* 3.0 (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0))) in x
28.878 * [taylor]: Taking taylor expansion of 3.0 in x
28.878 * [backup-simplify]: Simplify 3.0 into 3.0
28.878 * [taylor]: Taking taylor expansion of (* (sqrt x) (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0)) in x
28.878 * [taylor]: Taking taylor expansion of (sqrt x) in x
28.878 * [taylor]: Taking taylor expansion of x in x
28.878 * [backup-simplify]: Simplify 0 into 0
28.878 * [backup-simplify]: Simplify 1 into 1
28.879 * [backup-simplify]: Simplify (sqrt 0) into 0
28.880 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
28.880 * [taylor]: Taking taylor expansion of (- (+ y (* 0.1111111111111111 (/ 1 x))) 1.0) in x
28.880 * [taylor]: Taking taylor expansion of (+ y (* 0.1111111111111111 (/ 1 x))) in x
28.880 * [taylor]: Taking taylor expansion of y in x
28.881 * [backup-simplify]: Simplify y into y
28.881 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 x)) in x
28.881 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x
28.881 * [backup-simplify]: Simplify 0.1111111111111111 into 0.1111111111111111
28.881 * [taylor]: Taking taylor expansion of (/ 1 x) in x
28.881 * [taylor]: Taking taylor expansion of x in x
28.881 * [backup-simplify]: Simplify 0 into 0
28.881 * [backup-simplify]: Simplify 1 into 1
28.881 * [backup-simplify]: Simplify (/ 1 1) into 1
28.881 * [taylor]: Taking taylor expansion of 1.0 in x
28.881 * [backup-simplify]: Simplify 1.0 into 1.0
28.882 * [backup-simplify]: Simplify (* 0.1111111111111111 1) into 0.1111111111111111
28.882 * [backup-simplify]: Simplify (+ 0 0.1111111111111111) into 0.1111111111111111
28.883 * [backup-simplify]: Simplify (+ 0.1111111111111111 0) into 0.1111111111111111
28.883 * [backup-simplify]: Simplify (* 0 0.1111111111111111) into 0
28.883 * [backup-simplify]: Simplify (* 3.0 0) into 0
28.884 * [taylor]: Taking taylor expansion of 0 in y
28.884 * [backup-simplify]: Simplify 0 into 0
28.884 * [backup-simplify]: Simplify 0 into 0
28.884 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
28.885 * [backup-simplify]: Simplify (+ (* 0.1111111111111111 0) (* 0 1)) into 0
28.885 * [backup-simplify]: Simplify (+ y 0) into y
28.886 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
28.886 * [backup-simplify]: Simplify (+ y (- 1.0)) into (- y 1.0)
28.887 * [backup-simplify]: Simplify (+ (* 0 (- y 1.0)) (* +nan.0 0.1111111111111111)) into (- +nan.0)
28.888 * [backup-simplify]: Simplify (+ (* 3.0 (- +nan.0)) (* 0 0)) into (- +nan.0)
28.889 * [taylor]: Taking taylor expansion of (- +nan.0) in y
28.889 * [taylor]: Taking taylor expansion of +nan.0 in y
28.889 * [backup-simplify]: Simplify +nan.0 into +nan.0
28.889 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
28.889 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
28.889 * [backup-simplify]: Simplify 0 into 0
28.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.891 * [backup-simplify]: Simplify (+ (* 0.1111111111111111 0) (+ (* 0 0) (* 0 1))) into 0
28.892 * [backup-simplify]: Simplify (+ 0 0) into 0
28.892 * [backup-simplify]: Simplify (- 0) into 0
28.892 * [backup-simplify]: Simplify (+ 0 0) into 0
28.896 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
28.897 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 (- y 1.0)) (* +nan.0 0.1111111111111111))) into (- (+ (* +nan.0 y) (- +nan.0)))
28.898 * [backup-simplify]: Simplify (+ (* 3.0 (- (+ (* +nan.0 y) (- +nan.0)))) (+ (* 0 (- +nan.0)) (* 0 0))) into (- (+ (* +nan.0 y) (- +nan.0)))
28.898 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y
28.898 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y
28.898 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y
28.898 * [taylor]: Taking taylor expansion of +nan.0 in y
28.898 * [backup-simplify]: Simplify +nan.0 into +nan.0
28.898 * [taylor]: Taking taylor expansion of y in y
28.898 * [backup-simplify]: Simplify 0 into 0
28.898 * [backup-simplify]: Simplify 1 into 1
28.898 * [taylor]: Taking taylor expansion of (- +nan.0) in y
28.898 * [taylor]: Taking taylor expansion of +nan.0 in y
28.898 * [backup-simplify]: Simplify +nan.0 into +nan.0
28.899 * [backup-simplify]: Simplify (* +nan.0 0) into 0
28.899 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
28.900 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
28.901 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
28.901 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
28.901 * [backup-simplify]: Simplify (- 0) into 0
28.901 * [backup-simplify]: Simplify 0 into 0
28.902 * [backup-simplify]: Simplify 0 into 0
28.902 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.904 * [backup-simplify]: Simplify (+ (* 0.1111111111111111 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.904 * [backup-simplify]: Simplify (+ 0 0) into 0
28.904 * [backup-simplify]: Simplify (- 0) into 0
28.905 * [backup-simplify]: Simplify (+ 0 0) into 0
28.909 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
28.910 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (+ (* +nan.0 (- y 1.0)) (* +nan.0 0.1111111111111111)))) into (- (+ (* +nan.0 y) (- +nan.0)))
28.912 * [backup-simplify]: Simplify (+ (* 3.0 (- (+ (* +nan.0 y) (- +nan.0)))) (+ (* 0 (- (+ (* +nan.0 y) (- +nan.0)))) (+ (* 0 (- +nan.0)) (* 0 0)))) into (- (+ (* +nan.0 y) (- +nan.0)))
28.912 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y
28.912 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y
28.912 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y
28.912 * [taylor]: Taking taylor expansion of +nan.0 in y
28.912 * [backup-simplify]: Simplify +nan.0 into +nan.0
28.912 * [taylor]: Taking taylor expansion of y in y
28.912 * [backup-simplify]: Simplify 0 into 0
28.912 * [backup-simplify]: Simplify 1 into 1
28.912 * [taylor]: Taking taylor expansion of (- +nan.0) in y
28.912 * [taylor]: Taking taylor expansion of +nan.0 in y
28.912 * [backup-simplify]: Simplify +nan.0 into +nan.0
28.912 * [backup-simplify]: Simplify (* +nan.0 0) into 0
28.913 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
28.914 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
28.914 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
28.915 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)