33.550 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.168 * * * [progress]: [2/2] Setting up program.
0.174 * [progress]: [Phase 2 of 3] Improving.
0.174 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))>
0.174 * [simplify]: Simplifying:
  (* (cosh x) (/ (sin y) y))
0.174 * * [simplify]: iteration 0: 6 enodes
0.177 * * [simplify]: iteration 1: 15 enodes
0.180 * * [simplify]: iteration 2: 28 enodes
0.184 * * [simplify]: iteration 3: 50 enodes
0.191 * * [simplify]: iteration 4: 85 enodes
0.228 * * [simplify]: iteration 5: 134 enodes
0.258 * * [simplify]: iteration 6: 308 enodes
0.819 * * [simplify]: iteration 7: 905 enodes
1.400 * * [simplify]: iteration 8: 2115 enodes
3.037 * * [simplify]: iteration 9: 4361 enodes
3.501 * * [simplify]: iteration complete: 5060 enodes
3.501 * * [simplify]: Extracting #0: cost 1 inf + 0
3.501 * * [simplify]: Extracting #1: cost 174 inf + 0
3.504 * * [simplify]: Extracting #2: cost 514 inf + 887
3.508 * * [simplify]: Extracting #3: cost 571 inf + 19456
3.529 * * [simplify]: Extracting #4: cost 246 inf + 75918
3.570 * * [simplify]: Extracting #5: cost 24 inf + 124776
3.600 * * [simplify]: Extracting #6: cost 1 inf + 131095
3.650 * * [simplify]: Extracting #7: cost 0 inf + 131428
3.690 * [simplify]: Simplified to:
  (* (/ (sin y) y) (cosh x))
