47.534 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.017 * * * [progress]: [2/2] Setting up program.
0.019 * [progress]: [Phase 2 of 3] Improving.
0.019 * [simplify]: Simplifying:
  (/ (+ x y) (* (* x 2.0) y))
0.019 * * [simplify]: Extracting # 0 : cost  0
0.019 * * [simplify]: Extracting # 1 : cost  0
0.019 * * [simplify]: Extracting # 2 : cost  0
0.019 * * [simplify]: Extracting # 3 : cost  0
0.019 * * [simplify]: Extracting # 4 : cost  0
0.019 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
0.020 * * [simplify]: Extracting # 0 : cost  0
0.020 * * [simplify]: Extracting # 1 : cost  0
0.020 * * [simplify]: Extracting # 2 : cost  0
0.020 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
0.024 * * [simplify]: Extracting # 0 : cost  0
0.024 * * [simplify]: Extracting # 1 : cost  0
0.024 * * [simplify]: Extracting # 2 : cost  0
0.024 * * [simplify]: iteration  2 :  28  enodes  (cost  9 )
0.031 * * [simplify]: Extracting # 0 : cost  0
0.031 * * [simplify]: Extracting # 1 : cost  0
0.031 * * [simplify]: Extracting # 2 : cost  0
0.031 * * [simplify]: iteration  3 :  42  enodes  (cost  9 )
0.040 * * [simplify]: Extracting # 0 : cost  0
0.040 * * [simplify]: iteration  4 :  44  enodes  (cost  9 )
0.048 * * [simplify]: Extracting # 0 : cost  0
0.048 * * [simplify]: iteration done:  44  enodes  (cost  9 )
0.049 * [simplify]: Simplified to:
  (/ (+ x y) (* (* x 2.0) y))
0.049 * * [progress]: iteration 1 / 4
0.049 * * * [progress]: picking best candidate
0.051 * * * * [pick]: Picked  #<alt (λ (x y) (/ (+ x y) (* (* x 2.0) y)))>
0.051 * * * [progress]: localizing error
0.061 * * * [progress]: generating rewritten candidates
0.061 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.115 * * * [progress]: generating series expansions
0.116 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.116 * [backup-simplify]: Simplify (/ (+ x y) (* (* x 2.0) y)) into (* 0.5 (/ (+ x y) (* x y)))
0.116 * [approximate]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in (x y) around 0
0.116 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in y
0.116 * [taylor]: Taking taylor expansion of 0.5 in y
0.116 * [backup-simplify]: Simplify 0.5 into 0.5
0.116 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in y
0.116 * [taylor]: Taking taylor expansion of (+ x y) in y
0.116 * [taylor]: Taking taylor expansion of x in y
0.116 * [backup-simplify]: Simplify x into x
0.116 * [taylor]: Taking taylor expansion of y in y
0.116 * [backup-simplify]: Simplify 0 into 0
0.116 * [backup-simplify]: Simplify 1 into 1
0.116 * [taylor]: Taking taylor expansion of (* x y) in y
0.116 * [taylor]: Taking taylor expansion of x in y
0.116 * [backup-simplify]: Simplify x into x
0.116 * [taylor]: Taking taylor expansion of y in y
0.116 * [backup-simplify]: Simplify 0 into 0
0.116 * [backup-simplify]: Simplify 1 into 1
0.116 * [backup-simplify]: Simplify (+ x 0) into x
0.116 * [backup-simplify]: Simplify (* x 0) into 0
0.117 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.117 * [backup-simplify]: Simplify (/ x x) into 1
0.117 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in x
0.117 * [taylor]: Taking taylor expansion of 0.5 in x
0.117 * [backup-simplify]: Simplify 0.5 into 0.5
0.117 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in x
0.117 * [taylor]: Taking taylor expansion of (+ x y) in x
0.117 * [taylor]: Taking taylor expansion of x in x
0.117 * [backup-simplify]: Simplify 0 into 0
0.117 * [backup-simplify]: Simplify 1 into 1
0.117 * [taylor]: Taking taylor expansion of y in x
0.117 * [backup-simplify]: Simplify y into y
0.117 * [taylor]: Taking taylor expansion of (* x y) in x
0.117 * [taylor]: Taking taylor expansion of x in x
0.117 * [backup-simplify]: Simplify 0 into 0
0.117 * [backup-simplify]: Simplify 1 into 1
0.117 * [taylor]: Taking taylor expansion of y in x
0.117 * [backup-simplify]: Simplify y into y
0.117 * [backup-simplify]: Simplify (+ 0 y) into y
0.117 * [backup-simplify]: Simplify (* 0 y) into 0
0.117 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.117 * [backup-simplify]: Simplify (/ y y) into 1
0.117 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in x
0.117 * [taylor]: Taking taylor expansion of 0.5 in x
0.117 * [backup-simplify]: Simplify 0.5 into 0.5
0.117 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in x
0.117 * [taylor]: Taking taylor expansion of (+ x y) in x
0.117 * [taylor]: Taking taylor expansion of x in x
0.117 * [backup-simplify]: Simplify 0 into 0
0.117 * [backup-simplify]: Simplify 1 into 1
0.117 * [taylor]: Taking taylor expansion of y in x
0.117 * [backup-simplify]: Simplify y into y
0.117 * [taylor]: Taking taylor expansion of (* x y) in x
0.117 * [taylor]: Taking taylor expansion of x in x
0.117 * [backup-simplify]: Simplify 0 into 0
0.117 * [backup-simplify]: Simplify 1 into 1
0.118 * [taylor]: Taking taylor expansion of y in x
0.118 * [backup-simplify]: Simplify y into y
0.118 * [backup-simplify]: Simplify (+ 0 y) into y
0.118 * [backup-simplify]: Simplify (* 0 y) into 0
0.118 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.118 * [backup-simplify]: Simplify (/ y y) into 1
0.118 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
0.118 * [taylor]: Taking taylor expansion of 0.5 in y
0.118 * [backup-simplify]: Simplify 0.5 into 0.5
0.119 * [backup-simplify]: Simplify (+ 1 0) into 1
0.119 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.119 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* 1 (/ 0 y)))) into (/ 1 y)
0.120 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (* 0 1)) into (* 0.5 (/ 1 y))
0.120 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.120 * [taylor]: Taking taylor expansion of 0.5 in y
0.120 * [backup-simplify]: Simplify 0.5 into 0.5
0.120 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.120 * [taylor]: Taking taylor expansion of y in y
0.120 * [backup-simplify]: Simplify 0 into 0
0.120 * [backup-simplify]: Simplify 1 into 1
0.120 * [backup-simplify]: Simplify (/ 1 1) into 1
0.120 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
0.120 * [backup-simplify]: Simplify 0.5 into 0.5
0.120 * [backup-simplify]: Simplify 0.5 into 0.5
0.121 * [backup-simplify]: Simplify (+ 0 0) into 0
0.121 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.121 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0
0.122 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
0.122 * [taylor]: Taking taylor expansion of 0 in y
0.122 * [backup-simplify]: Simplify 0 into 0
0.122 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.123 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
0.123 * [backup-simplify]: Simplify 0 into 0
0.123 * [backup-simplify]: Simplify 0 into 0
0.123 * [backup-simplify]: Simplify (+ 0 0) into 0
0.124 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.124 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.125 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
0.125 * [taylor]: Taking taylor expansion of 0 in y
0.125 * [backup-simplify]: Simplify 0 into 0
0.125 * [backup-simplify]: Simplify 0 into 0
0.126 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.126 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
0.126 * [backup-simplify]: Simplify 0 into 0
0.126 * [backup-simplify]: Simplify 0 into 0
0.126 * [backup-simplify]: Simplify (+ 0 0) into 0
0.127 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
0.128 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.129 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0
0.129 * [taylor]: Taking taylor expansion of 0 in y
0.129 * [backup-simplify]: Simplify 0 into 0
0.129 * [backup-simplify]: Simplify 0 into 0
0.129 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
0.129 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 y)) (* (* (/ 1 x) 2.0) (/ 1 y))) into (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x)))
0.129 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in (x y) around 0
0.129 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in y
0.129 * [taylor]: Taking taylor expansion of 0.5 in y
0.129 * [backup-simplify]: Simplify 0.5 into 0.5
0.129 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in y
0.129 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.129 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.129 * [taylor]: Taking taylor expansion of y in y
0.129 * [backup-simplify]: Simplify 0 into 0
0.129 * [backup-simplify]: Simplify 1 into 1
0.129 * [backup-simplify]: Simplify (/ 1 1) into 1
0.129 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.129 * [taylor]: Taking taylor expansion of x in y
0.129 * [backup-simplify]: Simplify x into x
0.129 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.129 * [taylor]: Taking taylor expansion of (* y x) in y
0.129 * [taylor]: Taking taylor expansion of y in y
0.129 * [backup-simplify]: Simplify 0 into 0
0.129 * [backup-simplify]: Simplify 1 into 1
0.129 * [taylor]: Taking taylor expansion of x in y
0.130 * [backup-simplify]: Simplify x into x
0.130 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x
0.130 * [taylor]: Taking taylor expansion of 0.5 in x
0.130 * [backup-simplify]: Simplify 0.5 into 0.5
0.130 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x
0.130 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.130 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.130 * [taylor]: Taking taylor expansion of y in x
0.130 * [backup-simplify]: Simplify y into y
0.130 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.130 * [taylor]: Taking taylor expansion of x in x
0.130 * [backup-simplify]: Simplify 0 into 0
0.130 * [backup-simplify]: Simplify 1 into 1
0.130 * [backup-simplify]: Simplify (/ 1 1) into 1
0.130 * [taylor]: Taking taylor expansion of (* y x) in x
0.130 * [taylor]: Taking taylor expansion of y in x
0.130 * [backup-simplify]: Simplify y into y
0.130 * [taylor]: Taking taylor expansion of x in x
0.130 * [backup-simplify]: Simplify 0 into 0
0.130 * [backup-simplify]: Simplify 1 into 1
0.130 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x
0.130 * [taylor]: Taking taylor expansion of 0.5 in x
0.130 * [backup-simplify]: Simplify 0.5 into 0.5
0.130 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x
0.130 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.130 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.130 * [taylor]: Taking taylor expansion of y in x
0.130 * [backup-simplify]: Simplify y into y
0.130 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.130 * [taylor]: Taking taylor expansion of x in x
0.130 * [backup-simplify]: Simplify 0 into 0
0.130 * [backup-simplify]: Simplify 1 into 1
0.131 * [backup-simplify]: Simplify (/ 1 1) into 1
0.131 * [taylor]: Taking taylor expansion of (* y x) in x
0.131 * [taylor]: Taking taylor expansion of y in x
0.131 * [backup-simplify]: Simplify y into y
0.131 * [taylor]: Taking taylor expansion of x in x
0.131 * [backup-simplify]: Simplify 0 into 0
0.131 * [backup-simplify]: Simplify 1 into 1
0.131 * [backup-simplify]: Simplify (+ 0 1) into 1
0.131 * [backup-simplify]: Simplify (* y 0) into 0
0.131 * [backup-simplify]: Simplify (* 1 0) into 0
0.131 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.132 * [taylor]: Taking taylor expansion of 0 in y
0.132 * [backup-simplify]: Simplify 0 into 0
0.132 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y
0.132 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.132 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.132 * [backup-simplify]: Simplify (+ (* 1 y) (* (/ 1 y) 0)) into y
0.133 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y)
0.133 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.133 * [taylor]: Taking taylor expansion of 0.5 in y
0.133 * [backup-simplify]: Simplify 0.5 into 0.5
0.133 * [taylor]: Taking taylor expansion of y in y
0.133 * [backup-simplify]: Simplify 0 into 0
0.133 * [backup-simplify]: Simplify 1 into 1
0.133 * [backup-simplify]: Simplify 0 into 0
0.133 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 0))) into 0
0.133 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.134 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.134 * [backup-simplify]: Simplify (+ 0 0) into 0
0.134 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) y) (* 0 0))) into 1
0.135 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 y) (* 0 0))) into 0.5
0.135 * [taylor]: Taking taylor expansion of 0.5 in y
0.135 * [backup-simplify]: Simplify 0.5 into 0.5
0.135 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.135 * [backup-simplify]: Simplify 0 into 0
0.135 * [backup-simplify]: Simplify 0 into 0
0.136 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.136 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.136 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.137 * [backup-simplify]: Simplify (+ 0 0) into 0
0.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 y) (* 0 0)))) into 0
0.138 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))) into 0
0.138 * [taylor]: Taking taylor expansion of 0 in y
0.138 * [backup-simplify]: Simplify 0 into 0
0.138 * [backup-simplify]: Simplify 0.5 into 0.5
0.139 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
0.139 * [backup-simplify]: Simplify 0.5 into 0.5
0.139 * [backup-simplify]: Simplify 0 into 0
0.139 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
0.140 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.140 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.140 * [backup-simplify]: Simplify (+ 0 0) into 0
0.141 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
0.142 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0))))) into 0
0.142 * [taylor]: Taking taylor expansion of 0 in y
0.142 * [backup-simplify]: Simplify 0 into 0
0.142 * [backup-simplify]: Simplify 0 into 0
0.142 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
0.143 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
0.143 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.144 * [backup-simplify]: Simplify (+ 0 0) into 0
0.145 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0
0.146 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))))) into 0
0.146 * [taylor]: Taking taylor expansion of 0 in y
0.146 * [backup-simplify]: Simplify 0 into 0
0.146 * [backup-simplify]: Simplify 0 into 0
0.146 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* 0.5 (* 1 (/ 1 x)))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
0.147 * [backup-simplify]: Simplify (/ (+ (/ 1 (- x)) (/ 1 (- y))) (* (* (/ 1 (- x)) 2.0) (/ 1 (- y)))) into (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x)))
0.147 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in (x y) around 0
0.147 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in y
0.147 * [taylor]: Taking taylor expansion of -0.5 in y
0.147 * [backup-simplify]: Simplify -0.5 into -0.5
0.147 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in y
0.147 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.147 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.147 * [taylor]: Taking taylor expansion of y in y
0.147 * [backup-simplify]: Simplify 0 into 0
0.147 * [backup-simplify]: Simplify 1 into 1
0.147 * [backup-simplify]: Simplify (/ 1 1) into 1
0.147 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.147 * [taylor]: Taking taylor expansion of x in y
0.147 * [backup-simplify]: Simplify x into x
0.147 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.147 * [taylor]: Taking taylor expansion of (* y x) in y
0.147 * [taylor]: Taking taylor expansion of y in y
0.147 * [backup-simplify]: Simplify 0 into 0
0.147 * [backup-simplify]: Simplify 1 into 1
0.147 * [taylor]: Taking taylor expansion of x in y
0.147 * [backup-simplify]: Simplify x into x
0.147 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x
0.147 * [taylor]: Taking taylor expansion of -0.5 in x
0.147 * [backup-simplify]: Simplify -0.5 into -0.5
0.147 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x
0.147 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.147 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.147 * [taylor]: Taking taylor expansion of y in x
0.147 * [backup-simplify]: Simplify y into y
0.147 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.147 * [taylor]: Taking taylor expansion of x in x
0.147 * [backup-simplify]: Simplify 0 into 0
0.147 * [backup-simplify]: Simplify 1 into 1
0.148 * [backup-simplify]: Simplify (/ 1 1) into 1
0.148 * [taylor]: Taking taylor expansion of (* y x) in x
0.148 * [taylor]: Taking taylor expansion of y in x
0.148 * [backup-simplify]: Simplify y into y
0.148 * [taylor]: Taking taylor expansion of x in x
0.148 * [backup-simplify]: Simplify 0 into 0
0.148 * [backup-simplify]: Simplify 1 into 1
0.148 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x
0.148 * [taylor]: Taking taylor expansion of -0.5 in x
0.148 * [backup-simplify]: Simplify -0.5 into -0.5
0.148 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x
0.148 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.148 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.148 * [taylor]: Taking taylor expansion of y in x
0.148 * [backup-simplify]: Simplify y into y
0.148 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.148 * [taylor]: Taking taylor expansion of x in x
0.148 * [backup-simplify]: Simplify 0 into 0
0.148 * [backup-simplify]: Simplify 1 into 1
0.148 * [backup-simplify]: Simplify (/ 1 1) into 1
0.148 * [taylor]: Taking taylor expansion of (* y x) in x
0.148 * [taylor]: Taking taylor expansion of y in x
0.148 * [backup-simplify]: Simplify y into y
0.148 * [taylor]: Taking taylor expansion of x in x
0.148 * [backup-simplify]: Simplify 0 into 0
0.148 * [backup-simplify]: Simplify 1 into 1
0.149 * [backup-simplify]: Simplify (+ 0 1) into 1
0.149 * [backup-simplify]: Simplify (* y 0) into 0
0.149 * [backup-simplify]: Simplify (* 1 0) into 0
0.149 * [backup-simplify]: Simplify (* -0.5 0) into 0
0.149 * [taylor]: Taking taylor expansion of 0 in y
0.149 * [backup-simplify]: Simplify 0 into 0
0.149 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y
0.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.150 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.150 * [backup-simplify]: Simplify (+ (* 1 y) (* (/ 1 y) 0)) into y
0.150 * [backup-simplify]: Simplify (+ (* -0.5 y) (* 0 0)) into (- (* 0.5 y))
0.150 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
0.150 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.150 * [taylor]: Taking taylor expansion of 0.5 in y
0.150 * [backup-simplify]: Simplify 0.5 into 0.5
0.150 * [taylor]: Taking taylor expansion of y in y
0.150 * [backup-simplify]: Simplify 0 into 0
0.150 * [backup-simplify]: Simplify 1 into 1
0.150 * [backup-simplify]: Simplify 0 into 0
0.151 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 0))) into 0
0.151 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.151 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.152 * [backup-simplify]: Simplify (+ 0 0) into 0
0.152 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) y) (* 0 0))) into 1
0.153 * [backup-simplify]: Simplify (+ (* -0.5 1) (+ (* 0 y) (* 0 0))) into (- 0.5)
0.153 * [taylor]: Taking taylor expansion of (- 0.5) in y
0.153 * [taylor]: Taking taylor expansion of 0.5 in y
0.153 * [backup-simplify]: Simplify 0.5 into 0.5
0.153 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.153 * [backup-simplify]: Simplify (- 0) into 0
0.153 * [backup-simplify]: Simplify 0 into 0
0.153 * [backup-simplify]: Simplify 0 into 0
0.154 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.154 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.154 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.155 * [backup-simplify]: Simplify (+ 0 0) into 0
0.155 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 y) (* 0 0)))) into 0
0.156 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))) into 0
0.156 * [taylor]: Taking taylor expansion of 0 in y
0.156 * [backup-simplify]: Simplify 0 into 0
0.156 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.156 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.157 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
0.157 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.158 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.158 * [backup-simplify]: Simplify 0 into 0
0.158 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
0.158 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.159 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.159 * [backup-simplify]: Simplify (+ 0 0) into 0
0.160 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
0.161 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0))))) into 0
0.161 * [taylor]: Taking taylor expansion of 0 in y
0.161 * [backup-simplify]: Simplify 0 into 0
0.161 * [backup-simplify]: Simplify 0 into 0
0.161 * [backup-simplify]: Simplify (- 0) into 0
0.161 * [backup-simplify]: Simplify 0 into 0
0.162 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
0.162 * [backup-simplify]: Simplify (- 0) into 0
0.162 * [backup-simplify]: Simplify 0 into 0
0.162 * [backup-simplify]: Simplify 0 into 0
0.162 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
0.163 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.163 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.163 * [backup-simplify]: Simplify (+ 0 0) into 0
0.164 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0
0.165 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))))) into 0
0.165 * [taylor]: Taking taylor expansion of 0 in y
0.165 * [backup-simplify]: Simplify 0 into 0
0.165 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* (- 0.5) (* 1 (/ 1 (- x))))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
0.166 * * * [progress]: simplifying candidates
0.167 * [simplify]: Simplifying:
  (expm1 (/ (+ x y) (* (* x 2.0) y)))
  (log1p (/ (+ x y) (* (* x 2.0) y)))
  (- (log (+ x y)) (+ (+ (log x) (log 2.0)) (log y)))
  (- (log (+ x y)) (+ (log (* x 2.0)) (log y)))
  (- (log (+ x y)) (log (* (* x 2.0) y)))
  (log (/ (+ x y) (* (* x 2.0) y)))
  (exp (/ (+ x y) (* (* x 2.0) y)))
  (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* (* x x) x) (* (* 2.0 2.0) 2.0)) (* (* y y) y)))
  (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* (* x 2.0) (* x 2.0)) (* x 2.0)) (* (* y y) y)))
  (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* (* x 2.0) y) (* (* x 2.0) y)) (* (* x 2.0) y)))
  (* (cbrt (/ (+ x y) (* (* x 2.0) y))) (cbrt (/ (+ x y) (* (* x 2.0) y))))
  (cbrt (/ (+ x y) (* (* x 2.0) y)))
  (* (* (/ (+ x y) (* (* x 2.0) y)) (/ (+ x y) (* (* x 2.0) y))) (/ (+ x y) (* (* x 2.0) y)))
  (sqrt (/ (+ x y) (* (* x 2.0) y)))
  (sqrt (/ (+ x y) (* (* x 2.0) y)))
  (- (+ x y))
  (- (* (* x 2.0) y))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* x 2.0))
  (/ (cbrt (+ x y)) y)
  (/ (sqrt (+ x y)) (* x 2.0))
  (/ (sqrt (+ x y)) y)
  (/ 1 (* x 2.0))
  (/ (+ x y) y)
  (/ 1 (* x 2.0))
  (/ (+ x y) y)
  (/ 1 (* (* x 2.0) y))
  (/ (* (* x 2.0) y) (+ x y))
  (/ (+ x y) (* x 2.0))
  (/ (* (* x 2.0) y) (cbrt (+ x y)))
  (/ (* (* x 2.0) y) (sqrt (+ x y)))
  (/ (* (* x 2.0) y) (+ x y))
  (/ (* (* x 2.0) y) (+ x y))
  (* (* (* x 2.0) y) (+ (* x x) (- (* y y) (* x y))))
  (* (* (* x 2.0) y) (- x y))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
