4.258 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.040 * * * [progress]: [2/2] Setting up program.
0.043 * [progress]: [Phase 2 of 3] Improving.
0.043 * [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.045 * * [simplify]: iteration  0 :  19  enodes  (cost  28 )
0.047 * * [simplify]: iteration  1 :  44  enodes  (cost  28 )
0.054 * * [simplify]: iteration  2 :  161  enodes  (cost  28 )
0.091 * * [simplify]: iteration  3 :  803  enodes  (cost  28 )
0.282 * * [simplify]: iteration  4 :  3555  enodes  (cost  28 )
0.952 * * [simplify]: iteration  done :  5001  enodes  (cost  28 )
0.952 * [simplify]: Simplified to:
   (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
0.952 * * [progress]: iteration 1 / 4
0.952 * * * [progress]: picking best candidate
0.955 * * * * [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)))))>
0.955 * * * [progress]: localizing error
0.970 * * * [progress]: generating rewritten candidates
0.970 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
0.985 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1.042 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
1.045 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1.055 * * * [progress]: generating series expansions
1.055 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.056 * [approximate]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (* t (* (sqrt 2.0) PI))) in (t v) around 0
1.056 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (* t (* (sqrt 2.0) PI))) in v
1.056 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in v
1.056 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in v
1.056 * [taylor]: Taking taylor expansion of 1.0 in v
1.056 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
1.056 * [taylor]: Taking taylor expansion of 3.0 in v
1.056 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.056 * [taylor]: Taking taylor expansion of v in v
1.057 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) PI)) in v
1.057 * [taylor]: Taking taylor expansion of t in v
1.057 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in v
1.057 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.057 * [taylor]: Taking taylor expansion of 2.0 in v
1.058 * [taylor]: Taking taylor expansion of PI in v
1.058 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (* t (* (sqrt 2.0) PI))) in t
1.058 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in t
1.058 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in t
1.058 * [taylor]: Taking taylor expansion of 1.0 in t
1.058 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in t
1.058 * [taylor]: Taking taylor expansion of 3.0 in t
1.058 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.058 * [taylor]: Taking taylor expansion of v in t
1.060 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) PI)) in t
1.060 * [taylor]: Taking taylor expansion of t in t
1.060 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.060 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.060 * [taylor]: Taking taylor expansion of 2.0 in t
1.060 * [taylor]: Taking taylor expansion of PI in t
1.060 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (* t (* (sqrt 2.0) PI))) in t
1.061 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in t
1.061 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in t
1.061 * [taylor]: Taking taylor expansion of 1.0 in t
1.061 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in t
1.061 * [taylor]: Taking taylor expansion of 3.0 in t
1.061 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.061 * [taylor]: Taking taylor expansion of v in t
1.062 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) PI)) in t
1.062 * [taylor]: Taking taylor expansion of t in t
1.062 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.062 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.062 * [taylor]: Taking taylor expansion of 2.0 in t
1.063 * [taylor]: Taking taylor expansion of PI in t
1.064 * [taylor]: Taking taylor expansion of 0 in v
1.067 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (* 3.0 (pow v 2)))) (* (sqrt 2.0) PI)) in v
1.068 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (pow v 2)))) in v
1.068 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in v
1.068 * [taylor]: Taking taylor expansion of 1.0 in v
1.068 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
1.068 * [taylor]: Taking taylor expansion of 3.0 in v
1.068 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.068 * [taylor]: Taking taylor expansion of v in v
1.069 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in v
1.069 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.069 * [taylor]: Taking taylor expansion of 2.0 in v
1.069 * [taylor]: Taking taylor expansion of PI in v
1.078 * [taylor]: Taking taylor expansion of 0 in v
1.087 * [taylor]: Taking taylor expansion of 0 in v
1.089 * [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.089 * [taylor]: Taking taylor expansion of (* (/ (* (sqrt 2.0) PI) t) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
1.089 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) PI) t) in v
1.089 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in v
1.089 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.089 * [taylor]: Taking taylor expansion of 2.0 in v
1.089 * [taylor]: Taking taylor expansion of PI in v
1.090 * [taylor]: Taking taylor expansion of t in v
1.091 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.091 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.091 * [taylor]: Taking taylor expansion of 1.0 in v
1.091 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.091 * [taylor]: Taking taylor expansion of 3.0 in v
1.091 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.091 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.091 * [taylor]: Taking taylor expansion of v in v
1.095 * [taylor]: Taking taylor expansion of (* (/ (* (sqrt 2.0) PI) t) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in t
1.095 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) PI) t) in t
1.095 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.095 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.095 * [taylor]: Taking taylor expansion of 2.0 in t
1.096 * [taylor]: Taking taylor expansion of PI in t
1.096 * [taylor]: Taking taylor expansion of t in t
1.098 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in t
1.098 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in t
1.098 * [taylor]: Taking taylor expansion of 1.0 in t
1.098 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in t
1.098 * [taylor]: Taking taylor expansion of 3.0 in t
1.098 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t
1.098 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.098 * [taylor]: Taking taylor expansion of v in t
1.099 * [taylor]: Taking taylor expansion of (* (/ (* (sqrt 2.0) PI) t) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in t
1.100 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) PI) t) in t
1.100 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.100 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.100 * [taylor]: Taking taylor expansion of 2.0 in t
1.100 * [taylor]: Taking taylor expansion of PI in t
1.100 * [taylor]: Taking taylor expansion of t in t
1.102 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in t
1.102 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in t
1.102 * [taylor]: Taking taylor expansion of 1.0 in t
1.102 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in t
1.102 * [taylor]: Taking taylor expansion of 3.0 in t
1.102 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t
1.102 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.102 * [taylor]: Taking taylor expansion of v in t
1.104 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) PI) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
1.104 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in v
1.105 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.105 * [taylor]: Taking taylor expansion of 2.0 in v
1.105 * [taylor]: Taking taylor expansion of PI in v
1.105 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.105 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.105 * [taylor]: Taking taylor expansion of 1.0 in v
1.105 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.105 * [taylor]: Taking taylor expansion of 3.0 in v
1.105 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.105 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.105 * [taylor]: Taking taylor expansion of v in v
1.115 * [taylor]: Taking taylor expansion of 0 in v
1.121 * [taylor]: Taking taylor expansion of 0 in v
1.139 * [taylor]: Taking taylor expansion of 0 in v
1.151 * [taylor]: Taking taylor expansion of 0 in v
1.156 * [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.156 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* (sqrt 2.0) PI) t) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in v
1.156 * [taylor]: Taking taylor expansion of -1 in v
1.156 * [taylor]: Taking taylor expansion of (* (/ (* (sqrt 2.0) PI) t) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
1.156 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) PI) t) in v
1.156 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in v
1.156 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.156 * [taylor]: Taking taylor expansion of 2.0 in v
1.157 * [taylor]: Taking taylor expansion of PI in v
1.157 * [taylor]: Taking taylor expansion of t in v
1.158 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.158 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.158 * [taylor]: Taking taylor expansion of 1.0 in v
1.158 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.158 * [taylor]: Taking taylor expansion of 3.0 in v
1.158 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.158 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.158 * [taylor]: Taking taylor expansion of v in v
1.162 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* (sqrt 2.0) PI) t) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in t
1.162 * [taylor]: Taking taylor expansion of -1 in t
1.162 * [taylor]: Taking taylor expansion of (* (/ (* (sqrt 2.0) PI) t) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in t
1.162 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) PI) t) in t
1.162 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.162 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.162 * [taylor]: Taking taylor expansion of 2.0 in t
1.163 * [taylor]: Taking taylor expansion of PI in t
1.163 * [taylor]: Taking taylor expansion of t in t
1.165 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in t
1.165 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in t
1.165 * [taylor]: Taking taylor expansion of 1.0 in t
1.165 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in t
1.165 * [taylor]: Taking taylor expansion of 3.0 in t
1.165 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t
1.165 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.165 * [taylor]: Taking taylor expansion of v in t
1.167 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* (sqrt 2.0) PI) t) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in t
1.167 * [taylor]: Taking taylor expansion of -1 in t
1.167 * [taylor]: Taking taylor expansion of (* (/ (* (sqrt 2.0) PI) t) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in t
1.167 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) PI) t) in t
1.167 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.167 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.167 * [taylor]: Taking taylor expansion of 2.0 in t
1.170 * [taylor]: Taking taylor expansion of PI in t
1.170 * [taylor]: Taking taylor expansion of t in t
1.172 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in t
1.172 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in t
1.172 * [taylor]: Taking taylor expansion of 1.0 in t
1.172 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in t
1.172 * [taylor]: Taking taylor expansion of 3.0 in t
1.172 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t
1.172 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.172 * [taylor]: Taking taylor expansion of v in t
1.175 * [taylor]: Taking taylor expansion of (* -1 (* (* (sqrt 2.0) PI) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))))) in v
1.175 * [taylor]: Taking taylor expansion of -1 in v
1.175 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) PI) (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
1.175 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in v
1.175 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.175 * [taylor]: Taking taylor expansion of 2.0 in v
1.176 * [taylor]: Taking taylor expansion of PI in v
1.176 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.176 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.176 * [taylor]: Taking taylor expansion of 1.0 in v
1.176 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.176 * [taylor]: Taking taylor expansion of 3.0 in v
1.176 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.176 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.176 * [taylor]: Taking taylor expansion of v in v
1.189 * [taylor]: Taking taylor expansion of 0 in v
1.198 * [taylor]: Taking taylor expansion of 0 in v
1.222 * [taylor]: Taking taylor expansion of 0 in v
1.238 * [taylor]: Taking taylor expansion of 0 in v
1.244 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.244 * [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.244 * [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.244 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 1.0 (* 3.0 (pow v 2))))) in t
1.244 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 3.0 (pow v 2)))) in t
1.244 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in t
1.244 * [taylor]: Taking taylor expansion of 1.0 in t
1.244 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in t
1.244 * [taylor]: Taking taylor expansion of 3.0 in t
1.245 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.245 * [taylor]: Taking taylor expansion of v in t
1.247 * [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.247 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in t
1.247 * [taylor]: Taking taylor expansion of 1.0 in t
1.247 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in t
1.247 * [taylor]: Taking taylor expansion of 5.0 in t
1.247 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.247 * [taylor]: Taking taylor expansion of v in t
1.247 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) (* (- 1.0 (pow v 2)) PI))) in t
1.247 * [taylor]: Taking taylor expansion of t in t
1.247 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- 1.0 (pow v 2)) PI)) in t
1.247 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.247 * [taylor]: Taking taylor expansion of 2.0 in t
1.247 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in t
1.247 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in t
1.248 * [taylor]: Taking taylor expansion of 1.0 in t
1.248 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.248 * [taylor]: Taking taylor expansion of v in t
1.248 * [taylor]: Taking taylor expansion of PI in t
1.255 * [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.255 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 1.0 (* 3.0 (pow v 2))))) in v
1.255 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 3.0 (pow v 2)))) in v
1.255 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in v
1.255 * [taylor]: Taking taylor expansion of 1.0 in v
1.255 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
1.255 * [taylor]: Taking taylor expansion of 3.0 in v
1.255 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.255 * [taylor]: Taking taylor expansion of v in v
1.257 * [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.257 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in v
1.257 * [taylor]: Taking taylor expansion of 1.0 in v
1.257 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
1.257 * [taylor]: Taking taylor expansion of 5.0 in v
1.257 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.257 * [taylor]: Taking taylor expansion of v in v
1.257 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) (* (- 1.0 (pow v 2)) PI))) in v
1.257 * [taylor]: Taking taylor expansion of t in v
1.257 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- 1.0 (pow v 2)) PI)) in v
1.257 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.257 * [taylor]: Taking taylor expansion of 2.0 in v
1.258 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in v
1.258 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v
1.258 * [taylor]: Taking taylor expansion of 1.0 in v
1.258 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.258 * [taylor]: Taking taylor expansion of v in v
1.258 * [taylor]: Taking taylor expansion of PI in v
1.261 * [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.261 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 1.0 (* 3.0 (pow v 2))))) in v
1.261 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 3.0 (pow v 2)))) in v
1.261 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (pow v 2))) in v
1.261 * [taylor]: Taking taylor expansion of 1.0 in v
1.261 * [taylor]: Taking taylor expansion of (* 3.0 (pow v 2)) in v
1.261 * [taylor]: Taking taylor expansion of 3.0 in v
1.261 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.261 * [taylor]: Taking taylor expansion of v in v
1.263 * [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.263 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in v
1.263 * [taylor]: Taking taylor expansion of 1.0 in v
1.263 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
1.263 * [taylor]: Taking taylor expansion of 5.0 in v
1.263 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.263 * [taylor]: Taking taylor expansion of v in v
1.263 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) (* (- 1.0 (pow v 2)) PI))) in v
1.263 * [taylor]: Taking taylor expansion of t in v
1.263 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- 1.0 (pow v 2)) PI)) in v
1.263 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.263 * [taylor]: Taking taylor expansion of 2.0 in v
1.264 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow v 2)) PI) in v
1.264 * [taylor]: Taking taylor expansion of (- 1.0 (pow v 2)) in v
1.264 * [taylor]: Taking taylor expansion of 1.0 in v
1.264 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.264 * [taylor]: Taking taylor expansion of v in v
1.264 * [taylor]: Taking taylor expansion of PI in v
1.268 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sqrt 1.0) (* t (* (sqrt 2.0) PI)))) in t
1.269 * [taylor]: Taking taylor expansion of 1.0 in t
1.269 * [taylor]: Taking taylor expansion of (/ (sqrt 1.0) (* t (* (sqrt 2.0) PI))) in t
1.269 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t
1.269 * [taylor]: Taking taylor expansion of 1.0 in t
1.269 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) PI)) in t
1.269 * [taylor]: Taking taylor expansion of t in t
1.269 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.269 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.269 * [taylor]: Taking taylor expansion of 2.0 in t
1.270 * [taylor]: Taking taylor expansion of PI in t
1.283 * [taylor]: Taking taylor expansion of 0 in t
1.307 * [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.307 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 (* t (* (sqrt 2.0) (* (sqrt 1.0) PI))))) in t
1.307 * [taylor]: Taking taylor expansion of 1.5 in t
1.307 * [taylor]: Taking taylor expansion of (/ 1 (* t (* (sqrt 2.0) (* (sqrt 1.0) PI)))) in t
1.307 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) (* (sqrt 1.0) PI))) in t
1.307 * [taylor]: Taking taylor expansion of t in t
1.307 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (sqrt 1.0) PI)) in t
1.307 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.307 * [taylor]: Taking taylor expansion of 2.0 in t
1.307 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) PI) in t
1.307 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t
1.307 * [taylor]: Taking taylor expansion of 1.0 in t
1.308 * [taylor]: Taking taylor expansion of PI in t
1.316 * [taylor]: Taking taylor expansion of (* 4.0 (/ (sqrt 1.0) (* t (* (sqrt 2.0) PI)))) in t
1.317 * [taylor]: Taking taylor expansion of 4.0 in t
1.317 * [taylor]: Taking taylor expansion of (/ (sqrt 1.0) (* t (* (sqrt 2.0) PI))) in t
1.317 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t
1.317 * [taylor]: Taking taylor expansion of 1.0 in t
1.317 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) PI)) in t
1.317 * [taylor]: Taking taylor expansion of t in t
1.317 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.317 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.317 * [taylor]: Taking taylor expansion of 2.0 in t
1.318 * [taylor]: Taking taylor expansion of PI in t
1.363 * [taylor]: Taking taylor expansion of 0 in t
1.404 * [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.404 * [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.404 * [taylor]: Taking taylor expansion of (* 4.0 (/ (sqrt 1.0) (* t (* (sqrt 2.0) PI)))) in t
1.404 * [taylor]: Taking taylor expansion of 4.0 in t
1.404 * [taylor]: Taking taylor expansion of (/ (sqrt 1.0) (* t (* (sqrt 2.0) PI))) in t
1.404 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t
1.404 * [taylor]: Taking taylor expansion of 1.0 in t
1.405 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) PI)) in t
1.405 * [taylor]: Taking taylor expansion of t in t
1.405 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.405 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.405 * [taylor]: Taking taylor expansion of 2.0 in t
1.406 * [taylor]: Taking taylor expansion of PI in t
1.415 * [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.415 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 (* t (* (sqrt 2.0) (* (sqrt 1.0) PI))))) in t
1.415 * [taylor]: Taking taylor expansion of 1.5 in t
1.415 * [taylor]: Taking taylor expansion of (/ 1 (* t (* (sqrt 2.0) (* (sqrt 1.0) PI)))) in t
1.415 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) (* (sqrt 1.0) PI))) in t
1.415 * [taylor]: Taking taylor expansion of t in t
1.415 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (sqrt 1.0) PI)) in t
1.416 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.416 * [taylor]: Taking taylor expansion of 2.0 in t
1.416 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) PI) in t
1.416 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t
1.416 * [taylor]: Taking taylor expansion of 1.0 in t
1.417 * [taylor]: Taking taylor expansion of PI in t
1.425 * [taylor]: Taking taylor expansion of (* 1.125 (/ 1 (* t (* (sqrt 2.0) (* (pow (sqrt 1.0) 3) PI))))) in t
1.425 * [taylor]: Taking taylor expansion of 1.125 in t
1.425 * [taylor]: Taking taylor expansion of (/ 1 (* t (* (sqrt 2.0) (* (pow (sqrt 1.0) 3) PI)))) in t
1.425 * [taylor]: Taking taylor expansion of (* t (* (sqrt 2.0) (* (pow (sqrt 1.0) 3) PI))) in t
1.425 * [taylor]: Taking taylor expansion of t in t
1.425 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (pow (sqrt 1.0) 3) PI)) in t
1.425 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.425 * [taylor]: Taking taylor expansion of 2.0 in t
1.426 * [taylor]: Taking taylor expansion of (* (pow (sqrt 1.0) 3) PI) in t
1.426 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 3) in t
1.426 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t
1.426 * [taylor]: Taking taylor expansion of 1.0 in t
1.427 * [taylor]: Taking taylor expansion of PI in t
1.520 * [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.520 * [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.520 * [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.520 * [taylor]: Taking taylor expansion of (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) in t
1.520 * [taylor]: Taking taylor expansion of t in t
1.521 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in t
1.521 * [taylor]: Taking taylor expansion of 1.0 in t
1.521 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in t
1.521 * [taylor]: Taking taylor expansion of 5.0 in t
1.521 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t
1.521 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.521 * [taylor]: Taking taylor expansion of v in t
1.521 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI)) in t
1.521 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.521 * [taylor]: Taking taylor expansion of 2.0 in t
1.522 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in t
1.522 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in t
1.522 * [taylor]: Taking taylor expansion of 1.0 in t
1.522 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t
1.522 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.522 * [taylor]: Taking taylor expansion of v in t
1.522 * [taylor]: Taking taylor expansion of PI in t
1.525 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in t
1.525 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in t
1.525 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in t
1.525 * [taylor]: Taking taylor expansion of 1.0 in t
1.525 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in t
1.525 * [taylor]: Taking taylor expansion of 3.0 in t
1.525 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t
1.525 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.525 * [taylor]: Taking taylor expansion of v in t
1.527 * [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.527 * [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.527 * [taylor]: Taking taylor expansion of (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) in v
1.527 * [taylor]: Taking taylor expansion of t in v
1.527 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
1.527 * [taylor]: Taking taylor expansion of 1.0 in v
1.527 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
1.527 * [taylor]: Taking taylor expansion of 5.0 in v
1.527 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.527 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.527 * [taylor]: Taking taylor expansion of v in v
1.528 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI)) in v
1.528 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.528 * [taylor]: Taking taylor expansion of 2.0 in v
1.528 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v
1.529 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
1.529 * [taylor]: Taking taylor expansion of 1.0 in v
1.529 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.529 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.529 * [taylor]: Taking taylor expansion of v in v
1.529 * [taylor]: Taking taylor expansion of PI in v
1.533 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
1.533 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.533 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.533 * [taylor]: Taking taylor expansion of 1.0 in v
1.533 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.533 * [taylor]: Taking taylor expansion of 3.0 in v
1.533 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.533 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.533 * [taylor]: Taking taylor expansion of v in v
1.538 * [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.538 * [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.538 * [taylor]: Taking taylor expansion of (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) in v
1.538 * [taylor]: Taking taylor expansion of t in v
1.538 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
1.538 * [taylor]: Taking taylor expansion of 1.0 in v
1.538 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
1.538 * [taylor]: Taking taylor expansion of 5.0 in v
1.538 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.538 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.538 * [taylor]: Taking taylor expansion of v in v
1.539 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI)) in v
1.539 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.539 * [taylor]: Taking taylor expansion of 2.0 in v
1.539 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v
1.539 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
1.539 * [taylor]: Taking taylor expansion of 1.0 in v
1.539 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.539 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.539 * [taylor]: Taking taylor expansion of v in v
1.540 * [taylor]: Taking taylor expansion of PI in v
1.544 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
1.544 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.544 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.544 * [taylor]: Taking taylor expansion of 1.0 in v
1.544 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.544 * [taylor]: Taking taylor expansion of 3.0 in v
1.544 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.544 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.544 * [taylor]: Taking taylor expansion of v in v
1.550 * [taylor]: Taking taylor expansion of (* 5.0 (/ (* (sqrt -0.3333333333333333) t) (* (sqrt 2.0) PI))) in t
1.550 * [taylor]: Taking taylor expansion of 5.0 in t
1.550 * [taylor]: Taking taylor expansion of (/ (* (sqrt -0.3333333333333333) t) (* (sqrt 2.0) PI)) in t
1.550 * [taylor]: Taking taylor expansion of (* (sqrt -0.3333333333333333) t) in t
1.550 * [taylor]: Taking taylor expansion of (sqrt -0.3333333333333333) in t
1.550 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.551 * [taylor]: Taking taylor expansion of t in t
1.551 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.551 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.551 * [taylor]: Taking taylor expansion of 2.0 in t
1.551 * [taylor]: Taking taylor expansion of PI in t
1.565 * [taylor]: Taking taylor expansion of 0 in t
1.596 * [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.596 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (sqrt -0.3333333333333333) t) (* (sqrt 2.0) PI))) in t
1.596 * [taylor]: Taking taylor expansion of 4.0 in t
1.596 * [taylor]: Taking taylor expansion of (/ (* (sqrt -0.3333333333333333) t) (* (sqrt 2.0) PI)) in t
1.596 * [taylor]: Taking taylor expansion of (* (sqrt -0.3333333333333333) t) in t
1.596 * [taylor]: Taking taylor expansion of (sqrt -0.3333333333333333) in t
1.596 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.597 * [taylor]: Taking taylor expansion of t in t
1.597 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.597 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.597 * [taylor]: Taking taylor expansion of 2.0 in t
1.598 * [taylor]: Taking taylor expansion of PI in t
1.601 * [taylor]: Taking taylor expansion of (* 0.2777777777777778 (/ t (* (sqrt -0.3333333333333333) (* (sqrt 2.0) PI)))) in t
1.601 * [taylor]: Taking taylor expansion of 0.2777777777777778 in t
1.601 * [taylor]: Taking taylor expansion of (/ t (* (sqrt -0.3333333333333333) (* (sqrt 2.0) PI))) in t
1.601 * [taylor]: Taking taylor expansion of t in t
1.601 * [taylor]: Taking taylor expansion of (* (sqrt -0.3333333333333333) (* (sqrt 2.0) PI)) in t
1.602 * [taylor]: Taking taylor expansion of (sqrt -0.3333333333333333) in t
1.602 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.602 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.602 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.602 * [taylor]: Taking taylor expansion of 2.0 in t
1.603 * [taylor]: Taking taylor expansion of PI in t
1.646 * [taylor]: Taking taylor expansion of 0 in t
1.671 * [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.671 * [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.671 * [taylor]: Taking taylor expansion of -1 in t
1.671 * [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.671 * [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.671 * [taylor]: Taking taylor expansion of (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) in t
1.671 * [taylor]: Taking taylor expansion of t in t
1.671 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in t
1.671 * [taylor]: Taking taylor expansion of 1.0 in t
1.671 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in t
1.671 * [taylor]: Taking taylor expansion of 5.0 in t
1.671 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t
1.671 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.671 * [taylor]: Taking taylor expansion of v in t
1.672 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI)) in t
1.672 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.672 * [taylor]: Taking taylor expansion of 2.0 in t
1.672 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in t
1.672 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in t
1.672 * [taylor]: Taking taylor expansion of 1.0 in t
1.672 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t
1.672 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.672 * [taylor]: Taking taylor expansion of v in t
1.672 * [taylor]: Taking taylor expansion of PI in t
1.675 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in t
1.675 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in t
1.675 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in t
1.675 * [taylor]: Taking taylor expansion of 1.0 in t
1.675 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in t
1.675 * [taylor]: Taking taylor expansion of 3.0 in t
1.675 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t
1.675 * [taylor]: Taking taylor expansion of (pow v 2) in t
1.675 * [taylor]: Taking taylor expansion of v in t
1.677 * [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.677 * [taylor]: Taking taylor expansion of -1 in v
1.677 * [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.677 * [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.678 * [taylor]: Taking taylor expansion of (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) in v
1.678 * [taylor]: Taking taylor expansion of t in v
1.678 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
1.678 * [taylor]: Taking taylor expansion of 1.0 in v
1.678 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
1.678 * [taylor]: Taking taylor expansion of 5.0 in v
1.678 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.678 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.678 * [taylor]: Taking taylor expansion of v in v
1.678 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI)) in v
1.678 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.678 * [taylor]: Taking taylor expansion of 2.0 in v
1.679 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v
1.679 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
1.679 * [taylor]: Taking taylor expansion of 1.0 in v
1.679 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.679 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.679 * [taylor]: Taking taylor expansion of v in v
1.679 * [taylor]: Taking taylor expansion of PI in v
1.683 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
1.683 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.683 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.683 * [taylor]: Taking taylor expansion of 1.0 in v
1.683 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.684 * [taylor]: Taking taylor expansion of 3.0 in v
1.684 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.684 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.684 * [taylor]: Taking taylor expansion of v in v
1.688 * [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.688 * [taylor]: Taking taylor expansion of -1 in v
1.688 * [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.688 * [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.688 * [taylor]: Taking taylor expansion of (* t (- 1.0 (* 5.0 (/ 1 (pow v 2))))) in v
1.688 * [taylor]: Taking taylor expansion of t in v
1.688 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
1.688 * [taylor]: Taking taylor expansion of 1.0 in v
1.689 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
1.689 * [taylor]: Taking taylor expansion of 5.0 in v
1.689 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.689 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.689 * [taylor]: Taking taylor expansion of v in v
1.689 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- 1.0 (/ 1 (pow v 2))) PI)) in v
1.689 * [taylor]: Taking taylor expansion of (sqrt 2.0) in v
1.689 * [taylor]: Taking taylor expansion of 2.0 in v
1.690 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow v 2))) PI) in v
1.690 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow v 2))) in v
1.690 * [taylor]: Taking taylor expansion of 1.0 in v
1.690 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.690 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.690 * [taylor]: Taking taylor expansion of v in v
1.690 * [taylor]: Taking taylor expansion of PI in v
1.695 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2)))))) in v
1.695 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 3.0 (/ 1 (pow v 2))))) in v
1.695 * [taylor]: Taking taylor expansion of (- 1.0 (* 3.0 (/ 1 (pow v 2)))) in v
1.695 * [taylor]: Taking taylor expansion of 1.0 in v
1.695 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow v 2))) in v
1.695 * [taylor]: Taking taylor expansion of 3.0 in v
1.695 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.695 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.695 * [taylor]: Taking taylor expansion of v in v
1.701 * [taylor]: Taking taylor expansion of (* -5.0 (/ (* (sqrt -0.3333333333333333) t) (* (sqrt 2.0) PI))) in t
1.701 * [taylor]: Taking taylor expansion of -5.0 in t
1.702 * [taylor]: Taking taylor expansion of (/ (* (sqrt -0.3333333333333333) t) (* (sqrt 2.0) PI)) in t
1.702 * [taylor]: Taking taylor expansion of (* (sqrt -0.3333333333333333) t) in t
1.702 * [taylor]: Taking taylor expansion of (sqrt -0.3333333333333333) in t
1.702 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.702 * [taylor]: Taking taylor expansion of t in t
1.702 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.702 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.702 * [taylor]: Taking taylor expansion of 2.0 in t
1.703 * [taylor]: Taking taylor expansion of PI in t
1.718 * [taylor]: Taking taylor expansion of 0 in t
1.752 * [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.752 * [taylor]: Taking taylor expansion of (* 0.2777777777777778 (/ t (* (sqrt -0.3333333333333333) (* (sqrt 2.0) PI)))) in t
1.752 * [taylor]: Taking taylor expansion of 0.2777777777777778 in t
1.752 * [taylor]: Taking taylor expansion of (/ t (* (sqrt -0.3333333333333333) (* (sqrt 2.0) PI))) in t
1.752 * [taylor]: Taking taylor expansion of t in t
1.752 * [taylor]: Taking taylor expansion of (* (sqrt -0.3333333333333333) (* (sqrt 2.0) PI)) in t
1.752 * [taylor]: Taking taylor expansion of (sqrt -0.3333333333333333) in t
1.752 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.753 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.753 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.753 * [taylor]: Taking taylor expansion of 2.0 in t
1.754 * [taylor]: Taking taylor expansion of PI in t
1.757 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (sqrt -0.3333333333333333) t) (* (sqrt 2.0) PI))) in t
1.757 * [taylor]: Taking taylor expansion of 4.0 in t
1.757 * [taylor]: Taking taylor expansion of (/ (* (sqrt -0.3333333333333333) t) (* (sqrt 2.0) PI)) in t
1.757 * [taylor]: Taking taylor expansion of (* (sqrt -0.3333333333333333) t) in t
1.757 * [taylor]: Taking taylor expansion of (sqrt -0.3333333333333333) in t
1.757 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.758 * [taylor]: Taking taylor expansion of t in t
1.758 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) PI) in t
1.758 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t
1.758 * [taylor]: Taking taylor expansion of 2.0 in t
1.759 * [taylor]: Taking taylor expansion of PI in t
1.804 * [taylor]: Taking taylor expansion of 0 in t
1.829 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
1.829 * [approximate]: Taking taylor expansion of (* t PI) in (t) around 0
1.829 * [taylor]: Taking taylor expansion of (* t PI) in t
1.829 * [taylor]: Taking taylor expansion of t in t
1.829 * [taylor]: Taking taylor expansion of PI in t
1.829 * [taylor]: Taking taylor expansion of (* t PI) in t
1.829 * [taylor]: Taking taylor expansion of t in t
1.829 * [taylor]: Taking taylor expansion of PI in t
1.835 * [approximate]: Taking taylor expansion of (/ PI t) in (t) around 0
1.835 * [taylor]: Taking taylor expansion of (/ PI t) in t
1.835 * [taylor]: Taking taylor expansion of PI in t
1.835 * [taylor]: Taking taylor expansion of t in t
1.835 * [taylor]: Taking taylor expansion of (/ PI t) in t
1.835 * [taylor]: Taking taylor expansion of PI in t
1.835 * [taylor]: Taking taylor expansion of t in t
1.839 * [approximate]: Taking taylor expansion of (* -1 (/ PI t)) in (t) around 0
1.839 * [taylor]: Taking taylor expansion of (* -1 (/ PI t)) in t
1.839 * [taylor]: Taking taylor expansion of -1 in t
1.839 * [taylor]: Taking taylor expansion of (/ PI t) in t
1.839 * [taylor]: Taking taylor expansion of PI in t
1.839 * [taylor]: Taking taylor expansion of t in t
1.840 * [taylor]: Taking taylor expansion of (* -1 (/ PI t)) in t
1.840 * [taylor]: Taking taylor expansion of -1 in t
1.840 * [taylor]: Taking taylor expansion of (/ PI t) in t
1.840 * [taylor]: Taking taylor expansion of PI in t
1.840 * [taylor]: Taking taylor expansion of t in t
1.848 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1.848 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
1.848 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
1.848 * [taylor]: Taking taylor expansion of 5.0 in v
1.848 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.848 * [taylor]: Taking taylor expansion of v in v
1.848 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
1.848 * [taylor]: Taking taylor expansion of 5.0 in v
1.848 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.848 * [taylor]: Taking taylor expansion of v in v
1.856 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
1.856 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.856 * [taylor]: Taking taylor expansion of 5.0 in v
1.856 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.856 * [taylor]: Taking taylor expansion of v in v
1.857 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.857 * [taylor]: Taking taylor expansion of 5.0 in v
1.857 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.857 * [taylor]: Taking taylor expansion of v in v
1.865 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
1.865 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.865 * [taylor]: Taking taylor expansion of 5.0 in v
1.865 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.865 * [taylor]: Taking taylor expansion of v in v
1.865 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.865 * [taylor]: Taking taylor expansion of 5.0 in v
1.865 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.865 * [taylor]: Taking taylor expansion of v in v
1.872 * * * [progress]: simplifying candidates
1.874 * [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.883 * * [simplify]: iteration  0 :  258  enodes  (cost  2497 )
1.937 * * [simplify]: iteration  1 :  776  enodes  (cost  2348 )