1.208 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.102 * * * [progress]: [2/2] Setting up program.
0.110 * [progress]: [Phase 2 of 3] Improving.
0.194 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v))))
0.857 * * [simplify]: iteration  0 :  23  enodes  (cost  17 )
0.857 * * [simplify]: iteration  1 :  23  enodes  (cost  17 )
0.858 * [simplify]: Simplified to:
   (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v))))
0.860 * * [progress]: iteration 1 / 4
0.860 * * * [progress]: picking best candidate
0.877 * * * * [pick]: Picked  #<alt (λ (e v) (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v)))))>
0.877 * * * [progress]: localizing error
0.909 * * * [progress]: generating rewritten candidates
0.910 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.920 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
0.928 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.943 * * * [progress]: generating series expansions
0.943 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.950 * [approximate]: Taking taylor expansion of (* e (sin v)) in (e v) around 0
0.951 * [taylor]: Taking taylor expansion of (* e (sin v)) in v
0.951 * [taylor]: Taking taylor expansion of e in v
0.951 * [taylor]: Taking taylor expansion of (sin v) in v
0.951 * [taylor]: Taking taylor expansion of v in v
0.951 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
0.951 * [taylor]: Taking taylor expansion of e in e
0.951 * [taylor]: Taking taylor expansion of (sin v) in e
0.951 * [taylor]: Taking taylor expansion of v in e
0.951 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
0.951 * [taylor]: Taking taylor expansion of e in e
0.951 * [taylor]: Taking taylor expansion of (sin v) in e
0.951 * [taylor]: Taking taylor expansion of v in e
0.953 * [taylor]: Taking taylor expansion of 0 in v
0.956 * [taylor]: Taking taylor expansion of (sin v) in v
0.956 * [taylor]: Taking taylor expansion of v in v
0.957 * [taylor]: Taking taylor expansion of 0 in v
0.960 * [taylor]: Taking taylor expansion of 0 in v
0.963 * [taylor]: Taking taylor expansion of 0 in v
0.964 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) e) in (e v) around 0
0.964 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) e) in v
0.964 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
0.964 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.964 * [taylor]: Taking taylor expansion of v in v
0.964 * [taylor]: Taking taylor expansion of e in v
0.964 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) e) in e
0.965 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
0.965 * [taylor]: Taking taylor expansion of (/ 1 v) in e
0.965 * [taylor]: Taking taylor expansion of v in e
0.965 * [taylor]: Taking taylor expansion of e in e
0.966 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) e) in e
0.966 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
0.966 * [taylor]: Taking taylor expansion of (/ 1 v) in e
0.966 * [taylor]: Taking taylor expansion of v in e
0.966 * [taylor]: Taking taylor expansion of e in e
0.967 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
0.967 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.967 * [taylor]: Taking taylor expansion of v in v
0.970 * [taylor]: Taking taylor expansion of 0 in v
0.974 * [taylor]: Taking taylor expansion of 0 in v
0.979 * [taylor]: Taking taylor expansion of 0 in v
0.981 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) e)) in (e v) around 0
0.981 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) e)) in v
0.981 * [taylor]: Taking taylor expansion of -1 in v
0.981 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) e) in v
0.981 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
0.981 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.981 * [taylor]: Taking taylor expansion of -1 in v
0.981 * [taylor]: Taking taylor expansion of v in v
0.982 * [taylor]: Taking taylor expansion of e in v
0.982 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) e)) in e
0.982 * [taylor]: Taking taylor expansion of -1 in e
0.982 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) e) in e
0.982 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
0.982 * [taylor]: Taking taylor expansion of (/ -1 v) in e
0.982 * [taylor]: Taking taylor expansion of -1 in e
0.982 * [taylor]: Taking taylor expansion of v in e
0.983 * [taylor]: Taking taylor expansion of e in e
0.984 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) e)) in e
0.984 * [taylor]: Taking taylor expansion of -1 in e
0.984 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) e) in e
0.985 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
0.985 * [taylor]: Taking taylor expansion of (/ -1 v) in e
0.985 * [taylor]: Taking taylor expansion of -1 in e
0.985 * [taylor]: Taking taylor expansion of v in e
0.985 * [taylor]: Taking taylor expansion of e in e
0.987 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 v))) in v
0.987 * [taylor]: Taking taylor expansion of -1 in v
0.987 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
0.987 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.987 * [taylor]: Taking taylor expansion of -1 in v
0.987 * [taylor]: Taking taylor expansion of v in v
0.991 * [taylor]: Taking taylor expansion of 0 in v
0.996 * [taylor]: Taking taylor expansion of 0 in v
1.002 * [taylor]: Taking taylor expansion of 0 in v
1.003 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
1.004 * [approximate]: Taking taylor expansion of (* (cos v) e) in (e v) around 0
1.004 * [taylor]: Taking taylor expansion of (* (cos v) e) in v
1.004 * [taylor]: Taking taylor expansion of (cos v) in v
1.004 * [taylor]: Taking taylor expansion of v in v
1.004 * [taylor]: Taking taylor expansion of e in v
1.004 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
1.004 * [taylor]: Taking taylor expansion of (cos v) in e
1.004 * [taylor]: Taking taylor expansion of v in e
1.004 * [taylor]: Taking taylor expansion of e in e
1.004 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
1.004 * [taylor]: Taking taylor expansion of (cos v) in e
1.004 * [taylor]: Taking taylor expansion of v in e
1.004 * [taylor]: Taking taylor expansion of e in e
1.005 * [taylor]: Taking taylor expansion of 0 in v
1.006 * [taylor]: Taking taylor expansion of (cos v) in v
1.006 * [taylor]: Taking taylor expansion of v in v
1.008 * [taylor]: Taking taylor expansion of 0 in v
1.011 * [taylor]: Taking taylor expansion of 0 in v
1.011 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in (e v) around 0
1.011 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v
1.012 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.012 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.012 * [taylor]: Taking taylor expansion of v in v
1.012 * [taylor]: Taking taylor expansion of e in v
1.012 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
1.012 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
1.012 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.012 * [taylor]: Taking taylor expansion of v in e
1.012 * [taylor]: Taking taylor expansion of e in e
1.013 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
1.013 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
1.013 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.013 * [taylor]: Taking taylor expansion of v in e
1.014 * [taylor]: Taking taylor expansion of e in e
1.014 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.014 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.015 * [taylor]: Taking taylor expansion of v in v
1.017 * [taylor]: Taking taylor expansion of 0 in v
1.019 * [taylor]: Taking taylor expansion of 0 in v
1.022 * [taylor]: Taking taylor expansion of 0 in v
1.023 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in (e v) around 0
1.023 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in v
1.023 * [taylor]: Taking taylor expansion of -1 in v
1.023 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v
1.023 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.023 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.023 * [taylor]: Taking taylor expansion of -1 in v
1.023 * [taylor]: Taking taylor expansion of v in v
1.023 * [taylor]: Taking taylor expansion of e in v
1.023 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e
1.023 * [taylor]: Taking taylor expansion of -1 in e
1.023 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
1.023 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
1.023 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.023 * [taylor]: Taking taylor expansion of -1 in e
1.023 * [taylor]: Taking taylor expansion of v in e
1.024 * [taylor]: Taking taylor expansion of e in e
1.025 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e
1.025 * [taylor]: Taking taylor expansion of -1 in e
1.025 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
1.025 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
1.025 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.025 * [taylor]: Taking taylor expansion of -1 in e
1.025 * [taylor]: Taking taylor expansion of v in e
1.025 * [taylor]: Taking taylor expansion of e in e
1.026 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 v))) in v
1.026 * [taylor]: Taking taylor expansion of -1 in v
1.026 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.026 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.026 * [taylor]: Taking taylor expansion of -1 in v
1.026 * [taylor]: Taking taylor expansion of v in v
1.029 * [taylor]: Taking taylor expansion of 0 in v
1.032 * [taylor]: Taking taylor expansion of 0 in v
1.039 * [taylor]: Taking taylor expansion of 0 in v
1.040 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1.042 * [approximate]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1)) in (e v) around 0
1.043 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1)) in v
1.043 * [taylor]: Taking taylor expansion of (* e (sin v)) in v
1.043 * [taylor]: Taking taylor expansion of e in v
1.043 * [taylor]: Taking taylor expansion of (sin v) in v
1.043 * [taylor]: Taking taylor expansion of v in v
1.043 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1) in v
1.043 * [taylor]: Taking taylor expansion of (* (cos v) e) in v
1.043 * [taylor]: Taking taylor expansion of (cos v) in v
1.043 * [taylor]: Taking taylor expansion of v in v
1.043 * [taylor]: Taking taylor expansion of e in v
1.043 * [taylor]: Taking taylor expansion of 1 in v
1.044 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1)) in e
1.044 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
1.044 * [taylor]: Taking taylor expansion of e in e
1.044 * [taylor]: Taking taylor expansion of (sin v) in e
1.044 * [taylor]: Taking taylor expansion of v in e
1.044 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1) in e
1.044 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
1.044 * [taylor]: Taking taylor expansion of (cos v) in e
1.044 * [taylor]: Taking taylor expansion of v in e
1.045 * [taylor]: Taking taylor expansion of e in e
1.045 * [taylor]: Taking taylor expansion of 1 in e
1.048 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1)) in e
1.048 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
1.048 * [taylor]: Taking taylor expansion of e in e
1.048 * [taylor]: Taking taylor expansion of (sin v) in e
1.048 * [taylor]: Taking taylor expansion of v in e
1.049 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1) in e
1.049 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
1.049 * [taylor]: Taking taylor expansion of (cos v) in e
1.049 * [taylor]: Taking taylor expansion of v in e
1.049 * [taylor]: Taking taylor expansion of e in e
1.049 * [taylor]: Taking taylor expansion of 1 in e
1.052 * [taylor]: Taking taylor expansion of (sin v) in v
1.052 * [taylor]: Taking taylor expansion of v in v
1.058 * [taylor]: Taking taylor expansion of (neg (* (cos v) (sin v))) in v
1.058 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v
1.058 * [taylor]: Taking taylor expansion of (cos v) in v
1.058 * [taylor]: Taking taylor expansion of v in v
1.058 * [taylor]: Taking taylor expansion of (sin v) in v
1.058 * [taylor]: Taking taylor expansion of v in v
1.067 * [taylor]: Taking taylor expansion of (* (pow (cos v) 2) (sin v)) in v
1.067 * [taylor]: Taking taylor expansion of (pow (cos v) 2) in v
1.067 * [taylor]: Taking taylor expansion of (cos v) in v
1.067 * [taylor]: Taking taylor expansion of v in v
1.067 * [taylor]: Taking taylor expansion of (sin v) in v
1.067 * [taylor]: Taking taylor expansion of v in v
1.072 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1))) in (e v) around 0
1.072 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1))) in v
1.072 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.072 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.072 * [taylor]: Taking taylor expansion of v in v
1.073 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1)) in v
1.073 * [taylor]: Taking taylor expansion of e in v
1.073 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1) in v
1.073 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v
1.073 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.073 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.073 * [taylor]: Taking taylor expansion of v in v
1.073 * [taylor]: Taking taylor expansion of e in v
1.073 * [taylor]: Taking taylor expansion of 1 in v
1.075 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1))) in e
1.075 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
1.075 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.075 * [taylor]: Taking taylor expansion of v in e
1.075 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1)) in e
1.076 * [taylor]: Taking taylor expansion of e in e
1.076 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1) in e
1.076 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
1.076 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
1.076 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.076 * [taylor]: Taking taylor expansion of v in e
1.076 * [taylor]: Taking taylor expansion of e in e
1.077 * [taylor]: Taking taylor expansion of 1 in e
1.082 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1))) in e
1.082 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
1.083 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.083 * [taylor]: Taking taylor expansion of v in e
1.083 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1)) in e
1.083 * [taylor]: Taking taylor expansion of e in e
1.083 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1) in e
1.083 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
1.083 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
1.083 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.083 * [taylor]: Taking taylor expansion of v in e
1.084 * [taylor]: Taking taylor expansion of e in e
1.086 * [taylor]: Taking taylor expansion of 1 in e
1.091 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) 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.092 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.092 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.092 * [taylor]: Taking taylor expansion of v in v
1.101 * [taylor]: Taking taylor expansion of (neg (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v
1.101 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v
1.101 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.101 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.101 * [taylor]: Taking taylor expansion of v in v
1.102 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v
1.102 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.102 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.102 * [taylor]: Taking taylor expansion of v in v
1.114 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) in v
1.114 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.115 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.115 * [taylor]: Taking taylor expansion of v in v
1.115 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 3) in v
1.115 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.115 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.115 * [taylor]: Taking taylor expansion of v in v
1.121 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e))) in (e v) around 0
1.122 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e))) in v
1.122 * [taylor]: Taking taylor expansion of -1 in v
1.122 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e)) in v
1.122 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.122 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.122 * [taylor]: Taking taylor expansion of -1 in v
1.122 * [taylor]: Taking taylor expansion of v in v
1.122 * [taylor]: Taking taylor expansion of (* (- 1 (/ (cos (/ -1 v)) e)) e) in v
1.122 * [taylor]: Taking taylor expansion of (- 1 (/ (cos (/ -1 v)) e)) in v
1.122 * [taylor]: Taking taylor expansion of 1 in v
1.122 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v
1.122 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.122 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.122 * [taylor]: Taking taylor expansion of -1 in v
1.122 * [taylor]: Taking taylor expansion of v in v
1.122 * [taylor]: Taking taylor expansion of e in v
1.122 * [taylor]: Taking taylor expansion of e in v
1.124 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e))) in e
1.124 * [taylor]: Taking taylor expansion of -1 in e
1.124 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e)) in e
1.124 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
1.124 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.124 * [taylor]: Taking taylor expansion of -1 in e
1.124 * [taylor]: Taking taylor expansion of v in e
1.124 * [taylor]: Taking taylor expansion of (* (- 1 (/ (cos (/ -1 v)) e)) e) in e
1.124 * [taylor]: Taking taylor expansion of (- 1 (/ (cos (/ -1 v)) e)) in e
1.124 * [taylor]: Taking taylor expansion of 1 in e
1.124 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
1.124 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
1.124 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.124 * [taylor]: Taking taylor expansion of -1 in e
1.124 * [taylor]: Taking taylor expansion of v in e
1.125 * [taylor]: Taking taylor expansion of e in e
1.125 * [taylor]: Taking taylor expansion of e in e
1.129 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e))) in e
1.129 * [taylor]: Taking taylor expansion of -1 in e
1.129 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e)) in e
1.129 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
1.129 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.129 * [taylor]: Taking taylor expansion of -1 in e
1.129 * [taylor]: Taking taylor expansion of v in e
1.130 * [taylor]: Taking taylor expansion of (* (- 1 (/ (cos (/ -1 v)) e)) e) in e
1.130 * [taylor]: Taking taylor expansion of (- 1 (/ (cos (/ -1 v)) e)) in e
1.130 * [taylor]: Taking taylor expansion of 1 in e
1.130 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
1.130 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
1.130 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.130 * [taylor]: Taking taylor expansion of -1 in e
1.130 * [taylor]: Taking taylor expansion of v in e
1.130 * [taylor]: Taking taylor expansion of e in e
1.131 * [taylor]: Taking taylor expansion of e in e
1.135 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v
1.135 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.135 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.135 * [taylor]: Taking taylor expansion of -1 in v
1.135 * [taylor]: Taking taylor expansion of v in v
1.135 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.135 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.135 * [taylor]: Taking taylor expansion of -1 in v
1.135 * [taylor]: Taking taylor expansion of v in v
1.148 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v
1.148 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.148 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.148 * [taylor]: Taking taylor expansion of -1 in v
1.148 * [taylor]: Taking taylor expansion of v in v
1.148 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v
1.148 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.148 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.148 * [taylor]: Taking taylor expansion of -1 in v
1.148 * [taylor]: Taking taylor expansion of v in v
1.159 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)) in v
1.159 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.159 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.159 * [taylor]: Taking taylor expansion of -1 in v
1.159 * [taylor]: Taking taylor expansion of v in v
1.159 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 3) in v
1.159 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.159 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.159 * [taylor]: Taking taylor expansion of -1 in v
1.159 * [taylor]: Taking taylor expansion of v in v
1.165 * * * [progress]: simplifying candidates
1.166 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 e (sin.f64 v))
  (*.f64 (sqrt.f64 e) (sin.f64 v))
  (*.f64 (cbrt.f64 e) (sin.f64 v))
  (*.f64 e 1)
  (*.f64 e (sqrt.f64 (sin.f64 v)))
  (*.f64 e (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (sin.f64 v)))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (sin.f64 v)))
  (sqrt.f64 (*.f64 e (sin.f64 v)))
  (sqrt.f64 (*.f64 e (sin.f64 v)))
  (*.f64 (*.f64 (*.f64 e (sin.f64 v)) (*.f64 e (sin.f64 v))) (*.f64 e (sin.f64 v)))
  (*.f64 (cbrt.f64 (*.f64 e (sin.f64 v))) (cbrt.f64 (*.f64 e (sin.f64 v))))
  (cbrt.f64 (*.f64 e (sin.f64 v)))
  (*.f64 (*.f64 (*.f64 e e) e) (*.f64 (*.f64 (sin.f64 v) (sin.f64 v)) (sin.f64 v)))
  (exp.f64 (*.f64 e (sin.f64 v)))
  (log.f64 (*.f64 e (sin.f64 v)))
  (+.f64 (log.f64 e) (log.f64 (sin.f64 v)))
  (*.f64 e (sin.f64 v))
  (*.f64 e (cos.f64 v))
  (*.f64 (sqrt.f64 e) (cos.f64 v))
  (*.f64 (cbrt.f64 e) (cos.f64 v))
  (*.f64 e 1)
  (*.f64 e (sqrt.f64 (cos.f64 v)))
  (*.f64 e (*.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v))))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (cos.f64 v)))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (cos.f64 v)))
  (sqrt.f64 (*.f64 e (cos.f64 v)))
  (sqrt.f64 (*.f64 e (cos.f64 v)))
  (*.f64 (*.f64 (*.f64 e (cos.f64 v)) (*.f64 e (cos.f64 v))) (*.f64 e (cos.f64 v)))
  (*.f64 (cbrt.f64 (*.f64 e (cos.f64 v))) (cbrt.f64 (*.f64 e (cos.f64 v))))
  (cbrt.f64 (*.f64 e (cos.f64 v)))
  (*.f64 (*.f64 (*.f64 e e) e) (*.f64 (*.f64 (cos.f64 v) (cos.f64 v)) (cos.f64 v)))
  (exp.f64 (*.f64 e (cos.f64 v)))
  (log.f64 (*.f64 e (cos.f64 v)))
  (+.f64 (log.f64 e) (log.f64 (cos.f64 v)))
  (*.f64 e (cos.f64 v))
  (/.f64 (*.f64 e (sin.f64 v)) (-.f64 (*.f64 1 1) (*.f64 (*.f64 e (cos.f64 v)) (*.f64 e (cos.f64 v)))))
  (/.f64 (*.f64 e (sin.f64 v)) (+.f64 (pow.f64 1 3) (pow.f64 (*.f64 e (cos.f64 v)) 3)))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))
  (/.f64 (*.f64 e (sin.f64 v)) 1)
  (/.f64 (*.f64 e (sin.f64 v)) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (*.f64 e (sin.f64 v)) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (*.f64 e (sin.f64 v)))
  (/.f64 1 (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 e 1)
  (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 e (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (sin.f64 v) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 e (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (sin.f64 v) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (neg.f64 (*.f64 e (sin.f64 v)))
  (neg.f64 (+.f64 1 (*.f64 e (cos.f64 v))))
  (sqrt.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (sqrt.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 (*.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v)))) (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v))))) (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v))))) (cbrt.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (cbrt.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (*.f64 (*.f64 (*.f64 e (sin.f64 v)) (*.f64 e (sin.f64 v))) (*.f64 e (sin.f64 v))) (*.f64 (*.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (+.f64 1 (*.f64 e (cos.f64 v)))) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (*.f64 (*.f64 (*.f64 e e) e) (*.f64 (*.f64 (sin.f64 v) (sin.f64 v)) (sin.f64 v))) (*.f64 (*.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (+.f64 1 (*.f64 e (cos.f64 v)))) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (exp.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (log.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (-.f64 (log.f64 (*.f64 e (sin.f64 v))) (log.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (-.f64 (+.f64 (log.f64 e) (log.f64 (sin.f64 v))) (log.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 e v)
  (*.f64 e (sin.f64 v))
  (*.f64 e (sin.f64 v))
  e
  (*.f64 (cos.f64 v) e)
  (*.f64 (cos.f64 v) e)
  (-.f64 (+.f64 (*.f64 (pow.f64 e 3) v) (*.f64 e v)) (*.f64 (pow.f64 e 2) v))
  (-.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2)))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e)))
  (-.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2)))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e)))