0.167 * * [simplify]: Extracting # 0 : cost  0
0.167 * * [simplify]: Extracting # 1 : cost  0
0.167 * * [simplify]: Extracting # 2 : cost  0
0.168 * * [simplify]: Extracting # 3 : cost  0
0.168 * * [simplify]: Extracting # 4 : cost  0
0.168 * * [simplify]: Extracting # 5 : cost  0
0.168 * * [simplify]: Extracting # 6 : cost  0
0.168 * * [simplify]: Extracting # 7 : cost  0
0.168 * * [simplify]: iteration  0 :  75  enodes  (cost  426 )
0.187 * * [simplify]: Extracting # 0 : cost  0
0.187 * * [simplify]: Extracting # 1 : cost  0
0.187 * * [simplify]: Extracting # 2 : cost  0
0.188 * * [simplify]: Extracting # 3 : cost  0
0.188 * * [simplify]: iteration  1 :  218  enodes  (cost  411 )
0.277 * * [simplify]: Extracting # 0 : cost  0
0.278 * * [simplify]: Extracting # 1 : cost  0
0.279 * * [simplify]: Extracting # 2 : cost  0
0.281 * * [simplify]: Extracting # 3 : cost  0
0.282 * * [simplify]: Extracting # 4 : cost  0
0.283 * * [simplify]: iteration  2 :  874  enodes  (cost  333 )
1.960 * * [simplify]: Extracting # 0 : cost  0
1.968 * * [simplify]: Extracting # 1 : cost  0
1.976 * * [simplify]: Extracting # 2 : cost  0
1.984 * * [simplify]: Extracting # 3 : cost  0
1.991 * * [simplify]: iteration  3 :  4593  enodes  (cost  333 )
3.335 * * [simplify]: Extracting # 0 : cost  0
3.348 * * [simplify]: Extracting # 1 : cost  0
3.353 * * [simplify]: iteration done:  5000  enodes  (cost  333 )
3.353 * [simplify]: Simplified to:
  (expm1 (/ (+ x y) (* (* x 2.0) y)))
  (log1p (/ (+ x y) (* (* x 2.0) y)))
  (log (/ (+ x y) (* (* x 2.0) y)))
  (log (/ (+ x y) (* (* x 2.0) y)))
  (log (/ (+ x y) (* (* x 2.0) y)))
  (log (/ (+ x y) (* (* x 2.0) y)))
  (exp (/ (+ x y) (* (* x 2.0) y)))
  (pow (/ (+ x y) (* (* x 2.0) y)) 3)
  (pow (/ (+ x y) (* (* x 2.0) y)) 3)
  (pow (/ (+ x y) (* (* x 2.0) y)) 3)
  (* (cbrt (/ (+ x y) (* (* x 2.0) y))) (cbrt (/ (+ x y) (* (* x 2.0) y))))
  (cbrt (/ (+ x y) (* (* x 2.0) y)))
  (pow (/ (+ x y) (* (* x 2.0) y)) 3)
  (sqrt (/ (+ x y) (* (* x 2.0) y)))
  (sqrt (/ (+ x y) (* (* x 2.0) y)))
  (- (+ x y))
  (- (* (* x 2.0) y))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* x 2.0))
  (/ (cbrt (+ x y)) y)
  (/ (sqrt (+ x y)) (* x 2.0))
  (/ (sqrt (+ x y)) y)
  (/ 1 (* x 2.0))
  (/ (+ x y) y)
  (/ 1 (* x 2.0))
  (/ (+ x y) y)
  (/ 1 (* (* x 2.0) y))
  (/ (* (* x 2.0) y) (+ x y))
  (/ (+ x y) (* x 2.0))
  (/ (* (* x 2.0) y) (cbrt (+ x y)))
  (/ (* (* x 2.0) y) (sqrt (+ x y)))
  (/ (* (* x 2.0) y) (+ x y))
  (/ (* (* x 2.0) y) (+ x y))
  (* (fma x x (* y (- y x))) (* (* x 2.0) y))
  (* (* (* x 2.0) y) (- x y))
  (+ (/ 0.5 y) (/ 0.5 x))
  (+ (/ 0.5 y) (/ 0.5 x))
  (+ (/ 0.5 y) (/ 0.5 x))
3.353 * * * [progress]: adding candidates to table
3.404 * * [progress]: iteration 2 / 4
3.404 * * * [progress]: picking best candidate
3.411 * * * * [pick]: Picked  #<alt (λ (x y) (+ (/ 0.5 y) (/ 0.5 x)))>
3.411 * * * [progress]: localizing error
3.420 * * * [progress]: generating rewritten candidates
3.420 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.454 * * * [progress]: generating series expansions
3.454 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.454 * [backup-simplify]: Simplify (+ (/ 0.5 y) (/ 0.5 x)) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
3.454 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in (y x) around 0
3.454 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in x
3.454 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
3.454 * [taylor]: Taking taylor expansion of 0.5 in x
3.454 * [backup-simplify]: Simplify 0.5 into 0.5
3.454 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.454 * [taylor]: Taking taylor expansion of y in x
3.454 * [backup-simplify]: Simplify y into y
3.454 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.454 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
3.454 * [taylor]: Taking taylor expansion of 0.5 in x
3.454 * [backup-simplify]: Simplify 0.5 into 0.5
3.454 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.454 * [taylor]: Taking taylor expansion of x in x
3.454 * [backup-simplify]: Simplify 0 into 0
3.454 * [backup-simplify]: Simplify 1 into 1
3.455 * [backup-simplify]: Simplify (/ 1 1) into 1
3.455 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in y
3.455 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
3.455 * [taylor]: Taking taylor expansion of 0.5 in y
3.455 * [backup-simplify]: Simplify 0.5 into 0.5
3.455 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.455 * [taylor]: Taking taylor expansion of y in y
3.455 * [backup-simplify]: Simplify 0 into 0
3.455 * [backup-simplify]: Simplify 1 into 1
3.455 * [backup-simplify]: Simplify (/ 1 1) into 1
3.455 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
3.455 * [taylor]: Taking taylor expansion of 0.5 in y
3.455 * [backup-simplify]: Simplify 0.5 into 0.5
3.455 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.455 * [taylor]: Taking taylor expansion of x in y
3.455 * [backup-simplify]: Simplify x into x
3.455 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.455 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in y
3.455 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
3.455 * [taylor]: Taking taylor expansion of 0.5 in y
3.455 * [backup-simplify]: Simplify 0.5 into 0.5
3.455 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.455 * [taylor]: Taking taylor expansion of y in y
3.455 * [backup-simplify]: Simplify 0 into 0
3.455 * [backup-simplify]: Simplify 1 into 1
3.456 * [backup-simplify]: Simplify (/ 1 1) into 1
3.456 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
3.456 * [taylor]: Taking taylor expansion of 0.5 in y
3.456 * [backup-simplify]: Simplify 0.5 into 0.5
3.456 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.456 * [taylor]: Taking taylor expansion of x in y
3.456 * [backup-simplify]: Simplify x into x
3.456 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.456 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
3.456 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
3.456 * [taylor]: Taking taylor expansion of 0.5 in x
3.457 * [backup-simplify]: Simplify 0.5 into 0.5
3.457 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.457 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
3.457 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
3.457 * [backup-simplify]: Simplify (+ 0 (/ 0.5 x)) into (* 0.5 (/ 1 x))
3.457 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
3.457 * [taylor]: Taking taylor expansion of 0.5 in x
3.458 * [backup-simplify]: Simplify 0.5 into 0.5
3.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.458 * [taylor]: Taking taylor expansion of x in x
3.458 * [backup-simplify]: Simplify 0 into 0
3.458 * [backup-simplify]: Simplify 1 into 1
3.458 * [backup-simplify]: Simplify (/ 1 1) into 1
3.458 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
3.458 * [backup-simplify]: Simplify 0.5 into 0.5
3.458 * [backup-simplify]: Simplify 0.5 into 0.5
3.459 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.459 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
3.459 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.460 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
3.460 * [backup-simplify]: Simplify (+ 0 0) into 0
3.460 * [taylor]: Taking taylor expansion of 0 in x
3.460 * [backup-simplify]: Simplify 0 into 0
3.460 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.461 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
3.461 * [backup-simplify]: Simplify 0 into 0
3.461 * [backup-simplify]: Simplify 0 into 0
3.461 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.462 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.462 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.462 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
3.463 * [backup-simplify]: Simplify (+ 0 0) into 0
3.463 * [taylor]: Taking taylor expansion of 0 in x
3.463 * [backup-simplify]: Simplify 0 into 0
3.463 * [backup-simplify]: Simplify 0 into 0
3.463 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.464 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
3.464 * [backup-simplify]: Simplify 0 into 0
3.464 * [backup-simplify]: Simplify 0 into 0
3.464 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.465 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.465 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.466 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
3.466 * [backup-simplify]: Simplify (+ 0 0) into 0
3.466 * [taylor]: Taking taylor expansion of 0 in x
3.466 * [backup-simplify]: Simplify 0 into 0
3.466 * [backup-simplify]: Simplify 0 into 0
3.466 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (/ 1 y))) (* 0.5 (* (/ 1 x) 1))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
3.466 * [backup-simplify]: Simplify (+ (/ 0.5 (/ 1 y)) (/ 0.5 (/ 1 x))) into (+ (* 0.5 x) (* 0.5 y))
3.466 * [approximate]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in (y x) around 0
3.466 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x
3.467 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
3.467 * [taylor]: Taking taylor expansion of 0.5 in x
3.467 * [backup-simplify]: Simplify 0.5 into 0.5
3.467 * [taylor]: Taking taylor expansion of x in x
3.467 * [backup-simplify]: Simplify 0 into 0
3.467 * [backup-simplify]: Simplify 1 into 1
3.467 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
3.467 * [taylor]: Taking taylor expansion of 0.5 in x
3.467 * [backup-simplify]: Simplify 0.5 into 0.5
3.467 * [taylor]: Taking taylor expansion of y in x
3.467 * [backup-simplify]: Simplify y into y
3.467 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in y
3.467 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
3.467 * [taylor]: Taking taylor expansion of 0.5 in y
3.467 * [backup-simplify]: Simplify 0.5 into 0.5
3.467 * [taylor]: Taking taylor expansion of x in y
3.467 * [backup-simplify]: Simplify x into x
3.467 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
3.467 * [taylor]: Taking taylor expansion of 0.5 in y
3.467 * [backup-simplify]: Simplify 0.5 into 0.5
3.467 * [taylor]: Taking taylor expansion of y in y
3.467 * [backup-simplify]: Simplify 0 into 0
3.467 * [backup-simplify]: Simplify 1 into 1
3.467 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in y
3.467 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
3.467 * [taylor]: Taking taylor expansion of 0.5 in y
3.467 * [backup-simplify]: Simplify 0.5 into 0.5
3.467 * [taylor]: Taking taylor expansion of x in y
3.467 * [backup-simplify]: Simplify x into x
3.467 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
3.467 * [taylor]: Taking taylor expansion of 0.5 in y
3.467 * [backup-simplify]: Simplify 0.5 into 0.5
3.467 * [taylor]: Taking taylor expansion of y in y
3.467 * [backup-simplify]: Simplify 0 into 0
3.467 * [backup-simplify]: Simplify 1 into 1
3.467 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x)
3.467 * [backup-simplify]: Simplify (* 0.5 0) into 0
3.468 * [backup-simplify]: Simplify (+ (* 0.5 x) 0) into (* 0.5 x)
3.468 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
3.468 * [taylor]: Taking taylor expansion of 0.5 in x
3.468 * [backup-simplify]: Simplify 0.5 into 0.5
3.468 * [taylor]: Taking taylor expansion of x in x
3.468 * [backup-simplify]: Simplify 0 into 0
3.468 * [backup-simplify]: Simplify 1 into 1
3.468 * [backup-simplify]: Simplify (* 0.5 0) into 0
3.468 * [backup-simplify]: Simplify 0 into 0
3.468 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 x)) into 0
3.469 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.469 * [backup-simplify]: Simplify (+ 0 0.5) into 0.5
3.469 * [taylor]: Taking taylor expansion of 0.5 in x
3.469 * [backup-simplify]: Simplify 0.5 into 0.5
3.470 * [backup-simplify]: Simplify 0.5 into 0.5
3.470 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.470 * [backup-simplify]: Simplify 0.5 into 0.5
3.471 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 x))) into 0
3.471 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
3.472 * [backup-simplify]: Simplify (+ 0 0) into 0
3.472 * [taylor]: Taking taylor expansion of 0 in x
3.472 * [backup-simplify]: Simplify 0 into 0
3.472 * [backup-simplify]: Simplify 0 into 0
3.472 * [backup-simplify]: Simplify 0 into 0
3.472 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
3.472 * [backup-simplify]: Simplify 0 into 0
3.473 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
3.474 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.474 * [backup-simplify]: Simplify (+ 0 0) into 0
3.474 * [taylor]: Taking taylor expansion of 0 in x
3.474 * [backup-simplify]: Simplify 0 into 0
3.474 * [backup-simplify]: Simplify 0 into 0
3.474 * [backup-simplify]: Simplify 0 into 0
3.474 * [backup-simplify]: Simplify 0 into 0
3.474 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 x) 1)) (* 0.5 (* 1 (/ 1 y)))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
3.474 * [backup-simplify]: Simplify (+ (/ 0.5 (/ 1 (- y))) (/ 0.5 (/ 1 (- x)))) into (- (+ (* 0.5 x) (* 0.5 y)))
3.474 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 x) (* 0.5 y))) in (y x) around 0
3.474 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 x) (* 0.5 y))) in x
3.474 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x
3.474 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
3.474 * [taylor]: Taking taylor expansion of 0.5 in x
3.474 * [backup-simplify]: Simplify 0.5 into 0.5
3.474 * [taylor]: Taking taylor expansion of x in x
3.474 * [backup-simplify]: Simplify 0 into 0
3.474 * [backup-simplify]: Simplify 1 into 1
3.474 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
3.474 * [taylor]: Taking taylor expansion of 0.5 in x
3.474 * [backup-simplify]: Simplify 0.5 into 0.5
3.474 * [taylor]: Taking taylor expansion of y in x
3.474 * [backup-simplify]: Simplify y into y
3.474 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 x) (* 0.5 y))) in y
3.474 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in y
3.474 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
3.474 * [taylor]: Taking taylor expansion of 0.5 in y
3.475 * [backup-simplify]: Simplify 0.5 into 0.5
3.475 * [taylor]: Taking taylor expansion of x in y
3.475 * [backup-simplify]: Simplify x into x
3.475 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
3.475 * [taylor]: Taking taylor expansion of 0.5 in y
3.475 * [backup-simplify]: Simplify 0.5 into 0.5
3.475 * [taylor]: Taking taylor expansion of y in y
3.475 * [backup-simplify]: Simplify 0 into 0
3.475 * [backup-simplify]: Simplify 1 into 1
3.475 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 x) (* 0.5 y))) in y
3.475 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in y
3.475 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
3.475 * [taylor]: Taking taylor expansion of 0.5 in y
3.475 * [backup-simplify]: Simplify 0.5 into 0.5
3.475 * [taylor]: Taking taylor expansion of x in y
3.475 * [backup-simplify]: Simplify x into x
3.475 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
3.475 * [taylor]: Taking taylor expansion of 0.5 in y
3.475 * [backup-simplify]: Simplify 0.5 into 0.5
3.475 * [taylor]: Taking taylor expansion of y in y
3.475 * [backup-simplify]: Simplify 0 into 0
3.475 * [backup-simplify]: Simplify 1 into 1
3.475 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x)
3.475 * [backup-simplify]: Simplify (* 0.5 0) into 0
3.475 * [backup-simplify]: Simplify (+ (* 0.5 x) 0) into (* 0.5 x)
3.475 * [backup-simplify]: Simplify (- (* 0.5 x)) into (- (* 0.5 x))
3.475 * [taylor]: Taking taylor expansion of (- (* 0.5 x)) in x
3.475 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
3.475 * [taylor]: Taking taylor expansion of 0.5 in x
3.475 * [backup-simplify]: Simplify 0.5 into 0.5
3.475 * [taylor]: Taking taylor expansion of x in x
3.475 * [backup-simplify]: Simplify 0 into 0
3.475 * [backup-simplify]: Simplify 1 into 1
3.479 * [backup-simplify]: Simplify (* 0.5 0) into 0
3.480 * [backup-simplify]: Simplify (- 0) into 0
3.480 * [backup-simplify]: Simplify 0 into 0
3.480 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 x)) into 0
3.481 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.481 * [backup-simplify]: Simplify (+ 0 0.5) into 0.5
3.482 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.482 * [taylor]: Taking taylor expansion of (- 0.5) in x
3.482 * [taylor]: Taking taylor expansion of 0.5 in x
3.482 * [backup-simplify]: Simplify 0.5 into 0.5
3.482 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.482 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.483 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.483 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.483 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.484 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 x))) into 0
3.484 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
3.485 * [backup-simplify]: Simplify (+ 0 0) into 0
3.485 * [backup-simplify]: Simplify (- 0) into 0
3.485 * [taylor]: Taking taylor expansion of 0 in x
3.485 * [backup-simplify]: Simplify 0 into 0
3.485 * [backup-simplify]: Simplify 0 into 0
3.485 * [backup-simplify]: Simplify (- 0) into 0
3.485 * [backup-simplify]: Simplify 0 into 0
3.486 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
3.486 * [backup-simplify]: Simplify (- 0) into 0
3.486 * [backup-simplify]: Simplify 0 into 0
3.487 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
3.487 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.487 * [backup-simplify]: Simplify (+ 0 0) into 0
3.488 * [backup-simplify]: Simplify (- 0) into 0
3.488 * [taylor]: Taking taylor expansion of 0 in x
3.488 * [backup-simplify]: Simplify 0 into 0
3.488 * [backup-simplify]: Simplify 0 into 0
3.488 * [backup-simplify]: Simplify 0 into 0
3.488 * [backup-simplify]: Simplify (- 0) into 0
3.488 * [backup-simplify]: Simplify 0 into 0
3.489 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- x)) 1)) (* (- 0.5) (* 1 (/ 1 (- y))))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
3.489 * * * [progress]: simplifying candidates
3.489 * [simplify]: Simplifying:
  (expm1 (+ (/ 0.5 y) (/ 0.5 x)))
  (log1p (+ (/ 0.5 y) (/ 0.5 x)))
  (* (exp (/ 0.5 y)) (exp (/ 0.5 x)))
  (log (+ (/ 0.5 y) (/ 0.5 x)))
  (exp (+ (/ 0.5 y) (/ 0.5 x)))
  (* (cbrt (+ (/ 0.5 y) (/ 0.5 x))) (cbrt (+ (/ 0.5 y) (/ 0.5 x))))
  (cbrt (+ (/ 0.5 y) (/ 0.5 x)))
  (* (* (+ (/ 0.5 y) (/ 0.5 x)) (+ (/ 0.5 y) (/ 0.5 x))) (+ (/ 0.5 y) (/ 0.5 x)))
  (sqrt (+ (/ 0.5 y) (/ 0.5 x)))
  (sqrt (+ (/ 0.5 y) (/ 0.5 x)))
  (+ (* 0.5 x) (* y 0.5))
  (* y x)
  (+ (pow (/ 0.5 y) 3) (pow (/ 0.5 x) 3))
  (+ (* (/ 0.5 y) (/ 0.5 y)) (- (* (/ 0.5 x) (/ 0.5 x)) (* (/ 0.5 y) (/ 0.5 x))))
  (- (* (/ 0.5 y) (/ 0.5 y)) (* (/ 0.5 x) (/ 0.5 x)))
  (- (/ 0.5 y) (/ 0.5 x))
  (+ (/ (cbrt 0.5) y) (/ (cbrt 0.5) x))
  (+ (/ (sqrt 0.5) y) (/ (sqrt 0.5) x))
  (+ (/ 0.5 y) (/ 0.5 x))
  (+ (/ 0.5 y) (/ 0.5 x))
  (+ (/ 1 y) (/ 1 x))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
