0.800 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.301 * * * [progress]: [2/2] Setting up program. 0.305 * [progress]: [Phase 2 of 3] Improving. 0.308 * [simplify]: Simplifying using # : (/ (* e (sin v)) (+ 1.0 (* e (cos v)))) 0.310 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 0.314 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 0.316 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 0.318 * * [simplify]: iteration 3 : 23 enodes (cost 10 ) 0.320 * * [simplify]: iteration 4 : 24 enodes (cost 10 ) 0.323 * * [simplify]: iteration done : 24 enodes (cost 10 ) 0.323 * [simplify]: Simplified to: (/ (* e (sin v)) (fma (cos v) e 1.0)) 0.329 * * [progress]: iteration 1 / 4 0.329 * * * [progress]: picking best candidate 0.331 * * * * [pick]: Picked # 0.332 * * * [progress]: localizing error 0.343 * * * [progress]: generating rewritten candidates 0.344 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.349 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.364 * * * [progress]: generating series expansions 0.364 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.368 * [approximate]: Taking taylor expansion of (* e (sin v)) in (e v) around 0 0.369 * [taylor]: Taking taylor expansion of (* e (sin v)) in v 0.369 * [taylor]: Taking taylor expansion of e in v 0.369 * [taylor]: Taking taylor expansion of (sin v) in v 0.369 * [taylor]: Taking taylor expansion of v in v 0.369 * [taylor]: Taking taylor expansion of (* e (sin v)) in e 0.369 * [taylor]: Taking taylor expansion of e in e 0.369 * [taylor]: Taking taylor expansion of (sin v) in e 0.369 * [taylor]: Taking taylor expansion of v in e 0.370 * [taylor]: Taking taylor expansion of (* e (sin v)) in e 0.370 * [taylor]: Taking taylor expansion of e in e 0.370 * [taylor]: Taking taylor expansion of (sin v) in e 0.370 * [taylor]: Taking taylor expansion of v in e 0.371 * [taylor]: Taking taylor expansion of 0 in v 0.374 * [taylor]: Taking taylor expansion of (sin v) in v 0.374 * [taylor]: Taking taylor expansion of v in v 0.377 * [taylor]: Taking taylor expansion of 0 in v 0.380 * [taylor]: Taking taylor expansion of 0 in v 0.385 * [taylor]: Taking taylor expansion of 0 in v 0.385 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) e) in (e v) around 0 0.385 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) e) in v 0.386 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 0.386 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.386 * [taylor]: Taking taylor expansion of v in v 0.386 * [taylor]: Taking taylor expansion of e in v 0.386 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) e) in e 0.386 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 0.386 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.386 * [taylor]: Taking taylor expansion of v in e 0.386 * [taylor]: Taking taylor expansion of e in e 0.386 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) e) in e 0.387 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 0.387 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.387 * [taylor]: Taking taylor expansion of v in e 0.387 * [taylor]: Taking taylor expansion of e in e 0.387 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 0.387 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.387 * [taylor]: Taking taylor expansion of v in v 0.390 * [taylor]: Taking taylor expansion of 0 in v 0.392 * [taylor]: Taking taylor expansion of 0 in v 0.396 * [taylor]: Taking taylor expansion of 0 in v 0.397 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) e)) in (e v) around 0 0.397 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) e)) in v 0.397 * [taylor]: Taking taylor expansion of -1 in v 0.397 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) e) in v 0.397 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 0.397 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.397 * [taylor]: Taking taylor expansion of -1 in v 0.397 * [taylor]: Taking taylor expansion of v in v 0.397 * [taylor]: Taking taylor expansion of e in v 0.397 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) e)) in e 0.397 * [taylor]: Taking taylor expansion of -1 in e 0.397 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) e) in e 0.397 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 0.397 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.397 * [taylor]: Taking taylor expansion of -1 in e 0.397 * [taylor]: Taking taylor expansion of v in e 0.397 * [taylor]: Taking taylor expansion of e in e 0.398 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) e)) in e 0.398 * [taylor]: Taking taylor expansion of -1 in e 0.398 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) e) in e 0.398 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 0.398 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.398 * [taylor]: Taking taylor expansion of -1 in e 0.398 * [taylor]: Taking taylor expansion of v in e 0.398 * [taylor]: Taking taylor expansion of e in e 0.398 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 v))) in v 0.398 * [taylor]: Taking taylor expansion of -1 in v 0.398 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 0.398 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.398 * [taylor]: Taking taylor expansion of -1 in v 0.398 * [taylor]: Taking taylor expansion of v in v 0.401 * [taylor]: Taking taylor expansion of 0 in v 0.405 * [taylor]: Taking taylor expansion of 0 in v 0.410 * [taylor]: Taking taylor expansion of 0 in v 0.410 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.410 * [approximate]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in (e v) around 0 0.410 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in v 0.411 * [taylor]: Taking taylor expansion of (* e (sin v)) in v 0.411 * [taylor]: Taking taylor expansion of e in v 0.411 * [taylor]: Taking taylor expansion of (sin v) in v 0.411 * [taylor]: Taking taylor expansion of v in v 0.411 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in v 0.412 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 0.412 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 0.412 * [taylor]: Taking taylor expansion of (cos 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 1.0 in v 0.413 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in e 0.413 * [taylor]: Taking taylor expansion of (* e (sin v)) in e 0.413 * [taylor]: Taking taylor expansion of e in e 0.413 * [taylor]: Taking taylor expansion of (sin v) in e 0.413 * [taylor]: Taking taylor expansion of v in e 0.413 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e 0.413 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 0.413 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 0.413 * [taylor]: Taking taylor expansion of (cos 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 1.0 in e 0.416 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in e 0.416 * [taylor]: Taking taylor expansion of (* e (sin v)) in e 0.416 * [taylor]: Taking taylor expansion of e in e 0.416 * [taylor]: Taking taylor expansion of (sin v) in e 0.416 * [taylor]: Taking taylor expansion of v in e 0.416 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e 0.416 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 0.416 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 0.416 * [taylor]: Taking taylor expansion of (cos v) in e 0.416 * [taylor]: Taking taylor expansion of v in e 0.416 * [taylor]: Taking taylor expansion of e in e 0.416 * [taylor]: Taking taylor expansion of 1.0 in e 0.419 * [taylor]: Taking taylor expansion of (* 1.0 (sin v)) in v 0.419 * [taylor]: Taking taylor expansion of 1.0 in v 0.419 * [taylor]: Taking taylor expansion of (sin v) in v 0.419 * [taylor]: Taking taylor expansion of v in v 0.425 * [taylor]: Taking taylor expansion of (- (* 1.0 (* (cos v) (sin v)))) in v 0.425 * [taylor]: Taking taylor expansion of (* 1.0 (* (cos v) (sin v))) in v 0.426 * [taylor]: Taking taylor expansion of 1.0 in v 0.426 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v 0.426 * [taylor]: Taking taylor expansion of (cos v) in v 0.426 * [taylor]: Taking taylor expansion of v in v 0.426 * [taylor]: Taking taylor expansion of (sin v) in v 0.426 * [taylor]: Taking taylor expansion of v in v 0.436 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow (cos v) 2) (sin v))) in v 0.436 * [taylor]: Taking taylor expansion of 1.0 in v 0.436 * [taylor]: Taking taylor expansion of (* (pow (cos v) 2) (sin v)) in v 0.436 * [taylor]: Taking taylor expansion of (pow (cos v) 2) 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 (sin v) in v 0.436 * [taylor]: Taking taylor expansion of v in v 0.440 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in (e v) around 0 0.440 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in v 0.440 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 0.440 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.440 * [taylor]: Taking taylor expansion of v in v 0.441 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in v 0.441 * [taylor]: Taking taylor expansion of e in v 0.441 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in v 0.441 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 0.441 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in v 0.441 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 0.441 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.441 * [taylor]: Taking taylor expansion of v in v 0.441 * [taylor]: Taking taylor expansion of (/ 1 e) in v 0.441 * [taylor]: Taking taylor expansion of e in v 0.441 * [taylor]: Taking taylor expansion of 1.0 in v 0.442 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e 0.442 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 0.442 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.442 * [taylor]: Taking taylor expansion of v in e 0.442 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e 0.442 * [taylor]: Taking taylor expansion of e in e 0.442 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e 0.442 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 0.442 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e 0.442 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 0.442 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.442 * [taylor]: Taking taylor expansion of v in e 0.442 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.442 * [taylor]: Taking taylor expansion of e in e 0.442 * [taylor]: Taking taylor expansion of 1.0 in e 0.446 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e 0.446 * [taylor]: Taking taylor expansion of (sin (/ 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 (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e 0.446 * [taylor]: Taking taylor expansion of e in e 0.446 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e 0.447 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 0.447 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e 0.447 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 0.447 * [taylor]: Taking taylor expansion of (/ 1 v) in e 0.447 * [taylor]: Taking taylor expansion of v in e 0.447 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.447 * [taylor]: Taking taylor expansion of e in e 0.447 * [taylor]: Taking taylor expansion of 1.0 in e 0.451 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v 0.451 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 0.451 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.451 * [taylor]: Taking taylor expansion of v in v 0.451 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 0.451 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.451 * [taylor]: Taking taylor expansion of v in v 0.462 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)))) in v 0.462 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v 0.462 * [taylor]: Taking taylor expansion of 1.0 in v 0.462 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v 0.462 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 0.462 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.462 * [taylor]: Taking taylor expansion of v in v 0.463 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v 0.463 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 0.463 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.463 * [taylor]: Taking taylor expansion of v in v 0.471 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3))) in v 0.471 * [taylor]: Taking taylor expansion of 1.0 in v 0.471 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) in v 0.471 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 0.471 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.471 * [taylor]: Taking taylor expansion of v in v 0.471 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 3) in v 0.471 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 0.471 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.472 * [taylor]: Taking taylor expansion of v in v 0.473 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* (fma (cos (/ -1 v)) (/ -1 e) 1.0) e))) in (e v) around 0 0.473 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* (fma (cos (/ -1 v)) (/ -1 e) 1.0) e))) in v 0.473 * [taylor]: Taking taylor expansion of -1 in v 0.473 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (fma (cos (/ -1 v)) (/ -1 e) 1.0) e)) in v 0.473 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 0.473 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.473 * [taylor]: Taking taylor expansion of -1 in v 0.473 * [taylor]: Taking taylor expansion of v in v 0.474 * [taylor]: Taking taylor expansion of (* (fma (cos (/ -1 v)) (/ -1 e) 1.0) e) in v 0.474 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in v 0.474 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 0.474 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in v 0.474 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 0.474 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.474 * [taylor]: Taking taylor expansion of -1 in v 0.474 * [taylor]: Taking taylor expansion of v in v 0.474 * [taylor]: Taking taylor expansion of (/ -1 e) in v 0.474 * [taylor]: Taking taylor expansion of -1 in v 0.474 * [taylor]: Taking taylor expansion of e in v 0.474 * [taylor]: Taking taylor expansion of 1.0 in v 0.474 * [taylor]: Taking taylor expansion of e in v 0.475 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* (fma (cos (/ -1 v)) (/ -1 e) 1.0) e))) in e 0.475 * [taylor]: Taking taylor expansion of -1 in e 0.475 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (fma (cos (/ -1 v)) (/ -1 e) 1.0) e)) in e 0.475 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 0.475 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.475 * [taylor]: Taking taylor expansion of -1 in e 0.475 * [taylor]: Taking taylor expansion of v in e 0.475 * [taylor]: Taking taylor expansion of (* (fma (cos (/ -1 v)) (/ -1 e) 1.0) e) in e 0.475 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e 0.475 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 0.475 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e 0.475 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 0.475 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.475 * [taylor]: Taking taylor expansion of -1 in e 0.475 * [taylor]: Taking taylor expansion of v in e 0.475 * [taylor]: Taking taylor expansion of (/ -1 e) in e 0.475 * [taylor]: Taking taylor expansion of -1 in e 0.475 * [taylor]: Taking taylor expansion of e in e 0.476 * [taylor]: Taking taylor expansion of 1.0 in e 0.476 * [taylor]: Taking taylor expansion of e in e 0.479 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* (fma (cos (/ -1 v)) (/ -1 e) 1.0) e))) in e 0.479 * [taylor]: Taking taylor expansion of -1 in e 0.479 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (fma (cos (/ -1 v)) (/ -1 e) 1.0) e)) in e 0.480 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 0.480 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.480 * [taylor]: Taking taylor expansion of -1 in e 0.480 * [taylor]: Taking taylor expansion of v in e 0.480 * [taylor]: Taking taylor expansion of (* (fma (cos (/ -1 v)) (/ -1 e) 1.0) e) in e 0.480 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e 0.480 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 0.480 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e 0.480 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 0.480 * [taylor]: Taking taylor expansion of (/ -1 v) in e 0.480 * [taylor]: Taking taylor expansion of -1 in e 0.480 * [taylor]: Taking taylor expansion of v in e 0.480 * [taylor]: Taking taylor expansion of (/ -1 e) in e 0.480 * [taylor]: Taking taylor expansion of -1 in e 0.480 * [taylor]: Taking taylor expansion of e in e 0.480 * [taylor]: Taking taylor expansion of 1.0 in e 0.480 * [taylor]: Taking taylor expansion of e in e 0.484 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v 0.484 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 0.484 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.484 * [taylor]: Taking taylor expansion of -1 in v 0.485 * [taylor]: Taking taylor expansion of v in v 0.485 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 0.485 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.485 * [taylor]: Taking taylor expansion of -1 in v 0.485 * [taylor]: Taking taylor expansion of v in v 0.492 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v 0.492 * [taylor]: Taking taylor expansion of 1.0 in v 0.492 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v 0.492 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 0.492 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.492 * [taylor]: Taking taylor expansion of -1 in v 0.492 * [taylor]: Taking taylor expansion of v in v 0.492 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v 0.492 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 0.492 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.492 * [taylor]: Taking taylor expansion of -1 in v 0.492 * [taylor]: Taking taylor expansion of v in v 0.501 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3))) in v 0.501 * [taylor]: Taking taylor expansion of 1.0 in v 0.501 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)) in v 0.501 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 0.501 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.501 * [taylor]: Taking taylor expansion of -1 in v 0.501 * [taylor]: Taking taylor expansion of v in v 0.501 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 3) in v 0.501 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 0.501 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.501 * [taylor]: Taking taylor expansion of -1 in v 0.501 * [taylor]: Taking taylor expansion of v in v 0.503 * * * [progress]: simplifying candidates 0.504 * [simplify]: Simplifying using # : (expm1 (* e (sin v))) (log1p (* e (sin v))) (* e (sin v)) (+ (log e) (log (sin v))) (log (* e (sin v))) (exp (* e (sin v))) (* (* (* e e) e) (* (* (sin v) (sin v)) (sin v))) (* (cbrt (* e (sin v))) (cbrt (* e (sin v)))) (cbrt (* e (sin v))) (* (* (* e (sin v)) (* e (sin v))) (* e (sin v))) (sqrt (* e (sin v))) (sqrt (* e (sin v))) (* (sqrt e) (sqrt (sin v))) (* (sqrt e) (sqrt (sin v))) (* e (* (cbrt (sin v)) (cbrt (sin v)))) (* e (sqrt (sin v))) (* e 1) (* (cbrt e) (sin v)) (* (sqrt e) (sin v)) (* e (sin v)) (expm1 (/ (* e (sin v)) (fma (cos v) e 1.0))) (log1p (/ (* e (sin v)) (fma (cos v) e 1.0))) (- (+ (log e) (log (sin v))) (log (fma (cos v) e 1.0))) (- (log (* e (sin v))) (log (fma (cos v) e 1.0))) (log (/ (* e (sin v)) (fma (cos v) e 1.0))) (exp (/ (* e (sin v)) (fma (cos v) e 1.0))) (/ (* (* (* e e) e) (* (* (sin v) (sin v)) (sin v))) (* (* (fma (cos v) e 1.0) (fma (cos v) e 1.0)) (fma (cos v) e 1.0))) (/ (* (* (* e (sin v)) (* e (sin v))) (* e (sin v))) (* (* (fma (cos v) e 1.0) (fma (cos v) e 1.0)) (fma (cos v) e 1.0))) (* (cbrt (/ (* e (sin v)) (fma (cos v) e 1.0))) (cbrt (/ (* e (sin v)) (fma (cos v) e 1.0)))) (cbrt (/ (* e (sin v)) (fma (cos v) e 1.0))) (* (* (/ (* e (sin v)) (fma (cos v) e 1.0)) (/ (* e (sin v)) (fma (cos v) e 1.0))) (/ (* e (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))) (- (* e (sin v))) (- (fma (cos v) e 1.0)) (/ e (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (sin v) (cbrt (fma (cos v) e 1.0))) (/ e (sqrt (fma (cos v) e 1.0))) (/ (sin v) (sqrt (fma (cos v) e 1.0))) (/ e 1) (/ (sin v) (fma (cos v) e 1.0)) (/ 1 (fma (cos v) e 1.0)) (/ (fma (cos v) e 1.0) (* e (sin v))) (/ (* e (sin v)) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (* e (sin v)) (sqrt (fma (cos v) e 1.0))) (/ (* e (sin v)) 1) (/ (fma (cos v) e 1.0) (sin v)) (* e v) (* e (sin v)) (* e (sin 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)))) 0.507 * * [simplify]: iteration 0 : 93 enodes (cost 565 ) 0.521 * * [simplify]: iteration 1 : 227 enodes (cost 549 ) 0.575 * * [simplify]: iteration 2 : 1003 enodes (cost 469 ) 0.886 * * [simplify]: iteration done : 5000 enodes (cost 469 ) 0.886 * [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 e) (sqrt (sin v))) (* (sqrt e) (sqrt (sin v))) (* 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 (sin v)) (fma (cos v) e 1.0))) (log1p (/ (* e (sin v)) (fma (cos v) e 1.0))) (log (/ (* e (sin v)) (fma (cos v) e 1.0))) (log (/ (* e (sin v)) (fma (cos v) e 1.0))) (log (/ (* e (sin v)) (fma (cos v) e 1.0))) (exp (/ (* 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) (* (cbrt (/ (* e (sin v)) (fma (cos v) e 1.0))) (cbrt (/ (* e (sin v)) (fma (cos v) e 1.0)))) (cbrt (/ (* e (sin v)) (fma (cos v) e 1.0))) (pow (/ (* e (sin v)) (fma (cos v) e 1.0)) 3) (sqrt (/ (* e (sin v)) (fma (cos v) e 1.0))) (sqrt (/ (* e (sin v)) (fma (cos v) e 1.0))) (- (* e (sin v))) (- (fma (cos v) e 1.0)) (/ e (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (sin v) (cbrt (fma (cos v) e 1.0))) (/ e (sqrt (fma (cos v) e 1.0))) (/ (sin v) (sqrt (fma (cos v) e 1.0))) e (/ (sin v) (fma (cos v) e 1.0)) (/ 1 (fma (cos v) e 1.0)) (/ (fma (cos v) e 1.0) (* e (sin v))) (/ (* e (sin v)) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (* e (sin v)) (sqrt (fma (cos v) e 1.0))) (* e (sin v)) (/ (fma (cos v) e 1.0) (sin v)) (* e v) (* e (sin v)) (* e (sin v)) (* 1.0 (- (* v (+ (pow e 3) e)) (* (pow e 2) v))) (+ (/ (sin v) (cos v)) (* 1.0 (- (/ (sin v) (* (pow (cos v) 3) (pow e 2))) (/ (sin v) (* (pow (cos v) 2) e))))) (+ (/ (sin v) (cos v)) (* 1.0 (- (/ (sin v) (* (pow (cos v) 3) (pow e 2))) (/ (sin v) (* (pow (cos v) 2) e))))) 0.886 * * * [progress]: adding candidates to table 0.997 * * [progress]: iteration 2 / 4 0.997 * * * [progress]: picking best candidate 1.012 * * * * [pick]: Picked # 1.012 * * * [progress]: localizing error 1.022 * * * [progress]: generating rewritten candidates 1.022 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.029 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1.035 * * * [progress]: generating series expansions 1.035 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.035 * [approximate]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in (e v) around 0 1.035 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in v 1.035 * [taylor]: Taking taylor expansion of (* e (sin v)) in v 1.035 * [taylor]: Taking taylor expansion of e in v 1.035 * [taylor]: Taking taylor expansion of (sin v) in v 1.035 * [taylor]: Taking taylor expansion of v in v 1.035 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in v 1.035 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 1.035 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 1.035 * [taylor]: Taking taylor expansion of (cos v) in v 1.035 * [taylor]: Taking taylor expansion of v in v 1.035 * [taylor]: Taking taylor expansion of e in v 1.035 * [taylor]: Taking taylor expansion of 1.0 in v 1.036 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in e 1.036 * [taylor]: Taking taylor expansion of (* e (sin v)) in e 1.037 * [taylor]: Taking taylor expansion of e in e 1.037 * [taylor]: Taking taylor expansion of (sin v) in e 1.037 * [taylor]: Taking taylor expansion of v in e 1.037 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e 1.037 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 1.037 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 1.037 * [taylor]: Taking taylor expansion of (cos v) in e 1.037 * [taylor]: Taking taylor expansion of v in e 1.037 * [taylor]: Taking taylor expansion of e in e 1.037 * [taylor]: Taking taylor expansion of 1.0 in e 1.039 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in e 1.039 * [taylor]: Taking taylor expansion of (* e (sin v)) in e 1.039 * [taylor]: Taking taylor expansion of e in e 1.039 * [taylor]: Taking taylor expansion of (sin v) in e 1.039 * [taylor]: Taking taylor expansion of v in e 1.039 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e 1.040 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 1.040 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 1.040 * [taylor]: Taking taylor expansion of (cos v) in e 1.040 * [taylor]: Taking taylor expansion of v in e 1.040 * [taylor]: Taking taylor expansion of e in e 1.040 * [taylor]: Taking taylor expansion of 1.0 in e 1.045 * [taylor]: Taking taylor expansion of (* 1.0 (sin v)) in v 1.045 * [taylor]: Taking taylor expansion of 1.0 in v 1.045 * [taylor]: Taking taylor expansion of (sin v) in v 1.045 * [taylor]: Taking taylor expansion of v in v 1.051 * [taylor]: Taking taylor expansion of (- (* 1.0 (* (cos v) (sin v)))) in v 1.051 * [taylor]: Taking taylor expansion of (* 1.0 (* (cos v) (sin v))) in v 1.051 * [taylor]: Taking taylor expansion of 1.0 in v 1.051 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v 1.051 * [taylor]: Taking taylor expansion of (cos v) in v 1.051 * [taylor]: Taking taylor expansion of v in v 1.051 * [taylor]: Taking taylor expansion of (sin v) in v 1.051 * [taylor]: Taking taylor expansion of v in v 1.061 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow (cos v) 2) (sin v))) in v 1.061 * [taylor]: Taking taylor expansion of 1.0 in v 1.061 * [taylor]: Taking taylor expansion of (* (pow (cos v) 2) (sin v)) in v 1.061 * [taylor]: Taking taylor expansion of (pow (cos v) 2) in v 1.061 * [taylor]: Taking taylor expansion of (cos v) in v 1.061 * [taylor]: Taking taylor expansion of v in v 1.061 * [taylor]: Taking taylor expansion of (sin v) in v 1.061 * [taylor]: Taking taylor expansion of v in v 1.065 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in (e v) around 0 1.065 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in v 1.065 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 1.065 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.065 * [taylor]: Taking taylor expansion of v in v 1.065 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in v 1.065 * [taylor]: Taking taylor expansion of e in v 1.065 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in v 1.065 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 1.065 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in v 1.065 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 1.065 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.065 * [taylor]: Taking taylor expansion of v in v 1.066 * [taylor]: Taking taylor expansion of (/ 1 e) in v 1.066 * [taylor]: Taking taylor expansion of e in v 1.066 * [taylor]: Taking taylor expansion of 1.0 in v 1.066 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e 1.066 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 1.066 * [taylor]: Taking taylor expansion of (/ 1 v) in e 1.066 * [taylor]: Taking taylor expansion of v in e 1.066 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e 1.066 * [taylor]: Taking taylor expansion of e in e 1.066 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e 1.066 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 1.066 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e 1.066 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 1.066 * [taylor]: Taking taylor expansion of (/ 1 v) in e 1.066 * [taylor]: Taking taylor expansion of v in e 1.067 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.067 * [taylor]: Taking taylor expansion of e in e 1.067 * [taylor]: Taking taylor expansion of 1.0 in e 1.071 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e 1.071 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 1.071 * [taylor]: Taking taylor expansion of (/ 1 v) in e 1.071 * [taylor]: Taking taylor expansion of v in e 1.071 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e 1.071 * [taylor]: Taking taylor expansion of e in e 1.071 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e 1.071 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 1.071 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e 1.071 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 1.071 * [taylor]: Taking taylor expansion of (/ 1 v) in e 1.071 * [taylor]: Taking taylor expansion of v in e 1.071 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.071 * [taylor]: Taking taylor expansion of e in e 1.071 * [taylor]: Taking taylor expansion of 1.0 in e 1.075 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v 1.075 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 1.075 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.075 * [taylor]: Taking taylor expansion of v in v 1.076 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 1.076 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.076 * [taylor]: Taking taylor expansion of v in v 1.082 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)))) in v 1.082 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v 1.082 * [taylor]: Taking taylor expansion of 1.0 in v 1.082 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v 1.082 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 1.082 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.082 * [taylor]: Taking taylor expansion of v in v 1.082 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v 1.082 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 1.082 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.082 * [taylor]: Taking taylor expansion of v in v 1.091 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3))) in v 1.091 * [taylor]: Taking taylor expansion of 1.0 in v 1.091 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) in v 1.091 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 1.091 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.091 * [taylor]: Taking taylor expansion of v in v 1.091 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 3) in v 1.091 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 1.091 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.091 * [taylor]: Taking taylor expansion of v in v 1.093 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (fma (cos (/ -1 v)) (/ -1 e) 1.0)))) in (e v) around 0 1.093 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (fma (cos (/ -1 v)) (/ -1 e) 1.0)))) in v 1.093 * [taylor]: Taking taylor expansion of -1 in v 1.093 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* e (fma (cos (/ -1 v)) (/ -1 e) 1.0))) in v 1.093 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 1.093 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.093 * [taylor]: Taking taylor expansion of -1 in v 1.093 * [taylor]: Taking taylor expansion of v in v 1.093 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in v 1.093 * [taylor]: Taking taylor expansion of e in v 1.093 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in v 1.093 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 1.093 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in v 1.093 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 1.093 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.093 * [taylor]: Taking taylor expansion of -1 in v 1.093 * [taylor]: Taking taylor expansion of v in v 1.094 * [taylor]: Taking taylor expansion of (/ -1 e) in v 1.094 * [taylor]: Taking taylor expansion of -1 in v 1.094 * [taylor]: Taking taylor expansion of e in v 1.094 * [taylor]: Taking taylor expansion of 1.0 in v 1.094 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (fma (cos (/ -1 v)) (/ -1 e) 1.0)))) in e 1.094 * [taylor]: Taking taylor expansion of -1 in e 1.094 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* e (fma (cos (/ -1 v)) (/ -1 e) 1.0))) in e 1.094 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 1.094 * [taylor]: Taking taylor expansion of (/ -1 v) in e 1.094 * [taylor]: Taking taylor expansion of -1 in e 1.094 * [taylor]: Taking taylor expansion of v in e 1.094 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e 1.094 * [taylor]: Taking taylor expansion of e in e 1.094 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e 1.095 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 1.095 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e 1.095 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 1.095 * [taylor]: Taking taylor expansion of (/ -1 v) in e 1.095 * [taylor]: Taking taylor expansion of -1 in e 1.095 * [taylor]: Taking taylor expansion of v in e 1.095 * [taylor]: Taking taylor expansion of (/ -1 e) in e 1.095 * [taylor]: Taking taylor expansion of -1 in e 1.095 * [taylor]: Taking taylor expansion of e in e 1.095 * [taylor]: Taking taylor expansion of 1.0 in e 1.099 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* e (fma (cos (/ -1 v)) (/ -1 e) 1.0)))) in e 1.099 * [taylor]: Taking taylor expansion of -1 in e 1.099 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* e (fma (cos (/ -1 v)) (/ -1 e) 1.0))) in e 1.099 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 1.099 * [taylor]: Taking taylor expansion of (/ -1 v) in e 1.099 * [taylor]: Taking taylor expansion of -1 in e 1.099 * [taylor]: Taking taylor expansion of v in e 1.099 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e 1.099 * [taylor]: Taking taylor expansion of e in e 1.099 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e 1.099 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 1.099 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e 1.099 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 1.099 * [taylor]: Taking taylor expansion of (/ -1 v) in e 1.099 * [taylor]: Taking taylor expansion of -1 in e 1.099 * [taylor]: Taking taylor expansion of v in e 1.099 * [taylor]: Taking taylor expansion of (/ -1 e) in e 1.099 * [taylor]: Taking taylor expansion of -1 in e 1.099 * [taylor]: Taking taylor expansion of e in e 1.100 * [taylor]: Taking taylor expansion of 1.0 in e 1.104 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v 1.104 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 1.104 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.104 * [taylor]: Taking taylor expansion of -1 in v 1.104 * [taylor]: Taking taylor expansion of v in v 1.104 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 1.104 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.104 * [taylor]: Taking taylor expansion of -1 in v 1.104 * [taylor]: Taking taylor expansion of v in v 1.110 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v 1.111 * [taylor]: Taking taylor expansion of 1.0 in v 1.111 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v 1.111 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 1.111 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.111 * [taylor]: Taking taylor expansion of -1 in v 1.111 * [taylor]: Taking taylor expansion of v in v 1.111 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v 1.111 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 1.111 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.111 * [taylor]: Taking taylor expansion of -1 in v 1.111 * [taylor]: Taking taylor expansion of v in v 1.120 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3))) in v 1.120 * [taylor]: Taking taylor expansion of 1.0 in v 1.120 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)) in v 1.120 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 1.120 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.120 * [taylor]: Taking taylor expansion of -1 in v 1.120 * [taylor]: Taking taylor expansion of v in v 1.120 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 3) in v 1.120 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 1.120 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.120 * [taylor]: Taking taylor expansion of -1 in v 1.121 * [taylor]: Taking taylor expansion of v in v 1.122 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1.122 * [approximate]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in (v e) around 0 1.122 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in e 1.122 * [taylor]: Taking taylor expansion of (sin v) in e 1.122 * [taylor]: Taking taylor expansion of v in e 1.122 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e 1.122 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 1.122 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 1.122 * [taylor]: Taking taylor expansion of (cos v) in e 1.122 * [taylor]: Taking taylor expansion of v in e 1.123 * [taylor]: Taking taylor expansion of e in e 1.123 * [taylor]: Taking taylor expansion of 1.0 in e 1.123 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in v 1.123 * [taylor]: Taking taylor expansion of (sin v) in v 1.123 * [taylor]: Taking taylor expansion of v in v 1.123 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in v 1.123 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 1.123 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 1.124 * [taylor]: Taking taylor expansion of (cos v) in v 1.124 * [taylor]: Taking taylor expansion of v in v 1.124 * [taylor]: Taking taylor expansion of e in v 1.124 * [taylor]: Taking taylor expansion of 1.0 in v 1.124 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in v 1.124 * [taylor]: Taking taylor expansion of (sin v) in v 1.124 * [taylor]: Taking taylor expansion of v in v 1.124 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in v 1.124 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 1.124 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 1.124 * [taylor]: Taking taylor expansion of (cos v) in v 1.124 * [taylor]: Taking taylor expansion of v in v 1.124 * [taylor]: Taking taylor expansion of e in v 1.124 * [taylor]: Taking taylor expansion of 1.0 in v 1.125 * [taylor]: Taking taylor expansion of (/ 1 (+ e 1.0)) in e 1.125 * [taylor]: Taking taylor expansion of (+ e 1.0) in e 1.125 * [taylor]: Taking taylor expansion of e in e 1.125 * [taylor]: Taking taylor expansion of 1.0 in e 1.127 * [taylor]: Taking taylor expansion of 0 in e 1.133 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ e (pow (+ e 1.0) 2))) (* 1/6 (/ 1 (+ e 1.0)))) in e 1.134 * [taylor]: Taking taylor expansion of (* 1/2 (/ e (pow (+ e 1.0) 2))) in e 1.134 * [taylor]: Taking taylor expansion of 1/2 in e 1.134 * [taylor]: Taking taylor expansion of (/ e (pow (+ e 1.0) 2)) in e 1.134 * [taylor]: Taking taylor expansion of e in e 1.134 * [taylor]: Taking taylor expansion of (pow (+ e 1.0) 2) in e 1.134 * [taylor]: Taking taylor expansion of (+ e 1.0) in e 1.134 * [taylor]: Taking taylor expansion of e in e 1.134 * [taylor]: Taking taylor expansion of 1.0 in e 1.134 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (+ e 1.0))) in e 1.134 * [taylor]: Taking taylor expansion of 1/6 in e 1.134 * [taylor]: Taking taylor expansion of (/ 1 (+ e 1.0)) in e 1.134 * [taylor]: Taking taylor expansion of (+ e 1.0) in e 1.135 * [taylor]: Taking taylor expansion of e in e 1.135 * [taylor]: Taking taylor expansion of 1.0 in e 1.137 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in (v e) around 0 1.137 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e 1.137 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 1.137 * [taylor]: Taking taylor expansion of (/ 1 v) in e 1.137 * [taylor]: Taking taylor expansion of v in e 1.137 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e 1.138 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 1.138 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e 1.138 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 1.138 * [taylor]: Taking taylor expansion of (/ 1 v) in e 1.138 * [taylor]: Taking taylor expansion of v in e 1.138 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.138 * [taylor]: Taking taylor expansion of e in e 1.138 * [taylor]: Taking taylor expansion of 1.0 in e 1.139 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in v 1.139 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 1.139 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.139 * [taylor]: Taking taylor expansion of v in v 1.139 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in v 1.139 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 1.139 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in v 1.139 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 1.139 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.139 * [taylor]: Taking taylor expansion of v in v 1.139 * [taylor]: Taking taylor expansion of (/ 1 e) in v 1.139 * [taylor]: Taking taylor expansion of e in v 1.139 * [taylor]: Taking taylor expansion of 1.0 in v 1.140 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in v 1.140 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 1.140 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.140 * [taylor]: Taking taylor expansion of v in v 1.140 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in v 1.140 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 1.140 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in v 1.140 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 1.140 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.140 * [taylor]: Taking taylor expansion of v in v 1.140 * [taylor]: Taking taylor expansion of (/ 1 e) in v 1.140 * [taylor]: Taking taylor expansion of e in v 1.141 * [taylor]: Taking taylor expansion of 1.0 in v 1.141 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (+ (/ (cos (/ 1 v)) e) 1.0)) in e 1.141 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 1.141 * [taylor]: Taking taylor expansion of (/ 1 v) in e 1.141 * [taylor]: Taking taylor expansion of v in e 1.141 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in e 1.141 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 1.141 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 1.141 * [taylor]: Taking taylor expansion of (/ 1 v) in e 1.141 * [taylor]: Taking taylor expansion of v in e 1.141 * [taylor]: Taking taylor expansion of e in e 1.141 * [taylor]: Taking taylor expansion of 1.0 in e 1.142 * [taylor]: Taking taylor expansion of 0 in e 1.148 * [taylor]: Taking taylor expansion of 0 in e 1.155 * [approximate]: Taking taylor expansion of (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in (v e) around 0 1.155 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e 1.155 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 1.155 * [taylor]: Taking taylor expansion of (/ -1 v) in e 1.155 * [taylor]: Taking taylor expansion of -1 in e 1.155 * [taylor]: Taking taylor expansion of v in e 1.155 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e 1.155 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 1.155 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e 1.155 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 1.155 * [taylor]: Taking taylor expansion of (/ -1 v) in e 1.155 * [taylor]: Taking taylor expansion of -1 in e 1.155 * [taylor]: Taking taylor expansion of v in e 1.155 * [taylor]: Taking taylor expansion of (/ -1 e) in e 1.155 * [taylor]: Taking taylor expansion of -1 in e 1.155 * [taylor]: Taking taylor expansion of e in e 1.155 * [taylor]: Taking taylor expansion of 1.0 in e 1.156 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in v 1.156 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 1.156 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.156 * [taylor]: Taking taylor expansion of -1 in v 1.156 * [taylor]: Taking taylor expansion of v in v 1.157 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in v 1.157 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 1.157 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in v 1.157 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 1.157 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.157 * [taylor]: Taking taylor expansion of -1 in v 1.157 * [taylor]: Taking taylor expansion of v in v 1.157 * [taylor]: Taking taylor expansion of (/ -1 e) in v 1.157 * [taylor]: Taking taylor expansion of -1 in v 1.157 * [taylor]: Taking taylor expansion of e in v 1.157 * [taylor]: Taking taylor expansion of 1.0 in v 1.157 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in v 1.157 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 1.157 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.157 * [taylor]: Taking taylor expansion of -1 in v 1.157 * [taylor]: Taking taylor expansion of v in v 1.158 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in v 1.158 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 1.158 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in v 1.158 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 1.158 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.158 * [taylor]: Taking taylor expansion of -1 in v 1.158 * [taylor]: Taking taylor expansion of v in v 1.158 * [taylor]: Taking taylor expansion of (/ -1 e) in v 1.158 * [taylor]: Taking taylor expansion of -1 in v 1.158 * [taylor]: Taking taylor expansion of e in v 1.158 * [taylor]: Taking taylor expansion of 1.0 in v 1.159 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (- 1.0 (/ (cos (/ -1 v)) e))) in e 1.159 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 1.159 * [taylor]: Taking taylor expansion of (/ -1 v) in e 1.159 * [taylor]: Taking taylor expansion of -1 in e 1.159 * [taylor]: Taking taylor expansion of v in e 1.159 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in e 1.159 * [taylor]: Taking taylor expansion of 1.0 in e 1.159 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 1.159 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 1.159 * [taylor]: Taking taylor expansion of (/ -1 v) in e 1.159 * [taylor]: Taking taylor expansion of -1 in e 1.159 * [taylor]: Taking taylor expansion of v in e 1.159 * [taylor]: Taking taylor expansion of e in e 1.160 * [taylor]: Taking taylor expansion of 0 in e 1.166 * [taylor]: Taking taylor expansion of 0 in e 1.173 * * * [progress]: simplifying candidates 1.175 * [simplify]: Simplifying using # : (expm1 (* e (/ (sin v) (fma (cos v) e 1.0)))) (log1p (* e (/ (sin v) (fma (cos v) e 1.0)))) (* e (/ (sin v) (fma (cos v) e 1.0))) (+ (log e) (- (log (sin v)) (log (fma (cos v) e 1.0)))) (+ (log e) (log (/ (sin v) (fma (cos v) e 1.0)))) (log (* e (/ (sin v) (fma (cos v) e 1.0)))) (exp (* e (/ (sin v) (fma (cos v) e 1.0)))) (* (* (* e e) e) (/ (* (* (sin v) (sin v)) (sin v)) (* (* (fma (cos v) e 1.0) (fma (cos v) e 1.0)) (fma (cos v) e 1.0)))) (* (* (* e e) e) (* (* (/ (sin v) (fma (cos v) e 1.0)) (/ (sin v) (fma (cos v) e 1.0))) (/ (sin v) (fma (cos v) e 1.0)))) (* (cbrt (* e (/ (sin v) (fma (cos v) e 1.0)))) (cbrt (* e (/ (sin v) (fma (cos v) e 1.0))))) (cbrt (* e (/ (sin v) (fma (cos v) e 1.0)))) (* (* (* e (/ (sin v) (fma (cos v) e 1.0))) (* e (/ (sin v) (fma (cos v) e 1.0)))) (* e (/ (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) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt e) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt e) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt e) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* e (* (cbrt (/ (sin v) (fma (cos v) e 1.0))) (cbrt (/ (sin v) (fma (cos v) e 1.0))))) (* e (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* e (/ (* (cbrt (sin v)) (cbrt (sin v))) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))))) (* e (/ (* (cbrt (sin v)) (cbrt (sin v))) (sqrt (fma (cos v) e 1.0)))) (* e (/ (* (cbrt (sin v)) (cbrt (sin v))) 1)) (* e (/ (sqrt (sin v)) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))))) (* e (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* e (/ (sqrt (sin v)) 1)) (* e (/ 1 (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))))) (* e (/ 1 (sqrt (fma (cos v) e 1.0)))) (* e (/ 1 1)) (* e 1) (* e (sin v)) (* (cbrt e) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt e) (/ (sin v) (fma (cos v) e 1.0))) (* e (/ (sin v) (fma (cos v) e 1.0))) (* e (sin v)) (expm1 (/ (sin v) (fma (cos v) e 1.0))) (log1p (/ (sin v) (fma (cos v) e 1.0))) (- (log (sin v)) (log (fma (cos v) e 1.0))) (log (/ (sin v) (fma (cos v) e 1.0))) (exp (/ (sin v) (fma (cos v) e 1.0))) (/ (* (* (sin v) (sin v)) (sin v)) (* (* (fma (cos v) e 1.0) (fma (cos v) e 1.0)) (fma (cos v) e 1.0))) (* (cbrt (/ (sin v) (fma (cos v) e 1.0))) (cbrt (/ (sin v) (fma (cos v) e 1.0)))) (cbrt (/ (sin v) (fma (cos v) e 1.0))) (* (* (/ (sin v) (fma (cos v) e 1.0)) (/ (sin v) (fma (cos v) e 1.0))) (/ (sin v) (fma (cos v) e 1.0))) (sqrt (/ (sin v) (fma (cos v) e 1.0))) (sqrt (/ (sin v) (fma (cos v) e 1.0))) (- (sin v)) (- (fma (cos v) e 1.0)) (/ (* (cbrt (sin v)) (cbrt (sin v))) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (cbrt (sin v)) (cbrt (fma (cos v) e 1.0))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (sqrt (fma (cos v) e 1.0))) (/ (cbrt (sin v)) (sqrt (fma (cos v) e 1.0))) (/ (* (cbrt (sin v)) (cbrt (sin v))) 1) (/ (cbrt (sin v)) (fma (cos v) e 1.0)) (/ (sqrt (sin v)) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (sqrt (sin v)) (cbrt (fma (cos v) e 1.0))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0))) (/ (sqrt (sin v)) 1) (/ (sqrt (sin v)) (fma (cos v) e 1.0)) (/ 1 (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (sin v) (cbrt (fma (cos v) e 1.0))) (/ 1 (sqrt (fma (cos v) e 1.0))) (/ (sin v) (sqrt (fma (cos v) e 1.0))) (/ 1 1) (/ (sin v) (fma (cos v) e 1.0)) (/ 1 (fma (cos v) e 1.0)) (/ (fma (cos v) e 1.0) (sin v)) (/ (sin v) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (sin v) (sqrt (fma (cos v) e 1.0))) (/ (sin v) 1) (/ (fma (cos v) e 1.0) (cbrt (sin v))) (/ (fma (cos v) e 1.0) (sqrt (sin v))) (/ (fma (cos v) e 1.0) (sin 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 v) (+ (* 0.16666666666666666 (pow v 3)) (* 1.0 (* e v)))) (- (+ (/ (sin v) (* (cos v) e)) (* 1.0 (/ (sin v) (* (pow (cos v) 3) (pow e 3))))) (* 1.0 (/ (sin v) (* (pow (cos v) 2) (pow e 2))))) (- (+ (/ (sin v) (* (cos v) e)) (* 1.0 (/ (sin v) (* (pow (cos v) 3) (pow e 3))))) (* 1.0 (/ (sin v) (* (pow (cos v) 2) (pow e 2))))) 1.178 * * [simplify]: iteration 0 : 130 enodes (cost 1053 ) 1.199 * * [simplify]: iteration 1 : 314 enodes (cost 1020 ) 1.275 * * [simplify]: iteration 2 : 1360 enodes (cost 920 ) 1.681 * * [simplify]: iteration done : 5000 enodes (cost 920 ) 1.681 * [simplify]: Simplified to: (expm1 (* e (/ (sin v) (fma (cos v) e 1.0)))) (log1p (* e (/ (sin v) (fma (cos v) e 1.0)))) (* e (/ (sin v) (fma (cos v) e 1.0))) (log (* e (/ (sin v) (fma (cos v) e 1.0)))) (log (* e (/ (sin v) (fma (cos v) e 1.0)))) (log (* e (/ (sin v) (fma (cos v) e 1.0)))) (exp (* 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) (* (cbrt (* e (/ (sin v) (fma (cos v) e 1.0)))) (cbrt (* e (/ (sin v) (fma (cos v) e 1.0))))) (cbrt (* e (/ (sin v) (fma (cos v) e 1.0)))) (pow (* e (/ (sin v) (fma (cos v) e 1.0))) 3) (sqrt (* e (/ (sin v) (fma (cos v) e 1.0)))) (sqrt (* e (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt e) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt e) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt e) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt e) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* e (* (cbrt (/ (sin v) (fma (cos v) e 1.0))) (cbrt (/ (sin v) (fma (cos v) e 1.0))))) (* e (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* e (/ (* (cbrt (sin v)) (cbrt (sin v))) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))))) (* e (/ (* (cbrt (sin v)) (cbrt (sin v))) (sqrt (fma (cos v) e 1.0)))) (* (* (cbrt (sin v)) (cbrt (sin v))) e) (* e (/ (sqrt (sin v)) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))))) (* e (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sin v)) e) (/ e (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ e (sqrt (fma (cos v) e 1.0))) e e (* e (sin v)) (* (cbrt e) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt e) (/ (sin v) (fma (cos v) e 1.0))) (* e (/ (sin v) (fma (cos v) e 1.0))) (* e (sin v)) (expm1 (/ (sin v) (fma (cos v) e 1.0))) (log1p (/ (sin v) (fma (cos v) e 1.0))) (log (/ (sin v) (fma (cos v) e 1.0))) (log (/ (sin v) (fma (cos v) e 1.0))) (exp (/ (sin v) (fma (cos v) e 1.0))) (pow (/ (sin v) (fma (cos v) e 1.0)) 3) (* (cbrt (/ (sin v) (fma (cos v) e 1.0))) (cbrt (/ (sin v) (fma (cos v) e 1.0)))) (cbrt (/ (sin v) (fma (cos v) e 1.0))) (pow (/ (sin v) (fma (cos v) e 1.0)) 3) (sqrt (/ (sin v) (fma (cos v) e 1.0))) (sqrt (/ (sin v) (fma (cos v) e 1.0))) (- (sin v)) (- (fma (cos v) e 1.0)) (/ (* (cbrt (sin v)) (cbrt (sin v))) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (cbrt (sin v)) (cbrt (fma (cos v) e 1.0))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (sqrt (fma (cos v) e 1.0))) (/ (cbrt (sin v)) (sqrt (fma (cos v) e 1.0))) (* (cbrt (sin v)) (cbrt (sin v))) (/ (cbrt (sin v)) (fma (cos v) e 1.0)) (/ (/ (sqrt (sin v)) (cbrt (fma (cos v) e 1.0))) (cbrt (fma (cos v) e 1.0))) (/ (sqrt (sin v)) (cbrt (fma (cos v) e 1.0))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0))) (sqrt (sin v)) (/ (sqrt (sin v)) (fma (cos v) e 1.0)) (/ 1 (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (sin v) (cbrt (fma (cos v) e 1.0))) (/ 1 (sqrt (fma (cos v) e 1.0))) (/ (sin v) (sqrt (fma (cos v) e 1.0))) 1 (/ (sin v) (fma (cos v) e 1.0)) (/ 1 (fma (cos v) e 1.0)) (/ (fma (cos v) e 1.0) (sin v)) (/ (sin v) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (sin v) (sqrt (fma (cos v) e 1.0))) (sin v) (/ (fma (cos v) e 1.0) (cbrt (sin v))) (/ (fma (cos v) e 1.0) (sqrt (sin v))) (/ (fma (cos v) e 1.0) (sin v)) (* 1.0 (- (* v (+ (pow e 3) e)) (* (pow e 2) v))) (+ (* 1.0 (- (/ (sin v) (* (pow (cos v) 3) (pow e 2))) (/ (sin v) (* (pow (cos v) 2) e)))) (/ (sin v) (cos v))) (+ (* 1.0 (- (/ (sin v) (* (pow (cos v) 3) (pow e 2))) (/ (sin v) (* (pow (cos v) 2) e)))) (/ (sin v) (cos v))) (- (* 1.0 v) (fma 0.16666666666666666 (pow v 3) (* 1.0 (* e v)))) (+ (/ (sin v) (* (cos v) e)) (* 1.0 (- (/ (sin v) (* (pow (cos v) 3) (pow e 3))) (/ (sin v) (* (pow (cos v) 2) (pow e 2)))))) (+ (/ (sin v) (* (cos v) e)) (* 1.0 (- (/ (sin v) (* (pow (cos v) 3) (pow e 3))) (/ (sin v) (* (pow (cos v) 2) (pow e 2)))))) 1.682 * * * [progress]: adding candidates to table 1.852 * * [progress]: iteration 3 / 4 1.852 * * * [progress]: picking best candidate 1.871 * * * * [pick]: Picked # 1.871 * * * [progress]: localizing error 1.883 * * * [progress]: generating rewritten candidates 1.883 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1.898 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 1.908 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 1.917 * * * [progress]: generating series expansions 1.917 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1.917 * [approximate]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in (e v) around 0 1.917 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in v 1.917 * [taylor]: Taking taylor expansion of (* e (sin v)) in v 1.917 * [taylor]: Taking taylor expansion of e in v 1.917 * [taylor]: Taking taylor expansion of (sin v) in v 1.917 * [taylor]: Taking taylor expansion of v in v 1.917 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in v 1.917 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 1.918 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 1.918 * [taylor]: Taking taylor expansion of (cos v) in v 1.918 * [taylor]: Taking taylor expansion of v in v 1.918 * [taylor]: Taking taylor expansion of e in v 1.918 * [taylor]: Taking taylor expansion of 1.0 in v 1.919 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in e 1.919 * [taylor]: Taking taylor expansion of (* e (sin v)) in e 1.919 * [taylor]: Taking taylor expansion of e in e 1.919 * [taylor]: Taking taylor expansion of (sin v) in e 1.919 * [taylor]: Taking taylor expansion of v in e 1.919 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e 1.919 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 1.919 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 1.919 * [taylor]: Taking taylor expansion of (cos v) in e 1.919 * [taylor]: Taking taylor expansion of v in e 1.919 * [taylor]: Taking taylor expansion of e in e 1.919 * [taylor]: Taking taylor expansion of 1.0 in e 1.921 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in e 1.921 * [taylor]: Taking taylor expansion of (* e (sin v)) in e 1.921 * [taylor]: Taking taylor expansion of e in e 1.921 * [taylor]: Taking taylor expansion of (sin v) in e 1.921 * [taylor]: Taking taylor expansion of v in e 1.922 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e 1.922 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 1.922 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 1.922 * [taylor]: Taking taylor expansion of (cos v) in e 1.922 * [taylor]: Taking taylor expansion of v in e 1.922 * [taylor]: Taking taylor expansion of e in e 1.922 * [taylor]: Taking taylor expansion of 1.0 in e 1.924 * [taylor]: Taking taylor expansion of (* 1.0 (sin v)) in v 1.924 * [taylor]: Taking taylor expansion of 1.0 in v 1.924 * [taylor]: Taking taylor expansion of (sin v) in v 1.924 * [taylor]: Taking taylor expansion of v in v 1.930 * [taylor]: Taking taylor expansion of (- (* 1.0 (* (cos v) (sin v)))) in v 1.930 * [taylor]: Taking taylor expansion of (* 1.0 (* (cos v) (sin v))) in v 1.930 * [taylor]: Taking taylor expansion of 1.0 in v 1.930 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v 1.930 * [taylor]: Taking taylor expansion of (cos v) in v 1.930 * [taylor]: Taking taylor expansion of v in v 1.930 * [taylor]: Taking taylor expansion of (sin v) in v 1.930 * [taylor]: Taking taylor expansion of v in v 1.941 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow (cos v) 2) (sin v))) in v 1.941 * [taylor]: Taking taylor expansion of 1.0 in v 1.941 * [taylor]: Taking taylor expansion of (* (pow (cos v) 2) (sin v)) in v 1.941 * [taylor]: Taking taylor expansion of (pow (cos v) 2) in v 1.941 * [taylor]: Taking taylor expansion of (cos v) in v 1.941 * [taylor]: Taking taylor expansion of v in v 1.941 * [taylor]: Taking taylor expansion of (sin v) in v 1.941 * [taylor]: Taking taylor expansion of v in v 1.944 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in (e v) around 0 1.944 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in v 1.944 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 1.944 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.944 * [taylor]: Taking taylor expansion of v in v 1.945 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in v 1.945 * [taylor]: Taking taylor expansion of e in v 1.945 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in v 1.945 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 1.945 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in v 1.945 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 1.945 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.945 * [taylor]: Taking taylor expansion of v in v 1.945 * [taylor]: Taking taylor expansion of (/ 1 e) in v 1.945 * [taylor]: Taking taylor expansion of e in v 1.945 * [taylor]: Taking taylor expansion of 1.0 in v 1.946 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e 1.946 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 1.946 * [taylor]: Taking taylor expansion of (/ 1 v) in e 1.946 * [taylor]: Taking taylor expansion of v in e 1.946 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e 1.946 * [taylor]: Taking taylor expansion of e in e 1.946 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e 1.946 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 1.946 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e 1.946 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 1.946 * [taylor]: Taking taylor expansion of (/ 1 v) in e 1.946 * [taylor]: Taking taylor expansion of v in e 1.946 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.946 * [taylor]: Taking taylor expansion of e in e 1.946 * [taylor]: Taking taylor expansion of 1.0 in e 1.950 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e 1.950 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 1.950 * [taylor]: Taking taylor expansion of (/ 1 v) in e 1.950 * [taylor]: Taking taylor expansion of v in e 1.950 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e 1.950 * [taylor]: Taking taylor expansion of e in e 1.950 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e 1.950 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 1.950 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e 1.950 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 1.951 * [taylor]: Taking taylor expansion of (/ 1 v) in e 1.951 * [taylor]: Taking taylor expansion of v in e 1.951 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.951 * [taylor]: Taking taylor expansion of e in e 1.951 * [taylor]: Taking taylor expansion of 1.0 in e 1.955 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v 1.955 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 1.955 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.955 * [taylor]: Taking taylor expansion of v in v 1.955 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 1.955 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.955 * [taylor]: Taking taylor expansion of v in v 1.961 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)))) in v 1.961 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v 1.961 * [taylor]: Taking taylor expansion of 1.0 in v 1.961 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v 1.961 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 1.961 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.961 * [taylor]: Taking taylor expansion of v in v 1.961 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v 1.961 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 1.961 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.961 * [taylor]: Taking taylor expansion of v in v 1.970 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3))) in v 1.970 * [taylor]: Taking taylor expansion of 1.0 in v 1.970 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) in v 1.970 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 1.970 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.970 * [taylor]: Taking taylor expansion of v in v 1.970 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 3) in v 1.970 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 1.970 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.970 * [taylor]: Taking taylor expansion of v in v 1.972 * [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.972 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in v 1.972 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) in v 1.972 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 1.972 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.972 * [taylor]: Taking taylor expansion of -1 in v 1.972 * [taylor]: Taking taylor expansion of v in v 1.972 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 2) in v 1.972 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in v 1.972 * [taylor]: Taking taylor expansion of (/ -1 e) in v 1.972 * [taylor]: Taking taylor expansion of -1 in v 1.972 * [taylor]: Taking taylor expansion of e in v 1.973 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in v 1.973 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 1.973 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in v 1.973 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 1.973 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.973 * [taylor]: Taking taylor expansion of -1 in v 1.973 * [taylor]: Taking taylor expansion of v in v 1.973 * [taylor]: Taking taylor expansion of (/ -1 e) in v 1.973 * [taylor]: Taking taylor expansion of -1 in v 1.973 * [taylor]: Taking taylor expansion of e in v 1.973 * [taylor]: Taking taylor expansion of 1.0 in v 1.974 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e 1.974 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) in e 1.974 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 1.974 * [taylor]: Taking taylor expansion of (/ -1 v) in e 1.974 * [taylor]: Taking taylor expansion of -1 in e 1.974 * [taylor]: Taking taylor expansion of v in e 1.974 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 2) in e 1.974 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e 1.974 * [taylor]: Taking taylor expansion of (/ -1 e) in e 1.974 * [taylor]: Taking taylor expansion of -1 in e 1.974 * [taylor]: Taking taylor expansion of e in e 1.975 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e 1.976 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 1.976 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e 1.976 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 1.976 * [taylor]: Taking taylor expansion of (/ -1 v) in e 1.976 * [taylor]: Taking taylor expansion of -1 in e 1.976 * [taylor]: Taking taylor expansion of v in e 1.976 * [taylor]: Taking taylor expansion of (/ -1 e) in e 1.976 * [taylor]: Taking taylor expansion of -1 in e 1.976 * [taylor]: Taking taylor expansion of e in e 1.976 * [taylor]: Taking taylor expansion of 1.0 in e 1.977 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e 1.977 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) in e 1.977 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 1.977 * [taylor]: Taking taylor expansion of (/ -1 v) in e 1.977 * [taylor]: Taking taylor expansion of -1 in e 1.977 * [taylor]: Taking taylor expansion of v in e 1.977 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 2) in e 1.977 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e 1.977 * [taylor]: Taking taylor expansion of (/ -1 e) in e 1.977 * [taylor]: Taking taylor expansion of -1 in e 1.977 * [taylor]: Taking taylor expansion of e in e 1.978 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e 1.979 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 1.979 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e 1.979 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 1.979 * [taylor]: Taking taylor expansion of (/ -1 v) in e 1.979 * [taylor]: Taking taylor expansion of -1 in e 1.979 * [taylor]: Taking taylor expansion of v in e 1.979 * [taylor]: Taking taylor expansion of (/ -1 e) in e 1.979 * [taylor]: Taking taylor expansion of -1 in e 1.979 * [taylor]: Taking taylor expansion of e in e 1.979 * [taylor]: Taking taylor expansion of 1.0 in e 1.980 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v 1.980 * [taylor]: Taking taylor expansion of +nan.0 in v 1.980 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v 1.980 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 1.980 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.980 * [taylor]: Taking taylor expansion of -1 in v 1.980 * [taylor]: Taking taylor expansion of v in v 1.980 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 1.981 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.981 * [taylor]: Taking taylor expansion of -1 in v 1.981 * [taylor]: Taking taylor expansion of v in v 1.990 * [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.990 * [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.990 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v 1.990 * [taylor]: Taking taylor expansion of +nan.0 in v 1.990 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v 1.990 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 1.990 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.990 * [taylor]: Taking taylor expansion of -1 in v 1.990 * [taylor]: Taking taylor expansion of v in v 1.990 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v 1.990 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 1.990 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.991 * [taylor]: Taking taylor expansion of -1 in v 1.991 * [taylor]: Taking taylor expansion of v in v 1.991 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v))))) in v 1.991 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v 1.991 * [taylor]: Taking taylor expansion of +nan.0 in v 1.991 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v 1.991 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 1.991 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.991 * [taylor]: Taking taylor expansion of -1 in v 1.991 * [taylor]: Taking taylor expansion of v in v 1.992 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 1.992 * [taylor]: Taking taylor expansion of (/ -1 v) in v 1.992 * [taylor]: Taking taylor expansion of -1 in v 1.992 * [taylor]: Taking taylor expansion of v in v 2.008 * [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.008 * [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.008 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v 2.008 * [taylor]: Taking taylor expansion of +nan.0 in v 2.008 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v 2.008 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 2.008 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.008 * [taylor]: Taking taylor expansion of -1 in v 2.008 * [taylor]: Taking taylor expansion of v in v 2.008 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v 2.008 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 2.008 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.008 * [taylor]: Taking taylor expansion of -1 in v 2.008 * [taylor]: Taking taylor expansion of v in v 2.009 * [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.009 * [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.009 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v 2.009 * [taylor]: Taking taylor expansion of +nan.0 in v 2.009 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v 2.009 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 2.009 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.009 * [taylor]: Taking taylor expansion of -1 in v 2.009 * [taylor]: Taking taylor expansion of v in v 2.009 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 2.009 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.009 * [taylor]: Taking taylor expansion of -1 in v 2.009 * [taylor]: Taking taylor expansion of v in v 2.010 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)))) in v 2.010 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3))) in v 2.010 * [taylor]: Taking taylor expansion of +nan.0 in v 2.010 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)) in v 2.010 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 2.010 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.010 * [taylor]: Taking taylor expansion of -1 in v 2.010 * [taylor]: Taking taylor expansion of v in v 2.010 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 3) in v 2.010 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 2.010 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.010 * [taylor]: Taking taylor expansion of -1 in v 2.010 * [taylor]: Taking taylor expansion of v in v 2.016 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 2.016 * [approximate]: Taking taylor expansion of (* (sqrt e) (/ (sin v) (fma (cos v) e 1.0))) in (e v) around 0 2.016 * [taylor]: Taking taylor expansion of (* (sqrt e) (/ (sin v) (fma (cos v) e 1.0))) in v 2.016 * [taylor]: Taking taylor expansion of (sqrt e) in v 2.016 * [taylor]: Taking taylor expansion of e in v 2.016 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in v 2.016 * [taylor]: Taking taylor expansion of (sin v) in v 2.016 * [taylor]: Taking taylor expansion of v in v 2.016 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in v 2.016 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 2.016 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 2.016 * [taylor]: Taking taylor expansion of (cos v) in v 2.016 * [taylor]: Taking taylor expansion of v in v 2.016 * [taylor]: Taking taylor expansion of e in v 2.016 * [taylor]: Taking taylor expansion of 1.0 in v 2.017 * [taylor]: Taking taylor expansion of (* (sqrt e) (/ (sin v) (fma (cos v) e 1.0))) in e 2.017 * [taylor]: Taking taylor expansion of (sqrt e) in e 2.017 * [taylor]: Taking taylor expansion of e in e 2.018 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in e 2.018 * [taylor]: Taking taylor expansion of (sin v) in e 2.018 * [taylor]: Taking taylor expansion of v in e 2.018 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e 2.018 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 2.018 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 2.018 * [taylor]: Taking taylor expansion of (cos v) in e 2.018 * [taylor]: Taking taylor expansion of v in e 2.018 * [taylor]: Taking taylor expansion of e in e 2.018 * [taylor]: Taking taylor expansion of 1.0 in e 2.019 * [taylor]: Taking taylor expansion of (* (sqrt e) (/ (sin v) (fma (cos v) e 1.0))) in e 2.019 * [taylor]: Taking taylor expansion of (sqrt e) in e 2.019 * [taylor]: Taking taylor expansion of e in e 2.020 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in e 2.020 * [taylor]: Taking taylor expansion of (sin v) in e 2.020 * [taylor]: Taking taylor expansion of v in e 2.020 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e 2.020 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 2.020 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 2.020 * [taylor]: Taking taylor expansion of (cos v) in e 2.020 * [taylor]: Taking taylor expansion of v in e 2.020 * [taylor]: Taking taylor expansion of e in e 2.021 * [taylor]: Taking taylor expansion of 1.0 in e 2.021 * [taylor]: Taking taylor expansion of 0 in v 2.025 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin v))) in v 2.025 * [taylor]: Taking taylor expansion of (* +nan.0 (sin v)) in v 2.025 * [taylor]: Taking taylor expansion of +nan.0 in v 2.025 * [taylor]: Taking taylor expansion of (sin v) in v 2.025 * [taylor]: Taking taylor expansion of v in v 2.035 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (sin v)) (- (* +nan.0 (* (cos v) (sin v)))))) in v 2.035 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (sin v)) (- (* +nan.0 (* (cos v) (sin v))))) in v 2.035 * [taylor]: Taking taylor expansion of (* +nan.0 (sin v)) in v 2.035 * [taylor]: Taking taylor expansion of +nan.0 in v 2.035 * [taylor]: Taking taylor expansion of (sin v) in v 2.035 * [taylor]: Taking taylor expansion of v in v 2.035 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (cos v) (sin v)))) in v 2.035 * [taylor]: Taking taylor expansion of (* +nan.0 (* (cos v) (sin v))) in v 2.035 * [taylor]: Taking taylor expansion of +nan.0 in v 2.035 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v 2.035 * [taylor]: Taking taylor expansion of (cos v) in v 2.035 * [taylor]: Taking taylor expansion of v in v 2.035 * [taylor]: Taking taylor expansion of (sin v) in v 2.035 * [taylor]: Taking taylor expansion of v in v 2.051 * [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 2.051 * [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 2.051 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow (cos v) 2) (sin v))) in v 2.051 * [taylor]: Taking taylor expansion of +nan.0 in v 2.051 * [taylor]: Taking taylor expansion of (* (pow (cos v) 2) (sin v)) in v 2.051 * [taylor]: Taking taylor expansion of (pow (cos v) 2) in v 2.051 * [taylor]: Taking taylor expansion of (cos v) in v 2.051 * [taylor]: Taking taylor expansion of v in v 2.051 * [taylor]: Taking taylor expansion of (sin v) in v 2.051 * [taylor]: Taking taylor expansion of v in v 2.051 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (sin v)) (- (* +nan.0 (* (cos v) (sin v)))))) in v 2.051 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (sin v)) (- (* +nan.0 (* (cos v) (sin v))))) in v 2.051 * [taylor]: Taking taylor expansion of (* +nan.0 (sin v)) in v 2.051 * [taylor]: Taking taylor expansion of +nan.0 in v 2.051 * [taylor]: Taking taylor expansion of (sin v) in v 2.051 * [taylor]: Taking taylor expansion of v in v 2.051 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (cos v) (sin v)))) in v 2.051 * [taylor]: Taking taylor expansion of (* +nan.0 (* (cos v) (sin v))) in v 2.051 * [taylor]: Taking taylor expansion of +nan.0 in v 2.051 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v 2.051 * [taylor]: Taking taylor expansion of (cos v) in v 2.052 * [taylor]: Taking taylor expansion of v in v 2.052 * [taylor]: Taking taylor expansion of (sin v) in v 2.052 * [taylor]: Taking taylor expansion of v in v 2.062 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 e)) (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in (e v) around 0 2.062 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 e)) (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in v 2.062 * [taylor]: Taking taylor expansion of (sqrt (/ 1 e)) in v 2.062 * [taylor]: Taking taylor expansion of (/ 1 e) in v 2.062 * [taylor]: Taking taylor expansion of e in v 2.062 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in v 2.062 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 2.062 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.062 * [taylor]: Taking taylor expansion of v in v 2.062 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in v 2.062 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 2.062 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in v 2.062 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 2.062 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.062 * [taylor]: Taking taylor expansion of v in v 2.063 * [taylor]: Taking taylor expansion of (/ 1 e) in v 2.063 * [taylor]: Taking taylor expansion of e in v 2.063 * [taylor]: Taking taylor expansion of 1.0 in v 2.063 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 e)) (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e 2.063 * [taylor]: Taking taylor expansion of (sqrt (/ 1 e)) in e 2.063 * [taylor]: Taking taylor expansion of (/ 1 e) in e 2.063 * [taylor]: Taking taylor expansion of e in e 2.064 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e 2.064 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 2.064 * [taylor]: Taking taylor expansion of (/ 1 v) in e 2.064 * [taylor]: Taking taylor expansion of v in e 2.065 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e 2.065 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 2.065 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e 2.065 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 2.065 * [taylor]: Taking taylor expansion of (/ 1 v) in e 2.065 * [taylor]: Taking taylor expansion of v in e 2.065 * [taylor]: Taking taylor expansion of (/ 1 e) in e 2.065 * [taylor]: Taking taylor expansion of e in e 2.065 * [taylor]: Taking taylor expansion of 1.0 in e 2.066 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 e)) (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e 2.066 * [taylor]: Taking taylor expansion of (sqrt (/ 1 e)) in e 2.066 * [taylor]: Taking taylor expansion of (/ 1 e) in e 2.066 * [taylor]: Taking taylor expansion of e in e 2.067 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e 2.067 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 2.067 * [taylor]: Taking taylor expansion of (/ 1 v) in e 2.067 * [taylor]: Taking taylor expansion of v in e 2.067 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e 2.067 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 2.067 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e 2.067 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 2.067 * [taylor]: Taking taylor expansion of (/ 1 v) in e 2.067 * [taylor]: Taking taylor expansion of v in e 2.067 * [taylor]: Taking taylor expansion of (/ 1 e) in e 2.067 * [taylor]: Taking taylor expansion of e in e 2.068 * [taylor]: Taking taylor expansion of 1.0 in e 2.068 * [taylor]: Taking taylor expansion of 0 in v 2.073 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v))))) in v 2.073 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v)))) in v 2.073 * [taylor]: Taking taylor expansion of +nan.0 in v 2.073 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v 2.073 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 2.073 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.073 * [taylor]: Taking taylor expansion of v in v 2.074 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 2.074 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.074 * [taylor]: Taking taylor expansion of v in v 2.083 * [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.083 * [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.083 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v 2.083 * [taylor]: Taking taylor expansion of +nan.0 in v 2.083 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v 2.083 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 2.083 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.083 * [taylor]: Taking taylor expansion of v in v 2.083 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v 2.083 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 2.083 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.083 * [taylor]: Taking taylor expansion of v in v 2.086 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v))))) in v 2.087 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v)))) in v 2.087 * [taylor]: Taking taylor expansion of +nan.0 in v 2.087 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v 2.087 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 2.087 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.087 * [taylor]: Taking taylor expansion of v in v 2.087 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 2.087 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.087 * [taylor]: Taking taylor expansion of v in v 2.100 * [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 2.100 * [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 2.100 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3))) in v 2.100 * [taylor]: Taking taylor expansion of +nan.0 in v 2.100 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) 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 v in v 2.100 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 3) 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 v in v 2.101 * [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.101 * [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.101 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v 2.101 * [taylor]: Taking taylor expansion of +nan.0 in v 2.101 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v 2.101 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 2.101 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.101 * [taylor]: Taking taylor expansion of v in v 2.101 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v 2.101 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 2.101 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.101 * [taylor]: Taking taylor expansion of v in v 2.102 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v))))) in v 2.102 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v)))) in v 2.102 * [taylor]: Taking taylor expansion of +nan.0 in v 2.102 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v 2.102 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 2.102 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.102 * [taylor]: Taking taylor expansion of v in v 2.102 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 2.102 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.102 * [taylor]: Taking taylor expansion of v in v 2.107 * [approximate]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (sqrt (/ -1 e))) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in (e v) around 0 2.107 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (sqrt (/ -1 e))) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in v 2.107 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in v 2.107 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 2.107 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.107 * [taylor]: Taking taylor expansion of -1 in v 2.107 * [taylor]: Taking taylor expansion of v in v 2.108 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in v 2.108 * [taylor]: Taking taylor expansion of (/ -1 e) in v 2.108 * [taylor]: Taking taylor expansion of -1 in v 2.108 * [taylor]: Taking taylor expansion of e in v 2.108 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in v 2.108 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 2.108 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in v 2.108 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 2.108 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.108 * [taylor]: Taking taylor expansion of -1 in v 2.108 * [taylor]: Taking taylor expansion of v in v 2.109 * [taylor]: Taking taylor expansion of (/ -1 e) in v 2.109 * [taylor]: Taking taylor expansion of -1 in v 2.109 * [taylor]: Taking taylor expansion of e in v 2.109 * [taylor]: Taking taylor expansion of 1.0 in v 2.109 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (sqrt (/ -1 e))) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e 2.109 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in e 2.109 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 2.109 * [taylor]: Taking taylor expansion of (/ -1 v) in e 2.109 * [taylor]: Taking taylor expansion of -1 in e 2.109 * [taylor]: Taking taylor expansion of v in e 2.109 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e 2.109 * [taylor]: Taking taylor expansion of (/ -1 e) in e 2.109 * [taylor]: Taking taylor expansion of -1 in e 2.109 * [taylor]: Taking taylor expansion of e in e 2.111 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e 2.111 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 2.111 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e 2.111 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 2.111 * [taylor]: Taking taylor expansion of (/ -1 v) in e 2.111 * [taylor]: Taking taylor expansion of -1 in e 2.111 * [taylor]: Taking taylor expansion of v in e 2.111 * [taylor]: Taking taylor expansion of (/ -1 e) in e 2.111 * [taylor]: Taking taylor expansion of -1 in e 2.111 * [taylor]: Taking taylor expansion of e in e 2.111 * [taylor]: Taking taylor expansion of 1.0 in e 2.114 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (sqrt (/ -1 e))) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e 2.114 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in e 2.114 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 2.114 * [taylor]: Taking taylor expansion of (/ -1 v) in e 2.114 * [taylor]: Taking taylor expansion of -1 in e 2.114 * [taylor]: Taking taylor expansion of v in e 2.114 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e 2.114 * [taylor]: Taking taylor expansion of (/ -1 e) in e 2.114 * [taylor]: Taking taylor expansion of -1 in e 2.114 * [taylor]: Taking taylor expansion of e in e 2.115 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e 2.116 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 2.116 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e 2.116 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 2.116 * [taylor]: Taking taylor expansion of (/ -1 v) in e 2.116 * [taylor]: Taking taylor expansion of -1 in e 2.116 * [taylor]: Taking taylor expansion of v in e 2.116 * [taylor]: Taking taylor expansion of (/ -1 e) in e 2.116 * [taylor]: Taking taylor expansion of -1 in e 2.116 * [taylor]: Taking taylor expansion of e in e 2.116 * [taylor]: Taking taylor expansion of 1.0 in e 2.119 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v 2.119 * [taylor]: Taking taylor expansion of +nan.0 in v 2.119 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v 2.119 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 2.119 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.119 * [taylor]: Taking taylor expansion of -1 in v 2.119 * [taylor]: Taking taylor expansion of v in v 2.119 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 2.119 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.119 * [taylor]: Taking taylor expansion of -1 in v 2.119 * [taylor]: Taking taylor expansion of v in v 2.127 * [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.127 * [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.128 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v 2.128 * [taylor]: Taking taylor expansion of +nan.0 in v 2.128 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v 2.128 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 2.128 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.128 * [taylor]: Taking taylor expansion of -1 in v 2.128 * [taylor]: Taking taylor expansion of v in v 2.128 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v 2.128 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 2.128 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.128 * [taylor]: Taking taylor expansion of -1 in v 2.128 * [taylor]: Taking taylor expansion of v in v 2.129 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v))))) in v 2.129 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v 2.129 * [taylor]: Taking taylor expansion of +nan.0 in v 2.129 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v 2.129 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 2.129 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.129 * [taylor]: Taking taylor expansion of -1 in v 2.129 * [taylor]: Taking taylor expansion of v in v 2.129 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 2.129 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.129 * [taylor]: Taking taylor expansion of -1 in v 2.129 * [taylor]: Taking taylor expansion of v in v 2.142 * [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.142 * [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.142 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v 2.142 * [taylor]: Taking taylor expansion of +nan.0 in v 2.142 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v 2.142 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 2.142 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.142 * [taylor]: Taking taylor expansion of -1 in v 2.142 * [taylor]: Taking taylor expansion of v in v 2.142 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v 2.142 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 2.142 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.142 * [taylor]: Taking taylor expansion of -1 in v 2.142 * [taylor]: Taking taylor expansion of v in v 2.143 * [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.143 * [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.143 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v 2.143 * [taylor]: Taking taylor expansion of +nan.0 in v 2.143 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v 2.143 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 2.143 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.143 * [taylor]: Taking taylor expansion of -1 in v 2.143 * [taylor]: Taking taylor expansion of v in v 2.143 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 2.143 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.143 * [taylor]: Taking taylor expansion of -1 in v 2.143 * [taylor]: Taking taylor expansion of v in v 2.144 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)))) in v 2.144 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3))) in v 2.144 * [taylor]: Taking taylor expansion of +nan.0 in v 2.144 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)) in v 2.144 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 2.144 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.144 * [taylor]: Taking taylor expansion of -1 in v 2.144 * [taylor]: Taking taylor expansion of v in v 2.144 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 3) in v 2.144 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 2.144 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.144 * [taylor]: Taking taylor expansion of -1 in v 2.144 * [taylor]: Taking taylor expansion of v in v 2.149 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 2.150 * [approximate]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in (v e) around 0 2.150 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in e 2.150 * [taylor]: Taking taylor expansion of (sin v) in e 2.150 * [taylor]: Taking taylor expansion of v in e 2.150 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e 2.150 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 2.150 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 2.150 * [taylor]: Taking taylor expansion of (cos v) in e 2.150 * [taylor]: Taking taylor expansion of v in e 2.150 * [taylor]: Taking taylor expansion of e in e 2.150 * [taylor]: Taking taylor expansion of 1.0 in e 2.151 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in v 2.151 * [taylor]: Taking taylor expansion of (sin v) in v 2.151 * [taylor]: Taking taylor expansion of v in v 2.151 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in v 2.151 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 2.151 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 2.151 * [taylor]: Taking taylor expansion of (cos v) in v 2.151 * [taylor]: Taking taylor expansion of v in v 2.151 * [taylor]: Taking taylor expansion of e in v 2.151 * [taylor]: Taking taylor expansion of 1.0 in v 2.151 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in v 2.152 * [taylor]: Taking taylor expansion of (sin v) in v 2.152 * [taylor]: Taking taylor expansion of v in v 2.152 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in v 2.152 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 2.152 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 2.152 * [taylor]: Taking taylor expansion of (cos v) in v 2.152 * [taylor]: Taking taylor expansion of v in v 2.152 * [taylor]: Taking taylor expansion of e in v 2.152 * [taylor]: Taking taylor expansion of 1.0 in v 2.152 * [taylor]: Taking taylor expansion of (/ 1 (+ e 1.0)) in e 2.152 * [taylor]: Taking taylor expansion of (+ e 1.0) in e 2.152 * [taylor]: Taking taylor expansion of e in e 2.152 * [taylor]: Taking taylor expansion of 1.0 in e 2.154 * [taylor]: Taking taylor expansion of 0 in e 2.158 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ e (pow (+ e 1.0) 2))) (* 1/6 (/ 1 (+ e 1.0)))) in e 2.158 * [taylor]: Taking taylor expansion of (* 1/2 (/ e (pow (+ e 1.0) 2))) in e 2.158 * [taylor]: Taking taylor expansion of 1/2 in e 2.158 * [taylor]: Taking taylor expansion of (/ e (pow (+ e 1.0) 2)) in e 2.158 * [taylor]: Taking taylor expansion of e in e 2.158 * [taylor]: Taking taylor expansion of (pow (+ e 1.0) 2) in e 2.158 * [taylor]: Taking taylor expansion of (+ e 1.0) in e 2.158 * [taylor]: Taking taylor expansion of e in e 2.158 * [taylor]: Taking taylor expansion of 1.0 in e 2.159 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (+ e 1.0))) in e 2.159 * [taylor]: Taking taylor expansion of 1/6 in e 2.159 * [taylor]: Taking taylor expansion of (/ 1 (+ e 1.0)) in e 2.159 * [taylor]: Taking taylor expansion of (+ e 1.0) in e 2.159 * [taylor]: Taking taylor expansion of e in e 2.159 * [taylor]: Taking taylor expansion of 1.0 in e 2.162 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in (v e) around 0 2.162 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e 2.162 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 2.162 * [taylor]: Taking taylor expansion of (/ 1 v) in e 2.162 * [taylor]: Taking taylor expansion of v in e 2.162 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e 2.162 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 2.162 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e 2.162 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 2.162 * [taylor]: Taking taylor expansion of (/ 1 v) in e 2.162 * [taylor]: Taking taylor expansion of v in e 2.162 * [taylor]: Taking taylor expansion of (/ 1 e) in e 2.162 * [taylor]: Taking taylor expansion of e in e 2.163 * [taylor]: Taking taylor expansion of 1.0 in e 2.163 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in v 2.163 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 2.163 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.163 * [taylor]: Taking taylor expansion of v in v 2.163 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in v 2.164 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 2.164 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in v 2.164 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 2.164 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.164 * [taylor]: Taking taylor expansion of v in v 2.164 * [taylor]: Taking taylor expansion of (/ 1 e) in v 2.164 * [taylor]: Taking taylor expansion of e in v 2.164 * [taylor]: Taking taylor expansion of 1.0 in v 2.164 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in v 2.164 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 2.164 * [taylor]: Taking taylor expansion of (/ 1 v) in v 2.164 * [taylor]: Taking taylor expansion of v in v 2.165 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in v 2.165 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 2.165 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in v 2.165 * [taylor]: Taking taylor expansion of (cos (/ 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.165 * [taylor]: Taking taylor expansion of (/ 1 e) in v 2.165 * [taylor]: Taking taylor expansion of e in v 2.165 * [taylor]: Taking taylor expansion of 1.0 in v 2.166 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (+ (/ (cos (/ 1 v)) e) 1.0)) in e 2.166 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 2.166 * [taylor]: Taking taylor expansion of (/ 1 v) in e 2.166 * [taylor]: Taking taylor expansion of v in e 2.166 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1.0) in e 2.166 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e 2.166 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 2.166 * [taylor]: Taking taylor expansion of (/ 1 v) in e 2.166 * [taylor]: Taking taylor expansion of v in e 2.166 * [taylor]: Taking taylor expansion of e in e 2.166 * [taylor]: Taking taylor expansion of 1.0 in e 2.167 * [taylor]: Taking taylor expansion of 0 in e 2.175 * [taylor]: Taking taylor expansion of 0 in e 2.182 * [approximate]: Taking taylor expansion of (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in (v e) around 0 2.182 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e 2.182 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 2.182 * [taylor]: Taking taylor expansion of (/ -1 v) in e 2.182 * [taylor]: Taking taylor expansion of -1 in e 2.182 * [taylor]: Taking taylor expansion of v in e 2.182 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e 2.182 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 2.182 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e 2.182 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 2.182 * [taylor]: Taking taylor expansion of (/ -1 v) in e 2.182 * [taylor]: Taking taylor expansion of -1 in e 2.182 * [taylor]: Taking taylor expansion of v in e 2.183 * [taylor]: Taking taylor expansion of (/ -1 e) in e 2.183 * [taylor]: Taking taylor expansion of -1 in e 2.183 * [taylor]: Taking taylor expansion of e in e 2.183 * [taylor]: Taking taylor expansion of 1.0 in e 2.184 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.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.184 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in v 2.184 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 2.184 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in v 2.184 * [taylor]: Taking taylor expansion of (cos (/ -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.185 * [taylor]: Taking taylor expansion of (/ -1 e) in v 2.185 * [taylor]: Taking taylor expansion of -1 in v 2.185 * [taylor]: Taking taylor expansion of e in v 2.185 * [taylor]: Taking taylor expansion of 1.0 in v 2.185 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in v 2.185 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 2.185 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.185 * [taylor]: Taking taylor expansion of -1 in v 2.185 * [taylor]: Taking taylor expansion of v in v 2.185 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in v 2.185 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 2.186 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in v 2.186 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 2.186 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.186 * [taylor]: Taking taylor expansion of -1 in v 2.186 * [taylor]: Taking taylor expansion of v in v 2.186 * [taylor]: Taking taylor expansion of (/ -1 e) in v 2.186 * [taylor]: Taking taylor expansion of -1 in v 2.186 * [taylor]: Taking taylor expansion of e in v 2.186 * [taylor]: Taking taylor expansion of 1.0 in v 2.186 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (- 1.0 (/ (cos (/ -1 v)) e))) in e 2.186 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 2.186 * [taylor]: Taking taylor expansion of (/ -1 v) in e 2.186 * [taylor]: Taking taylor expansion of -1 in e 2.186 * [taylor]: Taking taylor expansion of v in e 2.186 * [taylor]: Taking taylor expansion of (- 1.0 (/ (cos (/ -1 v)) e)) in e 2.186 * [taylor]: Taking taylor expansion of 1.0 in e 2.186 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e 2.186 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 2.186 * [taylor]: Taking taylor expansion of (/ -1 v) in e 2.187 * [taylor]: Taking taylor expansion of -1 in e 2.187 * [taylor]: Taking taylor expansion of v in e 2.187 * [taylor]: Taking taylor expansion of e in e 2.188 * [taylor]: Taking taylor expansion of 0 in e 2.194 * [taylor]: Taking taylor expansion of 0 in e 2.201 * * * [progress]: simplifying candidates 2.202 * [simplify]: Simplifying using # : (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)))) (* (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)) (log (/ (sin v) (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) (sqrt e)) (sqrt e)) (* (* (/ (sin v) (fma (cos v) e 1.0)) (/ (sin v) (fma (cos v) e 1.0))) (/ (sin v) (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 e) (sqrt e)) (* (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)))) (* (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)) (log (/ (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)))) (* (* (* (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)) (* (* (/ (sin v) (fma (cos v) e 1.0)) (/ (sin v) (fma (cos v) e 1.0))) (/ (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))))) (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 (sqrt e)) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt e) (* (cbrt (/ (sin v) (fma (cos v) e 1.0))) (cbrt (/ (sin v) (fma (cos v) e 1.0))))) (* (sqrt e) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt e) (/ (* (cbrt (sin v)) (cbrt (sin v))) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))))) (* (sqrt e) (/ (* (cbrt (sin v)) (cbrt (sin v))) (sqrt (fma (cos v) e 1.0)))) (* (sqrt e) (/ (* (cbrt (sin v)) (cbrt (sin v))) 1)) (* (sqrt e) (/ (sqrt (sin v)) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))))) (* (sqrt e) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt e) (/ (sqrt (sin v)) 1)) (* (sqrt e) (/ 1 (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))))) (* (sqrt e) (/ 1 (sqrt (fma (cos v) e 1.0)))) (* (sqrt e) (/ 1 1)) (* (sqrt e) 1) (* (sqrt e) (sin v)) (* (cbrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt (cbrt 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 (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt e) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt e) (sin v)) (expm1 (/ (sin v) (fma (cos v) e 1.0))) (log1p (/ (sin v) (fma (cos v) e 1.0))) (- (log (sin v)) (log (fma (cos v) e 1.0))) (log (/ (sin v) (fma (cos v) e 1.0))) (exp (/ (sin v) (fma (cos v) e 1.0))) (/ (* (* (sin v) (sin v)) (sin v)) (* (* (fma (cos v) e 1.0) (fma (cos v) e 1.0)) (fma (cos v) e 1.0))) (* (cbrt (/ (sin v) (fma (cos v) e 1.0))) (cbrt (/ (sin v) (fma (cos v) e 1.0)))) (cbrt (/ (sin v) (fma (cos v) e 1.0))) (* (* (/ (sin v) (fma (cos v) e 1.0)) (/ (sin v) (fma (cos v) e 1.0))) (/ (sin v) (fma (cos v) e 1.0))) (sqrt (/ (sin v) (fma (cos v) e 1.0))) (sqrt (/ (sin v) (fma (cos v) e 1.0))) (- (sin v)) (- (fma (cos v) e 1.0)) (/ (* (cbrt (sin v)) (cbrt (sin v))) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (cbrt (sin v)) (cbrt (fma (cos v) e 1.0))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (sqrt (fma (cos v) e 1.0))) (/ (cbrt (sin v)) (sqrt (fma (cos v) e 1.0))) (/ (* (cbrt (sin v)) (cbrt (sin v))) 1) (/ (cbrt (sin v)) (fma (cos v) e 1.0)) (/ (sqrt (sin v)) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (sqrt (sin v)) (cbrt (fma (cos v) e 1.0))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0))) (/ (sqrt (sin v)) 1) (/ (sqrt (sin v)) (fma (cos v) e 1.0)) (/ 1 (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (sin v) (cbrt (fma (cos v) e 1.0))) (/ 1 (sqrt (fma (cos v) e 1.0))) (/ (sin v) (sqrt (fma (cos v) e 1.0))) (/ 1 1) (/ (sin v) (fma (cos v) e 1.0)) (/ 1 (fma (cos v) e 1.0)) (/ (fma (cos v) e 1.0) (sin v)) (/ (sin v) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (sin v) (sqrt (fma (cos v) e 1.0))) (/ (sin v) 1) (/ (fma (cos v) e 1.0) (cbrt (sin v))) (/ (fma (cos v) e 1.0) (sqrt (sin v))) (/ (fma (cos v) e 1.0) (sin 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)))) (- (+ (* +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.0 v) (+ (* 0.16666666666666666 (pow v 3)) (* 1.0 (* e v)))) (- (+ (/ (sin v) (* (cos v) e)) (* 1.0 (/ (sin v) (* (pow (cos v) 3) (pow e 3))))) (* 1.0 (/ (sin v) (* (pow (cos v) 2) (pow e 2))))) (- (+ (/ (sin v) (* (cos v) e)) (* 1.0 (/ (sin v) (* (pow (cos v) 3) (pow e 3))))) (* 1.0 (/ (sin v) (* (pow (cos v) 2) (pow e 2))))) 2.210 * * [simplify]: iteration 0 : 186 enodes (cost 1912 ) 2.243 * * [simplify]: iteration 1 : 492 enodes (cost 1740 ) 2.355 * * [simplify]: iteration 2 : 2122 enodes (cost 1544 ) 2.898 * * [simplify]: iteration done : 5000 enodes (cost 1537 ) 2.899 * [simplify]: Simplified to: (expm1 (* e (/ (sin v) (fma (cos v) e 1.0)))) (log1p (* e (/ (sin v) (fma (cos v) e 1.0)))) (* e (/ (sin v) (fma (cos v) e 1.0))) (* e (/ (sin v) (fma (cos v) e 1.0))) (log (* e (/ (sin v) (fma (cos v) e 1.0)))) (log (* e (/ (sin v) (fma (cos v) e 1.0)))) (log (* e (/ (sin v) (fma (cos v) e 1.0)))) (log (* e (/ (sin v) (fma (cos v) e 1.0)))) (exp (* 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 (* e (/ (sin v) (fma (cos v) e 1.0)))) (cbrt (* e (/ (sin v) (fma (cos v) e 1.0))))) (cbrt (* e (/ (sin v) (fma (cos v) e 1.0)))) (pow (* e (/ (sin v) (fma (cos v) e 1.0))) 3) (sqrt (* e (/ (sin v) (fma (cos v) e 1.0)))) (sqrt (* e (/ (sin v) (fma (cos v) e 1.0)))) e (* (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)))) (* (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 (sqrt e)) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt e) (* (cbrt (/ (sin v) (fma (cos v) e 1.0))) (cbrt (/ (sin v) (fma (cos v) e 1.0))))) (* (sqrt e) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt e) (/ (* (cbrt (sin v)) (cbrt (sin v))) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))))) (* (sqrt e) (/ (* (cbrt (sin v)) (cbrt (sin v))) (sqrt (fma (cos v) e 1.0)))) (* (sqrt e) (* (cbrt (sin v)) (cbrt (sin v)))) (* (sqrt e) (/ (sqrt (sin v)) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))))) (* (sqrt e) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sin v)) (sqrt e)) (/ (sqrt e) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (sqrt e) (sqrt (fma (cos v) e 1.0))) (sqrt e) (sqrt e) (* (sqrt e) (sin v)) (* (cbrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt (cbrt 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 (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt e) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt e) (sin v)) (expm1 (/ (sin v) (fma (cos v) e 1.0))) (log1p (/ (sin v) (fma (cos v) e 1.0))) (log (/ (sin v) (fma (cos v) e 1.0))) (log (/ (sin v) (fma (cos v) e 1.0))) (exp (/ (sin v) (fma (cos v) e 1.0))) (pow (/ (sin v) (fma (cos v) e 1.0)) 3) (* (cbrt (/ (sin v) (fma (cos v) e 1.0))) (cbrt (/ (sin v) (fma (cos v) e 1.0)))) (cbrt (/ (sin v) (fma (cos v) e 1.0))) (pow (/ (sin v) (fma (cos v) e 1.0)) 3) (sqrt (/ (sin v) (fma (cos v) e 1.0))) (sqrt (/ (sin v) (fma (cos v) e 1.0))) (- (sin v)) (- (fma (cos v) e 1.0)) (/ (* (cbrt (sin v)) (cbrt (sin v))) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (cbrt (sin v)) (cbrt (fma (cos v) e 1.0))) (/ (* (cbrt (sin v)) (cbrt (sin v))) (sqrt (fma (cos v) e 1.0))) (/ (cbrt (sin v)) (sqrt (fma (cos v) e 1.0))) (* (cbrt (sin v)) (cbrt (sin v))) (/ (cbrt (sin v)) (fma (cos v) e 1.0)) (/ (sqrt (sin v)) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (sqrt (sin v)) (cbrt (fma (cos v) e 1.0))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0))) (sqrt (sin v)) (/ (sqrt (sin v)) (fma (cos v) e 1.0)) (/ 1 (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (sin v) (cbrt (fma (cos v) e 1.0))) (/ 1 (sqrt (fma (cos v) e 1.0))) (/ (sin v) (sqrt (fma (cos v) e 1.0))) 1 (/ (sin v) (fma (cos v) e 1.0)) (/ 1 (fma (cos v) e 1.0)) (/ (fma (cos v) e 1.0) (sin v)) (/ (sin v) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (sin v) (sqrt (fma (cos v) e 1.0))) (sin v) (/ (fma (cos v) e 1.0) (cbrt (sin v))) (/ (fma (cos v) e 1.0) (sqrt (sin v))) (/ (fma (cos v) e 1.0) (sin v)) (* 1.0 (- (* v (+ (pow e 3) e)) (* (pow e 2) v))) (+ (* 1.0 (- (/ (sin v) (* (pow (cos v) 3) (pow e 2))) (/ (sin v) (* (pow (cos v) 2) e)))) (/ (sin v) (cos v))) (- (- (* +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 3)))) (fma (/ (sin v) (* (pow (cos v) 3) (pow e 3))) +nan.0 (- (* +nan.0 (- (/ (sin v) (* (cos v) (pow e 3))) (/ (sin v) (* (cos v) (pow e 2))))) (* +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 2))))))) (* +nan.0 (/ (sin v) (* (cos v) e)))) (- (* +nan.0 (- (* e v) (* (pow e 2) v))) (* +nan.0 (* (pow e 3) v))) (- (- (* +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 3)))) (fma (/ (sin v) (* (pow (cos v) 3) (pow e 3))) +nan.0 (- (* +nan.0 (- (/ (sin v) (* (cos v) (pow e 3))) (/ (sin v) (* (cos v) (pow e 2))))) (* +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 2))))))) (* +nan.0 (/ (sin v) (* (cos v) e)))) (- (- (* +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 3)))) (fma (/ (sin v) (* (pow (cos v) 3) (pow e 3))) +nan.0 (- (* +nan.0 (- (/ (sin v) (* (cos v) (pow e 3))) (/ (sin v) (* (cos v) (pow e 2))))) (* +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 2))))))) (* +nan.0 (/ (sin v) (* (cos v) e)))) (fma 1.0 v (- (fma 0.16666666666666666 (pow v 3) (* 1.0 (* e v))))) (+ (/ (sin v) (* (cos v) e)) (* 1.0 (- (/ (sin v) (* (pow (cos v) 3) (pow e 3))) (/ (sin v) (* (pow (cos v) 2) (pow e 2)))))) (+ (/ (sin v) (* (cos v) e)) (* 1.0 (- (/ (sin v) (* (pow (cos v) 3) (pow e 3))) (/ (sin v) (* (pow (cos v) 2) (pow e 2)))))) 2.900 * * * [progress]: adding candidates to table 3.164 * * [progress]: iteration 4 / 4 3.164 * * * [progress]: picking best candidate 3.183 * * * * [pick]: Picked # 3.184 * * * [progress]: localizing error 3.197 * * * [progress]: generating rewritten candidates 3.197 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 3.219 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 3.277 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 3.290 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 3.295 * * * [progress]: generating series expansions 3.296 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 3.296 * [approximate]: Taking taylor expansion of (* (sqrt e) (/ (sin v) (fma (cos v) e 1.0))) in (e v) around 0 3.296 * [taylor]: Taking taylor expansion of (* (sqrt e) (/ (sin v) (fma (cos v) e 1.0))) in v 3.296 * [taylor]: Taking taylor expansion of (sqrt e) in v 3.296 * [taylor]: Taking taylor expansion of e in v 3.296 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in v 3.296 * [taylor]: Taking taylor expansion of (sin v) in v 3.296 * [taylor]: Taking taylor expansion of v in v 3.296 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in v 3.296 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 3.296 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 3.296 * [taylor]: Taking taylor expansion of (cos v) in v 3.296 * [taylor]: Taking taylor expansion of v in v 3.296 * [taylor]: Taking taylor expansion of e in v 3.296 * [taylor]: Taking taylor expansion of 1.0 in v 3.297 * [taylor]: Taking taylor expansion of (* (sqrt e) (/ (sin v) (fma (cos v) e 1.0))) in e 3.297 * [taylor]: Taking taylor expansion of (sqrt e) in e 3.297 * [taylor]: Taking taylor expansion of e in e 3.298 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in e 3.298 * [taylor]: Taking taylor expansion of (sin v) in e 3.298 * [taylor]: Taking taylor expansion of v in e 3.298 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e 3.298 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 3.298 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 3.298 * [taylor]: Taking taylor expansion of (cos v) in e 3.298 * [taylor]: Taking taylor expansion of v in e 3.298 * [taylor]: Taking taylor expansion of e in e 3.298 * [taylor]: Taking taylor expansion of 1.0 in e 3.299 * [taylor]: Taking taylor expansion of (* (sqrt e) (/ (sin v) (fma (cos v) e 1.0))) in e 3.299 * [taylor]: Taking taylor expansion of (sqrt e) in e 3.299 * [taylor]: Taking taylor expansion of e in e 3.300 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in e 3.300 * [taylor]: Taking taylor expansion of (sin v) in e 3.300 * [taylor]: Taking taylor expansion of v in e 3.300 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e 3.301 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 3.301 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 3.301 * [taylor]: Taking taylor expansion of (cos v) in e 3.301 * [taylor]: Taking taylor expansion of v in e 3.301 * [taylor]: Taking taylor expansion of e in e 3.301 * [taylor]: Taking taylor expansion of 1.0 in e 3.301 * [taylor]: Taking taylor expansion of 0 in v 3.305 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sin v))) in v 3.305 * [taylor]: Taking taylor expansion of (* +nan.0 (sin v)) in v 3.305 * [taylor]: Taking taylor expansion of +nan.0 in v 3.305 * [taylor]: Taking taylor expansion of (sin v) in v 3.305 * [taylor]: Taking taylor expansion of v in v 3.315 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (sin v)) (- (* +nan.0 (* (cos v) (sin v)))))) in v 3.315 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (sin v)) (- (* +nan.0 (* (cos v) (sin v))))) in v 3.315 * [taylor]: Taking taylor expansion of (* +nan.0 (sin v)) in v 3.315 * [taylor]: Taking taylor expansion of +nan.0 in v 3.315 * [taylor]: Taking taylor expansion of (sin v) in v 3.315 * [taylor]: Taking taylor expansion of v in v 3.315 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (cos v) (sin v)))) in v 3.315 * [taylor]: Taking taylor expansion of (* +nan.0 (* (cos v) (sin v))) in v 3.315 * [taylor]: Taking taylor expansion of +nan.0 in v 3.315 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v 3.315 * [taylor]: Taking taylor expansion of (cos v) in v 3.315 * [taylor]: Taking taylor expansion of v in v 3.315 * [taylor]: Taking taylor expansion of (sin v) in v 3.315 * [taylor]: Taking taylor expansion of v in v 3.334 * [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 3.334 * [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 3.334 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow (cos v) 2) (sin v))) in v 3.334 * [taylor]: Taking taylor expansion of +nan.0 in v 3.334 * [taylor]: Taking taylor expansion of (* (pow (cos v) 2) (sin v)) in v 3.334 * [taylor]: Taking taylor expansion of (pow (cos v) 2) in v 3.334 * [taylor]: Taking taylor expansion of (cos v) in v 3.334 * [taylor]: Taking taylor expansion of v in v 3.334 * [taylor]: Taking taylor expansion of (sin v) in v 3.334 * [taylor]: Taking taylor expansion of v in v 3.334 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (sin v)) (- (* +nan.0 (* (cos v) (sin v)))))) in v 3.334 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (sin v)) (- (* +nan.0 (* (cos v) (sin v))))) in v 3.334 * [taylor]: Taking taylor expansion of (* +nan.0 (sin v)) in v 3.334 * [taylor]: Taking taylor expansion of +nan.0 in v 3.334 * [taylor]: Taking taylor expansion of (sin v) in v 3.334 * [taylor]: Taking taylor expansion of v in v 3.334 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (cos v) (sin v)))) in v 3.334 * [taylor]: Taking taylor expansion of (* +nan.0 (* (cos v) (sin v))) in v 3.334 * [taylor]: Taking taylor expansion of +nan.0 in v 3.334 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v 3.334 * [taylor]: Taking taylor expansion of (cos v) in v 3.334 * [taylor]: Taking taylor expansion of v in v 3.334 * [taylor]: Taking taylor expansion of (sin v) in v 3.334 * [taylor]: Taking taylor expansion of v in v 3.344 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 e)) (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in (e v) around 0 3.344 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 e)) (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in v 3.344 * [taylor]: Taking taylor expansion of (sqrt (/ 1 e)) in v 3.344 * [taylor]: Taking taylor expansion of (/ 1 e) in v 3.344 * [taylor]: Taking taylor expansion of e in v 3.344 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in v 3.345 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 3.345 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.345 * [taylor]: Taking taylor expansion of v in v 3.345 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in v 3.345 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 3.345 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in v 3.345 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 3.345 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.345 * [taylor]: Taking taylor expansion of v in v 3.345 * [taylor]: Taking taylor expansion of (/ 1 e) in v 3.345 * [taylor]: Taking taylor expansion of e in v 3.345 * [taylor]: Taking taylor expansion of 1.0 in v 3.346 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 e)) (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e 3.346 * [taylor]: Taking taylor expansion of (sqrt (/ 1 e)) in e 3.346 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.346 * [taylor]: Taking taylor expansion of e in e 3.347 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e 3.347 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 3.347 * [taylor]: Taking taylor expansion of (/ 1 v) in e 3.347 * [taylor]: Taking taylor expansion of v in e 3.347 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e 3.347 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 3.347 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e 3.347 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 3.347 * [taylor]: Taking taylor expansion of (/ 1 v) in e 3.347 * [taylor]: Taking taylor expansion of v in e 3.347 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.347 * [taylor]: Taking taylor expansion of e in e 3.348 * [taylor]: Taking taylor expansion of 1.0 in e 3.348 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 e)) (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e 3.348 * [taylor]: Taking taylor expansion of (sqrt (/ 1 e)) in e 3.348 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.348 * [taylor]: Taking taylor expansion of e in e 3.349 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e 3.350 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 3.350 * [taylor]: Taking taylor expansion of (/ 1 v) in e 3.350 * [taylor]: Taking taylor expansion of v in e 3.350 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e 3.350 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 3.350 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e 3.350 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 3.350 * [taylor]: Taking taylor expansion of (/ 1 v) in e 3.350 * [taylor]: Taking taylor expansion of v in e 3.350 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.350 * [taylor]: Taking taylor expansion of e in e 3.350 * [taylor]: Taking taylor expansion of 1.0 in e 3.351 * [taylor]: Taking taylor expansion of 0 in v 3.356 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v))))) in v 3.356 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v)))) in v 3.356 * [taylor]: Taking taylor expansion of +nan.0 in v 3.356 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v 3.356 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 3.356 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.356 * [taylor]: Taking taylor expansion of v in v 3.356 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 3.356 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.356 * [taylor]: Taking taylor expansion of v in v 3.365 * [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 3.365 * [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 3.365 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v 3.365 * [taylor]: Taking taylor expansion of +nan.0 in v 3.365 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v 3.365 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 3.365 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.365 * [taylor]: Taking taylor expansion of v in v 3.366 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v 3.366 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 3.366 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.366 * [taylor]: Taking taylor expansion of v in v 3.366 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v))))) in v 3.366 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v)))) in v 3.366 * [taylor]: Taking taylor expansion of +nan.0 in v 3.366 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v 3.366 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 3.366 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.366 * [taylor]: Taking taylor expansion of v in v 3.367 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 3.367 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.367 * [taylor]: Taking taylor expansion of v in v 3.380 * [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 3.380 * [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 3.380 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3))) in v 3.380 * [taylor]: Taking taylor expansion of +nan.0 in v 3.380 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) in v 3.380 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 3.380 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.380 * [taylor]: Taking taylor expansion of v in v 3.380 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 3) in v 3.380 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 3.380 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.380 * [taylor]: Taking taylor expansion of v in v 3.381 * [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 3.381 * [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 3.381 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v 3.381 * [taylor]: Taking taylor expansion of +nan.0 in v 3.381 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v 3.381 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 3.381 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.381 * [taylor]: Taking taylor expansion of v in v 3.381 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v 3.381 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 3.381 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.381 * [taylor]: Taking taylor expansion of v in v 3.382 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v))))) in v 3.382 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ 1 v)) (cos (/ 1 v)))) in v 3.382 * [taylor]: Taking taylor expansion of +nan.0 in v 3.382 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v 3.382 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 3.382 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.382 * [taylor]: Taking taylor expansion of v in v 3.382 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 3.382 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.382 * [taylor]: Taking taylor expansion of v in v 3.387 * [approximate]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (sqrt (/ -1 e))) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in (e v) around 0 3.387 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (sqrt (/ -1 e))) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in v 3.387 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in v 3.387 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.387 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.387 * [taylor]: Taking taylor expansion of -1 in v 3.388 * [taylor]: Taking taylor expansion of v in v 3.388 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in v 3.388 * [taylor]: Taking taylor expansion of (/ -1 e) in v 3.388 * [taylor]: Taking taylor expansion of -1 in v 3.388 * [taylor]: Taking taylor expansion of e in v 3.388 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in v 3.388 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 3.388 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in v 3.388 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.388 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.388 * [taylor]: Taking taylor expansion of -1 in v 3.388 * [taylor]: Taking taylor expansion of v in v 3.389 * [taylor]: Taking taylor expansion of (/ -1 e) in v 3.389 * [taylor]: Taking taylor expansion of -1 in v 3.389 * [taylor]: Taking taylor expansion of e in v 3.389 * [taylor]: Taking taylor expansion of 1.0 in v 3.389 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (sqrt (/ -1 e))) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e 3.389 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in e 3.389 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 3.389 * [taylor]: Taking taylor expansion of (/ -1 v) in e 3.389 * [taylor]: Taking taylor expansion of -1 in e 3.389 * [taylor]: Taking taylor expansion of v in e 3.389 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e 3.389 * [taylor]: Taking taylor expansion of (/ -1 e) in e 3.389 * [taylor]: Taking taylor expansion of -1 in e 3.389 * [taylor]: Taking taylor expansion of e in e 3.391 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e 3.391 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 3.391 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e 3.391 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 3.391 * [taylor]: Taking taylor expansion of (/ -1 v) in e 3.391 * [taylor]: Taking taylor expansion of -1 in e 3.391 * [taylor]: Taking taylor expansion of v in e 3.391 * [taylor]: Taking taylor expansion of (/ -1 e) in e 3.391 * [taylor]: Taking taylor expansion of -1 in e 3.391 * [taylor]: Taking taylor expansion of e in e 3.391 * [taylor]: Taking taylor expansion of 1.0 in e 3.394 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (sqrt (/ -1 e))) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e 3.394 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in e 3.394 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 3.394 * [taylor]: Taking taylor expansion of (/ -1 v) in e 3.394 * [taylor]: Taking taylor expansion of -1 in e 3.394 * [taylor]: Taking taylor expansion of v in e 3.394 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e 3.394 * [taylor]: Taking taylor expansion of (/ -1 e) in e 3.394 * [taylor]: Taking taylor expansion of -1 in e 3.394 * [taylor]: Taking taylor expansion of e in e 3.395 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e 3.395 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 3.395 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e 3.395 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 3.395 * [taylor]: Taking taylor expansion of (/ -1 v) in e 3.395 * [taylor]: Taking taylor expansion of -1 in e 3.395 * [taylor]: Taking taylor expansion of v in e 3.396 * [taylor]: Taking taylor expansion of (/ -1 e) in e 3.396 * [taylor]: Taking taylor expansion of -1 in e 3.396 * [taylor]: Taking taylor expansion of e in e 3.396 * [taylor]: Taking taylor expansion of 1.0 in e 3.398 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v 3.398 * [taylor]: Taking taylor expansion of +nan.0 in v 3.398 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v 3.398 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.398 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.398 * [taylor]: Taking taylor expansion of -1 in v 3.398 * [taylor]: Taking taylor expansion of v in v 3.399 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.399 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.399 * [taylor]: Taking taylor expansion of -1 in v 3.399 * [taylor]: Taking taylor expansion of v in v 3.407 * [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 3.407 * [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 3.407 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v 3.407 * [taylor]: Taking taylor expansion of +nan.0 in v 3.407 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v 3.407 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.407 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.407 * [taylor]: Taking taylor expansion of -1 in v 3.407 * [taylor]: Taking taylor expansion of v in v 3.408 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v 3.408 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.408 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.408 * [taylor]: Taking taylor expansion of -1 in v 3.408 * [taylor]: Taking taylor expansion of v in v 3.408 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v))))) in v 3.408 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v 3.408 * [taylor]: Taking taylor expansion of +nan.0 in v 3.408 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v 3.408 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.408 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.408 * [taylor]: Taking taylor expansion of -1 in v 3.408 * [taylor]: Taking taylor expansion of v in v 3.409 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.409 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.409 * [taylor]: Taking taylor expansion of -1 in v 3.409 * [taylor]: Taking taylor expansion of v in v 3.425 * [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 3.425 * [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 3.425 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v 3.425 * [taylor]: Taking taylor expansion of +nan.0 in v 3.425 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v 3.425 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.425 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.425 * [taylor]: Taking taylor expansion of -1 in v 3.425 * [taylor]: Taking taylor expansion of v in v 3.425 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v 3.425 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.425 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.425 * [taylor]: Taking taylor expansion of -1 in v 3.425 * [taylor]: Taking taylor expansion of v in v 3.426 * [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 3.426 * [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 3.426 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v 3.426 * [taylor]: Taking taylor expansion of +nan.0 in v 3.426 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v 3.426 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.426 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.426 * [taylor]: Taking taylor expansion of -1 in v 3.426 * [taylor]: Taking taylor expansion of v in v 3.427 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.427 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.427 * [taylor]: Taking taylor expansion of -1 in v 3.427 * [taylor]: Taking taylor expansion of v in v 3.427 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)))) in v 3.427 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3))) in v 3.427 * [taylor]: Taking taylor expansion of +nan.0 in v 3.427 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)) in v 3.427 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.427 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.427 * [taylor]: Taking taylor expansion of -1 in v 3.427 * [taylor]: Taking taylor expansion of v in v 3.427 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 3) in v 3.427 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.427 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.427 * [taylor]: Taking taylor expansion of -1 in v 3.427 * [taylor]: Taking taylor expansion of v in v 3.433 * * * * [progress]: [ 2 / 4 ] generating series at (2) 3.433 * [approximate]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in (e v) around 0 3.433 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in v 3.433 * [taylor]: Taking taylor expansion of (* e (sin v)) in v 3.433 * [taylor]: Taking taylor expansion of e in v 3.433 * [taylor]: Taking taylor expansion of (sin v) in v 3.433 * [taylor]: Taking taylor expansion of v in v 3.433 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in v 3.433 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 3.433 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 3.433 * [taylor]: Taking taylor expansion of (cos v) in v 3.433 * [taylor]: Taking taylor expansion of v in v 3.433 * [taylor]: Taking taylor expansion of e in v 3.433 * [taylor]: Taking taylor expansion of 1.0 in v 3.434 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in e 3.434 * [taylor]: Taking taylor expansion of (* e (sin v)) in e 3.434 * [taylor]: Taking taylor expansion of e in e 3.434 * [taylor]: Taking taylor expansion of (sin v) in e 3.434 * [taylor]: Taking taylor expansion of v in e 3.434 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e 3.434 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 3.434 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 3.434 * [taylor]: Taking taylor expansion of (cos v) in e 3.434 * [taylor]: Taking taylor expansion of v in e 3.435 * [taylor]: Taking taylor expansion of e in e 3.435 * [taylor]: Taking taylor expansion of 1.0 in e 3.437 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (fma (cos v) e 1.0)) in e 3.437 * [taylor]: Taking taylor expansion of (* e (sin v)) in e 3.437 * [taylor]: Taking taylor expansion of e in e 3.437 * [taylor]: Taking taylor expansion of (sin v) in e 3.437 * [taylor]: Taking taylor expansion of v in e 3.437 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e 3.437 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 3.437 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 3.437 * [taylor]: Taking taylor expansion of (cos v) in e 3.437 * [taylor]: Taking taylor expansion of v in e 3.437 * [taylor]: Taking taylor expansion of e in e 3.437 * [taylor]: Taking taylor expansion of 1.0 in e 3.440 * [taylor]: Taking taylor expansion of (* 1.0 (sin v)) in v 3.440 * [taylor]: Taking taylor expansion of 1.0 in v 3.440 * [taylor]: Taking taylor expansion of (sin v) in v 3.440 * [taylor]: Taking taylor expansion of v in v 3.446 * [taylor]: Taking taylor expansion of (- (* 1.0 (* (cos v) (sin v)))) in v 3.446 * [taylor]: Taking taylor expansion of (* 1.0 (* (cos v) (sin v))) in v 3.446 * [taylor]: Taking taylor expansion of 1.0 in v 3.446 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v 3.446 * [taylor]: Taking taylor expansion of (cos v) in v 3.446 * [taylor]: Taking taylor expansion of v in v 3.446 * [taylor]: Taking taylor expansion of (sin v) in v 3.446 * [taylor]: Taking taylor expansion of v in v 3.456 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow (cos v) 2) (sin v))) in v 3.456 * [taylor]: Taking taylor expansion of 1.0 in v 3.456 * [taylor]: Taking taylor expansion of (* (pow (cos v) 2) (sin v)) in v 3.456 * [taylor]: Taking taylor expansion of (pow (cos v) 2) in v 3.456 * [taylor]: Taking taylor expansion of (cos v) in v 3.456 * [taylor]: Taking taylor expansion of v in v 3.456 * [taylor]: Taking taylor expansion of (sin v) in v 3.456 * [taylor]: Taking taylor expansion of v in v 3.460 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in (e v) around 0 3.460 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in v 3.460 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 3.460 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.460 * [taylor]: Taking taylor expansion of v in v 3.460 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in v 3.460 * [taylor]: Taking taylor expansion of e in v 3.460 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in v 3.460 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 3.460 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in v 3.460 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 3.460 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.460 * [taylor]: Taking taylor expansion of v in v 3.461 * [taylor]: Taking taylor expansion of (/ 1 e) in v 3.461 * [taylor]: Taking taylor expansion of e in v 3.461 * [taylor]: Taking taylor expansion of 1.0 in v 3.461 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e 3.461 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 3.461 * [taylor]: Taking taylor expansion of (/ 1 v) in e 3.461 * [taylor]: Taking taylor expansion of v in e 3.461 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e 3.461 * [taylor]: Taking taylor expansion of e in e 3.461 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e 3.461 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 3.461 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e 3.461 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 3.461 * [taylor]: Taking taylor expansion of (/ 1 v) in e 3.461 * [taylor]: Taking taylor expansion of v in e 3.461 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.461 * [taylor]: Taking taylor expansion of e in e 3.462 * [taylor]: Taking taylor expansion of 1.0 in e 3.465 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e 3.465 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 3.465 * [taylor]: Taking taylor expansion of (/ 1 v) in e 3.466 * [taylor]: Taking taylor expansion of v in e 3.466 * [taylor]: Taking taylor expansion of (* e (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e 3.466 * [taylor]: Taking taylor expansion of e in e 3.466 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e 3.466 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 3.466 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e 3.466 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 3.466 * [taylor]: Taking taylor expansion of (/ 1 v) in e 3.466 * [taylor]: Taking taylor expansion of v in e 3.466 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.466 * [taylor]: Taking taylor expansion of e in e 3.466 * [taylor]: Taking taylor expansion of 1.0 in e 3.470 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v 3.470 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 3.470 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.470 * [taylor]: Taking taylor expansion of v in v 3.470 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 3.470 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.470 * [taylor]: Taking taylor expansion of v in v 3.476 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)))) in v 3.476 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v 3.476 * [taylor]: Taking taylor expansion of 1.0 in v 3.476 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v 3.476 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 3.476 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.476 * [taylor]: Taking taylor expansion of v in v 3.477 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v 3.477 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 3.477 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.477 * [taylor]: Taking taylor expansion of v in v 3.485 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3))) in v 3.485 * [taylor]: Taking taylor expansion of 1.0 in v 3.485 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) in v 3.485 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 3.485 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.485 * [taylor]: Taking taylor expansion of v in v 3.485 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 3) in v 3.485 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 3.485 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.485 * [taylor]: Taking taylor expansion of v in v 3.487 * [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 3.487 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in v 3.487 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) in v 3.487 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.487 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.487 * [taylor]: Taking taylor expansion of -1 in v 3.487 * [taylor]: Taking taylor expansion of v in v 3.488 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 2) in v 3.488 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in v 3.488 * [taylor]: Taking taylor expansion of (/ -1 e) in v 3.488 * [taylor]: Taking taylor expansion of -1 in v 3.488 * [taylor]: Taking taylor expansion of e in v 3.488 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in v 3.488 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 3.488 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in v 3.488 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.488 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.488 * [taylor]: Taking taylor expansion of -1 in v 3.488 * [taylor]: Taking taylor expansion of v in v 3.488 * [taylor]: Taking taylor expansion of (/ -1 e) in v 3.488 * [taylor]: Taking taylor expansion of -1 in v 3.488 * [taylor]: Taking taylor expansion of e in v 3.488 * [taylor]: Taking taylor expansion of 1.0 in v 3.489 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e 3.489 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) in e 3.489 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 3.489 * [taylor]: Taking taylor expansion of (/ -1 v) in e 3.489 * [taylor]: Taking taylor expansion of -1 in e 3.489 * [taylor]: Taking taylor expansion of v in e 3.489 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 2) in e 3.489 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e 3.489 * [taylor]: Taking taylor expansion of (/ -1 e) in e 3.489 * [taylor]: Taking taylor expansion of -1 in e 3.489 * [taylor]: Taking taylor expansion of e in e 3.491 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e 3.491 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 3.491 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e 3.491 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 3.491 * [taylor]: Taking taylor expansion of (/ -1 v) in e 3.491 * [taylor]: Taking taylor expansion of -1 in e 3.491 * [taylor]: Taking taylor expansion of v in e 3.491 * [taylor]: Taking taylor expansion of (/ -1 e) in e 3.491 * [taylor]: Taking taylor expansion of -1 in e 3.491 * [taylor]: Taking taylor expansion of e in e 3.491 * [taylor]: Taking taylor expansion of 1.0 in e 3.492 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e 3.492 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) in e 3.492 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 3.492 * [taylor]: Taking taylor expansion of (/ -1 v) in e 3.492 * [taylor]: Taking taylor expansion of -1 in e 3.492 * [taylor]: Taking taylor expansion of v in e 3.492 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 2) in e 3.492 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e 3.492 * [taylor]: Taking taylor expansion of (/ -1 e) in e 3.492 * [taylor]: Taking taylor expansion of -1 in e 3.492 * [taylor]: Taking taylor expansion of e in e 3.494 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e 3.494 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 3.494 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e 3.494 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 3.494 * [taylor]: Taking taylor expansion of (/ -1 v) in e 3.494 * [taylor]: Taking taylor expansion of -1 in e 3.494 * [taylor]: Taking taylor expansion of v in e 3.494 * [taylor]: Taking taylor expansion of (/ -1 e) in e 3.494 * [taylor]: Taking taylor expansion of -1 in e 3.494 * [taylor]: Taking taylor expansion of e in e 3.494 * [taylor]: Taking taylor expansion of 1.0 in e 3.495 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v 3.495 * [taylor]: Taking taylor expansion of +nan.0 in v 3.495 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v 3.495 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.495 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.495 * [taylor]: Taking taylor expansion of -1 in v 3.495 * [taylor]: Taking taylor expansion of v in v 3.496 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.496 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.496 * [taylor]: Taking taylor expansion of -1 in v 3.496 * [taylor]: Taking taylor expansion of v in v 3.509 * [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 3.509 * [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 3.509 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v 3.509 * [taylor]: Taking taylor expansion of +nan.0 in v 3.509 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v 3.509 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.509 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.509 * [taylor]: Taking taylor expansion of -1 in v 3.509 * [taylor]: Taking taylor expansion of v in v 3.509 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v 3.509 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.509 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.509 * [taylor]: Taking taylor expansion of -1 in v 3.509 * [taylor]: Taking taylor expansion of v in v 3.510 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v))))) in v 3.510 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v 3.510 * [taylor]: Taking taylor expansion of +nan.0 in v 3.510 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v 3.510 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.510 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.510 * [taylor]: Taking taylor expansion of -1 in v 3.510 * [taylor]: Taking taylor expansion of v in v 3.510 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.510 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.510 * [taylor]: Taking taylor expansion of -1 in v 3.510 * [taylor]: Taking taylor expansion of v in v 3.523 * [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 3.523 * [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 3.524 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2))) in v 3.524 * [taylor]: Taking taylor expansion of +nan.0 in v 3.524 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v 3.524 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.524 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.524 * [taylor]: Taking taylor expansion of -1 in v 3.524 * [taylor]: Taking taylor expansion of v in v 3.524 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v 3.524 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.524 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.524 * [taylor]: Taking taylor expansion of -1 in v 3.524 * [taylor]: Taking taylor expansion of v in v 3.525 * [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 3.525 * [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 3.525 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (cos (/ -1 v)))) in v 3.525 * [taylor]: Taking taylor expansion of +nan.0 in v 3.525 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v 3.525 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.525 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.525 * [taylor]: Taking taylor expansion of -1 in v 3.525 * [taylor]: Taking taylor expansion of v in v 3.525 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.525 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.525 * [taylor]: Taking taylor expansion of -1 in v 3.525 * [taylor]: Taking taylor expansion of v in v 3.525 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)))) in v 3.525 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3))) in v 3.525 * [taylor]: Taking taylor expansion of +nan.0 in v 3.525 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)) in v 3.525 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.526 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.526 * [taylor]: Taking taylor expansion of -1 in v 3.526 * [taylor]: Taking taylor expansion of v in v 3.526 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 3) in v 3.526 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.526 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.526 * [taylor]: Taking taylor expansion of -1 in v 3.526 * [taylor]: Taking taylor expansion of v in v 3.531 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 3.531 * [approximate]: Taking taylor expansion of (* (pow e 1/4) (/ (sin v) (fma (cos v) e 1.0))) in (e v) around 0 3.531 * [taylor]: Taking taylor expansion of (* (pow e 1/4) (/ (sin v) (fma (cos v) e 1.0))) in v 3.531 * [taylor]: Taking taylor expansion of (pow e 1/4) in v 3.531 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log e))) in v 3.531 * [taylor]: Taking taylor expansion of (* 1/4 (log e)) in v 3.531 * [taylor]: Taking taylor expansion of 1/4 in v 3.531 * [taylor]: Taking taylor expansion of (log e) in v 3.531 * [taylor]: Taking taylor expansion of e in v 3.532 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in v 3.532 * [taylor]: Taking taylor expansion of (sin v) in v 3.532 * [taylor]: Taking taylor expansion of v in v 3.532 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in v 3.532 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 3.532 * [taylor]: Taking taylor expansion of (* (cos v) e) in v 3.532 * [taylor]: Taking taylor expansion of (cos v) in v 3.532 * [taylor]: Taking taylor expansion of v in v 3.532 * [taylor]: Taking taylor expansion of e in v 3.532 * [taylor]: Taking taylor expansion of 1.0 in v 3.533 * [taylor]: Taking taylor expansion of (* (pow e 1/4) (/ (sin v) (fma (cos v) e 1.0))) in e 3.533 * [taylor]: Taking taylor expansion of (pow e 1/4) in e 3.533 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log e))) in e 3.533 * [taylor]: Taking taylor expansion of (* 1/4 (log e)) in e 3.533 * [taylor]: Taking taylor expansion of 1/4 in e 3.533 * [taylor]: Taking taylor expansion of (log e) in e 3.533 * [taylor]: Taking taylor expansion of e in e 3.533 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in e 3.533 * [taylor]: Taking taylor expansion of (sin v) in e 3.533 * [taylor]: Taking taylor expansion of v in e 3.533 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e 3.533 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 3.534 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 3.534 * [taylor]: Taking taylor expansion of (cos v) in e 3.534 * [taylor]: Taking taylor expansion of v in e 3.534 * [taylor]: Taking taylor expansion of e in e 3.534 * [taylor]: Taking taylor expansion of 1.0 in e 3.534 * [taylor]: Taking taylor expansion of (* (pow e 1/4) (/ (sin v) (fma (cos v) e 1.0))) in e 3.534 * [taylor]: Taking taylor expansion of (pow e 1/4) in e 3.534 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log e))) in e 3.534 * [taylor]: Taking taylor expansion of (* 1/4 (log e)) in e 3.534 * [taylor]: Taking taylor expansion of 1/4 in e 3.534 * [taylor]: Taking taylor expansion of (log e) in e 3.534 * [taylor]: Taking taylor expansion of e in e 3.535 * [taylor]: Taking taylor expansion of (/ (sin v) (fma (cos v) e 1.0)) in e 3.535 * [taylor]: Taking taylor expansion of (sin v) in e 3.535 * [taylor]: Taking taylor expansion of v in e 3.535 * [taylor]: Taking taylor expansion of (fma (cos v) e 1.0) in e 3.535 * [taylor]: Rewrote expression to (+ (* (cos v) e) 1.0) 3.535 * [taylor]: Taking taylor expansion of (* (cos v) e) in e 3.535 * [taylor]: Taking taylor expansion of (cos v) in e 3.535 * [taylor]: Taking taylor expansion of v in e 3.535 * [taylor]: Taking taylor expansion of e in e 3.535 * [taylor]: Taking taylor expansion of 1.0 in e 3.536 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow e 1/4) (sin v))) in v 3.536 * [taylor]: Taking taylor expansion of 1.0 in v 3.536 * [taylor]: Taking taylor expansion of (* (pow e 1/4) (sin v)) in v 3.536 * [taylor]: Taking taylor expansion of (pow e 1/4) in v 3.536 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log e))) in v 3.536 * [taylor]: Taking taylor expansion of (* 1/4 (log e)) in v 3.536 * [taylor]: Taking taylor expansion of 1/4 in v 3.536 * [taylor]: Taking taylor expansion of (log e) in v 3.536 * [taylor]: Taking taylor expansion of e in v 3.536 * [taylor]: Taking taylor expansion of (sin v) in v 3.536 * [taylor]: Taking taylor expansion of v in v 3.545 * [taylor]: Taking taylor expansion of (- (* 1.0 (* (* (cos v) (sin v)) (pow e 1/4)))) in v 3.545 * [taylor]: Taking taylor expansion of (* 1.0 (* (* (cos v) (sin v)) (pow e 1/4))) in v 3.545 * [taylor]: Taking taylor expansion of 1.0 in v 3.545 * [taylor]: Taking taylor expansion of (* (* (cos v) (sin v)) (pow e 1/4)) in v 3.545 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v 3.545 * [taylor]: Taking taylor expansion of (cos v) in v 3.545 * [taylor]: Taking taylor expansion of v in v 3.545 * [taylor]: Taking taylor expansion of (sin v) in v 3.545 * [taylor]: Taking taylor expansion of v in v 3.545 * [taylor]: Taking taylor expansion of (pow e 1/4) in v 3.545 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log e))) in v 3.545 * [taylor]: Taking taylor expansion of (* 1/4 (log e)) in v 3.545 * [taylor]: Taking taylor expansion of 1/4 in v 3.545 * [taylor]: Taking taylor expansion of (log e) in v 3.545 * [taylor]: Taking taylor expansion of e in v 3.562 * [taylor]: Taking taylor expansion of (* 1.0 (* (* (pow (cos v) 2) (sin v)) (pow e 1/4))) in v 3.562 * [taylor]: Taking taylor expansion of 1.0 in v 3.562 * [taylor]: Taking taylor expansion of (* (* (pow (cos v) 2) (sin v)) (pow e 1/4)) in v 3.562 * [taylor]: Taking taylor expansion of (* (pow (cos v) 2) (sin v)) in v 3.562 * [taylor]: Taking taylor expansion of (pow (cos v) 2) in v 3.562 * [taylor]: Taking taylor expansion of (cos v) in v 3.562 * [taylor]: Taking taylor expansion of v in v 3.562 * [taylor]: Taking taylor expansion of (sin v) in v 3.562 * [taylor]: Taking taylor expansion of v in v 3.562 * [taylor]: Taking taylor expansion of (pow e 1/4) in v 3.562 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log e))) in v 3.562 * [taylor]: Taking taylor expansion of (* 1/4 (log e)) in v 3.562 * [taylor]: Taking taylor expansion of 1/4 in v 3.562 * [taylor]: Taking taylor expansion of (log e) in v 3.562 * [taylor]: Taking taylor expansion of e in v 3.566 * [approximate]: Taking taylor expansion of (* (pow (/ 1 e) 1/4) (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in (e v) around 0 3.566 * [taylor]: Taking taylor expansion of (* (pow (/ 1 e) 1/4) (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in v 3.566 * [taylor]: Taking taylor expansion of (pow (/ 1 e) 1/4) in v 3.567 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 e)))) in v 3.567 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 e))) in v 3.567 * [taylor]: Taking taylor expansion of 1/4 in v 3.567 * [taylor]: Taking taylor expansion of (log (/ 1 e)) in v 3.567 * [taylor]: Taking taylor expansion of (/ 1 e) in v 3.567 * [taylor]: Taking taylor expansion of e in v 3.567 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in v 3.567 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 3.567 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.567 * [taylor]: Taking taylor expansion of v in v 3.567 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in v 3.567 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 3.567 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in v 3.567 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 3.567 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.567 * [taylor]: Taking taylor expansion of v in v 3.568 * [taylor]: Taking taylor expansion of (/ 1 e) in v 3.568 * [taylor]: Taking taylor expansion of e in v 3.568 * [taylor]: Taking taylor expansion of 1.0 in v 3.568 * [taylor]: Taking taylor expansion of (* (pow (/ 1 e) 1/4) (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e 3.568 * [taylor]: Taking taylor expansion of (pow (/ 1 e) 1/4) in e 3.568 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 e)))) in e 3.568 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 e))) in e 3.568 * [taylor]: Taking taylor expansion of 1/4 in e 3.568 * [taylor]: Taking taylor expansion of (log (/ 1 e)) in e 3.568 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.568 * [taylor]: Taking taylor expansion of e in e 3.569 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e 3.569 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 3.569 * [taylor]: Taking taylor expansion of (/ 1 v) in e 3.569 * [taylor]: Taking taylor expansion of v in e 3.569 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e 3.569 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 3.569 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e 3.569 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 3.569 * [taylor]: Taking taylor expansion of (/ 1 v) in e 3.569 * [taylor]: Taking taylor expansion of v in e 3.569 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.569 * [taylor]: Taking taylor expansion of e in e 3.569 * [taylor]: Taking taylor expansion of 1.0 in e 3.570 * [taylor]: Taking taylor expansion of (* (pow (/ 1 e) 1/4) (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0))) in e 3.570 * [taylor]: Taking taylor expansion of (pow (/ 1 e) 1/4) in e 3.570 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 e)))) in e 3.570 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 e))) in e 3.570 * [taylor]: Taking taylor expansion of 1/4 in e 3.570 * [taylor]: Taking taylor expansion of (log (/ 1 e)) in e 3.570 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.570 * [taylor]: Taking taylor expansion of e in e 3.571 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (fma (cos (/ 1 v)) (/ 1 e) 1.0)) in e 3.571 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e 3.571 * [taylor]: Taking taylor expansion of (/ 1 v) in e 3.571 * [taylor]: Taking taylor expansion of v in e 3.571 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 v)) (/ 1 e) 1.0) in e 3.571 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 v)) (/ 1 e)) 1.0) 3.571 * [taylor]: Taking taylor expansion of (* (cos (/ 1 v)) (/ 1 e)) in e 3.571 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e 3.571 * [taylor]: Taking taylor expansion of (/ 1 v) in e 3.571 * [taylor]: Taking taylor expansion of v in e 3.571 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.571 * [taylor]: Taking taylor expansion of e in e 3.572 * [taylor]: Taking taylor expansion of 1.0 in e 3.572 * [taylor]: Taking taylor expansion of (* (/ (sin (/ 1 v)) (cos (/ 1 v))) (pow (/ 1 e) 1/4)) in v 3.572 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v 3.572 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 3.572 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.573 * [taylor]: Taking taylor expansion of v in v 3.573 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 3.573 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.573 * [taylor]: Taking taylor expansion of v in v 3.573 * [taylor]: Taking taylor expansion of (pow (/ 1 e) 1/4) in v 3.573 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 e)))) in v 3.573 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 e))) in v 3.573 * [taylor]: Taking taylor expansion of 1/4 in v 3.573 * [taylor]: Taking taylor expansion of (log (/ 1 e)) in v 3.573 * [taylor]: Taking taylor expansion of (/ 1 e) in v 3.573 * [taylor]: Taking taylor expansion of e in v 3.581 * [taylor]: Taking taylor expansion of (- (* 1.0 (* (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) (pow (/ 1 e) 1/4)))) in v 3.581 * [taylor]: Taking taylor expansion of (* 1.0 (* (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) (pow (/ 1 e) 1/4))) in v 3.581 * [taylor]: Taking taylor expansion of 1.0 in v 3.581 * [taylor]: Taking taylor expansion of (* (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) (pow (/ 1 e) 1/4)) in v 3.581 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v 3.581 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 3.581 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.581 * [taylor]: Taking taylor expansion of v in v 3.581 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v 3.581 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 3.581 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.581 * [taylor]: Taking taylor expansion of v in v 3.582 * [taylor]: Taking taylor expansion of (pow (/ 1 e) 1/4) in v 3.582 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 e)))) in v 3.582 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 e))) in v 3.582 * [taylor]: Taking taylor expansion of 1/4 in v 3.582 * [taylor]: Taking taylor expansion of (log (/ 1 e)) in v 3.582 * [taylor]: Taking taylor expansion of (/ 1 e) in v 3.582 * [taylor]: Taking taylor expansion of e in v 3.599 * [taylor]: Taking taylor expansion of (* 1.0 (* (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) (pow (/ 1 e) 1/4))) in v 3.599 * [taylor]: Taking taylor expansion of 1.0 in v 3.599 * [taylor]: Taking taylor expansion of (* (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) (pow (/ 1 e) 1/4)) in v 3.599 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) in v 3.599 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v 3.599 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.599 * [taylor]: Taking taylor expansion of v in v 3.599 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 3) in v 3.599 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v 3.599 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.599 * [taylor]: Taking taylor expansion of v in v 3.600 * [taylor]: Taking taylor expansion of (pow (/ 1 e) 1/4) in v 3.600 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 e)))) in v 3.600 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 e))) in v 3.600 * [taylor]: Taking taylor expansion of 1/4 in v 3.600 * [taylor]: Taking taylor expansion of (log (/ 1 e)) in v 3.600 * [taylor]: Taking taylor expansion of (/ 1 e) in v 3.600 * [taylor]: Taking taylor expansion of e in v 3.603 * [approximate]: Taking taylor expansion of (* (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) (sqrt (sqrt (/ -1 e)))) in (e v) around 0 3.603 * [taylor]: Taking taylor expansion of (* (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) (sqrt (sqrt (/ -1 e)))) in v 3.603 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in v 3.603 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.603 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.603 * [taylor]: Taking taylor expansion of -1 in v 3.603 * [taylor]: Taking taylor expansion of v in v 3.603 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in v 3.603 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 3.603 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in v 3.603 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.603 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.603 * [taylor]: Taking taylor expansion of -1 in v 3.603 * [taylor]: Taking taylor expansion of v in v 3.604 * [taylor]: Taking taylor expansion of (/ -1 e) in v 3.604 * [taylor]: Taking taylor expansion of -1 in v 3.604 * [taylor]: Taking taylor expansion of e in v 3.604 * [taylor]: Taking taylor expansion of 1.0 in v 3.604 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 e))) in v 3.604 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in v 3.604 * [taylor]: Taking taylor expansion of (/ -1 e) in v 3.604 * [taylor]: Taking taylor expansion of -1 in v 3.604 * [taylor]: Taking taylor expansion of e in v 3.604 * [taylor]: Taking taylor expansion of (* (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) (sqrt (sqrt (/ -1 e)))) in e 3.604 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e 3.604 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 3.604 * [taylor]: Taking taylor expansion of (/ -1 v) in e 3.604 * [taylor]: Taking taylor expansion of -1 in e 3.604 * [taylor]: Taking taylor expansion of v in e 3.604 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e 3.605 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 3.605 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e 3.605 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 3.605 * [taylor]: Taking taylor expansion of (/ -1 v) in e 3.605 * [taylor]: Taking taylor expansion of -1 in e 3.605 * [taylor]: Taking taylor expansion of v in e 3.605 * [taylor]: Taking taylor expansion of (/ -1 e) in e 3.605 * [taylor]: Taking taylor expansion of -1 in e 3.605 * [taylor]: Taking taylor expansion of e in e 3.605 * [taylor]: Taking taylor expansion of 1.0 in e 3.606 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 e))) in e 3.606 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e 3.606 * [taylor]: Taking taylor expansion of (/ -1 e) in e 3.606 * [taylor]: Taking taylor expansion of -1 in e 3.606 * [taylor]: Taking taylor expansion of e in e 3.610 * [taylor]: Taking taylor expansion of (* (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) (sqrt (sqrt (/ -1 e)))) in e 3.611 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (fma (cos (/ -1 v)) (/ -1 e) 1.0)) in e 3.611 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e 3.611 * [taylor]: Taking taylor expansion of (/ -1 v) in e 3.611 * [taylor]: Taking taylor expansion of -1 in e 3.611 * [taylor]: Taking taylor expansion of v in e 3.611 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 v)) (/ -1 e) 1.0) in e 3.611 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 v)) (/ -1 e)) 1.0) 3.611 * [taylor]: Taking taylor expansion of (* (cos (/ -1 v)) (/ -1 e)) in e 3.611 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e 3.611 * [taylor]: Taking taylor expansion of (/ -1 v) in e 3.611 * [taylor]: Taking taylor expansion of -1 in e 3.611 * [taylor]: Taking taylor expansion of v in e 3.611 * [taylor]: Taking taylor expansion of (/ -1 e) in e 3.611 * [taylor]: Taking taylor expansion of -1 in e 3.611 * [taylor]: Taking taylor expansion of e in e 3.611 * [taylor]: Taking taylor expansion of 1.0 in e 3.612 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 e))) in e 3.612 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e 3.612 * [taylor]: Taking taylor expansion of (/ -1 e) in e 3.612 * [taylor]: Taking taylor expansion of -1 in e 3.612 * [taylor]: Taking taylor expansion of e in e 3.617 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt +nan.0) (sin (/ -1 v))) (cos (/ -1 v)))) in v 3.617 * [taylor]: Taking taylor expansion of -1 in v 3.617 * [taylor]: Taking taylor expansion of (/ (* (sqrt +nan.0) (sin (/ -1 v))) (cos (/ -1 v))) in v 3.617 * [taylor]: Taking taylor expansion of (* (sqrt +nan.0) (sin (/ -1 v))) in v 3.617 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in v 3.617 * [taylor]: Taking taylor expansion of +nan.0 in v 3.618 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.618 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.618 * [taylor]: Taking taylor expansion of -1 in v 3.618 * [taylor]: Taking taylor expansion of v in v 3.618 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.618 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.618 * [taylor]: Taking taylor expansion of -1 in v 3.618 * [taylor]: Taking taylor expansion of v in v 3.626 * [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 3.626 * [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 3.626 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (sqrt +nan.0) (sin (/ -1 v))) (pow (cos (/ -1 v)) 2))) in v 3.626 * [taylor]: Taking taylor expansion of 1.0 in v 3.626 * [taylor]: Taking taylor expansion of (/ (* (sqrt +nan.0) (sin (/ -1 v))) (pow (cos (/ -1 v)) 2)) in v 3.626 * [taylor]: Taking taylor expansion of (* (sqrt +nan.0) (sin (/ -1 v))) in v 3.626 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in v 3.626 * [taylor]: Taking taylor expansion of +nan.0 in v 3.627 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.627 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.627 * [taylor]: Taking taylor expansion of -1 in v 3.627 * [taylor]: Taking taylor expansion of v in v 3.627 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v 3.627 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.627 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.627 * [taylor]: Taking taylor expansion of -1 in v 3.627 * [taylor]: Taking taylor expansion of v in v 3.628 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ -1 v)) (* (sqrt +nan.0) (cos (/ -1 v)))))) in v 3.628 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (* (sqrt +nan.0) (cos (/ -1 v))))) in v 3.628 * [taylor]: Taking taylor expansion of +nan.0 in v 3.628 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (sqrt +nan.0) (cos (/ -1 v)))) in v 3.628 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.628 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.628 * [taylor]: Taking taylor expansion of -1 in v 3.628 * [taylor]: Taking taylor expansion of v in v 3.628 * [taylor]: Taking taylor expansion of (* (sqrt +nan.0) (cos (/ -1 v))) in v 3.628 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in v 3.628 * [taylor]: Taking taylor expansion of +nan.0 in v 3.629 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.629 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.629 * [taylor]: Taking taylor expansion of -1 in v 3.629 * [taylor]: Taking taylor expansion of v in v 3.652 * [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 3.652 * [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 3.652 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (* (sqrt +nan.0) (pow (cos (/ -1 v)) 2)))) in v 3.652 * [taylor]: Taking taylor expansion of +nan.0 in v 3.652 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (sqrt +nan.0) (pow (cos (/ -1 v)) 2))) in v 3.653 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.653 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.653 * [taylor]: Taking taylor expansion of -1 in v 3.653 * [taylor]: Taking taylor expansion of v in v 3.653 * [taylor]: Taking taylor expansion of (* (sqrt +nan.0) (pow (cos (/ -1 v)) 2)) in v 3.653 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in v 3.653 * [taylor]: Taking taylor expansion of +nan.0 in v 3.654 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v 3.654 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.654 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.654 * [taylor]: Taking taylor expansion of -1 in v 3.654 * [taylor]: Taking taylor expansion of v in v 3.655 * [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 3.655 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (sqrt +nan.0) (sin (/ -1 v))) (pow (cos (/ -1 v)) 3))) in v 3.655 * [taylor]: Taking taylor expansion of 1.0 in v 3.655 * [taylor]: Taking taylor expansion of (/ (* (sqrt +nan.0) (sin (/ -1 v))) (pow (cos (/ -1 v)) 3)) in v 3.655 * [taylor]: Taking taylor expansion of (* (sqrt +nan.0) (sin (/ -1 v))) in v 3.655 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in v 3.655 * [taylor]: Taking taylor expansion of +nan.0 in v 3.656 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.656 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.656 * [taylor]: Taking taylor expansion of -1 in v 3.656 * [taylor]: Taking taylor expansion of v in v 3.656 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 3) in v 3.656 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.656 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.656 * [taylor]: Taking taylor expansion of -1 in v 3.656 * [taylor]: Taking taylor expansion of v in v 3.657 * [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 3.657 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (* (pow (sqrt +nan.0) 3) (cos (/ -1 v))))) in v 3.657 * [taylor]: Taking taylor expansion of +nan.0 in v 3.657 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (pow (sqrt +nan.0) 3) (cos (/ -1 v)))) in v 3.657 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.657 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.657 * [taylor]: Taking taylor expansion of -1 in v 3.657 * [taylor]: Taking taylor expansion of v in v 3.658 * [taylor]: Taking taylor expansion of (* (pow (sqrt +nan.0) 3) (cos (/ -1 v))) in v 3.658 * [taylor]: Taking taylor expansion of (pow (sqrt +nan.0) 3) in v 3.658 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in v 3.658 * [taylor]: Taking taylor expansion of +nan.0 in v 3.658 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.658 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.658 * [taylor]: Taking taylor expansion of -1 in v 3.658 * [taylor]: Taking taylor expansion of v in v 3.662 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (sin (/ -1 v)) (* (sqrt +nan.0) (cos (/ -1 v)))))) in v 3.662 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (sin (/ -1 v)) (* (sqrt +nan.0) (cos (/ -1 v))))) in v 3.662 * [taylor]: Taking taylor expansion of +nan.0 in v 3.662 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (sqrt +nan.0) (cos (/ -1 v)))) in v 3.662 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v 3.662 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.662 * [taylor]: Taking taylor expansion of -1 in v 3.662 * [taylor]: Taking taylor expansion of v in v 3.663 * [taylor]: Taking taylor expansion of (* (sqrt +nan.0) (cos (/ -1 v))) in v 3.663 * [taylor]: Taking taylor expansion of (sqrt +nan.0) in v 3.663 * [taylor]: Taking taylor expansion of +nan.0 in v 3.663 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v 3.663 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.663 * [taylor]: Taking taylor expansion of -1 in v 3.663 * [taylor]: Taking taylor expansion of v in v 3.682 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 3.682 * [approximate]: Taking taylor expansion of (pow e 1/4) in (e) around 0 3.682 * [taylor]: Taking taylor expansion of (pow e 1/4) in e 3.682 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log e))) in e 3.682 * [taylor]: Taking taylor expansion of (* 1/4 (log e)) in e 3.682 * [taylor]: Taking taylor expansion of 1/4 in e 3.682 * [taylor]: Taking taylor expansion of (log e) in e 3.682 * [taylor]: Taking taylor expansion of e in e 3.687 * [taylor]: Taking taylor expansion of (pow e 1/4) in e 3.687 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log e))) in e 3.687 * [taylor]: Taking taylor expansion of (* 1/4 (log e)) in e 3.687 * [taylor]: Taking taylor expansion of 1/4 in e 3.687 * [taylor]: Taking taylor expansion of (log e) in e 3.687 * [taylor]: Taking taylor expansion of e in e 3.736 * [approximate]: Taking taylor expansion of (pow (/ 1 e) 1/4) in (e) around 0 3.736 * [taylor]: Taking taylor expansion of (pow (/ 1 e) 1/4) in e 3.736 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 e)))) in e 3.736 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 e))) in e 3.736 * [taylor]: Taking taylor expansion of 1/4 in e 3.736 * [taylor]: Taking taylor expansion of (log (/ 1 e)) in e 3.736 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.736 * [taylor]: Taking taylor expansion of e in e 3.737 * [taylor]: Taking taylor expansion of (pow (/ 1 e) 1/4) in e 3.737 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 e)))) in e 3.737 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 e))) in e 3.737 * [taylor]: Taking taylor expansion of 1/4 in e 3.737 * [taylor]: Taking taylor expansion of (log (/ 1 e)) in e 3.737 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.737 * [taylor]: Taking taylor expansion of e in e 3.794 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 e))) in (e) around 0 3.794 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 e))) in e 3.794 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e 3.794 * [taylor]: Taking taylor expansion of (/ -1 e) in e 3.794 * [taylor]: Taking taylor expansion of -1 in e 3.794 * [taylor]: Taking taylor expansion of e in e 3.798 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 e))) in e 3.799 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e 3.799 * [taylor]: Taking taylor expansion of (/ -1 e) in e 3.799 * [taylor]: Taking taylor expansion of -1 in e 3.799 * [taylor]: Taking taylor expansion of e in e 3.819 * * * [progress]: simplifying candidates 3.821 * [simplify]: Simplifying using # : (expm1 (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))))) (log1p (* (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)))) (+ (log (sqrt (sqrt e))) (+ (log (sqrt (sqrt e))) (- (log (sin v)) (log (fma (cos v) e 1.0))))) (+ (log (sqrt (sqrt e))) (+ (log (sqrt (sqrt e))) (log (/ (sin v) (fma (cos v) e 1.0))))) (+ (log (sqrt (sqrt e))) (log (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))))) (log (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))))) (exp (* (sqrt (sqrt e)) (* (sqrt (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))) (/ (* (* (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))) (* (* (/ (sin v) (fma (cos v) e 1.0)) (/ (sin v) (fma (cos v) e 1.0))) (/ (sin v) (fma (cos v) e 1.0))))) (* (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e))) (* (* (* (sqrt (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))))) (* (cbrt (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))))) (cbrt (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))))) (cbrt (* (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 (* (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)) (sqrt (sqrt e))) (* (cbrt (sqrt (sqrt e))) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (cbrt (sqrt e))) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt (cbrt 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)) (* (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)) (* (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)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (sin v))) (expm1 (* (sqrt e) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))))) (log1p (* (sqrt e) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))))) (* (sqrt e) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))))) (* (sqrt e) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))))) (* (sqrt e) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))))) (+ (log (sqrt e)) (+ (log (sqrt (sqrt e))) (+ (log (sqrt (sqrt e))) (- (log (sin v)) (log (fma (cos v) e 1.0)))))) (+ (log (sqrt e)) (+ (log (sqrt (sqrt e))) (+ (log (sqrt (sqrt e))) (log (/ (sin v) (fma (cos v) e 1.0)))))) (+ (log (sqrt e)) (+ (log (sqrt (sqrt e))) (log (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))))) (+ (log (sqrt e)) (log (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))))) (log (* (sqrt e) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))))) (exp (* (sqrt e) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))))) (* (* (* (sqrt e) (sqrt e)) (sqrt e)) (* (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e))) (* (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (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 (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e))) (* (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e))) (* (* (/ (sin v) (fma (cos v) e 1.0)) (/ (sin v) (fma (cos v) e 1.0))) (/ (sin v) (fma (cos v) e 1.0)))))) (* (* (* (sqrt e) (sqrt e)) (sqrt e)) (* (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e))) (* (* (* (sqrt (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) (sqrt e)) (sqrt e)) (* (* (* (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)))))) (* (cbrt (* (sqrt e) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))))) (cbrt (* (sqrt e) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))))))) (cbrt (* (sqrt e) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))))) (* (* (* (sqrt e) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))))) (* (sqrt e) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))))) (* (sqrt e) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))))) (sqrt (* (sqrt e) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))))) (sqrt (* (sqrt e) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))))) (* (sqrt e) (sqrt (sqrt e))) (* (cbrt (sqrt e)) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))))) (* (sqrt (cbrt e)) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))))) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))))) (* (sqrt e) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))))) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))))) (* (sqrt e) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))))) (* (sqrt e) (* (sqrt (sqrt e)) (* (sqrt (sqrt e)) (sin v)))) (expm1 (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (log1p (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))) (+ (log (sqrt (sqrt e))) (- (log (sin v)) (log (fma (cos v) e 1.0)))) (+ (log (sqrt (sqrt e))) (log (/ (sin v) (fma (cos v) e 1.0)))) (log (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (exp (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (* (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (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))) (* (* (/ (sin v) (fma (cos v) e 1.0)) (/ (sin v) (fma (cos v) e 1.0))) (/ (sin v) (fma (cos v) e 1.0)))) (* (cbrt (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (cbrt (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))))) (cbrt (* (sqrt (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 (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (sqrt (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (sqrt (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (* (cbrt (/ (sin v) (fma (cos v) e 1.0))) (cbrt (/ (sin v) (fma (cos v) e 1.0))))) (* (sqrt (sqrt e)) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (/ (* (cbrt (sin v)) (cbrt (sin v))) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))))) (* (sqrt (sqrt e)) (/ (* (cbrt (sin v)) (cbrt (sin v))) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (/ (* (cbrt (sin v)) (cbrt (sin v))) 1)) (* (sqrt (sqrt e)) (/ (sqrt (sin v)) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))))) (* (sqrt (sqrt e)) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (/ (sqrt (sin v)) 1)) (* (sqrt (sqrt e)) (/ 1 (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))))) (* (sqrt (sqrt e)) (/ 1 (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (/ 1 1)) (* (sqrt (sqrt e)) 1) (* (sqrt (sqrt e)) (sin v)) (* (cbrt (sqrt (sqrt e))) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt (cbrt (sqrt e))) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt (sqrt (cbrt e))) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt (sqrt (sqrt e))) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt (sqrt (sqrt e))) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt (sqrt (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)) (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))) (- (+ (* +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.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))))))))))))))) (- (+ (* 1.0 (* (pow (pow e 9) 1/4) v)) (* 1.0 (* (pow e 1/4) v))) (* 1.0 (* (pow (pow e 5) 1/4) v))) (- (+ (* 1.0 (* (/ (sin v) (pow (cos v) 3)) (pow (/ 1 (pow e 11)) 1/4))) (* (/ (sin v) (cos v)) (pow (/ 1 (pow e 3)) 1/4))) (* 1.0 (* (/ (sin v) (pow (cos v) 2)) (pow (/ 1 (pow e 7)) 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))))))))) 3.838 * * [simplify]: iteration 0 : 291 enodes (cost 2781 ) 3.891 * * [simplify]: iteration 1 : 814 enodes (cost 2348 ) 4.083 * * [simplify]: iteration 2 : 3450 enodes (cost 1926 ) 4.887 * * [simplify]: iteration done : 5000 enodes (cost 1919 ) 4.888 * [simplify]: Simplified to: (expm1 (* (sqrt e) (/ (sin v) (fma (cos v) e 1.0)))) (log1p (* (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))) (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)))) (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) (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) (* (cbrt (sqrt (sqrt e))) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (cbrt (sqrt e))) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt (cbrt 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 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 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 e) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt e) (sin v)) (expm1 (* e (/ (sin v) (fma (cos v) e 1.0)))) (log1p (* e (/ (sin v) (fma (cos v) e 1.0)))) (* e (/ (sin v) (fma (cos v) e 1.0))) (* e (/ (sin v) (fma (cos v) e 1.0))) (* e (/ (sin v) (fma (cos v) e 1.0))) (log (* e (/ (sin v) (fma (cos v) e 1.0)))) (log (* e (/ (sin v) (fma (cos v) e 1.0)))) (log (* e (/ (sin v) (fma (cos v) e 1.0)))) (log (* e (/ (sin v) (fma (cos v) e 1.0)))) (log (* e (/ (sin v) (fma (cos v) e 1.0)))) (exp (* 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) (pow (* e (/ (sin v) (fma (cos v) e 1.0))) 3) (* (cbrt (* e (/ (sin v) (fma (cos v) e 1.0)))) (cbrt (* e (/ (sin v) (fma (cos v) e 1.0))))) (cbrt (* e (/ (sin v) (fma (cos v) e 1.0)))) (pow (* e (/ (sin v) (fma (cos v) e 1.0))) 3) (sqrt (* e (/ (sin v) (fma (cos v) e 1.0)))) (sqrt (* e (/ (sin v) (fma (cos v) e 1.0)))) (pow (sqrt (sqrt e)) 3) (* (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)))) (* (/ (sin v) (fma (cos v) e 1.0)) (pow (sqrt (sqrt e)) 3)) (* e (/ (sin v) (fma (cos v) e 1.0))) (* (/ (sin v) (fma (cos v) e 1.0)) (pow (sqrt (sqrt e)) 3)) (* e (/ (sin v) (fma (cos v) e 1.0))) (* e (sin v)) (expm1 (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (log1p (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))) (log (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (log (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (log (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (exp (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (pow (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))) 3) (pow (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))) 3) (* (cbrt (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (cbrt (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))))) (cbrt (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (pow (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))) 3) (sqrt (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (sqrt (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt (sqrt e))) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (* (cbrt (/ (sin v) (fma (cos v) e 1.0))) (cbrt (/ (sin v) (fma (cos v) e 1.0))))) (* (sqrt (sqrt e)) (sqrt (/ (sin v) (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (/ (* (cbrt (sin v)) (cbrt (sin v))) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))))) (* (sqrt (sqrt e)) (/ (* (cbrt (sin v)) (cbrt (sin v))) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (* (cbrt (sin v)) (cbrt (sin v)))) (* (sqrt (sqrt e)) (/ (sqrt (sin v)) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0))))) (* (sqrt (sqrt e)) (/ (sqrt (sin v)) (sqrt (fma (cos v) e 1.0)))) (* (sqrt (sqrt e)) (sqrt (sin v))) (/ (sqrt (sqrt e)) (* (cbrt (fma (cos v) e 1.0)) (cbrt (fma (cos v) e 1.0)))) (/ (sqrt (sqrt e)) (sqrt (fma (cos v) e 1.0))) (sqrt (sqrt e)) (sqrt (sqrt e)) (* (sqrt (sqrt e)) (sin v)) (* (cbrt (sqrt (sqrt e))) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt (cbrt (sqrt e))) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt (sqrt (cbrt e))) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt (sqrt (sqrt e))) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt (sqrt (sqrt e))) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt (sqrt e)) (/ (sin v) (fma (cos v) e 1.0))) (* (sqrt (sqrt (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)) (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 (fabs (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))) (- (* +nan.0 (- (* e v) (* (pow e 2) v))) (* +nan.0 (* (pow e 3) v))) (- (fma +nan.0 (/ (sin v) (* (cos v) e)) (- (fma +nan.0 (/ (sin v) (* (pow (cos v) 3) (pow e 3))) (- (* +nan.0 (- (/ (sin v) (* (cos v) (pow e 3))) (/ (sin v) (* (cos v) (pow e 2))))) (* +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 2)))))) (* +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 3))))))) (- (fma +nan.0 (/ (sin v) (* (cos v) e)) (- (fma +nan.0 (/ (sin v) (* (pow (cos v) 3) (pow e 3))) (- (* +nan.0 (- (/ (sin v) (* (cos v) (pow e 3))) (/ (sin v) (* (cos v) (pow e 2))))) (* +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 2)))))) (* +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 3))))))) (* 1.0 (- (* v (+ (pow e 3) e)) (* (pow e 2) v))) (+ (* 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) 3) (pow e 3))) (- (* +nan.0 (- (/ (sin v) (* (cos v) (pow e 3))) (/ (sin v) (* (cos v) (pow e 2))))) (* +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 2)))))) (* +nan.0 (/ (sin v) (* (pow (cos v) 2) (pow e 3))))))) (* 1.0 (- (* v (+ (pow (pow e 9) 1/4) (pow e 1/4))) (* (pow (pow e 5) 1/4) v))) (- (fma 1.0 (* (/ (sin v) (pow (cos v) 3)) (pow (/ 1 (pow e 11)) 1/4)) (* (/ (sin v) (cos v)) (pow (/ 1 (pow e 3)) 1/4))) (* 1.0 (* (/ (sin v) (pow (cos v) 2)) (pow (/ 1 (pow e 7)) 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 (/ (sin v) (* (pow (sqrt +nan.0) 3) (* (pow e 3) (cos v)))) +nan.0 (+ (- (* 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)))) (/ (sin v) (* (sqrt +nan.0) (* (pow e 3) (cos v)))))))))) (pow e 1/4) (pow (/ 1 e) -1/4) (- (sqrt +nan.0) (- (/ +nan.0 (* (pow (sqrt +nan.0) 3) (pow e 2))) (- (/ +nan.0 (* (sqrt +nan.0) e)) (/ +nan.0 (* (sqrt +nan.0) (pow e 2)))))) 4.889 * * * [progress]: adding candidates to table 5.242 * [progress]: [Phase 3 of 3] Extracting. 5.243 * * [regime]: Finding splitpoints for: (# # # # # # # #) 5.245 * * * [regime-changes]: Trying 2 branch expressions: (v e) 5.245 * * * * [regimes]: Trying to branch on v from (# # # # # # # #) 5.281 * * * * [regimes]: Trying to branch on e from (# # # # # # # #) 5.314 * * * [regime]: Found split indices: #