16.178 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.035 * * * [progress]: [2/2] Setting up program. 0.038 * [progress]: [Phase 2 of 3] Improving. 0.038 * [simplify]: Simplifying using # : (* x (/ (sin y) y)) 0.040 * * [simplify]: iteration 0 : 8 enodes (cost 3 ) 0.041 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 0.043 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 0.044 * * [simplify]: iteration 3 : 17 enodes (cost 3 ) 0.045 * * [simplify]: iteration 4 : 17 enodes (cost 3 ) 0.045 * [simplify]: Simplified to: (* x (/ (sin y) y)) 0.045 * * [progress]: iteration 1 / 4 0.045 * * * [progress]: picking best candidate 0.047 * * * * [pick]: Picked # 0.047 * * * [progress]: localizing error 0.052 * * * [progress]: generating rewritten candidates 0.052 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.055 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.065 * * * [progress]: generating series expansions 0.065 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.065 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 0.065 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.065 * [taylor]: Taking taylor expansion of (sin y) in y 0.065 * [taylor]: Taking taylor expansion of y in y 0.065 * [taylor]: Taking taylor expansion of y in y 0.066 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.066 * [taylor]: Taking taylor expansion of (sin y) in y 0.066 * [taylor]: Taking taylor expansion of y in y 0.066 * [taylor]: Taking taylor expansion of y in y 0.074 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 0.074 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.074 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.074 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.074 * [taylor]: Taking taylor expansion of y in y 0.074 * [taylor]: Taking taylor expansion of y in y 0.074 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.074 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.074 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.074 * [taylor]: Taking taylor expansion of y in y 0.074 * [taylor]: Taking taylor expansion of y in y 0.078 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 0.079 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 0.079 * [taylor]: Taking taylor expansion of -1 in y 0.079 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.079 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.079 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.079 * [taylor]: Taking taylor expansion of -1 in y 0.079 * [taylor]: Taking taylor expansion of y in y 0.079 * [taylor]: Taking taylor expansion of y in y 0.079 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 0.079 * [taylor]: Taking taylor expansion of -1 in y 0.079 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.079 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.079 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.079 * [taylor]: Taking taylor expansion of -1 in y 0.079 * [taylor]: Taking taylor expansion of y in y 0.079 * [taylor]: Taking taylor expansion of y in y 0.091 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.091 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) y) in (x y) around 0 0.091 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in y 0.091 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.091 * [taylor]: Taking taylor expansion of x in y 0.091 * [taylor]: Taking taylor expansion of (sin y) in y 0.091 * [taylor]: Taking taylor expansion of y in y 0.091 * [taylor]: Taking taylor expansion of y in y 0.091 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x 0.091 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.092 * [taylor]: Taking taylor expansion of (sin y) in x 0.092 * [taylor]: Taking taylor expansion of y in x 0.092 * [taylor]: Taking taylor expansion of y in x 0.094 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x 0.094 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.094 * [taylor]: Taking taylor expansion of x in x 0.094 * [taylor]: Taking taylor expansion of (sin y) in x 0.094 * [taylor]: Taking taylor expansion of y in x 0.094 * [taylor]: Taking taylor expansion of y in x 0.096 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.096 * [taylor]: Taking taylor expansion of (sin y) in y 0.096 * [taylor]: Taking taylor expansion of y in y 0.096 * [taylor]: Taking taylor expansion of y in y 0.099 * [taylor]: Taking taylor expansion of 0 in y 0.103 * [taylor]: Taking taylor expansion of 0 in y 0.112 * [taylor]: Taking taylor expansion of 0 in y 0.119 * [taylor]: Taking taylor expansion of 0 in y 0.119 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in (x y) around 0 0.119 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in y 0.119 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.119 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.119 * [taylor]: Taking taylor expansion of y in y 0.120 * [taylor]: Taking taylor expansion of y in y 0.120 * [taylor]: Taking taylor expansion of x in y 0.120 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x 0.120 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 0.120 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.120 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.120 * [taylor]: Taking taylor expansion of y in x 0.120 * [taylor]: Taking taylor expansion of y in x 0.120 * [taylor]: Taking taylor expansion of x in x 0.120 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x 0.120 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 0.120 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.120 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.120 * [taylor]: Taking taylor expansion of y in x 0.121 * [taylor]: Taking taylor expansion of y in x 0.121 * [taylor]: Taking taylor expansion of x in x 0.121 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.121 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.121 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.121 * [taylor]: Taking taylor expansion of y in y 0.121 * [taylor]: Taking taylor expansion of y in y 0.124 * [taylor]: Taking taylor expansion of 0 in y 0.127 * [taylor]: Taking taylor expansion of 0 in y 0.132 * [taylor]: Taking taylor expansion of 0 in y 0.132 * [approximate]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in (x y) around 0 0.133 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in y 0.133 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.133 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.133 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.133 * [taylor]: Taking taylor expansion of -1 in y 0.133 * [taylor]: Taking taylor expansion of y in y 0.133 * [taylor]: Taking taylor expansion of y in y 0.133 * [taylor]: Taking taylor expansion of x in y 0.133 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in x 0.133 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 0.133 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.133 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.133 * [taylor]: Taking taylor expansion of -1 in x 0.133 * [taylor]: Taking taylor expansion of y in x 0.134 * [taylor]: Taking taylor expansion of y in x 0.134 * [taylor]: Taking taylor expansion of x in x 0.134 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in x 0.134 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 0.134 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.134 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.134 * [taylor]: Taking taylor expansion of -1 in x 0.134 * [taylor]: Taking taylor expansion of y in x 0.134 * [taylor]: Taking taylor expansion of y in x 0.134 * [taylor]: Taking taylor expansion of x in x 0.134 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.134 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.134 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.134 * [taylor]: Taking taylor expansion of -1 in y 0.134 * [taylor]: Taking taylor expansion of y in y 0.135 * [taylor]: Taking taylor expansion of y in y 0.137 * [taylor]: Taking taylor expansion of 0 in y 0.141 * [taylor]: Taking taylor expansion of 0 in y 0.145 * [taylor]: Taking taylor expansion of 0 in y 0.146 * * * [progress]: simplifying candidates 0.147 * [simplify]: Simplifying using # : (expm1 (/ (sin y) y)) (log1p (/ (sin y) y)) (- (log (sin y)) (log y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y)) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y)) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) (- (sin y)) (- y) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (cbrt (sin y)) (sqrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) (/ (cbrt (sin y)) y) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) 1) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ 1 1) (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (/ (sin y) 1) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (expm1 (* x (/ (sin y) y))) (log1p (* x (/ (sin y) y))) (* x (/ (sin y) y)) (+ (log x) (- (log (sin y)) (log y))) (+ (log x) (log (/ (sin y) y))) (log (* x (/ (sin y) y))) (exp (* x (/ (sin y) y))) (* (* (* x x) x) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y))) (* (* (* x x) x) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y))) (* (cbrt (* x (/ (sin y) y))) (cbrt (* x (/ (sin y) y)))) (cbrt (* x (/ (sin y) y))) (* (* (* x (/ (sin y) y)) (* x (/ (sin y) y))) (* x (/ (sin y) y))) (sqrt (* x (/ (sin y) y))) (sqrt (* x (/ (sin y) y))) (* (sqrt x) (sqrt (/ (sin y) y))) (* (sqrt x) (sqrt (/ (sin y) y))) (* (sqrt x) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt x) (/ (sqrt (sin y)) (sqrt y))) (* x (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* x (sqrt (/ (sin y) y))) (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) 1)) (* x (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (* x (/ (sqrt (sin y)) (sqrt y))) (* x (/ (sqrt (sin y)) 1)) (* x (/ 1 (* (cbrt y) (cbrt y)))) (* x (/ 1 (sqrt y))) (* x (/ 1 1)) (* x 1) (* x (sin y)) (* (cbrt x) (/ (sin y) y)) (* (sqrt x) (/ (sin y) y)) (* x (/ (sin y) y)) (* x (sin y)) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (- x (* 1/6 (* x (pow y 2)))) (/ (* x (sin y)) y) (/ (* x (sin y)) y) 0.151 * * [simplify]: iteration 0 : 218 enodes (cost 334 ) 0.155 * * [simplify]: iteration 1 : 998 enodes (cost 302 ) 0.176 * * [simplify]: iteration 2 : 5001 enodes (cost 302 ) 0.177 * [simplify]: Simplified to: (expm1 (/ (sin y) y)) (log1p (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (pow (/ (sin y) y) 3) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (pow (/ (sin y) y) 3) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) (- (sin y)) (- y) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (cbrt (sin y)) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ (cbrt (sin y)) y) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (sqrt (sin y)) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) 1 (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (sin y) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (expm1 (* x (/ (sin y) y))) (log1p (* x (/ (sin y) y))) (* x (/ (sin y) y)) (log (* x (/ (sin y) y))) (log (* x (/ (sin y) y))) (log (* x (/ (sin y) y))) (exp (* x (/ (sin y) y))) (pow (* x (/ (sin y) y)) 3) (pow (* x (/ (sin y) y)) 3) (* (cbrt (* x (/ (sin y) y))) (cbrt (* x (/ (sin y) y)))) (cbrt (* x (/ (sin y) y))) (pow (* x (/ (sin y) y)) 3) (sqrt (* x (/ (sin y) y))) (sqrt (* x (/ (sin y) y))) (* (sqrt x) (sqrt (/ (sin y) y))) (* (sqrt x) (sqrt (/ (sin y) y))) (* (sqrt x) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt x) (/ (sqrt (sin y)) (sqrt y))) (* x (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* x (sqrt (/ (sin y) y))) (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (* (cbrt (sin y)) (cbrt (sin y))) x) (* x (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (* x (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (sin y)) x) (/ x (* (cbrt y) (cbrt y))) (/ x (sqrt y)) x x (* x (sin y)) (* (cbrt x) (/ (sin y) y)) (* (sqrt x) (/ (sin y) y)) (* x (/ (sin y) y)) (* x (sin y)) (fma (pow y 4) 1/120 (- 1 (* 1/6 (pow y 2)))) (/ (sin y) y) (/ (sin y) y) (- x (* 1/6 (* x (pow y 2)))) (* x (/ (sin y) y)) (* x (/ (sin y) y)) 0.177 * * * [progress]: adding candidates to table 0.303 * * [progress]: iteration 2 / 4 0.303 * * * [progress]: picking best candidate 0.316 * * * * [pick]: Picked # 0.316 * * * [progress]: localizing error 0.322 * * * [progress]: generating rewritten candidates 0.322 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2) 0.325 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.330 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.358 * * * [progress]: generating series expansions 0.358 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2) 0.358 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0 0.358 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 0.358 * [taylor]: Taking taylor expansion of y in y 0.358 * [taylor]: Taking taylor expansion of (sin y) in y 0.358 * [taylor]: Taking taylor expansion of y in y 0.359 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 0.359 * [taylor]: Taking taylor expansion of y in y 0.359 * [taylor]: Taking taylor expansion of (sin y) in y 0.359 * [taylor]: Taking taylor expansion of y in y 0.370 * [approximate]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in (y) around 0 0.370 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 0.370 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.370 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.370 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.370 * [taylor]: Taking taylor expansion of y in y 0.370 * [taylor]: Taking taylor expansion of y in y 0.371 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 0.371 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.371 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.371 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.371 * [taylor]: Taking taylor expansion of y in y 0.371 * [taylor]: Taking taylor expansion of y in y 0.377 * [approximate]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in (y) around 0 0.377 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 0.377 * [taylor]: Taking taylor expansion of -1 in y 0.377 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.377 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.377 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.377 * [taylor]: Taking taylor expansion of -1 in y 0.377 * [taylor]: Taking taylor expansion of y in y 0.377 * [taylor]: Taking taylor expansion of y in y 0.378 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 0.378 * [taylor]: Taking taylor expansion of -1 in y 0.378 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.378 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.378 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.378 * [taylor]: Taking taylor expansion of -1 in y 0.378 * [taylor]: Taking taylor expansion of y in y 0.378 * [taylor]: Taking taylor expansion of y in y 0.384 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.384 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 0.384 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.384 * [taylor]: Taking taylor expansion of (sin y) in y 0.384 * [taylor]: Taking taylor expansion of y in y 0.384 * [taylor]: Taking taylor expansion of y in y 0.384 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.384 * [taylor]: Taking taylor expansion of (sin y) in y 0.384 * [taylor]: Taking taylor expansion of y in y 0.384 * [taylor]: Taking taylor expansion of y in y 0.391 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 0.391 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.391 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.392 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.392 * [taylor]: Taking taylor expansion of y in y 0.392 * [taylor]: Taking taylor expansion of y in y 0.392 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.392 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.392 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.392 * [taylor]: Taking taylor expansion of y in y 0.392 * [taylor]: Taking taylor expansion of y in y 0.396 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 0.396 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 0.396 * [taylor]: Taking taylor expansion of -1 in y 0.396 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.396 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.396 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.396 * [taylor]: Taking taylor expansion of -1 in y 0.396 * [taylor]: Taking taylor expansion of y in y 0.397 * [taylor]: Taking taylor expansion of y in y 0.397 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 0.397 * [taylor]: Taking taylor expansion of -1 in y 0.397 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.397 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.397 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.397 * [taylor]: Taking taylor expansion of -1 in y 0.397 * [taylor]: Taking taylor expansion of y in y 0.397 * [taylor]: Taking taylor expansion of y in y 0.408 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.408 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) y) in (x y) around 0 0.408 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in y 0.408 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.408 * [taylor]: Taking taylor expansion of x in y 0.408 * [taylor]: Taking taylor expansion of (sin y) in y 0.408 * [taylor]: Taking taylor expansion of y in y 0.408 * [taylor]: Taking taylor expansion of y in y 0.409 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x 0.409 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.409 * [taylor]: Taking taylor expansion of x in x 0.409 * [taylor]: Taking taylor expansion of (sin y) in x 0.409 * [taylor]: Taking taylor expansion of y in x 0.409 * [taylor]: Taking taylor expansion of y in x 0.411 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x 0.411 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.411 * [taylor]: Taking taylor expansion of x in x 0.411 * [taylor]: Taking taylor expansion of (sin y) in x 0.411 * [taylor]: Taking taylor expansion of y in x 0.411 * [taylor]: Taking taylor expansion of y in x 0.413 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.413 * [taylor]: Taking taylor expansion of (sin y) in y 0.413 * [taylor]: Taking taylor expansion of y in y 0.413 * [taylor]: Taking taylor expansion of y in y 0.416 * [taylor]: Taking taylor expansion of 0 in y 0.421 * [taylor]: Taking taylor expansion of 0 in y 0.426 * [taylor]: Taking taylor expansion of 0 in y 0.433 * [taylor]: Taking taylor expansion of 0 in y 0.433 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in (x y) around 0 0.433 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in y 0.433 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.433 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.433 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.433 * [taylor]: Taking taylor expansion of y in y 0.433 * [taylor]: Taking taylor expansion of y in y 0.433 * [taylor]: Taking taylor expansion of x in y 0.434 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x 0.434 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 0.434 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.434 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.434 * [taylor]: Taking taylor expansion of y in x 0.434 * [taylor]: Taking taylor expansion of y in x 0.434 * [taylor]: Taking taylor expansion of x in x 0.434 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x 0.434 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 0.434 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.434 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.434 * [taylor]: Taking taylor expansion of y in x 0.434 * [taylor]: Taking taylor expansion of y in x 0.434 * [taylor]: Taking taylor expansion of x in x 0.434 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.434 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.434 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.434 * [taylor]: Taking taylor expansion of y in y 0.435 * [taylor]: Taking taylor expansion of y in y 0.437 * [taylor]: Taking taylor expansion of 0 in y 0.441 * [taylor]: Taking taylor expansion of 0 in y 0.445 * [taylor]: Taking taylor expansion of 0 in y 0.446 * [approximate]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in (x y) around 0 0.446 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in y 0.446 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.446 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.446 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.446 * [taylor]: Taking taylor expansion of -1 in y 0.446 * [taylor]: Taking taylor expansion of y in y 0.446 * [taylor]: Taking taylor expansion of y in y 0.446 * [taylor]: Taking taylor expansion of x in y 0.447 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in x 0.447 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 0.447 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.447 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.447 * [taylor]: Taking taylor expansion of -1 in x 0.447 * [taylor]: Taking taylor expansion of y in x 0.447 * [taylor]: Taking taylor expansion of y in x 0.447 * [taylor]: Taking taylor expansion of x in x 0.447 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in x 0.447 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 0.447 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.447 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.447 * [taylor]: Taking taylor expansion of -1 in x 0.447 * [taylor]: Taking taylor expansion of y in x 0.447 * [taylor]: Taking taylor expansion of y in x 0.447 * [taylor]: Taking taylor expansion of x in x 0.447 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.447 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.447 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.447 * [taylor]: Taking taylor expansion of -1 in y 0.447 * [taylor]: Taking taylor expansion of y in y 0.448 * [taylor]: Taking taylor expansion of y in y 0.454 * [taylor]: Taking taylor expansion of 0 in y 0.458 * [taylor]: Taking taylor expansion of 0 in y 0.463 * [taylor]: Taking taylor expansion of 0 in y 0.463 * * * [progress]: simplifying candidates 0.465 * [simplify]: Simplifying using # : (expm1 (/ y (sin y))) (log1p (/ y (sin y))) (- (log y) (log (sin y))) (log (/ y (sin y))) (exp (/ y (sin y))) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y))) (sqrt (/ y (sin y))) (sqrt (/ y (sin y))) (- y) (- (sin y)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt y) (cbrt (sin y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))) (/ (cbrt y) (sqrt (sin y))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (sin y)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt y) (cbrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) 1) (/ (sqrt y) (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y))) (/ 1 1) (/ y (sin y)) (/ 1 (sin y)) (/ (sin y) y) (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) (/ y 1) (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (expm1 (/ 1 (/ y (sin y)))) (log1p (/ 1 (/ y (sin y)))) (- 1) (- (- (log y) (log (sin y)))) (- (log (/ y (sin y)))) (- 0 (- (log y) (log (sin y)))) (- 0 (log (/ y (sin y)))) (- (log 1) (- (log y) (log (sin y)))) (- (log 1) (log (/ y (sin y)))) (log (/ 1 (/ y (sin y)))) (exp (/ 1 (/ y (sin y)))) (/ (* (* 1 1) 1) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y)))) (/ (* (* 1 1) 1) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y)))) (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y))))) (cbrt (/ 1 (/ y (sin y)))) (* (* (/ 1 (/ y (sin y))) (/ 1 (/ y (sin y)))) (/ 1 (/ y (sin y)))) (sqrt (/ 1 (/ y (sin y)))) (sqrt (/ 1 (/ y (sin y)))) (- 1) (- (/ y (sin y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cbrt 1) (cbrt (/ y (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ y (sin y)))) (/ (cbrt 1) (sqrt (/ y (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ (cbrt y) (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (cbrt 1) (/ (cbrt y) (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) 1)) (/ (cbrt 1) (/ (cbrt y) (sin y))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ (sqrt y) (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (sqrt (sin y)))) (/ (cbrt 1) (/ (sqrt y) (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) 1)) (/ (cbrt 1) (/ (sqrt y) (sin y))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ y (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (sin y)))) (/ (cbrt 1) (/ y (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ y (sin y))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ y (sin y))) (/ (* (cbrt 1) (cbrt 1)) y) (/ (cbrt 1) (/ 1 (sin y))) (/ (sqrt 1) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt 1) (cbrt (/ y (sin y)))) (/ (sqrt 1) (sqrt (/ y (sin y)))) (/ (sqrt 1) (sqrt (/ y (sin y)))) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (sqrt 1) (/ (cbrt y) (sqrt (sin y)))) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) 1)) (/ (sqrt 1) (/ (cbrt y) (sin y))) (/ (sqrt 1) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt 1) (/ (sqrt y) 1)) (/ (sqrt 1) (/ (sqrt y) (sin y))) (/ (sqrt 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ y (cbrt (sin y)))) (/ (sqrt 1) (/ 1 (sqrt (sin y)))) (/ (sqrt 1) (/ y (sqrt (sin y)))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ y (sin y))) (/ (sqrt 1) 1) (/ (sqrt 1) (/ y (sin y))) (/ (sqrt 1) y) (/ (sqrt 1) (/ 1 (sin y))) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (cbrt y) (cbrt (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ 1 (/ (cbrt y) (sqrt (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ 1 (/ (cbrt y) (sin y))) (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (sqrt y) (cbrt (sin y)))) (/ 1 (/ (sqrt y) (sqrt (sin y)))) (/ 1 (/ (sqrt y) (sqrt (sin y)))) (/ 1 (/ (sqrt y) 1)) (/ 1 (/ (sqrt y) (sin y))) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ y (cbrt (sin y)))) (/ 1 (/ 1 (sqrt (sin y)))) (/ 1 (/ y (sqrt (sin y)))) (/ 1 (/ 1 1)) (/ 1 (/ y (sin y))) (/ 1 1) (/ 1 (/ y (sin y))) (/ 1 y) (/ 1 (/ 1 (sin y))) (/ 1 (/ y (sin y))) (/ (/ y (sin y)) 1) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (sqrt y) (sqrt (sin y)))) (/ 1 (/ (sqrt y) 1)) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ 1 (sqrt (sin y)))) (/ 1 (/ 1 1)) (/ 1 1) (/ 1 y) (/ (/ y (sin y)) (cbrt 1)) (/ (/ y (sin y)) (sqrt 1)) (/ (/ y (sin y)) 1) (/ 1 y) (expm1 (* x (/ 1 (/ y (sin y))))) (log1p (* x (/ 1 (/ y (sin y))))) (* x (/ 1 (/ y (sin y)))) (+ (log x) (- (- (log y) (log (sin y))))) (+ (log x) (- (log (/ y (sin y))))) (+ (log x) (- 0 (- (log y) (log (sin y))))) (+ (log x) (- 0 (log (/ y (sin y))))) (+ (log x) (- (log 1) (- (log y) (log (sin y))))) (+ (log x) (- (log 1) (log (/ y (sin y))))) (+ (log x) (log (/ 1 (/ y (sin y))))) (log (* x (/ 1 (/ y (sin y))))) (exp (* x (/ 1 (/ y (sin y))))) (* (* (* x x) x) (/ (* (* 1 1) 1) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y))))) (* (* (* x x) x) (/ (* (* 1 1) 1) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y))))) (* (* (* x x) x) (* (* (/ 1 (/ y (sin y))) (/ 1 (/ y (sin y)))) (/ 1 (/ y (sin y))))) (* (cbrt (* x (/ 1 (/ y (sin y))))) (cbrt (* x (/ 1 (/ y (sin y)))))) (cbrt (* x (/ 1 (/ y (sin y))))) (* (* (* x (/ 1 (/ y (sin y)))) (* x (/ 1 (/ y (sin y))))) (* x (/ 1 (/ y (sin y))))) (sqrt (* x (/ 1 (/ y (sin y))))) (sqrt (* x (/ 1 (/ y (sin y))))) (* (sqrt x) (sqrt (/ 1 (/ y (sin y))))) (* (sqrt x) (sqrt (/ 1 (/ y (sin y))))) (* (sqrt x) (/ (sqrt 1) (sqrt (/ y (sin y))))) (* (sqrt x) (/ (sqrt 1) (sqrt (/ y (sin y))))) (* (sqrt x) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt x) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y))))) (* (sqrt x) (/ 1 (sqrt (/ y (sin y))))) (* (sqrt x) (/ 1 (sqrt (/ y (sin y))))) (* (sqrt x) (/ 1 (/ (sqrt y) (sqrt (sin y))))) (* (sqrt x) (/ 1 (/ (sqrt y) (sqrt (sin y))))) (* x (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y)))))) (* x (sqrt (/ 1 (/ y (sin y))))) (* x (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* x (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ y (sin y))))) (* x (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* x (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (* x (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) 1))) (* x (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* x (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (sqrt (sin y))))) (* x (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) 1))) (* x (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* x (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (sin y))))) (* x (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))) (* x (/ (* (cbrt 1) (cbrt 1)) 1)) (* x (/ (* (cbrt 1) (cbrt 1)) y)) (* x (/ (sqrt 1) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* x (/ (sqrt 1) (sqrt (/ y (sin y))))) (* x (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* x (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (* x (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) 1))) (* x (/ (sqrt 1) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* x (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y))))) (* x (/ (sqrt 1) (/ (sqrt y) 1))) (* x (/ (sqrt 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* x (/ (sqrt 1) (/ 1 (sqrt (sin y))))) (* x (/ (sqrt 1) (/ 1 1))) (* x (/ (sqrt 1) 1)) (* x (/ (sqrt 1) y)) (* x (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))))) (* x (/ 1 (sqrt (/ y (sin y))))) (* x (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))))) (* x (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))))) (* x (/ 1 (/ (* (cbrt y) (cbrt y)) 1))) (* x (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))))) (* x (/ 1 (/ (sqrt y) (sqrt (sin y))))) (* x (/ 1 (/ (sqrt y) 1))) (* x (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))))) (* x (/ 1 (/ 1 (sqrt (sin y))))) (* x (/ 1 (/ 1 1))) (* x (/ 1 1)) (* x (/ 1 y)) (* x 1) (* x 1) (* x (/ 1 y)) (* (cbrt x) (/ 1 (/ y (sin y)))) (* (sqrt x) (/ 1 (/ y (sin y)))) (* x (/ 1 (/ y (sin y)))) (* x 1) (+ (* 1/6 (pow y 2)) (+ (* 7/360 (pow y 4)) 1)) (/ y (sin y)) (/ y (sin y)) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (- x (* 1/6 (* x (pow y 2)))) (/ (* x (sin y)) y) (/ (* x (sin y)) y) 0.473 * * [simplify]: iteration 0 : 576 enodes (cost 1226 ) 0.484 * * [simplify]: iteration 1 : 2906 enodes (cost 1067 ) 0.521 * * [simplify]: iteration 2 : 5001 enodes (cost 946 ) 0.526 * [simplify]: Simplified to: (expm1 (/ y (sin y))) (log1p (/ y (sin y))) (log (/ y (sin y))) (log (/ y (sin y))) (exp (/ y (sin y))) (pow (/ y (sin y)) 3) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))) (pow (/ y (sin y)) 3) (sqrt (/ y (sin y))) (sqrt (/ y (sin y))) (- y) (- (sin y)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt y) (cbrt (sin y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))) (/ (cbrt y) (sqrt (sin y))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (sin y)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt y) (cbrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (sqrt y) (/ (sqrt y) (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y))) 1 (/ y (sin y)) (/ 1 (sin y)) (/ (sin y) y) (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) y (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (expm1 (/ 1 (/ y (sin y)))) (log1p (/ 1 (/ y (sin y)))) (- 1) (log (/ 1 (/ y (sin y)))) (log (/ 1 (/ y (sin y)))) (log (/ 1 (/ y (sin y)))) (log (/ 1 (/ y (sin y)))) (log (/ 1 (/ y (sin y)))) (log (/ 1 (/ y (sin y)))) (log (/ 1 (/ y (sin y)))) (exp (/ 1 (/ y (sin y)))) (/ 1 (pow (/ y (sin y)) 3)) (/ 1 (pow (/ y (sin y)) 3)) (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y))))) (cbrt (/ 1 (/ y (sin y)))) (/ 1 (pow (/ y (sin y)) 3)) (sqrt (/ 1 (/ y (sin y)))) (sqrt (/ 1 (/ y (sin y)))) (- 1) (- (/ y (sin y))) (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (* 1 (cbrt (sin y))) (cbrt y)) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ 1 (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ 1 (/ y (cbrt (sin y)))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (/ 1 y) (sin y) (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (* 1 (cbrt (sin y))) (cbrt y)) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ 1 (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ 1 (/ y (cbrt (sin y)))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (/ 1 y) (sin y) (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (* 1 (cbrt (sin y))) (cbrt y)) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ 1 (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ 1 (/ y (cbrt (sin y)))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (/ 1 y) (sin y) (/ (sin y) y) (/ y (sin y)) (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (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) (expm1 (* x (/ 1 (/ y (sin y))))) (log1p (* x (/ 1 (/ y (sin y))))) (/ x (/ y (sin y))) (- (log x) (log (/ y (sin y)))) (- (log x) (log (/ y (sin y)))) (- (log x) (log (/ y (sin y)))) (- (log x) (log (/ y (sin y)))) (- (log x) (log (/ y (sin y)))) (- (log x) (log (/ y (sin y)))) (- (log x) (log (/ y (sin y)))) (- (log x) (log (/ y (sin y)))) (pow (exp x) (/ (sin y) y)) (pow (/ x (/ y (sin y))) 3) (pow (/ x (/ y (sin y))) 3) (pow (/ x (/ y (sin y))) 3) (* (cbrt (* x (/ 1 (/ y (sin y))))) (cbrt (* x (/ 1 (/ y (sin y)))))) (cbrt (* x (/ 1 (/ y (sin y))))) (pow (/ x (/ y (sin y))) 3) (sqrt (* x (/ 1 (/ y (sin y))))) (sqrt (* x (/ 1 (/ y (sin y))))) (* (sqrt x) (sqrt (/ 1 (/ y (sin y))))) (* (sqrt x) (sqrt (/ 1 (/ y (sin y))))) (/ (* (sqrt x) 1) (sqrt (/ y (sin y)))) (/ (* (sqrt x) 1) (sqrt (/ y (sin y)))) (* (/ (sqrt x) (sqrt y)) (sqrt (sin y))) (* (/ (sqrt x) (sqrt y)) (sqrt (sin y))) (/ (* (sqrt x) 1) (sqrt (/ y (sin y)))) (/ (* (sqrt x) 1) (sqrt (/ y (sin y)))) (* (/ (sqrt x) (sqrt y)) (sqrt (sin y))) (* (/ (sqrt x) (sqrt y)) (sqrt (sin y))) (* x (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y)))))) (* x (sqrt (/ 1 (/ y (sin y))))) (/ x (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ x (sqrt (/ y (sin y)))) (/ x (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ x (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ x (* (cbrt y) (cbrt y))) (/ x (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ x (/ (sqrt y) (sqrt (sin y)))) (/ x (sqrt y)) (* (* (cbrt (sin y)) (cbrt (sin y))) x) (* (sqrt (sin y)) x) x x (/ x y) (/ x (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ x (sqrt (/ y (sin y)))) (/ x (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ x (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ x (* (cbrt y) (cbrt y))) (/ x (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ x (/ (sqrt y) (sqrt (sin y)))) (/ x (sqrt y)) (* (* (cbrt (sin y)) (cbrt (sin y))) x) (* (sqrt (sin y)) x) x x (/ x y) (/ x (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ x (sqrt (/ y (sin y)))) (/ x (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ x (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ x (* (cbrt y) (cbrt y))) (/ x (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ x (/ (sqrt y) (sqrt (sin y)))) (/ x (sqrt y)) (* (* (cbrt (sin y)) (cbrt (sin y))) x) (* (sqrt (sin y)) x) x x (/ x y) x x (/ x y) (/ (cbrt x) (/ y (sin y))) (/ (sqrt x) (/ y (sin y))) (/ x (/ y (sin y))) x (fma 1/6 (pow y 2) (fma 7/360 (pow y 4) 1)) (/ y (sin y)) (/ y (sin y)) (fma (pow y 4) 1/120 (- 1 (* 1/6 (pow y 2)))) (/ (sin y) y) (/ (sin y) y) (- x (* 1/6 (* x (pow y 2)))) (/ x (/ y (sin y))) (/ x (/ y (sin y))) 0.527 * * * [progress]: adding candidates to table 0.834 * * [progress]: iteration 3 / 4 0.834 * * * [progress]: picking best candidate 0.843 * * * * [pick]: Picked # 0.844 * * * [progress]: localizing error 0.850 * * * [progress]: generating rewritten candidates 0.850 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 0.852 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.858 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.889 * * * [progress]: generating series expansions 0.889 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 0.889 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0 0.889 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 0.889 * [taylor]: Taking taylor expansion of y in y 0.889 * [taylor]: Taking taylor expansion of (sin y) in y 0.889 * [taylor]: Taking taylor expansion of y in y 0.890 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 0.890 * [taylor]: Taking taylor expansion of y in y 0.890 * [taylor]: Taking taylor expansion of (sin y) in y 0.890 * [taylor]: Taking taylor expansion of y in y 0.898 * [approximate]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in (y) around 0 0.898 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 0.898 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.898 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.898 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.898 * [taylor]: Taking taylor expansion of y in y 0.898 * [taylor]: Taking taylor expansion of y in y 0.899 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 0.899 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.899 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.899 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.899 * [taylor]: Taking taylor expansion of y in y 0.899 * [taylor]: Taking taylor expansion of y in y 0.904 * [approximate]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in (y) around 0 0.904 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 0.904 * [taylor]: Taking taylor expansion of -1 in y 0.904 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.905 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.905 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.905 * [taylor]: Taking taylor expansion of -1 in y 0.905 * [taylor]: Taking taylor expansion of y in y 0.905 * [taylor]: Taking taylor expansion of y in y 0.905 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 0.905 * [taylor]: Taking taylor expansion of -1 in y 0.905 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.905 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.905 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.905 * [taylor]: Taking taylor expansion of -1 in y 0.905 * [taylor]: Taking taylor expansion of y in y 0.906 * [taylor]: Taking taylor expansion of y in y 0.911 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.911 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 0.911 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.911 * [taylor]: Taking taylor expansion of (sin y) in y 0.911 * [taylor]: Taking taylor expansion of y in y 0.911 * [taylor]: Taking taylor expansion of y in y 0.912 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.912 * [taylor]: Taking taylor expansion of (sin y) in y 0.912 * [taylor]: Taking taylor expansion of y in y 0.912 * [taylor]: Taking taylor expansion of y in y 0.919 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 0.919 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.919 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.919 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.919 * [taylor]: Taking taylor expansion of y in y 0.919 * [taylor]: Taking taylor expansion of y in y 0.919 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.919 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.919 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.919 * [taylor]: Taking taylor expansion of y in y 0.920 * [taylor]: Taking taylor expansion of y in y 0.924 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 0.924 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 0.924 * [taylor]: Taking taylor expansion of -1 in y 0.924 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.924 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.924 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.924 * [taylor]: Taking taylor expansion of -1 in y 0.924 * [taylor]: Taking taylor expansion of y in y 0.924 * [taylor]: Taking taylor expansion of y in y 0.924 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 0.924 * [taylor]: Taking taylor expansion of -1 in y 0.924 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.924 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.924 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.924 * [taylor]: Taking taylor expansion of -1 in y 0.924 * [taylor]: Taking taylor expansion of y in y 0.925 * [taylor]: Taking taylor expansion of y in y 0.936 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.936 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) y) in (y x) around 0 0.936 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x 0.936 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.936 * [taylor]: Taking taylor expansion of x in x 0.936 * [taylor]: Taking taylor expansion of (sin y) in x 0.936 * [taylor]: Taking taylor expansion of y in x 0.936 * [taylor]: Taking taylor expansion of y in x 0.938 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in y 0.938 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.938 * [taylor]: Taking taylor expansion of x in y 0.938 * [taylor]: Taking taylor expansion of (sin y) in y 0.938 * [taylor]: Taking taylor expansion of y in y 0.938 * [taylor]: Taking taylor expansion of y in y 0.939 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in y 0.939 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.939 * [taylor]: Taking taylor expansion of x in y 0.939 * [taylor]: Taking taylor expansion of (sin y) in y 0.939 * [taylor]: Taking taylor expansion of y in y 0.939 * [taylor]: Taking taylor expansion of y in y 0.945 * [taylor]: Taking taylor expansion of x in x 0.947 * [taylor]: Taking taylor expansion of 0 in x 0.949 * [taylor]: Taking taylor expansion of (- (* 1/6 x)) in x 0.949 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 0.949 * [taylor]: Taking taylor expansion of 1/6 in x 0.949 * [taylor]: Taking taylor expansion of x in x 0.952 * [taylor]: Taking taylor expansion of 0 in x 0.953 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in (y x) around 0 0.953 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x 0.954 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 0.954 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.954 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.954 * [taylor]: Taking taylor expansion of y in x 0.954 * [taylor]: Taking taylor expansion of y in x 0.954 * [taylor]: Taking taylor expansion of x in x 0.954 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in y 0.954 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.954 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.954 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.954 * [taylor]: Taking taylor expansion of y in y 0.954 * [taylor]: Taking taylor expansion of y in y 0.954 * [taylor]: Taking taylor expansion of x in y 0.955 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in y 0.955 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.955 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.955 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.955 * [taylor]: Taking taylor expansion of y in y 0.955 * [taylor]: Taking taylor expansion of y in y 0.955 * [taylor]: Taking taylor expansion of x in y 0.955 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 0.955 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.955 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.956 * [taylor]: Taking taylor expansion of y in x 0.956 * [taylor]: Taking taylor expansion of x in x 0.956 * [taylor]: Taking taylor expansion of 0 in x 0.959 * [taylor]: Taking taylor expansion of 0 in x 0.963 * [taylor]: Taking taylor expansion of 0 in x 0.967 * [approximate]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in (y x) around 0 0.967 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in x 0.967 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 0.967 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.967 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.967 * [taylor]: Taking taylor expansion of -1 in x 0.967 * [taylor]: Taking taylor expansion of y in x 0.967 * [taylor]: Taking taylor expansion of y in x 0.967 * [taylor]: Taking taylor expansion of x in x 0.967 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in y 0.967 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.967 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.967 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.967 * [taylor]: Taking taylor expansion of -1 in y 0.967 * [taylor]: Taking taylor expansion of y in y 0.967 * [taylor]: Taking taylor expansion of y in y 0.967 * [taylor]: Taking taylor expansion of x in y 0.968 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in y 0.968 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.968 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.968 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.968 * [taylor]: Taking taylor expansion of -1 in y 0.968 * [taylor]: Taking taylor expansion of y in y 0.968 * [taylor]: Taking taylor expansion of y in y 0.968 * [taylor]: Taking taylor expansion of x in y 0.969 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 0.969 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.969 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.969 * [taylor]: Taking taylor expansion of -1 in x 0.969 * [taylor]: Taking taylor expansion of y in x 0.969 * [taylor]: Taking taylor expansion of x in x 0.970 * [taylor]: Taking taylor expansion of 0 in x 0.973 * [taylor]: Taking taylor expansion of 0 in x 0.976 * [taylor]: Taking taylor expansion of 0 in x 0.980 * * * [progress]: simplifying candidates 0.982 * [simplify]: Simplifying using # : (expm1 (/ y (sin y))) (log1p (/ y (sin y))) (- (log y) (log (sin y))) (log (/ y (sin y))) (exp (/ y (sin y))) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y))) (sqrt (/ y (sin y))) (sqrt (/ y (sin y))) (- y) (- (sin y)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt y) (cbrt (sin y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))) (/ (cbrt y) (sqrt (sin y))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (sin y)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt y) (cbrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) 1) (/ (sqrt y) (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y))) (/ 1 1) (/ y (sin y)) (/ 1 (sin y)) (/ (sin y) y) (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) (/ y 1) (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (expm1 (/ 1 (/ y (sin y)))) (log1p (/ 1 (/ y (sin y)))) (- 1) (- (- (log y) (log (sin y)))) (- (log (/ y (sin y)))) (- 0 (- (log y) (log (sin y)))) (- 0 (log (/ y (sin y)))) (- (log 1) (- (log y) (log (sin y)))) (- (log 1) (log (/ y (sin y)))) (log (/ 1 (/ y (sin y)))) (exp (/ 1 (/ y (sin y)))) (/ (* (* 1 1) 1) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y)))) (/ (* (* 1 1) 1) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y)))) (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y))))) (cbrt (/ 1 (/ y (sin y)))) (* (* (/ 1 (/ y (sin y))) (/ 1 (/ y (sin y)))) (/ 1 (/ y (sin y)))) (sqrt (/ 1 (/ y (sin y)))) (sqrt (/ 1 (/ y (sin y)))) (- 1) (- (/ y (sin y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (cbrt 1) (cbrt (/ y (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ y (sin y)))) (/ (cbrt 1) (sqrt (/ y (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ (cbrt y) (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (cbrt 1) (/ (cbrt y) (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) 1)) (/ (cbrt 1) (/ (cbrt y) (sin y))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ (sqrt y) (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (sqrt (sin y)))) (/ (cbrt 1) (/ (sqrt y) (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) 1)) (/ (cbrt 1) (/ (sqrt y) (sin y))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (cbrt 1) (/ y (cbrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (sin y)))) (/ (cbrt 1) (/ y (sqrt (sin y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ y (sin y))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ y (sin y))) (/ (* (cbrt 1) (cbrt 1)) y) (/ (cbrt 1) (/ 1 (sin y))) (/ (sqrt 1) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ (sqrt 1) (cbrt (/ y (sin y)))) (/ (sqrt 1) (sqrt (/ y (sin y)))) (/ (sqrt 1) (sqrt (/ y (sin y)))) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ (cbrt y) (cbrt (sin y)))) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ (sqrt 1) (/ (cbrt y) (sqrt (sin y)))) (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) 1)) (/ (sqrt 1) (/ (cbrt y) (sin y))) (/ (sqrt 1) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y)))) (/ (sqrt 1) (/ (sqrt y) 1)) (/ (sqrt 1) (/ (sqrt y) (sin y))) (/ (sqrt 1) (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ (sqrt 1) (/ y (cbrt (sin y)))) (/ (sqrt 1) (/ 1 (sqrt (sin y)))) (/ (sqrt 1) (/ y (sqrt (sin y)))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ y (sin y))) (/ (sqrt 1) 1) (/ (sqrt 1) (/ y (sin y))) (/ (sqrt 1) y) (/ (sqrt 1) (/ 1 (sin y))) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (cbrt y) (cbrt (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ 1 (/ (cbrt y) (sqrt (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ 1 (/ (cbrt y) (sin y))) (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (sqrt y) (cbrt (sin y)))) (/ 1 (/ (sqrt y) (sqrt (sin y)))) (/ 1 (/ (sqrt y) (sqrt (sin y)))) (/ 1 (/ (sqrt y) 1)) (/ 1 (/ (sqrt y) (sin y))) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ y (cbrt (sin y)))) (/ 1 (/ 1 (sqrt (sin y)))) (/ 1 (/ y (sqrt (sin y)))) (/ 1 (/ 1 1)) (/ 1 (/ y (sin y))) (/ 1 1) (/ 1 (/ y (sin y))) (/ 1 y) (/ 1 (/ 1 (sin y))) (/ 1 (/ y (sin y))) (/ (/ y (sin y)) 1) (/ 1 (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ 1 (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ (sqrt y) (sqrt (sin y)))) (/ 1 (/ (sqrt y) 1)) (/ 1 (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (/ 1 (/ 1 (sqrt (sin y)))) (/ 1 (/ 1 1)) (/ 1 1) (/ 1 y) (/ (/ y (sin y)) (cbrt 1)) (/ (/ y (sin y)) (sqrt 1)) (/ (/ y (sin y)) 1) (/ 1 y) (expm1 (* (/ 1 (/ y (sin y))) x)) (log1p (* (/ 1 (/ y (sin y))) x)) (* (/ 1 (/ y (sin y))) x) (+ (- (- (log y) (log (sin y)))) (log x)) (+ (- (log (/ y (sin y)))) (log x)) (+ (- 0 (- (log y) (log (sin y)))) (log x)) (+ (- 0 (log (/ y (sin y)))) (log x)) (+ (- (log 1) (- (log y) (log (sin y)))) (log x)) (+ (- (log 1) (log (/ y (sin y)))) (log x)) (+ (log (/ 1 (/ y (sin y)))) (log x)) (log (* (/ 1 (/ y (sin y))) x)) (exp (* (/ 1 (/ y (sin y))) x)) (* (/ (* (* 1 1) 1) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y)))) (* (* x x) x)) (* (/ (* (* 1 1) 1) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y)))) (* (* x x) x)) (* (* (* (/ 1 (/ y (sin y))) (/ 1 (/ y (sin y)))) (/ 1 (/ y (sin y)))) (* (* x x) x)) (* (cbrt (* (/ 1 (/ y (sin y))) x)) (cbrt (* (/ 1 (/ y (sin y))) x))) (cbrt (* (/ 1 (/ y (sin y))) x)) (* (* (* (/ 1 (/ y (sin y))) x) (* (/ 1 (/ y (sin y))) x)) (* (/ 1 (/ y (sin y))) x)) (sqrt (* (/ 1 (/ y (sin y))) x)) (sqrt (* (/ 1 (/ y (sin y))) x)) (* (sqrt (/ 1 (/ y (sin y)))) (sqrt x)) (* (sqrt (/ 1 (/ y (sin y)))) (sqrt x)) (* (/ (sqrt 1) (sqrt (/ y (sin y)))) (sqrt x)) (* (/ (sqrt 1) (sqrt (/ y (sin y)))) (sqrt x)) (* (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y)))) (sqrt x)) (* (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y)))) (sqrt x)) (* (/ 1 (sqrt (/ y (sin y)))) (sqrt x)) (* (/ 1 (sqrt (/ y (sin y)))) (sqrt x)) (* (/ 1 (/ (sqrt y) (sqrt (sin y)))) (sqrt x)) (* (/ 1 (/ (sqrt y) (sqrt (sin y)))) (sqrt x)) (* (/ 1 (/ y (sin y))) (* (cbrt x) (cbrt x))) (* (/ 1 (/ y (sin y))) (sqrt x)) (* (/ 1 (/ y (sin y))) 1) (* (cbrt (/ 1 (/ y (sin y)))) x) (* (sqrt (/ 1 (/ y (sin y)))) x) (* (/ (cbrt 1) (cbrt (/ y (sin y)))) x) (* (/ (cbrt 1) (sqrt (/ y (sin y)))) x) (* (/ (cbrt 1) (/ (cbrt y) (cbrt (sin y)))) x) (* (/ (cbrt 1) (/ (cbrt y) (sqrt (sin y)))) x) (* (/ (cbrt 1) (/ (cbrt y) (sin y))) x) (* (/ (cbrt 1) (/ (sqrt y) (cbrt (sin y)))) x) (* (/ (cbrt 1) (/ (sqrt y) (sqrt (sin y)))) x) (* (/ (cbrt 1) (/ (sqrt y) (sin y))) x) (* (/ (cbrt 1) (/ y (cbrt (sin y)))) x) (* (/ (cbrt 1) (/ y (sqrt (sin y)))) x) (* (/ (cbrt 1) (/ y (sin y))) x) (* (/ (cbrt 1) (/ y (sin y))) x) (* (/ (cbrt 1) (/ 1 (sin y))) x) (* (/ (sqrt 1) (cbrt (/ y (sin y)))) x) (* (/ (sqrt 1) (sqrt (/ y (sin y)))) x) (* (/ (sqrt 1) (/ (cbrt y) (cbrt (sin y)))) x) (* (/ (sqrt 1) (/ (cbrt y) (sqrt (sin y)))) x) (* (/ (sqrt 1) (/ (cbrt y) (sin y))) x) (* (/ (sqrt 1) (/ (sqrt y) (cbrt (sin y)))) x) (* (/ (sqrt 1) (/ (sqrt y) (sqrt (sin y)))) x) (* (/ (sqrt 1) (/ (sqrt y) (sin y))) x) (* (/ (sqrt 1) (/ y (cbrt (sin y)))) x) (* (/ (sqrt 1) (/ y (sqrt (sin y)))) x) (* (/ (sqrt 1) (/ y (sin y))) x) (* (/ (sqrt 1) (/ y (sin y))) x) (* (/ (sqrt 1) (/ 1 (sin y))) x) (* (/ 1 (cbrt (/ y (sin y)))) x) (* (/ 1 (sqrt (/ y (sin y)))) x) (* (/ 1 (/ (cbrt y) (cbrt (sin y)))) x) (* (/ 1 (/ (cbrt y) (sqrt (sin y)))) x) (* (/ 1 (/ (cbrt y) (sin y))) x) (* (/ 1 (/ (sqrt y) (cbrt (sin y)))) x) (* (/ 1 (/ (sqrt y) (sqrt (sin y)))) x) (* (/ 1 (/ (sqrt y) (sin y))) x) (* (/ 1 (/ y (cbrt (sin y)))) x) (* (/ 1 (/ y (sqrt (sin y)))) x) (* (/ 1 (/ y (sin y))) x) (* (/ 1 (/ y (sin y))) x) (* (/ 1 (/ 1 (sin y))) x) (* (/ 1 (/ y (sin y))) x) (* (/ 1 (/ y (sin y))) x) (* (sin y) x) (* 1 x) (+ (* 1/6 (pow y 2)) (+ (* 7/360 (pow y 4)) 1)) (/ y (sin y)) (/ y (sin y)) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (- x (* 1/6 (* x (pow y 2)))) (/ (* x (sin y)) y) (/ (* x (sin y)) y) 0.990 * * [simplify]: iteration 0 : 562 enodes (cost 1185 ) 1.001 * * [simplify]: iteration 1 : 2702 enodes (cost 1026 ) 1.038 * * [simplify]: iteration 2 : 5003 enodes (cost 931 ) 1.043 * [simplify]: Simplified to: (expm1 (/ y (sin y))) (log1p (/ y (sin y))) (log (/ y (sin y))) (log (/ y (sin y))) (exp (/ y (sin y))) (pow (/ y (sin y)) 3) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))) (pow (/ y (sin y)) 3) (sqrt (/ y (sin y))) (sqrt (/ y (sin y))) (- y) (- (sin y)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt y) (cbrt (sin y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))) (/ (cbrt y) (sqrt (sin y))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (sin y)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt y) (cbrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (sqrt y) (/ (sqrt y) (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y))) 1 (/ y (sin y)) (/ 1 (sin y)) (/ (sin y) y) (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) y (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (expm1 (/ 1 (/ y (sin y)))) (log1p (/ 1 (/ y (sin y)))) (- 1) (log (/ 1 (/ y (sin y)))) (log (/ 1 (/ y (sin y)))) (log (/ 1 (/ y (sin y)))) (log (/ 1 (/ y (sin y)))) (log (/ 1 (/ y (sin y)))) (log (/ 1 (/ y (sin y)))) (log (/ 1 (/ y (sin y)))) (exp (/ 1 (/ y (sin y)))) (/ 1 (pow (/ y (sin y)) 3)) (/ 1 (pow (/ y (sin y)) 3)) (* (cbrt (/ 1 (/ y (sin y)))) (cbrt (/ 1 (/ y (sin y))))) (cbrt (/ 1 (/ y (sin y)))) (/ 1 (pow (/ y (sin y)) 3)) (sqrt (/ 1 (/ y (sin y)))) (sqrt (/ 1 (/ y (sin y)))) (- 1) (- (/ y (sin y))) (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (* 1 (cbrt (sin y))) (cbrt y)) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ 1 (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ 1 (/ y (cbrt (sin y)))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (/ 1 y) (sin y) (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (* 1 (cbrt (sin y))) (cbrt y)) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ 1 (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ 1 (/ y (cbrt (sin y)))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (/ 1 y) (sin y) (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (/ 1 (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (* 1 (cbrt (sin y))) (cbrt y)) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ 1 (/ (sqrt y) (cbrt (sin y)))) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ 1 (/ y (cbrt (sin y)))) (sqrt (sin y)) (/ (sqrt (sin y)) y) 1 (/ (sin y) y) 1 (/ (sin y) y) (/ 1 y) (sin y) (/ (sin y) y) (/ y (sin y)) (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (/ 1 (sqrt (/ y (sin y)))) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (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) (expm1 (* (/ 1 (/ y (sin y))) x)) (log1p (* (/ 1 (/ y (sin y))) x)) (/ x (/ y (sin y))) (log (* (/ 1 (/ y (sin y))) x)) (log (* (/ 1 (/ y (sin y))) x)) (log (* (/ 1 (/ y (sin y))) x)) (log (* (/ 1 (/ y (sin y))) x)) (log (* (/ 1 (/ y (sin y))) x)) (log (* (/ 1 (/ y (sin y))) x)) (log (* (/ 1 (/ y (sin y))) x)) (log (* (/ 1 (/ y (sin y))) x)) (pow (exp (/ x y)) (sin y)) (pow (/ x (/ y (sin y))) 3) (pow (/ x (/ y (sin y))) 3) (pow (/ x (/ y (sin y))) 3) (* (cbrt (* (/ 1 (/ y (sin y))) x)) (cbrt (* (/ 1 (/ y (sin y))) x))) (cbrt (* (/ 1 (/ y (sin y))) x)) (pow (/ x (/ y (sin y))) 3) (sqrt (* (/ 1 (/ y (sin y))) x)) (sqrt (* (/ 1 (/ y (sin y))) x)) (* (sqrt (/ 1 (/ y (sin y)))) (sqrt x)) (* (sqrt (/ 1 (/ y (sin y)))) (sqrt x)) (/ (* (sqrt x) 1) (sqrt (/ y (sin y)))) (/ (* (sqrt x) 1) (sqrt (/ y (sin y)))) (* (/ (sqrt x) (sqrt y)) (sqrt (sin y))) (* (/ (sqrt x) (sqrt y)) (sqrt (sin y))) (/ (* (sqrt x) 1) (sqrt (/ y (sin y)))) (/ (* (sqrt x) 1) (sqrt (/ y (sin y)))) (* (/ (sqrt x) (sqrt y)) (sqrt (sin y))) (* (/ (sqrt x) (sqrt y)) (sqrt (sin y))) (/ (* (cbrt x) (cbrt x)) (/ y (sin y))) (/ (sqrt x) (/ y (sin y))) (/ (sin y) y) (* (cbrt (/ 1 (/ y (sin y)))) x) (* (sqrt (/ 1 (/ y (sin y)))) x) (/ x (cbrt (/ y (sin y)))) (/ x (sqrt (/ y (sin y)))) (/ x (/ (cbrt y) (cbrt (sin y)))) (/ x (/ (cbrt y) (sqrt (sin y)))) (/ x (/ (cbrt y) (sin y))) (/ x (/ (sqrt y) (cbrt (sin y)))) (/ x (/ (sqrt y) (sqrt (sin y)))) (/ x (/ (sqrt y) (sin y))) (/ x (/ y (cbrt (sin y)))) (/ x (/ y (sqrt (sin y)))) (/ x (/ y (sin y))) (/ x (/ y (sin y))) (* x (sin y)) (/ x (cbrt (/ y (sin y)))) (/ x (sqrt (/ y (sin y)))) (/ x (/ (cbrt y) (cbrt (sin y)))) (/ x (/ (cbrt y) (sqrt (sin y)))) (/ x (/ (cbrt y) (sin y))) (/ x (/ (sqrt y) (cbrt (sin y)))) (/ x (/ (sqrt y) (sqrt (sin y)))) (/ x (/ (sqrt y) (sin y))) (/ x (/ y (cbrt (sin y)))) (/ x (/ y (sqrt (sin y)))) (/ x (/ y (sin y))) (/ x (/ y (sin y))) (* x (sin y)) (/ x (cbrt (/ y (sin y)))) (/ x (sqrt (/ y (sin y)))) (/ x (/ (cbrt y) (cbrt (sin y)))) (/ x (/ (cbrt y) (sqrt (sin y)))) (/ x (/ (cbrt y) (sin y))) (/ x (/ (sqrt y) (cbrt (sin y)))) (/ x (/ (sqrt y) (sqrt (sin y)))) (/ x (/ (sqrt y) (sin y))) (/ x (/ y (cbrt (sin y)))) (/ x (/ y (sqrt (sin y)))) (/ x (/ y (sin y))) (/ x (/ y (sin y))) (* x (sin y)) (/ x (/ y (sin y))) (/ x (/ y (sin y))) (* x (sin y)) x (fma 1/6 (pow y 2) (fma 7/360 (pow y 4) 1)) (/ y (sin y)) (/ y (sin y)) (fma (pow y 4) 1/120 (- 1 (* 1/6 (pow y 2)))) (/ (sin y) y) (/ (sin y) y) (- x (* 1/6 (* x (pow y 2)))) (/ x (/ y (sin y))) (/ x (/ y (sin y))) 1.044 * * * [progress]: adding candidates to table 1.382 * * [progress]: iteration 4 / 4 1.382 * * * [progress]: picking best candidate 1.393 * * * * [pick]: Picked # 1.393 * * * [progress]: localizing error 1.407 * * * [progress]: generating rewritten candidates 1.407 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 2) 1.407 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2) 1.408 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1) 1.409 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 1.410 * * * [progress]: generating series expansions 1.410 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 2) 1.410 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 1.410 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.410 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.410 * [taylor]: Taking taylor expansion of 1/3 in y 1.410 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.410 * [taylor]: Taking taylor expansion of (sin y) in y 1.410 * [taylor]: Taking taylor expansion of y in y 1.412 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.412 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.412 * [taylor]: Taking taylor expansion of 1/3 in y 1.412 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.412 * [taylor]: Taking taylor expansion of (sin y) in y 1.412 * [taylor]: Taking taylor expansion of y in y 1.436 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 1.436 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.436 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.436 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.436 * [taylor]: Taking taylor expansion of 1/3 in y 1.436 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.436 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.436 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.436 * [taylor]: Taking taylor expansion of y in y 1.437 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.437 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.437 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.437 * [taylor]: Taking taylor expansion of 1/3 in y 1.437 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.437 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.437 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.437 * [taylor]: Taking taylor expansion of y in y 1.493 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 1.493 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.493 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.493 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.493 * [taylor]: Taking taylor expansion of 1/3 in y 1.493 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.493 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.493 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.493 * [taylor]: Taking taylor expansion of -1 in y 1.493 * [taylor]: Taking taylor expansion of y in y 1.494 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.494 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.494 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.494 * [taylor]: Taking taylor expansion of 1/3 in y 1.494 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.494 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.494 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.494 * [taylor]: Taking taylor expansion of -1 in y 1.494 * [taylor]: Taking taylor expansion of y in y 1.535 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2) 1.535 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 1.535 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.535 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.535 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.535 * [taylor]: Taking taylor expansion of 1/3 in y 1.535 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.535 * [taylor]: Taking taylor expansion of (sin y) in y 1.535 * [taylor]: Taking taylor expansion of y in y 1.536 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.536 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.536 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.536 * [taylor]: Taking taylor expansion of 1/3 in y 1.536 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.536 * [taylor]: Taking taylor expansion of (sin y) in y 1.536 * [taylor]: Taking taylor expansion of y in y 1.566 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 1.566 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.566 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.566 * [taylor]: Taking taylor expansion of 1/3 in y 1.566 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.566 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.566 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.566 * [taylor]: Taking taylor expansion of y in y 1.566 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.566 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.566 * [taylor]: Taking taylor expansion of 1/3 in y 1.566 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.566 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.566 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.566 * [taylor]: Taking taylor expansion of y in y 1.599 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 1.599 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.599 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.599 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.599 * [taylor]: Taking taylor expansion of 1/3 in y 1.599 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.599 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.599 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.599 * [taylor]: Taking taylor expansion of -1 in y 1.599 * [taylor]: Taking taylor expansion of y in y 1.599 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.599 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.599 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.599 * [taylor]: Taking taylor expansion of 1/3 in y 1.599 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.599 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.599 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.599 * [taylor]: Taking taylor expansion of -1 in y 1.599 * [taylor]: Taking taylor expansion of y in y 1.631 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1) 1.631 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 1.632 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.632 * [taylor]: Taking taylor expansion of 1/3 in y 1.632 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.632 * [taylor]: Taking taylor expansion of (sin y) in y 1.632 * [taylor]: Taking taylor expansion of y in y 1.633 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.633 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.633 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.633 * [taylor]: Taking taylor expansion of 1/3 in y 1.633 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.633 * [taylor]: Taking taylor expansion of (sin y) in y 1.633 * [taylor]: Taking taylor expansion of y in y 1.662 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 1.662 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.662 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.662 * [taylor]: Taking taylor expansion of 1/3 in y 1.662 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.662 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.662 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.662 * [taylor]: Taking taylor expansion of y in y 1.663 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.663 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.663 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.663 * [taylor]: Taking taylor expansion of 1/3 in y 1.663 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.663 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.663 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.663 * [taylor]: Taking taylor expansion of y in y 1.694 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 1.694 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.694 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.694 * [taylor]: Taking taylor expansion of 1/3 in y 1.694 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.694 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.694 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.694 * [taylor]: Taking taylor expansion of -1 in y 1.694 * [taylor]: Taking taylor expansion of y in y 1.695 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.695 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.695 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.695 * [taylor]: Taking taylor expansion of 1/3 in y 1.695 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.695 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.695 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.695 * [taylor]: Taking taylor expansion of -1 in y 1.695 * [taylor]: Taking taylor expansion of y in y 1.732 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 1.732 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 1.732 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.732 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.732 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.732 * [taylor]: Taking taylor expansion of 1/3 in y 1.732 * [taylor]: Taking taylor expansion of (log y) in y 1.732 * [taylor]: Taking taylor expansion of y in y 1.732 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.733 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.733 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.733 * [taylor]: Taking taylor expansion of 1/3 in y 1.733 * [taylor]: Taking taylor expansion of (log y) in y 1.733 * [taylor]: Taking taylor expansion of y in y 1.779 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 1.779 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.779 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.779 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.779 * [taylor]: Taking taylor expansion of 1/3 in y 1.779 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.779 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.779 * [taylor]: Taking taylor expansion of y in y 1.780 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.780 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.780 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.780 * [taylor]: Taking taylor expansion of 1/3 in y 1.780 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.780 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.780 * [taylor]: Taking taylor expansion of y in y 1.836 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 1.836 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.836 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.836 * [taylor]: Taking taylor expansion of -1 in y 1.836 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.837 * [taylor]: Taking taylor expansion of 1/3 in y 1.837 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.837 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.837 * [taylor]: Taking taylor expansion of y in y 1.837 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.837 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.837 * [taylor]: Taking taylor expansion of -1 in y 1.838 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.838 * [taylor]: Taking taylor expansion of 1/3 in y 1.838 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.838 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.838 * [taylor]: Taking taylor expansion of y in y 1.904 * * * [progress]: simplifying candidates 1.905 * [simplify]: Simplifying using # : (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 1.908 * * [simplify]: iteration 0 : 92 enodes (cost 244 ) 1.910 * * [simplify]: iteration 1 : 196 enodes (cost 226 ) 1.914 * * [simplify]: iteration 2 : 487 enodes (cost 218 ) 1.923 * * [simplify]: iteration 3 : 1673 enodes (cost 218 ) 1.954 * * [simplify]: iteration 4 : 5001 enodes (cost 218 ) 1.956 * [simplify]: Simplified to: (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (pow (sin y) 1/3) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (sin y) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (pow (sin y) 1/3) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (sin y) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (pow (sin y) 1/3) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (sin y) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (pow y 1/3) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 1.956 * * * [progress]: adding candidates to table 2.149 * [progress]: [Phase 3 of 3] Extracting. 2.149 * * [regime]: Finding splitpoints for: (# # # # # # # #) 2.150 * * * [regime-changes]: Trying 4 branch expressions: ((/ (sin y) y) (* x (/ (sin y) y)) y x) 2.150 * * * * [regimes]: Trying to branch on (/ (sin y) y) from (# # # # # # # #) 2.182 * * * * [regimes]: Trying to branch on (/ (sin y) y) from (# #) 2.196 * * * * [regimes]: Trying to branch on (* x (/ (sin y) y)) from (# # # # # # # #) 2.228 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 2.256 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 2.282 * * * [regime]: Found split indices: #