15.916 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying using # : (* x (/ (sin y) y)) 0.033 * * [simplify]: iteration 0 : 8 enodes (cost 3 ) 0.034 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 0.035 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 0.036 * * [simplify]: iteration 3 : 17 enodes (cost 3 ) 0.037 * * [simplify]: iteration 4 : 17 enodes (cost 3 ) 0.037 * [simplify]: Simplified to: (* x (/ (sin y) y)) 0.038 * * [progress]: iteration 1 / 4 0.038 * * * [progress]: picking best candidate 0.039 * * * * [pick]: Picked # 0.039 * * * [progress]: localizing error 0.045 * * * [progress]: generating rewritten candidates 0.045 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.048 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.057 * * * [progress]: generating series expansions 0.057 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.058 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 0.058 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.058 * [taylor]: Taking taylor expansion of (sin y) in y 0.058 * [taylor]: Taking taylor expansion of y in y 0.058 * [taylor]: Taking taylor expansion of y in y 0.063 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.063 * [taylor]: Taking taylor expansion of (sin y) in y 0.063 * [taylor]: Taking taylor expansion of y in y 0.063 * [taylor]: Taking taylor expansion of y in y 0.070 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 0.070 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.070 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.070 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.070 * [taylor]: Taking taylor expansion of y in y 0.071 * [taylor]: Taking taylor expansion of y in y 0.071 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.071 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.071 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.071 * [taylor]: Taking taylor expansion of y in y 0.071 * [taylor]: Taking taylor expansion of y in y 0.075 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 0.075 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 0.075 * [taylor]: Taking taylor expansion of -1 in y 0.075 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.075 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.075 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.075 * [taylor]: Taking taylor expansion of -1 in y 0.075 * [taylor]: Taking taylor expansion of y in y 0.076 * [taylor]: Taking taylor expansion of y in y 0.076 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 0.076 * [taylor]: Taking taylor expansion of -1 in y 0.076 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.076 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.076 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.076 * [taylor]: Taking taylor expansion of -1 in y 0.076 * [taylor]: Taking taylor expansion of y in y 0.076 * [taylor]: Taking taylor expansion of y in y 0.087 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.087 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) y) in (x y) around 0 0.088 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in y 0.088 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.088 * [taylor]: Taking taylor expansion of x in y 0.088 * [taylor]: Taking taylor expansion of (sin y) in y 0.088 * [taylor]: Taking taylor expansion of y in y 0.088 * [taylor]: Taking taylor expansion of y in y 0.088 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x 0.088 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.088 * [taylor]: Taking taylor expansion of x in x 0.088 * [taylor]: Taking taylor expansion of (sin y) in x 0.088 * [taylor]: Taking taylor expansion of y in x 0.088 * [taylor]: Taking taylor expansion of y in x 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.091 * [taylor]: Taking taylor expansion of x in x 0.091 * [taylor]: Taking taylor expansion of (sin y) in x 0.091 * [taylor]: Taking taylor expansion of y in x 0.091 * [taylor]: Taking taylor expansion of y in x 0.093 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.093 * [taylor]: Taking taylor expansion of (sin y) in y 0.093 * [taylor]: Taking taylor expansion of y in y 0.093 * [taylor]: Taking taylor expansion of y in y 0.096 * [taylor]: Taking taylor expansion of 0 in y 0.100 * [taylor]: Taking taylor expansion of 0 in y 0.106 * [taylor]: Taking taylor expansion of 0 in y 0.112 * [taylor]: Taking taylor expansion of 0 in y 0.112 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in (x y) around 0 0.112 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in y 0.112 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.112 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.112 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.112 * [taylor]: Taking taylor expansion of y in y 0.112 * [taylor]: Taking taylor expansion of y in y 0.112 * [taylor]: Taking taylor expansion of x in y 0.113 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x 0.113 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 0.113 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.113 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.113 * [taylor]: Taking taylor expansion of y in x 0.113 * [taylor]: Taking taylor expansion of y in x 0.113 * [taylor]: Taking taylor expansion of x in x 0.113 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x 0.113 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 0.113 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.113 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.113 * [taylor]: Taking taylor expansion of y in x 0.113 * [taylor]: Taking taylor expansion of y in x 0.113 * [taylor]: Taking taylor expansion of x in x 0.114 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.114 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.114 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.114 * [taylor]: Taking taylor expansion of y in y 0.114 * [taylor]: Taking taylor expansion of y in y 0.116 * [taylor]: Taking taylor expansion of 0 in y 0.120 * [taylor]: Taking taylor expansion of 0 in y 0.125 * [taylor]: Taking taylor expansion of 0 in y 0.125 * [approximate]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in (x y) around 0 0.125 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in y 0.125 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.125 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.125 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.125 * [taylor]: Taking taylor expansion of -1 in y 0.125 * [taylor]: Taking taylor expansion of y in y 0.125 * [taylor]: Taking taylor expansion of y in y 0.125 * [taylor]: Taking taylor expansion of x in y 0.126 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in x 0.126 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 0.126 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.126 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.126 * [taylor]: Taking taylor expansion of -1 in x 0.126 * [taylor]: Taking taylor expansion of y in x 0.126 * [taylor]: Taking taylor expansion of y in x 0.126 * [taylor]: Taking taylor expansion of x in x 0.126 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in x 0.126 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 0.126 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.126 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.126 * [taylor]: Taking taylor expansion of -1 in x 0.126 * [taylor]: Taking taylor expansion of y in x 0.126 * [taylor]: Taking taylor expansion of y in x 0.126 * [taylor]: Taking taylor expansion of x in x 0.127 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.127 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.127 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.127 * [taylor]: Taking taylor expansion of -1 in y 0.127 * [taylor]: Taking taylor expansion of y in y 0.127 * [taylor]: Taking taylor expansion of y in y 0.129 * [taylor]: Taking taylor expansion of 0 in y 0.133 * [taylor]: Taking taylor expansion of 0 in y 0.138 * [taylor]: Taking taylor expansion of 0 in y 0.138 * * * [progress]: simplifying candidates 0.139 * [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.145 * * [simplify]: iteration 0 : 218 enodes (cost 334 ) 0.150 * * [simplify]: iteration 1 : 998 enodes (cost 302 ) 0.171 * * [simplify]: iteration 2 : 5001 enodes (cost 302 ) 0.172 * [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.173 * * * [progress]: adding candidates to table 0.297 * * [progress]: iteration 2 / 4 0.297 * * * [progress]: picking best candidate 0.308 * * * * [pick]: Picked # 0.308 * * * [progress]: localizing error 0.315 * * * [progress]: generating rewritten candidates 0.315 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.324 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.341 * * * [progress]: generating series expansions 0.341 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.341 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 0.341 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.341 * [taylor]: Taking taylor expansion of (sin y) in y 0.341 * [taylor]: Taking taylor expansion of y in y 0.341 * [taylor]: Taking taylor expansion of y in y 0.342 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.342 * [taylor]: Taking taylor expansion of (sin y) in y 0.342 * [taylor]: Taking taylor expansion of y in y 0.342 * [taylor]: Taking taylor expansion of y in y 0.349 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 0.349 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.349 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.349 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.349 * [taylor]: Taking taylor expansion of y in y 0.349 * [taylor]: Taking taylor expansion of y in y 0.349 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.349 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.349 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.349 * [taylor]: Taking taylor expansion of y in y 0.350 * [taylor]: Taking taylor expansion of y in y 0.354 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 0.354 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 0.354 * [taylor]: Taking taylor expansion of -1 in y 0.354 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.354 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.354 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.354 * [taylor]: Taking taylor expansion of -1 in y 0.354 * [taylor]: Taking taylor expansion of y in y 0.354 * [taylor]: Taking taylor expansion of y in y 0.354 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 0.354 * [taylor]: Taking taylor expansion of -1 in y 0.354 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.354 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.354 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.354 * [taylor]: Taking taylor expansion of -1 in y 0.354 * [taylor]: Taking taylor expansion of y in y 0.355 * [taylor]: Taking taylor expansion of y in y 0.366 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.366 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) y) in (x y) around 0 0.366 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in y 0.366 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.366 * [taylor]: Taking taylor expansion of x in y 0.366 * [taylor]: Taking taylor expansion of (sin y) in y 0.366 * [taylor]: Taking taylor expansion of y in y 0.366 * [taylor]: Taking taylor expansion of y in y 0.367 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x 0.367 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.367 * [taylor]: Taking taylor expansion of x in x 0.367 * [taylor]: Taking taylor expansion of (sin y) in x 0.367 * [taylor]: Taking taylor expansion of y in x 0.367 * [taylor]: Taking taylor expansion of y in x 0.368 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x 0.369 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.369 * [taylor]: Taking taylor expansion of x in x 0.369 * [taylor]: Taking taylor expansion of (sin y) in x 0.369 * [taylor]: Taking taylor expansion of y in x 0.369 * [taylor]: Taking taylor expansion of y in x 0.370 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.370 * [taylor]: Taking taylor expansion of (sin y) in y 0.370 * [taylor]: Taking taylor expansion of y in y 0.371 * [taylor]: Taking taylor expansion of y in y 0.374 * [taylor]: Taking taylor expansion of 0 in y 0.378 * [taylor]: Taking taylor expansion of 0 in y 0.383 * [taylor]: Taking taylor expansion of 0 in y 0.389 * [taylor]: Taking taylor expansion of 0 in y 0.389 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in (x y) around 0 0.389 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in y 0.389 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.389 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.389 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.390 * [taylor]: Taking taylor expansion of y in y 0.390 * [taylor]: Taking taylor expansion of y in y 0.390 * [taylor]: Taking taylor expansion of x in y 0.390 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x 0.390 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 0.390 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.390 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.390 * [taylor]: Taking taylor expansion of y in x 0.390 * [taylor]: Taking taylor expansion of y in x 0.390 * [taylor]: Taking taylor expansion of x in x 0.391 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x 0.391 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 0.391 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.391 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.391 * [taylor]: Taking taylor expansion of y in x 0.391 * [taylor]: Taking taylor expansion of y in x 0.391 * [taylor]: Taking taylor expansion of x in x 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.391 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.391 * [taylor]: Taking taylor expansion of y in y 0.391 * [taylor]: Taking taylor expansion of y in y 0.394 * [taylor]: Taking taylor expansion of 0 in y 0.397 * [taylor]: Taking taylor expansion of 0 in y 0.402 * [taylor]: Taking taylor expansion of 0 in y 0.402 * [approximate]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in (x y) around 0 0.402 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in y 0.402 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.402 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.402 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.402 * [taylor]: Taking taylor expansion of -1 in y 0.402 * [taylor]: Taking taylor expansion of y in y 0.403 * [taylor]: Taking taylor expansion of y in y 0.403 * [taylor]: Taking taylor expansion of x in y 0.403 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in x 0.403 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 0.403 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.403 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.403 * [taylor]: Taking taylor expansion of -1 in x 0.403 * [taylor]: Taking taylor expansion of y in x 0.403 * [taylor]: Taking taylor expansion of y in x 0.403 * [taylor]: Taking taylor expansion of x in x 0.403 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in x 0.403 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 0.403 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.403 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.403 * [taylor]: Taking taylor expansion of -1 in x 0.403 * [taylor]: Taking taylor expansion of y in x 0.404 * [taylor]: Taking taylor expansion of y in x 0.404 * [taylor]: Taking taylor expansion of x in x 0.404 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.404 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.404 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.404 * [taylor]: Taking taylor expansion of -1 in y 0.404 * [taylor]: Taking taylor expansion of y in y 0.404 * [taylor]: Taking taylor expansion of y in y 0.407 * [taylor]: Taking taylor expansion of 0 in y 0.413 * [taylor]: Taking taylor expansion of 0 in y 0.418 * [taylor]: Taking taylor expansion of 0 in y 0.418 * * * [progress]: simplifying candidates 0.419 * [simplify]: Simplifying using # : (expm1 (* (sin y) (/ 1 y))) (log1p (* (sin y) (/ 1 y))) (* (sin y) (/ 1 y)) (+ (log (sin y)) (- (log y))) (+ (log (sin y)) (- 0 (log y))) (+ (log (sin y)) (- (log 1) (log y))) (+ (log (sin y)) (log (/ 1 y))) (log (* (sin y) (/ 1 y))) (exp (* (sin y) (/ 1 y))) (* (* (* (sin y) (sin y)) (sin y)) (/ (* (* 1 1) 1) (* (* y y) y))) (* (* (* (sin y) (sin y)) (sin y)) (* (* (/ 1 y) (/ 1 y)) (/ 1 y))) (* (cbrt (* (sin y) (/ 1 y))) (cbrt (* (sin y) (/ 1 y)))) (cbrt (* (sin y) (/ 1 y))) (* (* (* (sin y) (/ 1 y)) (* (sin y) (/ 1 y))) (* (sin y) (/ 1 y))) (sqrt (* (sin y) (/ 1 y))) (sqrt (* (sin y) (/ 1 y))) (* (sqrt (sin y)) (sqrt (/ 1 y))) (* (sqrt (sin y)) (sqrt (/ 1 y))) (* (sqrt (sin y)) (/ (sqrt 1) (sqrt y))) (* (sqrt (sin y)) (/ (sqrt 1) (sqrt y))) (* (sqrt (sin y)) (/ 1 (sqrt y))) (* (sqrt (sin y)) (/ 1 (sqrt y))) (* (sin y) (* (cbrt (/ 1 y)) (cbrt (/ 1 y)))) (* (sin y) (sqrt (/ 1 y))) (* (sin y) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y)))) (* (sin y) (/ (* (cbrt 1) (cbrt 1)) (sqrt y))) (* (sin y) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (sin y) (/ (sqrt 1) (* (cbrt y) (cbrt y)))) (* (sin y) (/ (sqrt 1) (sqrt y))) (* (sin y) (/ (sqrt 1) 1)) (* (sin y) (/ 1 (* (cbrt y) (cbrt y)))) (* (sin y) (/ 1 (sqrt y))) (* (sin y) (/ 1 1)) (* (sin y) 1) (* (sin y) 1) (* (cbrt (sin y)) (/ 1 y)) (* (sqrt (sin y)) (/ 1 y)) (* (sin y) (/ 1 y)) (* (sin y) 1) (expm1 (* x (* (sin y) (/ 1 y)))) (log1p (* x (* (sin y) (/ 1 y)))) (* x (* (sin y) (/ 1 y))) (* x (* (sin y) (/ 1 y))) (+ (log x) (+ (log (sin y)) (- (log y)))) (+ (log x) (+ (log (sin y)) (- 0 (log y)))) (+ (log x) (+ (log (sin y)) (- (log 1) (log y)))) (+ (log x) (+ (log (sin y)) (log (/ 1 y)))) (+ (log x) (log (* (sin y) (/ 1 y)))) (log (* x (* (sin y) (/ 1 y)))) (exp (* x (* (sin y) (/ 1 y)))) (* (* (* x x) x) (* (* (* (sin y) (sin y)) (sin y)) (/ (* (* 1 1) 1) (* (* y y) y)))) (* (* (* x x) x) (* (* (* (sin y) (sin y)) (sin y)) (* (* (/ 1 y) (/ 1 y)) (/ 1 y)))) (* (* (* x x) x) (* (* (* (sin y) (/ 1 y)) (* (sin y) (/ 1 y))) (* (sin y) (/ 1 y)))) (* (cbrt (* x (* (sin y) (/ 1 y)))) (cbrt (* x (* (sin y) (/ 1 y))))) (cbrt (* x (* (sin y) (/ 1 y)))) (* (* (* x (* (sin y) (/ 1 y))) (* x (* (sin y) (/ 1 y)))) (* x (* (sin y) (/ 1 y)))) (sqrt (* x (* (sin y) (/ 1 y)))) (sqrt (* x (* (sin y) (/ 1 y)))) (* x (sin y)) (* (cbrt x) (* (sin y) (/ 1 y))) (* (sqrt x) (* (sin y) (/ 1 y))) (* x (* (sin y) (/ 1 y))) (* x (sin y)) (* x (* (sin y) 1)) (- (+ (* 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.423 * * [simplify]: iteration 0 : 287 enodes (cost 355 ) 0.429 * * [simplify]: iteration 1 : 1261 enodes (cost 286 ) 0.453 * * [simplify]: iteration 2 : 5001 enodes (cost 269 ) 0.454 * [simplify]: Simplified to: (expm1 (* (sin y) (/ 1 y))) (log1p (* (sin y) (/ 1 y))) (/ (sin y) y) (- (log (sin y)) (log y)) (- (log (sin y)) (log y)) (- (log (sin y)) (log y)) (- (log (sin y)) (log y)) (- (log (sin y)) (log y)) (exp (* (sin y) (/ 1 y))) (pow (/ (sin y) y) 3) (pow (/ (sin y) y) 3) (* (cbrt (* (sin y) (/ 1 y))) (cbrt (* (sin y) (/ 1 y)))) (cbrt (* (sin y) (/ 1 y))) (pow (/ (sin y) y) 3) (sqrt (* (sin y) (/ 1 y))) (sqrt (* (sin y) (/ 1 y))) (* (sqrt (sin y)) (sqrt (/ 1 y))) (* (sqrt (sin y)) (sqrt (/ 1 y))) (/ (sqrt (sin y)) (pow y 1/2)) (/ (sqrt (sin y)) (pow y 1/2)) (/ (sqrt (sin y)) (pow y 1/2)) (/ (sqrt (sin y)) (pow y 1/2)) (* (sin y) (* (cbrt (/ 1 y)) (cbrt (/ 1 y)))) (* (sin y) (sqrt (/ 1 y))) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (sin y) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (sin y) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (sin y) (sin y) (sin y) (* (cbrt (sin y)) (/ 1 y)) (* (sqrt (sin y)) (/ 1 y)) (/ (sin y) y) (sin y) (expm1 (* x (* (sin y) (/ 1 y)))) (log1p (* x (* (sin y) (/ 1 y)))) (* (/ (sin y) y) x) (* (/ (sin y) y) x) (log (* x (* (sin y) (/ 1 y)))) (log (* x (* (sin y) (/ 1 y)))) (log (* x (* (sin y) (/ 1 y)))) (log (* x (* (sin y) (/ 1 y)))) (log (* x (* (sin y) (/ 1 y)))) (log (* x (* (sin y) (/ 1 y)))) (pow (exp (/ x y)) (sin y)) (pow (* (/ (sin y) y) x) 3) (pow (* (/ (sin y) y) x) 3) (pow (* (/ (sin y) y) x) 3) (* (cbrt (* x (* (sin y) (/ 1 y)))) (cbrt (* x (* (sin y) (/ 1 y))))) (cbrt (* x (* (sin y) (/ 1 y)))) (pow (* (/ (sin y) y) x) 3) (sqrt (* x (* (sin y) (/ 1 y)))) (sqrt (* x (* (sin y) (/ 1 y)))) (* (sin y) x) (* (/ (sin y) y) (cbrt x)) (* (/ (sin y) y) (sqrt x)) (* (/ (sin y) y) x) (* (sin y) x) (* (sin y) x) (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)))) (* (/ (sin y) y) x) (* (/ (sin y) y) x) 0.455 * * * [progress]: adding candidates to table 0.570 * * [progress]: iteration 3 / 4 0.570 * * * [progress]: picking best candidate 0.580 * * * * [pick]: Picked # 0.580 * * * [progress]: localizing error 0.592 * * * [progress]: generating rewritten candidates 0.592 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 0.593 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2) 0.594 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 0.595 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 0.596 * * * [progress]: generating series expansions 0.596 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 0.596 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 0.596 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 0.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 0.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 0.596 * [taylor]: Taking taylor expansion of 1/3 in y 0.596 * [taylor]: Taking taylor expansion of (log (sin y)) in y 0.596 * [taylor]: Taking taylor expansion of (sin y) in y 0.596 * [taylor]: Taking taylor expansion of y in y 0.597 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 0.597 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 0.597 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 0.597 * [taylor]: Taking taylor expansion of 1/3 in y 0.597 * [taylor]: Taking taylor expansion of (log (sin y)) in y 0.597 * [taylor]: Taking taylor expansion of (sin y) in y 0.597 * [taylor]: Taking taylor expansion of y in y 0.625 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 0.626 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 0.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 0.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 0.626 * [taylor]: Taking taylor expansion of 1/3 in y 0.626 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 0.626 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.626 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.626 * [taylor]: Taking taylor expansion of y in y 0.626 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 0.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 0.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 0.626 * [taylor]: Taking taylor expansion of 1/3 in y 0.626 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 0.626 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.626 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.626 * [taylor]: Taking taylor expansion of y in y 0.659 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 0.659 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 0.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 0.659 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 0.659 * [taylor]: Taking taylor expansion of 1/3 in y 0.659 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 0.659 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.659 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.659 * [taylor]: Taking taylor expansion of -1 in y 0.659 * [taylor]: Taking taylor expansion of y in y 0.660 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 0.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 0.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 0.660 * [taylor]: Taking taylor expansion of 1/3 in y 0.660 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 0.660 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.660 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.660 * [taylor]: Taking taylor expansion of -1 in y 0.660 * [taylor]: Taking taylor expansion of y in y 0.692 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2) 0.693 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 0.693 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 0.693 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 0.693 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 0.693 * [taylor]: Taking taylor expansion of 1/3 in y 0.693 * [taylor]: Taking taylor expansion of (log (sin y)) in y 0.693 * [taylor]: Taking taylor expansion of (sin y) in y 0.693 * [taylor]: Taking taylor expansion of y in y 0.694 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 0.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 0.694 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 0.694 * [taylor]: Taking taylor expansion of 1/3 in y 0.694 * [taylor]: Taking taylor expansion of (log (sin y)) in y 0.694 * [taylor]: Taking taylor expansion of (sin y) in y 0.694 * [taylor]: Taking taylor expansion of y in y 0.721 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 0.721 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 0.721 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 0.721 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 0.721 * [taylor]: Taking taylor expansion of 1/3 in y 0.721 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 0.721 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.721 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.721 * [taylor]: Taking taylor expansion of y in y 0.722 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 0.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 0.722 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 0.722 * [taylor]: Taking taylor expansion of 1/3 in y 0.722 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 0.722 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.722 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.722 * [taylor]: Taking taylor expansion of y in y 0.753 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 0.753 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 0.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 0.754 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 0.754 * [taylor]: Taking taylor expansion of 1/3 in y 0.754 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 0.754 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.754 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.754 * [taylor]: Taking taylor expansion of -1 in y 0.754 * [taylor]: Taking taylor expansion of y in y 0.754 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 0.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 0.754 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 0.754 * [taylor]: Taking taylor expansion of 1/3 in y 0.754 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 0.754 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.754 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.754 * [taylor]: Taking taylor expansion of -1 in y 0.754 * [taylor]: Taking taylor expansion of y in y 0.790 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 0.790 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 0.790 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 0.790 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 0.790 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 0.790 * [taylor]: Taking taylor expansion of 1/3 in y 0.790 * [taylor]: Taking taylor expansion of (log (sin y)) in y 0.790 * [taylor]: Taking taylor expansion of (sin y) in y 0.790 * [taylor]: Taking taylor expansion of y in y 0.791 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 0.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 0.791 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 0.791 * [taylor]: Taking taylor expansion of 1/3 in y 0.791 * [taylor]: Taking taylor expansion of (log (sin y)) in y 0.791 * [taylor]: Taking taylor expansion of (sin y) in y 0.791 * [taylor]: Taking taylor expansion of y in y 0.816 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 0.816 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 0.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 0.816 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 0.816 * [taylor]: Taking taylor expansion of 1/3 in y 0.816 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 0.816 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.816 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.816 * [taylor]: Taking taylor expansion of y in y 0.816 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 0.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 0.816 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 0.816 * [taylor]: Taking taylor expansion of 1/3 in y 0.816 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 0.816 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.816 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.816 * [taylor]: Taking taylor expansion of y in y 0.849 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 0.849 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 0.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 0.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 0.849 * [taylor]: Taking taylor expansion of 1/3 in y 0.849 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 0.849 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.849 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.849 * [taylor]: Taking taylor expansion of -1 in y 0.849 * [taylor]: Taking taylor expansion of y in y 0.850 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 0.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 0.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 0.850 * [taylor]: Taking taylor expansion of 1/3 in y 0.850 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 0.850 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.850 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.850 * [taylor]: Taking taylor expansion of -1 in y 0.850 * [taylor]: Taking taylor expansion of y in y 0.884 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 0.884 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 0.884 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.884 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.884 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.884 * [taylor]: Taking taylor expansion of 1/3 in y 0.884 * [taylor]: Taking taylor expansion of (log y) in y 0.884 * [taylor]: Taking taylor expansion of y in y 0.885 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.885 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.885 * [taylor]: Taking taylor expansion of 1/3 in y 0.885 * [taylor]: Taking taylor expansion of (log y) in y 0.885 * [taylor]: Taking taylor expansion of y in y 0.936 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 0.936 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.936 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.936 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.937 * [taylor]: Taking taylor expansion of 1/3 in y 0.937 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.937 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.937 * [taylor]: Taking taylor expansion of y in y 0.937 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.937 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.937 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.937 * [taylor]: Taking taylor expansion of 1/3 in y 0.937 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.938 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.938 * [taylor]: Taking taylor expansion of y in y 0.990 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 0.990 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.990 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.990 * [taylor]: Taking taylor expansion of -1 in y 0.991 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.991 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.991 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.991 * [taylor]: Taking taylor expansion of 1/3 in y 0.991 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.991 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.991 * [taylor]: Taking taylor expansion of y in y 0.992 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.992 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.992 * [taylor]: Taking taylor expansion of -1 in y 0.992 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.993 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.993 * [taylor]: Taking taylor expansion of 1/3 in y 0.993 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.993 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.993 * [taylor]: Taking taylor expansion of y in y 1.057 * * * [progress]: simplifying candidates 1.058 * [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.061 * * [simplify]: iteration 0 : 92 enodes (cost 244 ) 1.063 * * [simplify]: iteration 1 : 196 enodes (cost 226 ) 1.067 * * [simplify]: iteration 2 : 487 enodes (cost 218 ) 1.076 * * [simplify]: iteration 3 : 1673 enodes (cost 218 ) 1.109 * * [simplify]: iteration 4 : 5001 enodes (cost 218 ) 1.110 * [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.110 * * * [progress]: adding candidates to table 1.300 * * [progress]: iteration 4 / 4 1.300 * * * [progress]: picking best candidate 1.309 * * * * [pick]: Picked # 1.309 * * * [progress]: localizing error 1.318 * * * [progress]: generating rewritten candidates 1.318 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.320 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 1.322 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 1.323 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 1.348 * * * [progress]: generating series expansions 1.348 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.348 * [approximate]: Taking taylor expansion of (pow (/ (sin y) y) 1/3) in (y) around 0 1.348 * [taylor]: Taking taylor expansion of (pow (/ (sin y) y) 1/3) in y 1.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin y) y)))) in y 1.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin y) y))) in y 1.348 * [taylor]: Taking taylor expansion of 1/3 in y 1.348 * [taylor]: Taking taylor expansion of (log (/ (sin y) y)) in y 1.348 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 1.348 * [taylor]: Taking taylor expansion of (sin y) in y 1.348 * [taylor]: Taking taylor expansion of y in y 1.348 * [taylor]: Taking taylor expansion of y in y 1.355 * [taylor]: Taking taylor expansion of (pow (/ (sin y) y) 1/3) in y 1.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin y) y)))) in y 1.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin y) y))) in y 1.355 * [taylor]: Taking taylor expansion of 1/3 in y 1.355 * [taylor]: Taking taylor expansion of (log (/ (sin y) y)) in y 1.355 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 1.355 * [taylor]: Taking taylor expansion of (sin y) in y 1.355 * [taylor]: Taking taylor expansion of y in y 1.355 * [taylor]: Taking taylor expansion of y in y 1.387 * [approximate]: Taking taylor expansion of (pow (* (sin (/ 1 y)) y) 1/3) in (y) around 0 1.387 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 y)) y) 1/3) in y 1.387 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1 y)) y)))) in y 1.387 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1 y)) y))) in y 1.387 * [taylor]: Taking taylor expansion of 1/3 in y 1.387 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1 y)) y)) in y 1.387 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 1.387 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.387 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.387 * [taylor]: Taking taylor expansion of y in y 1.388 * [taylor]: Taking taylor expansion of y in y 1.388 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 y)) y) 1/3) in y 1.388 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1 y)) y)))) in y 1.388 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1 y)) y))) in y 1.389 * [taylor]: Taking taylor expansion of 1/3 in y 1.389 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1 y)) y)) in y 1.389 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 1.389 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.389 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.389 * [taylor]: Taking taylor expansion of y in y 1.389 * [taylor]: Taking taylor expansion of y in y 1.428 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (* (sin (/ -1 y)) y) 1/3)) in (y) around 0 1.428 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* (sin (/ -1 y)) y) 1/3)) in y 1.428 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.428 * [taylor]: Taking taylor expansion of -1 in y 1.429 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 y)) y) 1/3) in y 1.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ -1 y)) y)))) in y 1.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ -1 y)) y))) in y 1.429 * [taylor]: Taking taylor expansion of 1/3 in y 1.429 * [taylor]: Taking taylor expansion of (log (* (sin (/ -1 y)) y)) in y 1.429 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 1.429 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.429 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.429 * [taylor]: Taking taylor expansion of -1 in y 1.429 * [taylor]: Taking taylor expansion of y in y 1.429 * [taylor]: Taking taylor expansion of y in y 1.430 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* (sin (/ -1 y)) y) 1/3)) in y 1.430 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.430 * [taylor]: Taking taylor expansion of -1 in y 1.431 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 y)) y) 1/3) in y 1.431 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ -1 y)) y)))) in y 1.431 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ -1 y)) y))) in y 1.431 * [taylor]: Taking taylor expansion of 1/3 in y 1.431 * [taylor]: Taking taylor expansion of (log (* (sin (/ -1 y)) y)) in y 1.431 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 1.431 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.431 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.431 * [taylor]: Taking taylor expansion of -1 in y 1.431 * [taylor]: Taking taylor expansion of y in y 1.431 * [taylor]: Taking taylor expansion of y in y 1.485 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 1.485 * [approximate]: Taking taylor expansion of (pow (/ (sin y) y) 1/3) in (y) around 0 1.485 * [taylor]: Taking taylor expansion of (pow (/ (sin y) y) 1/3) in y 1.485 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin y) y)))) in y 1.485 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin y) y))) in y 1.485 * [taylor]: Taking taylor expansion of 1/3 in y 1.485 * [taylor]: Taking taylor expansion of (log (/ (sin y) y)) in y 1.485 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 1.485 * [taylor]: Taking taylor expansion of (sin y) in y 1.485 * [taylor]: Taking taylor expansion of y in y 1.485 * [taylor]: Taking taylor expansion of y in y 1.492 * [taylor]: Taking taylor expansion of (pow (/ (sin y) y) 1/3) in y 1.492 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin y) y)))) in y 1.492 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin y) y))) in y 1.492 * [taylor]: Taking taylor expansion of 1/3 in y 1.492 * [taylor]: Taking taylor expansion of (log (/ (sin y) y)) in y 1.492 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 1.492 * [taylor]: Taking taylor expansion of (sin y) in y 1.492 * [taylor]: Taking taylor expansion of y in y 1.492 * [taylor]: Taking taylor expansion of y in y 1.516 * [approximate]: Taking taylor expansion of (pow (* (sin (/ 1 y)) y) 1/3) in (y) around 0 1.516 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 y)) y) 1/3) in y 1.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1 y)) y)))) in y 1.516 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1 y)) y))) in y 1.516 * [taylor]: Taking taylor expansion of 1/3 in y 1.516 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1 y)) y)) in y 1.516 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 1.516 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.516 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.516 * [taylor]: Taking taylor expansion of y in y 1.517 * [taylor]: Taking taylor expansion of y in y 1.517 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 y)) y) 1/3) in y 1.517 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1 y)) y)))) in y 1.517 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1 y)) y))) in y 1.517 * [taylor]: Taking taylor expansion of 1/3 in y 1.517 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1 y)) y)) in y 1.518 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 1.518 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.518 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.518 * [taylor]: Taking taylor expansion of y in y 1.518 * [taylor]: Taking taylor expansion of y in y 1.561 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (* (sin (/ -1 y)) y) 1/3)) in (y) around 0 1.561 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* (sin (/ -1 y)) y) 1/3)) in y 1.561 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.561 * [taylor]: Taking taylor expansion of -1 in y 1.562 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 y)) y) 1/3) in y 1.562 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ -1 y)) y)))) in y 1.562 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ -1 y)) y))) in y 1.562 * [taylor]: Taking taylor expansion of 1/3 in y 1.562 * [taylor]: Taking taylor expansion of (log (* (sin (/ -1 y)) y)) in y 1.562 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 1.562 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.562 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.562 * [taylor]: Taking taylor expansion of -1 in y 1.562 * [taylor]: Taking taylor expansion of y in y 1.562 * [taylor]: Taking taylor expansion of y in y 1.563 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* (sin (/ -1 y)) y) 1/3)) in y 1.563 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.563 * [taylor]: Taking taylor expansion of -1 in y 1.564 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 y)) y) 1/3) in y 1.564 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ -1 y)) y)))) in y 1.564 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ -1 y)) y))) in y 1.564 * [taylor]: Taking taylor expansion of 1/3 in y 1.564 * [taylor]: Taking taylor expansion of (log (* (sin (/ -1 y)) y)) in y 1.564 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 1.564 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.564 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.564 * [taylor]: Taking taylor expansion of -1 in y 1.564 * [taylor]: Taking taylor expansion of y in y 1.564 * [taylor]: Taking taylor expansion of y in y 1.613 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 1.613 * [approximate]: Taking taylor expansion of (pow (/ (sin y) y) 1/3) in (y) around 0 1.613 * [taylor]: Taking taylor expansion of (pow (/ (sin y) y) 1/3) in y 1.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin y) y)))) in y 1.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin y) y))) in y 1.613 * [taylor]: Taking taylor expansion of 1/3 in y 1.613 * [taylor]: Taking taylor expansion of (log (/ (sin y) y)) in y 1.613 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 1.613 * [taylor]: Taking taylor expansion of (sin y) in y 1.613 * [taylor]: Taking taylor expansion of y in y 1.613 * [taylor]: Taking taylor expansion of y in y 1.624 * [taylor]: Taking taylor expansion of (pow (/ (sin y) y) 1/3) in y 1.624 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin y) y)))) in y 1.624 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin y) y))) in y 1.624 * [taylor]: Taking taylor expansion of 1/3 in y 1.624 * [taylor]: Taking taylor expansion of (log (/ (sin y) y)) in y 1.624 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 1.624 * [taylor]: Taking taylor expansion of (sin y) in y 1.624 * [taylor]: Taking taylor expansion of y in y 1.624 * [taylor]: Taking taylor expansion of y in y 1.648 * [approximate]: Taking taylor expansion of (pow (* (sin (/ 1 y)) y) 1/3) in (y) around 0 1.648 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 y)) y) 1/3) in y 1.648 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1 y)) y)))) in y 1.648 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1 y)) y))) in y 1.648 * [taylor]: Taking taylor expansion of 1/3 in y 1.648 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1 y)) y)) in y 1.648 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 1.648 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.648 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.648 * [taylor]: Taking taylor expansion of y in y 1.648 * [taylor]: Taking taylor expansion of y in y 1.649 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 y)) y) 1/3) in y 1.649 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ 1 y)) y)))) in y 1.649 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ 1 y)) y))) in y 1.649 * [taylor]: Taking taylor expansion of 1/3 in y 1.649 * [taylor]: Taking taylor expansion of (log (* (sin (/ 1 y)) y)) in y 1.649 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 1.649 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.649 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.649 * [taylor]: Taking taylor expansion of y in y 1.650 * [taylor]: Taking taylor expansion of y in y 1.687 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (* (sin (/ -1 y)) y) 1/3)) in (y) around 0 1.687 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* (sin (/ -1 y)) y) 1/3)) in y 1.687 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.687 * [taylor]: Taking taylor expansion of -1 in y 1.688 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 y)) y) 1/3) in y 1.688 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ -1 y)) y)))) in y 1.688 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ -1 y)) y))) in y 1.688 * [taylor]: Taking taylor expansion of 1/3 in y 1.688 * [taylor]: Taking taylor expansion of (log (* (sin (/ -1 y)) y)) in y 1.688 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 1.688 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.688 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.688 * [taylor]: Taking taylor expansion of -1 in y 1.688 * [taylor]: Taking taylor expansion of y in y 1.688 * [taylor]: Taking taylor expansion of y in y 1.689 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* (sin (/ -1 y)) y) 1/3)) in y 1.689 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.689 * [taylor]: Taking taylor expansion of -1 in y 1.690 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 y)) y) 1/3) in y 1.690 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (/ -1 y)) y)))) in y 1.690 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (/ -1 y)) y))) in y 1.690 * [taylor]: Taking taylor expansion of 1/3 in y 1.690 * [taylor]: Taking taylor expansion of (log (* (sin (/ -1 y)) y)) in y 1.690 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 1.690 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.690 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.690 * [taylor]: Taking taylor expansion of -1 in y 1.690 * [taylor]: Taking taylor expansion of y in y 1.690 * [taylor]: Taking taylor expansion of y in y 1.744 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 1.744 * [approximate]: Taking taylor expansion of (pow (/ (pow (sin y) 2) (pow y 2)) 1/3) in (y) around 0 1.744 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin y) 2) (pow y 2)) 1/3) in y 1.744 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin y) 2) (pow y 2))))) in y 1.744 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin y) 2) (pow y 2)))) in y 1.744 * [taylor]: Taking taylor expansion of 1/3 in y 1.744 * [taylor]: Taking taylor expansion of (log (/ (pow (sin y) 2) (pow y 2))) in y 1.744 * [taylor]: Taking taylor expansion of (/ (pow (sin y) 2) (pow y 2)) in y 1.744 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 1.744 * [taylor]: Taking taylor expansion of (sin y) in y 1.744 * [taylor]: Taking taylor expansion of y in y 1.745 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.745 * [taylor]: Taking taylor expansion of y in y 1.753 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin y) 2) (pow y 2)) 1/3) in y 1.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin y) 2) (pow y 2))))) in y 1.753 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin y) 2) (pow y 2)))) in y 1.753 * [taylor]: Taking taylor expansion of 1/3 in y 1.753 * [taylor]: Taking taylor expansion of (log (/ (pow (sin y) 2) (pow y 2))) in y 1.753 * [taylor]: Taking taylor expansion of (/ (pow (sin y) 2) (pow y 2)) in y 1.753 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 1.753 * [taylor]: Taking taylor expansion of (sin y) in y 1.753 * [taylor]: Taking taylor expansion of y in y 1.753 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.753 * [taylor]: Taking taylor expansion of y in y 1.787 * [approximate]: Taking taylor expansion of (pow (* (pow (sin (/ 1 y)) 2) (pow y 2)) 1/3) in (y) around 0 1.787 * [taylor]: Taking taylor expansion of (pow (* (pow (sin (/ 1 y)) 2) (pow y 2)) 1/3) in y 1.787 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin (/ 1 y)) 2) (pow y 2))))) in y 1.787 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin (/ 1 y)) 2) (pow y 2)))) in y 1.787 * [taylor]: Taking taylor expansion of 1/3 in y 1.787 * [taylor]: Taking taylor expansion of (log (* (pow (sin (/ 1 y)) 2) (pow y 2))) in y 1.787 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 y)) 2) (pow y 2)) in y 1.787 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 1.787 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.787 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.787 * [taylor]: Taking taylor expansion of y in y 1.788 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.788 * [taylor]: Taking taylor expansion of y in y 1.789 * [taylor]: Taking taylor expansion of (pow (* (pow (sin (/ 1 y)) 2) (pow y 2)) 1/3) in y 1.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin (/ 1 y)) 2) (pow y 2))))) in y 1.789 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin (/ 1 y)) 2) (pow y 2)))) in y 1.789 * [taylor]: Taking taylor expansion of 1/3 in y 1.789 * [taylor]: Taking taylor expansion of (log (* (pow (sin (/ 1 y)) 2) (pow y 2))) in y 1.789 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 y)) 2) (pow y 2)) in y 1.789 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 1.789 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.789 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.789 * [taylor]: Taking taylor expansion of y in y 1.790 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.790 * [taylor]: Taking taylor expansion of y in y 1.840 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (* (pow (sin (/ -1 y)) 2) (pow y 2)) 1/3)) in (y) around 0 1.840 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (* (pow (sin (/ -1 y)) 2) (pow y 2)) 1/3)) in y 1.840 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 1.840 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.840 * [taylor]: Taking taylor expansion of -1 in y 1.840 * [taylor]: Taking taylor expansion of (pow (* (pow (sin (/ -1 y)) 2) (pow y 2)) 1/3) in y 1.840 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin (/ -1 y)) 2) (pow y 2))))) in y 1.840 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin (/ -1 y)) 2) (pow y 2)))) in y 1.841 * [taylor]: Taking taylor expansion of 1/3 in y 1.841 * [taylor]: Taking taylor expansion of (log (* (pow (sin (/ -1 y)) 2) (pow y 2))) in y 1.841 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 y)) 2) (pow y 2)) in y 1.841 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 1.841 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.841 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.841 * [taylor]: Taking taylor expansion of -1 in y 1.841 * [taylor]: Taking taylor expansion of y in y 1.841 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.841 * [taylor]: Taking taylor expansion of y in y 1.842 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (* (pow (sin (/ -1 y)) 2) (pow y 2)) 1/3)) in y 1.842 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 1.842 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.842 * [taylor]: Taking taylor expansion of -1 in y 1.843 * [taylor]: Taking taylor expansion of (pow (* (pow (sin (/ -1 y)) 2) (pow y 2)) 1/3) in y 1.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin (/ -1 y)) 2) (pow y 2))))) in y 1.843 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin (/ -1 y)) 2) (pow y 2)))) in y 1.843 * [taylor]: Taking taylor expansion of 1/3 in y 1.843 * [taylor]: Taking taylor expansion of (log (* (pow (sin (/ -1 y)) 2) (pow y 2))) in y 1.843 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 y)) 2) (pow y 2)) in y 1.843 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 1.843 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.843 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.843 * [taylor]: Taking taylor expansion of -1 in y 1.843 * [taylor]: Taking taylor expansion of y in y 1.843 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.843 * [taylor]: Taking taylor expansion of y in y 1.916 * * * [progress]: simplifying candidates 1.919 * [simplify]: Simplifying using # : (expm1 (cbrt (/ (sin y) y))) (log1p (cbrt (/ (sin y) y))) (log (cbrt (/ (sin y) y))) (exp (cbrt (/ (sin y) y))) (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (cbrt (cbrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt (sin y)) (cbrt y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (cbrt (/ (cbrt (sin y)) (sqrt y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) 1)) (cbrt (/ (cbrt (sin y)) y)) (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt (sin y)) (cbrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) 1)) (cbrt (/ (sqrt (sin y)) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ (sin y) (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ (sin y) (sqrt y))) (cbrt (/ 1 1)) (cbrt (/ (sin y) y)) (cbrt 1) (cbrt (/ (sin y) y)) (cbrt (sin y)) (cbrt (/ 1 y)) (cbrt (sin y)) (cbrt y) (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y)))) (cbrt (cbrt (/ (sin y) y))) (* (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y))) (expm1 (cbrt (/ (sin y) y))) (log1p (cbrt (/ (sin y) y))) (log (cbrt (/ (sin y) y))) (exp (cbrt (/ (sin y) y))) (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (cbrt (cbrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt (sin y)) (cbrt y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (cbrt (/ (cbrt (sin y)) (sqrt y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) 1)) (cbrt (/ (cbrt (sin y)) y)) (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt (sin y)) (cbrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) 1)) (cbrt (/ (sqrt (sin y)) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ (sin y) (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ (sin y) (sqrt y))) (cbrt (/ 1 1)) (cbrt (/ (sin y) y)) (cbrt 1) (cbrt (/ (sin y) y)) (cbrt (sin y)) (cbrt (/ 1 y)) (cbrt (sin y)) (cbrt y) (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y)))) (cbrt (cbrt (/ (sin y) y))) (* (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y))) (expm1 (cbrt (/ (sin y) y))) (log1p (cbrt (/ (sin y) y))) (log (cbrt (/ (sin y) y))) (exp (cbrt (/ (sin y) y))) (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (cbrt (cbrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt (sin y)) (cbrt y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (cbrt (/ (cbrt (sin y)) (sqrt y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) 1)) (cbrt (/ (cbrt (sin y)) y)) (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt (sin y)) (cbrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) 1)) (cbrt (/ (sqrt (sin y)) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ (sin y) (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ (sin y) (sqrt y))) (cbrt (/ 1 1)) (cbrt (/ (sin y) y)) (cbrt 1) (cbrt (/ (sin y) y)) (cbrt (sin y)) (cbrt (/ 1 y)) (cbrt (sin y)) (cbrt y) (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y)))) (cbrt (cbrt (/ (sin y) y))) (* (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y))) (expm1 (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (log1p (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (+ 1/3 1/3) (+ 1 1) (* (/ (sin y) y) (/ (sin y) y)) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (+ 1 1) (+ (log (cbrt (/ (sin y) y))) (log (cbrt (/ (sin y) y)))) (log (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (exp (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* (/ (sin y) y) (/ (sin y) y)) (* (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))) (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* (* (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (sqrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (sqrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))) (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y)))) (* (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y)))) (* (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y)))) (* (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))))) (* (cbrt (/ (cbrt (sin y)) (cbrt y))) (cbrt (/ (cbrt (sin y)) (cbrt y)))) (* (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)))) (* (cbrt (/ (cbrt (sin y)) (sqrt y))) (cbrt (/ (cbrt (sin y)) (sqrt y)))) (* (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) 1)) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) 1))) (* (cbrt (/ (cbrt (sin y)) y)) (cbrt (/ (cbrt (sin y)) y))) (* (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))))) (* (cbrt (/ (sqrt (sin y)) (cbrt y))) (cbrt (/ (sqrt (sin y)) (cbrt y)))) (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y)))) (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y)))) (* (cbrt (/ (sqrt (sin y)) 1)) (cbrt (/ (sqrt (sin y)) 1))) (* (cbrt (/ (sqrt (sin y)) y)) (cbrt (/ (sqrt (sin y)) y))) (* (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ 1 (* (cbrt y) (cbrt y))))) (* (cbrt (/ (sin y) (cbrt y))) (cbrt (/ (sin y) (cbrt y)))) (* (cbrt (/ 1 (sqrt y))) (cbrt (/ 1 (sqrt y)))) (* (cbrt (/ (sin y) (sqrt y))) (cbrt (/ (sin y) (sqrt y)))) (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y)))) (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y))))) (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y)))) (* (sqrt (cbrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y)))) (* (sqrt (cbrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y)))) (* 1 1) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (* (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y)))) (* (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y)))) (* (cbrt (sqrt (/ (sin y) y))) (cbrt (/ (sqrt (sin y)) (sqrt y)))) (* (cbrt (sqrt (/ (sin y) y))) (cbrt (/ (sqrt (sin y)) (sqrt y)))) (* (cbrt (sqrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y)))) (* (cbrt (sqrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y)))) (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (sqrt (/ (sin y) y)))) (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (sqrt (/ (sin y) y)))) (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y)))) (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y)))) (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (sqrt (cbrt (/ (sin y) y)))) (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (sqrt (cbrt (/ (sin y) y)))) (* (sqrt (cbrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y)))) (* (sqrt (cbrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y)))) (* (sqrt (cbrt (/ (sin y) y))) (cbrt (/ (sqrt (sin y)) (sqrt y)))) (* (sqrt (cbrt (/ (sin y) y))) (cbrt (/ (sqrt (sin y)) (sqrt y)))) (* (sqrt (cbrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y)))) (* (sqrt (cbrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y)))) (* 2 1/3) (* 2 1) (* (cbrt (/ (sin y) y)) (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))) (* (cbrt (/ (sin y) y)) (cbrt (sqrt (/ (sin y) y)))) (* (cbrt (/ (sin y) y)) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))))) (* (cbrt (/ (sin y) y)) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)))) (* (cbrt (/ (sin y) y)) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) 1))) (* (cbrt (/ (sin y) y)) (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))))) (* (cbrt (/ (sin y) y)) (cbrt (/ (sqrt (sin y)) (sqrt y)))) (* (cbrt (/ (sin y) y)) (cbrt (/ (sqrt (sin y)) 1))) (* (cbrt (/ (sin y) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y))))) (* (cbrt (/ (sin y) y)) (cbrt (/ 1 (sqrt y)))) (* (cbrt (/ (sin y) y)) (cbrt (/ 1 1))) (* (cbrt (/ (sin y) y)) (cbrt 1)) (* (cbrt (/ (sin y) y)) (cbrt (sin y))) (* (cbrt (/ (sin y) y)) (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y))))) (* (cbrt (/ (sin y) y)) (sqrt (cbrt (/ (sin y) y)))) (* (cbrt (/ (sin y) y)) 1) (* (cbrt (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y))) (* (cbrt (sqrt (/ (sin y) y))) (cbrt (/ (sin y) y))) (* (cbrt (/ (cbrt (sin y)) (cbrt y))) (cbrt (/ (sin y) y))) (* (cbrt (/ (cbrt (sin y)) (sqrt y))) (cbrt (/ (sin y) y))) (* (cbrt (/ (cbrt (sin y)) y)) (cbrt (/ (sin y) y))) (* (cbrt (/ (sqrt (sin y)) (cbrt y))) (cbrt (/ (sin y) y))) (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sin y) y))) (* (cbrt (/ (sqrt (sin y)) y)) (cbrt (/ (sin y) y))) (* (cbrt (/ (sin y) (cbrt y))) (cbrt (/ (sin y) y))) (* (cbrt (/ (sin y) (sqrt y))) (cbrt (/ (sin y) y))) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (* (cbrt (/ 1 y)) (cbrt (/ (sin y) y))) (* (cbrt (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y))) (* (sqrt (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y))) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (* (cbrt (/ (sin y) y)) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (/ (sin y) y))) (- 1 (+ (* 1/18 (pow y 2)) (* 1/3240 (pow y 4)))) (exp (* 1/3 (+ (log (sin y)) (log (/ 1 y))))) (* (cbrt -1) (exp (* 1/3 (+ (log (sin y)) (log (/ -1 y)))))) (- 1 (+ (* 1/18 (pow y 2)) (* 1/3240 (pow y 4)))) (exp (* 1/3 (+ (log (sin y)) (log (/ 1 y))))) (* (cbrt -1) (exp (* 1/3 (+ (log (sin y)) (log (/ -1 y)))))) (- 1 (+ (* 1/18 (pow y 2)) (* 1/3240 (pow y 4)))) (exp (* 1/3 (+ (log (sin y)) (log (/ 1 y))))) (* (cbrt -1) (exp (* 1/3 (+ (log (sin y)) (log (/ -1 y)))))) (- (+ (* 1/405 (pow y 4)) 1) (* 1/9 (pow y 2))) (exp (* 1/3 (+ (log (pow (sin y) 2)) (* 2 (log (/ 1 y)))))) (* (pow (cbrt -1) 2) (exp (* 1/3 (+ (log (pow (sin y) 2)) (* 2 (log (/ -1 y))))))) 1.925 * * [simplify]: iteration 0 : 302 enodes (cost 1455 ) 1.930 * * [simplify]: iteration 1 : 1021 enodes (cost 1402 ) 1.953 * * [simplify]: iteration 2 : 5001 enodes (cost 1328 ) 1.959 * [simplify]: Simplified to: (expm1 (cbrt (/ (sin y) y))) (log1p (cbrt (/ (sin y) y))) (log (cbrt (/ (sin y) y))) (exp (cbrt (/ (sin y) y))) (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (cbrt (cbrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt (sin y)) (cbrt y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (cbrt (/ (cbrt (sin y)) (sqrt y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) 1)) (cbrt (/ (cbrt (sin y)) y)) (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt (sin y)) (cbrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) 1)) (cbrt (/ (sqrt (sin y)) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ (sin y) (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ (sin y) (sqrt y))) 1 (cbrt (/ (sin y) y)) 1 (cbrt (/ (sin y) y)) (cbrt (sin y)) (cbrt (/ 1 y)) (cbrt (sin y)) (cbrt y) (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y)))) (cbrt (cbrt (/ (sin y) y))) (/ (sin y) y) (sqrt (cbrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y))) (expm1 (cbrt (/ (sin y) y))) (log1p (cbrt (/ (sin y) y))) (log (cbrt (/ (sin y) y))) (exp (cbrt (/ (sin y) y))) (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (cbrt (cbrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt (sin y)) (cbrt y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (cbrt (/ (cbrt (sin y)) (sqrt y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) 1)) (cbrt (/ (cbrt (sin y)) y)) (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt (sin y)) (cbrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) 1)) (cbrt (/ (sqrt (sin y)) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ (sin y) (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ (sin y) (sqrt y))) 1 (cbrt (/ (sin y) y)) 1 (cbrt (/ (sin y) y)) (cbrt (sin y)) (cbrt (/ 1 y)) (cbrt (sin y)) (cbrt y) (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y)))) (cbrt (cbrt (/ (sin y) y))) (/ (sin y) y) (sqrt (cbrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y))) (expm1 (cbrt (/ (sin y) y))) (log1p (cbrt (/ (sin y) y))) (log (cbrt (/ (sin y) y))) (exp (cbrt (/ (sin y) y))) (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (cbrt (cbrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt (sin y)) (cbrt y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (cbrt (/ (cbrt (sin y)) (sqrt y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) 1)) (cbrt (/ (cbrt (sin y)) y)) (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt (sin y)) (cbrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) 1)) (cbrt (/ (sqrt (sin y)) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ (sin y) (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ (sin y) (sqrt y))) 1 (cbrt (/ (sin y) y)) 1 (cbrt (/ (sin y) y)) (cbrt (sin y)) (cbrt (/ 1 y)) (cbrt (sin y)) (cbrt y) (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y)))) (cbrt (cbrt (/ (sin y) y))) (/ (sin y) y) (sqrt (cbrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y))) (expm1 (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (log1p (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) 2/3 2 (pow (cbrt (/ (sin y) y)) 6) (pow (sqrt (cbrt (/ (sin y) y))) 4) 2 (* 2 (log (cbrt (/ (sin y) y)))) (* 2 (log (cbrt (/ (sin y) y)))) (pow (exp 1) (pow (sqrt (cbrt (/ (sin y) y))) 4)) (pow (cbrt (/ (sin y) y)) 6) (* (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))) (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (pow (cbrt (/ (sin y) y)) 6) (fabs (cbrt (/ (sin y) y))) (fabs (cbrt (/ (sin y) y))) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))) (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y)))) (* (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y)))) (* (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y)))) (* (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))))) (* (cbrt (/ (cbrt (sin y)) (cbrt y))) (cbrt (/ (cbrt (sin y)) (cbrt y)))) (* (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)))) (* (cbrt (/ (cbrt (sin y)) (sqrt y))) (cbrt (/ (cbrt (sin y)) (sqrt y)))) (* (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) 1)) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) 1))) (* (cbrt (/ (cbrt (sin y)) y)) (cbrt (/ (cbrt (sin y)) y))) (* (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))))) (* (cbrt (/ (sqrt (sin y)) (cbrt y))) (cbrt (/ (sqrt (sin y)) (cbrt y)))) (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y)))) (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y)))) (* (cbrt (/ (sqrt (sin y)) 1)) (cbrt (/ (sqrt (sin y)) 1))) (* (cbrt (/ (sqrt (sin y)) y)) (cbrt (/ (sqrt (sin y)) y))) (* (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ 1 (* (cbrt y) (cbrt y))))) (* (cbrt (/ (sin y) (cbrt y))) (cbrt (/ (sin y) (cbrt y)))) (* (cbrt (/ 1 (sqrt y))) (cbrt (/ 1 (sqrt y)))) (* (cbrt (/ (sin y) (sqrt y))) (cbrt (/ (sin y) (sqrt y)))) 1 (pow (sqrt (cbrt (/ (sin y) y))) 4) 1 (pow (sqrt (cbrt (/ (sin y) y))) 4) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (pow (cbrt (cbrt (/ (sin y) y))) 4) (* (cbrt (cbrt (/ (sin y) y))) (cbrt (cbrt (/ (sin y) y)))) (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)) 1 (pow (sqrt (cbrt (/ (sin y) y))) 4) (* (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y)))) (* (cbrt (sqrt (/ (sin y) y))) (cbrt (sqrt (/ (sin y) y)))) (* (cbrt (sqrt (/ (sin y) y))) (cbrt (/ (sqrt (sin y)) (sqrt y)))) (* (cbrt (sqrt (/ (sin y) y))) (cbrt (/ (sqrt (sin y)) (sqrt y)))) (* (cbrt (sqrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y)))) (* (cbrt (sqrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y)))) (* (cbrt (sqrt (/ (sin y) y))) (cbrt (/ (sqrt (sin y)) (sqrt y)))) (* (cbrt (sqrt (/ (sin y) y))) (cbrt (/ (sqrt (sin y)) (sqrt y)))) (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y)))) (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (cbrt (/ (sqrt (sin y)) (sqrt y)))) (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (sqrt (cbrt (/ (sin y) y)))) (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (sqrt (cbrt (/ (sin y) y)))) (* (cbrt (sqrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y)))) (* (cbrt (sqrt (/ (sin y) y))) (sqrt (cbrt (/ (sin y) y)))) (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (sqrt (cbrt (/ (sin y) y)))) (* (cbrt (/ (sqrt (sin y)) (sqrt y))) (sqrt (cbrt (/ (sin y) y)))) (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)) 2/3 2 (* (cbrt (/ (sin y) y)) (cbrt (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))) (* (cbrt (/ (sin y) y)) (cbrt (sqrt (/ (sin y) y)))) (* (cbrt (/ (sin y) y)) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))))) (* (cbrt (/ (sin y) y)) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)))) (* (cbrt (/ (sin y) y)) (cbrt (/ (* (cbrt (sin y)) (cbrt (sin y))) 1))) (* (cbrt (/ (sin y) y)) (cbrt (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))))) (* (cbrt (/ (sin y) y)) (cbrt (/ (sqrt (sin y)) (sqrt y)))) (* (cbrt (/ (sin y) y)) (cbrt (/ (sqrt (sin y)) 1))) (* (cbrt (/ (sin y) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y))))) (* (cbrt (/ (sin y) y)) (cbrt (/ 1 (sqrt y)))) (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)) (* (cbrt (/ (sin y) y)) (cbrt (sin y))) (* (pow (cbrt (cbrt (/ (sin y) y))) 4) (cbrt (cbrt (/ (sin y) y)))) (pow (sqrt (cbrt (/ (sin y) y))) 3) (cbrt (/ (sin y) y)) (pow (cbrt (cbrt (/ (sin y) y))) 4) (* (cbrt (/ (sin y) y)) (cbrt (sqrt (/ (sin y) y)))) (* (cbrt (/ (cbrt (sin y)) (cbrt y))) (cbrt (/ (sin y) y))) (* (cbrt (/ (cbrt (sin y)) (sqrt y))) (cbrt (/ (sin y) y))) (* (cbrt (/ (cbrt (sin y)) y)) (cbrt (/ (sin y) y))) (* (cbrt (/ (sqrt (sin y)) (cbrt y))) (cbrt (/ (sin y) y))) (* (cbrt (/ (sin y) y)) (cbrt (/ (sqrt (sin y)) (sqrt y)))) (* (cbrt (/ (sqrt (sin y)) y)) (cbrt (/ (sin y) y))) (* (cbrt (/ (sin y) (cbrt y))) (cbrt (/ (sin y) y))) (* (cbrt (/ (sin y) (sqrt y))) (cbrt (/ (sin y) y))) (pow (sqrt (cbrt (/ (sin y) y))) 4) (pow (sqrt (cbrt (/ (sin y) y))) 4) (* (cbrt (/ 1 y)) (cbrt (/ (sin y) y))) (pow (cbrt (cbrt (/ (sin y) y))) 4) (pow (sqrt (cbrt (/ (sin y) y))) 3) (pow (sqrt (cbrt (/ (sin y) y))) 4) (* (cbrt (/ (sin y) y)) (cbrt (sin y))) (* (cbrt (/ (sin y) y)) (cbrt (sin y))) (- 1 (+ (* 1/18 (pow y 2)) (* 1/3240 (pow y 4)))) (* (pow (/ 1 y) 1/3) (pow (sin y) 1/3)) (* (* (cbrt -1) (pow (sin y) 1/3)) (pow (/ -1 y) 1/3)) (- 1 (+ (* 1/18 (pow y 2)) (* 1/3240 (pow y 4)))) (* (pow (/ 1 y) 1/3) (pow (sin y) 1/3)) (* (* (cbrt -1) (pow (sin y) 1/3)) (pow (/ -1 y) 1/3)) (- 1 (+ (* 1/18 (pow y 2)) (* 1/3240 (pow y 4)))) (* (pow (/ 1 y) 1/3) (pow (sin y) 1/3)) (* (* (cbrt -1) (pow (sin y) 1/3)) (pow (/ -1 y) 1/3)) (fma (pow y 4) 1/405 (- 1 (* 1/9 (pow y 2)))) (* (pow (/ 1 y) 2/3) (pow (pow (sin y) 2) 1/3)) (* (* (pow (cbrt -1) 2) (pow (pow (sin y) 2) 1/3)) (pow (/ -1 y) 2/3)) 1.960 * * * [progress]: adding candidates to table 2.433 * [progress]: [Phase 3 of 3] Extracting. 2.433 * * [regime]: Finding splitpoints for: (# # # # # # # #) 2.435 * * * [regime-changes]: Trying 4 branch expressions: ((/ (sin y) y) (* x (/ (sin y) y)) y x) 2.435 * * * * [regimes]: Trying to branch on (/ (sin y) y) from (# # # # # # # #) 2.461 * * * * [regimes]: Trying to branch on (* x (/ (sin y) y)) from (# # # # # # # #) 2.493 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 2.520 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 2.545 * * * [regime]: Found split indices: #