1.250 * * [simplify]: iteration  0 :  5261  enodes  (cost  920 )
1.256 * [simplify]: Simplified to:
   (*.f64 e (sin.f64 v))
  (*.f64 (sin.f64 v) (sqrt.f64 e))
  (*.f64 (sin.f64 v) (cbrt.f64 e))
  e
  (*.f64 e (sqrt.f64 (sin.f64 v)))
  (*.f64 e (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (sin.f64 v)))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (sin.f64 v)))
  (sqrt.f64 (*.f64 e (sin.f64 v)))
  (sqrt.f64 (*.f64 e (sin.f64 v)))
  (pow.f64 (*.f64 e (sin.f64 v)) 3)
  (*.f64 (cbrt.f64 (*.f64 e (sin.f64 v))) (cbrt.f64 (*.f64 e (sin.f64 v))))
  (cbrt.f64 (*.f64 e (sin.f64 v)))
  (pow.f64 (*.f64 e (sin.f64 v)) 3)
  (exp.f64 (*.f64 e (sin.f64 v)))
  (log.f64 (*.f64 e (sin.f64 v)))
  (log.f64 (*.f64 e (sin.f64 v)))
  (*.f64 e (sin.f64 v))
  (*.f64 e (cos.f64 v))
  (*.f64 (sqrt.f64 e) (cos.f64 v))
  (*.f64 (cbrt.f64 e) (cos.f64 v))
  e
  (*.f64 e (sqrt.f64 (cos.f64 v)))
  (*.f64 e (*.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v))))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (cos.f64 v)))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (cos.f64 v)))
  (sqrt.f64 (*.f64 e (cos.f64 v)))
  (sqrt.f64 (*.f64 e (cos.f64 v)))
  (pow.f64 (*.f64 e (cos.f64 v)) 3)
  (*.f64 (cbrt.f64 (*.f64 e (cos.f64 v))) (cbrt.f64 (*.f64 e (cos.f64 v))))
  (cbrt.f64 (*.f64 e (cos.f64 v)))
  (pow.f64 (*.f64 e (cos.f64 v)) 3)
  (exp.f64 (*.f64 e (cos.f64 v)))
  (log.f64 (*.f64 e (cos.f64 v)))
  (log.f64 (*.f64 e (cos.f64 v)))
  (*.f64 e (cos.f64 v))
  (/.f64 (*.f64 e (sin.f64 v)) (-.f64 1 (*.f64 e (*.f64 e (pow.f64 (cos.f64 v) 2)))))
  (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (pow.f64 (*.f64 e (cos.f64 v)) 3)))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))
  (*.f64 e (sin.f64 v))
  (/.f64 (*.f64 e (sin.f64 v)) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (*.f64 e (sin.f64 v)) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (*.f64 e (sin.f64 v)))
  (/.f64 1 (+.f64 1 (*.f64 e (cos.f64 v))))
  e
  (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 e (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (sin.f64 v) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 e (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (sin.f64 v) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (neg.f64 (*.f64 e (sin.f64 v)))
  (-.f64 -1 (*.f64 e (cos.f64 v)))
  (sqrt.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (sqrt.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (pow.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))) 3)
  (*.f64 (cbrt.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))) (cbrt.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))))
  (cbrt.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (pow.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))) 3)
  (pow.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))) 3)
  (exp.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (log.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (log.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (log.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 e v)
  (*.f64 e (sin.f64 v))
  (*.f64 e (sin.f64 v))
  e
  (*.f64 e (cos.f64 v))
  (*.f64 e (cos.f64 v))
  (*.f64 (*.f64 e v) (+.f64 1 (-.f64 (*.f64 e e) e)))
  (+.f64 (/.f64 (sin.f64 v) (*.f64 (*.f64 e e) (pow.f64 (cos.f64 v) 3))) (*.f64 (+.f64 1 (/.f64 -1 (*.f64 e (cos.f64 v)))) (/.f64 (sin.f64 v) (cos.f64 v))))
  (+.f64 (/.f64 (sin.f64 v) (*.f64 (*.f64 e e) (pow.f64 (cos.f64 v) 3))) (*.f64 (+.f64 1 (/.f64 -1 (*.f64 e (cos.f64 v)))) (/.f64 (sin.f64 v) (cos.f64 v))))
1.256 * * * [progress]: adding candidates to table
1.569 * * [progress]: iteration 2 / 4
1.569 * * * [progress]: picking best candidate
1.639 * * * * [pick]: Picked  #<alt (λ (e v) (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))>
1.639 * * * [progress]: localizing error
1.656 * * * [progress]: generating rewritten candidates
1.656 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1.665 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2 2)
1.669 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
1.677 * * * [progress]: generating series expansions
1.677 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1.678 * [approximate]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1)) in (e v) around 0
1.678 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1)) in v
1.678 * [taylor]: Taking taylor expansion of (* e (sin v)) in v
1.678 * [taylor]: Taking taylor expansion of e in v
1.678 * [taylor]: Taking taylor expansion of (sin v) in v
1.678 * [taylor]: Taking taylor expansion of v in v
1.678 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1) in v
1.678 * [taylor]: Taking taylor expansion of (* (cos v) e) in v
1.678 * [taylor]: Taking taylor expansion of (cos v) in v
1.678 * [taylor]: Taking taylor expansion of v in v
1.678 * [taylor]: Taking taylor expansion of e in v
1.678 * [taylor]: Taking taylor expansion of 1 in v
1.679 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1)) in e
1.679 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
1.679 * [taylor]: Taking taylor expansion of e in e
1.679 * [taylor]: Taking taylor expansion of (sin v) in e
1.679 * [taylor]: Taking taylor expansion of v in e
1.679 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1) in e
1.679 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
1.679 * [taylor]: Taking taylor expansion of (cos v) in e
1.679 * [taylor]: Taking taylor expansion of v in e
1.679 * [taylor]: Taking taylor expansion of e in e
1.679 * [taylor]: Taking taylor expansion of 1 in e
1.681 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1)) in e
1.681 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
1.681 * [taylor]: Taking taylor expansion of e in e
1.681 * [taylor]: Taking taylor expansion of (sin v) in e
1.681 * [taylor]: Taking taylor expansion of v in e
1.682 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1) in e
1.682 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
1.682 * [taylor]: Taking taylor expansion of (cos v) in e
1.682 * [taylor]: Taking taylor expansion of v in e
1.682 * [taylor]: Taking taylor expansion of e in e
1.682 * [taylor]: Taking taylor expansion of 1 in e
1.684 * [taylor]: Taking taylor expansion of (sin v) in v
1.684 * [taylor]: Taking taylor expansion of v in v
1.688 * [taylor]: Taking taylor expansion of (neg (* (cos v) (sin v))) in v
1.688 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v
1.688 * [taylor]: Taking taylor expansion of (cos v) in v
1.688 * [taylor]: Taking taylor expansion of v in v
1.688 * [taylor]: Taking taylor expansion of (sin v) in v
1.688 * [taylor]: Taking taylor expansion of v in v
1.694 * [taylor]: Taking taylor expansion of (* (pow (cos v) 2) (sin v)) in v
1.694 * [taylor]: Taking taylor expansion of (pow (cos v) 2) in v
1.694 * [taylor]: Taking taylor expansion of (cos v) in v
1.694 * [taylor]: Taking taylor expansion of v in v
1.694 * [taylor]: Taking taylor expansion of (sin v) in v
1.694 * [taylor]: Taking taylor expansion of v in v
1.696 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1))) in (e v) around 0
1.696 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1))) in v
1.696 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.697 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.697 * [taylor]: Taking taylor expansion of v in v
1.697 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1)) in v
1.697 * [taylor]: Taking taylor expansion of e in v
1.697 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1) in v
1.697 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v
1.697 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.697 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.697 * [taylor]: Taking taylor expansion of v in v
1.697 * [taylor]: Taking taylor expansion of e in v
1.697 * [taylor]: Taking taylor expansion of 1 in v
1.698 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1))) in e
1.698 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
1.698 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.698 * [taylor]: Taking taylor expansion of v in e
1.699 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1)) in e
1.699 * [taylor]: Taking taylor expansion of e in e
1.699 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1) in e
1.699 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
1.699 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
1.699 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.699 * [taylor]: Taking taylor expansion of v in e
1.699 * [taylor]: Taking taylor expansion of e in e
1.700 * [taylor]: Taking taylor expansion of 1 in e
1.703 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1))) in e
1.703 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
1.703 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.703 * [taylor]: Taking taylor expansion of v in e
1.703 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1)) in e
1.704 * [taylor]: Taking taylor expansion of e in e
1.704 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1) in e
1.704 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
1.704 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
1.704 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.704 * [taylor]: Taking taylor expansion of v in e
1.704 * [taylor]: Taking taylor expansion of e in e
1.705 * [taylor]: Taking taylor expansion of 1 in e
1.708 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v
1.708 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.708 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.708 * [taylor]: Taking taylor expansion of v in v
1.709 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.709 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.709 * [taylor]: Taking taylor expansion of v in v
1.714 * [taylor]: Taking taylor expansion of (neg (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v
1.714 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v
1.714 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.714 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.714 * [taylor]: Taking taylor expansion of v in v
1.715 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v
1.715 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.715 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.715 * [taylor]: Taking taylor expansion of v in v
1.727 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) in v
1.727 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.727 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.727 * [taylor]: Taking taylor expansion of v in v
1.727 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 3) in v
1.727 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.727 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.727 * [taylor]: Taking taylor expansion of v in v
1.739 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e))) in (e v) around 0
1.739 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e))) in v
1.739 * [taylor]: Taking taylor expansion of -1 in v
1.739 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e)) in v
1.740 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.740 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.740 * [taylor]: Taking taylor expansion of -1 in v
1.740 * [taylor]: Taking taylor expansion of v in v
1.740 * [taylor]: Taking taylor expansion of (* (- 1 (/ (cos (/ -1 v)) e)) e) in v
1.740 * [taylor]: Taking taylor expansion of (- 1 (/ (cos (/ -1 v)) e)) in v
1.740 * [taylor]: Taking taylor expansion of 1 in v
1.740 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v
1.740 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.740 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.740 * [taylor]: Taking taylor expansion of -1 in v
1.740 * [taylor]: Taking taylor expansion of v in v
1.741 * [taylor]: Taking taylor expansion of e in v
1.741 * [taylor]: Taking taylor expansion of e in v
1.744 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e))) in e
1.744 * [taylor]: Taking taylor expansion of -1 in e
1.744 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e)) in e
1.744 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
1.744 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.744 * [taylor]: Taking taylor expansion of -1 in e
1.744 * [taylor]: Taking taylor expansion of v in e
1.745 * [taylor]: Taking taylor expansion of (* (- 1 (/ (cos (/ -1 v)) e)) e) in e
1.745 * [taylor]: Taking taylor expansion of (- 1 (/ (cos (/ -1 v)) e)) in e
1.745 * [taylor]: Taking taylor expansion of 1 in e
1.745 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
1.745 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
1.745 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.745 * [taylor]: Taking taylor expansion of -1 in e
1.745 * [taylor]: Taking taylor expansion of v in e
1.746 * [taylor]: Taking taylor expansion of e in e
1.747 * [taylor]: Taking taylor expansion of e in e
1.754 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e))) in e
1.754 * [taylor]: Taking taylor expansion of -1 in e
1.754 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e)) in e
1.754 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
1.754 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.754 * [taylor]: Taking taylor expansion of -1 in e
1.755 * [taylor]: Taking taylor expansion of v in e
1.755 * [taylor]: Taking taylor expansion of (* (- 1 (/ (cos (/ -1 v)) e)) e) in e
1.755 * [taylor]: Taking taylor expansion of (- 1 (/ (cos (/ -1 v)) e)) in e
1.755 * [taylor]: Taking taylor expansion of 1 in e
1.755 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
1.755 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
1.755 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.755 * [taylor]: Taking taylor expansion of -1 in e
1.755 * [taylor]: Taking taylor expansion of v in e
1.756 * [taylor]: Taking taylor expansion of e in e
1.757 * [taylor]: Taking taylor expansion of e in e
1.765 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v
1.765 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.765 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.765 * [taylor]: Taking taylor expansion of -1 in v
1.765 * [taylor]: Taking taylor expansion of v in v
1.765 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.766 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.766 * [taylor]: Taking taylor expansion of -1 in v
1.766 * [taylor]: Taking taylor expansion of v in v
1.780 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v
1.780 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.780 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.780 * [taylor]: Taking taylor expansion of -1 in v
1.780 * [taylor]: Taking taylor expansion of v in v
1.780 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v
1.780 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.780 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.780 * [taylor]: Taking taylor expansion of -1 in v
1.780 * [taylor]: Taking taylor expansion of v in v
1.803 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)) in v
1.803 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.803 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.803 * [taylor]: Taking taylor expansion of -1 in v
1.803 * [taylor]: Taking taylor expansion of v in v
1.803 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 3) in v
1.803 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.803 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.803 * [taylor]: Taking taylor expansion of -1 in v
1.803 * [taylor]: Taking taylor expansion of v in v
1.813 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2 2)
1.813 * [approximate]: Taking taylor expansion of (* (cos v) e) in (e v) around 0
1.813 * [taylor]: Taking taylor expansion of (* (cos v) e) in v
1.813 * [taylor]: Taking taylor expansion of (cos v) in v
1.813 * [taylor]: Taking taylor expansion of v in v
1.813 * [taylor]: Taking taylor expansion of e in v
1.813 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
1.813 * [taylor]: Taking taylor expansion of (cos v) in e
1.813 * [taylor]: Taking taylor expansion of v in e
1.813 * [taylor]: Taking taylor expansion of e in e
1.813 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
1.813 * [taylor]: Taking taylor expansion of (cos v) in e
1.814 * [taylor]: Taking taylor expansion of v in e
1.814 * [taylor]: Taking taylor expansion of e in e
1.815 * [taylor]: Taking taylor expansion of 0 in v
1.817 * [taylor]: Taking taylor expansion of (cos v) in v
1.817 * [taylor]: Taking taylor expansion of v in v
1.819 * [taylor]: Taking taylor expansion of 0 in v
1.823 * [taylor]: Taking taylor expansion of 0 in v
1.824 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in (e v) around 0
1.824 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v
1.824 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.824 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.824 * [taylor]: Taking taylor expansion of v in v
1.824 * [taylor]: Taking taylor expansion of e in v
1.824 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
1.825 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
1.825 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.825 * [taylor]: Taking taylor expansion of v in e
1.825 * [taylor]: Taking taylor expansion of e in e
1.826 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
1.826 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
1.826 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.826 * [taylor]: Taking taylor expansion of v in e
1.827 * [taylor]: Taking taylor expansion of e in e
1.828 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.828 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.828 * [taylor]: Taking taylor expansion of v in v
1.831 * [taylor]: Taking taylor expansion of 0 in v
1.835 * [taylor]: Taking taylor expansion of 0 in v
1.838 * [taylor]: Taking taylor expansion of 0 in v
1.839 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in (e v) around 0
1.839 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in v
1.839 * [taylor]: Taking taylor expansion of -1 in v
1.839 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v
1.839 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.839 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.839 * [taylor]: Taking taylor expansion of -1 in v
1.839 * [taylor]: Taking taylor expansion of v in v
1.839 * [taylor]: Taking taylor expansion of e in v
1.839 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e
1.839 * [taylor]: Taking taylor expansion of -1 in e
1.839 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
1.839 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
1.839 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.840 * [taylor]: Taking taylor expansion of -1 in e
1.840 * [taylor]: Taking taylor expansion of v in e
1.840 * [taylor]: Taking taylor expansion of e in e
1.840 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e
1.841 * [taylor]: Taking taylor expansion of -1 in e
1.841 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
1.841 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
1.841 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.841 * [taylor]: Taking taylor expansion of -1 in e
1.841 * [taylor]: Taking taylor expansion of v in e
1.844 * [taylor]: Taking taylor expansion of e in e
1.845 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 v))) in v
1.845 * [taylor]: Taking taylor expansion of -1 in v
1.845 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.845 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.845 * [taylor]: Taking taylor expansion of -1 in v
1.845 * [taylor]: Taking taylor expansion of v in v
1.848 * [taylor]: Taking taylor expansion of 0 in v
1.851 * [taylor]: Taking taylor expansion of 0 in v
1.854 * [taylor]: Taking taylor expansion of 0 in v
1.855 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
1.856 * [approximate]: Taking taylor expansion of (/ (sin v) (+ (* (cos v) e) 1)) in (v e) around 0
1.856 * [taylor]: Taking taylor expansion of (/ (sin v) (+ (* (cos v) e) 1)) in e
1.856 * [taylor]: Taking taylor expansion of (sin v) in e
1.856 * [taylor]: Taking taylor expansion of v in e
1.856 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1) in e
1.856 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
1.856 * [taylor]: Taking taylor expansion of (cos v) in e
1.856 * [taylor]: Taking taylor expansion of v in e
1.856 * [taylor]: Taking taylor expansion of e in e
1.856 * [taylor]: Taking taylor expansion of 1 in e
1.857 * [taylor]: Taking taylor expansion of (/ (sin v) (+ (* (cos v) e) 1)) in v
1.857 * [taylor]: Taking taylor expansion of (sin v) in v
1.857 * [taylor]: Taking taylor expansion of v in v
1.857 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1) in v
1.857 * [taylor]: Taking taylor expansion of (* (cos v) e) in v
1.857 * [taylor]: Taking taylor expansion of (cos v) in v
1.857 * [taylor]: Taking taylor expansion of v in v
1.857 * [taylor]: Taking taylor expansion of e in v
1.857 * [taylor]: Taking taylor expansion of 1 in v
1.857 * [taylor]: Taking taylor expansion of (/ (sin v) (+ (* (cos v) e) 1)) in v
1.858 * [taylor]: Taking taylor expansion of (sin v) in v
1.858 * [taylor]: Taking taylor expansion of v in v
1.858 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1) in v
1.858 * [taylor]: Taking taylor expansion of (* (cos v) e) in v
1.858 * [taylor]: Taking taylor expansion of (cos v) in v
1.858 * [taylor]: Taking taylor expansion of v in v
1.858 * [taylor]: Taking taylor expansion of e in v
1.858 * [taylor]: Taking taylor expansion of 1 in v
1.858 * [taylor]: Taking taylor expansion of (/ 1 (+ e 1)) in e
1.858 * [taylor]: Taking taylor expansion of (+ e 1) in e
1.858 * [taylor]: Taking taylor expansion of e in e
1.858 * [taylor]: Taking taylor expansion of 1 in e
1.859 * [taylor]: Taking taylor expansion of 0 in e
1.862 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ e (pow (+ e 1) 2))) (* 1/6 (/ 1 (+ e 1)))) in e
1.862 * [taylor]: Taking taylor expansion of (* 1/2 (/ e (pow (+ e 1) 2))) in e
1.862 * [taylor]: Taking taylor expansion of 1/2 in e
1.862 * [taylor]: Taking taylor expansion of (/ e (pow (+ e 1) 2)) in e
1.862 * [taylor]: Taking taylor expansion of e in e
1.862 * [taylor]: Taking taylor expansion of (pow (+ e 1) 2) in e
1.862 * [taylor]: Taking taylor expansion of (+ e 1) in e
1.862 * [taylor]: Taking taylor expansion of e in e
1.862 * [taylor]: Taking taylor expansion of 1 in e
1.862 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (+ e 1))) in e
1.862 * [taylor]: Taking taylor expansion of 1/6 in e
1.862 * [taylor]: Taking taylor expansion of (/ 1 (+ e 1)) in e
1.862 * [taylor]: Taking taylor expansion of (+ e 1) in e
1.862 * [taylor]: Taking taylor expansion of e in e
1.862 * [taylor]: Taking taylor expansion of 1 in e
1.863 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) (+ (/ (cos (/ 1 v)) e) 1)) in (v e) around 0
1.864 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (+ (/ (cos (/ 1 v)) e) 1)) in e
1.864 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
1.864 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.864 * [taylor]: Taking taylor expansion of v in e
1.864 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1) in e
1.864 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
1.864 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
1.864 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.864 * [taylor]: Taking taylor expansion of v in e
1.864 * [taylor]: Taking taylor expansion of e in e
1.865 * [taylor]: Taking taylor expansion of 1 in e
1.866 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (+ (/ (cos (/ 1 v)) e) 1)) in v
1.866 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.866 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.866 * [taylor]: Taking taylor expansion of v in v
1.866 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1) in v
1.866 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v
1.866 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.866 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.866 * [taylor]: Taking taylor expansion of v in v
1.866 * [taylor]: Taking taylor expansion of e in v
1.866 * [taylor]: Taking taylor expansion of 1 in v
1.867 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (+ (/ (cos (/ 1 v)) e) 1)) in v
1.867 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
1.867 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.867 * [taylor]: Taking taylor expansion of v in v
1.867 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1) in v
1.867 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v
1.867 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
1.867 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.867 * [taylor]: Taking taylor expansion of v in v
1.867 * [taylor]: Taking taylor expansion of e in v
1.868 * [taylor]: Taking taylor expansion of 1 in v
1.868 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (+ (/ (cos (/ 1 v)) e) 1)) in e
1.868 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
1.868 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.868 * [taylor]: Taking taylor expansion of v in e
1.869 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1) in e
1.869 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
1.869 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
1.869 * [taylor]: Taking taylor expansion of (/ 1 v) in e
1.869 * [taylor]: Taking taylor expansion of v in e
1.869 * [taylor]: Taking taylor expansion of e in e
1.870 * [taylor]: Taking taylor expansion of 1 in e
1.872 * [taylor]: Taking taylor expansion of 0 in e
1.878 * [taylor]: Taking taylor expansion of 0 in e
1.888 * [approximate]: Taking taylor expansion of (/ (sin (/ -1 v)) (- 1 (/ (cos (/ -1 v)) e))) in (v e) around 0
1.888 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (- 1 (/ (cos (/ -1 v)) e))) in e
1.888 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
1.888 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.888 * [taylor]: Taking taylor expansion of -1 in e
1.888 * [taylor]: Taking taylor expansion of v in e
1.889 * [taylor]: Taking taylor expansion of (- 1 (/ (cos (/ -1 v)) e)) in e
1.889 * [taylor]: Taking taylor expansion of 1 in e
1.889 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
1.889 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
1.889 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.889 * [taylor]: Taking taylor expansion of -1 in e
1.889 * [taylor]: Taking taylor expansion of v in e
1.889 * [taylor]: Taking taylor expansion of e in e
1.891 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (- 1 (/ (cos (/ -1 v)) e))) in v
1.891 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.891 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.891 * [taylor]: Taking taylor expansion of -1 in v
1.891 * [taylor]: Taking taylor expansion of v in v
1.891 * [taylor]: Taking taylor expansion of (- 1 (/ (cos (/ -1 v)) e)) in v
1.891 * [taylor]: Taking taylor expansion of 1 in v
1.891 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v
1.891 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.891 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.891 * [taylor]: Taking taylor expansion of -1 in v
1.891 * [taylor]: Taking taylor expansion of v in v
1.891 * [taylor]: Taking taylor expansion of e in v
1.892 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (- 1 (/ (cos (/ -1 v)) e))) in v
1.892 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
1.892 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.892 * [taylor]: Taking taylor expansion of -1 in v
1.892 * [taylor]: Taking taylor expansion of v in v
1.893 * [taylor]: Taking taylor expansion of (- 1 (/ (cos (/ -1 v)) e)) in v
1.893 * [taylor]: Taking taylor expansion of 1 in v
1.893 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v
1.893 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
1.893 * [taylor]: Taking taylor expansion of (/ -1 v) in v
1.893 * [taylor]: Taking taylor expansion of -1 in v
1.893 * [taylor]: Taking taylor expansion of v in v
1.893 * [taylor]: Taking taylor expansion of e in v
1.894 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (- 1 (/ (cos (/ -1 v)) e))) in e
1.894 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
1.894 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.894 * [taylor]: Taking taylor expansion of -1 in e
1.894 * [taylor]: Taking taylor expansion of v in e
1.894 * [taylor]: Taking taylor expansion of (- 1 (/ (cos (/ -1 v)) e)) in e
1.894 * [taylor]: Taking taylor expansion of 1 in e
1.894 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
1.894 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
1.894 * [taylor]: Taking taylor expansion of (/ -1 v) in e
1.894 * [taylor]: Taking taylor expansion of -1 in e
1.894 * [taylor]: Taking taylor expansion of v in e
1.895 * [taylor]: Taking taylor expansion of e in e
1.898 * [taylor]: Taking taylor expansion of 0 in e
1.906 * [taylor]: Taking taylor expansion of 0 in e
1.918 * * * [progress]: simplifying candidates
1.919 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 e (sin.f64 v))
  (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 (sqrt.f64 e) (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 (cbrt.f64 e) (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 e (/.f64 (sin.f64 v) (-.f64 (*.f64 1 1) (*.f64 (*.f64 e (cos.f64 v)) (*.f64 e (cos.f64 v))))))
  (*.f64 e (/.f64 (sin.f64 v) (+.f64 (pow.f64 1 3) (pow.f64 (*.f64 e (cos.f64 v)) 3))))
  (*.f64 e (sin.f64 v))
  (*.f64 e 1)
  (*.f64 e (/.f64 1 1))
  (*.f64 e (/.f64 1 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 e (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))))
  (*.f64 e (/.f64 (sqrt.f64 (sin.f64 v)) 1))
  (*.f64 e (/.f64 (sqrt.f64 (sin.f64 v)) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 e (/.f64 (sqrt.f64 (sin.f64 v)) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))))
  (*.f64 e (/.f64 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))) 1))
  (*.f64 e (/.f64 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 e (/.f64 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))))
  (*.f64 e (sqrt.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 e (*.f64 (cbrt.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))) (cbrt.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))))
  (*.f64 (sqrt.f64 e) (/.f64 (sqrt.f64 (sin.f64 v)) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 (sqrt.f64 e) (/.f64 (sqrt.f64 (sin.f64 v)) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (sqrt.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (sqrt.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 (*.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))) (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))) (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 (cbrt.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))) (cbrt.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))))
  (cbrt.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 (*.f64 (*.f64 e e) e) (*.f64 (*.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))) (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))) (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 (*.f64 (*.f64 e e) e) (/.f64 (*.f64 (*.f64 (sin.f64 v) (sin.f64 v)) (sin.f64 v)) (*.f64 (*.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (+.f64 1 (*.f64 e (cos.f64 v)))) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (exp.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (log.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (+.f64 (log.f64 e) (log.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (+.f64 (log.f64 e) (-.f64 (log.f64 (sin.f64 v)) (log.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 e (cos.f64 v))
  (*.f64 (sqrt.f64 e) (cos.f64 v))
  (*.f64 (cbrt.f64 e) (cos.f64 v))
  (*.f64 e 1)
  (*.f64 e (sqrt.f64 (cos.f64 v)))
  (*.f64 e (*.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v))))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (cos.f64 v)))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (cos.f64 v)))
  (sqrt.f64 (*.f64 e (cos.f64 v)))
  (sqrt.f64 (*.f64 e (cos.f64 v)))
  (*.f64 (*.f64 (*.f64 e (cos.f64 v)) (*.f64 e (cos.f64 v))) (*.f64 e (cos.f64 v)))
  (*.f64 (cbrt.f64 (*.f64 e (cos.f64 v))) (cbrt.f64 (*.f64 e (cos.f64 v))))
  (cbrt.f64 (*.f64 e (cos.f64 v)))
  (*.f64 (*.f64 (*.f64 e e) e) (*.f64 (*.f64 (cos.f64 v) (cos.f64 v)) (cos.f64 v)))
  (exp.f64 (*.f64 e (cos.f64 v)))
  (log.f64 (*.f64 e (cos.f64 v)))
  (+.f64 (log.f64 e) (log.f64 (cos.f64 v)))
  (*.f64 e (cos.f64 v))
  (/.f64 (sin.f64 v) (-.f64 (*.f64 1 1) (*.f64 (*.f64 e (cos.f64 v)) (*.f64 e (cos.f64 v)))))
  (/.f64 (sin.f64 v) (+.f64 (pow.f64 1 3) (pow.f64 (*.f64 e (cos.f64 v)) 3)))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sqrt.f64 (sin.f64 v)))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (cbrt.f64 (sin.f64 v)))
  (/.f64 (sin.f64 v) 1)
  (/.f64 (sin.f64 v) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (sin.f64 v) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))
  (/.f64 1 (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 1 1)
  (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 1 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (sin.f64 v) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (sin.f64 v) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (sqrt.f64 (sin.f64 v)) 1)
  (/.f64 (sqrt.f64 (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 (sqrt.f64 (sin.f64 v)) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (sqrt.f64 (sin.f64 v)) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (sqrt.f64 (sin.f64 v)) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (sqrt.f64 (sin.f64 v)) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))) 1)
  (/.f64 (cbrt.f64 (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (cbrt.f64 (sin.f64 v)) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (neg.f64 (sin.f64 v))
  (neg.f64 (+.f64 1 (*.f64 e (cos.f64 v))))
  (sqrt.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (sqrt.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 (*.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))) (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))) (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 (cbrt.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))) (cbrt.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (cbrt.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (*.f64 (*.f64 (sin.f64 v) (sin.f64 v)) (sin.f64 v)) (*.f64 (*.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (+.f64 1 (*.f64 e (cos.f64 v)))) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (exp.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (log.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (-.f64 (log.f64 (sin.f64 v)) (log.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (-.f64 (+.f64 (*.f64 (pow.f64 e 3) v) (*.f64 e v)) (*.f64 (pow.f64 e 2) v))
  (-.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2)))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e)))
  (-.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2)))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e)))
  e
  (*.f64 (cos.f64 v) e)
  (*.f64 (cos.f64 v) e)
  (-.f64 v (+.f64 (*.f64 1/6 (pow.f64 v 3)) (*.f64 e v)))
  (-.f64 (+.f64 (/.f64 (sin.f64 v) (*.f64 (cos.f64 v) e)) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 3)))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 2))))
  (-.f64 (+.f64 (/.f64 (sin.f64 v) (*.f64 (cos.f64 v) e)) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 3)))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) (pow.f64 e 2))))