3.490 * * [simplify]: Extracting # 0 : cost  0
3.490 * * [simplify]: Extracting # 1 : cost  0
3.490 * * [simplify]: Extracting # 2 : cost  0
3.490 * * [simplify]: Extracting # 3 : cost  0
3.490 * * [simplify]: Extracting # 4 : cost  0
3.490 * * [simplify]: Extracting # 5 : cost  0
3.490 * * [simplify]: Extracting # 6 : cost  0
3.490 * * [simplify]: iteration  0 :  48  enodes  (cost  243 )
3.501 * * [simplify]: Extracting # 0 : cost  0
3.501 * * [simplify]: Extracting # 1 : cost  0
3.501 * * [simplify]: Extracting # 2 : cost  0
3.501 * * [simplify]: Extracting # 3 : cost  0
3.501 * * [simplify]: Extracting # 4 : cost  0
3.501 * * [simplify]: iteration  1 :  124  enodes  (cost  230 )
3.537 * * [simplify]: Extracting # 0 : cost  0
3.538 * * [simplify]: Extracting # 1 : cost  0
3.538 * * [simplify]: Extracting # 2 : cost  0
3.538 * * [simplify]: Extracting # 3 : cost  0
3.539 * * [simplify]: iteration  2 :  306  enodes  (cost  209 )
3.647 * * [simplify]: Extracting # 0 : cost  0
3.648 * * [simplify]: Extracting # 1 : cost  0
3.649 * * [simplify]: Extracting # 2 : cost  0
3.650 * * [simplify]: Extracting # 3 : cost  0
3.650 * * [simplify]: Extracting # 4 : cost  0
3.651 * * [simplify]: iteration  3 :  897  enodes  (cost  209 )
5.115 * * [simplify]: Extracting # 0 : cost  0
5.125 * * [simplify]: Extracting # 1 : cost  0
5.129 * * [simplify]: Extracting # 2 : cost  0
5.132 * * [simplify]: Extracting # 3 : cost  0
5.136 * * [simplify]: Extracting # 4 : cost  0
5.139 * * [simplify]: Extracting # 5 : cost  0
5.143 * * [simplify]: iteration  4 :  4235  enodes  (cost  206 )
6.642 * * [simplify]: Extracting # 0 : cost  0
6.649 * * [simplify]: Extracting # 1 : cost  0
6.654 * * [simplify]: iteration done:  5000  enodes  (cost  206 )
6.654 * [simplify]: Simplified to:
  (expm1 (+ (/ 0.5 y) (/ 0.5 x)))
  (log1p (+ (/ 0.5 y) (/ 0.5 x)))
  (exp (+ (/ 0.5 y) (/ 0.5 x)))
  (log (+ (/ 0.5 y) (/ 0.5 x)))
  (exp (+ (/ 0.5 y) (/ 0.5 x)))
  (* (cbrt (+ (/ 0.5 y) (/ 0.5 x))) (cbrt (+ (/ 0.5 y) (/ 0.5 x))))
  (cbrt (+ (/ 0.5 y) (/ 0.5 x)))
  (pow (+ (/ 0.5 y) (/ 0.5 x)) 3)
  (sqrt (+ (/ 0.5 y) (/ 0.5 x)))
  (sqrt (+ (/ 0.5 y) (/ 0.5 x)))
  (* 0.5 (+ x y))
  (* x y)
  (+ (pow (/ 0.5 y) 3) (pow (/ 0.5 x) 3))
  (* 0.5 (+ (/ (- (/ 0.5 x) (/ 0.5 y)) x) (/ 0.5 (* y y))))
  (* 0.5 (- (/ 0.5 (* y y)) (/ (/ 0.5 x) x)))
  (- (/ 0.5 y) (/ 0.5 x))
  (+ (/ (cbrt 0.5) y) (/ (cbrt 0.5) x))
  (+ (/ (sqrt 0.5) y) (/ (sqrt 0.5) x))
  (+ (/ 0.5 y) (/ 0.5 x))
  (+ (/ 0.5 y) (/ 0.5 x))
  (+ (/ 1 y) (/ 1 x))
  (+ (/ 0.5 y) (/ 0.5 x))
  (+ (/ 0.5 y) (/ 0.5 x))
  (+ (/ 0.5 y) (/ 0.5 x))
