0.850 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.305 * * * [progress]: [2/2] Setting up program. 0.309 * [progress]: [Phase 2 of 3] Improving. 0.311 * [simplify]: Simplifying using # : (/ (* e (sin v)) (+ 1.0 (* e (cos v)))) 0.317 * * [simplify]: iteration 0 : 14 enodes (cost 6 ) 0.318 * * [simplify]: iteration 1 : 20 enodes (cost 5 ) 0.320 * * [simplify]: iteration 2 : 23 enodes (cost 5 ) 0.321 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 0.322 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 0.323 * [simplify]: Simplified to: (/ (sin v) (/ (fma (cos v) e 1.0) e)) 0.329 * * [progress]: iteration 1 / 4 0.329 * * * [progress]: picking best candidate 0.333 * * * * [pick]: Picked # 0.334 * * * [progress]: localizing error 0.347 * * * [progress]: generating rewritten candidates 0.347 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.354 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 0.359 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.382 * * * [progress]: generating series expansions 0.383 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.387 * [approximate]: Taking taylor expansion of (* e (sin v)) in (e v) around 0 0.388 * [taylor]: Taking taylor expansion of (* e (sin v)) in v 0.388 * [taylor]: Taking taylor expansion of e in v 0.388 * [taylor]: Taking taylor expansion of (sin v) in v 0.388 * [taylor]: Taking taylor expansion of v in v 0.388 * [taylor]: Taking taylor expansion of (* e (sin v)) in e 0.388 * [taylor]: Taking taylor expansion of e in e 0.388 * [taylor]: Taking taylor expansion of (sin v) in e 0.388 * [taylor]: Taking taylor expansion of v in e 0.388 * [taylor]: Taking taylor expansion of (* e (sin v)) in e 0.388 * [taylor]: Taking taylor expansion of e in e 0.388 * [taylor]: Taking taylor expansion of (sin v) in e 0.388 * [taylor]: Taking taylor expansion of v in e 0.390 * [taylor]: Taking taylor expansion of 0 in v 0.393 * [taylor]: Taking taylor expansion of (sin v) in v 0.393 * [taylor]: Taking taylor expansion of v in v 0.395 * [taylor]: Taking taylor expansion of 0 in v 0.400 * [taylor]: Taking taylor expansion of 0 in v 0.405 * [taylor]: Taking taylor expansion of 0 in v 0.405 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) e) in (e v) around 0 0.405 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) e) in v 0.405 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 0.405 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.405 * [taylor]: Taking taylor expansion of v in v 0.405 * [taylor]: Taking taylor expansion of e in v 0.406 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) e) in e 0.406 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 0.406 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.406 * [taylor]: Taking taylor expansion of v in e 0.406 * [taylor]: Taking taylor expansion of e in e 0.406 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) e) in e 0.406 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 0.406 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.406 * [taylor]: Taking taylor expansion of v in e 0.406 * [taylor]: Taking taylor expansion of e in e 0.406 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 0.406 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.406 * [taylor]: Taking taylor expansion of v in v 0.409 * [taylor]: Taking taylor expansion of 0 in v 0.412 * [taylor]: Taking taylor expansion of 0 in v 0.416 * [taylor]: Taking taylor expansion of 0 in v 0.416 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) e)) in (e v) around 0 0.416 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) e)) in v 0.416 * [taylor]: Taking taylor expansion of -1 in v 0.416 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) e) in v 0.416 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 0.416 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.416 * [taylor]: Taking taylor expansion of -1 in v 0.416 * [taylor]: Taking taylor expansion of v in v 0.417 * [taylor]: Taking taylor expansion of e in v 0.417 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) e)) in e 0.417 * [taylor]: Taking taylor expansion of -1 in e 0.417 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) e) in e 0.417 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 0.417 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.417 * [taylor]: Taking taylor expansion of -1 in e 0.417 * [taylor]: Taking taylor expansion of v in e 0.417 * [taylor]: Taking taylor expansion of e in e 0.417 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) e)) in e 0.417 * [taylor]: Taking taylor expansion of -1 in e 0.417 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) e) in e 0.417 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 0.417 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.417 * [taylor]: Taking taylor expansion of -1 in e 0.417 * [taylor]: Taking taylor expansion of v in e 0.417 * [taylor]: Taking taylor expansion of e in e 0.418 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 v))) in v 0.418 * [taylor]: Taking taylor expansion of -1 in v 0.418 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 0.418 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.418 * [taylor]: Taking taylor expansion of -1 in v 0.418 * [taylor]: Taking taylor expansion of v in v 0.421 * [taylor]: Taking taylor expansion of 0 in v 0.425 * [taylor]: Taking taylor expansion of 0 in v 0.430 * [taylor]: Taking taylor expansion of 0 in v 0.430 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 0.430 * [approximate]: Taking taylor expansion of (* (cos v) e) in (e v) around 0 0.430 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 0.430 * [taylor]: Taking taylor expansion of (cos v) in v 0.430 * [taylor]: Taking taylor expansion of v in v 0.430 * [taylor]: Taking taylor expansion of e in v 0.430 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 0.430 * [taylor]: Taking taylor expansion of (cos v) in e 0.430 * [taylor]: Taking taylor expansion of v in e 0.430 * [taylor]: Taking taylor expansion of e in e 0.430 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 0.430 * [taylor]: Taking taylor expansion of (cos v) in e 0.430 * [taylor]: Taking taylor expansion of v in e 0.431 * [taylor]: Taking taylor expansion of e in e 0.431 * [taylor]: Taking taylor expansion of 0 in v 0.434 * [taylor]: Taking taylor expansion of (cos v) in v 0.434 * [taylor]: Taking taylor expansion of v in v 0.437 * [taylor]: Taking taylor expansion of 0 in v 0.440 * [taylor]: Taking taylor expansion of 0 in v 0.440 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in (e v) around 0 0.440 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v 0.440 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 0.440 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.440 * [taylor]: Taking taylor expansion of v in v 0.441 * [taylor]: Taking taylor expansion of e in v 0.441 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 0.441 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 0.441 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.441 * [taylor]: Taking taylor expansion of v in e 0.441 * [taylor]: Taking taylor expansion of e in e 0.441 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 0.441 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 0.441 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.441 * [taylor]: Taking taylor expansion of v in e 0.441 * [taylor]: Taking taylor expansion of e in e 0.442 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 0.442 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.442 * [taylor]: Taking taylor expansion of v in v 0.445 * [taylor]: Taking taylor expansion of 0 in v 0.448 * [taylor]: Taking taylor expansion of 0 in v 0.452 * [taylor]: Taking taylor expansion of 0 in v 0.453 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in (e v) around 0 0.453 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in v 0.453 * [taylor]: Taking taylor expansion of -1 in v 0.453 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v 0.453 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 0.453 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.453 * [taylor]: Taking taylor expansion of -1 in v 0.453 * [taylor]: Taking taylor expansion of v in v 0.453 * [taylor]: Taking taylor expansion of e in v 0.453 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e 0.453 * [taylor]: Taking taylor expansion of -1 in e 0.453 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 0.453 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 0.453 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.453 * [taylor]: Taking taylor expansion of -1 in e 0.453 * [taylor]: Taking taylor expansion of v in e 0.453 * [taylor]: Taking taylor expansion of e in e 0.454 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e 0.454 * [taylor]: Taking taylor expansion of -1 in e 0.454 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 0.454 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 0.454 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.454 * [taylor]: Taking taylor expansion of -1 in e 0.454 * [taylor]: Taking taylor expansion of v in e 0.454 * [taylor]: Taking taylor expansion of e in e 0.455 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 v))) in v 0.455 * [taylor]: Taking taylor expansion of -1 in v 0.455 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 0.455 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.455 * [taylor]: Taking taylor expansion of -1 in v 0.455 * [taylor]: Taking taylor expansion of v in v 0.458 * [taylor]: Taking taylor expansion of 0 in v 0.462 * [taylor]: Taking taylor expansion of 0 in v 0.467 * [taylor]: Taking taylor expansion of 0 in v 0.468 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.469 * [approximate]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1.0)) in (e v) around 0 0.469 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1.0)) in v 0.469 * [taylor]: Taking taylor expansion of (* e (sin v)) in v 0.469 * [taylor]: Taking taylor expansion of e in v 0.469 * [taylor]: Taking taylor expansion of (sin v) in v 0.469 * [taylor]: Taking taylor expansion of v in v 0.469 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in v 0.469 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 0.469 * [taylor]: Taking taylor expansion of (cos v) in v 0.469 * [taylor]: Taking taylor expansion of v in v 0.469 * [taylor]: Taking taylor expansion of e in v 0.469 * [taylor]: Taking taylor expansion of 1.0 in v 0.470 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1.0)) in e 0.470 * [taylor]: Taking taylor expansion of (* e (sin v)) in e 0.470 * [taylor]: Taking taylor expansion of e in e 0.470 * [taylor]: Taking taylor expansion of (sin v) in e 0.470 * [taylor]: Taking taylor expansion of v in e 0.470 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in e 0.470 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 0.470 * [taylor]: Taking taylor expansion of (cos v) in e 0.470 * [taylor]: Taking taylor expansion of v in e 0.470 * [taylor]: Taking taylor expansion of e in e 0.470 * [taylor]: Taking taylor expansion of 1.0 in e 0.473 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1.0)) in e 0.473 * [taylor]: Taking taylor expansion of (* e (sin v)) in e 0.473 * [taylor]: Taking taylor expansion of e in e 0.473 * [taylor]: Taking taylor expansion of (sin v) in e 0.473 * [taylor]: Taking taylor expansion of v in e 0.473 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in e 0.473 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 0.473 * [taylor]: Taking taylor expansion of (cos v) in e 0.473 * [taylor]: Taking taylor expansion of v in e 0.473 * [taylor]: Taking taylor expansion of e in e 0.473 * [taylor]: Taking taylor expansion of 1.0 in e 0.481 * [taylor]: Taking taylor expansion of (* 1.0 (sin v)) in v 0.481 * [taylor]: Taking taylor expansion of 1.0 in v 0.481 * [taylor]: Taking taylor expansion of (sin v) in v 0.481 * [taylor]: Taking taylor expansion of v in v 0.487 * [taylor]: Taking taylor expansion of (- (* 1.0 (* (cos v) (sin v)))) in v 0.487 * [taylor]: Taking taylor expansion of (* 1.0 (* (cos v) (sin v))) in v 0.487 * [taylor]: Taking taylor expansion of 1.0 in v 0.487 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v 0.487 * [taylor]: Taking taylor expansion of (cos v) in v 0.487 * [taylor]: Taking taylor expansion of v in v 0.487 * [taylor]: Taking taylor expansion of (sin v) in v 0.487 * [taylor]: Taking taylor expansion of v in v 0.498 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow (cos v) 2) (sin v))) in v 0.498 * [taylor]: Taking taylor expansion of 1.0 in v 0.498 * [taylor]: Taking taylor expansion of (* (pow (cos v) 2) (sin v)) in v 0.498 * [taylor]: Taking taylor expansion of (pow (cos v) 2) in v 0.498 * [taylor]: Taking taylor expansion of (cos v) in v 0.498 * [taylor]: Taking taylor expansion of v in v 0.498 * [taylor]: Taking taylor expansion of (sin v) in v 0.498 * [taylor]: Taking taylor expansion of v in v 0.502 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in (e v) around 0 0.502 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in v 0.502 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 0.502 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.502 * [taylor]: Taking taylor expansion of v in v 0.502 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1.0)) in v 0.502 * [taylor]: Taking taylor expansion of e in v 0.502 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in v 0.502 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v 0.502 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 0.503 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.503 * [taylor]: Taking taylor expansion of v in v 0.503 * [taylor]: Taking taylor expansion of e in v 0.503 * [taylor]: Taking taylor expansion of 1.0 in v 0.503 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in e 0.503 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 0.503 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.503 * [taylor]: Taking taylor expansion of v in e 0.503 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1.0)) in e 0.503 * [taylor]: Taking taylor expansion of e in e 0.503 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in e 0.503 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 0.503 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 0.503 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.503 * [taylor]: Taking taylor expansion of v in e 0.503 * [taylor]: Taking taylor expansion of e in e 0.504 * [taylor]: Taking taylor expansion of 1.0 in e 0.507 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in e 0.507 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 0.507 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.507 * [taylor]: Taking taylor expansion of v in e 0.507 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1.0)) in e 0.507 * [taylor]: Taking taylor expansion of e in e 0.507 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in e 0.508 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 0.508 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 0.508 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.508 * [taylor]: Taking taylor expansion of v in e 0.508 * [taylor]: Taking taylor expansion of e in e 0.508 * [taylor]: Taking taylor expansion of 1.0 in e 0.511 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v 0.511 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 0.511 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.511 * [taylor]: Taking taylor expansion of v in v 0.512 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 0.512 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.512 * [taylor]: Taking taylor expansion of v in v 0.518 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)))) in v 0.518 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v 0.518 * [taylor]: Taking taylor expansion of 1.0 in v 0.518 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v 0.518 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 0.518 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.518 * [taylor]: Taking taylor expansion of v in v 0.518 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v 0.518 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 0.518 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.518 * [taylor]: Taking taylor expansion of v in v 0.527 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3))) in v 0.527 * [taylor]: Taking taylor expansion of 1.0 in v 0.527 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) in v 0.527 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 0.527 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.527 * [taylor]: Taking taylor expansion of v in v 0.527 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 3) in v 0.527 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 0.527 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.527 * [taylor]: Taking taylor expansion of v in v 0.529 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e))))) in (e v) around 0 0.529 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e))))) in v 0.529 * [taylor]: Taking taylor expansion of -1 in v 0.529 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e)))) in v 0.529 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 0.529 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.529 * [taylor]: Taking taylor expansion of -1 in v 0.529 * [taylor]: Taking taylor expansion of v in v 0.529 * [taylor]: Taking taylor expansion of (* e (- 1.0 (/ (cos (/ -1 v)) e))) in v 0.529 * [taylor]: Taking taylor expansion of e in v 0.529 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in v 0.529 * [taylor]: Taking taylor expansion of 1.0 in v 0.529 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v 0.529 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 0.530 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.530 * [taylor]: Taking taylor expansion of -1 in v 0.530 * [taylor]: Taking taylor expansion of v in v 0.530 * [taylor]: Taking taylor expansion of e in v 0.530 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e))))) in e 0.530 * [taylor]: Taking taylor expansion of -1 in e 0.530 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e)))) in e 0.530 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 0.530 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.530 * [taylor]: Taking taylor expansion of -1 in e 0.531 * [taylor]: Taking taylor expansion of v in e 0.531 * [taylor]: Taking taylor expansion of (* e (- 1.0 (/ (cos (/ -1 v)) e))) in e 0.531 * [taylor]: Taking taylor expansion of e in e 0.531 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in e 0.531 * [taylor]: Taking taylor expansion of 1.0 in e 0.531 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 0.531 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 0.531 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.531 * [taylor]: Taking taylor expansion of -1 in e 0.531 * [taylor]: Taking taylor expansion of v in e 0.531 * [taylor]: Taking taylor expansion of e in e 0.535 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e))))) in e 0.535 * [taylor]: Taking taylor expansion of -1 in e 0.535 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e)))) in e 0.535 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 0.535 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.535 * [taylor]: Taking taylor expansion of -1 in e 0.535 * [taylor]: Taking taylor expansion of v in e 0.535 * [taylor]: Taking taylor expansion of (* e (- 1.0 (/ (cos (/ -1 v)) e))) in e 0.535 * [taylor]: Taking taylor expansion of e in e 0.535 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in e 0.535 * [taylor]: Taking taylor expansion of 1.0 in e 0.535 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 0.535 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 0.535 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.535 * [taylor]: Taking taylor expansion of -1 in e 0.535 * [taylor]: Taking taylor expansion of v in e 0.535 * [taylor]: Taking taylor expansion of e in e 0.539 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v 0.539 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 0.539 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.539 * [taylor]: Taking taylor expansion of -1 in v 0.539 * [taylor]: Taking taylor expansion of v in v 0.540 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 0.540 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.540 * [taylor]: Taking taylor expansion of -1 in v 0.540 * [taylor]: Taking taylor expansion of v in v 0.546 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v 0.546 * [taylor]: Taking taylor expansion of 1.0 in v 0.546 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v 0.546 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 0.546 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.546 * [taylor]: Taking taylor expansion of -1 in v 0.546 * [taylor]: Taking taylor expansion of v in v 0.547 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v 0.547 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 0.547 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.547 * [taylor]: Taking taylor expansion of -1 in v 0.547 * [taylor]: Taking taylor expansion of v in v 0.556 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3))) in v 0.556 * [taylor]: Taking taylor expansion of 1.0 in v 0.556 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)) in v 0.556 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 0.556 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.556 * [taylor]: Taking taylor expansion of -1 in v 0.556 * [taylor]: Taking taylor expansion of v in v 0.557 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 3) in v 0.557 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 0.557 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.557 * [taylor]: Taking taylor expansion of -1 in v 0.557 * [taylor]: Taking taylor expansion of v in v 0.558 * * * [progress]: simplifying candidates 0.560 * [simplify]: Simplifying using # : (expm1 (* e (sin v))) (log1p (* e (sin v))) (* e (sin v)) (+ (log e) (log (sin v))) (log (* e (sin v))) (exp (* e (sin v))) (* (* (* e e) e) (* (* (sin v) (sin v)) (sin v))) (* (cbrt (* e (sin v))) (cbrt (* e (sin v)))) (cbrt (* e (sin v))) (* (* (* e (sin v)) (* e (sin v))) (* e (sin v))) (sqrt (* e (sin v))) (sqrt (* e (sin v))) (* (sqrt e) (sqrt (sin v))) (* (sqrt e) (sqrt (sin v))) (* e (* (cbrt (sin v)) (cbrt (sin v)))) (* e (sqrt (sin v))) (* e 1) (* (cbrt e) (sin v)) (* (sqrt e) (sin v)) (* e (sin v)) (expm1 (* e (cos v))) (log1p (* e (cos v))) (* e (cos v)) (+ (log e) (log (cos v))) (log (* e (cos v))) (exp (* e (cos v))) (* (* (* e e) e) (* (* (cos v) (cos v)) (cos v))) (* (cbrt (* e (cos v))) (cbrt (* e (cos v)))) (cbrt (* e (cos v))) (* (* (* e (cos v)) (* e (cos v))) (* e (cos v))) (sqrt (* e (cos v))) (sqrt (* e (cos v))) (* (sqrt e) (sqrt (cos v))) (* (sqrt e) (sqrt (cos v))) (* e (* (cbrt (cos v)) (cbrt (cos v)))) (* e (sqrt (cos v))) (* e 1) (* (cbrt e) (cos v)) (* (sqrt e) (cos v)) (* e (cos v)) (expm1 (/ (* e (sin v)) (+ 1.0 (* e (cos v))))) (log1p (/ (* e (sin v)) (+ 1.0 (* e (cos v))))) (- (+ (log e) (log (sin v))) (log (+ 1.0 (* e (cos v))))) (- (log (* e (sin v))) (log (+ 1.0 (* e (cos v))))) (log (/ (* e (sin v)) (+ 1.0 (* e (cos v))))) (exp (/ (* e (sin v)) (+ 1.0 (* e (cos v))))) (/ (* (* (* e e) e) (* (* (sin v) (sin v)) (sin v))) (* (* (+ 1.0 (* e (cos v))) (+ 1.0 (* e (cos v)))) (+ 1.0 (* e (cos v))))) (/ (* (* (* e (sin v)) (* e (sin v))) (* e (sin v))) (* (* (+ 1.0 (* e (cos v))) (+ 1.0 (* e (cos v)))) (+ 1.0 (* e (cos v))))) (* (cbrt (/ (* e (sin v)) (+ 1.0 (* e (cos v))))) (cbrt (/ (* e (sin v)) (+ 1.0 (* e (cos v)))))) (cbrt (/ (* e (sin v)) (+ 1.0 (* e (cos v))))) (* (* (/ (* e (sin v)) (+ 1.0 (* e (cos v)))) (/ (* e (sin v)) (+ 1.0 (* e (cos v))))) (/ (* e (sin v)) (+ 1.0 (* e (cos v))))) (sqrt (/ (* e (sin v)) (+ 1.0 (* e (cos v))))) (sqrt (/ (* e (sin v)) (+ 1.0 (* e (cos v))))) (- (* e (sin v))) (- (+ 1.0 (* e (cos v)))) (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))) (/ e (sqrt (+ 1.0 (* e (cos v))))) (/ (sin v) (sqrt (+ 1.0 (* e (cos v))))) (/ e 1) (/ (sin v) (+ 1.0 (* e (cos v)))) (/ 1 (+ 1.0 (* e (cos v)))) (/ (+ 1.0 (* e (cos v))) (* e (sin v))) (/ (* e (sin v)) (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (* e (sin v)) (sqrt (+ 1.0 (* e (cos v))))) (/ (* e (sin v)) 1) (/ (+ 1.0 (* e (cos v))) (sin v)) (/ (* e (sin v)) (+ (pow 1.0 3) (pow (* e (cos v)) 3))) (/ (* e (sin v)) (- (* 1.0 1.0) (* (* e (cos v)) (* e (cos v))))) (* e v) (* e (sin v)) (* e (sin v)) e (* (cos v) e) (* (cos v) e) (- (+ (* 1.0 (* (pow e 3) v)) (* 1.0 (* e v))) (* 1.0 (* (pow e 2) v))) (- (+ (/ (sin v) (cos v)) (* 1.0 (/ (sin v) (* (pow (cos v) 3) (pow e 2))))) (* 1.0 (/ (sin v) (* (pow (cos v) 2) e)))) (- (+ (/ (sin v) (cos v)) (* 1.0 (/ (sin v) (* (pow (cos v) 3) (pow e 2))))) (* 1.0 (/ (sin v) (* (pow (cos v) 2) e)))) 0.564 * * [simplify]: iteration 0 : 303 enodes (cost 422 ) 0.571 * * [simplify]: iteration 1 : 1415 enodes (cost 368 ) 0.601 * * [simplify]: iteration 2 : 5001 enodes (cost 362 ) 0.605 * [simplify]: Simplified to: (expm1 (* e (sin v))) (log1p (* e (sin v))) (* e (sin v)) (log (* e (sin v))) (log (* e (sin v))) (exp (* e (sin v))) (pow (* e (sin v)) 3) (* (cbrt (* e (sin v))) (cbrt (* e (sin v)))) (cbrt (* e (sin v))) (pow (* e (sin v)) 3) (sqrt (* e (sin v))) (sqrt (* e (sin v))) (* (sqrt (sin v)) (pow e 1/2)) (* (sqrt (sin v)) (pow e 1/2)) (* e (* (cbrt (sin v)) (cbrt (sin v)))) (* e (sqrt (sin v))) e (* (cbrt e) (sin v)) (* (sqrt e) (sin v)) (* e (sin v)) (expm1 (* e (cos v))) (log1p (* e (cos v))) (* e (cos v)) (log (* e (cos v))) (log (* e (cos v))) (exp (* e (cos v))) (pow (* e (cos v)) 3) (* (cbrt (* e (cos v))) (cbrt (* e (cos v)))) (cbrt (* e (cos v))) (pow (* e (cos v)) 3) (sqrt (* e (cos v))) (sqrt (* e (cos v))) (* (sqrt e) (sqrt (cos v))) (* (sqrt e) (sqrt (cos v))) (* e (* (cbrt (cos v)) (cbrt (cos v)))) (* e (sqrt (cos v))) e (* (cbrt e) (cos v)) (* (sqrt e) (cos v)) (* e (cos v)) (expm1 (/ (* e (sin v)) (+ 1.0 (* e (cos v))))) (log1p (/ (* e (sin v)) (+ 1.0 (* e (cos v))))) (log (/ (* e (sin v)) (+ 1.0 (* e (cos v))))) (log (/ (* e (sin v)) (+ 1.0 (* e (cos v))))) (log (/ (* e (sin v)) (+ 1.0 (* e (cos v))))) (pow (exp (/ e (fma (cos v) e 1.0))) (sin v)) (pow (/ (sin v) (/ (fma (cos v) e 1.0) e)) 3) (pow (/ (sin v) (/ (fma (cos v) e 1.0) e)) 3) (* (cbrt (/ (* e (sin v)) (+ 1.0 (* e (cos v))))) (cbrt (/ (* e (sin v)) (+ 1.0 (* e (cos v)))))) (cbrt (/ (* e (sin v)) (+ 1.0 (* e (cos v))))) (pow (/ (sin v) (/ (fma (cos v) e 1.0) e)) 3) (sqrt (/ (* e (sin v)) (+ 1.0 (* e (cos v))))) (sqrt (/ (* e (sin v)) (+ 1.0 (* e (cos v))))) (- (* e (sin v))) (- (+ 1.0 (* e (cos v)))) (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))) (/ e (sqrt (+ 1.0 (* e (cos v))))) (/ (sin v) (sqrt (+ 1.0 (* e (cos v))))) e (/ (* (sin v) 1) (fma (cos v) e 1.0)) (/ 1 (+ 1.0 (* e (cos v)))) (/ (/ (fma (cos v) e 1.0) e) (sin v)) (/ (* e (sin v)) (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (* e (sin v)) (sqrt (+ 1.0 (* e (cos v))))) (* e (sin v)) (/ (+ 1.0 (* e (cos v))) (sin v)) (/ (* e (sin v)) (+ (pow 1.0 3) (pow (* e (cos v)) 3))) (* (/ e (fma (cos v) e 1.0)) (/ (sin v) (- 1.0 (* e (cos v))))) (* e v) (* e (sin v)) (* e (sin v)) e (* e (cos v)) (* e (cos v)) (* 1.0 (- (fma v (pow e 3) (* e v)) (* (pow e 2) v))) (fma 1.0 (- (/ (sin v) (* (pow (cos v) 3) (pow e 2))) (/ (sin v) (* (pow (cos v) 2) e))) (/ (sin v) (cos v))) (fma 1.0 (- (/ (sin v) (* (pow (cos v) 3) (pow e 2))) (/ (sin v) (* (pow (cos v) 2) e))) (/ (sin v) (cos v))) 0.608 * * * [progress]: adding candidates to table 0.757 * * [progress]: iteration 2 / 4 0.758 * * * [progress]: picking best candidate 0.775 * * * * [pick]: Picked # 0.775 * * * [progress]: localizing error 0.789 * * * [progress]: generating rewritten candidates 0.790 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.811 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2) 0.815 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1 2) 0.822 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2) 0.832 * * * [progress]: generating series expansions 0.832 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.832 * [approximate]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1.0)) in (e v) around 0 0.832 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1.0)) in v 0.832 * [taylor]: Taking taylor expansion of (* e (sin v)) in v 0.832 * [taylor]: Taking taylor expansion of e in v 0.832 * [taylor]: Taking taylor expansion of (sin v) in v 0.832 * [taylor]: Taking taylor expansion of v in v 0.832 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in v 0.832 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 0.832 * [taylor]: Taking taylor expansion of (cos v) in v 0.832 * [taylor]: Taking taylor expansion of v in v 0.832 * [taylor]: Taking taylor expansion of e in v 0.832 * [taylor]: Taking taylor expansion of 1.0 in v 0.833 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1.0)) in e 0.834 * [taylor]: Taking taylor expansion of (* e (sin v)) in e 0.834 * [taylor]: Taking taylor expansion of e in e 0.834 * [taylor]: Taking taylor expansion of (sin v) in e 0.834 * [taylor]: Taking taylor expansion of v in e 0.834 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in e 0.834 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 0.834 * [taylor]: Taking taylor expansion of (cos v) in e 0.834 * [taylor]: Taking taylor expansion of v in e 0.834 * [taylor]: Taking taylor expansion of e in e 0.834 * [taylor]: Taking taylor expansion of 1.0 in e 0.836 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1.0)) in e 0.836 * [taylor]: Taking taylor expansion of (* e (sin v)) in e 0.836 * [taylor]: Taking taylor expansion of e in e 0.836 * [taylor]: Taking taylor expansion of (sin v) in e 0.836 * [taylor]: Taking taylor expansion of v in e 0.836 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in e 0.836 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 0.836 * [taylor]: Taking taylor expansion of (cos v) in e 0.836 * [taylor]: Taking taylor expansion of v in e 0.837 * [taylor]: Taking taylor expansion of e in e 0.837 * [taylor]: Taking taylor expansion of 1.0 in e 0.839 * [taylor]: Taking taylor expansion of (* 1.0 (sin v)) in v 0.839 * [taylor]: Taking taylor expansion of 1.0 in v 0.839 * [taylor]: Taking taylor expansion of (sin v) in v 0.839 * [taylor]: Taking taylor expansion of v in v 0.846 * [taylor]: Taking taylor expansion of (- (* 1.0 (* (cos v) (sin v)))) in v 0.846 * [taylor]: Taking taylor expansion of (* 1.0 (* (cos v) (sin v))) in v 0.846 * [taylor]: Taking taylor expansion of 1.0 in v 0.846 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v 0.846 * [taylor]: Taking taylor expansion of (cos v) in v 0.846 * [taylor]: Taking taylor expansion of v in v 0.846 * [taylor]: Taking taylor expansion of (sin v) in v 0.846 * [taylor]: Taking taylor expansion of v in v 0.856 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow (cos v) 2) (sin v))) in v 0.856 * [taylor]: Taking taylor expansion of 1.0 in v 0.856 * [taylor]: Taking taylor expansion of (* (pow (cos v) 2) (sin v)) in v 0.856 * [taylor]: Taking taylor expansion of (pow (cos v) 2) in v 0.856 * [taylor]: Taking taylor expansion of (cos v) in v 0.856 * [taylor]: Taking taylor expansion of v in v 0.856 * [taylor]: Taking taylor expansion of (sin v) in v 0.856 * [taylor]: Taking taylor expansion of v in v 0.860 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in (e v) around 0 0.860 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in v 0.861 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 0.861 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.861 * [taylor]: Taking taylor expansion of v in v 0.861 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1.0)) in v 0.861 * [taylor]: Taking taylor expansion of e in v 0.861 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in v 0.861 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v 0.861 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 0.861 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.861 * [taylor]: Taking taylor expansion of v in v 0.861 * [taylor]: Taking taylor expansion of e in v 0.861 * [taylor]: Taking taylor expansion of 1.0 in v 0.862 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in e 0.862 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 0.862 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.862 * [taylor]: Taking taylor expansion of v in e 0.862 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1.0)) in e 0.862 * [taylor]: Taking taylor expansion of e in e 0.862 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in e 0.862 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 0.862 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 0.862 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.862 * [taylor]: Taking taylor expansion of v in e 0.862 * [taylor]: Taking taylor expansion of e in e 0.862 * [taylor]: Taking taylor expansion of 1.0 in e 0.866 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in e 0.866 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 0.866 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.866 * [taylor]: Taking taylor expansion of v in e 0.866 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1.0)) in e 0.866 * [taylor]: Taking taylor expansion of e in e 0.866 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in e 0.866 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 0.866 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 0.866 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.866 * [taylor]: Taking taylor expansion of v in e 0.866 * [taylor]: Taking taylor expansion of e in e 0.866 * [taylor]: Taking taylor expansion of 1.0 in e 0.870 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v 0.870 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 0.870 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.870 * [taylor]: Taking taylor expansion of v in v 0.870 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 0.870 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.870 * [taylor]: Taking taylor expansion of v in v 0.876 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)))) in v 0.876 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v 0.876 * [taylor]: Taking taylor expansion of 1.0 in v 0.876 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v 0.876 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 0.876 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.876 * [taylor]: Taking taylor expansion of v in v 0.877 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v 0.877 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 0.877 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.877 * [taylor]: Taking taylor expansion of v in v 0.885 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3))) in v 0.885 * [taylor]: Taking taylor expansion of 1.0 in v 0.885 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) in v 0.885 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 0.885 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.885 * [taylor]: Taking taylor expansion of v in v 0.886 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 3) in v 0.886 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 0.886 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.886 * [taylor]: Taking taylor expansion of v in v 0.888 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e))))) in (e v) around 0 0.888 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e))))) in v 0.888 * [taylor]: Taking taylor expansion of -1 in v 0.888 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e)))) in v 0.888 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 0.888 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.888 * [taylor]: Taking taylor expansion of -1 in v 0.888 * [taylor]: Taking taylor expansion of v in v 0.888 * [taylor]: Taking taylor expansion of (* e (- 1.0 (/ (cos (/ -1 v)) e))) in v 0.888 * [taylor]: Taking taylor expansion of e in v 0.888 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in v 0.888 * [taylor]: Taking taylor expansion of 1.0 in v 0.888 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v 0.888 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 0.888 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.888 * [taylor]: Taking taylor expansion of -1 in v 0.889 * [taylor]: Taking taylor expansion of v in v 0.889 * [taylor]: Taking taylor expansion of e in v 0.889 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e))))) in e 0.889 * [taylor]: Taking taylor expansion of -1 in e 0.889 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e)))) in e 0.889 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 0.889 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.889 * [taylor]: Taking taylor expansion of -1 in e 0.889 * [taylor]: Taking taylor expansion of v in e 0.889 * [taylor]: Taking taylor expansion of (* e (- 1.0 (/ (cos (/ -1 v)) e))) in e 0.889 * [taylor]: Taking taylor expansion of e in e 0.889 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in e 0.889 * [taylor]: Taking taylor expansion of 1.0 in e 0.889 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 0.890 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 0.890 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.890 * [taylor]: Taking taylor expansion of -1 in e 0.890 * [taylor]: Taking taylor expansion of v in e 0.890 * [taylor]: Taking taylor expansion of e in e 0.894 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e))))) in e 0.894 * [taylor]: Taking taylor expansion of -1 in e 0.894 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e)))) in e 0.894 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 0.894 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.894 * [taylor]: Taking taylor expansion of -1 in e 0.894 * [taylor]: Taking taylor expansion of v in e 0.894 * [taylor]: Taking taylor expansion of (* e (- 1.0 (/ (cos (/ -1 v)) e))) in e 0.894 * [taylor]: Taking taylor expansion of e in e 0.894 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in e 0.894 * [taylor]: Taking taylor expansion of 1.0 in e 0.894 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 0.894 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 0.894 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.894 * [taylor]: Taking taylor expansion of -1 in e 0.894 * [taylor]: Taking taylor expansion of v in e 0.894 * [taylor]: Taking taylor expansion of e in e 0.898 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v 0.898 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 0.898 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.898 * [taylor]: Taking taylor expansion of -1 in v 0.898 * [taylor]: Taking taylor expansion of v in v 0.898 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 0.898 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.899 * [taylor]: Taking taylor expansion of -1 in v 0.899 * [taylor]: Taking taylor expansion of v in v 0.905 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v 0.905 * [taylor]: Taking taylor expansion of 1.0 in v 0.905 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v 0.906 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 0.906 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.906 * [taylor]: Taking taylor expansion of -1 in v 0.906 * [taylor]: Taking taylor expansion of v in v 0.906 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v 0.906 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 0.906 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.906 * [taylor]: Taking taylor expansion of -1 in v 0.906 * [taylor]: Taking taylor expansion of v in v 0.918 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3))) in v 0.918 * [taylor]: Taking taylor expansion of 1.0 in v 0.919 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)) in v 0.919 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 0.919 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.919 * [taylor]: Taking taylor expansion of -1 in v 0.919 * [taylor]: Taking taylor expansion of v in v 0.919 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 3) in v 0.919 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 0.919 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.919 * [taylor]: Taking taylor expansion of -1 in v 0.919 * [taylor]: Taking taylor expansion of v in v 0.921 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2) 0.921 * [approximate]: Taking taylor expansion of (* (cos v) e) in (e v) around 0 0.921 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 0.921 * [taylor]: Taking taylor expansion of (cos v) in v 0.921 * [taylor]: Taking taylor expansion of v in v 0.921 * [taylor]: Taking taylor expansion of e in v 0.921 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 0.921 * [taylor]: Taking taylor expansion of (cos v) in e 0.921 * [taylor]: Taking taylor expansion of v in e 0.921 * [taylor]: Taking taylor expansion of e in e 0.921 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 0.921 * [taylor]: Taking taylor expansion of (cos v) in e 0.921 * [taylor]: Taking taylor expansion of v in e 0.921 * [taylor]: Taking taylor expansion of e in e 0.921 * [taylor]: Taking taylor expansion of 0 in v 0.923 * [taylor]: Taking taylor expansion of (cos v) in v 0.923 * [taylor]: Taking taylor expansion of v in v 0.926 * [taylor]: Taking taylor expansion of 0 in v 0.930 * [taylor]: Taking taylor expansion of 0 in v 0.930 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in (e v) around 0 0.930 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v 0.930 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 0.930 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.930 * [taylor]: Taking taylor expansion of v in v 0.930 * [taylor]: Taking taylor expansion of e in v 0.930 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 0.930 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 0.930 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.930 * [taylor]: Taking taylor expansion of v in e 0.930 * [taylor]: Taking taylor expansion of e in e 0.931 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 0.931 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 0.931 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.931 * [taylor]: Taking taylor expansion of v in e 0.931 * [taylor]: Taking taylor expansion of e in e 0.931 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 0.931 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.931 * [taylor]: Taking taylor expansion of v in v 0.934 * [taylor]: Taking taylor expansion of 0 in v 0.937 * [taylor]: Taking taylor expansion of 0 in v 0.941 * [taylor]: Taking taylor expansion of 0 in v 0.941 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in (e v) around 0 0.941 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in v 0.941 * [taylor]: Taking taylor expansion of -1 in v 0.941 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v 0.942 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 0.942 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.942 * [taylor]: Taking taylor expansion of -1 in v 0.942 * [taylor]: Taking taylor expansion of v in v 0.942 * [taylor]: Taking taylor expansion of e in v 0.942 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e 0.942 * [taylor]: Taking taylor expansion of -1 in e 0.942 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 0.942 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 0.942 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.942 * [taylor]: Taking taylor expansion of -1 in e 0.942 * [taylor]: Taking taylor expansion of v in e 0.942 * [taylor]: Taking taylor expansion of e in e 0.943 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e 0.943 * [taylor]: Taking taylor expansion of -1 in e 0.943 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 0.943 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 0.943 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.943 * [taylor]: Taking taylor expansion of -1 in e 0.943 * [taylor]: Taking taylor expansion of v in e 0.943 * [taylor]: Taking taylor expansion of e in e 0.943 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 v))) in v 0.943 * [taylor]: Taking taylor expansion of -1 in v 0.943 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 0.943 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.943 * [taylor]: Taking taylor expansion of -1 in v 0.943 * [taylor]: Taking taylor expansion of v in v 0.947 * [taylor]: Taking taylor expansion of 0 in v 0.951 * [taylor]: Taking taylor expansion of 0 in v 0.956 * [taylor]: Taking taylor expansion of 0 in v 0.956 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1 2) 0.956 * [approximate]: Taking taylor expansion of (* (cos v) e) in (e v) around 0 0.956 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 0.956 * [taylor]: Taking taylor expansion of (cos v) in v 0.957 * [taylor]: Taking taylor expansion of v in v 0.957 * [taylor]: Taking taylor expansion of e in v 0.957 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 0.957 * [taylor]: Taking taylor expansion of (cos v) in e 0.957 * [taylor]: Taking taylor expansion of v in e 0.957 * [taylor]: Taking taylor expansion of e in e 0.957 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 0.957 * [taylor]: Taking taylor expansion of (cos v) in e 0.957 * [taylor]: Taking taylor expansion of v in e 0.957 * [taylor]: Taking taylor expansion of e in e 0.957 * [taylor]: Taking taylor expansion of 0 in v 0.959 * [taylor]: Taking taylor expansion of (cos v) in v 0.959 * [taylor]: Taking taylor expansion of v in v 0.962 * [taylor]: Taking taylor expansion of 0 in v 0.965 * [taylor]: Taking taylor expansion of 0 in v 0.965 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in (e v) around 0 0.965 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v 0.965 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 0.965 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.965 * [taylor]: Taking taylor expansion of v in v 0.966 * [taylor]: Taking taylor expansion of e in v 0.966 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 0.966 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 0.966 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.966 * [taylor]: Taking taylor expansion of v in e 0.966 * [taylor]: Taking taylor expansion of e in e 0.966 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 0.966 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 0.966 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.966 * [taylor]: Taking taylor expansion of v in e 0.966 * [taylor]: Taking taylor expansion of e in e 0.967 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 0.967 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.967 * [taylor]: Taking taylor expansion of v in v 0.970 * [taylor]: Taking taylor expansion of 0 in v 0.973 * [taylor]: Taking taylor expansion of 0 in v 0.977 * [taylor]: Taking taylor expansion of 0 in v 0.977 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in (e v) around 0 0.977 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in v 0.977 * [taylor]: Taking taylor expansion of -1 in v 0.977 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v 0.977 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 0.977 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.977 * [taylor]: Taking taylor expansion of -1 in v 0.977 * [taylor]: Taking taylor expansion of v in v 0.977 * [taylor]: Taking taylor expansion of e in v 0.977 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e 0.977 * [taylor]: Taking taylor expansion of -1 in e 0.978 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 0.978 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 0.978 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.978 * [taylor]: Taking taylor expansion of -1 in e 0.978 * [taylor]: Taking taylor expansion of v in e 0.978 * [taylor]: Taking taylor expansion of e in e 0.978 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e 0.978 * [taylor]: Taking taylor expansion of -1 in e 0.978 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 0.978 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 0.978 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.978 * [taylor]: Taking taylor expansion of -1 in e 0.978 * [taylor]: Taking taylor expansion of v in e 0.978 * [taylor]: Taking taylor expansion of e in e 0.979 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 v))) in v 0.979 * [taylor]: Taking taylor expansion of -1 in v 0.979 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 0.979 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.979 * [taylor]: Taking taylor expansion of -1 in v 0.979 * [taylor]: Taking taylor expansion of v in v 0.982 * [taylor]: Taking taylor expansion of 0 in v 0.986 * [taylor]: Taking taylor expansion of 0 in v 0.992 * [taylor]: Taking taylor expansion of 0 in v 0.992 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2) 0.992 * [approximate]: Taking taylor expansion of (* (cos v) e) in (e v) around 0 0.992 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 0.992 * [taylor]: Taking taylor expansion of (cos v) in v 0.992 * [taylor]: Taking taylor expansion of v in v 0.992 * [taylor]: Taking taylor expansion of e in v 0.992 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 0.992 * [taylor]: Taking taylor expansion of (cos v) in e 0.992 * [taylor]: Taking taylor expansion of v in e 0.992 * [taylor]: Taking taylor expansion of e in e 0.992 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 0.992 * [taylor]: Taking taylor expansion of (cos v) in e 0.992 * [taylor]: Taking taylor expansion of v in e 0.992 * [taylor]: Taking taylor expansion of e in e 0.993 * [taylor]: Taking taylor expansion of 0 in v 0.995 * [taylor]: Taking taylor expansion of (cos v) in v 0.995 * [taylor]: Taking taylor expansion of v in v 0.997 * [taylor]: Taking taylor expansion of 0 in v 1.003 * [taylor]: Taking taylor expansion of 0 in v 1.004 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in (e v) around 0 1.004 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v 1.004 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 1.004 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.004 * [taylor]: Taking taylor expansion of v in v 1.004 * [taylor]: Taking taylor expansion of e in v 1.004 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 1.004 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 1.004 * [taylor]: Taking taylor expansion of (/ 1 v) in e 1.004 * [taylor]: Taking taylor expansion of v in e 1.005 * [taylor]: Taking taylor expansion of e in e 1.005 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 1.005 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 1.005 * [taylor]: Taking taylor expansion of (/ 1 v) in e 1.005 * [taylor]: Taking taylor expansion of v in e 1.005 * [taylor]: Taking taylor expansion of e in e 1.006 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 1.006 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.006 * [taylor]: Taking taylor expansion of v in v 1.008 * [taylor]: Taking taylor expansion of 0 in v 1.012 * [taylor]: Taking taylor expansion of 0 in v 1.016 * [taylor]: Taking taylor expansion of 0 in v 1.016 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in (e v) around 0 1.016 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in v 1.016 * [taylor]: Taking taylor expansion of -1 in v 1.016 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v 1.016 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 1.016 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.016 * [taylor]: Taking taylor expansion of -1 in v 1.016 * [taylor]: Taking taylor expansion of v in v 1.016 * [taylor]: Taking taylor expansion of e in v 1.016 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e 1.016 * [taylor]: Taking taylor expansion of -1 in e 1.016 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 1.016 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 1.016 * [taylor]: Taking taylor expansion of (/ -1 v) in e 1.016 * [taylor]: Taking taylor expansion of -1 in e 1.017 * [taylor]: Taking taylor expansion of v in e 1.017 * [taylor]: Taking taylor expansion of e in e 1.017 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e 1.017 * [taylor]: Taking taylor expansion of -1 in e 1.017 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 1.017 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 1.017 * [taylor]: Taking taylor expansion of (/ -1 v) in e 1.017 * [taylor]: Taking taylor expansion of -1 in e 1.017 * [taylor]: Taking taylor expansion of v in e 1.017 * [taylor]: Taking taylor expansion of e in e 1.018 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 v))) in v 1.018 * [taylor]: Taking taylor expansion of -1 in v 1.018 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 1.018 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.018 * [taylor]: Taking taylor expansion of -1 in v 1.018 * [taylor]: Taking taylor expansion of v in v 1.021 * [taylor]: Taking taylor expansion of 0 in v 1.025 * [taylor]: Taking taylor expansion of 0 in v 1.030 * [taylor]: Taking taylor expansion of 0 in v 1.031 * * * [progress]: simplifying candidates 1.033 * [simplify]: Simplifying using # : (expm1 (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (log1p (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (+ (- (log e) (+ (log (cbrt (+ 1.0 (* e (cos v))))) (log (cbrt (+ 1.0 (* e (cos v))))))) (- (log (sin v)) (log (cbrt (+ 1.0 (* e (cos v))))))) (+ (- (log e) (+ (log (cbrt (+ 1.0 (* e (cos v))))) (log (cbrt (+ 1.0 (* e (cos v))))))) (log (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (+ (- (log e) (log (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (- (log (sin v)) (log (cbrt (+ 1.0 (* e (cos v))))))) (+ (- (log e) (log (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (log (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (+ (log (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (- (log (sin v)) (log (cbrt (+ 1.0 (* e (cos v))))))) (+ (log (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (log (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (log (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (exp (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (* (/ (* (* e e) e) (* (+ 1.0 (* e (cos v))) (+ 1.0 (* e (cos v))))) (/ (* (* (sin v) (sin v)) (sin v)) (+ 1.0 (* e (cos v))))) (* (/ (* (* e e) e) (* (+ 1.0 (* e (cos v))) (+ 1.0 (* e (cos v))))) (* (* (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (* (/ (* (* e e) e) (* (* (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (/ (* (* (sin v) (sin v)) (sin v)) (+ 1.0 (* e (cos v))))) (* (/ (* (* e e) e) (* (* (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (* (* (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (* (* (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (/ (* (* (sin v) (sin v)) (sin v)) (+ 1.0 (* e (cos v))))) (* (* (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (* (* (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (* (cbrt (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (cbrt (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))))) (cbrt (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (* (* (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (sqrt (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (sqrt (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (* e (sin v)) (* (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (cbrt (+ 1.0 (* e (cos v))))) (* (sqrt (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (sqrt (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (* (sqrt (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (sqrt (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (* (sqrt (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (/ (sqrt (sin v)) (cbrt (sqrt (+ 1.0 (* e (cos v))))))) (* (sqrt (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (/ (sqrt (sin v)) (cbrt (sqrt (+ 1.0 (* e (cos v))))))) (* (sqrt (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (/ (sqrt (sin v)) (sqrt (cbrt (+ 1.0 (* e (cos v))))))) (* (sqrt (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (/ (sqrt (sin v)) (sqrt (cbrt (+ 1.0 (* e (cos v))))))) (* (/ (sqrt e) (cbrt (+ 1.0 (* e (cos v))))) (sqrt (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (* (/ (sqrt e) (cbrt (+ 1.0 (* e (cos v))))) (sqrt (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (* (/ (sqrt e) (cbrt (+ 1.0 (* e (cos v))))) (/ (sqrt (sin v)) (cbrt (sqrt (+ 1.0 (* e (cos v))))))) (* (/ (sqrt e) (cbrt (+ 1.0 (* e (cos v))))) (/ (sqrt (sin v)) (cbrt (sqrt (+ 1.0 (* e (cos v))))))) (* (/ (sqrt e) (cbrt (+ 1.0 (* e (cos v))))) (/ (sqrt (sin v)) (sqrt (cbrt (+ 1.0 (* e (cos v))))))) (* (/ (sqrt e) (cbrt (+ 1.0 (* e (cos v))))) (/ (sqrt (sin v)) (sqrt (cbrt (+ 1.0 (* e (cos v))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (* (cbrt (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (cbrt (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (sqrt (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (cbrt (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (cbrt (sqrt (+ 1.0 (* e (cos v))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (cbrt 1))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (* (cbrt (cbrt (+ 1.0 (* e (cos v))))) (cbrt (cbrt (+ 1.0 (* e (cos v)))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (sqrt (cbrt (+ 1.0 (* e (cos v))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (* (cbrt (sin v)) (cbrt (sin v))) 1)) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sqrt (sin v)) (cbrt (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sqrt (sin v)) (cbrt (sqrt (+ 1.0 (* e (cos v))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sqrt (sin v)) (cbrt 1))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sqrt (sin v)) (* (cbrt (cbrt (+ 1.0 (* e (cos v))))) (cbrt (cbrt (+ 1.0 (* e (cos v)))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sqrt (sin v)) (sqrt (cbrt (+ 1.0 (* e (cos v))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sqrt (sin v)) 1)) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ 1 (cbrt (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ 1 (cbrt (sqrt (+ 1.0 (* e (cos v))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ 1 (cbrt 1))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ 1 (* (cbrt (cbrt (+ 1.0 (* e (cos v))))) (cbrt (cbrt (+ 1.0 (* e (cos v)))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ 1 (sqrt (cbrt (+ 1.0 (* e (cos v))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ 1 1)) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) 1) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (sin v)) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ (pow 1.0 3) (pow (* e (cos v)) 3))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (- (* 1.0 1.0) (* (* e (cos v)) (* e (cos v))))))) (* (cbrt (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (sqrt (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (/ (cbrt e) (cbrt (+ 1.0 (* e (cos v))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (/ (sqrt e) (cbrt (+ 1.0 (* e (cos v))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (/ e (cbrt (+ 1.0 (* e (cos v))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (/ 1 (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (* (cbrt (+ (* 1.0 1.0) (- (* (* e (cos v)) (* e (cos v))) (* 1.0 (* e (cos v)))))) (cbrt (+ (* 1.0 1.0) (- (* (* e (cos v)) (* e (cos v))) (* 1.0 (* e (cos v))))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (* (cbrt (+ (* 1.0 1.0) (- (* (* e (cos v)) (* e (cos v))) (* 1.0 (* e (cos v)))))) (cbrt (- 1.0 (* e (cos v))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (* (cbrt (- 1.0 (* e (cos v)))) (cbrt (+ (* 1.0 1.0) (- (* (* e (cos v)) (* e (cos v))) (* 1.0 (* e (cos v))))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (* (cbrt (- 1.0 (* e (cos v)))) (cbrt (- 1.0 (* e (cos v))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (cbrt (+ (* 1.0 1.0) (- (* (* e (cos v)) (* e (cos v))) (* 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (cbrt (- 1.0 (* e (cos v)))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (cbrt (+ (* 1.0 1.0) (- (* (* e (cos v)) (* e (cos v))) (* 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (cbrt (- 1.0 (* e (cos v)))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (sin v)) (* e (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (expm1 (* e (cos v))) (log1p (* e (cos v))) (* e (cos v)) (+ (log e) (log (cos v))) (log (* e (cos v))) (exp (* e (cos v))) (* (* (* e e) e) (* (* (cos v) (cos v)) (cos v))) (* (cbrt (* e (cos v))) (cbrt (* e (cos v)))) (cbrt (* e (cos v))) (* (* (* e (cos v)) (* e (cos v))) (* e (cos v))) (sqrt (* e (cos v))) (sqrt (* e (cos v))) (* (sqrt e) (sqrt (cos v))) (* (sqrt e) (sqrt (cos v))) (* e (* (cbrt (cos v)) (cbrt (cos v)))) (* e (sqrt (cos v))) (* e 1) (* (cbrt e) (cos v)) (* (sqrt e) (cos v)) (* e (cos v)) (expm1 (* e (cos v))) (log1p (* e (cos v))) (* e (cos v)) (+ (log e) (log (cos v))) (log (* e (cos v))) (exp (* e (cos v))) (* (* (* e e) e) (* (* (cos v) (cos v)) (cos v))) (* (cbrt (* e (cos v))) (cbrt (* e (cos v)))) (cbrt (* e (cos v))) (* (* (* e (cos v)) (* e (cos v))) (* e (cos v))) (sqrt (* e (cos v))) (sqrt (* e (cos v))) (* (sqrt e) (sqrt (cos v))) (* (sqrt e) (sqrt (cos v))) (* e (* (cbrt (cos v)) (cbrt (cos v)))) (* e (sqrt (cos v))) (* e 1) (* (cbrt e) (cos v)) (* (sqrt e) (cos v)) (* e (cos v)) (expm1 (* e (cos v))) (log1p (* e (cos v))) (* e (cos v)) (+ (log e) (log (cos v))) (log (* e (cos v))) (exp (* e (cos v))) (* (* (* e e) e) (* (* (cos v) (cos v)) (cos v))) (* (cbrt (* e (cos v))) (cbrt (* e (cos v)))) (cbrt (* e (cos v))) (* (* (* e (cos v)) (* e (cos v))) (* e (cos v))) (sqrt (* e (cos v))) (sqrt (* e (cos v))) (* (sqrt e) (sqrt (cos v))) (* (sqrt e) (sqrt (cos v))) (* e (* (cbrt (cos v)) (cbrt (cos v)))) (* e (sqrt (cos v))) (* e 1) (* (cbrt e) (cos v)) (* (sqrt e) (cos v)) (* e (cos v)) (- (+ (* 1.0 (* (pow e 3) v)) (* 1.0 (* e v))) (* 1.0 (* (pow e 2) v))) (- (+ (/ (sin v) (cos v)) (* 1.0 (/ (sin v) (* (pow (cos v) 3) (pow e 2))))) (* 1.0 (/ (sin v) (* (pow (cos v) 2) e)))) (- (+ (/ (sin v) (cos v)) (* 1.0 (/ (sin v) (* (pow (cos v) 3) (pow e 2))))) (* 1.0 (/ (sin v) (* (pow (cos v) 2) e)))) e (* (cos v) e) (* (cos v) e) e (* (cos v) e) (* (cos v) e) e (* (cos v) e) (* (cos v) e) 1.042 * * [simplify]: iteration 0 : 610 enodes (cost 1770 ) 1.053 * * [simplify]: iteration 1 : 2975 enodes (cost 1556 ) 1.107 * * [simplify]: iteration 2 : 5001 enodes (cost 1449 ) 1.114 * [simplify]: Simplified to: (expm1 (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (log1p (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (/ (* e (sin v)) (pow (cbrt (+ 1.0 (* e (cos v)))) 3)) (- (log (* e (sin v))) (log (pow (cbrt (+ 1.0 (* e (cos v)))) 3))) (- (log (* e (sin v))) (log (pow (cbrt (+ 1.0 (* e (cos v)))) 3))) (- (log (* e (sin v))) (log (pow (cbrt (+ 1.0 (* e (cos v)))) 3))) (- (log (* e (sin v))) (log (pow (cbrt (+ 1.0 (* e (cos v)))) 3))) (- (log (* e (sin v))) (log (pow (cbrt (+ 1.0 (* e (cos v)))) 3))) (- (log (* e (sin v))) (log (pow (cbrt (+ 1.0 (* e (cos v)))) 3))) (- (log (* e (sin v))) (log (pow (cbrt (+ 1.0 (* e (cos v)))) 3))) (pow (exp 1) (/ (* e (sin v)) (pow (cbrt (+ 1.0 (* e (cos v)))) 3))) (pow (/ (* e (sin v)) (pow (cbrt (+ 1.0 (* e (cos v)))) 3)) 3) (pow (/ (* e (sin v)) (pow (cbrt (+ 1.0 (* e (cos v)))) 3)) 3) (pow (/ (* e (sin v)) (pow (cbrt (+ 1.0 (* e (cos v)))) 3)) 3) (pow (/ (* e (sin v)) (pow (cbrt (+ 1.0 (* e (cos v)))) 3)) 3) (pow (/ (* e (sin v)) (pow (cbrt (+ 1.0 (* e (cos v)))) 3)) 3) (pow (/ (* e (sin v)) (pow (cbrt (+ 1.0 (* e (cos v)))) 3)) 3) (* (cbrt (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (cbrt (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))))) (cbrt (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (pow (/ (* e (sin v)) (pow (cbrt (+ 1.0 (* e (cos v)))) 3)) 3) (sqrt (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (sqrt (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (* e (sin v)) (fma (cos v) e 1.0) (* (sqrt (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (sqrt (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (* (sqrt (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (sqrt (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (* (sqrt (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (/ (sqrt (sin v)) (cbrt (sqrt (+ 1.0 (* e (cos v))))))) (* (sqrt (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (/ (sqrt (sin v)) (cbrt (sqrt (+ 1.0 (* e (cos v))))))) (* (sqrt (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (/ (sqrt (sin v)) (sqrt (cbrt (+ 1.0 (* e (cos v))))))) (* (sqrt (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (/ (sqrt (sin v)) (sqrt (cbrt (+ 1.0 (* e (cos v))))))) (* (/ (sqrt e) (cbrt (+ 1.0 (* e (cos v))))) (sqrt (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (* (/ (sqrt e) (cbrt (+ 1.0 (* e (cos v))))) (sqrt (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (* (/ (sqrt e) (cbrt (+ 1.0 (* e (cos v))))) (/ (sqrt (sin v)) (cbrt (sqrt (+ 1.0 (* e (cos v))))))) (* (/ (sqrt e) (cbrt (+ 1.0 (* e (cos v))))) (/ (sqrt (sin v)) (cbrt (sqrt (+ 1.0 (* e (cos v))))))) (* (/ (sqrt e) (cbrt (+ 1.0 (* e (cos v))))) (/ (sqrt (sin v)) (sqrt (cbrt (+ 1.0 (* e (cos v))))))) (* (/ (sqrt e) (cbrt (+ 1.0 (* e (cos v))))) (/ (sqrt (sin v)) (sqrt (cbrt (+ 1.0 (* e (cos v))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (* (cbrt (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (cbrt (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (sqrt (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (cbrt (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (cbrt (sqrt (+ 1.0 (* e (cos v))))))) (/ (* e (* (cbrt (sin v)) (cbrt (sin v)))) (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (* (cbrt (cbrt (+ 1.0 (* e (cos v))))) (cbrt (cbrt (+ 1.0 (* e (cos v)))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (sqrt (cbrt (+ 1.0 (* e (cos v))))))) (/ (* e (* (cbrt (sin v)) (cbrt (sin v)))) (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sqrt (sin v)) (cbrt (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sqrt (sin v)) (cbrt (sqrt (+ 1.0 (* e (cos v))))))) (/ (* e (sqrt (sin v))) (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sqrt (sin v)) (* (cbrt (cbrt (+ 1.0 (* e (cos v))))) (cbrt (cbrt (+ 1.0 (* e (cos v)))))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sqrt (sin v)) (sqrt (cbrt (+ 1.0 (* e (cos v))))))) (/ (* e (sqrt (sin v))) (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (cbrt (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (/ (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (cbrt (sqrt (+ 1.0 (* e (cos v)))))) (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (* (cbrt (cbrt (+ 1.0 (* e (cos v))))) (cbrt (cbrt (+ 1.0 (* e (cos v))))))) (/ (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (sqrt (cbrt (+ 1.0 (* e (cos v)))))) (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (sin v)) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ (pow 1.0 3) (pow (* e (cos v)) 3))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (- (* 1.0 1.0) (* (* e (cos v)) (* e (cos v))))))) (* (cbrt (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (sqrt (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (/ (cbrt e) (cbrt (+ 1.0 (* e (cos v))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (/ (sqrt e) (cbrt (+ 1.0 (* e (cos v))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (sin v)) (/ (* e (sin v)) (pow (cbrt (+ 1.0 (* e (cos v)))) 3)) (/ (/ (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))) (cbrt (+ 1.0 (* e (cos v))))) (cbrt (+ 1.0 (* e (cos v))))) (* (* (cbrt (+ (* 1.0 1.0) (- (* (* e (cos v)) (* e (cos v))) (* 1.0 (* e (cos v)))))) (cbrt (+ (* 1.0 1.0) (- (* (* e (cos v)) (* e (cos v))) (* 1.0 (* e (cos v))))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (* (cbrt (- 1.0 (* e (cos v)))) (cbrt (+ (* 1.0 1.0) (- (* (* e (cos v)) (* e (cos v))) (* 1.0 (* e (cos v))))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (* (cbrt (- 1.0 (* e (cos v)))) (cbrt (+ (* 1.0 1.0) (- (* (* e (cos v)) (* e (cos v))) (* 1.0 (* e (cos v))))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (* (cbrt (- 1.0 (* e (cos v)))) (cbrt (- 1.0 (* e (cos v))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (cbrt (+ (* 1.0 1.0) (- (* (* e (cos v)) (* e (cos v))) (* 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (cbrt (- 1.0 (* e (cos v)))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (cbrt (+ (* 1.0 1.0) (- (* (* e (cos v)) (* e (cos v))) (* 1.0 (* e (cos v)))))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (cbrt (- 1.0 (* e (cos v)))) (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (* (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (sin v)) (* e (/ (sin v) (cbrt (+ 1.0 (* e (cos v)))))) (expm1 (* e (cos v))) (log1p (* e (cos v))) (* e (cos v)) (log (* e (cos v))) (log (* e (cos v))) (exp (* e (cos v))) (pow (* e (cos v)) 3) (* (cbrt (* e (cos v))) (cbrt (* e (cos v)))) (cbrt (* e (cos v))) (pow (* e (cos v)) 3) (sqrt (* e (cos v))) (sqrt (* e (cos v))) (* (sqrt e) (sqrt (cos v))) (* (sqrt e) (sqrt (cos v))) (* e (* (cbrt (cos v)) (cbrt (cos v)))) (* e (sqrt (cos v))) e (* (cbrt e) (cos v)) (* (sqrt e) (cos v)) (* e (cos v)) (expm1 (* e (cos v))) (log1p (* e (cos v))) (* e (cos v)) (log (* e (cos v))) (log (* e (cos v))) (exp (* e (cos v))) (pow (* e (cos v)) 3) (* (cbrt (* e (cos v))) (cbrt (* e (cos v)))) (cbrt (* e (cos v))) (pow (* e (cos v)) 3) (sqrt (* e (cos v))) (sqrt (* e (cos v))) (* (sqrt e) (sqrt (cos v))) (* (sqrt e) (sqrt (cos v))) (* e (* (cbrt (cos v)) (cbrt (cos v)))) (* e (sqrt (cos v))) e (* (cbrt e) (cos v)) (* (sqrt e) (cos v)) (* e (cos v)) (expm1 (* e (cos v))) (log1p (* e (cos v))) (* e (cos v)) (log (* e (cos v))) (log (* e (cos v))) (exp (* e (cos v))) (pow (* e (cos v)) 3) (* (cbrt (* e (cos v))) (cbrt (* e (cos v)))) (cbrt (* e (cos v))) (pow (* e (cos v)) 3) (sqrt (* e (cos v))) (sqrt (* e (cos v))) (* (sqrt e) (sqrt (cos v))) (* (sqrt e) (sqrt (cos v))) (* e (* (cbrt (cos v)) (cbrt (cos v)))) (* e (sqrt (cos v))) e (* (cbrt e) (cos v)) (* (sqrt e) (cos v)) (* e (cos v)) (* 1.0 (- (fma v (pow e 3) (* e v)) (* (pow e 2) v))) (fma 1.0 (- (/ (sin v) (* (pow (cos v) 3) (pow e 2))) (/ (sin v) (* (pow (cos v) 2) e))) (/ (sin v) (cos v))) (fma 1.0 (- (/ (sin v) (* (pow (cos v) 3) (pow e 2))) (/ (sin v) (* (pow (cos v) 2) e))) (/ (sin v) (cos v))) e (* e (cos v)) (* e (cos v)) e (* e (cos v)) (* e (cos v)) e (* e (cos v)) (* e (cos v)) 1.115 * * * [progress]: adding candidates to table 1.468 * * [progress]: iteration 3 / 4 1.468 * * * [progress]: picking best candidate 1.484 * * * * [pick]: Picked # 1.484 * * * [progress]: localizing error 1.494 * * * [progress]: generating rewritten candidates 1.494 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.502 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1.510 * * * [progress]: generating series expansions 1.510 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.510 * [approximate]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in (v e) around 0 1.510 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in e 1.510 * [taylor]: Taking taylor expansion of (* e (sin v)) in e 1.510 * [taylor]: Taking taylor expansion of e in e 1.510 * [taylor]: Taking taylor expansion of (sin v) in e 1.510 * [taylor]: Taking taylor expansion of v in e 1.510 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e 1.512 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 1.512 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 1.512 * [taylor]: Taking taylor expansion of (cos v) in e 1.512 * [taylor]: Taking taylor expansion of v in e 1.512 * [taylor]: Taking taylor expansion of e in e 1.512 * [taylor]: Taking taylor expansion of 1.0 in e 1.515 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in v 1.515 * [taylor]: Taking taylor expansion of (* e (sin v)) in v 1.515 * [taylor]: Taking taylor expansion of e in v 1.515 * [taylor]: Taking taylor expansion of (sin v) in v 1.515 * [taylor]: Taking taylor expansion of v in v 1.515 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in v 1.515 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 1.515 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 1.515 * [taylor]: Taking taylor expansion of (cos v) in v 1.515 * [taylor]: Taking taylor expansion of v in v 1.515 * [taylor]: Taking taylor expansion of e in v 1.515 * [taylor]: Taking taylor expansion of 1.0 in v 1.516 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in v 1.516 * [taylor]: Taking taylor expansion of (* e (sin v)) in v 1.516 * [taylor]: Taking taylor expansion of e in v 1.516 * [taylor]: Taking taylor expansion of (sin v) in v 1.516 * [taylor]: Taking taylor expansion of v in v 1.516 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in v 1.516 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 1.516 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 1.516 * [taylor]: Taking taylor expansion of (cos v) in v 1.516 * [taylor]: Taking taylor expansion of v in v 1.516 * [taylor]: Taking taylor expansion of e in v 1.516 * [taylor]: Taking taylor expansion of 1.0 in v 1.517 * [taylor]: Taking taylor expansion of (/ e (+ e 1.0)) in e 1.517 * [taylor]: Taking taylor expansion of e in e 1.517 * [taylor]: Taking taylor expansion of (+ e 1.0) in e 1.517 * [taylor]: Taking taylor expansion of e in e 1.517 * [taylor]: Taking taylor expansion of 1.0 in e 1.519 * [taylor]: Taking taylor expansion of 0 in e 1.524 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (pow e 2) (pow (+ e 1.0) 2))) (* 1/6 (/ e (+ e 1.0)))) in e 1.524 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow e 2) (pow (+ e 1.0) 2))) in e 1.524 * [taylor]: Taking taylor expansion of 1/2 in e 1.524 * [taylor]: Taking taylor expansion of (/ (pow e 2) (pow (+ e 1.0) 2)) in e 1.524 * [taylor]: Taking taylor expansion of (pow e 2) in e 1.524 * [taylor]: Taking taylor expansion of e in e 1.524 * [taylor]: Taking taylor expansion of (pow (+ e 1.0) 2) in e 1.524 * [taylor]: Taking taylor expansion of (+ e 1.0) in e 1.524 * [taylor]: Taking taylor expansion of e in e 1.524 * [taylor]: Taking taylor expansion of 1.0 in e 1.525 * [taylor]: Taking taylor expansion of (* 1/6 (/ e (+ e 1.0))) in e 1.525 * [taylor]: Taking taylor expansion of 1/6 in e 1.526 * [taylor]: Taking taylor expansion of (/ e (+ e 1.0)) in e 1.526 * [taylor]: Taking taylor expansion of e in e 1.526 * [taylor]: Taking taylor expansion of (+ e 1.0) in e 1.526 * [taylor]: Taking taylor expansion of e in e 1.526 * [taylor]: Taking taylor expansion of 1.0 in e 1.528 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in (v e) around 0 1.528 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e 1.528 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 1.528 * [taylor]: Taking taylor expansion of (/ 1 v) in e 1.528 * [taylor]: Taking taylor expansion of v in e 1.529 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e 1.529 * [taylor]: Taking taylor expansion of e in e 1.529 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e 1.529 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 1.529 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e 1.529 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 1.529 * [taylor]: Taking taylor expansion of (/ 1 v) in e 1.529 * [taylor]: Taking taylor expansion of v in e 1.529 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.529 * [taylor]: Taking taylor expansion of e in e 1.529 * [taylor]: Taking taylor expansion of 1.0 in e 1.533 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in v 1.533 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 1.533 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.533 * [taylor]: Taking taylor expansion of v in v 1.533 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in v 1.533 * [taylor]: Taking taylor expansion of e in v 1.533 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in v 1.533 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 1.533 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in v 1.534 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 1.534 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.534 * [taylor]: Taking taylor expansion of v in v 1.534 * [taylor]: Taking taylor expansion of (/ 1 e) in v 1.534 * [taylor]: Taking taylor expansion of e in v 1.534 * [taylor]: Taking taylor expansion of 1.0 in v 1.534 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in v 1.534 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 1.534 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.534 * [taylor]: Taking taylor expansion of v in v 1.535 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in v 1.535 * [taylor]: Taking taylor expansion of e in v 1.535 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in v 1.535 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 1.535 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in v 1.535 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 1.535 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.535 * [taylor]: Taking taylor expansion of v in v 1.535 * [taylor]: Taking taylor expansion of (/ 1 e) in v 1.535 * [taylor]: Taking taylor expansion of e in v 1.535 * [taylor]: Taking taylor expansion of 1.0 in v 1.536 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in e 1.536 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 1.536 * [taylor]: Taking taylor expansion of (/ 1 v) in e 1.536 * [taylor]: Taking taylor expansion of v in e 1.536 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1.0)) in e 1.536 * [taylor]: Taking taylor expansion of e in e 1.536 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in e 1.536 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 1.536 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 1.536 * [taylor]: Taking taylor expansion of (/ 1 v) in e 1.536 * [taylor]: Taking taylor expansion of v in e 1.536 * [taylor]: Taking taylor expansion of e in e 1.536 * [taylor]: Taking taylor expansion of 1.0 in e 1.540 * [taylor]: Taking taylor expansion of 0 in e 1.548 * [taylor]: Taking taylor expansion of 0 in e 1.556 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* (fma (cos (/ -1 v)) (/ -1 e) 1.0) e))) in (v e) around 0 1.556 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* (fma (cos (/ -1 v)) (/ -1 e) 1.0) e))) in e 1.556 * [taylor]: Taking taylor expansion of -1 in e 1.556 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (fma (cos (/ -1 v)) (/ -1 e) 1.0) e)) in e 1.556 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 1.556 * [taylor]: Taking taylor expansion of (/ -1 v) in e 1.556 * [taylor]: Taking taylor expansion of -1 in e 1.556 * [taylor]: Taking taylor expansion of v in e 1.556 * [taylor]: Taking taylor expansion of (* (fma (cos (/ -1 v)) (/ -1 e) 1.0) e) in e 1.556 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e 1.556 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 1.557 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e 1.557 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 1.557 * [taylor]: Taking taylor expansion of (/ -1 v) in e 1.557 * [taylor]: Taking taylor expansion of -1 in e 1.557 * [taylor]: Taking taylor expansion of v in e 1.557 * [taylor]: Taking taylor expansion of (/ -1 e) in e 1.557 * [taylor]: Taking taylor expansion of -1 in e 1.557 * [taylor]: Taking taylor expansion of e in e 1.557 * [taylor]: Taking taylor expansion of 1.0 in e 1.557 * [taylor]: Taking taylor expansion of e in e 1.561 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* (fma (cos (/ -1 v)) (/ -1 e) 1.0) e))) in v 1.561 * [taylor]: Taking taylor expansion of -1 in v 1.561 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (fma (cos (/ -1 v)) (/ -1 e) 1.0) e)) in v 1.561 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 1.561 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.561 * [taylor]: Taking taylor expansion of -1 in v 1.561 * [taylor]: Taking taylor expansion of v in v 1.562 * [taylor]: Taking taylor expansion of (* (fma (cos (/ -1 v)) (/ -1 e) 1.0) e) in v 1.562 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in v 1.562 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 1.562 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in v 1.562 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 1.562 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.562 * [taylor]: Taking taylor expansion of -1 in v 1.562 * [taylor]: Taking taylor expansion of v in v 1.562 * [taylor]: Taking taylor expansion of (/ -1 e) in v 1.562 * [taylor]: Taking taylor expansion of -1 in v 1.562 * [taylor]: Taking taylor expansion of e in v 1.562 * [taylor]: Taking taylor expansion of 1.0 in v 1.562 * [taylor]: Taking taylor expansion of e in v 1.563 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* (fma (cos (/ -1 v)) (/ -1 e) 1.0) e))) in v 1.563 * [taylor]: Taking taylor expansion of -1 in v 1.563 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (fma (cos (/ -1 v)) (/ -1 e) 1.0) e)) in v 1.563 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 1.563 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.563 * [taylor]: Taking taylor expansion of -1 in v 1.563 * [taylor]: Taking taylor expansion of v in v 1.563 * [taylor]: Taking taylor expansion of (* (fma (cos (/ -1 v)) (/ -1 e) 1.0) e) in v 1.563 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in v 1.563 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 1.563 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in v 1.563 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 1.563 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.563 * [taylor]: Taking taylor expansion of -1 in v 1.563 * [taylor]: Taking taylor expansion of v in v 1.564 * [taylor]: Taking taylor expansion of (/ -1 e) in v 1.564 * [taylor]: Taking taylor expansion of -1 in v 1.564 * [taylor]: Taking taylor expansion of e in v 1.564 * [taylor]: Taking taylor expansion of 1.0 in v 1.564 * [taylor]: Taking taylor expansion of e in v 1.564 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e))))) in e 1.564 * [taylor]: Taking taylor expansion of -1 in e 1.564 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e)))) in e 1.564 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 1.564 * [taylor]: Taking taylor expansion of (/ -1 v) in e 1.564 * [taylor]: Taking taylor expansion of -1 in e 1.564 * [taylor]: Taking taylor expansion of v in e 1.564 * [taylor]: Taking taylor expansion of (* e (- 1.0 (/ (cos (/ -1 v)) e))) in e 1.564 * [taylor]: Taking taylor expansion of e in e 1.565 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in e 1.565 * [taylor]: Taking taylor expansion of 1.0 in e 1.565 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 1.565 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 1.565 * [taylor]: Taking taylor expansion of (/ -1 v) in e 1.565 * [taylor]: Taking taylor expansion of -1 in e 1.565 * [taylor]: Taking taylor expansion of v in e 1.565 * [taylor]: Taking taylor expansion of e in e 1.570 * [taylor]: Taking taylor expansion of 0 in e 1.579 * [taylor]: Taking taylor expansion of 0 in e 1.592 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1.592 * [approximate]: Taking taylor expansion of (/ (fma (cos v) e 1.0) e) in (v e) around 0 1.592 * [taylor]: Taking taylor expansion of (/ (fma (cos v) e 1.0) e) in e 1.592 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e 1.592 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 1.592 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 1.592 * [taylor]: Taking taylor expansion of (cos v) in e 1.592 * [taylor]: Taking taylor expansion of v in e 1.592 * [taylor]: Taking taylor expansion of e in e 1.592 * [taylor]: Taking taylor expansion of 1.0 in e 1.592 * [taylor]: Taking taylor expansion of e in e 1.593 * [taylor]: Taking taylor expansion of (/ (fma (cos v) e 1.0) e) in v 1.593 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in v 1.594 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 1.594 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 1.594 * [taylor]: Taking taylor expansion of (cos v) in v 1.594 * [taylor]: Taking taylor expansion of v in v 1.594 * [taylor]: Taking taylor expansion of e in v 1.594 * [taylor]: Taking taylor expansion of 1.0 in v 1.594 * [taylor]: Taking taylor expansion of e in v 1.594 * [taylor]: Taking taylor expansion of (/ (fma (cos v) e 1.0) e) in v 1.594 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in v 1.594 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 1.594 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 1.594 * [taylor]: Taking taylor expansion of (cos v) in v 1.594 * [taylor]: Taking taylor expansion of v in v 1.594 * [taylor]: Taking taylor expansion of e in v 1.594 * [taylor]: Taking taylor expansion of 1.0 in v 1.594 * [taylor]: Taking taylor expansion of e in v 1.594 * [taylor]: Taking taylor expansion of (/ (+ e 1.0) e) in e 1.594 * [taylor]: Taking taylor expansion of (+ e 1.0) in e 1.594 * [taylor]: Taking taylor expansion of e in e 1.594 * [taylor]: Taking taylor expansion of 1.0 in e 1.594 * [taylor]: Taking taylor expansion of e in e 1.596 * [taylor]: Taking taylor expansion of 0 in e 1.598 * [taylor]: Taking taylor expansion of (- 1/2) in e 1.598 * [taylor]: Taking taylor expansion of 1/2 in e 1.601 * [taylor]: Taking taylor expansion of 0 in e 1.601 * [approximate]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in (v e) around 0 1.601 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e 1.601 * [taylor]: Taking taylor expansion of e in e 1.601 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e 1.601 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 1.601 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e 1.601 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 1.601 * [taylor]: Taking taylor expansion of (/ 1 v) in e 1.601 * [taylor]: Taking taylor expansion of v in e 1.602 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.602 * [taylor]: Taking taylor expansion of e in e 1.602 * [taylor]: Taking taylor expansion of 1.0 in e 1.602 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in v 1.602 * [taylor]: Taking taylor expansion of e in v 1.602 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in v 1.602 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 1.602 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in v 1.602 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 1.602 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.602 * [taylor]: Taking taylor expansion of v in v 1.602 * [taylor]: Taking taylor expansion of (/ 1 e) in v 1.602 * [taylor]: Taking taylor expansion of e in v 1.602 * [taylor]: Taking taylor expansion of 1.0 in v 1.602 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in v 1.602 * [taylor]: Taking taylor expansion of e in v 1.603 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in v 1.603 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 1.603 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in v 1.603 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 1.603 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.603 * [taylor]: Taking taylor expansion of v in v 1.603 * [taylor]: Taking taylor expansion of (/ 1 e) in v 1.603 * [taylor]: Taking taylor expansion of e in v 1.603 * [taylor]: Taking taylor expansion of 1.0 in v 1.603 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1.0)) in e 1.603 * [taylor]: Taking taylor expansion of e in e 1.603 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in e 1.603 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 1.603 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 1.603 * [taylor]: Taking taylor expansion of (/ 1 v) in e 1.603 * [taylor]: Taking taylor expansion of v in e 1.604 * [taylor]: Taking taylor expansion of e in e 1.604 * [taylor]: Taking taylor expansion of 1.0 in e 1.605 * [taylor]: Taking taylor expansion of 0 in e 1.608 * [taylor]: Taking taylor expansion of 0 in e 1.614 * [taylor]: Taking taylor expansion of 0 in e 1.621 * [taylor]: Taking taylor expansion of 0 in e 1.622 * [approximate]: Taking taylor expansion of (* -1 (* e (fma (cos (/ -1 v)) (/ -1 e) 1.0))) in (v e) around 0 1.622 * [taylor]: Taking taylor expansion of (* -1 (* e (fma (cos (/ -1 v)) (/ -1 e) 1.0))) in e 1.622 * [taylor]: Taking taylor expansion of -1 in e 1.622 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e 1.622 * [taylor]: Taking taylor expansion of e in e 1.622 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e 1.622 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 1.622 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e 1.622 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 1.622 * [taylor]: Taking taylor expansion of (/ -1 v) in e 1.622 * [taylor]: Taking taylor expansion of -1 in e 1.622 * [taylor]: Taking taylor expansion of v in e 1.622 * [taylor]: Taking taylor expansion of (/ -1 e) in e 1.622 * [taylor]: Taking taylor expansion of -1 in e 1.622 * [taylor]: Taking taylor expansion of e in e 1.622 * [taylor]: Taking taylor expansion of 1.0 in e 1.622 * [taylor]: Taking taylor expansion of (* -1 (* e (fma (cos (/ -1 v)) (/ -1 e) 1.0))) in v 1.622 * [taylor]: Taking taylor expansion of -1 in v 1.622 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in v 1.622 * [taylor]: Taking taylor expansion of e in v 1.622 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in v 1.623 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 1.623 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in v 1.623 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 1.623 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.623 * [taylor]: Taking taylor expansion of -1 in v 1.623 * [taylor]: Taking taylor expansion of v in v 1.623 * [taylor]: Taking taylor expansion of (/ -1 e) in v 1.623 * [taylor]: Taking taylor expansion of -1 in v 1.623 * [taylor]: Taking taylor expansion of e in v 1.623 * [taylor]: Taking taylor expansion of 1.0 in v 1.623 * [taylor]: Taking taylor expansion of (* -1 (* e (fma (cos (/ -1 v)) (/ -1 e) 1.0))) in v 1.623 * [taylor]: Taking taylor expansion of -1 in v 1.623 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in v 1.623 * [taylor]: Taking taylor expansion of e in v 1.623 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in v 1.623 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 1.623 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in v 1.623 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 1.623 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.623 * [taylor]: Taking taylor expansion of -1 in v 1.623 * [taylor]: Taking taylor expansion of v in v 1.624 * [taylor]: Taking taylor expansion of (/ -1 e) in v 1.624 * [taylor]: Taking taylor expansion of -1 in v 1.624 * [taylor]: Taking taylor expansion of e in v 1.624 * [taylor]: Taking taylor expansion of 1.0 in v 1.624 * [taylor]: Taking taylor expansion of (* -1 (* e (- 1.0 (/ (cos (/ -1 v)) e)))) in e 1.624 * [taylor]: Taking taylor expansion of -1 in e 1.624 * [taylor]: Taking taylor expansion of (* e (- 1.0 (/ (cos (/ -1 v)) e))) in e 1.624 * [taylor]: Taking taylor expansion of e in e 1.624 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in e 1.624 * [taylor]: Taking taylor expansion of 1.0 in e 1.624 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 1.624 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 1.624 * [taylor]: Taking taylor expansion of (/ -1 v) in e 1.624 * [taylor]: Taking taylor expansion of -1 in e 1.624 * [taylor]: Taking taylor expansion of v in e 1.624 * [taylor]: Taking taylor expansion of e in e 1.626 * [taylor]: Taking taylor expansion of 0 in e 1.631 * [taylor]: Taking taylor expansion of 0 in e 1.639 * [taylor]: Taking taylor expansion of 0 in e 1.648 * [taylor]: Taking taylor expansion of 0 in e 1.648 * * * [progress]: simplifying candidates 1.650 * [simplify]: Simplifying using # : (expm1 (/ (sin v) (/ (fma (cos v) e 1.0) e))) (log1p (/ (sin v) (/ (fma (cos v) e 1.0) e))) (- (log (sin v)) (- (log (fma (cos v) e 1.0)) (log e))) (- (log (sin v)) (log (/ (fma (cos v) e 1.0) e))) (log (/ (sin v) (/ (fma (cos v) e 1.0) e))) (exp (/ (sin v) (/ (fma (cos v) e 1.0) e))) (/ (* (* (sin v) (sin v)) (sin v)) (/ (* (* (fma (cos v) e 1.0) (fma (cos v) e 1.0)) (fma (cos v) e 1.0)) (* (* e e) e))) (/ (* (* (sin v) (sin v)) (sin v)) (* (* (/ (fma (cos v) e 1.0) e) (/ (fma (cos v) e 1.0) e)) (/ (fma (cos v) e 1.0) e))) (* (cbrt (/ (sin v) (/ (fma (cos v) e 1.0) e))) (cbrt (/ (sin v) (/ (fma (cos v) e 1.0) e)))) (cbrt (/ (sin v) (/ (fma (cos v) e 1.0) e))) (* (* (/ (sin v) (/ (fma (cos v) e 1.0) e)) (/ (sin v) (/ (fma (cos v) e 1.0) e))) (/ (sin v) (/ (fma (cos v) e 1.0) e))) (sqrt (/ (sin v) (/ (fma (cos v) e 1.0) e))) (sqrt (/ (sin v) (/ (fma (cos v) e 1.0) e))) (- (sin v)) (- (/ (fma (cos v) e 1.0) e)) (/ (* (cbrt (sin v)) (cbrt (sin v))) (* (cbrt (/ (fma (cos v) e 1.0) e)) (cbrt (/ (fma (cos v) e 1.0) e)))) (/ (cbrt (sin v)) (cbrt (/ (fma (cos v) e 1.0) e))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (sqrt (/ (fma (cos v) e 1.0) e))) (/ (cbrt (sin v)) (sqrt (/ (fma (cos v) e 1.0) e))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) (* (cbrt e) (cbrt e)))) (/ (cbrt (sin v)) (/ (cbrt (fma (cos v) e 1.0)) (cbrt e))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) (sqrt e))) (/ (cbrt (sin v)) (/ (cbrt (fma (cos v) e 1.0)) (sqrt e))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) 1)) (/ (cbrt (sin v)) (/ (cbrt (fma (cos v) e 1.0)) e)) (/ (* (cbrt (sin v)) (cbrt (sin v))) (/ (sqrt (fma (cos v) e 1.0)) (* (cbrt e) (cbrt e)))) (/ (cbrt (sin v)) (/ (sqrt (fma (cos v) e 1.0)) (cbrt e))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (/ (sqrt (fma (cos v) e 1.0)) (sqrt e))) (/ (cbrt (sin v)) (/ (sqrt (fma (cos v) e 1.0)) (sqrt e))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (/ (sqrt (fma (cos v) e 1.0)) 1)) (/ (cbrt (sin v)) (/ (sqrt (fma (cos v) e 1.0)) e)) (/ (* (cbrt (sin v)) (cbrt (sin v))) (/ 1 (* (cbrt e) (cbrt e)))) (/ (cbrt (sin v)) (/ (fma (cos v) e 1.0) (cbrt e))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (/ 1 (sqrt e))) (/ (cbrt (sin v)) (/ (fma (cos v) e 1.0) (sqrt e))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (/ 1 1)) (/ (cbrt (sin v)) (/ (fma (cos v) e 1.0) e)) (/ (* (cbrt (sin v)) (cbrt (sin v))) 1) (/ (cbrt (sin v)) (/ (fma (cos v) e 1.0) e)) (/ (* (cbrt (sin v)) (cbrt (sin v))) (fma (cos v) e 1.0)) (/ (cbrt (sin v)) (/ 1 e)) (/ (sqrt (sin v)) (* (cbrt (/ (fma (cos v) e 1.0) e)) (cbrt (/ (fma (cos v) e 1.0) e)))) (/ (sqrt (sin v)) (cbrt (/ (fma (cos v) e 1.0) e))) (/ (sqrt (sin v)) (sqrt (/ (fma (cos v) e 1.0) e))) (/ (sqrt (sin v)) (sqrt (/ (fma (cos v) e 1.0) e))) (/ (sqrt (sin v)) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) (* (cbrt e) (cbrt e)))) (/ (sqrt (sin v)) (/ (cbrt (fma (cos v) e 1.0)) (cbrt e))) (/ (sqrt (sin v)) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) (sqrt e))) (/ (sqrt (sin v)) (/ (cbrt (fma (cos v) e 1.0)) (sqrt e))) (/ (sqrt (sin v)) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) 1)) (/ (sqrt (sin v)) (/ (cbrt (fma (cos v) e 1.0)) e)) (/ (sqrt (sin v)) (/ (sqrt (fma (cos v) e 1.0)) (* (cbrt e) (cbrt e)))) (/ (sqrt (sin v)) (/ (sqrt (fma (cos v) e 1.0)) (cbrt e))) (/ (sqrt (sin v)) (/ (sqrt (fma (cos v) e 1.0)) (sqrt e))) (/ (sqrt (sin v)) (/ (sqrt (fma (cos v) e 1.0)) (sqrt e))) (/ (sqrt (sin v)) (/ (sqrt (fma (cos v) e 1.0)) 1)) (/ (sqrt (sin v)) (/ (sqrt (fma (cos v) e 1.0)) e)) (/ (sqrt (sin v)) (/ 1 (* (cbrt e) (cbrt e)))) (/ (sqrt (sin v)) (/ (fma (cos v) e 1.0) (cbrt e))) (/ (sqrt (sin v)) (/ 1 (sqrt e))) (/ (sqrt (sin v)) (/ (fma (cos v) e 1.0) (sqrt e))) (/ (sqrt (sin v)) (/ 1 1)) (/ (sqrt (sin v)) (/ (fma (cos v) e 1.0) e)) (/ (sqrt (sin v)) 1) (/ (sqrt (sin v)) (/ (fma (cos v) e 1.0) e)) (/ (sqrt (sin v)) (fma (cos v) e 1.0)) (/ (sqrt (sin v)) (/ 1 e)) (/ 1 (* (cbrt (/ (fma (cos v) e 1.0) e)) (cbrt (/ (fma (cos v) e 1.0) e)))) (/ (sin v) (cbrt (/ (fma (cos v) e 1.0) e))) (/ 1 (sqrt (/ (fma (cos v) e 1.0) e))) (/ (sin v) (sqrt (/ (fma (cos v) e 1.0) e))) (/ 1 (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) (* (cbrt e) (cbrt e)))) (/ (sin v) (/ (cbrt (fma (cos v) e 1.0)) (cbrt e))) (/ 1 (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) (sqrt e))) (/ (sin v) (/ (cbrt (fma (cos v) e 1.0)) (sqrt e))) (/ 1 (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) 1)) (/ (sin v) (/ (cbrt (fma (cos v) e 1.0)) e)) (/ 1 (/ (sqrt (fma (cos v) e 1.0)) (* (cbrt e) (cbrt e)))) (/ (sin v) (/ (sqrt (fma (cos v) e 1.0)) (cbrt e))) (/ 1 (/ (sqrt (fma (cos v) e 1.0)) (sqrt e))) (/ (sin v) (/ (sqrt (fma (cos v) e 1.0)) (sqrt e))) (/ 1 (/ (sqrt (fma (cos v) e 1.0)) 1)) (/ (sin v) (/ (sqrt (fma (cos v) e 1.0)) e)) (/ 1 (/ 1 (* (cbrt e) (cbrt e)))) (/ (sin v) (/ (fma (cos v) e 1.0) (cbrt e))) (/ 1 (/ 1 (sqrt e))) (/ (sin v) (/ (fma (cos v) e 1.0) (sqrt e))) (/ 1 (/ 1 1)) (/ (sin v) (/ (fma (cos v) e 1.0) e)) (/ 1 1) (/ (sin v) (/ (fma (cos v) e 1.0) e)) (/ 1 (fma (cos v) e 1.0)) (/ (sin v) (/ 1 e)) (/ 1 (/ (fma (cos v) e 1.0) e)) (/ (/ (fma (cos v) e 1.0) e) (sin v)) (/ (sin v) (* (cbrt (/ (fma (cos v) e 1.0) e)) (cbrt (/ (fma (cos v) e 1.0) e)))) (/ (sin v) (sqrt (/ (fma (cos v) e 1.0) e))) (/ (sin v) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) (* (cbrt e) (cbrt e)))) (/ (sin v) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) (sqrt e))) (/ (sin v) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) 1)) (/ (sin v) (/ (sqrt (fma (cos v) e 1.0)) (* (cbrt e) (cbrt e)))) (/ (sin v) (/ (sqrt (fma (cos v) e 1.0)) (sqrt e))) (/ (sin v) (/ (sqrt (fma (cos v) e 1.0)) 1)) (/ (sin v) (/ 1 (* (cbrt e) (cbrt e)))) (/ (sin v) (/ 1 (sqrt e))) (/ (sin v) (/ 1 1)) (/ (sin v) 1) (/ (sin v) (fma (cos v) e 1.0)) (/ (/ (fma (cos v) e 1.0) e) (cbrt (sin v))) (/ (/ (fma (cos v) e 1.0) e) (sqrt (sin v))) (/ (/ (fma (cos v) e 1.0) e) (sin v)) (/ (sin v) (fma (cos v) e 1.0)) (expm1 (/ (fma (cos v) e 1.0) e)) (log1p (/ (fma (cos v) e 1.0) e)) (- (log (fma (cos v) e 1.0)) (log e)) (log (/ (fma (cos v) e 1.0) e)) (exp (/ (fma (cos v) e 1.0) e)) (/ (* (* (fma (cos v) e 1.0) (fma (cos v) e 1.0)) (fma (cos v) e 1.0)) (* (* e e) e)) (* (cbrt (/ (fma (cos v) e 1.0) e)) (cbrt (/ (fma (cos v) e 1.0) e))) (cbrt (/ (fma (cos v) e 1.0) e)) (* (* (/ (fma (cos v) e 1.0) e) (/ (fma (cos v) e 1.0) e)) (/ (fma (cos v) e 1.0) e)) (sqrt (/ (fma (cos v) e 1.0) e)) (sqrt (/ (fma (cos v) e 1.0) e)) (- (fma (cos v) e 1.0)) (- e) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) (* (cbrt e) (cbrt e))) (/ (cbrt (fma (cos v) e 1.0)) (cbrt e)) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) (sqrt e)) (/ (cbrt (fma (cos v) e 1.0)) (sqrt e)) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) 1) (/ (cbrt (fma (cos v) e 1.0)) e) (/ (sqrt (fma (cos v) e 1.0)) (* (cbrt e) (cbrt e))) (/ (sqrt (fma (cos v) e 1.0)) (cbrt e)) (/ (sqrt (fma (cos v) e 1.0)) (sqrt e)) (/ (sqrt (fma (cos v) e 1.0)) (sqrt e)) (/ (sqrt (fma (cos v) e 1.0)) 1) (/ (sqrt (fma (cos v) e 1.0)) e) (/ 1 (* (cbrt e) (cbrt e))) (/ (fma (cos v) e 1.0) (cbrt e)) (/ 1 (sqrt e)) (/ (fma (cos v) e 1.0) (sqrt e)) (/ 1 1) (/ (fma (cos v) e 1.0) e) (/ 1 e) (/ e (fma (cos v) e 1.0)) (/ (fma (cos v) e 1.0) (* (cbrt e) (cbrt e))) (/ (fma (cos v) e 1.0) (sqrt e)) (/ (fma (cos v) e 1.0) 1) (/ e (cbrt (fma (cos v) e 1.0))) (/ e (sqrt (fma (cos v) e 1.0))) (/ e (fma (cos v) e 1.0)) (- (* 1.0 (* e v)) (+ (* 1.0 (* (pow e 2) v)) (* 0.16666666666666666 (* e (pow v 3))))) (- (+ (/ (sin v) (cos v)) (* 1.0 (/ (sin v) (* (pow (cos v) 3) (pow e 2))))) (* 1.0 (/ (sin v) (* (pow (cos v) 2) e)))) (- (+ (/ (sin v) (cos v)) (* 1.0 (/ (sin v) (* (pow (cos v) 3) (pow e 2))))) (* 1.0 (/ (sin v) (* (pow (cos v) 2) e)))) (- (+ (* 1.0 (/ 1 e)) 1) (* 1/2 (pow v 2))) (+ (cos v) (* 1.0 (/ 1 e))) (+ (cos v) (* 1.0 (/ 1 e))) 1.657 * * [simplify]: iteration 0 : 436 enodes (cost 1039 ) 1.665 * * [simplify]: iteration 1 : 1847 enodes (cost 982 ) 1.698 * * [simplify]: iteration 2 : 5001 enodes (cost 979 ) 1.704 * [simplify]: Simplified to: (expm1 (/ (sin v) (/ (fma (cos v) e 1.0) e))) (log1p (/ (sin v) (/ (fma (cos v) e 1.0) e))) (log (/ (sin v) (/ (fma (cos v) e 1.0) e))) (log (/ (sin v) (/ (fma (cos v) e 1.0) e))) (log (/ (sin v) (/ (fma (cos v) e 1.0) e))) (exp (/ (sin v) (/ (fma (cos v) e 1.0) e))) (pow (/ (sin v) (/ (fma (cos v) e 1.0) e)) 3) (pow (/ (sin v) (/ (fma (cos v) e 1.0) e)) 3) (* (cbrt (/ (sin v) (/ (fma (cos v) e 1.0) e))) (cbrt (/ (sin v) (/ (fma (cos v) e 1.0) e)))) (cbrt (/ (sin v) (/ (fma (cos v) e 1.0) e))) (pow (/ (sin v) (/ (fma (cos v) e 1.0) e)) 3) (sqrt (/ (sin v) (/ (fma (cos v) e 1.0) e))) (sqrt (/ (sin v) (/ (fma (cos v) e 1.0) e))) (- (sin v)) (- (/ (fma (cos v) e 1.0) e)) (/ (* (cbrt (sin v)) (cbrt (sin v))) (* (cbrt (/ (fma (cos v) e 1.0) e)) (cbrt (/ (fma (cos v) e 1.0) e)))) (/ (cbrt (sin v)) (cbrt (/ (fma (cos v) e 1.0) e))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (sqrt (/ (fma (cos v) e 1.0) e))) (/ (cbrt (sin v)) (sqrt (/ (fma (cos v) e 1.0) e))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) (* (cbrt e) (cbrt e)))) (/ (cbrt (sin v)) (/ (cbrt (fma (cos v) e 1.0)) (cbrt e))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) (sqrt e))) (/ (cbrt (sin v)) (/ (cbrt (fma (cos v) e 1.0)) (sqrt e))) (/ (cbrt (sin v)) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) (cbrt (sin v)))) (/ (cbrt (sin v)) (/ (cbrt (fma (cos v) e 1.0)) e)) (/ (* (cbrt (sin v)) (cbrt (sin v))) (/ (sqrt (fma (cos v) e 1.0)) (* (cbrt e) (cbrt e)))) (/ (cbrt (sin v)) (/ (sqrt (fma (cos v) e 1.0)) (cbrt e))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (/ (sqrt (fma (cos v) e 1.0)) (sqrt e))) (/ (cbrt (sin v)) (/ (sqrt (fma (cos v) e 1.0)) (sqrt e))) (/ (cbrt (sin v)) (/ (sqrt (fma (cos v) e 1.0)) (cbrt (sin v)))) (/ (cbrt (sin v)) (/ (sqrt (fma (cos v) e 1.0)) e)) (* (* (cbrt (sin v)) (cbrt (sin v))) (* (cbrt e) (cbrt e))) (/ (cbrt (sin v)) (/ (fma (cos v) e 1.0) (cbrt e))) (* (* (cbrt (sin v)) (cbrt (sin v))) (sqrt e)) (/ (cbrt (sin v)) (/ (fma (cos v) e 1.0) (sqrt e))) (* (cbrt (sin v)) (cbrt (sin v))) (/ (cbrt (sin v)) (/ (fma (cos v) e 1.0) e)) (* (cbrt (sin v)) (cbrt (sin v))) (/ (cbrt (sin v)) (/ (fma (cos v) e 1.0) e)) (/ (* (cbrt (sin v)) (cbrt (sin v))) (fma (cos v) e 1.0)) (* e (cbrt (sin v))) (/ (sqrt (sin v)) (* (cbrt (/ (fma (cos v) e 1.0) e)) (cbrt (/ (fma (cos v) e 1.0) e)))) (/ (sqrt (sin v)) (cbrt (/ (fma (cos v) e 1.0) e))) (/ (sqrt (sin v)) (sqrt (/ (fma (cos v) e 1.0) e))) (/ (sqrt (sin v)) (sqrt (/ (fma (cos v) e 1.0) e))) (/ (sqrt (sin v)) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) (* (cbrt e) (cbrt e)))) (/ (sqrt (sin v)) (/ (cbrt (fma (cos v) e 1.0)) (cbrt e))) (/ (sqrt (sin v)) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) (sqrt e))) (/ (sqrt (sin v)) (/ (cbrt (fma (cos v) e 1.0)) (sqrt e))) (/ (sqrt (sin v)) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (sqrt (sin v)) (/ (cbrt (fma (cos v) e 1.0)) e)) (/ (sqrt (sin v)) (/ (sqrt (fma (cos v) e 1.0)) (* (cbrt e) (cbrt e)))) (/ (sqrt (sin v)) (/ (sqrt (fma (cos v) e 1.0)) (cbrt e))) (/ (sqrt (sin v)) (/ (sqrt (fma (cos v) e 1.0)) (sqrt e))) (/ (sqrt (sin v)) (/ (sqrt (fma (cos v) e 1.0)) (sqrt e))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0))) (/ (sqrt (sin v)) (/ (sqrt (fma (cos v) e 1.0)) e)) (* (sqrt (sin v)) (* (cbrt e) (cbrt e))) (/ (sqrt (sin v)) (/ (fma (cos v) e 1.0) (cbrt e))) (* (sqrt (sin v)) (sqrt e)) (/ (sqrt (sin v)) (/ (fma (cos v) e 1.0) (sqrt e))) (sqrt (sin v)) (/ (sqrt (sin v)) (/ (fma (cos v) e 1.0) e)) (sqrt (sin v)) (/ (sqrt (sin v)) (/ (fma (cos v) e 1.0) e)) (/ (sqrt (sin v)) (fma (cos v) e 1.0)) (* (sqrt (sin v)) e) (/ 1 (* (cbrt (/ (fma (cos v) e 1.0) e)) (cbrt (/ (fma (cos v) e 1.0) e)))) (/ (sin v) (cbrt (/ (fma (cos v) e 1.0) e))) (/ 1 (sqrt (/ (fma (cos v) e 1.0) e))) (/ (sin v) (sqrt (/ (fma (cos v) e 1.0) e))) (/ (* (cbrt e) (cbrt e)) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (sin v) (/ (cbrt (fma (cos v) e 1.0)) (cbrt e))) (/ (sqrt e) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (sin v) (/ (cbrt (fma (cos v) e 1.0)) (sqrt e))) (/ 1 (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (sin v) (/ (cbrt (fma (cos v) e 1.0)) e)) (/ (* (cbrt e) (cbrt e)) (sqrt (fma (cos v) e 1.0))) (/ (sin v) (/ (sqrt (fma (cos v) e 1.0)) (cbrt e))) (/ (sqrt e) (sqrt (fma (cos v) e 1.0))) (/ (sin v) (/ (sqrt (fma (cos v) e 1.0)) (sqrt e))) (/ 1 (sqrt (fma (cos v) e 1.0))) (/ (sin v) (/ (sqrt (fma (cos v) e 1.0)) e)) (* (cbrt e) (cbrt e)) (/ (sin v) (/ (fma (cos v) e 1.0) (cbrt e))) (sqrt e) (/ (sin v) (/ (fma (cos v) e 1.0) (sqrt e))) 1 (/ (sin v) (/ (fma (cos v) e 1.0) e)) 1 (/ (sin v) (/ (fma (cos v) e 1.0) e)) (/ 1 (fma (cos v) e 1.0)) (* (sin v) e) (/ e (fma (cos v) e 1.0)) (/ (/ (fma (cos v) e 1.0) e) (sin v)) (/ (sin v) (* (cbrt (/ (fma (cos v) e 1.0) e)) (cbrt (/ (fma (cos v) e 1.0) e)))) (/ (sin v) (sqrt (/ (fma (cos v) e 1.0) e))) (/ (sin v) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) (* (cbrt e) (cbrt e)))) (/ (sin v) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) (sqrt e))) (/ (sin v) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (sin v) (/ (sqrt (fma (cos v) e 1.0)) (* (cbrt e) (cbrt e)))) (/ (sin v) (/ (sqrt (fma (cos v) e 1.0)) (sqrt e))) (/ (sin v) (sqrt (fma (cos v) e 1.0))) (* (sin v) (* (cbrt e) (cbrt e))) (* (sin v) (sqrt e)) (sin v) (sin v) (/ (sin v) (fma (cos v) e 1.0)) (/ (/ (fma (cos v) e 1.0) e) (cbrt (sin v))) (/ (/ (fma (cos v) e 1.0) e) (sqrt (sin v))) (/ (/ (fma (cos v) e 1.0) e) (sin v)) (/ (sin v) (fma (cos v) e 1.0)) (expm1 (/ (fma (cos v) e 1.0) e)) (log1p (/ (fma (cos v) e 1.0) e)) (log (/ (fma (cos v) e 1.0) e)) (log (/ (fma (cos v) e 1.0) e)) (exp (/ (fma (cos v) e 1.0) e)) (pow (/ (fma (cos v) e 1.0) e) 3) (* (cbrt (/ (fma (cos v) e 1.0) e)) (cbrt (/ (fma (cos v) e 1.0) e))) (cbrt (/ (fma (cos v) e 1.0) e)) (pow (/ (fma (cos v) e 1.0) e) 3) (sqrt (/ (fma (cos v) e 1.0) e)) (sqrt (/ (fma (cos v) e 1.0) e)) (- (fma (cos v) e 1.0)) (- e) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) (* (cbrt e) (cbrt e))) (/ (cbrt (fma (cos v) e 1.0)) (cbrt e)) (/ (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) (sqrt e)) (/ (cbrt (fma (cos v) e 1.0)) (sqrt e)) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))) (/ (cbrt (fma (cos v) e 1.0)) e) (/ (sqrt (fma (cos v) e 1.0)) (* (cbrt e) (cbrt e))) (/ (sqrt (fma (cos v) e 1.0)) (cbrt e)) (/ (sqrt (fma (cos v) e 1.0)) (sqrt e)) (/ (sqrt (fma (cos v) e 1.0)) (sqrt e)) (sqrt (fma (cos v) e 1.0)) (/ (sqrt (fma (cos v) e 1.0)) e) (/ 1 (* (cbrt e) (cbrt e))) (/ (fma (cos v) e 1.0) (cbrt e)) (/ 1 (sqrt e)) (/ (fma (cos v) e 1.0) (sqrt e)) 1 (/ (fma (cos v) e 1.0) e) (/ 1 e) (/ e (fma (cos v) e 1.0)) (/ (fma (cos v) e 1.0) (* (cbrt e) (cbrt e))) (/ (fma (cos v) e 1.0) (sqrt e)) (fma (cos v) e 1.0) (/ e (cbrt (fma (cos v) e 1.0))) (/ e (sqrt (fma (cos v) e 1.0))) (/ e (fma (cos v) e 1.0)) (fma 1.0 (* e v) (- (fma 1.0 (* (pow e 2) v) (* 0.16666666666666666 (* e (pow v 3)))))) (fma 1.0 (- (/ (sin v) (* (pow (cos v) 3) (pow e 2))) (/ (sin v) (* (pow (cos v) 2) e))) (/ (sin v) (cos v))) (fma 1.0 (- (/ (sin v) (* (pow (cos v) 3) (pow e 2))) (/ (sin v) (* (pow (cos v) 2) e))) (/ (sin v) (cos v))) (fma 1.0 (/ 1 e) (- 1 (* 1/2 (pow v 2)))) (fma 1.0 (/ 1 e) (cos v)) (fma 1.0 (/ 1 e) (cos v)) 1.705 * * * [progress]: adding candidates to table 1.961 * * [progress]: iteration 4 / 4 1.961 * * * [progress]: picking best candidate 1.978 * * * * [pick]: Picked # 1.978 * * * [progress]: localizing error 1.990 * * * [progress]: generating rewritten candidates 1.991 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1.997 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 2.003 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 2) 2.011 * * * [progress]: generating series expansions 2.011 * * * * [progress]: [ 1 / 3 ] generating series at (2) 2.012 * [approximate]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1.0)) in (e v) around 0 2.012 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1.0)) in v 2.012 * [taylor]: Taking taylor expansion of (* e (sin v)) in v 2.012 * [taylor]: Taking taylor expansion of e in v 2.012 * [taylor]: Taking taylor expansion of (sin v) in v 2.012 * [taylor]: Taking taylor expansion of v in v 2.012 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in v 2.012 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 2.012 * [taylor]: Taking taylor expansion of (cos v) in v 2.012 * [taylor]: Taking taylor expansion of v in v 2.012 * [taylor]: Taking taylor expansion of e in v 2.012 * [taylor]: Taking taylor expansion of 1.0 in v 2.013 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1.0)) in e 2.013 * [taylor]: Taking taylor expansion of (* e (sin v)) in e 2.013 * [taylor]: Taking taylor expansion of e in e 2.013 * [taylor]: Taking taylor expansion of (sin v) in e 2.013 * [taylor]: Taking taylor expansion of v in e 2.013 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in e 2.013 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 2.013 * [taylor]: Taking taylor expansion of (cos v) in e 2.013 * [taylor]: Taking taylor expansion of v in e 2.013 * [taylor]: Taking taylor expansion of e in e 2.013 * [taylor]: Taking taylor expansion of 1.0 in e 2.016 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1.0)) in e 2.016 * [taylor]: Taking taylor expansion of (* e (sin v)) in e 2.016 * [taylor]: Taking taylor expansion of e in e 2.016 * [taylor]: Taking taylor expansion of (sin v) in e 2.016 * [taylor]: Taking taylor expansion of v in e 2.016 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in e 2.016 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 2.016 * [taylor]: Taking taylor expansion of (cos v) in e 2.016 * [taylor]: Taking taylor expansion of v in e 2.016 * [taylor]: Taking taylor expansion of e in e 2.016 * [taylor]: Taking taylor expansion of 1.0 in e 2.019 * [taylor]: Taking taylor expansion of (* 1.0 (sin v)) in v 2.019 * [taylor]: Taking taylor expansion of 1.0 in v 2.019 * [taylor]: Taking taylor expansion of (sin v) in v 2.019 * [taylor]: Taking taylor expansion of v in v 2.025 * [taylor]: Taking taylor expansion of (- (* 1.0 (* (cos v) (sin v)))) in v 2.025 * [taylor]: Taking taylor expansion of (* 1.0 (* (cos v) (sin v))) in v 2.025 * [taylor]: Taking taylor expansion of 1.0 in v 2.025 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v 2.025 * [taylor]: Taking taylor expansion of (cos v) in v 2.025 * [taylor]: Taking taylor expansion of v in v 2.025 * [taylor]: Taking taylor expansion of (sin v) in v 2.025 * [taylor]: Taking taylor expansion of v in v 2.036 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow (cos v) 2) (sin v))) in v 2.036 * [taylor]: Taking taylor expansion of 1.0 in v 2.036 * [taylor]: Taking taylor expansion of (* (pow (cos v) 2) (sin v)) in v 2.036 * [taylor]: Taking taylor expansion of (pow (cos v) 2) in v 2.036 * [taylor]: Taking taylor expansion of (cos v) in v 2.036 * [taylor]: Taking taylor expansion of v in v 2.036 * [taylor]: Taking taylor expansion of (sin v) in v 2.036 * [taylor]: Taking taylor expansion of v in v 2.039 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in (e v) around 0 2.040 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in v 2.040 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 2.040 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.040 * [taylor]: Taking taylor expansion of v in v 2.040 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1.0)) in v 2.040 * [taylor]: Taking taylor expansion of e in v 2.040 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in v 2.040 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v 2.040 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 2.040 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.040 * [taylor]: Taking taylor expansion of v in v 2.040 * [taylor]: Taking taylor expansion of e in v 2.040 * [taylor]: Taking taylor expansion of 1.0 in v 2.041 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in e 2.041 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 2.041 * [taylor]: Taking taylor expansion of (/ 1 v) in e 2.041 * [taylor]: Taking taylor expansion of v in e 2.041 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1.0)) in e 2.041 * [taylor]: Taking taylor expansion of e in e 2.041 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in e 2.041 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 2.041 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 2.041 * [taylor]: Taking taylor expansion of (/ 1 v) in e 2.041 * [taylor]: Taking taylor expansion of v in e 2.041 * [taylor]: Taking taylor expansion of e in e 2.041 * [taylor]: Taking taylor expansion of 1.0 in e 2.045 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in e 2.045 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 2.045 * [taylor]: Taking taylor expansion of (/ 1 v) in e 2.045 * [taylor]: Taking taylor expansion of v in e 2.045 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1.0)) in e 2.045 * [taylor]: Taking taylor expansion of e in e 2.045 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in e 2.045 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 2.045 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 2.045 * [taylor]: Taking taylor expansion of (/ 1 v) in e 2.045 * [taylor]: Taking taylor expansion of v in e 2.045 * [taylor]: Taking taylor expansion of e in e 2.045 * [taylor]: Taking taylor expansion of 1.0 in e 2.049 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v 2.049 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 2.049 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.049 * [taylor]: Taking taylor expansion of v in v 2.049 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 2.049 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.049 * [taylor]: Taking taylor expansion of v in v 2.055 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)))) in v 2.055 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v 2.055 * [taylor]: Taking taylor expansion of 1.0 in v 2.055 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v 2.055 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 2.055 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.055 * [taylor]: Taking taylor expansion of v in v 2.056 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v 2.056 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 2.056 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.056 * [taylor]: Taking taylor expansion of v in v 2.064 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3))) in v 2.065 * [taylor]: Taking taylor expansion of 1.0 in v 2.065 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) in v 2.065 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 2.065 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.065 * [taylor]: Taking taylor expansion of v in v 2.065 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 3) in v 2.065 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 2.065 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.065 * [taylor]: Taking taylor expansion of v in v 2.067 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e))))) in (e v) around 0 2.067 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e))))) in v 2.067 * [taylor]: Taking taylor expansion of -1 in v 2.067 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e)))) in v 2.067 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 2.067 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.067 * [taylor]: Taking taylor expansion of -1 in v 2.067 * [taylor]: Taking taylor expansion of v in v 2.067 * [taylor]: Taking taylor expansion of (* e (- 1.0 (/ (cos (/ -1 v)) e))) in v 2.067 * [taylor]: Taking taylor expansion of e in v 2.067 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in v 2.067 * [taylor]: Taking taylor expansion of 1.0 in v 2.067 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v 2.067 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 2.067 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.067 * [taylor]: Taking taylor expansion of -1 in v 2.067 * [taylor]: Taking taylor expansion of v in v 2.068 * [taylor]: Taking taylor expansion of e in v 2.068 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e))))) in e 2.068 * [taylor]: Taking taylor expansion of -1 in e 2.068 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e)))) in e 2.068 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 2.068 * [taylor]: Taking taylor expansion of (/ -1 v) in e 2.068 * [taylor]: Taking taylor expansion of -1 in e 2.068 * [taylor]: Taking taylor expansion of v in e 2.068 * [taylor]: Taking taylor expansion of (* e (- 1.0 (/ (cos (/ -1 v)) e))) in e 2.068 * [taylor]: Taking taylor expansion of e in e 2.068 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in e 2.068 * [taylor]: Taking taylor expansion of 1.0 in e 2.068 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 2.068 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 2.068 * [taylor]: Taking taylor expansion of (/ -1 v) in e 2.068 * [taylor]: Taking taylor expansion of -1 in e 2.068 * [taylor]: Taking taylor expansion of v in e 2.068 * [taylor]: Taking taylor expansion of e in e 2.073 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e))))) in e 2.073 * [taylor]: Taking taylor expansion of -1 in e 2.073 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e)))) in e 2.073 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 2.073 * [taylor]: Taking taylor expansion of (/ -1 v) in e 2.073 * [taylor]: Taking taylor expansion of -1 in e 2.073 * [taylor]: Taking taylor expansion of v in e 2.073 * [taylor]: Taking taylor expansion of (* e (- 1.0 (/ (cos (/ -1 v)) e))) in e 2.073 * [taylor]: Taking taylor expansion of e in e 2.073 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in e 2.073 * [taylor]: Taking taylor expansion of 1.0 in e 2.073 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 2.073 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 2.073 * [taylor]: Taking taylor expansion of (/ -1 v) in e 2.073 * [taylor]: Taking taylor expansion of -1 in e 2.073 * [taylor]: Taking taylor expansion of v in e 2.073 * [taylor]: Taking taylor expansion of e in e 2.080 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v 2.081 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 2.081 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.081 * [taylor]: Taking taylor expansion of -1 in v 2.081 * [taylor]: Taking taylor expansion of v in v 2.081 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 2.081 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.081 * [taylor]: Taking taylor expansion of -1 in v 2.081 * [taylor]: Taking taylor expansion of v in v 2.088 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v 2.088 * [taylor]: Taking taylor expansion of 1.0 in v 2.088 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v 2.088 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 2.088 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.088 * [taylor]: Taking taylor expansion of -1 in v 2.088 * [taylor]: Taking taylor expansion of v in v 2.088 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v 2.088 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 2.088 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.088 * [taylor]: Taking taylor expansion of -1 in v 2.088 * [taylor]: Taking taylor expansion of v in v 2.097 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3))) in v 2.097 * [taylor]: Taking taylor expansion of 1.0 in v 2.098 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)) in v 2.098 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 2.098 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.098 * [taylor]: Taking taylor expansion of -1 in v 2.098 * [taylor]: Taking taylor expansion of v in v 2.098 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 3) in v 2.098 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 2.098 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.098 * [taylor]: Taking taylor expansion of -1 in v 2.098 * [taylor]: Taking taylor expansion of v in v 2.100 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 2.100 * [approximate]: Taking taylor expansion of (/ (+ (* (cos v) e) 1.0) (sin v)) in (e v) around 0 2.100 * [taylor]: Taking taylor expansion of (/ (+ (* (cos v) e) 1.0) (sin v)) in v 2.100 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in v 2.100 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 2.100 * [taylor]: Taking taylor expansion of (cos v) in v 2.100 * [taylor]: Taking taylor expansion of v in v 2.100 * [taylor]: Taking taylor expansion of e in v 2.100 * [taylor]: Taking taylor expansion of 1.0 in v 2.100 * [taylor]: Taking taylor expansion of (sin v) in v 2.100 * [taylor]: Taking taylor expansion of v in v 2.100 * [taylor]: Taking taylor expansion of (/ (+ (* (cos v) e) 1.0) (sin v)) in e 2.100 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in e 2.100 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 2.100 * [taylor]: Taking taylor expansion of (cos v) in e 2.101 * [taylor]: Taking taylor expansion of v in e 2.101 * [taylor]: Taking taylor expansion of e in e 2.101 * [taylor]: Taking taylor expansion of 1.0 in e 2.101 * [taylor]: Taking taylor expansion of (sin v) in e 2.101 * [taylor]: Taking taylor expansion of v in e 2.101 * [taylor]: Taking taylor expansion of (/ (+ (* (cos v) e) 1.0) (sin v)) in e 2.101 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in e 2.101 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 2.101 * [taylor]: Taking taylor expansion of (cos v) in e 2.102 * [taylor]: Taking taylor expansion of v in e 2.102 * [taylor]: Taking taylor expansion of e in e 2.102 * [taylor]: Taking taylor expansion of 1.0 in e 2.102 * [taylor]: Taking taylor expansion of (sin v) in e 2.102 * [taylor]: Taking taylor expansion of v in e 2.102 * [taylor]: Taking taylor expansion of (/ 1.0 (sin v)) in v 2.102 * [taylor]: Taking taylor expansion of 1.0 in v 2.102 * [taylor]: Taking taylor expansion of (sin v) in v 2.102 * [taylor]: Taking taylor expansion of v in v 2.107 * [taylor]: Taking taylor expansion of (/ (cos v) (sin v)) in v 2.107 * [taylor]: Taking taylor expansion of (cos v) in v 2.107 * [taylor]: Taking taylor expansion of v in v 2.107 * [taylor]: Taking taylor expansion of (sin v) in v 2.107 * [taylor]: Taking taylor expansion of v in v 2.113 * [taylor]: Taking taylor expansion of 0 in v 2.118 * [approximate]: Taking taylor expansion of (/ (+ (/ (cos (/ 1 v)) e) 1.0) (sin (/ 1 v))) in (e v) around 0 2.118 * [taylor]: Taking taylor expansion of (/ (+ (/ (cos (/ 1 v)) e) 1.0) (sin (/ 1 v))) in v 2.118 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in v 2.118 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v 2.118 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 2.118 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.118 * [taylor]: Taking taylor expansion of v in v 2.119 * [taylor]: Taking taylor expansion of e in v 2.119 * [taylor]: Taking taylor expansion of 1.0 in v 2.119 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 2.119 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.119 * [taylor]: Taking taylor expansion of v in v 2.120 * [taylor]: Taking taylor expansion of (/ (+ (/ (cos (/ 1 v)) e) 1.0) (sin (/ 1 v))) in e 2.120 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in e 2.120 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 2.120 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 2.120 * [taylor]: Taking taylor expansion of (/ 1 v) in e 2.120 * [taylor]: Taking taylor expansion of v in e 2.120 * [taylor]: Taking taylor expansion of e in e 2.120 * [taylor]: Taking taylor expansion of 1.0 in e 2.120 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 2.120 * [taylor]: Taking taylor expansion of (/ 1 v) in e 2.120 * [taylor]: Taking taylor expansion of v in e 2.120 * [taylor]: Taking taylor expansion of (/ (+ (/ (cos (/ 1 v)) e) 1.0) (sin (/ 1 v))) in e 2.121 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in e 2.121 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 2.121 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 2.121 * [taylor]: Taking taylor expansion of (/ 1 v) in e 2.121 * [taylor]: Taking taylor expansion of v in e 2.121 * [taylor]: Taking taylor expansion of e in e 2.121 * [taylor]: Taking taylor expansion of 1.0 in e 2.121 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 2.121 * [taylor]: Taking taylor expansion of (/ 1 v) in e 2.121 * [taylor]: Taking taylor expansion of v in e 2.122 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) (sin (/ 1 v))) in v 2.122 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 2.122 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.122 * [taylor]: Taking taylor expansion of v in v 2.122 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 2.122 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.122 * [taylor]: Taking taylor expansion of v in v 2.127 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 v)))) in v 2.127 * [taylor]: Taking taylor expansion of 1.0 in v 2.127 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 v))) in v 2.127 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 2.127 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.127 * [taylor]: Taking taylor expansion of v in v 2.133 * [taylor]: Taking taylor expansion of 0 in v 2.141 * [taylor]: Taking taylor expansion of 0 in v 2.142 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ (cos (/ -1 v)) e)) (sin (/ -1 v))) in (e v) around 0 2.142 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (cos (/ -1 v)) e)) (sin (/ -1 v))) in v 2.142 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in v 2.142 * [taylor]: Taking taylor expansion of 1.0 in v 2.142 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v 2.142 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 2.142 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.142 * [taylor]: Taking taylor expansion of -1 in v 2.142 * [taylor]: Taking taylor expansion of v in v 2.142 * [taylor]: Taking taylor expansion of e in v 2.142 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 2.142 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.142 * [taylor]: Taking taylor expansion of -1 in v 2.142 * [taylor]: Taking taylor expansion of v in v 2.143 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (cos (/ -1 v)) e)) (sin (/ -1 v))) in e 2.143 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in e 2.143 * [taylor]: Taking taylor expansion of 1.0 in e 2.143 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 2.143 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 2.143 * [taylor]: Taking taylor expansion of (/ -1 v) in e 2.143 * [taylor]: Taking taylor expansion of -1 in e 2.143 * [taylor]: Taking taylor expansion of v in e 2.143 * [taylor]: Taking taylor expansion of e in e 2.143 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 2.143 * [taylor]: Taking taylor expansion of (/ -1 v) in e 2.143 * [taylor]: Taking taylor expansion of -1 in e 2.143 * [taylor]: Taking taylor expansion of v in e 2.144 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (cos (/ -1 v)) e)) (sin (/ -1 v))) in e 2.144 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in e 2.144 * [taylor]: Taking taylor expansion of 1.0 in e 2.144 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 2.144 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 2.144 * [taylor]: Taking taylor expansion of (/ -1 v) in e 2.144 * [taylor]: Taking taylor expansion of -1 in e 2.144 * [taylor]: Taking taylor expansion of v in e 2.144 * [taylor]: Taking taylor expansion of e in e 2.144 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 2.144 * [taylor]: Taking taylor expansion of (/ -1 v) in e 2.144 * [taylor]: Taking taylor expansion of -1 in e 2.144 * [taylor]: Taking taylor expansion of v in e 2.145 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) (sin (/ -1 v)))) in v 2.145 * [taylor]: Taking taylor expansion of -1 in v 2.145 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) (sin (/ -1 v))) in v 2.145 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 2.145 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.145 * [taylor]: Taking taylor expansion of -1 in v 2.145 * [taylor]: Taking taylor expansion of v in v 2.145 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 2.145 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.145 * [taylor]: Taking taylor expansion of -1 in v 2.145 * [taylor]: Taking taylor expansion of v in v 2.150 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 v)))) in v 2.151 * [taylor]: Taking taylor expansion of 1.0 in v 2.151 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 v))) in v 2.151 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 2.151 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.151 * [taylor]: Taking taylor expansion of -1 in v 2.151 * [taylor]: Taking taylor expansion of v in v 2.157 * [taylor]: Taking taylor expansion of 0 in v 2.166 * [taylor]: Taking taylor expansion of 0 in v 2.166 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 2) 2.166 * [approximate]: Taking taylor expansion of (* (cos v) e) in (e v) around 0 2.166 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 2.166 * [taylor]: Taking taylor expansion of (cos v) in v 2.166 * [taylor]: Taking taylor expansion of v in v 2.166 * [taylor]: Taking taylor expansion of e in v 2.169 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 2.169 * [taylor]: Taking taylor expansion of (cos v) in e 2.169 * [taylor]: Taking taylor expansion of v in e 2.169 * [taylor]: Taking taylor expansion of e in e 2.169 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 2.169 * [taylor]: Taking taylor expansion of (cos v) in e 2.169 * [taylor]: Taking taylor expansion of v in e 2.169 * [taylor]: Taking taylor expansion of e in e 2.170 * [taylor]: Taking taylor expansion of 0 in v 2.172 * [taylor]: Taking taylor expansion of (cos v) in v 2.172 * [taylor]: Taking taylor expansion of v in v 2.175 * [taylor]: Taking taylor expansion of 0 in v 2.178 * [taylor]: Taking taylor expansion of 0 in v 2.178 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in (e v) around 0 2.179 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v 2.179 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 2.179 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.179 * [taylor]: Taking taylor expansion of v in v 2.179 * [taylor]: Taking taylor expansion of e in v 2.179 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 2.179 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 2.179 * [taylor]: Taking taylor expansion of (/ 1 v) in e 2.179 * [taylor]: Taking taylor expansion of v in e 2.179 * [taylor]: Taking taylor expansion of e in e 2.180 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 2.180 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 2.180 * [taylor]: Taking taylor expansion of (/ 1 v) in e 2.180 * [taylor]: Taking taylor expansion of v in e 2.180 * [taylor]: Taking taylor expansion of e in e 2.180 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 2.180 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.180 * [taylor]: Taking taylor expansion of v in v 2.183 * [taylor]: Taking taylor expansion of 0 in v 2.186 * [taylor]: Taking taylor expansion of 0 in v 2.190 * [taylor]: Taking taylor expansion of 0 in v 2.190 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in (e v) around 0 2.190 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in v 2.190 * [taylor]: Taking taylor expansion of -1 in v 2.190 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v 2.190 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 2.190 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.191 * [taylor]: Taking taylor expansion of -1 in v 2.191 * [taylor]: Taking taylor expansion of v in v 2.191 * [taylor]: Taking taylor expansion of e in v 2.191 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e 2.191 * [taylor]: Taking taylor expansion of -1 in e 2.191 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 2.191 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 2.191 * [taylor]: Taking taylor expansion of (/ -1 v) in e 2.191 * [taylor]: Taking taylor expansion of -1 in e 2.191 * [taylor]: Taking taylor expansion of v in e 2.191 * [taylor]: Taking taylor expansion of e in e 2.192 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e 2.192 * [taylor]: Taking taylor expansion of -1 in e 2.192 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 2.192 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 2.192 * [taylor]: Taking taylor expansion of (/ -1 v) in e 2.192 * [taylor]: Taking taylor expansion of -1 in e 2.192 * [taylor]: Taking taylor expansion of v in e 2.192 * [taylor]: Taking taylor expansion of e in e 2.192 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 v))) in v 2.192 * [taylor]: Taking taylor expansion of -1 in v 2.192 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 2.192 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.192 * [taylor]: Taking taylor expansion of -1 in v 2.192 * [taylor]: Taking taylor expansion of v in v 2.196 * [taylor]: Taking taylor expansion of 0 in v 2.200 * [taylor]: Taking taylor expansion of 0 in v 2.205 * [taylor]: Taking taylor expansion of 0 in v 2.205 * * * [progress]: simplifying candidates 2.207 * [simplify]: Simplifying using # : (expm1 (/ e (/ (+ 1.0 (* e (cos v))) (sin v)))) (log1p (/ e (/ (+ 1.0 (* e (cos v))) (sin v)))) (- (log e) (- (log (+ 1.0 (* e (cos v)))) (log (sin v)))) (- (log e) (log (/ (+ 1.0 (* e (cos v))) (sin v)))) (log (/ e (/ (+ 1.0 (* e (cos v))) (sin v)))) (exp (/ e (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ (* (* e e) e) (/ (* (* (+ 1.0 (* e (cos v))) (+ 1.0 (* e (cos v)))) (+ 1.0 (* e (cos v)))) (* (* (sin v) (sin v)) (sin v)))) (/ (* (* e e) e) (* (* (/ (+ 1.0 (* e (cos v))) (sin v)) (/ (+ 1.0 (* e (cos v))) (sin v))) (/ (+ 1.0 (* e (cos v))) (sin v)))) (* (cbrt (/ e (/ (+ 1.0 (* e (cos v))) (sin v)))) (cbrt (/ e (/ (+ 1.0 (* e (cos v))) (sin v))))) (cbrt (/ e (/ (+ 1.0 (* e (cos v))) (sin v)))) (* (* (/ e (/ (+ 1.0 (* e (cos v))) (sin v))) (/ e (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ e (/ (+ 1.0 (* e (cos v))) (sin v)))) (sqrt (/ e (/ (+ 1.0 (* e (cos v))) (sin v)))) (sqrt (/ e (/ (+ 1.0 (* e (cos v))) (sin v)))) (- e) (- (/ (+ 1.0 (* e (cos v))) (sin v))) (/ (* (cbrt e) (cbrt e)) (* (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))) (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))))) (/ (cbrt e) (cbrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ (* (cbrt e) (cbrt e)) (sqrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ (cbrt e) (sqrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ (* (cbrt e) (cbrt e)) (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (* (cbrt (sin v)) (cbrt (sin v))))) (/ (cbrt e) (/ (cbrt (+ 1.0 (* e (cos v)))) (cbrt (sin v)))) (/ (* (cbrt e) (cbrt e)) (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (sqrt (sin v)))) (/ (cbrt e) (/ (cbrt (+ 1.0 (* e (cos v)))) (sqrt (sin v)))) (/ (* (cbrt e) (cbrt e)) (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) 1)) (/ (cbrt e) (/ (cbrt (+ 1.0 (* e (cos v)))) (sin v))) (/ (* (cbrt e) (cbrt e)) (/ (sqrt (+ 1.0 (* e (cos v)))) (* (cbrt (sin v)) (cbrt (sin v))))) (/ (cbrt e) (/ (sqrt (+ 1.0 (* e (cos v)))) (cbrt (sin v)))) (/ (* (cbrt e) (cbrt e)) (/ (sqrt (+ 1.0 (* e (cos v)))) (sqrt (sin v)))) (/ (cbrt e) (/ (sqrt (+ 1.0 (* e (cos v)))) (sqrt (sin v)))) (/ (* (cbrt e) (cbrt e)) (/ (sqrt (+ 1.0 (* e (cos v)))) 1)) (/ (cbrt e) (/ (sqrt (+ 1.0 (* e (cos v)))) (sin v))) (/ (* (cbrt e) (cbrt e)) (/ 1 (* (cbrt (sin v)) (cbrt (sin v))))) (/ (cbrt e) (/ (+ 1.0 (* e (cos v))) (cbrt (sin v)))) (/ (* (cbrt e) (cbrt e)) (/ 1 (sqrt (sin v)))) (/ (cbrt e) (/ (+ 1.0 (* e (cos v))) (sqrt (sin v)))) (/ (* (cbrt e) (cbrt e)) (/ 1 1)) (/ (cbrt e) (/ (+ 1.0 (* e (cos v))) (sin v))) (/ (* (cbrt e) (cbrt e)) 1) (/ (cbrt e) (/ (+ 1.0 (* e (cos v))) (sin v))) (/ (* (cbrt e) (cbrt e)) (+ 1.0 (* e (cos v)))) (/ (cbrt e) (/ 1 (sin v))) (/ (sqrt e) (* (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))) (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))))) (/ (sqrt e) (cbrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ (sqrt e) (sqrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ (sqrt e) (sqrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ (sqrt e) (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (* (cbrt (sin v)) (cbrt (sin v))))) (/ (sqrt e) (/ (cbrt (+ 1.0 (* e (cos v)))) (cbrt (sin v)))) (/ (sqrt e) (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (sqrt (sin v)))) (/ (sqrt e) (/ (cbrt (+ 1.0 (* e (cos v)))) (sqrt (sin v)))) (/ (sqrt e) (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) 1)) (/ (sqrt e) (/ (cbrt (+ 1.0 (* e (cos v)))) (sin v))) (/ (sqrt e) (/ (sqrt (+ 1.0 (* e (cos v)))) (* (cbrt (sin v)) (cbrt (sin v))))) (/ (sqrt e) (/ (sqrt (+ 1.0 (* e (cos v)))) (cbrt (sin v)))) (/ (sqrt e) (/ (sqrt (+ 1.0 (* e (cos v)))) (sqrt (sin v)))) (/ (sqrt e) (/ (sqrt (+ 1.0 (* e (cos v)))) (sqrt (sin v)))) (/ (sqrt e) (/ (sqrt (+ 1.0 (* e (cos v)))) 1)) (/ (sqrt e) (/ (sqrt (+ 1.0 (* e (cos v)))) (sin v))) (/ (sqrt e) (/ 1 (* (cbrt (sin v)) (cbrt (sin v))))) (/ (sqrt e) (/ (+ 1.0 (* e (cos v))) (cbrt (sin v)))) (/ (sqrt e) (/ 1 (sqrt (sin v)))) (/ (sqrt e) (/ (+ 1.0 (* e (cos v))) (sqrt (sin v)))) (/ (sqrt e) (/ 1 1)) (/ (sqrt e) (/ (+ 1.0 (* e (cos v))) (sin v))) (/ (sqrt e) 1) (/ (sqrt e) (/ (+ 1.0 (* e (cos v))) (sin v))) (/ (sqrt e) (+ 1.0 (* e (cos v)))) (/ (sqrt e) (/ 1 (sin v))) (/ 1 (* (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))) (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))))) (/ e (cbrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ 1 (sqrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ e (sqrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ 1 (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (* (cbrt (sin v)) (cbrt (sin v))))) (/ e (/ (cbrt (+ 1.0 (* e (cos v)))) (cbrt (sin v)))) (/ 1 (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (sqrt (sin v)))) (/ e (/ (cbrt (+ 1.0 (* e (cos v)))) (sqrt (sin v)))) (/ 1 (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) 1)) (/ e (/ (cbrt (+ 1.0 (* e (cos v)))) (sin v))) (/ 1 (/ (sqrt (+ 1.0 (* e (cos v)))) (* (cbrt (sin v)) (cbrt (sin v))))) (/ e (/ (sqrt (+ 1.0 (* e (cos v)))) (cbrt (sin v)))) (/ 1 (/ (sqrt (+ 1.0 (* e (cos v)))) (sqrt (sin v)))) (/ e (/ (sqrt (+ 1.0 (* e (cos v)))) (sqrt (sin v)))) (/ 1 (/ (sqrt (+ 1.0 (* e (cos v)))) 1)) (/ e (/ (sqrt (+ 1.0 (* e (cos v)))) (sin v))) (/ 1 (/ 1 (* (cbrt (sin v)) (cbrt (sin v))))) (/ e (/ (+ 1.0 (* e (cos v))) (cbrt (sin v)))) (/ 1 (/ 1 (sqrt (sin v)))) (/ e (/ (+ 1.0 (* e (cos v))) (sqrt (sin v)))) (/ 1 (/ 1 1)) (/ e (/ (+ 1.0 (* e (cos v))) (sin v))) (/ 1 1) (/ e (/ (+ 1.0 (* e (cos v))) (sin v))) (/ 1 (+ 1.0 (* e (cos v)))) (/ e (/ 1 (sin v))) (/ 1 (/ (+ 1.0 (* e (cos v))) (sin v))) (/ (/ (+ 1.0 (* e (cos v))) (sin v)) e) (/ e (* (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))) (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))))) (/ e (sqrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ e (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (* (cbrt (sin v)) (cbrt (sin v))))) (/ e (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (sqrt (sin v)))) (/ e (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) 1)) (/ e (/ (sqrt (+ 1.0 (* e (cos v)))) (* (cbrt (sin v)) (cbrt (sin v))))) (/ e (/ (sqrt (+ 1.0 (* e (cos v)))) (sqrt (sin v)))) (/ e (/ (sqrt (+ 1.0 (* e (cos v)))) 1)) (/ e (/ 1 (* (cbrt (sin v)) (cbrt (sin v))))) (/ e (/ 1 (sqrt (sin v)))) (/ e (/ 1 1)) (/ e 1) (/ e (+ 1.0 (* e (cos v)))) (/ (/ (+ 1.0 (* e (cos v))) (sin v)) (cbrt e)) (/ (/ (+ 1.0 (* e (cos v))) (sin v)) (sqrt e)) (/ (/ (+ 1.0 (* e (cos v))) (sin v)) e) (/ e (+ 1.0 (* e (cos v)))) (expm1 (/ (+ 1.0 (* e (cos v))) (sin v))) (log1p (/ (+ 1.0 (* e (cos v))) (sin v))) (- (log (+ 1.0 (* e (cos v)))) (log (sin v))) (log (/ (+ 1.0 (* e (cos v))) (sin v))) (exp (/ (+ 1.0 (* e (cos v))) (sin v))) (/ (* (* (+ 1.0 (* e (cos v))) (+ 1.0 (* e (cos v)))) (+ 1.0 (* e (cos v)))) (* (* (sin v) (sin v)) (sin v))) (* (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))) (cbrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))) (* (* (/ (+ 1.0 (* e (cos v))) (sin v)) (/ (+ 1.0 (* e (cos v))) (sin v))) (/ (+ 1.0 (* e (cos v))) (sin v))) (sqrt (/ (+ 1.0 (* e (cos v))) (sin v))) (sqrt (/ (+ 1.0 (* e (cos v))) (sin v))) (- (+ 1.0 (* e (cos v)))) (- (sin v)) (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (* (cbrt (sin v)) (cbrt (sin v)))) (/ (cbrt (+ 1.0 (* e (cos v)))) (cbrt (sin v))) (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (sqrt (sin v))) (/ (cbrt (+ 1.0 (* e (cos v)))) (sqrt (sin v))) (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) 1) (/ (cbrt (+ 1.0 (* e (cos v)))) (sin v)) (/ (sqrt (+ 1.0 (* e (cos v)))) (* (cbrt (sin v)) (cbrt (sin v)))) (/ (sqrt (+ 1.0 (* e (cos v)))) (cbrt (sin v))) (/ (sqrt (+ 1.0 (* e (cos v)))) (sqrt (sin v))) (/ (sqrt (+ 1.0 (* e (cos v)))) (sqrt (sin v))) (/ (sqrt (+ 1.0 (* e (cos v)))) 1) (/ (sqrt (+ 1.0 (* e (cos v)))) (sin v)) (/ 1 (* (cbrt (sin v)) (cbrt (sin v)))) (/ (+ 1.0 (* e (cos v))) (cbrt (sin v))) (/ 1 (sqrt (sin v))) (/ (+ 1.0 (* e (cos v))) (sqrt (sin v))) (/ 1 1) (/ (+ 1.0 (* e (cos v))) (sin v)) (/ 1 (sin v)) (/ (sin v) (+ 1.0 (* e (cos v)))) (/ (+ 1.0 (* e (cos v))) (* (cbrt (sin v)) (cbrt (sin v)))) (/ (+ 1.0 (* e (cos v))) (sqrt (sin v))) (/ (+ 1.0 (* e (cos v))) 1) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))) (/ (sin v) (sqrt (+ 1.0 (* e (cos v))))) (/ (sin v) (+ 1.0 (* e (cos v)))) (* (sin v) (+ (* 1.0 1.0) (- (* (* e (cos v)) (* e (cos v))) (* 1.0 (* e (cos v)))))) (* (sin v) (- 1.0 (* e (cos v)))) (expm1 (* e (cos v))) (log1p (* e (cos v))) (* e (cos v)) (+ (log e) (log (cos v))) (log (* e (cos v))) (exp (* e (cos v))) (* (* (* e e) e) (* (* (cos v) (cos v)) (cos v))) (* (cbrt (* e (cos v))) (cbrt (* e (cos v)))) (cbrt (* e (cos v))) (* (* (* e (cos v)) (* e (cos v))) (* e (cos v))) (sqrt (* e (cos v))) (sqrt (* e (cos v))) (* (sqrt e) (sqrt (cos v))) (* (sqrt e) (sqrt (cos v))) (* e (* (cbrt (cos v)) (cbrt (cos v)))) (* e (sqrt (cos v))) (* e 1) (* (cbrt e) (cos v)) (* (sqrt e) (cos v)) (* e (cos v)) (- (+ (* 1.0 (* (pow e 3) v)) (* 1.0 (* e v))) (* 1.0 (* (pow e 2) v))) (- (+ (/ (sin v) (cos v)) (* 1.0 (/ (sin v) (* (pow (cos v) 3) (pow e 2))))) (* 1.0 (/ (sin v) (* (pow (cos v) 2) e)))) (- (+ (/ (sin v) (cos v)) (* 1.0 (/ (sin v) (* (pow (cos v) 3) (pow e 2))))) (* 1.0 (/ (sin v) (* (pow (cos v) 2) e)))) (+ (* 1.0 (/ 1 v)) (+ (* 0.16666666666666666 v) (/ e v))) (+ (* 1.0 (/ 1 (sin v))) (/ (* (cos v) e) (sin v))) (+ (* 1.0 (/ 1 (sin v))) (/ (* (cos v) e) (sin v))) e (* (cos v) e) (* (cos v) e) 2.215 * * [simplify]: iteration 0 : 530 enodes (cost 1326 ) 2.225 * * [simplify]: iteration 1 : 2377 enodes (cost 1222 ) 2.266 * * [simplify]: iteration 2 : 5001 enodes (cost 1212 ) 2.272 * [simplify]: Simplified to: (expm1 (/ e (/ (+ 1.0 (* e (cos v))) (sin v)))) (log1p (/ e (/ (+ 1.0 (* e (cos v))) (sin v)))) (log (/ e (/ (+ 1.0 (* e (cos v))) (sin v)))) (log (/ e (/ (+ 1.0 (* e (cos v))) (sin v)))) (log (/ e (/ (+ 1.0 (* e (cos v))) (sin v)))) (pow (exp (sin v)) (/ e (fma (cos v) e 1.0))) (pow (/ (* e (sin v)) (fma (cos v) e 1.0)) 3) (pow (/ (* e (sin v)) (fma (cos v) e 1.0)) 3) (* (cbrt (/ e (/ (+ 1.0 (* e (cos v))) (sin v)))) (cbrt (/ e (/ (+ 1.0 (* e (cos v))) (sin v))))) (cbrt (/ e (/ (+ 1.0 (* e (cos v))) (sin v)))) (pow (/ (* e (sin v)) (fma (cos v) e 1.0)) 3) (sqrt (/ e (/ (+ 1.0 (* e (cos v))) (sin v)))) (sqrt (/ e (/ (+ 1.0 (* e (cos v))) (sin v)))) (- e) (- (/ (fma (cos v) e 1.0) (sin v))) (/ (* (cbrt e) (cbrt e)) (* (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))) (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))))) (/ (cbrt e) (cbrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ (* (cbrt e) (cbrt e)) (sqrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ (cbrt e) (sqrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ (* (cbrt e) (cbrt e)) (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (* (cbrt (sin v)) (cbrt (sin v))))) (/ (cbrt e) (/ (cbrt (+ 1.0 (* e (cos v)))) (cbrt (sin v)))) (/ (* (cbrt e) (cbrt e)) (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (sqrt (sin v)))) (/ (cbrt e) (/ (cbrt (+ 1.0 (* e (cos v)))) (sqrt (sin v)))) (/ (cbrt e) (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (cbrt e))) (/ (cbrt e) (/ (cbrt (+ 1.0 (* e (cos v)))) (sin v))) (/ (* (cbrt e) (cbrt e)) (/ (sqrt (+ 1.0 (* e (cos v)))) (* (cbrt (sin v)) (cbrt (sin v))))) (/ (cbrt e) (/ (sqrt (+ 1.0 (* e (cos v)))) (cbrt (sin v)))) (/ (* (cbrt e) (cbrt e)) (/ (sqrt (+ 1.0 (* e (cos v)))) (sqrt (sin v)))) (/ (cbrt e) (/ (sqrt (+ 1.0 (* e (cos v)))) (sqrt (sin v)))) (/ (cbrt e) (/ (sqrt (+ 1.0 (* e (cos v)))) (cbrt e))) (/ (cbrt e) (/ (sqrt (+ 1.0 (* e (cos v)))) (sin v))) (* (* (cbrt e) (cbrt e)) (* (cbrt (sin v)) (cbrt (sin v)))) (/ (* (cbrt e) (cbrt (sin v))) (fma (cos v) e 1.0)) (* (* (cbrt e) (cbrt e)) (sqrt (sin v))) (/ (* (cbrt e) (sqrt (sin v))) (fma (cos v) e 1.0)) (* (cbrt e) (cbrt e)) (/ (* (cbrt e) (sin v)) (fma (cos v) e 1.0)) (* (cbrt e) (cbrt e)) (/ (* (cbrt e) (sin v)) (fma (cos v) e 1.0)) (/ (cbrt e) (/ (fma (cos v) e 1.0) (cbrt e))) (* (sin v) (cbrt e)) (/ (sqrt e) (* (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))) (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))))) (/ (sqrt e) (cbrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ (sqrt e) (sqrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ (sqrt e) (sqrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ (sqrt e) (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (* (cbrt (sin v)) (cbrt (sin v))))) (/ (sqrt e) (/ (cbrt (+ 1.0 (* e (cos v)))) (cbrt (sin v)))) (/ (sqrt e) (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (sqrt (sin v)))) (/ (sqrt e) (/ (cbrt (+ 1.0 (* e (cos v)))) (sqrt (sin v)))) (/ (sqrt e) (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ (sqrt e) (/ (cbrt (+ 1.0 (* e (cos v)))) (sin v))) (/ (sqrt e) (/ (sqrt (+ 1.0 (* e (cos v)))) (* (cbrt (sin v)) (cbrt (sin v))))) (/ (sqrt e) (/ (sqrt (+ 1.0 (* e (cos v)))) (cbrt (sin v)))) (/ (sqrt e) (/ (sqrt (+ 1.0 (* e (cos v)))) (sqrt (sin v)))) (/ (sqrt e) (/ (sqrt (+ 1.0 (* e (cos v)))) (sqrt (sin v)))) (/ (sqrt e) (sqrt (+ 1.0 (* e (cos v))))) (/ (sqrt e) (/ (sqrt (+ 1.0 (* e (cos v)))) (sin v))) (* (sqrt e) (* (cbrt (sin v)) (cbrt (sin v)))) (/ (* (sqrt e) (cbrt (sin v))) (fma (cos v) e 1.0)) (* (sqrt e) (sqrt (sin v))) (/ (* (sqrt e) (sqrt (sin v))) (fma (cos v) e 1.0)) (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)) (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)) (/ (sqrt e) (fma (cos v) e 1.0)) (* (sqrt e) (sin v)) (/ 1 (* (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))) (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))))) (/ e (cbrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ 1 (sqrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ e (sqrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ e (/ (cbrt (+ 1.0 (* e (cos v)))) (cbrt (sin v)))) (/ (sqrt (sin v)) (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ e (/ (cbrt (+ 1.0 (* e (cos v)))) (sqrt (sin v)))) (/ 1 (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ e (/ (cbrt (+ 1.0 (* e (cos v)))) (sin v))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (sqrt (+ 1.0 (* e (cos v))))) (/ e (/ (sqrt (+ 1.0 (* e (cos v)))) (cbrt (sin v)))) (/ (sqrt (sin v)) (sqrt (+ 1.0 (* e (cos v))))) (/ e (/ (sqrt (+ 1.0 (* e (cos v)))) (sqrt (sin v)))) (/ 1 (sqrt (+ 1.0 (* e (cos v))))) (/ e (/ (sqrt (+ 1.0 (* e (cos v)))) (sin v))) (* (cbrt (sin v)) (cbrt (sin v))) (/ (* e (cbrt (sin v))) (fma (cos v) e 1.0)) (sqrt (sin v)) (/ (* e (sqrt (sin v))) (fma (cos v) e 1.0)) 1 (/ (* e (sin v)) (fma (cos v) e 1.0)) 1 (/ (* e (sin v)) (fma (cos v) e 1.0)) (/ 1 (fma (cos v) e 1.0)) (* e (sin v)) (/ (* 1 (sin v)) (fma (cos v) e 1.0)) (/ (/ (fma (cos v) e 1.0) e) (sin v)) (/ e (* (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))) (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))))) (/ e (sqrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (/ e (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (* (cbrt (sin v)) (cbrt (sin v))))) (/ e (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (sqrt (sin v)))) (/ e (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v)))))) (/ e (/ (sqrt (+ 1.0 (* e (cos v)))) (* (cbrt (sin v)) (cbrt (sin v))))) (/ e (/ (sqrt (+ 1.0 (* e (cos v)))) (sqrt (sin v)))) (/ e (sqrt (+ 1.0 (* e (cos v))))) (* e (* (cbrt (sin v)) (cbrt (sin v)))) (* e (sqrt (sin v))) e e (/ e (fma (cos v) e 1.0)) (/ (/ (fma (cos v) e 1.0) (cbrt e)) (sin v)) (/ (/ (fma (cos v) e 1.0) (sqrt e)) (sin v)) (/ (/ (fma (cos v) e 1.0) e) (sin v)) (/ e (fma (cos v) e 1.0)) (expm1 (/ (+ 1.0 (* e (cos v))) (sin v))) (log1p (/ (+ 1.0 (* e (cos v))) (sin v))) (log (/ (+ 1.0 (* e (cos v))) (sin v))) (log (/ (+ 1.0 (* e (cos v))) (sin v))) (exp (/ (+ 1.0 (* e (cos v))) (sin v))) (pow (/ (fma (cos v) e 1.0) (sin v)) 3) (* (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))) (cbrt (/ (+ 1.0 (* e (cos v))) (sin v)))) (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))) (pow (/ (fma (cos v) e 1.0) (sin v)) 3) (sqrt (/ (+ 1.0 (* e (cos v))) (sin v))) (sqrt (/ (+ 1.0 (* e (cos v))) (sin v))) (- (fma (cos v) e 1.0)) (- (sin v)) (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (* (cbrt (sin v)) (cbrt (sin v)))) (/ (cbrt (+ 1.0 (* e (cos v)))) (cbrt (sin v))) (/ (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (sqrt (sin v))) (/ (cbrt (+ 1.0 (* e (cos v)))) (sqrt (sin v))) (* (cbrt (+ 1.0 (* e (cos v)))) (cbrt (+ 1.0 (* e (cos v))))) (/ (cbrt (+ 1.0 (* e (cos v)))) (sin v)) (/ (sqrt (+ 1.0 (* e (cos v)))) (* (cbrt (sin v)) (cbrt (sin v)))) (/ (sqrt (+ 1.0 (* e (cos v)))) (cbrt (sin v))) (/ (sqrt (+ 1.0 (* e (cos v)))) (sqrt (sin v))) (/ (sqrt (+ 1.0 (* e (cos v)))) (sqrt (sin v))) (sqrt (+ 1.0 (* e (cos v)))) (/ (sqrt (+ 1.0 (* e (cos v)))) (sin v)) (/ 1 (* (cbrt (sin v)) (cbrt (sin v)))) (/ (fma (cos v) e 1.0) (cbrt (sin v))) (/ 1 (sqrt (sin v))) (/ (fma (cos v) e 1.0) (sqrt (sin v))) 1 (/ (fma (cos v) e 1.0) (sin v)) (/ 1 (sin v)) (/ (sin v) (fma (cos v) e 1.0)) (/ (/ (fma (cos v) e 1.0) (cbrt (sin v))) (cbrt (sin v))) (/ (fma (cos v) e 1.0) (sqrt (sin v))) (fma (cos v) e 1.0) (/ (sin v) (cbrt (+ 1.0 (* e (cos v))))) (/ (sin v) (sqrt (+ 1.0 (* e (cos v))))) (/ (sin v) (fma (cos v) e 1.0)) (* (+ (* (* e (cos v)) (- (* e (cos v)) 1.0)) (* 1.0 1.0)) (sin v)) (* (sin v) (- 1.0 (* e (cos v)))) (expm1 (* e (cos v))) (log1p (* e (cos v))) (* e (cos v)) (log (* e (cos v))) (log (* e (cos v))) (exp (* e (cos v))) (pow (* e (cos v)) 3) (* (cbrt (* e (cos v))) (cbrt (* e (cos v)))) (cbrt (* e (cos v))) (pow (* e (cos v)) 3) (sqrt (* e (cos v))) (sqrt (* e (cos v))) (* (sqrt e) (sqrt (cos v))) (* (sqrt e) (sqrt (cos v))) (* e (* (cbrt (cos v)) (cbrt (cos v)))) (* e (sqrt (cos v))) e (* (cbrt e) (cos v)) (* (sqrt e) (cos v)) (* e (cos v)) (* 1.0 (- (fma v (pow e 3) (* e v)) (* (pow e 2) v))) (fma 1.0 (- (/ (sin v) (* (pow (cos v) 3) (pow e 2))) (/ (sin v) (* (pow (cos v) 2) e))) (/ (sin v) (cos v))) (fma 1.0 (- (/ (sin v) (* (pow (cos v) 3) (pow e 2))) (/ (sin v) (* (pow (cos v) 2) e))) (/ (sin v) (cos v))) (fma 1.0 (/ 1 v) (fma 0.16666666666666666 v (/ e v))) (fma 1.0 (/ 1 (sin v)) (/ (* (cos v) e) (sin v))) (fma 1.0 (/ 1 (sin v)) (/ (* (cos v) e) (sin v))) e (* e (cos v)) (* e (cos v)) 2.273 * * * [progress]: adding candidates to table 2.569 * [progress]: [Phase 3 of 3] Extracting. 2.569 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 2.572 * * * [regime-changes]: Trying 2 branch expressions: (v e) 2.572 * * * * [regimes]: Trying to branch on v from (# # # # # # # # #) 2.609 * * * * [regimes]: Trying to branch on e from (# # # # # # # # #) 2.644 * * * [regime]: Found split indices: #