1.968 * * [simplify]: iteration  0 :  5014  enodes  (cost  1715 )
1.976 * [simplify]: Simplified to:
   (*.f64 e (sin.f64 v))
  (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 e))
  (*.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 e))
  (*.f64 e (/.f64 (sin.f64 v) (-.f64 1 (*.f64 e (*.f64 e (pow.f64 (cos.f64 v) 2))))))
  (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (pow.f64 (*.f64 e (cos.f64 v)) 3))))
  (*.f64 e (sin.f64 v))
  e
  e
  (/.f64 e (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 e (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 e (sqrt.f64 (sin.f64 v)))
  (*.f64 e (/.f64 (sqrt.f64 (sin.f64 v)) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 e (/.f64 (sqrt.f64 (sin.f64 v)) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))))
  (*.f64 e (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))))
  (*.f64 e (/.f64 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 e (/.f64 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))))
  (*.f64 e (sqrt.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 e (*.f64 (cbrt.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))) (cbrt.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))))
  (*.f64 (sqrt.f64 e) (/.f64 (sqrt.f64 (sin.f64 v)) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 (sqrt.f64 e) (/.f64 (sqrt.f64 (sin.f64 v)) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (sqrt.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (sqrt.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (pow.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))) 3)
  (*.f64 (cbrt.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))) (cbrt.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))))
  (cbrt.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (pow.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))) 3)
  (pow.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))) 3)
  (exp.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (log.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (log.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (log.f64 (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 e (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 e (cos.f64 v))
  (*.f64 (cos.f64 v) (sqrt.f64 e))
  (*.f64 (cos.f64 v) (cbrt.f64 e))
  e
  (*.f64 e (sqrt.f64 (cos.f64 v)))
  (*.f64 e (*.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v))))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (cos.f64 v)))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (cos.f64 v)))
  (sqrt.f64 (*.f64 e (cos.f64 v)))
  (sqrt.f64 (*.f64 e (cos.f64 v)))
  (pow.f64 (*.f64 e (cos.f64 v)) 3)
  (*.f64 (cbrt.f64 (*.f64 e (cos.f64 v))) (cbrt.f64 (*.f64 e (cos.f64 v))))
  (cbrt.f64 (*.f64 e (cos.f64 v)))
  (pow.f64 (*.f64 e (cos.f64 v)) 3)
  (exp.f64 (*.f64 e (cos.f64 v)))
  (log.f64 (*.f64 e (cos.f64 v)))
  (log.f64 (*.f64 e (cos.f64 v)))
  (*.f64 e (cos.f64 v))
  (/.f64 (sin.f64 v) (-.f64 1 (*.f64 e (*.f64 e (pow.f64 (cos.f64 v) 2)))))
  (/.f64 (sin.f64 v) (+.f64 1 (pow.f64 (*.f64 e (cos.f64 v)) 3)))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sqrt.f64 (sin.f64 v)))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (cbrt.f64 (sin.f64 v)))
  (sin.f64 v)
  (/.f64 (sin.f64 v) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (sin.f64 v) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))
  (/.f64 1 (+.f64 1 (*.f64 e (cos.f64 v))))
  1
  (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 1 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (sin.f64 v) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (sin.f64 v) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (sqrt.f64 (sin.f64 v))
  (/.f64 (sqrt.f64 (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 (sqrt.f64 (sin.f64 v)) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (sqrt.f64 (sin.f64 v)) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (sqrt.f64 (sin.f64 v)) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (sqrt.f64 (sin.f64 v)) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v)))
  (/.f64 (cbrt.f64 (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (cbrt.f64 (sin.f64 v)) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (neg.f64 (sin.f64 v))
  (-.f64 -1 (*.f64 e (cos.f64 v)))
  (sqrt.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (sqrt.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (pow.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))) 3)
  (*.f64 (cbrt.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))) (cbrt.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (cbrt.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (pow.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))) 3)
  (exp.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (log.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (log.f64 (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 e (+.f64 v (*.f64 e (-.f64 (*.f64 e v) v))))
  (+.f64 (/.f64 (sin.f64 v) (*.f64 (*.f64 e e) (pow.f64 (cos.f64 v) 3))) (*.f64 (+.f64 (/.f64 -1 (*.f64 e (cos.f64 v))) 1) (/.f64 (sin.f64 v) (cos.f64 v))))
  (+.f64 (/.f64 (sin.f64 v) (*.f64 (*.f64 e e) (pow.f64 (cos.f64 v) 3))) (*.f64 (+.f64 (/.f64 -1 (*.f64 e (cos.f64 v))) 1) (/.f64 (sin.f64 v) (cos.f64 v))))
  e
  (*.f64 e (cos.f64 v))
  (*.f64 e (cos.f64 v))
  (-.f64 v (+.f64 (*.f64 e v) (*.f64 1/6 (pow.f64 v 3))))
  (+.f64 (/.f64 (sin.f64 v) (pow.f64 (*.f64 e (cos.f64 v)) 3)) (*.f64 (+.f64 (/.f64 -1 (*.f64 e (cos.f64 v))) 1) (/.f64 (sin.f64 v) (*.f64 e (cos.f64 v)))))
  (+.f64 (/.f64 (sin.f64 v) (pow.f64 (*.f64 e (cos.f64 v)) 3)) (*.f64 (+.f64 (/.f64 -1 (*.f64 e (cos.f64 v))) 1) (/.f64 (sin.f64 v) (*.f64 e (cos.f64 v)))))
1.977 * * * [progress]: adding candidates to table
2.479 * * [progress]: iteration 3 / 4
2.479 * * * [progress]: picking best candidate
2.578 * * * * [pick]: Picked  #<alt (λ (e v) (/.f64 e (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))>
2.578 * * * [progress]: localizing error
2.607 * * * [progress]: generating rewritten candidates
2.607 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
2.622 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
2.632 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 2)
2.650 * * * [progress]: generating series expansions
2.650 * * * * [progress]: [ 1 / 3 ] generating series at (2)
2.651 * [approximate]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1)) in (e v) around 0
2.651 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1)) in v
2.651 * [taylor]: Taking taylor expansion of (* e (sin v)) in v
2.651 * [taylor]: Taking taylor expansion of e in v
2.651 * [taylor]: Taking taylor expansion of (sin v) in v
2.651 * [taylor]: Taking taylor expansion of v in v
2.651 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1) in v
2.651 * [taylor]: Taking taylor expansion of (* (cos v) e) in v
2.651 * [taylor]: Taking taylor expansion of (cos v) in v
2.651 * [taylor]: Taking taylor expansion of v in v
2.651 * [taylor]: Taking taylor expansion of e in v
2.651 * [taylor]: Taking taylor expansion of 1 in v
2.653 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1)) in e
2.653 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
2.653 * [taylor]: Taking taylor expansion of e in e
2.653 * [taylor]: Taking taylor expansion of (sin v) in e
2.653 * [taylor]: Taking taylor expansion of v in e
2.653 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1) in e
2.653 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
2.653 * [taylor]: Taking taylor expansion of (cos v) in e
2.653 * [taylor]: Taking taylor expansion of v in e
2.653 * [taylor]: Taking taylor expansion of e in e
2.653 * [taylor]: Taking taylor expansion of 1 in e
2.657 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1)) in e
2.658 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
2.658 * [taylor]: Taking taylor expansion of e in e
2.658 * [taylor]: Taking taylor expansion of (sin v) in e
2.658 * [taylor]: Taking taylor expansion of v in e
2.658 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1) in e
2.658 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
2.658 * [taylor]: Taking taylor expansion of (cos v) in e
2.658 * [taylor]: Taking taylor expansion of v in e
2.658 * [taylor]: Taking taylor expansion of e in e
2.658 * [taylor]: Taking taylor expansion of 1 in e
2.663 * [taylor]: Taking taylor expansion of (sin v) in v
2.663 * [taylor]: Taking taylor expansion of v in v
2.677 * [taylor]: Taking taylor expansion of (neg (* (cos v) (sin v))) in v
2.677 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v
2.677 * [taylor]: Taking taylor expansion of (cos v) in v
2.677 * [taylor]: Taking taylor expansion of v in v
2.677 * [taylor]: Taking taylor expansion of (sin v) in v
2.677 * [taylor]: Taking taylor expansion of v in v
2.688 * [taylor]: Taking taylor expansion of (* (pow (cos v) 2) (sin v)) in v
2.688 * [taylor]: Taking taylor expansion of (pow (cos v) 2) in v
2.688 * [taylor]: Taking taylor expansion of (cos v) in v
2.688 * [taylor]: Taking taylor expansion of v in v
2.688 * [taylor]: Taking taylor expansion of (sin v) in v
2.688 * [taylor]: Taking taylor expansion of v in v
2.692 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1))) in (e v) around 0
2.692 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1))) in v
2.692 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
2.692 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.692 * [taylor]: Taking taylor expansion of v in v
2.693 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1)) in v
2.693 * [taylor]: Taking taylor expansion of e in v
2.693 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1) in v
2.693 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v
2.693 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
2.693 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.693 * [taylor]: Taking taylor expansion of v in v
2.693 * [taylor]: Taking taylor expansion of e in v
2.694 * [taylor]: Taking taylor expansion of 1 in v
2.695 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1))) in e
2.695 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
2.695 * [taylor]: Taking taylor expansion of (/ 1 v) in e
2.695 * [taylor]: Taking taylor expansion of v in e
2.696 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1)) in e
2.696 * [taylor]: Taking taylor expansion of e in e
2.696 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1) in e
2.696 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
2.696 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
2.696 * [taylor]: Taking taylor expansion of (/ 1 v) in e
2.696 * [taylor]: Taking taylor expansion of v in e
2.696 * [taylor]: Taking taylor expansion of e in e
2.698 * [taylor]: Taking taylor expansion of 1 in e
2.703 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1))) in e
2.703 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
2.703 * [taylor]: Taking taylor expansion of (/ 1 v) in e
2.703 * [taylor]: Taking taylor expansion of v in e
2.704 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1)) in e
2.704 * [taylor]: Taking taylor expansion of e in e
2.704 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1) in e
2.704 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
2.704 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
2.704 * [taylor]: Taking taylor expansion of (/ 1 v) in e
2.704 * [taylor]: Taking taylor expansion of v in e
2.704 * [taylor]: Taking taylor expansion of e in e
2.706 * [taylor]: Taking taylor expansion of 1 in e
2.711 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v
2.712 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
2.712 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.712 * [taylor]: Taking taylor expansion of v in v
2.712 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
2.712 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.712 * [taylor]: Taking taylor expansion of v in v
2.722 * [taylor]: Taking taylor expansion of (neg (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v
2.722 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v
2.722 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
2.722 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.722 * [taylor]: Taking taylor expansion of v in v
2.722 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v
2.722 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
2.722 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.722 * [taylor]: Taking taylor expansion of v in v
2.741 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) in v
2.741 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
2.741 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.741 * [taylor]: Taking taylor expansion of v in v
2.741 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 3) in v
2.741 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
2.741 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.741 * [taylor]: Taking taylor expansion of v in v
2.753 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e))) in (e v) around 0
2.753 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e))) in v
2.753 * [taylor]: Taking taylor expansion of -1 in v
2.753 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e)) in v
2.753 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.753 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.753 * [taylor]: Taking taylor expansion of -1 in v
2.753 * [taylor]: Taking taylor expansion of v in v
2.753 * [taylor]: Taking taylor expansion of (* (- 1 (/ (cos (/ -1 v)) e)) e) in v
2.754 * [taylor]: Taking taylor expansion of (- 1 (/ (cos (/ -1 v)) e)) in v
2.754 * [taylor]: Taking taylor expansion of 1 in v
2.754 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v
2.754 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.754 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.754 * [taylor]: Taking taylor expansion of -1 in v
2.754 * [taylor]: Taking taylor expansion of v in v
2.754 * [taylor]: Taking taylor expansion of e in v
2.754 * [taylor]: Taking taylor expansion of e in v
2.757 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e))) in e
2.757 * [taylor]: Taking taylor expansion of -1 in e
2.757 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e)) in e
2.757 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
2.757 * [taylor]: Taking taylor expansion of (/ -1 v) in e
2.757 * [taylor]: Taking taylor expansion of -1 in e
2.757 * [taylor]: Taking taylor expansion of v in e
2.758 * [taylor]: Taking taylor expansion of (* (- 1 (/ (cos (/ -1 v)) e)) e) in e
2.758 * [taylor]: Taking taylor expansion of (- 1 (/ (cos (/ -1 v)) e)) in e
2.758 * [taylor]: Taking taylor expansion of 1 in e
2.758 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
2.758 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
2.758 * [taylor]: Taking taylor expansion of (/ -1 v) in e
2.758 * [taylor]: Taking taylor expansion of -1 in e
2.758 * [taylor]: Taking taylor expansion of v in e
2.759 * [taylor]: Taking taylor expansion of e in e
2.760 * [taylor]: Taking taylor expansion of e in e
2.764 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e))) in e
2.764 * [taylor]: Taking taylor expansion of -1 in e
2.764 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (* (- 1 (/ (cos (/ -1 v)) e)) e)) in e
2.764 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
2.764 * [taylor]: Taking taylor expansion of (/ -1 v) in e
2.764 * [taylor]: Taking taylor expansion of -1 in e
2.764 * [taylor]: Taking taylor expansion of v in e
2.764 * [taylor]: Taking taylor expansion of (* (- 1 (/ (cos (/ -1 v)) e)) e) in e
2.764 * [taylor]: Taking taylor expansion of (- 1 (/ (cos (/ -1 v)) e)) in e
2.764 * [taylor]: Taking taylor expansion of 1 in e
2.764 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
2.764 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
2.764 * [taylor]: Taking taylor expansion of (/ -1 v) in e
2.764 * [taylor]: Taking taylor expansion of -1 in e
2.764 * [taylor]: Taking taylor expansion of v in e
2.764 * [taylor]: Taking taylor expansion of e in e
2.765 * [taylor]: Taking taylor expansion of e in e
2.769 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (cos (/ -1 v))) in v
2.769 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.769 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.769 * [taylor]: Taking taylor expansion of -1 in v
2.769 * [taylor]: Taking taylor expansion of v in v
2.769 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.769 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.769 * [taylor]: Taking taylor expansion of -1 in v
2.769 * [taylor]: Taking taylor expansion of v in v
2.776 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 2)) in v
2.776 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.776 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.776 * [taylor]: Taking taylor expansion of -1 in v
2.776 * [taylor]: Taking taylor expansion of v in v
2.776 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v
2.776 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.776 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.776 * [taylor]: Taking taylor expansion of -1 in v
2.776 * [taylor]: Taking taylor expansion of v in v
2.787 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 v)) (pow (cos (/ -1 v)) 3)) in v
2.787 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.787 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.787 * [taylor]: Taking taylor expansion of -1 in v
2.787 * [taylor]: Taking taylor expansion of v in v
2.788 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 3) in v
2.788 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.788 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.788 * [taylor]: Taking taylor expansion of -1 in v
2.788 * [taylor]: Taking taylor expansion of v in v
2.792 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
2.793 * [approximate]: Taking taylor expansion of (/ (+ (* (cos v) e) 1) (sin v)) in (e v) around 0
2.793 * [taylor]: Taking taylor expansion of (/ (+ (* (cos v) e) 1) (sin v)) in v
2.793 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1) in v
2.793 * [taylor]: Taking taylor expansion of (* (cos v) e) in v
2.793 * [taylor]: Taking taylor expansion of (cos v) in v
2.793 * [taylor]: Taking taylor expansion of v in v
2.793 * [taylor]: Taking taylor expansion of e in v
2.793 * [taylor]: Taking taylor expansion of 1 in v
2.793 * [taylor]: Taking taylor expansion of (sin v) in v
2.793 * [taylor]: Taking taylor expansion of v in v
2.793 * [taylor]: Taking taylor expansion of (/ (+ (* (cos v) e) 1) (sin v)) in e
2.794 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1) in e
2.794 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
2.794 * [taylor]: Taking taylor expansion of (cos v) in e
2.794 * [taylor]: Taking taylor expansion of v in e
2.794 * [taylor]: Taking taylor expansion of e in e
2.794 * [taylor]: Taking taylor expansion of 1 in e
2.794 * [taylor]: Taking taylor expansion of (sin v) in e
2.794 * [taylor]: Taking taylor expansion of v in e
2.795 * [taylor]: Taking taylor expansion of (/ (+ (* (cos v) e) 1) (sin v)) in e
2.795 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1) in e
2.795 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
2.795 * [taylor]: Taking taylor expansion of (cos v) in e
2.795 * [taylor]: Taking taylor expansion of v in e
2.795 * [taylor]: Taking taylor expansion of e in e
2.795 * [taylor]: Taking taylor expansion of 1 in e
2.795 * [taylor]: Taking taylor expansion of (sin v) in e
2.795 * [taylor]: Taking taylor expansion of v in e
2.796 * [taylor]: Taking taylor expansion of (/ 1 (sin v)) in v
2.796 * [taylor]: Taking taylor expansion of (sin v) in v
2.796 * [taylor]: Taking taylor expansion of v in v
2.799 * [taylor]: Taking taylor expansion of (/ (cos v) (sin v)) in v
2.799 * [taylor]: Taking taylor expansion of (cos v) in v
2.799 * [taylor]: Taking taylor expansion of v in v
2.799 * [taylor]: Taking taylor expansion of (sin v) in v
2.799 * [taylor]: Taking taylor expansion of v in v
2.802 * [taylor]: Taking taylor expansion of 0 in v
2.805 * [approximate]: Taking taylor expansion of (/ (+ (/ (cos (/ 1 v)) e) 1) (sin (/ 1 v))) in (e v) around 0
2.805 * [taylor]: Taking taylor expansion of (/ (+ (/ (cos (/ 1 v)) e) 1) (sin (/ 1 v))) in v
2.805 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1) in v
2.805 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v
2.805 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
2.805 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.805 * [taylor]: Taking taylor expansion of v in v
2.805 * [taylor]: Taking taylor expansion of e in v
2.805 * [taylor]: Taking taylor expansion of 1 in v
2.806 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
2.806 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.806 * [taylor]: Taking taylor expansion of v in v
2.806 * [taylor]: Taking taylor expansion of (/ (+ (/ (cos (/ 1 v)) e) 1) (sin (/ 1 v))) in e
2.806 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1) in e
2.806 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
2.806 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
2.806 * [taylor]: Taking taylor expansion of (/ 1 v) in e
2.806 * [taylor]: Taking taylor expansion of v in e
2.807 * [taylor]: Taking taylor expansion of e in e
2.807 * [taylor]: Taking taylor expansion of 1 in e
2.807 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
2.807 * [taylor]: Taking taylor expansion of (/ 1 v) in e
2.807 * [taylor]: Taking taylor expansion of v in e
2.808 * [taylor]: Taking taylor expansion of (/ (+ (/ (cos (/ 1 v)) e) 1) (sin (/ 1 v))) in e
2.808 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1) in e
2.808 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
2.808 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
2.808 * [taylor]: Taking taylor expansion of (/ 1 v) in e
2.808 * [taylor]: Taking taylor expansion of v in e
2.809 * [taylor]: Taking taylor expansion of e in e
2.809 * [taylor]: Taking taylor expansion of 1 in e
2.809 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
2.809 * [taylor]: Taking taylor expansion of (/ 1 v) in e
2.809 * [taylor]: Taking taylor expansion of v in e
2.811 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) (sin (/ 1 v))) in v
2.811 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
2.811 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.811 * [taylor]: Taking taylor expansion of v in v
2.811 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
2.811 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.811 * [taylor]: Taking taylor expansion of v in v
2.815 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 v))) in v
2.815 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
2.815 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.815 * [taylor]: Taking taylor expansion of v in v
2.821 * [taylor]: Taking taylor expansion of 0 in v
2.828 * [taylor]: Taking taylor expansion of 0 in v
2.830 * [approximate]: Taking taylor expansion of (/ (- 1 (/ (cos (/ -1 v)) e)) (sin (/ -1 v))) in (e v) around 0
2.830 * [taylor]: Taking taylor expansion of (/ (- 1 (/ (cos (/ -1 v)) e)) (sin (/ -1 v))) in v
2.830 * [taylor]: Taking taylor expansion of (- 1 (/ (cos (/ -1 v)) e)) in v
2.830 * [taylor]: Taking taylor expansion of 1 in v
2.830 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v
2.830 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.830 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.830 * [taylor]: Taking taylor expansion of -1 in v
2.830 * [taylor]: Taking taylor expansion of v in v
2.830 * [taylor]: Taking taylor expansion of e in v
2.830 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.830 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.830 * [taylor]: Taking taylor expansion of -1 in v
2.830 * [taylor]: Taking taylor expansion of v in v
2.832 * [taylor]: Taking taylor expansion of (/ (- 1 (/ (cos (/ -1 v)) e)) (sin (/ -1 v))) in e
2.832 * [taylor]: Taking taylor expansion of (- 1 (/ (cos (/ -1 v)) e)) in e
2.832 * [taylor]: Taking taylor expansion of 1 in e
2.832 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
2.832 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
2.832 * [taylor]: Taking taylor expansion of (/ -1 v) in e
2.832 * [taylor]: Taking taylor expansion of -1 in e
2.832 * [taylor]: Taking taylor expansion of v in e
2.832 * [taylor]: Taking taylor expansion of e in e
2.833 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
2.833 * [taylor]: Taking taylor expansion of (/ -1 v) in e
2.833 * [taylor]: Taking taylor expansion of -1 in e
2.833 * [taylor]: Taking taylor expansion of v in e
2.835 * [taylor]: Taking taylor expansion of (/ (- 1 (/ (cos (/ -1 v)) e)) (sin (/ -1 v))) in e
2.835 * [taylor]: Taking taylor expansion of (- 1 (/ (cos (/ -1 v)) e)) in e
2.835 * [taylor]: Taking taylor expansion of 1 in e
2.835 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
2.835 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
2.835 * [taylor]: Taking taylor expansion of (/ -1 v) in e
2.835 * [taylor]: Taking taylor expansion of -1 in e
2.835 * [taylor]: Taking taylor expansion of v in e
2.835 * [taylor]: Taking taylor expansion of e in e
2.836 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
2.836 * [taylor]: Taking taylor expansion of (/ -1 v) in e
2.836 * [taylor]: Taking taylor expansion of -1 in e
2.836 * [taylor]: Taking taylor expansion of v in e
2.838 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) (sin (/ -1 v)))) in v
2.838 * [taylor]: Taking taylor expansion of -1 in v
2.838 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) (sin (/ -1 v))) in v
2.838 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.838 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.838 * [taylor]: Taking taylor expansion of -1 in v
2.838 * [taylor]: Taking taylor expansion of v in v
2.838 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.838 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.838 * [taylor]: Taking taylor expansion of -1 in v
2.838 * [taylor]: Taking taylor expansion of v in v
2.843 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 v))) in v
2.843 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
2.843 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.843 * [taylor]: Taking taylor expansion of -1 in v
2.843 * [taylor]: Taking taylor expansion of v in v
2.850 * [taylor]: Taking taylor expansion of 0 in v
2.859 * [taylor]: Taking taylor expansion of 0 in v
2.861 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 2)
2.861 * [approximate]: Taking taylor expansion of (* (cos v) e) in (e v) around 0
2.861 * [taylor]: Taking taylor expansion of (* (cos v) e) in v
2.861 * [taylor]: Taking taylor expansion of (cos v) in v
2.861 * [taylor]: Taking taylor expansion of v in v
2.861 * [taylor]: Taking taylor expansion of e in v
2.861 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
2.861 * [taylor]: Taking taylor expansion of (cos v) in e
2.861 * [taylor]: Taking taylor expansion of v in e
2.861 * [taylor]: Taking taylor expansion of e in e
2.861 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
2.861 * [taylor]: Taking taylor expansion of (cos v) in e
2.861 * [taylor]: Taking taylor expansion of v in e
2.861 * [taylor]: Taking taylor expansion of e in e
2.862 * [taylor]: Taking taylor expansion of 0 in v
2.863 * [taylor]: Taking taylor expansion of (cos v) in v
2.863 * [taylor]: Taking taylor expansion of v in v
2.865 * [taylor]: Taking taylor expansion of 0 in v
2.867 * [taylor]: Taking taylor expansion of 0 in v
2.867 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in (e v) around 0
2.867 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v
2.867 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
2.867 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.867 * [taylor]: Taking taylor expansion of v in v
2.867 * [taylor]: Taking taylor expansion of e in v
2.867 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
2.868 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
2.868 * [taylor]: Taking taylor expansion of (/ 1 v) in e
2.868 * [taylor]: Taking taylor expansion of v in e
2.868 * [taylor]: Taking taylor expansion of e in e
2.868 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
2.868 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
2.869 * [taylor]: Taking taylor expansion of (/ 1 v) in e
2.869 * [taylor]: Taking taylor expansion of v in e
2.869 * [taylor]: Taking taylor expansion of e in e
2.869 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
2.869 * [taylor]: Taking taylor expansion of (/ 1 v) in v
2.870 * [taylor]: Taking taylor expansion of v in v
2.871 * [taylor]: Taking taylor expansion of 0 in v
2.873 * [taylor]: Taking taylor expansion of 0 in v
2.876 * [taylor]: Taking taylor expansion of 0 in v
2.877 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in (e v) around 0
2.877 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in v
2.877 * [taylor]: Taking taylor expansion of -1 in v
2.877 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v
2.877 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.877 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.877 * [taylor]: Taking taylor expansion of -1 in v
2.877 * [taylor]: Taking taylor expansion of v in v
2.877 * [taylor]: Taking taylor expansion of e in v
2.877 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e
2.877 * [taylor]: Taking taylor expansion of -1 in e
2.877 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
2.877 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
2.877 * [taylor]: Taking taylor expansion of (/ -1 v) in e
2.877 * [taylor]: Taking taylor expansion of -1 in e
2.877 * [taylor]: Taking taylor expansion of v in e
2.878 * [taylor]: Taking taylor expansion of e in e
2.878 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e
2.878 * [taylor]: Taking taylor expansion of -1 in e
2.878 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
2.878 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
2.878 * [taylor]: Taking taylor expansion of (/ -1 v) in e
2.878 * [taylor]: Taking taylor expansion of -1 in e
2.878 * [taylor]: Taking taylor expansion of v in e
2.879 * [taylor]: Taking taylor expansion of e in e
2.879 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 v))) in v
2.880 * [taylor]: Taking taylor expansion of -1 in v
2.880 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
2.880 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.880 * [taylor]: Taking taylor expansion of -1 in v
2.880 * [taylor]: Taking taylor expansion of v in v
2.882 * [taylor]: Taking taylor expansion of 0 in v
2.884 * [taylor]: Taking taylor expansion of 0 in v
2.888 * [taylor]: Taking taylor expansion of 0 in v
2.889 * * * [progress]: simplifying candidates
2.890 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 e (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)) e)
  (/.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)) (sqrt.f64 e))
  (/.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)) (cbrt.f64 e))
  (/.f64 e (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 e 1)
  (/.f64 e (/.f64 1 1))
  (/.f64 e (/.f64 1 (sqrt.f64 (sin.f64 v))))
  (/.f64 e (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v)))))
  (/.f64 e (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) 1))
  (/.f64 e (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v))))
  (/.f64 e (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v)))))
  (/.f64 e (/.f64 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))) 1))
  (/.f64 e (/.f64 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))) (sqrt.f64 (sin.f64 v))))
  (/.f64 e (/.f64 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))) (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v)))))
  (/.f64 e (sqrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (/.f64 e (*.f64 (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))) (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))))
  (/.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)) e)
  (/.f64 1 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (/.f64 1 (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 e (/.f64 1 (sin.f64 v)))
  (/.f64 1 1)
  (/.f64 e (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (/.f64 1 (/.f64 1 1))
  (/.f64 e (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (/.f64 1 (/.f64 1 (sqrt.f64 (sin.f64 v))))
  (/.f64 e (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sqrt.f64 (sin.f64 v))))
  (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v)))))
  (/.f64 e (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (cbrt.f64 (sin.f64 v))))
  (/.f64 1 (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) 1))
  (/.f64 e (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v)))
  (/.f64 1 (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v))))
  (/.f64 e (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v))))
  (/.f64 1 (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v)))))
  (/.f64 e (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (sin.f64 v))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))) 1))
  (/.f64 e (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v)))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))) (sqrt.f64 (sin.f64 v))))
  (/.f64 e (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))) (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v)))))
  (/.f64 e (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (sin.f64 v))))
  (/.f64 1 (sqrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (/.f64 e (sqrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))) (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))))
  (/.f64 e (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (/.f64 (sqrt.f64 e) (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 (sqrt.f64 e) (/.f64 1 (sin.f64 v)))
  (/.f64 (sqrt.f64 e) 1)
  (/.f64 (sqrt.f64 e) (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (/.f64 (sqrt.f64 e) (/.f64 1 1))
  (/.f64 (sqrt.f64 e) (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (/.f64 (sqrt.f64 e) (/.f64 1 (sqrt.f64 (sin.f64 v))))
  (/.f64 (sqrt.f64 e) (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sqrt.f64 (sin.f64 v))))
  (/.f64 (sqrt.f64 e) (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v)))))
  (/.f64 (sqrt.f64 e) (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (cbrt.f64 (sin.f64 v))))
  (/.f64 (sqrt.f64 e) (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) 1))
  (/.f64 (sqrt.f64 e) (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v)))
  (/.f64 (sqrt.f64 e) (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v))))
  (/.f64 (sqrt.f64 e) (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v))))
  (/.f64 (sqrt.f64 e) (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v)))))
  (/.f64 (sqrt.f64 e) (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (sin.f64 v))))
  (/.f64 (sqrt.f64 e) (/.f64 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))) 1))
  (/.f64 (sqrt.f64 e) (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v)))
  (/.f64 (sqrt.f64 e) (/.f64 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))) (sqrt.f64 (sin.f64 v))))
  (/.f64 (sqrt.f64 e) (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v))))
  (/.f64 (sqrt.f64 e) (/.f64 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))) (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v)))))
  (/.f64 (sqrt.f64 e) (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (sin.f64 v))))
  (/.f64 (sqrt.f64 e) (sqrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (/.f64 (sqrt.f64 e) (sqrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (/.f64 (sqrt.f64 e) (*.f64 (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))) (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))))
  (/.f64 (sqrt.f64 e) (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 (cbrt.f64 e) (/.f64 1 (sin.f64 v)))
  (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) 1)
  (/.f64 (cbrt.f64 e) (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (/.f64 1 1))
  (/.f64 (cbrt.f64 e) (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (/.f64 1 (sqrt.f64 (sin.f64 v))))
  (/.f64 (cbrt.f64 e) (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sqrt.f64 (sin.f64 v))))
  (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v)))))
  (/.f64 (cbrt.f64 e) (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (cbrt.f64 (sin.f64 v))))
  (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) 1))
  (/.f64 (cbrt.f64 e) (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v)))
  (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v))))
  (/.f64 (cbrt.f64 e) (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v))))
  (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v)))))
  (/.f64 (cbrt.f64 e) (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (sin.f64 v))))
  (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (/.f64 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))) 1))
  (/.f64 (cbrt.f64 e) (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v)))
  (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (/.f64 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))) (sqrt.f64 (sin.f64 v))))
  (/.f64 (cbrt.f64 e) (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v))))
  (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (/.f64 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))) (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v)))))
  (/.f64 (cbrt.f64 e) (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (sin.f64 v))))
  (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (sqrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (/.f64 (cbrt.f64 e) (sqrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (*.f64 (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))) (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))))
  (/.f64 (cbrt.f64 e) (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (neg.f64 e)
  (neg.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (sqrt.f64 (/.f64 e (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (sqrt.f64 (/.f64 e (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (*.f64 (*.f64 (/.f64 e (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))) (/.f64 e (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))) (/.f64 e (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (*.f64 (cbrt.f64 (/.f64 e (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))) (cbrt.f64 (/.f64 e (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))))
  (cbrt.f64 (/.f64 e (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (/.f64 (*.f64 (*.f64 e e) e) (*.f64 (*.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)) (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))) (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (/.f64 (*.f64 (*.f64 e e) e) (/.f64 (*.f64 (*.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (+.f64 1 (*.f64 e (cos.f64 v)))) (+.f64 1 (*.f64 e (cos.f64 v)))) (*.f64 (*.f64 (sin.f64 v) (sin.f64 v)) (sin.f64 v))))
  (exp.f64 (/.f64 e (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (log.f64 (/.f64 e (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (-.f64 (log.f64 e) (log.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (-.f64 (log.f64 e) (-.f64 (log.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (log.f64 (sin.f64 v))))
  (*.f64 (sin.f64 v) (-.f64 1 (*.f64 e (cos.f64 v))))
  (*.f64 (sin.f64 v) (+.f64 (*.f64 1 1) (-.f64 (*.f64 (*.f64 e (cos.f64 v)) (*.f64 e (cos.f64 v))) (*.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 (sin.f64 v) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (sin.f64 v) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) 1)
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sqrt.f64 (sin.f64 v)))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))))
  (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 1 (sin.f64 v))
  (/.f64 1 1)
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))
  (/.f64 1 (sqrt.f64 (sin.f64 v)))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sqrt.f64 (sin.f64 v)))
  (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (cbrt.f64 (sin.f64 v)))
  (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) 1)
  (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v))
  (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v)))
  (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v)))
  (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))))
  (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (sin.f64 v)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))) 1)
  (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))) (sqrt.f64 (sin.f64 v)))
  (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))) (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))))
  (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (sin.f64 v)))
  (neg.f64 (+.f64 1 (*.f64 e (cos.f64 v))))
  (neg.f64 (sin.f64 v))
  (sqrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (sqrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (*.f64 (*.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)) (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))) (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (*.f64 (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))) (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (/.f64 (*.f64 (*.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (+.f64 1 (*.f64 e (cos.f64 v)))) (+.f64 1 (*.f64 e (cos.f64 v)))) (*.f64 (*.f64 (sin.f64 v) (sin.f64 v)) (sin.f64 v)))
  (exp.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (log.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (-.f64 (log.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (log.f64 (sin.f64 v)))
  (*.f64 e (cos.f64 v))
  (*.f64 (sqrt.f64 e) (cos.f64 v))
  (*.f64 (cbrt.f64 e) (cos.f64 v))
  (*.f64 e 1)
  (*.f64 e (sqrt.f64 (cos.f64 v)))
  (*.f64 e (*.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v))))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (cos.f64 v)))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (cos.f64 v)))
  (sqrt.f64 (*.f64 e (cos.f64 v)))
  (sqrt.f64 (*.f64 e (cos.f64 v)))
  (*.f64 (*.f64 (*.f64 e (cos.f64 v)) (*.f64 e (cos.f64 v))) (*.f64 e (cos.f64 v)))
  (*.f64 (cbrt.f64 (*.f64 e (cos.f64 v))) (cbrt.f64 (*.f64 e (cos.f64 v))))
  (cbrt.f64 (*.f64 e (cos.f64 v)))
  (*.f64 (*.f64 (*.f64 e e) e) (*.f64 (*.f64 (cos.f64 v) (cos.f64 v)) (cos.f64 v)))
  (exp.f64 (*.f64 e (cos.f64 v)))
  (log.f64 (*.f64 e (cos.f64 v)))
  (+.f64 (log.f64 e) (log.f64 (cos.f64 v)))
  (*.f64 e (cos.f64 v))
  (-.f64 (+.f64 (*.f64 (pow.f64 e 3) v) (*.f64 e v)) (*.f64 (pow.f64 e 2) v))
  (-.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2)))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e)))
  (-.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2)))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e)))
  (+.f64 (/.f64 1 v) (+.f64 (*.f64 1/6 v) (/.f64 e v)))
  (+.f64 (/.f64 1 (sin.f64 v)) (/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v)))
  (+.f64 (/.f64 1 (sin.f64 v)) (/.f64 (*.f64 (cos.f64 v) e) (sin.f64 v)))
  e
  (*.f64 (cos.f64 v) e)
  (*.f64 (cos.f64 v) e)
