99.817 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.119 * * * [progress]: [2/2] Setting up program.
0.121 * [progress]: [Phase 2 of 3] Improving.
0.121 * [simplify]: Simplifying:
  (* (cosh x) (/ (sin y) y))
0.121 * * [simplify]: Extracting # 0 : cost  0
0.122 * * [simplify]: Extracting # 1 : cost  0
0.122 * * [simplify]: Extracting # 2 : cost  0
0.122 * * [simplify]: Extracting # 3 : cost  0
0.122 * * [simplify]: Extracting # 4 : cost  0
0.122 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.123 * * [simplify]: Extracting # 0 : cost  0
0.123 * * [simplify]: Extracting # 1 : cost  0
0.123 * * [simplify]: Extracting # 2 : cost  0
0.123 * * [simplify]: Extracting # 3 : cost  0
0.123 * * [simplify]: Extracting # 4 : cost  0
0.123 * * [simplify]: iteration  1 :  15  enodes  (cost  7 )
0.125 * * [simplify]: Extracting # 0 : cost  0
0.125 * * [simplify]: Extracting # 1 : cost  0
0.125 * * [simplify]: Extracting # 2 : cost  0
0.125 * * [simplify]: iteration  2 :  28  enodes  (cost  7 )
0.130 * * [simplify]: Extracting # 0 : cost  0
0.130 * * [simplify]: Extracting # 1 : cost  0
0.130 * * [simplify]: Extracting # 2 : cost  0
0.130 * * [simplify]: iteration  3 :  56  enodes  (cost  7 )
0.140 * * [simplify]: Extracting # 0 : cost  0
0.140 * * [simplify]: Extracting # 1 : cost  0
0.140 * * [simplify]: Extracting # 2 : cost  0
0.140 * * [simplify]: iteration  4 :  96  enodes  (cost  7 )
0.196 * * [simplify]: Extracting # 0 : cost  0
0.196 * * [simplify]: Extracting # 1 : cost  0
0.196 * * [simplify]: Extracting # 2 : cost  0
0.196 * * [simplify]: iteration  5 :  179  enodes  (cost  7 )
0.299 * * [simplify]: Extracting # 0 : cost  0
0.301 * * [simplify]: Extracting # 1 : cost  0
0.302 * * [simplify]: Extracting # 2 : cost  0
0.303 * * [simplify]: iteration  6 :  751  enodes  (cost  7 )
1.025 * * [simplify]: Extracting # 0 : cost  0
1.055 * * [simplify]: Extracting # 1 : cost  0
1.061 * * [simplify]: Extracting # 2 : cost  0
1.070 * * [simplify]: iteration done:  5001  enodes  (cost  7 )
1.070 * [simplify]: Simplified to:
  (* (cosh x) (/ (sin y) y))
