0.817 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.311 * * * [progress]: [2/2] Setting up program.
0.314 * [progress]: [Phase 2 of 3] Improving.
0.317 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* e (sin v)) (+ 1.0 (* e (cos v))))
0.322 * * [simplify]: iteration  0 :  14  enodes  (cost  6 )
0.323 * * [simplify]: iteration  1 :  20  enodes  (cost  5 )
0.325 * * [simplify]: iteration  2 :  23  enodes  (cost  5 )
0.326 * * [simplify]: iteration  3 :  24  enodes  (cost  5 )
0.327 * * [simplify]: iteration  4 :  24  enodes  (cost  5 )
0.328 * [simplify]: Simplified to:
   (/ (sin v) (/ (fma (cos v) e 1.0) e))
0.334 * * [progress]: iteration 1 / 4
0.334 * * * [progress]: picking best candidate
0.338 * * * * [pick]: Picked  #<alt (λ (e v) (/ (* e (sin v)) (+ 1.0 (* e (cos v)))))>
0.338 * * * [progress]: localizing error
0.351 * * * [progress]: generating rewritten candidates
0.351 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.358 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
0.378 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.387 * * * [progress]: generating series expansions
0.388 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.392 * [approximate]: Taking taylor expansion of (* e (sin v)) in (e v) around 0
0.394 * [taylor]: Taking taylor expansion of (* e (sin v)) in v
0.394 * [taylor]: Taking taylor expansion of e in v
0.394 * [taylor]: Taking taylor expansion of (sin v) in v
0.394 * [taylor]: Taking taylor expansion of v in v
0.394 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
0.394 * [taylor]: Taking taylor expansion of e in e
0.395 * [taylor]: Taking taylor expansion of (sin v) in e
0.395 * [taylor]: Taking taylor expansion of v in e
0.395 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
0.395 * [taylor]: Taking taylor expansion of e in e
0.395 * [taylor]: Taking taylor expansion of (sin v) in e
0.395 * [taylor]: Taking taylor expansion of v in e
0.396 * [taylor]: Taking taylor expansion of 0 in v
0.400 * [taylor]: Taking taylor expansion of (sin v) in v
0.400 * [taylor]: Taking taylor expansion of v in v
0.402 * [taylor]: Taking taylor expansion of 0 in v
0.406 * [taylor]: Taking taylor expansion of 0 in v
0.411 * [taylor]: Taking taylor expansion of 0 in v
0.411 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) e) in (e v) around 0
0.411 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) e) in v
0.411 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
0.411 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.412 * [taylor]: Taking taylor expansion of v in v
0.412 * [taylor]: Taking taylor expansion of e in v
0.412 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) e) in e
0.412 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
0.412 * [taylor]: Taking taylor expansion of (/ 1 v) in e
0.412 * [taylor]: Taking taylor expansion of v in e
0.412 * [taylor]: Taking taylor expansion of e in e
0.412 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) e) in e
0.412 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
0.412 * [taylor]: Taking taylor expansion of (/ 1 v) in e
0.413 * [taylor]: Taking taylor expansion of v in e
0.413 * [taylor]: Taking taylor expansion of e in e
0.413 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
0.413 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.413 * [taylor]: Taking taylor expansion of v in v
0.416 * [taylor]: Taking taylor expansion of 0 in v
0.419 * [taylor]: Taking taylor expansion of 0 in v
0.422 * [taylor]: Taking taylor expansion of 0 in v
0.423 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) e)) in (e v) around 0
0.423 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) e)) in v
0.423 * [taylor]: Taking taylor expansion of -1 in v
0.423 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) e) in v
0.423 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
0.423 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.423 * [taylor]: Taking taylor expansion of -1 in v
0.423 * [taylor]: Taking taylor expansion of v in v
0.423 * [taylor]: Taking taylor expansion of e in v
0.423 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) e)) in e
0.423 * [taylor]: Taking taylor expansion of -1 in e
0.423 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) e) in e
0.423 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
0.423 * [taylor]: Taking taylor expansion of (/ -1 v) in e
0.423 * [taylor]: Taking taylor expansion of -1 in e
0.423 * [taylor]: Taking taylor expansion of v in e
0.423 * [taylor]: Taking taylor expansion of e in e
0.423 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) e)) in e
0.424 * [taylor]: Taking taylor expansion of -1 in e
0.424 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) e) in e
0.424 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
0.424 * [taylor]: Taking taylor expansion of (/ -1 v) in e
0.424 * [taylor]: Taking taylor expansion of -1 in e
0.424 * [taylor]: Taking taylor expansion of v in e
0.424 * [taylor]: Taking taylor expansion of e in e
0.424 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 v))) in v
0.424 * [taylor]: Taking taylor expansion of -1 in v
0.424 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
0.424 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.424 * [taylor]: Taking taylor expansion of -1 in v
0.424 * [taylor]: Taking taylor expansion of v in v
0.427 * [taylor]: Taking taylor expansion of 0 in v
0.431 * [taylor]: Taking taylor expansion of 0 in v
0.436 * [taylor]: Taking taylor expansion of 0 in v
0.436 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
0.436 * [approximate]: Taking taylor expansion of (* (cos v) e) in (e v) around 0
0.436 * [taylor]: Taking taylor expansion of (* (cos v) e) in v
0.436 * [taylor]: Taking taylor expansion of (cos v) in v
0.436 * [taylor]: Taking taylor expansion of v in v
0.436 * [taylor]: Taking taylor expansion of e in v
0.436 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
0.436 * [taylor]: Taking taylor expansion of (cos v) in e
0.436 * [taylor]: Taking taylor expansion of v in e
0.436 * [taylor]: Taking taylor expansion of e in e
0.436 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
0.436 * [taylor]: Taking taylor expansion of (cos v) in e
0.436 * [taylor]: Taking taylor expansion of v in e
0.436 * [taylor]: Taking taylor expansion of e in e
0.437 * [taylor]: Taking taylor expansion of 0 in v
0.439 * [taylor]: Taking taylor expansion of (cos v) in v
0.439 * [taylor]: Taking taylor expansion of v in v
0.441 * [taylor]: Taking taylor expansion of 0 in v
0.445 * [taylor]: Taking taylor expansion of 0 in v
0.445 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in (e v) around 0
0.445 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v
0.445 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
0.445 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.445 * [taylor]: Taking taylor expansion of v in v
0.445 * [taylor]: Taking taylor expansion of e in v
0.445 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
0.445 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
0.445 * [taylor]: Taking taylor expansion of (/ 1 v) in e
0.445 * [taylor]: Taking taylor expansion of v in e
0.445 * [taylor]: Taking taylor expansion of e in e
0.446 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
0.446 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
0.446 * [taylor]: Taking taylor expansion of (/ 1 v) in e
0.446 * [taylor]: Taking taylor expansion of v in e
0.446 * [taylor]: Taking taylor expansion of e in e
0.446 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
0.447 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.447 * [taylor]: Taking taylor expansion of v in v
0.449 * [taylor]: Taking taylor expansion of 0 in v
0.452 * [taylor]: Taking taylor expansion of 0 in v
0.456 * [taylor]: Taking taylor expansion of 0 in v
0.457 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in (e v) around 0
0.457 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in v
0.457 * [taylor]: Taking taylor expansion of -1 in v
0.457 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v
0.457 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
0.457 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.457 * [taylor]: Taking taylor expansion of -1 in v
0.457 * [taylor]: Taking taylor expansion of v in v
0.457 * [taylor]: Taking taylor expansion of e in v
0.457 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e
0.457 * [taylor]: Taking taylor expansion of -1 in e
0.457 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
0.457 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
0.457 * [taylor]: Taking taylor expansion of (/ -1 v) in e
0.457 * [taylor]: Taking taylor expansion of -1 in e
0.457 * [taylor]: Taking taylor expansion of v in e
0.457 * [taylor]: Taking taylor expansion of e in e
0.458 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e
0.458 * [taylor]: Taking taylor expansion of -1 in e
0.458 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
0.458 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
0.458 * [taylor]: Taking taylor expansion of (/ -1 v) in e
0.458 * [taylor]: Taking taylor expansion of -1 in e
0.458 * [taylor]: Taking taylor expansion of v in e
0.458 * [taylor]: Taking taylor expansion of e in e
0.459 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 v))) in v
0.459 * [taylor]: Taking taylor expansion of -1 in v
0.459 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
0.459 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.459 * [taylor]: Taking taylor expansion of -1 in v
0.459 * [taylor]: Taking taylor expansion of v in v
0.462 * [taylor]: Taking taylor expansion of 0 in v
0.467 * [taylor]: Taking taylor expansion of 0 in v
0.473 * [taylor]: Taking taylor expansion of 0 in v
0.473 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.474 * [approximate]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1.0)) in (e v) around 0
0.474 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1.0)) in v
0.474 * [taylor]: Taking taylor expansion of (* e (sin v)) in v
0.474 * [taylor]: Taking taylor expansion of e in v
0.474 * [taylor]: Taking taylor expansion of (sin v) in v
0.474 * [taylor]: Taking taylor expansion of v in v
0.474 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in v
0.474 * [taylor]: Taking taylor expansion of (* (cos v) e) in v
0.474 * [taylor]: Taking taylor expansion of (cos v) in v
0.474 * [taylor]: Taking taylor expansion of v in v
0.474 * [taylor]: Taking taylor expansion of e in v
0.474 * [taylor]: Taking taylor expansion of 1.0 in v
0.475 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1.0)) in e
0.475 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
0.475 * [taylor]: Taking taylor expansion of e in e
0.475 * [taylor]: Taking taylor expansion of (sin v) in e
0.475 * [taylor]: Taking taylor expansion of v in e
0.475 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in e
0.475 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
0.475 * [taylor]: Taking taylor expansion of (cos v) in e
0.475 * [taylor]: Taking taylor expansion of v in e
0.475 * [taylor]: Taking taylor expansion of e in e
0.475 * [taylor]: Taking taylor expansion of 1.0 in e
0.483 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1.0)) in e
0.483 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
0.483 * [taylor]: Taking taylor expansion of e in e
0.483 * [taylor]: Taking taylor expansion of (sin v) in e
0.483 * [taylor]: Taking taylor expansion of v in e
0.483 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in e
0.483 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
0.483 * [taylor]: Taking taylor expansion of (cos v) in e
0.483 * [taylor]: Taking taylor expansion of v in e
0.483 * [taylor]: Taking taylor expansion of e in e
0.483 * [taylor]: Taking taylor expansion of 1.0 in e
0.486 * [taylor]: Taking taylor expansion of (* 1.0 (sin v)) in v
0.486 * [taylor]: Taking taylor expansion of 1.0 in v
0.486 * [taylor]: Taking taylor expansion of (sin v) in v
0.486 * [taylor]: Taking taylor expansion of v in v
0.492 * [taylor]: Taking taylor expansion of (- (* 1.0 (* (cos v) (sin v)))) in v
0.492 * [taylor]: Taking taylor expansion of (* 1.0 (* (cos v) (sin v))) in v
0.492 * [taylor]: Taking taylor expansion of 1.0 in v
0.492 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v
0.492 * [taylor]: Taking taylor expansion of (cos v) in v
0.492 * [taylor]: Taking taylor expansion of v in v
0.492 * [taylor]: Taking taylor expansion of (sin v) in v
0.492 * [taylor]: Taking taylor expansion of v in v
0.503 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow (cos v) 2) (sin v))) in v
0.503 * [taylor]: Taking taylor expansion of 1.0 in v
0.503 * [taylor]: Taking taylor expansion of (* (pow (cos v) 2) (sin v)) in v
0.503 * [taylor]: Taking taylor expansion of (pow (cos v) 2) in v
0.503 * [taylor]: Taking taylor expansion of (cos v) in v
0.503 * [taylor]: Taking taylor expansion of v in v
0.503 * [taylor]: Taking taylor expansion of (sin v) in v
0.503 * [taylor]: Taking taylor expansion of v in v
0.507 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in (e v) around 0
0.507 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in v
0.507 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
0.507 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.507 * [taylor]: Taking taylor expansion of v in v
0.508 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1.0)) in v
0.508 * [taylor]: Taking taylor expansion of e in v
0.508 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in v
0.508 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v
0.508 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
0.508 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.508 * [taylor]: Taking taylor expansion of v in v
0.508 * [taylor]: Taking taylor expansion of e in v
0.508 * [taylor]: Taking taylor expansion of 1.0 in v
0.508 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in e
0.508 * [taylor]: Taking taylor expansion of (sin (/ 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 (+ (/ (cos (/ 1 v)) e) 1.0)) in e
0.508 * [taylor]: Taking taylor expansion of e in e
0.509 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in e
0.509 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
0.509 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
0.509 * [taylor]: Taking taylor expansion of (/ 1 v) in e
0.509 * [taylor]: Taking taylor expansion of v in e
0.509 * [taylor]: Taking taylor expansion of e in e
0.509 * [taylor]: Taking taylor expansion of 1.0 in e
0.512 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in e
0.513 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
0.513 * [taylor]: Taking taylor expansion of (/ 1 v) in e
0.513 * [taylor]: Taking taylor expansion of v in e
0.513 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1.0)) in e
0.513 * [taylor]: Taking taylor expansion of e in e
0.513 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in e
0.513 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
0.513 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
0.513 * [taylor]: Taking taylor expansion of (/ 1 v) in e
0.513 * [taylor]: Taking taylor expansion of v in e
0.513 * [taylor]: Taking taylor expansion of e in e
0.513 * [taylor]: Taking taylor expansion of 1.0 in e
0.516 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v
0.516 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
0.516 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.516 * [taylor]: Taking taylor expansion of v in v
0.517 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
0.517 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.517 * [taylor]: Taking taylor expansion of v in v
0.523 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)))) in v
0.523 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v
0.523 * [taylor]: Taking taylor expansion of 1.0 in v
0.523 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v
0.523 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
0.523 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.523 * [taylor]: Taking taylor expansion of v in v
0.523 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v
0.523 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
0.523 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.523 * [taylor]: Taking taylor expansion of v in v
0.532 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3))) in v
0.532 * [taylor]: Taking taylor expansion of 1.0 in v
0.532 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) in v
0.532 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
0.532 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.532 * [taylor]: Taking taylor expansion of v in v
0.532 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 3) in v
0.532 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
0.532 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.532 * [taylor]: Taking taylor expansion of v in v
0.534 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e))))) in (e v) around 0
0.534 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e))))) in v
0.534 * [taylor]: Taking taylor expansion of -1 in v
0.534 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e)))) in v
0.534 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
0.534 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.534 * [taylor]: Taking taylor expansion of -1 in v
0.534 * [taylor]: Taking taylor expansion of v in v
0.534 * [taylor]: Taking taylor expansion of (* e (- 1.0 (/ (cos (/ -1 v)) e))) in v
0.535 * [taylor]: Taking taylor expansion of e in v
0.535 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in v
0.535 * [taylor]: Taking taylor expansion of 1.0 in v
0.535 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v
0.535 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
0.535 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.535 * [taylor]: Taking taylor expansion of -1 in v
0.535 * [taylor]: Taking taylor expansion of v in v
0.535 * [taylor]: Taking taylor expansion of e in v
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.536 * [taylor]: Taking taylor expansion of (* e (- 1.0 (/ (cos (/ -1 v)) e))) in e
0.536 * [taylor]: Taking taylor expansion of e in e
0.536 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in e
0.536 * [taylor]: Taking taylor expansion of 1.0 in e
0.536 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
0.536 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
0.536 * [taylor]: Taking taylor expansion of (/ -1 v) in e
0.536 * [taylor]: Taking taylor expansion of -1 in e
0.536 * [taylor]: Taking taylor expansion of v in e
0.536 * [taylor]: Taking taylor expansion of e in e
0.540 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e))))) in e
0.540 * [taylor]: Taking taylor expansion of -1 in e
0.540 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e)))) in e
0.540 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
0.540 * [taylor]: Taking taylor expansion of (/ -1 v) in e
0.540 * [taylor]: Taking taylor expansion of -1 in e
0.540 * [taylor]: Taking taylor expansion of v in e
0.540 * [taylor]: Taking taylor expansion of (* e (- 1.0 (/ (cos (/ -1 v)) e))) in e
0.540 * [taylor]: Taking taylor expansion of e in e
0.540 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in e
0.540 * [taylor]: Taking taylor expansion of 1.0 in e
0.540 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
0.540 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
0.540 * [taylor]: Taking taylor expansion of (/ -1 v) in e
0.540 * [taylor]: Taking taylor expansion of -1 in e
0.540 * [taylor]: Taking taylor expansion of v in e
0.540 * [taylor]: Taking taylor expansion of e in e
0.544 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v
0.544 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
0.544 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.544 * [taylor]: Taking taylor expansion of -1 in v
0.544 * [taylor]: Taking taylor expansion of v in v
0.544 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
0.544 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.544 * [taylor]: Taking taylor expansion of -1 in v
0.544 * [taylor]: Taking taylor expansion of v in v
0.551 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v
0.551 * [taylor]: Taking taylor expansion of 1.0 in v
0.551 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v
0.551 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
0.551 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.551 * [taylor]: Taking taylor expansion of -1 in v
0.551 * [taylor]: Taking taylor expansion of v in v
0.552 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v
0.552 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
0.552 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.552 * [taylor]: Taking taylor expansion of -1 in v
0.552 * [taylor]: Taking taylor expansion of v in v
0.561 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3))) in v
0.561 * [taylor]: Taking taylor expansion of 1.0 in v
0.561 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)) in v
0.561 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
0.561 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.561 * [taylor]: Taking taylor expansion of -1 in v
0.561 * [taylor]: Taking taylor expansion of v in v
0.562 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 3) in v
0.562 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
0.562 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.562 * [taylor]: Taking taylor expansion of -1 in v
0.562 * [taylor]: Taking taylor expansion of v in v
0.564 * * * [progress]: simplifying candidates
0.565 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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.570 * * [simplify]: iteration  0 :  303  enodes  (cost  422 )
0.577 * * [simplify]: iteration  1 :  1415  enodes  (cost  368 )
0.609 * * [simplify]: iteration  2 :  5001  enodes  (cost  362 )
0.613 * [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.613 * * * [progress]: adding candidates to table
0.752 * * [progress]: iteration 2 / 4
0.752 * * * [progress]: picking best candidate
0.764 * * * * [pick]: Picked  #<alt (λ (e v) (/ e (/ (+ 1.0 (* e (cos v))) (sin v))))>
0.764 * * * [progress]: localizing error
0.775 * * * [progress]: generating rewritten candidates
0.775 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.783 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.788 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 2)
0.797 * * * [progress]: generating series expansions
0.797 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.797 * [approximate]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1.0)) in (e v) around 0
0.797 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1.0)) in v
0.797 * [taylor]: Taking taylor expansion of (* e (sin v)) in v
0.797 * [taylor]: Taking taylor expansion of e in v
0.797 * [taylor]: Taking taylor expansion of (sin v) in v
0.797 * [taylor]: Taking taylor expansion of v in v
0.797 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in v
0.797 * [taylor]: Taking taylor expansion of (* (cos v) e) in v
0.797 * [taylor]: Taking taylor expansion of (cos v) in v
0.797 * [taylor]: Taking taylor expansion of v in v
0.797 * [taylor]: Taking taylor expansion of e in v
0.797 * [taylor]: Taking taylor expansion of 1.0 in v
0.798 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1.0)) in e
0.798 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
0.798 * [taylor]: Taking taylor expansion of e in e
0.798 * [taylor]: Taking taylor expansion of (sin v) in e
0.798 * [taylor]: Taking taylor expansion of v in e
0.798 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in e
0.798 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
0.798 * [taylor]: Taking taylor expansion of (cos v) in e
0.798 * [taylor]: Taking taylor expansion of v in e
0.798 * [taylor]: Taking taylor expansion of e in e
0.799 * [taylor]: Taking taylor expansion of 1.0 in e
0.801 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1.0)) in e
0.801 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
0.801 * [taylor]: Taking taylor expansion of e in e
0.801 * [taylor]: Taking taylor expansion of (sin v) in e
0.801 * [taylor]: Taking taylor expansion of v in e
0.801 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in e
0.801 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
0.801 * [taylor]: Taking taylor expansion of (cos v) in e
0.801 * [taylor]: Taking taylor expansion of v in e
0.801 * [taylor]: Taking taylor expansion of e in e
0.801 * [taylor]: Taking taylor expansion of 1.0 in e
0.804 * [taylor]: Taking taylor expansion of (* 1.0 (sin v)) in v
0.804 * [taylor]: Taking taylor expansion of 1.0 in v
0.804 * [taylor]: Taking taylor expansion of (sin v) in v
0.804 * [taylor]: Taking taylor expansion of v in v
0.810 * [taylor]: Taking taylor expansion of (- (* 1.0 (* (cos v) (sin v)))) in v
0.810 * [taylor]: Taking taylor expansion of (* 1.0 (* (cos v) (sin v))) in v
0.810 * [taylor]: Taking taylor expansion of 1.0 in v
0.810 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v
0.810 * [taylor]: Taking taylor expansion of (cos v) in v
0.810 * [taylor]: Taking taylor expansion of v in v
0.810 * [taylor]: Taking taylor expansion of (sin v) in v
0.810 * [taylor]: Taking taylor expansion of v in v
0.824 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow (cos v) 2) (sin v))) in v
0.824 * [taylor]: Taking taylor expansion of 1.0 in v
0.824 * [taylor]: Taking taylor expansion of (* (pow (cos v) 2) (sin v)) in v
0.824 * [taylor]: Taking taylor expansion of (pow (cos v) 2) in v
0.824 * [taylor]: Taking taylor expansion of (cos v) in v
0.824 * [taylor]: Taking taylor expansion of v in v
0.824 * [taylor]: Taking taylor expansion of (sin v) in v
0.824 * [taylor]: Taking taylor expansion of v in v
0.828 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in (e v) around 0
0.828 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in v
0.828 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
0.828 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.828 * [taylor]: Taking taylor expansion of v in v
0.828 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1.0)) in v
0.828 * [taylor]: Taking taylor expansion of e in v
0.828 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in v
0.828 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v
0.828 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
0.828 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.828 * [taylor]: Taking taylor expansion of v in v
0.829 * [taylor]: Taking taylor expansion of e in v
0.829 * [taylor]: Taking taylor expansion of 1.0 in v
0.829 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in e
0.829 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
0.829 * [taylor]: Taking taylor expansion of (/ 1 v) in e
0.829 * [taylor]: Taking taylor expansion of v in e
0.829 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1.0)) in e
0.829 * [taylor]: Taking taylor expansion of e in e
0.829 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in e
0.829 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
0.829 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
0.829 * [taylor]: Taking taylor expansion of (/ 1 v) in e
0.829 * [taylor]: Taking taylor expansion of v in e
0.829 * [taylor]: Taking taylor expansion of e in e
0.830 * [taylor]: Taking taylor expansion of 1.0 in e
0.833 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1.0))) in e
0.833 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
0.833 * [taylor]: Taking taylor expansion of (/ 1 v) in e
0.833 * [taylor]: Taking taylor expansion of v in e
0.833 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1.0)) in e
0.833 * [taylor]: Taking taylor expansion of e in e
0.833 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in e
0.833 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
0.833 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
0.833 * [taylor]: Taking taylor expansion of (/ 1 v) in e
0.833 * [taylor]: Taking taylor expansion of v in e
0.833 * [taylor]: Taking taylor expansion of e in e
0.834 * [taylor]: Taking taylor expansion of 1.0 in e
0.837 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v
0.837 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
0.837 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.837 * [taylor]: Taking taylor expansion of v in v
0.837 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
0.837 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.837 * [taylor]: Taking taylor expansion of v in v
0.843 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)))) in v
0.844 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v
0.844 * [taylor]: Taking taylor expansion of 1.0 in v
0.844 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v
0.844 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
0.844 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.844 * [taylor]: Taking taylor expansion of v in v
0.844 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v
0.844 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
0.844 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.844 * [taylor]: Taking taylor expansion of v in v
0.852 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3))) in v
0.853 * [taylor]: Taking taylor expansion of 1.0 in v
0.853 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) in v
0.853 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
0.853 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.853 * [taylor]: Taking taylor expansion of v in v
0.853 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 3) in v
0.853 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
0.853 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.853 * [taylor]: Taking taylor expansion of v in v
0.855 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e))))) in (e v) around 0
0.855 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e))))) in v
0.855 * [taylor]: Taking taylor expansion of -1 in v
0.855 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e)))) in v
0.855 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
0.855 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.855 * [taylor]: Taking taylor expansion of -1 in v
0.855 * [taylor]: Taking taylor expansion of v in v
0.855 * [taylor]: Taking taylor expansion of (* e (- 1.0 (/ (cos (/ -1 v)) e))) in v
0.855 * [taylor]: Taking taylor expansion of e in v
0.855 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in v
0.855 * [taylor]: Taking taylor expansion of 1.0 in v
0.855 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v
0.855 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
0.855 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.855 * [taylor]: Taking taylor expansion of -1 in v
0.855 * [taylor]: Taking taylor expansion of v in v
0.856 * [taylor]: Taking taylor expansion of e in v
0.856 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e))))) in e
0.856 * [taylor]: Taking taylor expansion of -1 in e
0.856 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e)))) in e
0.856 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
0.856 * [taylor]: Taking taylor expansion of (/ -1 v) in e
0.856 * [taylor]: Taking taylor expansion of -1 in e
0.856 * [taylor]: Taking taylor expansion of v in e
0.856 * [taylor]: Taking taylor expansion of (* e (- 1.0 (/ (cos (/ -1 v)) e))) in e
0.856 * [taylor]: Taking taylor expansion of e in e
0.856 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in e
0.856 * [taylor]: Taking taylor expansion of 1.0 in e
0.856 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
0.856 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
0.856 * [taylor]: Taking taylor expansion of (/ -1 v) in e
0.856 * [taylor]: Taking taylor expansion of -1 in e
0.856 * [taylor]: Taking taylor expansion of v in e
0.857 * [taylor]: Taking taylor expansion of e in e
0.860 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e))))) in e
0.860 * [taylor]: Taking taylor expansion of -1 in e
0.860 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* e (- 1.0 (/ (cos (/ -1 v)) e)))) in e
0.860 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
0.860 * [taylor]: Taking taylor expansion of (/ -1 v) in e
0.860 * [taylor]: Taking taylor expansion of -1 in e
0.861 * [taylor]: Taking taylor expansion of v in e
0.861 * [taylor]: Taking taylor expansion of (* e (- 1.0 (/ (cos (/ -1 v)) e))) in e
0.861 * [taylor]: Taking taylor expansion of e in e
0.861 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in e
0.861 * [taylor]: Taking taylor expansion of 1.0 in e
0.861 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
0.861 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
0.861 * [taylor]: Taking taylor expansion of (/ -1 v) in e
0.861 * [taylor]: Taking taylor expansion of -1 in e
0.861 * [taylor]: Taking taylor expansion of v in e
0.861 * [taylor]: Taking taylor expansion of e in e
0.865 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v
0.865 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
0.865 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.865 * [taylor]: Taking taylor expansion of -1 in v
0.865 * [taylor]: Taking taylor expansion of v in v
0.865 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
0.865 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.865 * [taylor]: Taking taylor expansion of -1 in v
0.865 * [taylor]: Taking taylor expansion of v in v
0.872 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v
0.872 * [taylor]: Taking taylor expansion of 1.0 in v
0.872 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v
0.872 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
0.872 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.872 * [taylor]: Taking taylor expansion of -1 in v
0.872 * [taylor]: Taking taylor expansion of v in v
0.873 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v
0.873 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
0.873 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.873 * [taylor]: Taking taylor expansion of -1 in v
0.873 * [taylor]: Taking taylor expansion of v in v
0.882 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3))) in v
0.882 * [taylor]: Taking taylor expansion of 1.0 in v
0.882 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)) in v
0.882 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
0.882 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.882 * [taylor]: Taking taylor expansion of -1 in v
0.882 * [taylor]: Taking taylor expansion of v in v
0.882 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 3) in v
0.882 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
0.882 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.882 * [taylor]: Taking taylor expansion of -1 in v
0.882 * [taylor]: Taking taylor expansion of v in v
0.884 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.884 * [approximate]: Taking taylor expansion of (/ (+ (* (cos v) e) 1.0) (sin v)) in (e v) around 0
0.884 * [taylor]: Taking taylor expansion of (/ (+ (* (cos v) e) 1.0) (sin v)) in v
0.884 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in v
0.884 * [taylor]: Taking taylor expansion of (* (cos v) e) in v
0.884 * [taylor]: Taking taylor expansion of (cos v) in v
0.884 * [taylor]: Taking taylor expansion of v in v
0.884 * [taylor]: Taking taylor expansion of e in v
0.884 * [taylor]: Taking taylor expansion of 1.0 in v
0.884 * [taylor]: Taking taylor expansion of (sin v) in v
0.884 * [taylor]: Taking taylor expansion of v in v
0.885 * [taylor]: Taking taylor expansion of (/ (+ (* (cos v) e) 1.0) (sin v)) in e
0.885 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in e
0.885 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
0.885 * [taylor]: Taking taylor expansion of (cos v) in e
0.885 * [taylor]: Taking taylor expansion of v in e
0.885 * [taylor]: Taking taylor expansion of e in e
0.885 * [taylor]: Taking taylor expansion of 1.0 in e
0.885 * [taylor]: Taking taylor expansion of (sin v) in e
0.885 * [taylor]: Taking taylor expansion of v in e
0.886 * [taylor]: Taking taylor expansion of (/ (+ (* (cos v) e) 1.0) (sin v)) in e
0.886 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1.0) in e
0.886 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
0.886 * [taylor]: Taking taylor expansion of (cos v) in e
0.886 * [taylor]: Taking taylor expansion of v in e
0.886 * [taylor]: Taking taylor expansion of e in e
0.886 * [taylor]: Taking taylor expansion of 1.0 in e
0.886 * [taylor]: Taking taylor expansion of (sin v) in e
0.886 * [taylor]: Taking taylor expansion of v in e
0.887 * [taylor]: Taking taylor expansion of (/ 1.0 (sin v)) in v
0.887 * [taylor]: Taking taylor expansion of 1.0 in v
0.887 * [taylor]: Taking taylor expansion of (sin v) in v
0.887 * [taylor]: Taking taylor expansion of v in v
0.891 * [taylor]: Taking taylor expansion of (/ (cos v) (sin v)) in v
0.891 * [taylor]: Taking taylor expansion of (cos v) in v
0.891 * [taylor]: Taking taylor expansion of v in v
0.891 * [taylor]: Taking taylor expansion of (sin v) in v
0.891 * [taylor]: Taking taylor expansion of v in v
0.897 * [taylor]: Taking taylor expansion of 0 in v
0.902 * [approximate]: Taking taylor expansion of (/ (+ (/ (cos (/ 1 v)) e) 1.0) (sin (/ 1 v))) in (e v) around 0
0.902 * [taylor]: Taking taylor expansion of (/ (+ (/ (cos (/ 1 v)) e) 1.0) (sin (/ 1 v))) in v
0.902 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in v
0.902 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v
0.902 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
0.903 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.903 * [taylor]: Taking taylor expansion of v in v
0.903 * [taylor]: Taking taylor expansion of e in v
0.903 * [taylor]: Taking taylor expansion of 1.0 in v
0.903 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
0.903 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.903 * [taylor]: Taking taylor expansion of v in v
0.903 * [taylor]: Taking taylor expansion of (/ (+ (/ (cos (/ 1 v)) e) 1.0) (sin (/ 1 v))) in e
0.903 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in e
0.903 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
0.904 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
0.904 * [taylor]: Taking taylor expansion of (/ 1 v) in e
0.904 * [taylor]: Taking taylor expansion of v in e
0.904 * [taylor]: Taking taylor expansion of e in e
0.904 * [taylor]: Taking taylor expansion of 1.0 in e
0.904 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
0.904 * [taylor]: Taking taylor expansion of (/ 1 v) in e
0.904 * [taylor]: Taking taylor expansion of v in e
0.904 * [taylor]: Taking taylor expansion of (/ (+ (/ (cos (/ 1 v)) e) 1.0) (sin (/ 1 v))) in e
0.904 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in e
0.904 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
0.904 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
0.904 * [taylor]: Taking taylor expansion of (/ 1 v) in e
0.904 * [taylor]: Taking taylor expansion of v in e
0.905 * [taylor]: Taking taylor expansion of e in e
0.905 * [taylor]: Taking taylor expansion of 1.0 in e
0.905 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
0.905 * [taylor]: Taking taylor expansion of (/ 1 v) in e
0.905 * [taylor]: Taking taylor expansion of v in e
0.905 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) (sin (/ 1 v))) in v
0.905 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
0.905 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.905 * [taylor]: Taking taylor expansion of v 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 v in v
0.913 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 v)))) in v
0.913 * [taylor]: Taking taylor expansion of 1.0 in v
0.913 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 v))) in v
0.913 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
0.913 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.913 * [taylor]: Taking taylor expansion of v in v
0.920 * [taylor]: Taking taylor expansion of 0 in v
0.927 * [taylor]: Taking taylor expansion of 0 in v
0.928 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ (cos (/ -1 v)) e)) (sin (/ -1 v))) in (e v) around 0
0.928 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (cos (/ -1 v)) e)) (sin (/ -1 v))) in v
0.928 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in v
0.928 * [taylor]: Taking taylor expansion of 1.0 in v
0.928 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v
0.928 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
0.928 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.928 * [taylor]: Taking taylor expansion of -1 in v
0.928 * [taylor]: Taking taylor expansion of v in v
0.928 * [taylor]: Taking taylor expansion of e in v
0.928 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
0.928 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.929 * [taylor]: Taking taylor expansion of -1 in v
0.929 * [taylor]: Taking taylor expansion of v in v
0.929 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (cos (/ -1 v)) e)) (sin (/ -1 v))) in e
0.929 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in e
0.929 * [taylor]: Taking taylor expansion of 1.0 in e
0.929 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
0.929 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
0.929 * [taylor]: Taking taylor expansion of (/ -1 v) in e
0.929 * [taylor]: Taking taylor expansion of -1 in e
0.929 * [taylor]: Taking taylor expansion of v in e
0.929 * [taylor]: Taking taylor expansion of e in e
0.930 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
0.930 * [taylor]: Taking taylor expansion of (/ -1 v) in e
0.930 * [taylor]: Taking taylor expansion of -1 in e
0.930 * [taylor]: Taking taylor expansion of v in e
0.930 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (cos (/ -1 v)) e)) (sin (/ -1 v))) in e
0.930 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in e
0.930 * [taylor]: Taking taylor expansion of 1.0 in e
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 -1 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 (sin (/ -1 v)) in e
0.931 * [taylor]: Taking taylor expansion of (/ -1 v) in e
0.931 * [taylor]: Taking taylor expansion of -1 in e
0.931 * [taylor]: Taking taylor expansion of v in e
0.931 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) (sin (/ -1 v)))) in v
0.931 * [taylor]: Taking taylor expansion of -1 in v
0.931 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) (sin (/ -1 v))) in v
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 -1 in v
0.931 * [taylor]: Taking taylor expansion of v in v
0.932 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
0.932 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.932 * [taylor]: Taking taylor expansion of -1 in v
0.932 * [taylor]: Taking taylor expansion of v in v
0.937 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 v)))) in v
0.937 * [taylor]: Taking taylor expansion of 1.0 in v
0.937 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 v))) in v
0.937 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
0.937 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.937 * [taylor]: Taking taylor expansion of -1 in v
0.937 * [taylor]: Taking taylor expansion of v in v
0.943 * [taylor]: Taking taylor expansion of 0 in v
0.952 * [taylor]: Taking taylor expansion of 0 in v
0.952 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 2)
0.952 * [approximate]: Taking taylor expansion of (* (cos v) e) in (e v) around 0
0.952 * [taylor]: Taking taylor expansion of (* (cos v) e) in v
0.952 * [taylor]: Taking taylor expansion of (cos v) in v
0.953 * [taylor]: Taking taylor expansion of v in v
0.953 * [taylor]: Taking taylor expansion of e in v
0.953 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
0.953 * [taylor]: Taking taylor expansion of (cos v) in e
0.953 * [taylor]: Taking taylor expansion of v in e
0.953 * [taylor]: Taking taylor expansion of e in e
0.953 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
0.953 * [taylor]: Taking taylor expansion of (cos v) in e
0.953 * [taylor]: Taking taylor expansion of v in e
0.953 * [taylor]: Taking taylor expansion of e in e
0.953 * [taylor]: Taking taylor expansion of 0 in v
0.955 * [taylor]: Taking taylor expansion of (cos v) in v
0.955 * [taylor]: Taking taylor expansion of v in v
0.958 * [taylor]: Taking taylor expansion of 0 in v
0.961 * [taylor]: Taking taylor expansion of 0 in v
0.961 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in (e v) around 0
0.961 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v
0.961 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
0.961 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.961 * [taylor]: Taking taylor expansion of v in v
0.962 * [taylor]: Taking taylor expansion of e in v
0.962 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
0.962 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
0.962 * [taylor]: Taking taylor expansion of (/ 1 v) in e
0.962 * [taylor]: Taking taylor expansion of v in e
0.962 * [taylor]: Taking taylor expansion of e in e
0.962 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
0.962 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
0.962 * [taylor]: Taking taylor expansion of (/ 1 v) in e
0.962 * [taylor]: Taking taylor expansion of v in e
0.962 * [taylor]: Taking taylor expansion of e in e
0.963 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
0.963 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.963 * [taylor]: Taking taylor expansion of v in v
0.966 * [taylor]: Taking taylor expansion of 0 in v
0.969 * [taylor]: Taking taylor expansion of 0 in v
0.973 * [taylor]: Taking taylor expansion of 0 in v
0.973 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in (e v) around 0
0.973 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in v
0.973 * [taylor]: Taking taylor expansion of -1 in v
0.973 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v
0.973 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
0.973 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.973 * [taylor]: Taking taylor expansion of -1 in v
0.973 * [taylor]: Taking taylor expansion of v in v
0.974 * [taylor]: Taking taylor expansion of e in v
0.974 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e
0.974 * [taylor]: Taking taylor expansion of -1 in e
0.974 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
0.974 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
0.974 * [taylor]: Taking taylor expansion of (/ -1 v) in e
0.974 * [taylor]: Taking taylor expansion of -1 in e
0.974 * [taylor]: Taking taylor expansion of v in e
0.974 * [taylor]: Taking taylor expansion of e in e
0.974 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e
0.974 * [taylor]: Taking taylor expansion of -1 in e
0.974 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
0.974 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
0.974 * [taylor]: Taking taylor expansion of (/ -1 v) in e
0.974 * [taylor]: Taking taylor expansion of -1 in e
0.974 * [taylor]: Taking taylor expansion of v in e
0.974 * [taylor]: Taking taylor expansion of e in e
0.975 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 v))) in v
0.975 * [taylor]: Taking taylor expansion of -1 in v
0.975 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
0.975 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.975 * [taylor]: Taking taylor expansion of -1 in v
0.975 * [taylor]: Taking taylor expansion of v in v
0.978 * [taylor]: Taking taylor expansion of 0 in v
0.982 * [taylor]: Taking taylor expansion of 0 in v
0.988 * [taylor]: Taking taylor expansion of 0 in v
0.988 * * * [progress]: simplifying candidates
0.990 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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)
1.000 * * [simplify]: iteration  0 :  530  enodes  (cost  1326 )
1.011 * * [simplify]: iteration  1 :  2377  enodes  (cost  1222 )
1.054 * * [simplify]: iteration  2 :  5001  enodes  (cost  1212 )
1.060 * [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))
1.061 * * * [progress]: adding candidates to table
1.347 * * [progress]: iteration 3 / 4
1.347 * * * [progress]: picking best candidate
1.364 * * * * [pick]: Picked  #<alt (λ (e v) (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))>
1.365 * * * [progress]: localizing error
1.380 * * * [progress]: generating rewritten candidates
1.380 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
1.385 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1.394 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
1.401 * * * [progress]: generating series expansions
1.401 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
1.402 * [approximate]: Taking taylor expansion of (* (sqrt e) (sin v)) in (e v) around 0
1.402 * [taylor]: Taking taylor expansion of (* (sqrt e) (sin v)) in v
1.402 * [taylor]: Taking taylor expansion of (sqrt e) in v
1.402 * [taylor]: Taking taylor expansion of e in v
1.402 * [taylor]: Taking taylor expansion of (sin v) in v
1.402 * [taylor]: Taking taylor expansion of v in v
1.402 * [taylor]: Taking taylor expansion of (* (sqrt e) (sin v)) in e
1.402 * [taylor]: Taking taylor expansion of (sqrt e) in e
1.402 * [taylor]: Taking taylor expansion of e in e
1.404 * [taylor]: Taking taylor expansion of (sin v) in e
1.404 * [taylor]: Taking taylor expansion of v in e
1.404 * [taylor]: Taking taylor expansion of (* (sqrt e) (sin v)) in e
1.404 * [taylor]: Taking taylor expansion of (sqrt e) in e
1.404 * [taylor]: Taking taylor expansion of e in e
1.405 * [taylor]: Taking taylor expansion of (sin v) in e
1.405 * [taylor]: Taking taylor expansion of v in e
1.405 * [taylor]: Taking taylor expansion of 0 in v
1.407 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin v))) in v
1.407 * [taylor]: Taking taylor expansion of (* +nan.0 (sin v)) in v
1.407 * [taylor]: Taking taylor expansion of +nan.0 in v
1.407 * [taylor]: Taking taylor expansion of (sin v) in v
1.407 * [taylor]: Taking taylor expansion of v in v
1.412 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin v))) in v
1.412 * [taylor]: Taking taylor expansion of (* +nan.0 (sin v)) in v
1.412 * [taylor]: Taking taylor expansion of +nan.0 in v
1.412 * [taylor]: Taking taylor expansion of (sin v) in v
1.412 * [taylor]: Taking taylor expansion of v in v
1.420 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin v))) in v
1.420 * [taylor]: Taking taylor expansion of (* +nan.0 (sin v)) in v
1.420 * [taylor]: Taking taylor expansion of +nan.0 in v
1.420 * [taylor]: Taking taylor expansion of (sin v) in v
1.420 * [taylor]: Taking taylor expansion of v in v
1.431 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin v))) in v
1.431 * [taylor]: Taking taylor expansion of (* +nan.0 (sin v)) in v
1.431 * [taylor]: Taking taylor expansion of +nan.0 in v
1.431 * [taylor]: Taking taylor expansion of (sin v) in v
1.431 * [taylor]: Taking taylor expansion of v in v
1.435 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 e)) (sin (/ 1 v))) in (e v) around 0
1.435 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 e)) (sin (/ 1 v))) in v
1.435 * [taylor]: Taking taylor expansion of (sqrt (/ 1 e)) in v
1.435 * [taylor]: Taking taylor expansion of (/ 1 e) in v
1.435 * [taylor]: Taking taylor expansion of e in v
1.435 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.435 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.435 * [taylor]: Taking taylor expansion of v in v
1.435 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 e)) (sin (/ 1 v))) in e
1.435 * [taylor]: Taking taylor expansion of (sqrt (/ 1 e)) in e
1.435 * [taylor]: Taking taylor expansion of (/ 1 e) in e
1.435 * [taylor]: Taking taylor expansion of e in e
1.436 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
1.436 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.437 * [taylor]: Taking taylor expansion of v in e
1.437 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 e)) (sin (/ 1 v))) in e
1.437 * [taylor]: Taking taylor expansion of (sqrt (/ 1 e)) in e
1.437 * [taylor]: Taking taylor expansion of (/ 1 e) in e
1.437 * [taylor]: Taking taylor expansion of e in e
1.438 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
1.438 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.438 * [taylor]: Taking taylor expansion of v in e
1.438 * [taylor]: Taking taylor expansion of 0 in v
1.440 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin (/ 1 v)))) in v
1.440 * [taylor]: Taking taylor expansion of (* +nan.0 (sin (/ 1 v))) in v
1.440 * [taylor]: Taking taylor expansion of +nan.0 in v
1.440 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.440 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.440 * [taylor]: Taking taylor expansion of v in v
1.445 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin (/ 1 v)))) in v
1.445 * [taylor]: Taking taylor expansion of (* +nan.0 (sin (/ 1 v))) in v
1.445 * [taylor]: Taking taylor expansion of +nan.0 in v
1.445 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.445 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.445 * [taylor]: Taking taylor expansion of v in v
1.452 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin (/ 1 v)))) in v
1.452 * [taylor]: Taking taylor expansion of (* +nan.0 (sin (/ 1 v))) in v
1.452 * [taylor]: Taking taylor expansion of +nan.0 in v
1.452 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.452 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.452 * [taylor]: Taking taylor expansion of v in v
1.453 * [approximate]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in (e v) around 0
1.453 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in v
1.453 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.453 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.453 * [taylor]: Taking taylor expansion of -1 in v
1.453 * [taylor]: Taking taylor expansion of v in v
1.453 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in v
1.453 * [taylor]: Taking taylor expansion of (/ -1 e) in v
1.453 * [taylor]: Taking taylor expansion of -1 in v
1.453 * [taylor]: Taking taylor expansion of e in v
1.454 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in e
1.454 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
1.454 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.454 * [taylor]: Taking taylor expansion of -1 in e
1.454 * [taylor]: Taking taylor expansion of v in e
1.454 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e
1.454 * [taylor]: Taking taylor expansion of (/ -1 e) in e
1.454 * [taylor]: Taking taylor expansion of -1 in e
1.454 * [taylor]: Taking taylor expansion of e in e
1.455 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in e
1.455 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
1.455 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.455 * [taylor]: Taking taylor expansion of -1 in e
1.455 * [taylor]: Taking taylor expansion of v in e
1.455 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e
1.455 * [taylor]: Taking taylor expansion of (/ -1 e) in e
1.455 * [taylor]: Taking taylor expansion of -1 in e
1.455 * [taylor]: Taking taylor expansion of e in e
1.457 * [taylor]: Taking taylor expansion of 0 in v
1.459 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin (/ -1 v)))) in v
1.459 * [taylor]: Taking taylor expansion of (* +nan.0 (sin (/ -1 v))) in v
1.459 * [taylor]: Taking taylor expansion of +nan.0 in v
1.459 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.459 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.459 * [taylor]: Taking taylor expansion of -1 in v
1.459 * [taylor]: Taking taylor expansion of v in v
1.464 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin (/ -1 v)))) in v
1.464 * [taylor]: Taking taylor expansion of (* +nan.0 (sin (/ -1 v))) in v
1.464 * [taylor]: Taking taylor expansion of +nan.0 in v
1.464 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.464 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.464 * [taylor]: Taking taylor expansion of -1 in v
1.464 * [taylor]: Taking taylor expansion of v in v
1.474 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin (/ -1 v)))) in v
1.474 * [taylor]: Taking taylor expansion of (* +nan.0 (sin (/ -1 v))) in v
1.474 * [taylor]: Taking taylor expansion of +nan.0 in v
1.474 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.474 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.474 * [taylor]: Taking taylor expansion of -1 in v
1.474 * [taylor]: Taking taylor expansion of v in v
1.475 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1.475 * [approximate]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in (e v) around 0
1.475 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in v
1.475 * [taylor]: Taking taylor expansion of (* e (sin v)) in v
1.475 * [taylor]: Taking taylor expansion of e in v
1.475 * [taylor]: Taking taylor expansion of (sin v) in v
1.475 * [taylor]: Taking taylor expansion of v in v
1.475 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in v
1.477 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0)
1.477 * [taylor]: Taking taylor expansion of (* (cos v) e) in v
1.477 * [taylor]: Taking taylor expansion of (cos v) in v
1.477 * [taylor]: Taking taylor expansion of v in v
1.477 * [taylor]: Taking taylor expansion of e in v
1.477 * [taylor]: Taking taylor expansion of 1.0 in v
1.477 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in e
1.477 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
1.478 * [taylor]: Taking taylor expansion of e in e
1.478 * [taylor]: Taking taylor expansion of (sin v) in e
1.478 * [taylor]: Taking taylor expansion of v in e
1.478 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e
1.478 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0)
1.478 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
1.478 * [taylor]: Taking taylor expansion of (cos v) in e
1.478 * [taylor]: Taking taylor expansion of v in e
1.478 * [taylor]: Taking taylor expansion of e in e
1.478 * [taylor]: Taking taylor expansion of 1.0 in e
1.480 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in e
1.480 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
1.480 * [taylor]: Taking taylor expansion of e in e
1.480 * [taylor]: Taking taylor expansion of (sin v) in e
1.480 * [taylor]: Taking taylor expansion of v in e
1.480 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e
1.480 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0)
1.481 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
1.481 * [taylor]: Taking taylor expansion of (cos v) in e
1.481 * [taylor]: Taking taylor expansion of v in e
1.481 * [taylor]: Taking taylor expansion of e in e
1.481 * [taylor]: Taking taylor expansion of 1.0 in e
1.483 * [taylor]: Taking taylor expansion of (* 1.0 (sin v)) in v
1.483 * [taylor]: Taking taylor expansion of 1.0 in v
1.483 * [taylor]: Taking taylor expansion of (sin v) in v
1.483 * [taylor]: Taking taylor expansion of v in v
1.489 * [taylor]: Taking taylor expansion of (- (* 1.0 (* (cos v) (sin v)))) in v
1.489 * [taylor]: Taking taylor expansion of (* 1.0 (* (cos v) (sin v))) in v
1.489 * [taylor]: Taking taylor expansion of 1.0 in v
1.489 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v
1.489 * [taylor]: Taking taylor expansion of (cos v) in v
1.489 * [taylor]: Taking taylor expansion of v in v
1.489 * [taylor]: Taking taylor expansion of (sin v) in v
1.489 * [taylor]: Taking taylor expansion of v in v
1.499 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow (cos v) 2) (sin v))) in v
1.499 * [taylor]: Taking taylor expansion of 1.0 in v
1.499 * [taylor]: Taking taylor expansion of (* (pow (cos v) 2) (sin v)) in v
1.499 * [taylor]: Taking taylor expansion of (pow (cos v) 2) in v
1.499 * [taylor]: Taking taylor expansion of (cos v) in v
1.499 * [taylor]: Taking taylor expansion of v in v
1.499 * [taylor]: Taking taylor expansion of (sin v) in v
1.499 * [taylor]: Taking taylor expansion of v in v
1.502 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in (e v) around 0
1.502 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in v
1.502 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.502 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.502 * [taylor]: Taking taylor expansion of v in v
1.503 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in v
1.503 * [taylor]: Taking taylor expansion of e in v
1.503 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in v
1.503 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0)
1.503 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in v
1.503 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.503 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.503 * [taylor]: Taking taylor expansion of v in v
1.503 * [taylor]: Taking taylor expansion of (/ 1 e) in v
1.503 * [taylor]: Taking taylor expansion of e in v
1.503 * [taylor]: Taking taylor expansion of 1.0 in v
1.504 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e
1.504 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
1.504 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.504 * [taylor]: Taking taylor expansion of v in e
1.504 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e
1.504 * [taylor]: Taking taylor expansion of e in e
1.504 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e
1.504 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0)
1.504 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e
1.504 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
1.504 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.504 * [taylor]: Taking taylor expansion of v in e
1.504 * [taylor]: Taking taylor expansion of (/ 1 e) in e
1.504 * [taylor]: Taking taylor expansion of e in e
1.504 * [taylor]: Taking taylor expansion of 1.0 in e
1.508 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e
1.508 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
1.508 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.508 * [taylor]: Taking taylor expansion of v in e
1.508 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e
1.508 * [taylor]: Taking taylor expansion of e in e
1.508 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e
1.509 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0)
1.509 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e
1.509 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
1.509 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.509 * [taylor]: Taking taylor expansion of v in e
1.509 * [taylor]: Taking taylor expansion of (/ 1 e) in e
1.509 * [taylor]: Taking taylor expansion of e in e
1.509 * [taylor]: Taking taylor expansion of 1.0 in e
1.513 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v
1.513 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.513 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.513 * [taylor]: Taking taylor expansion of v in v
1.513 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.513 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.513 * [taylor]: Taking taylor expansion of v in v
1.519 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)))) in v
1.519 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v
1.519 * [taylor]: Taking taylor expansion of 1.0 in v
1.519 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v
1.519 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.519 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.519 * [taylor]: Taking taylor expansion of v in v
1.520 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v
1.520 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.520 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.520 * [taylor]: Taking taylor expansion of v in v
1.528 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3))) in v
1.528 * [taylor]: Taking taylor expansion of 1.0 in v
1.528 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) in v
1.528 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.528 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.528 * [taylor]: Taking taylor expansion of v in v
1.528 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 3) in v
1.528 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.528 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.528 * [taylor]: Taking taylor expansion of v in v
1.530 * [approximate]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in (e v) around 0
1.530 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in v
1.530 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) in v
1.530 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.530 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.530 * [taylor]: Taking taylor expansion of -1 in v
1.530 * [taylor]: Taking taylor expansion of v in v
1.530 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 2) in v
1.530 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in v
1.530 * [taylor]: Taking taylor expansion of (/ -1 e) in v
1.530 * [taylor]: Taking taylor expansion of -1 in v
1.530 * [taylor]: Taking taylor expansion of e in v
1.530 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in v
1.531 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0)
1.531 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in v
1.531 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.531 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.531 * [taylor]: Taking taylor expansion of -1 in v
1.531 * [taylor]: Taking taylor expansion of v in v
1.531 * [taylor]: Taking taylor expansion of (/ -1 e) in v
1.531 * [taylor]: Taking taylor expansion of -1 in v
1.531 * [taylor]: Taking taylor expansion of e in v
1.531 * [taylor]: Taking taylor expansion of 1.0 in v
1.532 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e
1.532 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) in e
1.532 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
1.532 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.532 * [taylor]: Taking taylor expansion of -1 in e
1.532 * [taylor]: Taking taylor expansion of v in e
1.532 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 2) in e
1.532 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e
1.532 * [taylor]: Taking taylor expansion of (/ -1 e) in e
1.532 * [taylor]: Taking taylor expansion of -1 in e
1.532 * [taylor]: Taking taylor expansion of e in e
1.533 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e
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 e
1.533 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
1.533 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.533 * [taylor]: Taking taylor expansion of -1 in e
1.533 * [taylor]: Taking taylor expansion of v in e
1.533 * [taylor]: Taking taylor expansion of (/ -1 e) in e
1.533 * [taylor]: Taking taylor expansion of -1 in e
1.533 * [taylor]: Taking taylor expansion of e in e
1.534 * [taylor]: Taking taylor expansion of 1.0 in e
1.535 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e
1.535 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) in e
1.535 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
1.535 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.535 * [taylor]: Taking taylor expansion of -1 in e
1.535 * [taylor]: Taking taylor expansion of v in e
1.535 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 2) in e
1.535 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e
1.535 * [taylor]: Taking taylor expansion of (/ -1 e) in e
1.535 * [taylor]: Taking taylor expansion of -1 in e
1.535 * [taylor]: Taking taylor expansion of e in e
1.536 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e
1.536 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0)
1.536 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 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 -1 in e
1.536 * [taylor]: Taking taylor expansion of v in e
1.536 * [taylor]: Taking taylor expansion of (/ -1 e) in e
1.536 * [taylor]: Taking taylor expansion of -1 in e
1.537 * [taylor]: Taking taylor expansion of e in e
1.537 * [taylor]: Taking taylor expansion of 1.0 in e
1.538 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v
1.538 * [taylor]: Taking taylor expansion of +nan.0 in v
1.538 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v
1.538 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.538 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.538 * [taylor]: Taking taylor expansion of -1 in v
1.538 * [taylor]: Taking taylor expansion of v in v
1.538 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.538 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.538 * [taylor]: Taking taylor expansion of -1 in v
1.538 * [taylor]: Taking taylor expansion of v in v
1.547 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) (- (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v))))))) in v
1.547 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) (- (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))))) in v
1.547 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v
1.547 * [taylor]: Taking taylor expansion of +nan.0 in v
1.547 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v
1.547 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.547 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.547 * [taylor]: Taking taylor expansion of -1 in v
1.547 * [taylor]: Taking taylor expansion of v in v
1.547 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v
1.547 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.547 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.547 * [taylor]: Taking taylor expansion of -1 in v
1.547 * [taylor]: Taking taylor expansion of v in v
1.548 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v))))) in v
1.548 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v
1.548 * [taylor]: Taking taylor expansion of +nan.0 in v
1.548 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v
1.548 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.548 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.548 * [taylor]: Taking taylor expansion of -1 in v
1.548 * [taylor]: Taking taylor expansion of v in v
1.548 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.548 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.548 * [taylor]: Taking taylor expansion of -1 in v
1.548 * [taylor]: Taking taylor expansion of v in v
1.564 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) (- (+ (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) (- (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)))))))) in v
1.564 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) (- (+ (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) (- (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3))))))) in v
1.564 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v
1.564 * [taylor]: Taking taylor expansion of +nan.0 in v
1.564 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v
1.564 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.564 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.564 * [taylor]: Taking taylor expansion of -1 in v
1.564 * [taylor]: Taking taylor expansion of v in v
1.565 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v
1.565 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.565 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.565 * [taylor]: Taking taylor expansion of -1 in v
1.565 * [taylor]: Taking taylor expansion of v in v
1.565 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) (- (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)))))) in v
1.565 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) (- (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3))))) in v
1.565 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v
1.565 * [taylor]: Taking taylor expansion of +nan.0 in v
1.565 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v
1.565 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.565 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.565 * [taylor]: Taking taylor expansion of -1 in v
1.565 * [taylor]: Taking taylor expansion of v in v
1.566 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.566 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.566 * [taylor]: Taking taylor expansion of -1 in v
1.566 * [taylor]: Taking taylor expansion of v in v
1.566 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)))) in v
1.566 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3))) in v
1.566 * [taylor]: Taking taylor expansion of +nan.0 in v
1.566 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)) in v
1.566 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.566 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.566 * [taylor]: Taking taylor expansion of -1 in v
1.566 * [taylor]: Taking taylor expansion of v in v
1.567 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 3) in v
1.567 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.567 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.567 * [taylor]: Taking taylor expansion of -1 in v
1.567 * [taylor]: Taking taylor expansion of v in v
1.572 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
1.572 * [approximate]: Taking taylor expansion of (* (sqrt e) (/ (sin v) (fma (cos v) e 1.0))) in (e v) around 0
1.572 * [taylor]: Taking taylor expansion of (* (sqrt e) (/ (sin v) (fma (cos v) e 1.0))) in v
1.572 * [taylor]: Taking taylor expansion of (sqrt e) in v
1.572 * [taylor]: Taking taylor expansion of e in v
1.572 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in v
1.572 * [taylor]: Taking taylor expansion of (sin v) in v
1.572 * [taylor]: Taking taylor expansion of v in v
1.572 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in v
1.573 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0)
1.573 * [taylor]: Taking taylor expansion of (* (cos v) e) in v
1.573 * [taylor]: Taking taylor expansion of (cos v) in v
1.573 * [taylor]: Taking taylor expansion of v in v
1.573 * [taylor]: Taking taylor expansion of e in v
1.573 * [taylor]: Taking taylor expansion of 1.0 in v
1.573 * [taylor]: Taking taylor expansion of (* (sqrt e) (/ (sin v) (fma (cos v) e 1.0))) in e
1.573 * [taylor]: Taking taylor expansion of (sqrt e) in e
1.573 * [taylor]: Taking taylor expansion of e in e
1.575 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in e
1.575 * [taylor]: Taking taylor expansion of (sin v) in e
1.575 * [taylor]: Taking taylor expansion of v in e
1.575 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e
1.575 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0)
1.575 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
1.575 * [taylor]: Taking taylor expansion of (cos v) in e
1.575 * [taylor]: Taking taylor expansion of v in e
1.575 * [taylor]: Taking taylor expansion of e in e
1.575 * [taylor]: Taking taylor expansion of 1.0 in e
1.576 * [taylor]: Taking taylor expansion of (* (sqrt e) (/ (sin v) (fma (cos v) e 1.0))) in e
1.576 * [taylor]: Taking taylor expansion of (sqrt e) in e
1.576 * [taylor]: Taking taylor expansion of e in e
1.577 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in e
1.577 * [taylor]: Taking taylor expansion of (sin v) in e
1.577 * [taylor]: Taking taylor expansion of v in e
1.577 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e
1.577 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0)
1.577 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
1.577 * [taylor]: Taking taylor expansion of (cos v) in e
1.577 * [taylor]: Taking taylor expansion of v in e
1.577 * [taylor]: Taking taylor expansion of e in e
1.577 * [taylor]: Taking taylor expansion of 1.0 in e
1.578 * [taylor]: Taking taylor expansion of 0 in v
1.582 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin v))) in v
1.582 * [taylor]: Taking taylor expansion of (* +nan.0 (sin v)) in v
1.582 * [taylor]: Taking taylor expansion of +nan.0 in v
1.582 * [taylor]: Taking taylor expansion of (sin v) in v
1.582 * [taylor]: Taking taylor expansion of v in v
1.591 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (sin v)) (- (* +nan.0 (* (cos v) (sin v)))))) in v
1.591 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (sin v)) (- (* +nan.0 (* (cos v) (sin v))))) in v
1.591 * [taylor]: Taking taylor expansion of (* +nan.0 (sin v)) in v
1.591 * [taylor]: Taking taylor expansion of +nan.0 in v
1.591 * [taylor]: Taking taylor expansion of (sin v) in v
1.591 * [taylor]: Taking taylor expansion of v in v
1.591 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (cos v) (sin v)))) in v
1.591 * [taylor]: Taking taylor expansion of (* +nan.0 (* (cos v) (sin v))) in v
1.591 * [taylor]: Taking taylor expansion of +nan.0 in v
1.591 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v
1.591 * [taylor]: Taking taylor expansion of (cos v) in v
1.591 * [taylor]: Taking taylor expansion of v in v
1.591 * [taylor]: Taking taylor expansion of (sin v) in v
1.591 * [taylor]: Taking taylor expansion of v in v
1.607 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (* (pow (cos v) 2) (sin v))) (- (+ (* +nan.0 (sin v)) (- (* +nan.0 (* (cos v) (sin v)))))))) in v
1.607 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (* (pow (cos v) 2) (sin v))) (- (+ (* +nan.0 (sin v)) (- (* +nan.0 (* (cos v) (sin v))))))) in v
1.607 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow (cos v) 2) (sin v))) in v
1.607 * [taylor]: Taking taylor expansion of +nan.0 in v
1.607 * [taylor]: Taking taylor expansion of (* (pow (cos v) 2) (sin v)) in v
1.607 * [taylor]: Taking taylor expansion of (pow (cos v) 2) in v
1.607 * [taylor]: Taking taylor expansion of (cos v) in v
1.607 * [taylor]: Taking taylor expansion of v in v
1.607 * [taylor]: Taking taylor expansion of (sin v) in v
1.607 * [taylor]: Taking taylor expansion of v in v
1.607 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (sin v)) (- (* +nan.0 (* (cos v) (sin v)))))) in v
1.607 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (sin v)) (- (* +nan.0 (* (cos v) (sin v))))) in v
1.607 * [taylor]: Taking taylor expansion of (* +nan.0 (sin v)) in v
1.607 * [taylor]: Taking taylor expansion of +nan.0 in v
1.607 * [taylor]: Taking taylor expansion of (sin v) in v
1.607 * [taylor]: Taking taylor expansion of v in v
1.607 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (cos v) (sin v)))) in v
1.607 * [taylor]: Taking taylor expansion of (* +nan.0 (* (cos v) (sin v))) in v
1.607 * [taylor]: Taking taylor expansion of +nan.0 in v
1.607 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v
1.607 * [taylor]: Taking taylor expansion of (cos v) in v
1.607 * [taylor]: Taking taylor expansion of v in v
1.607 * [taylor]: Taking taylor expansion of (sin v) in v
1.607 * [taylor]: Taking taylor expansion of v in v
1.617 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 e)) (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in (e v) around 0
1.618 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 e)) (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in v
1.618 * [taylor]: Taking taylor expansion of (sqrt (/ 1 e)) in v
1.618 * [taylor]: Taking taylor expansion of (/ 1 e) in v
1.618 * [taylor]: Taking taylor expansion of e in v
1.618 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in v
1.618 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.618 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.618 * [taylor]: Taking taylor expansion of v in v
1.618 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in v
1.618 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0)
1.618 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in v
1.618 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.618 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.618 * [taylor]: Taking taylor expansion of v in v
1.619 * [taylor]: Taking taylor expansion of (/ 1 e) in v
1.619 * [taylor]: Taking taylor expansion of e in v
1.619 * [taylor]: Taking taylor expansion of 1.0 in v
1.619 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 e)) (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e
1.619 * [taylor]: Taking taylor expansion of (sqrt (/ 1 e)) in e
1.619 * [taylor]: Taking taylor expansion of (/ 1 e) in e
1.619 * [taylor]: Taking taylor expansion of e in e
1.620 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e
1.620 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
1.620 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.620 * [taylor]: Taking taylor expansion of v in e
1.620 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e
1.621 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0)
1.621 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e
1.621 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
1.621 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.621 * [taylor]: Taking taylor expansion of v in e
1.621 * [taylor]: Taking taylor expansion of (/ 1 e) in e
1.621 * [taylor]: Taking taylor expansion of e in e
1.621 * [taylor]: Taking taylor expansion of 1.0 in e
1.622 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 e)) (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e
1.622 * [taylor]: Taking taylor expansion of (sqrt (/ 1 e)) in e
1.622 * [taylor]: Taking taylor expansion of (/ 1 e) in e
1.622 * [taylor]: Taking taylor expansion of e in e
1.623 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e
1.623 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
1.623 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.623 * [taylor]: Taking taylor expansion of v in e
1.623 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e
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 e
1.623 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
1.623 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.623 * [taylor]: Taking taylor expansion of v in e
1.623 * [taylor]: Taking taylor expansion of (/ 1 e) in e
1.623 * [taylor]: Taking taylor expansion of e in e
1.624 * [taylor]: Taking taylor expansion of 1.0 in e
1.624 * [taylor]: Taking taylor expansion of 0 in v
1.629 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v))))) in v
1.629 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v)))) in v
1.629 * [taylor]: Taking taylor expansion of +nan.0 in v
1.629 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v
1.629 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.629 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.629 * [taylor]: Taking taylor expansion of v in v
1.629 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.629 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.629 * [taylor]: Taking taylor expansion of v in v
1.638 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) (- (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v))))))) in v
1.638 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) (- (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v)))))) in v
1.638 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v
1.638 * [taylor]: Taking taylor expansion of +nan.0 in v
1.638 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v
1.639 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.639 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.639 * [taylor]: Taking taylor expansion of v in v
1.639 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v
1.639 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.639 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.639 * [taylor]: Taking taylor expansion of v in v
1.642 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v))))) in v
1.642 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v)))) in v
1.642 * [taylor]: Taking taylor expansion of +nan.0 in v
1.642 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v
1.642 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.642 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.642 * [taylor]: Taking taylor expansion of v in v
1.642 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.642 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.643 * [taylor]: Taking taylor expansion of v in v
1.655 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3))) (- (+ (* +nan.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) (- (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v))))))))) in v
1.655 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3))) (- (+ (* +nan.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) (- (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v)))))))) in v
1.655 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3))) in v
1.655 * [taylor]: Taking taylor expansion of +nan.0 in v
1.655 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) in v
1.655 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.655 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.655 * [taylor]: Taking taylor expansion of v in v
1.655 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 3) in v
1.655 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.655 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.655 * [taylor]: Taking taylor expansion of v in v
1.656 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) (- (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v))))))) in v
1.656 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) (- (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v)))))) in v
1.656 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v
1.656 * [taylor]: Taking taylor expansion of +nan.0 in v
1.656 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v
1.656 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.656 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.656 * [taylor]: Taking taylor expansion of v in v
1.656 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v
1.657 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.657 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.657 * [taylor]: Taking taylor expansion of v in v
1.657 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v))))) in v
1.657 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v)))) in v
1.657 * [taylor]: Taking taylor expansion of +nan.0 in v
1.657 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v
1.657 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.657 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.657 * [taylor]: Taking taylor expansion of v in v
1.658 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.658 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.658 * [taylor]: Taking taylor expansion of v in v
1.663 * [approximate]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (sqrt (/ -1 e))) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in (e v) around 0
1.663 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (sqrt (/ -1 e))) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in v
1.663 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in v
1.663 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.663 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.663 * [taylor]: Taking taylor expansion of -1 in v
1.663 * [taylor]: Taking taylor expansion of v in v
1.663 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in v
1.663 * [taylor]: Taking taylor expansion of (/ -1 e) in v
1.663 * [taylor]: Taking taylor expansion of -1 in v
1.663 * [taylor]: Taking taylor expansion of e in v
1.663 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in v
1.664 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0)
1.664 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in v
1.664 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.664 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.664 * [taylor]: Taking taylor expansion of -1 in v
1.664 * [taylor]: Taking taylor expansion of v in v
1.664 * [taylor]: Taking taylor expansion of (/ -1 e) in v
1.664 * [taylor]: Taking taylor expansion of -1 in v
1.664 * [taylor]: Taking taylor expansion of e in v
1.664 * [taylor]: Taking taylor expansion of 1.0 in v
1.664 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (sqrt (/ -1 e))) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e
1.664 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in e
1.664 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
1.664 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.664 * [taylor]: Taking taylor expansion of -1 in e
1.664 * [taylor]: Taking taylor expansion of v in e
1.665 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e
1.665 * [taylor]: Taking taylor expansion of (/ -1 e) in e
1.665 * [taylor]: Taking taylor expansion of -1 in e
1.665 * [taylor]: Taking taylor expansion of e in e
1.666 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e
1.666 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0)
1.666 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e
1.666 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
1.666 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.666 * [taylor]: Taking taylor expansion of -1 in e
1.666 * [taylor]: Taking taylor expansion of v in e
1.666 * [taylor]: Taking taylor expansion of (/ -1 e) in e
1.666 * [taylor]: Taking taylor expansion of -1 in e
1.666 * [taylor]: Taking taylor expansion of e in e
1.667 * [taylor]: Taking taylor expansion of 1.0 in e
1.669 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (sqrt (/ -1 e))) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e
1.669 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in e
1.669 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
1.669 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.669 * [taylor]: Taking taylor expansion of -1 in e
1.669 * [taylor]: Taking taylor expansion of v in e
1.669 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e
1.669 * [taylor]: Taking taylor expansion of (/ -1 e) in e
1.669 * [taylor]: Taking taylor expansion of -1 in e
1.669 * [taylor]: Taking taylor expansion of e in e
1.671 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e
1.671 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0)
1.671 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e
1.671 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
1.671 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.671 * [taylor]: Taking taylor expansion of -1 in e
1.671 * [taylor]: Taking taylor expansion of v in e
1.671 * [taylor]: Taking taylor expansion of (/ -1 e) in e
1.671 * [taylor]: Taking taylor expansion of -1 in e
1.671 * [taylor]: Taking taylor expansion of e in e
1.671 * [taylor]: Taking taylor expansion of 1.0 in e
1.674 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v
1.674 * [taylor]: Taking taylor expansion of +nan.0 in v
1.674 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v
1.674 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.674 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.674 * [taylor]: Taking taylor expansion of -1 in v
1.674 * [taylor]: Taking taylor expansion of v in v
1.674 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.674 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.674 * [taylor]: Taking taylor expansion of -1 in v
1.674 * [taylor]: Taking taylor expansion of v in v
1.682 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) (- (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v))))))) in v
1.682 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) (- (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))))) in v
1.682 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v
1.682 * [taylor]: Taking taylor expansion of +nan.0 in v
1.682 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v
1.682 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.682 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.682 * [taylor]: Taking taylor expansion of -1 in v
1.682 * [taylor]: Taking taylor expansion of v in v
1.683 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v
1.683 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.683 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.683 * [taylor]: Taking taylor expansion of -1 in v
1.683 * [taylor]: Taking taylor expansion of v in v
1.683 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v))))) in v
1.683 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v
1.683 * [taylor]: Taking taylor expansion of +nan.0 in v
1.683 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v
1.683 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.683 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.683 * [taylor]: Taking taylor expansion of -1 in v
1.683 * [taylor]: Taking taylor expansion of v in v
1.684 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.684 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.684 * [taylor]: Taking taylor expansion of -1 in v
1.684 * [taylor]: Taking taylor expansion of v in v
1.696 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) (- (+ (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) (- (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)))))))) in v
1.696 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) (- (+ (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) (- (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3))))))) in v
1.696 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v
1.696 * [taylor]: Taking taylor expansion of +nan.0 in v
1.696 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v
1.696 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.696 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.696 * [taylor]: Taking taylor expansion of -1 in v
1.696 * [taylor]: Taking taylor expansion of v in v
1.696 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v
1.696 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.696 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.696 * [taylor]: Taking taylor expansion of -1 in v
1.696 * [taylor]: Taking taylor expansion of v in v
1.697 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) (- (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)))))) in v
1.697 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) (- (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3))))) in v
1.697 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v
1.697 * [taylor]: Taking taylor expansion of +nan.0 in v
1.697 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v
1.697 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.697 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.697 * [taylor]: Taking taylor expansion of -1 in v
1.697 * [taylor]: Taking taylor expansion of v in v
1.697 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.697 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.697 * [taylor]: Taking taylor expansion of -1 in v
1.698 * [taylor]: Taking taylor expansion of v in v
1.698 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)))) in v
1.698 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3))) in v
1.698 * [taylor]: Taking taylor expansion of +nan.0 in v
1.698 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)) in v
1.698 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.698 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.698 * [taylor]: Taking taylor expansion of -1 in v
1.698 * [taylor]: Taking taylor expansion of v in v
1.698 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 3) in v
1.698 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.698 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.698 * [taylor]: Taking taylor expansion of -1 in v
1.698 * [taylor]: Taking taylor expansion of v in v
1.703 * * * [progress]: simplifying candidates
1.705 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* (sqrt e) (sin v)))
  (log1p (* (sqrt e) (sin v)))
  (* (sqrt e) (sin v))
  (+ (log (sqrt e)) (log (sin v)))
  (log (* (sqrt e) (sin v)))
  (exp (* (sqrt e) (sin v)))
  (* (* (* (sqrt e) (sqrt e)) (sqrt e)) (* (* (sin v) (sin v)) (sin v)))
  (* (cbrt (* (sqrt e) (sin v))) (cbrt (* (sqrt e) (sin v))))
  (cbrt (* (sqrt e) (sin v)))
  (* (* (* (sqrt e) (sin v)) (* (sqrt e) (sin v))) (* (sqrt e) (sin v)))
  (sqrt (* (sqrt e) (sin v)))
  (sqrt (* (sqrt e) (sin v)))
  (* (sqrt (sqrt e)) (sqrt (sin v)))
  (* (sqrt (sqrt e)) (sqrt (sin v)))
  (* (sqrt (sqrt e)) (sqrt (sin v)))
  (* (sqrt (sqrt e)) (sqrt (sin v)))
  (* (sqrt e) (* (cbrt (sin v)) (cbrt (sin v))))
  (* (sqrt e) (sqrt (sin v)))
  (* (sqrt e) 1)
  (* (cbrt (sqrt e)) (sin v))
  (* (sqrt (cbrt e)) (sin v))
  (* (sqrt (sqrt e)) (sin v))
  (* (sqrt e) (sin v))
  (* (sqrt (sqrt e)) (sin v))
  (* (sqrt e) (sin v))
  (expm1 (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (log1p (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (+ (log (sqrt e)) (- (+ (log (sqrt e)) (log (sin v))) (log (fma (cos v) e 1.0))))
  (+ (log (sqrt e)) (- (log (* (sqrt e) (sin v))) (log (fma (cos v) e 1.0))))
  (+ (log (sqrt e)) (log (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (log (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (exp (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (* (* (sqrt e) (sqrt e)) (sqrt e)) (/ (* (* (* (sqrt e) (sqrt e)) (sqrt 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))))
  (* (* (* (sqrt e) (sqrt e)) (sqrt e)) (/ (* (* (* (sqrt e) (sin v)) (* (sqrt e) (sin v))) (* (sqrt e) (sin v))) (* (* (fma (cos v) e 1.0) (fma (cos v) e 1.0)) (fma (cos v) e 1.0))))
  (* (* (* (sqrt e) (sqrt e)) (sqrt e)) (* (* (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (cbrt (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))) (cbrt (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (cbrt (* (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) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))) (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (sqrt (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (sqrt (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt e)) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt e)) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt e)) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt e)) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt e) (* (cbrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))) (cbrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (* (sqrt e) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt e) (/ (sqrt e) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))))
  (* (sqrt e) (/ (sqrt e) (sqrt (fma (cos v) e 1.0))))
  (* (sqrt e) (/ (sqrt e) 1))
  (* (sqrt e) 1)
  (* (sqrt e) (* (sqrt e) (sin v)))
  (* (cbrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (* (sqrt (cbrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (* (sqrt (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 (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) (* (sqrt e) (sin v)))
  (expm1 (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (log1p (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (- (+ (log (sqrt e)) (log (sin v))) (log (fma (cos v) e 1.0)))
  (- (log (* (sqrt e) (sin v))) (log (fma (cos v) e 1.0)))
  (log (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (exp (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (/ (* (* (* (sqrt e) (sqrt e)) (sqrt 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)))
  (/ (* (* (* (sqrt e) (sin v)) (* (sqrt e) (sin v))) (* (sqrt e) (sin v))) (* (* (fma (cos v) e 1.0) (fma (cos v) e 1.0)) (fma (cos v) e 1.0)))
  (* (cbrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))) (cbrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (cbrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (* (* (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (- (* (sqrt e) (sin v)))
  (- (fma (cos v) e 1.0))
  (/ (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) (sqrt (fma (cos v) e 1.0)))
  (/ (sin v) (sqrt (fma (cos v) e 1.0)))
  (/ (sqrt e) 1)
  (/ (sin v) (fma (cos v) e 1.0))
  (/ 1 (fma (cos v) e 1.0))
  (/ (fma (cos v) e 1.0) (* (sqrt e) (sin v)))
  (/ (* (sqrt e) (sin v)) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))))
  (/ (* (sqrt e) (sin v)) (sqrt (fma (cos v) e 1.0)))
  (/ (* (sqrt e) (sin v)) 1)
  (/ (fma (cos v) e 1.0) (sin v))
  (- (+ (* +nan.0 (* (pow e 3) v)) (- (+ (* +nan.0 (* e v)) (- (* +nan.0 (* (pow e 2) v)))))))
  (- (+ (* +nan.0 (/ (sin v) e)) (- (+ (* +nan.0 (sin v)) (- (* +nan.0 (/ (sin v) (pow e 2))))))))
  (- (+ (* +nan.0 (/ (sin v) e)) (- (+ (* +nan.0 (sin v)) (- (* +nan.0 (/ (sin v) (pow e 2))))))))
  (- (+ (* 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))))
  (- (+ (* +nan.0 (/ (sin v) (* (cos v) e))) (- (+ (* +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 3)))) (- (+ (* +nan.0 (/ (sin v) (* (pow (cos v) 3) (pow e 3)))) (- (+ (* +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 2)))) (- (+ (* +nan.0 (/ (sin v) (* (cos v) (pow e 3)))) (- (* +nan.0 (/ (sin v) (* (cos v) (pow e 2)))))))))))))))
  (- (+ (* +nan.0 (* (pow e 3) v)) (- (+ (* +nan.0 (* e v)) (- (* +nan.0 (* (pow e 2) v)))))))
  (- (+ (* +nan.0 (/ (sin v) (* (cos v) e))) (- (+ (* +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 3)))) (- (+ (* +nan.0 (/ (sin v) (* (pow (cos v) 3) (pow e 3)))) (- (+ (* +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 2)))) (- (+ (* +nan.0 (/ (sin v) (* (cos v) (pow e 3)))) (- (* +nan.0 (/ (sin v) (* (cos v) (pow e 2)))))))))))))))
  (- (+ (* +nan.0 (/ (sin v) (* (cos v) e))) (- (+ (* +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 3)))) (- (+ (* +nan.0 (/ (sin v) (* (pow (cos v) 3) (pow e 3)))) (- (+ (* +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 2)))) (- (+ (* +nan.0 (/ (sin v) (* (cos v) (pow e 3)))) (- (* +nan.0 (/ (sin v) (* (cos v) (pow e 2)))))))))))))))
1.711 * * [simplify]: iteration  0 :  454  enodes  (cost  874 )
1.721 * * [simplify]: iteration  1 :  2163  enodes  (cost  732 )
1.760 * * [simplify]: iteration  2 :  5002  enodes  (cost  716 )
1.764 * [simplify]: Simplified to:
   (expm1 (* (sqrt e) (sin v)))
  (log1p (* (sqrt e) (sin v)))
  (* (sqrt e) (sin v))
  (log (* (sqrt e) (sin v)))
  (log (* (sqrt e) (sin v)))
  (exp (* (sqrt e) (sin v)))
  (pow (* (sqrt e) (sin v)) 3)
  (* (cbrt (* (sqrt e) (sin v))) (cbrt (* (sqrt e) (sin v))))
  (cbrt (* (sqrt e) (sin v)))
  (pow (* (sqrt e) (sin v)) 3)
  (sqrt (* (sqrt e) (sin v)))
  (sqrt (* (sqrt e) (sin v)))
  (* (sqrt (sqrt e)) (sqrt (sin v)))
  (* (sqrt (sqrt e)) (sqrt (sin v)))
  (* (sqrt (sqrt e)) (sqrt (sin v)))
  (* (sqrt (sqrt e)) (sqrt (sin v)))
  (* (sqrt e) (* (cbrt (sin v)) (cbrt (sin v))))
  (* (sqrt e) (sqrt (sin v)))
  (sqrt e)
  (* (cbrt (sqrt e)) (sin v))
  (* (sqrt (cbrt e)) (sin v))
  (* (sqrt (sqrt e)) (sin v))
  (* (sqrt e) (sin v))
  (* (sqrt (sqrt e)) (sin v))
  (* (sqrt e) (sin v))
  (expm1 (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (log1p (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (/ (* e (sin v)) (fma (cos v) e 1.0))
  (- (log (* e (sin v))) (log (fma (cos v) e 1.0)))
  (- (log (* e (sin v))) (log (fma (cos v) e 1.0)))
  (- (log (* e (sin v))) (log (fma (cos v) e 1.0)))
  (- (log (* e (sin v))) (log (fma (cos v) e 1.0)))
  (pow (exp 1) (/ (* e (sin v)) (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)
  (pow (/ (* e (sin v)) (fma (cos v) e 1.0)) 3)
  (* (cbrt (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))) (cbrt (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (cbrt (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (pow (/ (* e (sin v)) (fma (cos v) e 1.0)) 3)
  (sqrt (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (sqrt (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt e)) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt e)) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt e)) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt e)) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt e) (* (cbrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))) (cbrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (* (sqrt e) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (/ e (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))))
  (/ e (sqrt (fma (cos v) e 1.0)))
  e
  (sqrt e)
  (* e (sin v))
  (* (cbrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (* (sqrt (cbrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (/ (* e (sin v)) (fma (cos v) e 1.0))
  (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (/ (* e (sin v)) (fma (cos v) e 1.0))
  (* e (sin v))
  (expm1 (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (log1p (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (log (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (log (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (log (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (exp (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (pow (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)) 3)
  (pow (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)) 3)
  (* (cbrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))) (cbrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (cbrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (pow (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)) 3)
  (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (- (* (sqrt e) (sin v)))
  (- (fma (cos v) e 1.0))
  (/ (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) (sqrt (fma (cos v) e 1.0)))
  (/ (sin v) (sqrt (fma (cos v) e 1.0)))
  (sqrt e)
  (/ (sin v) (fma (cos v) e 1.0))
  (/ 1 (fma (cos v) e 1.0))
  (/ (fma (cos v) e 1.0) (* (sqrt e) (sin v)))
  (/ (* (sqrt e) (sin v)) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))))
  (/ (* (sqrt e) (sin v)) (sqrt (fma (cos v) e 1.0)))
  (* (sqrt e) (sin v))
  (/ (fma (cos v) e 1.0) (sin v))
  (fma (- (* +nan.0 (pow e 3))) v (* +nan.0 (- (* e v) (* (pow e 2) v))))
  (fma (- +nan.0) (/ (sin v) e) (* +nan.0 (- (sin v) (/ (sin v) (pow e 2)))))
  (fma (- +nan.0) (/ (sin v) e) (* +nan.0 (- (sin v) (/ (sin v) (pow e 2)))))
  (* 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 (- +nan.0) (/ (sin v) (* (cos v) e)) (fma (/ (sin v) (pow e 3)) (/ +nan.0 (pow (cos v) 2)) (fma (- +nan.0) (/ (sin v) (* (pow (cos v) 3) (pow e 3))) (fma (/ (sin v) (pow e 2)) (/ +nan.0 (pow (cos v) 2)) (fma (- +nan.0) (/ (sin v) (* (cos v) (pow e 3))) (* +nan.0 (/ (sin v) (* (cos v) (pow e 2)))))))))
  (fma (- (* +nan.0 (pow e 3))) v (* +nan.0 (- (* e v) (* (pow e 2) v))))
  (fma (- +nan.0) (/ (sin v) (* (cos v) e)) (fma (/ (sin v) (pow e 3)) (/ +nan.0 (pow (cos v) 2)) (fma (- +nan.0) (/ (sin v) (* (pow (cos v) 3) (pow e 3))) (fma (/ (sin v) (pow e 2)) (/ +nan.0 (pow (cos v) 2)) (fma (- +nan.0) (/ (sin v) (* (cos v) (pow e 3))) (* +nan.0 (/ (sin v) (* (cos v) (pow e 2)))))))))
  (fma (- +nan.0) (/ (sin v) (* (cos v) e)) (fma (/ (sin v) (pow e 3)) (/ +nan.0 (pow (cos v) 2)) (fma (- +nan.0) (/ (sin v) (* (pow (cos v) 3) (pow e 3))) (fma (/ (sin v) (pow e 2)) (/ +nan.0 (pow (cos v) 2)) (fma (- +nan.0) (/ (sin v) (* (cos v) (pow e 3))) (* +nan.0 (/ (sin v) (* (cos v) (pow e 2)))))))))
1.765 * * * [progress]: adding candidates to table
1.958 * * [progress]: iteration 4 / 4
1.958 * * * [progress]: picking best candidate
1.975 * * * * [pick]: Picked  #<alt (λ (e v) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))>
1.975 * * * [progress]: localizing error
1.990 * * * [progress]: generating rewritten candidates
1.990 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
2.003 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
2.008 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
2.019 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
2.024 * * * [progress]: generating series expansions
2.024 * * * * [progress]: [ 1 / 4 ] generating series at (2)
2.025 * [approximate]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in (e v) around 0
2.025 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in v
2.025 * [taylor]: Taking taylor expansion of (* e (sin v)) in v
2.025 * [taylor]: Taking taylor expansion of e in v
2.025 * [taylor]: Taking taylor expansion of (sin v) in v
2.025 * [taylor]: Taking taylor expansion of v in v
2.025 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in v
2.025 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0)
2.025 * [taylor]: Taking taylor expansion of (* (cos v) e) 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 e in v
2.025 * [taylor]: Taking taylor expansion of 1.0 in v
2.026 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in e
2.026 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
2.026 * [taylor]: Taking taylor expansion of e in e
2.026 * [taylor]: Taking taylor expansion of (sin v) in e
2.026 * [taylor]: Taking taylor expansion of v in e
2.026 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e
2.026 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0)
2.026 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
2.026 * [taylor]: Taking taylor expansion of (cos v) in e
2.026 * [taylor]: Taking taylor expansion of v in e
2.026 * [taylor]: Taking taylor expansion of e in e
2.026 * [taylor]: Taking taylor expansion of 1.0 in e
2.029 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in e
2.029 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
2.029 * [taylor]: Taking taylor expansion of e in e
2.029 * [taylor]: Taking taylor expansion of (sin v) in e
2.029 * [taylor]: Taking taylor expansion of v in e
2.029 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e
2.029 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0)
2.029 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
2.029 * [taylor]: Taking taylor expansion of (cos v) in e
2.029 * [taylor]: Taking taylor expansion of v in e
2.029 * [taylor]: Taking taylor expansion of e in e
2.029 * [taylor]: Taking taylor expansion of 1.0 in e
2.031 * [taylor]: Taking taylor expansion of (* 1.0 (sin v)) in v
2.032 * [taylor]: Taking taylor expansion of 1.0 in v
2.032 * [taylor]: Taking taylor expansion of (sin v) in v
2.032 * [taylor]: Taking taylor expansion of v in v
2.037 * [taylor]: Taking taylor expansion of (- (* 1.0 (* (cos v) (sin v)))) in v
2.037 * [taylor]: Taking taylor expansion of (* 1.0 (* (cos v) (sin v))) in v
2.037 * [taylor]: Taking taylor expansion of 1.0 in v
2.038 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v
2.038 * [taylor]: Taking taylor expansion of (cos v) in v
2.038 * [taylor]: Taking taylor expansion of v in v
2.038 * [taylor]: Taking taylor expansion of (sin v) in v
2.038 * [taylor]: Taking taylor expansion of v in v
2.047 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow (cos v) 2) (sin v))) in v
2.047 * [taylor]: Taking taylor expansion of 1.0 in v
2.047 * [taylor]: Taking taylor expansion of (* (pow (cos v) 2) (sin v)) in v
2.047 * [taylor]: Taking taylor expansion of (pow (cos v) 2) in v
2.047 * [taylor]: Taking taylor expansion of (cos v) in v
2.047 * [taylor]: Taking taylor expansion of v in v
2.047 * [taylor]: Taking taylor expansion of (sin v) in v
2.048 * [taylor]: Taking taylor expansion of v in v
2.051 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in (e v) around 0
2.051 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in v
2.051 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
2.051 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.051 * [taylor]: Taking taylor expansion of v in v
2.051 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in v
2.051 * [taylor]: Taking taylor expansion of e in v
2.051 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in v
2.052 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0)
2.052 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in v
2.052 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
2.052 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.052 * [taylor]: Taking taylor expansion of v in v
2.052 * [taylor]: Taking taylor expansion of (/ 1 e) in v
2.052 * [taylor]: Taking taylor expansion of e in v
2.052 * [taylor]: Taking taylor expansion of 1.0 in v
2.052 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e
2.052 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
2.052 * [taylor]: Taking taylor expansion of (/ 1 v) in e
2.052 * [taylor]: Taking taylor expansion of v in e
2.052 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e
2.052 * [taylor]: Taking taylor expansion of e in e
2.052 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e
2.053 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0)
2.053 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e
2.053 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
2.053 * [taylor]: Taking taylor expansion of (/ 1 v) in e
2.053 * [taylor]: Taking taylor expansion of v in e
2.053 * [taylor]: Taking taylor expansion of (/ 1 e) in e
2.053 * [taylor]: Taking taylor expansion of e in e
2.053 * [taylor]: Taking taylor expansion of 1.0 in e
2.057 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e
2.057 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
2.057 * [taylor]: Taking taylor expansion of (/ 1 v) in e
2.057 * [taylor]: Taking taylor expansion of v in e
2.057 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e
2.057 * [taylor]: Taking taylor expansion of e in e
2.057 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e
2.057 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0)
2.057 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e
2.057 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
2.057 * [taylor]: Taking taylor expansion of (/ 1 v) in e
2.057 * [taylor]: Taking taylor expansion of v in e
2.057 * [taylor]: Taking taylor expansion of (/ 1 e) in e
2.057 * [taylor]: Taking taylor expansion of e in e
2.057 * [taylor]: Taking taylor expansion of 1.0 in e
2.064 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v
2.064 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
2.064 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.064 * [taylor]: Taking taylor expansion of v in v
2.064 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
2.064 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.064 * [taylor]: Taking taylor expansion of v in v
2.070 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)))) in v
2.070 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v
2.070 * [taylor]: Taking taylor expansion of 1.0 in v
2.070 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v
2.070 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
2.070 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.070 * [taylor]: Taking taylor expansion of v in v
2.071 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v
2.071 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
2.071 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.071 * [taylor]: Taking taylor expansion of v in v
2.079 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3))) in v
2.079 * [taylor]: Taking taylor expansion of 1.0 in v
2.079 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) in v
2.079 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
2.079 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.079 * [taylor]: Taking taylor expansion of v in v
2.079 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 3) in v
2.079 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
2.080 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.080 * [taylor]: Taking taylor expansion of v in v
2.081 * [approximate]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in (e v) around 0
2.081 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in v
2.081 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) 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.082 * [taylor]: Taking taylor expansion of -1 in v
2.082 * [taylor]: Taking taylor expansion of v in v
2.082 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 2) in v
2.082 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in v
2.082 * [taylor]: Taking taylor expansion of (/ -1 e) in v
2.082 * [taylor]: Taking taylor expansion of -1 in v
2.082 * [taylor]: Taking taylor expansion of e in v
2.082 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in v
2.082 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0)
2.082 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in v
2.082 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.082 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.082 * [taylor]: Taking taylor expansion of -1 in v
2.082 * [taylor]: Taking taylor expansion of v in v
2.083 * [taylor]: Taking taylor expansion of (/ -1 e) in v
2.083 * [taylor]: Taking taylor expansion of -1 in v
2.083 * [taylor]: Taking taylor expansion of e in v
2.083 * [taylor]: Taking taylor expansion of 1.0 in v
2.083 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e
2.083 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) in e
2.083 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
2.083 * [taylor]: Taking taylor expansion of (/ -1 v) in e
2.083 * [taylor]: Taking taylor expansion of -1 in e
2.083 * [taylor]: Taking taylor expansion of v in e
2.084 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 2) in e
2.084 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e
2.084 * [taylor]: Taking taylor expansion of (/ -1 e) in e
2.084 * [taylor]: Taking taylor expansion of -1 in e
2.084 * [taylor]: Taking taylor expansion of e in e
2.085 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e
2.085 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0)
2.085 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e
2.085 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
2.085 * [taylor]: Taking taylor expansion of (/ -1 v) in e
2.085 * [taylor]: Taking taylor expansion of -1 in e
2.085 * [taylor]: Taking taylor expansion of v in e
2.085 * [taylor]: Taking taylor expansion of (/ -1 e) in e
2.085 * [taylor]: Taking taylor expansion of -1 in e
2.085 * [taylor]: Taking taylor expansion of e in e
2.086 * [taylor]: Taking taylor expansion of 1.0 in e
2.087 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e
2.087 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) in e
2.087 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
2.087 * [taylor]: Taking taylor expansion of (/ -1 v) in e
2.087 * [taylor]: Taking taylor expansion of -1 in e
2.087 * [taylor]: Taking taylor expansion of v in e
2.087 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 2) in e
2.087 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e
2.087 * [taylor]: Taking taylor expansion of (/ -1 e) in e
2.087 * [taylor]: Taking taylor expansion of -1 in e
2.087 * [taylor]: Taking taylor expansion of e in e
2.088 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e
2.088 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0)
2.088 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e
2.088 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
2.088 * [taylor]: Taking taylor expansion of (/ -1 v) in e
2.088 * [taylor]: Taking taylor expansion of -1 in e
2.088 * [taylor]: Taking taylor expansion of v in e
2.088 * [taylor]: Taking taylor expansion of (/ -1 e) in e
2.088 * [taylor]: Taking taylor expansion of -1 in e
2.088 * [taylor]: Taking taylor expansion of e in e
2.089 * [taylor]: Taking taylor expansion of 1.0 in e
2.090 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v
2.090 * [taylor]: Taking taylor expansion of +nan.0 in v
2.090 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v
2.090 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.090 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.090 * [taylor]: Taking taylor expansion of -1 in v
2.090 * [taylor]: Taking taylor expansion of v in v
2.090 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.090 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.090 * [taylor]: Taking taylor expansion of -1 in v
2.090 * [taylor]: Taking taylor expansion of v in v
2.099 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) (- (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v))))))) in v
2.099 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) (- (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))))) in v
2.099 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v
2.099 * [taylor]: Taking taylor expansion of +nan.0 in v
2.099 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v
2.099 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.099 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.099 * [taylor]: Taking taylor expansion of -1 in v
2.099 * [taylor]: Taking taylor expansion of v in v
2.099 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v
2.099 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.099 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.099 * [taylor]: Taking taylor expansion of -1 in v
2.099 * [taylor]: Taking taylor expansion of v in v
2.100 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v))))) in v
2.100 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v
2.100 * [taylor]: Taking taylor expansion of +nan.0 in v
2.100 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v
2.100 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.100 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.100 * [taylor]: Taking taylor expansion of -1 in v
2.100 * [taylor]: Taking taylor expansion of v in v
2.100 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.100 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.100 * [taylor]: Taking taylor expansion of -1 in v
2.100 * [taylor]: Taking taylor expansion of v in v
2.113 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) (- (+ (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) (- (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)))))))) in v
2.113 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) (- (+ (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) (- (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3))))))) in v
2.113 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v
2.113 * [taylor]: Taking taylor expansion of +nan.0 in v
2.113 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v
2.113 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.113 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.113 * [taylor]: Taking taylor expansion of -1 in v
2.113 * [taylor]: Taking taylor expansion of v in v
2.113 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v
2.113 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.113 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.114 * [taylor]: Taking taylor expansion of -1 in v
2.114 * [taylor]: Taking taylor expansion of v in v
2.114 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) (- (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)))))) in v
2.114 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) (- (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3))))) in v
2.114 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v
2.114 * [taylor]: Taking taylor expansion of +nan.0 in v
2.114 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v
2.114 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.114 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.114 * [taylor]: Taking taylor expansion of -1 in v
2.114 * [taylor]: Taking taylor expansion of v in v
2.114 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.115 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.115 * [taylor]: Taking taylor expansion of -1 in v
2.115 * [taylor]: Taking taylor expansion of v in v
2.115 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)))) in v
2.115 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3))) in v
2.115 * [taylor]: Taking taylor expansion of +nan.0 in v
2.115 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)) in v
2.115 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.115 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.115 * [taylor]: Taking taylor expansion of -1 in v
2.115 * [taylor]: Taking taylor expansion of v in v
2.115 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 3) in v
2.115 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.115 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.115 * [taylor]: Taking taylor expansion of -1 in v
2.115 * [taylor]: Taking taylor expansion of v in v
2.120 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
2.121 * [approximate]: Taking taylor expansion of (* (sqrt e) (sin v)) in (e v) around 0
2.121 * [taylor]: Taking taylor expansion of (* (sqrt e) (sin v)) in v
2.121 * [taylor]: Taking taylor expansion of (sqrt e) in v
2.121 * [taylor]: Taking taylor expansion of e in v
2.121 * [taylor]: Taking taylor expansion of (sin v) in v
2.121 * [taylor]: Taking taylor expansion of v in v
2.121 * [taylor]: Taking taylor expansion of (* (sqrt e) (sin v)) in e
2.121 * [taylor]: Taking taylor expansion of (sqrt e) in e
2.121 * [taylor]: Taking taylor expansion of e in e
2.122 * [taylor]: Taking taylor expansion of (sin v) in e
2.122 * [taylor]: Taking taylor expansion of v in e
2.122 * [taylor]: Taking taylor expansion of (* (sqrt e) (sin v)) in e
2.122 * [taylor]: Taking taylor expansion of (sqrt e) in e
2.122 * [taylor]: Taking taylor expansion of e in e
2.123 * [taylor]: Taking taylor expansion of (sin v) in e
2.123 * [taylor]: Taking taylor expansion of v in e
2.123 * [taylor]: Taking taylor expansion of 0 in v
2.125 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin v))) in v
2.125 * [taylor]: Taking taylor expansion of (* +nan.0 (sin v)) in v
2.125 * [taylor]: Taking taylor expansion of +nan.0 in v
2.125 * [taylor]: Taking taylor expansion of (sin v) in v
2.125 * [taylor]: Taking taylor expansion of v in v
2.129 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin v))) in v
2.130 * [taylor]: Taking taylor expansion of (* +nan.0 (sin v)) in v
2.130 * [taylor]: Taking taylor expansion of +nan.0 in v
2.130 * [taylor]: Taking taylor expansion of (sin v) in v
2.130 * [taylor]: Taking taylor expansion of v in v
2.137 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin v))) in v
2.137 * [taylor]: Taking taylor expansion of (* +nan.0 (sin v)) in v
2.137 * [taylor]: Taking taylor expansion of +nan.0 in v
2.137 * [taylor]: Taking taylor expansion of (sin v) in v
2.137 * [taylor]: Taking taylor expansion of v in v
2.150 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin v))) in v
2.150 * [taylor]: Taking taylor expansion of (* +nan.0 (sin v)) in v
2.150 * [taylor]: Taking taylor expansion of +nan.0 in v
2.150 * [taylor]: Taking taylor expansion of (sin v) in v
2.150 * [taylor]: Taking taylor expansion of v in v
2.154 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 e)) (sin (/ 1 v))) in (e v) around 0
2.154 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 e)) (sin (/ 1 v))) in v
2.154 * [taylor]: Taking taylor expansion of (sqrt (/ 1 e)) in v
2.154 * [taylor]: Taking taylor expansion of (/ 1 e) in v
2.154 * [taylor]: Taking taylor expansion of e in v
2.154 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
2.154 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.154 * [taylor]: Taking taylor expansion of v in v
2.155 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 e)) (sin (/ 1 v))) in e
2.155 * [taylor]: Taking taylor expansion of (sqrt (/ 1 e)) in e
2.155 * [taylor]: Taking taylor expansion of (/ 1 e) in e
2.155 * [taylor]: Taking taylor expansion of e in e
2.156 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
2.156 * [taylor]: Taking taylor expansion of (/ 1 v) in e
2.156 * [taylor]: Taking taylor expansion of v in e
2.156 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 e)) (sin (/ 1 v))) in e
2.156 * [taylor]: Taking taylor expansion of (sqrt (/ 1 e)) in e
2.156 * [taylor]: Taking taylor expansion of (/ 1 e) in e
2.156 * [taylor]: Taking taylor expansion of e in e
2.157 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
2.157 * [taylor]: Taking taylor expansion of (/ 1 v) in e
2.157 * [taylor]: Taking taylor expansion of v in e
2.157 * [taylor]: Taking taylor expansion of 0 in v
2.159 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin (/ 1 v)))) in v
2.159 * [taylor]: Taking taylor expansion of (* +nan.0 (sin (/ 1 v))) in v
2.159 * [taylor]: Taking taylor expansion of +nan.0 in v
2.159 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
2.159 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.159 * [taylor]: Taking taylor expansion of v in v
2.165 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin (/ 1 v)))) in v
2.165 * [taylor]: Taking taylor expansion of (* +nan.0 (sin (/ 1 v))) in v
2.165 * [taylor]: Taking taylor expansion of +nan.0 in v
2.165 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
2.165 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.165 * [taylor]: Taking taylor expansion of v in v
2.172 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin (/ 1 v)))) in v
2.172 * [taylor]: Taking taylor expansion of (* +nan.0 (sin (/ 1 v))) in v
2.172 * [taylor]: Taking taylor expansion of +nan.0 in v
2.172 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
2.172 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.172 * [taylor]: Taking taylor expansion of v in v
2.173 * [approximate]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in (e v) around 0
2.173 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in v
2.173 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.173 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.173 * [taylor]: Taking taylor expansion of -1 in v
2.173 * [taylor]: Taking taylor expansion of v in v
2.173 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in v
2.173 * [taylor]: Taking taylor expansion of (/ -1 e) in v
2.173 * [taylor]: Taking taylor expansion of -1 in v
2.173 * [taylor]: Taking taylor expansion of e in v
2.174 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in e
2.174 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
2.174 * [taylor]: Taking taylor expansion of (/ -1 v) in e
2.174 * [taylor]: Taking taylor expansion of -1 in e
2.174 * [taylor]: Taking taylor expansion of v in e
2.174 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e
2.174 * [taylor]: Taking taylor expansion of (/ -1 e) in e
2.174 * [taylor]: Taking taylor expansion of -1 in e
2.174 * [taylor]: Taking taylor expansion of e in e
2.175 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in e
2.175 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
2.175 * [taylor]: Taking taylor expansion of (/ -1 v) in e
2.175 * [taylor]: Taking taylor expansion of -1 in e
2.175 * [taylor]: Taking taylor expansion of v in e
2.175 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e
2.175 * [taylor]: Taking taylor expansion of (/ -1 e) in e
2.175 * [taylor]: Taking taylor expansion of -1 in e
2.175 * [taylor]: Taking taylor expansion of e in e
2.177 * [taylor]: Taking taylor expansion of 0 in v
2.179 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin (/ -1 v)))) in v
2.179 * [taylor]: Taking taylor expansion of (* +nan.0 (sin (/ -1 v))) in v
2.179 * [taylor]: Taking taylor expansion of +nan.0 in v
2.179 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.179 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.179 * [taylor]: Taking taylor expansion of -1 in v
2.179 * [taylor]: Taking taylor expansion of v in v
2.184 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin (/ -1 v)))) in v
2.184 * [taylor]: Taking taylor expansion of (* +nan.0 (sin (/ -1 v))) in v
2.184 * [taylor]: Taking taylor expansion of +nan.0 in v
2.184 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.184 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.184 * [taylor]: Taking taylor expansion of -1 in v
2.184 * [taylor]: Taking taylor expansion of v in v
2.190 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin (/ -1 v)))) in v
2.190 * [taylor]: Taking taylor expansion of (* +nan.0 (sin (/ -1 v))) in v
2.190 * [taylor]: Taking taylor expansion of +nan.0 in v
2.190 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.190 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.190 * [taylor]: Taking taylor expansion of -1 in v
2.190 * [taylor]: Taking taylor expansion of v in v
2.191 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
2.192 * [approximate]: Taking taylor expansion of (* (pow (pow e 3) 1/4) (/ (sin v) (fma (cos v) e 1.0))) in (e v) around 0
2.192 * [taylor]: Taking taylor expansion of (* (pow (pow e 3) 1/4) (/ (sin v) (fma (cos v) e 1.0))) in v
2.192 * [taylor]: Taking taylor expansion of (pow (pow e 3) 1/4) in v
2.192 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow e 3)))) in v
2.192 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow e 3))) in v
2.192 * [taylor]: Taking taylor expansion of 1/4 in v
2.192 * [taylor]: Taking taylor expansion of (log (pow e 3)) in v
2.192 * [taylor]: Taking taylor expansion of (pow e 3) in v
2.192 * [taylor]: Taking taylor expansion of e in v
2.192 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in v
2.192 * [taylor]: Taking taylor expansion of (sin v) in v
2.192 * [taylor]: Taking taylor expansion of v in v
2.192 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in v
2.192 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0)
2.192 * [taylor]: Taking taylor expansion of (* (cos v) e) in v
2.192 * [taylor]: Taking taylor expansion of (cos v) in v
2.192 * [taylor]: Taking taylor expansion of v in v
2.192 * [taylor]: Taking taylor expansion of e in v
2.192 * [taylor]: Taking taylor expansion of 1.0 in v
2.193 * [taylor]: Taking taylor expansion of (* (pow (pow e 3) 1/4) (/ (sin v) (fma (cos v) e 1.0))) in e
2.193 * [taylor]: Taking taylor expansion of (pow (pow e 3) 1/4) in e
2.193 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow e 3)))) in e
2.193 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow e 3))) in e
2.193 * [taylor]: Taking taylor expansion of 1/4 in e
2.193 * [taylor]: Taking taylor expansion of (log (pow e 3)) in e
2.193 * [taylor]: Taking taylor expansion of (pow e 3) in e
2.193 * [taylor]: Taking taylor expansion of e in e
2.194 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in e
2.194 * [taylor]: Taking taylor expansion of (sin v) in e
2.194 * [taylor]: Taking taylor expansion of v in e
2.194 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e
2.194 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0)
2.195 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
2.195 * [taylor]: Taking taylor expansion of (cos v) in e
2.195 * [taylor]: Taking taylor expansion of v in e
2.195 * [taylor]: Taking taylor expansion of e in e
2.195 * [taylor]: Taking taylor expansion of 1.0 in e
2.195 * [taylor]: Taking taylor expansion of (* (pow (pow e 3) 1/4) (/ (sin v) (fma (cos v) e 1.0))) in e
2.195 * [taylor]: Taking taylor expansion of (pow (pow e 3) 1/4) in e
2.195 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow e 3)))) in e
2.195 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow e 3))) in e
2.195 * [taylor]: Taking taylor expansion of 1/4 in e
2.195 * [taylor]: Taking taylor expansion of (log (pow e 3)) in e
2.195 * [taylor]: Taking taylor expansion of (pow e 3) in e
2.195 * [taylor]: Taking taylor expansion of e in e
2.196 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in e
2.197 * [taylor]: Taking taylor expansion of (sin v) in e
2.197 * [taylor]: Taking taylor expansion of v in e
2.197 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e
2.197 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0)
2.197 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
2.197 * [taylor]: Taking taylor expansion of (cos v) in e
2.197 * [taylor]: Taking taylor expansion of v in e
2.197 * [taylor]: Taking taylor expansion of e in e
2.197 * [taylor]: Taking taylor expansion of 1.0 in e
2.198 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow (pow e 3) 1/4) (sin v))) in v
2.198 * [taylor]: Taking taylor expansion of 1.0 in v
2.198 * [taylor]: Taking taylor expansion of (* (pow (pow e 3) 1/4) (sin v)) in v
2.198 * [taylor]: Taking taylor expansion of (pow (pow e 3) 1/4) in v
2.198 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow e 3)))) in v
2.198 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow e 3))) in v
2.198 * [taylor]: Taking taylor expansion of 1/4 in v
2.198 * [taylor]: Taking taylor expansion of (log (pow e 3)) in v
2.198 * [taylor]: Taking taylor expansion of (pow e 3) in v
2.198 * [taylor]: Taking taylor expansion of e in v
2.198 * [taylor]: Taking taylor expansion of (sin v) in v
2.198 * [taylor]: Taking taylor expansion of v in v
2.208 * [taylor]: Taking taylor expansion of (- (* 1.0 (* (* (cos v) (sin v)) (pow (pow e 3) 1/4)))) in v
2.208 * [taylor]: Taking taylor expansion of (* 1.0 (* (* (cos v) (sin v)) (pow (pow e 3) 1/4))) in v
2.208 * [taylor]: Taking taylor expansion of 1.0 in v
2.208 * [taylor]: Taking taylor expansion of (* (* (cos v) (sin v)) (pow (pow e 3) 1/4)) in v
2.208 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v
2.208 * [taylor]: Taking taylor expansion of (cos v) in v
2.208 * [taylor]: Taking taylor expansion of v in v
2.208 * [taylor]: Taking taylor expansion of (sin v) in v
2.208 * [taylor]: Taking taylor expansion of v in v
2.208 * [taylor]: Taking taylor expansion of (pow (pow e 3) 1/4) in v
2.208 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow e 3)))) in v
2.208 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow e 3))) in v
2.208 * [taylor]: Taking taylor expansion of 1/4 in v
2.208 * [taylor]: Taking taylor expansion of (log (pow e 3)) in v
2.208 * [taylor]: Taking taylor expansion of (pow e 3) in v
2.208 * [taylor]: Taking taylor expansion of e in v
2.227 * [taylor]: Taking taylor expansion of (* 1.0 (* (* (pow (cos v) 2) (sin v)) (pow (pow e 3) 1/4))) in v
2.227 * [taylor]: Taking taylor expansion of 1.0 in v
2.227 * [taylor]: Taking taylor expansion of (* (* (pow (cos v) 2) (sin v)) (pow (pow e 3) 1/4)) in v
2.227 * [taylor]: Taking taylor expansion of (* (pow (cos v) 2) (sin v)) in v
2.227 * [taylor]: Taking taylor expansion of (pow (cos v) 2) in v
2.227 * [taylor]: Taking taylor expansion of (cos v) in v
2.227 * [taylor]: Taking taylor expansion of v in v
2.227 * [taylor]: Taking taylor expansion of (sin v) in v
2.227 * [taylor]: Taking taylor expansion of v in v
2.227 * [taylor]: Taking taylor expansion of (pow (pow e 3) 1/4) in v
2.227 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow e 3)))) in v
2.227 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow e 3))) in v
2.227 * [taylor]: Taking taylor expansion of 1/4 in v
2.227 * [taylor]: Taking taylor expansion of (log (pow e 3)) in v
2.227 * [taylor]: Taking taylor expansion of (pow e 3) in v
2.227 * [taylor]: Taking taylor expansion of e in v
2.237 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow e 3)) 1/4) (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in (e v) around 0
2.237 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow e 3)) 1/4) (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in v
2.237 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow e 3)) 1/4) in v
2.237 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (pow e 3))))) in v
2.237 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (pow e 3)))) in v
2.237 * [taylor]: Taking taylor expansion of 1/4 in v
2.237 * [taylor]: Taking taylor expansion of (log (/ 1 (pow e 3))) in v
2.237 * [taylor]: Taking taylor expansion of (/ 1 (pow e 3)) in v
2.237 * [taylor]: Taking taylor expansion of (pow e 3) in v
2.237 * [taylor]: Taking taylor expansion of e in v
2.237 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in v
2.237 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
2.237 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.237 * [taylor]: Taking taylor expansion of v in v
2.238 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in v
2.238 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0)
2.238 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in v
2.238 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
2.238 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.238 * [taylor]: Taking taylor expansion of v in v
2.238 * [taylor]: Taking taylor expansion of (/ 1 e) in v
2.238 * [taylor]: Taking taylor expansion of e in v
2.238 * [taylor]: Taking taylor expansion of 1.0 in v
2.239 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow e 3)) 1/4) (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e
2.239 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow e 3)) 1/4) in e
2.239 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (pow e 3))))) in e
2.239 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (pow e 3)))) in e
2.239 * [taylor]: Taking taylor expansion of 1/4 in e
2.239 * [taylor]: Taking taylor expansion of (log (/ 1 (pow e 3))) in e
2.239 * [taylor]: Taking taylor expansion of (/ 1 (pow e 3)) in e
2.239 * [taylor]: Taking taylor expansion of (pow e 3) in e
2.239 * [taylor]: Taking taylor expansion of e in e
2.240 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e
2.240 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
2.240 * [taylor]: Taking taylor expansion of (/ 1 v) in e
2.240 * [taylor]: Taking taylor expansion of v in e
2.240 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e
2.240 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0)
2.240 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e
2.240 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
2.240 * [taylor]: Taking taylor expansion of (/ 1 v) in e
2.240 * [taylor]: Taking taylor expansion of v in e
2.241 * [taylor]: Taking taylor expansion of (/ 1 e) in e
2.241 * [taylor]: Taking taylor expansion of e in e
2.241 * [taylor]: Taking taylor expansion of 1.0 in e
2.241 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow e 3)) 1/4) (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e
2.241 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow e 3)) 1/4) in e
2.242 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (pow e 3))))) in e
2.242 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (pow e 3)))) in e
2.242 * [taylor]: Taking taylor expansion of 1/4 in e
2.242 * [taylor]: Taking taylor expansion of (log (/ 1 (pow e 3))) in e
2.242 * [taylor]: Taking taylor expansion of (/ 1 (pow e 3)) in e
2.242 * [taylor]: Taking taylor expansion of (pow e 3) in e
2.242 * [taylor]: Taking taylor expansion of e in e
2.243 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e
2.243 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
2.243 * [taylor]: Taking taylor expansion of (/ 1 v) in e
2.243 * [taylor]: Taking taylor expansion of v in e
2.243 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e
2.243 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0)
2.243 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e
2.243 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
2.243 * [taylor]: Taking taylor expansion of (/ 1 v) in e
2.243 * [taylor]: Taking taylor expansion of v in e
2.243 * [taylor]: Taking taylor expansion of (/ 1 e) in e
2.243 * [taylor]: Taking taylor expansion of e in e
2.244 * [taylor]: Taking taylor expansion of 1.0 in e
2.244 * [taylor]: Taking taylor expansion of (* (/ (sin (/ 1 v)) (cos (/ 1 v))) (pow (/ 1 (pow e 3)) 1/4)) in v
2.244 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v
2.244 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
2.244 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.244 * [taylor]: Taking taylor expansion of v in v
2.245 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
2.245 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.245 * [taylor]: Taking taylor expansion of v in v
2.245 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow e 3)) 1/4) in v
2.245 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (pow e 3))))) in v
2.245 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (pow e 3)))) in v
2.245 * [taylor]: Taking taylor expansion of 1/4 in v
2.245 * [taylor]: Taking taylor expansion of (log (/ 1 (pow e 3))) in v
2.245 * [taylor]: Taking taylor expansion of (/ 1 (pow e 3)) in v
2.245 * [taylor]: Taking taylor expansion of (pow e 3) in v
2.245 * [taylor]: Taking taylor expansion of e in v
2.254 * [taylor]: Taking taylor expansion of (- (* 1.0 (* (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) (pow (/ 1 (pow e 3)) 1/4)))) in v
2.254 * [taylor]: Taking taylor expansion of (* 1.0 (* (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) (pow (/ 1 (pow e 3)) 1/4))) in v
2.254 * [taylor]: Taking taylor expansion of 1.0 in v
2.254 * [taylor]: Taking taylor expansion of (* (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) (pow (/ 1 (pow e 3)) 1/4)) in v
2.254 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v
2.254 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
2.254 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.254 * [taylor]: Taking taylor expansion of v in v
2.254 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v
2.254 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
2.254 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.254 * [taylor]: Taking taylor expansion of v in v
2.255 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow e 3)) 1/4) in v
2.255 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (pow e 3))))) in v
2.255 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (pow e 3)))) in v
2.255 * [taylor]: Taking taylor expansion of 1/4 in v
2.255 * [taylor]: Taking taylor expansion of (log (/ 1 (pow e 3))) in v
2.255 * [taylor]: Taking taylor expansion of (/ 1 (pow e 3)) in v
2.255 * [taylor]: Taking taylor expansion of (pow e 3) in v
2.255 * [taylor]: Taking taylor expansion of e in v
2.269 * [taylor]: Taking taylor expansion of (* 1.0 (* (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) (pow (/ 1 (pow e 3)) 1/4))) in v
2.269 * [taylor]: Taking taylor expansion of 1.0 in v
2.269 * [taylor]: Taking taylor expansion of (* (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) (pow (/ 1 (pow e 3)) 1/4)) in v
2.269 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) in v
2.269 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
2.269 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.269 * [taylor]: Taking taylor expansion of v in v
2.269 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 3) in v
2.269 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
2.269 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.269 * [taylor]: Taking taylor expansion of v in v
2.270 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow e 3)) 1/4) in v
2.270 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (pow e 3))))) in v
2.270 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (pow e 3)))) in v
2.270 * [taylor]: Taking taylor expansion of 1/4 in v
2.270 * [taylor]: Taking taylor expansion of (log (/ 1 (pow e 3))) in v
2.270 * [taylor]: Taking taylor expansion of (/ 1 (pow e 3)) in v
2.270 * [taylor]: Taking taylor expansion of (pow e 3) in v
2.270 * [taylor]: Taking taylor expansion of e in v
2.273 * [approximate]: Taking taylor expansion of (* (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) (sqrt (pow (sqrt (/ -1 e)) 3))) in (e v) around 0
2.273 * [taylor]: Taking taylor expansion of (* (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) (sqrt (pow (sqrt (/ -1 e)) 3))) in v
2.273 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in v
2.273 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.273 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.273 * [taylor]: Taking taylor expansion of -1 in v
2.273 * [taylor]: Taking taylor expansion of v in v
2.273 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in v
2.273 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0)
2.273 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in v
2.273 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.273 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.273 * [taylor]: Taking taylor expansion of -1 in v
2.274 * [taylor]: Taking taylor expansion of v in v
2.274 * [taylor]: Taking taylor expansion of (/ -1 e) in v
2.274 * [taylor]: Taking taylor expansion of -1 in v
2.274 * [taylor]: Taking taylor expansion of e in v
2.274 * [taylor]: Taking taylor expansion of 1.0 in v
2.274 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt (/ -1 e)) 3)) in v
2.274 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 3) in v
2.274 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in v
2.274 * [taylor]: Taking taylor expansion of (/ -1 e) in v
2.274 * [taylor]: Taking taylor expansion of -1 in v
2.274 * [taylor]: Taking taylor expansion of e in v
2.275 * [taylor]: Taking taylor expansion of (* (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) (sqrt (pow (sqrt (/ -1 e)) 3))) in e
2.275 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e
2.275 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
2.275 * [taylor]: Taking taylor expansion of (/ -1 v) in e
2.275 * [taylor]: Taking taylor expansion of -1 in e
2.275 * [taylor]: Taking taylor expansion of v in e
2.275 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e
2.275 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0)
2.275 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e
2.275 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
2.275 * [taylor]: Taking taylor expansion of (/ -1 v) in e
2.275 * [taylor]: Taking taylor expansion of -1 in e
2.275 * [taylor]: Taking taylor expansion of v in e
2.275 * [taylor]: Taking taylor expansion of (/ -1 e) in e
2.275 * [taylor]: Taking taylor expansion of -1 in e
2.275 * [taylor]: Taking taylor expansion of e in e
2.276 * [taylor]: Taking taylor expansion of 1.0 in e
2.276 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt (/ -1 e)) 3)) in e
2.276 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 3) in e
2.276 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e
2.276 * [taylor]: Taking taylor expansion of (/ -1 e) in e
2.276 * [taylor]: Taking taylor expansion of -1 in e
2.277 * [taylor]: Taking taylor expansion of e in e
2.284 * [taylor]: Taking taylor expansion of (* (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) (sqrt (pow (sqrt (/ -1 e)) 3))) in e
2.284 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e
2.284 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
2.284 * [taylor]: Taking taylor expansion of (/ -1 v) in e
2.284 * [taylor]: Taking taylor expansion of -1 in e
2.284 * [taylor]: Taking taylor expansion of v in e
2.284 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e
2.284 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0)
2.284 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e
2.284 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
2.284 * [taylor]: Taking taylor expansion of (/ -1 v) in e
2.284 * [taylor]: Taking taylor expansion of -1 in e
2.284 * [taylor]: Taking taylor expansion of v in e
2.284 * [taylor]: Taking taylor expansion of (/ -1 e) in e
2.284 * [taylor]: Taking taylor expansion of -1 in e
2.284 * [taylor]: Taking taylor expansion of e in e
2.285 * [taylor]: Taking taylor expansion of 1.0 in e
2.285 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt (/ -1 e)) 3)) in e
2.285 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 3) in e
2.285 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e
2.285 * [taylor]: Taking taylor expansion of (/ -1 e) in e
2.285 * [taylor]: Taking taylor expansion of -1 in e
2.285 * [taylor]: Taking taylor expansion of e in e
2.293 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt +nan.0) (sin (/ -1 v))) (cos (/ -1 v)))) in v
2.293 * [taylor]: Taking taylor expansion of -1 in v
2.293 * [taylor]: Taking taylor expansion of (/ (* (sqrt +nan.0) (sin (/ -1 v))) (cos (/ -1 v))) in v
2.293 * [taylor]: Taking taylor expansion of (* (sqrt +nan.0) (sin (/ -1 v))) in v
2.293 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in v
2.293 * [taylor]: Taking taylor expansion of +nan.0 in v
2.293 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.293 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.293 * [taylor]: Taking taylor expansion of -1 in v
2.293 * [taylor]: Taking taylor expansion of v in v
2.294 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.294 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.294 * [taylor]: Taking taylor expansion of -1 in v
2.294 * [taylor]: Taking taylor expansion of v in v
2.301 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ (* (sqrt +nan.0) (sin (/ -1 v))) (pow (cos (/ -1 v)) 2))) (- (* +nan.0 (/ (sin (/ -1 v)) (* (sqrt +nan.0) (cos (/ -1 v)))))))) in v
2.301 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ (* (sqrt +nan.0) (sin (/ -1 v))) (pow (cos (/ -1 v)) 2))) (- (* +nan.0 (/ (sin (/ -1 v)) (* (sqrt +nan.0) (cos (/ -1 v))))))) in v
2.301 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (sqrt +nan.0) (sin (/ -1 v))) (pow (cos (/ -1 v)) 2))) in v
2.301 * [taylor]: Taking taylor expansion of 1.0 in v
2.301 * [taylor]: Taking taylor expansion of (/ (* (sqrt +nan.0) (sin (/ -1 v))) (pow (cos (/ -1 v)) 2)) in v
2.301 * [taylor]: Taking taylor expansion of (* (sqrt +nan.0) (sin (/ -1 v))) in v
2.301 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in v
2.301 * [taylor]: Taking taylor expansion of +nan.0 in v
2.302 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.302 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.302 * [taylor]: Taking taylor expansion of -1 in v
2.302 * [taylor]: Taking taylor expansion of v in v
2.302 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v
2.302 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.302 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.302 * [taylor]: Taking taylor expansion of -1 in v
2.302 * [taylor]: Taking taylor expansion of v in v
2.303 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ -1 v)) (* (sqrt +nan.0) (cos (/ -1 v)))))) in v
2.303 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (* (sqrt +nan.0) (cos (/ -1 v))))) in v
2.303 * [taylor]: Taking taylor expansion of +nan.0 in v
2.303 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (sqrt +nan.0) (cos (/ -1 v)))) in v
2.303 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.303 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.303 * [taylor]: Taking taylor expansion of -1 in v
2.303 * [taylor]: Taking taylor expansion of v in v
2.304 * [taylor]: Taking taylor expansion of (* (sqrt +nan.0) (cos (/ -1 v))) in v
2.304 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in v
2.304 * [taylor]: Taking taylor expansion of +nan.0 in v
2.304 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.304 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.304 * [taylor]: Taking taylor expansion of -1 in v
2.305 * [taylor]: Taking taylor expansion of v in v
2.336 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (sin (/ -1 v)) (* (sqrt +nan.0) (pow (cos (/ -1 v)) 2)))) (- (* 1.0 (/ (* (sqrt +nan.0) (sin (/ -1 v))) (pow (cos (/ -1 v)) 3))) (+ (* +nan.0 (/ (sin (/ -1 v)) (* (pow (sqrt +nan.0) 3) (cos (/ -1 v))))) (- (* +nan.0 (/ (sin (/ -1 v)) (* (sqrt +nan.0) (cos (/ -1 v)))))))))) in v
2.336 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (sin (/ -1 v)) (* (sqrt +nan.0) (pow (cos (/ -1 v)) 2)))) (- (* 1.0 (/ (* (sqrt +nan.0) (sin (/ -1 v))) (pow (cos (/ -1 v)) 3))) (+ (* +nan.0 (/ (sin (/ -1 v)) (* (pow (sqrt +nan.0) 3) (cos (/ -1 v))))) (- (* +nan.0 (/ (sin (/ -1 v)) (* (sqrt +nan.0) (cos (/ -1 v))))))))) in v
2.336 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (* (sqrt +nan.0) (pow (cos (/ -1 v)) 2)))) in v
2.336 * [taylor]: Taking taylor expansion of +nan.0 in v
2.336 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (sqrt +nan.0) (pow (cos (/ -1 v)) 2))) in v
2.336 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.336 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.336 * [taylor]: Taking taylor expansion of -1 in v
2.336 * [taylor]: Taking taylor expansion of v in v
2.336 * [taylor]: Taking taylor expansion of (* (sqrt +nan.0) (pow (cos (/ -1 v)) 2)) in v
2.336 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in v
2.336 * [taylor]: Taking taylor expansion of +nan.0 in v
2.337 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v
2.337 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.337 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.337 * [taylor]: Taking taylor expansion of -1 in v
2.337 * [taylor]: Taking taylor expansion of v in v
2.338 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (* (sqrt +nan.0) (sin (/ -1 v))) (pow (cos (/ -1 v)) 3))) (+ (* +nan.0 (/ (sin (/ -1 v)) (* (pow (sqrt +nan.0) 3) (cos (/ -1 v))))) (- (* +nan.0 (/ (sin (/ -1 v)) (* (sqrt +nan.0) (cos (/ -1 v)))))))) in v
2.338 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (sqrt +nan.0) (sin (/ -1 v))) (pow (cos (/ -1 v)) 3))) in v
2.338 * [taylor]: Taking taylor expansion of 1.0 in v
2.338 * [taylor]: Taking taylor expansion of (/ (* (sqrt +nan.0) (sin (/ -1 v))) (pow (cos (/ -1 v)) 3)) in v
2.338 * [taylor]: Taking taylor expansion of (* (sqrt +nan.0) (sin (/ -1 v))) in v
2.338 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in v
2.338 * [taylor]: Taking taylor expansion of +nan.0 in v
2.339 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.339 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.339 * [taylor]: Taking taylor expansion of -1 in v
2.339 * [taylor]: Taking taylor expansion of v in v
2.339 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 3) in v
2.339 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.339 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.339 * [taylor]: Taking taylor expansion of -1 in v
2.339 * [taylor]: Taking taylor expansion of v in v
2.340 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (sin (/ -1 v)) (* (pow (sqrt +nan.0) 3) (cos (/ -1 v))))) (- (* +nan.0 (/ (sin (/ -1 v)) (* (sqrt +nan.0) (cos (/ -1 v))))))) in v
2.340 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (* (pow (sqrt +nan.0) 3) (cos (/ -1 v))))) in v
2.340 * [taylor]: Taking taylor expansion of +nan.0 in v
2.341 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (pow (sqrt +nan.0) 3) (cos (/ -1 v)))) in v
2.341 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.341 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.341 * [taylor]: Taking taylor expansion of -1 in v
2.341 * [taylor]: Taking taylor expansion of v in v
2.341 * [taylor]: Taking taylor expansion of (* (pow (sqrt +nan.0) 3) (cos (/ -1 v))) in v
2.341 * [taylor]: Taking taylor expansion of (pow (sqrt +nan.0) 3) in v
2.341 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in v
2.341 * [taylor]: Taking taylor expansion of +nan.0 in v
2.342 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.342 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.342 * [taylor]: Taking taylor expansion of -1 in v
2.342 * [taylor]: Taking taylor expansion of v in v
2.345 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ -1 v)) (* (sqrt +nan.0) (cos (/ -1 v)))))) in v
2.345 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (* (sqrt +nan.0) (cos (/ -1 v))))) in v
2.345 * [taylor]: Taking taylor expansion of +nan.0 in v
2.345 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (sqrt +nan.0) (cos (/ -1 v)))) in v
2.345 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.345 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.345 * [taylor]: Taking taylor expansion of -1 in v
2.345 * [taylor]: Taking taylor expansion of v in v
2.346 * [taylor]: Taking taylor expansion of (* (sqrt +nan.0) (cos (/ -1 v))) in v
2.346 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in v
2.346 * [taylor]: Taking taylor expansion of +nan.0 in v
2.346 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.346 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.346 * [taylor]: Taking taylor expansion of -1 in v
2.346 * [taylor]: Taking taylor expansion of v in v
2.365 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
2.365 * [approximate]: Taking taylor expansion of (pow e 1/4) in (e) around 0
2.365 * [taylor]: Taking taylor expansion of (pow e 1/4) in e
2.365 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log e))) in e
2.365 * [taylor]: Taking taylor expansion of (* 1/4 (log e)) in e
2.365 * [taylor]: Taking taylor expansion of 1/4 in e
2.365 * [taylor]: Taking taylor expansion of (log e) in e
2.365 * [taylor]: Taking taylor expansion of e in e
2.365 * [taylor]: Taking taylor expansion of (pow e 1/4) in e
2.365 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log e))) in e
2.365 * [taylor]: Taking taylor expansion of (* 1/4 (log e)) in e
2.365 * [taylor]: Taking taylor expansion of 1/4 in e
2.365 * [taylor]: Taking taylor expansion of (log e) in e
2.365 * [taylor]: Taking taylor expansion of e in e
2.417 * [approximate]: Taking taylor expansion of (pow (/ 1 e) 1/4) in (e) around 0
2.418 * [taylor]: Taking taylor expansion of (pow (/ 1 e) 1/4) in e
2.418 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 e)))) in e
2.418 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 e))) in e
2.418 * [taylor]: Taking taylor expansion of 1/4 in e
2.418 * [taylor]: Taking taylor expansion of (log (/ 1 e)) in e
2.418 * [taylor]: Taking taylor expansion of (/ 1 e) in e
2.418 * [taylor]: Taking taylor expansion of e in e
2.418 * [taylor]: Taking taylor expansion of (pow (/ 1 e) 1/4) in e
2.419 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 e)))) in e
2.419 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 e))) in e
2.419 * [taylor]: Taking taylor expansion of 1/4 in e
2.419 * [taylor]: Taking taylor expansion of (log (/ 1 e)) in e
2.419 * [taylor]: Taking taylor expansion of (/ 1 e) in e
2.419 * [taylor]: Taking taylor expansion of e in e
2.468 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 e))) in (e) around 0
2.468 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 e))) in e
2.468 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e
2.468 * [taylor]: Taking taylor expansion of (/ -1 e) in e
2.468 * [taylor]: Taking taylor expansion of -1 in e
2.468 * [taylor]: Taking taylor expansion of e in e
2.473 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 e))) in e
2.473 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e
2.473 * [taylor]: Taking taylor expansion of (/ -1 e) in e
2.473 * [taylor]: Taking taylor expansion of -1 in e
2.473 * [taylor]: Taking taylor expansion of e in e
2.498 * * * [progress]: simplifying candidates
2.500 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (log1p (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (+ (log (sqrt (sqrt e))) (+ (log (sqrt (sqrt e))) (- (+ (log (sqrt e)) (log (sin v))) (log (fma (cos v) e 1.0)))))
  (+ (log (sqrt (sqrt e))) (+ (log (sqrt (sqrt e))) (- (log (* (sqrt e) (sin v))) (log (fma (cos v) e 1.0)))))
  (+ (log (sqrt (sqrt e))) (+ (log (sqrt (sqrt e))) (log (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (+ (log (sqrt (sqrt e))) (log (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (log (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (exp (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (* (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e))) (* (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e))) (/ (* (* (* (sqrt e) (sqrt e)) (sqrt 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)))))
  (* (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e))) (* (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e))) (/ (* (* (* (sqrt e) (sin v)) (* (sqrt e) (sin v))) (* (sqrt e) (sin v))) (* (* (fma (cos v) e 1.0) (fma (cos v) e 1.0)) (fma (cos v) e 1.0)))))
  (* (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e))) (* (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e))) (* (* (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (* (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e))) (* (* (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (* (cbrt (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))) (cbrt (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))))
  (cbrt (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (* (* (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (sqrt (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (sqrt (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (* (sqrt (sqrt e)) (sqrt (sqrt e)))
  (* (cbrt (sqrt (sqrt e))) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (cbrt (sqrt e))) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt (cbrt e))) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt (sqrt e))) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt (sqrt e))) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt (sqrt e))) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (* (sqrt e) (sin v))))
  (expm1 (* (sqrt e) (sin v)))
  (log1p (* (sqrt e) (sin v)))
  (* (sqrt e) (sin v))
  (+ (log (sqrt e)) (log (sin v)))
  (log (* (sqrt e) (sin v)))
  (exp (* (sqrt e) (sin v)))
  (* (* (* (sqrt e) (sqrt e)) (sqrt e)) (* (* (sin v) (sin v)) (sin v)))
  (* (cbrt (* (sqrt e) (sin v))) (cbrt (* (sqrt e) (sin v))))
  (cbrt (* (sqrt e) (sin v)))
  (* (* (* (sqrt e) (sin v)) (* (sqrt e) (sin v))) (* (sqrt e) (sin v)))
  (sqrt (* (sqrt e) (sin v)))
  (sqrt (* (sqrt e) (sin v)))
  (* (sqrt (sqrt e)) (sqrt (sin v)))
  (* (sqrt (sqrt e)) (sqrt (sin v)))
  (* (sqrt (sqrt e)) (sqrt (sin v)))
  (* (sqrt (sqrt e)) (sqrt (sin v)))
  (* (sqrt e) (* (cbrt (sin v)) (cbrt (sin v))))
  (* (sqrt e) (sqrt (sin v)))
  (* (sqrt e) 1)
  (* (cbrt (sqrt e)) (sin v))
  (* (sqrt (cbrt e)) (sin v))
  (* (sqrt (sqrt e)) (sin v))
  (* (sqrt e) (sin v))
  (* (sqrt (sqrt e)) (sin v))
  (* (sqrt e) (sin v))
  (expm1 (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (log1p (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (+ (log (sqrt (sqrt e))) (- (+ (log (sqrt e)) (log (sin v))) (log (fma (cos v) e 1.0))))
  (+ (log (sqrt (sqrt e))) (- (log (* (sqrt e) (sin v))) (log (fma (cos v) e 1.0))))
  (+ (log (sqrt (sqrt e))) (log (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (log (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (exp (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e))) (/ (* (* (* (sqrt e) (sqrt e)) (sqrt 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))))
  (* (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e))) (/ (* (* (* (sqrt e) (sin v)) (* (sqrt e) (sin v))) (* (sqrt e) (sin v))) (* (* (fma (cos v) e 1.0) (fma (cos v) e 1.0)) (fma (cos v) e 1.0))))
  (* (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e))) (* (* (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (cbrt (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))) (cbrt (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (cbrt (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (* (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (sqrt (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (sqrt (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt (sqrt e))) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt (sqrt e))) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt (sqrt e))) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt (sqrt e))) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt (sqrt e))) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt (sqrt e))) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt e)) (* (cbrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))) (cbrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (* (sqrt (sqrt e)) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt e)) (/ (sqrt e) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))))
  (* (sqrt (sqrt e)) (/ (sqrt e) (sqrt (fma (cos v) e 1.0))))
  (* (sqrt (sqrt e)) (/ (sqrt e) 1))
  (* (sqrt (sqrt e)) 1)
  (* (sqrt (sqrt e)) (* (sqrt e) (sin v)))
  (* (cbrt (sqrt (sqrt e))) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (* (sqrt (cbrt (sqrt e))) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (* (sqrt (sqrt (cbrt e))) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (* (sqrt (sqrt (sqrt e))) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (* (sqrt (sqrt (sqrt e))) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (* (sqrt (sqrt (sqrt e))) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (* (sqrt (sqrt e)) (* (sqrt e) (sin v)))
  (expm1 (sqrt (sqrt e)))
  (log1p (sqrt (sqrt e)))
  (log (sqrt (sqrt e)))
  (exp (sqrt (sqrt e)))
  (* (cbrt (sqrt (sqrt e))) (cbrt (sqrt (sqrt e))))
  (cbrt (sqrt (sqrt e)))
  (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e)))
  (sqrt (* (cbrt (sqrt e)) (cbrt (sqrt e))))
  (sqrt (cbrt (sqrt e)))
  (sqrt (sqrt (* (cbrt e) (cbrt e))))
  (sqrt (sqrt (cbrt e)))
  (sqrt (sqrt (sqrt e)))
  (sqrt (sqrt (sqrt e)))
  (sqrt (sqrt 1))
  (sqrt (sqrt e))
  (sqrt (sqrt (sqrt e)))
  (sqrt (sqrt (sqrt e)))
  (sqrt 1)
  (sqrt (sqrt e))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt e)))
  (sqrt (sqrt (sqrt 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))))
  (- (+ (* +nan.0 (/ (sin v) (* (cos v) e))) (- (+ (* +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 3)))) (- (+ (* +nan.0 (/ (sin v) (* (pow (cos v) 3) (pow e 3)))) (- (+ (* +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 2)))) (- (+ (* +nan.0 (/ (sin v) (* (cos v) (pow e 3)))) (- (* +nan.0 (/ (sin v) (* (cos v) (pow e 2)))))))))))))))
  (- (+ (* +nan.0 (* (pow e 3) v)) (- (+ (* +nan.0 (* e v)) (- (* +nan.0 (* (pow e 2) v)))))))
  (- (+ (* +nan.0 (/ (sin v) e)) (- (+ (* +nan.0 (sin v)) (- (* +nan.0 (/ (sin v) (pow e 2))))))))
  (- (+ (* +nan.0 (/ (sin v) e)) (- (+ (* +nan.0 (sin v)) (- (* +nan.0 (/ (sin v) (pow e 2))))))))
  (- (+ (* 1.0 (* (pow (pow e 11) 1/4) v)) (* 1.0 (* (pow (pow e 3) 1/4) v))) (* 1.0 (* (pow (pow e 7) 1/4) v)))
  (- (+ (* 1.0 (* (/ (sin v) (pow (cos v) 3)) (pow (/ 1 (pow e 9)) 1/4))) (* (/ (sin v) (cos v)) (pow (/ 1 e) 1/4))) (* 1.0 (* (/ (sin v) (pow (cos v) 2)) (pow (/ 1 (pow e 5)) 1/4))))
  (- (+ (* 1.0 (/ (* (sqrt +nan.0) (sin v)) (* (pow e 3) (pow (cos v) 3)))) (/ (* (sqrt +nan.0) (sin v)) (* e (cos v)))) (+ (* +nan.0 (/ (sin v) (* (pow (sqrt +nan.0) 3) (* (pow e 3) (cos v))))) (- (* 1.0 (/ (* (sqrt +nan.0) (sin v)) (* (pow e 2) (pow (cos v) 2)))) (+ (* +nan.0 (/ (sin v) (* (sqrt +nan.0) (* (pow e 2) (cos v))))) (- (+ (* +nan.0 (/ (sin v) (* (sqrt +nan.0) (* (pow e 3) (pow (cos v) 2))))) (- (* +nan.0 (/ (sin v) (* (sqrt +nan.0) (* (pow e 3) (cos v))))))))))))
  (pow e 1/4)
  (pow (/ 1 e) -1/4)
  (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow e 2)))) (- (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) e))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow e 2)))))))))