3.007 * * [simplify]: iteration  0 :  5380  enodes  (cost  3218 )
3.038 * [simplify]: Simplified to:
   (/.f64 e (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)) e)
  (/.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)) (sqrt.f64 e))
  (/.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)) (cbrt.f64 e))
  (/.f64 e (+.f64 1 (*.f64 e (cos.f64 v))))
  e
  e
  (*.f64 e (sqrt.f64 (sin.f64 v)))
  (*.f64 e (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))))
  (/.f64 e (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 (sqrt.f64 (sin.f64 v)) (/.f64 e (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))) (/.f64 e (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 e (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 (sqrt.f64 (sin.f64 v)) (/.f64 e (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))))
  (*.f64 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))) (/.f64 e (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))))
  (/.f64 e (sqrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (/.f64 e (*.f64 (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))) (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))))
  (/.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)) e)
  (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 1 (+.f64 1 (*.f64 e (cos.f64 v))))
  (*.f64 e (sin.f64 v))
  1
  (*.f64 (/.f64 e (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v))
  1
  (*.f64 (/.f64 e (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v))
  (sqrt.f64 (sin.f64 v))
  (*.f64 (/.f64 e (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v)))
  (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v)))
  (*.f64 (/.f64 e (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (sin.f64 v)))
  (/.f64 1 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 (sin.f64 v) (/.f64 e (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (sqrt.f64 (sin.f64 v)) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 (sqrt.f64 (sin.f64 v)) (/.f64 e (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 (cbrt.f64 (sin.f64 v)) (/.f64 e (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 e (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v)))
  (/.f64 (sqrt.f64 (sin.f64 v)) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 e (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v))))
  (/.f64 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 e (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (sin.f64 v))))
  (/.f64 1 (sqrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (/.f64 e (sqrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))) (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))))
  (/.f64 e (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (/.f64 (sqrt.f64 e) (+.f64 1 (*.f64 e (cos.f64 v))))
  (*.f64 (sin.f64 v) (sqrt.f64 e))
  (sqrt.f64 e)
  (*.f64 (sin.f64 v) (/.f64 (sqrt.f64 e) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (sqrt.f64 e)
  (*.f64 (sin.f64 v) (/.f64 (sqrt.f64 e) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (sin.f64 v)))
  (*.f64 (sqrt.f64 (sin.f64 v)) (/.f64 (sqrt.f64 e) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 (sqrt.f64 e) (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))))
  (*.f64 (cbrt.f64 (sin.f64 v)) (/.f64 (sqrt.f64 e) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (sqrt.f64 e) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 (sin.f64 v) (/.f64 (sqrt.f64 e) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 (sqrt.f64 (sin.f64 v)) (/.f64 (sqrt.f64 e) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 (sqrt.f64 (sin.f64 v)) (/.f64 (sqrt.f64 e) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))) (/.f64 (sqrt.f64 e) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (*.f64 (cbrt.f64 (sin.f64 v)) (/.f64 (sqrt.f64 e) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (sqrt.f64 e) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (sqrt.f64 e) (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v)))
  (*.f64 (sqrt.f64 (sin.f64 v)) (/.f64 (sqrt.f64 e) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))))
  (/.f64 (sqrt.f64 e) (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v))))
  (*.f64 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))) (/.f64 (sqrt.f64 e) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))))
  (/.f64 (sqrt.f64 e) (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (sin.f64 v))))
  (/.f64 (sqrt.f64 e) (sqrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (/.f64 (sqrt.f64 e) (sqrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (/.f64 (sqrt.f64 e) (*.f64 (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))) (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))))
  (/.f64 (sqrt.f64 e) (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (+.f64 1 (*.f64 e (cos.f64 v))))
  (*.f64 (sin.f64 v) (cbrt.f64 e))
  (*.f64 (cbrt.f64 e) (cbrt.f64 e))
  (/.f64 (cbrt.f64 e) (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (*.f64 (cbrt.f64 e) (cbrt.f64 e))
  (/.f64 (cbrt.f64 e) (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (*.f64 (sqrt.f64 (sin.f64 v)) (*.f64 (cbrt.f64 e) (cbrt.f64 e)))
  (/.f64 (cbrt.f64 e) (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sqrt.f64 (sin.f64 v))))
  (*.f64 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))) (*.f64 (cbrt.f64 e) (cbrt.f64 e)))
  (/.f64 (cbrt.f64 e) (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (cbrt.f64 (sin.f64 v))))
  (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (cbrt.f64 e) (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v)))
  (*.f64 (sqrt.f64 (sin.f64 v)) (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (cbrt.f64 e) (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v))))
  (*.f64 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))) (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (cbrt.f64 e) (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (sin.f64 v))))
  (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (cbrt.f64 e) (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v)))
  (*.f64 (sqrt.f64 (sin.f64 v)) (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))))
  (/.f64 (cbrt.f64 e) (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v))))
  (*.f64 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))) (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))))
  (/.f64 (cbrt.f64 e) (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (sin.f64 v))))
  (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (sqrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (/.f64 (cbrt.f64 e) (sqrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (/.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e)) (*.f64 (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))) (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))))
  (/.f64 (cbrt.f64 e) (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (neg.f64 e)
  (/.f64 (-.f64 -1 (*.f64 e (cos.f64 v))) (sin.f64 v))
  (sqrt.f64 (*.f64 (/.f64 e (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v)))
  (sqrt.f64 (*.f64 (/.f64 e (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v)))
  (pow.f64 (*.f64 (/.f64 e (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v)) 3)
  (*.f64 (cbrt.f64 (*.f64 (/.f64 e (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v))) (cbrt.f64 (*.f64 (/.f64 e (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v))))
  (cbrt.f64 (*.f64 (/.f64 e (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v)))
  (pow.f64 (*.f64 (/.f64 e (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v)) 3)
  (pow.f64 (*.f64 (/.f64 e (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v)) 3)
  (exp.f64 (*.f64 (/.f64 e (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v)))
  (log.f64 (*.f64 (/.f64 e (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v)))
  (log.f64 (*.f64 (/.f64 e (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v)))
  (log.f64 (*.f64 (/.f64 e (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v)))
  (*.f64 (sin.f64 v) (-.f64 1 (*.f64 e (cos.f64 v))))
  (*.f64 (sin.f64 v) (+.f64 1 (*.f64 e (*.f64 (cos.f64 v) (-.f64 (*.f64 e (cos.f64 v)) 1)))))
  (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 (sin.f64 v) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (sin.f64 v) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (+.f64 1 (*.f64 e (cos.f64 v)))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sqrt.f64 (sin.f64 v)))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))))
  (/.f64 (sin.f64 v) (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 1 (sin.f64 v))
  1
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))
  (/.f64 1 (sqrt.f64 (sin.f64 v)))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sqrt.f64 (sin.f64 v)))
  (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (cbrt.f64 (sin.f64 v)))
  (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v))
  (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v)))
  (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v)))
  (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))))
  (/.f64 (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (sin.f64 v)))
  (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sin.f64 v))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))) (sqrt.f64 (sin.f64 v)))
  (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (sqrt.f64 (sin.f64 v)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))) (*.f64 (cbrt.f64 (sin.f64 v)) (cbrt.f64 (sin.f64 v))))
  (/.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (sin.f64 v)))
  (-.f64 -1 (*.f64 e (cos.f64 v)))
  (neg.f64 (sin.f64 v))
  (sqrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (sqrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (pow.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)) 3)
  (*.f64 (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))) (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))))
  (cbrt.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (pow.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)) 3)
  (exp.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (log.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (log.f64 (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))
  (*.f64 e (cos.f64 v))
  (*.f64 (cos.f64 v) (sqrt.f64 e))
  (*.f64 (cos.f64 v) (cbrt.f64 e))
  e
  (*.f64 e (sqrt.f64 (cos.f64 v)))
  (*.f64 e (*.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v))))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (cos.f64 v)))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (cos.f64 v)))
  (sqrt.f64 (*.f64 e (cos.f64 v)))
  (sqrt.f64 (*.f64 e (cos.f64 v)))
  (pow.f64 (*.f64 e (cos.f64 v)) 3)
  (*.f64 (cbrt.f64 (*.f64 e (cos.f64 v))) (cbrt.f64 (*.f64 e (cos.f64 v))))
  (cbrt.f64 (*.f64 e (cos.f64 v)))
  (pow.f64 (*.f64 e (cos.f64 v)) 3)
  (exp.f64 (*.f64 e (cos.f64 v)))
  (log.f64 (*.f64 e (cos.f64 v)))
  (log.f64 (*.f64 e (cos.f64 v)))
  (*.f64 e (cos.f64 v))
  (*.f64 v (+.f64 (pow.f64 e 3) (-.f64 e (*.f64 e e))))
  (-.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 (*.f64 e e) (pow.f64 (cos.f64 v) 3)))) (/.f64 (sin.f64 v) (*.f64 e (pow.f64 (cos.f64 v) 2))))
  (-.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 (*.f64 e e) (pow.f64 (cos.f64 v) 3)))) (/.f64 (sin.f64 v) (*.f64 e (pow.f64 (cos.f64 v) 2))))
  (+.f64 (/.f64 1 v) (+.f64 (*.f64 v 1/6) (/.f64 e v)))
  (*.f64 (/.f64 1 (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v))))
  (*.f64 (/.f64 1 (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v))))
  e
  (*.f64 e (cos.f64 v))
  (*.f64 e (cos.f64 v))