6.654 * * * [progress]: adding candidates to table
6.723 * * [progress]: iteration 3 / 4
6.723 * * * [progress]: picking best candidate
6.727 * * * * [pick]: Picked  #<alt (λ (x y) (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (/ 0.5 x)))>
6.727 * * * [progress]: localizing error
6.736 * * * [progress]: generating rewritten candidates
6.736 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
6.743 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
6.744 * * * [progress]: generating series expansions
6.745 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
6.745 * [backup-simplify]: Simplify (/ (sqrt 0.5) y) into (/ (sqrt 0.5) y)
6.745 * [approximate]: Taking taylor expansion of (/ (sqrt 0.5) y) in (y) around 0
6.745 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) y) in y
6.745 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.745 * [taylor]: Taking taylor expansion of 0.5 in y
6.745 * [backup-simplify]: Simplify 0.5 into 0.5
6.745 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.746 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.746 * [taylor]: Taking taylor expansion of y in y
6.746 * [backup-simplify]: Simplify 0 into 0
6.746 * [backup-simplify]: Simplify 1 into 1
6.747 * [backup-simplify]: Simplify (/ (sqrt 0.5) 1) into (sqrt 0.5)
6.747 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) y) in y
6.747 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.747 * [taylor]: Taking taylor expansion of 0.5 in y
6.747 * [backup-simplify]: Simplify 0.5 into 0.5
6.747 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.747 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.747 * [taylor]: Taking taylor expansion of y in y
6.747 * [backup-simplify]: Simplify 0 into 0
6.747 * [backup-simplify]: Simplify 1 into 1
6.748 * [backup-simplify]: Simplify (/ (sqrt 0.5) 1) into (sqrt 0.5)
6.748 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.749 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)))) into 0
6.749 * [backup-simplify]: Simplify 0 into 0
6.750 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0
6.750 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.750 * [backup-simplify]: Simplify 0 into 0
6.751 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.752 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.752 * [backup-simplify]: Simplify 0 into 0
6.752 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.758 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.758 * [backup-simplify]: Simplify 0 into 0
6.758 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.759 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.759 * [backup-simplify]: Simplify 0 into 0
6.760 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.761 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.761 * [backup-simplify]: Simplify 0 into 0
6.761 * [backup-simplify]: Simplify (* (sqrt 0.5) (/ 1 y)) into (/ (sqrt 0.5) y)
6.761 * [backup-simplify]: Simplify (/ (sqrt 0.5) (/ 1 y)) into (* y (sqrt 0.5))
6.761 * [approximate]: Taking taylor expansion of (* y (sqrt 0.5)) in (y) around 0
6.761 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y
6.761 * [taylor]: Taking taylor expansion of y in y
6.761 * [backup-simplify]: Simplify 0 into 0
6.761 * [backup-simplify]: Simplify 1 into 1
6.761 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.761 * [taylor]: Taking taylor expansion of 0.5 in y
6.761 * [backup-simplify]: Simplify 0.5 into 0.5
6.762 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.762 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.762 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y
6.762 * [taylor]: Taking taylor expansion of y in y
6.762 * [backup-simplify]: Simplify 0 into 0
6.762 * [backup-simplify]: Simplify 1 into 1
6.762 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.762 * [taylor]: Taking taylor expansion of 0.5 in y
6.762 * [backup-simplify]: Simplify 0.5 into 0.5
6.763 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.763 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.763 * [backup-simplify]: Simplify (* 0 (sqrt 0.5)) into 0
6.763 * [backup-simplify]: Simplify 0 into 0
6.765 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 0.5))) into (sqrt 0.5)
6.765 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.765 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0
6.766 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 0.5)))) into 0
6.766 * [backup-simplify]: Simplify 0 into 0
6.767 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.768 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 0.5))))) into 0
6.768 * [backup-simplify]: Simplify 0 into 0
6.769 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.769 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5)))))) into 0
6.769 * [backup-simplify]: Simplify 0 into 0
6.770 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.771 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5))))))) into 0
6.771 * [backup-simplify]: Simplify 0 into 0
6.772 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.773 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5)))))))) into 0
6.773 * [backup-simplify]: Simplify 0 into 0
6.774 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.775 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5))))))))) into 0
6.775 * [backup-simplify]: Simplify 0 into 0
6.775 * [backup-simplify]: Simplify (* (sqrt 0.5) (/ 1 y)) into (/ (sqrt 0.5) y)
6.776 * [backup-simplify]: Simplify (/ (sqrt 0.5) (/ 1 (- y))) into (* -1 (* y (sqrt 0.5)))
6.776 * [approximate]: Taking taylor expansion of (* -1 (* y (sqrt 0.5))) in (y) around 0
6.776 * [taylor]: Taking taylor expansion of (* -1 (* y (sqrt 0.5))) in y
6.776 * [taylor]: Taking taylor expansion of -1 in y
6.776 * [backup-simplify]: Simplify -1 into -1
6.776 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y
6.776 * [taylor]: Taking taylor expansion of y in y
6.776 * [backup-simplify]: Simplify 0 into 0
6.776 * [backup-simplify]: Simplify 1 into 1
6.776 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.776 * [taylor]: Taking taylor expansion of 0.5 in y
6.776 * [backup-simplify]: Simplify 0.5 into 0.5
6.776 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.777 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.777 * [taylor]: Taking taylor expansion of (* -1 (* y (sqrt 0.5))) in y
6.777 * [taylor]: Taking taylor expansion of -1 in y
6.777 * [backup-simplify]: Simplify -1 into -1
6.777 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y
6.777 * [taylor]: Taking taylor expansion of y in y
6.777 * [backup-simplify]: Simplify 0 into 0
6.777 * [backup-simplify]: Simplify 1 into 1
6.777 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.777 * [taylor]: Taking taylor expansion of 0.5 in y
6.777 * [backup-simplify]: Simplify 0.5 into 0.5
6.777 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.778 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.778 * [backup-simplify]: Simplify (* 0 (sqrt 0.5)) into 0
6.778 * [backup-simplify]: Simplify (* -1 0) into 0
6.778 * [backup-simplify]: Simplify 0 into 0
6.779 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 0.5))) into (sqrt 0.5)
6.781 * [backup-simplify]: Simplify (+ (* -1 (sqrt 0.5)) (* 0 0)) into (- (sqrt 0.5))
6.781 * [backup-simplify]: Simplify (- (sqrt 0.5)) into (- (sqrt 0.5))
6.782 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0
6.782 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 0.5)))) into 0
6.783 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (sqrt 0.5)) (* 0 0))) into 0
6.783 * [backup-simplify]: Simplify 0 into 0
6.784 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.784 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 0.5))))) into 0
6.785 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (sqrt 0.5)) (* 0 0)))) into 0
6.785 * [backup-simplify]: Simplify 0 into 0
6.786 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.787 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5)))))) into 0
6.788 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sqrt 0.5)) (* 0 0))))) into 0
6.788 * [backup-simplify]: Simplify 0 into 0
6.788 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.789 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5))))))) into 0
6.790 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sqrt 0.5)) (* 0 0)))))) into 0
6.790 * [backup-simplify]: Simplify 0 into 0
6.791 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.792 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5)))))))) into 0
6.793 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sqrt 0.5)) (* 0 0))))))) into 0
6.793 * [backup-simplify]: Simplify 0 into 0
6.794 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.795 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5))))))))) into 0
6.796 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sqrt 0.5)) (* 0 0)))))))) into 0
6.796 * [backup-simplify]: Simplify 0 into 0
6.797 * [backup-simplify]: Simplify (* (- (sqrt 0.5)) (/ 1 (- y))) into (/ (sqrt 0.5) y)
6.797 * * * * [progress]: [ 2 / 2 ] generating series at (2)
6.798 * [backup-simplify]: Simplify (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (/ 0.5 x)) into (fma (sqrt 0.5) (/ (sqrt 0.5) y) (/ 0.5 x))
6.798 * [approximate]: Taking taylor expansion of (fma (sqrt 0.5) (/ (sqrt 0.5) y) (/ 0.5 x)) in (y x) around 0
6.798 * [taylor]: Taking taylor expansion of (fma (sqrt 0.5) (/ (sqrt 0.5) y) (/ 0.5 x)) in x
6.798 * [taylor]: Rewrote expression to (+ (* (sqrt 0.5) (/ (sqrt 0.5) y)) (/ 0.5 x))
6.798 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (/ (sqrt 0.5) y)) in x
6.798 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.798 * [taylor]: Taking taylor expansion of 0.5 in x
6.798 * [backup-simplify]: Simplify 0.5 into 0.5
6.798 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.799 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.799 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) y) in x
6.799 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.799 * [taylor]: Taking taylor expansion of 0.5 in x
6.799 * [backup-simplify]: Simplify 0.5 into 0.5
6.799 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.799 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.799 * [taylor]: Taking taylor expansion of y in x
6.799 * [backup-simplify]: Simplify y into y
6.800 * [backup-simplify]: Simplify (/ (sqrt 0.5) y) into (/ (sqrt 0.5) y)
6.800 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x
6.800 * [taylor]: Taking taylor expansion of 0.5 in x
6.800 * [backup-simplify]: Simplify 0.5 into 0.5
6.800 * [taylor]: Taking taylor expansion of x in x
6.800 * [backup-simplify]: Simplify 0 into 0
6.800 * [backup-simplify]: Simplify 1 into 1
6.800 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
6.800 * [taylor]: Taking taylor expansion of (fma (sqrt 0.5) (/ (sqrt 0.5) y) (/ 0.5 x)) in y
6.800 * [taylor]: Rewrote expression to (+ (* (sqrt 0.5) (/ (sqrt 0.5) y)) (/ 0.5 x))
6.800 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (/ (sqrt 0.5) y)) in y
6.800 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.800 * [taylor]: Taking taylor expansion of 0.5 in y
6.800 * [backup-simplify]: Simplify 0.5 into 0.5
6.801 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.801 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.801 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) y) in y
6.801 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.801 * [taylor]: Taking taylor expansion of 0.5 in y
6.801 * [backup-simplify]: Simplify 0.5 into 0.5
6.801 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.802 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.802 * [taylor]: Taking taylor expansion of y in y
6.802 * [backup-simplify]: Simplify 0 into 0
6.802 * [backup-simplify]: Simplify 1 into 1
6.802 * [backup-simplify]: Simplify (/ (sqrt 0.5) 1) into (sqrt 0.5)
6.802 * [taylor]: Taking taylor expansion of (/ 0.5 x) in y
6.802 * [taylor]: Taking taylor expansion of 0.5 in y
6.802 * [backup-simplify]: Simplify 0.5 into 0.5
6.802 * [taylor]: Taking taylor expansion of x in y
6.802 * [backup-simplify]: Simplify x into x
6.803 * [backup-simplify]: Simplify (/ 0.5 x) into (/ 0.5 x)
6.803 * [taylor]: Taking taylor expansion of (fma (sqrt 0.5) (/ (sqrt 0.5) y) (/ 0.5 x)) in y
6.803 * [taylor]: Rewrote expression to (+ (* (sqrt 0.5) (/ (sqrt 0.5) y)) (/ 0.5 x))
6.803 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (/ (sqrt 0.5) y)) in y
6.803 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.803 * [taylor]: Taking taylor expansion of 0.5 in y
6.803 * [backup-simplify]: Simplify 0.5 into 0.5
6.803 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.803 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.803 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) y) in y
6.803 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.803 * [taylor]: Taking taylor expansion of 0.5 in y
6.804 * [backup-simplify]: Simplify 0.5 into 0.5
6.804 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.804 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.804 * [taylor]: Taking taylor expansion of y in y
6.804 * [backup-simplify]: Simplify 0 into 0
6.804 * [backup-simplify]: Simplify 1 into 1
6.805 * [backup-simplify]: Simplify (/ (sqrt 0.5) 1) into (sqrt 0.5)
6.805 * [taylor]: Taking taylor expansion of (/ 0.5 x) in y
6.805 * [taylor]: Taking taylor expansion of 0.5 in y
6.805 * [backup-simplify]: Simplify 0.5 into 0.5
6.805 * [taylor]: Taking taylor expansion of x in y
6.805 * [backup-simplify]: Simplify x into x
6.805 * [backup-simplify]: Simplify (/ 0.5 x) into (/ 0.5 x)
6.806 * [backup-simplify]: Simplify (* (sqrt 0.5) (sqrt 0.5)) into (pow (sqrt 0.5) 2)
6.807 * [backup-simplify]: Simplify (+ (pow (sqrt 0.5) 2) 0) into (pow (sqrt 0.5) 2)
6.807 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x
6.807 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.807 * [taylor]: Taking taylor expansion of 0.5 in x
6.807 * [backup-simplify]: Simplify 0.5 into 0.5
6.807 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.807 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.808 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)))) into 0
6.808 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (* 0 (sqrt 0.5))) into 0
6.809 * [backup-simplify]: Simplify (+ 0 (/ 0.5 x)) into (* 0.5 (/ 1 x))
6.809 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
6.809 * [taylor]: Taking taylor expansion of 0.5 in x
6.809 * [backup-simplify]: Simplify 0.5 into 0.5
6.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.809 * [taylor]: Taking taylor expansion of x in x
6.809 * [backup-simplify]: Simplify 0 into 0
6.809 * [backup-simplify]: Simplify 1 into 1
6.809 * [backup-simplify]: Simplify (/ 1 1) into 1
6.809 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
6.809 * [backup-simplify]: Simplify 0.5 into 0.5
6.810 * [backup-simplify]: Simplify (* (sqrt 0.5) (sqrt 0.5)) into (pow (sqrt 0.5) 2)
6.811 * [backup-simplify]: Simplify (pow (sqrt 0.5) 2) into (pow (sqrt 0.5) 2)
6.811 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0
6.812 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.812 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0
6.813 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (+ (* 0 0) (* 0 (sqrt 0.5)))) into 0
6.813 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 0.5 x) (/ 0 x)))) into 0
6.813 * [backup-simplify]: Simplify (+ 0 0) into 0
6.813 * [taylor]: Taking taylor expansion of 0 in x
6.813 * [backup-simplify]: Simplify 0 into 0
6.814 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.814 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
6.814 * [backup-simplify]: Simplify 0 into 0
6.815 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (* 0 (sqrt 0.5))) into 0
6.815 * [backup-simplify]: Simplify 0 into 0
6.816 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.816 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.817 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.818 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5))))) into 0
6.818 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 0.5 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.818 * [backup-simplify]: Simplify (+ 0 0) into 0
6.818 * [taylor]: Taking taylor expansion of 0 in x
6.818 * [backup-simplify]: Simplify 0 into 0
6.818 * [backup-simplify]: Simplify 0 into 0
6.819 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.819 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
6.819 * [backup-simplify]: Simplify 0 into 0
6.820 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0
6.820 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (+ (* 0 0) (* 0 (sqrt 0.5)))) into 0
6.820 * [backup-simplify]: Simplify 0 into 0
6.821 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.822 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.823 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.823 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5)))))) into 0
6.824 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 0.5 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.824 * [backup-simplify]: Simplify (+ 0 0) into 0
6.824 * [taylor]: Taking taylor expansion of 0 in x
6.824 * [backup-simplify]: Simplify 0 into 0
6.824 * [backup-simplify]: Simplify 0 into 0
6.825 * [backup-simplify]: Simplify (+ (* (pow (sqrt 0.5) 2) (* 1 (/ 1 y))) (* 0.5 (* (/ 1 x) 1))) into (+ (/ (pow (sqrt 0.5) 2) y) (* 0.5 (/ 1 x)))
6.826 * [backup-simplify]: Simplify (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) (/ 1 y)) (/ 0.5 (/ 1 x))) into (fma (sqrt 0.5) (* y (sqrt 0.5)) (* 0.5 x))
6.826 * [approximate]: Taking taylor expansion of (fma (sqrt 0.5) (* y (sqrt 0.5)) (* 0.5 x)) in (y x) around 0
6.826 * [taylor]: Taking taylor expansion of (fma (sqrt 0.5) (* y (sqrt 0.5)) (* 0.5 x)) in x
6.826 * [taylor]: Rewrote expression to (+ (* (sqrt 0.5) (* y (sqrt 0.5))) (* 0.5 x))
6.826 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (* y (sqrt 0.5))) in x
6.826 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.826 * [taylor]: Taking taylor expansion of 0.5 in x
6.826 * [backup-simplify]: Simplify 0.5 into 0.5
6.826 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.827 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.827 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in x
6.827 * [taylor]: Taking taylor expansion of y in x
6.827 * [backup-simplify]: Simplify y into y
6.827 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.827 * [taylor]: Taking taylor expansion of 0.5 in x
6.827 * [backup-simplify]: Simplify 0.5 into 0.5
6.827 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.828 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.828 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
6.828 * [taylor]: Taking taylor expansion of 0.5 in x
6.828 * [backup-simplify]: Simplify 0.5 into 0.5
6.828 * [taylor]: Taking taylor expansion of x in x
6.828 * [backup-simplify]: Simplify 0 into 0
6.828 * [backup-simplify]: Simplify 1 into 1
6.828 * [taylor]: Taking taylor expansion of (fma (sqrt 0.5) (* y (sqrt 0.5)) (* 0.5 x)) in y
6.828 * [taylor]: Rewrote expression to (+ (* (sqrt 0.5) (* y (sqrt 0.5))) (* 0.5 x))
6.828 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (* y (sqrt 0.5))) in y
6.828 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.828 * [taylor]: Taking taylor expansion of 0.5 in y
6.828 * [backup-simplify]: Simplify 0.5 into 0.5
6.828 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.829 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.829 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y
6.829 * [taylor]: Taking taylor expansion of y in y
6.829 * [backup-simplify]: Simplify 0 into 0
6.829 * [backup-simplify]: Simplify 1 into 1
6.829 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.829 * [taylor]: Taking taylor expansion of 0.5 in y
6.829 * [backup-simplify]: Simplify 0.5 into 0.5
6.829 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.829 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.829 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
6.829 * [taylor]: Taking taylor expansion of 0.5 in y
6.829 * [backup-simplify]: Simplify 0.5 into 0.5
6.829 * [taylor]: Taking taylor expansion of x in y
6.829 * [backup-simplify]: Simplify x into x
6.829 * [taylor]: Taking taylor expansion of (fma (sqrt 0.5) (* y (sqrt 0.5)) (* 0.5 x)) in y
6.830 * [taylor]: Rewrote expression to (+ (* (sqrt 0.5) (* y (sqrt 0.5))) (* 0.5 x))
6.830 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (* y (sqrt 0.5))) in y
6.830 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.830 * [taylor]: Taking taylor expansion of 0.5 in y
6.830 * [backup-simplify]: Simplify 0.5 into 0.5
6.830 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.830 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.830 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y
6.830 * [taylor]: Taking taylor expansion of y in y
6.830 * [backup-simplify]: Simplify 0 into 0
6.830 * [backup-simplify]: Simplify 1 into 1
6.830 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.830 * [taylor]: Taking taylor expansion of 0.5 in y
6.831 * [backup-simplify]: Simplify 0.5 into 0.5
6.831 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.831 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.831 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
6.831 * [taylor]: Taking taylor expansion of 0.5 in y
6.831 * [backup-simplify]: Simplify 0.5 into 0.5
6.831 * [taylor]: Taking taylor expansion of x in y
6.831 * [backup-simplify]: Simplify x into x
6.832 * [backup-simplify]: Simplify (* 0 (sqrt 0.5)) into 0
6.832 * [backup-simplify]: Simplify (* (sqrt 0.5) 0) into 0
6.832 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x)
6.832 * [backup-simplify]: Simplify (+ 0 (* 0.5 x)) into (* 0.5 x)
6.832 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
6.832 * [taylor]: Taking taylor expansion of 0.5 in x
6.832 * [backup-simplify]: Simplify 0.5 into 0.5
6.832 * [taylor]: Taking taylor expansion of x in x
6.832 * [backup-simplify]: Simplify 0 into 0
6.832 * [backup-simplify]: Simplify 1 into 1
6.832 * [backup-simplify]: Simplify (* 0.5 0) into 0
6.832 * [backup-simplify]: Simplify 0 into 0
6.834 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 0.5))) into (sqrt 0.5)
6.835 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) (sqrt 0.5)) (* 0 0)) into (pow (sqrt 0.5) 2)
6.835 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 x)) into 0
6.836 * [backup-simplify]: Simplify (+ (pow (sqrt 0.5) 2) 0) into (pow (sqrt 0.5) 2)
6.836 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x
6.836 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.836 * [taylor]: Taking taylor expansion of 0.5 in x
6.836 * [backup-simplify]: Simplify 0.5 into 0.5
6.837 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.837 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.838 * [backup-simplify]: Simplify (* (sqrt 0.5) (sqrt 0.5)) into (pow (sqrt 0.5) 2)
6.838 * [backup-simplify]: Simplify (pow (sqrt 0.5) 2) into (pow (sqrt 0.5) 2)
6.839 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
6.839 * [backup-simplify]: Simplify 0.5 into 0.5
6.840 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0
6.841 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 0.5)))) into 0
6.841 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0
6.842 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (+ (* 0 (sqrt 0.5)) (* 0 0))) into 0
6.842 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 x))) into 0
6.843 * [backup-simplify]: Simplify (+ 0 0) into 0
6.843 * [taylor]: Taking taylor expansion of 0 in x
6.843 * [backup-simplify]: Simplify 0 into 0
6.843 * [backup-simplify]: Simplify 0 into 0
6.846 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (* 0 (sqrt 0.5))) into 0
6.846 * [backup-simplify]: Simplify 0 into 0
6.847 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
6.847 * [backup-simplify]: Simplify 0 into 0
6.848 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.849 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 0.5))))) into 0
6.849 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.850 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (+ (* 0 0) (+ (* 0 (sqrt 0.5)) (* 0 0)))) into 0
6.851 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
6.851 * [backup-simplify]: Simplify (+ 0 0) into 0
6.851 * [taylor]: Taking taylor expansion of 0 in x
6.851 * [backup-simplify]: Simplify 0 into 0
6.851 * [backup-simplify]: Simplify 0 into 0
6.851 * [backup-simplify]: Simplify 0 into 0
6.852 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0
6.852 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (+ (* 0 0) (* 0 (sqrt 0.5)))) into 0
6.852 * [backup-simplify]: Simplify 0 into 0
6.853 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 x) 1)) (* (pow (sqrt 0.5) 2) (* 1 (/ 1 y)))) into (+ (/ (pow (sqrt 0.5) 2) y) (* 0.5 (/ 1 x)))
6.854 * [backup-simplify]: Simplify (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) (/ 1 (- y))) (/ 0.5 (/ 1 (- x)))) into (fma (sqrt 0.5) (* -1 (* y (sqrt 0.5))) (* -0.5 x))
6.854 * [approximate]: Taking taylor expansion of (fma (sqrt 0.5) (* -1 (* y (sqrt 0.5))) (* -0.5 x)) in (y x) around 0
6.854 * [taylor]: Taking taylor expansion of (fma (sqrt 0.5) (* -1 (* y (sqrt 0.5))) (* -0.5 x)) in x
6.854 * [taylor]: Rewrote expression to (+ (* (sqrt 0.5) (* -1 (* y (sqrt 0.5)))) (* -0.5 x))
6.854 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (* -1 (* y (sqrt 0.5)))) in x
6.854 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.854 * [taylor]: Taking taylor expansion of 0.5 in x
6.854 * [backup-simplify]: Simplify 0.5 into 0.5
6.854 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.855 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.855 * [taylor]: Taking taylor expansion of (* -1 (* y (sqrt 0.5))) in x
6.855 * [taylor]: Taking taylor expansion of -1 in x
6.855 * [backup-simplify]: Simplify -1 into -1
6.855 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in x
6.855 * [taylor]: Taking taylor expansion of y in x
6.855 * [backup-simplify]: Simplify y into y
6.855 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.855 * [taylor]: Taking taylor expansion of 0.5 in x
6.855 * [backup-simplify]: Simplify 0.5 into 0.5
6.855 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.856 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.856 * [taylor]: Taking taylor expansion of (* -0.5 x) in x
6.856 * [taylor]: Taking taylor expansion of -0.5 in x
6.856 * [backup-simplify]: Simplify -0.5 into -0.5
6.856 * [taylor]: Taking taylor expansion of x in x
6.856 * [backup-simplify]: Simplify 0 into 0
6.856 * [backup-simplify]: Simplify 1 into 1
6.856 * [taylor]: Taking taylor expansion of (fma (sqrt 0.5) (* -1 (* y (sqrt 0.5))) (* -0.5 x)) in y
6.856 * [taylor]: Rewrote expression to (+ (* (sqrt 0.5) (* -1 (* y (sqrt 0.5)))) (* -0.5 x))
6.856 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (* -1 (* y (sqrt 0.5)))) in y
6.856 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.856 * [taylor]: Taking taylor expansion of 0.5 in y
6.856 * [backup-simplify]: Simplify 0.5 into 0.5
6.856 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.857 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.857 * [taylor]: Taking taylor expansion of (* -1 (* y (sqrt 0.5))) in y
6.857 * [taylor]: Taking taylor expansion of -1 in y
6.857 * [backup-simplify]: Simplify -1 into -1
6.857 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y
6.857 * [taylor]: Taking taylor expansion of y in y
6.857 * [backup-simplify]: Simplify 0 into 0
6.857 * [backup-simplify]: Simplify 1 into 1
6.857 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.857 * [taylor]: Taking taylor expansion of 0.5 in y
6.857 * [backup-simplify]: Simplify 0.5 into 0.5
6.857 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.858 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.858 * [taylor]: Taking taylor expansion of (* -0.5 x) in y
6.858 * [taylor]: Taking taylor expansion of -0.5 in y
6.858 * [backup-simplify]: Simplify -0.5 into -0.5
6.858 * [taylor]: Taking taylor expansion of x in y
6.858 * [backup-simplify]: Simplify x into x
6.858 * [taylor]: Taking taylor expansion of (fma (sqrt 0.5) (* -1 (* y (sqrt 0.5))) (* -0.5 x)) in y
6.858 * [taylor]: Rewrote expression to (+ (* (sqrt 0.5) (* -1 (* y (sqrt 0.5)))) (* -0.5 x))
6.858 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (* -1 (* y (sqrt 0.5)))) in y
6.858 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.858 * [taylor]: Taking taylor expansion of 0.5 in y
6.858 * [backup-simplify]: Simplify 0.5 into 0.5
6.858 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.859 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.859 * [taylor]: Taking taylor expansion of (* -1 (* y (sqrt 0.5))) in y
6.859 * [taylor]: Taking taylor expansion of -1 in y
6.859 * [backup-simplify]: Simplify -1 into -1
6.859 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y
6.859 * [taylor]: Taking taylor expansion of y in y
6.859 * [backup-simplify]: Simplify 0 into 0
6.859 * [backup-simplify]: Simplify 1 into 1
6.859 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y
6.859 * [taylor]: Taking taylor expansion of 0.5 in y
6.859 * [backup-simplify]: Simplify 0.5 into 0.5
6.859 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.859 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.859 * [taylor]: Taking taylor expansion of (* -0.5 x) in y
6.859 * [taylor]: Taking taylor expansion of -0.5 in y
6.859 * [backup-simplify]: Simplify -0.5 into -0.5
6.859 * [taylor]: Taking taylor expansion of x in y
6.859 * [backup-simplify]: Simplify x into x
6.860 * [backup-simplify]: Simplify (* 0 (sqrt 0.5)) into 0
6.860 * [backup-simplify]: Simplify (* -1 0) into 0
6.860 * [backup-simplify]: Simplify (* (sqrt 0.5) 0) into 0
6.860 * [backup-simplify]: Simplify (* -0.5 x) into (* -0.5 x)
6.861 * [backup-simplify]: Simplify (+ 0 (* -0.5 x)) into (- (* 0.5 x))
6.861 * [taylor]: Taking taylor expansion of (- (* 0.5 x)) in x
6.861 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
6.861 * [taylor]: Taking taylor expansion of 0.5 in x
6.861 * [backup-simplify]: Simplify 0.5 into 0.5
6.861 * [taylor]: Taking taylor expansion of x in x
6.861 * [backup-simplify]: Simplify 0 into 0
6.861 * [backup-simplify]: Simplify 1 into 1
6.861 * [backup-simplify]: Simplify (* 0.5 0) into 0
6.861 * [backup-simplify]: Simplify (- 0) into 0
6.861 * [backup-simplify]: Simplify 0 into 0
6.862 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 0.5))) into (sqrt 0.5)
6.864 * [backup-simplify]: Simplify (+ (* -1 (sqrt 0.5)) (* 0 0)) into (- (sqrt 0.5))
6.865 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) (- (sqrt 0.5))) (* 0 0)) into (- (pow (sqrt 0.5) 2))
6.866 * [backup-simplify]: Simplify (+ (* -0.5 0) (* 0 x)) into 0
6.867 * [backup-simplify]: Simplify (+ (- (pow (sqrt 0.5) 2)) 0) into (- (pow (sqrt 0.5) 2))
6.867 * [taylor]: Taking taylor expansion of (- (pow (sqrt 0.5) 2)) in x
6.867 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x
6.867 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x
6.867 * [taylor]: Taking taylor expansion of 0.5 in x
6.867 * [backup-simplify]: Simplify 0.5 into 0.5
6.867 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5)
6.868 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0
6.869 * [backup-simplify]: Simplify (* (sqrt 0.5) (sqrt 0.5)) into (pow (sqrt 0.5) 2)
6.869 * [backup-simplify]: Simplify (- (pow (sqrt 0.5) 2)) into (- (pow (sqrt 0.5) 2))
6.870 * [backup-simplify]: Simplify (- (pow (sqrt 0.5) 2)) into (- (pow (sqrt 0.5) 2))
6.871 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
6.871 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
6.872 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
6.872 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0
6.873 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 0.5)))) into 0
6.874 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (sqrt 0.5)) (* 0 0))) into 0
6.874 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0
6.875 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (+ (* 0 (- (sqrt 0.5))) (* 0 0))) into 0
6.875 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (* 0 x))) into 0
6.876 * [backup-simplify]: Simplify (+ 0 0) into 0
6.876 * [taylor]: Taking taylor expansion of 0 in x
6.876 * [backup-simplify]: Simplify 0 into 0
6.876 * [backup-simplify]: Simplify 0 into 0
6.876 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (* 0 (sqrt 0.5))) into 0
6.876 * [backup-simplify]: Simplify (- 0) into 0
6.876 * [backup-simplify]: Simplify 0 into 0
6.877 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
6.877 * [backup-simplify]: Simplify (- 0) into 0
6.878 * [backup-simplify]: Simplify 0 into 0
6.878 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.879 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 0.5))))) into 0
6.880 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (sqrt 0.5)) (* 0 0)))) into 0
6.880 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0
6.881 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (+ (* 0 0) (+ (* 0 (- (sqrt 0.5))) (* 0 0)))) into 0
6.882 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
6.882 * [backup-simplify]: Simplify (+ 0 0) into 0
6.882 * [taylor]: Taking taylor expansion of 0 in x
6.882 * [backup-simplify]: Simplify 0 into 0
6.882 * [backup-simplify]: Simplify 0 into 0
6.882 * [backup-simplify]: Simplify 0 into 0
6.883 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0
6.883 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (+ (* 0 0) (* 0 (sqrt 0.5)))) into 0
6.884 * [backup-simplify]: Simplify (- 0) into 0
6.884 * [backup-simplify]: Simplify 0 into 0
6.885 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- x)) 1)) (* (- (pow (sqrt 0.5) 2)) (* 1 (/ 1 (- y))))) into (+ (/ (pow (sqrt 0.5) 2) y) (* 0.5 (/ 1 x)))
6.885 * * * [progress]: simplifying candidates
6.886 * [simplify]: Simplifying:
  (expm1 (/ (sqrt 0.5) y))
  (log1p (/ (sqrt 0.5) y))
  (- (log (sqrt 0.5)) (log y))
  (log (/ (sqrt 0.5) y))
  (exp (/ (sqrt 0.5) y))
  (/ (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5)) (* (* y y) y))
  (* (cbrt (/ (sqrt 0.5) y)) (cbrt (/ (sqrt 0.5) y)))
  (cbrt (/ (sqrt 0.5) y))
  (* (* (/ (sqrt 0.5) y) (/ (sqrt 0.5) y)) (/ (sqrt 0.5) y))
  (sqrt (/ (sqrt 0.5) y))
  (sqrt (/ (sqrt 0.5) y))
  (- (sqrt 0.5))
  (- y)
  (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (sqrt 0.5)) (cbrt y))
  (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (sqrt y))
  (/ (cbrt (sqrt 0.5)) (sqrt y))
  (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) 1)
  (/ (cbrt (sqrt 0.5)) y)
  (/ (sqrt (* (cbrt 0.5) (cbrt 0.5))) (* (cbrt y) (cbrt y)))
  (/ (sqrt (cbrt 0.5)) (cbrt y))
  (/ (sqrt (* (cbrt 0.5) (cbrt 0.5))) (sqrt y))
  (/ (sqrt (cbrt 0.5)) (sqrt y))
  (/ (sqrt (* (cbrt 0.5) (cbrt 0.5))) 1)
  (/ (sqrt (cbrt 0.5)) y)
  (/ (sqrt (sqrt 0.5)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (sqrt 0.5)) (cbrt y))
  (/ (sqrt (sqrt 0.5)) (sqrt y))
  (/ (sqrt (sqrt 0.5)) (sqrt y))
  (/ (sqrt (sqrt 0.5)) 1)
  (/ (sqrt (sqrt 0.5)) y)
  (/ (sqrt 1) (* (cbrt y) (cbrt y)))
  (/ (sqrt 0.5) (cbrt y))
  (/ (sqrt 1) (sqrt y))
  (/ (sqrt 0.5) (sqrt y))
  (/ (sqrt 1) 1)
  (/ (sqrt 0.5) y)
  (/ (sqrt (sqrt 0.5)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (sqrt 0.5)) (cbrt y))
  (/ (sqrt (sqrt 0.5)) (sqrt y))
  (/ (sqrt (sqrt 0.5)) (sqrt y))
  (/ (sqrt (sqrt 0.5)) 1)
  (/ (sqrt (sqrt 0.5)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (sqrt 0.5) (cbrt y))
  (/ 1 (sqrt y))
  (/ (sqrt 0.5) (sqrt y))
  (/ 1 1)
  (/ (sqrt 0.5) y)
  (/ 1 y)
  (/ y (sqrt 0.5))
  (/ (sqrt 0.5) (* (cbrt y) (cbrt y)))
  (/ (sqrt 0.5) (sqrt y))
  (/ (sqrt 0.5) 1)
  (/ y (cbrt (sqrt 0.5)))
  (/ y (sqrt (cbrt 0.5)))
  (/ y (sqrt (sqrt 0.5)))
  (/ y (sqrt 0.5))
  (/ y (sqrt (sqrt 0.5)))
  (/ y (sqrt 0.5))
  (expm1 (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (/ 0.5 x)))
  (log1p (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (/ 0.5 x)))
  (* (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y))
  (log (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (/ 0.5 x)))
  (exp (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (/ 0.5 x)))
  (* (cbrt (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (/ 0.5 x))) (cbrt (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (/ 0.5 x))))
  (cbrt (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (/ 0.5 x)))
  (* (* (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (/ 0.5 x)) (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (/ 0.5 x))) (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (/ 0.5 x)))
  (sqrt (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (/ 0.5 x)))
  (sqrt (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (/ 0.5 x)))
  (/ (sqrt 0.5) y)
  (/ (sqrt 0.5) y)
  (/ (sqrt 0.5) y)
  (+ (/ (pow (sqrt 0.5) 2) y) (* 0.5 (/ 1 x)))
  (+ (/ (pow (sqrt 0.5) 2) y) (* 0.5 (/ 1 x)))
  (+ (/ (pow (sqrt 0.5) 2) y) (* 0.5 (/ 1 x)))
6.887 * * [simplify]: Extracting # 0 : cost  0
6.887 * * [simplify]: Extracting # 1 : cost  0
6.887 * * [simplify]: Extracting # 2 : cost  0
6.887 * * [simplify]: Extracting # 3 : cost  0
6.887 * * [simplify]: Extracting # 4 : cost  0
6.887 * * [simplify]: Extracting # 5 : cost  0
6.888 * * [simplify]: Extracting # 6 : cost  0
6.888 * * [simplify]: iteration  0 :  86  enodes  (cost  578 )
6.905 * * [simplify]: Extracting # 0 : cost  0
6.905 * * [simplify]: Extracting # 1 : cost  0
6.905 * * [simplify]: Extracting # 2 : cost  0
6.905 * * [simplify]: Extracting # 3 : cost  0
6.905 * * [simplify]: iteration  1 :  132  enodes  (cost  468 )
6.934 * * [simplify]: Extracting # 0 : cost  0
6.934 * * [simplify]: Extracting # 1 : cost  0
6.935 * * [simplify]: Extracting # 2 : cost  0
6.935 * * [simplify]: Extracting # 3 : cost  0
6.935 * * [simplify]: Extracting # 4 : cost  0
6.936 * * [simplify]: iteration  2 :  255  enodes  (cost  440 )
7.033 * * [simplify]: Extracting # 0 : cost  0
7.034 * * [simplify]: Extracting # 1 : cost  0
7.034 * * [simplify]: Extracting # 2 : cost  0
7.035 * * [simplify]: Extracting # 3 : cost  0
7.036 * * [simplify]: Extracting # 4 : cost  0
7.037 * * [simplify]: iteration  3 :  600  enodes  (cost  440 )
7.514 * * [simplify]: Extracting # 0 : cost  0
7.517 * * [simplify]: Extracting # 1 : cost  0
7.520 * * [simplify]: Extracting # 2 : cost  0
7.521 * * [simplify]: Extracting # 3 : cost  0
7.523 * * [simplify]: Extracting # 4 : cost  0
7.525 * * [simplify]: iteration  4 :  2111  enodes  (cost  440 )
9.004 * * [simplify]: Extracting # 0 : cost  0
9.013 * * [simplify]: Extracting # 1 : cost  0
9.023 * * [simplify]: Extracting # 2 : cost  0
9.033 * * [simplify]: iteration done:  5001  enodes  (cost  440 )
9.034 * [simplify]: Simplified to:
  (expm1 (/ (sqrt 0.5) y))
  (log1p (/ (sqrt 0.5) y))
  (log (/ (sqrt 0.5) y))
  (log (/ (sqrt 0.5) y))
  (exp (/ (sqrt 0.5) y))
  (pow (/ (sqrt 0.5) y) 3)
  (* (cbrt (/ (sqrt 0.5) y)) (cbrt (/ (sqrt 0.5) y)))
  (cbrt (/ (sqrt 0.5) y))
  (pow (/ (sqrt 0.5) y) 3)
  (sqrt (/ (sqrt 0.5) y))
  (sqrt (/ (sqrt 0.5) y))
  (- (sqrt 0.5))
  (- y)
  (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (sqrt 0.5)) (cbrt y))
  (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (sqrt y))
  (/ (cbrt (sqrt 0.5)) (sqrt y))
  (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5)))
  (/ (cbrt (sqrt 0.5)) y)
  (/ (fabs (cbrt 0.5)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (cbrt 0.5)) (cbrt y))
  (/ (fabs (cbrt 0.5)) (sqrt y))
  (/ (sqrt (cbrt 0.5)) (sqrt y))
  (fabs (cbrt 0.5))
  (/ (sqrt (cbrt 0.5)) y)
  (/ (sqrt (sqrt 0.5)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (sqrt 0.5)) (cbrt y))
  (/ (sqrt (sqrt 0.5)) (sqrt y))
  (/ (sqrt (sqrt 0.5)) (sqrt y))
  (sqrt (sqrt 0.5))
  (/ (sqrt (sqrt 0.5)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (sqrt 0.5) (cbrt y))
  (/ 1 (sqrt y))
  (/ (sqrt 0.5) (sqrt y))
  1
  (/ (sqrt 0.5) y)
  (/ (sqrt (sqrt 0.5)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (sqrt 0.5)) (cbrt y))
  (/ (sqrt (sqrt 0.5)) (sqrt y))
  (/ (sqrt (sqrt 0.5)) (sqrt y))
  (sqrt (sqrt 0.5))
  (/ (sqrt (sqrt 0.5)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (sqrt 0.5) (cbrt y))
  (/ 1 (sqrt y))
  (/ (sqrt 0.5) (sqrt y))
  1
  (/ (sqrt 0.5) y)
  (/ 1 y)
  (/ y (sqrt 0.5))
  (/ (sqrt 0.5) (* (cbrt y) (cbrt y)))
  (/ (sqrt 0.5) (sqrt y))
  (sqrt 0.5)
  (/ y (cbrt (sqrt 0.5)))
  (/ y (sqrt (cbrt 0.5)))
  (/ y (sqrt (sqrt 0.5)))
  (/ y (sqrt 0.5))
  (/ y (sqrt (sqrt 0.5)))
  (/ y (sqrt 0.5))
  (expm1 (+ (/ 0.5 y) (/ 0.5 x)))
  (log1p (+ (/ 0.5 y) (/ 0.5 x)))
  (/ 0.5 y)
  (log (+ (/ 0.5 y) (/ 0.5 x)))
  (exp (+ (/ 0.5 y) (/ 0.5 x)))
  (* (cbrt (+ (/ 0.5 y) (/ 0.5 x))) (cbrt (+ (/ 0.5 y) (/ 0.5 x))))
  (cbrt (+ (/ 0.5 y) (/ 0.5 x)))
  (pow (+ (/ 0.5 y) (/ 0.5 x)) 3)
  (sqrt (+ (/ 0.5 y) (/ 0.5 x)))
  (sqrt (+ (/ 0.5 y) (/ 0.5 x)))
  (/ (sqrt 0.5) y)
  (/ (sqrt 0.5) y)
  (/ (sqrt 0.5) y)
  (+ (/ 0.5 y) (/ 0.5 x))
  (+ (/ 0.5 y) (/ 0.5 x))
  (+ (/ 0.5 y) (/ 0.5 x))
9.035 * * * [progress]: adding candidates to table
9.182 * * [progress]: iteration 4 / 4
9.182 * * * [progress]: picking best candidate
9.184 * * * * [pick]: Picked  #<alt (λ (x y) (/ (/ (+ x y) (* x 2.0)) y))>
9.185 * * * [progress]: localizing error
9.191 * * * [progress]: generating rewritten candidates
9.192 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
9.223 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
9.253 * * * [progress]: generating series expansions
9.253 * * * * [progress]: [ 1 / 2 ] generating series at (2)
9.254 * [backup-simplify]: Simplify (/ (/ (+ x y) (* x 2.0)) y) into (* 0.5 (/ (+ x y) (* x y)))
9.254 * [approximate]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in (x y) around 0
9.254 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in y
9.254 * [taylor]: Taking taylor expansion of 0.5 in y
9.254 * [backup-simplify]: Simplify 0.5 into 0.5
9.254 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in y
9.254 * [taylor]: Taking taylor expansion of (+ x y) in y
9.254 * [taylor]: Taking taylor expansion of x in y
9.254 * [backup-simplify]: Simplify x into x
9.254 * [taylor]: Taking taylor expansion of y in y
9.254 * [backup-simplify]: Simplify 0 into 0
9.254 * [backup-simplify]: Simplify 1 into 1
9.254 * [taylor]: Taking taylor expansion of (* x y) in y
9.254 * [taylor]: Taking taylor expansion of x in y
9.254 * [backup-simplify]: Simplify x into x
9.254 * [taylor]: Taking taylor expansion of y in y
9.254 * [backup-simplify]: Simplify 0 into 0
9.254 * [backup-simplify]: Simplify 1 into 1
9.254 * [backup-simplify]: Simplify (+ x 0) into x
9.254 * [backup-simplify]: Simplify (* x 0) into 0
9.255 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.255 * [backup-simplify]: Simplify (/ x x) into 1
9.255 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in x
9.255 * [taylor]: Taking taylor expansion of 0.5 in x
9.255 * [backup-simplify]: Simplify 0.5 into 0.5
9.255 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in x
9.255 * [taylor]: Taking taylor expansion of (+ x y) in x
9.255 * [taylor]: Taking taylor expansion of x in x
9.255 * [backup-simplify]: Simplify 0 into 0
9.255 * [backup-simplify]: Simplify 1 into 1
9.255 * [taylor]: Taking taylor expansion of y in x
9.255 * [backup-simplify]: Simplify y into y
9.255 * [taylor]: Taking taylor expansion of (* x y) in x
9.255 * [taylor]: Taking taylor expansion of x in x
9.255 * [backup-simplify]: Simplify 0 into 0
9.255 * [backup-simplify]: Simplify 1 into 1
9.255 * [taylor]: Taking taylor expansion of y in x
9.255 * [backup-simplify]: Simplify y into y
9.255 * [backup-simplify]: Simplify (+ 0 y) into y
9.255 * [backup-simplify]: Simplify (* 0 y) into 0
9.255 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.255 * [backup-simplify]: Simplify (/ y y) into 1
9.255 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in x
9.255 * [taylor]: Taking taylor expansion of 0.5 in x
9.255 * [backup-simplify]: Simplify 0.5 into 0.5
9.255 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in x
9.255 * [taylor]: Taking taylor expansion of (+ x y) in x
9.255 * [taylor]: Taking taylor expansion of x in x
9.255 * [backup-simplify]: Simplify 0 into 0
9.255 * [backup-simplify]: Simplify 1 into 1
9.255 * [taylor]: Taking taylor expansion of y in x
9.255 * [backup-simplify]: Simplify y into y
9.255 * [taylor]: Taking taylor expansion of (* x y) in x
9.255 * [taylor]: Taking taylor expansion of x in x
9.255 * [backup-simplify]: Simplify 0 into 0
9.255 * [backup-simplify]: Simplify 1 into 1
9.255 * [taylor]: Taking taylor expansion of y in x
9.255 * [backup-simplify]: Simplify y into y
9.256 * [backup-simplify]: Simplify (+ 0 y) into y
9.256 * [backup-simplify]: Simplify (* 0 y) into 0
9.256 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.256 * [backup-simplify]: Simplify (/ y y) into 1
9.256 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
9.256 * [taylor]: Taking taylor expansion of 0.5 in y
9.256 * [backup-simplify]: Simplify 0.5 into 0.5
9.257 * [backup-simplify]: Simplify (+ 1 0) into 1
9.257 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
9.257 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* 1 (/ 0 y)))) into (/ 1 y)
9.257 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (* 0 1)) into (* 0.5 (/ 1 y))
9.257 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
9.257 * [taylor]: Taking taylor expansion of 0.5 in y
9.257 * [backup-simplify]: Simplify 0.5 into 0.5
9.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.258 * [taylor]: Taking taylor expansion of y in y
9.258 * [backup-simplify]: Simplify 0 into 0
9.258 * [backup-simplify]: Simplify 1 into 1
9.258 * [backup-simplify]: Simplify (/ 1 1) into 1
9.258 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
9.258 * [backup-simplify]: Simplify 0.5 into 0.5
9.258 * [backup-simplify]: Simplify 0.5 into 0.5
9.258 * [backup-simplify]: Simplify (+ 0 0) into 0
9.259 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
9.259 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0
9.260 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
9.260 * [taylor]: Taking taylor expansion of 0 in y
9.260 * [backup-simplify]: Simplify 0 into 0
9.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.261 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
9.261 * [backup-simplify]: Simplify 0 into 0
9.261 * [backup-simplify]: Simplify 0 into 0
9.261 * [backup-simplify]: Simplify (+ 0 0) into 0
9.262 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
9.262 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.263 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
9.263 * [taylor]: Taking taylor expansion of 0 in y
9.263 * [backup-simplify]: Simplify 0 into 0
9.263 * [backup-simplify]: Simplify 0 into 0
9.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.264 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
9.264 * [backup-simplify]: Simplify 0 into 0
9.264 * [backup-simplify]: Simplify 0 into 0
9.264 * [backup-simplify]: Simplify (+ 0 0) into 0
9.265 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
9.265 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.266 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0
9.266 * [taylor]: Taking taylor expansion of 0 in y
9.266 * [backup-simplify]: Simplify 0 into 0
9.266 * [backup-simplify]: Simplify 0 into 0
9.267 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
9.267 * [backup-simplify]: Simplify (/ (/ (+ (/ 1 x) (/ 1 y)) (* (/ 1 x) 2.0)) (/ 1 y)) into (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x)))
9.267 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in (x y) around 0
9.267 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in y
9.267 * [taylor]: Taking taylor expansion of 0.5 in y
9.267 * [backup-simplify]: Simplify 0.5 into 0.5
9.267 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in y
9.267 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
9.267 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.267 * [taylor]: Taking taylor expansion of y in y
9.267 * [backup-simplify]: Simplify 0 into 0
9.267 * [backup-simplify]: Simplify 1 into 1
9.267 * [backup-simplify]: Simplify (/ 1 1) into 1
9.267 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.267 * [taylor]: Taking taylor expansion of x in y
9.267 * [backup-simplify]: Simplify x into x
9.267 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.267 * [taylor]: Taking taylor expansion of (* y x) in y
9.267 * [taylor]: Taking taylor expansion of y in y
9.267 * [backup-simplify]: Simplify 0 into 0
9.267 * [backup-simplify]: Simplify 1 into 1
9.267 * [taylor]: Taking taylor expansion of x in y
9.267 * [backup-simplify]: Simplify x into x
9.267 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x
9.267 * [taylor]: Taking taylor expansion of 0.5 in x
9.267 * [backup-simplify]: Simplify 0.5 into 0.5
9.267 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x
9.268 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
9.268 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.268 * [taylor]: Taking taylor expansion of y in x
9.268 * [backup-simplify]: Simplify y into y
9.268 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.268 * [taylor]: Taking taylor expansion of x in x
9.268 * [backup-simplify]: Simplify 0 into 0
9.268 * [backup-simplify]: Simplify 1 into 1
9.268 * [backup-simplify]: Simplify (/ 1 1) into 1
9.268 * [taylor]: Taking taylor expansion of (* y x) in x
9.268 * [taylor]: Taking taylor expansion of y in x
9.268 * [backup-simplify]: Simplify y into y
9.268 * [taylor]: Taking taylor expansion of x in x
9.268 * [backup-simplify]: Simplify 0 into 0
9.268 * [backup-simplify]: Simplify 1 into 1
9.268 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x
9.268 * [taylor]: Taking taylor expansion of 0.5 in x
9.268 * [backup-simplify]: Simplify 0.5 into 0.5
9.268 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x
9.268 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
9.268 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.268 * [taylor]: Taking taylor expansion of y in x
9.268 * [backup-simplify]: Simplify y into y
9.268 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.268 * [taylor]: Taking taylor expansion of x in x
9.268 * [backup-simplify]: Simplify 0 into 0
9.268 * [backup-simplify]: Simplify 1 into 1
9.268 * [backup-simplify]: Simplify (/ 1 1) into 1
9.268 * [taylor]: Taking taylor expansion of (* y x) in x
9.269 * [taylor]: Taking taylor expansion of y in x
9.269 * [backup-simplify]: Simplify y into y
9.269 * [taylor]: Taking taylor expansion of x in x
9.269 * [backup-simplify]: Simplify 0 into 0
9.269 * [backup-simplify]: Simplify 1 into 1
9.269 * [backup-simplify]: Simplify (+ 0 1) into 1
9.269 * [backup-simplify]: Simplify (* y 0) into 0
9.269 * [backup-simplify]: Simplify (* 1 0) into 0
9.269 * [backup-simplify]: Simplify (* 0.5 0) into 0
9.269 * [taylor]: Taking taylor expansion of 0 in y
9.269 * [backup-simplify]: Simplify 0 into 0
9.270 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y
9.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.270 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
9.270 * [backup-simplify]: Simplify (+ (* 1 y) (* (/ 1 y) 0)) into y
9.271 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y)
9.271 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
9.271 * [taylor]: Taking taylor expansion of 0.5 in y
9.271 * [backup-simplify]: Simplify 0.5 into 0.5
9.271 * [taylor]: Taking taylor expansion of y in y
9.271 * [backup-simplify]: Simplify 0 into 0
9.271 * [backup-simplify]: Simplify 1 into 1
9.271 * [backup-simplify]: Simplify 0 into 0
9.271 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 0))) into 0
9.271 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.272 * [backup-simplify]: Simplify (+ 0 0) into 0
9.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) y) (* 0 0))) into 1
9.273 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 y) (* 0 0))) into 0.5
9.273 * [taylor]: Taking taylor expansion of 0.5 in y
9.273 * [backup-simplify]: Simplify 0.5 into 0.5
9.273 * [backup-simplify]: Simplify (* 0.5 0) into 0
9.273 * [backup-simplify]: Simplify 0 into 0
9.273 * [backup-simplify]: Simplify 0 into 0
9.274 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.274 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.275 * [backup-simplify]: Simplify (+ 0 0) into 0
9.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 y) (* 0 0)))) into 0
9.276 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))) into 0
9.276 * [taylor]: Taking taylor expansion of 0 in y
9.276 * [backup-simplify]: Simplify 0 into 0
9.276 * [backup-simplify]: Simplify 0.5 into 0.5
9.277 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
9.277 * [backup-simplify]: Simplify 0.5 into 0.5
9.277 * [backup-simplify]: Simplify 0 into 0
9.277 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.278 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.278 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.278 * [backup-simplify]: Simplify (+ 0 0) into 0
9.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
9.281 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0))))) into 0
9.281 * [taylor]: Taking taylor expansion of 0 in y
9.281 * [backup-simplify]: Simplify 0 into 0
9.282 * [backup-simplify]: Simplify 0 into 0
9.282 * [backup-simplify]: Simplify 0 into 0
9.283 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
9.283 * [backup-simplify]: Simplify 0 into 0
9.283 * [backup-simplify]: Simplify 0 into 0
9.284 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
9.284 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.286 * [backup-simplify]: Simplify (+ 0 0) into 0
9.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0
9.289 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))))) into 0
9.289 * [taylor]: Taking taylor expansion of 0 in y
9.289 * [backup-simplify]: Simplify 0 into 0
9.290 * [backup-simplify]: Simplify 0 into 0
9.290 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* 0.5 (* 1 (/ 1 x)))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
9.290 * [backup-simplify]: Simplify (/ (/ (+ (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- x)) 2.0)) (/ 1 (- y))) into (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x)))
9.290 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in (x y) around 0
9.290 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in y
9.290 * [taylor]: Taking taylor expansion of -0.5 in y
9.290 * [backup-simplify]: Simplify -0.5 into -0.5
9.290 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in y
9.290 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
9.290 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.290 * [taylor]: Taking taylor expansion of y in y
9.291 * [backup-simplify]: Simplify 0 into 0
9.291 * [backup-simplify]: Simplify 1 into 1
9.291 * [backup-simplify]: Simplify (/ 1 1) into 1
9.291 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.291 * [taylor]: Taking taylor expansion of x in y
9.291 * [backup-simplify]: Simplify x into x
9.291 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.291 * [taylor]: Taking taylor expansion of (* y x) in y
9.291 * [taylor]: Taking taylor expansion of y in y
9.291 * [backup-simplify]: Simplify 0 into 0
9.291 * [backup-simplify]: Simplify 1 into 1
9.291 * [taylor]: Taking taylor expansion of x in y
9.291 * [backup-simplify]: Simplify x into x
9.291 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x
9.291 * [taylor]: Taking taylor expansion of -0.5 in x
9.291 * [backup-simplify]: Simplify -0.5 into -0.5
9.291 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x
9.291 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
9.291 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.291 * [taylor]: Taking taylor expansion of y in x
9.291 * [backup-simplify]: Simplify y into y
9.291 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.291 * [taylor]: Taking taylor expansion of x in x
9.291 * [backup-simplify]: Simplify 0 into 0
9.291 * [backup-simplify]: Simplify 1 into 1
9.291 * [backup-simplify]: Simplify (/ 1 1) into 1
9.292 * [taylor]: Taking taylor expansion of (* y x) in x
9.292 * [taylor]: Taking taylor expansion of y in x
9.292 * [backup-simplify]: Simplify y into y
9.292 * [taylor]: Taking taylor expansion of x in x
9.292 * [backup-simplify]: Simplify 0 into 0
9.292 * [backup-simplify]: Simplify 1 into 1
9.292 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x
9.292 * [taylor]: Taking taylor expansion of -0.5 in x
9.292 * [backup-simplify]: Simplify -0.5 into -0.5
9.292 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x
9.292 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
9.292 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.292 * [taylor]: Taking taylor expansion of y in x
9.292 * [backup-simplify]: Simplify y into y
9.292 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.292 * [taylor]: Taking taylor expansion of x in x
9.292 * [backup-simplify]: Simplify 0 into 0
9.292 * [backup-simplify]: Simplify 1 into 1
9.292 * [backup-simplify]: Simplify (/ 1 1) into 1
9.292 * [taylor]: Taking taylor expansion of (* y x) in x
9.292 * [taylor]: Taking taylor expansion of y in x
9.292 * [backup-simplify]: Simplify y into y
9.292 * [taylor]: Taking taylor expansion of x in x
9.292 * [backup-simplify]: Simplify 0 into 0
9.292 * [backup-simplify]: Simplify 1 into 1
9.293 * [backup-simplify]: Simplify (+ 0 1) into 1
9.293 * [backup-simplify]: Simplify (* y 0) into 0
9.293 * [backup-simplify]: Simplify (* 1 0) into 0
9.293 * [backup-simplify]: Simplify (* -0.5 0) into 0
9.293 * [taylor]: Taking taylor expansion of 0 in y
9.293 * [backup-simplify]: Simplify 0 into 0
9.293 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y
9.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.294 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
9.294 * [backup-simplify]: Simplify (+ (* 1 y) (* (/ 1 y) 0)) into y
9.294 * [backup-simplify]: Simplify (+ (* -0.5 y) (* 0 0)) into (- (* 0.5 y))
9.294 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
9.294 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
9.294 * [taylor]: Taking taylor expansion of 0.5 in y
9.294 * [backup-simplify]: Simplify 0.5 into 0.5
9.294 * [taylor]: Taking taylor expansion of y in y
9.294 * [backup-simplify]: Simplify 0 into 0
9.294 * [backup-simplify]: Simplify 1 into 1
9.294 * [backup-simplify]: Simplify 0 into 0
9.295 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 0))) into 0
9.295 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.296 * [backup-simplify]: Simplify (+ 0 0) into 0
9.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) y) (* 0 0))) into 1
9.297 * [backup-simplify]: Simplify (+ (* -0.5 1) (+ (* 0 y) (* 0 0))) into (- 0.5)
9.297 * [taylor]: Taking taylor expansion of (- 0.5) in y
9.297 * [taylor]: Taking taylor expansion of 0.5 in y
9.297 * [backup-simplify]: Simplify 0.5 into 0.5
9.297 * [backup-simplify]: Simplify (* 0.5 0) into 0
9.297 * [backup-simplify]: Simplify (- 0) into 0
9.297 * [backup-simplify]: Simplify 0 into 0
9.297 * [backup-simplify]: Simplify 0 into 0
9.298 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.298 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.299 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.299 * [backup-simplify]: Simplify (+ 0 0) into 0
9.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 y) (* 0 0)))) into 0
9.300 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))) into 0
9.300 * [taylor]: Taking taylor expansion of 0 in y
9.300 * [backup-simplify]: Simplify 0 into 0
9.300 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
9.301 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
9.302 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
9.302 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
9.302 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
9.302 * [backup-simplify]: Simplify 0 into 0
9.303 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.303 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.304 * [backup-simplify]: Simplify (+ 0 0) into 0
9.304 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
9.305 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0))))) into 0
9.305 * [taylor]: Taking taylor expansion of 0 in y
9.305 * [backup-simplify]: Simplify 0 into 0
9.305 * [backup-simplify]: Simplify 0 into 0
9.306 * [backup-simplify]: Simplify (- 0) into 0
9.306 * [backup-simplify]: Simplify 0 into 0
9.306 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
9.307 * [backup-simplify]: Simplify (- 0) into 0
9.307 * [backup-simplify]: Simplify 0 into 0
9.307 * [backup-simplify]: Simplify 0 into 0
9.307 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
9.307 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.308 * [backup-simplify]: Simplify (+ 0 0) into 0
9.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0
9.313 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))))) into 0
9.313 * [taylor]: Taking taylor expansion of 0 in y
9.313 * [backup-simplify]: Simplify 0 into 0
9.313 * [backup-simplify]: Simplify 0 into 0
9.314 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* (- 0.5) (* 1 (/ 1 (- x))))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
9.314 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
9.314 * [backup-simplify]: Simplify (/ (+ x y) (* x 2.0)) into (* 0.5 (/ (+ x y) x))
9.314 * [approximate]: Taking taylor expansion of (* 0.5 (/ (+ x y) x)) in (x y) around 0
9.314 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) x)) in y
9.314 * [taylor]: Taking taylor expansion of 0.5 in y
9.314 * [backup-simplify]: Simplify 0.5 into 0.5
9.314 * [taylor]: Taking taylor expansion of (/ (+ x y) x) in y
9.314 * [taylor]: Taking taylor expansion of (+ x y) in y
9.314 * [taylor]: Taking taylor expansion of x in y
9.314 * [backup-simplify]: Simplify x into x
9.314 * [taylor]: Taking taylor expansion of y in y
9.314 * [backup-simplify]: Simplify 0 into 0
9.314 * [backup-simplify]: Simplify 1 into 1
9.314 * [taylor]: Taking taylor expansion of x in y
9.314 * [backup-simplify]: Simplify x into x
9.314 * [backup-simplify]: Simplify (+ x 0) into x
9.314 * [backup-simplify]: Simplify (/ x x) into 1
9.314 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) x)) in x
9.314 * [taylor]: Taking taylor expansion of 0.5 in x
9.314 * [backup-simplify]: Simplify 0.5 into 0.5
9.314 * [taylor]: Taking taylor expansion of (/ (+ x y) x) in x
9.314 * [taylor]: Taking taylor expansion of (+ x y) in x
9.314 * [taylor]: Taking taylor expansion of x in x
9.314 * [backup-simplify]: Simplify 0 into 0
9.314 * [backup-simplify]: Simplify 1 into 1
9.314 * [taylor]: Taking taylor expansion of y in x
9.314 * [backup-simplify]: Simplify y into y
9.314 * [taylor]: Taking taylor expansion of x in x
9.314 * [backup-simplify]: Simplify 0 into 0
9.314 * [backup-simplify]: Simplify 1 into 1
9.314 * [backup-simplify]: Simplify (+ 0 y) into y
9.314 * [backup-simplify]: Simplify (/ y 1) into y
9.315 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) x)) in x
9.315 * [taylor]: Taking taylor expansion of 0.5 in x
9.315 * [backup-simplify]: Simplify 0.5 into 0.5
9.315 * [taylor]: Taking taylor expansion of (/ (+ x y) x) in x
9.315 * [taylor]: Taking taylor expansion of (+ x y) in x
9.315 * [taylor]: Taking taylor expansion of x in x
9.315 * [backup-simplify]: Simplify 0 into 0
9.315 * [backup-simplify]: Simplify 1 into 1
9.315 * [taylor]: Taking taylor expansion of y in x
9.315 * [backup-simplify]: Simplify y into y
9.315 * [taylor]: Taking taylor expansion of x in x
9.315 * [backup-simplify]: Simplify 0 into 0
9.315 * [backup-simplify]: Simplify 1 into 1
9.315 * [backup-simplify]: Simplify (+ 0 y) into y
9.315 * [backup-simplify]: Simplify (/ y 1) into y
9.315 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
9.315 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
9.315 * [taylor]: Taking taylor expansion of 0.5 in y
9.315 * [backup-simplify]: Simplify 0.5 into 0.5
9.315 * [taylor]: Taking taylor expansion of y in y
9.315 * [backup-simplify]: Simplify 0 into 0
9.315 * [backup-simplify]: Simplify 1 into 1
9.315 * [backup-simplify]: Simplify (* 0.5 0) into 0
9.315 * [backup-simplify]: Simplify 0 into 0
9.316 * [backup-simplify]: Simplify (+ 1 0) into 1
9.316 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* y (/ 0 1)))) into 1
9.316 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 y)) into 0.5
9.316 * [taylor]: Taking taylor expansion of 0.5 in y
9.316 * [backup-simplify]: Simplify 0.5 into 0.5
9.316 * [backup-simplify]: Simplify 0.5 into 0.5
9.317 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
9.317 * [backup-simplify]: Simplify 0.5 into 0.5
9.317 * [backup-simplify]: Simplify (+ 0 0) into 0
9.318 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 1 (/ 0 1)))) into 0
9.319 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 y))) into 0
9.319 * [taylor]: Taking taylor expansion of 0 in y
9.319 * [backup-simplify]: Simplify 0 into 0
9.319 * [backup-simplify]: Simplify 0 into 0
9.319 * [backup-simplify]: Simplify 0 into 0
9.319 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
9.319 * [backup-simplify]: Simplify 0 into 0
9.320 * [backup-simplify]: Simplify (+ 0 0) into 0
9.321 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.321 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 y)))) into 0
9.322 * [taylor]: Taking taylor expansion of 0 in y
9.322 * [backup-simplify]: Simplify 0 into 0
9.322 * [backup-simplify]: Simplify 0 into 0
9.322 * [backup-simplify]: Simplify 0 into 0
9.322 * [backup-simplify]: Simplify 0 into 0
9.322 * [backup-simplify]: Simplify (+ (* 0.5 (* y (/ 1 x))) 0.5) into (+ (* 0.5 (/ y x)) 0.5)
9.322 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 y)) (* (/ 1 x) 2.0)) into (* 0.5 (* (+ (/ 1 y) (/ 1 x)) x))
9.322 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) x)) in (x y) around 0
9.322 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) x)) in y
9.322 * [taylor]: Taking taylor expansion of 0.5 in y
9.322 * [backup-simplify]: Simplify 0.5 into 0.5
9.322 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) x) in y
9.322 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
9.322 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.322 * [taylor]: Taking taylor expansion of y in y
9.322 * [backup-simplify]: Simplify 0 into 0
9.322 * [backup-simplify]: Simplify 1 into 1
9.322 * [backup-simplify]: Simplify (/ 1 1) into 1
9.322 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.322 * [taylor]: Taking taylor expansion of x in y
9.322 * [backup-simplify]: Simplify x into x
9.322 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.322 * [taylor]: Taking taylor expansion of x in y
9.322 * [backup-simplify]: Simplify x into x
9.322 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) x)) in x
9.322 * [taylor]: Taking taylor expansion of 0.5 in x
9.323 * [backup-simplify]: Simplify 0.5 into 0.5
9.323 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) x) in x
9.323 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
9.323 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.323 * [taylor]: Taking taylor expansion of y in x
9.323 * [backup-simplify]: Simplify y into y
9.323 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.323 * [taylor]: Taking taylor expansion of x in x
9.323 * [backup-simplify]: Simplify 0 into 0
9.323 * [backup-simplify]: Simplify 1 into 1
9.323 * [backup-simplify]: Simplify (/ 1 1) into 1
9.323 * [taylor]: Taking taylor expansion of x in x
9.323 * [backup-simplify]: Simplify 0 into 0
9.323 * [backup-simplify]: Simplify 1 into 1
9.323 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) x)) in x
9.323 * [taylor]: Taking taylor expansion of 0.5 in x
9.323 * [backup-simplify]: Simplify 0.5 into 0.5
9.323 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) x) in x
9.323 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
9.323 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.323 * [taylor]: Taking taylor expansion of y in x
9.323 * [backup-simplify]: Simplify y into y
9.323 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.323 * [taylor]: Taking taylor expansion of x in x
9.323 * [backup-simplify]: Simplify 0 into 0
9.323 * [backup-simplify]: Simplify 1 into 1
9.323 * [backup-simplify]: Simplify (/ 1 1) into 1
9.323 * [taylor]: Taking taylor expansion of x in x
9.324 * [backup-simplify]: Simplify 0 into 0
9.324 * [backup-simplify]: Simplify 1 into 1
9.324 * [backup-simplify]: Simplify (+ 0 1) into 1
9.324 * [backup-simplify]: Simplify (* 1 0) into 0
9.324 * [backup-simplify]: Simplify (* 0.5 0) into 0
9.324 * [taylor]: Taking taylor expansion of 0 in y
9.324 * [backup-simplify]: Simplify 0 into 0
9.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.325 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
9.325 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 y) 0)) into 1
9.326 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
9.326 * [taylor]: Taking taylor expansion of 0.5 in y
9.326 * [backup-simplify]: Simplify 0.5 into 0.5
9.326 * [backup-simplify]: Simplify 0 into 0
9.326 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.327 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.327 * [backup-simplify]: Simplify (+ 0 0) into 0
9.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 1) (* 0 0))) into (/ 1 y)
9.328 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (+ (* 0 1) (* 0 0))) into (* 0.5 (/ 1 y))
9.328 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
9.328 * [taylor]: Taking taylor expansion of 0.5 in y
9.328 * [backup-simplify]: Simplify 0.5 into 0.5
9.328 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.328 * [taylor]: Taking taylor expansion of y in y
9.328 * [backup-simplify]: Simplify 0 into 0
9.328 * [backup-simplify]: Simplify 1 into 1
9.328 * [backup-simplify]: Simplify (/ 1 1) into 1
9.328 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
9.328 * [backup-simplify]: Simplify 0.5 into 0.5
9.328 * [backup-simplify]: Simplify 0.5 into 0.5
9.329 * [backup-simplify]: Simplify 0 into 0
9.329 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.329 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.329 * [backup-simplify]: Simplify (+ 0 0) into 0
9.330 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 1) (* 0 0)))) into 0
9.331 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (+ (* 0 1) (* 0 0)))) into 0
9.331 * [taylor]: Taking taylor expansion of 0 in y
9.331 * [backup-simplify]: Simplify 0 into 0
9.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.332 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
9.332 * [backup-simplify]: Simplify 0 into 0
9.332 * [backup-simplify]: Simplify 0 into 0
9.332 * [backup-simplify]: Simplify 0 into 0
9.332 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.333 * [backup-simplify]: Simplify (+ 0 0) into 0
9.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.334 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (+ (* 0 1) (* 0 0))))) into 0
9.334 * [taylor]: Taking taylor expansion of 0 in y
9.334 * [backup-simplify]: Simplify 0 into 0
9.334 * [backup-simplify]: Simplify 0 into 0
9.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.335 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
9.335 * [backup-simplify]: Simplify 0 into 0
9.335 * [backup-simplify]: Simplify (+ 0.5 (* 0.5 (* (/ 1 (/ 1 y)) (/ 1 x)))) into (+ (* 0.5 (/ y x)) 0.5)
9.336 * [backup-simplify]: Simplify (/ (+ (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- x)) 2.0)) into (* 0.5 (* (+ (/ 1 y) (/ 1 x)) x))
9.336 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) x)) in (x y) around 0
9.336 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) x)) in y
9.336 * [taylor]: Taking taylor expansion of 0.5 in y
9.336 * [backup-simplify]: Simplify 0.5 into 0.5
9.336 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) x) in y
9.336 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
9.336 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.336 * [taylor]: Taking taylor expansion of y in y
9.336 * [backup-simplify]: Simplify 0 into 0
9.336 * [backup-simplify]: Simplify 1 into 1
9.336 * [backup-simplify]: Simplify (/ 1 1) into 1
9.336 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.336 * [taylor]: Taking taylor expansion of x in y
9.336 * [backup-simplify]: Simplify x into x
9.336 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.336 * [taylor]: Taking taylor expansion of x in y
9.336 * [backup-simplify]: Simplify x into x
9.336 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) x)) in x
9.336 * [taylor]: Taking taylor expansion of 0.5 in x
9.336 * [backup-simplify]: Simplify 0.5 into 0.5
9.336 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) x) in x
9.336 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
9.336 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.336 * [taylor]: Taking taylor expansion of y in x
9.336 * [backup-simplify]: Simplify y into y
9.336 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.336 * [taylor]: Taking taylor expansion of x in x
9.336 * [backup-simplify]: Simplify 0 into 0
9.336 * [backup-simplify]: Simplify 1 into 1
9.337 * [backup-simplify]: Simplify (/ 1 1) into 1
9.337 * [taylor]: Taking taylor expansion of x in x
9.337 * [backup-simplify]: Simplify 0 into 0
9.337 * [backup-simplify]: Simplify 1 into 1
9.337 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) x)) in x
9.337 * [taylor]: Taking taylor expansion of 0.5 in x
9.337 * [backup-simplify]: Simplify 0.5 into 0.5
9.337 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) x) in x
9.337 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
9.337 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.337 * [taylor]: Taking taylor expansion of y in x
9.337 * [backup-simplify]: Simplify y into y
9.337 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.337 * [taylor]: Taking taylor expansion of x in x
9.337 * [backup-simplify]: Simplify 0 into 0
9.337 * [backup-simplify]: Simplify 1 into 1
9.337 * [backup-simplify]: Simplify (/ 1 1) into 1
9.337 * [taylor]: Taking taylor expansion of x in x
9.337 * [backup-simplify]: Simplify 0 into 0
9.337 * [backup-simplify]: Simplify 1 into 1
9.338 * [backup-simplify]: Simplify (+ 0 1) into 1
9.338 * [backup-simplify]: Simplify (* 1 0) into 0
9.338 * [backup-simplify]: Simplify (* 0.5 0) into 0
9.338 * [taylor]: Taking taylor expansion of 0 in y
9.338 * [backup-simplify]: Simplify 0 into 0
9.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.339 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
9.339 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 y) 0)) into 1
9.340 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
9.340 * [taylor]: Taking taylor expansion of 0.5 in y
9.340 * [backup-simplify]: Simplify 0.5 into 0.5
9.340 * [backup-simplify]: Simplify 0 into 0
9.340 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.341 * [backup-simplify]: Simplify (+ 0 0) into 0
9.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 1) (* 0 0))) into (/ 1 y)
9.342 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (+ (* 0 1) (* 0 0))) into (* 0.5 (/ 1 y))
9.342 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
9.342 * [taylor]: Taking taylor expansion of 0.5 in y
9.342 * [backup-simplify]: Simplify 0.5 into 0.5
9.342 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.342 * [taylor]: Taking taylor expansion of y in y
9.342 * [backup-simplify]: Simplify 0 into 0
9.342 * [backup-simplify]: Simplify 1 into 1
9.342 * [backup-simplify]: Simplify (/ 1 1) into 1
9.342 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
9.342 * [backup-simplify]: Simplify 0.5 into 0.5
9.342 * [backup-simplify]: Simplify 0.5 into 0.5
9.342 * [backup-simplify]: Simplify 0 into 0
9.343 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.343 * [backup-simplify]: Simplify (+ 0 0) into 0
9.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 1) (* 0 0)))) into 0
9.345 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (+ (* 0 1) (* 0 0)))) into 0
9.345 * [taylor]: Taking taylor expansion of 0 in y
9.345 * [backup-simplify]: Simplify 0 into 0
9.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.345 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
9.345 * [backup-simplify]: Simplify 0 into 0
9.345 * [backup-simplify]: Simplify 0 into 0
9.346 * [backup-simplify]: Simplify 0 into 0
9.346 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.346 * [backup-simplify]: Simplify (+ 0 0) into 0
9.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.348 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (+ (* 0 1) (* 0 0))))) into 0
9.348 * [taylor]: Taking taylor expansion of 0 in y
9.348 * [backup-simplify]: Simplify 0 into 0
9.348 * [backup-simplify]: Simplify 0 into 0
9.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.349 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
9.349 * [backup-simplify]: Simplify 0 into 0
9.349 * [backup-simplify]: Simplify (+ 0.5 (* 0.5 (* (/ 1 (/ 1 (- y))) (/ 1 (- x))))) into (+ (* 0.5 (/ y x)) 0.5)
9.349 * * * [progress]: simplifying candidates
9.351 * [simplify]: Simplifying:
  (expm1 (/ (/ (+ x y) (* x 2.0)) y))
  (log1p (/ (/ (+ x y) (* x 2.0)) y))
  (- (- (log (+ x y)) (+ (log x) (log 2.0))) (log y))
  (- (- (log (+ x y)) (log (* x 2.0))) (log y))
  (- (log (/ (+ x y) (* x 2.0))) (log y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (exp (/ (/ (+ x y) (* x 2.0)) y))
  (/ (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (* (* y y) y))
  (/ (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (* (* y y) y))
  (/ (* (* (/ (+ x y) (* x 2.0)) (/ (+ x y) (* x 2.0))) (/ (+ x y) (* x 2.0))) (* (* y y) y))
  (* (cbrt (/ (/ (+ x y) (* x 2.0)) y)) (cbrt (/ (/ (+ x y) (* x 2.0)) y)))
  (cbrt (/ (/ (+ x y) (* x 2.0)) y))
  (* (* (/ (/ (+ x y) (* x 2.0)) y) (/ (/ (+ x y) (* x 2.0)) y)) (/ (/ (+ x y) (* x 2.0)) y))
  (sqrt (/ (/ (+ x y) (* x 2.0)) y))
  (sqrt (/ (/ (+ x y) (* x 2.0)) y))
  (- (/ (+ x y) (* x 2.0)))
  (- y)
  (/ (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (/ (+ x y) (* x 2.0))) (cbrt y))
  (/ (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (sqrt y))
  (/ (cbrt (/ (+ x y) (* x 2.0))) (sqrt y))
  (/ (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) 1)
  (/ (cbrt (/ (+ x y) (* x 2.0))) y)
  (/ (sqrt (/ (+ x y) (* x 2.0))) (* (cbrt y) (cbrt y)))
  (/ (sqrt (/ (+ x y) (* x 2.0))) (cbrt y))
  (/ (sqrt (/ (+ x y) (* x 2.0))) (sqrt y))
  (/ (sqrt (/ (+ x y) (* x 2.0))) (sqrt y))
  (/ (sqrt (/ (+ x y) (* x 2.0))) 1)
  (/ (sqrt (/ (+ x y) (* x 2.0))) y)
  (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt (+ x y)) 2.0) (cbrt y))
  (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (sqrt y))
  (/ (/ (cbrt (+ x y)) 2.0) (sqrt y))
  (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) 1)
  (/ (/ (cbrt (+ x y)) 2.0) y)
  (/ (/ (sqrt (+ x y)) x) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt (+ x y)) 2.0) (cbrt y))
  (/ (/ (sqrt (+ x y)) x) (sqrt y))
  (/ (/ (sqrt (+ x y)) 2.0) (sqrt y))
  (/ (/ (sqrt (+ x y)) x) 1)
  (/ (/ (sqrt (+ x y)) 2.0) y)
  (/ (/ 1 x) (* (cbrt y) (cbrt y)))
  (/ (/ (+ x y) 2.0) (cbrt y))
  (/ (/ 1 x) (sqrt y))
  (/ (/ (+ x y) 2.0) (sqrt y))
  (/ (/ 1 x) 1)
  (/ (/ (+ x y) 2.0) y)
  (/ (/ 1 x) (* (cbrt y) (cbrt y)))
  (/ (/ (+ x y) 2.0) (cbrt y))
  (/ (/ 1 x) (sqrt y))
  (/ (/ (+ x y) 2.0) (sqrt y))
  (/ (/ 1 x) 1)
  (/ (/ (+ x y) 2.0) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (/ (+ x y) (* x 2.0)) (cbrt y))
  (/ 1 (sqrt y))
  (/ (/ (+ x y) (* x 2.0)) (sqrt y))
  (/ 1 1)
  (/ (/ (+ x y) (* x 2.0)) y)
  (/ (+ x y) (* (cbrt y) (cbrt y)))
  (/ (/ 1 (* x 2.0)) (cbrt y))
  (/ (+ x y) (sqrt y))
  (/ (/ 1 (* x 2.0)) (sqrt y))
  (/ (+ x y) 1)
  (/ (/ 1 (* x 2.0)) y)
  (/ 1 y)
  (/ y (/ (+ x y) (* x 2.0)))
  (/ (/ (+ x y) (* x 2.0)) (* (cbrt y) (cbrt y)))
  (/ (/ (+ x y) (* x 2.0)) (sqrt y))
  (/ (/ (+ x y) (* x 2.0)) 1)
  (/ y (cbrt (/ (+ x y) (* x 2.0))))
  (/ y (sqrt (/ (+ x y) (* x 2.0))))
  (/ y (/ (cbrt (+ x y)) 2.0))
  (/ y (/ (sqrt (+ x y)) 2.0))
  (/ y (/ (+ x y) 2.0))
  (/ y (/ (+ x y) 2.0))
  (/ y (/ (+ x y) (* x 2.0)))
  (/ y (/ 1 (* x 2.0)))
  (* y (* x 2.0))
  (expm1 (/ (+ x y) (* x 2.0)))
  (log1p (/ (+ x y) (* x 2.0)))
  (- (log (+ x y)) (+ (log x) (log 2.0)))
  (- (log (+ x y)) (log (* x 2.0)))
  (log (/ (+ x y) (* x 2.0)))
  (exp (/ (+ x y) (* x 2.0)))
  (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* x x) x) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* x 2.0) (* x 2.0)) (* x 2.0)))
  (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0))))
  (cbrt (/ (+ x y) (* x 2.0)))
  (* (* (/ (+ x y) (* x 2.0)) (/ (+ x y) (* x 2.0))) (/ (+ x y) (* x 2.0)))
  (sqrt (/ (+ x y) (* x 2.0)))
  (sqrt (/ (+ x y) (* x 2.0)))
  (- (+ x y))
  (- (* x 2.0))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x)
  (/ (cbrt (+ x y)) 2.0)
  (/ (sqrt (+ x y)) x)
  (/ (sqrt (+ x y)) 2.0)
  (/ 1 x)
  (/ (+ x y) 2.0)
  (/ 1 x)
  (/ (+ x y) 2.0)
  (/ 1 (* x 2.0))
  (/ (* x 2.0) (+ x y))
  (/ (+ x y) x)
  (/ (* x 2.0) (cbrt (+ x y)))
  (/ (* x 2.0) (sqrt (+ x y)))
  (/ (* x 2.0) (+ x y))
  (/ (* x 2.0) (+ x y))
  (* (* x 2.0) (+ (* x x) (- (* y y) (* x y))))
  (* (* x 2.0) (- x y))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (+ (* 0.5 (/ y x)) 0.5)
  (+ (* 0.5 (/ y x)) 0.5)
  (+ (* 0.5 (/ y x)) 0.5)
