40.356 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.042 * * * [progress]: [2/2] Setting up program.
0.047 * [progress]: [Phase 2 of 3] Improving.
0.048 * [simplify]: Simplifying:
  (* x (/ (sin y) y))
0.048 * * [simplify]: iteration 0: 5 enodes
0.049 * * [simplify]: iteration 1: 8 enodes
0.050 * * [simplify]: iteration 2: 12 enodes
0.052 * * [simplify]: iteration 3: 16 enodes
0.055 * * [simplify]: iteration 4: 17 enodes
0.056 * * [simplify]: iteration complete: 17 enodes
0.056 * * [simplify]: Extracting #0: cost 1 inf + 0
0.056 * * [simplify]: Extracting #1: cost 9 inf + 0
0.056 * * [simplify]: Extracting #2: cost 4 inf + 265
0.057 * * [simplify]: Extracting #3: cost 0 inf + 593
0.057 * [simplify]: Simplified to:
  (* (/ (sin y) y) x)
0.057 * * [progress]: iteration 1 / 4
0.057 * * * [progress]: picking best candidate
0.062 * * * * [pick]: Picked  #<alt (λ (x y) (* x (/ (sin y) y)))>
0.062 * * * [progress]: localizing error
0.076 * * * [progress]: generating rewritten candidates
0.076 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.086 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.123 * * * [progress]: generating series expansions
0.123 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.124 * [backup-simplify]: Simplify (/ (sin y) y) into (/ (sin y) y)
0.124 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0
0.124 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
0.124 * [taylor]: Taking taylor expansion of (sin y) in y
0.124 * [taylor]: Taking taylor expansion of y in y
0.124 * [backup-simplify]: Simplify 0 into 0
0.125 * [backup-simplify]: Simplify 1 into 1
0.125 * [taylor]: Taking taylor expansion of y in y
0.125 * [backup-simplify]: Simplify 0 into 0
0.125 * [backup-simplify]: Simplify 1 into 1
0.126 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
0.126 * [backup-simplify]: Simplify (/ 1 1) into 1
0.126 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
0.126 * [taylor]: Taking taylor expansion of (sin y) in y
0.126 * [taylor]: Taking taylor expansion of y in y
0.126 * [backup-simplify]: Simplify 0 into 0
0.126 * [backup-simplify]: Simplify 1 into 1
0.126 * [taylor]: Taking taylor expansion of y in y
0.126 * [backup-simplify]: Simplify 0 into 0
0.127 * [backup-simplify]: Simplify 1 into 1
0.127 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
0.127 * [backup-simplify]: Simplify (/ 1 1) into 1
0.127 * [backup-simplify]: Simplify 1 into 1
0.128 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.129 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
0.129 * [backup-simplify]: Simplify 0 into 0
0.130 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
0.131 * [backup-simplify]: Simplify (- (/ -1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into -1/6
0.131 * [backup-simplify]: Simplify -1/6 into -1/6
0.132 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
0.133 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)))) into 0
0.133 * [backup-simplify]: Simplify 0 into 0
0.135 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 5) 120)) 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 1 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 1/120
0.136 * [backup-simplify]: Simplify (- (/ 1/120 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 1/120
0.136 * [backup-simplify]: Simplify 1/120 into 1/120
0.136 * [backup-simplify]: Simplify (+ (* 1/120 (pow y 4)) (+ (* -1/6 (pow y 2)) 1)) into (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
0.136 * [backup-simplify]: Simplify (/ (sin (/ 1 y)) (/ 1 y)) into (* (sin (/ 1 y)) y)
0.136 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0
0.136 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
0.136 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.136 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.137 * [taylor]: Taking taylor expansion of y in y
0.137 * [backup-simplify]: Simplify 0 into 0
0.137 * [backup-simplify]: Simplify 1 into 1
0.137 * [backup-simplify]: Simplify (/ 1 1) into 1
0.137 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
0.137 * [taylor]: Taking taylor expansion of y in y
0.137 * [backup-simplify]: Simplify 0 into 0
0.137 * [backup-simplify]: Simplify 1 into 1
0.137 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
0.137 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.137 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.137 * [taylor]: Taking taylor expansion of y in y
0.137 * [backup-simplify]: Simplify 0 into 0
0.137 * [backup-simplify]: Simplify 1 into 1
0.137 * [backup-simplify]: Simplify (/ 1 1) into 1
0.137 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
0.137 * [taylor]: Taking taylor expansion of y in y
0.137 * [backup-simplify]: Simplify 0 into 0
0.137 * [backup-simplify]: Simplify 1 into 1
0.137 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
0.138 * [backup-simplify]: Simplify 0 into 0
0.138 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 1) (* 0 0)) into (sin (/ 1 y))
0.138 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
0.138 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 1) (* 0 0))) into 0
0.138 * [backup-simplify]: Simplify 0 into 0
0.139 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.139 * [backup-simplify]: Simplify 0 into 0
0.140 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
0.140 * [backup-simplify]: Simplify 0 into 0
0.141 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
0.141 * [backup-simplify]: Simplify 0 into 0
0.142 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
0.142 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
0.143 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 y))) (/ 1 y)) into (/ (sin y) y)
0.143 * [backup-simplify]: Simplify (/ (sin (/ 1 (- y))) (/ 1 (- y))) into (* -1 (* y (sin (/ -1 y))))
0.143 * [approximate]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in (y) around 0
0.143 * [taylor]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in y
0.143 * [taylor]: Taking taylor expansion of -1 in y
0.143 * [backup-simplify]: Simplify -1 into -1
0.143 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
0.143 * [taylor]: Taking taylor expansion of y in y
0.143 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify 1 into 1
0.143 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.143 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.143 * [taylor]: Taking taylor expansion of -1 in y
0.143 * [backup-simplify]: Simplify -1 into -1
0.143 * [taylor]: Taking taylor expansion of y in y
0.143 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify 1 into 1
0.143 * [backup-simplify]: Simplify (/ -1 1) into -1
0.143 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
0.143 * [taylor]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in y
0.143 * [taylor]: Taking taylor expansion of -1 in y
0.143 * [backup-simplify]: Simplify -1 into -1
0.143 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
0.143 * [taylor]: Taking taylor expansion of y in y
0.144 * [backup-simplify]: Simplify 0 into 0
0.144 * [backup-simplify]: Simplify 1 into 1
0.144 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.144 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.144 * [taylor]: Taking taylor expansion of -1 in y
0.144 * [backup-simplify]: Simplify -1 into -1
0.144 * [taylor]: Taking taylor expansion of y in y
0.144 * [backup-simplify]: Simplify 0 into 0
0.144 * [backup-simplify]: Simplify 1 into 1
0.144 * [backup-simplify]: Simplify (/ -1 1) into -1
0.144 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
0.144 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0
0.144 * [backup-simplify]: Simplify (* -1 0) into 0
0.144 * [backup-simplify]: Simplify 0 into 0
0.145 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
0.145 * [backup-simplify]: Simplify (+ (* -1 (sin (/ -1 y))) (* 0 0)) into (- (sin (/ -1 y)))
0.145 * [backup-simplify]: Simplify (- (sin (/ -1 y))) into (- (sin (/ -1 y)))
0.146 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ -1 y))))) into 0
0.146 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))) into 0
0.146 * [backup-simplify]: Simplify 0 into 0
0.147 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0
0.148 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))) into 0
0.148 * [backup-simplify]: Simplify 0 into 0
0.149 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))) into 0
0.150 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))) into 0
0.150 * [backup-simplify]: Simplify 0 into 0
0.151 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))) into 0
0.152 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))) into 0
0.152 * [backup-simplify]: Simplify 0 into 0
0.153 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))))) into 0
0.155 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))))) into 0
0.155 * [backup-simplify]: Simplify 0 into 0
0.156 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))))) into 0
0.158 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))))) into 0
0.158 * [backup-simplify]: Simplify 0 into 0
0.158 * [backup-simplify]: Simplify (* (- (sin (/ -1 (/ 1 (- y))))) (/ 1 (- y))) into (/ (sin y) y)
0.158 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.158 * [backup-simplify]: Simplify (* x (/ (sin y) y)) into (/ (* x (sin y)) y)
0.158 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) y) in (x y) around 0
0.158 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in y
0.158 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
0.158 * [taylor]: Taking taylor expansion of x in y
0.158 * [backup-simplify]: Simplify x into x
0.158 * [taylor]: Taking taylor expansion of (sin y) in y
0.158 * [taylor]: Taking taylor expansion of y in y
0.158 * [backup-simplify]: Simplify 0 into 0
0.158 * [backup-simplify]: Simplify 1 into 1
0.158 * [taylor]: Taking taylor expansion of y in y
0.158 * [backup-simplify]: Simplify 0 into 0
0.158 * [backup-simplify]: Simplify 1 into 1
0.159 * [backup-simplify]: Simplify (* x 0) into 0
0.159 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
0.159 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.159 * [backup-simplify]: Simplify (/ x 1) into x
0.159 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x
0.159 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.159 * [taylor]: Taking taylor expansion of x in x
0.159 * [backup-simplify]: Simplify 0 into 0
0.159 * [backup-simplify]: Simplify 1 into 1
0.159 * [taylor]: Taking taylor expansion of (sin y) in x
0.159 * [taylor]: Taking taylor expansion of y in x
0.159 * [backup-simplify]: Simplify y into y
0.160 * [backup-simplify]: Simplify (sin y) into (sin y)
0.160 * [backup-simplify]: Simplify (cos y) into (cos y)
0.160 * [taylor]: Taking taylor expansion of y in x
0.160 * [backup-simplify]: Simplify y into y
0.160 * [backup-simplify]: Simplify (* (sin y) 1) into (sin y)
0.160 * [backup-simplify]: Simplify (* (cos y) 0) into 0
0.160 * [backup-simplify]: Simplify (+ (sin y) 0) into (sin y)
0.160 * [backup-simplify]: Simplify (* 0 (sin y)) into 0
0.161 * [backup-simplify]: Simplify (+ 0) into 0
0.161 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 1)) into 0
0.162 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.162 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 0)) into 0
0.163 * [backup-simplify]: Simplify (+ 0 0) into 0
0.163 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin y))) into (sin y)
0.163 * [backup-simplify]: Simplify (/ (sin y) y) into (/ (sin y) y)
0.163 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x
0.163 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.163 * [taylor]: Taking taylor expansion of x in x
0.163 * [backup-simplify]: Simplify 0 into 0
0.163 * [backup-simplify]: Simplify 1 into 1
0.163 * [taylor]: Taking taylor expansion of (sin y) in x
0.163 * [taylor]: Taking taylor expansion of y in x
0.163 * [backup-simplify]: Simplify y into y
0.164 * [backup-simplify]: Simplify (sin y) into (sin y)
0.164 * [backup-simplify]: Simplify (cos y) into (cos y)
0.164 * [taylor]: Taking taylor expansion of y in x
0.164 * [backup-simplify]: Simplify y into y
0.164 * [backup-simplify]: Simplify (* (sin y) 1) into (sin y)
0.164 * [backup-simplify]: Simplify (* (cos y) 0) into 0
0.164 * [backup-simplify]: Simplify (+ (sin y) 0) into (sin y)
0.164 * [backup-simplify]: Simplify (* 0 (sin y)) into 0
0.164 * [backup-simplify]: Simplify (+ 0) into 0
0.165 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 1)) into 0
0.165 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.166 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 0)) into 0
0.166 * [backup-simplify]: Simplify (+ 0 0) into 0
0.167 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin y))) into (sin y)
0.167 * [backup-simplify]: Simplify (/ (sin y) y) into (/ (sin y) y)
0.167 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
0.167 * [taylor]: Taking taylor expansion of (sin y) in y
0.167 * [taylor]: Taking taylor expansion of y in y
0.167 * [backup-simplify]: Simplify 0 into 0
0.167 * [backup-simplify]: Simplify 1 into 1
0.167 * [taylor]: Taking taylor expansion of y in y
0.167 * [backup-simplify]: Simplify 0 into 0
0.167 * [backup-simplify]: Simplify 1 into 1
0.168 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
0.168 * [backup-simplify]: Simplify (/ 1 1) into 1
0.168 * [backup-simplify]: Simplify 1 into 1
0.169 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.169 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (* 0 1))) into 0
0.170 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.171 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (* 0 0))) into 0
0.171 * [backup-simplify]: Simplify (+ 0 0) into 0
0.172 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin y)))) into 0
0.172 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sin y) y) (/ 0 y)))) into 0
0.172 * [taylor]: Taking taylor expansion of 0 in y
0.172 * [backup-simplify]: Simplify 0 into 0
0.172 * [backup-simplify]: Simplify 0 into 0
0.173 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.174 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
0.174 * [backup-simplify]: Simplify 0 into 0
0.174 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.175 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.176 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
0.177 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
0.177 * [backup-simplify]: Simplify (+ 0 0) into 0
0.178 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin y))))) into 0
0.179 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sin y) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.179 * [taylor]: Taking taylor expansion of 0 in y
0.179 * [backup-simplify]: Simplify 0 into 0
0.179 * [backup-simplify]: Simplify 0 into 0
0.179 * [backup-simplify]: Simplify 0 into 0
0.180 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
0.181 * [backup-simplify]: Simplify (- (/ -1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into -1/6
0.181 * [backup-simplify]: Simplify -1/6 into -1/6
0.183 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
0.184 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.185 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
0.186 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
0.186 * [backup-simplify]: Simplify (+ 0 0) into 0
0.187 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin y)))))) into 0
0.187 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sin y) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.188 * [taylor]: Taking taylor expansion of 0 in y
0.188 * [backup-simplify]: Simplify 0 into 0
0.188 * [backup-simplify]: Simplify 0 into 0
0.188 * [backup-simplify]: Simplify 0 into 0
0.188 * [backup-simplify]: Simplify 0 into 0
0.189 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
0.190 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)))) into 0
0.190 * [backup-simplify]: Simplify 0 into 0
0.191 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.193 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.195 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 5) 120)) 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
0.196 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
0.196 * [backup-simplify]: Simplify (+ 0 0) into 0
0.197 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin y))))))) into 0
0.197 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sin y) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.197 * [taylor]: Taking taylor expansion of 0 in y
0.197 * [backup-simplify]: Simplify 0 into 0
0.197 * [backup-simplify]: Simplify 0 into 0
0.197 * [backup-simplify]: Simplify 0 into 0
0.198 * [backup-simplify]: Simplify (+ (* -1/6 (* (pow y 2) x)) (* 1 (* 1 x))) into (- x (* 1/6 (* x (pow y 2))))
0.198 * [backup-simplify]: Simplify (* (/ 1 x) (/ (sin (/ 1 y)) (/ 1 y))) into (/ (* (sin (/ 1 y)) y) x)
0.198 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in (x y) around 0
0.198 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in y
0.198 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
0.198 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.198 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.198 * [taylor]: Taking taylor expansion of y in y
0.198 * [backup-simplify]: Simplify 0 into 0
0.198 * [backup-simplify]: Simplify 1 into 1
0.198 * [backup-simplify]: Simplify (/ 1 1) into 1
0.198 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
0.198 * [taylor]: Taking taylor expansion of y in y
0.198 * [backup-simplify]: Simplify 0 into 0
0.198 * [backup-simplify]: Simplify 1 into 1
0.198 * [taylor]: Taking taylor expansion of x in y
0.198 * [backup-simplify]: Simplify x into x
0.198 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
0.199 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 1) (* 0 0)) into (sin (/ 1 y))
0.199 * [backup-simplify]: Simplify (/ (sin (/ 1 y)) x) into (/ (sin (/ 1 y)) x)
0.199 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x
0.199 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x
0.199 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.199 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.199 * [taylor]: Taking taylor expansion of y in x
0.199 * [backup-simplify]: Simplify y into y
0.199 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.199 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
0.199 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
0.199 * [taylor]: Taking taylor expansion of y in x
0.199 * [backup-simplify]: Simplify y into y
0.199 * [taylor]: Taking taylor expansion of x in x
0.199 * [backup-simplify]: Simplify 0 into 0
0.199 * [backup-simplify]: Simplify 1 into 1
0.199 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 1) into (sin (/ 1 y))
0.199 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 0) into 0
0.199 * [backup-simplify]: Simplify (+ (sin (/ 1 y)) 0) into (sin (/ 1 y))
0.199 * [backup-simplify]: Simplify (* (sin (/ 1 y)) y) into (* (sin (/ 1 y)) y)
0.199 * [backup-simplify]: Simplify (/ (* (sin (/ 1 y)) y) 1) into (* (sin (/ 1 y)) y)
0.199 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x
0.199 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x
0.199 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.199 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.199 * [taylor]: Taking taylor expansion of y in x
0.199 * [backup-simplify]: Simplify y into y
0.199 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.199 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
0.200 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
0.200 * [taylor]: Taking taylor expansion of y in x
0.200 * [backup-simplify]: Simplify y into y
0.200 * [taylor]: Taking taylor expansion of x in x
0.200 * [backup-simplify]: Simplify 0 into 0
0.200 * [backup-simplify]: Simplify 1 into 1
0.200 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 1) into (sin (/ 1 y))
0.200 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 0) into 0
0.200 * [backup-simplify]: Simplify (+ (sin (/ 1 y)) 0) into (sin (/ 1 y))
0.200 * [backup-simplify]: Simplify (* (sin (/ 1 y)) y) into (* (sin (/ 1 y)) y)
0.200 * [backup-simplify]: Simplify (/ (* (sin (/ 1 y)) y) 1) into (* (sin (/ 1 y)) y)
0.200 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
0.200 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.200 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.200 * [taylor]: Taking taylor expansion of y in y
0.200 * [backup-simplify]: Simplify 0 into 0
0.200 * [backup-simplify]: Simplify 1 into 1
0.200 * [backup-simplify]: Simplify (/ 1 1) into 1
0.200 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
0.200 * [taylor]: Taking taylor expansion of y in y
0.200 * [backup-simplify]: Simplify 0 into 0
0.200 * [backup-simplify]: Simplify 1 into 1
0.201 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 1) (* 0 0)) into (sin (/ 1 y))
0.201 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
0.201 * [backup-simplify]: Simplify (+ 0) into 0
0.201 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 1)) into 0
0.201 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.202 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.202 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 0)) into 0
0.202 * [backup-simplify]: Simplify (+ 0 0) into 0
0.202 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 y)) into 0
0.203 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (sin (/ 1 y)) y) (/ 0 1)))) into 0
0.203 * [taylor]: Taking taylor expansion of 0 in y
0.203 * [backup-simplify]: Simplify 0 into 0
0.203 * [backup-simplify]: Simplify 0 into 0
0.204 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 1) (* 0 0))) into 0
0.204 * [backup-simplify]: Simplify 0 into 0
0.204 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.204 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
0.205 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.205 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.205 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
0.206 * [backup-simplify]: Simplify (+ 0 0) into 0
0.206 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 y))) into 0
0.207 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (sin (/ 1 y)) y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.207 * [taylor]: Taking taylor expansion of 0 in y
0.207 * [backup-simplify]: Simplify 0 into 0
0.207 * [backup-simplify]: Simplify 0 into 0
0.207 * [backup-simplify]: Simplify 0 into 0
0.207 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.207 * [backup-simplify]: Simplify 0 into 0
0.208 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.209 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.209 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.210 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
0.210 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
0.210 * [backup-simplify]: Simplify (+ 0 0) into 0
0.211 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
0.212 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (sin (/ 1 y)) y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.212 * [taylor]: Taking taylor expansion of 0 in y
0.212 * [backup-simplify]: Simplify 0 into 0
0.212 * [backup-simplify]: Simplify 0 into 0
0.212 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 y))) (* (/ 1 y) (/ 1 (/ 1 x)))) into (/ (* x (sin y)) y)
0.212 * [backup-simplify]: Simplify (* (/ 1 (- x)) (/ (sin (/ 1 (- y))) (/ 1 (- y)))) into (/ (* y (sin (/ -1 y))) x)
0.212 * [approximate]: Taking taylor expansion of (/ (* y (sin (/ -1 y))) x) in (x y) around 0
0.212 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ -1 y))) x) in y
0.212 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
0.212 * [taylor]: Taking taylor expansion of y in y
0.212 * [backup-simplify]: Simplify 0 into 0
0.212 * [backup-simplify]: Simplify 1 into 1
0.212 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.212 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.212 * [taylor]: Taking taylor expansion of -1 in y
0.212 * [backup-simplify]: Simplify -1 into -1
0.212 * [taylor]: Taking taylor expansion of y in y
0.212 * [backup-simplify]: Simplify 0 into 0
0.213 * [backup-simplify]: Simplify 1 into 1
0.213 * [backup-simplify]: Simplify (/ -1 1) into -1
0.213 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
0.213 * [taylor]: Taking taylor expansion of x in y
0.213 * [backup-simplify]: Simplify x into x
0.213 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0
0.216 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
0.216 * [backup-simplify]: Simplify (/ (sin (/ -1 y)) x) into (/ (sin (/ -1 y)) x)
0.216 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ -1 y))) x) in x
0.216 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in x
0.216 * [taylor]: Taking taylor expansion of y in x
0.216 * [backup-simplify]: Simplify y into y
0.216 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.216 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.216 * [taylor]: Taking taylor expansion of -1 in x
0.216 * [backup-simplify]: Simplify -1 into -1
0.216 * [taylor]: Taking taylor expansion of y in x
0.216 * [backup-simplify]: Simplify y into y
0.216 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.216 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
0.216 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
0.216 * [taylor]: Taking taylor expansion of x in x
0.216 * [backup-simplify]: Simplify 0 into 0
0.216 * [backup-simplify]: Simplify 1 into 1
0.217 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 1) into (sin (/ -1 y))
0.217 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 0) into 0
0.217 * [backup-simplify]: Simplify (+ (sin (/ -1 y)) 0) into (sin (/ -1 y))
0.217 * [backup-simplify]: Simplify (* y (sin (/ -1 y))) into (* y (sin (/ -1 y)))
0.217 * [backup-simplify]: Simplify (/ (* y (sin (/ -1 y))) 1) into (* y (sin (/ -1 y)))
0.217 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ -1 y))) x) in x
0.217 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in x
0.217 * [taylor]: Taking taylor expansion of y in x
0.217 * [backup-simplify]: Simplify y into y
0.217 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.217 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.217 * [taylor]: Taking taylor expansion of -1 in x
0.217 * [backup-simplify]: Simplify -1 into -1
0.217 * [taylor]: Taking taylor expansion of y in x
0.217 * [backup-simplify]: Simplify y into y
0.217 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.217 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
0.217 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
0.217 * [taylor]: Taking taylor expansion of x in x
0.217 * [backup-simplify]: Simplify 0 into 0
0.217 * [backup-simplify]: Simplify 1 into 1
0.217 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 1) into (sin (/ -1 y))
0.217 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 0) into 0
0.217 * [backup-simplify]: Simplify (+ (sin (/ -1 y)) 0) into (sin (/ -1 y))
0.217 * [backup-simplify]: Simplify (* y (sin (/ -1 y))) into (* y (sin (/ -1 y)))
0.217 * [backup-simplify]: Simplify (/ (* y (sin (/ -1 y))) 1) into (* y (sin (/ -1 y)))
0.218 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
0.218 * [taylor]: Taking taylor expansion of y in y
0.218 * [backup-simplify]: Simplify 0 into 0
0.218 * [backup-simplify]: Simplify 1 into 1
0.218 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.218 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.218 * [taylor]: Taking taylor expansion of -1 in y
0.218 * [backup-simplify]: Simplify -1 into -1
0.218 * [taylor]: Taking taylor expansion of y in y
0.218 * [backup-simplify]: Simplify 0 into 0
0.218 * [backup-simplify]: Simplify 1 into 1
0.218 * [backup-simplify]: Simplify (/ -1 1) into -1
0.218 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
0.219 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
0.219 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
0.219 * [backup-simplify]: Simplify (+ 0) into 0
0.219 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 1)) into 0
0.219 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
0.220 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.220 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 0)) into 0
0.220 * [backup-simplify]: Simplify (+ 0 0) into 0
0.220 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (sin (/ -1 y)))) into 0
0.221 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ -1 y))) (/ 0 1)))) into 0
0.221 * [taylor]: Taking taylor expansion of 0 in y
0.221 * [backup-simplify]: Simplify 0 into 0
0.221 * [backup-simplify]: Simplify 0 into 0
0.222 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ -1 y))))) into 0
0.222 * [backup-simplify]: Simplify 0 into 0
0.222 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.223 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
0.223 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.223 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.223 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
0.224 * [backup-simplify]: Simplify (+ 0 0) into 0
0.224 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))) into 0
0.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ -1 y))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.225 * [taylor]: Taking taylor expansion of 0 in y
0.225 * [backup-simplify]: Simplify 0 into 0
0.225 * [backup-simplify]: Simplify 0 into 0
0.225 * [backup-simplify]: Simplify 0 into 0
0.226 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0
0.226 * [backup-simplify]: Simplify 0 into 0
0.227 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.227 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.227 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.228 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
0.229 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
0.229 * [backup-simplify]: Simplify (+ 0 0) into 0
0.230 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0
0.232 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ -1 y))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.232 * [taylor]: Taking taylor expansion of 0 in y
0.232 * [backup-simplify]: Simplify 0 into 0
0.232 * [backup-simplify]: Simplify 0 into 0
0.232 * [backup-simplify]: Simplify (* (sin (/ -1 (/ 1 (- y)))) (* (/ 1 (- y)) (/ 1 (/ 1 (- x))))) into (/ (* x (sin y)) y)
0.232 * * * [progress]: simplifying candidates
0.234 * [simplify]: Simplifying:
  (expm1 (/ (sin y) y))
  (log1p (/ (sin y) y))
  (- (log (sin y)) (log y))
  (log (/ (sin y) y))
  (exp (/ (sin y) y))
  (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (cbrt (/ (sin y) y))
  (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y))
  (sqrt (/ (sin y) y))
  (sqrt (/ (sin y) y))
  (- (sin y))
  (- y)
  (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (sin y)) (cbrt y))
  (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))
  (/ (cbrt (sin y)) (sqrt y))
  (/ (* (cbrt (sin y)) (cbrt (sin y))) 1)
  (/ (cbrt (sin y)) y)
  (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (sin y)) (cbrt y))
  (/ (sqrt (sin y)) (sqrt y))
  (/ (sqrt (sin y)) (sqrt y))
  (/ (sqrt (sin y)) 1)
  (/ (sqrt (sin y)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (sin y) (cbrt y))
  (/ 1 (sqrt y))
  (/ (sin y) (sqrt y))
  (/ 1 1)
  (/ (sin y) y)
  (/ 1 y)
  (/ y (sin y))
  (/ (sin y) (* (cbrt y) (cbrt y)))
  (/ (sin y) (sqrt y))
  (/ (sin y) 1)
  (/ y (cbrt (sin y)))
  (/ y (sqrt (sin y)))
  (/ y (sin y))
  (expm1 (* x (/ (sin y) y)))
  (log1p (* x (/ (sin y) y)))
  (* x (/ (sin y) y))
  (+ (log x) (- (log (sin y)) (log y)))
  (+ (log x) (log (/ (sin y) y)))
  (log (* x (/ (sin y) y)))
  (exp (* x (/ (sin y) y)))
  (* (* (* x x) x) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y)))
  (* (* (* x x) x) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y)))
  (* (cbrt (* x (/ (sin y) y))) (cbrt (* x (/ (sin y) y))))
  (cbrt (* x (/ (sin y) y)))
  (* (* (* x (/ (sin y) y)) (* x (/ (sin y) y))) (* x (/ (sin y) y)))
  (sqrt (* x (/ (sin y) y)))
  (sqrt (* x (/ (sin y) y)))
  (* (sqrt x) (sqrt (/ (sin y) y)))
  (* (sqrt x) (sqrt (/ (sin y) y)))
  (* (sqrt x) (/ (sqrt (sin y)) (sqrt y)))
  (* (sqrt x) (/ (sqrt (sin y)) (sqrt y)))
  (* x (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))
  (* x (sqrt (/ (sin y) y)))
  (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))))
  (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)))
  (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) 1))
  (* x (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))))
  (* x (/ (sqrt (sin y)) (sqrt y)))
  (* x (/ (sqrt (sin y)) 1))
  (* x (/ 1 (* (cbrt y) (cbrt y))))
  (* x (/ 1 (sqrt y)))
  (* x (/ 1 1))
  (* x 1)
  (* x (sin y))
  (* (cbrt x) (/ (sin y) y))
  (* (sqrt x) (/ (sin y) y))
  (* x (/ (sin y) y))
  (* x (sin y))
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
  (- x (* 1/6 (* x (pow y 2))))
  (/ (* x (sin y)) y)
  (/ (* x (sin y)) y)