3.039 * * * [progress]: adding candidates to table
3.831 * * [progress]: iteration 4 / 4
3.831 * * * [progress]: picking best candidate
3.877 * * * * [pick]: Picked  #<alt (λ (e v) (/.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))) (+.f64 1 (*.f64 e (cos.f64 v)))))>
3.877 * * * [progress]: localizing error
3.895 * * * [progress]: generating rewritten candidates
3.895 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
3.903 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
3.908 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
3.912 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.926 * * * [progress]: generating series expansions
3.926 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
3.927 * [approximate]: Taking taylor expansion of (* e (sin v)) in (e v) around 0
3.927 * [taylor]: Taking taylor expansion of (* e (sin v)) in v
3.927 * [taylor]: Taking taylor expansion of e in v
3.927 * [taylor]: Taking taylor expansion of (sin v) in v
3.927 * [taylor]: Taking taylor expansion of v in v
3.927 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
3.927 * [taylor]: Taking taylor expansion of e in e
3.927 * [taylor]: Taking taylor expansion of (sin v) in e
3.927 * [taylor]: Taking taylor expansion of v in e
3.927 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
3.927 * [taylor]: Taking taylor expansion of e in e
3.927 * [taylor]: Taking taylor expansion of (sin v) in e
3.927 * [taylor]: Taking taylor expansion of v in e
3.928 * [taylor]: Taking taylor expansion of 0 in v
3.929 * [taylor]: Taking taylor expansion of (sin v) in v
3.929 * [taylor]: Taking taylor expansion of v in v
3.931 * [taylor]: Taking taylor expansion of 0 in v
3.933 * [taylor]: Taking taylor expansion of 0 in v
3.936 * [taylor]: Taking taylor expansion of 0 in v
3.937 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) e) in (e v) around 0
3.937 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) e) in v
3.937 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
3.937 * [taylor]: Taking taylor expansion of (/ 1 v) in v
3.937 * [taylor]: Taking taylor expansion of v in v
3.937 * [taylor]: Taking taylor expansion of e in v
3.937 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) e) in e
3.937 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
3.937 * [taylor]: Taking taylor expansion of (/ 1 v) in e
3.937 * [taylor]: Taking taylor expansion of v in e
3.938 * [taylor]: Taking taylor expansion of e in e
3.938 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) e) in e
3.938 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
3.938 * [taylor]: Taking taylor expansion of (/ 1 v) in e
3.938 * [taylor]: Taking taylor expansion of v in e
3.939 * [taylor]: Taking taylor expansion of e in e
3.940 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
3.940 * [taylor]: Taking taylor expansion of (/ 1 v) in v
3.940 * [taylor]: Taking taylor expansion of v in v
3.942 * [taylor]: Taking taylor expansion of 0 in v
3.944 * [taylor]: Taking taylor expansion of 0 in v
3.949 * [taylor]: Taking taylor expansion of 0 in v
3.952 * [approximate]: Taking taylor expansion of (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) in (e v) around 0
3.952 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) in v
3.952 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
3.952 * [taylor]: Taking taylor expansion of (/ -1 v) in v
3.952 * [taylor]: Taking taylor expansion of -1 in v
3.952 * [taylor]: Taking taylor expansion of v in v
3.953 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 2) in v
3.953 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in v
3.953 * [taylor]: Taking taylor expansion of (/ -1 e) in v
3.953 * [taylor]: Taking taylor expansion of -1 in v
3.953 * [taylor]: Taking taylor expansion of e in v
3.955 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) in e
3.955 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
3.955 * [taylor]: Taking taylor expansion of (/ -1 v) in e
3.955 * [taylor]: Taking taylor expansion of -1 in e
3.955 * [taylor]: Taking taylor expansion of v in e
3.955 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 2) in e
3.955 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e
3.955 * [taylor]: Taking taylor expansion of (/ -1 e) in e
3.955 * [taylor]: Taking taylor expansion of -1 in e
3.955 * [taylor]: Taking taylor expansion of e in e
3.956 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) in e
3.956 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
3.956 * [taylor]: Taking taylor expansion of (/ -1 v) in e
3.956 * [taylor]: Taking taylor expansion of -1 in e
3.956 * [taylor]: Taking taylor expansion of v in e
3.957 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 2) in e
3.957 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e
3.957 * [taylor]: Taking taylor expansion of (/ -1 e) in e
3.957 * [taylor]: Taking taylor expansion of -1 in e
3.957 * [taylor]: Taking taylor expansion of e in e
3.959 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow NAN 2)) in v
3.959 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
3.959 * [taylor]: Taking taylor expansion of (/ -1 v) in v
3.960 * [taylor]: Taking taylor expansion of -1 in v
3.960 * [taylor]: Taking taylor expansion of v in v
3.960 * [taylor]: Taking taylor expansion of (pow NAN 2) in v
3.960 * [taylor]: Taking taylor expansion of NAN in v
3.967 * [taylor]: Taking taylor expansion of (* 2 (* (sin (/ -1 v)) (pow NAN 4))) in v
3.967 * [taylor]: Taking taylor expansion of 2 in v
3.967 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow NAN 4)) in v
3.967 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
3.967 * [taylor]: Taking taylor expansion of (/ -1 v) in v
3.967 * [taylor]: Taking taylor expansion of -1 in v
3.967 * [taylor]: Taking taylor expansion of v in v
3.968 * [taylor]: Taking taylor expansion of (pow NAN 4) in v
3.968 * [taylor]: Taking taylor expansion of NAN in v
3.986 * [taylor]: Taking taylor expansion of (* 3 (* (sin (/ -1 v)) (pow NAN 6))) in v
3.986 * [taylor]: Taking taylor expansion of 3 in v
3.986 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow NAN 6)) in v
3.986 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
3.986 * [taylor]: Taking taylor expansion of (/ -1 v) in v
3.986 * [taylor]: Taking taylor expansion of -1 in v
3.986 * [taylor]: Taking taylor expansion of v in v
3.987 * [taylor]: Taking taylor expansion of (pow NAN 6) in v
3.987 * [taylor]: Taking taylor expansion of NAN in v
3.997 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
3.997 * [approximate]: Taking taylor expansion of (* (sqrt e) (sin v)) in (v e) around 0
3.997 * [taylor]: Taking taylor expansion of (* (sqrt e) (sin v)) in e
3.998 * [taylor]: Taking taylor expansion of (sqrt e) in e
3.998 * [taylor]: Taking taylor expansion of e in e
3.998 * [taylor]: Taking taylor expansion of (sin v) in e
3.998 * [taylor]: Taking taylor expansion of v in e
3.998 * [taylor]: Taking taylor expansion of (* (sqrt e) (sin v)) in v
3.998 * [taylor]: Taking taylor expansion of (sqrt e) in v
3.998 * [taylor]: Taking taylor expansion of e in v
3.999 * [taylor]: Taking taylor expansion of (sin v) in v
3.999 * [taylor]: Taking taylor expansion of v in v
3.999 * [taylor]: Taking taylor expansion of (* (sqrt e) (sin v)) in v
3.999 * [taylor]: Taking taylor expansion of (sqrt e) in v
3.999 * [taylor]: Taking taylor expansion of e in v
4.000 * [taylor]: Taking taylor expansion of (sin v) in v
4.000 * [taylor]: Taking taylor expansion of v in v
4.000 * [taylor]: Taking taylor expansion of 0 in e
4.001 * [taylor]: Taking taylor expansion of (sqrt e) in e
4.001 * [taylor]: Taking taylor expansion of e in e
4.003 * [taylor]: Taking taylor expansion of 0 in e
4.006 * [taylor]: Taking taylor expansion of (neg (* 1/6 (sqrt e))) in e
4.006 * [taylor]: Taking taylor expansion of (* 1/6 (sqrt e)) in e
4.006 * [taylor]: Taking taylor expansion of 1/6 in e
4.006 * [taylor]: Taking taylor expansion of (sqrt e) in e
4.006 * [taylor]: Taking taylor expansion of e in e
4.011 * [taylor]: Taking taylor expansion of 0 in e
4.016 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 e)) (sin (/ 1 v))) in (v e) around 0
4.016 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 e)) (sin (/ 1 v))) in e
4.016 * [taylor]: Taking taylor expansion of (sqrt (/ 1 e)) in e
4.016 * [taylor]: Taking taylor expansion of (/ 1 e) in e
4.016 * [taylor]: Taking taylor expansion of e in e
4.016 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
4.016 * [taylor]: Taking taylor expansion of (/ 1 v) in e
4.017 * [taylor]: Taking taylor expansion of v in e
4.017 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 e)) (sin (/ 1 v))) in v
4.017 * [taylor]: Taking taylor expansion of (sqrt (/ 1 e)) in v
4.017 * [taylor]: Taking taylor expansion of (/ 1 e) in v
4.017 * [taylor]: Taking taylor expansion of e in v
4.019 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
4.019 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.019 * [taylor]: Taking taylor expansion of v in v
4.019 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 e)) (sin (/ 1 v))) in v
4.019 * [taylor]: Taking taylor expansion of (sqrt (/ 1 e)) in v
4.019 * [taylor]: Taking taylor expansion of (/ 1 e) in v
4.019 * [taylor]: Taking taylor expansion of e in v
4.020 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
4.020 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.020 * [taylor]: Taking taylor expansion of v in v
4.021 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 e)) (sin (/ 1 v))) in e
4.022 * [taylor]: Taking taylor expansion of (sqrt (/ 1 e)) in e
4.022 * [taylor]: Taking taylor expansion of (/ 1 e) in e
4.022 * [taylor]: Taking taylor expansion of e in e
4.022 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
4.022 * [taylor]: Taking taylor expansion of (/ 1 v) in e
4.022 * [taylor]: Taking taylor expansion of v in e
4.025 * [taylor]: Taking taylor expansion of 0 in e
4.031 * [taylor]: Taking taylor expansion of 0 in e
4.039 * [taylor]: Taking taylor expansion of 0 in e
4.051 * [approximate]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in (v e) around 0
4.051 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in e
4.051 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
4.051 * [taylor]: Taking taylor expansion of (/ -1 v) in e
4.051 * [taylor]: Taking taylor expansion of -1 in e
4.051 * [taylor]: Taking taylor expansion of v in e
4.052 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e
4.052 * [taylor]: Taking taylor expansion of (/ -1 e) in e
4.052 * [taylor]: Taking taylor expansion of -1 in e
4.052 * [taylor]: Taking taylor expansion of e in e
4.052 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in v
4.052 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
4.052 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.052 * [taylor]: Taking taylor expansion of -1 in v
4.052 * [taylor]: Taking taylor expansion of v in v
4.053 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in v
4.053 * [taylor]: Taking taylor expansion of (/ -1 e) in v
4.053 * [taylor]: Taking taylor expansion of -1 in v
4.053 * [taylor]: Taking taylor expansion of e in v
4.054 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in v
4.054 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
4.054 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.054 * [taylor]: Taking taylor expansion of -1 in v
4.054 * [taylor]: Taking taylor expansion of v in v
4.055 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in v
4.055 * [taylor]: Taking taylor expansion of (/ -1 e) in v
4.055 * [taylor]: Taking taylor expansion of -1 in v
4.055 * [taylor]: Taking taylor expansion of e in v
4.056 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (sqrt (/ -1 e))) in e
4.056 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
4.056 * [taylor]: Taking taylor expansion of (/ -1 v) in e
4.056 * [taylor]: Taking taylor expansion of -1 in e
4.056 * [taylor]: Taking taylor expansion of v in e
4.057 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e
4.057 * [taylor]: Taking taylor expansion of (/ -1 e) in e
4.057 * [taylor]: Taking taylor expansion of -1 in e
4.057 * [taylor]: Taking taylor expansion of e in e
4.059 * [taylor]: Taking taylor expansion of 0 in e
4.064 * [taylor]: Taking taylor expansion of 0 in e
4.072 * [taylor]: Taking taylor expansion of 0 in e
4.084 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
4.084 * [approximate]: Taking taylor expansion of (* (cos v) e) in (e v) around 0
4.084 * [taylor]: Taking taylor expansion of (* (cos v) e) in v
4.084 * [taylor]: Taking taylor expansion of (cos v) in v
4.084 * [taylor]: Taking taylor expansion of v in v
4.084 * [taylor]: Taking taylor expansion of e in v
4.084 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
4.084 * [taylor]: Taking taylor expansion of (cos v) in e
4.084 * [taylor]: Taking taylor expansion of v in e
4.084 * [taylor]: Taking taylor expansion of e in e
4.084 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
4.084 * [taylor]: Taking taylor expansion of (cos v) in e
4.084 * [taylor]: Taking taylor expansion of v in e
4.085 * [taylor]: Taking taylor expansion of e in e
4.086 * [taylor]: Taking taylor expansion of 0 in v
4.087 * [taylor]: Taking taylor expansion of (cos v) in v
4.088 * [taylor]: Taking taylor expansion of v in v
4.090 * [taylor]: Taking taylor expansion of 0 in v
4.094 * [taylor]: Taking taylor expansion of 0 in v
4.095 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in (e v) around 0
4.095 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v
4.095 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
4.095 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.095 * [taylor]: Taking taylor expansion of v in v
4.095 * [taylor]: Taking taylor expansion of e in v
4.096 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
4.096 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
4.096 * [taylor]: Taking taylor expansion of (/ 1 v) in e
4.096 * [taylor]: Taking taylor expansion of v in e
4.096 * [taylor]: Taking taylor expansion of e in e
4.097 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
4.097 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
4.097 * [taylor]: Taking taylor expansion of (/ 1 v) in e
4.098 * [taylor]: Taking taylor expansion of v in e
4.098 * [taylor]: Taking taylor expansion of e in e
4.099 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
4.099 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.099 * [taylor]: Taking taylor expansion of v in v
4.103 * [taylor]: Taking taylor expansion of 0 in v
4.106 * [taylor]: Taking taylor expansion of 0 in v
4.111 * [taylor]: Taking taylor expansion of 0 in v
4.113 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in (e v) around 0
4.113 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in v
4.113 * [taylor]: Taking taylor expansion of -1 in v
4.113 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v
4.113 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
4.113 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.113 * [taylor]: Taking taylor expansion of -1 in v
4.113 * [taylor]: Taking taylor expansion of v in v
4.113 * [taylor]: Taking taylor expansion of e in v
4.114 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e
4.114 * [taylor]: Taking taylor expansion of -1 in e
4.114 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
4.114 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
4.114 * [taylor]: Taking taylor expansion of (/ -1 v) in e
4.114 * [taylor]: Taking taylor expansion of -1 in e
4.114 * [taylor]: Taking taylor expansion of v in e
4.114 * [taylor]: Taking taylor expansion of e in e
4.115 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 v)) e)) in e
4.116 * [taylor]: Taking taylor expansion of -1 in e
4.116 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
4.116 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
4.116 * [taylor]: Taking taylor expansion of (/ -1 v) in e
4.116 * [taylor]: Taking taylor expansion of -1 in e
4.116 * [taylor]: Taking taylor expansion of v in e
4.116 * [taylor]: Taking taylor expansion of e in e
4.117 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 v))) in v
4.117 * [taylor]: Taking taylor expansion of -1 in v
4.117 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
4.117 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.117 * [taylor]: Taking taylor expansion of -1 in v
4.117 * [taylor]: Taking taylor expansion of v in v
4.119 * [taylor]: Taking taylor expansion of 0 in v
4.122 * [taylor]: Taking taylor expansion of 0 in v
4.125 * [taylor]: Taking taylor expansion of 0 in v
4.126 * * * * [progress]: [ 4 / 4 ] generating series at (2)
4.127 * [approximate]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1)) in (e v) around 0
4.127 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1)) in v
4.127 * [taylor]: Taking taylor expansion of (* e (sin v)) in v
4.127 * [taylor]: Taking taylor expansion of e in v
4.127 * [taylor]: Taking taylor expansion of (sin v) in v
4.127 * [taylor]: Taking taylor expansion of v in v
4.127 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1) in v
4.127 * [taylor]: Taking taylor expansion of (* (cos v) e) in v
4.127 * [taylor]: Taking taylor expansion of (cos v) in v
4.127 * [taylor]: Taking taylor expansion of v in v
4.127 * [taylor]: Taking taylor expansion of e in v
4.127 * [taylor]: Taking taylor expansion of 1 in v
4.128 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1)) in e
4.128 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
4.128 * [taylor]: Taking taylor expansion of e in e
4.128 * [taylor]: Taking taylor expansion of (sin v) in e
4.128 * [taylor]: Taking taylor expansion of v in e
4.128 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1) in e
4.128 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
4.128 * [taylor]: Taking taylor expansion of (cos v) in e
4.128 * [taylor]: Taking taylor expansion of v in e
4.128 * [taylor]: Taking taylor expansion of e in e
4.128 * [taylor]: Taking taylor expansion of 1 in e
4.130 * [taylor]: Taking taylor expansion of (/ (* e (sin v)) (+ (* (cos v) e) 1)) in e
4.130 * [taylor]: Taking taylor expansion of (* e (sin v)) in e
4.130 * [taylor]: Taking taylor expansion of e in e
4.130 * [taylor]: Taking taylor expansion of (sin v) in e
4.130 * [taylor]: Taking taylor expansion of v in e
4.130 * [taylor]: Taking taylor expansion of (+ (* (cos v) e) 1) in e
4.130 * [taylor]: Taking taylor expansion of (* (cos v) e) in e
4.130 * [taylor]: Taking taylor expansion of (cos v) in e
4.130 * [taylor]: Taking taylor expansion of v in e
4.130 * [taylor]: Taking taylor expansion of e in e
4.130 * [taylor]: Taking taylor expansion of 1 in e
4.132 * [taylor]: Taking taylor expansion of (sin v) in v
4.132 * [taylor]: Taking taylor expansion of v in v
4.135 * [taylor]: Taking taylor expansion of (neg (* (cos v) (sin v))) in v
4.135 * [taylor]: Taking taylor expansion of (* (cos v) (sin v)) in v
4.135 * [taylor]: Taking taylor expansion of (cos v) in v
4.136 * [taylor]: Taking taylor expansion of v in v
4.136 * [taylor]: Taking taylor expansion of (sin v) in v
4.136 * [taylor]: Taking taylor expansion of v in v
4.140 * [taylor]: Taking taylor expansion of (* (pow (cos v) 2) (sin v)) in v
4.140 * [taylor]: Taking taylor expansion of (pow (cos v) 2) in v
4.140 * [taylor]: Taking taylor expansion of (cos v) in v
4.141 * [taylor]: Taking taylor expansion of v in v
4.141 * [taylor]: Taking taylor expansion of (sin v) in v
4.141 * [taylor]: Taking taylor expansion of v in v
4.143 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1))) in (e v) around 0
4.143 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1))) in v
4.143 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
4.143 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.143 * [taylor]: Taking taylor expansion of v in v
4.143 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1)) in v
4.143 * [taylor]: Taking taylor expansion of e in v
4.143 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1) in v
4.143 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in v
4.143 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
4.143 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.143 * [taylor]: Taking taylor expansion of v in v
4.144 * [taylor]: Taking taylor expansion of e in v
4.144 * [taylor]: Taking taylor expansion of 1 in v
4.145 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1))) in e
4.145 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
4.145 * [taylor]: Taking taylor expansion of (/ 1 v) in e
4.145 * [taylor]: Taking taylor expansion of v in e
4.145 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1)) in e
4.145 * [taylor]: Taking taylor expansion of e in e
4.145 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1) in e
4.145 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
4.145 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
4.145 * [taylor]: Taking taylor expansion of (/ 1 v) in e
4.145 * [taylor]: Taking taylor expansion of v in e
4.145 * [taylor]: Taking taylor expansion of e in e
4.146 * [taylor]: Taking taylor expansion of 1 in e
4.149 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (* e (+ (/ (cos (/ 1 v)) e) 1))) in e
4.149 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in e
4.149 * [taylor]: Taking taylor expansion of (/ 1 v) in e
4.149 * [taylor]: Taking taylor expansion of v in e
4.149 * [taylor]: Taking taylor expansion of (* e (+ (/ (cos (/ 1 v)) e) 1)) in e
4.149 * [taylor]: Taking taylor expansion of e in e
4.149 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 v)) e) 1) in e
4.149 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 v)) e) in e
4.149 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in e
4.149 * [taylor]: Taking taylor expansion of (/ 1 v) in e
4.149 * [taylor]: Taking taylor expansion of v in e
4.150 * [taylor]: Taking taylor expansion of e in e
4.150 * [taylor]: Taking taylor expansion of 1 in e
4.153 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (cos (/ 1 v))) in v
4.153 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
4.153 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.153 * [taylor]: Taking taylor expansion of v in v
4.154 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
4.154 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.154 * [taylor]: Taking taylor expansion of v in v
4.159 * [taylor]: Taking taylor expansion of (neg (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2))) in v
4.159 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 2)) in v
4.159 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
4.159 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.159 * [taylor]: Taking taylor expansion of v in v
4.159 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 2) in v
4.159 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
4.159 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.159 * [taylor]: Taking taylor expansion of v in v
4.169 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 v)) (pow (cos (/ 1 v)) 3)) in v
4.169 * [taylor]: Taking taylor expansion of (sin (/ 1 v)) in v
4.169 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.169 * [taylor]: Taking taylor expansion of v in v
4.169 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 v)) 3) in v
4.169 * [taylor]: Taking taylor expansion of (cos (/ 1 v)) in v
4.169 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.169 * [taylor]: Taking taylor expansion of v in v
4.175 * [approximate]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) (- 1 (/ (cos (/ -1 v)) e))) in (e v) around 0
4.175 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) (- 1 (/ (cos (/ -1 v)) e))) in v
4.175 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) in v
4.175 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
4.175 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.175 * [taylor]: Taking taylor expansion of -1 in v
4.175 * [taylor]: Taking taylor expansion of v in v
4.175 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 2) in v
4.175 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in v
4.175 * [taylor]: Taking taylor expansion of (/ -1 e) in v
4.175 * [taylor]: Taking taylor expansion of -1 in v
4.175 * [taylor]: Taking taylor expansion of e in v
4.176 * [taylor]: Taking taylor expansion of (- 1 (/ (cos (/ -1 v)) e)) in v
4.176 * [taylor]: Taking taylor expansion of 1 in v
4.176 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in v
4.176 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
4.176 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.176 * [taylor]: Taking taylor expansion of -1 in v
4.176 * [taylor]: Taking taylor expansion of v in v
4.176 * [taylor]: Taking taylor expansion of e in v
4.178 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) (- 1 (/ (cos (/ -1 v)) e))) in e
4.178 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) in e
4.178 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
4.178 * [taylor]: Taking taylor expansion of (/ -1 v) in e
4.178 * [taylor]: Taking taylor expansion of -1 in e
4.179 * [taylor]: Taking taylor expansion of v in e
4.179 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 2) in e
4.179 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e
4.179 * [taylor]: Taking taylor expansion of (/ -1 e) in e
4.179 * [taylor]: Taking taylor expansion of -1 in e
4.179 * [taylor]: Taking taylor expansion of e in e
4.179 * [taylor]: Taking taylor expansion of (- 1 (/ (cos (/ -1 v)) e)) in e
4.179 * [taylor]: Taking taylor expansion of 1 in e
4.179 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
4.179 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
4.179 * [taylor]: Taking taylor expansion of (/ -1 v) in e
4.179 * [taylor]: Taking taylor expansion of -1 in e
4.179 * [taylor]: Taking taylor expansion of v in e
4.180 * [taylor]: Taking taylor expansion of e in e
4.182 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) (- 1 (/ (cos (/ -1 v)) e))) in e
4.182 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow (sqrt (/ -1 e)) 2)) in e
4.182 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in e
4.182 * [taylor]: Taking taylor expansion of (/ -1 v) in e
4.182 * [taylor]: Taking taylor expansion of -1 in e
4.182 * [taylor]: Taking taylor expansion of v in e
4.182 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 e)) 2) in e
4.182 * [taylor]: Taking taylor expansion of (sqrt (/ -1 e)) in e
4.182 * [taylor]: Taking taylor expansion of (/ -1 e) in e
4.182 * [taylor]: Taking taylor expansion of -1 in e
4.182 * [taylor]: Taking taylor expansion of e in e
4.182 * [taylor]: Taking taylor expansion of (- 1 (/ (cos (/ -1 v)) e)) in e
4.182 * [taylor]: Taking taylor expansion of 1 in e
4.182 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 v)) e) in e
4.182 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in e
4.183 * [taylor]: Taking taylor expansion of (/ -1 v) in e
4.183 * [taylor]: Taking taylor expansion of -1 in e
4.183 * [taylor]: Taking taylor expansion of v in e
4.183 * [taylor]: Taking taylor expansion of e in e
4.185 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 v)) (pow NAN 2)) (cos (/ -1 v)))) in v
4.185 * [taylor]: Taking taylor expansion of -1 in v
4.185 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow NAN 2)) (cos (/ -1 v))) in v
4.185 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow NAN 2)) in v
4.185 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
4.185 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.185 * [taylor]: Taking taylor expansion of -1 in v
4.185 * [taylor]: Taking taylor expansion of v in v
4.185 * [taylor]: Taking taylor expansion of (pow NAN 2) in v
4.185 * [taylor]: Taking taylor expansion of NAN in v
4.185 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
4.185 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.185 * [taylor]: Taking taylor expansion of -1 in v
4.185 * [taylor]: Taking taylor expansion of v in v
4.193 * [taylor]: Taking taylor expansion of (neg (+ (/ (* (sin (/ -1 v)) (pow NAN 2)) (pow (cos (/ -1 v)) 2)) (* 2 (/ (* (sin (/ -1 v)) (pow NAN 4)) (cos (/ -1 v)))))) in v
4.193 * [taylor]: Taking taylor expansion of (+ (/ (* (sin (/ -1 v)) (pow NAN 2)) (pow (cos (/ -1 v)) 2)) (* 2 (/ (* (sin (/ -1 v)) (pow NAN 4)) (cos (/ -1 v))))) in v
4.193 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow NAN 2)) (pow (cos (/ -1 v)) 2)) in v
4.193 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow NAN 2)) in v
4.193 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
4.193 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.193 * [taylor]: Taking taylor expansion of -1 in v
4.193 * [taylor]: Taking taylor expansion of v in v
4.194 * [taylor]: Taking taylor expansion of (pow NAN 2) in v
4.194 * [taylor]: Taking taylor expansion of NAN in v
4.194 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v
4.194 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
4.194 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.194 * [taylor]: Taking taylor expansion of -1 in v
4.194 * [taylor]: Taking taylor expansion of v in v
4.195 * [taylor]: Taking taylor expansion of (* 2 (/ (* (sin (/ -1 v)) (pow NAN 4)) (cos (/ -1 v)))) in v
4.195 * [taylor]: Taking taylor expansion of 2 in v
4.195 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow NAN 4)) (cos (/ -1 v))) in v
4.195 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow NAN 4)) in v
4.195 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
4.195 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.195 * [taylor]: Taking taylor expansion of -1 in v
4.195 * [taylor]: Taking taylor expansion of v in v
4.196 * [taylor]: Taking taylor expansion of (pow NAN 4) in v
4.196 * [taylor]: Taking taylor expansion of NAN in v
4.196 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
4.196 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.196 * [taylor]: Taking taylor expansion of -1 in v
4.196 * [taylor]: Taking taylor expansion of v in v
4.215 * [taylor]: Taking taylor expansion of (neg (+ (/ (* (sin (/ -1 v)) (pow NAN 2)) (pow (cos (/ -1 v)) 3)) (+ (* 3 (/ (* (sin (/ -1 v)) (pow NAN 6)) (cos (/ -1 v)))) (* 2 (/ (* (sin (/ -1 v)) (pow NAN 4)) (pow (cos (/ -1 v)) 2)))))) in v
4.215 * [taylor]: Taking taylor expansion of (+ (/ (* (sin (/ -1 v)) (pow NAN 2)) (pow (cos (/ -1 v)) 3)) (+ (* 3 (/ (* (sin (/ -1 v)) (pow NAN 6)) (cos (/ -1 v)))) (* 2 (/ (* (sin (/ -1 v)) (pow NAN 4)) (pow (cos (/ -1 v)) 2))))) in v
4.215 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow NAN 2)) (pow (cos (/ -1 v)) 3)) in v
4.215 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow NAN 2)) in v
4.215 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
4.216 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.216 * [taylor]: Taking taylor expansion of -1 in v
4.216 * [taylor]: Taking taylor expansion of v in v
4.216 * [taylor]: Taking taylor expansion of (pow NAN 2) in v
4.216 * [taylor]: Taking taylor expansion of NAN in v
4.216 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 3) in v
4.216 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
4.216 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.216 * [taylor]: Taking taylor expansion of -1 in v
4.216 * [taylor]: Taking taylor expansion of v in v
4.219 * [taylor]: Taking taylor expansion of (+ (* 3 (/ (* (sin (/ -1 v)) (pow NAN 6)) (cos (/ -1 v)))) (* 2 (/ (* (sin (/ -1 v)) (pow NAN 4)) (pow (cos (/ -1 v)) 2)))) in v
4.219 * [taylor]: Taking taylor expansion of (* 3 (/ (* (sin (/ -1 v)) (pow NAN 6)) (cos (/ -1 v)))) in v
4.219 * [taylor]: Taking taylor expansion of 3 in v
4.219 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow NAN 6)) (cos (/ -1 v))) in v
4.219 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow NAN 6)) in v
4.219 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
4.219 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.219 * [taylor]: Taking taylor expansion of -1 in v
4.219 * [taylor]: Taking taylor expansion of v in v
4.220 * [taylor]: Taking taylor expansion of (pow NAN 6) in v
4.220 * [taylor]: Taking taylor expansion of NAN in v
4.220 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
4.220 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.220 * [taylor]: Taking taylor expansion of -1 in v
4.220 * [taylor]: Taking taylor expansion of v in v
4.222 * [taylor]: Taking taylor expansion of (* 2 (/ (* (sin (/ -1 v)) (pow NAN 4)) (pow (cos (/ -1 v)) 2))) in v
4.222 * [taylor]: Taking taylor expansion of 2 in v
4.222 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 v)) (pow NAN 4)) (pow (cos (/ -1 v)) 2)) in v
4.222 * [taylor]: Taking taylor expansion of (* (sin (/ -1 v)) (pow NAN 4)) in v
4.222 * [taylor]: Taking taylor expansion of (sin (/ -1 v)) in v
4.222 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.222 * [taylor]: Taking taylor expansion of -1 in v
4.222 * [taylor]: Taking taylor expansion of v in v
4.223 * [taylor]: Taking taylor expansion of (pow NAN 4) in v
4.223 * [taylor]: Taking taylor expansion of NAN in v
4.223 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 v)) 2) in v
4.223 * [taylor]: Taking taylor expansion of (cos (/ -1 v)) in v
4.223 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.223 * [taylor]: Taking taylor expansion of -1 in v
4.223 * [taylor]: Taking taylor expansion of v in v
4.256 * * * [progress]: simplifying candidates
4.257 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e)))
  (*.f64 (sqrt.f64 (sqrt.f64 e)) (*.f64 (sin.f64 v) (sqrt.f64 e)))
  (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e)))
  (*.f64 (sqrt.f64 (sqrt.f64 e)) (*.f64 (sin.f64 v) (sqrt.f64 e)))
  (*.f64 (sqrt.f64 (cbrt.f64 e)) (*.f64 (sin.f64 v) (sqrt.f64 e)))
  (*.f64 (cbrt.f64 (sqrt.f64 e)) (*.f64 (sin.f64 v) (sqrt.f64 e)))
  (*.f64 (sqrt.f64 e) (sin.f64 v))
  (sqrt.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))))
  (sqrt.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))))
  (*.f64 (*.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))) (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e)))) (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))))
  (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e)))) (cbrt.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e)))))
  (cbrt.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))))
  (*.f64 (*.f64 (*.f64 (sqrt.f64 e) (sqrt.f64 e)) (sqrt.f64 e)) (*.f64 (*.f64 (*.f64 (sin.f64 v) (sqrt.f64 e)) (*.f64 (sin.f64 v) (sqrt.f64 e))) (*.f64 (sin.f64 v) (sqrt.f64 e))))
  (*.f64 (*.f64 (*.f64 (sqrt.f64 e) (sqrt.f64 e)) (sqrt.f64 e)) (*.f64 (*.f64 (*.f64 (sin.f64 v) (sin.f64 v)) (sin.f64 v)) (*.f64 (*.f64 (sqrt.f64 e) (sqrt.f64 e)) (sqrt.f64 e))))
  (exp.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))))
  (log.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))))
  (+.f64 (log.f64 (sqrt.f64 e)) (log.f64 (*.f64 (sin.f64 v) (sqrt.f64 e))))
  (+.f64 (log.f64 (sqrt.f64 e)) (+.f64 (log.f64 (sin.f64 v)) (log.f64 (sqrt.f64 e))))
  (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e)))
  (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e)))
  (*.f64 (sin.f64 v) (sqrt.f64 e))
  (*.f64 (sqrt.f64 (sin.f64 v)) (sqrt.f64 e))
  (*.f64 (cbrt.f64 (sin.f64 v)) (sqrt.f64 e))
  (*.f64 (sin.f64 v) 1)
  (*.f64 (sin.f64 v) (sqrt.f64 (sqrt.f64 e)))
  (*.f64 (sin.f64 v) (sqrt.f64 1))
  (*.f64 (sin.f64 v) (sqrt.f64 (sqrt.f64 e)))
  (*.f64 (sin.f64 v) (sqrt.f64 (*.f64 (cbrt.f64 e) (cbrt.f64 e))))
  (*.f64 (sin.f64 v) (*.f64 (cbrt.f64 (sqrt.f64 e)) (cbrt.f64 (sqrt.f64 e))))
  (*.f64 (sqrt.f64 (sin.f64 v)) (sqrt.f64 (sqrt.f64 e)))
  (*.f64 (sqrt.f64 (sin.f64 v)) (sqrt.f64 (sqrt.f64 e)))
  (*.f64 (sqrt.f64 (sin.f64 v)) (sqrt.f64 (sqrt.f64 e)))
  (*.f64 (sqrt.f64 (sin.f64 v)) (sqrt.f64 (sqrt.f64 e)))
  (sqrt.f64 (*.f64 (sin.f64 v) (sqrt.f64 e)))
  (sqrt.f64 (*.f64 (sin.f64 v) (sqrt.f64 e)))
  (*.f64 (*.f64 (*.f64 (sin.f64 v) (sqrt.f64 e)) (*.f64 (sin.f64 v) (sqrt.f64 e))) (*.f64 (sin.f64 v) (sqrt.f64 e)))
  (*.f64 (cbrt.f64 (*.f64 (sin.f64 v) (sqrt.f64 e))) (cbrt.f64 (*.f64 (sin.f64 v) (sqrt.f64 e))))
  (cbrt.f64 (*.f64 (sin.f64 v) (sqrt.f64 e)))
  (*.f64 (*.f64 (*.f64 (sin.f64 v) (sin.f64 v)) (sin.f64 v)) (*.f64 (*.f64 (sqrt.f64 e) (sqrt.f64 e)) (sqrt.f64 e)))
  (exp.f64 (*.f64 (sin.f64 v) (sqrt.f64 e)))
  (log.f64 (*.f64 (sin.f64 v) (sqrt.f64 e)))
  (+.f64 (log.f64 (sin.f64 v)) (log.f64 (sqrt.f64 e)))
  (*.f64 (sin.f64 v) (sqrt.f64 e))
  (*.f64 e (cos.f64 v))
  (*.f64 (sqrt.f64 e) (cos.f64 v))
  (*.f64 (cbrt.f64 e) (cos.f64 v))
  (*.f64 e 1)
  (*.f64 e (sqrt.f64 (cos.f64 v)))
  (*.f64 e (*.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v))))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (cos.f64 v)))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (cos.f64 v)))
  (sqrt.f64 (*.f64 e (cos.f64 v)))
  (sqrt.f64 (*.f64 e (cos.f64 v)))
  (*.f64 (*.f64 (*.f64 e (cos.f64 v)) (*.f64 e (cos.f64 v))) (*.f64 e (cos.f64 v)))
  (*.f64 (cbrt.f64 (*.f64 e (cos.f64 v))) (cbrt.f64 (*.f64 e (cos.f64 v))))
  (cbrt.f64 (*.f64 e (cos.f64 v)))
  (*.f64 (*.f64 (*.f64 e e) e) (*.f64 (*.f64 (cos.f64 v) (cos.f64 v)) (cos.f64 v)))
  (exp.f64 (*.f64 e (cos.f64 v)))
  (log.f64 (*.f64 e (cos.f64 v)))
  (+.f64 (log.f64 e) (log.f64 (cos.f64 v)))
  (*.f64 e (cos.f64 v))
  (/.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))) (-.f64 (*.f64 1 1) (*.f64 (*.f64 e (cos.f64 v)) (*.f64 e (cos.f64 v)))))
  (/.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))) (+.f64 (pow.f64 1 3) (pow.f64 (*.f64 e (cos.f64 v)) 3)))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (*.f64 (sin.f64 v) (sqrt.f64 e)))
  (/.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))) 1)
  (/.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))))
  (/.f64 1 (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 (sqrt.f64 e) 1)
  (/.f64 (*.f64 (sin.f64 v) (sqrt.f64 e)) (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 (sqrt.f64 e) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (*.f64 (sin.f64 v) (sqrt.f64 e)) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (sqrt.f64 e) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (*.f64 (sin.f64 v) (sqrt.f64 e)) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (neg.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))))
  (neg.f64 (+.f64 1 (*.f64 e (cos.f64 v))))
  (sqrt.f64 (/.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (sqrt.f64 (/.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 (*.f64 (/.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))) (+.f64 1 (*.f64 e (cos.f64 v)))) (/.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))) (+.f64 1 (*.f64 e (cos.f64 v))))) (/.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))) (+.f64 1 (*.f64 e (cos.f64 v))))) (cbrt.f64 (/.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (cbrt.f64 (/.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))) (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e)))) (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e)))) (*.f64 (*.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (+.f64 1 (*.f64 e (cos.f64 v)))) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 e) (sqrt.f64 e)) (sqrt.f64 e)) (*.f64 (*.f64 (*.f64 (sin.f64 v) (sqrt.f64 e)) (*.f64 (sin.f64 v) (sqrt.f64 e))) (*.f64 (sin.f64 v) (sqrt.f64 e)))) (*.f64 (*.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (+.f64 1 (*.f64 e (cos.f64 v)))) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 e) (sqrt.f64 e)) (sqrt.f64 e)) (*.f64 (*.f64 (*.f64 (sin.f64 v) (sin.f64 v)) (sin.f64 v)) (*.f64 (*.f64 (sqrt.f64 e) (sqrt.f64 e)) (sqrt.f64 e)))) (*.f64 (*.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (+.f64 1 (*.f64 e (cos.f64 v)))) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (exp.f64 (/.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (log.f64 (/.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e))) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (-.f64 (log.f64 (*.f64 (sqrt.f64 e) (*.f64 (sin.f64 v) (sqrt.f64 e)))) (log.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (-.f64 (+.f64 (log.f64 (sqrt.f64 e)) (log.f64 (*.f64 (sin.f64 v) (sqrt.f64 e)))) (log.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (-.f64 (+.f64 (log.f64 (sqrt.f64 e)) (+.f64 (log.f64 (sin.f64 v)) (log.f64 (sqrt.f64 e)))) (log.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 e v)
  (*.f64 e (sin.f64 v))
  (-.f64 (+.f64 (*.f64 3 (/.f64 (*.f64 (sin.f64 v) (pow.f64 NAN.f64 6)) (pow.f64 e 2))) (*.f64 (pow.f64 NAN.f64 2) (sin.f64 v))) (*.f64 2 (/.f64 (*.f64 (pow.f64 NAN.f64 4) (sin.f64 v)) e)))
  (-.f64 (+.f64 (*.f64 v (*.f64 (pow.f64 e 2) (pow.f64 NAN.f64 3))) (*.f64 v (*.f64 e NAN.f64))) (*.f64 1/6 (*.f64 (pow.f64 v 3) (*.f64 e NAN.f64))))
  (+.f64 (*.f64 NAN.f64 (sin.f64 v)) (+.f64 (/.f64 (*.f64 (sin.f64 v) (pow.f64 NAN.f64 5)) (pow.f64 e 2)) (/.f64 (*.f64 (sin.f64 v) (pow.f64 NAN.f64 3)) e)))
  (-.f64 (+.f64 (*.f64 NAN.f64 (sin.f64 v)) (/.f64 (*.f64 (sin.f64 v) (pow.f64 NAN.f64 5)) (pow.f64 e 2))) (/.f64 (*.f64 (pow.f64 NAN.f64 3) (sin.f64 v)) e))
  e
  (*.f64 (cos.f64 v) e)
  (*.f64 (cos.f64 v) e)
  (-.f64 (+.f64 (*.f64 (pow.f64 e 3) v) (*.f64 e v)) (*.f64 (pow.f64 e 2) v))
  (-.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 3) (pow.f64 e 2)))) (/.f64 (sin.f64 v) (*.f64 (pow.f64 (cos.f64 v) 2) e)))
  (-.f64 (+.f64 (*.f64 3 (/.f64 (*.f64 (sin.f64 v) (pow.f64 NAN.f64 6)) (*.f64 (pow.f64 e 3) (cos.f64 v)))) (+.f64 (*.f64 2 (/.f64 (*.f64 (sin.f64 v) (pow.f64 NAN.f64 4)) (*.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 2)))) (+.f64 (/.f64 (*.f64 (sin.f64 v) (pow.f64 NAN.f64 2)) (*.f64 e (cos.f64 v))) (/.f64 (*.f64 (pow.f64 NAN.f64 2) (sin.f64 v)) (*.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 3)))))) (+.f64 (/.f64 (*.f64 (sin.f64 v) (pow.f64 NAN.f64 2)) (*.f64 (pow.f64 e 2) (pow.f64 (cos.f64 v) 2))) (*.f64 2 (/.f64 (*.f64 (pow.f64 NAN.f64 4) (sin.f64 v)) (*.f64 (pow.f64 e 2) (cos.f64 v))))))
4.341 * * [simplify]: iteration  0 :  5035  enodes  (cost  1528 )
4.356 * [simplify]: Simplified to:
   (*.f64 e (sin.f64 v))
  (*.f64 (*.f64 (sqrt.f64 e) (sin.f64 v)) (sqrt.f64 (sqrt.f64 e)))
  (*.f64 e (sin.f64 v))
  (*.f64 (*.f64 (sqrt.f64 e) (sin.f64 v)) (sqrt.f64 (sqrt.f64 e)))
  (*.f64 (*.f64 (sqrt.f64 e) (sin.f64 v)) (sqrt.f64 (cbrt.f64 e)))
  (*.f64 (*.f64 (sqrt.f64 e) (sin.f64 v)) (cbrt.f64 (sqrt.f64 e)))
  (*.f64 (sqrt.f64 e) (sin.f64 v))
  (sqrt.f64 (*.f64 e (sin.f64 v)))
  (sqrt.f64 (*.f64 e (sin.f64 v)))
  (pow.f64 (*.f64 e (sin.f64 v)) 3)
  (*.f64 (cbrt.f64 (*.f64 e (sin.f64 v))) (cbrt.f64 (*.f64 e (sin.f64 v))))
  (cbrt.f64 (*.f64 e (sin.f64 v)))
  (pow.f64 (*.f64 e (sin.f64 v)) 3)
  (pow.f64 (*.f64 e (sin.f64 v)) 3)
  (exp.f64 (*.f64 e (sin.f64 v)))
  (log.f64 (*.f64 e (sin.f64 v)))
  (log.f64 (*.f64 e (sin.f64 v)))
  (log.f64 (*.f64 e (sin.f64 v)))
  (*.f64 e (sin.f64 v))
  (*.f64 e (sin.f64 v))
  (*.f64 (sqrt.f64 e) (sin.f64 v))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (sin.f64 v)))
  (*.f64 (sqrt.f64 e) (cbrt.f64 (sin.f64 v)))
  (sin.f64 v)
  (*.f64 (sin.f64 v) (sqrt.f64 (sqrt.f64 e)))
  (sin.f64 v)
  (*.f64 (sin.f64 v) (sqrt.f64 (sqrt.f64 e)))
  (*.f64 (sin.f64 v) (fabs.f64 (cbrt.f64 e)))
  (*.f64 (sin.f64 v) (*.f64 (cbrt.f64 (sqrt.f64 e)) (cbrt.f64 (sqrt.f64 e))))
  (*.f64 (sqrt.f64 (sqrt.f64 e)) (sqrt.f64 (sin.f64 v)))
  (*.f64 (sqrt.f64 (sqrt.f64 e)) (sqrt.f64 (sin.f64 v)))
  (*.f64 (sqrt.f64 (sqrt.f64 e)) (sqrt.f64 (sin.f64 v)))
  (*.f64 (sqrt.f64 (sqrt.f64 e)) (sqrt.f64 (sin.f64 v)))
  (sqrt.f64 (*.f64 (sqrt.f64 e) (sin.f64 v)))
  (sqrt.f64 (*.f64 (sqrt.f64 e) (sin.f64 v)))
  (pow.f64 (*.f64 (sqrt.f64 e) (sin.f64 v)) 3)
  (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 e) (sin.f64 v))) (cbrt.f64 (*.f64 (sqrt.f64 e) (sin.f64 v))))
  (cbrt.f64 (*.f64 (sqrt.f64 e) (sin.f64 v)))
  (pow.f64 (*.f64 (sqrt.f64 e) (sin.f64 v)) 3)
  (exp.f64 (*.f64 (sqrt.f64 e) (sin.f64 v)))
  (log.f64 (*.f64 (sqrt.f64 e) (sin.f64 v)))
  (log.f64 (*.f64 (sqrt.f64 e) (sin.f64 v)))
  (*.f64 (sqrt.f64 e) (sin.f64 v))
  (*.f64 e (cos.f64 v))
  (*.f64 (sqrt.f64 e) (cos.f64 v))
  (*.f64 (cbrt.f64 e) (cos.f64 v))
  e
  (*.f64 e (sqrt.f64 (cos.f64 v)))
  (*.f64 e (*.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v))))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (cos.f64 v)))
  (*.f64 (sqrt.f64 e) (sqrt.f64 (cos.f64 v)))
  (sqrt.f64 (*.f64 e (cos.f64 v)))
  (sqrt.f64 (*.f64 e (cos.f64 v)))
  (pow.f64 (*.f64 e (cos.f64 v)) 3)
  (*.f64 (cbrt.f64 (*.f64 e (cos.f64 v))) (cbrt.f64 (*.f64 e (cos.f64 v))))
  (cbrt.f64 (*.f64 e (cos.f64 v)))
  (pow.f64 (*.f64 e (cos.f64 v)) 3)
  (exp.f64 (*.f64 e (cos.f64 v)))
  (log.f64 (*.f64 e (cos.f64 v)))
  (log.f64 (*.f64 e (cos.f64 v)))
  (*.f64 e (cos.f64 v))
  (/.f64 (*.f64 e (sin.f64 v)) (-.f64 1 (*.f64 e (*.f64 e (pow.f64 (cos.f64 v) 2)))))
  (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (pow.f64 (*.f64 e (cos.f64 v)) 3)))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (*.f64 (sqrt.f64 e) (sin.f64 v)))
  (*.f64 e (sin.f64 v))
  (/.f64 (*.f64 e (sin.f64 v)) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (/.f64 (*.f64 e (sin.f64 v)) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (*.f64 e (sin.f64 v)))
  (/.f64 1 (+.f64 1 (*.f64 e (cos.f64 v))))
  (sqrt.f64 e)
  (/.f64 (*.f64 (sqrt.f64 e) (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v))))
  (/.f64 (sqrt.f64 e) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 (/.f64 (sqrt.f64 e) (sqrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))) (sin.f64 v))
  (/.f64 (sqrt.f64 e) (*.f64 (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v))))))
  (/.f64 (*.f64 (sqrt.f64 e) (sin.f64 v)) (cbrt.f64 (+.f64 1 (*.f64 e (cos.f64 v)))))
  (neg.f64 (*.f64 e (sin.f64 v)))
  (-.f64 -1 (*.f64 e (cos.f64 v)))
  (sqrt.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (sqrt.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (pow.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v)))) 3)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v))))) (cbrt.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v))))))
  (cbrt.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (pow.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v)))) 3)
  (pow.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v)))) 3)
  (pow.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v)))) 3)
  (exp.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (log.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (log.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (log.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (log.f64 (/.f64 (*.f64 e (sin.f64 v)) (+.f64 1 (*.f64 e (cos.f64 v)))))
  (*.f64 e v)
  (*.f64 e (sin.f64 v))
  (-.f64 (+.f64 (*.f64 3 (/.f64 (*.f64 (sin.f64 v) (pow.f64 (NAN.f64) 6)) (*.f64 e e))) (*.f64 (sin.f64 v) (pow.f64 (NAN.f64) 2))) (*.f64 2 (/.f64 (*.f64 (sin.f64 v) (pow.f64 (NAN.f64) 4)) e)))
  (+.f64 (*.f64 v (*.f64 (*.f64 e e) (pow.f64 (NAN.f64) 3))) (*.f64 (*.f64 e (NAN.f64)) (-.f64 v (*.f64 1/6 (pow.f64 v 3)))))
  (+.f64 (*.f64 (sin.f64 v) (NAN.f64)) (+.f64 (/.f64 (*.f64 (sin.f64 v) (pow.f64 (NAN.f64) 5)) (*.f64 e e)) (/.f64 (*.f64 (sin.f64 v) (pow.f64 (NAN.f64) 3)) e)))
  (-.f64 (+.f64 (*.f64 (sin.f64 v) (NAN.f64)) (/.f64 (*.f64 (sin.f64 v) (pow.f64 (NAN.f64) 5)) (*.f64 e e))) (/.f64 (*.f64 (sin.f64 v) (pow.f64 (NAN.f64) 3)) e))
  e
  (*.f64 e (cos.f64 v))
  (*.f64 e (cos.f64 v))
  (*.f64 v (+.f64 (pow.f64 e 3) (-.f64 e (*.f64 e e))))
  (-.f64 (+.f64 (/.f64 (sin.f64 v) (cos.f64 v)) (/.f64 (sin.f64 v) (*.f64 (*.f64 e e) (pow.f64 (cos.f64 v) 3)))) (/.f64 (sin.f64 v) (*.f64 e (pow.f64 (cos.f64 v) 2))))
  (-.f64 (+.f64 (*.f64 3 (/.f64 (*.f64 (sin.f64 v) (pow.f64 (NAN.f64) 6)) (*.f64 (cos.f64 v) (pow.f64 e 3)))) (+.f64 (*.f64 2 (/.f64 (*.f64 (sin.f64 v) (pow.f64 (NAN.f64) 4)) (*.f64 (pow.f64 e 3) (pow.f64 (cos.f64 v) 2)))) (+.f64 (/.f64 (*.f64 (sin.f64 v) (pow.f64 (NAN.f64) 2)) (*.f64 e (cos.f64 v))) (/.f64 (*.f64 (sin.f64 v) (pow.f64 (NAN.f64) 2)) (pow.f64 (*.f64 e (cos.f64 v)) 3))))) (+.f64 (*.f64 (/.f64 (pow.f64 (NAN.f64) 2) e) (/.f64 (sin.f64 v) (*.f64 e (pow.f64 (cos.f64 v) 2)))) (*.f64 2 (/.f64 (*.f64 (sin.f64 v) (pow.f64 (NAN.f64) 4)) (*.f64 e (*.f64 e (cos.f64 v)))))))
4.357 * * * [progress]: adding candidates to table