3.691 * * [progress]: iteration 1 / 4
3.691 * * * [progress]: picking best candidate
3.693 * * * * [pick]: Picked  #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))>
3.693 * * * [progress]: localizing error
3.704 * * * [progress]: generating rewritten candidates
3.704 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
3.713 * * * [progress]: generating series expansions
3.713 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
3.713 * [backup-simplify]: Simplify (/ (sin y) y) into (/ (sin y) y)
3.713 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0
3.713 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
3.713 * [taylor]: Taking taylor expansion of (sin y) in y
3.713 * [taylor]: Taking taylor expansion of y in y
3.713 * [backup-simplify]: Simplify 0 into 0
3.713 * [backup-simplify]: Simplify 1 into 1
3.713 * [taylor]: Taking taylor expansion of y in y
3.713 * [backup-simplify]: Simplify 0 into 0
3.713 * [backup-simplify]: Simplify 1 into 1
3.714 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
3.714 * [backup-simplify]: Simplify (/ 1 1) into 1
3.714 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
3.714 * [taylor]: Taking taylor expansion of (sin y) in y
3.715 * [taylor]: Taking taylor expansion of y in y
3.715 * [backup-simplify]: Simplify 0 into 0
3.715 * [backup-simplify]: Simplify 1 into 1
3.715 * [taylor]: Taking taylor expansion of y in y
3.715 * [backup-simplify]: Simplify 0 into 0
3.715 * [backup-simplify]: Simplify 1 into 1
3.715 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
3.715 * [backup-simplify]: Simplify (/ 1 1) into 1
3.715 * [backup-simplify]: Simplify 1 into 1
3.716 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
3.716 * [backup-simplify]: Simplify 0 into 0
3.717 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
3.718 * [backup-simplify]: Simplify (- (/ -1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into -1/6
3.718 * [backup-simplify]: Simplify -1/6 into -1/6
3.719 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
3.719 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)))) into 0
3.719 * [backup-simplify]: Simplify 0 into 0
3.721 * [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.722 * [backup-simplify]: Simplify (- (/ 1/120 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 1/120
3.722 * [backup-simplify]: Simplify 1/120 into 1/120
3.722 * [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.723 * [backup-simplify]: Simplify (/ (sin (/ 1 y)) (/ 1 y)) into (* (sin (/ 1 y)) y)
3.723 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0
3.723 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
3.723 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
3.723 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.723 * [taylor]: Taking taylor expansion of y in y
3.723 * [backup-simplify]: Simplify 0 into 0
3.723 * [backup-simplify]: Simplify 1 into 1
3.723 * [backup-simplify]: Simplify (/ 1 1) into 1
3.723 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.723 * [taylor]: Taking taylor expansion of y in y
3.723 * [backup-simplify]: Simplify 0 into 0
3.723 * [backup-simplify]: Simplify 1 into 1
3.723 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
3.723 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
3.723 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.723 * [taylor]: Taking taylor expansion of y in y
3.723 * [backup-simplify]: Simplify 0 into 0
3.723 * [backup-simplify]: Simplify 1 into 1
3.723 * [backup-simplify]: Simplify (/ 1 1) into 1
3.724 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.724 * [taylor]: Taking taylor expansion of y in y
3.724 * [backup-simplify]: Simplify 0 into 0
3.724 * [backup-simplify]: Simplify 1 into 1
3.724 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
3.724 * [backup-simplify]: Simplify 0 into 0
3.727 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 1) (* 0 0)) into (sin (/ 1 y))
3.727 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.727 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 1) (* 0 0))) into 0
3.727 * [backup-simplify]: Simplify 0 into 0
3.728 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.728 * [backup-simplify]: Simplify 0 into 0
3.728 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.728 * [backup-simplify]: Simplify 0 into 0
3.729 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
3.729 * [backup-simplify]: Simplify 0 into 0
3.730 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
3.730 * [backup-simplify]: Simplify 0 into 0
3.731 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
3.731 * [backup-simplify]: Simplify 0 into 0
3.731 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 y))) (/ 1 y)) into (/ (sin y) y)
3.731 * [backup-simplify]: Simplify (/ (sin (/ 1 (- y))) (/ 1 (- y))) into (* -1 (* y (sin (/ -1 y))))
3.731 * [approximate]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in (y) around 0
3.731 * [taylor]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in y
3.731 * [taylor]: Taking taylor expansion of -1 in y
3.731 * [backup-simplify]: Simplify -1 into -1
3.731 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
3.731 * [taylor]: Taking taylor expansion of y in y
3.731 * [backup-simplify]: Simplify 0 into 0
3.731 * [backup-simplify]: Simplify 1 into 1
3.731 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
3.731 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.731 * [taylor]: Taking taylor expansion of -1 in y
3.731 * [backup-simplify]: Simplify -1 into -1
3.731 * [taylor]: Taking taylor expansion of y in y
3.731 * [backup-simplify]: Simplify 0 into 0
3.731 * [backup-simplify]: Simplify 1 into 1
3.731 * [backup-simplify]: Simplify (/ -1 1) into -1
3.732 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.732 * [taylor]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in y
3.732 * [taylor]: Taking taylor expansion of -1 in y
3.732 * [backup-simplify]: Simplify -1 into -1
3.732 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
3.732 * [taylor]: Taking taylor expansion of y in y
3.732 * [backup-simplify]: Simplify 0 into 0
3.732 * [backup-simplify]: Simplify 1 into 1
3.732 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
3.732 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.732 * [taylor]: Taking taylor expansion of -1 in y
3.732 * [backup-simplify]: Simplify -1 into -1
3.732 * [taylor]: Taking taylor expansion of y in y
3.732 * [backup-simplify]: Simplify 0 into 0
3.732 * [backup-simplify]: Simplify 1 into 1
3.732 * [backup-simplify]: Simplify (/ -1 1) into -1
3.732 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.732 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0
3.732 * [backup-simplify]: Simplify (* -1 0) into 0
3.732 * [backup-simplify]: Simplify 0 into 0
3.733 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
3.733 * [backup-simplify]: Simplify (+ (* -1 (sin (/ -1 y))) (* 0 0)) into (- (sin (/ -1 y)))
3.733 * [backup-simplify]: Simplify (- (sin (/ -1 y))) into (- (sin (/ -1 y)))
3.734 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ -1 y))))) into 0
3.734 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))) into 0
3.734 * [backup-simplify]: Simplify 0 into 0
3.735 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0
3.736 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))) into 0
3.736 * [backup-simplify]: Simplify 0 into 0
3.738 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))) into 0
3.741 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))) into 0
3.741 * [backup-simplify]: Simplify 0 into 0
3.742 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))) into 0
3.744 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))) into 0
3.744 * [backup-simplify]: Simplify 0 into 0
3.746 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))))) into 0
3.748 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))))) into 0
3.748 * [backup-simplify]: Simplify 0 into 0
3.751 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))))) into 0
3.753 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))))) into 0
3.753 * [backup-simplify]: Simplify 0 into 0
3.754 * [backup-simplify]: Simplify (* (- (sin (/ -1 (/ 1 (- y))))) (/ 1 (- y))) into (/ (sin y) y)
3.754 * * * [progress]: simplifying candidates
3.754 * * * * [progress]: [ 1 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (pow (/ (sin y) y) 1)))>
3.754 * * * * [progress]: [ 2 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (log (sin y)) (log y)))))>
3.754 * * * * [progress]: [ 3 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (log (/ (sin y) y)))))>
3.754 * * * * [progress]: [ 4 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (log (exp (/ (sin y) y)))))>
3.754 * * * * [progress]: [ 5 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (cbrt (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y)))))>
3.754 * * * * [progress]: [ 6 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)))))>
3.754 * * * * [progress]: [ 7 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (cbrt (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y)))))>
3.754 * * * * [progress]: [ 8 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)))))>
3.754 * * * * [progress]: [ 9 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (- (sin y)) (- y))))>
3.754 * * * * [progress]: [ 10 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (cbrt y)))))>
3.754 * * * * [progress]: [ 11 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (cbrt (sin y)) (sqrt y)))))>
3.754 * * * * [progress]: [ 12 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) (/ (cbrt (sin y)) y))))>
3.754 * * * * [progress]: [ 13 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)))))>
3.754 * * * * [progress]: [ 14 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)))))>
3.755 * * * * [progress]: [ 15 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt (sin y)) 1) (/ (sqrt (sin y)) y))))>
3.755 * * * * [progress]: [ 16 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)))))>
3.755 * * * * [progress]: [ 17 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (sqrt y)) (/ (sin y) (sqrt y)))))>
3.755 * * * * [progress]: [ 18 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 1) (/ (sin y) y))))>
3.755 * * * * [progress]: [ 19 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* 1 (/ (sin y) y))))>
3.755 * * * * [progress]: [ 20 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (sin y) (/ 1 y))))>
3.755 * * * * [progress]: [ 21 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (/ y (sin y)))))>
3.755 * * * * [progress]: [ 22 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (sin y) (* (cbrt y) (cbrt y))) (cbrt y))))>
3.755 * * * * [progress]: [ 23 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (sin y) (sqrt y)) (sqrt y))))>
3.755 * * * * [progress]: [ 24 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (sin y) 1) y)))>
3.755 * * * * [progress]: [ 25 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (/ y (cbrt (sin y))))))>
3.755 * * * * [progress]: [ 26 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (sqrt (sin y)) (/ y (sqrt (sin y))))))>
3.755 * * * * [progress]: [ 27 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (/ y (sin y)))))>
3.755 * * * * [progress]: [ 28 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (posit16->real (real->posit16 (/ (sin y) y)))))>
3.755 * * * * [progress]: [ 29 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))))>
3.755 * * * * [progress]: [ 30 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))>
3.755 * * * * [progress]: [ 31 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))>
3.756 * [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))
  (real->posit16 (/ (sin y) y))
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
3.757 * * [simplify]: iteration 0: 60 enodes
3.779 * * [simplify]: iteration 1: 111 enodes
3.817 * * [simplify]: iteration 2: 288 enodes
3.952 * * [simplify]: iteration 3: 850 enodes
4.625 * * [simplify]: iteration 4: 2847 enodes
5.141 * * [simplify]: iteration complete: 5002 enodes
5.141 * * [simplify]: Extracting #0: cost 33 inf + 0
5.145 * * [simplify]: Extracting #1: cost 776 inf + 1
5.152 * * [simplify]: Extracting #2: cost 1281 inf + 10187
5.172 * * [simplify]: Extracting #3: cost 585 inf + 130318
5.229 * * [simplify]: Extracting #4: cost 108 inf + 235844
5.283 * * [simplify]: Extracting #5: cost 20 inf + 262240
5.329 * * [simplify]: Extracting #6: cost 0 inf + 268916
5.405 * [simplify]: Simplified to:
  (log (/ (sin y) y))
  (log (/ (sin y) y))
  (exp (/ (sin y) y))
  (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (cbrt (/ (sin y) y))
  (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y))
  (sqrt (/ (sin y) y))
  (sqrt (/ (sin y) y))
  (- (sin y))
  (- y)
  (* (/ (cbrt (sin y)) (cbrt y)) (/ (cbrt (sin y)) (cbrt y)))
  (/ (cbrt (sin y)) (cbrt y))
  (* (cbrt (sin y)) (/ (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))
  (real->posit16 (/ (sin y) y))
  (+ (* (* y y) (- (* 1/120 (* y y)) 1/6)) 1)
  (/ (sin y) y)
  (/ (sin y) y)
5.407 * * * [progress]: adding candidates to table
5.500 * * [progress]: iteration 2 / 4
5.500 * * * [progress]: picking best candidate
5.537 * * * * [pick]: Picked  #<alt (λ (x y) (* (cosh x) (/ 1 (/ y (sin y)))))>
5.538 * * * [progress]: localizing error
5.566 * * * [progress]: generating rewritten candidates
5.566 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
5.586 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
5.607 * * * [progress]: generating series expansions
5.607 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
5.608 * [backup-simplify]: Simplify (/ 1 (/ y (sin y))) into (/ (sin y) y)
5.608 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0
5.608 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
5.608 * [taylor]: Taking taylor expansion of (sin y) in y
5.608 * [taylor]: Taking taylor expansion of y in y
5.608 * [backup-simplify]: Simplify 0 into 0
5.608 * [backup-simplify]: Simplify 1 into 1
5.608 * [taylor]: Taking taylor expansion of y in y
5.608 * [backup-simplify]: Simplify 0 into 0
5.608 * [backup-simplify]: Simplify 1 into 1
5.609 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
5.609 * [backup-simplify]: Simplify (/ 1 1) into 1
5.609 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
5.609 * [taylor]: Taking taylor expansion of (sin y) in y
5.609 * [taylor]: Taking taylor expansion of y in y
5.609 * [backup-simplify]: Simplify 0 into 0
5.609 * [backup-simplify]: Simplify 1 into 1
5.610 * [taylor]: Taking taylor expansion of y in y
5.610 * [backup-simplify]: Simplify 0 into 0
5.610 * [backup-simplify]: Simplify 1 into 1
5.610 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
5.611 * [backup-simplify]: Simplify (/ 1 1) into 1
5.611 * [backup-simplify]: Simplify 1 into 1
5.611 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.612 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
5.612 * [backup-simplify]: Simplify 0 into 0
5.614 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
5.615 * [backup-simplify]: Simplify (- (/ -1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into -1/6
5.615 * [backup-simplify]: Simplify -1/6 into -1/6
5.616 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
5.618 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)))) into 0
5.618 * [backup-simplify]: Simplify 0 into 0
5.621 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 5) 120)) 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 1 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 1/120
5.622 * [backup-simplify]: Simplify (- (/ 1/120 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 1/120
5.622 * [backup-simplify]: Simplify 1/120 into 1/120
5.623 * [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)))
5.623 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 y) (sin (/ 1 y)))) into (* y (sin (/ 1 y)))
5.623 * [approximate]: Taking taylor expansion of (* y (sin (/ 1 y))) in (y) around 0
5.623 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y
5.623 * [taylor]: Taking taylor expansion of y in y
5.623 * [backup-simplify]: Simplify 0 into 0
5.623 * [backup-simplify]: Simplify 1 into 1
5.623 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.623 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.623 * [taylor]: Taking taylor expansion of y in y
5.623 * [backup-simplify]: Simplify 0 into 0
5.623 * [backup-simplify]: Simplify 1 into 1
5.623 * [backup-simplify]: Simplify (/ 1 1) into 1
5.624 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
5.624 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y
5.624 * [taylor]: Taking taylor expansion of y in y
5.624 * [backup-simplify]: Simplify 0 into 0
5.624 * [backup-simplify]: Simplify 1 into 1
5.624 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.624 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.624 * [taylor]: Taking taylor expansion of y in y
5.624 * [backup-simplify]: Simplify 0 into 0
5.624 * [backup-simplify]: Simplify 1 into 1
5.624 * [backup-simplify]: Simplify (/ 1 1) into 1
5.624 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
5.624 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0
5.624 * [backup-simplify]: Simplify 0 into 0
5.625 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y))
5.625 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
5.625 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ 1 y))))) into 0
5.625 * [backup-simplify]: Simplify 0 into 0
5.626 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))) into 0
5.626 * [backup-simplify]: Simplify 0 into 0
5.627 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))) into 0
5.627 * [backup-simplify]: Simplify 0 into 0
5.628 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))) into 0
5.628 * [backup-simplify]: Simplify 0 into 0
5.630 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))))) into 0
5.630 * [backup-simplify]: Simplify 0 into 0
5.631 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))))) into 0
5.631 * [backup-simplify]: Simplify 0 into 0
5.632 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 y))) (/ 1 y)) into (/ (sin y) y)
5.632 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 (- y)) (sin (/ 1 (- y))))) into (* -1 (* y (sin (/ -1 y))))
5.632 * [approximate]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in (y) around 0
5.632 * [taylor]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in y
5.632 * [taylor]: Taking taylor expansion of -1 in y
5.632 * [backup-simplify]: Simplify -1 into -1
5.632 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
5.632 * [taylor]: Taking taylor expansion of y in y
5.632 * [backup-simplify]: Simplify 0 into 0
5.632 * [backup-simplify]: Simplify 1 into 1
5.632 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.632 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.632 * [taylor]: Taking taylor expansion of -1 in y
5.632 * [backup-simplify]: Simplify -1 into -1
5.632 * [taylor]: Taking taylor expansion of y in y
5.632 * [backup-simplify]: Simplify 0 into 0
5.632 * [backup-simplify]: Simplify 1 into 1
5.632 * [backup-simplify]: Simplify (/ -1 1) into -1
5.632 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
5.632 * [taylor]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in y
5.632 * [taylor]: Taking taylor expansion of -1 in y
5.632 * [backup-simplify]: Simplify -1 into -1
5.632 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
5.632 * [taylor]: Taking taylor expansion of y in y
5.632 * [backup-simplify]: Simplify 0 into 0
5.632 * [backup-simplify]: Simplify 1 into 1
5.632 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.632 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.632 * [taylor]: Taking taylor expansion of -1 in y
5.632 * [backup-simplify]: Simplify -1 into -1
5.632 * [taylor]: Taking taylor expansion of y in y
5.632 * [backup-simplify]: Simplify 0 into 0
5.632 * [backup-simplify]: Simplify 1 into 1
5.633 * [backup-simplify]: Simplify (/ -1 1) into -1
5.633 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
5.633 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0
5.633 * [backup-simplify]: Simplify (* -1 0) into 0
5.633 * [backup-simplify]: Simplify 0 into 0
5.633 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
5.634 * [backup-simplify]: Simplify (+ (* -1 (sin (/ -1 y))) (* 0 0)) into (- (sin (/ -1 y)))
5.634 * [backup-simplify]: Simplify (- (sin (/ -1 y))) into (- (sin (/ -1 y)))
5.634 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ -1 y))))) into 0
5.635 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))) into 0
5.635 * [backup-simplify]: Simplify 0 into 0
5.636 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0
5.636 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))) into 0
5.636 * [backup-simplify]: Simplify 0 into 0
5.637 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))) into 0
5.638 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))) into 0
5.638 * [backup-simplify]: Simplify 0 into 0
5.640 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))) into 0
5.641 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))) into 0
5.641 * [backup-simplify]: Simplify 0 into 0
5.643 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))))) into 0
5.644 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))))) into 0
5.644 * [backup-simplify]: Simplify 0 into 0
5.646 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))))) into 0
5.648 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))))) into 0
5.648 * [backup-simplify]: Simplify 0 into 0
5.648 * [backup-simplify]: Simplify (* (- (sin (/ -1 (/ 1 (- y))))) (/ 1 (- y))) into (/ (sin y) y)
5.648 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
5.648 * [backup-simplify]: Simplify (/ y (sin y)) into (/ y (sin y))
5.648 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0
5.648 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y
5.648 * [taylor]: Taking taylor expansion of y in y
5.649 * [backup-simplify]: Simplify 0 into 0
5.649 * [backup-simplify]: Simplify 1 into 1
5.649 * [taylor]: Taking taylor expansion of (sin y) in y
5.649 * [taylor]: Taking taylor expansion of y in y
5.649 * [backup-simplify]: Simplify 0 into 0
5.649 * [backup-simplify]: Simplify 1 into 1
5.649 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
5.650 * [backup-simplify]: Simplify (/ 1 1) into 1
5.650 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y
5.650 * [taylor]: Taking taylor expansion of y in y
5.650 * [backup-simplify]: Simplify 0 into 0
5.650 * [backup-simplify]: Simplify 1 into 1
5.650 * [taylor]: Taking taylor expansion of (sin y) in y
5.650 * [taylor]: Taking taylor expansion of y in y
5.650 * [backup-simplify]: Simplify 0 into 0
5.650 * [backup-simplify]: Simplify 1 into 1
5.651 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
5.651 * [backup-simplify]: Simplify (/ 1 1) into 1
5.651 * [backup-simplify]: Simplify 1 into 1
5.651 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.652 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
5.652 * [backup-simplify]: Simplify 0 into 0
5.653 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
5.653 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ -1/6 1)) (* 0 (/ 0 1)))) into 1/6
5.653 * [backup-simplify]: Simplify 1/6 into 1/6
5.654 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
5.655 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ -1/6 1)) (* 1/6 (/ 0 1)))) into 0
5.655 * [backup-simplify]: Simplify 0 into 0
5.657 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 5) 120)) 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 1 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 1/120
5.658 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 1/120 1)) (* 0 (/ 0 1)) (* 1/6 (/ -1/6 1)) (* 0 (/ 0 1)))) into 7/360
5.658 * [backup-simplify]: Simplify 7/360 into 7/360
5.658 * [backup-simplify]: Simplify (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1)) into (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1))
5.658 * [backup-simplify]: Simplify (/ (/ 1 y) (sin (/ 1 y))) into (/ 1 (* y (sin (/ 1 y))))
5.658 * [approximate]: Taking taylor expansion of (/ 1 (* y (sin (/ 1 y)))) in (y) around 0
5.658 * [taylor]: Taking taylor expansion of (/ 1 (* y (sin (/ 1 y)))) in y
5.659 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y
5.659 * [taylor]: Taking taylor expansion of y in y
5.659 * [backup-simplify]: Simplify 0 into 0
5.659 * [backup-simplify]: Simplify 1 into 1
5.659 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.659 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.659 * [taylor]: Taking taylor expansion of y in y
5.659 * [backup-simplify]: Simplify 0 into 0
5.659 * [backup-simplify]: Simplify 1 into 1
5.659 * [backup-simplify]: Simplify (/ 1 1) into 1
5.659 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
5.659 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0
5.659 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y))
5.659 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
5.659 * [taylor]: Taking taylor expansion of (/ 1 (* y (sin (/ 1 y)))) in y
5.659 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y
5.659 * [taylor]: Taking taylor expansion of y in y
5.659 * [backup-simplify]: Simplify 0 into 0
5.659 * [backup-simplify]: Simplify 1 into 1
5.659 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.659 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.659 * [taylor]: Taking taylor expansion of y in y
5.659 * [backup-simplify]: Simplify 0 into 0
5.659 * [backup-simplify]: Simplify 1 into 1
5.660 * [backup-simplify]: Simplify (/ 1 1) into 1
5.660 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
5.660 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0
5.660 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y))
5.660 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
5.660 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
5.661 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ 1 y))))) into 0
5.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))))) into 0
5.661 * [backup-simplify]: Simplify 0 into 0
5.662 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))) into 0
5.662 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
5.662 * [backup-simplify]: Simplify 0 into 0
5.663 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))) into 0
5.663 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
5.663 * [backup-simplify]: Simplify 0 into 0
5.664 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))) into 0
5.664 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
5.664 * [backup-simplify]: Simplify 0 into 0
5.666 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))))) into 0
5.666 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
5.666 * [backup-simplify]: Simplify 0 into 0
5.668 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))))) into 0
5.668 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
5.668 * [backup-simplify]: Simplify 0 into 0
5.668 * [backup-simplify]: Simplify (* (/ 1 (sin (/ 1 (/ 1 y)))) (/ 1 (/ 1 y))) into (/ y (sin y))
5.668 * [backup-simplify]: Simplify (/ (/ 1 (- y)) (sin (/ 1 (- y)))) into (/ -1 (* y (sin (/ -1 y))))
5.668 * [approximate]: Taking taylor expansion of (/ -1 (* y (sin (/ -1 y)))) in (y) around 0
5.668 * [taylor]: Taking taylor expansion of (/ -1 (* y (sin (/ -1 y)))) in y
5.668 * [taylor]: Taking taylor expansion of -1 in y
5.668 * [backup-simplify]: Simplify -1 into -1
5.668 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
5.668 * [taylor]: Taking taylor expansion of y in y
5.668 * [backup-simplify]: Simplify 0 into 0
5.668 * [backup-simplify]: Simplify 1 into 1
5.668 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.668 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.668 * [taylor]: Taking taylor expansion of -1 in y
5.668 * [backup-simplify]: Simplify -1 into -1
5.668 * [taylor]: Taking taylor expansion of y in y
5.668 * [backup-simplify]: Simplify 0 into 0
5.668 * [backup-simplify]: Simplify 1 into 1
5.669 * [backup-simplify]: Simplify (/ -1 1) into -1
5.669 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
5.669 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0
5.669 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
5.669 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y)))
5.669 * [taylor]: Taking taylor expansion of (/ -1 (* y (sin (/ -1 y)))) in y
5.669 * [taylor]: Taking taylor expansion of -1 in y
5.669 * [backup-simplify]: Simplify -1 into -1
5.669 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
5.669 * [taylor]: Taking taylor expansion of y in y
5.669 * [backup-simplify]: Simplify 0 into 0
5.669 * [backup-simplify]: Simplify 1 into 1
5.669 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.669 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.669 * [taylor]: Taking taylor expansion of -1 in y
5.669 * [backup-simplify]: Simplify -1 into -1
5.669 * [taylor]: Taking taylor expansion of y in y
5.669 * [backup-simplify]: Simplify 0 into 0
5.670 * [backup-simplify]: Simplify 1 into 1
5.670 * [backup-simplify]: Simplify (/ -1 1) into -1
5.670 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
5.670 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0
5.671 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
5.671 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y)))
5.671 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y)))
5.672 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ -1 y))))) into 0
5.672 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))))) into 0
5.672 * [backup-simplify]: Simplify 0 into 0
5.673 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0
5.673 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
5.673 * [backup-simplify]: Simplify 0 into 0
5.675 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))) into 0
5.675 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
5.675 * [backup-simplify]: Simplify 0 into 0
5.677 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))) into 0
5.678 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
5.678 * [backup-simplify]: Simplify 0 into 0
5.679 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))))) into 0
5.680 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
5.680 * [backup-simplify]: Simplify 0 into 0
5.681 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))))) into 0
5.682 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
5.682 * [backup-simplify]: Simplify 0 into 0
5.682 * [backup-simplify]: Simplify (* (/ -1 (sin (/ -1 (/ 1 (- y))))) (/ 1 (/ 1 (- y)))) into (/ y (sin y))
5.682 * * * [progress]: simplifying candidates
5.682 * * * * [progress]: [ 1 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (pow (/ y (sin y)) -1)))>
5.682 * * * * [progress]: [ 2 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (pow (/ y (sin y)) (- 1))))>
5.682 * * * * [progress]: [ 3 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (pow (/ 1 (/ y (sin y))) 1)))>
5.682 * * * * [progress]: [ 4 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (- (log y) (log (sin y)))))))>
5.682 * * * * [progress]: [ 5 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (log (/ y (sin y)))))))>
5.682 * * * * [progress]: [ 6 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- 0 (- (log y) (log (sin y)))))))>
5.682 * * * * [progress]: [ 7 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- 0 (log (/ y (sin y)))))))>
5.682 * * * * [progress]: [ 8 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (log 1) (- (log y) (log (sin y)))))))>
5.682 * * * * [progress]: [ 9 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (log 1) (log (/ y (sin y)))))))>
5.682 * * * * [progress]: [ 10 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (log (/ 1 (/ y (sin y)))))))>
5.682 * * * * [progress]: [ 11 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (log (exp (/ 1 (/ y (sin y)))))))>
5.682 * * * * [progress]: [ 12 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (cbrt (/ (* (* 1 1) 1) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y)))))))>
5.682 * * * * [progress]: [ 13 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (cbrt (/ (* (* 1 1) 1) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y)))))))>
5.682 * * * * [progress]: [ 14 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y))))) (cbrt (/ 1 (/ y (sin y)))))))>
5.682 * * * * [progress]: [ 15 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (cbrt (* (* (/ 1 (/ y (sin y))) (/ 1 (/ y (sin y)))) (/ 1 (/ y (sin y)))))))>
5.682 * * * * [progress]: [ 16 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (sqrt (/ 1 (/ y (sin y)))) (sqrt (/ 1 (/ y (sin y)))))))>
5.682 * * * * [progress]: [ 17 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (- 1) (- (/ y (sin y))))))>
5.682 * * * * [progress]: [ 18 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cbrt 1) (cbrt (/ y (sin y)))))))>
5.682 * * * * [progress]: [ 19 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ y (sin y)))) (/ (cbrt 1) (sqrt (/ y (sin y)))))))>
5.682 * * * * [progress]: [ 20 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ (cbrt y) (cbrt (sin y)))))))>
5.682 * * * * [progress]: [ 21 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (cbrt 1) (/ (cbrt y) (sqrt (sin y)))))))>
5.683 * * * * [progress]: [ 22 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) 1)) (/ (cbrt 1) (/ (cbrt y) (sin y))))))>
5.683 * * * * [progress]: [ 23 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ (sqrt y) (cbrt (sin y)))))))>
5.683 * * * * [progress]: [ 24 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (sqrt (sin y)))) (/ (cbrt 1) (/ (sqrt y) (sqrt (sin y)))))))>
5.683 * * * * [progress]: [ 25 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) 1)) (/ (cbrt 1) (/ (sqrt y) (sin y))))))>
5.683 * * * * [progress]: [ 26 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ y (cbrt (sin y)))))))>
5.683 * * * * [progress]: [ 27 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (sin y)))) (/ (cbrt 1) (/ y (sqrt (sin y)))))))>
5.683 * * * * [progress]: [ 28 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ y (sin y))))))>
5.683 * * * * [progress]: [ 29 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ y (sin y))))))>
5.683 * * * * [progress]: [ 30 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt 1) (cbrt 1)) y) (/ (cbrt 1) (/ 1 (sin y))))))>
5.683 * * * * [progress]: [ 31 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt 1) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt 1) (cbrt (/ y (sin y)))))))>
5.683 * * * * [progress]: [ 32 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt 1) (sqrt (/ y (sin y)))) (/ (sqrt 1) (sqrt (/ y (sin y)))))))>
5.683 * * * * [progress]: [ 33 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ (cbrt y) (cbrt (sin y)))))))>
5.683 * * * * [progress]: [ 34 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (sqrt 1) (/ (cbrt y) (sqrt (sin y)))))))>
5.683 * * * * [progress]: [ 35 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) 1)) (/ (sqrt 1) (/ (cbrt y) (sin y))))))>
5.683 * * * * [progress]: [ 36 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt 1) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ (sqrt y) (cbrt (sin y)))))))>
5.683 * * * * [progress]: [ 37 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y)))))))>
5.684 * * * * [progress]: [ 38 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt 1) (/ (sqrt y) 1)) (/ (sqrt 1) (/ (sqrt y) (sin y))))))>
5.684 * * * * [progress]: [ 39 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ y (cbrt (sin y)))))))>
5.684 * * * * [progress]: [ 40 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt 1) (/ 1 (sqrt (sin y)))) (/ (sqrt 1) (/ y (sqrt (sin y)))))))>
5.684 * * * * [progress]: [ 41 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ y (sin y))))))>
5.684 * * * * [progress]: [ 42 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt 1) 1) (/ (sqrt 1) (/ y (sin y))))))>
5.684 * * * * [progress]: [ 43 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt 1) y) (/ (sqrt 1) (/ 1 (sin y))))))>
5.684 * * * * [progress]: [ 44 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ 1 (cbrt (/ y (sin y)))))))>
5.684 * * * * [progress]: [ 45 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))))))>
5.684 * * * * [progress]: [ 46 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (cbrt y) (cbrt (sin y)))))))>
5.684 * * * * [progress]: [ 47 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ 1 (/ (cbrt y) (sqrt (sin y)))))))>
5.684 * * * * [progress]: [ 48 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ 1 (/ (cbrt y) (sin y))))))>
5.684 * * * * [progress]: [ 49 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (sqrt y) (cbrt (sin y)))))))>
5.684 * * * * [progress]: [ 50 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (sqrt y) (sqrt (sin y)))) (/ 1 (/ (sqrt y) (sqrt (sin y)))))))>
5.685 * * * * [progress]: [ 51 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (sqrt y) 1)) (/ 1 (/ (sqrt y) (sin y))))))>
5.685 * * * * [progress]: [ 52 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ y (cbrt (sin y)))))))>
5.685 * * * * [progress]: [ 53 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ 1 (sqrt (sin y)))) (/ 1 (/ y (sqrt (sin y)))))))>
5.685 * * * * [progress]: [ 54 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ 1 1)) (/ 1 (/ y (sin y))))))>
5.685 * * * * [progress]: [ 55 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 1) (/ 1 (/ y (sin y))))))>
5.685 * * * * [progress]: [ 56 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 y) (/ 1 (/ 1 (sin y))))))>
5.685 * * * * [progress]: [ 57 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* 1 (/ 1 (/ y (sin y))))))>
5.685 * * * * [progress]: [ 58 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* 1 (/ 1 (/ y (sin y))))))>
5.685 * * * * [progress]: [ 59 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (/ (/ y (sin y)) 1))))>
5.685 * * * * [progress]: [ 60 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (cbrt (/ y (sin y))))))>
5.685 * * * * [progress]: [ 61 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 (sqrt (/ y (sin y)))) (sqrt (/ y (sin y))))))>
5.685 * * * * [progress]: [ 62 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt y) (cbrt (sin y))))))>
5.685 * * * * [progress]: [ 63 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (cbrt y) (sqrt (sin y))))))>
5.685 * * * * [progress]: [ 64 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ (cbrt y) (sin y)))))>
5.685 * * * * [progress]: [ 65 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt y) (cbrt (sin y))))))>
5.685 * * * * [progress]: [ 66 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt y) (sqrt (sin y))))))>
5.685 * * * * [progress]: [ 67 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 (/ (sqrt y) 1)) (/ (sqrt y) (sin y)))))>
5.686 * * * * [progress]: [ 68 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ y (cbrt (sin y))))))>
5.686 * * * * [progress]: [ 69 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 (/ 1 (sqrt (sin y)))) (/ y (sqrt (sin y))))))>
5.686 * * * * [progress]: [ 70 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 (/ 1 1)) (/ y (sin y)))))>
5.686 * * * * [progress]: [ 71 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 1) (/ y (sin y)))))>
5.686 * * * * [progress]: [ 72 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))))>
5.686 * * * * [progress]: [ 73 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (* (cbrt 1) (cbrt 1)) (/ (/ y (sin y)) (cbrt 1)))))>
5.686 * * * * [progress]: [ 74 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (sqrt 1) (/ (/ y (sin y)) (sqrt 1)))))>
5.686 * * * * [progress]: [ 75 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (/ (/ y (sin y)) 1))))>
5.686 * * * * [progress]: [ 76 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 y) (sin y))))>
5.686 * * * * [progress]: [ 77 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (posit16->real (real->posit16 (/ 1 (/ y (sin y)))))))>
5.686 * * * * [progress]: [ 78 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (pow (/ y (sin y)) 1))))>
5.686 * * * * [progress]: [ 79 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (exp (- (log y) (log (sin y)))))))>
5.686 * * * * [progress]: [ 80 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (exp (log (/ y (sin y)))))))>
5.686 * * * * [progress]: [ 81 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (log (exp (/ y (sin y)))))))>
5.686 * * * * [progress]: [ 82 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (cbrt (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y)))))))>
5.686 * * * * [progress]: [ 83 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (* (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))))))>
5.686 * * * * [progress]: [ 84 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (cbrt (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y)))))))>
5.686 * * * * [progress]: [ 85 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (* (sqrt (/ y (sin y))) (sqrt (/ y (sin y)))))))>
5.687 * * * * [progress]: [ 86 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (/ (- y) (- (sin y))))))>
5.687 * * * * [progress]: [ 87 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (* (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt y) (cbrt (sin y)))))))>
5.687 * * * * [progress]: [ 88 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (* (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))) (/ (cbrt y) (sqrt (sin y)))))))>
5.687 * * * * [progress]: [ 89 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (* (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (sin y))))))>
5.687 * * * * [progress]: [ 90 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (* (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt y) (cbrt (sin y)))))))>
5.687 * * * * [progress]: [ 91 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (* (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y)))))))>
5.687 * * * * [progress]: [ 92 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (* (/ (sqrt y) 1) (/ (sqrt y) (sin y))))))>
5.687 * * * * [progress]: [ 93 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (* (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (cbrt (sin y)))))))>
5.687 * * * * [progress]: [ 94 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (* (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y)))))))>
5.687 * * * * [progress]: [ 95 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (* (/ 1 1) (/ y (sin y))))))>
5.687 * * * * [progress]: [ 96 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (* 1 (/ y (sin y))))))>
5.687 * * * * [progress]: [ 97 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (* y (/ 1 (sin y))))))>
5.687 * * * * [progress]: [ 98 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (/ 1 (/ (sin y) y)))))>
5.687 * * * * [progress]: [ 99 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (/ (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))))))>
5.687 * * * * [progress]: [ 100 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (/ (/ y (sqrt (sin y))) (sqrt (sin y))))))>
5.687 * * * * [progress]: [ 101 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (/ (/ y 1) (sin y)))))>
5.688 * * * * [progress]: [ 102 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (/ (* (cbrt y) (cbrt y)) (/ (sin y) (cbrt y))))))>
5.688 * * * * [progress]: [ 103 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (/ (sqrt y) (/ (sin y) (sqrt y))))))>
5.688 * * * * [progress]: [ 104 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (/ 1 (/ (sin y) y)))))>
5.688 * * * * [progress]: [ 105 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (posit16->real (real->posit16 (/ y (sin y)))))))>
5.688 * * * * [progress]: [ 106 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))))>
5.688 * * * * [progress]: [ 107 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))>
5.688 * * * * [progress]: [ 108 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))>
5.688 * * * * [progress]: [ 109 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1)))))>
5.688 * * * * [progress]: [ 110 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (/ y (sin y)))))>
5.688 * * * * [progress]: [ 111 / 111 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (/ y (sin y)))))>
5.690 * [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)
  (real->posit16 (/ 1 (/ y (sin y))))
  (- (log y) (log (sin y)))
  (log (/ y (sin y)))
  (exp (/ y (sin y)))
  (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y)))
  (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))
  (cbrt (/ y (sin y)))
  (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y)))
  (sqrt (/ y (sin y)))
  (sqrt (/ y (sin y)))
  (- y)
  (- (sin y))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))
  (/ (cbrt y) (cbrt (sin y)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))
  (/ (cbrt y) (sqrt (sin y)))
  (/ (* (cbrt y) (cbrt y)) 1)
  (/ (cbrt y) (sin y))
  (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))
  (/ (sqrt y) (cbrt (sin y)))
  (/ (sqrt y) (sqrt (sin y)))
  (/ (sqrt y) (sqrt (sin y)))
  (/ (sqrt y) 1)
  (/ (sqrt y) (sin y))
  (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))
  (/ y (cbrt (sin y)))
  (/ 1 (sqrt (sin y)))
  (/ y (sqrt (sin y)))
  (/ 1 1)
  (/ y (sin y))
  (/ 1 (sin y))
  (/ (sin y) y)
  (/ y (* (cbrt (sin y)) (cbrt (sin y))))
  (/ y (sqrt (sin y)))
  (/ y 1)
  (/ (sin y) (cbrt y))
  (/ (sin y) (sqrt y))
  (/ (sin y) y)
  (real->posit16 (/ y (sin y)))
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
  (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1))
  (/ y (sin y))
  (/ y (sin y))
