15.215 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.136 * * * [progress]: [2/2] Setting up program. 0.139 * [progress]: [Phase 2 of 3] Improving. 0.139 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.139 * [simplify]: Simplifying: (* (cosh x) (/ (sin y) y)) 0.139 * * [simplify]: iteration 0: 6 enodes 0.140 * * [simplify]: iteration 1: 15 enodes 0.143 * * [simplify]: iteration 2: 28 enodes 0.148 * * [simplify]: iteration 3: 50 enodes 0.156 * * [simplify]: iteration 4: 85 enodes 0.169 * * [simplify]: iteration 5: 134 enodes 0.214 * * [simplify]: iteration 6: 308 enodes 0.333 * * [simplify]: iteration 7: 905 enodes 0.722 * * [simplify]: iteration complete: 2001 enodes 0.722 * * [simplify]: Extracting #0: cost 1 inf + 0 0.723 * * [simplify]: Extracting #1: cost 187 inf + 0 0.725 * * [simplify]: Extracting #2: cost 331 inf + 1550 0.728 * * [simplify]: Extracting #3: cost 260 inf + 12518 0.735 * * [simplify]: Extracting #4: cost 211 inf + 22379 0.745 * * [simplify]: Extracting #5: cost 130 inf + 39700 0.758 * * [simplify]: Extracting #6: cost 37 inf + 68920 0.772 * * [simplify]: Extracting #7: cost 2 inf + 80966 0.786 * * [simplify]: Extracting #8: cost 0 inf + 81754 0.800 * [simplify]: Simplified to: (/ (cosh x) (/ y (sin y))) 0.801 * * [progress]: iteration 1 / 4 0.801 * * * [progress]: picking best candidate 0.803 * * * * [pick]: Picked # 0.803 * * * [progress]: localizing error 0.814 * * * [progress]: generating rewritten candidates 0.814 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.824 * * * [progress]: generating series expansions 0.824 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.824 * [backup-simplify]: Simplify (/ (sin y) y) into (/ (sin y) y) 0.824 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 0.824 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.824 * [taylor]: Taking taylor expansion of (sin y) in y 0.825 * [taylor]: Taking taylor expansion of y in y 0.825 * [backup-simplify]: Simplify 0 into 0 0.825 * [backup-simplify]: Simplify 1 into 1 0.825 * [taylor]: Taking taylor expansion of y in y 0.825 * [backup-simplify]: Simplify 0 into 0 0.825 * [backup-simplify]: Simplify 1 into 1 0.825 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.826 * [backup-simplify]: Simplify (/ 1 1) into 1 0.826 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.826 * [taylor]: Taking taylor expansion of (sin y) in y 0.826 * [taylor]: Taking taylor expansion of y in y 0.826 * [backup-simplify]: Simplify 0 into 0 0.826 * [backup-simplify]: Simplify 1 into 1 0.826 * [taylor]: Taking taylor expansion of y in y 0.826 * [backup-simplify]: Simplify 0 into 0 0.826 * [backup-simplify]: Simplify 1 into 1 0.826 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.826 * [backup-simplify]: Simplify (/ 1 1) into 1 0.827 * [backup-simplify]: Simplify 1 into 1 0.827 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.828 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0 0.828 * [backup-simplify]: Simplify 0 into 0 0.828 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 0.829 * [backup-simplify]: Simplify (- (/ -1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into -1/6 0.829 * [backup-simplify]: Simplify -1/6 into -1/6 0.830 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0 0.831 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)))) into 0 0.831 * [backup-simplify]: Simplify 0 into 0 0.833 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 5) 120)) 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 1 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 1/120 0.834 * [backup-simplify]: Simplify (- (/ 1/120 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 1/120 0.834 * [backup-simplify]: Simplify 1/120 into 1/120 0.834 * [backup-simplify]: Simplify (+ (* 1/120 (pow y 4)) (+ (* -1/6 (pow y 2)) 1)) into (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) 0.834 * [backup-simplify]: Simplify (/ (sin (/ 1 y)) (/ 1 y)) into (* (sin (/ 1 y)) y) 0.834 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 0.834 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.834 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.834 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.834 * [taylor]: Taking taylor expansion of y in y 0.834 * [backup-simplify]: Simplify 0 into 0 0.834 * [backup-simplify]: Simplify 1 into 1 0.835 * [backup-simplify]: Simplify (/ 1 1) into 1 0.835 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 0.835 * [taylor]: Taking taylor expansion of y in y 0.835 * [backup-simplify]: Simplify 0 into 0 0.835 * [backup-simplify]: Simplify 1 into 1 0.835 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.835 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.835 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.835 * [taylor]: Taking taylor expansion of y in y 0.835 * [backup-simplify]: Simplify 0 into 0 0.835 * [backup-simplify]: Simplify 1 into 1 0.835 * [backup-simplify]: Simplify (/ 1 1) into 1 0.835 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 0.835 * [taylor]: Taking taylor expansion of y in y 0.835 * [backup-simplify]: Simplify 0 into 0 0.835 * [backup-simplify]: Simplify 1 into 1 0.835 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 0.835 * [backup-simplify]: Simplify 0 into 0 0.836 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 1) (* 0 0)) into (sin (/ 1 y)) 0.836 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 0.836 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 1) (* 0 0))) into 0 0.836 * [backup-simplify]: Simplify 0 into 0 0.837 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.837 * [backup-simplify]: Simplify 0 into 0 0.837 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.837 * [backup-simplify]: Simplify 0 into 0 0.838 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.838 * [backup-simplify]: Simplify 0 into 0 0.839 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 0.839 * [backup-simplify]: Simplify 0 into 0 0.840 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 0.840 * [backup-simplify]: Simplify 0 into 0 0.840 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 y))) (/ 1 y)) into (/ (sin y) y) 0.840 * [backup-simplify]: Simplify (/ (sin (/ 1 (- y))) (/ 1 (- y))) into (* -1 (* y (sin (/ -1 y)))) 0.840 * [approximate]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in (y) around 0 0.840 * [taylor]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in y 0.840 * [taylor]: Taking taylor expansion of -1 in y 0.840 * [backup-simplify]: Simplify -1 into -1 0.840 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y 0.840 * [taylor]: Taking taylor expansion of y in y 0.840 * [backup-simplify]: Simplify 0 into 0 0.840 * [backup-simplify]: Simplify 1 into 1 0.840 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.840 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.840 * [taylor]: Taking taylor expansion of -1 in y 0.840 * [backup-simplify]: Simplify -1 into -1 0.840 * [taylor]: Taking taylor expansion of y in y 0.840 * [backup-simplify]: Simplify 0 into 0 0.840 * [backup-simplify]: Simplify 1 into 1 0.840 * [backup-simplify]: Simplify (/ -1 1) into -1 0.840 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 0.840 * [taylor]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in y 0.840 * [taylor]: Taking taylor expansion of -1 in y 0.841 * [backup-simplify]: Simplify -1 into -1 0.841 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y 0.841 * [taylor]: Taking taylor expansion of y in y 0.841 * [backup-simplify]: Simplify 0 into 0 0.841 * [backup-simplify]: Simplify 1 into 1 0.841 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.841 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.841 * [taylor]: Taking taylor expansion of -1 in y 0.841 * [backup-simplify]: Simplify -1 into -1 0.841 * [taylor]: Taking taylor expansion of y in y 0.841 * [backup-simplify]: Simplify 0 into 0 0.841 * [backup-simplify]: Simplify 1 into 1 0.841 * [backup-simplify]: Simplify (/ -1 1) into -1 0.841 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 0.841 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0 0.841 * [backup-simplify]: Simplify (* -1 0) into 0 0.841 * [backup-simplify]: Simplify 0 into 0 0.842 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y)) 0.842 * [backup-simplify]: Simplify (+ (* -1 (sin (/ -1 y))) (* 0 0)) into (- (sin (/ -1 y))) 0.842 * [backup-simplify]: Simplify (- (sin (/ -1 y))) into (- (sin (/ -1 y))) 0.843 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ -1 y))))) into 0 0.843 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))) into 0 0.843 * [backup-simplify]: Simplify 0 into 0 0.844 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0 0.845 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))) into 0 0.845 * [backup-simplify]: Simplify 0 into 0 0.846 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))) into 0 0.847 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))) into 0 0.847 * [backup-simplify]: Simplify 0 into 0 0.849 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))) into 0 0.850 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))) into 0 0.850 * [backup-simplify]: Simplify 0 into 0 0.851 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))))) into 0 0.853 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))))) into 0 0.853 * [backup-simplify]: Simplify 0 into 0 0.854 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))))) into 0 0.856 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))))) into 0 0.856 * [backup-simplify]: Simplify 0 into 0 0.856 * [backup-simplify]: Simplify (* (- (sin (/ -1 (/ 1 (- y))))) (/ 1 (- y))) into (/ (sin y) y) 0.856 * * * [progress]: simplifying candidates 0.856 * * * * [progress]: [ 1 / 31 ] simplifiying candidate # 0.856 * * * * [progress]: [ 2 / 31 ] simplifiying candidate # 0.856 * * * * [progress]: [ 3 / 31 ] simplifiying candidate # 0.856 * * * * [progress]: [ 4 / 31 ] simplifiying candidate # 0.856 * * * * [progress]: [ 5 / 31 ] simplifiying candidate # 0.856 * * * * [progress]: [ 6 / 31 ] simplifiying candidate # 0.856 * * * * [progress]: [ 7 / 31 ] simplifiying candidate # 0.856 * * * * [progress]: [ 8 / 31 ] simplifiying candidate # 0.856 * * * * [progress]: [ 9 / 31 ] simplifiying candidate # 0.856 * * * * [progress]: [ 10 / 31 ] simplifiying candidate # 0.856 * * * * [progress]: [ 11 / 31 ] simplifiying candidate # 0.856 * * * * [progress]: [ 12 / 31 ] simplifiying candidate # 0.856 * * * * [progress]: [ 13 / 31 ] simplifiying candidate # 0.856 * * * * [progress]: [ 14 / 31 ] simplifiying candidate # 0.856 * * * * [progress]: [ 15 / 31 ] simplifiying candidate # 0.857 * * * * [progress]: [ 16 / 31 ] simplifiying candidate # 0.857 * * * * [progress]: [ 17 / 31 ] simplifiying candidate # 0.857 * * * * [progress]: [ 18 / 31 ] simplifiying candidate # 0.857 * * * * [progress]: [ 19 / 31 ] simplifiying candidate # 0.857 * * * * [progress]: [ 20 / 31 ] simplifiying candidate # 0.857 * * * * [progress]: [ 21 / 31 ] simplifiying candidate # 0.857 * * * * [progress]: [ 22 / 31 ] simplifiying candidate # 0.857 * * * * [progress]: [ 23 / 31 ] simplifiying candidate # 0.857 * * * * [progress]: [ 24 / 31 ] simplifiying candidate # 0.857 * * * * [progress]: [ 25 / 31 ] simplifiying candidate # 0.857 * * * * [progress]: [ 26 / 31 ] simplifiying candidate # 0.857 * * * * [progress]: [ 27 / 31 ] simplifiying candidate # 0.857 * * * * [progress]: [ 28 / 31 ] simplifiying candidate #real (real->posit16 (/ (sin y) y)))))> 0.857 * * * * [progress]: [ 29 / 31 ] simplifiying candidate # 0.857 * * * * [progress]: [ 30 / 31 ] simplifiying candidate # 0.857 * * * * [progress]: [ 31 / 31 ] simplifiying candidate # 0.858 * [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) 0.859 * * [simplify]: iteration 0: 60 enodes 0.873 * * [simplify]: iteration 1: 111 enodes 0.899 * * [simplify]: iteration 2: 288 enodes 1.037 * * [simplify]: iteration 3: 850 enodes 1.242 * * [simplify]: iteration complete: 2002 enodes 1.242 * * [simplify]: Extracting #0: cost 33 inf + 0 1.243 * * [simplify]: Extracting #1: cost 364 inf + 1 1.246 * * [simplify]: Extracting #2: cost 619 inf + 4424 1.263 * * [simplify]: Extracting #3: cost 201 inf + 84675 1.294 * * [simplify]: Extracting #4: cost 41 inf + 110786 1.309 * * [simplify]: Extracting #5: cost 4 inf + 113954 1.332 * * [simplify]: Extracting #6: cost 0 inf + 114966 1.356 * [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)) (/ (sqrt y) (cbrt (sin y)))) (/ (cbrt (sin y)) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ (cbrt (sin y)) y) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (sqrt (sin y)) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) 1 (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (/ (sin y) (cbrt y)) (cbrt y)) (/ (sin y) (sqrt y)) (sin y) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (real->posit16 (/ (sin y) y)) (+ (* (* y y) (- (* 1/120 (* y y)) 1/6)) 1) (/ (sin y) y) (/ (sin y) y) 1.358 * * * [progress]: adding candidates to table 1.467 * * [progress]: iteration 2 / 4 1.467 * * * [progress]: picking best candidate 1.483 * * * * [pick]: Picked # 1.483 * * * [progress]: localizing error 1.496 * * * [progress]: generating rewritten candidates 1.496 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 1.503 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 1.512 * * * [progress]: generating series expansions 1.512 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 1.512 * [backup-simplify]: Simplify (/ 1 (/ y (sin y))) into (/ (sin y) y) 1.512 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 1.512 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 1.512 * [taylor]: Taking taylor expansion of (sin y) in y 1.512 * [taylor]: Taking taylor expansion of y in y 1.512 * [backup-simplify]: Simplify 0 into 0 1.512 * [backup-simplify]: Simplify 1 into 1 1.512 * [taylor]: Taking taylor expansion of y in y 1.512 * [backup-simplify]: Simplify 0 into 0 1.513 * [backup-simplify]: Simplify 1 into 1 1.513 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1.513 * [backup-simplify]: Simplify (/ 1 1) into 1 1.513 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 1.513 * [taylor]: Taking taylor expansion of (sin y) in y 1.513 * [taylor]: Taking taylor expansion of y in y 1.513 * [backup-simplify]: Simplify 0 into 0 1.514 * [backup-simplify]: Simplify 1 into 1 1.514 * [taylor]: Taking taylor expansion of y in y 1.514 * [backup-simplify]: Simplify 0 into 0 1.514 * [backup-simplify]: Simplify 1 into 1 1.514 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1.514 * [backup-simplify]: Simplify (/ 1 1) into 1 1.514 * [backup-simplify]: Simplify 1 into 1 1.515 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1.515 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0 1.515 * [backup-simplify]: Simplify 0 into 0 1.516 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 1.517 * [backup-simplify]: Simplify (- (/ -1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into -1/6 1.517 * [backup-simplify]: Simplify -1/6 into -1/6 1.518 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0 1.518 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)))) into 0 1.519 * [backup-simplify]: Simplify 0 into 0 1.520 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 5) 120)) 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 1 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 1/120 1.521 * [backup-simplify]: Simplify (- (/ 1/120 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 1/120 1.521 * [backup-simplify]: Simplify 1/120 into 1/120 1.521 * [backup-simplify]: Simplify (+ (* 1/120 (pow y 4)) (+ (* -1/6 (pow y 2)) 1)) into (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) 1.521 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 y) (sin (/ 1 y)))) into (* y (sin (/ 1 y))) 1.521 * [approximate]: Taking taylor expansion of (* y (sin (/ 1 y))) in (y) around 0 1.522 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y 1.522 * [taylor]: Taking taylor expansion of y in y 1.522 * [backup-simplify]: Simplify 0 into 0 1.522 * [backup-simplify]: Simplify 1 into 1 1.522 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.522 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.522 * [taylor]: Taking taylor expansion of y in y 1.522 * [backup-simplify]: Simplify 0 into 0 1.522 * [backup-simplify]: Simplify 1 into 1 1.522 * [backup-simplify]: Simplify (/ 1 1) into 1 1.522 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1.522 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y 1.522 * [taylor]: Taking taylor expansion of y in y 1.522 * [backup-simplify]: Simplify 0 into 0 1.522 * [backup-simplify]: Simplify 1 into 1 1.522 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.522 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.522 * [taylor]: Taking taylor expansion of y in y 1.522 * [backup-simplify]: Simplify 0 into 0 1.522 * [backup-simplify]: Simplify 1 into 1 1.522 * [backup-simplify]: Simplify (/ 1 1) into 1 1.522 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1.522 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0 1.522 * [backup-simplify]: Simplify 0 into 0 1.523 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y)) 1.523 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1.523 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ 1 y))))) into 0 1.523 * [backup-simplify]: Simplify 0 into 0 1.524 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))) into 0 1.524 * [backup-simplify]: Simplify 0 into 0 1.525 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))) into 0 1.525 * [backup-simplify]: Simplify 0 into 0 1.526 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))) into 0 1.526 * [backup-simplify]: Simplify 0 into 0 1.528 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))))) into 0 1.528 * [backup-simplify]: Simplify 0 into 0 1.529 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))))) into 0 1.529 * [backup-simplify]: Simplify 0 into 0 1.529 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 y))) (/ 1 y)) into (/ (sin y) y) 1.529 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 (- y)) (sin (/ 1 (- y))))) into (* -1 (* y (sin (/ -1 y)))) 1.529 * [approximate]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in (y) around 0 1.529 * [taylor]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in y 1.529 * [taylor]: Taking taylor expansion of -1 in y 1.529 * [backup-simplify]: Simplify -1 into -1 1.529 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y 1.530 * [taylor]: Taking taylor expansion of y in y 1.530 * [backup-simplify]: Simplify 0 into 0 1.530 * [backup-simplify]: Simplify 1 into 1 1.530 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.530 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.530 * [taylor]: Taking taylor expansion of -1 in y 1.530 * [backup-simplify]: Simplify -1 into -1 1.530 * [taylor]: Taking taylor expansion of y in y 1.530 * [backup-simplify]: Simplify 0 into 0 1.530 * [backup-simplify]: Simplify 1 into 1 1.530 * [backup-simplify]: Simplify (/ -1 1) into -1 1.530 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1.530 * [taylor]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in y 1.530 * [taylor]: Taking taylor expansion of -1 in y 1.530 * [backup-simplify]: Simplify -1 into -1 1.530 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y 1.530 * [taylor]: Taking taylor expansion of y in y 1.530 * [backup-simplify]: Simplify 0 into 0 1.530 * [backup-simplify]: Simplify 1 into 1 1.530 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.530 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.530 * [taylor]: Taking taylor expansion of -1 in y 1.530 * [backup-simplify]: Simplify -1 into -1 1.530 * [taylor]: Taking taylor expansion of y in y 1.530 * [backup-simplify]: Simplify 0 into 0 1.530 * [backup-simplify]: Simplify 1 into 1 1.530 * [backup-simplify]: Simplify (/ -1 1) into -1 1.530 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1.531 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0 1.531 * [backup-simplify]: Simplify (* -1 0) into 0 1.531 * [backup-simplify]: Simplify 0 into 0 1.531 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y)) 1.531 * [backup-simplify]: Simplify (+ (* -1 (sin (/ -1 y))) (* 0 0)) into (- (sin (/ -1 y))) 1.531 * [backup-simplify]: Simplify (- (sin (/ -1 y))) into (- (sin (/ -1 y))) 1.532 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ -1 y))))) into 0 1.533 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))) into 0 1.533 * [backup-simplify]: Simplify 0 into 0 1.533 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0 1.534 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))) into 0 1.534 * [backup-simplify]: Simplify 0 into 0 1.536 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))) into 0 1.537 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))) into 0 1.537 * [backup-simplify]: Simplify 0 into 0 1.539 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))) into 0 1.541 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))) into 0 1.541 * [backup-simplify]: Simplify 0 into 0 1.543 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))))) into 0 1.545 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))))) into 0 1.545 * [backup-simplify]: Simplify 0 into 0 1.547 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))))) into 0 1.550 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))))) into 0 1.550 * [backup-simplify]: Simplify 0 into 0 1.550 * [backup-simplify]: Simplify (* (- (sin (/ -1 (/ 1 (- y))))) (/ 1 (- y))) into (/ (sin y) y) 1.550 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 1.550 * [backup-simplify]: Simplify (/ y (sin y)) into (/ y (sin y)) 1.550 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0 1.550 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 1.550 * [taylor]: Taking taylor expansion of y in y 1.550 * [backup-simplify]: Simplify 0 into 0 1.550 * [backup-simplify]: Simplify 1 into 1 1.550 * [taylor]: Taking taylor expansion of (sin y) in y 1.551 * [taylor]: Taking taylor expansion of y in y 1.551 * [backup-simplify]: Simplify 0 into 0 1.551 * [backup-simplify]: Simplify 1 into 1 1.551 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1.552 * [backup-simplify]: Simplify (/ 1 1) into 1 1.552 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 1.552 * [taylor]: Taking taylor expansion of y in y 1.552 * [backup-simplify]: Simplify 0 into 0 1.552 * [backup-simplify]: Simplify 1 into 1 1.552 * [taylor]: Taking taylor expansion of (sin y) in y 1.552 * [taylor]: Taking taylor expansion of y in y 1.552 * [backup-simplify]: Simplify 0 into 0 1.552 * [backup-simplify]: Simplify 1 into 1 1.552 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1.553 * [backup-simplify]: Simplify (/ 1 1) into 1 1.553 * [backup-simplify]: Simplify 1 into 1 1.554 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1.555 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0 1.555 * [backup-simplify]: Simplify 0 into 0 1.556 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 1.557 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ -1/6 1)) (* 0 (/ 0 1)))) into 1/6 1.557 * [backup-simplify]: Simplify 1/6 into 1/6 1.559 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0 1.561 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ -1/6 1)) (* 1/6 (/ 0 1)))) into 0 1.561 * [backup-simplify]: Simplify 0 into 0 1.565 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 5) 120)) 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 1 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 1/120 1.567 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 1/120 1)) (* 0 (/ 0 1)) (* 1/6 (/ -1/6 1)) (* 0 (/ 0 1)))) into 7/360 1.567 * [backup-simplify]: Simplify 7/360 into 7/360 1.567 * [backup-simplify]: Simplify (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1)) into (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1)) 1.567 * [backup-simplify]: Simplify (/ (/ 1 y) (sin (/ 1 y))) into (/ 1 (* y (sin (/ 1 y)))) 1.567 * [approximate]: Taking taylor expansion of (/ 1 (* y (sin (/ 1 y)))) in (y) around 0 1.567 * [taylor]: Taking taylor expansion of (/ 1 (* y (sin (/ 1 y)))) in y 1.567 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y 1.567 * [taylor]: Taking taylor expansion of y in y 1.567 * [backup-simplify]: Simplify 0 into 0 1.567 * [backup-simplify]: Simplify 1 into 1 1.567 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.567 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.567 * [taylor]: Taking taylor expansion of y in y 1.567 * [backup-simplify]: Simplify 0 into 0 1.567 * [backup-simplify]: Simplify 1 into 1 1.568 * [backup-simplify]: Simplify (/ 1 1) into 1 1.568 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1.568 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0 1.568 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y)) 1.569 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y))) 1.569 * [taylor]: Taking taylor expansion of (/ 1 (* y (sin (/ 1 y)))) in y 1.569 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y 1.569 * [taylor]: Taking taylor expansion of y in y 1.569 * [backup-simplify]: Simplify 0 into 0 1.569 * [backup-simplify]: Simplify 1 into 1 1.569 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.569 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.569 * [taylor]: Taking taylor expansion of y in y 1.569 * [backup-simplify]: Simplify 0 into 0 1.569 * [backup-simplify]: Simplify 1 into 1 1.569 * [backup-simplify]: Simplify (/ 1 1) into 1 1.569 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1.569 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0 1.570 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y)) 1.570 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y))) 1.570 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y))) 1.571 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ 1 y))))) into 0 1.571 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))))) into 0 1.571 * [backup-simplify]: Simplify 0 into 0 1.572 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))) into 0 1.573 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0 1.573 * [backup-simplify]: Simplify 0 into 0 1.574 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))) into 0 1.574 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0 1.575 * [backup-simplify]: Simplify 0 into 0 1.576 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))) into 0 1.577 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0 1.577 * [backup-simplify]: Simplify 0 into 0 1.579 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))))) into 0 1.580 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0 1.580 * [backup-simplify]: Simplify 0 into 0 1.582 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))))) into 0 1.583 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0 1.583 * [backup-simplify]: Simplify 0 into 0 1.583 * [backup-simplify]: Simplify (* (/ 1 (sin (/ 1 (/ 1 y)))) (/ 1 (/ 1 y))) into (/ y (sin y)) 1.583 * [backup-simplify]: Simplify (/ (/ 1 (- y)) (sin (/ 1 (- y)))) into (/ -1 (* y (sin (/ -1 y)))) 1.583 * [approximate]: Taking taylor expansion of (/ -1 (* y (sin (/ -1 y)))) in (y) around 0 1.583 * [taylor]: Taking taylor expansion of (/ -1 (* y (sin (/ -1 y)))) in y 1.583 * [taylor]: Taking taylor expansion of -1 in y 1.583 * [backup-simplify]: Simplify -1 into -1 1.583 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y 1.583 * [taylor]: Taking taylor expansion of y in y 1.583 * [backup-simplify]: Simplify 0 into 0 1.583 * [backup-simplify]: Simplify 1 into 1 1.583 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.583 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.583 * [taylor]: Taking taylor expansion of -1 in y 1.583 * [backup-simplify]: Simplify -1 into -1 1.583 * [taylor]: Taking taylor expansion of y in y 1.583 * [backup-simplify]: Simplify 0 into 0 1.583 * [backup-simplify]: Simplify 1 into 1 1.584 * [backup-simplify]: Simplify (/ -1 1) into -1 1.584 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1.584 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0 1.584 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y)) 1.585 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y))) 1.585 * [taylor]: Taking taylor expansion of (/ -1 (* y (sin (/ -1 y)))) in y 1.585 * [taylor]: Taking taylor expansion of -1 in y 1.585 * [backup-simplify]: Simplify -1 into -1 1.585 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y 1.585 * [taylor]: Taking taylor expansion of y in y 1.585 * [backup-simplify]: Simplify 0 into 0 1.585 * [backup-simplify]: Simplify 1 into 1 1.585 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.585 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.585 * [taylor]: Taking taylor expansion of -1 in y 1.585 * [backup-simplify]: Simplify -1 into -1 1.585 * [taylor]: Taking taylor expansion of y in y 1.585 * [backup-simplify]: Simplify 0 into 0 1.585 * [backup-simplify]: Simplify 1 into 1 1.585 * [backup-simplify]: Simplify (/ -1 1) into -1 1.585 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1.585 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0 1.585 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y)) 1.585 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y))) 1.586 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y))) 1.586 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ -1 y))))) into 0 1.586 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))))) into 0 1.586 * [backup-simplify]: Simplify 0 into 0 1.587 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0 1.587 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0 1.587 * [backup-simplify]: Simplify 0 into 0 1.588 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))) into 0 1.588 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0 1.588 * [backup-simplify]: Simplify 0 into 0 1.590 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))) into 0 1.590 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0 1.590 * [backup-simplify]: Simplify 0 into 0 1.591 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))))) into 0 1.592 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0 1.592 * [backup-simplify]: Simplify 0 into 0 1.593 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))))) into 0 1.594 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0 1.594 * [backup-simplify]: Simplify 0 into 0 1.594 * [backup-simplify]: Simplify (* (/ -1 (sin (/ -1 (/ 1 (- y))))) (/ 1 (/ 1 (- y)))) into (/ y (sin y)) 1.594 * * * [progress]: simplifying candidates 1.594 * * * * [progress]: [ 1 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 2 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 3 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 4 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 5 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 6 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 7 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 8 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 9 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 10 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 11 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 12 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 13 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 14 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 15 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 16 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 17 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 18 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 19 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 20 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 21 / 111 ] simplifiying candidate # 1.594 * * * * [progress]: [ 22 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 23 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 24 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 25 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 26 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 27 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 28 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 29 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 30 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 31 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 32 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 33 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 34 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 35 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 36 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 37 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 38 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 39 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 40 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 41 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 42 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 43 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 44 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 45 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 46 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 47 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 48 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 49 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 50 / 111 ] simplifiying candidate # 1.595 * * * * [progress]: [ 51 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 52 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 53 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 54 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 55 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 56 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 57 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 58 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 59 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 60 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 61 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 62 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 63 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 64 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 65 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 66 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 67 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 68 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 69 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 70 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 71 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 72 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 73 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 74 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 75 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 76 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 77 / 111 ] simplifiying candidate #real (real->posit16 (/ 1 (/ y (sin y)))))))> 1.596 * * * * [progress]: [ 78 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 79 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 80 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 81 / 111 ] simplifiying candidate # 1.596 * * * * [progress]: [ 82 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 83 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 84 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 85 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 86 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 87 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 88 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 89 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 90 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 91 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 92 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 93 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 94 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 95 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 96 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 97 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 98 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 99 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 100 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 101 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 102 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 103 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 104 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 105 / 111 ] simplifiying candidate #real (real->posit16 (/ y (sin y)))))))> 1.597 * * * * [progress]: [ 106 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 107 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 108 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 109 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 110 / 111 ] simplifiying candidate # 1.597 * * * * [progress]: [ 111 / 111 ] simplifiying candidate # 1.598 * [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)) 1.600 * * [simplify]: iteration 0: 162 enodes 1.672 * * [simplify]: iteration 1: 382 enodes 1.805 * * [simplify]: iteration 2: 1091 enodes 2.020 * * [simplify]: iteration complete: 2006 enodes 2.020 * * [simplify]: Extracting #0: cost 67 inf + 0 2.021 * * [simplify]: Extracting #1: cost 492 inf + 127 2.025 * * [simplify]: Extracting #2: cost 653 inf + 7258 2.038 * * [simplify]: Extracting #3: cost 264 inf + 65859 2.061 * * [simplify]: Extracting #4: cost 17 inf + 110805 2.088 * * [simplify]: Extracting #5: cost 0 inf + 114785 2.117 * [simplify]: Simplified to: -1 (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (exp (/ 1 (/ y (sin y)))) (* (/ (sin y) y) (* (/ (sin y) y) (/ (sin y) y))) (/ (/ (/ 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))) (/ y (sin y))) (/ y (sin y))) (sqrt (/ 1 (/ y (sin y)))) (sqrt (/ 1 (/ y (sin y)))) -1 (/ (- y) (sin y)) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (* (/ (cbrt y) (cbrt (sin y))) (/ (cbrt y) (cbrt (sin y))))) (/ (* 1 (cbrt (sin y))) (cbrt y)) (/ (* 1 (sqrt (sin y))) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (* (/ 1 (sqrt y)) (cbrt (sin y))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (* (/ 1 (sqrt y)) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (* (sqrt (sin y)) (/ 1 y)) 1 (/ 1 (/ y (sin y))) 1 (/ 1 (/ y (sin y))) (/ 1 y) (sin y) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (* (/ (cbrt y) (cbrt (sin y))) (/ (cbrt y) (cbrt (sin y))))) (/ (* 1 (cbrt (sin y))) (cbrt y)) (/ (* 1 (sqrt (sin y))) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (* (/ 1 (sqrt y)) (cbrt (sin y))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (* (/ 1 (sqrt y)) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (* (sqrt (sin y)) (/ 1 y)) 1 (/ 1 (/ y (sin y))) 1 (/ 1 (/ y (sin y))) (/ 1 y) (sin y) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (* (/ (cbrt y) (cbrt (sin y))) (/ (cbrt y) (cbrt (sin y))))) (/ (* 1 (cbrt (sin y))) (cbrt y)) (/ (* 1 (sqrt (sin y))) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (* (/ 1 (sqrt y)) (cbrt (sin y))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (* (/ 1 (sqrt y)) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (* (sqrt (sin y)) (/ 1 y)) 1 (/ 1 (/ y (sin y))) 1 (/ 1 (/ y (sin y))) (/ 1 y) (sin y) (/ 1 (/ y (sin y))) (/ y (sin y)) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (* (/ (cbrt y) (cbrt (sin y))) (/ (cbrt y) (cbrt (sin y))))) (/ (* 1 (sqrt (sin y))) (* (cbrt y) (cbrt y))) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt 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 (/ 1 (/ y (sin y)))) (log (/ y (sin y))) (log (/ y (sin y))) (exp (/ y (sin y))) (* (/ y (sin y)) (* (/ y (sin y)) (/ y (sin y)))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))) (* (/ y (sin y)) (* (/ y (sin y)) (/ y (sin y)))) (sqrt (/ y (sin y))) (sqrt (/ y (sin y))) (- y) (- (sin y)) (* (/ (cbrt y) (cbrt (sin y))) (/ (cbrt y) (cbrt (sin y)))) (/ (cbrt y) (cbrt (sin y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))) (/ (cbrt y) (sqrt (sin y))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (sin y)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt y) (cbrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (sqrt y) (/ (sqrt y) (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y))) 1 (/ y (sin y)) (/ 1 (sin y)) (/ (sin y) y) (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) y (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (real->posit16 (/ y (sin y))) (+ 1 (- (* 1/120 (* (* y y) (* y y))) (* 1/6 (* y y)))) (/ (sin y) y) (/ (sin y) y) (+ (* (* 7/360 (* y y)) (* y y)) (+ 1 (* 1/6 (* y y)))) (/ y (sin y)) (/ y (sin y)) 2.123 * * * [progress]: adding candidates to table 2.456 * * [progress]: iteration 3 / 4 2.456 * * * [progress]: picking best candidate 2.475 * * * * [pick]: Picked # 2.475 * * * [progress]: localizing error 2.501 * * * [progress]: generating rewritten candidates 2.501 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 2.515 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 2.536 * * * [progress]: generating series expansions 2.536 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 2.536 * [backup-simplify]: Simplify (/ (/ 1 y) (/ 1 (sin y))) into (/ (sin y) y) 2.536 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 2.536 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 2.536 * [taylor]: Taking taylor expansion of (sin y) in y 2.536 * [taylor]: Taking taylor expansion of y in y 2.536 * [backup-simplify]: Simplify 0 into 0 2.536 * [backup-simplify]: Simplify 1 into 1 2.536 * [taylor]: Taking taylor expansion of y in y 2.536 * [backup-simplify]: Simplify 0 into 0 2.536 * [backup-simplify]: Simplify 1 into 1 2.537 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 2.538 * [backup-simplify]: Simplify (/ 1 1) into 1 2.538 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 2.538 * [taylor]: Taking taylor expansion of (sin y) in y 2.538 * [taylor]: Taking taylor expansion of y in y 2.538 * [backup-simplify]: Simplify 0 into 0 2.538 * [backup-simplify]: Simplify 1 into 1 2.538 * [taylor]: Taking taylor expansion of y in y 2.538 * [backup-simplify]: Simplify 0 into 0 2.538 * [backup-simplify]: Simplify 1 into 1 2.538 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 2.539 * [backup-simplify]: Simplify (/ 1 1) into 1 2.539 * [backup-simplify]: Simplify 1 into 1 2.540 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 2.541 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0 2.541 * [backup-simplify]: Simplify 0 into 0 2.541 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 2.542 * [backup-simplify]: Simplify (- (/ -1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into -1/6 2.542 * [backup-simplify]: Simplify -1/6 into -1/6 2.543 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0 2.544 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)))) into 0 2.544 * [backup-simplify]: Simplify 0 into 0 2.546 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 5) 120)) 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 1 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 1/120 2.546 * [backup-simplify]: Simplify (- (/ 1/120 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 1/120 2.547 * [backup-simplify]: Simplify 1/120 into 1/120 2.547 * [backup-simplify]: Simplify (+ (* 1/120 (pow y 4)) (+ (* -1/6 (pow y 2)) 1)) into (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) 2.547 * [backup-simplify]: Simplify (/ (/ 1 (/ 1 y)) (/ 1 (sin (/ 1 y)))) into (* y (sin (/ 1 y))) 2.547 * [approximate]: Taking taylor expansion of (* y (sin (/ 1 y))) in (y) around 0 2.547 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y 2.547 * [taylor]: Taking taylor expansion of y in y 2.547 * [backup-simplify]: Simplify 0 into 0 2.547 * [backup-simplify]: Simplify 1 into 1 2.547 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.547 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.547 * [taylor]: Taking taylor expansion of y in y 2.547 * [backup-simplify]: Simplify 0 into 0 2.547 * [backup-simplify]: Simplify 1 into 1 2.547 * [backup-simplify]: Simplify (/ 1 1) into 1 2.547 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 2.547 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y 2.547 * [taylor]: Taking taylor expansion of y in y 2.547 * [backup-simplify]: Simplify 0 into 0 2.547 * [backup-simplify]: Simplify 1 into 1 2.547 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.547 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.547 * [taylor]: Taking taylor expansion of y in y 2.547 * [backup-simplify]: Simplify 0 into 0 2.547 * [backup-simplify]: Simplify 1 into 1 2.548 * [backup-simplify]: Simplify (/ 1 1) into 1 2.548 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 2.548 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0 2.548 * [backup-simplify]: Simplify 0 into 0 2.548 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y)) 2.548 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 2.549 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ 1 y))))) into 0 2.549 * [backup-simplify]: Simplify 0 into 0 2.549 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))) into 0 2.550 * [backup-simplify]: Simplify 0 into 0 2.551 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))) into 0 2.551 * [backup-simplify]: Simplify 0 into 0 2.553 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))) into 0 2.553 * [backup-simplify]: Simplify 0 into 0 2.555 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))))) into 0 2.555 * [backup-simplify]: Simplify 0 into 0 2.557 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))))) into 0 2.557 * [backup-simplify]: Simplify 0 into 0 2.557 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 y))) (/ 1 y)) into (/ (sin y) y) 2.558 * [backup-simplify]: Simplify (/ (/ 1 (/ 1 (- y))) (/ 1 (sin (/ 1 (- y))))) into (* -1 (* y (sin (/ -1 y)))) 2.558 * [approximate]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in (y) around 0 2.558 * [taylor]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in y 2.558 * [taylor]: Taking taylor expansion of -1 in y 2.558 * [backup-simplify]: Simplify -1 into -1 2.558 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y 2.558 * [taylor]: Taking taylor expansion of y in y 2.558 * [backup-simplify]: Simplify 0 into 0 2.558 * [backup-simplify]: Simplify 1 into 1 2.558 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.558 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.558 * [taylor]: Taking taylor expansion of -1 in y 2.558 * [backup-simplify]: Simplify -1 into -1 2.558 * [taylor]: Taking taylor expansion of y in y 2.558 * [backup-simplify]: Simplify 0 into 0 2.558 * [backup-simplify]: Simplify 1 into 1 2.558 * [backup-simplify]: Simplify (/ -1 1) into -1 2.558 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 2.558 * [taylor]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in y 2.559 * [taylor]: Taking taylor expansion of -1 in y 2.559 * [backup-simplify]: Simplify -1 into -1 2.559 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y 2.559 * [taylor]: Taking taylor expansion of y in y 2.559 * [backup-simplify]: Simplify 0 into 0 2.559 * [backup-simplify]: Simplify 1 into 1 2.559 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.559 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.559 * [taylor]: Taking taylor expansion of -1 in y 2.559 * [backup-simplify]: Simplify -1 into -1 2.559 * [taylor]: Taking taylor expansion of y in y 2.559 * [backup-simplify]: Simplify 0 into 0 2.559 * [backup-simplify]: Simplify 1 into 1 2.559 * [backup-simplify]: Simplify (/ -1 1) into -1 2.559 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 2.559 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0 2.560 * [backup-simplify]: Simplify (* -1 0) into 0 2.560 * [backup-simplify]: Simplify 0 into 0 2.560 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y)) 2.561 * [backup-simplify]: Simplify (+ (* -1 (sin (/ -1 y))) (* 0 0)) into (- (sin (/ -1 y))) 2.561 * [backup-simplify]: Simplify (- (sin (/ -1 y))) into (- (sin (/ -1 y))) 2.561 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ -1 y))))) into 0 2.562 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))) into 0 2.562 * [backup-simplify]: Simplify 0 into 0 2.563 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0 2.564 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))) into 0 2.564 * [backup-simplify]: Simplify 0 into 0 2.566 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))) into 0 2.567 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))) into 0 2.567 * [backup-simplify]: Simplify 0 into 0 2.569 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))) into 0 2.571 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))) into 0 2.571 * [backup-simplify]: Simplify 0 into 0 2.573 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))))) into 0 2.575 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))))) into 0 2.575 * [backup-simplify]: Simplify 0 into 0 2.577 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))))) into 0 2.580 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))))) into 0 2.580 * [backup-simplify]: Simplify 0 into 0 2.580 * [backup-simplify]: Simplify (* (- (sin (/ -1 (/ 1 (- y))))) (/ 1 (- y))) into (/ (sin y) y) 2.580 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 2.580 * [backup-simplify]: Simplify (/ 1 (sin y)) into (/ 1 (sin y)) 2.580 * [approximate]: Taking taylor expansion of (/ 1 (sin y)) in (y) around 0 2.580 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 2.580 * [taylor]: Taking taylor expansion of (sin y) in y 2.580 * [taylor]: Taking taylor expansion of y in y 2.580 * [backup-simplify]: Simplify 0 into 0 2.580 * [backup-simplify]: Simplify 1 into 1 2.581 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 2.581 * [backup-simplify]: Simplify (/ 1 1) into 1 2.581 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 2.581 * [taylor]: Taking taylor expansion of (sin y) in y 2.581 * [taylor]: Taking taylor expansion of y in y 2.581 * [backup-simplify]: Simplify 0 into 0 2.581 * [backup-simplify]: Simplify 1 into 1 2.582 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 2.582 * [backup-simplify]: Simplify (/ 1 1) into 1 2.582 * [backup-simplify]: Simplify 1 into 1 2.583 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 2.584 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.584 * [backup-simplify]: Simplify 0 into 0 2.585 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 2.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ -1/6 1)) (* 0 (/ 0 1)))) into 1/6 2.586 * [backup-simplify]: Simplify 1/6 into 1/6 2.587 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0 2.589 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ -1/6 1)) (* 1/6 (/ 0 1)))) into 0 2.589 * [backup-simplify]: Simplify 0 into 0 2.591 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 5) 120)) 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 1 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 1/120 2.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/120 1)) (* 0 (/ 0 1)) (* 1/6 (/ -1/6 1)) (* 0 (/ 0 1)))) into 7/360 2.593 * [backup-simplify]: Simplify 7/360 into 7/360 2.593 * [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))) 2.593 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y))) 2.593 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in (y) around 0 2.593 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 2.593 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.593 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.594 * [taylor]: Taking taylor expansion of y in y 2.594 * [backup-simplify]: Simplify 0 into 0 2.594 * [backup-simplify]: Simplify 1 into 1 2.594 * [backup-simplify]: Simplify (/ 1 1) into 1 2.594 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 2.594 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y))) 2.594 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 2.594 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.594 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.594 * [taylor]: Taking taylor expansion of y in y 2.594 * [backup-simplify]: Simplify 0 into 0 2.594 * [backup-simplify]: Simplify 1 into 1 2.595 * [backup-simplify]: Simplify (/ 1 1) into 1 2.595 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 2.595 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y))) 2.595 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y))) 2.595 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))))) into 0 2.595 * [backup-simplify]: Simplify 0 into 0 2.595 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0 2.595 * [backup-simplify]: Simplify 0 into 0 2.596 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0 2.596 * [backup-simplify]: Simplify 0 into 0 2.596 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0 2.596 * [backup-simplify]: Simplify 0 into 0 2.596 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0 2.596 * [backup-simplify]: Simplify 0 into 0 2.597 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0 2.597 * [backup-simplify]: Simplify 0 into 0 2.597 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 (/ 1 y)))) into (/ 1 (sin y)) 2.597 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 (- y)))) into (/ 1 (sin (/ -1 y))) 2.597 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in (y) around 0 2.597 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 2.597 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.597 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.597 * [taylor]: Taking taylor expansion of -1 in y 2.597 * [backup-simplify]: Simplify -1 into -1 2.597 * [taylor]: Taking taylor expansion of y in y 2.597 * [backup-simplify]: Simplify 0 into 0 2.597 * [backup-simplify]: Simplify 1 into 1 2.598 * [backup-simplify]: Simplify (/ -1 1) into -1 2.598 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 2.598 * [backup-simplify]: Simplify (/ 1 (sin (/ -1 y))) into (/ 1 (sin (/ -1 y))) 2.598 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 2.598 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.598 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.598 * [taylor]: Taking taylor expansion of -1 in y 2.598 * [backup-simplify]: Simplify -1 into -1 2.598 * [taylor]: Taking taylor expansion of y in y 2.598 * [backup-simplify]: Simplify 0 into 0 2.598 * [backup-simplify]: Simplify 1 into 1 2.598 * [backup-simplify]: Simplify (/ -1 1) into -1 2.599 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 2.599 * [backup-simplify]: Simplify (/ 1 (sin (/ -1 y))) into (/ 1 (sin (/ -1 y))) 2.599 * [backup-simplify]: Simplify (/ 1 (sin (/ -1 y))) into (/ 1 (sin (/ -1 y))) 2.599 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))))) into 0 2.599 * [backup-simplify]: Simplify 0 into 0 2.599 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0 2.599 * [backup-simplify]: Simplify 0 into 0 2.599 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0 2.599 * [backup-simplify]: Simplify 0 into 0 2.600 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0 2.600 * [backup-simplify]: Simplify 0 into 0 2.600 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0 2.600 * [backup-simplify]: Simplify 0 into 0 2.601 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0 2.601 * [backup-simplify]: Simplify 0 into 0 2.601 * [backup-simplify]: Simplify (/ 1 (sin (/ -1 (/ 1 (- y))))) into (/ 1 (sin y)) 2.601 * * * [progress]: simplifying candidates 2.601 * * * * [progress]: [ 1 / 266 ] simplifiying candidate # 2.601 * * * * [progress]: [ 2 / 266 ] simplifiying candidate # 2.601 * * * * [progress]: [ 3 / 266 ] simplifiying candidate # 2.601 * * * * [progress]: [ 4 / 266 ] simplifiying candidate # 2.601 * * * * [progress]: [ 5 / 266 ] simplifiying candidate # 2.601 * * * * [progress]: [ 6 / 266 ] simplifiying candidate # 2.601 * * * * [progress]: [ 7 / 266 ] simplifiying candidate # 2.601 * * * * [progress]: [ 8 / 266 ] simplifiying candidate # 2.601 * * * * [progress]: [ 9 / 266 ] simplifiying candidate # 2.601 * * * * [progress]: [ 10 / 266 ] simplifiying candidate # 2.602 * * * * [progress]: [ 11 / 266 ] simplifiying candidate # 2.602 * * * * [progress]: [ 12 / 266 ] simplifiying candidate # 2.602 * * * * [progress]: [ 13 / 266 ] simplifiying candidate # 2.602 * * * * [progress]: [ 14 / 266 ] simplifiying candidate # 2.602 * * * * [progress]: [ 15 / 266 ] simplifiying candidate # 2.602 * * * * [progress]: [ 16 / 266 ] simplifiying candidate # 2.602 * * * * [progress]: [ 17 / 266 ] simplifiying candidate # 2.602 * * * * [progress]: [ 18 / 266 ] simplifiying candidate # 2.602 * * * * [progress]: [ 19 / 266 ] simplifiying candidate # 2.602 * * * * [progress]: [ 20 / 266 ] simplifiying candidate # 2.602 * * * * [progress]: [ 21 / 266 ] simplifiying candidate # 2.602 * * * * [progress]: [ 22 / 266 ] simplifiying candidate # 2.602 * * * * [progress]: [ 23 / 266 ] simplifiying candidate # 2.602 * * * * [progress]: [ 24 / 266 ] simplifiying candidate # 2.602 * * * * [progress]: [ 25 / 266 ] simplifiying candidate # 2.602 * * * * [progress]: [ 26 / 266 ] simplifiying candidate # 2.602 * * * * [progress]: [ 27 / 266 ] simplifiying candidate # 2.602 * * * * [progress]: [ 28 / 266 ] simplifiying candidate # 2.603 * * * * [progress]: [ 29 / 266 ] simplifiying candidate # 2.603 * * * * [progress]: [ 30 / 266 ] simplifiying candidate # 2.603 * * * * [progress]: [ 31 / 266 ] simplifiying candidate # 2.603 * * * * [progress]: [ 32 / 266 ] simplifiying candidate # 2.603 * * * * [progress]: [ 33 / 266 ] simplifiying candidate # 2.603 * * * * [progress]: [ 34 / 266 ] simplifiying candidate # 2.603 * * * * [progress]: [ 35 / 266 ] simplifiying candidate # 2.603 * * * * [progress]: [ 36 / 266 ] simplifiying candidate # 2.603 * * * * [progress]: [ 37 / 266 ] simplifiying candidate # 2.603 * * * * [progress]: [ 38 / 266 ] simplifiying candidate # 2.603 * * * * [progress]: [ 39 / 266 ] simplifiying candidate # 2.603 * * * * [progress]: [ 40 / 266 ] simplifiying candidate # 2.603 * * * * [progress]: [ 41 / 266 ] simplifiying candidate # 2.603 * * * * [progress]: [ 42 / 266 ] simplifiying candidate # 2.603 * * * * [progress]: [ 43 / 266 ] simplifiying candidate # 2.604 * * * * [progress]: [ 44 / 266 ] simplifiying candidate # 2.604 * * * * [progress]: [ 45 / 266 ] simplifiying candidate # 2.604 * * * * [progress]: [ 46 / 266 ] simplifiying candidate # 2.604 * * * * [progress]: [ 47 / 266 ] simplifiying candidate # 2.604 * * * * [progress]: [ 48 / 266 ] simplifiying candidate # 2.604 * * * * [progress]: [ 49 / 266 ] simplifiying candidate # 2.604 * * * * [progress]: [ 50 / 266 ] simplifiying candidate # 2.604 * * * * [progress]: [ 51 / 266 ] simplifiying candidate # 2.604 * * * * [progress]: [ 52 / 266 ] simplifiying candidate # 2.604 * * * * [progress]: [ 53 / 266 ] simplifiying candidate # 2.604 * * * * [progress]: [ 54 / 266 ] simplifiying candidate # 2.604 * * * * [progress]: [ 55 / 266 ] simplifiying candidate # 2.604 * * * * [progress]: [ 56 / 266 ] simplifiying candidate # 2.604 * * * * [progress]: [ 57 / 266 ] simplifiying candidate # 2.604 * * * * [progress]: [ 58 / 266 ] simplifiying candidate # 2.604 * * * * [progress]: [ 59 / 266 ] simplifiying candidate # 2.605 * * * * [progress]: [ 60 / 266 ] simplifiying candidate # 2.605 * * * * [progress]: [ 61 / 266 ] simplifiying candidate # 2.605 * * * * [progress]: [ 62 / 266 ] simplifiying candidate # 2.605 * * * * [progress]: [ 63 / 266 ] simplifiying candidate # 2.605 * * * * [progress]: [ 64 / 266 ] simplifiying candidate # 2.605 * * * * [progress]: [ 65 / 266 ] simplifiying candidate # 2.605 * * * * [progress]: [ 66 / 266 ] simplifiying candidate # 2.605 * * * * [progress]: [ 67 / 266 ] simplifiying candidate # 2.605 * * * * [progress]: [ 68 / 266 ] simplifiying candidate # 2.605 * * * * [progress]: [ 69 / 266 ] simplifiying candidate # 2.605 * * * * [progress]: [ 70 / 266 ] simplifiying candidate # 2.605 * * * * [progress]: [ 71 / 266 ] simplifiying candidate # 2.605 * * * * [progress]: [ 72 / 266 ] simplifiying candidate # 2.605 * * * * [progress]: [ 73 / 266 ] simplifiying candidate # 2.605 * * * * [progress]: [ 74 / 266 ] simplifiying candidate # 2.605 * * * * [progress]: [ 75 / 266 ] simplifiying candidate # 2.606 * * * * [progress]: [ 76 / 266 ] simplifiying candidate # 2.606 * * * * [progress]: [ 77 / 266 ] simplifiying candidate # 2.606 * * * * [progress]: [ 78 / 266 ] simplifiying candidate # 2.606 * * * * [progress]: [ 79 / 266 ] simplifiying candidate # 2.606 * * * * [progress]: [ 80 / 266 ] simplifiying candidate # 2.606 * * * * [progress]: [ 81 / 266 ] simplifiying candidate # 2.606 * * * * [progress]: [ 82 / 266 ] simplifiying candidate # 2.606 * * * * [progress]: [ 83 / 266 ] simplifiying candidate # 2.606 * * * * [progress]: [ 84 / 266 ] simplifiying candidate # 2.606 * * * * [progress]: [ 85 / 266 ] simplifiying candidate # 2.606 * * * * [progress]: [ 86 / 266 ] simplifiying candidate # 2.606 * * * * [progress]: [ 87 / 266 ] simplifiying candidate # 2.606 * * * * [progress]: [ 88 / 266 ] simplifiying candidate # 2.606 * * * * [progress]: [ 89 / 266 ] simplifiying candidate # 2.606 * * * * [progress]: [ 90 / 266 ] simplifiying candidate # 2.606 * * * * [progress]: [ 91 / 266 ] simplifiying candidate # 2.606 * * * * [progress]: [ 92 / 266 ] simplifiying candidate # 2.607 * * * * [progress]: [ 93 / 266 ] simplifiying candidate # 2.607 * * * * [progress]: [ 94 / 266 ] simplifiying candidate # 2.607 * * * * [progress]: [ 95 / 266 ] simplifiying candidate # 2.607 * * * * [progress]: [ 96 / 266 ] simplifiying candidate # 2.607 * * * * [progress]: [ 97 / 266 ] simplifiying candidate # 2.607 * * * * [progress]: [ 98 / 266 ] simplifiying candidate # 2.607 * * * * [progress]: [ 99 / 266 ] simplifiying candidate # 2.607 * * * * [progress]: [ 100 / 266 ] simplifiying candidate # 2.607 * * * * [progress]: [ 101 / 266 ] simplifiying candidate # 2.607 * * * * [progress]: [ 102 / 266 ] simplifiying candidate # 2.607 * * * * [progress]: [ 103 / 266 ] simplifiying candidate # 2.607 * * * * [progress]: [ 104 / 266 ] simplifiying candidate # 2.607 * * * * [progress]: [ 105 / 266 ] simplifiying candidate # 2.607 * * * * [progress]: [ 106 / 266 ] simplifiying candidate # 2.607 * * * * [progress]: [ 107 / 266 ] simplifiying candidate # 2.607 * * * * [progress]: [ 108 / 266 ] simplifiying candidate # 2.607 * * * * [progress]: [ 109 / 266 ] simplifiying candidate # 2.608 * * * * [progress]: [ 110 / 266 ] simplifiying candidate # 2.608 * * * * [progress]: [ 111 / 266 ] simplifiying candidate # 2.608 * * * * [progress]: [ 112 / 266 ] simplifiying candidate # 2.608 * * * * [progress]: [ 113 / 266 ] simplifiying candidate # 2.608 * * * * [progress]: [ 114 / 266 ] simplifiying candidate # 2.608 * * * * [progress]: [ 115 / 266 ] simplifiying candidate # 2.608 * * * * [progress]: [ 116 / 266 ] simplifiying candidate # 2.608 * * * * [progress]: [ 117 / 266 ] simplifiying candidate # 2.608 * * * * [progress]: [ 118 / 266 ] simplifiying candidate # 2.608 * * * * [progress]: [ 119 / 266 ] simplifiying candidate # 2.608 * * * * [progress]: [ 120 / 266 ] simplifiying candidate # 2.608 * * * * [progress]: [ 121 / 266 ] simplifiying candidate # 2.608 * * * * [progress]: [ 122 / 266 ] simplifiying candidate # 2.608 * * * * [progress]: [ 123 / 266 ] simplifiying candidate # 2.608 * * * * [progress]: [ 124 / 266 ] simplifiying candidate # 2.608 * * * * [progress]: [ 125 / 266 ] simplifiying candidate # 2.608 * * * * [progress]: [ 126 / 266 ] simplifiying candidate # 2.608 * * * * [progress]: [ 127 / 266 ] simplifiying candidate # 2.609 * * * * [progress]: [ 128 / 266 ] simplifiying candidate # 2.609 * * * * [progress]: [ 129 / 266 ] simplifiying candidate # 2.609 * * * * [progress]: [ 130 / 266 ] simplifiying candidate # 2.609 * * * * [progress]: [ 131 / 266 ] simplifiying candidate # 2.609 * * * * [progress]: [ 132 / 266 ] simplifiying candidate # 2.609 * * * * [progress]: [ 133 / 266 ] simplifiying candidate # 2.609 * * * * [progress]: [ 134 / 266 ] simplifiying candidate # 2.609 * * * * [progress]: [ 135 / 266 ] simplifiying candidate # 2.609 * * * * [progress]: [ 136 / 266 ] simplifiying candidate # 2.609 * * * * [progress]: [ 137 / 266 ] simplifiying candidate # 2.609 * * * * [progress]: [ 138 / 266 ] simplifiying candidate # 2.609 * * * * [progress]: [ 139 / 266 ] simplifiying candidate # 2.609 * * * * [progress]: [ 140 / 266 ] simplifiying candidate # 2.609 * * * * [progress]: [ 141 / 266 ] simplifiying candidate # 2.609 * * * * [progress]: [ 142 / 266 ] simplifiying candidate # 2.609 * * * * [progress]: [ 143 / 266 ] simplifiying candidate # 2.609 * * * * [progress]: [ 144 / 266 ] simplifiying candidate # 2.609 * * * * [progress]: [ 145 / 266 ] simplifiying candidate # 2.610 * * * * [progress]: [ 146 / 266 ] simplifiying candidate # 2.610 * * * * [progress]: [ 147 / 266 ] simplifiying candidate # 2.610 * * * * [progress]: [ 148 / 266 ] simplifiying candidate # 2.610 * * * * [progress]: [ 149 / 266 ] simplifiying candidate # 2.610 * * * * [progress]: [ 150 / 266 ] simplifiying candidate # 2.610 * * * * [progress]: [ 151 / 266 ] simplifiying candidate # 2.610 * * * * [progress]: [ 152 / 266 ] simplifiying candidate # 2.610 * * * * [progress]: [ 153 / 266 ] simplifiying candidate # 2.610 * * * * [progress]: [ 154 / 266 ] simplifiying candidate # 2.610 * * * * [progress]: [ 155 / 266 ] simplifiying candidate # 2.610 * * * * [progress]: [ 156 / 266 ] simplifiying candidate # 2.610 * * * * [progress]: [ 157 / 266 ] simplifiying candidate # 2.610 * * * * [progress]: [ 158 / 266 ] simplifiying candidate # 2.610 * * * * [progress]: [ 159 / 266 ] simplifiying candidate # 2.610 * * * * [progress]: [ 160 / 266 ] simplifiying candidate # 2.611 * * * * [progress]: [ 161 / 266 ] simplifiying candidate # 2.611 * * * * [progress]: [ 162 / 266 ] simplifiying candidate # 2.611 * * * * [progress]: [ 163 / 266 ] simplifiying candidate # 2.611 * * * * [progress]: [ 164 / 266 ] simplifiying candidate # 2.611 * * * * [progress]: [ 165 / 266 ] simplifiying candidate # 2.611 * * * * [progress]: [ 166 / 266 ] simplifiying candidate # 2.611 * * * * [progress]: [ 167 / 266 ] simplifiying candidate # 2.611 * * * * [progress]: [ 168 / 266 ] simplifiying candidate # 2.611 * * * * [progress]: [ 169 / 266 ] simplifiying candidate # 2.611 * * * * [progress]: [ 170 / 266 ] simplifiying candidate # 2.611 * * * * [progress]: [ 171 / 266 ] simplifiying candidate # 2.611 * * * * [progress]: [ 172 / 266 ] simplifiying candidate # 2.611 * * * * [progress]: [ 173 / 266 ] simplifiying candidate # 2.611 * * * * [progress]: [ 174 / 266 ] simplifiying candidate # 2.611 * * * * [progress]: [ 175 / 266 ] simplifiying candidate # 2.611 * * * * [progress]: [ 176 / 266 ] simplifiying candidate # 2.611 * * * * [progress]: [ 177 / 266 ] simplifiying candidate # 2.611 * * * * [progress]: [ 178 / 266 ] simplifiying candidate # 2.612 * * * * [progress]: [ 179 / 266 ] simplifiying candidate # 2.612 * * * * [progress]: [ 180 / 266 ] simplifiying candidate # 2.612 * * * * [progress]: [ 181 / 266 ] simplifiying candidate # 2.612 * * * * [progress]: [ 182 / 266 ] simplifiying candidate # 2.612 * * * * [progress]: [ 183 / 266 ] simplifiying candidate # 2.612 * * * * [progress]: [ 184 / 266 ] simplifiying candidate # 2.612 * * * * [progress]: [ 185 / 266 ] simplifiying candidate # 2.612 * * * * [progress]: [ 186 / 266 ] simplifiying candidate # 2.612 * * * * [progress]: [ 187 / 266 ] simplifiying candidate # 2.612 * * * * [progress]: [ 188 / 266 ] simplifiying candidate # 2.612 * * * * [progress]: [ 189 / 266 ] simplifiying candidate # 2.612 * * * * [progress]: [ 190 / 266 ] simplifiying candidate # 2.612 * * * * [progress]: [ 191 / 266 ] simplifiying candidate # 2.612 * * * * [progress]: [ 192 / 266 ] simplifiying candidate # 2.612 * * * * [progress]: [ 193 / 266 ] simplifiying candidate # 2.612 * * * * [progress]: [ 194 / 266 ] simplifiying candidate # 2.612 * * * * [progress]: [ 195 / 266 ] simplifiying candidate # 2.612 * * * * [progress]: [ 196 / 266 ] simplifiying candidate # 2.612 * * * * [progress]: [ 197 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 198 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 199 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 200 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 201 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 202 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 203 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 204 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 205 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 206 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 207 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 208 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 209 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 210 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 211 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 212 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 213 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 214 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 215 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 216 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 217 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 218 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 219 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 220 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 221 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 222 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 223 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 224 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 225 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 226 / 266 ] simplifiying candidate # 2.613 * * * * [progress]: [ 227 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 228 / 266 ] simplifiying candidate #real (real->posit16 (/ (/ 1 y) (/ 1 (sin y)))))))> 2.614 * * * * [progress]: [ 229 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 230 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 231 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 232 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 233 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 234 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 235 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 236 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 237 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 238 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 239 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 240 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 241 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 242 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 243 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 244 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 245 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 246 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 247 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 248 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 249 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 250 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 251 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 252 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 253 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 254 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 255 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 256 / 266 ] simplifiying candidate # 2.614 * * * * [progress]: [ 257 / 266 ] simplifiying candidate # 2.615 * * * * [progress]: [ 258 / 266 ] simplifiying candidate # 2.615 * * * * [progress]: [ 259 / 266 ] simplifiying candidate # 2.615 * * * * [progress]: [ 260 / 266 ] simplifiying candidate #real (real->posit16 (/ 1 (sin y)))))))> 2.615 * * * * [progress]: [ 261 / 266 ] simplifiying candidate # 2.615 * * * * [progress]: [ 262 / 266 ] simplifiying candidate # 2.615 * * * * [progress]: [ 263 / 266 ] simplifiying candidate # 2.615 * * * * [progress]: [ 264 / 266 ] simplifiying candidate # 2.615 * * * * [progress]: [ 265 / 266 ] simplifiying candidate # 2.615 * * * * [progress]: [ 266 / 266 ] simplifiying candidate # 2.618 * [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)) 2.624 * * [simplify]: iteration 0: 403 enodes 2.870 * * [simplify]: iteration 1: 1194 enodes 3.144 * * [simplify]: iteration complete: 2001 enodes 3.144 * * [simplify]: Extracting #0: cost 87 inf + 0 3.146 * * [simplify]: Extracting #1: cost 386 inf + 2 3.150 * * [simplify]: Extracting #2: cost 427 inf + 18142 3.166 * * [simplify]: Extracting #3: cost 82 inf + 92091 3.187 * * [simplify]: Extracting #4: cost 13 inf + 102532 3.209 * * [simplify]: Extracting #5: cost 3 inf + 104388 3.230 * * [simplify]: Extracting #6: cost 0 inf + 105327 3.250 * [simplify]: Simplified to: (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (exp (* (/ 1 y) (sin y))) (* (/ 1 (* y (* y y))) (* (sin y) (* (sin y) (sin y)))) (/ (/ (/ 1 (* y (* y y))) (* (/ 1 (sin y)) (/ 1 (sin y)))) (/ 1 (sin y))) (* (* (* (/ 1 y) (* (/ 1 y) (/ 1 y))) (sin y)) (* (sin y) (sin y))) (* (/ (/ 1 y) (/ 1 (sin y))) (* (/ (/ 1 y) (/ 1 (sin y))) (/ (/ 1 y) (/ 1 (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)) (cbrt (/ 1 y))) (sqrt (/ 1 (sin y)))) (/ (cbrt (/ 1 y)) (sqrt (/ 1 (sin y)))) (* (* (cbrt (/ 1 y)) (cbrt (sin y))) (* (cbrt (/ 1 y)) (cbrt (sin y)))) (* (cbrt (/ 1 y)) (cbrt (sin y))) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (sin y))) (* (cbrt (/ 1 y)) (sqrt (sin y))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 y)) (sin y)) (* (* (cbrt (/ 1 y)) (cbrt (sin y))) (* (cbrt (/ 1 y)) (cbrt (sin y)))) (* (cbrt (/ 1 y)) (cbrt (sin y))) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (sin y))) (* (cbrt (/ 1 y)) (sqrt (sin y))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 y)) (sin y)) (* (* (cbrt (/ 1 y)) (cbrt (sin y))) (* (cbrt (/ 1 y)) (cbrt (sin y)))) (* (cbrt (/ 1 y)) (cbrt (sin y))) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt (sin y))) (* (cbrt (/ 1 y)) (sqrt (sin y))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 y)) (sin y)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 y)) (sin y)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt (/ 1 y)) (sin y)) (/ (/ (sqrt (/ 1 y)) (cbrt (/ 1 (sin y)))) (cbrt (/ 1 (sin y)))) (/ (sqrt (/ 1 y)) (cbrt (/ 1 (sin y)))) (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y)))) (/ (sqrt (/ 1 y)) (sqrt (/ 1 (sin y)))) (* (* (sqrt (/ 1 y)) (cbrt (sin y))) (cbrt (sin y))) (* (sqrt (/ 1 y)) (cbrt (sin y))) (* (sqrt (/ 1 y)) (sqrt (sin y))) (* (sqrt (/ 1 y)) (sqrt (sin y))) (sqrt (/ 1 y)) (* (sqrt (/ 1 y)) (sin y)) (* (* (sqrt (/ 1 y)) (cbrt (sin y))) (cbrt (sin y))) (* (sqrt (/ 1 y)) (cbrt (sin y))) (* (sqrt (/ 1 y)) (sqrt (sin y))) (* (sqrt (/ 1 y)) (sqrt (sin y))) (sqrt (/ 1 y)) (* (sqrt (/ 1 y)) (sin y)) (* (* (sqrt (/ 1 y)) (cbrt (sin y))) (cbrt (sin y))) (* (sqrt (/ 1 y)) (cbrt (sin y))) (* (sqrt (/ 1 y)) (sqrt (sin y))) (* (sqrt (/ 1 y)) (sqrt (sin y))) (sqrt (/ 1 y)) (* (sqrt (/ 1 y)) (sin y)) (sqrt (/ 1 y)) (* (sqrt (/ 1 y)) (sin y)) (sqrt (/ 1 y)) (* (sqrt (/ 1 y)) (sin y)) (* (/ (/ 1 (cbrt y)) (cbrt (/ 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))) (* (/ 1 (cbrt y)) (sqrt (sin y))) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (* 1 (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))) (* (/ 1 (cbrt y)) (sqrt (sin y))) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (* 1 (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))) (* (/ 1 (cbrt y)) (sqrt (sin y))) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (* 1 (sin y)) (cbrt y)) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (* 1 (sin y)) (cbrt y)) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (* 1 (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))) (* (/ 1 (sqrt y)) (sqrt (sin y))) (* (/ 1 (sqrt y)) (sqrt (sin y))) (/ 1 (sqrt y)) (* (/ 1 (sqrt y)) (sin y)) (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ 1 (sqrt y)) (cbrt (sin y))) (* (/ 1 (sqrt y)) (sqrt (sin y))) (* (/ 1 (sqrt y)) (sqrt (sin y))) (/ 1 (sqrt y)) (* (/ 1 (sqrt y)) (sin y)) (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ 1 (sqrt y)) (cbrt (sin y))) (* (/ 1 (sqrt y)) (sqrt (sin y))) (* (/ 1 (sqrt y)) (sqrt (sin y))) (/ 1 (sqrt y)) (* (/ 1 (sqrt y)) (sin y)) (/ 1 (sqrt y)) (* (/ 1 (sqrt y)) (sin y)) (/ 1 (sqrt y)) (* (/ 1 (sqrt y)) (sin y)) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (* (/ 1 y) (sqrt (sin y))) 1 (* (/ 1 y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (* (/ 1 y) (sqrt (sin y))) 1 (* (/ 1 y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (* (/ 1 y) (sqrt (sin y))) 1 (* (/ 1 y) (sin y)) 1 (* (/ 1 y) (sin y)) 1 (* (/ 1 y) (sin y)) (* (/ (/ 1 (cbrt y)) (cbrt (/ 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))) (* (/ 1 (cbrt y)) (sqrt (sin y))) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (* 1 (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))) (* (/ 1 (cbrt y)) (sqrt (sin y))) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (* 1 (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))) (* (/ 1 (cbrt y)) (sqrt (sin y))) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (* 1 (sin y)) (cbrt y)) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (* 1 (sin y)) (cbrt y)) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (* 1 (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))) (* (/ 1 (sqrt y)) (sqrt (sin y))) (* (/ 1 (sqrt y)) (sqrt (sin y))) (/ 1 (sqrt y)) (* (/ 1 (sqrt y)) (sin y)) (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ 1 (sqrt y)) (cbrt (sin y))) (* (/ 1 (sqrt y)) (sqrt (sin y))) (* (/ 1 (sqrt y)) (sqrt (sin y))) (/ 1 (sqrt y)) (* (/ 1 (sqrt y)) (sin y)) (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ 1 (sqrt y)) (cbrt (sin y))) (* (/ 1 (sqrt y)) (sqrt (sin y))) (* (/ 1 (sqrt y)) (sqrt (sin y))) (/ 1 (sqrt y)) (* (/ 1 (sqrt y)) (sin y)) (/ 1 (sqrt y)) (* (/ 1 (sqrt y)) (sin y)) (/ 1 (sqrt y)) (* (/ 1 (sqrt y)) (sin y)) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (* (/ 1 y) (sqrt (sin y))) 1 (* (/ 1 y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (* (/ 1 y) (sqrt (sin y))) 1 (* (/ 1 y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (* (/ 1 y) (sqrt (sin y))) 1 (* (/ 1 y) (sin y)) 1 (* (/ 1 y) (sin y)) 1 (* (/ 1 y) (sin y)) (* (/ (/ 1 (cbrt y)) (cbrt (/ 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))) (* (/ 1 (cbrt y)) (sqrt (sin y))) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (* 1 (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))) (* (/ 1 (cbrt y)) (sqrt (sin y))) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (* 1 (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))) (* (/ 1 (cbrt y)) (sqrt (sin y))) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (* 1 (sin y)) (cbrt y)) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (* 1 (sin y)) (cbrt y)) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (* 1 (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))) (* (/ 1 (sqrt y)) (sqrt (sin y))) (* (/ 1 (sqrt y)) (sqrt (sin y))) (/ 1 (sqrt y)) (* (/ 1 (sqrt y)) (sin y)) (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ 1 (sqrt y)) (cbrt (sin y))) (* (/ 1 (sqrt y)) (sqrt (sin y))) (* (/ 1 (sqrt y)) (sqrt (sin y))) (/ 1 (sqrt y)) (* (/ 1 (sqrt y)) (sin y)) (* (/ 1 (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ 1 (sqrt y)) (cbrt (sin y))) (* (/ 1 (sqrt y)) (sqrt (sin y))) (* (/ 1 (sqrt y)) (sqrt (sin y))) (/ 1 (sqrt y)) (* (/ 1 (sqrt y)) (sin y)) (/ 1 (sqrt y)) (* (/ 1 (sqrt y)) (sin y)) (/ 1 (sqrt y)) (* (/ 1 (sqrt y)) (sin y)) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (* (/ 1 y) (sqrt (sin y))) 1 (* (/ 1 y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (* (/ 1 y) (sqrt (sin y))) 1 (* (/ 1 y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (* (/ 1 y) (sqrt (sin y))) 1 (* (/ 1 y) (sin y)) 1 (* (/ 1 y) (sin y)) 1 (* (/ 1 y) (sin y)) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (* (/ 1 y) (sqrt (sin y))) 1 (* (/ 1 y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (* (/ 1 y) (sqrt (sin y))) 1 (* (/ 1 y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (* (/ 1 y) (sqrt (sin y))) 1 (* (/ 1 y) (sin y)) 1 (* (/ 1 y) (sin y)) 1 (* (/ 1 y) (sin y)) (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (/ (/ 1 y) (cbrt (/ 1 (sin y)))) (/ 1 (sqrt (/ 1 (sin y)))) (/ (/ 1 y) (sqrt (/ 1 (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (* (/ 1 y) (sqrt (sin y))) 1 (* (/ 1 y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (* (/ 1 y) (sqrt (sin y))) 1 (* (/ 1 y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (* (/ 1 y) (cbrt (sin y))) (sqrt (sin y)) (* (/ 1 y) (sqrt (sin y))) 1 (* (/ 1 y) (sin y)) 1 (* (/ 1 y) (sin y)) 1 (* (/ 1 y) (sin y)) (sin y) (/ y (sin y)) (/ (/ 1 (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) 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))) (* (/ 1 (sin y)) (cbrt y)) (* (/ 1 (sin y)) (sqrt y)) (/ y (sin y)) (* (/ 1 (sin y)) (cbrt y)) (* (/ 1 (sin y)) (sqrt y)) (/ y (sin y)) (* (/ 1 (sin y)) (cbrt y)) (* (/ 1 (sin y)) (sqrt y)) (/ y (sin y)) (/ y (sin y)) (/ y (sin y)) (/ 1 y) (/ y (sin y)) (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))) (+ (+ (* (* y y) (* (* y y) 1/120)) 1) (* (- (* y y)) 1/6)) (/ (sin y) y) (/ (sin y) y) (+ (+ (* 7/360 (* y (* y y))) (/ 1 y)) (* y 1/6)) (/ 1 (sin y)) (/ 1 (sin y)) 3.278 * * * [progress]: adding candidates to table 3.782 * * [progress]: iteration 4 / 4 3.782 * * * [progress]: picking best candidate 3.792 * * * * [pick]: Picked # 3.792 * * * [progress]: localizing error 3.808 * * * [progress]: generating rewritten candidates 3.808 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2) 3.819 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 3.836 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2 2) 3.847 * * * [progress]: generating series expansions 3.847 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2) 3.848 * [backup-simplify]: Simplify (* y (/ 1 (sin y))) into (/ y (sin y)) 3.848 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0 3.848 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 3.848 * [taylor]: Taking taylor expansion of y in y 3.848 * [backup-simplify]: Simplify 0 into 0 3.848 * [backup-simplify]: Simplify 1 into 1 3.848 * [taylor]: Taking taylor expansion of (sin y) in y 3.848 * [taylor]: Taking taylor expansion of y in y 3.848 * [backup-simplify]: Simplify 0 into 0 3.848 * [backup-simplify]: Simplify 1 into 1 3.848 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 3.849 * [backup-simplify]: Simplify (/ 1 1) into 1 3.849 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 3.849 * [taylor]: Taking taylor expansion of y in y 3.849 * [backup-simplify]: Simplify 0 into 0 3.849 * [backup-simplify]: Simplify 1 into 1 3.849 * [taylor]: Taking taylor expansion of (sin y) in y 3.849 * [taylor]: Taking taylor expansion of y in y 3.849 * [backup-simplify]: Simplify 0 into 0 3.849 * [backup-simplify]: Simplify 1 into 1 3.849 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 3.850 * [backup-simplify]: Simplify (/ 1 1) into 1 3.850 * [backup-simplify]: Simplify 1 into 1 3.850 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 3.851 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0 3.851 * [backup-simplify]: Simplify 0 into 0 3.852 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 3.852 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ -1/6 1)) (* 0 (/ 0 1)))) into 1/6 3.852 * [backup-simplify]: Simplify 1/6 into 1/6 3.853 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0 3.854 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ -1/6 1)) (* 1/6 (/ 0 1)))) into 0 3.854 * [backup-simplify]: Simplify 0 into 0 3.856 * [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.857 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 1/120 1)) (* 0 (/ 0 1)) (* 1/6 (/ -1/6 1)) (* 0 (/ 0 1)))) into 7/360 3.857 * [backup-simplify]: Simplify 7/360 into 7/360 3.857 * [backup-simplify]: Simplify (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1)) into (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1)) 3.858 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 (sin (/ 1 y)))) into (/ 1 (* y (sin (/ 1 y)))) 3.858 * [approximate]: Taking taylor expansion of (/ 1 (* y (sin (/ 1 y)))) in (y) around 0 3.858 * [taylor]: Taking taylor expansion of (/ 1 (* y (sin (/ 1 y)))) in y 3.858 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y 3.858 * [taylor]: Taking taylor expansion of y in y 3.858 * [backup-simplify]: Simplify 0 into 0 3.858 * [backup-simplify]: Simplify 1 into 1 3.858 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.858 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.858 * [taylor]: Taking taylor expansion of y in y 3.858 * [backup-simplify]: Simplify 0 into 0 3.858 * [backup-simplify]: Simplify 1 into 1 3.858 * [backup-simplify]: Simplify (/ 1 1) into 1 3.858 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 3.858 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0 3.858 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y)) 3.859 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y))) 3.859 * [taylor]: Taking taylor expansion of (/ 1 (* y (sin (/ 1 y)))) in y 3.859 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y 3.859 * [taylor]: Taking taylor expansion of y in y 3.859 * [backup-simplify]: Simplify 0 into 0 3.859 * [backup-simplify]: Simplify 1 into 1 3.859 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.859 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.859 * [taylor]: Taking taylor expansion of y in y 3.859 * [backup-simplify]: Simplify 0 into 0 3.859 * [backup-simplify]: Simplify 1 into 1 3.859 * [backup-simplify]: Simplify (/ 1 1) into 1 3.859 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 3.859 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0 3.859 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y)) 3.859 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y))) 3.859 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y))) 3.860 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ 1 y))))) into 0 3.860 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))))) into 0 3.860 * [backup-simplify]: Simplify 0 into 0 3.861 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))) into 0 3.861 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0 3.861 * [backup-simplify]: Simplify 0 into 0 3.862 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))) into 0 3.862 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0 3.862 * [backup-simplify]: Simplify 0 into 0 3.863 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))) into 0 3.864 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0 3.864 * [backup-simplify]: Simplify 0 into 0 3.865 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))))) into 0 3.865 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0 3.865 * [backup-simplify]: Simplify 0 into 0 3.868 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))))) into 0 3.869 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0 3.869 * [backup-simplify]: Simplify 0 into 0 3.869 * [backup-simplify]: Simplify (* (/ 1 (sin (/ 1 (/ 1 y)))) (/ 1 (/ 1 y))) into (/ y (sin y)) 3.869 * [backup-simplify]: Simplify (* (/ 1 (- y)) (/ 1 (sin (/ 1 (- y))))) into (/ -1 (* y (sin (/ -1 y)))) 3.869 * [approximate]: Taking taylor expansion of (/ -1 (* y (sin (/ -1 y)))) in (y) around 0 3.869 * [taylor]: Taking taylor expansion of (/ -1 (* y (sin (/ -1 y)))) in y 3.869 * [taylor]: Taking taylor expansion of -1 in y 3.869 * [backup-simplify]: Simplify -1 into -1 3.869 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y 3.869 * [taylor]: Taking taylor expansion of y in y 3.869 * [backup-simplify]: Simplify 0 into 0 3.869 * [backup-simplify]: Simplify 1 into 1 3.869 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.869 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.869 * [taylor]: Taking taylor expansion of -1 in y 3.869 * [backup-simplify]: Simplify -1 into -1 3.869 * [taylor]: Taking taylor expansion of y in y 3.869 * [backup-simplify]: Simplify 0 into 0 3.869 * [backup-simplify]: Simplify 1 into 1 3.870 * [backup-simplify]: Simplify (/ -1 1) into -1 3.870 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 3.870 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0 3.870 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y)) 3.870 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y))) 3.870 * [taylor]: Taking taylor expansion of (/ -1 (* y (sin (/ -1 y)))) in y 3.870 * [taylor]: Taking taylor expansion of -1 in y 3.870 * [backup-simplify]: Simplify -1 into -1 3.870 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y 3.870 * [taylor]: Taking taylor expansion of y in y 3.870 * [backup-simplify]: Simplify 0 into 0 3.870 * [backup-simplify]: Simplify 1 into 1 3.871 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.871 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.871 * [taylor]: Taking taylor expansion of -1 in y 3.871 * [backup-simplify]: Simplify -1 into -1 3.871 * [taylor]: Taking taylor expansion of y in y 3.871 * [backup-simplify]: Simplify 0 into 0 3.871 * [backup-simplify]: Simplify 1 into 1 3.871 * [backup-simplify]: Simplify (/ -1 1) into -1 3.871 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 3.871 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0 3.872 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y)) 3.872 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y))) 3.872 * [backup-simplify]: Simplify (/ -1 (sin (/ -1 y))) into (/ -1 (sin (/ -1 y))) 3.873 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ -1 y))))) into 0 3.873 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))))) into 0 3.873 * [backup-simplify]: Simplify 0 into 0 3.874 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0 3.874 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0 3.874 * [backup-simplify]: Simplify 0 into 0 3.876 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))) into 0 3.876 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0 3.876 * [backup-simplify]: Simplify 0 into 0 3.878 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))) into 0 3.878 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0 3.878 * [backup-simplify]: Simplify 0 into 0 3.880 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))))) into 0 3.881 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0 3.881 * [backup-simplify]: Simplify 0 into 0 3.883 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))))) into 0 3.883 * [backup-simplify]: Simplify (- (/ 0 (sin (/ -1 y))) (+ (* (/ -1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0 3.883 * [backup-simplify]: Simplify 0 into 0 3.884 * [backup-simplify]: Simplify (* (/ -1 (sin (/ -1 (/ 1 (- y))))) (/ 1 (/ 1 (- y)))) into (/ y (sin y)) 3.884 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 3.884 * [backup-simplify]: Simplify (/ 1 (* y (/ 1 (sin y)))) into (/ (sin y) y) 3.884 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 3.884 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 3.884 * [taylor]: Taking taylor expansion of (sin y) in y 3.884 * [taylor]: Taking taylor expansion of y in y 3.884 * [backup-simplify]: Simplify 0 into 0 3.884 * [backup-simplify]: Simplify 1 into 1 3.884 * [taylor]: Taking taylor expansion of y in y 3.884 * [backup-simplify]: Simplify 0 into 0 3.884 * [backup-simplify]: Simplify 1 into 1 3.885 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 3.885 * [backup-simplify]: Simplify (/ 1 1) into 1 3.885 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 3.885 * [taylor]: Taking taylor expansion of (sin y) in y 3.885 * [taylor]: Taking taylor expansion of y in y 3.885 * [backup-simplify]: Simplify 0 into 0 3.885 * [backup-simplify]: Simplify 1 into 1 3.885 * [taylor]: Taking taylor expansion of y in y 3.885 * [backup-simplify]: Simplify 0 into 0 3.885 * [backup-simplify]: Simplify 1 into 1 3.886 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 3.886 * [backup-simplify]: Simplify (/ 1 1) into 1 3.886 * [backup-simplify]: Simplify 1 into 1 3.887 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 3.888 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0 3.888 * [backup-simplify]: Simplify 0 into 0 3.889 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 3.890 * [backup-simplify]: Simplify (- (/ -1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into -1/6 3.890 * [backup-simplify]: Simplify -1/6 into -1/6 3.891 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0 3.892 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)))) into 0 3.892 * [backup-simplify]: Simplify 0 into 0 3.895 * [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.897 * [backup-simplify]: Simplify (- (/ 1/120 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 1/120 3.897 * [backup-simplify]: Simplify 1/120 into 1/120 3.897 * [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.897 * [backup-simplify]: Simplify (/ 1 (* (/ 1 y) (/ 1 (sin (/ 1 y))))) into (* y (sin (/ 1 y))) 3.897 * [approximate]: Taking taylor expansion of (* y (sin (/ 1 y))) in (y) around 0 3.897 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y 3.897 * [taylor]: Taking taylor expansion of y in y 3.897 * [backup-simplify]: Simplify 0 into 0 3.897 * [backup-simplify]: Simplify 1 into 1 3.897 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.897 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.897 * [taylor]: Taking taylor expansion of y in y 3.897 * [backup-simplify]: Simplify 0 into 0 3.897 * [backup-simplify]: Simplify 1 into 1 3.898 * [backup-simplify]: Simplify (/ 1 1) into 1 3.898 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 3.898 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 y))) in y 3.898 * [taylor]: Taking taylor expansion of y in y 3.898 * [backup-simplify]: Simplify 0 into 0 3.898 * [backup-simplify]: Simplify 1 into 1 3.898 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.898 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.898 * [taylor]: Taking taylor expansion of y in y 3.898 * [backup-simplify]: Simplify 0 into 0 3.898 * [backup-simplify]: Simplify 1 into 1 3.898 * [backup-simplify]: Simplify (/ 1 1) into 1 3.898 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 3.899 * [backup-simplify]: Simplify (* 0 (sin (/ 1 y))) into 0 3.899 * [backup-simplify]: Simplify 0 into 0 3.899 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ 1 y)))) into (sin (/ 1 y)) 3.899 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 3.900 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ 1 y))))) into 0 3.900 * [backup-simplify]: Simplify 0 into 0 3.901 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))) into 0 3.901 * [backup-simplify]: Simplify 0 into 0 3.902 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))) into 0 3.903 * [backup-simplify]: Simplify 0 into 0 3.904 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))) into 0 3.904 * [backup-simplify]: Simplify 0 into 0 3.906 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y))))))))) into 0 3.906 * [backup-simplify]: Simplify 0 into 0 3.909 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 y)))))))))) into 0 3.909 * [backup-simplify]: Simplify 0 into 0 3.909 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 y))) (/ 1 y)) into (/ (sin y) y) 3.909 * [backup-simplify]: Simplify (/ 1 (* (/ 1 (- y)) (/ 1 (sin (/ 1 (- y)))))) into (* -1 (* y (sin (/ -1 y)))) 3.909 * [approximate]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in (y) around 0 3.909 * [taylor]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in y 3.909 * [taylor]: Taking taylor expansion of -1 in y 3.909 * [backup-simplify]: Simplify -1 into -1 3.909 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y 3.909 * [taylor]: Taking taylor expansion of y in y 3.909 * [backup-simplify]: Simplify 0 into 0 3.909 * [backup-simplify]: Simplify 1 into 1 3.909 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.909 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.909 * [taylor]: Taking taylor expansion of -1 in y 3.909 * [backup-simplify]: Simplify -1 into -1 3.909 * [taylor]: Taking taylor expansion of y in y 3.909 * [backup-simplify]: Simplify 0 into 0 3.909 * [backup-simplify]: Simplify 1 into 1 3.910 * [backup-simplify]: Simplify (/ -1 1) into -1 3.910 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 3.910 * [taylor]: Taking taylor expansion of (* -1 (* y (sin (/ -1 y)))) in y 3.910 * [taylor]: Taking taylor expansion of -1 in y 3.910 * [backup-simplify]: Simplify -1 into -1 3.910 * [taylor]: Taking taylor expansion of (* y (sin (/ -1 y))) in y 3.910 * [taylor]: Taking taylor expansion of y in y 3.910 * [backup-simplify]: Simplify 0 into 0 3.910 * [backup-simplify]: Simplify 1 into 1 3.910 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.910 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.910 * [taylor]: Taking taylor expansion of -1 in y 3.910 * [backup-simplify]: Simplify -1 into -1 3.910 * [taylor]: Taking taylor expansion of y in y 3.910 * [backup-simplify]: Simplify 0 into 0 3.910 * [backup-simplify]: Simplify 1 into 1 3.910 * [backup-simplify]: Simplify (/ -1 1) into -1 3.911 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 3.911 * [backup-simplify]: Simplify (* 0 (sin (/ -1 y))) into 0 3.911 * [backup-simplify]: Simplify (* -1 0) into 0 3.911 * [backup-simplify]: Simplify 0 into 0 3.912 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin (/ -1 y)))) into (sin (/ -1 y)) 3.912 * [backup-simplify]: Simplify (+ (* -1 (sin (/ -1 y))) (* 0 0)) into (- (sin (/ -1 y))) 3.912 * [backup-simplify]: Simplify (- (sin (/ -1 y))) into (- (sin (/ -1 y))) 3.913 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin (/ -1 y))))) into 0 3.914 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))) into 0 3.914 * [backup-simplify]: Simplify 0 into 0 3.915 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0 3.915 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))) into 0 3.915 * [backup-simplify]: Simplify 0 into 0 3.916 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))) into 0 3.917 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))) into 0 3.917 * [backup-simplify]: Simplify 0 into 0 3.918 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))) into 0 3.920 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))) into 0 3.920 * [backup-simplify]: Simplify 0 into 0 3.921 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))))))) into 0 3.922 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0))))))) into 0 3.922 * [backup-simplify]: Simplify 0 into 0 3.924 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))))))) into 0 3.926 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sin (/ -1 y))) (* 0 0)))))))) into 0 3.926 * [backup-simplify]: Simplify 0 into 0 3.926 * [backup-simplify]: Simplify (* (- (sin (/ -1 (/ 1 (- y))))) (/ 1 (- y))) into (/ (sin y) y) 3.926 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2 2) 3.926 * [backup-simplify]: Simplify (/ 1 (sin y)) into (/ 1 (sin y)) 3.926 * [approximate]: Taking taylor expansion of (/ 1 (sin y)) in (y) around 0 3.926 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 3.926 * [taylor]: Taking taylor expansion of (sin y) in y 3.926 * [taylor]: Taking taylor expansion of y in y 3.926 * [backup-simplify]: Simplify 0 into 0 3.926 * [backup-simplify]: Simplify 1 into 1 3.926 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 3.927 * [backup-simplify]: Simplify (/ 1 1) into 1 3.927 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 3.927 * [taylor]: Taking taylor expansion of (sin y) in y 3.927 * [taylor]: Taking taylor expansion of y in y 3.927 * [backup-simplify]: Simplify 0 into 0 3.927 * [backup-simplify]: Simplify 1 into 1 3.927 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 3.927 * [backup-simplify]: Simplify (/ 1 1) into 1 3.927 * [backup-simplify]: Simplify 1 into 1 3.928 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 3.928 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.929 * [backup-simplify]: Simplify 0 into 0 3.929 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 3.930 * [backup-simplify]: Simplify (- (+ (* 1 (/ -1/6 1)) (* 0 (/ 0 1)))) into 1/6 3.930 * [backup-simplify]: Simplify 1/6 into 1/6 3.931 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0 3.932 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ -1/6 1)) (* 1/6 (/ 0 1)))) into 0 3.932 * [backup-simplify]: Simplify 0 into 0 3.934 * [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.935 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/120 1)) (* 0 (/ 0 1)) (* 1/6 (/ -1/6 1)) (* 0 (/ 0 1)))) into 7/360 3.935 * [backup-simplify]: Simplify 7/360 into 7/360 3.935 * [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))) 3.935 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y))) 3.935 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in (y) around 0 3.935 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 3.935 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.935 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.935 * [taylor]: Taking taylor expansion of y in y 3.935 * [backup-simplify]: Simplify 0 into 0 3.935 * [backup-simplify]: Simplify 1 into 1 3.935 * [backup-simplify]: Simplify (/ 1 1) into 1 3.935 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 3.935 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y))) 3.935 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 3.935 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.935 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.935 * [taylor]: Taking taylor expansion of y in y 3.935 * [backup-simplify]: Simplify 0 into 0 3.935 * [backup-simplify]: Simplify 1 into 1 3.936 * [backup-simplify]: Simplify (/ 1 1) into 1 3.936 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 3.936 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y))) 3.936 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 y))) into (/ 1 (sin (/ 1 y))) 3.936 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))))) into 0 3.936 * [backup-simplify]: Simplify 0 into 0 3.936 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0 3.936 * [backup-simplify]: Simplify 0 into 0 3.936 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0 3.936 * [backup-simplify]: Simplify 0 into 0 3.936 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0 3.936 * [backup-simplify]: Simplify 0 into 0 3.937 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0 3.937 * [backup-simplify]: Simplify 0 into 0 3.937 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ 1 y))) (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))) (* 0 (/ 0 (sin (/ 1 y)))))) into 0 3.937 * [backup-simplify]: Simplify 0 into 0 3.937 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 (/ 1 y)))) into (/ 1 (sin y)) 3.937 * [backup-simplify]: Simplify (/ 1 (sin (/ 1 (- y)))) into (/ 1 (sin (/ -1 y))) 3.937 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in (y) around 0 3.937 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 3.937 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.937 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.937 * [taylor]: Taking taylor expansion of -1 in y 3.937 * [backup-simplify]: Simplify -1 into -1 3.937 * [taylor]: Taking taylor expansion of y in y 3.937 * [backup-simplify]: Simplify 0 into 0 3.937 * [backup-simplify]: Simplify 1 into 1 3.938 * [backup-simplify]: Simplify (/ -1 1) into -1 3.938 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 3.938 * [backup-simplify]: Simplify (/ 1 (sin (/ -1 y))) into (/ 1 (sin (/ -1 y))) 3.938 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 3.938 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.938 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.938 * [taylor]: Taking taylor expansion of -1 in y 3.938 * [backup-simplify]: Simplify -1 into -1 3.938 * [taylor]: Taking taylor expansion of y in y 3.938 * [backup-simplify]: Simplify 0 into 0 3.938 * [backup-simplify]: Simplify 1 into 1 3.938 * [backup-simplify]: Simplify (/ -1 1) into -1 3.938 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 3.938 * [backup-simplify]: Simplify (/ 1 (sin (/ -1 y))) into (/ 1 (sin (/ -1 y))) 3.938 * [backup-simplify]: Simplify (/ 1 (sin (/ -1 y))) into (/ 1 (sin (/ -1 y))) 3.938 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))))) into 0 3.938 * [backup-simplify]: Simplify 0 into 0 3.938 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0 3.939 * [backup-simplify]: Simplify 0 into 0 3.939 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0 3.939 * [backup-simplify]: Simplify 0 into 0 3.939 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0 3.939 * [backup-simplify]: Simplify 0 into 0 3.939 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0 3.939 * [backup-simplify]: Simplify 0 into 0 3.939 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sin (/ -1 y))) (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))) (* 0 (/ 0 (sin (/ -1 y)))))) into 0 3.939 * [backup-simplify]: Simplify 0 into 0 3.940 * [backup-simplify]: Simplify (/ 1 (sin (/ -1 (/ 1 (- y))))) into (/ 1 (sin y)) 3.940 * * * [progress]: simplifying candidates 3.940 * * * * [progress]: [ 1 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 2 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 3 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 4 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 5 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 6 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 7 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 8 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 9 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 10 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 11 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 12 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 13 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 14 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 15 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 16 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 17 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 18 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 19 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 20 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 21 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 22 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 23 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 24 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 25 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 26 / 119 ] simplifiying candidate # 3.940 * * * * [progress]: [ 27 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 28 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 29 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 30 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 31 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 32 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 33 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 34 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 35 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 36 / 119 ] simplifiying candidate #real (real->posit16 (* y (/ 1 (sin y))))))))> 3.941 * * * * [progress]: [ 37 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 38 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 39 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 40 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 41 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 42 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 43 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 44 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 45 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 46 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 47 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 48 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 49 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 50 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 51 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 52 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 53 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 54 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 55 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 56 / 119 ] simplifiying candidate # 3.941 * * * * [progress]: [ 57 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 58 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 59 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 60 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 61 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 62 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 63 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 64 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 65 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 66 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 67 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 68 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 69 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 70 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 71 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 72 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 73 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 74 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 75 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 76 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 77 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 78 / 119 ] simplifiying candidate #real (real->posit16 (/ 1 (* y (/ 1 (sin y))))))))> 3.942 * * * * [progress]: [ 79 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 80 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 81 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 82 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 83 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 84 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 85 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 86 / 119 ] simplifiying candidate # 3.942 * * * * [progress]: [ 87 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 88 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 89 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 90 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 91 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 92 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 93 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 94 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 95 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 96 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 97 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 98 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 99 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 100 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 101 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 102 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 103 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 104 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 105 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 106 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 107 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 108 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 109 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 110 / 119 ] simplifiying candidate #real (real->posit16 (/ 1 (sin y))))))))> 3.943 * * * * [progress]: [ 111 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 112 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 113 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 114 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 115 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 116 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 117 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 118 / 119 ] simplifiying candidate # 3.943 * * * * [progress]: [ 119 / 119 ] simplifiying candidate # 3.947 * [simplify]: Simplifying: (* y (/ 1 (sin y))) (+ (log y) (- (log (sin y)))) (+ (log y) (- 0 (log (sin y)))) (+ (log y) (- (log 1) (log (sin y)))) (+ (log y) (log (/ 1 (sin y)))) (log (* y (/ 1 (sin y)))) (exp (* y (/ 1 (sin y)))) (* (* (* y y) y) (/ (* (* 1 1) 1) (* (* (sin y) (sin y)) (sin y)))) (* (* (* y y) y) (* (* (/ 1 (sin y)) (/ 1 (sin y))) (/ 1 (sin y)))) (* (cbrt (* y (/ 1 (sin y)))) (cbrt (* y (/ 1 (sin y))))) (cbrt (* y (/ 1 (sin y)))) (* (* (* y (/ 1 (sin y))) (* y (/ 1 (sin y)))) (* y (/ 1 (sin y)))) (sqrt (* y (/ 1 (sin y)))) (sqrt (* y (/ 1 (sin y)))) (* (sqrt y) (sqrt (/ 1 (sin y)))) (* (sqrt y) (sqrt (/ 1 (sin y)))) (* (sqrt y) (/ (sqrt 1) (sqrt (sin y)))) (* (sqrt y) (/ (sqrt 1) (sqrt (sin y)))) (* (sqrt y) (/ 1 (sqrt (sin y)))) (* (sqrt y) (/ 1 (sqrt (sin y)))) (* y (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (* y (sqrt (/ 1 (sin y)))) (* y (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))))) (* y (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin y)))) (* y (/ (* (cbrt 1) (cbrt 1)) 1)) (* y (/ (sqrt 1) (* (cbrt (sin y)) (cbrt (sin y))))) (* y (/ (sqrt 1) (sqrt (sin y)))) (* y (/ (sqrt 1) 1)) (* y (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (* y (/ 1 (sqrt (sin y)))) (* y (/ 1 1)) (* y 1) (* y 1) (* (cbrt y) (/ 1 (sin y))) (* (sqrt y) (/ 1 (sin y))) (* y (/ 1 (sin y))) (* y 1) (real->posit16 (* y (/ 1 (sin y)))) (- 1) (- 1) (- (+ (log y) (- (log (sin y))))) (- (+ (log y) (- 0 (log (sin y))))) (- (+ (log y) (- (log 1) (log (sin y))))) (- (+ (log y) (log (/ 1 (sin y))))) (- (log (* y (/ 1 (sin y))))) (- 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))))) (- 0 (log (* y (/ 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) (log (* y (/ 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 1) 1) (* (* (* y (/ 1 (sin y))) (* y (/ 1 (sin y)))) (* 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) (cbrt 1)) y) (/ (cbrt 1) (/ 1 (sin y))) (/ (sqrt 1) y) (/ (sqrt 1) (/ 1 (sin y))) (/ 1 y) (/ 1 (/ 1 (sin y))) (/ 1 (* y (/ 1 (sin y)))) (/ (* y (/ 1 (sin y))) 1) (/ 1 y) (/ (* y (/ 1 (sin y))) (cbrt 1)) (/ (* y (/ 1 (sin y))) (sqrt 1)) (/ (* y (/ 1 (sin y))) 1) (/ 1 y) (/ 1 (* y 1)) (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))) (+ (* 7/360 (pow y 4)) (+ (* 1/6 (pow y 2)) 1)) (/ y (sin y)) (/ y (sin y)) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (+ (* 7/360 (pow y 3)) (+ (* 1/6 y) (/ 1 y))) (/ 1 (sin y)) (/ 1 (sin y)) 3.948 * * [simplify]: iteration 0: 146 enodes 3.997 * * [simplify]: iteration 1: 343 enodes 4.122 * * [simplify]: iteration 2: 829 enodes 4.431 * * [simplify]: iteration complete: 2007 enodes 4.431 * * [simplify]: Extracting #0: cost 47 inf + 0 4.432 * * [simplify]: Extracting #1: cost 340 inf + 3 4.436 * * [simplify]: Extracting #2: cost 450 inf + 16836 4.451 * * [simplify]: Extracting #3: cost 221 inf + 54388 4.475 * * [simplify]: Extracting #4: cost 22 inf + 99380 4.501 * * [simplify]: Extracting #5: cost 0 inf + 106451 4.520 * [simplify]: Simplified to: (/ y (sin y)) (log (/ y (sin y))) (log (/ y (sin y))) (log (/ y (sin y))) (log (/ y (sin y))) (log (/ y (sin y))) (exp (/ y (sin y))) (* (/ y (sin y)) (* (/ y (sin y)) (/ 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))) (* (sqrt y) (sqrt (/ 1 (sin y)))) (* (sqrt y) (sqrt (/ 1 (sin y)))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (* y (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y))))) (* (sqrt (/ 1 (sin y))) y) (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) y (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) y (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) y y y (/ (cbrt y) (sin y)) (/ (sqrt y) (sin y)) (/ y (sin y)) y (real->posit16 (/ y (sin y))) -1 -1 (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (- (log (/ y (sin y)))) (exp (/ 1 (/ y (sin y)))) (* (/ 1 (/ y (sin y))) (/ (/ 1 (/ y (sin y))) (/ y (sin y)))) (* (/ 1 (/ y (sin y))) (/ (/ 1 (/ y (sin y))) (/ y (sin y)))) (* (/ 1 (/ y (sin y))) (/ (/ 1 (/ 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))) (/ y (sin y)))) (sqrt (/ 1 (/ y (sin y)))) (sqrt (/ 1 (/ y (sin y)))) -1 (- (/ y (sin y))) (/ 1 y) (sin y) (/ 1 y) (sin y) (/ 1 y) (sin y) (/ 1 (/ y (sin y))) (/ y (sin y)) (/ 1 y) (/ y (sin y)) (/ y (sin y)) (/ y (sin y)) (/ 1 y) (/ 1 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)) (/ 1 (sin y))) (sin y)) (* (cbrt (/ 1 (sin y))) (cbrt (/ 1 (sin y)))) (cbrt (/ 1 (sin y))) (/ (* (/ 1 (sin y)) (/ 1 (sin y))) (sin y)) (sqrt (/ 1 (sin y))) (sqrt (/ 1 (sin y))) -1 (- (sin y)) (/ (/ 1 (cbrt (sin y))) (cbrt (sin y))) (/ 1 (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ 1 (sqrt (sin y))) 1 (/ 1 (sin y)) (/ (/ 1 (cbrt (sin y))) (cbrt (sin y))) (/ 1 (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ 1 (sqrt (sin y))) 1 (/ 1 (sin y)) (/ (/ 1 (cbrt (sin y))) (cbrt (sin y))) (/ 1 (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ 1 (sqrt (sin y))) 1 (/ 1 (sin y)) (/ 1 (sin y)) (sin y) (/ (/ 1 (cbrt (sin y))) (cbrt (sin y))) (/ 1 (sqrt (sin y))) 1 (sin y) (sin y) (sin y) (real->posit16 (/ 1 (sin y))) (+ (* (* y y) (+ 1/6 (* 7/360 (* y y)))) 1) (/ y (sin y)) (/ y (sin y)) (+ 1 (* (* y y) (- (* 1/120 (* y y)) 1/6))) (/ (sin y) y) (/ (sin y) y) (+ (* 1/6 y) (+ (/ 1 y) (* 7/360 (* y (* y y))))) (/ 1 (sin y)) (/ 1 (sin y)) 4.526 * * * [progress]: adding candidates to table 4.790 * [progress]: [Phase 3 of 3] Extracting. 4.790 * * [regime]: Finding splitpoints for: (# # # # # #) 4.791 * * * [regime-changes]: Trying 5 branch expressions: ((/ (sin y) y) (cosh x) (* (cosh x) (/ (sin y) y)) y x) 4.791 * * * * [regimes]: Trying to branch on (/ (sin y) y) from (# # # # # #) 4.838 * * * * [regimes]: Trying to branch on (cosh x) from (# # # # # #) 4.884 * * * * [regimes]: Trying to branch on (* (cosh x) (/ (sin y) y)) from (# # # # # #) 4.948 * * * * [regimes]: Trying to branch on y from (# # # # # #) 5.002 * * * * [regimes]: Trying to branch on x from (# # # # # #) 5.057 * * * [regime]: Found split indices: #