1.076 * * [progress]: iteration 1 / 4
1.077 * * * [progress]: picking best candidate
1.080 * * * * [pick]: Picked  #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))>
1.080 * * * [progress]: localizing error
1.094 * * * [progress]: generating rewritten candidates
1.094 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
1.104 * * * [progress]: generating series expansions
1.104 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
1.104 * [backup-simplify]: Simplify (/ (sin y) y) into (/ (sin y) y)
1.104 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0
1.104 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
1.104 * [taylor]: Taking taylor expansion of (sin y) in y
1.104 * [taylor]: Taking taylor expansion of y in y
1.104 * [backup-simplify]: Simplify 0 into 0
1.104 * [backup-simplify]: Simplify 1 into 1
1.104 * [taylor]: Taking taylor expansion of y in y
1.104 * [backup-simplify]: Simplify 0 into 0
1.104 * [backup-simplify]: Simplify 1 into 1
1.105 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1.105 * [backup-simplify]: Simplify (/ 1 1) into 1
1.105 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
1.105 * [taylor]: Taking taylor expansion of (sin y) in y
1.105 * [taylor]: Taking taylor expansion of y in y
1.105 * [backup-simplify]: Simplify 0 into 0
1.105 * [backup-simplify]: Simplify 1 into 1
1.105 * [taylor]: Taking taylor expansion of y in y
1.105 * [backup-simplify]: Simplify 0 into 0
1.105 * [backup-simplify]: Simplify 1 into 1
1.105 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1.106 * [backup-simplify]: Simplify (/ 1 1) into 1
1.106 * [backup-simplify]: Simplify 1 into 1
1.106 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.107 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
1.107 * [backup-simplify]: Simplify 0 into 0
1.107 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
1.108 * [backup-simplify]: Simplify (- (/ -1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into -1/6
1.108 * [backup-simplify]: Simplify -1/6 into -1/6
1.109 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
1.109 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)))) into 0
1.110 * [backup-simplify]: Simplify 0 into 0
1.111 * [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.112 * [backup-simplify]: Simplify (- (/ 1/120 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 1/120
1.112 * [backup-simplify]: Simplify 1/120 into 1/120
1.112 * [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.113 * [backup-simplify]: Simplify (/ (sin (/ 1 y)) (/ 1 y)) into (* (sin (/ 1 y)) y)
1.113 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0
1.113 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
1.113 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.113 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.113 * [taylor]: Taking taylor expansion of y in y
1.113 * [backup-simplify]: Simplify 0 into 0
1.113 * [backup-simplify]: Simplify 1 into 1
1.113 * [backup-simplify]: Simplify (/ 1 1) into 1
1.113 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.113 * [taylor]: Taking taylor expansion of y in y
1.113 * [backup-simplify]: Simplify 0 into 0
1.113 * [backup-simplify]: Simplify 1 into 1
1.113 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
1.113 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.113 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.113 * [taylor]: Taking taylor expansion of y in y
1.113 * [backup-simplify]: Simplify 0 into 0
1.113 * [backup-simplify]: Simplify 1 into 1
1.113 * [backup-simplify]: Simplify (/ 1 1) into 1
1.113 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.113 * [taylor]: Taking taylor expansion of y in y
1.114 * [backup-simplify]: Simplify 0 into 0
1.114 * [backup-simplify]: Simplify 1 into 1
1.114 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
1.114 * [backup-simplify]: Simplify 0 into 0
1.114 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 1) (* 0 0)) into (sin (/ 1 y))
1.114 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.114 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 1) (* 0 0))) into 0
1.114 * [backup-simplify]: Simplify 0 into 0
1.115 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.115 * [backup-simplify]: Simplify 0 into 0
1.116 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1.116 * [backup-simplify]: Simplify 0 into 0
1.116 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1.116 * [backup-simplify]: Simplify 0 into 0
1.117 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1.117 * [backup-simplify]: Simplify 0 into 0
1.118 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1.118 * [backup-simplify]: Simplify 0 into 0
1.118 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 y))) (/ 1 y)) into (/ (sin y) y)
1.118 * [backup-simplify]: Simplify (/ (sin (/ 1 (- y))) (/ 1 (- y))) into (* -1 (* (sin (/ -1 y)) y))
1.118 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0
1.118 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y
1.118 * [taylor]: Taking taylor expansion of -1 in y
1.118 * [backup-simplify]: Simplify -1 into -1
1.118 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
1.118 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.118 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.118 * [taylor]: Taking taylor expansion of -1 in y
1.118 * [backup-simplify]: Simplify -1 into -1
1.118 * [taylor]: Taking taylor expansion of y in y
1.118 * [backup-simplify]: Simplify 0 into 0
1.118 * [backup-simplify]: Simplify 1 into 1
1.118 * [backup-simplify]: Simplify (/ -1 1) into -1
1.118 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.119 * [taylor]: Taking taylor expansion of y in y
1.119 * [backup-simplify]: Simplify 0 into 0
1.119 * [backup-simplify]: Simplify 1 into 1
1.119 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y
1.119 * [taylor]: Taking taylor expansion of -1 in y
1.119 * [backup-simplify]: Simplify -1 into -1
1.119 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
1.119 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.119 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.119 * [taylor]: Taking taylor expansion of -1 in y
1.119 * [backup-simplify]: Simplify -1 into -1
1.119 * [taylor]: Taking taylor expansion of y in y
1.119 * [backup-simplify]: Simplify 0 into 0
1.119 * [backup-simplify]: Simplify 1 into 1
1.119 * [backup-simplify]: Simplify (/ -1 1) into -1
1.119 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.119 * [taylor]: Taking taylor expansion of y in y
1.119 * [backup-simplify]: Simplify 0 into 0
1.119 * [backup-simplify]: Simplify 1 into 1
1.119 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
1.119 * [backup-simplify]: Simplify (* -1 0) into 0
1.119 * [backup-simplify]: Simplify 0 into 0
1.120 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 1) (* 0 0)) into (sin (/ -1 y))
1.120 * [backup-simplify]: Simplify (+ (* -1 (sin (/ -1 y))) (* 0 0)) into (- (sin (/ -1 y)))
1.120 * [backup-simplify]: Simplify (- (sin (/ -1 y))) into (- (sin (/ -1 y)))
1.121 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 1) (* 0 0))) into 0
1.121 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))) into 0
1.121 * [backup-simplify]: Simplify 0 into 0
1.122 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.122 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))) into 0
1.123 * [backup-simplify]: Simplify 0 into 0
1.124 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1.125 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))) into 0
1.125 * [backup-simplify]: Simplify 0 into 0
1.126 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1.129 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))) into 0
1.129 * [backup-simplify]: Simplify 0 into 0
1.130 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1.132 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))))) into 0
1.132 * [backup-simplify]: Simplify 0 into 0
1.133 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1.136 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))))) into 0
1.136 * [backup-simplify]: Simplify 0 into 0
1.136 * [backup-simplify]: Simplify (* (- (sin (/ -1 (/ 1 (- y))))) (/ 1 (- y))) into (/ (sin y) y)
1.137 * * * [progress]: simplifying candidates
1.137 * [simplify]: Simplifying:
  (- (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))
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
1.138 * * [simplify]: Extracting # 0 : cost  0
1.139 * * [simplify]: Extracting # 1 : cost  0
1.139 * * [simplify]: Extracting # 2 : cost  0
1.139 * * [simplify]: Extracting # 3 : cost  0
1.139 * * [simplify]: Extracting # 4 : cost  0
1.139 * * [simplify]: Extracting # 5 : cost  0
1.139 * * [simplify]: Extracting # 6 : cost  0
1.139 * * [simplify]: Extracting # 7 : cost  0
1.140 * * [simplify]: Extracting # 8 : cost  0
1.140 * * [simplify]: iteration  0 :  59  enodes  (cost  248 )
1.157 * * [simplify]: Extracting # 0 : cost  0
1.157 * * [simplify]: Extracting # 1 : cost  0
1.157 * * [simplify]: Extracting # 2 : cost  0
1.157 * * [simplify]: iteration  1 :  110  enodes  (cost  239 )
1.200 * * [simplify]: Extracting # 0 : cost  0
1.201 * * [simplify]: Extracting # 1 : cost  0
1.201 * * [simplify]: Extracting # 2 : cost  0
1.202 * * [simplify]: Extracting # 3 : cost  0
1.203 * * [simplify]: Extracting # 4 : cost  0
1.204 * * [simplify]: iteration  2 :  394  enodes  (cost  225 )
1.539 * * [simplify]: Extracting # 0 : cost  0
1.545 * * [simplify]: Extracting # 1 : cost  0
1.551 * * [simplify]: Extracting # 2 : cost  0
1.555 * * [simplify]: Extracting # 3 : cost  0
1.561 * * [simplify]: iteration  3 :  2289  enodes  (cost  223 )
2.658 * * [simplify]: Extracting # 0 : cost  0
2.673 * * [simplify]: Extracting # 1 : cost  0
2.684 * * [simplify]: Extracting # 2 : cost  0
2.693 * * [simplify]: iteration done:  5000  enodes  (cost  223 )
2.693 * [simplify]: Simplified to:
  (log (/ (sin y) y))
  (log (/ (sin y) y))
  (exp (/ (sin y) y))
  (pow (/ (sin y) y) 3)
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (cbrt (/ (sin y) y))
  (pow (/ (sin y) y) 3)
  (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)))
  (/ (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))
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
2.693 * * * [progress]: adding candidates to table
2.776 * * [progress]: iteration 2 / 4
2.776 * * * [progress]: picking best candidate
2.797 * * * * [pick]: Picked  #<alt (λ (x y) (* (cosh x) (/ 1 (/ y (sin y)))))>
2.797 * * * [progress]: localizing error
2.818 * * * [progress]: generating rewritten candidates
2.818 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
2.834 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
2.844 * * * [progress]: generating series expansions
2.844 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
2.844 * [backup-simplify]: Simplify (/ 1 (/ y (sin y))) into (/ (sin y) y)
2.844 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0
2.844 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
2.844 * [taylor]: Taking taylor expansion of (sin y) in y
2.844 * [taylor]: Taking taylor expansion of y in y
2.845 * [backup-simplify]: Simplify 0 into 0
2.845 * [backup-simplify]: Simplify 1 into 1
2.845 * [taylor]: Taking taylor expansion of y in y
2.845 * [backup-simplify]: Simplify 0 into 0
2.845 * [backup-simplify]: Simplify 1 into 1
2.845 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
2.846 * [backup-simplify]: Simplify (/ 1 1) into 1
2.846 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
2.846 * [taylor]: Taking taylor expansion of (sin y) in y
2.846 * [taylor]: Taking taylor expansion of y in y
2.846 * [backup-simplify]: Simplify 0 into 0
2.846 * [backup-simplify]: Simplify 1 into 1
2.846 * [taylor]: Taking taylor expansion of y in y
2.846 * [backup-simplify]: Simplify 0 into 0
2.846 * [backup-simplify]: Simplify 1 into 1
2.846 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
2.847 * [backup-simplify]: Simplify (/ 1 1) into 1
2.847 * [backup-simplify]: Simplify 1 into 1
2.847 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.847 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
2.847 * [backup-simplify]: Simplify 0 into 0
2.848 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
2.849 * [backup-simplify]: Simplify (- (/ -1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into -1/6
2.849 * [backup-simplify]: Simplify -1/6 into -1/6
2.850 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
2.851 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)))) into 0
2.851 * [backup-simplify]: Simplify 0 into 0
2.854 * [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
2.856 * [backup-simplify]: Simplify (- (/ 1/120 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 1/120
2.856 * [backup-simplify]: Simplify 1/120 into 1/120
2.856 * [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)))
2.857 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 y) (sin (/ 1 y)))) into (* (sin (/ 1 y)) y)
2.857 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0
2.857 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
2.857 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.857 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.857 * [taylor]: Taking taylor expansion of y in y
2.857 * [backup-simplify]: Simplify 0 into 0
2.857 * [backup-simplify]: Simplify 1 into 1
2.857 * [backup-simplify]: Simplify (/ 1 1) into 1
2.857 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
2.857 * [taylor]: Taking taylor expansion of y in y
2.858 * [backup-simplify]: Simplify 0 into 0
2.858 * [backup-simplify]: Simplify 1 into 1
2.858 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
2.858 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.858 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.858 * [taylor]: Taking taylor expansion of y in y
2.858 * [backup-simplify]: Simplify 0 into 0
2.858 * [backup-simplify]: Simplify 1 into 1
2.858 * [backup-simplify]: Simplify (/ 1 1) into 1
2.858 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
2.858 * [taylor]: Taking taylor expansion of y in y
2.858 * [backup-simplify]: Simplify 0 into 0
2.858 * [backup-simplify]: Simplify 1 into 1
2.858 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
2.858 * [backup-simplify]: Simplify 0 into 0
2.859 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 1) (* 0 0)) into (sin (/ 1 y))
2.859 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
2.860 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 1) (* 0 0))) into 0
2.860 * [backup-simplify]: Simplify 0 into 0
2.861 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.861 * [backup-simplify]: Simplify 0 into 0
2.862 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.862 * [backup-simplify]: Simplify 0 into 0
2.863 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
2.863 * [backup-simplify]: Simplify 0 into 0
2.864 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
2.864 * [backup-simplify]: Simplify 0 into 0
2.866 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
2.866 * [backup-simplify]: Simplify 0 into 0
2.866 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 y))) (/ 1 y)) into (/ (sin y) y)
2.866 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 (- y)) (sin (/ 1 (- y))))) into (* -1 (* (sin (/ -1 y)) y))
2.866 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0
2.866 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y
2.866 * [taylor]: Taking taylor expansion of -1 in y
2.866 * [backup-simplify]: Simplify -1 into -1
2.866 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
2.866 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.866 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.866 * [taylor]: Taking taylor expansion of -1 in y
2.866 * [backup-simplify]: Simplify -1 into -1
2.867 * [taylor]: Taking taylor expansion of y in y
2.867 * [backup-simplify]: Simplify 0 into 0
2.867 * [backup-simplify]: Simplify 1 into 1
2.867 * [backup-simplify]: Simplify (/ -1 1) into -1
2.867 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
2.867 * [taylor]: Taking taylor expansion of y in y
2.867 * [backup-simplify]: Simplify 0 into 0
2.867 * [backup-simplify]: Simplify 1 into 1
2.867 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y
2.867 * [taylor]: Taking taylor expansion of -1 in y
2.867 * [backup-simplify]: Simplify -1 into -1
2.867 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
2.867 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.867 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.867 * [taylor]: Taking taylor expansion of -1 in y
2.867 * [backup-simplify]: Simplify -1 into -1
2.867 * [taylor]: Taking taylor expansion of y in y
2.867 * [backup-simplify]: Simplify 0 into 0
2.868 * [backup-simplify]: Simplify 1 into 1
2.868 * [backup-simplify]: Simplify (/ -1 1) into -1
2.868 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
2.868 * [taylor]: Taking taylor expansion of y in y
2.868 * [backup-simplify]: Simplify 0 into 0
2.868 * [backup-simplify]: Simplify 1 into 1
2.868 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
2.869 * [backup-simplify]: Simplify (* -1 0) into 0
2.869 * [backup-simplify]: Simplify 0 into 0
2.869 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 1) (* 0 0)) into (sin (/ -1 y))
2.870 * [backup-simplify]: Simplify (+ (* -1 (sin (/ -1 y))) (* 0 0)) into (- (sin (/ -1 y)))
2.870 * [backup-simplify]: Simplify (- (sin (/ -1 y))) into (- (sin (/ -1 y)))
2.871 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 1) (* 0 0))) into 0
2.871 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))) into 0
2.872 * [backup-simplify]: Simplify 0 into 0
2.872 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.874 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))) into 0
2.874 * [backup-simplify]: Simplify 0 into 0
2.874 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.875 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))) into 0
2.875 * [backup-simplify]: Simplify 0 into 0
2.876 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
2.877 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))) into 0
2.877 * [backup-simplify]: Simplify 0 into 0
2.878 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
2.879 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))))) into 0
2.879 * [backup-simplify]: Simplify 0 into 0
2.880 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
2.881 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))))) into 0
2.881 * [backup-simplify]: Simplify 0 into 0
2.882 * [backup-simplify]: Simplify (* (- (sin (/ -1 (/ 1 (- y))))) (/ 1 (- y))) into (/ (sin y) y)
2.882 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
2.882 * [backup-simplify]: Simplify (/ y (sin y)) into (/ y (sin y))
2.882 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0
2.882 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y
2.882 * [taylor]: Taking taylor expansion of y in y
2.882 * [backup-simplify]: Simplify 0 into 0
2.882 * [backup-simplify]: Simplify 1 into 1
2.882 * [taylor]: Taking taylor expansion of (sin y) in y
2.882 * [taylor]: Taking taylor expansion of y in y
2.882 * [backup-simplify]: Simplify 0 into 0
2.882 * [backup-simplify]: Simplify 1 into 1
2.882 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
2.882 * [backup-simplify]: Simplify (/ 1 1) into 1
2.883 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y
2.883 * [taylor]: Taking taylor expansion of y in y
2.883 * [backup-simplify]: Simplify 0 into 0
2.883 * [backup-simplify]: Simplify 1 into 1
2.883 * [taylor]: Taking taylor expansion of (sin y) in y
2.883 * [taylor]: Taking taylor expansion of y in y
2.883 * [backup-simplify]: Simplify 0 into 0
2.883 * [backup-simplify]: Simplify 1 into 1
2.883 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
2.883 * [backup-simplify]: Simplify (/ 1 1) into 1
2.883 * [backup-simplify]: Simplify 1 into 1
2.884 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.884 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
2.884 * [backup-simplify]: Simplify 0 into 0
2.885 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
2.886 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ -1/6 1)) (* 0 (/ 0 1)))) into 1/6
2.886 * [backup-simplify]: Simplify 1/6 into 1/6
2.887 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
2.887 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ -1/6 1)) (* 1/6 (/ 0 1)))) into 0
2.887 * [backup-simplify]: Simplify 0 into 0
2.889 * [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
2.890 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 1/120 1)) (* 0 (/ 0 1)) (* 1/6 (/ -1/6 1)) (* 0 (/ 0 1)))) into 7/360
2.890 * [backup-simplify]: Simplify 7/360 into 7/360
2.890 * [backup-simplify]: Simplify (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1)) into (+ (* 1/6 (pow y 2)) (+ (* 7/360 (pow y 4)) 1))
2.890 * [backup-simplify]: Simplify (/ (/ 1 y) (sin (/ 1 y))) into (/ 1 (* (sin (/ 1 y)) y))
2.891 * [approximate]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in (y) around 0
2.891 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y
2.891 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
2.891 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.891 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.891 * [taylor]: Taking taylor expansion of y in y
2.891 * [backup-simplify]: Simplify 0 into 0
2.891 * [backup-simplify]: Simplify 1 into 1
2.891 * [backup-simplify]: Simplify (/ 1 1) into 1
2.891 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
2.891 * [taylor]: Taking taylor expansion of y in y
2.891 * [backup-simplify]: Simplify 0 into 0
2.891 * [backup-simplify]: Simplify 1 into 1
2.891 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
2.891 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 1) (* 0 0)) into (sin (/ 1 y))
2.891 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
2.891 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y
2.891 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
2.891 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.891 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.891 * [taylor]: Taking taylor expansion of y in y
2.892 * [backup-simplify]: Simplify 0 into 0
2.892 * [backup-simplify]: Simplify 1 into 1
2.892 * [backup-simplify]: Simplify (/ 1 1) into 1
2.892 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
2.892 * [taylor]: Taking taylor expansion of y in y
2.892 * [backup-simplify]: Simplify 0 into 0
2.892 * [backup-simplify]: Simplify 1 into 1
2.892 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
2.892 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 1) (* 0 0)) into (sin (/ 1 y))
2.892 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
2.892 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
2.893 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 1) (* 0 0))) into 0
2.893 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))))) into 0
2.893 * [backup-simplify]: Simplify 0 into 0
2.893 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.894 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
2.894 * [backup-simplify]: Simplify 0 into 0
2.894 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.894 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
2.894 * [backup-simplify]: Simplify 0 into 0
2.895 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
2.895 * [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
2.895 * [backup-simplify]: Simplify 0 into 0
2.896 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
2.897 * [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
2.897 * [backup-simplify]: Simplify 0 into 0
2.897 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
2.898 * [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
2.898 * [backup-simplify]: Simplify 0 into 0
2.898 * [backup-simplify]: Simplify (* (/ 1 (sin (/ 1 (/ 1 y)))) (/ 1 (/ 1 y))) into (/ y (sin y))
2.898 * [backup-simplify]: Simplify (/ (/ 1 (- y)) (sin (/ 1 (- y)))) into (/ -1 (* (sin (/ -1 y)) y))
2.898 * [approximate]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in (y) around 0
2.898 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y
2.898 * [taylor]: Taking taylor expansion of -1 in y
2.898 * [backup-simplify]: Simplify -1 into -1
2.898 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
2.898 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.898 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.898 * [taylor]: Taking taylor expansion of -1 in y
2.898 * [backup-simplify]: Simplify -1 into -1
2.898 * [taylor]: Taking taylor expansion of y in y
2.898 * [backup-simplify]: Simplify 0 into 0
2.898 * [backup-simplify]: Simplify 1 into 1
2.899 * [backup-simplify]: Simplify (/ -1 1) into -1
2.899 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
2.899 * [taylor]: Taking taylor expansion of y in y
2.899 * [backup-simplify]: Simplify 0 into 0
2.899 * [backup-simplify]: Simplify 1 into 1
2.899 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
2.899 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 1) (* 0 0)) into (sin (/ -1 y))
2.899 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y)))
2.899 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y
2.899 * [taylor]: Taking taylor expansion of -1 in y
2.899 * [backup-simplify]: Simplify -1 into -1
2.899 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
2.899 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.899 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.899 * [taylor]: Taking taylor expansion of -1 in y
2.899 * [backup-simplify]: Simplify -1 into -1
2.899 * [taylor]: Taking taylor expansion of y in y
2.899 * [backup-simplify]: Simplify 0 into 0
2.899 * [backup-simplify]: Simplify 1 into 1
2.899 * [backup-simplify]: Simplify (/ -1 1) into -1
2.900 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
2.900 * [taylor]: Taking taylor expansion of y in y
2.900 * [backup-simplify]: Simplify 0 into 0
2.900 * [backup-simplify]: Simplify 1 into 1
2.900 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
2.900 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 1) (* 0 0)) into (sin (/ -1 y))
2.900 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y)))
2.900 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y)))
2.901 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 1) (* 0 0))) into 0
2.901 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))))) into 0
2.901 * [backup-simplify]: Simplify 0 into 0
2.901 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.901 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
2.901 * [backup-simplify]: Simplify 0 into 0
2.902 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.902 * [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
2.902 * [backup-simplify]: Simplify 0 into 0
2.903 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
2.903 * [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
2.903 * [backup-simplify]: Simplify 0 into 0
2.904 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
2.904 * [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
2.904 * [backup-simplify]: Simplify 0 into 0
2.909 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
2.909 * [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
2.909 * [backup-simplify]: Simplify 0 into 0
2.909 * [backup-simplify]: Simplify (* (/ -1 (sin (/ -1 (/ 1 (- y))))) (/ 1 (/ 1 (- y)))) into (/ y (sin y))
2.909 * * * [progress]: simplifying candidates
2.911 * [simplify]: Simplifying:
  (- 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)
  (- (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)
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
  (+ (* 1/6 (pow y 2)) (+ (* 7/360 (pow y 4)) 1))
  (/ y (sin y))
  (/ y (sin y))
2.913 * * [simplify]: Extracting # 0 : cost  0
2.913 * * [simplify]: Extracting # 1 : cost  0
2.913 * * [simplify]: Extracting # 2 : cost  0
2.914 * * [simplify]: Extracting # 3 : cost  0
2.914 * * [simplify]: Extracting # 4 : cost  0
2.914 * * [simplify]: Extracting # 5 : cost  0
2.914 * * [simplify]: Extracting # 6 : cost  0
2.914 * * [simplify]: Extracting # 7 : cost  0
2.915 * * [simplify]: iteration  0 :  160  enodes  (cost  1276 )
2.974 * * [simplify]: Extracting # 0 : cost  0
2.975 * * [simplify]: Extracting # 1 : cost  0
2.976 * * [simplify]: Extracting # 2 : cost  0
2.977 * * [simplify]: iteration  1 :  388  enodes  (cost  1062 )
3.190 * * [simplify]: Extracting # 0 : cost  0
3.192 * * [simplify]: Extracting # 1 : cost  0
3.194 * * [simplify]: Extracting # 2 : cost  0
3.196 * * [simplify]: Extracting # 3 : cost  0
3.198 * * [simplify]: Extracting # 4 : cost  0
3.200 * * [simplify]: Extracting # 5 : cost  0
3.205 * * [simplify]: iteration  2 :  1802  enodes  (cost  996 )
3.683 * * [simplify]: Extracting # 0 : cost  0
3.688 * * [simplify]: Extracting # 1 : cost  0
3.696 * * [simplify]: Extracting # 2 : cost  0
3.703 * * [simplify]: iteration done:  5001  enodes  (cost  994 )
3.704 * [simplify]: Simplified to:
  -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 (/ 1 (/ y (sin y))))
  (/ (pow (sin y) 3) (pow y 3))
  (pow (/ 1 (/ y (sin y))) 3)
  (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y)))))
  (cbrt (/ 1 (/ y (sin y))))
  (pow (/ 1 (/ y (sin y))) 3)
  (sqrt (/ 1 (/ y (sin y))))
  (sqrt (/ 1 (/ y (sin 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 y)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ 1 (/ (cbrt y) (cbrt (sin y))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))
  (/ (sqrt (sin y)) (cbrt y))
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (sin y) (cbrt y))
  (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt 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)))
  (/ 1 (/ y (cbrt (sin y))))
  (sqrt (sin y))
  (/ 1 (/ y (sqrt (sin y))))
  1
  (/ 1 (/ y (sin y)))
  1
  (/ 1 (/ y (sin 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 y)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ 1 (/ (cbrt y) (cbrt (sin y))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))
  (/ (sqrt (sin y)) (cbrt y))
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (sin y) (cbrt y))
  (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt 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)))
  (/ 1 (/ y (cbrt (sin y))))
  (sqrt (sin y))
  (/ 1 (/ y (sqrt (sin y))))
  1
  (/ 1 (/ y (sin y)))
  1
  (/ 1 (/ y (sin 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 y)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ 1 (/ (cbrt y) (cbrt (sin y))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))
  (/ (sqrt (sin y)) (cbrt y))
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (sin y) (cbrt y))
  (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt 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)))
  (/ 1 (/ y (cbrt (sin y))))
  (sqrt (sin y))
  (/ 1 (/ y (sqrt (sin y))))
  1
  (/ 1 (/ y (sin y)))
  1
  (/ 1 (/ y (sin y)))
  (/ 1 y)
  (sin y)
  (/ 1 (/ y (sin y)))
  (/ y (sin y))
  (/ 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)))
  (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt 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)
  (log (/ y (sin y)))
  (log (/ y (sin y)))
  (exp (/ y (sin y)))
  (/ (pow y 3) (pow (sin y) 3))
  (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))
  (cbrt (/ y (sin y)))
  (pow (/ y (sin y)) 3)
  (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) (/ (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)
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
  (+ (* 1/6 (pow y 2)) (+ (* 7/360 (pow y 4)) 1))
  (/ y (sin y))
  (/ y (sin y))
3.704 * * * [progress]: adding candidates to table
3.882 * * [progress]: iteration 3 / 4
3.882 * * * [progress]: picking best candidate
3.896 * * * * [pick]: Picked  #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))))>
3.897 * * * [progress]: localizing error
3.907 * * * [progress]: generating rewritten candidates
3.907 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
3.927 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
3.950 * * * [progress]: generating series expansions
3.950 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
3.951 * [backup-simplify]: Simplify (/ (/ 1 y) (/ 1 (sin y))) into (/ (sin y) y)
3.951 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0
3.951 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
3.951 * [taylor]: Taking taylor expansion of (sin y) in y
3.951 * [taylor]: Taking taylor expansion of y in y
3.951 * [backup-simplify]: Simplify 0 into 0
3.951 * [backup-simplify]: Simplify 1 into 1
3.951 * [taylor]: Taking taylor expansion of y in y
3.951 * [backup-simplify]: Simplify 0 into 0
3.951 * [backup-simplify]: Simplify 1 into 1
3.951 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
3.952 * [backup-simplify]: Simplify (/ 1 1) into 1
3.952 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
3.952 * [taylor]: Taking taylor expansion of (sin y) in y
3.952 * [taylor]: Taking taylor expansion of y in y
3.952 * [backup-simplify]: Simplify 0 into 0
3.952 * [backup-simplify]: Simplify 1 into 1
3.952 * [taylor]: Taking taylor expansion of y in y
3.952 * [backup-simplify]: Simplify 0 into 0
3.952 * [backup-simplify]: Simplify 1 into 1
3.952 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
3.952 * [backup-simplify]: Simplify (/ 1 1) into 1
3.953 * [backup-simplify]: Simplify 1 into 1
3.953 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.953 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
3.953 * [backup-simplify]: Simplify 0 into 0
3.954 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
3.955 * [backup-simplify]: Simplify (- (/ -1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into -1/6
3.955 * [backup-simplify]: Simplify -1/6 into -1/6
3.956 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
3.956 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)))) into 0
3.957 * [backup-simplify]: Simplify 0 into 0
3.958 * [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.965 * [backup-simplify]: Simplify (- (/ 1/120 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 1/120
3.966 * [backup-simplify]: Simplify 1/120 into 1/120
3.966 * [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)))
3.966 * [backup-simplify]: Simplify (/ (/ 1 (/ 1 y)) (/ 1 (sin (/ 1 y)))) into (* (sin (/ 1 y)) y)
3.966 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0
3.966 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
3.966 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
3.966 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.966 * [taylor]: Taking taylor expansion of y in y
3.966 * [backup-simplify]: Simplify 0 into 0
3.966 * [backup-simplify]: Simplify 1 into 1
3.967 * [backup-simplify]: Simplify (/ 1 1) into 1
3.967 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.967 * [taylor]: Taking taylor expansion of y in y
3.967 * [backup-simplify]: Simplify 0 into 0
3.967 * [backup-simplify]: Simplify 1 into 1
3.967 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
3.967 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
3.967 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.967 * [taylor]: Taking taylor expansion of y in y
3.967 * [backup-simplify]: Simplify 0 into 0
3.967 * [backup-simplify]: Simplify 1 into 1
3.967 * [backup-simplify]: Simplify (/ 1 1) into 1
3.967 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.967 * [taylor]: Taking taylor expansion of y in y
3.967 * [backup-simplify]: Simplify 0 into 0
3.967 * [backup-simplify]: Simplify 1 into 1
3.967 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
3.967 * [backup-simplify]: Simplify 0 into 0
3.968 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 1) (* 0 0)) into (sin (/ 1 y))
3.968 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.968 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 1) (* 0 0))) into 0
3.968 * [backup-simplify]: Simplify 0 into 0
3.969 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.969 * [backup-simplify]: Simplify 0 into 0
3.969 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.969 * [backup-simplify]: Simplify 0 into 0
3.970 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
3.970 * [backup-simplify]: Simplify 0 into 0
3.971 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
3.971 * [backup-simplify]: Simplify 0 into 0
3.971 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
3.971 * [backup-simplify]: Simplify 0 into 0
3.971 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 y))) (/ 1 y)) into (/ (sin y) y)
3.972 * [backup-simplify]: Simplify (/ (/ 1 (/ 1 (- y))) (/ 1 (sin (/ 1 (- y))))) into (* -1 (* (sin (/ -1 y)) y))
3.972 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0
3.972 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y
3.972 * [taylor]: Taking taylor expansion of -1 in y
3.972 * [backup-simplify]: Simplify -1 into -1
3.972 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
3.972 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
3.972 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.972 * [taylor]: Taking taylor expansion of -1 in y
3.972 * [backup-simplify]: Simplify -1 into -1
3.972 * [taylor]: Taking taylor expansion of y in y
3.972 * [backup-simplify]: Simplify 0 into 0
3.972 * [backup-simplify]: Simplify 1 into 1
3.972 * [backup-simplify]: Simplify (/ -1 1) into -1
3.972 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.972 * [taylor]: Taking taylor expansion of y in y
3.972 * [backup-simplify]: Simplify 0 into 0
3.972 * [backup-simplify]: Simplify 1 into 1
3.972 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y
3.972 * [taylor]: Taking taylor expansion of -1 in y
3.972 * [backup-simplify]: Simplify -1 into -1
3.972 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
3.972 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
3.972 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.972 * [taylor]: Taking taylor expansion of -1 in y
3.972 * [backup-simplify]: Simplify -1 into -1
3.972 * [taylor]: Taking taylor expansion of y in y
3.973 * [backup-simplify]: Simplify 0 into 0
3.973 * [backup-simplify]: Simplify 1 into 1
3.973 * [backup-simplify]: Simplify (/ -1 1) into -1
3.973 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.973 * [taylor]: Taking taylor expansion of y in y
3.973 * [backup-simplify]: Simplify 0 into 0
3.973 * [backup-simplify]: Simplify 1 into 1
3.973 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
3.973 * [backup-simplify]: Simplify (* -1 0) into 0
3.973 * [backup-simplify]: Simplify 0 into 0
3.974 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 1) (* 0 0)) into (sin (/ -1 y))
3.974 * [backup-simplify]: Simplify (+ (* -1 (sin (/ -1 y))) (* 0 0)) into (- (sin (/ -1 y)))
3.974 * [backup-simplify]: Simplify (- (sin (/ -1 y))) into (- (sin (/ -1 y)))
3.974 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 1) (* 0 0))) into 0
3.975 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))) into 0
3.975 * [backup-simplify]: Simplify 0 into 0
3.975 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.976 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))) into 0
3.976 * [backup-simplify]: Simplify 0 into 0
3.977 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.978 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))) into 0
3.978 * [backup-simplify]: Simplify 0 into 0
3.978 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
3.979 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))) into 0
3.980 * [backup-simplify]: Simplify 0 into 0
3.980 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
3.982 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))))) into 0
3.982 * [backup-simplify]: Simplify 0 into 0
3.983 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
3.984 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))))) into 0
3.984 * [backup-simplify]: Simplify 0 into 0
3.984 * [backup-simplify]: Simplify (* (- (sin (/ -1 (/ 1 (- y))))) (/ 1 (- y))) into (/ (sin y) y)
3.984 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
3.984 * [backup-simplify]: Simplify (/ 1 (sin y)) into (/ 1 (sin y))
3.984 * [approximate]: Taking taylor expansion of (/ 1 (sin y)) in (y) around 0
3.984 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y
3.984 * [taylor]: Taking taylor expansion of (sin y) in y
3.984 * [taylor]: Taking taylor expansion of y in y
3.984 * [backup-simplify]: Simplify 0 into 0
3.984 * [backup-simplify]: Simplify 1 into 1
3.985 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
3.985 * [backup-simplify]: Simplify (/ 1 1) into 1
3.985 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y
3.985 * [taylor]: Taking taylor expansion of (sin y) in y
3.985 * [taylor]: Taking taylor expansion of y in y
3.985 * [backup-simplify]: Simplify 0 into 0
3.985 * [backup-simplify]: Simplify 1 into 1
3.986 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
3.986 * [backup-simplify]: Simplify (/ 1 1) into 1
3.986 * [backup-simplify]: Simplify 1 into 1
3.986 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.987 * [backup-simplify]: Simplify 0 into 0
3.988 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
3.988 * [backup-simplify]: Simplify (- (+ (* 1 (/ -1/6 1)) (* 0 (/ 0 1)))) into 1/6
3.988 * [backup-simplify]: Simplify 1/6 into 1/6
3.989 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
3.990 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ -1/6 1)) (* 1/6 (/ 0 1)))) into 0
3.990 * [backup-simplify]: Simplify 0 into 0
3.992 * [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.992 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/120 1)) (* 0 (/ 0 1)) (* 1/6 (/ -1/6 1)) (* 0 (/ 0 1)))) into 7/360
3.993 * [backup-simplify]: Simplify 7/360 into 7/360
3.993 * [backup-simplify]: Simplify (+ (* 7/360 (pow y 3)) (+ (* 1/6 y) (* 1 (/ 1 y)))) into (+ (* 7/360 (pow y 3)) (+ (/ 1 y) (* 1/6 y)))
3.993 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
3.993 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in (y) around 0
3.993 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y
3.993 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
3.993 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.993 * [taylor]: Taking taylor expansion of y in y
3.993 * [backup-simplify]: Simplify 0 into 0
3.993 * [backup-simplify]: Simplify 1 into 1
3.993 * [backup-simplify]: Simplify (/ 1 1) into 1
3.993 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.993 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
3.993 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y
3.993 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
3.993 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.993 * [taylor]: Taking taylor expansion of y in y
3.993 * [backup-simplify]: Simplify 0 into 0
3.993 * [backup-simplify]: Simplify 1 into 1
3.994 * [backup-simplify]: Simplify (/ 1 1) into 1
3.994 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.994 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
3.994 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
3.994 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))))) into 0
3.994 * [backup-simplify]: Simplify 0 into 0
3.994 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
3.994 * [backup-simplify]: Simplify 0 into 0
3.994 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
3.994 * [backup-simplify]: Simplify 0 into 0
3.995 * [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.995 * [backup-simplify]: Simplify 0 into 0
3.995 * [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.995 * [backup-simplify]: Simplify 0 into 0
3.995 * [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.995 * [backup-simplify]: Simplify 0 into 0
3.996 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 (/ 1 y)))) into (/ 1 (sin y))
3.996 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 (- y)))) into (/ 1 (sin (/ -1 y)))
3.996 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in (y) around 0
3.996 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y
3.996 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
3.996 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.996 * [taylor]: Taking taylor expansion of -1 in y
3.996 * [backup-simplify]: Simplify -1 into -1
3.996 * [taylor]: Taking taylor expansion of y in y
3.996 * [backup-simplify]: Simplify 0 into 0
3.996 * [backup-simplify]: Simplify 1 into 1
3.996 * [backup-simplify]: Simplify (/ -1 1) into -1
3.996 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.996 * [backup-simplify]: Simplify (/ 1 (sin (/ -1 y))) into (/ 1 (sin (/ -1 y)))
3.996 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y
3.996 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
3.996 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.996 * [taylor]: Taking taylor expansion of -1 in y
3.996 * [backup-simplify]: Simplify -1 into -1
3.996 * [taylor]: Taking taylor expansion of y in y
3.996 * [backup-simplify]: Simplify 0 into 0
3.996 * [backup-simplify]: Simplify 1 into 1
3.997 * [backup-simplify]: Simplify (/ -1 1) into -1
3.997 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.997 * [backup-simplify]: Simplify (/ 1 (sin (/ -1 y))) into (/ 1 (sin (/ -1 y)))
3.997 * [backup-simplify]: Simplify (/ 1 (sin (/ -1 y))) into (/ 1 (sin (/ -1 y)))
3.997 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))))) into 0
3.997 * [backup-simplify]: Simplify 0 into 0
3.997 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
3.997 * [backup-simplify]: Simplify 0 into 0
3.997 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
3.997 * [backup-simplify]: Simplify 0 into 0
3.998 * [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.998 * [backup-simplify]: Simplify 0 into 0
3.998 * [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.998 * [backup-simplify]: Simplify 0 into 0
3.998 * [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.998 * [backup-simplify]: Simplify 0 into 0
3.998 * [backup-simplify]: Simplify (/ 1 (sin (/ -1 (/ 1 (- y))))) into (/ 1 (sin y))
3.999 * * * [progress]: simplifying candidates
4.003 * [simplify]: Simplifying:
  (- (- (log y)) (- (log (sin y))))
  (- (- (log y)) (- 0 (log (sin y))))
  (- (- (log y)) (- (log 1) (log (sin y))))
  (- (- (log y)) (log (/ 1 (sin y))))
  (- (- 0 (log y)) (- (log (sin y))))
  (- (- 0 (log y)) (- 0 (log (sin y))))
  (- (- 0 (log y)) (- (log 1) (log (sin y))))
  (- (- 0 (log y)) (log (/ 1 (sin y))))
  (- (- (log 1) (log y)) (- (log (sin y))))
  (- (- (log 1) (log y)) (- 0 (log (sin y))))
  (- (- (log 1) (log y)) (- (log 1) (log (sin y))))
  (- (- (log 1) (log y)) (log (/ 1 (sin y))))
  (- (log (/ 1 y)) (- (log (sin y))))
  (- (log (/ 1 y)) (- 0 (log (sin y))))
  (- (log (/ 1 y)) (- (log 1) (log (sin y))))
  (- (log (/ 1 y)) (log (/ 1 (sin y))))
  (log (/ (/ 1 y) (/ 1 (sin y))))
  (exp (/ (/ 1 y) (/ 1 (sin y))))
  (/ (/ (* (* 1 1) 1) (* (* y y) y)) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y))))
  (/ (/ (* (* 1 1) 1) (* (* y y) y)) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y))))
  (/ (* (* (/ 1 y) (/ 1 y)) (/ 1 y)) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y))))
  (/ (* (* (/ 1 y) (/ 1 y)) (/ 1 y)) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y))))
  (* (cbrt (/ (/ 1 y) (/ 1 (sin y)))) (cbrt (/ (/ 1 y) (/ 1 (sin y)))))
  (cbrt (/ (/ 1 y) (/ 1 (sin y))))
  (* (* (/ (/ 1 y) (/ 1 (sin y))) (/ (/ 1 y) (/ 1 (sin y)))) (/ (/ 1 y) (/ 1 (sin y))))
  (sqrt (/ (/ 1 y) (/ 1 (sin y))))
  (sqrt (/ (/ 1 y) (/ 1 (sin y))))
  (- (/ 1 y))
  (- (/ 1 (sin y)))
  (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (cbrt (/ 1 y)) (cbrt (/ 1 (sin y))))
  (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (/ 1 (sin y))))
  (/ (cbrt (/ 1 y)) (sqrt (/ 1 (sin y))))
  (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (cbrt (/ 1 y)) (/ (cbrt 1) (cbrt (sin y))))
  (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))
  (/ (cbrt (/ 1 y)) (/ (cbrt 1) (sqrt (sin y))))
  (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (cbrt (/ 1 y)) (/ (cbrt 1) (sin y)))
  (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (cbrt (/ 1 y)) (/ (sqrt 1) (cbrt (sin y))))
  (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (sqrt 1) (sqrt (sin y))))
  (/ (cbrt (/ 1 y)) (/ (sqrt 1) (sqrt (sin y))))
  (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (sqrt 1) 1))
  (/ (cbrt (/ 1 y)) (/ (sqrt 1) (sin y)))
  (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (cbrt (/ 1 y)) (/ 1 (cbrt (sin y))))
  (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ 1 (sqrt (sin y))))
  (/ (cbrt (/ 1 y)) (/ 1 (sqrt (sin y))))
  (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ 1 1))
  (/ (cbrt (/ 1 y)) (/ 1 (sin y)))
  (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) 1)
  (/ (cbrt (/ 1 y)) (/ 1 (sin y)))
  (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) 1)
  (/ (cbrt (/ 1 y)) (/ 1 (sin y)))
  (/ (sqrt (/ 1 y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (sqrt (/ 1 y)) (cbrt (/ 1 (sin y))))
  (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y))))
  (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y))))
  (/ (sqrt (/ 1 y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (sqrt (/ 1 y)) (/ (cbrt 1) (cbrt (sin y))))
  (/ (sqrt (/ 1 y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))
  (/ (sqrt (/ 1 y)) (/ (cbrt 1) (sqrt (sin y))))
  (/ (sqrt (/ 1 y)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (sqrt (/ 1 y)) (/ (cbrt 1) (sin y)))
  (/ (sqrt (/ 1 y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (sqrt (/ 1 y)) (/ (sqrt 1) (cbrt (sin y))))
  (/ (sqrt (/ 1 y)) (/ (sqrt 1) (sqrt (sin y))))
  (/ (sqrt (/ 1 y)) (/ (sqrt 1) (sqrt (sin y))))
  (/ (sqrt (/ 1 y)) (/ (sqrt 1) 1))
  (/ (sqrt (/ 1 y)) (/ (sqrt 1) (sin y)))
  (/ (sqrt (/ 1 y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (sqrt (/ 1 y)) (/ 1 (cbrt (sin y))))
  (/ (sqrt (/ 1 y)) (/ 1 (sqrt (sin y))))
  (/ (sqrt (/ 1 y)) (/ 1 (sqrt (sin y))))
  (/ (sqrt (/ 1 y)) (/ 1 1))
  (/ (sqrt (/ 1 y)) (/ 1 (sin y)))
  (/ (sqrt (/ 1 y)) 1)
  (/ (sqrt (/ 1 y)) (/ 1 (sin y)))
  (/ (sqrt (/ 1 y)) 1)
  (/ (sqrt (/ 1 y)) (/ 1 (sin y)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ (cbrt 1) (cbrt y)) (cbrt (/ 1 (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y))))
  (/ (/ (cbrt 1) (cbrt y)) (sqrt (/ 1 (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ (cbrt 1) (cbrt y)) (/ (cbrt 1) (cbrt (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))
  (/ (/ (cbrt 1) (cbrt y)) (/ (cbrt 1) (sqrt (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (cbrt 1) (cbrt y)) (/ (cbrt 1) (sin y)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ (cbrt 1) (cbrt y)) (/ (sqrt 1) (cbrt (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ (cbrt 1) (cbrt y)) (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (sqrt 1) 1))
  (/ (/ (cbrt 1) (cbrt y)) (/ (sqrt 1) (sin y)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ (cbrt 1) (cbrt y)) (/ 1 (cbrt (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ 1 (sqrt (sin y))))
  (/ (/ (cbrt 1) (cbrt y)) (/ 1 (sqrt (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ 1 1))
  (/ (/ (cbrt 1) (cbrt y)) (/ 1 (sin y)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) 1)
  (/ (/ (cbrt 1) (cbrt y)) (/ 1 (sin y)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) 1)
  (/ (/ (cbrt 1) (cbrt y)) (/ 1 (sin y)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ (cbrt 1) (sqrt y)) (cbrt (/ 1 (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (sqrt (/ 1 (sin y))))
  (/ (/ (cbrt 1) (sqrt y)) (sqrt (/ 1 (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ (cbrt 1) (sqrt y)) (/ (cbrt 1) (cbrt (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))
  (/ (/ (cbrt 1) (sqrt y)) (/ (cbrt 1) (sqrt (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (cbrt 1) (sqrt y)) (/ (cbrt 1) (sin y)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ (cbrt 1) (sqrt y)) (/ (sqrt 1) (cbrt (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ (cbrt 1) (sqrt y)) (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (sqrt 1) 1))
  (/ (/ (cbrt 1) (sqrt y)) (/ (sqrt 1) (sin y)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ (cbrt 1) (sqrt y)) (/ 1 (cbrt (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ 1 (sqrt (sin y))))
  (/ (/ (cbrt 1) (sqrt y)) (/ 1 (sqrt (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ 1 1))
  (/ (/ (cbrt 1) (sqrt y)) (/ 1 (sin y)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) 1)
  (/ (/ (cbrt 1) (sqrt y)) (/ 1 (sin y)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) 1)
  (/ (/ (cbrt 1) (sqrt y)) (/ 1 (sin y)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ (cbrt 1) y) (cbrt (/ 1 (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (sqrt (/ 1 (sin y))))
  (/ (/ (cbrt 1) y) (sqrt (/ 1 (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ (cbrt 1) y) (/ (cbrt 1) (cbrt (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))
  (/ (/ (cbrt 1) y) (/ (cbrt 1) (sqrt (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (cbrt 1) y) (/ (cbrt 1) (sin y)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ (cbrt 1) y) (/ (sqrt 1) (cbrt (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ (cbrt 1) y) (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) 1))
  (/ (/ (cbrt 1) y) (/ (sqrt 1) (sin y)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ (cbrt 1) y) (/ 1 (cbrt (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (sqrt (sin y))))
  (/ (/ (cbrt 1) y) (/ 1 (sqrt (sin y))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 1))
  (/ (/ (cbrt 1) y) (/ 1 (sin y)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1)
  (/ (/ (cbrt 1) y) (/ 1 (sin y)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1)
  (/ (/ (cbrt 1) y) (/ 1 (sin y)))
  (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ (sqrt 1) (cbrt y)) (cbrt (/ 1 (sin y))))
  (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y))))
  (/ (/ (sqrt 1) (cbrt y)) (sqrt (/ 1 (sin y))))
  (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ (sqrt 1) (cbrt y)) (/ (cbrt 1) (cbrt (sin y))))
  (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))
  (/ (/ (sqrt 1) (cbrt y)) (/ (cbrt 1) (sqrt (sin y))))
  (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (sqrt 1) (cbrt y)) (/ (cbrt 1) (sin y)))
  (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ (sqrt 1) (cbrt y)) (/ (sqrt 1) (cbrt (sin y))))
  (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ (sqrt 1) (cbrt y)) (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (sqrt 1) 1))
  (/ (/ (sqrt 1) (cbrt y)) (/ (sqrt 1) (sin y)))
  (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ (sqrt 1) (cbrt y)) (/ 1 (cbrt (sin y))))
  (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ 1 (sqrt (sin y))))
  (/ (/ (sqrt 1) (cbrt y)) (/ 1 (sqrt (sin y))))
  (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ 1 1))
  (/ (/ (sqrt 1) (cbrt y)) (/ 1 (sin y)))
  (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) 1)
  (/ (/ (sqrt 1) (cbrt y)) (/ 1 (sin y)))
  (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) 1)
  (/ (/ (sqrt 1) (cbrt y)) (/ 1 (sin y)))
  (/ (/ (sqrt 1) (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ (sqrt 1) (sqrt y)) (cbrt (/ 1 (sin y))))
  (/ (/ (sqrt 1) (sqrt y)) (sqrt (/ 1 (sin y))))
  (/ (/ (sqrt 1) (sqrt y)) (sqrt (/ 1 (sin y))))
  (/ (/ (sqrt 1) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ (sqrt 1) (sqrt y)) (/ (cbrt 1) (cbrt (sin y))))
  (/ (/ (sqrt 1) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))
  (/ (/ (sqrt 1) (sqrt y)) (/ (cbrt 1) (sqrt (sin y))))
  (/ (/ (sqrt 1) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (sqrt 1) (sqrt y)) (/ (cbrt 1) (sin y)))
  (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) (cbrt (sin y))))
  (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) 1))
  (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) (sin y)))
  (/ (/ (sqrt 1) (sqrt y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ (sqrt 1) (sqrt y)) (/ 1 (cbrt (sin y))))
  (/ (/ (sqrt 1) (sqrt y)) (/ 1 (sqrt (sin y))))
  (/ (/ (sqrt 1) (sqrt y)) (/ 1 (sqrt (sin y))))
  (/ (/ (sqrt 1) (sqrt y)) (/ 1 1))
  (/ (/ (sqrt 1) (sqrt y)) (/ 1 (sin y)))
  (/ (/ (sqrt 1) (sqrt y)) 1)
  (/ (/ (sqrt 1) (sqrt y)) (/ 1 (sin y)))
  (/ (/ (sqrt 1) (sqrt y)) 1)
  (/ (/ (sqrt 1) (sqrt y)) (/ 1 (sin y)))
  (/ (/ (sqrt 1) 1) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ (sqrt 1) y) (cbrt (/ 1 (sin y))))
  (/ (/ (sqrt 1) 1) (sqrt (/ 1 (sin y))))
  (/ (/ (sqrt 1) y) (sqrt (/ 1 (sin y))))
  (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ (sqrt 1) y) (/ (cbrt 1) (cbrt (sin y))))
  (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))
  (/ (/ (sqrt 1) y) (/ (cbrt 1) (sqrt (sin y))))
  (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (sqrt 1) y) (/ (cbrt 1) (sin y)))
  (/ (/ (sqrt 1) 1) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ (sqrt 1) y) (/ (sqrt 1) (cbrt (sin y))))
  (/ (/ (sqrt 1) 1) (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ (sqrt 1) y) (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ (sqrt 1) 1) (/ (sqrt 1) 1))
  (/ (/ (sqrt 1) y) (/ (sqrt 1) (sin y)))
  (/ (/ (sqrt 1) 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ (sqrt 1) y) (/ 1 (cbrt (sin y))))
  (/ (/ (sqrt 1) 1) (/ 1 (sqrt (sin y))))
  (/ (/ (sqrt 1) y) (/ 1 (sqrt (sin y))))
  (/ (/ (sqrt 1) 1) (/ 1 1))
  (/ (/ (sqrt 1) y) (/ 1 (sin y)))
  (/ (/ (sqrt 1) 1) 1)
  (/ (/ (sqrt 1) y) (/ 1 (sin y)))
  (/ (/ (sqrt 1) 1) 1)
  (/ (/ (sqrt 1) y) (/ 1 (sin y)))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ 1 (cbrt y)) (cbrt (/ 1 (sin y))))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y))))
  (/ (/ 1 (cbrt y)) (sqrt (/ 1 (sin y))))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ 1 (cbrt y)) (/ (cbrt 1) (cbrt (sin y))))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))
  (/ (/ 1 (cbrt y)) (/ (cbrt 1) (sqrt (sin y))))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (cbrt y)) (/ (cbrt 1) (sin y)))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ 1 (cbrt y)) (/ (sqrt 1) (cbrt (sin y))))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ 1 (cbrt y)) (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (sqrt 1) 1))
  (/ (/ 1 (cbrt y)) (/ (sqrt 1) (sin y)))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y))))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (/ 1 (sqrt (sin y))))
  (/ (/ 1 (cbrt y)) (/ 1 (sqrt (sin y))))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (/ 1 1))
  (/ (/ 1 (cbrt y)) (/ 1 (sin y)))
  (/ (/ 1 (* (cbrt y) (cbrt y))) 1)
  (/ (/ 1 (cbrt y)) (/ 1 (sin y)))
  (/ (/ 1 (* (cbrt y) (cbrt y))) 1)
  (/ (/ 1 (cbrt y)) (/ 1 (sin y)))
  (/ (/ 1 (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ 1 (sqrt y)) (cbrt (/ 1 (sin y))))
  (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y))))
  (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y))))
  (/ (/ 1 (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ 1 (sqrt y)) (/ (cbrt 1) (cbrt (sin y))))
  (/ (/ 1 (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))
  (/ (/ 1 (sqrt y)) (/ (cbrt 1) (sqrt (sin y))))
  (/ (/ 1 (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (sqrt y)) (/ (cbrt 1) (sin y)))
  (/ (/ 1 (sqrt y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ 1 (sqrt y)) (/ (sqrt 1) (cbrt (sin y))))
  (/ (/ 1 (sqrt y)) (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ 1 (sqrt y)) (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ 1 (sqrt y)) (/ (sqrt 1) 1))
  (/ (/ 1 (sqrt y)) (/ (sqrt 1) (sin y)))
  (/ (/ 1 (sqrt y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ 1 (sqrt y)) (/ 1 (cbrt (sin y))))
  (/ (/ 1 (sqrt y)) (/ 1 (sqrt (sin y))))
  (/ (/ 1 (sqrt y)) (/ 1 (sqrt (sin y))))
  (/ (/ 1 (sqrt y)) (/ 1 1))
  (/ (/ 1 (sqrt y)) (/ 1 (sin y)))
  (/ (/ 1 (sqrt y)) 1)
  (/ (/ 1 (sqrt y)) (/ 1 (sin y)))
  (/ (/ 1 (sqrt y)) 1)
  (/ (/ 1 (sqrt y)) (/ 1 (sin y)))
  (/ (/ 1 1) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ 1 y) (cbrt (/ 1 (sin y))))
  (/ (/ 1 1) (sqrt (/ 1 (sin y))))
  (/ (/ 1 y) (sqrt (/ 1 (sin y))))
  (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ 1 y) (/ (cbrt 1) (cbrt (sin y))))
  (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))
  (/ (/ 1 y) (/ (cbrt 1) (sqrt (sin y))))
  (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 y) (/ (cbrt 1) (sin y)))
  (/ (/ 1 1) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ 1 y) (/ (sqrt 1) (cbrt (sin y))))
  (/ (/ 1 1) (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ 1 y) (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ 1 1) (/ (sqrt 1) 1))
  (/ (/ 1 y) (/ (sqrt 1) (sin y)))
  (/ (/ 1 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ 1 y) (/ 1 (cbrt (sin y))))
  (/ (/ 1 1) (/ 1 (sqrt (sin y))))
  (/ (/ 1 y) (/ 1 (sqrt (sin y))))
  (/ (/ 1 1) (/ 1 1))
  (/ (/ 1 y) (/ 1 (sin y)))
  (/ (/ 1 1) 1)
  (/ (/ 1 y) (/ 1 (sin y)))
  (/ (/ 1 1) 1)
  (/ (/ 1 y) (/ 1 (sin y)))
  (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ 1 y) (cbrt (/ 1 (sin y))))
  (/ 1 (sqrt (/ 1 (sin y))))
  (/ (/ 1 y) (sqrt (/ 1 (sin y))))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ 1 y) (/ (cbrt 1) (cbrt (sin y))))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))
  (/ (/ 1 y) (/ (cbrt 1) (sqrt (sin y))))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 y) (/ (cbrt 1) (sin y)))
  (/ 1 (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ 1 y) (/ (sqrt 1) (cbrt (sin y))))
  (/ 1 (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ 1 y) (/ (sqrt 1) (sqrt (sin y))))
  (/ 1 (/ (sqrt 1) 1))
  (/ (/ 1 y) (/ (sqrt 1) (sin y)))
  (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ 1 y) (/ 1 (cbrt (sin y))))
  (/ 1 (/ 1 (sqrt (sin y))))
  (/ (/ 1 y) (/ 1 (sqrt (sin y))))
  (/ 1 (/ 1 1))
  (/ (/ 1 y) (/ 1 (sin y)))
  (/ 1 1)
  (/ (/ 1 y) (/ 1 (sin y)))
  (/ 1 1)
  (/ (/ 1 y) (/ 1 (sin y)))
  (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ 1 y) (cbrt (/ 1 (sin y))))
  (/ 1 (sqrt (/ 1 (sin y))))
  (/ (/ 1 y) (sqrt (/ 1 (sin y))))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ 1 y) (/ (cbrt 1) (cbrt (sin y))))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))
  (/ (/ 1 y) (/ (cbrt 1) (sqrt (sin y))))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 y) (/ (cbrt 1) (sin y)))
  (/ 1 (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ 1 y) (/ (sqrt 1) (cbrt (sin y))))
  (/ 1 (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ 1 y) (/ (sqrt 1) (sqrt (sin y))))
  (/ 1 (/ (sqrt 1) 1))
  (/ (/ 1 y) (/ (sqrt 1) (sin y)))
  (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ 1 y) (/ 1 (cbrt (sin y))))
  (/ 1 (/ 1 (sqrt (sin y))))
  (/ (/ 1 y) (/ 1 (sqrt (sin y))))
  (/ 1 (/ 1 1))
  (/ (/ 1 y) (/ 1 (sin y)))
  (/ 1 1)
  (/ (/ 1 y) (/ 1 (sin y)))
  (/ 1 1)
  (/ (/ 1 y) (/ 1 (sin y)))
  (/ 1 (/ 1 (sin y)))
  (/ (/ 1 (sin y)) (/ 1 y))
  (/ (/ 1 y) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ 1 y) (sqrt (/ 1 (sin y))))
  (/ (/ 1 y) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ 1 y) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))))
  (/ (/ 1 y) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 y) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ 1 y) (/ (sqrt 1) (sqrt (sin y))))
  (/ (/ 1 y) (/ (sqrt 1) 1))
  (/ (/ 1 y) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))
  (/ (/ 1 y) (/ 1 (sqrt (sin y))))
  (/ (/ 1 y) (/ 1 1))
  (/ (/ 1 y) 1)
  (/ (/ 1 y) 1)
  (/ (/ 1 (sin y)) (cbrt (/ 1 y)))
  (/ (/ 1 (sin y)) (sqrt (/ 1 y)))
  (/ (/ 1 (sin y)) (/ (cbrt 1) (cbrt y)))
  (/ (/ 1 (sin y)) (/ (cbrt 1) (sqrt y)))
  (/ (/ 1 (sin y)) (/ (cbrt 1) y))
  (/ (/ 1 (sin y)) (/ (sqrt 1) (cbrt y)))
  (/ (/ 1 (sin y)) (/ (sqrt 1) (sqrt y)))
  (/ (/ 1 (sin y)) (/ (sqrt 1) y))
  (/ (/ 1 (sin y)) (/ 1 (cbrt y)))
  (/ (/ 1 (sin y)) (/ 1 (sqrt y)))
  (/ (/ 1 (sin y)) (/ 1 y))
  (/ (/ 1 (sin y)) (/ 1 y))
  (/ (/ 1 (sin y)) (/ 1 y))
  (/ (/ 1 y) 1)
  (* (/ 1 (sin y)) 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)
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
  (+ (* 7/360 (pow y 3)) (+ (/ 1 y) (* 1/6 y)))
  (/ 1 (sin y))
  (/ 1 (sin y))