0.235 * * [simplify]: iteration 0: 102 enodes
0.257 * * [simplify]: iteration 1: 237 enodes
0.364 * * [simplify]: iteration 2: 1002 enodes
0.655 * * [simplify]: iteration complete: 5000 enodes
0.655 * * [simplify]: Extracting #0: cost 64 inf + 0
0.658 * * [simplify]: Extracting #1: cost 827 inf + 2
0.667 * * [simplify]: Extracting #2: cost 2070 inf + 3385
0.689 * * [simplify]: Extracting #3: cost 1362 inf + 93403
0.759 * * [simplify]: Extracting #4: cost 210 inf + 314840
0.826 * * [simplify]: Extracting #5: cost 1 inf + 359986
0.907 * * [simplify]: Extracting #6: cost 0 inf + 359695
0.992 * [simplify]: Simplified to:
  (expm1 (/ (sin y) y))
  (log1p (/ (sin y) y))
  (log (/ (sin y) y))
  (log (/ (sin y) y))
  (exp (/ (sin y) y))
  (* (/ (sin y) y) (* (/ (sin y) y) (/ (sin y) y)))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (cbrt (/ (sin y) y))
  (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y))
  (sqrt (/ (sin y) y))
  (sqrt (/ (sin y) y))
  (- (sin y))
  (- y)
  (* (/ (cbrt (sin y)) (cbrt y)) (/ (cbrt (sin y)) (cbrt y)))
  (/ (cbrt (sin y)) (cbrt y))
  (* (/ (cbrt (sin y)) (sqrt y)) (cbrt (sin y)))
  (/ (cbrt (sin y)) (sqrt y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (/ (cbrt (sin y)) y)
  (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (sin y)) (cbrt y))
  (/ (sqrt (sin y)) (sqrt y))
  (/ (sqrt (sin y)) (sqrt y))
  (sqrt (sin y))
  (/ (sqrt (sin y)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (sin y) (cbrt y))
  (/ 1 (sqrt y))
  (/ (sin y) (sqrt y))
  1
  (/ (sin y) y)
  (/ 1 y)
  (/ y (sin y))
  (/ (sin y) (* (cbrt y) (cbrt y)))
  (/ (sin y) (sqrt y))
  (sin y)
  (/ y (cbrt (sin y)))
  (/ y (sqrt (sin y)))
  (/ y (sin y))
  (expm1 (/ (* x (sin y)) y))
  (log1p (/ (* x (sin y)) y))
  (/ (* x (sin y)) y)
  (log (/ (* x (sin y)) y))
  (log (/ (* x (sin y)) y))
  (log (/ (* x (sin y)) y))
  (exp (/ (* x (sin y)) y))
  (* (* x x) (* x (* (/ (sin y) y) (* (/ (sin y) y) (/ (sin y) y)))))
  (* (* (/ (sin y) y) x) (* (* x (/ (sin y) y)) (* x (/ (sin y) y))))
  (* (cbrt (/ (* x (sin y)) y)) (cbrt (/ (* x (sin y)) y)))
  (cbrt (/ (* x (sin y)) y))
  (* (* x (/ (sin y) y)) (* (* x (/ (sin y) y)) (* x (/ (sin y) y))))
  (sqrt (/ (* x (sin y)) y))
  (sqrt (/ (* x (sin y)) y))
  (* (sqrt x) (sqrt (/ (sin y) y)))
  (* (sqrt x) (sqrt (/ (sin y) y)))
  (/ (sqrt x) (/ (sqrt y) (sqrt (sin y))))
  (/ (sqrt x) (/ (sqrt y) (sqrt (sin y))))
  (* x (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))
  (* x (sqrt (/ (sin y) y)))
  (/ x (* (/ (cbrt y) (cbrt (sin y))) (/ (cbrt y) (cbrt (sin y)))))
  (* (* (/ (cbrt (sin y)) (sqrt y)) (cbrt (sin y))) x)
  (* (* x (cbrt (sin y))) (cbrt (sin y)))
  (/ (* x (sqrt (sin y))) (* (cbrt y) (cbrt y)))
  (/ (* x (sqrt (sin y))) (sqrt y))
  (* (sqrt (sin y)) x)
  (/ (/ x (cbrt y)) (cbrt y))
  (/ x (sqrt y))
  x
  x
  (* (sin y) x)
  (/ (* (cbrt x) (sin y)) y)
  (* (/ (sin y) y) (sqrt x))
  (/ (* x (sin y)) y)
  (* (sin y) x)
  (fma -1/6 (* y y) (fma 1/120 (* (* y y) (* y y)) 1))
  (/ (sin y) y)
  (/ (sin y) y)
  (fma -1/6 (* (* x y) y) x)
  (/ x (/ y (sin y)))
  (/ x (/ y (sin y)))
0.994 * * * [progress]: adding candidates to table
1.313 * * [progress]: iteration 2 / 4
1.313 * * * [progress]: picking best candidate
1.340 * * * * [pick]: Picked  #<alt (λ (x y) (* x (/ 1 (/ y (sin y)))))>
1.340 * * * [progress]: localizing error
1.358 * * * [progress]: generating rewritten candidates
1.358 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
1.373 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
1.380 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1.424 * * * [progress]: generating series expansions
1.424 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
1.424 * [backup-simplify]: Simplify (/ 1 (/ y (sin y))) into (/ (sin y) y)
1.425 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0
1.425 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
1.425 * [taylor]: Taking taylor expansion of (sin y) in y
1.425 * [taylor]: Taking taylor expansion of y in y
1.425 * [backup-simplify]: Simplify 0 into 0
1.425 * [backup-simplify]: Simplify 1 into 1
1.425 * [taylor]: Taking taylor expansion of y in y
1.425 * [backup-simplify]: Simplify 0 into 0
1.425 * [backup-simplify]: Simplify 1 into 1
1.426 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1.426 * [backup-simplify]: Simplify (/ 1 1) into 1
1.426 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
1.426 * [taylor]: Taking taylor expansion of (sin y) in y
1.426 * [taylor]: Taking taylor expansion of y in y
1.426 * [backup-simplify]: Simplify 0 into 0
1.426 * [backup-simplify]: Simplify 1 into 1
1.426 * [taylor]: Taking taylor expansion of y in y
1.426 * [backup-simplify]: Simplify 0 into 0
1.426 * [backup-simplify]: Simplify 1 into 1
1.427 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1.427 * [backup-simplify]: Simplify (/ 1 1) into 1
1.428 * [backup-simplify]: Simplify 1 into 1
1.428 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.429 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
1.429 * [backup-simplify]: Simplify 0 into 0
1.430 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
1.430 * [backup-simplify]: Simplify (- (/ -1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into -1/6
1.430 * [backup-simplify]: Simplify -1/6 into -1/6
1.431 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
1.432 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)))) into 0
1.432 * [backup-simplify]: Simplify 0 into 0
1.435 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 5) 120)) 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 1 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 1/120
1.436 * [backup-simplify]: Simplify (- (/ 1/120 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 1/120
1.436 * [backup-simplify]: Simplify 1/120 into 1/120
1.436 * [backup-simplify]: Simplify (+ (* 1/120 (pow y 4)) (+ (* -1/6 (pow y 2)) 1)) into (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
1.436 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 y) (sin (/ 1 y)))) into (* y (sin (/ 1 y)))
1.436 * [approximate]: Taking taylor expansion of (* y (sin (/ 1 y))) in (y) around 0
1.436 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y
1.437 * [taylor]: Taking taylor expansion of y in y
1.437 * [backup-simplify]: Simplify 0 into 0
1.437 * [backup-simplify]: Simplify 1 into 1
1.437 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.437 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.437 * [taylor]: Taking taylor expansion of y in y
1.437 * [backup-simplify]: Simplify 0 into 0
1.437 * [backup-simplify]: Simplify 1 into 1
1.437 * [backup-simplify]: Simplify (/ 1 1) into 1
1.437 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.437 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y
1.437 * [taylor]: Taking taylor expansion of y in y
1.437 * [backup-simplify]: Simplify 0 into 0
1.437 * [backup-simplify]: Simplify 1 into 1
1.437 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.437 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.437 * [taylor]: Taking taylor expansion of y in y
1.437 * [backup-simplify]: Simplify 0 into 0
1.437 * [backup-simplify]: Simplify 1 into 1
1.438 * [backup-simplify]: Simplify (/ 1 1) into 1
1.438 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.438 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0
1.438 * [backup-simplify]: Simplify 0 into 0
1.438 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y))
1.438 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.439 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ 1 y))))) into 0
1.439 * [backup-simplify]: Simplify 0 into 0
1.440 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))) into 0
1.440 * [backup-simplify]: Simplify 0 into 0
1.442 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))) into 0
1.442 * [backup-simplify]: Simplify 0 into 0
1.443 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))) into 0
1.443 * [backup-simplify]: Simplify 0 into 0
1.445 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))))) into 0
1.445 * [backup-simplify]: Simplify 0 into 0
1.447 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))))) into 0
1.448 * [backup-simplify]: Simplify 0 into 0
1.448 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 y))) (/ 1 y)) into (/ (sin y) y)
1.448 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 (- y)) (sin (/ 1 (- y))))) into (* -1 (* y (sin (/ -1 y))))
1.448 * [approximate]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in (y) around 0
1.448 * [taylor]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in y
1.448 * [taylor]: Taking taylor expansion of -1 in y
1.448 * [backup-simplify]: Simplify -1 into -1
1.448 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
1.448 * [taylor]: Taking taylor expansion of y in y
1.448 * [backup-simplify]: Simplify 0 into 0
1.448 * [backup-simplify]: Simplify 1 into 1
1.448 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.448 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.448 * [taylor]: Taking taylor expansion of -1 in y
1.448 * [backup-simplify]: Simplify -1 into -1
1.448 * [taylor]: Taking taylor expansion of y in y
1.448 * [backup-simplify]: Simplify 0 into 0
1.448 * [backup-simplify]: Simplify 1 into 1
1.449 * [backup-simplify]: Simplify (/ -1 1) into -1
1.449 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.449 * [taylor]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in y
1.449 * [taylor]: Taking taylor expansion of -1 in y
1.449 * [backup-simplify]: Simplify -1 into -1
1.449 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
1.449 * [taylor]: Taking taylor expansion of y in y
1.449 * [backup-simplify]: Simplify 0 into 0
1.449 * [backup-simplify]: Simplify 1 into 1
1.449 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.449 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.449 * [taylor]: Taking taylor expansion of -1 in y
1.449 * [backup-simplify]: Simplify -1 into -1
1.449 * [taylor]: Taking taylor expansion of y in y
1.449 * [backup-simplify]: Simplify 0 into 0
1.449 * [backup-simplify]: Simplify 1 into 1
1.449 * [backup-simplify]: Simplify (/ -1 1) into -1
1.450 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.450 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0
1.450 * [backup-simplify]: Simplify (* -1 0) into 0
1.450 * [backup-simplify]: Simplify 0 into 0
1.451 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
1.451 * [backup-simplify]: Simplify (+ (* -1 (sin (/ -1 y))) (* 0 0)) into (- (sin (/ -1 y)))
1.451 * [backup-simplify]: Simplify (- (sin (/ -1 y))) into (- (sin (/ -1 y)))
1.452 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ -1 y))))) into 0
1.453 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))) into 0
1.453 * [backup-simplify]: Simplify 0 into 0
1.454 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0
1.455 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))) into 0
1.455 * [backup-simplify]: Simplify 0 into 0
1.456 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))) into 0
1.457 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))) into 0
1.457 * [backup-simplify]: Simplify 0 into 0
1.459 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))) into 0
1.461 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))) into 0
1.461 * [backup-simplify]: Simplify 0 into 0
1.463 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))))) into 0
1.465 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))))) into 0
1.465 * [backup-simplify]: Simplify 0 into 0
1.467 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))))) into 0
1.469 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))))) into 0
1.469 * [backup-simplify]: Simplify 0 into 0
1.469 * [backup-simplify]: Simplify (* (- (sin (/ -1 (/ 1 (- y))))) (/ 1 (- y))) into (/ (sin y) y)
1.469 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
1.469 * [backup-simplify]: Simplify (/ y (sin y)) into (/ y (sin y))
1.469 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0
1.470 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y
1.470 * [taylor]: Taking taylor expansion of y in y
1.470 * [backup-simplify]: Simplify 0 into 0
1.470 * [backup-simplify]: Simplify 1 into 1
1.470 * [taylor]: Taking taylor expansion of (sin y) in y
1.470 * [taylor]: Taking taylor expansion of y in y
1.470 * [backup-simplify]: Simplify 0 into 0
1.470 * [backup-simplify]: Simplify 1 into 1
1.470 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1.471 * [backup-simplify]: Simplify (/ 1 1) into 1
1.471 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y
1.471 * [taylor]: Taking taylor expansion of y in y
1.471 * [backup-simplify]: Simplify 0 into 0
1.471 * [backup-simplify]: Simplify 1 into 1
1.471 * [taylor]: Taking taylor expansion of (sin y) in y
1.471 * [taylor]: Taking taylor expansion of y in y
1.471 * [backup-simplify]: Simplify 0 into 0
1.471 * [backup-simplify]: Simplify 1 into 1
1.471 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1.472 * [backup-simplify]: Simplify (/ 1 1) into 1
1.472 * [backup-simplify]: Simplify 1 into 1
1.472 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.473 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
1.473 * [backup-simplify]: Simplify 0 into 0
1.474 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
1.475 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ -1/6 1)) (* 0 (/ 0 1)))) into 1/6
1.475 * [backup-simplify]: Simplify 1/6 into 1/6
1.476 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
1.477 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ -1/6 1)) (* 1/6 (/ 0 1)))) into 0
1.477 * [backup-simplify]: Simplify 0 into 0
1.480 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 5) 120)) 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 1 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 1/120
1.481 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 1/120 1)) (* 0 (/ 0 1)) (* 1/6 (/ -1/6 1)) (* 0 (/ 0 1)))) into 7/360
1.481 * [backup-simplify]: Simplify 7/360 into 7/360
1.482 * [backup-simplify]: Simplify (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1)) into (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1))
1.482 * [backup-simplify]: Simplify (/ (/ 1 y) (sin (/ 1 y))) into (/ 1 (* y (sin (/ 1 y))))
1.482 * [approximate]: Taking taylor expansion of (/ 1 (* y (sin (/ 1 y)))) in (y) around 0
1.482 * [taylor]: Taking taylor expansion of (/ 1 (* y (sin (/ 1 y)))) in y
1.482 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y
1.482 * [taylor]: Taking taylor expansion of y in y
1.482 * [backup-simplify]: Simplify 0 into 0
1.482 * [backup-simplify]: Simplify 1 into 1
1.482 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.482 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.482 * [taylor]: Taking taylor expansion of y in y
1.482 * [backup-simplify]: Simplify 0 into 0
1.482 * [backup-simplify]: Simplify 1 into 1
1.482 * [backup-simplify]: Simplify (/ 1 1) into 1
1.483 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.483 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0
1.483 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y))
1.483 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
1.483 * [taylor]: Taking taylor expansion of (/ 1 (* y (sin (/ 1 y)))) in y
1.483 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y
1.483 * [taylor]: Taking taylor expansion of y in y
1.483 * [backup-simplify]: Simplify 0 into 0
1.483 * [backup-simplify]: Simplify 1 into 1
1.483 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.483 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.483 * [taylor]: Taking taylor expansion of y in y
1.483 * [backup-simplify]: Simplify 0 into 0
1.483 * [backup-simplify]: Simplify 1 into 1
1.484 * [backup-simplify]: Simplify (/ 1 1) into 1
1.484 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.484 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0
1.484 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y))
1.484 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
1.484 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
1.485 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ 1 y))))) into 0
1.485 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))))) into 0
1.485 * [backup-simplify]: Simplify 0 into 0
1.486 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))) into 0
1.487 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
1.487 * [backup-simplify]: Simplify 0 into 0
1.488 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))) into 0
1.488 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
1.488 * [backup-simplify]: Simplify 0 into 0
1.490 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))) into 0
1.490 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
1.490 * [backup-simplify]: Simplify 0 into 0
1.492 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))))) into 0
1.492 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
1.493 * [backup-simplify]: Simplify 0 into 0
1.495 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))))) into 0
1.495 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
1.495 * [backup-simplify]: Simplify 0 into 0
1.495 * [backup-simplify]: Simplify (* (/ 1 (sin (/ 1 (/ 1 y)))) (/ 1 (/ 1 y))) into (/ y (sin y))
1.496 * [backup-simplify]: Simplify (/ (/ 1 (- y)) (sin (/ 1 (- y)))) into (/ -1 (* y (sin (/ -1 y))))
1.496 * [approximate]: Taking taylor expansion of (/ -1 (* y (sin (/ -1 y)))) in (y) around 0
1.496 * [taylor]: Taking taylor expansion of (/ -1 (* y (sin (/ -1 y)))) in y
1.496 * [taylor]: Taking taylor expansion of -1 in y
1.496 * [backup-simplify]: Simplify -1 into -1
1.496 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
1.496 * [taylor]: Taking taylor expansion of y in y
1.496 * [backup-simplify]: Simplify 0 into 0
1.496 * [backup-simplify]: Simplify 1 into 1
1.496 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.496 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.496 * [taylor]: Taking taylor expansion of -1 in y
1.496 * [backup-simplify]: Simplify -1 into -1
1.496 * [taylor]: Taking taylor expansion of y in y
1.496 * [backup-simplify]: Simplify 0 into 0
1.496 * [backup-simplify]: Simplify 1 into 1
1.496 * [backup-simplify]: Simplify (/ -1 1) into -1
1.496 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.496 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0
1.497 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
1.497 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y)))
1.497 * [taylor]: Taking taylor expansion of (/ -1 (* y (sin (/ -1 y)))) in y
1.497 * [taylor]: Taking taylor expansion of -1 in y
1.497 * [backup-simplify]: Simplify -1 into -1
1.497 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
1.497 * [taylor]: Taking taylor expansion of y in y
1.497 * [backup-simplify]: Simplify 0 into 0
1.497 * [backup-simplify]: Simplify 1 into 1
1.497 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.497 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.497 * [taylor]: Taking taylor expansion of -1 in y
1.497 * [backup-simplify]: Simplify -1 into -1
1.497 * [taylor]: Taking taylor expansion of y in y
1.497 * [backup-simplify]: Simplify 0 into 0
1.497 * [backup-simplify]: Simplify 1 into 1
1.497 * [backup-simplify]: Simplify (/ -1 1) into -1
1.498 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.498 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0
1.498 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
1.498 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y)))
1.498 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y)))
1.499 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ -1 y))))) into 0
1.499 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))))) into 0
1.499 * [backup-simplify]: Simplify 0 into 0
1.500 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0
1.501 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
1.501 * [backup-simplify]: Simplify 0 into 0
1.502 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))) into 0
1.502 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
1.502 * [backup-simplify]: Simplify 0 into 0
1.504 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))) into 0
1.504 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
1.504 * [backup-simplify]: Simplify 0 into 0
1.506 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))))) into 0
1.507 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
1.507 * [backup-simplify]: Simplify 0 into 0
1.509 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))))) into 0
1.509 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
1.509 * [backup-simplify]: Simplify 0 into 0
1.509 * [backup-simplify]: Simplify (* (/ -1 (sin (/ -1 (/ 1 (- y))))) (/ 1 (/ 1 (- y)))) into (/ y (sin y))
1.510 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1.510 * [backup-simplify]: Simplify (* x (/ 1 (/ y (sin y)))) into (/ (* x (sin y)) y)
1.510 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) y) in (x y) around 0
1.510 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in y
1.510 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
1.510 * [taylor]: Taking taylor expansion of x in y
1.510 * [backup-simplify]: Simplify x into x
1.510 * [taylor]: Taking taylor expansion of (sin y) in y
1.510 * [taylor]: Taking taylor expansion of y in y
1.510 * [backup-simplify]: Simplify 0 into 0
1.510 * [backup-simplify]: Simplify 1 into 1
1.510 * [taylor]: Taking taylor expansion of y in y
1.510 * [backup-simplify]: Simplify 0 into 0
1.510 * [backup-simplify]: Simplify 1 into 1
1.510 * [backup-simplify]: Simplify (* x 0) into 0
1.510 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1.511 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.511 * [backup-simplify]: Simplify (/ x 1) into x
1.511 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x
1.511 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
1.511 * [taylor]: Taking taylor expansion of x in x
1.511 * [backup-simplify]: Simplify 0 into 0
1.511 * [backup-simplify]: Simplify 1 into 1
1.511 * [taylor]: Taking taylor expansion of (sin y) in x
1.511 * [taylor]: Taking taylor expansion of y in x
1.511 * [backup-simplify]: Simplify y into y
1.511 * [backup-simplify]: Simplify (sin y) into (sin y)
1.511 * [backup-simplify]: Simplify (cos y) into (cos y)
1.511 * [taylor]: Taking taylor expansion of y in x
1.511 * [backup-simplify]: Simplify y into y
1.511 * [backup-simplify]: Simplify (* (sin y) 1) into (sin y)
1.511 * [backup-simplify]: Simplify (* (cos y) 0) into 0
1.511 * [backup-simplify]: Simplify (+ (sin y) 0) into (sin y)
1.511 * [backup-simplify]: Simplify (* 0 (sin y)) into 0
1.511 * [backup-simplify]: Simplify (+ 0) into 0
1.512 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 1)) into 0
1.512 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.512 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 0)) into 0
1.512 * [backup-simplify]: Simplify (+ 0 0) into 0
1.513 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin y))) into (sin y)
1.513 * [backup-simplify]: Simplify (/ (sin y) y) into (/ (sin y) y)
1.513 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x
1.513 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
1.513 * [taylor]: Taking taylor expansion of x in x
1.513 * [backup-simplify]: Simplify 0 into 0
1.513 * [backup-simplify]: Simplify 1 into 1
1.513 * [taylor]: Taking taylor expansion of (sin y) in x
1.513 * [taylor]: Taking taylor expansion of y in x
1.513 * [backup-simplify]: Simplify y into y
1.513 * [backup-simplify]: Simplify (sin y) into (sin y)
1.513 * [backup-simplify]: Simplify (cos y) into (cos y)
1.513 * [taylor]: Taking taylor expansion of y in x
1.513 * [backup-simplify]: Simplify y into y
1.513 * [backup-simplify]: Simplify (* (sin y) 1) into (sin y)
1.513 * [backup-simplify]: Simplify (* (cos y) 0) into 0
1.513 * [backup-simplify]: Simplify (+ (sin y) 0) into (sin y)
1.513 * [backup-simplify]: Simplify (* 0 (sin y)) into 0
1.513 * [backup-simplify]: Simplify (+ 0) into 0
1.514 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 1)) into 0
1.514 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.514 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 0)) into 0
1.515 * [backup-simplify]: Simplify (+ 0 0) into 0
1.515 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin y))) into (sin y)
1.515 * [backup-simplify]: Simplify (/ (sin y) y) into (/ (sin y) y)
1.515 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
1.515 * [taylor]: Taking taylor expansion of (sin y) in y
1.515 * [taylor]: Taking taylor expansion of y in y
1.515 * [backup-simplify]: Simplify 0 into 0
1.515 * [backup-simplify]: Simplify 1 into 1
1.515 * [taylor]: Taking taylor expansion of y in y
1.515 * [backup-simplify]: Simplify 0 into 0
1.515 * [backup-simplify]: Simplify 1 into 1
1.516 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1.516 * [backup-simplify]: Simplify (/ 1 1) into 1
1.516 * [backup-simplify]: Simplify 1 into 1
1.516 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.517 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (* 0 1))) into 0
1.517 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.518 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (* 0 0))) into 0
1.518 * [backup-simplify]: Simplify (+ 0 0) into 0
1.518 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin y)))) into 0
1.518 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sin y) y) (/ 0 y)))) into 0
1.519 * [taylor]: Taking taylor expansion of 0 in y
1.519 * [backup-simplify]: Simplify 0 into 0
1.519 * [backup-simplify]: Simplify 0 into 0
1.519 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.519 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
1.519 * [backup-simplify]: Simplify 0 into 0
1.520 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1.520 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.521 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1.522 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1.522 * [backup-simplify]: Simplify (+ 0 0) into 0
1.523 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin y))))) into 0
1.523 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sin y) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.523 * [taylor]: Taking taylor expansion of 0 in y
1.523 * [backup-simplify]: Simplify 0 into 0
1.523 * [backup-simplify]: Simplify 0 into 0
1.523 * [backup-simplify]: Simplify 0 into 0
1.524 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
1.524 * [backup-simplify]: Simplify (- (/ -1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into -1/6
1.524 * [backup-simplify]: Simplify -1/6 into -1/6
1.528 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
1.528 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.529 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
1.529 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
1.530 * [backup-simplify]: Simplify (+ 0 0) into 0
1.531 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin y)))))) into 0
1.531 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sin y) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.531 * [taylor]: Taking taylor expansion of 0 in y
1.531 * [backup-simplify]: Simplify 0 into 0
1.531 * [backup-simplify]: Simplify 0 into 0
1.531 * [backup-simplify]: Simplify 0 into 0
1.531 * [backup-simplify]: Simplify 0 into 0
1.533 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
1.534 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)))) into 0
1.534 * [backup-simplify]: Simplify 0 into 0
1.535 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1.536 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.538 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 5) 120)) 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
1.538 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
1.539 * [backup-simplify]: Simplify (+ 0 0) into 0
1.540 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin y))))))) into 0
1.540 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sin y) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.540 * [taylor]: Taking taylor expansion of 0 in y
1.541 * [backup-simplify]: Simplify 0 into 0
1.541 * [backup-simplify]: Simplify 0 into 0
1.541 * [backup-simplify]: Simplify 0 into 0
1.541 * [backup-simplify]: Simplify (+ (* -1/6 (* (pow y 2) x)) (* 1 (* 1 x))) into (- x (* 1/6 (* x (pow y 2))))
1.541 * [backup-simplify]: Simplify (* (/ 1 x) (/ 1 (/ (/ 1 y) (sin (/ 1 y))))) into (/ (* y (sin (/ 1 y))) x)
1.541 * [approximate]: Taking taylor expansion of (/ (* y (sin (/ 1 y))) x) in (x y) around 0
1.541 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ 1 y))) x) in y
1.541 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y
1.541 * [taylor]: Taking taylor expansion of y in y
1.541 * [backup-simplify]: Simplify 0 into 0
1.541 * [backup-simplify]: Simplify 1 into 1
1.541 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.541 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.541 * [taylor]: Taking taylor expansion of y in y
1.541 * [backup-simplify]: Simplify 0 into 0
1.541 * [backup-simplify]: Simplify 1 into 1
1.542 * [backup-simplify]: Simplify (/ 1 1) into 1
1.542 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.542 * [taylor]: Taking taylor expansion of x in y
1.542 * [backup-simplify]: Simplify x into x
1.542 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0
1.542 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y))
1.542 * [backup-simplify]: Simplify (/ (sin (/ 1 y)) x) into (/ (sin (/ 1 y)) x)
1.542 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ 1 y))) x) in x
1.542 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in x
1.542 * [taylor]: Taking taylor expansion of y in x
1.542 * [backup-simplify]: Simplify y into y
1.542 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
1.542 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.542 * [taylor]: Taking taylor expansion of y in x
1.543 * [backup-simplify]: Simplify y into y
1.543 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.543 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.543 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.543 * [taylor]: Taking taylor expansion of x in x
1.543 * [backup-simplify]: Simplify 0 into 0
1.543 * [backup-simplify]: Simplify 1 into 1
1.543 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 1) into (sin (/ 1 y))
1.543 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 0) into 0
1.543 * [backup-simplify]: Simplify (+ (sin (/ 1 y)) 0) into (sin (/ 1 y))
1.543 * [backup-simplify]: Simplify (* y (sin (/ 1 y))) into (* y (sin (/ 1 y)))
1.543 * [backup-simplify]: Simplify (/ (* y (sin (/ 1 y))) 1) into (* y (sin (/ 1 y)))
1.543 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ 1 y))) x) in x
1.543 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in x
1.543 * [taylor]: Taking taylor expansion of y in x
1.543 * [backup-simplify]: Simplify y into y
1.543 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
1.543 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.543 * [taylor]: Taking taylor expansion of y in x
1.543 * [backup-simplify]: Simplify y into y
1.543 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.543 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.544 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.544 * [taylor]: Taking taylor expansion of x in x
1.544 * [backup-simplify]: Simplify 0 into 0
1.544 * [backup-simplify]: Simplify 1 into 1
1.544 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 1) into (sin (/ 1 y))
1.544 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 0) into 0
1.544 * [backup-simplify]: Simplify (+ (sin (/ 1 y)) 0) into (sin (/ 1 y))
1.544 * [backup-simplify]: Simplify (* y (sin (/ 1 y))) into (* y (sin (/ 1 y)))
1.544 * [backup-simplify]: Simplify (/ (* y (sin (/ 1 y))) 1) into (* y (sin (/ 1 y)))
1.544 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y
1.544 * [taylor]: Taking taylor expansion of y in y
1.544 * [backup-simplify]: Simplify 0 into 0
1.544 * [backup-simplify]: Simplify 1 into 1
1.544 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.544 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.544 * [taylor]: Taking taylor expansion of y in y
1.544 * [backup-simplify]: Simplify 0 into 0
1.544 * [backup-simplify]: Simplify 1 into 1
1.545 * [backup-simplify]: Simplify (/ 1 1) into 1
1.545 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.545 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y))
1.545 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.545 * [backup-simplify]: Simplify (+ 0) into 0
1.546 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 1)) into 0
1.546 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.547 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.547 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 0)) into 0
1.547 * [backup-simplify]: Simplify (+ 0 0) into 0
1.547 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (sin (/ 1 y)))) into 0
1.548 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ 1 y))) (/ 0 1)))) into 0
1.548 * [taylor]: Taking taylor expansion of 0 in y
1.548 * [backup-simplify]: Simplify 0 into 0
1.548 * [backup-simplify]: Simplify 0 into 0
1.549 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ 1 y))))) into 0
1.549 * [backup-simplify]: Simplify 0 into 0
1.550 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.550 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
1.551 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.551 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.552 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
1.552 * [backup-simplify]: Simplify (+ 0 0) into 0
1.552 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))) into 0
1.554 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ 1 y))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.554 * [taylor]: Taking taylor expansion of 0 in y
1.554 * [backup-simplify]: Simplify 0 into 0
1.554 * [backup-simplify]: Simplify 0 into 0
1.554 * [backup-simplify]: Simplify 0 into 0
1.555 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))) into 0
1.555 * [backup-simplify]: Simplify 0 into 0
1.555 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1.556 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.556 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.558 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1.558 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1.558 * [backup-simplify]: Simplify (+ 0 0) into 0
1.559 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))) into 0
1.561 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ 1 y))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.561 * [taylor]: Taking taylor expansion of 0 in y
1.561 * [backup-simplify]: Simplify 0 into 0
1.561 * [backup-simplify]: Simplify 0 into 0
1.561 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 y))) (* (/ 1 y) (/ 1 (/ 1 x)))) into (/ (* x (sin y)) y)
1.561 * [backup-simplify]: Simplify (* (/ 1 (- x)) (/ 1 (/ (/ 1 (- y)) (sin (/ 1 (- y)))))) into (/ (* y (sin (/ -1 y))) x)
1.561 * [approximate]: Taking taylor expansion of (/ (* y (sin (/ -1 y))) x) in (x y) around 0
1.561 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ -1 y))) x) in y
1.561 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
1.561 * [taylor]: Taking taylor expansion of y in y
1.561 * [backup-simplify]: Simplify 0 into 0
1.561 * [backup-simplify]: Simplify 1 into 1
1.561 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.561 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.561 * [taylor]: Taking taylor expansion of -1 in y
1.561 * [backup-simplify]: Simplify -1 into -1
1.561 * [taylor]: Taking taylor expansion of y in y
1.561 * [backup-simplify]: Simplify 0 into 0
1.561 * [backup-simplify]: Simplify 1 into 1
1.562 * [backup-simplify]: Simplify (/ -1 1) into -1
1.562 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.562 * [taylor]: Taking taylor expansion of x in y
1.562 * [backup-simplify]: Simplify x into x
1.562 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0
1.562 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
1.563 * [backup-simplify]: Simplify (/ (sin (/ -1 y)) x) into (/ (sin (/ -1 y)) x)
1.563 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ -1 y))) x) in x
1.563 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in x
1.563 * [taylor]: Taking taylor expansion of y in x
1.563 * [backup-simplify]: Simplify y into y
1.563 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
1.563 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.563 * [taylor]: Taking taylor expansion of -1 in x
1.563 * [backup-simplify]: Simplify -1 into -1
1.563 * [taylor]: Taking taylor expansion of y in x
1.563 * [backup-simplify]: Simplify y into y
1.563 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.563 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.563 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.563 * [taylor]: Taking taylor expansion of x in x
1.563 * [backup-simplify]: Simplify 0 into 0
1.563 * [backup-simplify]: Simplify 1 into 1
1.563 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 1) into (sin (/ -1 y))
1.563 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 0) into 0
1.563 * [backup-simplify]: Simplify (+ (sin (/ -1 y)) 0) into (sin (/ -1 y))
1.563 * [backup-simplify]: Simplify (* y (sin (/ -1 y))) into (* y (sin (/ -1 y)))
1.563 * [backup-simplify]: Simplify (/ (* y (sin (/ -1 y))) 1) into (* y (sin (/ -1 y)))
1.564 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ -1 y))) x) in x
1.564 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in x
1.564 * [taylor]: Taking taylor expansion of y in x
1.564 * [backup-simplify]: Simplify y into y
1.564 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
1.564 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.564 * [taylor]: Taking taylor expansion of -1 in x
1.564 * [backup-simplify]: Simplify -1 into -1
1.564 * [taylor]: Taking taylor expansion of y in x
1.564 * [backup-simplify]: Simplify y into y
1.564 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.564 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.564 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.564 * [taylor]: Taking taylor expansion of x in x
1.564 * [backup-simplify]: Simplify 0 into 0
1.564 * [backup-simplify]: Simplify 1 into 1
1.564 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 1) into (sin (/ -1 y))
1.564 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 0) into 0
1.564 * [backup-simplify]: Simplify (+ (sin (/ -1 y)) 0) into (sin (/ -1 y))
1.564 * [backup-simplify]: Simplify (* y (sin (/ -1 y))) into (* y (sin (/ -1 y)))
1.564 * [backup-simplify]: Simplify (/ (* y (sin (/ -1 y))) 1) into (* y (sin (/ -1 y)))
1.564 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
1.564 * [taylor]: Taking taylor expansion of y in y
1.564 * [backup-simplify]: Simplify 0 into 0
1.565 * [backup-simplify]: Simplify 1 into 1
1.565 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.565 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.565 * [taylor]: Taking taylor expansion of -1 in y
1.565 * [backup-simplify]: Simplify -1 into -1
1.565 * [taylor]: Taking taylor expansion of y in y
1.565 * [backup-simplify]: Simplify 0 into 0
1.565 * [backup-simplify]: Simplify 1 into 1
1.565 * [backup-simplify]: Simplify (/ -1 1) into -1
1.565 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.565 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
1.566 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.566 * [backup-simplify]: Simplify (+ 0) into 0
1.566 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 1)) into 0
1.566 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
1.567 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.567 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 0)) into 0
1.568 * [backup-simplify]: Simplify (+ 0 0) into 0
1.568 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (sin (/ -1 y)))) into 0
1.569 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ -1 y))) (/ 0 1)))) into 0
1.569 * [taylor]: Taking taylor expansion of 0 in y
1.569 * [backup-simplify]: Simplify 0 into 0
1.569 * [backup-simplify]: Simplify 0 into 0
1.570 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ -1 y))))) into 0
1.570 * [backup-simplify]: Simplify 0 into 0
1.570 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.571 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
1.571 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.572 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.572 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
1.572 * [backup-simplify]: Simplify (+ 0 0) into 0
1.573 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))) into 0
1.574 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ -1 y))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.574 * [taylor]: Taking taylor expansion of 0 in y
1.574 * [backup-simplify]: Simplify 0 into 0
1.574 * [backup-simplify]: Simplify 0 into 0
1.574 * [backup-simplify]: Simplify 0 into 0
1.575 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0
1.575 * [backup-simplify]: Simplify 0 into 0
1.576 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1.577 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.577 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.578 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1.578 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1.579 * [backup-simplify]: Simplify (+ 0 0) into 0
1.580 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0
1.581 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ -1 y))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.581 * [taylor]: Taking taylor expansion of 0 in y
1.581 * [backup-simplify]: Simplify 0 into 0
1.581 * [backup-simplify]: Simplify 0 into 0
1.581 * [backup-simplify]: Simplify (* (sin (/ -1 (/ 1 (- y)))) (* (/ 1 (- y)) (/ 1 (/ 1 (- x))))) into (/ (* x (sin y)) y)
1.582 * * * [progress]: simplifying candidates
1.585 * [simplify]: Simplifying:
  (expm1 (/ 1 (/ y (sin y))))
  (log1p (/ 1 (/ y (sin y))))
  (- 1)
  (- (- (log y) (log (sin y))))
  (- (log (/ y (sin y))))
  (- 0 (- (log y) (log (sin y))))
  (- 0 (log (/ y (sin y))))
  (- (log 1) (- (log y) (log (sin y))))
  (- (log 1) (log (/ y (sin y))))
  (log (/ 1 (/ y (sin y))))
  (exp (/ 1 (/ y (sin y))))
  (/ (* (* 1 1) 1) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y))))
  (/ (* (* 1 1) 1) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y))))
  (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y)))))
  (cbrt (/ 1 (/ y (sin y))))
  (* (* (/ 1 (/ y (sin y))) (/ 1 (/ y (sin y)))) (/ 1 (/ y (sin y))))
  (sqrt (/ 1 (/ y (sin y))))
  (sqrt (/ 1 (/ y (sin y))))
  (- 1)
  (- (/ y (sin y)))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))
  (/ (cbrt 1) (cbrt (/ y (sin y))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ y (sin y))))
  (/ (cbrt 1) (sqrt (/ y (sin y))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (cbrt 1) (/ (cbrt y) (cbrt (sin y))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))
  (/ (cbrt 1) (/ (cbrt y) (sqrt (sin y))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) 1))
  (/ (cbrt 1) (/ (cbrt y) (sin y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (cbrt 1) (/ (sqrt y) (cbrt (sin y))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (sqrt (sin y))))
  (/ (cbrt 1) (/ (sqrt y) (sqrt (sin y))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) 1))
  (/ (cbrt 1) (/ (sqrt y) (sin y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (cbrt 1) (/ y (cbrt (sin y))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (sin y))))
  (/ (cbrt 1) (/ y (sqrt (sin y))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ y (sin y)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (/ y (sin y)))
  (/ (* (cbrt 1) (cbrt 1)) y)
  (/ (cbrt 1) (/ 1 (sin y)))
  (/ (sqrt 1) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))
  (/ (sqrt 1) (cbrt (/ y (sin y))))
  (/ (sqrt 1) (sqrt (/ y (sin y))))
  (/ (sqrt 1) (sqrt (/ y (sin y))))
  (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (sqrt 1) (/ (cbrt y) (cbrt (sin y))))
  (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))
  (/ (sqrt 1) (/ (cbrt y) (sqrt (sin y))))
  (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) 1))
  (/ (sqrt 1) (/ (cbrt y) (sin y)))
  (/ (sqrt 1) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (sqrt 1) (/ (sqrt y) (cbrt (sin y))))
  (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y))))
  (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y))))
  (/ (sqrt 1) (/ (sqrt y) 1))
  (/ (sqrt 1) (/ (sqrt y) (sin y)))
  (/ (sqrt 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (sqrt 1) (/ y (cbrt (sin y))))
  (/ (sqrt 1) (/ 1 (sqrt (sin y))))
  (/ (sqrt 1) (/ y (sqrt (sin y))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ y (sin y)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (/ y (sin y)))
  (/ (sqrt 1) y)
  (/ (sqrt 1) (/ 1 (sin y)))
  (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))
  (/ 1 (cbrt (/ y (sin y))))
  (/ 1 (sqrt (/ y (sin y))))
  (/ 1 (sqrt (/ y (sin y))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ 1 (/ (cbrt y) (cbrt (sin y))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))
  (/ 1 (/ (cbrt y) (sqrt (sin y))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) 1))
  (/ 1 (/ (cbrt y) (sin y)))
  (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ 1 (/ (sqrt y) (cbrt (sin y))))
  (/ 1 (/ (sqrt y) (sqrt (sin y))))
  (/ 1 (/ (sqrt y) (sqrt (sin y))))
  (/ 1 (/ (sqrt y) 1))
  (/ 1 (/ (sqrt y) (sin y)))
  (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ 1 (/ y (cbrt (sin y))))
  (/ 1 (/ 1 (sqrt (sin y))))
  (/ 1 (/ y (sqrt (sin y))))
  (/ 1 (/ 1 1))
  (/ 1 (/ y (sin y)))
  (/ 1 1)
  (/ 1 (/ y (sin y)))
  (/ 1 y)
  (/ 1 (/ 1 (sin y)))
  (/ 1 (/ y (sin y)))
  (/ (/ y (sin y)) 1)
  (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))
  (/ 1 (sqrt (/ y (sin y))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) 1))
  (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ 1 (/ (sqrt y) (sqrt (sin y))))
  (/ 1 (/ (sqrt y) 1))
  (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ 1 (/ 1 (sqrt (sin y))))
  (/ 1 (/ 1 1))
  (/ 1 1)
  (/ 1 y)
  (/ (/ y (sin y)) (cbrt 1))
  (/ (/ y (sin y)) (sqrt 1))
  (/ (/ y (sin y)) 1)
  (/ 1 y)
  (expm1 (/ y (sin y)))
  (log1p (/ y (sin y)))
  (- (log y) (log (sin y)))
  (log (/ y (sin y)))
  (exp (/ y (sin y)))
  (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y)))
  (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))
  (cbrt (/ y (sin y)))
  (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y)))
  (sqrt (/ y (sin y)))
  (sqrt (/ y (sin y)))
  (- y)
  (- (sin y))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))
  (/ (cbrt y) (cbrt (sin y)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))
  (/ (cbrt y) (sqrt (sin y)))
  (/ (* (cbrt y) (cbrt y)) 1)
  (/ (cbrt y) (sin y))
  (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))
  (/ (sqrt y) (cbrt (sin y)))
  (/ (sqrt y) (sqrt (sin y)))
  (/ (sqrt y) (sqrt (sin y)))
  (/ (sqrt y) 1)
  (/ (sqrt y) (sin y))
  (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))
  (/ y (cbrt (sin y)))
  (/ 1 (sqrt (sin y)))
  (/ y (sqrt (sin y)))
  (/ 1 1)
  (/ y (sin y))
  (/ 1 (sin y))
  (/ (sin y) y)
  (/ y (* (cbrt (sin y)) (cbrt (sin y))))
  (/ y (sqrt (sin y)))
  (/ y 1)
  (/ (sin y) (cbrt y))
  (/ (sin y) (sqrt y))
  (/ (sin y) y)
  (expm1 (* x (/ 1 (/ y (sin y)))))
  (log1p (* x (/ 1 (/ y (sin y)))))
  (* x (/ 1 (/ y (sin y))))
  (+ (log x) (- (- (log y) (log (sin y)))))
  (+ (log x) (- (log (/ y (sin y)))))
  (+ (log x) (- 0 (- (log y) (log (sin y)))))
  (+ (log x) (- 0 (log (/ y (sin y)))))
  (+ (log x) (- (log 1) (- (log y) (log (sin y)))))
  (+ (log x) (- (log 1) (log (/ y (sin y)))))
  (+ (log x) (log (/ 1 (/ y (sin y)))))
  (log (* x (/ 1 (/ y (sin y)))))
  (exp (* x (/ 1 (/ y (sin y)))))
  (* (* (* x x) x) (/ (* (* 1 1) 1) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y)))))
  (* (* (* x x) x) (/ (* (* 1 1) 1) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y)))))
  (* (* (* x x) x) (* (* (/ 1 (/ y (sin y))) (/ 1 (/ y (sin y)))) (/ 1 (/ y (sin y)))))
  (* (cbrt (* x (/ 1 (/ y (sin y))))) (cbrt (* x (/ 1 (/ y (sin y))))))
  (cbrt (* x (/ 1 (/ y (sin y)))))
  (* (* (* x (/ 1 (/ y (sin y)))) (* x (/ 1 (/ y (sin y))))) (* x (/ 1 (/ y (sin y)))))
  (sqrt (* x (/ 1 (/ y (sin y)))))
  (sqrt (* x (/ 1 (/ y (sin y)))))
  (* (sqrt x) (sqrt (/ 1 (/ y (sin y)))))
  (* (sqrt x) (sqrt (/ 1 (/ y (sin y)))))
  (* (sqrt x) (/ (sqrt 1) (sqrt (/ y (sin y)))))
  (* (sqrt x) (/ (sqrt 1) (sqrt (/ y (sin y)))))
  (* (sqrt x) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y)))))
  (* (sqrt x) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y)))))
  (* (sqrt x) (/ 1 (sqrt (/ y (sin y)))))
  (* (sqrt x) (/ 1 (sqrt (/ y (sin y)))))
  (* (sqrt x) (/ 1 (/ (sqrt y) (sqrt (sin y)))))
  (* (sqrt x) (/ 1 (/ (sqrt y) (sqrt (sin y)))))
  (* x (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y))))))
  (* x (sqrt (/ 1 (/ y (sin y)))))
  (* x (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))))
  (* x (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ y (sin y)))))
  (* x (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))))
  (* x (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))))
  (* x (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) 1)))
  (* x (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))))
  (* x (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (sqrt (sin y)))))
  (* x (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) 1)))
  (* x (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))))
  (* x (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (sin y)))))
  (* x (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)))
  (* x (/ (* (cbrt 1) (cbrt 1)) 1))
  (* x (/ (* (cbrt 1) (cbrt 1)) y))
  (* x (/ (sqrt 1) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))))
  (* x (/ (sqrt 1) (sqrt (/ y (sin y)))))
  (* x (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))))
  (* x (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))))
  (* x (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) 1)))
  (* x (/ (sqrt 1) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))))
  (* x (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y)))))
  (* x (/ (sqrt 1) (/ (sqrt y) 1)))
  (* x (/ (sqrt 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))))
  (* x (/ (sqrt 1) (/ 1 (sqrt (sin y)))))
  (* x (/ (sqrt 1) (/ 1 1)))
  (* x (/ (sqrt 1) 1))
  (* x (/ (sqrt 1) y))
  (* x (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))))
  (* x (/ 1 (sqrt (/ y (sin y)))))
  (* x (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))))
  (* x (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))))
  (* x (/ 1 (/ (* (cbrt y) (cbrt y)) 1)))
  (* x (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))))
  (* x (/ 1 (/ (sqrt y) (sqrt (sin y)))))
  (* x (/ 1 (/ (sqrt y) 1)))
  (* x (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))))
  (* x (/ 1 (/ 1 (sqrt (sin y)))))
  (* x (/ 1 (/ 1 1)))
  (* x (/ 1 1))
  (* x (/ 1 y))
  (* x 1)
  (* x 1)
  (* x (/ 1 y))
  (* (cbrt x) (/ 1 (/ y (sin y))))
  (* (sqrt x) (/ 1 (/ y (sin y))))
  (* x (/ 1 (/ y (sin y))))
  (* x 1)
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
  (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1))
  (/ y (sin y))
  (/ y (sin y))
  (- x (* 1/6 (* x (pow y 2))))
  (/ (* x (sin y)) y)
  (/ (* x (sin y)) y)