2.508 * * [simplify]: iteration  0 :  796  enodes  (cost  1302 )
2.524 * * [simplify]: iteration  1 :  3756  enodes  (cost  1087 )
2.589 * * [simplify]: iteration  2 :  5003  enodes  (cost  1033 )
2.595 * [simplify]: Simplified to:
   (expm1 (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (log1p (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (/ e (/ (fma (cos v) e 1.0) (sin v)))
  (/ e (/ (fma (cos v) e 1.0) (sin v)))
  (- (log e) (log (/ (fma (cos v) e 1.0) (sin v))))
  (- (log e) (log (/ (fma (cos v) e 1.0) (sin v))))
  (- (log e) (log (/ (fma (cos v) e 1.0) (sin v))))
  (- (log e) (log (/ (fma (cos v) e 1.0) (sin v))))
  (- (log e) (log (/ (fma (cos v) e 1.0) (sin v))))
  (pow (exp (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (/ (pow e 3) (pow (/ (fma (cos v) e 1.0) (sin v)) 3))
  (/ (pow e 3) (pow (/ (fma (cos v) e 1.0) (sin v)) 3))
  (/ (pow e 3) (pow (/ (fma (cos v) e 1.0) (sin v)) 3))
  (/ (pow e 3) (pow (/ (fma (cos v) e 1.0) (sin v)) 3))
  (* (cbrt (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))) (cbrt (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))))
  (cbrt (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (/ (pow e 3) (pow (/ (fma (cos v) e 1.0) (sin v)) 3))
  (sqrt (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (sqrt (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (sqrt e)
  (* (cbrt (sqrt (sqrt e))) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (cbrt (sqrt e))) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt (cbrt e))) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt (sqrt e))) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (/ e (/ (fma (cos v) e 1.0) (sin v)))
  (* (sqrt (sqrt (sqrt e))) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (/ e (/ (fma (cos v) e 1.0) (sin v)))
  (* (sqrt (sqrt (sqrt e))) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (/ e (/ (fma (cos v) e 1.0) (sin v)))
  (* e (sin v))
  (expm1 (* (sqrt e) (sin v)))
  (log1p (* (sqrt e) (sin v)))
  (* (sqrt e) (sin v))
  (log (* (sqrt e) (sin v)))
  (log (* (sqrt e) (sin v)))
  (exp (* (sqrt e) (sin v)))
  (pow (* (sqrt e) (sin v)) 3)
  (* (cbrt (* (sqrt e) (sin v))) (cbrt (* (sqrt e) (sin v))))
  (cbrt (* (sqrt e) (sin v)))
  (pow (* (sqrt e) (sin v)) 3)
  (sqrt (* (sqrt e) (sin v)))
  (sqrt (* (sqrt e) (sin v)))
  (* (sqrt (sqrt e)) (sqrt (sin v)))
  (* (sqrt (sqrt e)) (sqrt (sin v)))
  (* (sqrt (sqrt e)) (sqrt (sin v)))
  (* (sqrt (sqrt e)) (sqrt (sin v)))
  (* (sqrt e) (* (cbrt (sin v)) (cbrt (sin v))))
  (* (sqrt e) (sqrt (sin v)))
  (sqrt e)
  (* (cbrt (sqrt e)) (sin v))
  (* (sqrt (cbrt e)) (sin v))
  (* (sqrt (sqrt e)) (sin v))
  (* (sqrt e) (sin v))
  (* (sqrt (sqrt e)) (sin v))
  (* (sqrt e) (sin v))
  (expm1 (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (log1p (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (/ (pow (sqrt (sqrt e)) 3) (/ (fma (cos v) e 1.0) (sin v)))
  (log (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (log (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (log (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (log (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (exp (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (pow (/ (pow (sqrt (sqrt e)) 3) (/ (fma (cos v) e 1.0) (sin v))) 3)
  (pow (/ (pow (sqrt (sqrt e)) 3) (/ (fma (cos v) e 1.0) (sin v))) 3)
  (pow (/ (pow (sqrt (sqrt e)) 3) (/ (fma (cos v) e 1.0) (sin v))) 3)
  (* (cbrt (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))) (cbrt (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (cbrt (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (pow (/ (pow (sqrt (sqrt e)) 3) (/ (fma (cos v) e 1.0) (sin v))) 3)
  (sqrt (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (sqrt (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt (sqrt e))) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt (sqrt e))) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt (sqrt e))) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt (sqrt e))) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt (sqrt e))) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt (sqrt e))) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (* (sqrt (sqrt e)) (* (cbrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))) (cbrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))
  (* (sqrt (sqrt e)) (sqrt (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))
  (/ (/ (pow (sqrt (sqrt e)) 3) (cbrt (fma (cos v) e 1.0))) (cbrt (fma (cos v) e 1.0)))
  (* (sqrt (sqrt e)) (/ (sqrt e) (sqrt (fma (cos v) e 1.0))))
  (pow (sqrt (sqrt e)) 3)
  (sqrt (sqrt e))
  (* (sin v) (pow (sqrt (sqrt e)) 3))
  (* (cbrt (sqrt (sqrt e))) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (* (sqrt (cbrt (sqrt e))) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (* (sqrt (sqrt (cbrt e))) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (* (sqrt (sqrt (sqrt e))) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (/ (pow (sqrt (sqrt e)) 3) (/ (fma (cos v) e 1.0) (sin v)))
  (* (sqrt (sqrt (sqrt e))) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (/ (pow (sqrt (sqrt e)) 3) (/ (fma (cos v) e 1.0) (sin v)))
  (* (sqrt (sqrt (sqrt e))) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))
  (/ (pow (sqrt (sqrt e)) 3) (/ (fma (cos v) e 1.0) (sin v)))
  (* (sin v) (pow (sqrt (sqrt e)) 3))
  (expm1 (sqrt (sqrt e)))
  (log1p (sqrt (sqrt e)))
  (log (sqrt (sqrt e)))
  (exp (sqrt (sqrt e)))
  (* (cbrt (sqrt (sqrt e))) (cbrt (sqrt (sqrt e))))
  (cbrt (sqrt (sqrt e)))
  (pow (sqrt (sqrt e)) 3)
  (fabs (cbrt (sqrt e)))
  (sqrt (cbrt (sqrt e)))
  (sqrt (sqrt (* (cbrt e) (cbrt e))))
  (sqrt (sqrt (cbrt e)))
  (sqrt (sqrt (sqrt e)))
  (sqrt (sqrt (sqrt e)))
  1
  (sqrt (sqrt e))
  (sqrt (sqrt (sqrt e)))
  (sqrt (sqrt (sqrt e)))
  1
  (sqrt (sqrt e))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt e)))
  (sqrt (sqrt (sqrt e)))
  (* 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 (- +nan.0) (/ (sin v) (* (cos v) e)) (fma +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 3))) (fma (- +nan.0) (/ (sin v) (* (pow (cos v) 3) (pow e 3))) (fma +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 2))) (fma (- +nan.0) (/ (sin v) (* (cos v) (pow e 3))) (* +nan.0 (/ (sin v) (* (cos v) (pow e 2)))))))))
  (fma (- (* +nan.0 (pow e 3))) v (* +nan.0 (- (* e v) (* (pow e 2) v))))
  (fma (- +nan.0) (/ (sin v) e) (* +nan.0 (- (sin v) (/ (sin v) (pow e 2)))))
  (fma (- +nan.0) (/ (sin v) e) (* +nan.0 (- (sin v) (/ (sin v) (pow e 2)))))
  (* 1.0 (- (fma v (pow (pow e 11) 1/4) (* (pow (pow e 3) 1/4) v)) (* (pow (pow e 7) 1/4) v)))
  (fma (* 1.0 (/ (sin v) (pow (cos v) 3))) (pow (/ 1 (pow e 9)) 1/4) (- (* (/ (sin v) (cos v)) (pow (/ 1 e) 1/4)) (* 1.0 (* (/ (sin v) (pow (cos v) 2)) (pow (/ 1 (pow e 5)) 1/4)))))
  (+ (- (fma 1.0 (/ (* (sqrt +nan.0) (sin v)) (* (pow e 3) (pow (cos v) 3))) (/ (* (sqrt +nan.0) (sin v)) (* e (cos v)))) (fma +nan.0 (/ (sin v) (* (pow (sqrt +nan.0) 3) (* (pow e 3) (cos v)))) (* 1.0 (/ (* (sqrt +nan.0) (sin v)) (* (pow e 2) (pow (cos v) 2)))))) (- (* +nan.0 (/ (sin v) (* (sqrt +nan.0) (* (pow e 2) (cos v))))) (fma +nan.0 (/ (sin v) (* (sqrt +nan.0) (* (pow e 3) (pow (cos v) 2)))) (- (* +nan.0 (/ (sin v) (* (sqrt +nan.0) (* (pow e 3) (cos v)))))))))
  (pow e 1/4)
  (pow (/ 1 e) -1/4)
  (+ (- (sqrt +nan.0) (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow e 2))))) (* +nan.0 (- (/ 1 (* (sqrt +nan.0) e)) (/ 1 (* (sqrt +nan.0) (pow e 2))))))
2.595 * * * [progress]: adding candidates to table
2.896 * [progress]: [Phase 3 of 3] Extracting.
2.897 * * [regime]: Finding splitpoints for: (#<alt (λ (e v) (/ (* e (sin v)) (+ 1.0 (* e (cos v)))))> #<alt (λ (e v) (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))> #<alt (λ (e v) (/ e (fma 1.0 (/ 1 v) (fma 0.16666666666666666 v (/ e v)))))> #<alt (λ (e v) (/ 1 (/ (/ (fma (cos v) e 1.0) e) (sin v))))> #<alt (λ (e v) (/ (* (sqrt (* e (sin v))) (sqrt (* e (sin v)))) (+ 1.0 (* e (cos v)))))> #<alt (λ (e v) (/ e (cbrt (pow (/ (fma (cos v) e 1.0) (sin v)) 3))))> #<alt (λ (e v) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))> #<alt (λ (e v) (* (sqrt e) (/ (* (* (cbrt (* (sqrt e) (sin v))) (cbrt (* (sqrt e) (sin v)))) (cbrt (* (sqrt e) (sin v)))) (fma (cos v) e 1.0))))> #<alt (λ (e v) (* (sqrt (sqrt e)) (* (* (fabs (cbrt (sqrt e))) (sqrt (cbrt (sqrt e)))) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))>)
2.899 * * * [regime-changes]: Trying 3 branch expressions: ((/ (* e (sin v)) (+ 1.0 (* e (cos v)))) v e)
2.899 * * * * [regimes]: Trying to branch on (/ (* e (sin v)) (+ 1.0 (* e (cos v)))) from (#<alt (λ (e v) (/ (* e (sin v)) (+ 1.0 (* e (cos v)))))> #<alt (λ (e v) (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))> #<alt (λ (e v) (/ e (fma 1.0 (/ 1 v) (fma 0.16666666666666666 v (/ e v)))))> #<alt (λ (e v) (/ 1 (/ (/ (fma (cos v) e 1.0) e) (sin v))))> #<alt (λ (e v) (/ (* (sqrt (* e (sin v))) (sqrt (* e (sin v)))) (+ 1.0 (* e (cos v)))))> #<alt (λ (e v) (/ e (cbrt (pow (/ (fma (cos v) e 1.0) (sin v)) 3))))> #<alt (λ (e v) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))> #<alt (λ (e v) (* (sqrt e) (/ (* (* (cbrt (* (sqrt e) (sin v))) (cbrt (* (sqrt e) (sin v)))) (cbrt (* (sqrt e) (sin v)))) (fma (cos v) e 1.0))))> #<alt (λ (e v) (* (sqrt (sqrt e)) (* (* (fabs (cbrt (sqrt e))) (sqrt (cbrt (sqrt e)))) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))>)
2.943 * * * * [regimes]: Trying to branch on v from (#<alt (λ (e v) (/ (* e (sin v)) (+ 1.0 (* e (cos v)))))> #<alt (λ (e v) (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))> #<alt (λ (e v) (/ e (fma 1.0 (/ 1 v) (fma 0.16666666666666666 v (/ e v)))))> #<alt (λ (e v) (/ 1 (/ (/ (fma (cos v) e 1.0) e) (sin v))))> #<alt (λ (e v) (/ (* (sqrt (* e (sin v))) (sqrt (* e (sin v)))) (+ 1.0 (* e (cos v)))))> #<alt (λ (e v) (/ e (cbrt (pow (/ (fma (cos v) e 1.0) (sin v)) 3))))> #<alt (λ (e v) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))> #<alt (λ (e v) (* (sqrt e) (/ (* (* (cbrt (* (sqrt e) (sin v))) (cbrt (* (sqrt e) (sin v)))) (cbrt (* (sqrt e) (sin v)))) (fma (cos v) e 1.0))))> #<alt (λ (e v) (* (sqrt (sqrt e)) (* (* (fabs (cbrt (sqrt e))) (sqrt (cbrt (sqrt e)))) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))>)
2.977 * * * * [regimes]: Trying to branch on e from (#<alt (λ (e v) (/ (* e (sin v)) (+ 1.0 (* e (cos v)))))> #<alt (λ (e v) (* (sqrt e) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0))))> #<alt (λ (e v) (/ e (fma 1.0 (/ 1 v) (fma 0.16666666666666666 v (/ e v)))))> #<alt (λ (e v) (/ 1 (/ (/ (fma (cos v) e 1.0) e) (sin v))))> #<alt (λ (e v) (/ (* (sqrt (* e (sin v))) (sqrt (* e (sin v)))) (+ 1.0 (* e (cos v)))))> #<alt (λ (e v) (/ e (cbrt (pow (/ (fma (cos v) e 1.0) (sin v)) 3))))> #<alt (λ (e v) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))> #<alt (λ (e v) (* (sqrt e) (/ (* (* (cbrt (* (sqrt e) (sin v))) (cbrt (* (sqrt e) (sin v)))) (cbrt (* (sqrt e) (sin v)))) (fma (cos v) e 1.0))))> #<alt (λ (e v) (* (sqrt (sqrt e)) (* (* (fabs (cbrt (sqrt e))) (sqrt (cbrt (sqrt e)))) (/ (* (sqrt e) (sin v)) (fma (cos v) e 1.0)))))>)
3.012 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
3.012 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* e (sin v)) (+ 1.0 (* e (cos v))))
3.013 * * [simplify]: iteration  0 :  12  enodes  (cost  6 )
3.013 * * [simplify]: iteration  1 :  12  enodes  (cost  6 )
3.013 * [simplify]: Simplified to:
   (/ (* e (sin v)) (+ 1.0 (* e (cos v))))
5.223 * [regime-testing]: Baseline error score: 0.13652890830166872
5.224 * [regime-testing]: Oracle error score: 0.01770033285419692
5.225 * [regime-testing]: End program error score: 0.13652890830166872