9.353 * * [simplify]: Extracting # 0 : cost  0
9.353 * * [simplify]: Extracting # 1 : cost  0
9.353 * * [simplify]: Extracting # 2 : cost  0
9.353 * * [simplify]: Extracting # 3 : cost  0
9.353 * * [simplify]: Extracting # 4 : cost  0
9.353 * * [simplify]: Extracting # 5 : cost  0
9.354 * * [simplify]: Extracting # 6 : cost  0
9.354 * * [simplify]: iteration  0 :  138  enodes  (cost  1163 )
9.383 * * [simplify]: Extracting # 0 : cost  0
9.384 * * [simplify]: Extracting # 1 : cost  0
9.384 * * [simplify]: Extracting # 2 : cost  0
9.384 * * [simplify]: Extracting # 3 : cost  0
9.385 * * [simplify]: iteration  1 :  339  enodes  (cost  1124 )
9.533 * * [simplify]: Extracting # 0 : cost  0
9.534 * * [simplify]: Extracting # 1 : cost  0
9.535 * * [simplify]: Extracting # 2 : cost  0
9.536 * * [simplify]: Extracting # 3 : cost  0
9.538 * * [simplify]: Extracting # 4 : cost  0
9.539 * * [simplify]: iteration  2 :  1078  enodes  (cost  1002 )
11.192 * * [simplify]: Extracting # 0 : cost  0
11.199 * * [simplify]: Extracting # 1 : cost  0
11.208 * * [simplify]: Extracting # 2 : cost  0
11.215 * * [simplify]: Extracting # 3 : cost  0
11.223 * * [simplify]: iteration  3 :  4608  enodes  (cost  1002 )
12.569 * * [simplify]: Extracting # 0 : cost  0
12.574 * * [simplify]: Extracting # 1 : cost  0
12.579 * * [simplify]: Extracting # 2 : cost  0
12.584 * * [simplify]: iteration done:  5000  enodes  (cost  1002 )
12.585 * [simplify]: Simplified to:
  (expm1 (/ (/ (+ x y) (* x 2.0)) y))
  (log1p (/ (/ (+ x y) (* x 2.0)) y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (exp (/ (/ (+ x y) (* x 2.0)) y))
  (pow (/ (/ (+ x y) (* x 2.0)) y) 3)
  (pow (/ (/ (+ x y) (* x 2.0)) y) 3)
  (pow (/ (/ (+ x y) (* x 2.0)) y) 3)
  (* (cbrt (/ (/ (+ x y) (* x 2.0)) y)) (cbrt (/ (/ (+ x y) (* x 2.0)) y)))
  (cbrt (/ (/ (+ x y) (* x 2.0)) y))
  (pow (/ (/ (+ x y) (* x 2.0)) y) 3)
  (sqrt (/ (/ (+ x y) (* x 2.0)) y))
  (sqrt (/ (/ (+ x y) (* x 2.0)) y))
  (- (/ (+ x y) (* x 2.0)))
  (- y)
  (/ (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (/ (+ x y) (* x 2.0))) (cbrt y))
  (/ (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (sqrt y))
  (/ (cbrt (/ (+ x y) (* x 2.0))) (sqrt y))
  (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0))))
  (/ (cbrt (/ (+ x y) (* x 2.0))) y)
  (/ (sqrt (/ (+ x y) (* x 2.0))) (* (cbrt y) (cbrt y)))
  (/ (sqrt (/ (+ x y) (* x 2.0))) (cbrt y))
  (/ (sqrt (/ (+ x y) (* x 2.0))) (sqrt y))
  (/ (sqrt (/ (+ x y) (* x 2.0))) (sqrt y))
  (sqrt (/ (+ x y) (* x 2.0)))
  (/ (sqrt (/ (+ x y) (* x 2.0))) y)
  (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt (+ x y)) 2.0) (cbrt y))
  (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (sqrt y))
  (/ (/ (cbrt (+ x y)) 2.0) (sqrt y))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x)
  (/ (/ (cbrt (+ x y)) 2.0) y)
  (/ (/ (sqrt (+ x y)) x) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt (+ x y)) 2.0) (cbrt y))
  (/ (/ (sqrt (+ x y)) x) (sqrt y))
  (/ (/ (sqrt (+ x y)) 2.0) (sqrt y))
  (/ (sqrt (+ x y)) x)
  (/ (/ (sqrt (+ x y)) 2.0) y)
  (/ (/ 1 x) (* (cbrt y) (cbrt y)))
  (/ (/ (+ x y) 2.0) (cbrt y))
  (/ (/ 1 x) (sqrt y))
  (/ (/ (+ x y) 2.0) (sqrt y))
  (/ 1 x)
  (/ (/ (+ x y) 2.0) y)
  (/ (/ 1 x) (* (cbrt y) (cbrt y)))
  (/ (/ (+ x y) 2.0) (cbrt y))
  (/ (/ 1 x) (sqrt y))
  (/ (/ (+ x y) 2.0) (sqrt y))
  (/ 1 x)
  (/ (/ (+ x y) 2.0) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (/ (+ x y) (* x 2.0)) (cbrt y))
  (/ 1 (sqrt y))
  (/ (/ (+ x y) (* x 2.0)) (sqrt y))
  1
  (/ (/ (+ x y) (* x 2.0)) y)
  (/ (+ x y) (* (cbrt y) (cbrt y)))
  (/ (/ 1 (* x 2.0)) (cbrt y))
  (/ (+ x y) (sqrt y))
  (/ (/ 1 (* x 2.0)) (sqrt y))
  (+ x y)
  (/ (/ 1 (* x 2.0)) y)
  (/ 1 y)
  (/ y (/ (+ x y) (* x 2.0)))
  (/ (/ (+ x y) (* x 2.0)) (* (cbrt y) (cbrt y)))
  (/ (/ (+ x y) (* x 2.0)) (sqrt y))
  (/ (+ x y) (* x 2.0))
  (/ y (cbrt (/ (+ x y) (* x 2.0))))
  (/ y (sqrt (/ (+ x y) (* x 2.0))))
  (/ y (/ (cbrt (+ x y)) 2.0))
  (/ y (/ (sqrt (+ x y)) 2.0))
  (/ y (/ (+ x y) 2.0))
  (/ y (/ (+ x y) 2.0))
  (/ y (/ (+ x y) (* x 2.0)))
  (* (* 2.0 x) y)
  (* (* 2.0 x) y)
  (expm1 (/ (+ x y) (* x 2.0)))
  (log1p (/ (+ x y) (* x 2.0)))
  (log (/ (+ x y) (* x 2.0)))
  (log (/ (+ x y) (* x 2.0)))
  (log (/ (+ x y) (* x 2.0)))
  (exp (/ (+ x y) (* x 2.0)))
  (pow (/ (+ x y) (* x 2.0)) 3)
  (pow (/ (+ x y) (* x 2.0)) 3)
  (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0))))
  (cbrt (/ (+ x y) (* x 2.0)))
  (pow (/ (+ x y) (* x 2.0)) 3)
  (sqrt (/ (+ x y) (* x 2.0)))
  (sqrt (/ (+ x y) (* x 2.0)))
  (- (+ x y))
  (- (* x 2.0))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x)
  (/ (cbrt (+ x y)) 2.0)
  (/ (sqrt (+ x y)) x)
  (/ (sqrt (+ x y)) 2.0)
  (/ 1 x)
  (/ (+ x y) 2.0)
  (/ 1 x)
  (/ (+ x y) 2.0)
  (/ 1 (* x 2.0))
  (/ (* x 2.0) (+ x y))
  (/ (+ x y) x)
  (/ (* x 2.0) (cbrt (+ x y)))
  (/ (* x 2.0) (sqrt (+ x y)))
  (/ (* x 2.0) (+ x y))
  (/ (* x 2.0) (+ x y))
  (* (* x 2.0) (fma x x (* y (- y x))))
  (* (* x 2.0) (- x y))
  (+ (/ 0.5 x) (/ 0.5 y))
  (+ (/ 0.5 x) (/ 0.5 y))
  (+ (/ 0.5 x) (/ 0.5 y))
  (fma 0.5 (/ y x) 0.5)
  (fma 0.5 (/ y x) 0.5)
  (fma 0.5 (/ y x) 0.5)