5.693 * * [simplify]: iteration 0: 162 enodes
5.747 * * [simplify]: iteration 1: 382 enodes
5.869 * * [simplify]: iteration 2: 1091 enodes
6.643 * * [simplify]: iteration 3: 3404 enodes
7.571 * * [simplify]: iteration complete: 5150 enodes
7.572 * * [simplify]: Extracting #0: cost 61 inf + 0
7.575 * * [simplify]: Extracting #1: cost 830 inf + 127
7.584 * * [simplify]: Extracting #2: cost 1366 inf + 5981
7.606 * * [simplify]: Extracting #3: cost 654 inf + 106708
7.668 * * [simplify]: Extracting #4: cost 80 inf + 208520
7.746 * * [simplify]: Extracting #5: cost 4 inf + 222403
7.803 * * [simplify]: Extracting #6: cost 0 inf + 223689
7.854 * [simplify]: Simplified to:
  -1
  (log (/ (sin y) y))
  (log (/ (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))
  (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y))
  (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (cbrt (/ (sin y) y))
  (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y))
  (sqrt (/ (sin y) y))
  (sqrt (/ (sin y) y))
  -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))))
  (/ (/ (cbrt (sin y)) (cbrt y)) (/ (cbrt y) (cbrt (sin y))))
  (/ (cbrt (sin y)) (cbrt y))
  (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (sin y)) (cbrt y))
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (sin y) (cbrt y))
  (* (/ (cbrt (sin y)) (sqrt y)) (cbrt (sin y)))
  (/ (cbrt (sin y)) (sqrt y))
  (/ (sqrt (sin y)) (sqrt y))
  (/ (sqrt (sin y)) (sqrt y))
  (/ 1 (sqrt y))
  (/ (sin y) (sqrt y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (/ (cbrt (sin y)) y)
  (sqrt (sin y))
  (/ (sqrt (sin y)) y)
  1
  (/ (sin y) y)
  1
  (/ (sin y) 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))))
  (/ (/ (cbrt (sin y)) (cbrt y)) (/ (cbrt y) (cbrt (sin y))))
  (/ (cbrt (sin y)) (cbrt y))
  (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (sin y)) (cbrt y))
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (sin y) (cbrt y))
  (* (/ (cbrt (sin y)) (sqrt y)) (cbrt (sin y)))
  (/ (cbrt (sin y)) (sqrt y))
  (/ (sqrt (sin y)) (sqrt y))
  (/ (sqrt (sin y)) (sqrt y))
  (/ 1 (sqrt y))
  (/ (sin y) (sqrt y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (/ (cbrt (sin y)) y)
  (sqrt (sin y))
  (/ (sqrt (sin y)) y)
  1
  (/ (sin y) y)
  1
  (/ (sin y) 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))))
  (/ (/ (cbrt (sin y)) (cbrt y)) (/ (cbrt y) (cbrt (sin y))))
  (/ (cbrt (sin y)) (cbrt y))
  (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (sin y)) (cbrt y))
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (sin y) (cbrt y))
  (* (/ (cbrt (sin y)) (sqrt y)) (cbrt (sin y)))
  (/ (cbrt (sin y)) (sqrt y))
  (/ (sqrt (sin y)) (sqrt y))
  (/ (sqrt (sin y)) (sqrt y))
  (/ 1 (sqrt y))
  (/ (sin y) (sqrt y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (/ (cbrt (sin y)) y)
  (sqrt (sin y))
  (/ (sqrt (sin y)) y)
  1
  (/ (sin y) y)
  1
  (/ (sin y) y)
  (/ 1 y)
  (sin y)
  (/ (sin y) y)
  (/ y (sin y))
  (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))))
  (/ 1 (sqrt (/ y (sin y))))
  (/ (/ (cbrt (sin y)) (cbrt y)) (/ (cbrt y) (cbrt (sin y))))
  (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))
  (/ 1 (* (cbrt y) (cbrt y)))
  (* (/ (cbrt (sin y)) (sqrt y)) (cbrt (sin y)))
  (/ (sqrt (sin y)) (sqrt 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)
  (real->posit16 (/ (sin y) y))
  (log (/ y (sin y)))
  (log (/ y (sin y)))
  (exp (/ y (sin y)))
  (* (/ y (sin y)) (* (/ y (sin y)) (/ y (sin y))))
  (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))
  (cbrt (/ y (sin y)))
  (* (/ y (sin y)) (* (/ y (sin y)) (/ y (sin y))))
  (sqrt (/ y (sin y)))
  (sqrt (/ y (sin y)))
  (- y)
  (- (sin y))
  (* (/ (cbrt y) (cbrt (sin y))) (/ (cbrt y) (cbrt (sin y))))
  (/ (cbrt y) (cbrt (sin y)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))
  (/ (cbrt y) (sqrt (sin y)))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (sin y))
  (/ (/ (sqrt y) (cbrt (sin y))) (cbrt (sin y)))
  (/ (sqrt y) (cbrt (sin y)))
  (/ (sqrt y) (sqrt (sin y)))
  (/ (sqrt y) (sqrt (sin y)))
  (sqrt y)
  (/ (sqrt y) (sin y))
  (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))
  (/ y (cbrt (sin y)))
  (/ 1 (sqrt (sin y)))
  (/ y (sqrt (sin y)))
  1
  (/ y (sin y))
  (/ 1 (sin y))
  (/ (sin y) y)
  (/ y (* (cbrt (sin y)) (cbrt (sin y))))
  (/ y (sqrt (sin y)))
  y
  (/ (sin y) (cbrt y))
  (/ (sin y) (sqrt y))
  (/ (sin y) y)
  (real->posit16 (/ y (sin y)))
  (+ 1 (* (* y y) (- (* 1/120 (* y y)) 1/6)))
  (/ (sin y) y)
  (/ (sin y) y)
  (+ 1 (* (* y y) (+ (* 7/360 (* y y)) 1/6)))
  (/ y (sin y))
  (/ y (sin y))