1.588 * * [simplify]: iteration 0: 244 enodes
1.731 * * [simplify]: iteration 1: 671 enodes
2.042 * * [simplify]: iteration 2: 3435 enodes
2.700 * * [simplify]: iteration complete: 5002 enodes
2.700 * * [simplify]: Extracting #0: cost 104 inf + 0
2.703 * * [simplify]: Extracting #1: cost 1669 inf + 87
2.711 * * [simplify]: Extracting #2: cost 1518 inf + 39191
2.738 * * [simplify]: Extracting #3: cost 731 inf + 175040
2.798 * * [simplify]: Extracting #4: cost 75 inf + 303805
2.864 * * [simplify]: Extracting #5: cost 0 inf + 322427
2.931 * * [simplify]: Extracting #6: cost 0 inf + 322267
2.999 * [simplify]: Simplified to:
  (expm1 (* (sin y) (/ 1 y)))
  (log1p (* (sin y) (/ 1 y)))
  -1
  (- (log (/ y (sin y))))
  (- (log (/ y (sin y))))
  (- (log (/ y (sin y))))
  (- (log (/ y (sin y))))
  (- (log (/ y (sin y))))
  (- (log (/ y (sin y))))
  (- (log (/ y (sin y))))
  (exp (* (sin y) (/ 1 y)))
  (/ 1 (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y))))
  (/ (/ 1 (/ y (sin y))) (* (/ y (sin y)) (/ y (sin y))))
  (* (cbrt (* (sin y) (/ 1 y))) (cbrt (* (sin y) (/ 1 y))))
  (cbrt (* (sin y) (/ 1 y)))
  (* (* (* (sin y) (/ 1 y)) (* (sin y) (/ 1 y))) (* (sin y) (/ 1 y)))
  (sqrt (* (sin y) (/ 1 y)))
  (sqrt (* (sin y) (/ 1 y)))
  -1
  (/ (- y) (sin y))
  (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))))
  (/ 1 (cbrt (/ y (sin y))))
  (/ 1 (sqrt (/ y (sin y))))
  (/ 1 (sqrt (/ y (sin y))))
  (/ 1 (* (/ (cbrt y) (cbrt (sin y))) (/ (cbrt y) (cbrt (sin y)))))
  (* (/ 1 (cbrt y)) (cbrt (sin y)))
  (* (/ 1 (* (cbrt y) (cbrt y))) (sqrt (sin y)))
  (/ (* 1 (sqrt (sin y))) (cbrt y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (* (sin y) (/ 1 (cbrt y)))
  (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ 1 (sqrt y)) (cbrt (sin y)))
  (* (/ 1 (sqrt y)) (sqrt (sin y)))
  (* (/ 1 (sqrt y)) (sqrt (sin y)))
  (/ 1 (sqrt y))
  (/ (sin y) (sqrt y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (cbrt (sin y)) (/ 1 y))
  (sqrt (sin y))
  (* (/ 1 y) (sqrt (sin y)))
  1
  (* (sin y) (/ 1 y))
  1
  (* (sin y) (/ 1 y))
  (/ 1 y)
  (sin y)
  (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))))
  (/ 1 (cbrt (/ y (sin y))))
  (/ 1 (sqrt (/ y (sin y))))
  (/ 1 (sqrt (/ y (sin y))))
  (/ 1 (* (/ (cbrt y) (cbrt (sin y))) (/ (cbrt y) (cbrt (sin y)))))
  (* (/ 1 (cbrt y)) (cbrt (sin y)))
  (* (/ 1 (* (cbrt y) (cbrt y))) (sqrt (sin y)))
  (/ (* 1 (sqrt (sin y))) (cbrt y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (* (sin y) (/ 1 (cbrt y)))
  (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ 1 (sqrt y)) (cbrt (sin y)))
  (* (/ 1 (sqrt y)) (sqrt (sin y)))
  (* (/ 1 (sqrt y)) (sqrt (sin y)))
  (/ 1 (sqrt y))
  (/ (sin y) (sqrt y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (cbrt (sin y)) (/ 1 y))
  (sqrt (sin y))
  (* (/ 1 y) (sqrt (sin y)))
  1
  (* (sin y) (/ 1 y))
  1
  (* (sin y) (/ 1 y))
  (/ 1 y)
  (sin y)
  (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))))
  (/ 1 (cbrt (/ y (sin y))))
  (/ 1 (sqrt (/ y (sin y))))
  (/ 1 (sqrt (/ y (sin y))))
  (/ 1 (* (/ (cbrt y) (cbrt (sin y))) (/ (cbrt y) (cbrt (sin y)))))
  (* (/ 1 (cbrt y)) (cbrt (sin y)))
  (* (/ 1 (* (cbrt y) (cbrt y))) (sqrt (sin y)))
  (/ (* 1 (sqrt (sin y))) (cbrt y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (* (sin y) (/ 1 (cbrt y)))
  (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ 1 (sqrt y)) (cbrt (sin y)))
  (* (/ 1 (sqrt y)) (sqrt (sin y)))
  (* (/ 1 (sqrt y)) (sqrt (sin y)))
  (/ 1 (sqrt y))
  (/ (sin y) (sqrt y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (cbrt (sin y)) (/ 1 y))
  (sqrt (sin y))
  (* (/ 1 y) (sqrt (sin y)))
  1
  (* (sin y) (/ 1 y))
  1
  (* (sin y) (/ 1 y))
  (/ 1 y)
  (sin y)
  (* (sin y) (/ 1 y))
  (/ y (sin y))
  (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))))
  (/ 1 (sqrt (/ y (sin y))))
  (/ 1 (* (/ (cbrt y) (cbrt (sin y))) (/ (cbrt y) (cbrt (sin y)))))
  (* (/ 1 (* (cbrt y) (cbrt y))) (sqrt (sin y)))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ 1 (sqrt y)) (sqrt (sin y)))
  (/ 1 (sqrt y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (sqrt (sin y))
  1
  1
  (/ 1 y)
  (/ y (sin y))
  (/ y (sin y))
  (/ y (sin y))
  (/ 1 y)
  (expm1 (/ y (sin y)))
  (log1p (/ y (sin y)))
  (log (/ y (sin y)))
  (log (/ y (sin y)))
  (exp (/ y (sin y)))
  (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y)))
  (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))
  (cbrt (/ y (sin y)))
  (* (/ y (sin y)) (* (/ y (sin y)) (/ y (sin y))))
  (sqrt (/ y (sin y)))
  (sqrt (/ y (sin y)))
  (- y)
  (- (sin y))
  (* (/ (cbrt y) (cbrt (sin y))) (/ (cbrt y) (cbrt (sin y))))
  (/ (cbrt y) (cbrt (sin y)))
  (/ (cbrt y) (/ (sqrt (sin y)) (cbrt y)))
  (/ (cbrt y) (sqrt (sin y)))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (sin y))
  (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))
  (/ (sqrt y) (cbrt (sin y)))
  (/ (sqrt y) (sqrt (sin y)))
  (/ (sqrt y) (sqrt (sin y)))
  (sqrt y)
  (/ (sqrt y) (sin y))
  (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))
  (/ y (cbrt (sin y)))
  (/ 1 (sqrt (sin y)))
  (/ y (sqrt (sin y)))
  1
  (/ y (sin y))
  (/ 1 (sin y))
  (/ (sin y) y)
  (/ (/ y (cbrt (sin y))) (cbrt (sin y)))
  (/ y (sqrt (sin y)))
  y
  (/ (sin y) (cbrt y))
  (/ (sin y) (sqrt y))
  (/ (sin y) y)
  (expm1 (/ x (/ y (sin y))))
  (log1p (/ x (/ y (sin y))))
  (/ x (/ y (sin y)))
  (log (/ x (/ y (sin y))))
  (log (/ x (/ y (sin y))))
  (log (/ x (/ y (sin y))))
  (log (/ x (/ y (sin y))))
  (log (/ x (/ y (sin y))))
  (log (/ x (/ y (sin y))))
  (log (/ x (/ y (sin y))))
  (log (/ x (/ y (sin y))))
  (exp (/ x (/ y (sin y))))
  (/ (/ (* x (* x x)) (* (/ y (sin y)) (/ y (sin y)))) (/ y (sin y)))
  (/ (/ (* x (* x x)) (* (/ y (sin y)) (/ y (sin y)))) (/ y (sin y)))
  (* (* (* (* (sin y) (/ 1 y)) (* (sin y) (/ 1 y))) (* (sin y) (/ 1 y))) (* x (* x x)))
  (* (cbrt (/ x (/ y (sin y)))) (cbrt (/ x (/ y (sin y)))))
  (cbrt (/ x (/ y (sin y))))
  (* (/ x (/ y (sin y))) (* (/ x (/ y (sin y))) (/ x (/ y (sin y)))))
  (sqrt (/ x (/ y (sin y))))
  (sqrt (/ x (/ y (sin y))))
  (* (sqrt (* (sin y) (/ 1 y))) (sqrt x))
  (* (sqrt (* (sin y) (/ 1 y))) (sqrt x))
  (/ (sqrt x) (sqrt (/ y (sin y))))
  (/ (sqrt x) (sqrt (/ y (sin y))))
  (* (/ (sqrt x) (sqrt y)) (sqrt (sin y)))
  (* (/ (sqrt x) (sqrt y)) (sqrt (sin y)))
  (/ (sqrt x) (sqrt (/ y (sin y))))
  (/ (sqrt x) (sqrt (/ y (sin y))))
  (* (/ (sqrt x) (sqrt y)) (sqrt (sin y)))
  (* (/ (sqrt x) (sqrt y)) (sqrt (sin y)))
  (* x (* (cbrt (* (sin y) (/ 1 y))) (cbrt (* (sin y) (/ 1 y)))))
  (* x (sqrt (* (sin y) (/ 1 y))))
  (/ (/ x (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))))
  (/ x (sqrt (/ y (sin y))))
  (/ x (* (/ (cbrt y) (cbrt (sin y))) (/ (cbrt y) (cbrt (sin y)))))
  (/ x (/ (cbrt y) (/ (sqrt (sin y)) (cbrt y))))
  (/ (/ x (cbrt y)) (cbrt y))
  (* (/ x (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ x (sqrt y)) (sqrt (sin y)))
  (/ x (sqrt y))
  (* (* x (cbrt (sin y))) (cbrt (sin y)))
  (* (sqrt (sin y)) x)
  x
  x
  (/ x y)
  (/ (/ x (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))))
  (/ x (sqrt (/ y (sin y))))
  (/ x (* (/ (cbrt y) (cbrt (sin y))) (/ (cbrt y) (cbrt (sin y)))))
  (/ x (/ (cbrt y) (/ (sqrt (sin y)) (cbrt y))))
  (/ (/ x (cbrt y)) (cbrt y))
  (* (/ x (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ x (sqrt y)) (sqrt (sin y)))
  (/ x (sqrt y))
  (* (* x (cbrt (sin y))) (cbrt (sin y)))
  (* (sqrt (sin y)) x)
  x
  x
  (/ x y)
  (/ (/ x (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))))
  (/ x (sqrt (/ y (sin y))))
  (/ x (* (/ (cbrt y) (cbrt (sin y))) (/ (cbrt y) (cbrt (sin y)))))
  (/ x (/ (cbrt y) (/ (sqrt (sin y)) (cbrt y))))
  (/ (/ x (cbrt y)) (cbrt y))
  (* (/ x (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ x (sqrt y)) (sqrt (sin y)))
  (/ x (sqrt y))
  (* (* x (cbrt (sin y))) (cbrt (sin y)))
  (* (sqrt (sin y)) x)
  x
  x
  (/ x y)
  x
  x
  (/ x y)
  (* (/ (cbrt x) y) (sin y))
  (* (/ (sqrt x) y) (sin y))
  (/ x (/ y (sin y)))
  x
  (fma (* y y) -1/6 (fma 1/120 (* (* y y) (* y y)) 1))
  (/ (sin y) y)
  (/ (sin y) y)
  (fma 1/6 (* y y) (+ 1 (* (* y y) (* (* y y) 7/360))))
  (/ y (sin y))
  (/ y (sin y))
  (fma -1/6 (* (* y y) x) x)
  (/ (sin y) (/ y x))
  (/ (sin y) (/ y x))
3.009 * * * [progress]: adding candidates to table
3.775 * * [progress]: iteration 3 / 4
3.775 * * * [progress]: picking best candidate
3.793 * * * * [pick]: Picked  #<alt (λ (x y) (/ x (/ y (sin y))))>
3.794 * * * [progress]: localizing error
3.806 * * * [progress]: generating rewritten candidates
3.806 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
3.812 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
3.829 * * * [progress]: generating series expansions
3.829 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
3.829 * [backup-simplify]: Simplify (/ y (sin y)) into (/ y (sin y))
3.829 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0
3.829 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y
3.829 * [taylor]: Taking taylor expansion of y in y
3.829 * [backup-simplify]: Simplify 0 into 0
3.829 * [backup-simplify]: Simplify 1 into 1
3.830 * [taylor]: Taking taylor expansion of (sin y) in y
3.830 * [taylor]: Taking taylor expansion of y in y
3.830 * [backup-simplify]: Simplify 0 into 0
3.830 * [backup-simplify]: Simplify 1 into 1
3.830 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
3.831 * [backup-simplify]: Simplify (/ 1 1) into 1
3.831 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y
3.831 * [taylor]: Taking taylor expansion of y in y
3.831 * [backup-simplify]: Simplify 0 into 0
3.831 * [backup-simplify]: Simplify 1 into 1
3.831 * [taylor]: Taking taylor expansion of (sin y) in y
3.831 * [taylor]: Taking taylor expansion of y in y
3.831 * [backup-simplify]: Simplify 0 into 0
3.831 * [backup-simplify]: Simplify 1 into 1
3.831 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
3.832 * [backup-simplify]: Simplify (/ 1 1) into 1
3.832 * [backup-simplify]: Simplify 1 into 1
3.833 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.833 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
3.833 * [backup-simplify]: Simplify 0 into 0
3.835 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
3.839 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ -1/6 1)) (* 0 (/ 0 1)))) into 1/6
3.839 * [backup-simplify]: Simplify 1/6 into 1/6
3.840 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
3.841 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ -1/6 1)) (* 1/6 (/ 0 1)))) into 0
3.841 * [backup-simplify]: Simplify 0 into 0
3.844 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 5) 120)) 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 1 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 1/120
3.846 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 1/120 1)) (* 0 (/ 0 1)) (* 1/6 (/ -1/6 1)) (* 0 (/ 0 1)))) into 7/360
3.846 * [backup-simplify]: Simplify 7/360 into 7/360
3.846 * [backup-simplify]: Simplify (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1)) into (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1))
3.846 * [backup-simplify]: Simplify (/ (/ 1 y) (sin (/ 1 y))) into (/ 1 (* y (sin (/ 1 y))))
3.846 * [approximate]: Taking taylor expansion of (/ 1 (* y (sin (/ 1 y)))) in (y) around 0
3.846 * [taylor]: Taking taylor expansion of (/ 1 (* y (sin (/ 1 y)))) in y
3.846 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y
3.846 * [taylor]: Taking taylor expansion of y in y
3.846 * [backup-simplify]: Simplify 0 into 0
3.846 * [backup-simplify]: Simplify 1 into 1
3.846 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
3.846 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.846 * [taylor]: Taking taylor expansion of y in y
3.846 * [backup-simplify]: Simplify 0 into 0
3.846 * [backup-simplify]: Simplify 1 into 1
3.847 * [backup-simplify]: Simplify (/ 1 1) into 1
3.847 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.847 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0
3.847 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y))
3.847 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
3.847 * [taylor]: Taking taylor expansion of (/ 1 (* y (sin (/ 1 y)))) in y
3.847 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y
3.847 * [taylor]: Taking taylor expansion of y in y
3.848 * [backup-simplify]: Simplify 0 into 0
3.848 * [backup-simplify]: Simplify 1 into 1
3.848 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
3.848 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.848 * [taylor]: Taking taylor expansion of y in y
3.848 * [backup-simplify]: Simplify 0 into 0
3.848 * [backup-simplify]: Simplify 1 into 1
3.848 * [backup-simplify]: Simplify (/ 1 1) into 1
3.848 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.848 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0
3.848 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y))
3.849 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
3.849 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
3.850 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ 1 y))))) into 0
3.850 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))))) into 0
3.850 * [backup-simplify]: Simplify 0 into 0
3.851 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))) into 0
3.851 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
3.851 * [backup-simplify]: Simplify 0 into 0
3.852 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))) into 0
3.853 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
3.853 * [backup-simplify]: Simplify 0 into 0
3.854 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))) into 0
3.855 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
3.855 * [backup-simplify]: Simplify 0 into 0
3.857 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))))) into 0
3.857 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
3.857 * [backup-simplify]: Simplify 0 into 0
3.860 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))))) into 0
3.860 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
3.860 * [backup-simplify]: Simplify 0 into 0
3.861 * [backup-simplify]: Simplify (* (/ 1 (sin (/ 1 (/ 1 y)))) (/ 1 (/ 1 y))) into (/ y (sin y))
3.861 * [backup-simplify]: Simplify (/ (/ 1 (- y)) (sin (/ 1 (- y)))) into (/ -1 (* y (sin (/ -1 y))))
3.861 * [approximate]: Taking taylor expansion of (/ -1 (* y (sin (/ -1 y)))) in (y) around 0
3.861 * [taylor]: Taking taylor expansion of (/ -1 (* y (sin (/ -1 y)))) in y
3.861 * [taylor]: Taking taylor expansion of -1 in y
3.861 * [backup-simplify]: Simplify -1 into -1
3.861 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
3.861 * [taylor]: Taking taylor expansion of y in y
3.861 * [backup-simplify]: Simplify 0 into 0
3.861 * [backup-simplify]: Simplify 1 into 1
3.861 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
3.861 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.861 * [taylor]: Taking taylor expansion of -1 in y
3.861 * [backup-simplify]: Simplify -1 into -1
3.861 * [taylor]: Taking taylor expansion of y in y
3.861 * [backup-simplify]: Simplify 0 into 0
3.861 * [backup-simplify]: Simplify 1 into 1
3.862 * [backup-simplify]: Simplify (/ -1 1) into -1
3.862 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.862 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0
3.862 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
3.862 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y)))
3.862 * [taylor]: Taking taylor expansion of (/ -1 (* y (sin (/ -1 y)))) in y
3.862 * [taylor]: Taking taylor expansion of -1 in y
3.862 * [backup-simplify]: Simplify -1 into -1
3.862 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
3.862 * [taylor]: Taking taylor expansion of y in y
3.862 * [backup-simplify]: Simplify 0 into 0
3.862 * [backup-simplify]: Simplify 1 into 1
3.862 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
3.862 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.863 * [taylor]: Taking taylor expansion of -1 in y
3.863 * [backup-simplify]: Simplify -1 into -1
3.863 * [taylor]: Taking taylor expansion of y in y
3.863 * [backup-simplify]: Simplify 0 into 0
3.863 * [backup-simplify]: Simplify 1 into 1
3.863 * [backup-simplify]: Simplify (/ -1 1) into -1
3.863 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.863 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0
3.864 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
3.864 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y)))
3.864 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y)))
3.865 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ -1 y))))) into 0
3.865 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))))) into 0
3.865 * [backup-simplify]: Simplify 0 into 0
3.866 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0
3.867 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
3.867 * [backup-simplify]: Simplify 0 into 0
3.868 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))) into 0
3.868 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
3.868 * [backup-simplify]: Simplify 0 into 0
3.870 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))) into 0
3.870 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
3.870 * [backup-simplify]: Simplify 0 into 0
3.872 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))))) into 0
3.873 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
3.873 * [backup-simplify]: Simplify 0 into 0
3.875 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))))) into 0
3.876 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
3.876 * [backup-simplify]: Simplify 0 into 0
3.876 * [backup-simplify]: Simplify (* (/ -1 (sin (/ -1 (/ 1 (- y))))) (/ 1 (/ 1 (- y)))) into (/ y (sin y))
3.876 * * * * [progress]: [ 2 / 2 ] generating series at (2)
3.876 * [backup-simplify]: Simplify (/ x (/ y (sin y))) into (/ (* x (sin y)) y)
3.876 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) y) in (x y) around 0
3.876 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in y
3.876 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
3.876 * [taylor]: Taking taylor expansion of x in y
3.876 * [backup-simplify]: Simplify x into x
3.876 * [taylor]: Taking taylor expansion of (sin y) in y
3.876 * [taylor]: Taking taylor expansion of y in y
3.876 * [backup-simplify]: Simplify 0 into 0
3.876 * [backup-simplify]: Simplify 1 into 1
3.876 * [taylor]: Taking taylor expansion of y in y
3.876 * [backup-simplify]: Simplify 0 into 0
3.876 * [backup-simplify]: Simplify 1 into 1
3.876 * [backup-simplify]: Simplify (* x 0) into 0
3.877 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
3.877 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
3.877 * [backup-simplify]: Simplify (/ x 1) into x
3.877 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x
3.877 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
3.877 * [taylor]: Taking taylor expansion of x in x
3.877 * [backup-simplify]: Simplify 0 into 0
3.878 * [backup-simplify]: Simplify 1 into 1
3.878 * [taylor]: Taking taylor expansion of (sin y) in x
3.878 * [taylor]: Taking taylor expansion of y in x
3.878 * [backup-simplify]: Simplify y into y
3.878 * [backup-simplify]: Simplify (sin y) into (sin y)
3.878 * [backup-simplify]: Simplify (cos y) into (cos y)
3.878 * [taylor]: Taking taylor expansion of y in x
3.878 * [backup-simplify]: Simplify y into y
3.878 * [backup-simplify]: Simplify (* (sin y) 1) into (sin y)
3.878 * [backup-simplify]: Simplify (* (cos y) 0) into 0
3.878 * [backup-simplify]: Simplify (+ (sin y) 0) into (sin y)
3.878 * [backup-simplify]: Simplify (* 0 (sin y)) into 0
3.878 * [backup-simplify]: Simplify (+ 0) into 0
3.879 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 1)) into 0
3.879 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.880 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 0)) into 0
3.880 * [backup-simplify]: Simplify (+ 0 0) into 0
3.880 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin y))) into (sin y)
3.881 * [backup-simplify]: Simplify (/ (sin y) y) into (/ (sin y) y)
3.881 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x
3.881 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
3.881 * [taylor]: Taking taylor expansion of x in x
3.881 * [backup-simplify]: Simplify 0 into 0
3.881 * [backup-simplify]: Simplify 1 into 1
3.881 * [taylor]: Taking taylor expansion of (sin y) in x
3.881 * [taylor]: Taking taylor expansion of y in x
3.881 * [backup-simplify]: Simplify y into y
3.881 * [backup-simplify]: Simplify (sin y) into (sin y)
3.881 * [backup-simplify]: Simplify (cos y) into (cos y)
3.881 * [taylor]: Taking taylor expansion of y in x
3.881 * [backup-simplify]: Simplify y into y
3.881 * [backup-simplify]: Simplify (* (sin y) 1) into (sin y)
3.881 * [backup-simplify]: Simplify (* (cos y) 0) into 0
3.881 * [backup-simplify]: Simplify (+ (sin y) 0) into (sin y)
3.881 * [backup-simplify]: Simplify (* 0 (sin y)) into 0
3.881 * [backup-simplify]: Simplify (+ 0) into 0
3.882 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 1)) into 0
3.882 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.883 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 0)) into 0
3.883 * [backup-simplify]: Simplify (+ 0 0) into 0
3.883 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin y))) into (sin y)
3.883 * [backup-simplify]: Simplify (/ (sin y) y) into (/ (sin y) y)
3.883 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
3.883 * [taylor]: Taking taylor expansion of (sin y) in y
3.883 * [taylor]: Taking taylor expansion of y in y
3.883 * [backup-simplify]: Simplify 0 into 0
3.884 * [backup-simplify]: Simplify 1 into 1
3.884 * [taylor]: Taking taylor expansion of y in y
3.884 * [backup-simplify]: Simplify 0 into 0
3.884 * [backup-simplify]: Simplify 1 into 1
3.884 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
3.884 * [backup-simplify]: Simplify (/ 1 1) into 1
3.884 * [backup-simplify]: Simplify 1 into 1
3.885 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.886 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (* 0 1))) into 0
3.886 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.887 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (* 0 0))) into 0
3.887 * [backup-simplify]: Simplify (+ 0 0) into 0
3.888 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin y)))) into 0
3.888 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sin y) y) (/ 0 y)))) into 0
3.888 * [taylor]: Taking taylor expansion of 0 in y
3.888 * [backup-simplify]: Simplify 0 into 0
3.888 * [backup-simplify]: Simplify 0 into 0
3.889 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.889 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
3.889 * [backup-simplify]: Simplify 0 into 0
3.890 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.891 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.892 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
3.892 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
3.893 * [backup-simplify]: Simplify (+ 0 0) into 0
3.894 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin y))))) into 0
3.894 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sin y) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.894 * [taylor]: Taking taylor expansion of 0 in y
3.894 * [backup-simplify]: Simplify 0 into 0
3.894 * [backup-simplify]: Simplify 0 into 0
3.894 * [backup-simplify]: Simplify 0 into 0
3.895 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
3.896 * [backup-simplify]: Simplify (- (/ -1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into -1/6
3.896 * [backup-simplify]: Simplify -1/6 into -1/6
3.898 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
3.899 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.900 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
3.901 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
3.901 * [backup-simplify]: Simplify (+ 0 0) into 0
3.902 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin y)))))) into 0
3.902 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sin y) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.902 * [taylor]: Taking taylor expansion of 0 in y
3.902 * [backup-simplify]: Simplify 0 into 0
3.902 * [backup-simplify]: Simplify 0 into 0
3.902 * [backup-simplify]: Simplify 0 into 0
3.902 * [backup-simplify]: Simplify 0 into 0
3.904 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
3.905 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)))) into 0
3.905 * [backup-simplify]: Simplify 0 into 0
3.906 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.907 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.909 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 5) 120)) 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
3.910 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
3.910 * [backup-simplify]: Simplify (+ 0 0) into 0
3.912 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin y))))))) into 0
3.912 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sin y) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.912 * [taylor]: Taking taylor expansion of 0 in y
3.912 * [backup-simplify]: Simplify 0 into 0
3.912 * [backup-simplify]: Simplify 0 into 0
3.912 * [backup-simplify]: Simplify 0 into 0
3.912 * [backup-simplify]: Simplify (+ (* -1/6 (* (pow y 2) x)) (* 1 (* 1 x))) into (- x (* 1/6 (* x (pow y 2))))
3.913 * [backup-simplify]: Simplify (/ (/ 1 x) (/ (/ 1 y) (sin (/ 1 y)))) into (/ (* y (sin (/ 1 y))) x)
3.913 * [approximate]: Taking taylor expansion of (/ (* y (sin (/ 1 y))) x) in (x y) around 0
3.913 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ 1 y))) x) in y
3.913 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y
3.913 * [taylor]: Taking taylor expansion of y in y
3.913 * [backup-simplify]: Simplify 0 into 0
3.913 * [backup-simplify]: Simplify 1 into 1
3.913 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
3.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.913 * [taylor]: Taking taylor expansion of y in y
3.913 * [backup-simplify]: Simplify 0 into 0
3.913 * [backup-simplify]: Simplify 1 into 1
3.913 * [backup-simplify]: Simplify (/ 1 1) into 1
3.913 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.913 * [taylor]: Taking taylor expansion of x in y
3.913 * [backup-simplify]: Simplify x into x
3.913 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0
3.914 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y))
3.914 * [backup-simplify]: Simplify (/ (sin (/ 1 y)) x) into (/ (sin (/ 1 y)) x)
3.914 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ 1 y))) x) in x
3.914 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in x
3.914 * [taylor]: Taking taylor expansion of y in x
3.914 * [backup-simplify]: Simplify y into y
3.914 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
3.914 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.914 * [taylor]: Taking taylor expansion of y in x
3.914 * [backup-simplify]: Simplify y into y
3.914 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.914 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.914 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.914 * [taylor]: Taking taylor expansion of x in x
3.915 * [backup-simplify]: Simplify 0 into 0
3.915 * [backup-simplify]: Simplify 1 into 1
3.915 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 1) into (sin (/ 1 y))
3.915 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 0) into 0
3.915 * [backup-simplify]: Simplify (+ (sin (/ 1 y)) 0) into (sin (/ 1 y))
3.915 * [backup-simplify]: Simplify (* y (sin (/ 1 y))) into (* y (sin (/ 1 y)))
3.915 * [backup-simplify]: Simplify (/ (* y (sin (/ 1 y))) 1) into (* y (sin (/ 1 y)))
3.915 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ 1 y))) x) in x
3.915 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in x
3.915 * [taylor]: Taking taylor expansion of y in x
3.915 * [backup-simplify]: Simplify y into y
3.915 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
3.915 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.915 * [taylor]: Taking taylor expansion of y in x
3.915 * [backup-simplify]: Simplify y into y
3.915 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.915 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.915 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.915 * [taylor]: Taking taylor expansion of x in x
3.916 * [backup-simplify]: Simplify 0 into 0
3.916 * [backup-simplify]: Simplify 1 into 1
3.916 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 1) into (sin (/ 1 y))
3.916 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 0) into 0
3.916 * [backup-simplify]: Simplify (+ (sin (/ 1 y)) 0) into (sin (/ 1 y))
3.916 * [backup-simplify]: Simplify (* y (sin (/ 1 y))) into (* y (sin (/ 1 y)))
3.916 * [backup-simplify]: Simplify (/ (* y (sin (/ 1 y))) 1) into (* y (sin (/ 1 y)))
3.916 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y
3.916 * [taylor]: Taking taylor expansion of y in y
3.916 * [backup-simplify]: Simplify 0 into 0
3.916 * [backup-simplify]: Simplify 1 into 1
3.916 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
3.916 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.916 * [taylor]: Taking taylor expansion of y in y
3.916 * [backup-simplify]: Simplify 0 into 0
3.916 * [backup-simplify]: Simplify 1 into 1
3.917 * [backup-simplify]: Simplify (/ 1 1) into 1
3.917 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.917 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y))
3.917 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.917 * [backup-simplify]: Simplify (+ 0) into 0
3.918 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 1)) into 0
3.918 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.919 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.919 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 0)) into 0
3.919 * [backup-simplify]: Simplify (+ 0 0) into 0
3.919 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (sin (/ 1 y)))) into 0
3.920 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ 1 y))) (/ 0 1)))) into 0
3.920 * [taylor]: Taking taylor expansion of 0 in y
3.920 * [backup-simplify]: Simplify 0 into 0
3.920 * [backup-simplify]: Simplify 0 into 0
3.921 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ 1 y))))) into 0
3.921 * [backup-simplify]: Simplify 0 into 0
3.922 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.923 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
3.923 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.923 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.924 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
3.924 * [backup-simplify]: Simplify (+ 0 0) into 0
3.924 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))) into 0
3.926 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ 1 y))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.926 * [taylor]: Taking taylor expansion of 0 in y
3.926 * [backup-simplify]: Simplify 0 into 0
3.926 * [backup-simplify]: Simplify 0 into 0
3.926 * [backup-simplify]: Simplify 0 into 0
3.927 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))) into 0
3.927 * [backup-simplify]: Simplify 0 into 0
3.927 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.928 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.928 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.929 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
3.929 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
3.929 * [backup-simplify]: Simplify (+ 0 0) into 0
3.930 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))) into 0
3.931 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ 1 y))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.931 * [taylor]: Taking taylor expansion of 0 in y
3.931 * [backup-simplify]: Simplify 0 into 0
3.931 * [backup-simplify]: Simplify 0 into 0
3.931 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 y))) (* (/ 1 y) (/ 1 (/ 1 x)))) into (/ (* x (sin y)) y)
3.931 * [backup-simplify]: Simplify (/ (/ 1 (- x)) (/ (/ 1 (- y)) (sin (/ 1 (- y))))) into (/ (* y (sin (/ -1 y))) x)
3.931 * [approximate]: Taking taylor expansion of (/ (* y (sin (/ -1 y))) x) in (x y) around 0
3.931 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ -1 y))) x) in y
3.931 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
3.931 * [taylor]: Taking taylor expansion of y in y
3.931 * [backup-simplify]: Simplify 0 into 0
3.931 * [backup-simplify]: Simplify 1 into 1
3.931 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
3.931 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.931 * [taylor]: Taking taylor expansion of -1 in y
3.931 * [backup-simplify]: Simplify -1 into -1
3.931 * [taylor]: Taking taylor expansion of y in y
3.931 * [backup-simplify]: Simplify 0 into 0
3.931 * [backup-simplify]: Simplify 1 into 1
3.932 * [backup-simplify]: Simplify (/ -1 1) into -1
3.932 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.932 * [taylor]: Taking taylor expansion of x in y
3.932 * [backup-simplify]: Simplify x into x
3.932 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0
3.932 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
3.932 * [backup-simplify]: Simplify (/ (sin (/ -1 y)) x) into (/ (sin (/ -1 y)) x)
3.932 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ -1 y))) x) in x
3.932 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in x
3.932 * [taylor]: Taking taylor expansion of y in x
3.932 * [backup-simplify]: Simplify y into y
3.932 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
3.932 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.932 * [taylor]: Taking taylor expansion of -1 in x
3.932 * [backup-simplify]: Simplify -1 into -1
3.932 * [taylor]: Taking taylor expansion of y in x
3.932 * [backup-simplify]: Simplify y into y
3.932 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.932 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.933 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.933 * [taylor]: Taking taylor expansion of x in x
3.933 * [backup-simplify]: Simplify 0 into 0
3.933 * [backup-simplify]: Simplify 1 into 1
3.933 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 1) into (sin (/ -1 y))
3.933 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 0) into 0
3.933 * [backup-simplify]: Simplify (+ (sin (/ -1 y)) 0) into (sin (/ -1 y))
3.933 * [backup-simplify]: Simplify (* y (sin (/ -1 y))) into (* y (sin (/ -1 y)))
3.933 * [backup-simplify]: Simplify (/ (* y (sin (/ -1 y))) 1) into (* y (sin (/ -1 y)))
3.933 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ -1 y))) x) in x
3.933 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in x
3.933 * [taylor]: Taking taylor expansion of y in x
3.933 * [backup-simplify]: Simplify y into y
3.933 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
3.933 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.933 * [taylor]: Taking taylor expansion of -1 in x
3.933 * [backup-simplify]: Simplify -1 into -1
3.933 * [taylor]: Taking taylor expansion of y in x
3.933 * [backup-simplify]: Simplify y into y
3.933 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.933 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.933 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.933 * [taylor]: Taking taylor expansion of x in x
3.933 * [backup-simplify]: Simplify 0 into 0
3.933 * [backup-simplify]: Simplify 1 into 1
3.933 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 1) into (sin (/ -1 y))
3.933 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 0) into 0
3.933 * [backup-simplify]: Simplify (+ (sin (/ -1 y)) 0) into (sin (/ -1 y))
3.933 * [backup-simplify]: Simplify (* y (sin (/ -1 y))) into (* y (sin (/ -1 y)))
3.933 * [backup-simplify]: Simplify (/ (* y (sin (/ -1 y))) 1) into (* y (sin (/ -1 y)))
3.934 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
3.934 * [taylor]: Taking taylor expansion of y in y
3.934 * [backup-simplify]: Simplify 0 into 0
3.934 * [backup-simplify]: Simplify 1 into 1
3.934 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
3.934 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.934 * [taylor]: Taking taylor expansion of -1 in y
3.934 * [backup-simplify]: Simplify -1 into -1
3.934 * [taylor]: Taking taylor expansion of y in y
3.934 * [backup-simplify]: Simplify 0 into 0
3.934 * [backup-simplify]: Simplify 1 into 1
3.934 * [backup-simplify]: Simplify (/ -1 1) into -1
3.934 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.934 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
3.934 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.935 * [backup-simplify]: Simplify (+ 0) into 0
3.935 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 1)) into 0
3.935 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
3.935 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.936 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 0)) into 0
3.936 * [backup-simplify]: Simplify (+ 0 0) into 0
3.936 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (sin (/ -1 y)))) into 0
3.937 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ -1 y))) (/ 0 1)))) into 0
3.937 * [taylor]: Taking taylor expansion of 0 in y
3.937 * [backup-simplify]: Simplify 0 into 0
3.937 * [backup-simplify]: Simplify 0 into 0
3.937 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ -1 y))))) into 0
3.937 * [backup-simplify]: Simplify 0 into 0
3.938 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.938 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
3.938 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.939 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.939 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
3.939 * [backup-simplify]: Simplify (+ 0 0) into 0
3.940 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))) into 0
3.941 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ -1 y))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.941 * [taylor]: Taking taylor expansion of 0 in y
3.941 * [backup-simplify]: Simplify 0 into 0
3.941 * [backup-simplify]: Simplify 0 into 0
3.941 * [backup-simplify]: Simplify 0 into 0
3.941 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0
3.941 * [backup-simplify]: Simplify 0 into 0
3.942 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.942 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.943 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.943 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
3.944 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
3.944 * [backup-simplify]: Simplify (+ 0 0) into 0
3.945 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0
3.946 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ -1 y))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.946 * [taylor]: Taking taylor expansion of 0 in y
3.946 * [backup-simplify]: Simplify 0 into 0
3.946 * [backup-simplify]: Simplify 0 into 0
3.946 * [backup-simplify]: Simplify (* (sin (/ -1 (/ 1 (- y)))) (* (/ 1 (- y)) (/ 1 (/ 1 (- x))))) into (/ (* x (sin y)) y)
3.946 * * * [progress]: simplifying candidates
3.950 * [simplify]: Simplifying:
  (expm1 (/ y (sin y)))
  (log1p (/ y (sin y)))
  (- (log y) (log (sin y)))
  (log (/ y (sin y)))
  (exp (/ y (sin y)))
  (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y)))
  (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))
  (cbrt (/ y (sin y)))
  (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y)))
  (sqrt (/ y (sin y)))
  (sqrt (/ y (sin y)))
  (- y)
  (- (sin y))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))
  (/ (cbrt y) (cbrt (sin y)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))
  (/ (cbrt y) (sqrt (sin y)))
  (/ (* (cbrt y) (cbrt y)) 1)
  (/ (cbrt y) (sin y))
  (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))
  (/ (sqrt y) (cbrt (sin y)))
  (/ (sqrt y) (sqrt (sin y)))
  (/ (sqrt y) (sqrt (sin y)))
  (/ (sqrt y) 1)
  (/ (sqrt y) (sin y))
  (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))
  (/ y (cbrt (sin y)))
  (/ 1 (sqrt (sin y)))
  (/ y (sqrt (sin y)))
  (/ 1 1)
  (/ y (sin y))
  (/ 1 (sin y))
  (/ (sin y) y)
  (/ y (* (cbrt (sin y)) (cbrt (sin y))))
  (/ y (sqrt (sin y)))
  (/ y 1)
  (/ (sin y) (cbrt y))
  (/ (sin y) (sqrt y))
  (/ (sin y) y)
  (expm1 (/ x (/ y (sin y))))
  (log1p (/ x (/ y (sin y))))
  (- (log x) (- (log y) (log (sin y))))
  (- (log x) (log (/ y (sin y))))
  (log (/ x (/ y (sin y))))
  (exp (/ x (/ y (sin y))))
  (/ (* (* x x) x) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y))))
  (/ (* (* x x) x) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y))))
  (* (cbrt (/ x (/ y (sin y)))) (cbrt (/ x (/ y (sin y)))))
  (cbrt (/ x (/ y (sin y))))
  (* (* (/ x (/ y (sin y))) (/ x (/ y (sin y)))) (/ x (/ y (sin y))))
  (sqrt (/ x (/ y (sin y))))
  (sqrt (/ x (/ y (sin y))))
  (- x)
  (- (/ y (sin y)))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))
  (/ (cbrt x) (cbrt (/ y (sin y))))
  (/ (* (cbrt x) (cbrt x)) (sqrt (/ y (sin y))))
  (/ (cbrt x) (sqrt (/ y (sin y))))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (cbrt x) (/ (cbrt y) (cbrt (sin y))))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))
  (/ (cbrt x) (/ (cbrt y) (sqrt (sin y))))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt y) (cbrt y)) 1))
  (/ (cbrt x) (/ (cbrt y) (sin y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (cbrt x) (/ (sqrt y) (cbrt (sin y))))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt y) (sqrt (sin y))))
  (/ (cbrt x) (/ (sqrt y) (sqrt (sin y))))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt y) 1))
  (/ (cbrt x) (/ (sqrt y) (sin y)))
  (/ (* (cbrt x) (cbrt x)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (cbrt x) (/ y (cbrt (sin y))))
  (/ (* (cbrt x) (cbrt x)) (/ 1 (sqrt (sin y))))
  (/ (cbrt x) (/ y (sqrt (sin y))))
  (/ (* (cbrt x) (cbrt x)) (/ 1 1))
  (/ (cbrt x) (/ y (sin y)))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (/ y (sin y)))
  (/ (* (cbrt x) (cbrt x)) y)
  (/ (cbrt x) (/ 1 (sin y)))
  (/ (sqrt x) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))
  (/ (sqrt x) (cbrt (/ y (sin y))))
  (/ (sqrt x) (sqrt (/ y (sin y))))
  (/ (sqrt x) (sqrt (/ y (sin y))))
  (/ (sqrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (sqrt x) (/ (cbrt y) (cbrt (sin y))))
  (/ (sqrt x) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))
  (/ (sqrt x) (/ (cbrt y) (sqrt (sin y))))
  (/ (sqrt x) (/ (* (cbrt y) (cbrt y)) 1))
  (/ (sqrt x) (/ (cbrt y) (sin y)))
  (/ (sqrt x) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (sqrt x) (/ (sqrt y) (cbrt (sin y))))
  (/ (sqrt x) (/ (sqrt y) (sqrt (sin y))))
  (/ (sqrt x) (/ (sqrt y) (sqrt (sin y))))
  (/ (sqrt x) (/ (sqrt y) 1))
  (/ (sqrt x) (/ (sqrt y) (sin y)))
  (/ (sqrt x) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (sqrt x) (/ y (cbrt (sin y))))
  (/ (sqrt x) (/ 1 (sqrt (sin y))))
  (/ (sqrt x) (/ y (sqrt (sin y))))
  (/ (sqrt x) (/ 1 1))
  (/ (sqrt x) (/ y (sin y)))
  (/ (sqrt x) 1)
  (/ (sqrt x) (/ y (sin y)))
  (/ (sqrt x) y)
  (/ (sqrt x) (/ 1 (sin y)))
  (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))
  (/ x (cbrt (/ y (sin y))))
  (/ 1 (sqrt (/ y (sin y))))
  (/ x (sqrt (/ y (sin y))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ x (/ (cbrt y) (cbrt (sin y))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))
  (/ x (/ (cbrt y) (sqrt (sin y))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) 1))
  (/ x (/ (cbrt y) (sin y)))
  (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ x (/ (sqrt y) (cbrt (sin y))))
  (/ 1 (/ (sqrt y) (sqrt (sin y))))
  (/ x (/ (sqrt y) (sqrt (sin y))))
  (/ 1 (/ (sqrt y) 1))
  (/ x (/ (sqrt y) (sin y)))
  (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ x (/ y (cbrt (sin y))))
  (/ 1 (/ 1 (sqrt (sin y))))
  (/ x (/ y (sqrt (sin y))))
  (/ 1 (/ 1 1))
  (/ x (/ y (sin y)))
  (/ 1 1)
  (/ x (/ y (sin y)))
  (/ 1 y)
  (/ x (/ 1 (sin y)))
  (/ 1 (/ y (sin y)))
  (/ (/ y (sin y)) x)
  (/ x (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))
  (/ x (sqrt (/ y (sin y))))
  (/ x (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ x (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))
  (/ x (/ (* (cbrt y) (cbrt y)) 1))
  (/ x (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ x (/ (sqrt y) (sqrt (sin y))))
  (/ x (/ (sqrt y) 1))
  (/ x (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ x (/ 1 (sqrt (sin y))))
  (/ x (/ 1 1))
  (/ x 1)
  (/ x y)
  (/ (/ y (sin y)) (cbrt x))
  (/ (/ y (sin y)) (sqrt x))
  (/ (/ y (sin y)) x)
  (/ x y)
  (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1))
  (/ y (sin y))
  (/ y (sin y))
  (- x (* 1/6 (* x (pow y 2))))
  (/ (* x (sin y)) y)
  (/ (* x (sin y)) y)
3.952 * * [simplify]: iteration 0: 175 enodes
3.988 * * [simplify]: iteration 1: 432 enodes
4.126 * * [simplify]: iteration 2: 2011 enodes
4.754 * * [simplify]: iteration complete: 5000 enodes
4.754 * * [simplify]: Extracting #0: cost 131 inf + 0
4.763 * * [simplify]: Extracting #1: cost 907 inf + 3
4.776 * * [simplify]: Extracting #2: cost 1541 inf + 36123
4.813 * * [simplify]: Extracting #3: cost 815 inf + 198098
4.862 * * [simplify]: Extracting #4: cost 17 inf + 304542
4.916 * * [simplify]: Extracting #5: cost 0 inf + 307036
4.965 * [simplify]: Simplified to:
  (expm1 (/ y (sin y)))
  (log1p (/ y (sin y)))
  (log (/ y (sin y)))
  (log (/ y (sin y)))
  (exp (/ y (sin y)))
  (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y)))
  (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))
  (cbrt (/ y (sin y)))
  (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y)))
  (sqrt (/ y (sin y)))
  (sqrt (/ y (sin y)))
  (- y)
  (- (sin y))
  (* (/ (cbrt y) (cbrt (sin y))) (/ (cbrt y) (cbrt (sin y))))
  (/ (cbrt y) (cbrt (sin y)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))
  (/ (cbrt y) (sqrt (sin y)))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (sin y))
  (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))
  (/ (sqrt y) (cbrt (sin y)))
  (/ (sqrt y) (sqrt (sin y)))
  (/ (sqrt y) (sqrt (sin y)))
  (sqrt y)
  (/ (sqrt y) (sin y))
  (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))
  (/ y (cbrt (sin y)))
  (/ 1 (sqrt (sin y)))
  (/ y (sqrt (sin y)))
  1
  (/ y (sin y))
  (/ 1 (sin y))
  (/ (sin y) y)
  (/ (/ y (cbrt (sin y))) (cbrt (sin y)))
  (/ y (sqrt (sin y)))
  y
  (/ (sin y) (cbrt y))
  (/ (sin y) (sqrt y))
  (/ (sin y) y)
  (expm1 (/ x (/ y (sin y))))
  (log1p (/ x (/ y (sin y))))
  (log (/ x (/ y (sin y))))
  (log (/ x (/ y (sin y))))
  (log (/ x (/ y (sin y))))
  (exp (/ x (/ y (sin y))))
  (* (* (/ x (/ y (sin y))) (/ x (/ y (sin y)))) (/ x (/ y (sin y))))
  (* (* (/ x (/ y (sin y))) (/ x (/ y (sin y)))) (/ x (/ y (sin y))))
  (* (cbrt (/ x (/ y (sin y)))) (cbrt (/ x (/ y (sin y)))))
  (cbrt (/ x (/ y (sin y))))
  (* (* (/ x (/ y (sin y))) (/ x (/ y (sin y)))) (/ x (/ y (sin y))))
  (sqrt (/ x (/ y (sin y))))
  (sqrt (/ x (/ y (sin y))))
  (- x)
  (/ (- y) (sin y))
  (* (/ (cbrt x) (cbrt (/ y (sin y)))) (/ (cbrt x) (cbrt (/ y (sin y)))))
  (/ (cbrt x) (cbrt (/ y (sin y))))
  (* (/ (cbrt x) (sqrt (/ y (sin y)))) (cbrt x))
  (/ (cbrt x) (sqrt (/ y (sin y))))
  (* (* (/ (cbrt x) (cbrt y)) (cbrt (sin y))) (* (/ (cbrt x) (cbrt y)) (cbrt (sin y))))
  (* (/ (cbrt x) (cbrt y)) (cbrt (sin y)))
  (* (/ (cbrt x) (cbrt y)) (* (/ (cbrt x) (cbrt y)) (sqrt (sin y))))
  (* (/ (cbrt x) (cbrt y)) (sqrt (sin y)))
  (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y)))
  (/ (* (cbrt x) (sin y)) (cbrt y))
  (/ (* (* (cbrt (sin y)) (cbrt x)) (* (cbrt (sin y)) (cbrt x))) (sqrt y))
  (* (cbrt (sin y)) (/ (cbrt x) (sqrt y)))
  (* (/ (cbrt x) (/ (sqrt y) (cbrt x))) (sqrt (sin y)))
  (* (sqrt (sin y)) (/ (cbrt x) (sqrt y)))
  (/ (cbrt x) (/ (sqrt y) (cbrt x)))
  (/ (cbrt x) (/ (sqrt y) (sin y)))
  (* (* (cbrt (sin y)) (cbrt x)) (* (cbrt (sin y)) (cbrt x)))
  (* (cbrt (sin y)) (/ (cbrt x) y))
  (* (sqrt (sin y)) (* (cbrt x) (cbrt x)))
  (/ (cbrt x) (/ y (sqrt (sin y))))
  (* (cbrt x) (cbrt x))
  (* (/ (cbrt x) y) (sin y))
  (* (cbrt x) (cbrt x))
  (* (/ (cbrt x) y) (sin y))
  (/ (cbrt x) (/ y (cbrt x)))
  (* (cbrt x) (sin y))
  (/ (/ (sqrt x) (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))))
  (/ (sqrt x) (cbrt (/ y (sin y))))
  (/ (sqrt x) (sqrt (/ y (sin y))))
  (/ (sqrt x) (sqrt (/ y (sin y))))
  (/ (sqrt x) (* (/ (cbrt y) (cbrt (sin y))) (/ (cbrt y) (cbrt (sin y)))))
  (/ (sqrt x) (/ (cbrt y) (cbrt (sin y))))
  (/ (sqrt x) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))
  (* (/ (sqrt x) (cbrt y)) (sqrt (sin y)))
  (/ (/ (sqrt x) (cbrt y)) (cbrt y))
  (/ (sqrt x) (/ (cbrt y) (sin y)))
  (* (/ (sqrt x) (/ (sqrt y) (cbrt (sin y)))) (cbrt (sin y)))
  (/ (sqrt x) (/ (sqrt y) (cbrt (sin y))))
  (/ (sqrt x) (/ (sqrt y) (sqrt (sin y))))
  (/ (sqrt x) (/ (sqrt y) (sqrt (sin y))))
  (/ (sqrt x) (sqrt y))
  (/ (sqrt x) (/ (sqrt y) (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (sqrt x))
  (* (cbrt (sin y)) (/ (sqrt x) y))
  (* (sqrt (sin y)) (sqrt x))
  (* (sqrt (sin y)) (/ (sqrt x) y))
  (sqrt x)
  (/ (sqrt x) (/ y (sin y)))
  (sqrt x)
  (/ (sqrt x) (/ y (sin y)))
  (/ (sqrt x) y)
  (* (sqrt x) (sin y))
  (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))))
  (/ x (cbrt (/ y (sin y))))
  (/ 1 (sqrt (/ y (sin y))))
  (/ x (sqrt (/ y (sin y))))
  (* (/ (cbrt (sin y)) (cbrt y)) (/ (cbrt (sin y)) (cbrt y)))
  (* (/ x (cbrt y)) (cbrt (sin y)))
  (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))
  (/ x (/ (cbrt y) (sqrt (sin y))))
  (* (/ 1 (cbrt y)) (/ 1 (cbrt y)))
  (* (/ x (cbrt y)) (sin y))
  (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))
  (* (cbrt (sin y)) (/ x (sqrt y)))
  (/ (sqrt (sin y)) (sqrt y))
  (* (/ x (sqrt y)) (sqrt (sin y)))
  (/ 1 (sqrt y))
  (/ (* x (sin y)) (sqrt y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (cbrt (sin y)) (/ x y))
  (sqrt (sin y))
  (* (/ x y) (sqrt (sin y)))
  1
  (/ x (/ y (sin y)))
  1
  (/ x (/ y (sin y)))
  (/ 1 y)
  (* x (sin y))
  (/ (sin y) y)
  (/ y (* x (sin y)))
  (/ (/ x (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))))
  (/ x (sqrt (/ y (sin y))))
  (/ (/ x (/ (cbrt y) (cbrt (sin y)))) (/ (cbrt y) (cbrt (sin y))))
  (/ (* x (sqrt (sin y))) (* (cbrt y) (cbrt y)))
  (/ (/ x (cbrt y)) (cbrt y))
  (* (/ x (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ x (sqrt y)) (sqrt (sin y)))
  (/ x (sqrt y))
  (* x (* (cbrt (sin y)) (cbrt (sin y))))
  (* x (sqrt (sin y)))
  x
  x
  (/ x y)
  (/ (/ y (sin y)) (cbrt x))
  (/ (/ y (sin y)) (sqrt x))
  (/ y (* x (sin y)))
  (/ x y)
  (+ 1 (* (* y y) (+ 1/6 (* 7/360 (* y y)))))
  (/ y (sin y))
  (/ y (sin y))
  (fma (* (* y y) x) -1/6 x)
  (* (/ x y) (sin y))
  (* (/ x y) (sin y))
4.971 * * * [progress]: adding candidates to table
5.408 * * [progress]: iteration 4 / 4
5.408 * * * [progress]: picking best candidate
5.422 * * * * [pick]: Picked  #<alt (λ (x y) (/ x (* y (/ 1 (sin y)))))>
5.422 * * * [progress]: localizing error
5.439 * * * [progress]: generating rewritten candidates
5.439 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
5.461 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
5.468 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
5.485 * * * [progress]: generating series expansions
5.486 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
5.486 * [backup-simplify]: Simplify (* y (/ 1 (sin y))) into (/ y (sin y))
5.486 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0
5.486 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y
5.486 * [taylor]: Taking taylor expansion of y in y
5.486 * [backup-simplify]: Simplify 0 into 0
5.486 * [backup-simplify]: Simplify 1 into 1
5.486 * [taylor]: Taking taylor expansion of (sin y) in y
5.486 * [taylor]: Taking taylor expansion of y in y
5.486 * [backup-simplify]: Simplify 0 into 0
5.486 * [backup-simplify]: Simplify 1 into 1
5.487 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
5.487 * [backup-simplify]: Simplify (/ 1 1) into 1
5.487 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y
5.487 * [taylor]: Taking taylor expansion of y in y
5.487 * [backup-simplify]: Simplify 0 into 0
5.487 * [backup-simplify]: Simplify 1 into 1
5.487 * [taylor]: Taking taylor expansion of (sin y) in y
5.487 * [taylor]: Taking taylor expansion of y in y
5.487 * [backup-simplify]: Simplify 0 into 0
5.487 * [backup-simplify]: Simplify 1 into 1
5.488 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
5.488 * [backup-simplify]: Simplify (/ 1 1) into 1
5.488 * [backup-simplify]: Simplify 1 into 1
5.489 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.489 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
5.489 * [backup-simplify]: Simplify 0 into 0
5.490 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
5.491 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ -1/6 1)) (* 0 (/ 0 1)))) into 1/6
5.491 * [backup-simplify]: Simplify 1/6 into 1/6
5.493 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
5.494 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ -1/6 1)) (* 1/6 (/ 0 1)))) into 0
5.494 * [backup-simplify]: Simplify 0 into 0
5.496 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 5) 120)) 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 1 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 1/120
5.497 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 1/120 1)) (* 0 (/ 0 1)) (* 1/6 (/ -1/6 1)) (* 0 (/ 0 1)))) into 7/360
5.498 * [backup-simplify]: Simplify 7/360 into 7/360
5.498 * [backup-simplify]: Simplify (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1)) into (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1))
5.498 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 (sin (/ 1 y)))) into (/ 1 (* y (sin (/ 1 y))))
5.498 * [approximate]: Taking taylor expansion of (/ 1 (* y (sin (/ 1 y)))) in (y) around 0
5.498 * [taylor]: Taking taylor expansion of (/ 1 (* y (sin (/ 1 y)))) in y
5.498 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y
5.498 * [taylor]: Taking taylor expansion of y in y
5.498 * [backup-simplify]: Simplify 0 into 0
5.498 * [backup-simplify]: Simplify 1 into 1
5.498 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.498 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.498 * [taylor]: Taking taylor expansion of y in y
5.498 * [backup-simplify]: Simplify 0 into 0
5.498 * [backup-simplify]: Simplify 1 into 1
5.499 * [backup-simplify]: Simplify (/ 1 1) into 1
5.499 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
5.499 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0
5.499 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y))
5.499 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
5.499 * [taylor]: Taking taylor expansion of (/ 1 (* y (sin (/ 1 y)))) in y
5.499 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y
5.499 * [taylor]: Taking taylor expansion of y in y
5.499 * [backup-simplify]: Simplify 0 into 0
5.499 * [backup-simplify]: Simplify 1 into 1
5.499 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.499 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.499 * [taylor]: Taking taylor expansion of y in y
5.499 * [backup-simplify]: Simplify 0 into 0
5.499 * [backup-simplify]: Simplify 1 into 1
5.500 * [backup-simplify]: Simplify (/ 1 1) into 1
5.500 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
5.500 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0
5.500 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y))
5.500 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
5.500 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
5.501 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ 1 y))))) into 0
5.501 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))))) into 0
5.501 * [backup-simplify]: Simplify 0 into 0
5.502 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))) into 0
5.503 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
5.503 * [backup-simplify]: Simplify 0 into 0
5.504 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))) into 0
5.504 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
5.504 * [backup-simplify]: Simplify 0 into 0
5.506 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))) into 0
5.506 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
5.506 * [backup-simplify]: Simplify 0 into 0
5.507 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))))) into 0
5.508 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
5.508 * [backup-simplify]: Simplify 0 into 0
5.509 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))))) into 0
5.510 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
5.510 * [backup-simplify]: Simplify 0 into 0
5.510 * [backup-simplify]: Simplify (* (/ 1 (sin (/ 1 (/ 1 y)))) (/ 1 (/ 1 y))) into (/ y (sin y))
5.510 * [backup-simplify]: Simplify (* (/ 1 (- y)) (/ 1 (sin (/ 1 (- y))))) into (/ -1 (* y (sin (/ -1 y))))
5.510 * [approximate]: Taking taylor expansion of (/ -1 (* y (sin (/ -1 y)))) in (y) around 0
5.510 * [taylor]: Taking taylor expansion of (/ -1 (* y (sin (/ -1 y)))) in y
5.510 * [taylor]: Taking taylor expansion of -1 in y
5.510 * [backup-simplify]: Simplify -1 into -1
5.510 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
5.510 * [taylor]: Taking taylor expansion of y in y
5.510 * [backup-simplify]: Simplify 0 into 0
5.510 * [backup-simplify]: Simplify 1 into 1
5.510 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.510 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.510 * [taylor]: Taking taylor expansion of -1 in y
5.510 * [backup-simplify]: Simplify -1 into -1
5.510 * [taylor]: Taking taylor expansion of y in y
5.510 * [backup-simplify]: Simplify 0 into 0
5.510 * [backup-simplify]: Simplify 1 into 1
5.510 * [backup-simplify]: Simplify (/ -1 1) into -1
5.510 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
5.510 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0
5.511 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
5.511 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y)))
5.511 * [taylor]: Taking taylor expansion of (/ -1 (* y (sin (/ -1 y)))) in y
5.511 * [taylor]: Taking taylor expansion of -1 in y
5.511 * [backup-simplify]: Simplify -1 into -1
5.511 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
5.511 * [taylor]: Taking taylor expansion of y in y
5.511 * [backup-simplify]: Simplify 0 into 0
5.511 * [backup-simplify]: Simplify 1 into 1
5.511 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.511 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.511 * [taylor]: Taking taylor expansion of -1 in y
5.511 * [backup-simplify]: Simplify -1 into -1
5.511 * [taylor]: Taking taylor expansion of y in y
5.511 * [backup-simplify]: Simplify 0 into 0
5.511 * [backup-simplify]: Simplify 1 into 1
5.511 * [backup-simplify]: Simplify (/ -1 1) into -1
5.511 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
5.511 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0
5.512 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
5.512 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y)))
5.512 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y)))
5.512 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ -1 y))))) into 0
5.513 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))))) into 0
5.513 * [backup-simplify]: Simplify 0 into 0
5.513 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0
5.513 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
5.514 * [backup-simplify]: Simplify 0 into 0
5.515 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))) into 0
5.515 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
5.515 * [backup-simplify]: Simplify 0 into 0
5.517 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))) into 0
5.517 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
5.517 * [backup-simplify]: Simplify 0 into 0
5.519 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))))) into 0
5.520 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
5.520 * [backup-simplify]: Simplify 0 into 0
5.522 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))))) into 0
5.522 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
5.522 * [backup-simplify]: Simplify 0 into 0
5.523 * [backup-simplify]: Simplify (* (/ -1 (sin (/ -1 (/ 1 (- y))))) (/ 1 (/ 1 (- y)))) into (/ y (sin y))
5.523 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
5.523 * [backup-simplify]: Simplify (/ 1 (sin y)) into (/ 1 (sin y))
5.523 * [approximate]: Taking taylor expansion of (/ 1 (sin y)) in (y) around 0
5.523 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y
5.523 * [taylor]: Taking taylor expansion of (sin y) in y
5.523 * [taylor]: Taking taylor expansion of y in y
5.523 * [backup-simplify]: Simplify 0 into 0
5.523 * [backup-simplify]: Simplify 1 into 1
5.524 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
5.524 * [backup-simplify]: Simplify (/ 1 1) into 1
5.524 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y
5.524 * [taylor]: Taking taylor expansion of (sin y) in y
5.524 * [taylor]: Taking taylor expansion of y in y
5.524 * [backup-simplify]: Simplify 0 into 0
5.524 * [backup-simplify]: Simplify 1 into 1
5.525 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
5.525 * [backup-simplify]: Simplify (/ 1 1) into 1
5.525 * [backup-simplify]: Simplify 1 into 1
5.526 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.526 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.526 * [backup-simplify]: Simplify 0 into 0
5.528 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
5.529 * [backup-simplify]: Simplify (- (+ (* 1 (/ -1/6 1)) (* 0 (/ 0 1)))) into 1/6
5.529 * [backup-simplify]: Simplify 1/6 into 1/6
5.530 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
5.531 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ -1/6 1)) (* 1/6 (/ 0 1)))) into 0
5.531 * [backup-simplify]: Simplify 0 into 0
5.534 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 5) 120)) 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 1 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 1/120
5.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/120 1)) (* 0 (/ 0 1)) (* 1/6 (/ -1/6 1)) (* 0 (/ 0 1)))) into 7/360
5.535 * [backup-simplify]: Simplify 7/360 into 7/360
5.536 * [backup-simplify]: Simplify (+ (* 7/360 (pow y 3)) (+ (* 1/6 y) (* 1 (/ 1 y)))) into (+ (* 7/360 (pow y 3)) (+ (* 1/6 y) (/ 1 y)))
5.536 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
5.536 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in (y) around 0
5.536 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y
5.536 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.536 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.536 * [taylor]: Taking taylor expansion of y in y
5.536 * [backup-simplify]: Simplify 0 into 0
5.536 * [backup-simplify]: Simplify 1 into 1
5.536 * [backup-simplify]: Simplify (/ 1 1) into 1
5.536 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
5.537 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
5.537 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y
5.537 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.537 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.537 * [taylor]: Taking taylor expansion of y in y
5.537 * [backup-simplify]: Simplify 0 into 0
5.537 * [backup-simplify]: Simplify 1 into 1
5.537 * [backup-simplify]: Simplify (/ 1 1) into 1
5.537 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
5.537 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
5.537 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
5.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))))) into 0
5.538 * [backup-simplify]: Simplify 0 into 0
5.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
5.538 * [backup-simplify]: Simplify 0 into 0
5.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
5.538 * [backup-simplify]: Simplify 0 into 0
5.539 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
5.539 * [backup-simplify]: Simplify 0 into 0
5.539 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
5.539 * [backup-simplify]: Simplify 0 into 0
5.540 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
5.540 * [backup-simplify]: Simplify 0 into 0
5.540 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 (/ 1 y)))) into (/ 1 (sin y))
5.540 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 (- y)))) into (/ 1 (sin (/ -1 y)))
5.540 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in (y) around 0
5.540 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y
5.540 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.540 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.540 * [taylor]: Taking taylor expansion of -1 in y
5.540 * [backup-simplify]: Simplify -1 into -1
5.540 * [taylor]: Taking taylor expansion of y in y
5.540 * [backup-simplify]: Simplify 0 into 0
5.540 * [backup-simplify]: Simplify 1 into 1
5.541 * [backup-simplify]: Simplify (/ -1 1) into -1
5.541 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
5.541 * [backup-simplify]: Simplify (/ 1 (sin (/ -1 y))) into (/ 1 (sin (/ -1 y)))
5.541 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y
5.541 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.541 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.541 * [taylor]: Taking taylor expansion of -1 in y
5.541 * [backup-simplify]: Simplify -1 into -1
5.541 * [taylor]: Taking taylor expansion of y in y
5.541 * [backup-simplify]: Simplify 0 into 0
5.541 * [backup-simplify]: Simplify 1 into 1
5.541 * [backup-simplify]: Simplify (/ -1 1) into -1
5.541 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
5.541 * [backup-simplify]: Simplify (/ 1 (sin (/ -1 y))) into (/ 1 (sin (/ -1 y)))
5.542 * [backup-simplify]: Simplify (/ 1 (sin (/ -1 y))) into (/ 1 (sin (/ -1 y)))
5.542 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))))) into 0
5.542 * [backup-simplify]: Simplify 0 into 0
5.542 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
5.542 * [backup-simplify]: Simplify 0 into 0
5.542 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
5.543 * [backup-simplify]: Simplify 0 into 0
5.543 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
5.543 * [backup-simplify]: Simplify 0 into 0
5.543 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
5.543 * [backup-simplify]: Simplify 0 into 0
5.544 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
5.544 * [backup-simplify]: Simplify 0 into 0
5.544 * [backup-simplify]: Simplify (/ 1 (sin (/ -1 (/ 1 (- y))))) into (/ 1 (sin y))
5.544 * * * * [progress]: [ 3 / 3 ] generating series at (2)
5.544 * [backup-simplify]: Simplify (/ x (* y (/ 1 (sin y)))) into (/ (* x (sin y)) y)
5.544 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) y) in (x y) around 0
5.544 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in y
5.544 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
5.544 * [taylor]: Taking taylor expansion of x in y
5.544 * [backup-simplify]: Simplify x into x
5.544 * [taylor]: Taking taylor expansion of (sin y) in y
5.544 * [taylor]: Taking taylor expansion of y in y
5.545 * [backup-simplify]: Simplify 0 into 0
5.545 * [backup-simplify]: Simplify 1 into 1
5.545 * [taylor]: Taking taylor expansion of y in y
5.545 * [backup-simplify]: Simplify 0 into 0
5.545 * [backup-simplify]: Simplify 1 into 1
5.545 * [backup-simplify]: Simplify (* x 0) into 0
5.545 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
5.546 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.546 * [backup-simplify]: Simplify (/ x 1) into x
5.546 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x
5.546 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
5.546 * [taylor]: Taking taylor expansion of x in x
5.546 * [backup-simplify]: Simplify 0 into 0
5.546 * [backup-simplify]: Simplify 1 into 1
5.546 * [taylor]: Taking taylor expansion of (sin y) in x
5.546 * [taylor]: Taking taylor expansion of y in x
5.546 * [backup-simplify]: Simplify y into y
5.546 * [backup-simplify]: Simplify (sin y) into (sin y)
5.546 * [backup-simplify]: Simplify (cos y) into (cos y)
5.546 * [taylor]: Taking taylor expansion of y in x
5.546 * [backup-simplify]: Simplify y into y
5.546 * [backup-simplify]: Simplify (* (sin y) 1) into (sin y)
5.546 * [backup-simplify]: Simplify (* (cos y) 0) into 0
5.546 * [backup-simplify]: Simplify (+ (sin y) 0) into (sin y)
5.546 * [backup-simplify]: Simplify (* 0 (sin y)) into 0
5.547 * [backup-simplify]: Simplify (+ 0) into 0
5.547 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 1)) into 0
5.548 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.548 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 0)) into 0
5.549 * [backup-simplify]: Simplify (+ 0 0) into 0
5.549 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin y))) into (sin y)
5.549 * [backup-simplify]: Simplify (/ (sin y) y) into (/ (sin y) y)
5.549 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x
5.549 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
5.549 * [taylor]: Taking taylor expansion of x in x
5.549 * [backup-simplify]: Simplify 0 into 0
5.549 * [backup-simplify]: Simplify 1 into 1
5.549 * [taylor]: Taking taylor expansion of (sin y) in x
5.549 * [taylor]: Taking taylor expansion of y in x
5.549 * [backup-simplify]: Simplify y into y
5.549 * [backup-simplify]: Simplify (sin y) into (sin y)
5.549 * [backup-simplify]: Simplify (cos y) into (cos y)
5.549 * [taylor]: Taking taylor expansion of y in x
5.549 * [backup-simplify]: Simplify y into y
5.549 * [backup-simplify]: Simplify (* (sin y) 1) into (sin y)
5.550 * [backup-simplify]: Simplify (* (cos y) 0) into 0
5.550 * [backup-simplify]: Simplify (+ (sin y) 0) into (sin y)
5.550 * [backup-simplify]: Simplify (* 0 (sin y)) into 0
5.550 * [backup-simplify]: Simplify (+ 0) into 0
5.550 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 1)) into 0
5.551 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.551 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 0)) into 0
5.552 * [backup-simplify]: Simplify (+ 0 0) into 0
5.552 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin y))) into (sin y)
5.552 * [backup-simplify]: Simplify (/ (sin y) y) into (/ (sin y) y)
5.552 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
5.552 * [taylor]: Taking taylor expansion of (sin y) in y
5.552 * [taylor]: Taking taylor expansion of y in y
5.552 * [backup-simplify]: Simplify 0 into 0
5.552 * [backup-simplify]: Simplify 1 into 1
5.552 * [taylor]: Taking taylor expansion of y in y
5.552 * [backup-simplify]: Simplify 0 into 0
5.552 * [backup-simplify]: Simplify 1 into 1
5.553 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
5.553 * [backup-simplify]: Simplify (/ 1 1) into 1
5.553 * [backup-simplify]: Simplify 1 into 1
5.554 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.555 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (* 0 1))) into 0
5.555 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.556 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (* 0 0))) into 0
5.556 * [backup-simplify]: Simplify (+ 0 0) into 0
5.557 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin y)))) into 0
5.557 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sin y) y) (/ 0 y)))) into 0
5.557 * [taylor]: Taking taylor expansion of 0 in y
5.557 * [backup-simplify]: Simplify 0 into 0
5.557 * [backup-simplify]: Simplify 0 into 0
5.557 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.558 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
5.558 * [backup-simplify]: Simplify 0 into 0
5.559 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.559 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.561 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
5.561 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
5.561 * [backup-simplify]: Simplify (+ 0 0) into 0
5.562 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin y))))) into 0
5.563 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sin y) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.563 * [taylor]: Taking taylor expansion of 0 in y
5.563 * [backup-simplify]: Simplify 0 into 0
5.563 * [backup-simplify]: Simplify 0 into 0
5.563 * [backup-simplify]: Simplify 0 into 0
5.564 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
5.565 * [backup-simplify]: Simplify (- (/ -1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into -1/6
5.565 * [backup-simplify]: Simplify -1/6 into -1/6
5.569 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
5.570 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.571 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
5.571 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
5.572 * [backup-simplify]: Simplify (+ 0 0) into 0
5.573 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin y)))))) into 0
5.573 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sin y) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.573 * [taylor]: Taking taylor expansion of 0 in y
5.573 * [backup-simplify]: Simplify 0 into 0
5.573 * [backup-simplify]: Simplify 0 into 0
5.573 * [backup-simplify]: Simplify 0 into 0
5.573 * [backup-simplify]: Simplify 0 into 0
5.574 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
5.576 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)))) into 0
5.576 * [backup-simplify]: Simplify 0 into 0
5.577 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.577 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.579 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 5) 120)) 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
5.579 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
5.579 * [backup-simplify]: Simplify (+ 0 0) into 0
5.581 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin y))))))) into 0
5.581 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sin y) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.581 * [taylor]: Taking taylor expansion of 0 in y
5.581 * [backup-simplify]: Simplify 0 into 0
5.581 * [backup-simplify]: Simplify 0 into 0
5.581 * [backup-simplify]: Simplify 0 into 0
5.581 * [backup-simplify]: Simplify (+ (* -1/6 (* (pow y 2) x)) (* 1 (* 1 x))) into (- x (* 1/6 (* x (pow y 2))))
5.581 * [backup-simplify]: Simplify (/ (/ 1 x) (* (/ 1 y) (/ 1 (sin (/ 1 y))))) into (/ (* y (sin (/ 1 y))) x)
5.581 * [approximate]: Taking taylor expansion of (/ (* y (sin (/ 1 y))) x) in (x y) around 0
5.581 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ 1 y))) x) in y
5.581 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y
5.581 * [taylor]: Taking taylor expansion of y in y
5.581 * [backup-simplify]: Simplify 0 into 0
5.581 * [backup-simplify]: Simplify 1 into 1
5.581 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.581 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.581 * [taylor]: Taking taylor expansion of y in y
5.581 * [backup-simplify]: Simplify 0 into 0
5.581 * [backup-simplify]: Simplify 1 into 1
5.582 * [backup-simplify]: Simplify (/ 1 1) into 1
5.582 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
5.582 * [taylor]: Taking taylor expansion of x in y
5.582 * [backup-simplify]: Simplify x into x
5.582 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0
5.582 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y))
5.582 * [backup-simplify]: Simplify (/ (sin (/ 1 y)) x) into (/ (sin (/ 1 y)) x)
5.582 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ 1 y))) x) in x
5.582 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in x
5.582 * [taylor]: Taking taylor expansion of y in x
5.582 * [backup-simplify]: Simplify y into y
5.582 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
5.582 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.582 * [taylor]: Taking taylor expansion of y in x
5.582 * [backup-simplify]: Simplify y into y
5.582 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.582 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
5.582 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
5.582 * [taylor]: Taking taylor expansion of x in x
5.582 * [backup-simplify]: Simplify 0 into 0
5.582 * [backup-simplify]: Simplify 1 into 1
5.582 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 1) into (sin (/ 1 y))
5.582 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 0) into 0
5.583 * [backup-simplify]: Simplify (+ (sin (/ 1 y)) 0) into (sin (/ 1 y))
5.583 * [backup-simplify]: Simplify (* y (sin (/ 1 y))) into (* y (sin (/ 1 y)))
5.583 * [backup-simplify]: Simplify (/ (* y (sin (/ 1 y))) 1) into (* y (sin (/ 1 y)))
5.583 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ 1 y))) x) in x
5.583 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in x
5.583 * [taylor]: Taking taylor expansion of y in x
5.583 * [backup-simplify]: Simplify y into y
5.583 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
5.583 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.583 * [taylor]: Taking taylor expansion of y in x
5.583 * [backup-simplify]: Simplify y into y
5.583 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.583 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
5.583 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
5.583 * [taylor]: Taking taylor expansion of x in x
5.583 * [backup-simplify]: Simplify 0 into 0
5.583 * [backup-simplify]: Simplify 1 into 1
5.583 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 1) into (sin (/ 1 y))
5.583 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 0) into 0
5.583 * [backup-simplify]: Simplify (+ (sin (/ 1 y)) 0) into (sin (/ 1 y))
5.583 * [backup-simplify]: Simplify (* y (sin (/ 1 y))) into (* y (sin (/ 1 y)))
5.583 * [backup-simplify]: Simplify (/ (* y (sin (/ 1 y))) 1) into (* y (sin (/ 1 y)))
5.583 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y
5.583 * [taylor]: Taking taylor expansion of y in y
5.583 * [backup-simplify]: Simplify 0 into 0
5.583 * [backup-simplify]: Simplify 1 into 1
5.583 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.583 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.583 * [taylor]: Taking taylor expansion of y in y
5.583 * [backup-simplify]: Simplify 0 into 0
5.583 * [backup-simplify]: Simplify 1 into 1
5.584 * [backup-simplify]: Simplify (/ 1 1) into 1
5.584 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
5.584 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y))
5.584 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
5.584 * [backup-simplify]: Simplify (+ 0) into 0
5.585 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 1)) into 0
5.585 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.585 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.586 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 0)) into 0
5.586 * [backup-simplify]: Simplify (+ 0 0) into 0
5.586 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (sin (/ 1 y)))) into 0
5.586 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ 1 y))) (/ 0 1)))) into 0
5.586 * [taylor]: Taking taylor expansion of 0 in y
5.586 * [backup-simplify]: Simplify 0 into 0
5.586 * [backup-simplify]: Simplify 0 into 0
5.587 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ 1 y))))) into 0
5.587 * [backup-simplify]: Simplify 0 into 0
5.588 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.588 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
5.588 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.589 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.589 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
5.589 * [backup-simplify]: Simplify (+ 0 0) into 0
5.589 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))) into 0
5.590 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ 1 y))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.590 * [taylor]: Taking taylor expansion of 0 in y
5.590 * [backup-simplify]: Simplify 0 into 0
5.590 * [backup-simplify]: Simplify 0 into 0
5.591 * [backup-simplify]: Simplify 0 into 0
5.591 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))) into 0
5.591 * [backup-simplify]: Simplify 0 into 0
5.592 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.593 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.593 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.594 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
5.595 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
5.595 * [backup-simplify]: Simplify (+ 0 0) into 0
5.595 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))) into 0
5.597 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ 1 y))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.597 * [taylor]: Taking taylor expansion of 0 in y
5.597 * [backup-simplify]: Simplify 0 into 0
5.597 * [backup-simplify]: Simplify 0 into 0
5.597 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 y))) (* (/ 1 y) (/ 1 (/ 1 x)))) into (/ (* x (sin y)) y)
5.597 * [backup-simplify]: Simplify (/ (/ 1 (- x)) (* (/ 1 (- y)) (/ 1 (sin (/ 1 (- y)))))) into (/ (* y (sin (/ -1 y))) x)
5.597 * [approximate]: Taking taylor expansion of (/ (* y (sin (/ -1 y))) x) in (x y) around 0
5.597 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ -1 y))) x) in y
5.597 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
5.597 * [taylor]: Taking taylor expansion of y in y
5.597 * [backup-simplify]: Simplify 0 into 0
5.597 * [backup-simplify]: Simplify 1 into 1
5.597 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.597 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.597 * [taylor]: Taking taylor expansion of -1 in y
5.597 * [backup-simplify]: Simplify -1 into -1
5.597 * [taylor]: Taking taylor expansion of y in y
5.597 * [backup-simplify]: Simplify 0 into 0
5.597 * [backup-simplify]: Simplify 1 into 1
5.597 * [backup-simplify]: Simplify (/ -1 1) into -1
5.598 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
5.598 * [taylor]: Taking taylor expansion of x in y
5.598 * [backup-simplify]: Simplify x into x
5.598 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0
5.598 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
5.598 * [backup-simplify]: Simplify (/ (sin (/ -1 y)) x) into (/ (sin (/ -1 y)) x)
5.598 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ -1 y))) x) in x
5.598 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in x
5.598 * [taylor]: Taking taylor expansion of y in x
5.598 * [backup-simplify]: Simplify y into y
5.598 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
5.598 * [taylor]: Taking taylor expansion of (/ -1 y) in x
5.598 * [taylor]: Taking taylor expansion of -1 in x
5.598 * [backup-simplify]: Simplify -1 into -1
5.598 * [taylor]: Taking taylor expansion of y in x
5.598 * [backup-simplify]: Simplify y into y
5.598 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.598 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
5.598 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
5.598 * [taylor]: Taking taylor expansion of x in x
5.598 * [backup-simplify]: Simplify 0 into 0
5.598 * [backup-simplify]: Simplify 1 into 1
5.598 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 1) into (sin (/ -1 y))
5.598 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 0) into 0
5.598 * [backup-simplify]: Simplify (+ (sin (/ -1 y)) 0) into (sin (/ -1 y))
5.599 * [backup-simplify]: Simplify (* y (sin (/ -1 y))) into (* y (sin (/ -1 y)))
5.599 * [backup-simplify]: Simplify (/ (* y (sin (/ -1 y))) 1) into (* y (sin (/ -1 y)))
5.599 * [taylor]: Taking taylor expansion of (/ (* y (sin (/ -1 y))) x) in x
5.599 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in x
5.599 * [taylor]: Taking taylor expansion of y in x
5.599 * [backup-simplify]: Simplify y into y
5.599 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
5.599 * [taylor]: Taking taylor expansion of (/ -1 y) in x
5.599 * [taylor]: Taking taylor expansion of -1 in x
5.599 * [backup-simplify]: Simplify -1 into -1
5.599 * [taylor]: Taking taylor expansion of y in x
5.599 * [backup-simplify]: Simplify y into y
5.599 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.599 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
5.599 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
5.599 * [taylor]: Taking taylor expansion of x in x
5.599 * [backup-simplify]: Simplify 0 into 0
5.599 * [backup-simplify]: Simplify 1 into 1
5.599 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 1) into (sin (/ -1 y))
5.599 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 0) into 0
5.599 * [backup-simplify]: Simplify (+ (sin (/ -1 y)) 0) into (sin (/ -1 y))
5.599 * [backup-simplify]: Simplify (* y (sin (/ -1 y))) into (* y (sin (/ -1 y)))
5.599 * [backup-simplify]: Simplify (/ (* y (sin (/ -1 y))) 1) into (* y (sin (/ -1 y)))
5.599 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
5.599 * [taylor]: Taking taylor expansion of y in y
5.599 * [backup-simplify]: Simplify 0 into 0
5.599 * [backup-simplify]: Simplify 1 into 1
5.599 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.599 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.599 * [taylor]: Taking taylor expansion of -1 in y
5.599 * [backup-simplify]: Simplify -1 into -1
5.599 * [taylor]: Taking taylor expansion of y in y
5.599 * [backup-simplify]: Simplify 0 into 0
5.599 * [backup-simplify]: Simplify 1 into 1
5.600 * [backup-simplify]: Simplify (/ -1 1) into -1
5.600 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
5.600 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
5.600 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
5.600 * [backup-simplify]: Simplify (+ 0) into 0
5.601 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 1)) into 0
5.601 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
5.601 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.602 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 0)) into 0
5.602 * [backup-simplify]: Simplify (+ 0 0) into 0
5.602 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (sin (/ -1 y)))) into 0
5.602 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ -1 y))) (/ 0 1)))) into 0
5.602 * [taylor]: Taking taylor expansion of 0 in y
5.603 * [backup-simplify]: Simplify 0 into 0
5.603 * [backup-simplify]: Simplify 0 into 0
5.603 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ -1 y))))) into 0
5.603 * [backup-simplify]: Simplify 0 into 0
5.604 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.604 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
5.604 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.605 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.605 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
5.605 * [backup-simplify]: Simplify (+ 0 0) into 0
5.605 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))) into 0
5.606 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ -1 y))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.606 * [taylor]: Taking taylor expansion of 0 in y
5.606 * [backup-simplify]: Simplify 0 into 0
5.606 * [backup-simplify]: Simplify 0 into 0
5.606 * [backup-simplify]: Simplify 0 into 0
5.607 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0
5.607 * [backup-simplify]: Simplify 0 into 0
5.608 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.608 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.608 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.609 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
5.610 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
5.610 * [backup-simplify]: Simplify (+ 0 0) into 0
5.610 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0
5.612 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* y (sin (/ -1 y))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.612 * [taylor]: Taking taylor expansion of 0 in y
5.612 * [backup-simplify]: Simplify 0 into 0
5.612 * [backup-simplify]: Simplify 0 into 0
5.612 * [backup-simplify]: Simplify (* (sin (/ -1 (/ 1 (- y)))) (* (/ 1 (- y)) (/ 1 (/ 1 (- x))))) into (/ (* x (sin y)) y)
5.612 * * * [progress]: simplifying candidates
5.613 * [simplify]: Simplifying:
  (expm1 (* y (/ 1 (sin y))))
  (log1p (* y (/ 1 (sin y))))
  (* y (/ 1 (sin y)))
  (+ (log y) (- (log (sin y))))
  (+ (log y) (- 0 (log (sin y))))
  (+ (log y) (- (log 1) (log (sin y))))
  (+ (log y) (log (/ 1 (sin y))))
  (log (* y (/ 1 (sin y))))
  (exp (* y (/ 1 (sin y))))
  (* (* (* y y) y) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y))))
  (* (* (* y y) y) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y))))
  (* (cbrt (* y (/ 1 (sin y)))) (cbrt (* y (/ 1 (sin y)))))
  (cbrt (* y (/ 1 (sin y))))
  (* (* (* y (/ 1 (sin y))) (* y (/ 1 (sin y)))) (* y (/ 1 (sin y))))
  (sqrt (* y (/ 1 (sin y))))
  (sqrt (* y (/ 1 (sin y))))
  (* (sqrt y) (sqrt (/ 1 (sin y))))
  (* (sqrt y) (sqrt (/ 1 (sin y))))
  (* (sqrt y) (/ (sqrt 1) (sqrt (sin y))))
  (* (sqrt y) (/ (sqrt 1) (sqrt (sin y))))
  (* (sqrt y) (/ 1 (sqrt (sin y))))
  (* (sqrt y) (/ 1 (sqrt (sin y))))
  (* y (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (* y (sqrt (/ 1 (sin y))))
  (* y (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (* y (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))
  (* y (/ (* (cbrt 1) (cbrt 1)) 1))
  (* y (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))
  (* y (/ (sqrt 1) (sqrt (sin y))))
  (* y (/ (sqrt 1) 1))
  (* y (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (* y (/ 1 (sqrt (sin y))))
  (* y (/ 1 1))
  (* y 1)
  (* y 1)
  (* (cbrt y) (/ 1 (sin y)))
  (* (sqrt y) (/ 1 (sin y)))
  (* y (/ 1 (sin y)))
  (* y 1)
  (expm1 (/ 1 (sin y)))
  (log1p (/ 1 (sin y)))
  (- 1)
  (- (log (sin y)))
  (- 0 (log (sin y)))
  (- (log 1) (log (sin y)))
  (log (/ 1 (sin y)))
  (exp (/ 1 (sin y)))
  (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y)))
  (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))
  (cbrt (/ 1 (sin y)))
  (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y)))
  (sqrt (/ 1 (sin y)))
  (sqrt (/ 1 (sin y)))
  (- 1)
  (- (sin y))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))
  (/ (cbrt 1) (cbrt (sin y)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))
  (/ (cbrt 1) (sqrt (sin y)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (sin y))
  (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))
  (/ (sqrt 1) (cbrt (sin y)))
  (/ (sqrt 1) (sqrt (sin y)))
  (/ (sqrt 1) (sqrt (sin y)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (sin y))
  (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))
  (/ 1 (cbrt (sin y)))
  (/ 1 (sqrt (sin y)))
  (/ 1 (sqrt (sin y)))
  (/ 1 1)
  (/ 1 (sin y))
  (/ 1 (sin y))
  (/ (sin y) 1)
  (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))
  (/ 1 (sqrt (sin y)))
  (/ 1 1)
  (/ (sin y) (cbrt 1))
  (/ (sin y) (sqrt 1))
  (/ (sin y) 1)
  (expm1 (/ x (* y (/ 1 (sin y)))))
  (log1p (/ x (* y (/ 1 (sin y)))))
  (- (log x) (+ (log y) (- (log (sin y)))))
  (- (log x) (+ (log y) (- 0 (log (sin y)))))
  (- (log x) (+ (log y) (- (log 1) (log (sin y)))))
  (- (log x) (+ (log y) (log (/ 1 (sin y)))))
  (- (log x) (log (* y (/ 1 (sin y)))))
  (log (/ x (* y (/ 1 (sin y)))))
  (exp (/ x (* y (/ 1 (sin y)))))
  (/ (* (* x x) x) (* (* (* y y) y) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y)))))
  (/ (* (* x x) x) (* (* (* y y) y) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y)))))
  (/ (* (* x x) x) (* (* (* y (/ 1 (sin y))) (* y (/ 1 (sin y)))) (* y (/ 1 (sin y)))))
  (* (cbrt (/ x (* y (/ 1 (sin y))))) (cbrt (/ x (* y (/ 1 (sin y))))))
  (cbrt (/ x (* y (/ 1 (sin y)))))
  (* (* (/ x (* y (/ 1 (sin y)))) (/ x (* y (/ 1 (sin y))))) (/ x (* y (/ 1 (sin y)))))
  (sqrt (/ x (* y (/ 1 (sin y)))))
  (sqrt (/ x (* y (/ 1 (sin y)))))
  (- x)
  (- (* y (/ 1 (sin y))))
  (/ (* (cbrt x) (cbrt x)) y)
  (/ (cbrt x) (/ 1 (sin y)))
  (/ (sqrt x) y)
  (/ (sqrt x) (/ 1 (sin y)))
  (/ 1 y)
  (/ x (/ 1 (sin y)))
  (/ 1 (* y (/ 1 (sin y))))
  (/ (* y (/ 1 (sin y))) x)
  (/ x y)
  (/ (* y (/ 1 (sin y))) (cbrt x))
  (/ (* y (/ 1 (sin y))) (sqrt x))
  (/ (* y (/ 1 (sin y))) x)
  (/ x y)
  (/ x (* y 1))
  (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1))
  (/ y (sin y))
  (/ y (sin y))
  (+ (* 7/360 (pow y 3)) (+ (* 1/6 y) (/ 1 y)))
  (/ 1 (sin y))
  (/ 1 (sin y))
  (- x (* 1/6 (* x (pow y 2))))
  (/ (* x (sin y)) y)
  (/ (* x (sin y)) y)