12.585 * * * [progress]: adding candidates to table
12.821 * [progress]: [Phase 3 of 3] Extracting.
12.821 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (+ (/ 0.5 y) (/ 0.5 x)))> #<alt (λ (x y) (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (/ 0.5 x)))> #<alt (λ (x y) (/ 1 (/ y (/ (+ x y) (* x 2.0)))))> #<alt (λ (x y) (/ (/ (+ x y) (* x 2.0)) y))>)
12.822 * * * [regime-changes]: Trying 2 branch expressions: (y x)
12.822 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (+ (/ 0.5 y) (/ 0.5 x)))> #<alt (λ (x y) (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (/ 0.5 x)))> #<alt (λ (x y) (/ 1 (/ y (/ (+ x y) (* x 2.0)))))> #<alt (λ (x y) (/ (/ (+ x y) (* x 2.0)) y))>)
12.850 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (+ (/ 0.5 y) (/ 0.5 x)))> #<alt (λ (x y) (fma (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y) (/ 0.5 x)))> #<alt (λ (x y) (/ 1 (/ y (/ (+ x y) (* x 2.0)))))> #<alt (λ (x y) (/ (/ (+ x y) (* x 2.0)) y))>)
12.884 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
12.885 * [simplify]: Simplifying:
  (+ (/ 0.5 y) (/ 0.5 x))
12.885 * * [simplify]: Extracting # 0 : cost  0
12.885 * * [simplify]: Extracting # 1 : cost  0
12.885 * * [simplify]: Extracting # 2 : cost  0
12.885 * * [simplify]: Extracting # 3 : cost  0
12.885 * * [simplify]: Extracting # 4 : cost  0
12.885 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
12.885 * * [simplify]: Extracting # 0 : cost  0
12.886 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
12.886 * * [simplify]: Extracting # 0 : cost  0
12.886 * * [simplify]: iteration done:  7  enodes  (cost  7 )
12.886 * [simplify]: Simplified to:
  (+ (/ 0.5 y) (/ 0.5 x))
13.857 * [regime-testing]: Baseline error score: 0.012897852856787389
13.859 * [regime-testing]: Oracle error score: 0.0032504063007875983
13.863 * [regime-testing]: End program error score: 0.012897852856787389
13.881 * [regime-testing]: Target error score: 0.012897852856787389