13.333 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.076 * * * [progress]: [2/2] Setting up program. 0.078 * [progress]: [Phase 2 of 3] Improving. 0.079 * [simplify]: Simplifying using # : (* (sin x) (/ (sinh y) y)) 0.081 * * [simplify]: iteration 0 : 15 enodes (cost 4 ) 0.082 * * [simplify]: iteration 1 : 30 enodes (cost 4 ) 0.084 * * [simplify]: iteration 2 : 66 enodes (cost 4 ) 0.085 * * [simplify]: iteration 3 : 137 enodes (cost 4 ) 0.088 * * [simplify]: iteration 4 : 262 enodes (cost 4 ) 0.092 * * [simplify]: iteration 5 : 492 enodes (cost 4 ) 0.099 * * [simplify]: iteration 6 : 1390 enodes (cost 4 ) 0.124 * * [simplify]: iteration 7 : 4856 enodes (cost 4 ) 0.158 * * [simplify]: iteration 8 : 5001 enodes (cost 4 ) 0.158 * [simplify]: Simplified to: (* (sin x) (/ (sinh y) y)) 0.158 * * [progress]: iteration 1 / 4 0.159 * * * [progress]: picking best candidate 0.160 * * * * [pick]: Picked # 0.161 * * * [progress]: localizing error 0.167 * * * [progress]: generating rewritten candidates 0.167 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 1) 0.168 * * * [progress]: generating series expansions 0.168 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 1) 0.168 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0 0.168 * [taylor]: Taking taylor expansion of (sinh y) in y 0.168 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 0.168 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 0.168 * [taylor]: Taking taylor expansion of (exp y) in y 0.168 * [taylor]: Taking taylor expansion of y in y 0.168 * [taylor]: Taking taylor expansion of (exp (- y)) in y 0.168 * [taylor]: Taking taylor expansion of (- y) in y 0.168 * [taylor]: Taking taylor expansion of y in y 0.169 * [taylor]: Taking taylor expansion of 2 in y 0.172 * [taylor]: Taking taylor expansion of (sinh y) in y 0.172 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 0.172 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 0.172 * [taylor]: Taking taylor expansion of (exp y) in y 0.172 * [taylor]: Taking taylor expansion of y in y 0.172 * [taylor]: Taking taylor expansion of (exp (- y)) in y 0.172 * [taylor]: Taking taylor expansion of (- y) in y 0.172 * [taylor]: Taking taylor expansion of y in y 0.172 * [taylor]: Taking taylor expansion of 2 in y 0.199 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0 0.199 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 0.199 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 0.199 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 0.199 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.199 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.199 * [taylor]: Taking taylor expansion of y in y 0.199 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 0.199 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.199 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.199 * [taylor]: Taking taylor expansion of y in y 0.205 * [taylor]: Taking taylor expansion of 2 in y 0.205 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 0.205 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 0.205 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 0.205 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.205 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.205 * [taylor]: Taking taylor expansion of y in y 0.205 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 0.205 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.205 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.205 * [taylor]: Taking taylor expansion of y in y 0.206 * [taylor]: Taking taylor expansion of 2 in y 0.218 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0 0.218 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 0.218 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 0.218 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 0.218 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 0.218 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.218 * [taylor]: Taking taylor expansion of -1 in y 0.218 * [taylor]: Taking taylor expansion of y in y 0.219 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 0.219 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 0.219 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.219 * [taylor]: Taking taylor expansion of -1 in y 0.219 * [taylor]: Taking taylor expansion of y in y 0.219 * [taylor]: Taking taylor expansion of 2 in y 0.219 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 0.219 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 0.220 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 0.220 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 0.220 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.220 * [taylor]: Taking taylor expansion of -1 in y 0.220 * [taylor]: Taking taylor expansion of y in y 0.220 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 0.220 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 0.220 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.220 * [taylor]: Taking taylor expansion of -1 in y 0.220 * [taylor]: Taking taylor expansion of y in y 0.221 * [taylor]: Taking taylor expansion of 2 in y 0.232 * * * [progress]: simplifying candidates 0.232 * [simplify]: Simplifying using # : (- (exp y) (exp (- y))) (log (sinh y)) (exp (sinh y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (cbrt (sinh y)) (* (* (sinh y) (sinh y)) (sinh y)) (sqrt (sinh y)) (sqrt (sinh y)) (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)) (* 1/2 (- (exp y) (exp (- y)))) (* 1/2 (- (exp y) (exp (* -1 y)))) 0.235 * * [simplify]: iteration 0 : 59 enodes (cost 40 ) 0.237 * * [simplify]: iteration 1 : 125 enodes (cost 37 ) 0.239 * * [simplify]: iteration 2 : 279 enodes (cost 37 ) 0.244 * * [simplify]: iteration 3 : 724 enodes (cost 37 ) 0.264 * * [simplify]: iteration 4 : 3932 enodes (cost 37 ) 0.349 * * [simplify]: iteration 5 : 5002 enodes (cost 31 ) 0.350 * [simplify]: Simplified to: (- (exp y) (exp (* -1 y))) (log (sinh y)) (exp (sinh y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (cbrt (sinh y)) (pow (sinh y) 3) (sqrt (sinh y)) (sqrt (sinh y)) (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)) (* (sinh y) 1) (* (sinh y) 1) 0.350 * * * [progress]: adding candidates to table 0.379 * * [progress]: iteration 2 / 4 0.379 * * * [progress]: picking best candidate 0.382 * * * * [pick]: Picked # 0.382 * * * [progress]: localizing error 0.400 * * * [progress]: generating rewritten candidates 0.400 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 0.407 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1) 0.413 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 0.423 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 0.429 * * * [progress]: generating series expansions 0.429 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 0.429 * [approximate]: Taking taylor expansion of (* 1/6 (pow y 3)) in (y) around 0 0.429 * [taylor]: Taking taylor expansion of (* 1/6 (pow y 3)) in y 0.429 * [taylor]: Taking taylor expansion of 1/6 in y 0.429 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.429 * [taylor]: Taking taylor expansion of y in y 0.429 * [taylor]: Taking taylor expansion of (* 1/6 (pow y 3)) in y 0.429 * [taylor]: Taking taylor expansion of 1/6 in y 0.429 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.429 * [taylor]: Taking taylor expansion of y in y 0.442 * [approximate]: Taking taylor expansion of (/ 1/6 (pow y 3)) in (y) around 0 0.442 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 3)) in y 0.442 * [taylor]: Taking taylor expansion of 1/6 in y 0.442 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.442 * [taylor]: Taking taylor expansion of y in y 0.443 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 3)) in y 0.443 * [taylor]: Taking taylor expansion of 1/6 in y 0.443 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.443 * [taylor]: Taking taylor expansion of y in y 0.454 * [approximate]: Taking taylor expansion of (/ -1/6 (pow y 3)) in (y) around 0 0.454 * [taylor]: Taking taylor expansion of (/ -1/6 (pow y 3)) in y 0.454 * [taylor]: Taking taylor expansion of -1/6 in y 0.454 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.454 * [taylor]: Taking taylor expansion of y in y 0.455 * [taylor]: Taking taylor expansion of (/ -1/6 (pow y 3)) in y 0.455 * [taylor]: Taking taylor expansion of -1/6 in y 0.455 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.455 * [taylor]: Taking taylor expansion of y in y 0.466 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1) 0.466 * [approximate]: Taking taylor expansion of (* 1/120 (pow y 5)) in (y) around 0 0.466 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 5)) in y 0.466 * [taylor]: Taking taylor expansion of 1/120 in y 0.466 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.466 * [taylor]: Taking taylor expansion of y in y 0.466 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 5)) in y 0.466 * [taylor]: Taking taylor expansion of 1/120 in y 0.466 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.466 * [taylor]: Taking taylor expansion of y in y 0.488 * [approximate]: Taking taylor expansion of (/ 1/120 (pow y 5)) in (y) around 0 0.488 * [taylor]: Taking taylor expansion of (/ 1/120 (pow y 5)) in y 0.488 * [taylor]: Taking taylor expansion of 1/120 in y 0.488 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.488 * [taylor]: Taking taylor expansion of y in y 0.489 * [taylor]: Taking taylor expansion of (/ 1/120 (pow y 5)) in y 0.489 * [taylor]: Taking taylor expansion of 1/120 in y 0.489 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.489 * [taylor]: Taking taylor expansion of y in y 0.504 * [approximate]: Taking taylor expansion of (/ -1/120 (pow y 5)) in (y) around 0 0.504 * [taylor]: Taking taylor expansion of (/ -1/120 (pow y 5)) in y 0.504 * [taylor]: Taking taylor expansion of -1/120 in y 0.504 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.504 * [taylor]: Taking taylor expansion of y in y 0.505 * [taylor]: Taking taylor expansion of (/ -1/120 (pow y 5)) in y 0.505 * [taylor]: Taking taylor expansion of -1/120 in y 0.505 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.505 * [taylor]: Taking taylor expansion of y in y 0.520 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 0.521 * [approximate]: Taking taylor expansion of (+ (* 1/120 (pow y 5)) (+ (* 1/6 (pow y 3)) y)) in (y) around 0 0.521 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow y 5)) (+ (* 1/6 (pow y 3)) y)) in y 0.521 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 5)) in y 0.521 * [taylor]: Taking taylor expansion of 1/120 in y 0.521 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.521 * [taylor]: Taking taylor expansion of y in y 0.521 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow y 3)) y) in y 0.521 * [taylor]: Taking taylor expansion of (* 1/6 (pow y 3)) in y 0.521 * [taylor]: Taking taylor expansion of 1/6 in y 0.521 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.521 * [taylor]: Taking taylor expansion of y in y 0.521 * [taylor]: Taking taylor expansion of y in y 0.521 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow y 5)) (+ (* 1/6 (pow y 3)) y)) in y 0.521 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 5)) in y 0.521 * [taylor]: Taking taylor expansion of 1/120 in y 0.521 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.521 * [taylor]: Taking taylor expansion of y in y 0.521 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow y 3)) y) in y 0.521 * [taylor]: Taking taylor expansion of (* 1/6 (pow y 3)) in y 0.521 * [taylor]: Taking taylor expansion of 1/6 in y 0.521 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.521 * [taylor]: Taking taylor expansion of y in y 0.521 * [taylor]: Taking taylor expansion of y in y 0.529 * [approximate]: Taking taylor expansion of (+ (/ 1 y) (+ (* 1/6 (/ 1 (pow y 3))) (* 1/120 (/ 1 (pow y 5))))) in (y) around 0 0.529 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 1/6 (/ 1 (pow y 3))) (* 1/120 (/ 1 (pow y 5))))) in y 0.529 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.529 * [taylor]: Taking taylor expansion of y in y 0.529 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow y 3))) (* 1/120 (/ 1 (pow y 5)))) in y 0.529 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow y 3))) in y 0.529 * [taylor]: Taking taylor expansion of 1/6 in y 0.529 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.529 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.529 * [taylor]: Taking taylor expansion of y in y 0.530 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow y 5))) in y 0.530 * [taylor]: Taking taylor expansion of 1/120 in y 0.530 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 0.530 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.530 * [taylor]: Taking taylor expansion of y in y 0.531 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 1/6 (/ 1 (pow y 3))) (* 1/120 (/ 1 (pow y 5))))) in y 0.531 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.531 * [taylor]: Taking taylor expansion of y in y 0.531 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow y 3))) (* 1/120 (/ 1 (pow y 5)))) in y 0.531 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow y 3))) in y 0.532 * [taylor]: Taking taylor expansion of 1/6 in y 0.532 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.532 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.532 * [taylor]: Taking taylor expansion of y in y 0.532 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow y 5))) in y 0.532 * [taylor]: Taking taylor expansion of 1/120 in y 0.532 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 0.532 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.532 * [taylor]: Taking taylor expansion of y in y 0.550 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (+ (* 1/6 (/ 1 (pow y 3))) (* 1/120 (/ 1 (pow y 5)))))) in (y) around 0 0.550 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (* 1/6 (/ 1 (pow y 3))) (* 1/120 (/ 1 (pow y 5)))))) in y 0.550 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 1/6 (/ 1 (pow y 3))) (* 1/120 (/ 1 (pow y 5))))) in y 0.550 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.550 * [taylor]: Taking taylor expansion of y in y 0.550 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow y 3))) (* 1/120 (/ 1 (pow y 5)))) in y 0.550 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow y 3))) in y 0.550 * [taylor]: Taking taylor expansion of 1/6 in y 0.550 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.550 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.550 * [taylor]: Taking taylor expansion of y in y 0.551 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow y 5))) in y 0.551 * [taylor]: Taking taylor expansion of 1/120 in y 0.551 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 0.551 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.551 * [taylor]: Taking taylor expansion of y in y 0.552 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (* 1/6 (/ 1 (pow y 3))) (* 1/120 (/ 1 (pow y 5)))))) in y 0.552 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 1/6 (/ 1 (pow y 3))) (* 1/120 (/ 1 (pow y 5))))) in y 0.552 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.552 * [taylor]: Taking taylor expansion of y in y 0.552 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow y 3))) (* 1/120 (/ 1 (pow y 5)))) in y 0.552 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow y 3))) in y 0.552 * [taylor]: Taking taylor expansion of 1/6 in y 0.552 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.552 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.553 * [taylor]: Taking taylor expansion of y in y 0.553 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow y 5))) in y 0.553 * [taylor]: Taking taylor expansion of 1/120 in y 0.553 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 0.553 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.553 * [taylor]: Taking taylor expansion of y in y 0.578 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 0.578 * [approximate]: Taking taylor expansion of (+ y (* 1/120 (pow y 5))) in (y) around 0 0.578 * [taylor]: Taking taylor expansion of (+ y (* 1/120 (pow y 5))) in y 0.578 * [taylor]: Taking taylor expansion of y in y 0.578 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 5)) in y 0.578 * [taylor]: Taking taylor expansion of 1/120 in y 0.578 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.578 * [taylor]: Taking taylor expansion of y in y 0.578 * [taylor]: Taking taylor expansion of (+ y (* 1/120 (pow y 5))) in y 0.578 * [taylor]: Taking taylor expansion of y in y 0.578 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 5)) in y 0.578 * [taylor]: Taking taylor expansion of 1/120 in y 0.578 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.578 * [taylor]: Taking taylor expansion of y in y 0.596 * [approximate]: Taking taylor expansion of (+ (/ 1 y) (* 1/120 (/ 1 (pow y 5)))) in (y) around 0 0.596 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 1/120 (/ 1 (pow y 5)))) in y 0.596 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.596 * [taylor]: Taking taylor expansion of y in y 0.597 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow y 5))) in y 0.597 * [taylor]: Taking taylor expansion of 1/120 in y 0.597 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 0.597 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.597 * [taylor]: Taking taylor expansion of y in y 0.598 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 1/120 (/ 1 (pow y 5)))) in y 0.598 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.598 * [taylor]: Taking taylor expansion of y in y 0.598 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow y 5))) in y 0.598 * [taylor]: Taking taylor expansion of 1/120 in y 0.598 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 0.598 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.598 * [taylor]: Taking taylor expansion of y in y 0.645 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (* 1/120 (/ 1 (pow y 5))))) in (y) around 0 0.645 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (* 1/120 (/ 1 (pow y 5))))) in y 0.645 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 1/120 (/ 1 (pow y 5)))) in y 0.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.645 * [taylor]: Taking taylor expansion of y in y 0.645 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow y 5))) in y 0.645 * [taylor]: Taking taylor expansion of 1/120 in y 0.646 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 0.646 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.646 * [taylor]: Taking taylor expansion of y in y 0.646 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (* 1/120 (/ 1 (pow y 5))))) in y 0.647 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 1/120 (/ 1 (pow y 5)))) in y 0.647 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.647 * [taylor]: Taking taylor expansion of y in y 0.647 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow y 5))) in y 0.647 * [taylor]: Taking taylor expansion of 1/120 in y 0.647 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 0.647 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.647 * [taylor]: Taking taylor expansion of y in y 0.691 * * * [progress]: simplifying candidates 0.692 * [simplify]: Simplifying using # : (+ (log 1/6) (* (log y) 3)) (+ (log 1/6) (* (log y) 3)) (+ (log 1/6) (log (pow y 3))) (log (* 1/6 (pow y 3))) (exp (* 1/6 (pow y 3))) (* (* (* 1/6 1/6) 1/6) (* (* (pow y 3) (pow y 3)) (pow y 3))) (* (cbrt (* 1/6 (pow y 3))) (cbrt (* 1/6 (pow y 3)))) (cbrt (* 1/6 (pow y 3))) (* (* (* 1/6 (pow y 3)) (* 1/6 (pow y 3))) (* 1/6 (pow y 3))) (sqrt (* 1/6 (pow y 3))) (sqrt (* 1/6 (pow y 3))) (* (sqrt 1/6) (pow (sqrt y) 3)) (* (sqrt 1/6) (pow (sqrt y) 3)) (* (sqrt 1/6) (pow (sqrt y) 3)) (* (sqrt 1/6) (pow (sqrt y) 3)) (* (sqrt 1/6) (sqrt (pow y 3))) (* (sqrt 1/6) (sqrt (pow y 3))) (* (sqrt 1/6) (pow y (/ 3 2))) (* (sqrt 1/6) (pow y (/ 3 2))) (* 1/6 (pow (* (cbrt y) (cbrt y)) 3)) (* 1/6 (pow (sqrt y) 3)) (* 1/6 (pow 1 3)) (* 1/6 (* y y)) (* 1/6 (* (cbrt (pow y 3)) (cbrt (pow y 3)))) (* 1/6 (pow (* (cbrt y) (cbrt y)) 3)) (* 1/6 (pow (sqrt y) 3)) (* 1/6 (pow 1 3)) (* 1/6 y) (* 1/6 (sqrt (pow y 3))) (* 1/6 1) (* 1/6 (pow y (/ 3 2))) (* (cbrt 1/6) (pow y 3)) (* (sqrt 1/6) (pow y 3)) (* 1/6 (pow y 3)) (+ (log 1/120) (* (log y) 5)) (+ (log 1/120) (* (log y) 5)) (+ (log 1/120) (log (pow y 5))) (log (* 1/120 (pow y 5))) (exp (* 1/120 (pow y 5))) (* (* (* 1/120 1/120) 1/120) (* (* (pow y 5) (pow y 5)) (pow y 5))) (* (cbrt (* 1/120 (pow y 5))) (cbrt (* 1/120 (pow y 5)))) (cbrt (* 1/120 (pow y 5))) (* (* (* 1/120 (pow y 5)) (* 1/120 (pow y 5))) (* 1/120 (pow y 5))) (sqrt (* 1/120 (pow y 5))) (sqrt (* 1/120 (pow y 5))) (* (sqrt 1/120) (pow (sqrt y) 5)) (* (sqrt 1/120) (pow (sqrt y) 5)) (* (sqrt 1/120) (sqrt (pow y 5))) (* (sqrt 1/120) (sqrt (pow y 5))) (* (sqrt 1/120) (pow y (/ 5 2))) (* (sqrt 1/120) (pow y (/ 5 2))) (* 1/120 (pow (* (cbrt y) (cbrt y)) 5)) (* 1/120 (pow (sqrt y) 5)) (* 1/120 (pow 1 5)) (* 1/120 (* (cbrt (pow y 5)) (cbrt (pow y 5)))) (* 1/120 (sqrt (pow y 5))) (* 1/120 1) (* 1/120 (pow y (/ 5 2))) (* (cbrt 1/120) (pow y 5)) (* (sqrt 1/120) (pow y 5)) (* 1/120 (pow y 5)) (* (exp (* 1/6 (pow y 3))) (* (exp (* 1/120 (pow y 5))) (exp y))) (* (exp (* 1/6 (pow y 3))) (exp (+ (* 1/120 (pow y 5)) y))) (log (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))) (exp (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))) (* (cbrt (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))) (cbrt (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)))) (cbrt (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))) (* (* (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)) (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))) (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))) (sqrt (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))) (sqrt (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))) (+ (pow (* 1/6 (pow y 3)) 3) (pow (+ (* 1/120 (pow y 5)) y) 3)) (+ (* (* 1/6 (pow y 3)) (* 1/6 (pow y 3))) (- (* (+ (* 1/120 (pow y 5)) y) (+ (* 1/120 (pow y 5)) y)) (* (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)))) (- (* (* 1/6 (pow y 3)) (* 1/6 (pow y 3))) (* (+ (* 1/120 (pow y 5)) y) (+ (* 1/120 (pow y 5)) y))) (- (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)) (+ (* 1/6 (pow y 3)) (* 1/120 (pow y 5))) (* (exp (* 1/120 (pow y 5))) (exp y)) (log (+ (* 1/120 (pow y 5)) y)) (exp (+ (* 1/120 (pow y 5)) y)) (* (cbrt (+ (* 1/120 (pow y 5)) y)) (cbrt (+ (* 1/120 (pow y 5)) y))) (cbrt (+ (* 1/120 (pow y 5)) y)) (* (* (+ (* 1/120 (pow y 5)) y) (+ (* 1/120 (pow y 5)) y)) (+ (* 1/120 (pow y 5)) y)) (sqrt (+ (* 1/120 (pow y 5)) y)) (sqrt (+ (* 1/120 (pow y 5)) y)) (+ (pow (* 1/120 (pow y 5)) 3) (pow y 3)) (+ (* (* 1/120 (pow y 5)) (* 1/120 (pow y 5))) (- (* y y) (* (* 1/120 (pow y 5)) y))) (- (* (* 1/120 (pow y 5)) (* 1/120 (pow y 5))) (* y y)) (- (* 1/120 (pow y 5)) y) (* 1/6 (pow y 3)) (* 1/6 (pow y 3)) (* 1/6 (pow y 3)) (* 1/120 (pow y 5)) (* 1/120 (pow y 5)) (* 1/120 (pow y 5)) (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)) (+ (* 1/120 (pow y 5)) (+ (* 1/6 (pow y 3)) y)) (+ (* 1/120 (pow y 5)) (+ (* 1/6 (pow y 3)) y)) (+ y (* 1/120 (pow y 5))) (+ (* 1/120 (pow y 5)) y) (+ (* 1/120 (pow y 5)) y) 0.698 * * [simplify]: iteration 0 : 336 enodes (cost 420 ) 0.705 * * [simplify]: iteration 1 : 1469 enodes (cost 393 ) 0.740 * * [simplify]: iteration 2 : 5001 enodes (cost 392 ) 0.743 * [simplify]: Simplified to: (log (* 1/6 (pow y 3))) (log (* 1/6 (pow y 3))) (log (* 1/6 (pow y 3))) (log (* 1/6 (pow y 3))) (exp (* 1/6 (pow y 3))) (pow (* 1/6 (pow y 3)) 3) (* (cbrt (* 1/6 (pow y 3))) (cbrt (* 1/6 (pow y 3)))) (cbrt (* 1/6 (pow y 3))) (pow (* 1/6 (pow y 3)) 3) (sqrt (* 1/6 (pow y 3))) (sqrt (* 1/6 (pow y 3))) (* (sqrt 1/6) (pow (sqrt y) 3)) (* (sqrt 1/6) (pow (sqrt y) 3)) (* (sqrt 1/6) (pow (sqrt y) 3)) (* (sqrt 1/6) (pow (sqrt y) 3)) (* (sqrt 1/6) (sqrt (pow y 3))) (* (sqrt 1/6) (sqrt (pow y 3))) (* (sqrt 1/6) (pow y 3/2)) (* (sqrt 1/6) (pow y 3/2)) (* (* 1/6 y) y) (* 1/6 (pow (sqrt y) 3)) 1/6 (* (* 1/6 y) y) (* (* 1/6 y) y) (* (* 1/6 y) y) (* 1/6 (pow (sqrt y) 3)) 1/6 (* 1/6 y) (* 1/6 (sqrt (pow y 3))) 1/6 (* 1/6 (pow y 3/2)) (* (cbrt 1/6) (pow y 3)) (* (sqrt 1/6) (pow y 3)) (* 1/6 (pow y 3)) (log (* 1/120 (pow y 5))) (log (* 1/120 (pow y 5))) (log (* 1/120 (pow y 5))) (log (* 1/120 (pow y 5))) (exp (* 1/120 (pow y 5))) (pow (* 1/120 (pow y 5)) 3) (* (cbrt (* 1/120 (pow y 5))) (cbrt (* 1/120 (pow y 5)))) (cbrt (* 1/120 (pow y 5))) (pow (* 1/120 (pow y 5)) 3) (sqrt (* 1/120 (pow y 5))) (sqrt (* 1/120 (pow y 5))) (* (sqrt 1/120) (pow (sqrt y) 5)) (* (sqrt 1/120) (pow (sqrt y) 5)) (* (sqrt 1/120) (sqrt (pow y 5))) (* (sqrt 1/120) (sqrt (pow y 5))) (* (sqrt 1/120) (pow y 5/2)) (* (sqrt 1/120) (pow y 5/2)) (* 1/120 (pow (* (cbrt y) (cbrt y)) 5)) (* 1/120 (pow (sqrt y) 5)) 1/120 (* 1/120 (* (cbrt (pow y 5)) (cbrt (pow y 5)))) (* 1/120 (sqrt (pow y 5))) 1/120 (* 1/120 (pow y 5/2)) (* (cbrt 1/120) (pow y 5)) (* (sqrt 1/120) (pow y 5)) (* 1/120 (pow y 5)) (exp (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))) (exp (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))) (log (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))) (exp (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))) (* (cbrt (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))) (cbrt (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)))) (cbrt (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))) (pow (+ (* 1/120 (pow y 5)) (+ (* 1/6 (pow y 3)) y)) 3) (sqrt (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))) (sqrt (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))) (+ (pow (* 1/6 (pow y 3)) 3) (pow (+ (* 1/120 (pow y 5)) y) 3)) (+ (* (+ (* 1/120 (pow y 5)) y) (- (+ (* 1/120 (pow y 5)) y) (* 1/6 (pow y 3)))) (* 1/36 (* (pow y 3) (pow y 3)))) (+ (- (* (+ (* 1/120 (pow y 5)) y) (+ (* 1/120 (pow y 5)) y))) (* (pow y 6) 1/36)) (- (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)) (+ (* 1/6 (pow y 3)) (* 1/120 (pow y 5))) (exp (+ (* 1/120 (pow y 5)) y)) (log (+ (* 1/120 (pow y 5)) y)) (exp (+ (* 1/120 (pow y 5)) y)) (* (cbrt (+ (* 1/120 (pow y 5)) y)) (cbrt (+ (* 1/120 (pow y 5)) y))) (cbrt (+ (* 1/120 (pow y 5)) y)) (pow (+ (* 1/120 (pow y 5)) y) 3) (sqrt (+ (* 1/120 (pow y 5)) y)) (sqrt (+ (* 1/120 (pow y 5)) y)) (+ (pow (* 1/120 (pow y 5)) 3) (pow y 3)) (- (+ (* (pow y 10) 1/14400) (* y y)) (* (pow y 6) 1/120)) (- (* (pow y 10) 1/14400) (* y y)) (- (* 1/120 (pow y 5)) y) (* 1/6 (pow y 3)) (* 1/6 (pow y 3)) (* 1/6 (pow y 3)) (* 1/120 (pow y 5)) (* 1/120 (pow y 5)) (* 1/120 (pow y 5)) (+ (* 1/120 (pow y 5)) (+ (* 1/6 (pow y 3)) y)) (+ (* 1/120 (pow y 5)) (+ (* 1/6 (pow y 3)) y)) (+ (* 1/120 (pow y 5)) (+ (* 1/6 (pow y 3)) y)) (+ (* 1/120 (pow y 5)) y) (+ (* 1/120 (pow y 5)) y) (+ (* 1/120 (pow y 5)) y) 0.743 * * * [progress]: adding candidates to table 1.003 * [progress]: [Phase 3 of 3] Extracting. 1.003 * * [regime]: Finding splitpoints for: (# #) 1.004 * * * [regime-changes]: Trying 5 branch expressions: ((/ (sinh y) y) (sin x) (* (sin x) (/ (sinh y) y)) y x) 1.004 * * * * [regimes]: Trying to branch on (/ (sinh y) y) from (# #) 1.017 * * * * [regimes]: Trying to branch on (sin x) from (# #) 1.034 * * * * [regimes]: Trying to branch on (* (sin x) (/ (sinh y) y)) from (# #) 1.057 * * * * [regimes]: Trying to branch on y from (# #) 1.070 * * * * [regimes]: Trying to branch on x from (# #) 1.082 * * * [regime]: Found split indices: #