7.860 * * * [progress]: adding candidates to table
8.227 * * [progress]: iteration 3 / 4
8.228 * * * [progress]: picking best candidate
8.252 * * * * [pick]: Picked  #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))>
8.253 * * * [progress]: localizing error
8.268 * * * [progress]: generating rewritten candidates
8.269 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
8.285 * * * [progress]: generating series expansions
8.285 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
8.285 * [backup-simplify]: Simplify (/ (sin y) y) into (/ (sin y) y)
8.285 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0
8.285 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
8.285 * [taylor]: Taking taylor expansion of (sin y) in y
8.285 * [taylor]: Taking taylor expansion of y in y
8.285 * [backup-simplify]: Simplify 0 into 0
8.285 * [backup-simplify]: Simplify 1 into 1
8.285 * [taylor]: Taking taylor expansion of y in y
8.285 * [backup-simplify]: Simplify 0 into 0
8.285 * [backup-simplify]: Simplify 1 into 1
8.286 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
8.286 * [backup-simplify]: Simplify (/ 1 1) into 1
8.286 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
8.287 * [taylor]: Taking taylor expansion of (sin y) in y
8.287 * [taylor]: Taking taylor expansion of y in y
8.287 * [backup-simplify]: Simplify 0 into 0
8.287 * [backup-simplify]: Simplify 1 into 1
8.287 * [taylor]: Taking taylor expansion of y in y
8.287 * [backup-simplify]: Simplify 0 into 0
8.287 * [backup-simplify]: Simplify 1 into 1
8.287 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
8.288 * [backup-simplify]: Simplify (/ 1 1) into 1
8.288 * [backup-simplify]: Simplify 1 into 1
8.288 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
8.289 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
8.289 * [backup-simplify]: Simplify 0 into 0
8.291 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
8.292 * [backup-simplify]: Simplify (- (/ -1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into -1/6
8.292 * [backup-simplify]: Simplify -1/6 into -1/6
8.293 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
8.294 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)))) into 0
8.294 * [backup-simplify]: Simplify 0 into 0
8.296 * [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
8.297 * [backup-simplify]: Simplify (- (/ 1/120 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 1/120
8.297 * [backup-simplify]: Simplify 1/120 into 1/120
8.298 * [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)))
8.298 * [backup-simplify]: Simplify (/ (sin (/ 1 y)) (/ 1 y)) into (* (sin (/ 1 y)) y)
8.298 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0
8.298 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
8.298 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
8.298 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.298 * [taylor]: Taking taylor expansion of y in y
8.298 * [backup-simplify]: Simplify 0 into 0
8.298 * [backup-simplify]: Simplify 1 into 1
8.298 * [backup-simplify]: Simplify (/ 1 1) into 1
8.298 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
8.298 * [taylor]: Taking taylor expansion of y in y
8.298 * [backup-simplify]: Simplify 0 into 0
8.298 * [backup-simplify]: Simplify 1 into 1
8.298 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
8.298 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
8.298 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.298 * [taylor]: Taking taylor expansion of y in y
8.298 * [backup-simplify]: Simplify 0 into 0
8.298 * [backup-simplify]: Simplify 1 into 1
8.298 * [backup-simplify]: Simplify (/ 1 1) into 1
8.298 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
8.298 * [taylor]: Taking taylor expansion of y in y
8.298 * [backup-simplify]: Simplify 0 into 0
8.299 * [backup-simplify]: Simplify 1 into 1
8.299 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
8.299 * [backup-simplify]: Simplify 0 into 0
8.299 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 1) (* 0 0)) into (sin (/ 1 y))
8.299 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
8.300 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 1) (* 0 0))) into 0
8.300 * [backup-simplify]: Simplify 0 into 0
8.301 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
8.301 * [backup-simplify]: Simplify 0 into 0
8.302 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
8.302 * [backup-simplify]: Simplify 0 into 0
8.303 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
8.303 * [backup-simplify]: Simplify 0 into 0
8.304 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
8.304 * [backup-simplify]: Simplify 0 into 0
8.306 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
8.306 * [backup-simplify]: Simplify 0 into 0
8.306 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 y))) (/ 1 y)) into (/ (sin y) y)
8.306 * [backup-simplify]: Simplify (/ (sin (/ 1 (- y))) (/ 1 (- y))) into (* -1 (* y (sin (/ -1 y))))
8.306 * [approximate]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in (y) around 0
8.306 * [taylor]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in y
8.306 * [taylor]: Taking taylor expansion of -1 in y
8.306 * [backup-simplify]: Simplify -1 into -1
8.306 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
8.306 * [taylor]: Taking taylor expansion of y in y
8.306 * [backup-simplify]: Simplify 0 into 0
8.306 * [backup-simplify]: Simplify 1 into 1
8.306 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
8.306 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.306 * [taylor]: Taking taylor expansion of -1 in y
8.306 * [backup-simplify]: Simplify -1 into -1
8.306 * [taylor]: Taking taylor expansion of y in y
8.306 * [backup-simplify]: Simplify 0 into 0
8.306 * [backup-simplify]: Simplify 1 into 1
8.307 * [backup-simplify]: Simplify (/ -1 1) into -1
8.307 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
8.307 * [taylor]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in y
8.307 * [taylor]: Taking taylor expansion of -1 in y
8.307 * [backup-simplify]: Simplify -1 into -1
8.307 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
8.307 * [taylor]: Taking taylor expansion of y in y
8.307 * [backup-simplify]: Simplify 0 into 0
8.307 * [backup-simplify]: Simplify 1 into 1
8.307 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
8.307 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.307 * [taylor]: Taking taylor expansion of -1 in y
8.307 * [backup-simplify]: Simplify -1 into -1
8.307 * [taylor]: Taking taylor expansion of y in y
8.307 * [backup-simplify]: Simplify 0 into 0
8.307 * [backup-simplify]: Simplify 1 into 1
8.308 * [backup-simplify]: Simplify (/ -1 1) into -1
8.308 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
8.308 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0
8.308 * [backup-simplify]: Simplify (* -1 0) into 0
8.308 * [backup-simplify]: Simplify 0 into 0
8.309 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
8.309 * [backup-simplify]: Simplify (+ (* -1 (sin (/ -1 y))) (* 0 0)) into (- (sin (/ -1 y)))
8.309 * [backup-simplify]: Simplify (- (sin (/ -1 y))) into (- (sin (/ -1 y)))
8.310 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ -1 y))))) into 0
8.311 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))) into 0
8.311 * [backup-simplify]: Simplify 0 into 0
8.312 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0
8.313 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))) into 0
8.313 * [backup-simplify]: Simplify 0 into 0
8.315 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))) into 0
8.316 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))) into 0
8.316 * [backup-simplify]: Simplify 0 into 0
8.318 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))) into 0
8.320 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))) into 0
8.320 * [backup-simplify]: Simplify 0 into 0
8.322 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))))) into 0
8.325 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))))) into 0
8.325 * [backup-simplify]: Simplify 0 into 0
8.327 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))))) into 0
8.330 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))))) into 0
8.330 * [backup-simplify]: Simplify 0 into 0
8.330 * [backup-simplify]: Simplify (* (- (sin (/ -1 (/ 1 (- y))))) (/ 1 (- y))) into (/ (sin y) y)
8.330 * * * [progress]: simplifying candidates
8.330 * * * * [progress]: [ 1 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (pow (/ (sin y) y) 1)))>
8.330 * * * * [progress]: [ 2 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (log (sin y)) (log y)))))>
8.330 * * * * [progress]: [ 3 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (log (/ (sin y) y)))))>
8.330 * * * * [progress]: [ 4 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (log (exp (/ (sin y) y)))))>
8.330 * * * * [progress]: [ 5 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (cbrt (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y)))))>
8.331 * * * * [progress]: [ 6 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)))))>
8.331 * * * * [progress]: [ 7 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (cbrt (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y)))))>
8.331 * * * * [progress]: [ 8 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)))))>
8.331 * * * * [progress]: [ 9 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (- (sin y)) (- y))))>
8.331 * * * * [progress]: [ 10 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (cbrt y)))))>
8.331 * * * * [progress]: [ 11 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (cbrt (sin y)) (sqrt y)))))>
8.331 * * * * [progress]: [ 12 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) (/ (cbrt (sin y)) y))))>
8.331 * * * * [progress]: [ 13 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)))))>
8.331 * * * * [progress]: [ 14 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)))))>
8.331 * * * * [progress]: [ 15 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt (sin y)) 1) (/ (sqrt (sin y)) y))))>
8.331 * * * * [progress]: [ 16 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)))))>
8.331 * * * * [progress]: [ 17 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (sqrt y)) (/ (sin y) (sqrt y)))))>
8.331 * * * * [progress]: [ 18 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 1) (/ (sin y) y))))>
8.331 * * * * [progress]: [ 19 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* 1 (/ (sin y) y))))>
8.331 * * * * [progress]: [ 20 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (sin y) (/ 1 y))))>
8.331 * * * * [progress]: [ 21 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (/ y (sin y)))))>
8.331 * * * * [progress]: [ 22 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (sin y) (* (cbrt y) (cbrt y))) (cbrt y))))>
8.331 * * * * [progress]: [ 23 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (sin y) (sqrt y)) (sqrt y))))>
8.332 * * * * [progress]: [ 24 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (sin y) 1) y)))>
8.332 * * * * [progress]: [ 25 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (/ y (cbrt (sin y))))))>
8.332 * * * * [progress]: [ 26 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (sqrt (sin y)) (/ y (sqrt (sin y))))))>
8.332 * * * * [progress]: [ 27 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (/ y (sin y)))))>
8.332 * * * * [progress]: [ 28 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (posit16->real (real->posit16 (/ (sin y) y)))))>
8.332 * * * * [progress]: [ 29 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))))>
8.332 * * * * [progress]: [ 30 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))>
8.332 * * * * [progress]: [ 31 / 31 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))>
8.333 * [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))
  (real->posit16 (/ (sin y) y))
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
8.333 * * [simplify]: iteration 0: 60 enodes
8.345 * * [simplify]: iteration 1: 111 enodes
8.370 * * [simplify]: iteration 2: 288 enodes
8.467 * * [simplify]: iteration 3: 850 enodes
9.217 * * [simplify]: iteration 4: 2847 enodes
9.606 * * [simplify]: iteration complete: 5002 enodes
9.606 * * [simplify]: Extracting #0: cost 33 inf + 0
9.607 * * [simplify]: Extracting #1: cost 776 inf + 1
9.612 * * [simplify]: Extracting #2: cost 1281 inf + 10187
9.630 * * [simplify]: Extracting #3: cost 585 inf + 130318
9.679 * * [simplify]: Extracting #4: cost 108 inf + 235844
9.736 * * [simplify]: Extracting #5: cost 20 inf + 262240
9.785 * * [simplify]: Extracting #6: cost 0 inf + 268916
9.832 * [simplify]: Simplified to:
  (log (/ (sin y) y))
  (log (/ (sin y) y))
  (exp (/ (sin y) y))
  (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y))
  (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
  (cbrt (/ (sin y) y))
  (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y))
  (sqrt (/ (sin y) y))
  (sqrt (/ (sin y) y))
  (- (sin y))
  (- y)
  (* (/ (cbrt (sin y)) (cbrt y)) (/ (cbrt (sin y)) (cbrt y)))
  (/ (cbrt (sin y)) (cbrt y))
  (* (cbrt (sin y)) (/ (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))
  (real->posit16 (/ (sin y) y))
  (+ (* (* y y) (- (* 1/120 (* y y)) 1/6)) 1)
  (/ (sin y) y)
  (/ (sin y) y)
9.834 * * * [progress]: adding candidates to table
9.906 * * [progress]: iteration 4 / 4
9.906 * * * [progress]: picking best candidate
9.928 * * * * [pick]: Picked  #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))))>
9.928 * * * [progress]: localizing error
9.943 * * * [progress]: generating rewritten candidates
9.943 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
9.965 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
9.983 * * * [progress]: generating series expansions
9.983 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
9.983 * [backup-simplify]: Simplify (/ (/ 1 y) (/ 1 (sin y))) into (/ (sin y) y)
9.983 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0
9.983 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
9.983 * [taylor]: Taking taylor expansion of (sin y) in y
9.983 * [taylor]: Taking taylor expansion of y in y
9.983 * [backup-simplify]: Simplify 0 into 0
9.983 * [backup-simplify]: Simplify 1 into 1
9.983 * [taylor]: Taking taylor expansion of y in y
9.983 * [backup-simplify]: Simplify 0 into 0
9.983 * [backup-simplify]: Simplify 1 into 1
9.984 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
9.984 * [backup-simplify]: Simplify (/ 1 1) into 1
9.984 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
9.984 * [taylor]: Taking taylor expansion of (sin y) in y
9.984 * [taylor]: Taking taylor expansion of y in y
9.984 * [backup-simplify]: Simplify 0 into 0
9.984 * [backup-simplify]: Simplify 1 into 1
9.984 * [taylor]: Taking taylor expansion of y in y
9.984 * [backup-simplify]: Simplify 0 into 0
9.984 * [backup-simplify]: Simplify 1 into 1
9.985 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
9.985 * [backup-simplify]: Simplify (/ 1 1) into 1
9.985 * [backup-simplify]: Simplify 1 into 1
9.986 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
9.987 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
9.987 * [backup-simplify]: Simplify 0 into 0
9.988 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
9.989 * [backup-simplify]: Simplify (- (/ -1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into -1/6
9.989 * [backup-simplify]: Simplify -1/6 into -1/6
9.990 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
9.991 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)))) into 0
9.991 * [backup-simplify]: Simplify 0 into 0
9.993 * [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
9.994 * [backup-simplify]: Simplify (- (/ 1/120 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 1/120
9.994 * [backup-simplify]: Simplify 1/120 into 1/120
9.994 * [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)))
9.994 * [backup-simplify]: Simplify (/ (/ 1 (/ 1 y)) (/ 1 (sin (/ 1 y)))) into (* y (sin (/ 1 y)))
9.994 * [approximate]: Taking taylor expansion of (* y (sin (/ 1 y))) in (y) around 0
9.994 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y
9.994 * [taylor]: Taking taylor expansion of y in y
9.994 * [backup-simplify]: Simplify 0 into 0
9.994 * [backup-simplify]: Simplify 1 into 1
9.994 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
9.994 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.994 * [taylor]: Taking taylor expansion of y in y
9.994 * [backup-simplify]: Simplify 0 into 0
9.994 * [backup-simplify]: Simplify 1 into 1
9.995 * [backup-simplify]: Simplify (/ 1 1) into 1
9.995 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
9.995 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y
9.995 * [taylor]: Taking taylor expansion of y in y
9.995 * [backup-simplify]: Simplify 0 into 0
9.995 * [backup-simplify]: Simplify 1 into 1
9.995 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
9.995 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.995 * [taylor]: Taking taylor expansion of y in y
9.995 * [backup-simplify]: Simplify 0 into 0
9.995 * [backup-simplify]: Simplify 1 into 1
9.995 * [backup-simplify]: Simplify (/ 1 1) into 1
9.995 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
9.995 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0
9.995 * [backup-simplify]: Simplify 0 into 0
9.996 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y))
9.996 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
9.996 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ 1 y))))) into 0
9.996 * [backup-simplify]: Simplify 0 into 0
9.997 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))) into 0
9.997 * [backup-simplify]: Simplify 0 into 0
9.998 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))) into 0
9.998 * [backup-simplify]: Simplify 0 into 0
9.999 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))) into 0
9.999 * [backup-simplify]: Simplify 0 into 0
10.001 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))))) into 0
10.001 * [backup-simplify]: Simplify 0 into 0
10.003 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))))) into 0
10.003 * [backup-simplify]: Simplify 0 into 0
10.004 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 y))) (/ 1 y)) into (/ (sin y) y)
10.004 * [backup-simplify]: Simplify (/ (/ 1 (/ 1 (- y))) (/ 1 (sin (/ 1 (- y))))) into (* -1 (* y (sin (/ -1 y))))
10.004 * [approximate]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in (y) around 0
10.004 * [taylor]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in y
10.004 * [taylor]: Taking taylor expansion of -1 in y
10.004 * [backup-simplify]: Simplify -1 into -1
10.004 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
10.004 * [taylor]: Taking taylor expansion of y in y
10.004 * [backup-simplify]: Simplify 0 into 0
10.004 * [backup-simplify]: Simplify 1 into 1
10.004 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
10.004 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.004 * [taylor]: Taking taylor expansion of -1 in y
10.004 * [backup-simplify]: Simplify -1 into -1
10.004 * [taylor]: Taking taylor expansion of y in y
10.004 * [backup-simplify]: Simplify 0 into 0
10.004 * [backup-simplify]: Simplify 1 into 1
10.004 * [backup-simplify]: Simplify (/ -1 1) into -1
10.005 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
10.005 * [taylor]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in y
10.005 * [taylor]: Taking taylor expansion of -1 in y
10.005 * [backup-simplify]: Simplify -1 into -1
10.005 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y
10.005 * [taylor]: Taking taylor expansion of y in y
10.005 * [backup-simplify]: Simplify 0 into 0
10.005 * [backup-simplify]: Simplify 1 into 1
10.005 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
10.005 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.005 * [taylor]: Taking taylor expansion of -1 in y
10.005 * [backup-simplify]: Simplify -1 into -1
10.005 * [taylor]: Taking taylor expansion of y in y
10.005 * [backup-simplify]: Simplify 0 into 0
10.005 * [backup-simplify]: Simplify 1 into 1
10.005 * [backup-simplify]: Simplify (/ -1 1) into -1
10.005 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
10.005 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0
10.006 * [backup-simplify]: Simplify (* -1 0) into 0
10.006 * [backup-simplify]: Simplify 0 into 0
10.006 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y))
10.007 * [backup-simplify]: Simplify (+ (* -1 (sin (/ -1 y))) (* 0 0)) into (- (sin (/ -1 y)))
10.007 * [backup-simplify]: Simplify (- (sin (/ -1 y))) into (- (sin (/ -1 y)))
10.008 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ -1 y))))) into 0
10.008 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))) into 0
10.008 * [backup-simplify]: Simplify 0 into 0
10.009 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0
10.010 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))) into 0
10.010 * [backup-simplify]: Simplify 0 into 0
10.012 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))) into 0
10.013 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))) into 0
10.013 * [backup-simplify]: Simplify 0 into 0
10.015 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))) into 0
10.018 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))) into 0
10.018 * [backup-simplify]: Simplify 0 into 0
10.020 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))))) into 0
10.022 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))))) into 0
10.022 * [backup-simplify]: Simplify 0 into 0
10.024 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))))) into 0
10.026 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))))) into 0
10.026 * [backup-simplify]: Simplify 0 into 0
10.026 * [backup-simplify]: Simplify (* (- (sin (/ -1 (/ 1 (- y))))) (/ 1 (- y))) into (/ (sin y) y)
10.027 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
10.027 * [backup-simplify]: Simplify (/ 1 (sin y)) into (/ 1 (sin y))
10.027 * [approximate]: Taking taylor expansion of (/ 1 (sin y)) in (y) around 0
10.027 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y
10.027 * [taylor]: Taking taylor expansion of (sin y) in y
10.027 * [taylor]: Taking taylor expansion of y in y
10.027 * [backup-simplify]: Simplify 0 into 0
10.027 * [backup-simplify]: Simplify 1 into 1
10.027 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
10.028 * [backup-simplify]: Simplify (/ 1 1) into 1
10.028 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y
10.028 * [taylor]: Taking taylor expansion of (sin y) in y
10.028 * [taylor]: Taking taylor expansion of y in y
10.028 * [backup-simplify]: Simplify 0 into 0
10.028 * [backup-simplify]: Simplify 1 into 1
10.028 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
10.029 * [backup-simplify]: Simplify (/ 1 1) into 1
10.029 * [backup-simplify]: Simplify 1 into 1
10.030 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
10.030 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.030 * [backup-simplify]: Simplify 0 into 0
10.036 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
10.038 * [backup-simplify]: Simplify (- (+ (* 1 (/ -1/6 1)) (* 0 (/ 0 1)))) into 1/6
10.038 * [backup-simplify]: Simplify 1/6 into 1/6
10.039 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
10.040 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ -1/6 1)) (* 1/6 (/ 0 1)))) into 0
10.040 * [backup-simplify]: Simplify 0 into 0
10.043 * [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
10.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/120 1)) (* 0 (/ 0 1)) (* 1/6 (/ -1/6 1)) (* 0 (/ 0 1)))) into 7/360
10.045 * [backup-simplify]: Simplify 7/360 into 7/360
10.045 * [backup-simplify]: Simplify (+ (* 7/360 (pow y 3)) (+ (* 1/6 y) (* 1 (/ 1 y)))) into (+ (* 7/360 (pow y 3)) (+ (* 1/6 y) (/ 1 y)))
10.045 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
10.045 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in (y) around 0
10.045 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y
10.045 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
10.045 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.045 * [taylor]: Taking taylor expansion of y in y
10.045 * [backup-simplify]: Simplify 0 into 0
10.045 * [backup-simplify]: Simplify 1 into 1
10.046 * [backup-simplify]: Simplify (/ 1 1) into 1
10.046 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
10.046 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
10.046 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y
10.046 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
10.046 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.046 * [taylor]: Taking taylor expansion of y in y
10.046 * [backup-simplify]: Simplify 0 into 0
10.046 * [backup-simplify]: Simplify 1 into 1
10.046 * [backup-simplify]: Simplify (/ 1 1) into 1
10.046 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
10.046 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
10.047 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y)))
10.047 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))))) into 0
10.047 * [backup-simplify]: Simplify 0 into 0
10.047 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
10.047 * [backup-simplify]: Simplify 0 into 0
10.047 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0
10.047 * [backup-simplify]: Simplify 0 into 0
10.048 * [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
10.048 * [backup-simplify]: Simplify 0 into 0
10.048 * [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
10.048 * [backup-simplify]: Simplify 0 into 0
10.049 * [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
10.049 * [backup-simplify]: Simplify 0 into 0
10.049 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 (/ 1 y)))) into (/ 1 (sin y))
10.049 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 (- y)))) into (/ 1 (sin (/ -1 y)))
10.049 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in (y) around 0
10.049 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y
10.049 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
10.049 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.049 * [taylor]: Taking taylor expansion of -1 in y
10.049 * [backup-simplify]: Simplify -1 into -1
10.049 * [taylor]: Taking taylor expansion of y in y
10.049 * [backup-simplify]: Simplify 0 into 0
10.049 * [backup-simplify]: Simplify 1 into 1
10.050 * [backup-simplify]: Simplify (/ -1 1) into -1
10.050 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
10.050 * [backup-simplify]: Simplify (/ 1 (sin (/ -1 y))) into (/ 1 (sin (/ -1 y)))
10.050 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y
10.050 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
10.050 * [taylor]: Taking taylor expansion of (/ -1 y) in y
10.050 * [taylor]: Taking taylor expansion of -1 in y
10.050 * [backup-simplify]: Simplify -1 into -1
10.050 * [taylor]: Taking taylor expansion of y in y
10.050 * [backup-simplify]: Simplify 0 into 0
10.050 * [backup-simplify]: Simplify 1 into 1
10.050 * [backup-simplify]: Simplify (/ -1 1) into -1
10.050 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
10.050 * [backup-simplify]: Simplify (/ 1 (sin (/ -1 y))) into (/ 1 (sin (/ -1 y)))
10.051 * [backup-simplify]: Simplify (/ 1 (sin (/ -1 y))) into (/ 1 (sin (/ -1 y)))
10.051 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))))) into 0
10.051 * [backup-simplify]: Simplify 0 into 0
10.051 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
10.051 * [backup-simplify]: Simplify 0 into 0
10.051 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0
10.051 * [backup-simplify]: Simplify 0 into 0
10.052 * [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
10.052 * [backup-simplify]: Simplify 0 into 0
10.052 * [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
10.052 * [backup-simplify]: Simplify 0 into 0
10.052 * [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
10.052 * [backup-simplify]: Simplify 0 into 0
10.053 * [backup-simplify]: Simplify (/ 1 (sin (/ -1 (/ 1 (- y))))) into (/ 1 (sin y))
10.053 * * * [progress]: simplifying candidates
10.053 * * * * [progress]: [ 1 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (pow (/ (/ 1 y) (/ 1 (sin y))) 1)))>
10.053 * * * * [progress]: [ 2 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (- (log y)) (- (log (sin y)))))))>
10.053 * * * * [progress]: [ 3 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (- (log y)) (- 0 (log (sin y)))))))>
10.053 * * * * [progress]: [ 4 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (- (log y)) (- (log 1) (log (sin y)))))))>
10.053 * * * * [progress]: [ 5 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (- (log y)) (log (/ 1 (sin y)))))))>
10.053 * * * * [progress]: [ 6 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (- 0 (log y)) (- (log (sin y)))))))>
10.053 * * * * [progress]: [ 7 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (- 0 (log y)) (- 0 (log (sin y)))))))>
10.053 * * * * [progress]: [ 8 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (- 0 (log y)) (- (log 1) (log (sin y)))))))>
10.053 * * * * [progress]: [ 9 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (- 0 (log y)) (log (/ 1 (sin y)))))))>
10.053 * * * * [progress]: [ 10 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (- (log 1) (log y)) (- (log (sin y)))))))>
10.053 * * * * [progress]: [ 11 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (- (log 1) (log y)) (- 0 (log (sin y)))))))>
10.053 * * * * [progress]: [ 12 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (- (log 1) (log y)) (- (log 1) (log (sin y)))))))>
10.053 * * * * [progress]: [ 13 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (- (log 1) (log y)) (log (/ 1 (sin y)))))))>
10.053 * * * * [progress]: [ 14 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (log (/ 1 y)) (- (log (sin y)))))))>
10.054 * * * * [progress]: [ 15 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (log (/ 1 y)) (- 0 (log (sin y)))))))>
10.054 * * * * [progress]: [ 16 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (log (/ 1 y)) (- (log 1) (log (sin y)))))))>
10.054 * * * * [progress]: [ 17 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (- (log (/ 1 y)) (log (/ 1 (sin y)))))))>
10.054 * * * * [progress]: [ 18 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (exp (log (/ (/ 1 y) (/ 1 (sin y)))))))>
10.054 * * * * [progress]: [ 19 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (log (exp (/ (/ 1 y) (/ 1 (sin y)))))))>
10.054 * * * * [progress]: [ 20 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (cbrt (/ (/ (* (* 1 1) 1) (* (* y y) y)) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y)))))))>
10.054 * * * * [progress]: [ 21 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (cbrt (/ (/ (* (* 1 1) 1) (* (* y y) y)) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y)))))))>
10.054 * * * * [progress]: [ 22 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (cbrt (/ (* (* (/ 1 y) (/ 1 y)) (/ 1 y)) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y)))))))>
10.054 * * * * [progress]: [ 23 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (cbrt (/ (* (* (/ 1 y) (/ 1 y)) (/ 1 y)) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y)))))))>
10.054 * * * * [progress]: [ 24 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (* (cbrt (/ (/ 1 y) (/ 1 (sin y)))) (cbrt (/ (/ 1 y) (/ 1 (sin y))))) (cbrt (/ (/ 1 y) (/ 1 (sin y)))))))>
10.054 * * * * [progress]: [ 25 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (cbrt (* (* (/ (/ 1 y) (/ 1 (sin y))) (/ (/ 1 y) (/ 1 (sin y)))) (/ (/ 1 y) (/ 1 (sin y)))))))>
10.054 * * * * [progress]: [ 26 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (sqrt (/ (/ 1 y) (/ 1 (sin y)))) (sqrt (/ (/ 1 y) (/ 1 (sin y)))))))>
10.054 * * * * [progress]: [ 27 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (- (/ 1 y)) (- (/ 1 (sin y))))))>
10.054 * * * * [progress]: [ 28 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (cbrt (/ 1 y)) (cbrt (/ 1 (sin y)))))))>
10.054 * * * * [progress]: [ 29 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (/ 1 (sin y)))) (/ (cbrt (/ 1 y)) (sqrt (/ 1 (sin y)))))))>
10.054 * * * * [progress]: [ 30 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt (/ 1 y)) (/ (cbrt 1) (cbrt (sin y)))))))>
10.054 * * * * [progress]: [ 31 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (cbrt (/ 1 y)) (/ (cbrt 1) (sqrt (sin y)))))))>
10.055 * * * * [progress]: [ 32 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (cbrt (/ 1 y)) (/ (cbrt 1) (sin y))))))>
10.055 * * * * [progress]: [ 33 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt (/ 1 y)) (/ (sqrt 1) (cbrt (sin y)))))))>
10.055 * * * * [progress]: [ 34 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (sqrt 1) (sqrt (sin y)))) (/ (cbrt (/ 1 y)) (/ (sqrt 1) (sqrt (sin y)))))))>
10.055 * * * * [progress]: [ 35 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (sqrt 1) 1)) (/ (cbrt (/ 1 y)) (/ (sqrt 1) (sin y))))))>
10.055 * * * * [progress]: [ 36 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt (/ 1 y)) (/ 1 (cbrt (sin y)))))))>
10.055 * * * * [progress]: [ 37 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ 1 (sqrt (sin y)))) (/ (cbrt (/ 1 y)) (/ 1 (sqrt (sin y)))))))>
10.055 * * * * [progress]: [ 38 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ 1 1)) (/ (cbrt (/ 1 y)) (/ 1 (sin y))))))>
10.055 * * * * [progress]: [ 39 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) 1) (/ (cbrt (/ 1 y)) (/ 1 (sin y))))))>
10.055 * * * * [progress]: [ 40 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) 1) (/ (cbrt (/ 1 y)) (/ 1 (sin y))))))>
10.055 * * * * [progress]: [ 41 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt (/ 1 y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (sqrt (/ 1 y)) (cbrt (/ 1 (sin y)))))))>
10.055 * * * * [progress]: [ 42 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y)))) (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y)))))))>
10.055 * * * * [progress]: [ 43 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt (/ 1 y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (/ 1 y)) (/ (cbrt 1) (cbrt (sin y)))))))>
10.055 * * * * [progress]: [ 44 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt (/ 1 y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (sqrt (/ 1 y)) (/ (cbrt 1) (sqrt (sin y)))))))>
10.055 * * * * [progress]: [ 45 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt (/ 1 y)) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (sqrt (/ 1 y)) (/ (cbrt 1) (sin y))))))>
10.055 * * * * [progress]: [ 46 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt (/ 1 y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (/ 1 y)) (/ (sqrt 1) (cbrt (sin y)))))))>
10.055 * * * * [progress]: [ 47 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt (/ 1 y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (sqrt (/ 1 y)) (/ (sqrt 1) (sqrt (sin y)))))))>
10.056 * * * * [progress]: [ 48 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt (/ 1 y)) (/ (sqrt 1) 1)) (/ (sqrt (/ 1 y)) (/ (sqrt 1) (sin y))))))>
10.056 * * * * [progress]: [ 49 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt (/ 1 y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt (/ 1 y)) (/ 1 (cbrt (sin y)))))))>
10.056 * * * * [progress]: [ 50 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt (/ 1 y)) (/ 1 (sqrt (sin y)))) (/ (sqrt (/ 1 y)) (/ 1 (sqrt (sin y)))))))>
10.056 * * * * [progress]: [ 51 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt (/ 1 y)) (/ 1 1)) (/ (sqrt (/ 1 y)) (/ 1 (sin y))))))>
10.056 * * * * [progress]: [ 52 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt (/ 1 y)) 1) (/ (sqrt (/ 1 y)) (/ 1 (sin y))))))>
10.056 * * * * [progress]: [ 53 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (sqrt (/ 1 y)) 1) (/ (sqrt (/ 1 y)) (/ 1 (sin y))))))>
10.056 * * * * [progress]: [ 54 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cbrt 1) (cbrt y)) (cbrt (/ 1 (sin y)))))))>
10.056 * * * * [progress]: [ 55 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (/ (/ (cbrt 1) (cbrt y)) (sqrt (/ 1 (sin y)))))))>
10.056 * * * * [progress]: [ 56 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (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)))))))>
10.056 * * * * [progress]: [ 57 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (cbrt 1) (cbrt y)) (/ (cbrt 1) (sqrt (sin y)))))))>
10.056 * * * * [progress]: [ 58 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (cbrt 1) (cbrt y)) (/ (cbrt 1) (sin y))))))>
10.056 * * * * [progress]: [ 59 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (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)))))))>
10.056 * * * * [progress]: [ 60 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (cbrt 1) (cbrt y)) (/ (sqrt 1) (sqrt (sin y)))))))>
10.056 * * * * [progress]: [ 61 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (sqrt 1) 1)) (/ (/ (cbrt 1) (cbrt y)) (/ (sqrt 1) (sin y))))))>
10.056 * * * * [progress]: [ 62 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt 1) (cbrt y)) (/ 1 (cbrt (sin y)))))))>
10.056 * * * * [progress]: [ 63 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ 1 (sqrt (sin y)))) (/ (/ (cbrt 1) (cbrt y)) (/ 1 (sqrt (sin y)))))))>
10.057 * * * * [progress]: [ 64 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ 1 1)) (/ (/ (cbrt 1) (cbrt y)) (/ 1 (sin y))))))>
10.057 * * * * [progress]: [ 65 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) 1) (/ (/ (cbrt 1) (cbrt y)) (/ 1 (sin y))))))>
10.057 * * * * [progress]: [ 66 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) 1) (/ (/ (cbrt 1) (cbrt y)) (/ 1 (sin y))))))>
10.057 * * * * [progress]: [ 67 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cbrt 1) (sqrt y)) (cbrt (/ 1 (sin y)))))))>
10.057 * * * * [progress]: [ 68 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (cbrt 1) (sqrt y)) (sqrt (/ 1 (sin y)))))))>
10.057 * * * * [progress]: [ 69 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (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)))))))>
10.057 * * * * [progress]: [ 70 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (cbrt 1) (sqrt y)) (/ (cbrt 1) (sqrt (sin y)))))))>
10.057 * * * * [progress]: [ 71 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (cbrt 1) (sqrt y)) (/ (cbrt 1) (sin y))))))>
10.057 * * * * [progress]: [ 72 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt 1) (sqrt y)) (/ (sqrt 1) (cbrt (sin y)))))))>
10.057 * * * * [progress]: [ 73 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (cbrt 1) (sqrt y)) (/ (sqrt 1) (sqrt (sin y)))))))>
10.057 * * * * [progress]: [ 74 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (sqrt 1) 1)) (/ (/ (cbrt 1) (sqrt y)) (/ (sqrt 1) (sin y))))))>
10.057 * * * * [progress]: [ 75 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt 1) (sqrt y)) (/ 1 (cbrt (sin y)))))))>
10.057 * * * * [progress]: [ 76 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ 1 (sqrt (sin y)))) (/ (/ (cbrt 1) (sqrt y)) (/ 1 (sqrt (sin y)))))))>
10.057 * * * * [progress]: [ 77 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ 1 1)) (/ (/ (cbrt 1) (sqrt y)) (/ 1 (sin y))))))>
10.057 * * * * [progress]: [ 78 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) 1) (/ (/ (cbrt 1) (sqrt y)) (/ 1 (sin y))))))>
10.058 * * * * [progress]: [ 79 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) 1) (/ (/ (cbrt 1) (sqrt y)) (/ 1 (sin y))))))>
10.058 * * * * [progress]: [ 80 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) 1) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (cbrt 1) y) (cbrt (/ 1 (sin y)))))))>
10.058 * * * * [progress]: [ 81 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) 1) (sqrt (/ 1 (sin y)))) (/ (/ (cbrt 1) y) (sqrt (/ 1 (sin y)))))))>
10.058 * * * * [progress]: [ 82 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt 1) y) (/ (cbrt 1) (cbrt (sin y)))))))>
10.058 * * * * [progress]: [ 83 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (cbrt 1) y) (/ (cbrt 1) (sqrt (sin y)))))))>
10.058 * * * * [progress]: [ 84 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (cbrt 1) y) (/ (cbrt 1) (sin y))))))>
10.058 * * * * [progress]: [ 85 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt 1) y) (/ (sqrt 1) (cbrt (sin y)))))))>
10.058 * * * * [progress]: [ 86 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (cbrt 1) y) (/ (sqrt 1) (sqrt (sin y)))))))>
10.058 * * * * [progress]: [ 87 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) 1)) (/ (/ (cbrt 1) y) (/ (sqrt 1) (sin y))))))>
10.058 * * * * [progress]: [ 88 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (cbrt 1) y) (/ 1 (cbrt (sin y)))))))>
10.058 * * * * [progress]: [ 89 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (sqrt (sin y)))) (/ (/ (cbrt 1) y) (/ 1 (sqrt (sin y)))))))>
10.058 * * * * [progress]: [ 90 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 1)) (/ (/ (cbrt 1) y) (/ 1 (sin y))))))>
10.058 * * * * [progress]: [ 91 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1) (/ (/ (cbrt 1) y) (/ 1 (sin y))))))>
10.058 * * * * [progress]: [ 92 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1) (/ (/ (cbrt 1) y) (/ 1 (sin y))))))>
10.058 * * * * [progress]: [ 93 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (sqrt 1) (cbrt y)) (cbrt (/ 1 (sin y)))))))>
10.058 * * * * [progress]: [ 94 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt 1) (cbrt y)) (sqrt (/ 1 (sin y)))))))>
10.059 * * * * [progress]: [ 95 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (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)))))))>
10.059 * * * * [progress]: [ 96 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (sqrt 1) (cbrt y)) (/ (cbrt 1) (sqrt (sin y)))))))>
10.059 * * * * [progress]: [ 97 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (sqrt 1) (cbrt y)) (/ (cbrt 1) (sin y))))))>
10.059 * * * * [progress]: [ 98 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt 1) (cbrt y)) (/ (sqrt 1) (cbrt (sin y)))))))>
10.059 * * * * [progress]: [ 99 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (sqrt 1) (cbrt y)) (/ (sqrt 1) (sqrt (sin y)))))))>
10.059 * * * * [progress]: [ 100 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (sqrt 1) 1)) (/ (/ (sqrt 1) (cbrt y)) (/ (sqrt 1) (sin y))))))>
10.059 * * * * [progress]: [ 101 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt 1) (cbrt y)) (/ 1 (cbrt (sin y)))))))>
10.059 * * * * [progress]: [ 102 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ 1 (sqrt (sin y)))) (/ (/ (sqrt 1) (cbrt y)) (/ 1 (sqrt (sin y)))))))>
10.059 * * * * [progress]: [ 103 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ 1 1)) (/ (/ (sqrt 1) (cbrt y)) (/ 1 (sin y))))))>
10.059 * * * * [progress]: [ 104 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) 1) (/ (/ (sqrt 1) (cbrt y)) (/ 1 (sin y))))))>
10.059 * * * * [progress]: [ 105 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) 1) (/ (/ (sqrt 1) (cbrt y)) (/ 1 (sin y))))))>
10.059 * * * * [progress]: [ 106 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (sqrt 1) (sqrt y)) (cbrt (/ 1 (sin y)))))))>
10.059 * * * * [progress]: [ 107 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt 1) (sqrt y)) (sqrt (/ 1 (sin y)))))))>
10.059 * * * * [progress]: [ 108 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt 1) (sqrt y)) (/ (cbrt 1) (cbrt (sin y)))))))>
10.059 * * * * [progress]: [ 109 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (sqrt 1) (sqrt y)) (/ (cbrt 1) (sqrt (sin y)))))))>
10.060 * * * * [progress]: [ 110 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (sqrt 1) (sqrt y)) (/ (cbrt 1) (sin y))))))>
10.060 * * * * [progress]: [ 111 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) (cbrt (sin y)))))))>
10.060 * * * * [progress]: [ 112 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) (sqrt (sin y)))))))>
10.060 * * * * [progress]: [ 113 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) 1)) (/ (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) (sin y))))))>
10.060 * * * * [progress]: [ 114 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (sqrt y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt 1) (sqrt y)) (/ 1 (cbrt (sin y)))))))>
10.060 * * * * [progress]: [ 115 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (sqrt y)) (/ 1 (sqrt (sin y)))) (/ (/ (sqrt 1) (sqrt y)) (/ 1 (sqrt (sin y)))))))>
10.060 * * * * [progress]: [ 116 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (sqrt y)) (/ 1 1)) (/ (/ (sqrt 1) (sqrt y)) (/ 1 (sin y))))))>
10.060 * * * * [progress]: [ 117 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (sqrt y)) 1) (/ (/ (sqrt 1) (sqrt y)) (/ 1 (sin y))))))>
10.060 * * * * [progress]: [ 118 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) (sqrt y)) 1) (/ (/ (sqrt 1) (sqrt y)) (/ 1 (sin y))))))>
10.060 * * * * [progress]: [ 119 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) 1) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ (sqrt 1) y) (cbrt (/ 1 (sin y)))))))>
10.060 * * * * [progress]: [ 120 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) 1) (sqrt (/ 1 (sin y)))) (/ (/ (sqrt 1) y) (sqrt (/ 1 (sin y)))))))>
10.060 * * * * [progress]: [ 121 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt 1) y) (/ (cbrt 1) (cbrt (sin y)))))))>
10.060 * * * * [progress]: [ 122 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ (sqrt 1) y) (/ (cbrt 1) (sqrt (sin y)))))))>
10.060 * * * * [progress]: [ 123 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (sqrt 1) y) (/ (cbrt 1) (sin y))))))>
10.060 * * * * [progress]: [ 124 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) 1) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt 1) y) (/ (sqrt 1) (cbrt (sin y)))))))>
10.060 * * * * [progress]: [ 125 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) 1) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ (sqrt 1) y) (/ (sqrt 1) (sqrt (sin y)))))))>
10.060 * * * * [progress]: [ 126 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) 1) (/ (sqrt 1) 1)) (/ (/ (sqrt 1) y) (/ (sqrt 1) (sin y))))))>
10.061 * * * * [progress]: [ 127 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ (sqrt 1) y) (/ 1 (cbrt (sin y)))))))>
10.061 * * * * [progress]: [ 128 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) 1) (/ 1 (sqrt (sin y)))) (/ (/ (sqrt 1) y) (/ 1 (sqrt (sin y)))))))>
10.061 * * * * [progress]: [ 129 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) 1) (/ 1 1)) (/ (/ (sqrt 1) y) (/ 1 (sin y))))))>
10.061 * * * * [progress]: [ 130 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) 1) 1) (/ (/ (sqrt 1) y) (/ 1 (sin y))))))>
10.061 * * * * [progress]: [ 131 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ (sqrt 1) 1) 1) (/ (/ (sqrt 1) y) (/ 1 (sin y))))))>
10.061 * * * * [progress]: [ 132 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 (cbrt y)) (cbrt (/ 1 (sin y)))))))>
10.061 * * * * [progress]: [ 133 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt (/ 1 (sin y)))) (/ (/ 1 (cbrt y)) (sqrt (/ 1 (sin y)))))))>
10.061 * * * * [progress]: [ 134 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 (cbrt y)) (/ (cbrt 1) (cbrt (sin y)))))))>
10.061 * * * * [progress]: [ 135 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ 1 (cbrt y)) (/ (cbrt 1) (sqrt (sin y)))))))>
10.061 * * * * [progress]: [ 136 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 (cbrt y)) (/ (cbrt 1) (sin y))))))>
10.061 * * * * [progress]: [ 137 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 (cbrt y)) (/ (sqrt 1) (cbrt (sin y)))))))>
10.061 * * * * [progress]: [ 138 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ 1 (cbrt y)) (/ (sqrt 1) (sqrt (sin y)))))))>
10.061 * * * * [progress]: [ 139 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (sqrt 1) 1)) (/ (/ 1 (cbrt y)) (/ (sqrt 1) (sin y))))))>
10.061 * * * * [progress]: [ 140 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 (cbrt y)) (/ 1 (cbrt (sin y)))))))>
10.061 * * * * [progress]: [ 141 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (* (cbrt y) (cbrt y))) (/ 1 (sqrt (sin y)))) (/ (/ 1 (cbrt y)) (/ 1 (sqrt (sin y)))))))>
10.061 * * * * [progress]: [ 142 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (* (cbrt y) (cbrt y))) (/ 1 1)) (/ (/ 1 (cbrt y)) (/ 1 (sin y))))))>
10.062 * * * * [progress]: [ 143 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (* (cbrt y) (cbrt y))) 1) (/ (/ 1 (cbrt y)) (/ 1 (sin y))))))>
10.062 * * * * [progress]: [ 144 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (* (cbrt y) (cbrt y))) 1) (/ (/ 1 (cbrt y)) (/ 1 (sin y))))))>
10.062 * * * * [progress]: [ 145 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 (sqrt y)) (cbrt (/ 1 (sin y)))))))>
10.062 * * * * [progress]: [ 146 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y)))) (/ (/ 1 (sqrt y)) (sqrt (/ 1 (sin y)))))))>
10.062 * * * * [progress]: [ 147 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 (sqrt y)) (/ (cbrt 1) (cbrt (sin y)))))))>
10.062 * * * * [progress]: [ 148 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ 1 (sqrt y)) (/ (cbrt 1) (sqrt (sin y)))))))>
10.062 * * * * [progress]: [ 149 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 (sqrt y)) (/ (cbrt 1) (sin y))))))>
10.062 * * * * [progress]: [ 150 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (sqrt y)) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 (sqrt y)) (/ (sqrt 1) (cbrt (sin y)))))))>
10.062 * * * * [progress]: [ 151 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (sqrt y)) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ 1 (sqrt y)) (/ (sqrt 1) (sqrt (sin y)))))))>
10.062 * * * * [progress]: [ 152 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (sqrt y)) (/ (sqrt 1) 1)) (/ (/ 1 (sqrt y)) (/ (sqrt 1) (sin y))))))>
10.062 * * * * [progress]: [ 153 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (sqrt y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 (sqrt y)) (/ 1 (cbrt (sin y)))))))>
10.062 * * * * [progress]: [ 154 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (sqrt y)) (/ 1 (sqrt (sin y)))) (/ (/ 1 (sqrt y)) (/ 1 (sqrt (sin y)))))))>
10.062 * * * * [progress]: [ 155 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (sqrt y)) (/ 1 1)) (/ (/ 1 (sqrt y)) (/ 1 (sin y))))))>
10.062 * * * * [progress]: [ 156 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (sqrt y)) 1) (/ (/ 1 (sqrt y)) (/ 1 (sin y))))))>
10.062 * * * * [progress]: [ 157 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 (sqrt y)) 1) (/ (/ 1 (sqrt y)) (/ 1 (sin y))))))>
10.062 * * * * [progress]: [ 158 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 1) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (cbrt (/ 1 (sin y)))))))>
10.063 * * * * [progress]: [ 159 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 1) (sqrt (/ 1 (sin y)))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))))))>
10.063 * * * * [progress]: [ 160 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ (cbrt 1) (cbrt (sin y)))))))>
10.063 * * * * [progress]: [ 161 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ 1 y) (/ (cbrt 1) (sqrt (sin y)))))))>
10.063 * * * * [progress]: [ 162 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 y) (/ (cbrt 1) (sin y))))))>
10.063 * * * * [progress]: [ 163 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 1) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ (sqrt 1) (cbrt (sin y)))))))>
10.063 * * * * [progress]: [ 164 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 1) (/ (sqrt 1) (sqrt (sin y)))) (/ (/ 1 y) (/ (sqrt 1) (sqrt (sin y)))))))>
10.063 * * * * [progress]: [ 165 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 1) (/ (sqrt 1) 1)) (/ (/ 1 y) (/ (sqrt 1) (sin y))))))>
10.063 * * * * [progress]: [ 166 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ 1 (cbrt (sin y)))))))>
10.063 * * * * [progress]: [ 167 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 1) (/ 1 (sqrt (sin y)))) (/ (/ 1 y) (/ 1 (sqrt (sin y)))))))>
10.063 * * * * [progress]: [ 168 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 1) (/ 1 1)) (/ (/ 1 y) (/ 1 (sin y))))))>
10.063 * * * * [progress]: [ 169 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 1) 1) (/ (/ 1 y) (/ 1 (sin y))))))>
10.063 * * * * [progress]: [ 170 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 1) 1) (/ (/ 1 y) (/ 1 (sin y))))))>
10.063 * * * * [progress]: [ 171 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (cbrt (/ 1 (sin y)))))))>
10.063 * * * * [progress]: [ 172 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (sqrt (/ 1 (sin y)))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))))))>
10.063 * * * * [progress]: [ 173 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ (cbrt 1) (cbrt (sin y)))))))>
10.063 * * * * [progress]: [ 174 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ 1 y) (/ (cbrt 1) (sqrt (sin y)))))))>
10.063 * * * * [progress]: [ 175 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 y) (/ (cbrt 1) (sin y))))))>
10.064 * * * * [progress]: [ 176 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ (sqrt 1) (cbrt (sin y)))))))>
10.064 * * * * [progress]: [ 177 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (sqrt 1) (sqrt (sin y)))) (/ (/ 1 y) (/ (sqrt 1) (sqrt (sin y)))))))>
10.064 * * * * [progress]: [ 178 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (sqrt 1) 1)) (/ (/ 1 y) (/ (sqrt 1) (sin y))))))>
10.064 * * * * [progress]: [ 179 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ 1 (cbrt (sin y)))))))>
10.064 * * * * [progress]: [ 180 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ 1 (sqrt (sin y)))) (/ (/ 1 y) (/ 1 (sqrt (sin y)))))))>
10.064 * * * * [progress]: [ 181 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ 1 1)) (/ (/ 1 y) (/ 1 (sin y))))))>
10.064 * * * * [progress]: [ 182 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 1) (/ (/ 1 y) (/ 1 (sin y))))))>
10.064 * * * * [progress]: [ 183 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 1) (/ (/ 1 y) (/ 1 (sin y))))))>
10.064 * * * * [progress]: [ 184 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (cbrt (/ 1 (sin y)))))))>
10.064 * * * * [progress]: [ 185 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (sqrt (/ 1 (sin y)))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))))))>
10.064 * * * * [progress]: [ 186 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ (cbrt 1) (cbrt (sin y)))))))>
10.064 * * * * [progress]: [ 187 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (/ 1 y) (/ (cbrt 1) (sqrt (sin y)))))))>
10.064 * * * * [progress]: [ 188 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 y) (/ (cbrt 1) (sin y))))))>
10.064 * * * * [progress]: [ 189 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ (sqrt 1) (cbrt (sin y)))))))>
10.064 * * * * [progress]: [ 190 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (sqrt 1) (sqrt (sin y)))) (/ (/ 1 y) (/ (sqrt 1) (sqrt (sin y)))))))>
10.064 * * * * [progress]: [ 191 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ (sqrt 1) 1)) (/ (/ 1 y) (/ (sqrt 1) (sin y))))))>
10.064 * * * * [progress]: [ 192 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (/ 1 y) (/ 1 (cbrt (sin y)))))))>
10.064 * * * * [progress]: [ 193 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ 1 (sqrt (sin y)))) (/ (/ 1 y) (/ 1 (sqrt (sin y)))))))>
10.065 * * * * [progress]: [ 194 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 (/ 1 1)) (/ (/ 1 y) (/ 1 (sin y))))))>
10.065 * * * * [progress]: [ 195 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 1) (/ (/ 1 y) (/ 1 (sin y))))))>
10.065 * * * * [progress]: [ 196 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 1) (/ (/ 1 y) (/ 1 (sin y))))))>
10.065 * * * * [progress]: [ 197 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* 1 (/ (/ 1 y) (/ 1 (sin y))))))>
10.065 * * * * [progress]: [ 198 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ 1 y) (/ 1 (/ 1 (sin y))))))>
10.065 * * * * [progress]: [ 199 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (/ (/ 1 (sin y)) (/ 1 y)))))>
10.065 * * * * [progress]: [ 200 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (/ 1 y) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (cbrt (/ 1 (sin y))))))>
10.065 * * * * [progress]: [ 201 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (/ 1 y) (sqrt (/ 1 (sin y)))) (sqrt (/ 1 (sin y))))))>
10.065 * * * * [progress]: [ 202 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (/ 1 y) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (cbrt (sin y))))))>
10.065 * * * * [progress]: [ 203 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (/ 1 y) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (/ (cbrt 1) (sqrt (sin y))))))>
10.065 * * * * [progress]: [ 204 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (/ 1 y) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (cbrt 1) (sin y)))))>
10.065 * * * * [progress]: [ 205 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (/ 1 y) (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (cbrt (sin y))))))>
10.065 * * * * [progress]: [ 206 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (/ 1 y) (/ (sqrt 1) (sqrt (sin y)))) (/ (sqrt 1) (sqrt (sin y))))))>
10.065 * * * * [progress]: [ 207 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (/ 1 y) (/ (sqrt 1) 1)) (/ (sqrt 1) (sin y)))))>
10.065 * * * * [progress]: [ 208 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (/ 1 y) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (cbrt (sin y))))))>
10.065 * * * * [progress]: [ 209 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (/ 1 y) (/ 1 (sqrt (sin y)))) (/ 1 (sqrt (sin y))))))>
10.065 * * * * [progress]: [ 210 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (/ 1 y) (/ 1 1)) (/ 1 (sin y)))))>
10.065 * * * * [progress]: [ 211 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (/ 1 y) 1) (/ 1 (sin y)))))>
10.066 * * * * [progress]: [ 212 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (/ 1 y) 1) (/ 1 (sin y)))))>
10.066 * * * * [progress]: [ 213 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (/ 1 (sin y)) (cbrt (/ 1 y))))))>
10.066 * * * * [progress]: [ 214 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (sqrt (/ 1 y)) (/ (/ 1 (sin y)) (sqrt (/ 1 y))))))>
10.066 * * * * [progress]: [ 215 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (/ (/ 1 (sin y)) (/ (cbrt 1) (cbrt y))))))>
10.066 * * * * [progress]: [ 216 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (/ (/ 1 (sin y)) (/ (cbrt 1) (sqrt y))))))>
10.066 * * * * [progress]: [ 217 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (/ 1 (sin y)) (/ (cbrt 1) y)))))>
10.066 * * * * [progress]: [ 218 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (/ 1 (sin y)) (/ (sqrt 1) (cbrt y))))))>
10.066 * * * * [progress]: [ 219 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (sqrt 1) (sqrt y)) (/ (/ 1 (sin y)) (/ (sqrt 1) (sqrt y))))))>
10.066 * * * * [progress]: [ 220 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ (sqrt 1) 1) (/ (/ 1 (sin y)) (/ (sqrt 1) y)))))>
10.066 * * * * [progress]: [ 221 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 (* (cbrt y) (cbrt y))) (/ (/ 1 (sin y)) (/ 1 (cbrt y))))))>
10.066 * * * * [progress]: [ 222 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 (sqrt y)) (/ (/ 1 (sin y)) (/ 1 (sqrt y))))))>
10.066 * * * * [progress]: [ 223 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 1) (/ (/ 1 (sin y)) (/ 1 y)))))>
10.066 * * * * [progress]: [ 224 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (/ (/ 1 (sin y)) (/ 1 y)))))>
10.067 * * * * [progress]: [ 225 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (/ (/ 1 (sin y)) (/ 1 y)))))>
10.067 * * * * [progress]: [ 226 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (* (/ (/ 1 y) 1) (sin y))))>
10.067 * * * * [progress]: [ 227 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ 1 (* (/ 1 (sin y)) y))))>
10.067 * * * * [progress]: [ 228 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (posit16->real (real->posit16 (/ (/ 1 y) (/ 1 (sin y)))))))>
10.067 * * * * [progress]: [ 229 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (pow (sin y) -1))))>
10.067 * * * * [progress]: [ 230 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (pow (sin y) (- 1)))))>
10.067 * * * * [progress]: [ 231 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (pow (/ 1 (sin y)) 1))))>
10.067 * * * * [progress]: [ 232 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (exp (- (log (sin y)))))))>
10.067 * * * * [progress]: [ 233 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (exp (- 0 (log (sin y)))))))>
10.067 * * * * [progress]: [ 234 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (exp (- (log 1) (log (sin y)))))))>
10.067 * * * * [progress]: [ 235 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (exp (log (/ 1 (sin y)))))))>
10.067 * * * * [progress]: [ 236 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (log (exp (/ 1 (sin y)))))))>
10.067 * * * * [progress]: [ 237 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (cbrt (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y)))))))>
10.067 * * * * [progress]: [ 238 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (* (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))) (cbrt (/ 1 (sin y)))))))>
10.067 * * * * [progress]: [ 239 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (cbrt (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y)))))))>
10.067 * * * * [progress]: [ 240 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (* (sqrt (/ 1 (sin y))) (sqrt (/ 1 (sin y)))))))>
10.067 * * * * [progress]: [ 241 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ (- 1) (- (sin y))))))>
10.067 * * * * [progress]: [ 242 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (* (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt 1) (cbrt (sin y)))))))>
10.068 * * * * [progress]: [ 243 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (* (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y))) (/ (cbrt 1) (sqrt (sin y)))))))>
10.068 * * * * [progress]: [ 244 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (* (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (sin y))))))>
10.068 * * * * [progress]: [ 245 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (* (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt 1) (cbrt (sin y)))))))>
10.068 * * * * [progress]: [ 246 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (* (/ (sqrt 1) (sqrt (sin y))) (/ (sqrt 1) (sqrt (sin y)))))))>
10.068 * * * * [progress]: [ 247 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (* (/ (sqrt 1) 1) (/ (sqrt 1) (sin y))))))>
10.068 * * * * [progress]: [ 248 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (* (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ 1 (cbrt (sin y)))))))>
10.068 * * * * [progress]: [ 249 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (* (/ 1 (sqrt (sin y))) (/ 1 (sqrt (sin y)))))))>
10.068 * * * * [progress]: [ 250 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (* (/ 1 1) (/ 1 (sin y))))))>
10.068 * * * * [progress]: [ 251 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (* 1 (/ 1 (sin y))))))>
10.068 * * * * [progress]: [ 252 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (* 1 (/ 1 (sin y))))))>
10.068 * * * * [progress]: [ 253 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ 1 (/ (sin y) 1)))))>
10.068 * * * * [progress]: [ 254 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))))))>
10.068 * * * * [progress]: [ 255 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ (/ 1 (sqrt (sin y))) (sqrt (sin y))))))>
10.068 * * * * [progress]: [ 256 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ (/ 1 1) (sin y)))))>
10.068 * * * * [progress]: [ 257 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ (* (cbrt 1) (cbrt 1)) (/ (sin y) (cbrt 1))))))>
10.068 * * * * [progress]: [ 258 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ (sqrt 1) (/ (sin y) (sqrt 1))))))>
10.068 * * * * [progress]: [ 259 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ 1 (/ (sin y) 1)))))>
10.068 * * * * [progress]: [ 260 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (posit16->real (real->posit16 (/ 1 (sin y)))))))>
10.069 * * * * [progress]: [ 261 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))))>
10.069 * * * * [progress]: [ 262 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))>
10.069 * * * * [progress]: [ 263 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))>
10.069 * * * * [progress]: [ 264 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (+ (* 7/360 (pow y 3)) (+ (* 1/6 y) (/ 1 y))))))>
10.069 * * * * [progress]: [ 265 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))))>
10.069 * * * * [progress]: [ 266 / 266 ] simplifiying candidate #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))))>
10.074 * [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)
  (real->posit16 (/ (/ 1 y) (/ 1 (sin y))))
  (- 1)
  (- (log (sin y)))
  (- 0 (log (sin y)))
  (- (log 1) (log (sin y)))
  (log (/ 1 (sin y)))
  (exp (/ 1 (sin y)))
  (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y)))
  (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))
  (cbrt (/ 1 (sin y)))
  (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y)))
  (sqrt (/ 1 (sin y)))
  (sqrt (/ 1 (sin y)))
  (- 1)
  (- (sin y))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))
  (/ (cbrt 1) (cbrt (sin y)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))
  (/ (cbrt 1) (sqrt (sin y)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (sin y))
  (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))
  (/ (sqrt 1) (cbrt (sin y)))
  (/ (sqrt 1) (sqrt (sin y)))
  (/ (sqrt 1) (sqrt (sin y)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (sin y))
  (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))
  (/ 1 (cbrt (sin y)))
  (/ 1 (sqrt (sin y)))
  (/ 1 (sqrt (sin y)))
  (/ 1 1)
  (/ 1 (sin y))
  (/ 1 (sin y))
  (/ (sin y) 1)
  (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))
  (/ 1 (sqrt (sin y)))
  (/ 1 1)
  (/ (sin y) (cbrt 1))
  (/ (sin y) (sqrt 1))
  (/ (sin y) 1)
  (real->posit16 (/ 1 (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/6 y) (/ 1 y)))
  (/ 1 (sin y))
  (/ 1 (sin y))
