4.130 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.035 * * * [progress]: [2/2] Setting up program.
0.038 * [progress]: [Phase 2 of 3] Improving.
0.039 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
0.040 * * [simplify]: iteration  0 :  19  enodes  (cost  28 )
0.042 * * [simplify]: iteration  1 :  44  enodes  (cost  28 )
0.055 * * [simplify]: iteration  2 :  161  enodes  (cost  28 )
0.088 * * [simplify]: iteration  3 :  803  enodes  (cost  28 )
0.274 * * [simplify]: iteration  4 :  3555  enodes  (cost  28 )
1.038 * * [simplify]: iteration  done :  5001  enodes  (cost  28 )
1.038 * [simplify]: Simplified to:
   (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
1.039 * * [progress]: iteration 1 / 4
1.039 * * * [progress]: picking best candidate
1.041 * * * * [pick]: Picked  #<alt (λ (v t) (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))))>
1.041 * * * [progress]: localizing error
1.056 * * * [progress]: generating rewritten candidates
1.056 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.070 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1.125 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
1.128 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1.137 * * * [progress]: generating series expansions
1.137 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.137 * [approximate]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (* t (* (sqrt 2.0) PI))) in (t v) around 0
1.137 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (* t (* (sqrt 2.0) PI))) in v
1.137 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in v
1.137 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in v
1.137 * [taylor]: Taking taylor expansion of 1.0 in v
1.137 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
1.137 * [taylor]: Taking taylor expansion of 3.0 in v
1.137 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.137 * [taylor]: Taking taylor expansion of v in v
1.139 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) PI)) in v
1.139 * [taylor]: Taking taylor expansion of t in v
1.139 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in v
1.139 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.139 * [taylor]: Taking taylor expansion of 2.0 in v
1.140 * [taylor]: Taking taylor expansion of PI in v
1.140 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (* t (* (sqrt 2.0) PI))) in t
1.140 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in t
1.140 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in t
1.140 * [taylor]: Taking taylor expansion of 1.0 in t
1.140 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in t
1.140 * [taylor]: Taking taylor expansion of 3.0 in t
1.140 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.140 * [taylor]: Taking taylor expansion of v in t
1.141 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) PI)) in t
1.141 * [taylor]: Taking taylor expansion of t in t
1.141 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.141 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.141 * [taylor]: Taking taylor expansion of 2.0 in t
1.142 * [taylor]: Taking taylor expansion of PI in t
1.142 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (* t (* (sqrt 2.0) PI))) in t
1.142 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in t
1.142 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in t
1.142 * [taylor]: Taking taylor expansion of 1.0 in t
1.142 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in t
1.142 * [taylor]: Taking taylor expansion of 3.0 in t
1.142 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.142 * [taylor]: Taking taylor expansion of v in t
1.144 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) PI)) in t
1.144 * [taylor]: Taking taylor expansion of t in t
1.144 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.144 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.144 * [taylor]: Taking taylor expansion of 2.0 in t
1.145 * [taylor]: Taking taylor expansion of PI in t
1.146 * [taylor]: Taking taylor expansion of 0 in v
1.149 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (* (sqrt 2.0) PI)) in v
1.149 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in v
1.149 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in v
1.149 * [taylor]: Taking taylor expansion of 1.0 in v
1.149 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
1.149 * [taylor]: Taking taylor expansion of 3.0 in v
1.149 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.149 * [taylor]: Taking taylor expansion of v in v
1.151 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in v
1.151 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.151 * [taylor]: Taking taylor expansion of 2.0 in v
1.151 * [taylor]: Taking taylor expansion of PI in v
1.159 * [taylor]: Taking taylor expansion of 0 in v
1.165 * [taylor]: Taking taylor expansion of 0 in v
1.167 * [approximate]: Taking taylor expansion of (* (/ (* (sqrt 2.0) PI) t) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in (t v) around 0
1.167 * [taylor]: Taking taylor expansion of (* (/ (* (sqrt 2.0) PI) t) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
1.167 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) PI) t) in v
1.167 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in v
1.167 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.167 * [taylor]: Taking taylor expansion of 2.0 in v
1.168 * [taylor]: Taking taylor expansion of PI in v
1.168 * [taylor]: Taking taylor expansion of t in v
1.169 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.169 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.169 * [taylor]: Taking taylor expansion of 1.0 in v
1.169 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.169 * [taylor]: Taking taylor expansion of 3.0 in v
1.169 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.169 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.169 * [taylor]: Taking taylor expansion of v in v
1.173 * [taylor]: Taking taylor expansion of (* (/ (* (sqrt 2.0) PI) t) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in t
1.173 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) PI) t) in t
1.173 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.173 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.173 * [taylor]: Taking taylor expansion of 2.0 in t
1.174 * [taylor]: Taking taylor expansion of PI in t
1.174 * [taylor]: Taking taylor expansion of t in t
1.176 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in t
1.176 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in t
1.176 * [taylor]: Taking taylor expansion of 1.0 in t
1.176 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in t
1.176 * [taylor]: Taking taylor expansion of 3.0 in t
1.176 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t
1.176 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.176 * [taylor]: Taking taylor expansion of v in t
1.177 * [taylor]: Taking taylor expansion of (* (/ (* (sqrt 2.0) PI) t) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in t
1.177 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) PI) t) in t
1.177 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.177 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.178 * [taylor]: Taking taylor expansion of 2.0 in t
1.178 * [taylor]: Taking taylor expansion of PI in t
1.178 * [taylor]: Taking taylor expansion of t in t
1.180 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in t
1.180 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in t
1.180 * [taylor]: Taking taylor expansion of 1.0 in t
1.180 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in t
1.180 * [taylor]: Taking taylor expansion of 3.0 in t
1.180 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t
1.180 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.180 * [taylor]: Taking taylor expansion of v in t
1.182 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) PI) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
1.182 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in v
1.182 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.182 * [taylor]: Taking taylor expansion of 2.0 in v
1.183 * [taylor]: Taking taylor expansion of PI in v
1.183 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.183 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.183 * [taylor]: Taking taylor expansion of 1.0 in v
1.183 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.183 * [taylor]: Taking taylor expansion of 3.0 in v
1.183 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.183 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.183 * [taylor]: Taking taylor expansion of v in v
1.196 * [taylor]: Taking taylor expansion of 0 in v
1.203 * [taylor]: Taking taylor expansion of 0 in v
1.220 * [taylor]: Taking taylor expansion of 0 in v
1.233 * [taylor]: Taking taylor expansion of 0 in v
1.237 * [approximate]: Taking taylor expansion of (* -1 (* (/ (* (sqrt 2.0) PI) t) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in (t v) around 0
1.237 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* (sqrt 2.0) PI) t) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in v
1.237 * [taylor]: Taking taylor expansion of -1 in v
1.237 * [taylor]: Taking taylor expansion of (* (/ (* (sqrt 2.0) PI) t) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
1.237 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) PI) t) in v
1.237 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in v
1.237 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.237 * [taylor]: Taking taylor expansion of 2.0 in v
1.238 * [taylor]: Taking taylor expansion of PI in v
1.238 * [taylor]: Taking taylor expansion of t in v
1.239 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.239 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.239 * [taylor]: Taking taylor expansion of 1.0 in v
1.239 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.239 * [taylor]: Taking taylor expansion of 3.0 in v
1.239 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.239 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.239 * [taylor]: Taking taylor expansion of v in v
1.243 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* (sqrt 2.0) PI) t) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in t
1.244 * [taylor]: Taking taylor expansion of -1 in t
1.244 * [taylor]: Taking taylor expansion of (* (/ (* (sqrt 2.0) PI) t) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in t
1.244 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) PI) t) in t
1.244 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.244 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.244 * [taylor]: Taking taylor expansion of 2.0 in t
1.244 * [taylor]: Taking taylor expansion of PI in t
1.244 * [taylor]: Taking taylor expansion of t in t
1.246 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in t
1.246 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in t
1.246 * [taylor]: Taking taylor expansion of 1.0 in t
1.246 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in t
1.246 * [taylor]: Taking taylor expansion of 3.0 in t
1.246 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t
1.246 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.246 * [taylor]: Taking taylor expansion of v in t
1.248 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* (sqrt 2.0) PI) t) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in t
1.248 * [taylor]: Taking taylor expansion of -1 in t
1.248 * [taylor]: Taking taylor expansion of (* (/ (* (sqrt 2.0) PI) t) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in t
1.248 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) PI) t) in t
1.248 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.248 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.248 * [taylor]: Taking taylor expansion of 2.0 in t
1.248 * [taylor]: Taking taylor expansion of PI in t
1.248 * [taylor]: Taking taylor expansion of t in t
1.250 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in t
1.250 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in t
1.250 * [taylor]: Taking taylor expansion of 1.0 in t
1.250 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in t
1.250 * [taylor]: Taking taylor expansion of 3.0 in t
1.250 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t
1.250 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.250 * [taylor]: Taking taylor expansion of v in t
1.253 * [taylor]: Taking taylor expansion of (* -1 (* (* (sqrt 2.0) PI) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in v
1.253 * [taylor]: Taking taylor expansion of -1 in v
1.253 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) PI) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
1.254 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in v
1.254 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.254 * [taylor]: Taking taylor expansion of 2.0 in v
1.254 * [taylor]: Taking taylor expansion of PI in v
1.254 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.254 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.254 * [taylor]: Taking taylor expansion of 1.0 in v
1.254 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.254 * [taylor]: Taking taylor expansion of 3.0 in v
1.254 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.254 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.254 * [taylor]: Taking taylor expansion of v in v
1.268 * [taylor]: Taking taylor expansion of 0 in v
1.280 * [taylor]: Taking taylor expansion of 0 in v
1.306 * [taylor]: Taking taylor expansion of 0 in v
1.321 * [taylor]: Taking taylor expansion of 0 in v
1.327 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.328 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (- 1.0 (* 3.0 (pow v 2))))) (/ (- 1.0 (* 5.0 (pow v 2))) (* t (* (sqrt 2.0) (* (- 1.0 (pow v 2)) PI))))) in (v t) around 0
1.328 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- 1.0 (* 3.0 (pow v 2))))) (/ (- 1.0 (* 5.0 (pow v 2))) (* t (* (sqrt 2.0) (* (- 1.0 (pow v 2)) PI))))) in t
1.328 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 1.0 (* 3.0 (pow v 2))))) in t
1.328 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 3.0 (pow v 2)))) in t
1.328 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in t
1.328 * [taylor]: Taking taylor expansion of 1.0 in t
1.328 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in t
1.328 * [taylor]: Taking taylor expansion of 3.0 in t
1.328 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.328 * [taylor]: Taking taylor expansion of v in t
1.330 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (* t (* (sqrt 2.0) (* (- 1.0 (pow v 2)) PI)))) in t
1.330 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in t
1.330 * [taylor]: Taking taylor expansion of 1.0 in t
1.330 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in t
1.330 * [taylor]: Taking taylor expansion of 5.0 in t
1.330 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.330 * [taylor]: Taking taylor expansion of v in t
1.330 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) (* (- 1.0 (pow v 2)) PI))) in t
1.330 * [taylor]: Taking taylor expansion of t in t
1.330 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- 1.0 (pow v 2)) PI)) in t
1.330 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.330 * [taylor]: Taking taylor expansion of 2.0 in t
1.330 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in t
1.330 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in t
1.331 * [taylor]: Taking taylor expansion of 1.0 in t
1.331 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.331 * [taylor]: Taking taylor expansion of v in t
1.331 * [taylor]: Taking taylor expansion of PI in t
1.335 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- 1.0 (* 3.0 (pow v 2))))) (/ (- 1.0 (* 5.0 (pow v 2))) (* t (* (sqrt 2.0) (* (- 1.0 (pow v 2)) PI))))) in v
1.335 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 1.0 (* 3.0 (pow v 2))))) in v
1.335 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 3.0 (pow v 2)))) in v
1.335 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in v
1.335 * [taylor]: Taking taylor expansion of 1.0 in v
1.335 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
1.335 * [taylor]: Taking taylor expansion of 3.0 in v
1.335 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.335 * [taylor]: Taking taylor expansion of v in v
1.337 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (* t (* (sqrt 2.0) (* (- 1.0 (pow v 2)) PI)))) in v
1.337 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in v
1.337 * [taylor]: Taking taylor expansion of 1.0 in v
1.337 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
1.337 * [taylor]: Taking taylor expansion of 5.0 in v
1.337 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.337 * [taylor]: Taking taylor expansion of v in v
1.337 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) (* (- 1.0 (pow v 2)) PI))) in v
1.337 * [taylor]: Taking taylor expansion of t in v
1.337 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- 1.0 (pow v 2)) PI)) in v
1.338 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.338 * [taylor]: Taking taylor expansion of 2.0 in v
1.338 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in v
1.338 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v
1.338 * [taylor]: Taking taylor expansion of 1.0 in v
1.338 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.338 * [taylor]: Taking taylor expansion of v in v
1.338 * [taylor]: Taking taylor expansion of PI in v
1.342 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- 1.0 (* 3.0 (pow v 2))))) (/ (- 1.0 (* 5.0 (pow v 2))) (* t (* (sqrt 2.0) (* (- 1.0 (pow v 2)) PI))))) in v
1.342 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 1.0 (* 3.0 (pow v 2))))) in v
1.342 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 3.0 (pow v 2)))) in v
1.342 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in v
1.342 * [taylor]: Taking taylor expansion of 1.0 in v
1.342 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
1.342 * [taylor]: Taking taylor expansion of 3.0 in v
1.342 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.342 * [taylor]: Taking taylor expansion of v in v
1.344 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (* t (* (sqrt 2.0) (* (- 1.0 (pow v 2)) PI)))) in v
1.344 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in v
1.344 * [taylor]: Taking taylor expansion of 1.0 in v
1.344 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
1.344 * [taylor]: Taking taylor expansion of 5.0 in v
1.344 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.344 * [taylor]: Taking taylor expansion of v in v
1.344 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) (* (- 1.0 (pow v 2)) PI))) in v
1.344 * [taylor]: Taking taylor expansion of t in v
1.344 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- 1.0 (pow v 2)) PI)) in v
1.344 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.344 * [taylor]: Taking taylor expansion of 2.0 in v
1.345 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in v
1.345 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v
1.345 * [taylor]: Taking taylor expansion of 1.0 in v
1.345 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.345 * [taylor]: Taking taylor expansion of v in v
1.345 * [taylor]: Taking taylor expansion of PI in v
1.349 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sqrt 1.0) (* t (* (sqrt 2.0) PI)))) in t
1.349 * [taylor]: Taking taylor expansion of 1.0 in t
1.349 * [taylor]: Taking taylor expansion of (/ (sqrt 1.0) (* t (* (sqrt 2.0) PI))) in t
1.349 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t
1.349 * [taylor]: Taking taylor expansion of 1.0 in t
1.350 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) PI)) in t
1.350 * [taylor]: Taking taylor expansion of t in t
1.350 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.350 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.350 * [taylor]: Taking taylor expansion of 2.0 in t
1.351 * [taylor]: Taking taylor expansion of PI in t
1.367 * [taylor]: Taking taylor expansion of 0 in t
1.391 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 (* t (* (sqrt 2.0) (* (sqrt 1.0) PI))))) (* 4.0 (/ (sqrt 1.0) (* t (* (sqrt 2.0) PI))))) in t
1.391 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 (* t (* (sqrt 2.0) (* (sqrt 1.0) PI))))) in t
1.391 * [taylor]: Taking taylor expansion of 1.5 in t
1.391 * [taylor]: Taking taylor expansion of (/ 1 (* t (* (sqrt 2.0) (* (sqrt 1.0) PI)))) in t
1.391 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) (* (sqrt 1.0) PI))) in t
1.391 * [taylor]: Taking taylor expansion of t in t
1.391 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (sqrt 1.0) PI)) in t
1.391 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.391 * [taylor]: Taking taylor expansion of 2.0 in t
1.391 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) PI) in t
1.391 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t
1.391 * [taylor]: Taking taylor expansion of 1.0 in t
1.392 * [taylor]: Taking taylor expansion of PI in t
1.400 * [taylor]: Taking taylor expansion of (* 4.0 (/ (sqrt 1.0) (* t (* (sqrt 2.0) PI)))) in t
1.401 * [taylor]: Taking taylor expansion of 4.0 in t
1.401 * [taylor]: Taking taylor expansion of (/ (sqrt 1.0) (* t (* (sqrt 2.0) PI))) in t
1.401 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t
1.401 * [taylor]: Taking taylor expansion of 1.0 in t
1.401 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) PI)) in t
1.401 * [taylor]: Taking taylor expansion of t in t
1.401 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.401 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.401 * [taylor]: Taking taylor expansion of 2.0 in t
1.402 * [taylor]: Taking taylor expansion of PI in t
1.448 * [taylor]: Taking taylor expansion of 0 in t
1.489 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ (sqrt 1.0) (* t (* (sqrt 2.0) PI)))) (+ (* 1.5 (/ 1 (* t (* (sqrt 2.0) (* (sqrt 1.0) PI))))) (* 1.125 (/ 1 (* t (* (sqrt 2.0) (* (pow (sqrt 1.0) 3) PI)))))))) in t
1.490 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (sqrt 1.0) (* t (* (sqrt 2.0) PI)))) (+ (* 1.5 (/ 1 (* t (* (sqrt 2.0) (* (sqrt 1.0) PI))))) (* 1.125 (/ 1 (* t (* (sqrt 2.0) (* (pow (sqrt 1.0) 3) PI))))))) in t
1.490 * [taylor]: Taking taylor expansion of (* 4.0 (/ (sqrt 1.0) (* t (* (sqrt 2.0) PI)))) in t
1.490 * [taylor]: Taking taylor expansion of 4.0 in t
1.490 * [taylor]: Taking taylor expansion of (/ (sqrt 1.0) (* t (* (sqrt 2.0) PI))) in t
1.490 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t
1.490 * [taylor]: Taking taylor expansion of 1.0 in t
1.490 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) PI)) in t
1.490 * [taylor]: Taking taylor expansion of t in t
1.490 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.490 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.490 * [taylor]: Taking taylor expansion of 2.0 in t
1.491 * [taylor]: Taking taylor expansion of PI in t
1.496 * [taylor]: Taking taylor expansion of (+ (* 1.5 (/ 1 (* t (* (sqrt 2.0) (* (sqrt 1.0) PI))))) (* 1.125 (/ 1 (* t (* (sqrt 2.0) (* (pow (sqrt 1.0) 3) PI)))))) in t
1.496 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 (* t (* (sqrt 2.0) (* (sqrt 1.0) PI))))) in t
1.496 * [taylor]: Taking taylor expansion of 1.5 in t
1.496 * [taylor]: Taking taylor expansion of (/ 1 (* t (* (sqrt 2.0) (* (sqrt 1.0) PI)))) in t
1.496 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) (* (sqrt 1.0) PI))) in t
1.496 * [taylor]: Taking taylor expansion of t in t
1.496 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (sqrt 1.0) PI)) in t
1.496 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.496 * [taylor]: Taking taylor expansion of 2.0 in t
1.497 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) PI) in t
1.497 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t
1.497 * [taylor]: Taking taylor expansion of 1.0 in t
1.497 * [taylor]: Taking taylor expansion of PI in t
1.506 * [taylor]: Taking taylor expansion of (* 1.125 (/ 1 (* t (* (sqrt 2.0) (* (pow (sqrt 1.0) 3) PI))))) in t
1.506 * [taylor]: Taking taylor expansion of 1.125 in t
1.506 * [taylor]: Taking taylor expansion of (/ 1 (* t (* (sqrt 2.0) (* (pow (sqrt 1.0) 3) PI)))) in t
1.506 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) (* (pow (sqrt 1.0) 3) PI))) in t
1.506 * [taylor]: Taking taylor expansion of t in t
1.506 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (pow (sqrt 1.0) 3) PI)) in t
1.506 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.506 * [taylor]: Taking taylor expansion of 2.0 in t
1.507 * [taylor]: Taking taylor expansion of (* (pow (sqrt 1.0) 3) PI) in t
1.507 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 3) in t
1.507 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t
1.507 * [taylor]: Taking taylor expansion of 1.0 in t
1.508 * [taylor]: Taking taylor expansion of PI in t
1.608 * [approximate]: Taking taylor expansion of (* (/ (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in (v t) around 0
1.608 * [taylor]: Taking taylor expansion of (* (/ (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in t
1.608 * [taylor]: Taking taylor expansion of (/ (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) in t
1.608 * [taylor]: Taking taylor expansion of (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) in t
1.608 * [taylor]: Taking taylor expansion of t in t
1.608 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in t
1.608 * [taylor]: Taking taylor expansion of 1.0 in t
1.608 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in t
1.608 * [taylor]: Taking taylor expansion of 5.0 in t
1.608 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t
1.608 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.608 * [taylor]: Taking taylor expansion of v in t
1.608 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI)) in t
1.608 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.608 * [taylor]: Taking taylor expansion of 2.0 in t
1.609 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in t
1.609 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in t
1.609 * [taylor]: Taking taylor expansion of 1.0 in t
1.609 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t
1.609 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.609 * [taylor]: Taking taylor expansion of v in t
1.609 * [taylor]: Taking taylor expansion of PI in t
1.612 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in t
1.612 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in t
1.612 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in t
1.612 * [taylor]: Taking taylor expansion of 1.0 in t
1.612 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in t
1.612 * [taylor]: Taking taylor expansion of 3.0 in t
1.612 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t
1.612 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.612 * [taylor]: Taking taylor expansion of v in t
1.614 * [taylor]: Taking taylor expansion of (* (/ (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in v
1.614 * [taylor]: Taking taylor expansion of (/ (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) in v
1.614 * [taylor]: Taking taylor expansion of (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) in v
1.614 * [taylor]: Taking taylor expansion of t in v
1.614 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
1.614 * [taylor]: Taking taylor expansion of 1.0 in v
1.614 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
1.614 * [taylor]: Taking taylor expansion of 5.0 in v
1.614 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.614 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.614 * [taylor]: Taking taylor expansion of v in v
1.615 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI)) in v
1.615 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.615 * [taylor]: Taking taylor expansion of 2.0 in v
1.615 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v
1.615 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
1.615 * [taylor]: Taking taylor expansion of 1.0 in v
1.615 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.615 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.615 * [taylor]: Taking taylor expansion of v in v
1.616 * [taylor]: Taking taylor expansion of PI in v
1.620 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
1.620 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.620 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.620 * [taylor]: Taking taylor expansion of 1.0 in v
1.620 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.620 * [taylor]: Taking taylor expansion of 3.0 in v
1.620 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.620 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.620 * [taylor]: Taking taylor expansion of v in v
1.625 * [taylor]: Taking taylor expansion of (* (/ (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in v
1.625 * [taylor]: Taking taylor expansion of (/ (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) in v
1.625 * [taylor]: Taking taylor expansion of (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) in v
1.625 * [taylor]: Taking taylor expansion of t in v
1.625 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
1.625 * [taylor]: Taking taylor expansion of 1.0 in v
1.625 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
1.625 * [taylor]: Taking taylor expansion of 5.0 in v
1.625 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.625 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.625 * [taylor]: Taking taylor expansion of v in v
1.626 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI)) in v
1.626 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.626 * [taylor]: Taking taylor expansion of 2.0 in v
1.627 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v
1.627 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
1.627 * [taylor]: Taking taylor expansion of 1.0 in v
1.627 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.627 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.627 * [taylor]: Taking taylor expansion of v in v
1.627 * [taylor]: Taking taylor expansion of PI in v
1.631 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
1.631 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.631 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.631 * [taylor]: Taking taylor expansion of 1.0 in v
1.631 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.631 * [taylor]: Taking taylor expansion of 3.0 in v
1.631 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.631 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.631 * [taylor]: Taking taylor expansion of v in v
1.637 * [taylor]: Taking taylor expansion of (* 5.0 (/ (* (sqrt -0.3333333333333333) t) (* (sqrt 2.0) PI))) in t
1.637 * [taylor]: Taking taylor expansion of 5.0 in t
1.637 * [taylor]: Taking taylor expansion of (/ (* (sqrt -0.3333333333333333) t) (* (sqrt 2.0) PI)) in t
1.637 * [taylor]: Taking taylor expansion of (* (sqrt -0.3333333333333333) t) in t
1.637 * [taylor]: Taking taylor expansion of (sqrt -0.3333333333333333) in t
1.637 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.638 * [taylor]: Taking taylor expansion of t in t
1.638 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.638 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.638 * [taylor]: Taking taylor expansion of 2.0 in t
1.639 * [taylor]: Taking taylor expansion of PI in t
1.653 * [taylor]: Taking taylor expansion of 0 in t
1.680 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ (* (sqrt -0.3333333333333333) t) (* (sqrt 2.0) PI))) (* 0.2777777777777778 (/ t (* (sqrt -0.3333333333333333) (* (sqrt 2.0) PI))))) in t
1.680 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (sqrt -0.3333333333333333) t) (* (sqrt 2.0) PI))) in t
1.680 * [taylor]: Taking taylor expansion of 4.0 in t
1.680 * [taylor]: Taking taylor expansion of (/ (* (sqrt -0.3333333333333333) t) (* (sqrt 2.0) PI)) in t
1.680 * [taylor]: Taking taylor expansion of (* (sqrt -0.3333333333333333) t) in t
1.680 * [taylor]: Taking taylor expansion of (sqrt -0.3333333333333333) in t
1.680 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.681 * [taylor]: Taking taylor expansion of t in t
1.681 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.681 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.681 * [taylor]: Taking taylor expansion of 2.0 in t
1.681 * [taylor]: Taking taylor expansion of PI in t
1.685 * [taylor]: Taking taylor expansion of (* 0.2777777777777778 (/ t (* (sqrt -0.3333333333333333) (* (sqrt 2.0) PI)))) in t
1.685 * [taylor]: Taking taylor expansion of 0.2777777777777778 in t
1.685 * [taylor]: Taking taylor expansion of (/ t (* (sqrt -0.3333333333333333) (* (sqrt 2.0) PI))) in t
1.685 * [taylor]: Taking taylor expansion of t in t
1.685 * [taylor]: Taking taylor expansion of (* (sqrt -0.3333333333333333) (* (sqrt 2.0) PI)) in t
1.685 * [taylor]: Taking taylor expansion of (sqrt -0.3333333333333333) in t
1.685 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.686 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.686 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.686 * [taylor]: Taking taylor expansion of 2.0 in t
1.686 * [taylor]: Taking taylor expansion of PI in t
1.736 * [taylor]: Taking taylor expansion of 0 in t
1.757 * [approximate]: Taking taylor expansion of (* -1 (* (/ (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2)))))))) in (v t) around 0
1.757 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2)))))))) in t
1.757 * [taylor]: Taking taylor expansion of -1 in t
1.757 * [taylor]: Taking taylor expansion of (* (/ (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in t
1.757 * [taylor]: Taking taylor expansion of (/ (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) in t
1.757 * [taylor]: Taking taylor expansion of (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) in t
1.757 * [taylor]: Taking taylor expansion of t in t
1.757 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in t
1.757 * [taylor]: Taking taylor expansion of 1.0 in t
1.757 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in t
1.757 * [taylor]: Taking taylor expansion of 5.0 in t
1.757 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t
1.757 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.757 * [taylor]: Taking taylor expansion of v in t
1.757 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI)) in t
1.757 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.757 * [taylor]: Taking taylor expansion of 2.0 in t
1.758 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in t
1.758 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in t
1.758 * [taylor]: Taking taylor expansion of 1.0 in t
1.758 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t
1.758 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.758 * [taylor]: Taking taylor expansion of v in t
1.758 * [taylor]: Taking taylor expansion of PI in t
1.761 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in t
1.761 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in t
1.761 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in t
1.761 * [taylor]: Taking taylor expansion of 1.0 in t
1.761 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in t
1.761 * [taylor]: Taking taylor expansion of 3.0 in t
1.761 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t
1.761 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.761 * [taylor]: Taking taylor expansion of v in t
1.763 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2)))))))) in v
1.763 * [taylor]: Taking taylor expansion of -1 in v
1.763 * [taylor]: Taking taylor expansion of (* (/ (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in v
1.763 * [taylor]: Taking taylor expansion of (/ (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) in v
1.763 * [taylor]: Taking taylor expansion of (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) in v
1.763 * [taylor]: Taking taylor expansion of t in v
1.763 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
1.763 * [taylor]: Taking taylor expansion of 1.0 in v
1.763 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
1.763 * [taylor]: Taking taylor expansion of 5.0 in v
1.763 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.763 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.763 * [taylor]: Taking taylor expansion of v in v
1.764 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI)) in v
1.764 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.764 * [taylor]: Taking taylor expansion of 2.0 in v
1.765 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v
1.765 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
1.765 * [taylor]: Taking taylor expansion of 1.0 in v
1.765 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.765 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.765 * [taylor]: Taking taylor expansion of v in v
1.765 * [taylor]: Taking taylor expansion of PI in v
1.769 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
1.769 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.769 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.769 * [taylor]: Taking taylor expansion of 1.0 in v
1.769 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.769 * [taylor]: Taking taylor expansion of 3.0 in v
1.769 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.769 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.769 * [taylor]: Taking taylor expansion of v in v
1.779 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2)))))))) in v
1.780 * [taylor]: Taking taylor expansion of -1 in v
1.780 * [taylor]: Taking taylor expansion of (* (/ (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in v
1.780 * [taylor]: Taking taylor expansion of (/ (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI))) in v
1.780 * [taylor]: Taking taylor expansion of (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) in v
1.780 * [taylor]: Taking taylor expansion of t in v
1.780 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
1.780 * [taylor]: Taking taylor expansion of 1.0 in v
1.780 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
1.780 * [taylor]: Taking taylor expansion of 5.0 in v
1.780 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.780 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.780 * [taylor]: Taking taylor expansion of v in v
1.780 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI)) in v
1.780 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.780 * [taylor]: Taking taylor expansion of 2.0 in v
1.781 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v
1.781 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
1.781 * [taylor]: Taking taylor expansion of 1.0 in v
1.781 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.781 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.781 * [taylor]: Taking taylor expansion of v in v
1.782 * [taylor]: Taking taylor expansion of PI in v
1.786 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
1.786 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.786 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.786 * [taylor]: Taking taylor expansion of 1.0 in v
1.786 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.786 * [taylor]: Taking taylor expansion of 3.0 in v
1.786 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.786 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.786 * [taylor]: Taking taylor expansion of v in v
1.793 * [taylor]: Taking taylor expansion of (* -5.0 (/ (* (sqrt -0.3333333333333333) t) (* (sqrt 2.0) PI))) in t
1.793 * [taylor]: Taking taylor expansion of -5.0 in t
1.793 * [taylor]: Taking taylor expansion of (/ (* (sqrt -0.3333333333333333) t) (* (sqrt 2.0) PI)) in t
1.793 * [taylor]: Taking taylor expansion of (* (sqrt -0.3333333333333333) t) in t
1.793 * [taylor]: Taking taylor expansion of (sqrt -0.3333333333333333) in t
1.793 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.793 * [taylor]: Taking taylor expansion of t in t
1.793 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.793 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.794 * [taylor]: Taking taylor expansion of 2.0 in t
1.794 * [taylor]: Taking taylor expansion of PI in t
1.809 * [taylor]: Taking taylor expansion of 0 in t
1.840 * [taylor]: Taking taylor expansion of (- (* 0.2777777777777778 (/ t (* (sqrt -0.3333333333333333) (* (sqrt 2.0) PI)))) (* 4.0 (/ (* (sqrt -0.3333333333333333) t) (* (sqrt 2.0) PI)))) in t
1.840 * [taylor]: Taking taylor expansion of (* 0.2777777777777778 (/ t (* (sqrt -0.3333333333333333) (* (sqrt 2.0) PI)))) in t
1.840 * [taylor]: Taking taylor expansion of 0.2777777777777778 in t
1.840 * [taylor]: Taking taylor expansion of (/ t (* (sqrt -0.3333333333333333) (* (sqrt 2.0) PI))) in t
1.840 * [taylor]: Taking taylor expansion of t in t
1.840 * [taylor]: Taking taylor expansion of (* (sqrt -0.3333333333333333) (* (sqrt 2.0) PI)) in t
1.840 * [taylor]: Taking taylor expansion of (sqrt -0.3333333333333333) in t
1.840 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.841 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.841 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.841 * [taylor]: Taking taylor expansion of 2.0 in t
1.841 * [taylor]: Taking taylor expansion of PI in t
1.845 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (sqrt -0.3333333333333333) t) (* (sqrt 2.0) PI))) in t
1.845 * [taylor]: Taking taylor expansion of 4.0 in t
1.845 * [taylor]: Taking taylor expansion of (/ (* (sqrt -0.3333333333333333) t) (* (sqrt 2.0) PI)) in t
1.845 * [taylor]: Taking taylor expansion of (* (sqrt -0.3333333333333333) t) in t
1.845 * [taylor]: Taking taylor expansion of (sqrt -0.3333333333333333) in t
1.845 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.846 * [taylor]: Taking taylor expansion of t in t
1.846 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.846 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.846 * [taylor]: Taking taylor expansion of 2.0 in t
1.847 * [taylor]: Taking taylor expansion of PI in t
1.899 * [taylor]: Taking taylor expansion of 0 in t
1.919 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
1.919 * [approximate]: Taking taylor expansion of (* t PI) in (t) around 0
1.919 * [taylor]: Taking taylor expansion of (* t PI) in t
1.919 * [taylor]: Taking taylor expansion of t in t
1.919 * [taylor]: Taking taylor expansion of PI in t
1.919 * [taylor]: Taking taylor expansion of (* t PI) in t
1.919 * [taylor]: Taking taylor expansion of t in t
1.919 * [taylor]: Taking taylor expansion of PI in t
1.925 * [approximate]: Taking taylor expansion of (/ PI t) in (t) around 0
1.925 * [taylor]: Taking taylor expansion of (/ PI t) in t
1.925 * [taylor]: Taking taylor expansion of PI in t
1.925 * [taylor]: Taking taylor expansion of t in t
1.925 * [taylor]: Taking taylor expansion of (/ PI t) in t
1.925 * [taylor]: Taking taylor expansion of PI in t
1.925 * [taylor]: Taking taylor expansion of t in t
1.929 * [approximate]: Taking taylor expansion of (* -1 (/ PI t)) in (t) around 0
1.929 * [taylor]: Taking taylor expansion of (* -1 (/ PI t)) in t
1.929 * [taylor]: Taking taylor expansion of -1 in t
1.929 * [taylor]: Taking taylor expansion of (/ PI t) in t
1.929 * [taylor]: Taking taylor expansion of PI in t
1.929 * [taylor]: Taking taylor expansion of t in t
1.930 * [taylor]: Taking taylor expansion of (* -1 (/ PI t)) in t
1.930 * [taylor]: Taking taylor expansion of -1 in t
1.930 * [taylor]: Taking taylor expansion of (/ PI t) in t
1.930 * [taylor]: Taking taylor expansion of PI in t
1.930 * [taylor]: Taking taylor expansion of t in t
1.939 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1.939 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
1.939 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
1.939 * [taylor]: Taking taylor expansion of 5.0 in v
1.939 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.939 * [taylor]: Taking taylor expansion of v in v
1.939 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
1.939 * [taylor]: Taking taylor expansion of 5.0 in v
1.939 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.939 * [taylor]: Taking taylor expansion of v in v
1.953 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
1.953 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.953 * [taylor]: Taking taylor expansion of 5.0 in v
1.953 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.953 * [taylor]: Taking taylor expansion of v in v
1.953 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.954 * [taylor]: Taking taylor expansion of 5.0 in v
1.954 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.954 * [taylor]: Taking taylor expansion of v in v
1.961 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
1.961 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.961 * [taylor]: Taking taylor expansion of 5.0 in v
1.961 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.961 * [taylor]: Taking taylor expansion of v in v
1.962 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.962 * [taylor]: Taking taylor expansion of 5.0 in v
1.962 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.962 * [taylor]: Taking taylor expansion of v in v
1.969 * * * [progress]: simplifying candidates
1.971 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
  (log1p (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
  (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))
  (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))
  (+ (+ (log PI) (log t)) (log (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
  (+ (log (* PI t)) (log (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
  (log (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
  (exp (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
  (* (* (* (* PI PI) PI) (* (* t t) t)) (* (* (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
  (* (* (* (* PI t) (* PI t)) (* PI t)) (* (* (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
  (* (cbrt (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) (cbrt (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))))
  (cbrt (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
  (* (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
  (sqrt (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
  (sqrt (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
  (* (* PI t) (* (cbrt (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (cbrt (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))))
  (* (* PI t) (sqrt 2.0))
  (* (* PI t) (sqrt (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
  (* (* PI t) 1)
  (* t (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))
  (* (* PI t) (sqrt (* 2.0 (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))
  (* (* PI t) (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v)))))))
  (expm1 (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))))
  (log1p (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))))
  (- (log (- 1.0 (* 5.0 (* v v)))) (+ (+ (+ (log PI) (log t)) (log (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) (log (- 1.0 (* v v)))))
  (- (log (- 1.0 (* 5.0 (* v v)))) (+ (+ (log (* PI t)) (log (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) (log (- 1.0 (* v v)))))
  (- (log (- 1.0 (* 5.0 (* v v)))) (+ (log (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) (log (- 1.0 (* v v)))))
  (- (log (- 1.0 (* 5.0 (* v v)))) (log (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))))
  (log (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))))
  (exp (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))))
  (/ (* (* (- 1.0 (* 5.0 (* v v))) (- 1.0 (* 5.0 (* v v)))) (- 1.0 (* 5.0 (* v v)))) (* (* (* (* (* PI PI) PI) (* (* t t) t)) (* (* (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) (* (* (- 1.0 (* v v)) (- 1.0 (* v v))) (- 1.0 (* v v)))))
  (/ (* (* (- 1.0 (* 5.0 (* v v))) (- 1.0 (* 5.0 (* v v)))) (- 1.0 (* 5.0 (* v v)))) (* (* (* (* (* PI t) (* PI t)) (* PI t)) (* (* (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) (* (* (- 1.0 (* v v)) (- 1.0 (* v v))) (- 1.0 (* v v)))))
  (/ (* (* (- 1.0 (* 5.0 (* v v))) (- 1.0 (* 5.0 (* v v)))) (- 1.0 (* 5.0 (* v v)))) (* (* (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) (* (* (- 1.0 (* v v)) (- 1.0 (* v v))) (- 1.0 (* v v)))))
  (/ (* (* (- 1.0 (* 5.0 (* v v))) (- 1.0 (* 5.0 (* v v)))) (- 1.0 (* 5.0 (* v v)))) (* (* (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))))
  (* (cbrt (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))) (cbrt (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))))
  (cbrt (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))))
  (* (* (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))) (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))) (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))))
  (sqrt (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))))
  (sqrt (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))))
  (- (- 1.0 (* 5.0 (* v v))))
  (- (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
  (/ 1.0 (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
  (/ (* 5.0 (* v v)) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
  (/ (* (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- 1.0 (* 5.0 (* v v))))) (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
  (/ (cbrt (- 1.0 (* 5.0 (* v v)))) (- 1.0 (* v v)))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- 1.0 (* v v)))
  (/ 1 (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
  (/ (- 1.0 (* 5.0 (* v v))) (- 1.0 (* v v)))
  (/ 1 (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
  (/ (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))) (- 1.0 (* 5.0 (* v v))))
  (/ (- 1.0 (* 5.0 (* v v))) (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
  (/ (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))) (cbrt (- 1.0 (* 5.0 (* v v)))))
  (/ (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))) (sqrt (- 1.0 (* 5.0 (* v v)))))
  (/ (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))) (- 1.0 (* 5.0 (* v v))))
  (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))) (- (pow 1.0 3) (pow (* v v) 3))))
  (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))) (- (* 1.0 1.0) (* (* v v) (* v v)))))
  (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))) (- (pow 1.0 3) (pow (* v v) 3))))
  (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))) (- (* 1.0 1.0) (* (* v v) (* v v)))))
  (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- (pow 1.0 3) (pow (* v v) 3))))
  (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- (* 1.0 1.0) (* (* v v) (* v v)))))
  (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))) (- 1.0 (* v v))))
  (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- (* 1.0 1.0) (* (* 3.0 (* v v)) (* 3.0 (* v v))))))) (- 1.0 (* v v))))
  (* (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))) (+ (* 1.0 1.0) (+ (* (* 5.0 (* v v)) (* 5.0 (* v v))) (* 1.0 (* 5.0 (* v v))))))
  (* (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))) (+ 1.0 (* 5.0 (* v v))))
  (expm1 (* PI t))
  (log1p (* PI t))
  (* PI t)
  (+ (log PI) (log t))
  (log (* PI t))
  (exp (* PI t))
  (* (* (* PI PI) PI) (* (* t t) t))
  (* (cbrt (* PI t)) (cbrt (* PI t)))
  (cbrt (* PI t))
  (* (* (* PI t) (* PI t)) (* PI t))
  (sqrt (* PI t))
  (sqrt (* PI t))
  (* (sqrt PI) (sqrt t))
  (* (sqrt PI) (sqrt t))
  (* PI (* (cbrt t) (cbrt t)))
  (* PI (sqrt t))
  (* PI 1)
  (* (cbrt PI) t)
  (* (sqrt PI) t)
  (* PI t)
  (expm1 (* 5.0 (* v v)))
  (log1p (* 5.0 (* v v)))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (+ (log 5.0) (+ (log v) (log v)))
  (+ (log 5.0) (log (* v v)))
  (log (* 5.0 (* v v)))
  (exp (* 5.0 (* v v)))
  (* (* (* 5.0 5.0) 5.0) (* (* (* v v) v) (* (* v v) v)))
  (* (* (* 5.0 5.0) 5.0) (* (* (* v v) (* v v)) (* v v)))
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (* (* (* 5.0 (* v v)) (* 5.0 (* v v))) (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (* (sqrt 5.0) v)
  (* (sqrt 5.0) v)
  (* 5.0 v)
  (* (cbrt 5.0) (* v v))
  (* (sqrt 5.0) (* v v))
  (* 5.0 (* v v))
  (* t (* (sqrt 2.0) (* (sqrt 1.0) PI)))
  (+ (* 0.5 (/ (* t (* (sqrt 2.0) PI)) (* (sqrt (- 3.0)) v))) (* (sqrt (- 3.0)) (* t (* (sqrt 2.0) (* v PI)))))
  (- (+ (* 0.5 (/ (* t (* (sqrt 2.0) PI)) (* (sqrt (- 3.0)) v))) (* (sqrt (- 3.0)) (* t (* (sqrt 2.0) (* v PI))))))
  (- (+ (* 1.5 (/ (pow v 2) (* t (* (sqrt 2.0) (* (sqrt 1.0) PI))))) (* 1.0 (/ (sqrt 1.0) (* t (* (sqrt 2.0) PI))))) (+ (* 1.5 (/ (pow v 4) (* t (* (sqrt 2.0) (* (sqrt 1.0) PI))))) (+ (* 1.125 (/ (pow v 4) (* t (* (sqrt 2.0) (* (pow (sqrt 1.0) 3) PI))))) (+ (* 4.0 (/ (* (pow v 2) (sqrt 1.0)) (* t (* (sqrt 2.0) PI)))) (* 4.0 (/ (* (pow v 4) (sqrt 1.0)) (* t (* (sqrt 2.0) PI))))))))
  (- (+ (* 5.0 (/ (sqrt -0.3333333333333333) (* t (* (sqrt 2.0) (* v PI))))) (* 4.0 (/ (sqrt -0.3333333333333333) (* t (* (sqrt 2.0) (* (pow v 3) PI)))))) (* 0.2777777777777778 (/ 1 (* (sqrt -0.3333333333333333) (* t (* (sqrt 2.0) (* (pow v 3) PI)))))))
  (- (* 0.2777777777777778 (/ 1 (* (sqrt -0.3333333333333333) (* t (* (sqrt 2.0) (* (pow v 3) PI)))))) (+ (* 4.0 (/ (sqrt -0.3333333333333333) (* t (* (sqrt 2.0) (* (pow v 3) PI))))) (* 5.0 (/ (sqrt -0.3333333333333333) (* t (* (sqrt 2.0) (* v PI)))))))
  (* t PI)
  (* t PI)
  (* t PI)
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
1.979 * * [simplify]: iteration  0 :  258  enodes  (cost  2497 )
2.032 * * [simplify]: iteration  1 :  776  enodes  (cost  2348 )