5.614 * * [simplify]: iteration 0: 149 enodes
5.663 * * [simplify]: iteration 1: 363 enodes
5.858 * * [simplify]: iteration 2: 1932 enodes
6.393 * * [simplify]: iteration complete: 5001 enodes
6.393 * * [simplify]: Extracting #0: cost 66 inf + 0
6.396 * * [simplify]: Extracting #1: cost 1241 inf + 3
6.407 * * [simplify]: Extracting #2: cost 2003 inf + 37728
6.448 * * [simplify]: Extracting #3: cost 920 inf + 240970
6.528 * * [simplify]: Extracting #4: cost 82 inf + 411823
6.618 * * [simplify]: Extracting #5: cost 8 inf + 430278
6.707 * * [simplify]: Extracting #6: cost 0 inf + 432342
6.799 * [simplify]: Simplified to:
  (expm1 (/ y (sin y)))
  (log1p (/ y (sin y)))
  (/ y (sin y))
  (log (/ y (sin y)))
  (log (/ y (sin y)))
  (log (/ y (sin y)))
  (log (/ y (sin y)))
  (log (/ y (sin y)))
  (exp (/ y (sin y)))
  (* (/ (* y y) (* (sin y) (sin y))) (/ y (sin y)))
  (* y (* y (* y (/ (* (/ 1 (sin y)) (/ 1 (sin y))) (sin y)))))
  (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))
  (cbrt (/ y (sin y)))
  (* (/ y (sin y)) (* (/ y (sin y)) (/ y (sin y))))
  (sqrt (/ y (sin y)))
  (sqrt (/ y (sin y)))
  (* (sqrt (/ 1 (sin y))) (sqrt y))
  (* (sqrt (/ 1 (sin y))) (sqrt y))
  (/ (sqrt y) (sqrt (sin y)))
  (/ (sqrt y) (sqrt (sin y)))
  (/ (sqrt y) (sqrt (sin y)))
  (/ (sqrt y) (sqrt (sin y)))
  (* y (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (* y (sqrt (/ 1 (sin y))))
  (/ (/ y (cbrt (sin y))) (cbrt (sin y)))
  (/ y (sqrt (sin y)))
  y
  (/ (/ y (cbrt (sin y))) (cbrt (sin y)))
  (/ y (sqrt (sin y)))
  y
  (/ (/ y (cbrt (sin y))) (cbrt (sin y)))
  (/ y (sqrt (sin y)))
  y
  y
  y
  (/ (cbrt y) (sin y))
  (/ (sqrt y) (sin y))
  (/ y (sin y))
  y
  (expm1 (/ 1 (sin y)))
  (log1p (/ 1 (sin y)))
  -1
  (- (log (sin y)))
  (- (log (sin y)))
  (- (log (sin y)))
  (- (log (sin y)))
  (exp (/ 1 (sin y)))
  (/ (/ 1 (sin y)) (* (sin y) (sin y)))
  (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))
  (cbrt (/ 1 (sin y)))
  (/ (* (/ 1 (sin y)) (/ 1 (sin y))) (sin y))
  (sqrt (/ 1 (sin y)))
  (sqrt (/ 1 (sin y)))
  -1
  (- (sin y))
  (/ (/ 1 (cbrt (sin y))) (cbrt (sin y)))
  (/ 1 (cbrt (sin y)))
  (/ 1 (sqrt (sin y)))
  (/ 1 (sqrt (sin y)))
  1
  (/ 1 (sin y))
  (/ (/ 1 (cbrt (sin y))) (cbrt (sin y)))
  (/ 1 (cbrt (sin y)))
  (/ 1 (sqrt (sin y)))
  (/ 1 (sqrt (sin y)))
  1
  (/ 1 (sin y))
  (/ (/ 1 (cbrt (sin y))) (cbrt (sin y)))
  (/ 1 (cbrt (sin y)))
  (/ 1 (sqrt (sin y)))
  (/ 1 (sqrt (sin y)))
  1
  (/ 1 (sin y))
  (/ 1 (sin y))
  (sin y)
  (/ (/ 1 (cbrt (sin y))) (cbrt (sin y)))
  (/ 1 (sqrt (sin y)))
  1
  (sin y)
  (sin y)
  (sin y)
  (expm1 (/ x (/ y (sin y))))
  (log1p (/ x (/ y (sin y))))
  (log (/ x (/ y (sin y))))
  (log (/ x (/ y (sin y))))
  (log (/ x (/ y (sin y))))
  (log (/ x (/ y (sin y))))
  (log (/ x (/ y (sin y))))
  (log (/ x (/ y (sin y))))
  (exp (/ x (/ y (sin y))))
  (/ (* (/ x y) (* (/ x y) (/ x y))) (/ (/ 1 (sin y)) (* (sin y) (sin y))))
  (/ (/ (* (/ x y) (* (/ x y) (/ x y))) (/ 1 (sin y))) (* (/ 1 (sin y)) (/ 1 (sin y))))
  (* (* (/ x (/ y (sin y))) (/ x (/ y (sin y)))) (/ x (/ y (sin y))))
  (* (cbrt (/ x (/ y (sin y)))) (cbrt (/ x (/ y (sin y)))))
  (cbrt (/ x (/ y (sin y))))
  (* (* (/ x (/ y (sin y))) (/ x (/ y (sin y)))) (/ x (/ y (sin y))))
  (sqrt (/ x (/ y (sin y))))
  (sqrt (/ x (/ y (sin y))))
  (- x)
  (- (/ y (sin y)))
  (* (/ (cbrt x) y) (cbrt x))
  (* (cbrt x) (sin y))
  (/ (sqrt x) y)
  (* (sqrt x) (sin y))
  (/ 1 y)
  (* x (sin y))
  (* (/ 1 y) (sin y))
  (/ (/ y x) (sin y))
  (/ x y)
  (/ (/ y (sin y)) (cbrt x))
  (/ (/ y (sin y)) (sqrt x))
  (/ (/ y x) (sin y))
  (/ x y)
  (/ x y)
  (fma (* 7/360 (* y y)) (* y y) (fma 1/6 (* y y) 1))
  (/ y (sin y))
  (/ y (sin y))
  (fma (* 7/360 y) (* y y) (fma y 1/6 (/ 1 y)))
  (/ 1 (sin y))
  (/ 1 (sin y))
  (fma -1/6 (* (* x y) y) x)
  (/ x (/ y (sin y)))
  (/ x (/ y (sin y)))
6.804 * * * [progress]: adding candidates to table
7.225 * [progress]: [Phase 3 of 3] Extracting.
7.226 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* x (/ (sin y) y)))> #<alt (λ (x y) (* (/ x y) (sin y)))> #<alt (λ (x y) (* (* (sqrt (sin y)) x) (/ (sqrt (sin y)) y)))> #<alt (λ (x y) (/ x (* y (/ 1 (sin y)))))>)
7.226 * * * [regime-changes]: Trying 4 branch expressions: ((/ (sin y) y) (* x (/ (sin y) y)) y x)
7.226 * * * * [regimes]: Trying to branch on (/ (sin y) y) from (#<alt (λ (x y) (* x (/ (sin y) y)))> #<alt (λ (x y) (* (/ x y) (sin y)))> #<alt (λ (x y) (* (* (sqrt (sin y)) x) (/ (sqrt (sin y)) y)))> #<alt (λ (x y) (/ x (* y (/ 1 (sin y)))))>)
7.263 * * * * [regimes]: Trying to branch on (* x (/ (sin y) y)) from (#<alt (λ (x y) (* x (/ (sin y) y)))> #<alt (λ (x y) (* (/ x y) (sin y)))> #<alt (λ (x y) (* (* (sqrt (sin y)) x) (/ (sqrt (sin y)) y)))> #<alt (λ (x y) (/ x (* y (/ 1 (sin y)))))>)
7.300 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* x (/ (sin y) y)))> #<alt (λ (x y) (* (/ x y) (sin y)))> #<alt (λ (x y) (* (* (sqrt (sin y)) x) (/ (sqrt (sin y)) y)))> #<alt (λ (x y) (/ x (* y (/ 1 (sin y)))))>)
7.338 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* x (/ (sin y) y)))> #<alt (λ (x y) (* (/ x y) (sin y)))> #<alt (λ (x y) (* (* (sqrt (sin y)) x) (/ (sqrt (sin y)) y)))> #<alt (λ (x y) (/ x (* y (/ 1 (sin y)))))>)
7.390 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
7.390 * [simplify]: Simplifying:
  (* x (/ (sin y) y))
7.390 * * [simplify]: iteration 0: 5 enodes
7.391 * * [simplify]: iteration 1: 6 enodes
7.391 * * [simplify]: iteration complete: 6 enodes
7.391 * * [simplify]: Extracting #0: cost 1 inf + 0
7.391 * * [simplify]: Extracting #1: cost 3 inf + 0
7.391 * * [simplify]: Extracting #2: cost 4 inf + 1
7.391 * * [simplify]: Extracting #3: cost 0 inf + 306
7.391 * [simplify]: Simplified to:
  (* (/ (sin y) y) x)
9.814 * [regime-testing]: Baseline error score: 0.1299952122889379
9.828 * [regime-testing]: Oracle error score: 0.030878859857482184
9.850 * [regime-testing]: End program error score: 0.1299952122889379