10.082 * * [simplify]: iteration 0: 403 enodes
10.368 * * [simplify]: iteration 1: 1194 enodes
13.613 * * [simplify]: iteration 2: 2758 enodes
14.455 * * [simplify]: iteration complete: 5000 enodes
14.455 * * [simplify]: Extracting #0: cost 85 inf + 0
14.457 * * [simplify]: Extracting #1: cost 557 inf + 2
14.461 * * [simplify]: Extracting #2: cost 987 inf + 5486
14.474 * * [simplify]: Extracting #3: cost 739 inf + 72031
14.520 * * [simplify]: Extracting #4: cost 87 inf + 196507
14.557 * * [simplify]: Extracting #5: cost 3 inf + 220550
14.599 * * [simplify]: Extracting #6: cost 0 inf + 221700
14.649 * [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)))
  (/ (* (sin y) (* (sin y) (sin y))) (* (* y y) y))
  (* (* (/ (* (/ 1 y) (/ 1 y)) (/ 1 (sin y))) (/ (/ 1 y) (/ 1 (sin y)))) (sin y))
  (* (* (/ 1 y) (sin y)) (* (* (/ 1 y) (sin y)) (* (/ 1 y) (sin y))))
  (* (* (/ 1 y) (sin y)) (* (* (/ 1 y) (sin y)) (* (/ 1 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)
  (/ -1 (sin y))
  (* (/ (cbrt (/ 1 y)) (cbrt (/ 1 (sin y)))) (/ (cbrt (/ 1 y)) (cbrt (/ 1 (sin y)))))
  (/ (cbrt (/ 1 y)) (cbrt (/ 1 (sin y))))
  (/ (cbrt (/ 1 y)) (/ (sqrt (/ 1 (sin y))) (cbrt (/ 1 y))))
  (/ (cbrt (/ 1 y)) (sqrt (/ 1 (sin y))))
  (* (* (cbrt (sin y)) (cbrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (/ 1 y))))
  (* (cbrt (sin y)) (cbrt (/ 1 y)))
  (* (sqrt (sin y)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (* (cbrt (/ 1 y)) (sqrt (sin y)))
  (* (cbrt (/ 1 y)) (cbrt (/ 1 y)))
  (* (cbrt (/ 1 y)) (sin y))
  (* (* (cbrt (sin y)) (cbrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (/ 1 y))))
  (* (cbrt (sin y)) (cbrt (/ 1 y)))
  (* (sqrt (sin y)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (* (cbrt (/ 1 y)) (sqrt (sin y)))
  (* (cbrt (/ 1 y)) (cbrt (/ 1 y)))
  (* (cbrt (/ 1 y)) (sin y))
  (* (* (cbrt (sin y)) (cbrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (/ 1 y))))
  (* (cbrt (sin y)) (cbrt (/ 1 y)))
  (* (sqrt (sin y)) (* (cbrt (/ 1 y)) (cbrt (/ 1 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))))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (sqrt (/ 1 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))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (sqrt (/ 1 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))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (sqrt (/ 1 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 (/ 1 (sin y))))) (/ 1 (* (cbrt 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 (sin y)))) (/ 1 (/ (cbrt y) (cbrt (sin y)))))
  (/ 1 (/ (cbrt y) (cbrt (sin y))))
  (* (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (sin y)))
  (* (sqrt (sin y)) (/ 1 (cbrt y)))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (sin y) (cbrt y))
  (* (/ 1 (/ (cbrt y) (cbrt (sin y)))) (/ 1 (/ (cbrt y) (cbrt (sin y)))))
  (/ 1 (/ (cbrt y) (cbrt (sin y))))
  (* (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (sin y)))
  (* (sqrt (sin y)) (/ 1 (cbrt y)))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (sin y) (cbrt y))
  (* (/ 1 (/ (cbrt y) (cbrt (sin y)))) (/ 1 (/ (cbrt y) (cbrt (sin y)))))
  (/ 1 (/ (cbrt y) (cbrt (sin y))))
  (* (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (sin y)))
  (* (sqrt (sin y)) (/ 1 (cbrt y)))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (sin y) (cbrt y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (sin y) (cbrt y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (sin y) (cbrt y))
  (/ (/ 1 (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ 1 (* (cbrt (/ 1 (sin y))) (sqrt 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)))
  (* (sqrt (sin y)) (/ 1 (sqrt y)))
  (* (sqrt (sin y)) (/ 1 (sqrt y)))
  (/ 1 (sqrt y))
  (* (/ 1 (sqrt y)) (sin y))
  (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ 1 (sqrt y)) (cbrt (sin y)))
  (* (sqrt (sin y)) (/ 1 (sqrt y)))
  (* (sqrt (sin y)) (/ 1 (sqrt y)))
  (/ 1 (sqrt y))
  (* (/ 1 (sqrt y)) (sin y))
  (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ 1 (sqrt y)) (cbrt (sin y)))
  (* (sqrt (sin y)) (/ 1 (sqrt y)))
  (* (sqrt (sin y)) (/ 1 (sqrt 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 (/ 1 (sin y))))) (/ 1 (* (cbrt 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 (sin y)))) (/ 1 (/ (cbrt y) (cbrt (sin y)))))
  (/ 1 (/ (cbrt y) (cbrt (sin y))))
  (* (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (sin y)))
  (* (sqrt (sin y)) (/ 1 (cbrt y)))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (sin y) (cbrt y))
  (* (/ 1 (/ (cbrt y) (cbrt (sin y)))) (/ 1 (/ (cbrt y) (cbrt (sin y)))))
  (/ 1 (/ (cbrt y) (cbrt (sin y))))
  (* (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (sin y)))
  (* (sqrt (sin y)) (/ 1 (cbrt y)))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (sin y) (cbrt y))
  (* (/ 1 (/ (cbrt y) (cbrt (sin y)))) (/ 1 (/ (cbrt y) (cbrt (sin y)))))
  (/ 1 (/ (cbrt y) (cbrt (sin y))))
  (* (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (sin y)))
  (* (sqrt (sin y)) (/ 1 (cbrt y)))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (sin y) (cbrt y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (sin y) (cbrt y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (sin y) (cbrt y))
  (/ (/ 1 (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ 1 (* (cbrt (/ 1 (sin y))) (sqrt 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)))
  (* (sqrt (sin y)) (/ 1 (sqrt y)))
  (* (sqrt (sin y)) (/ 1 (sqrt y)))
  (/ 1 (sqrt y))
  (* (/ 1 (sqrt y)) (sin y))
  (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ 1 (sqrt y)) (cbrt (sin y)))
  (* (sqrt (sin y)) (/ 1 (sqrt y)))
  (* (sqrt (sin y)) (/ 1 (sqrt y)))
  (/ 1 (sqrt y))
  (* (/ 1 (sqrt y)) (sin y))
  (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ 1 (sqrt y)) (cbrt (sin y)))
  (* (sqrt (sin y)) (/ 1 (sqrt y)))
  (* (sqrt (sin y)) (/ 1 (sqrt 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 (/ 1 (sin y))))) (/ 1 (* (cbrt 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 (sin y)))) (/ 1 (/ (cbrt y) (cbrt (sin y)))))
  (/ 1 (/ (cbrt y) (cbrt (sin y))))
  (* (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (sin y)))
  (* (sqrt (sin y)) (/ 1 (cbrt y)))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (sin y) (cbrt y))
  (* (/ 1 (/ (cbrt y) (cbrt (sin y)))) (/ 1 (/ (cbrt y) (cbrt (sin y)))))
  (/ 1 (/ (cbrt y) (cbrt (sin y))))
  (* (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (sin y)))
  (* (sqrt (sin y)) (/ 1 (cbrt y)))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (sin y) (cbrt y))
  (* (/ 1 (/ (cbrt y) (cbrt (sin y)))) (/ 1 (/ (cbrt y) (cbrt (sin y)))))
  (/ 1 (/ (cbrt y) (cbrt (sin y))))
  (* (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt (sin y)))
  (* (sqrt (sin y)) (/ 1 (cbrt y)))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (sin y) (cbrt y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (sin y) (cbrt y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (sin y) (cbrt y))
  (/ (/ 1 (sqrt y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))))
  (/ 1 (* (cbrt (/ 1 (sin y))) (sqrt 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)))
  (* (sqrt (sin y)) (/ 1 (sqrt y)))
  (* (sqrt (sin y)) (/ 1 (sqrt y)))
  (/ 1 (sqrt y))
  (* (/ 1 (sqrt y)) (sin y))
  (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ 1 (sqrt y)) (cbrt (sin y)))
  (* (sqrt (sin y)) (/ 1 (sqrt y)))
  (* (sqrt (sin y)) (/ 1 (sqrt y)))
  (/ 1 (sqrt y))
  (* (/ 1 (sqrt y)) (sin y))
  (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ 1 (sqrt y)) (cbrt (sin y)))
  (* (sqrt (sin y)) (/ 1 (sqrt y)))
  (* (sqrt (sin y)) (/ 1 (sqrt 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 (* (cbrt (/ 1 y)) (sin y)))
  (/ 1 (* (sqrt (/ 1 y)) (sin y)))
  (* (cbrt y) (/ 1 (sin y)))
  (* (/ 1 (sin y)) (sqrt y))
  (/ y (sin y))
  (* (cbrt y) (/ 1 (sin y)))
  (* (/ 1 (sin y)) (sqrt y))
  (/ y (sin y))
  (* (cbrt y) (/ 1 (sin y)))
  (* (/ 1 (sin y)) (sqrt y))
  (/ y (sin y))
  (/ y (sin y))
  (/ y (sin y))
  (/ 1 y)
  (/ y (sin y))
  (real->posit16 (* (/ 1 y) (sin y)))
  -1
  (- (log (sin y)))
  (- (log (sin y)))
  (- (log (sin y)))
  (- (log (sin y)))
  (exp (/ 1 (sin y)))
  (/ (/ 1 (sin y)) (* (sin y) (sin y)))
  (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))
  (cbrt (/ 1 (sin y)))
  (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y)))
  (sqrt (/ 1 (sin y)))
  (sqrt (/ 1 (sin y)))
  -1
  (- (sin y))
  (/ (/ 1 (cbrt (sin y))) (cbrt (sin y)))
  (/ 1 (cbrt (sin y)))
  (/ 1 (sqrt (sin y)))
  (/ 1 (sqrt (sin y)))
  1
  (/ 1 (sin y))
  (/ (/ 1 (cbrt (sin y))) (cbrt (sin y)))
  (/ 1 (cbrt (sin y)))
  (/ 1 (sqrt (sin y)))
  (/ 1 (sqrt (sin y)))
  1
  (/ 1 (sin y))
  (/ (/ 1 (cbrt (sin y))) (cbrt (sin y)))
  (/ 1 (cbrt (sin y)))
  (/ 1 (sqrt (sin y)))
  (/ 1 (sqrt (sin y)))
  1
  (/ 1 (sin y))
  (/ 1 (sin y))
  (sin y)
  (/ (/ 1 (cbrt (sin y))) (cbrt (sin y)))
  (/ 1 (sqrt (sin y)))
  1
  (sin y)
  (sin y)
  (sin y)
  (real->posit16 (/ 1 (sin y)))
  (+ 1 (* (* y y) (- (* (* y y) 1/120) 1/6)))
  (/ (sin y) y)
  (/ (sin y) y)
  (+ (/ 1 y) (* y (+ (* 7/360 (* y y)) 1/6)))
  (/ 1 (sin y))
  (/ 1 (sin y))