4.010 * * [simplify]: Extracting # 0 : cost  0
4.011 * * [simplify]: Extracting # 1 : cost  0
4.012 * * [simplify]: Extracting # 2 : cost  0
4.013 * * [simplify]: Extracting # 3 : cost  0
4.013 * * [simplify]: Extracting # 4 : cost  0
4.014 * * [simplify]: Extracting # 5 : cost  0
4.015 * * [simplify]: Extracting # 6 : cost  0
4.015 * * [simplify]: Extracting # 7 : cost  0
4.016 * * [simplify]: iteration  0 :  401  enodes  (cost  4836 )
4.329 * * [simplify]: Extracting # 0 : cost  0
4.334 * * [simplify]: Extracting # 1 : cost  0
4.335 * * [simplify]: Extracting # 2 : cost  0
4.336 * * [simplify]: Extracting # 3 : cost  0
4.341 * * [simplify]: Extracting # 4 : cost  0
4.342 * * [simplify]: iteration  1 :  1393  enodes  (cost  3679 )
4.629 * * [simplify]: Extracting # 0 : cost  0
4.636 * * [simplify]: Extracting # 1 : cost  0
4.642 * * [simplify]: Extracting # 2 : cost  0
4.647 * * [simplify]: Extracting # 3 : cost  0
4.653 * * [simplify]: Extracting # 4 : cost  0
4.658 * * [simplify]: iteration done:  5001  enodes  (cost  3185 )
4.660 * [simplify]: Simplified to:
  (- (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))))
  (- (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))))
  (- (log (/ y (sin y))))
  (- (log (/ y (sin y))))
  (- (log (/ y (sin y))))
  (exp (* (/ 1 y) (sin y)))
  (* (/ 1 (pow y 3)) (pow (sin y) 3))
  (/ (/ 1 (pow y 3)) (pow (/ 1 (sin y)) 3))
  (* (pow (/ 1 y) 3) (pow (sin y) 3))
  (pow (* (/ 1 y) (sin y)) 3)
  (* (cbrt (* (/ 1 y) (sin y))) (cbrt (* (/ 1 y) (sin y))))
  (cbrt (* (/ 1 y) (sin y)))
  (pow (* (/ 1 y) (sin y)) 3)
  (sqrt (* (/ 1 y) (sin y)))
  (sqrt (* (/ 1 y) (sin y)))
  (/ -1 y)
  (/ -1 (sin y))
  (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (cbrt (/ 1 y)) (cbrt (/ 1 (sin y))))
  (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (/ 1 (sin y))))
  (/ (cbrt (/ 1 y)) (sqrt (/ 1 (sin y))))
  (* (* (cbrt (/ 1 y)) (cbrt (sin y))) (* (cbrt (/ 1 y)) (cbrt (sin y))))
  (* (cbrt (/ 1 y)) (cbrt (sin y)))
  (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (sin y)))
  (* (cbrt (/ 1 y)) (sqrt (sin y)))
  (* (cbrt (/ 1 y)) (cbrt (/ 1 y)))
  (* (cbrt (/ 1 y)) (sin y))
  (* (* (cbrt (/ 1 y)) (cbrt (sin y))) (* (cbrt (/ 1 y)) (cbrt (sin y))))
  (* (cbrt (/ 1 y)) (cbrt (sin y)))
  (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (sin y)))
  (* (cbrt (/ 1 y)) (sqrt (sin y)))
  (* (cbrt (/ 1 y)) (cbrt (/ 1 y)))
  (* (cbrt (/ 1 y)) (sin y))
  (* (* (cbrt (/ 1 y)) (cbrt (sin y))) (* (cbrt (/ 1 y)) (cbrt (sin y))))
  (* (cbrt (/ 1 y)) (cbrt (sin y)))
  (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (sin y)))
  (* (cbrt (/ 1 y)) (sqrt (sin y)))
  (* (cbrt (/ 1 y)) (cbrt (/ 1 y)))
  (* (cbrt (/ 1 y)) (sin y))
  (* (cbrt (/ 1 y)) (cbrt (/ 1 y)))
  (* (cbrt (/ 1 y)) (sin y))
  (* (cbrt (/ 1 y)) (cbrt (/ 1 y)))
  (* (cbrt (/ 1 y)) (sin y))
  (/ (sqrt (/ 1 y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (sqrt (/ 1 y)) (cbrt (/ 1 (sin y))))
  (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y))))
  (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y))))
  (* (sqrt (/ 1 y)) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (sqrt (/ 1 y)) (cbrt (sin y)))
  (* (sqrt (/ 1 y)) (sqrt (sin y)))
  (* (sqrt (/ 1 y)) (sqrt (sin y)))
  (sqrt (/ 1 y))
  (* (sqrt (/ 1 y)) (sin y))
  (* (sqrt (/ 1 y)) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (sqrt (/ 1 y)) (cbrt (sin y)))
  (* (sqrt (/ 1 y)) (sqrt (sin y)))
  (* (sqrt (/ 1 y)) (sqrt (sin y)))
  (sqrt (/ 1 y))
  (* (sqrt (/ 1 y)) (sin y))
  (* (sqrt (/ 1 y)) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (sqrt (/ 1 y)) (cbrt (sin y)))
  (* (sqrt (/ 1 y)) (sqrt (sin y)))
  (* (sqrt (/ 1 y)) (sqrt (sin y)))
  (sqrt (/ 1 y))
  (* (sqrt (/ 1 y)) (sin y))
  (sqrt (/ 1 y))
  (* (sqrt (/ 1 y)) (sin y))
  (sqrt (/ 1 y))
  (* (sqrt (/ 1 y)) (sin y))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ 1 (cbrt y)) (cbrt (/ 1 (sin y))))
  (/ (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (/ 1 (sin y))))
  (/ (/ 1 (cbrt y)) (sqrt (/ 1 (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 (cbrt 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 (cbrt 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 (cbrt y)) (sin y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (* (/ 1 (cbrt y)) (sin y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (* (/ 1 (cbrt y)) (sin y))
  (/ (/ 1 (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ 1 (sqrt y)) (cbrt (/ 1 (sin y))))
  (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y))))
  (/ (/ 1 (sqrt y)) (sqrt (/ 1 (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 (sqrt 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 (sqrt 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 (sqrt y)) (sin y))
  (/ 1 (sqrt y))
  (* (/ 1 (sqrt y)) (sin y))
  (/ 1 (sqrt y))
  (* (/ 1 (sqrt y)) (sin y))
  (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ 1 y) (cbrt (/ 1 (sin y))))
  (/ 1 (sqrt (/ 1 (sin y))))
  (/ (/ 1 y) (sqrt (/ 1 (sin y))))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (/ 1 y) (cbrt (sin y)))
  (sqrt (sin y))
  (* (/ 1 y) (sqrt (sin y)))
  1
  (* (/ 1 y) (sin y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (/ 1 y) (cbrt (sin y)))
  (sqrt (sin y))
  (* (/ 1 y) (sqrt (sin y)))
  1
  (* (/ 1 y) (sin y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (/ 1 y) (cbrt (sin y)))
  (sqrt (sin y))
  (* (/ 1 y) (sqrt (sin y)))
  1
  (* (/ 1 y) (sin y))
  1
  (* (/ 1 y) (sin y))
  1
  (* (/ 1 y) (sin y))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ 1 (cbrt y)) (cbrt (/ 1 (sin y))))
  (/ (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (/ 1 (sin y))))
  (/ (/ 1 (cbrt y)) (sqrt (/ 1 (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 (cbrt 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 (cbrt 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 (cbrt y)) (sin y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (* (/ 1 (cbrt y)) (sin y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (* (/ 1 (cbrt y)) (sin y))
  (/ (/ 1 (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ 1 (sqrt y)) (cbrt (/ 1 (sin y))))
  (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y))))
  (/ (/ 1 (sqrt y)) (sqrt (/ 1 (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 (sqrt 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 (sqrt 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 (sqrt y)) (sin y))
  (/ 1 (sqrt y))
  (* (/ 1 (sqrt y)) (sin y))
  (/ 1 (sqrt y))
  (* (/ 1 (sqrt y)) (sin y))
  (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ 1 y) (cbrt (/ 1 (sin y))))
  (/ 1 (sqrt (/ 1 (sin y))))
  (/ (/ 1 y) (sqrt (/ 1 (sin y))))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (/ 1 y) (cbrt (sin y)))
  (sqrt (sin y))
  (* (/ 1 y) (sqrt (sin y)))
  1
  (* (/ 1 y) (sin y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (/ 1 y) (cbrt (sin y)))
  (sqrt (sin y))
  (* (/ 1 y) (sqrt (sin y)))
  1
  (* (/ 1 y) (sin y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (/ 1 y) (cbrt (sin y)))
  (sqrt (sin y))
  (* (/ 1 y) (sqrt (sin y)))
  1
  (* (/ 1 y) (sin y))
  1
  (* (/ 1 y) (sin y))
  1
  (* (/ 1 y) (sin y))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ 1 (cbrt y)) (cbrt (/ 1 (sin y))))
  (/ (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (/ 1 (sin y))))
  (/ (/ 1 (cbrt y)) (sqrt (/ 1 (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 (cbrt 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 (cbrt 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 (cbrt y)) (sin y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (* (/ 1 (cbrt y)) (sin y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (* (/ 1 (cbrt y)) (sin y))
  (/ (/ 1 (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ 1 (sqrt y)) (cbrt (/ 1 (sin y))))
  (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y))))
  (/ (/ 1 (sqrt y)) (sqrt (/ 1 (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 (sqrt 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 (sqrt 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 (sqrt y)) (sin y))
  (/ 1 (sqrt y))
  (* (/ 1 (sqrt y)) (sin y))
  (/ 1 (sqrt y))
  (* (/ 1 (sqrt y)) (sin y))
  (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ 1 y) (cbrt (/ 1 (sin y))))
  (/ 1 (sqrt (/ 1 (sin y))))
  (/ (/ 1 y) (sqrt (/ 1 (sin y))))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (/ 1 y) (cbrt (sin y)))
  (sqrt (sin y))
  (* (/ 1 y) (sqrt (sin y)))
  1
  (* (/ 1 y) (sin y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (/ 1 y) (cbrt (sin y)))
  (sqrt (sin y))
  (* (/ 1 y) (sqrt (sin y)))
  1
  (* (/ 1 y) (sin y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (/ 1 y) (cbrt (sin y)))
  (sqrt (sin y))
  (* (/ 1 y) (sqrt (sin y)))
  1
  (* (/ 1 y) (sin y))
  1
  (* (/ 1 y) (sin y))
  1
  (* (/ 1 y) (sin y))
  (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ 1 y) (cbrt (/ 1 (sin y))))
  (/ 1 (sqrt (/ 1 (sin y))))
  (/ (/ 1 y) (sqrt (/ 1 (sin y))))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (/ 1 y) (cbrt (sin y)))
  (sqrt (sin y))
  (* (/ 1 y) (sqrt (sin y)))
  1
  (* (/ 1 y) (sin y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (/ 1 y) (cbrt (sin y)))
  (sqrt (sin y))
  (* (/ 1 y) (sqrt (sin y)))
  1
  (* (/ 1 y) (sin y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (/ 1 y) (cbrt (sin y)))
  (sqrt (sin y))
  (* (/ 1 y) (sqrt (sin y)))
  1
  (* (/ 1 y) (sin y))
  1
  (* (/ 1 y) (sin y))
  1
  (* (/ 1 y) (sin y))
  (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ 1 y) (cbrt (/ 1 (sin y))))
  (/ 1 (sqrt (/ 1 (sin y))))
  (/ (/ 1 y) (sqrt (/ 1 (sin y))))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (/ 1 y) (cbrt (sin y)))
  (sqrt (sin y))
  (* (/ 1 y) (sqrt (sin y)))
  1
  (* (/ 1 y) (sin y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (/ 1 y) (cbrt (sin y)))
  (sqrt (sin y))
  (* (/ 1 y) (sqrt (sin y)))
  1
  (* (/ 1 y) (sin y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (/ 1 y) (cbrt (sin y)))
  (sqrt (sin y))
  (* (/ 1 y) (sqrt (sin y)))
  1
  (* (/ 1 y) (sin y))
  1
  (* (/ 1 y) (sin y))
  1
  (* (/ 1 y) (sin y))
  (sin y)
  (/ y (sin y))
  (/ (/ 1 y) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ (/ 1 y) (sqrt (/ 1 (sin y))))
  (* (/ 1 y) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ 1 y) (sqrt (sin y)))
  (/ 1 y)
  (* (/ 1 y) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ 1 y) (sqrt (sin y)))
  (/ 1 y)
  (* (/ 1 y) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ 1 y) (sqrt (sin y)))
  (/ 1 y)
  (/ 1 y)
  (/ 1 y)
  (/ (/ 1 (sin y)) (cbrt (/ 1 y)))
  (/ (/ 1 (sin y)) (sqrt (/ 1 y)))
  (* (/ 1 (sin y)) (cbrt y))
  (* (/ 1 (sin y)) (sqrt y))
  (/ y (sin y))
  (* (/ 1 (sin y)) (cbrt y))
  (* (/ 1 (sin y)) (sqrt y))
  (/ y (sin y))
  (* (/ 1 (sin y)) (cbrt y))
  (* (/ 1 (sin y)) (sqrt y))
  (/ y (sin y))
  (/ y (sin y))
  (/ y (sin y))
  (/ 1 y)
  (/ y (sin y))
  -1
  (- (log (sin y)))
  (- (log (sin y)))
  (- (log (sin y)))
  (- (log (sin y)))
  (exp (/ 1 (sin y)))
  (/ 1 (pow (sin y) 3))
  (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))
  (cbrt (/ 1 (sin y)))
  (pow (/ 1 (sin y)) 3)
  (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)
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
  (+ (* 7/360 (pow y 3)) (+ (/ 1 y) (* 1/6 y)))
  (/ 1 (sin y))
  (/ 1 (sin y))
4.662 * * * [progress]: adding candidates to table
4.899 * * [progress]: iteration 4 / 4
4.899 * * * [progress]: picking best candidate
4.909 * * * * [pick]: Picked  #<alt (λ (x y) (* (cosh x) (* (/ 1 y) (sin y))))>
4.909 * * * [progress]: localizing error
4.918 * * * [progress]: generating rewritten candidates
4.918 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
4.965 * * * [progress]: generating series expansions
4.965 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
4.965 * [backup-simplify]: Simplify (* (/ 1 y) (sin y)) into (/ (sin y) y)
4.965 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0
4.965 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
4.965 * [taylor]: Taking taylor expansion of (sin y) in y
4.965 * [taylor]: Taking taylor expansion of y in y
4.965 * [backup-simplify]: Simplify 0 into 0
4.965 * [backup-simplify]: Simplify 1 into 1
4.965 * [taylor]: Taking taylor expansion of y in y
4.965 * [backup-simplify]: Simplify 0 into 0
4.965 * [backup-simplify]: Simplify 1 into 1
4.966 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
4.967 * [backup-simplify]: Simplify (/ 1 1) into 1
4.967 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
4.967 * [taylor]: Taking taylor expansion of (sin y) in y
4.967 * [taylor]: Taking taylor expansion of y in y
4.967 * [backup-simplify]: Simplify 0 into 0
4.967 * [backup-simplify]: Simplify 1 into 1
4.967 * [taylor]: Taking taylor expansion of y in y
4.967 * [backup-simplify]: Simplify 0 into 0
4.967 * [backup-simplify]: Simplify 1 into 1
4.968 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
4.968 * [backup-simplify]: Simplify (/ 1 1) into 1
4.968 * [backup-simplify]: Simplify 1 into 1
4.969 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.970 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
4.970 * [backup-simplify]: Simplify 0 into 0
4.972 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
4.973 * [backup-simplify]: Simplify (- (/ -1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into -1/6
4.973 * [backup-simplify]: Simplify -1/6 into -1/6
4.974 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
4.976 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)))) into 0
4.976 * [backup-simplify]: Simplify 0 into 0
4.979 * [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
4.981 * [backup-simplify]: Simplify (- (/ 1/120 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 1/120
4.981 * [backup-simplify]: Simplify 1/120 into 1/120
4.981 * [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)))
4.981 * [backup-simplify]: Simplify (* (/ 1 (/ 1 y)) (sin (/ 1 y))) into (* (sin (/ 1 y)) y)
4.981 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0
4.981 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
4.982 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
4.982 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.982 * [taylor]: Taking taylor expansion of y in y
4.982 * [backup-simplify]: Simplify 0 into 0
4.982 * [backup-simplify]: Simplify 1 into 1
4.982 * [backup-simplify]: Simplify (/ 1 1) into 1
4.982 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
4.982 * [taylor]: Taking taylor expansion of y in y
4.982 * [backup-simplify]: Simplify 0 into 0
4.982 * [backup-simplify]: Simplify 1 into 1
4.982 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
4.982 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
4.982 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.982 * [taylor]: Taking taylor expansion of y in y
4.982 * [backup-simplify]: Simplify 0 into 0
4.982 * [backup-simplify]: Simplify 1 into 1
4.983 * [backup-simplify]: Simplify (/ 1 1) into 1
4.983 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
4.983 * [taylor]: Taking taylor expansion of y in y
4.983 * [backup-simplify]: Simplify 0 into 0
4.983 * [backup-simplify]: Simplify 1 into 1
4.983 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
4.983 * [backup-simplify]: Simplify 0 into 0
4.984 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 1) (* 0 0)) into (sin (/ 1 y))
4.984 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
4.984 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 1) (* 0 0))) into 0
4.985 * [backup-simplify]: Simplify 0 into 0
4.985 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.986 * [backup-simplify]: Simplify 0 into 0
4.986 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.987 * [backup-simplify]: Simplify 0 into 0
4.988 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
4.988 * [backup-simplify]: Simplify 0 into 0
4.989 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
4.989 * [backup-simplify]: Simplify 0 into 0
4.990 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
4.990 * [backup-simplify]: Simplify 0 into 0
4.991 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 y))) (/ 1 y)) into (/ (sin y) y)
4.991 * [backup-simplify]: Simplify (* (/ 1 (/ 1 (- y))) (sin (/ 1 (- y)))) into (* -1 (* (sin (/ -1 y)) y))
4.991 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0
4.991 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y
4.991 * [taylor]: Taking taylor expansion of -1 in y
4.991 * [backup-simplify]: Simplify -1 into -1
4.991 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
4.991 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
4.991 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.991 * [taylor]: Taking taylor expansion of -1 in y
4.991 * [backup-simplify]: Simplify -1 into -1
4.991 * [taylor]: Taking taylor expansion of y in y
4.991 * [backup-simplify]: Simplify 0 into 0
4.991 * [backup-simplify]: Simplify 1 into 1
4.992 * [backup-simplify]: Simplify (/ -1 1) into -1
4.992 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
4.992 * [taylor]: Taking taylor expansion of y in y
4.992 * [backup-simplify]: Simplify 0 into 0
4.992 * [backup-simplify]: Simplify 1 into 1
4.992 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y
4.992 * [taylor]: Taking taylor expansion of -1 in y
4.992 * [backup-simplify]: Simplify -1 into -1
4.992 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
4.992 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
4.992 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.992 * [taylor]: Taking taylor expansion of -1 in y
4.992 * [backup-simplify]: Simplify -1 into -1
4.992 * [taylor]: Taking taylor expansion of y in y
4.992 * [backup-simplify]: Simplify 0 into 0
4.992 * [backup-simplify]: Simplify 1 into 1
4.992 * [backup-simplify]: Simplify (/ -1 1) into -1
4.993 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
4.993 * [taylor]: Taking taylor expansion of y in y
4.993 * [backup-simplify]: Simplify 0 into 0
4.993 * [backup-simplify]: Simplify 1 into 1
4.993 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
4.993 * [backup-simplify]: Simplify (* -1 0) into 0
4.993 * [backup-simplify]: Simplify 0 into 0
4.994 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 1) (* 0 0)) into (sin (/ -1 y))
4.994 * [backup-simplify]: Simplify (+ (* -1 (sin (/ -1 y))) (* 0 0)) into (- (sin (/ -1 y)))
4.994 * [backup-simplify]: Simplify (- (sin (/ -1 y))) into (- (sin (/ -1 y)))
4.995 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 1) (* 0 0))) into 0
4.996 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))) into 0
4.996 * [backup-simplify]: Simplify 0 into 0
4.997 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.998 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))) into 0
4.998 * [backup-simplify]: Simplify 0 into 0
4.999 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.001 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))) into 0
5.001 * [backup-simplify]: Simplify 0 into 0
5.002 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
5.004 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))) into 0
5.004 * [backup-simplify]: Simplify 0 into 0
5.005 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
5.007 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))))) into 0
5.007 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
5.012 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))))) into 0
5.012 * [backup-simplify]: Simplify 0 into 0
5.012 * [backup-simplify]: Simplify (* (- (sin (/ -1 (/ 1 (- y))))) (/ 1 (- y))) into (/ (sin y) y)
5.012 * * * [progress]: simplifying candidates
5.013 * [simplify]: Simplifying:
  (* (/ 1 y) (sin y))
  (+ (- (log y)) (log (sin y)))
  (+ (- 0 (log y)) (log (sin y)))
  (+ (- (log 1) (log y)) (log (sin y)))
  (+ (log (/ 1 y)) (log (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 y) (/ 1 y)) (/ 1 y)) (* (* (sin y) (sin 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)))
  (* (sqrt (/ 1 y)) (sqrt (sin y)))
  (* (sqrt (/ 1 y)) (sqrt (sin y)))
  (* (/ (sqrt 1) (sqrt y)) (sqrt (sin y)))
  (* (/ (sqrt 1) (sqrt y)) (sqrt (sin y)))
  (* (/ 1 (sqrt y)) (sqrt (sin y)))
  (* (/ 1 (sqrt y)) (sqrt (sin y)))
  (* (/ 1 y) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ 1 y) (sqrt (sin y)))
  (* (/ 1 y) 1)
  (* (cbrt (/ 1 y)) (sin y))
  (* (sqrt (/ 1 y)) (sin y))
  (* (/ (cbrt 1) (cbrt y)) (sin y))
  (* (/ (cbrt 1) (sqrt y)) (sin y))
  (* (/ (cbrt 1) y) (sin y))
  (* (/ (sqrt 1) (cbrt y)) (sin y))
  (* (/ (sqrt 1) (sqrt y)) (sin y))
  (* (/ (sqrt 1) y) (sin y))
  (* (/ 1 (cbrt y)) (sin y))
  (* (/ 1 (sqrt y)) (sin y))
  (* (/ 1 y) (sin y))
  (* (/ 1 y) (sin y))
  (* (/ 1 y) (sin y))
  (* 1 (sin y))
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
5.014 * * [simplify]: Extracting # 0 : cost  0
5.015 * * [simplify]: Extracting # 1 : cost  0
5.015 * * [simplify]: Extracting # 2 : cost  0
5.015 * * [simplify]: Extracting # 3 : cost  0
5.015 * * [simplify]: Extracting # 4 : cost  0
5.015 * * [simplify]: Extracting # 5 : cost  0
5.016 * * [simplify]: Extracting # 6 : cost  0
5.016 * * [simplify]: iteration  0 :  80  enodes  (cost  338 )
5.055 * * [simplify]: Extracting # 0 : cost  0
5.056 * * [simplify]: Extracting # 1 : cost  0
5.056 * * [simplify]: Extracting # 2 : cost  0
5.056 * * [simplify]: iteration  1 :  192  enodes  (cost  318 )
5.230 * * [simplify]: Extracting # 0 : cost  0
5.231 * * [simplify]: Extracting # 1 : cost  0
5.232 * * [simplify]: Extracting # 2 : cost  0
5.233 * * [simplify]: Extracting # 3 : cost  0
5.235 * * [simplify]: Extracting # 4 : cost  0
5.236 * * [simplify]: iteration  2 :  1073  enodes  (cost  228 )
5.917 * * [simplify]: Extracting # 0 : cost  0
5.939 * * [simplify]: Extracting # 1 : cost  0
5.945 * * [simplify]: Extracting # 2 : cost  0
5.950 * * [simplify]: Extracting # 3 : cost  0
5.955 * * [simplify]: Extracting # 4 : cost  0
5.963 * * [simplify]: iteration done:  5000  enodes  (cost  224 )
5.964 * [simplify]: Simplified to:
  (/ (sin y) y)
  (log (/ (sin y) y))
  (log (/ (sin y) y))
  (log (/ (sin y) y))
  (log (/ (sin y) y))
  (log (/ (sin y) y))
  (exp (/ (sin y) y))
  (/ (pow (sin y) 3) (pow y 3))
  (pow (/ (sin y) y) 3)
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (cbrt (/ (sin y) y))
  (pow (/ (sin y) y) 3)
  (sqrt (/ (sin y) y))
  (sqrt (/ (sin y) y))
  (* (sqrt (/ 1 y)) (sqrt (sin y)))
  (* (sqrt (/ 1 y)) (sqrt (sin y)))
  (/ (sqrt (sin y)) (sqrt y))
  (/ (sqrt (sin y)) (sqrt y))
  (/ (sqrt (sin y)) (sqrt y))
  (/ (sqrt (sin y)) (sqrt y))
  (/ (* (cbrt (sin y)) (cbrt (sin y))) y)
  (/ (sqrt (sin y)) y)
  (/ 1 y)
  (* (cbrt (/ 1 y)) (sin y))
  (* (sqrt (/ 1 y)) (sin y))
  (/ (sin y) (cbrt y))
  (/ (sin y) (sqrt y))
  (/ (sin y) y)
  (/ (sin y) (cbrt y))
  (/ (sin y) (sqrt y))
  (/ (sin y) y)
  (/ (sin y) (cbrt y))
  (/ (sin y) (sqrt y))
  (/ (sin y) y)
  (/ (sin y) y)
  (/ (sin y) y)
  (sin y)
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
5.964 * * * [progress]: adding candidates to table
6.038 * [progress]: [Phase 3 of 3] Extracting.
6.038 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (cosh x) (/ 1 (/ y (sin y)))))> #<alt (λ (x y) (* (cosh x) (* (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)))))> #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))))> #<alt (λ (x y) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (/ y (cbrt (sin y))))))> #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (cbrt y) (cbrt (sin y)))))))> #<alt (λ (x y) (* (cosh x) (* (/ 1 y) (sin y))))> #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))> #<alt (λ (x y) (* (cosh x) (/ (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (cbrt (/ y (sin y))))))>)
6.039 * * * [regime-changes]: Trying 5 branch expressions: ((/ (sin y) y) (cosh x) (* (cosh x) (/ (sin y) y)) y x)
6.039 * * * * [regimes]: Trying to branch on (/ (sin y) y) from (#<alt (λ (x y) (* (cosh x) (/ 1 (/ y (sin y)))))> #<alt (λ (x y) (* (cosh x) (* (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)))))> #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))))> #<alt (λ (x y) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (/ y (cbrt (sin y))))))> #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (cbrt y) (cbrt (sin y)))))))> #<alt (λ (x y) (* (cosh x) (* (/ 1 y) (sin y))))> #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))> #<alt (λ (x y) (* (cosh x) (/ (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (cbrt (/ y (sin y))))))>)
6.072 * * * * [regimes]: Trying to branch on (cosh x) from (#<alt (λ (x y) (* (cosh x) (/ 1 (/ y (sin y)))))> #<alt (λ (x y) (* (cosh x) (* (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)))))> #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))))> #<alt (λ (x y) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (/ y (cbrt (sin y))))))> #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (cbrt y) (cbrt (sin y)))))))> #<alt (λ (x y) (* (cosh x) (* (/ 1 y) (sin y))))> #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))> #<alt (λ (x y) (* (cosh x) (/ (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (cbrt (/ y (sin y))))))>)
6.103 * * * * [regimes]: Trying to branch on (* (cosh x) (/ (sin y) y)) from (#<alt (λ (x y) (* (cosh x) (/ 1 (/ y (sin y)))))> #<alt (λ (x y) (* (cosh x) (* (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)))))> #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))))> #<alt (λ (x y) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (/ y (cbrt (sin y))))))> #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (cbrt y) (cbrt (sin y)))))))> #<alt (λ (x y) (* (cosh x) (* (/ 1 y) (sin y))))> #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))> #<alt (λ (x y) (* (cosh x) (/ (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (cbrt (/ y (sin y))))))>)
6.155 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (cosh x) (/ 1 (/ y (sin y)))))> #<alt (λ (x y) (* (cosh x) (* (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)))))> #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))))> #<alt (λ (x y) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (/ y (cbrt (sin y))))))> #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (cbrt y) (cbrt (sin y)))))))> #<alt (λ (x y) (* (cosh x) (* (/ 1 y) (sin y))))> #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))> #<alt (λ (x y) (* (cosh x) (/ (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (cbrt (/ y (sin y))))))>)
6.197 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (cosh x) (/ 1 (/ y (sin y)))))> #<alt (λ (x y) (* (cosh x) (* (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)))))> #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))))> #<alt (λ (x y) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (/ y (cbrt (sin y))))))> #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (cbrt y) (cbrt (sin y)))))))> #<alt (λ (x y) (* (cosh x) (* (/ 1 y) (sin y))))> #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))> #<alt (λ (x y) (* (cosh x) (/ (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (cbrt (/ y (sin y))))))>)
6.243 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
6.243 * [simplify]: Simplifying:
  (* (cosh x) (/ (sin y) y))
6.243 * * [simplify]: Extracting # 0 : cost  0
6.243 * * [simplify]: Extracting # 1 : cost  0
6.243 * * [simplify]: Extracting # 2 : cost  0
6.244 * * [simplify]: Extracting # 3 : cost  0
6.244 * * [simplify]: Extracting # 4 : cost  0
6.244 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
6.244 * * [simplify]: Extracting # 0 : cost  0
6.244 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
6.245 * * [simplify]: Extracting # 0 : cost  0
6.245 * * [simplify]: iteration done:  7  enodes  (cost  7 )
6.245 * [simplify]: Simplified to:
  (* (cosh x) (/ (sin y) y))
11.964 * [regime-testing]: Baseline error score: 0.12466182335309943
11.966 * [regime-testing]: Oracle error score: 0.03300412551568946
11.973 * [regime-testing]: End program error score: 0.12466182335309943
12.027 * [regime-testing]: Target error score: 0.12583885016886126