14.670 * * * [progress]: adding candidates to table
15.178 * [progress]: [Phase 3 of 3] Extracting.
15.178 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (cosh x) (* (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y))))) (cbrt (/ 1 (/ y (sin y)))))))> #<alt (λ (x y) (* (cosh x) (/ 1 (* (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y)))))))> #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))))> #<alt (λ (x y) (* (cosh x) (* (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)))))> #<alt (λ (x y) (* (cosh x) (/ 1 (/ y (sin y)))))> #<alt (λ (x y) (* (cosh x) (* (/ 1 (sqrt y)) (/ (sin y) (sqrt y)))))> #<alt (λ (x y) (* (cosh x) (* (/ (/ (cbrt (sin y)) (cbrt y)) (/ (cbrt y) (cbrt (sin y)))) (/ (cbrt (sin y)) (cbrt y)))))> #<alt (λ (x y) (* (cosh x) (/ 1 (/ (* (cbrt y) (cbrt y)) (/ (sin y) (cbrt y))))))> #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))> #<alt (λ (x y) (* (cosh x) (* (* (* (cbrt (sin y)) (cbrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (/ 1 y)))) (* (cbrt (sin y)) (cbrt (/ 1 y))))))>)
15.179 * * * [regime-changes]: Trying 5 branch expressions: ((/ (sin y) y) (cosh x) (* (cosh x) (/ (sin y) y)) y x)
15.179 * * * * [regimes]: Trying to branch on (/ (sin y) y) from (#<alt (λ (x y) (* (cosh x) (* (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y))))) (cbrt (/ 1 (/ y (sin y)))))))> #<alt (λ (x y) (* (cosh x) (/ 1 (* (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y)))))))> #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))))> #<alt (λ (x y) (* (cosh x) (* (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)))))> #<alt (λ (x y) (* (cosh x) (/ 1 (/ y (sin y)))))> #<alt (λ (x y) (* (cosh x) (* (/ 1 (sqrt y)) (/ (sin y) (sqrt y)))))> #<alt (λ (x y) (* (cosh x) (* (/ (/ (cbrt (sin y)) (cbrt y)) (/ (cbrt y) (cbrt (sin y)))) (/ (cbrt (sin y)) (cbrt y)))))> #<alt (λ (x y) (* (cosh x) (/ 1 (/ (* (cbrt y) (cbrt y)) (/ (sin y) (cbrt y))))))> #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))> #<alt (λ (x y) (* (cosh x) (* (* (* (cbrt (sin y)) (cbrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (/ 1 y)))) (* (cbrt (sin y)) (cbrt (/ 1 y))))))>)
15.235 * * * * [regimes]: Trying to branch on (cosh x) from (#<alt (λ (x y) (* (cosh x) (* (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y))))) (cbrt (/ 1 (/ y (sin y)))))))> #<alt (λ (x y) (* (cosh x) (/ 1 (* (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y)))))))> #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))))> #<alt (λ (x y) (* (cosh x) (* (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)))))> #<alt (λ (x y) (* (cosh x) (/ 1 (/ y (sin y)))))> #<alt (λ (x y) (* (cosh x) (* (/ 1 (sqrt y)) (/ (sin y) (sqrt y)))))> #<alt (λ (x y) (* (cosh x) (* (/ (/ (cbrt (sin y)) (cbrt y)) (/ (cbrt y) (cbrt (sin y)))) (/ (cbrt (sin y)) (cbrt y)))))> #<alt (λ (x y) (* (cosh x) (/ 1 (/ (* (cbrt y) (cbrt y)) (/ (sin y) (cbrt y))))))> #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))> #<alt (λ (x y) (* (cosh x) (* (* (* (cbrt (sin y)) (cbrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (/ 1 y)))) (* (cbrt (sin y)) (cbrt (/ 1 y))))))>)
15.277 * * * * [regimes]: Trying to branch on (* (cosh x) (/ (sin y) y)) from (#<alt (λ (x y) (* (cosh x) (* (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y))))) (cbrt (/ 1 (/ y (sin y)))))))> #<alt (λ (x y) (* (cosh x) (/ 1 (* (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y)))))))> #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))))> #<alt (λ (x y) (* (cosh x) (* (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)))))> #<alt (λ (x y) (* (cosh x) (/ 1 (/ y (sin y)))))> #<alt (λ (x y) (* (cosh x) (* (/ 1 (sqrt y)) (/ (sin y) (sqrt y)))))> #<alt (λ (x y) (* (cosh x) (* (/ (/ (cbrt (sin y)) (cbrt y)) (/ (cbrt y) (cbrt (sin y)))) (/ (cbrt (sin y)) (cbrt y)))))> #<alt (λ (x y) (* (cosh x) (/ 1 (/ (* (cbrt y) (cbrt y)) (/ (sin y) (cbrt y))))))> #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))> #<alt (λ (x y) (* (cosh x) (* (* (* (cbrt (sin y)) (cbrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (/ 1 y)))) (* (cbrt (sin y)) (cbrt (/ 1 y))))))>)
15.345 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (cosh x) (* (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y))))) (cbrt (/ 1 (/ y (sin y)))))))> #<alt (λ (x y) (* (cosh x) (/ 1 (* (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y)))))))> #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))))> #<alt (λ (x y) (* (cosh x) (* (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)))))> #<alt (λ (x y) (* (cosh x) (/ 1 (/ y (sin y)))))> #<alt (λ (x y) (* (cosh x) (* (/ 1 (sqrt y)) (/ (sin y) (sqrt y)))))> #<alt (λ (x y) (* (cosh x) (* (/ (/ (cbrt (sin y)) (cbrt y)) (/ (cbrt y) (cbrt (sin y)))) (/ (cbrt (sin y)) (cbrt y)))))> #<alt (λ (x y) (* (cosh x) (/ 1 (/ (* (cbrt y) (cbrt y)) (/ (sin y) (cbrt y))))))> #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))> #<alt (λ (x y) (* (cosh x) (* (* (* (cbrt (sin y)) (cbrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (/ 1 y)))) (* (cbrt (sin y)) (cbrt (/ 1 y))))))>)
15.392 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (cosh x) (* (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y))))) (cbrt (/ 1 (/ y (sin y)))))))> #<alt (λ (x y) (* (cosh x) (/ 1 (* (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y)))))))> #<alt (λ (x y) (* (cosh x) (/ (/ 1 y) (/ 1 (sin y)))))> #<alt (λ (x y) (* (cosh x) (* (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)))))> #<alt (λ (x y) (* (cosh x) (/ 1 (/ y (sin y)))))> #<alt (λ (x y) (* (cosh x) (* (/ 1 (sqrt y)) (/ (sin y) (sqrt y)))))> #<alt (λ (x y) (* (cosh x) (* (/ (/ (cbrt (sin y)) (cbrt y)) (/ (cbrt y) (cbrt (sin y)))) (/ (cbrt (sin y)) (cbrt y)))))> #<alt (λ (x y) (* (cosh x) (/ 1 (/ (* (cbrt y) (cbrt y)) (/ (sin y) (cbrt y))))))> #<alt (λ (x y) (* (cosh x) (/ (sin y) y)))> #<alt (λ (x y) (* (cosh x) (* (* (* (cbrt (sin y)) (cbrt (/ 1 y))) (* (cbrt (sin y)) (cbrt (/ 1 y)))) (* (cbrt (sin y)) (cbrt (/ 1 y))))))>)
15.464 * * * [regime]: Found split indices: #<option (#s(si 8 255))>
15.464 * [simplify]: Simplifying:
  (* (cosh x) (/ (sin y) y))
15.464 * * [simplify]: iteration 0: 6 enodes
15.465 * * [simplify]: iteration 1: 7 enodes
15.465 * * [simplify]: iteration complete: 7 enodes
15.465 * * [simplify]: Extracting #0: cost 1 inf + 0
15.465 * * [simplify]: Extracting #1: cost 3 inf + 0
15.465 * * [simplify]: Extracting #2: cost 6 inf + 0
15.465 * * [simplify]: Extracting #3: cost 2 inf + 164
15.465 * * [simplify]: Extracting #4: cost 0 inf + 417
15.466 * [simplify]: Simplified to:
  (* (cosh x) (/ (sin y) y))
21.964 * [regime-testing]: Baseline error score: 0.13586376209815335
21.966 * [regime-testing]: Oracle error score: 0.03815342799380014
21.971 * [regime-testing]: End program error score: 0.13586376209815335
22.040 * [regime-testing]: Target error score: 0.13588500537874368