25.157 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.164 * * * [progress]: [2/2] Setting up program.
0.169 * [progress]: [Phase 2 of 3] Improving.
0.169 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* x (cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
0.183 * * [simplify]: iteration  0 :  771  enodes  (cost  27 )
0.183 * * [simplify]: iteration  1 :  771  enodes  (cost  27 )
0.183 * [simplify]: Simplified to:
   (* x (* (cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))) (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))))
0.189 * * [progress]: iteration 1 / 4
0.189 * * * [progress]: picking best candidate
0.199 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (* x (* (cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))) (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))))>
0.199 * * * [progress]: localizing error
0.221 * * * [progress]: generating rewritten candidates
0.221 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
0.225 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
0.228 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
0.237 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
0.248 * * * [progress]: generating series expansions
0.248 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
0.248 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0))))) in (y z t) around 0
0.248 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0))))) in t
0.248 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0)))) in t
0.248 * [taylor]: Taking taylor expansion of 0.0625 in t
0.248 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 2.0 y) 1.0))) in t
0.249 * [taylor]: Taking taylor expansion of t in t
0.249 * [taylor]: Taking taylor expansion of (* z (+ (* 2.0 y) 1.0)) in t
0.249 * [taylor]: Taking taylor expansion of z in t
0.249 * [taylor]: Taking taylor expansion of (+ (* 2.0 y) 1.0) in t
0.249 * [taylor]: Taking taylor expansion of (* 2.0 y) in t
0.249 * [taylor]: Taking taylor expansion of 2.0 in t
0.249 * [taylor]: Taking taylor expansion of y in t
0.249 * [taylor]: Taking taylor expansion of 1.0 in t
0.249 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0))))) in z
0.249 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0)))) in z
0.249 * [taylor]: Taking taylor expansion of 0.0625 in z
0.249 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 2.0 y) 1.0))) in z
0.249 * [taylor]: Taking taylor expansion of t in z
0.249 * [taylor]: Taking taylor expansion of (* z (+ (* 2.0 y) 1.0)) in z
0.249 * [taylor]: Taking taylor expansion of z in z
0.249 * [taylor]: Taking taylor expansion of (+ (* 2.0 y) 1.0) in z
0.249 * [taylor]: Taking taylor expansion of (* 2.0 y) in z
0.249 * [taylor]: Taking taylor expansion of 2.0 in z
0.249 * [taylor]: Taking taylor expansion of y in z
0.249 * [taylor]: Taking taylor expansion of 1.0 in z
0.249 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0))))) in y
0.249 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0)))) in y
0.249 * [taylor]: Taking taylor expansion of 0.0625 in y
0.250 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 2.0 y) 1.0))) in y
0.250 * [taylor]: Taking taylor expansion of t in y
0.250 * [taylor]: Taking taylor expansion of (* z (+ (* 2.0 y) 1.0)) in y
0.250 * [taylor]: Taking taylor expansion of z in y
0.250 * [taylor]: Taking taylor expansion of (+ (* 2.0 y) 1.0) in y
0.250 * [taylor]: Taking taylor expansion of (* 2.0 y) in y
0.250 * [taylor]: Taking taylor expansion of 2.0 in y
0.250 * [taylor]: Taking taylor expansion of y in y
0.250 * [taylor]: Taking taylor expansion of 1.0 in y
0.250 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0))))) in y
0.250 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0)))) in y
0.250 * [taylor]: Taking taylor expansion of 0.0625 in y
0.250 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 2.0 y) 1.0))) in y
0.250 * [taylor]: Taking taylor expansion of t in y
0.250 * [taylor]: Taking taylor expansion of (* z (+ (* 2.0 y) 1.0)) in y
0.250 * [taylor]: Taking taylor expansion of z in y
0.250 * [taylor]: Taking taylor expansion of (+ (* 2.0 y) 1.0) in y
0.250 * [taylor]: Taking taylor expansion of (* 2.0 y) in y
0.250 * [taylor]: Taking taylor expansion of 2.0 in y
0.250 * [taylor]: Taking taylor expansion of y in y
0.250 * [taylor]: Taking taylor expansion of 1.0 in y
0.250 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t z))) in z
0.250 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in z
0.250 * [taylor]: Taking taylor expansion of 0.0625 in z
0.250 * [taylor]: Taking taylor expansion of (* t z) in z
0.250 * [taylor]: Taking taylor expansion of t in z
0.250 * [taylor]: Taking taylor expansion of z in z
0.253 * [taylor]: Taking taylor expansion of 1 in t
0.253 * [taylor]: Taking taylor expansion of (neg (* 0.125 (* t (* (sin (* 0.0625 (* t z))) z)))) in z
0.253 * [taylor]: Taking taylor expansion of (* 0.125 (* t (* (sin (* 0.0625 (* t z))) z))) in z
0.253 * [taylor]: Taking taylor expansion of 0.125 in z
0.253 * [taylor]: Taking taylor expansion of (* t (* (sin (* 0.0625 (* t z))) z)) in z
0.253 * [taylor]: Taking taylor expansion of t in z
0.253 * [taylor]: Taking taylor expansion of (* (sin (* 0.0625 (* t z))) z) in z
0.253 * [taylor]: Taking taylor expansion of (sin (* 0.0625 (* t z))) in z
0.253 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in z
0.253 * [taylor]: Taking taylor expansion of 0.0625 in z
0.253 * [taylor]: Taking taylor expansion of (* t z) in z
0.253 * [taylor]: Taking taylor expansion of t in z
0.253 * [taylor]: Taking taylor expansion of z in z
0.253 * [taylor]: Taking taylor expansion of z in z
0.254 * [taylor]: Taking taylor expansion of 0 in t
0.254 * [taylor]: Taking taylor expansion of 0 in t
0.255 * [taylor]: Taking taylor expansion of (neg (* 0.0078125 (* (pow t 2) (* (cos (* 0.0625 (* t z))) (pow z 2))))) in z
0.255 * [taylor]: Taking taylor expansion of (* 0.0078125 (* (pow t 2) (* (cos (* 0.0625 (* t z))) (pow z 2)))) in z
0.255 * [taylor]: Taking taylor expansion of 0.0078125 in z
0.255 * [taylor]: Taking taylor expansion of (* (pow t 2) (* (cos (* 0.0625 (* t z))) (pow z 2))) in z
0.255 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.255 * [taylor]: Taking taylor expansion of t in z
0.255 * [taylor]: Taking taylor expansion of (* (cos (* 0.0625 (* t z))) (pow z 2)) in z
0.255 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t z))) in z
0.255 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in z
0.255 * [taylor]: Taking taylor expansion of 0.0625 in z
0.255 * [taylor]: Taking taylor expansion of (* t z) in z
0.255 * [taylor]: Taking taylor expansion of t in z
0.255 * [taylor]: Taking taylor expansion of z in z
0.255 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.255 * [taylor]: Taking taylor expansion of z in z
0.255 * [taylor]: Taking taylor expansion of 0 in t
0.255 * [taylor]: Taking taylor expansion of (neg (* 0.001953125 (pow t 2))) in t
0.255 * [taylor]: Taking taylor expansion of (* 0.001953125 (pow t 2)) in t
0.255 * [taylor]: Taking taylor expansion of 0.001953125 in t
0.255 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.255 * [taylor]: Taking taylor expansion of t in t
0.255 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)))) in (y z t) around 0
0.256 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)))) in t
0.256 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z))) in t
0.256 * [taylor]: Taking taylor expansion of 0.0625 in t
0.256 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)) in t
0.256 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 y)) 1.0) in t
0.256 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in t
0.256 * [taylor]: Taking taylor expansion of 2.0 in t
0.256 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.256 * [taylor]: Taking taylor expansion of y in t
0.256 * [taylor]: Taking taylor expansion of 1.0 in t
0.256 * [taylor]: Taking taylor expansion of (* t z) in t
0.256 * [taylor]: Taking taylor expansion of t in t
0.256 * [taylor]: Taking taylor expansion of z in t
0.256 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)))) in z
0.256 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z))) in z
0.256 * [taylor]: Taking taylor expansion of 0.0625 in z
0.256 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)) in z
0.256 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 y)) 1.0) in z
0.256 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in z
0.256 * [taylor]: Taking taylor expansion of 2.0 in z
0.256 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.256 * [taylor]: Taking taylor expansion of y in z
0.256 * [taylor]: Taking taylor expansion of 1.0 in z
0.256 * [taylor]: Taking taylor expansion of (* t z) in z
0.256 * [taylor]: Taking taylor expansion of t in z
0.256 * [taylor]: Taking taylor expansion of z in z
0.256 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)))) in y
0.257 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z))) in y
0.257 * [taylor]: Taking taylor expansion of 0.0625 in y
0.257 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)) in y
0.257 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 y)) 1.0) in y
0.257 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
0.257 * [taylor]: Taking taylor expansion of 2.0 in y
0.257 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.257 * [taylor]: Taking taylor expansion of y in y
0.257 * [taylor]: Taking taylor expansion of 1.0 in y
0.257 * [taylor]: Taking taylor expansion of (* t z) in y
0.257 * [taylor]: Taking taylor expansion of t in y
0.257 * [taylor]: Taking taylor expansion of z in y
0.257 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)))) in y
0.257 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z))) in y
0.257 * [taylor]: Taking taylor expansion of 0.0625 in y
0.257 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)) in y
0.257 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 y)) 1.0) in y
0.257 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
0.257 * [taylor]: Taking taylor expansion of 2.0 in y
0.257 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.257 * [taylor]: Taking taylor expansion of y in y
0.257 * [taylor]: Taking taylor expansion of 1.0 in y
0.257 * [taylor]: Taking taylor expansion of (* t z) in y
0.257 * [taylor]: Taking taylor expansion of t in y
0.257 * [taylor]: Taking taylor expansion of z in y
0.257 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)))) in z
0.257 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z))) in z
0.257 * [taylor]: Taking taylor expansion of 0.0625 in z
0.257 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)) in z
0.257 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 y)) 1.0) in z
0.257 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in z
0.257 * [taylor]: Taking taylor expansion of 2.0 in z
0.257 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.257 * [taylor]: Taking taylor expansion of y in z
0.258 * [taylor]: Taking taylor expansion of 1.0 in z
0.258 * [taylor]: Taking taylor expansion of (* t z) in z
0.258 * [taylor]: Taking taylor expansion of t in z
0.258 * [taylor]: Taking taylor expansion of z in z
0.258 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)))) in t
0.258 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z))) in t
0.258 * [taylor]: Taking taylor expansion of 0.0625 in t
0.258 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)) in t
0.258 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 y)) 1.0) in t
0.258 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in t
0.258 * [taylor]: Taking taylor expansion of 2.0 in t
0.258 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.258 * [taylor]: Taking taylor expansion of y in t
0.258 * [taylor]: Taking taylor expansion of 1.0 in t
0.258 * [taylor]: Taking taylor expansion of (* t z) in t
0.258 * [taylor]: Taking taylor expansion of t in t
0.258 * [taylor]: Taking taylor expansion of z in t
0.258 * [taylor]: Taking taylor expansion of 0 in z
0.258 * [taylor]: Taking taylor expansion of 0 in t
0.258 * [taylor]: Taking taylor expansion of 0 in t
0.258 * [taylor]: Taking taylor expansion of 0 in z
0.258 * [taylor]: Taking taylor expansion of 0 in t
0.259 * [taylor]: Taking taylor expansion of 0 in t
0.259 * [taylor]: Taking taylor expansion of 0 in t
0.259 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)))) in (y z t) around 0
0.259 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)))) in t
0.259 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))) in t
0.259 * [taylor]: Taking taylor expansion of 0.0625 in t
0.259 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)) in t
0.259 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 y))) in t
0.259 * [taylor]: Taking taylor expansion of 1.0 in t
0.259 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in t
0.259 * [taylor]: Taking taylor expansion of 2.0 in t
0.259 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.259 * [taylor]: Taking taylor expansion of y in t
0.259 * [taylor]: Taking taylor expansion of (* t z) in t
0.259 * [taylor]: Taking taylor expansion of t in t
0.259 * [taylor]: Taking taylor expansion of z in t
0.259 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)))) in z
0.259 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))) in z
0.259 * [taylor]: Taking taylor expansion of 0.0625 in z
0.259 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)) in z
0.259 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 y))) in z
0.259 * [taylor]: Taking taylor expansion of 1.0 in z
0.259 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in z
0.259 * [taylor]: Taking taylor expansion of 2.0 in z
0.259 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.259 * [taylor]: Taking taylor expansion of y in z
0.259 * [taylor]: Taking taylor expansion of (* t z) in z
0.259 * [taylor]: Taking taylor expansion of t in z
0.260 * [taylor]: Taking taylor expansion of z in z
0.260 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)))) in y
0.260 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))) in y
0.260 * [taylor]: Taking taylor expansion of 0.0625 in y
0.260 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)) in y
0.260 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 y))) in y
0.260 * [taylor]: Taking taylor expansion of 1.0 in y
0.260 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
0.260 * [taylor]: Taking taylor expansion of 2.0 in y
0.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.260 * [taylor]: Taking taylor expansion of y in y
0.260 * [taylor]: Taking taylor expansion of (* t z) in y
0.260 * [taylor]: Taking taylor expansion of t in y
0.260 * [taylor]: Taking taylor expansion of z in y
0.260 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)))) in y
0.260 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))) in y
0.260 * [taylor]: Taking taylor expansion of 0.0625 in y
0.260 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)) in y
0.260 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 y))) in y
0.260 * [taylor]: Taking taylor expansion of 1.0 in y
0.260 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
0.260 * [taylor]: Taking taylor expansion of 2.0 in y
0.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.260 * [taylor]: Taking taylor expansion of y in y
0.260 * [taylor]: Taking taylor expansion of (* t z) in y
0.260 * [taylor]: Taking taylor expansion of t in y
0.260 * [taylor]: Taking taylor expansion of z in y
0.261 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)))) in z
0.261 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))) in z
0.261 * [taylor]: Taking taylor expansion of 0.0625 in z
0.261 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)) in z
0.261 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 y))) in z
0.261 * [taylor]: Taking taylor expansion of 1.0 in z
0.261 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in z
0.261 * [taylor]: Taking taylor expansion of 2.0 in z
0.261 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.261 * [taylor]: Taking taylor expansion of y in z
0.261 * [taylor]: Taking taylor expansion of (* t z) in z
0.261 * [taylor]: Taking taylor expansion of t in z
0.261 * [taylor]: Taking taylor expansion of z in z
0.261 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)))) in t
0.261 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))) in t
0.261 * [taylor]: Taking taylor expansion of 0.0625 in t
0.261 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)) in t
0.261 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 y))) in t
0.261 * [taylor]: Taking taylor expansion of 1.0 in t
0.261 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in t
0.261 * [taylor]: Taking taylor expansion of 2.0 in t
0.261 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.261 * [taylor]: Taking taylor expansion of y in t
0.261 * [taylor]: Taking taylor expansion of (* t z) in t
0.261 * [taylor]: Taking taylor expansion of t in t
0.261 * [taylor]: Taking taylor expansion of z in t
0.262 * [taylor]: Taking taylor expansion of 0 in z
0.262 * [taylor]: Taking taylor expansion of 0 in t
0.262 * [taylor]: Taking taylor expansion of 0 in t
0.262 * [taylor]: Taking taylor expansion of 0 in z
0.262 * [taylor]: Taking taylor expansion of 0 in t
0.262 * [taylor]: Taking taylor expansion of 0 in t
0.262 * [taylor]: Taking taylor expansion of 0 in t
0.262 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
0.262 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in (t a b) around 0
0.262 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in b
0.262 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in b
0.262 * [taylor]: Taking taylor expansion of 0.0625 in b
0.262 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in b
0.262 * [taylor]: Taking taylor expansion of t in b
0.262 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in b
0.262 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in b
0.262 * [taylor]: Taking taylor expansion of (* 2.0 a) in b
0.262 * [taylor]: Taking taylor expansion of 2.0 in b
0.262 * [taylor]: Taking taylor expansion of a in b
0.262 * [taylor]: Taking taylor expansion of 1.0 in b
0.262 * [taylor]: Taking taylor expansion of b in b
0.263 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in a
0.263 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in a
0.263 * [taylor]: Taking taylor expansion of 0.0625 in a
0.263 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in a
0.263 * [taylor]: Taking taylor expansion of t in a
0.263 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in a
0.263 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in a
0.263 * [taylor]: Taking taylor expansion of (* 2.0 a) in a
0.263 * [taylor]: Taking taylor expansion of 2.0 in a
0.263 * [taylor]: Taking taylor expansion of a in a
0.263 * [taylor]: Taking taylor expansion of 1.0 in a
0.263 * [taylor]: Taking taylor expansion of b in a
0.263 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in t
0.263 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in t
0.263 * [taylor]: Taking taylor expansion of 0.0625 in t
0.263 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in t
0.263 * [taylor]: Taking taylor expansion of t in t
0.263 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in t
0.263 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in t
0.263 * [taylor]: Taking taylor expansion of (* 2.0 a) in t
0.263 * [taylor]: Taking taylor expansion of 2.0 in t
0.263 * [taylor]: Taking taylor expansion of a in t
0.263 * [taylor]: Taking taylor expansion of 1.0 in t
0.263 * [taylor]: Taking taylor expansion of b in t
0.264 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in t
0.264 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in t
0.264 * [taylor]: Taking taylor expansion of 0.0625 in t
0.264 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in t
0.264 * [taylor]: Taking taylor expansion of t in t
0.264 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in t
0.264 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in t
0.264 * [taylor]: Taking taylor expansion of (* 2.0 a) in t
0.264 * [taylor]: Taking taylor expansion of 2.0 in t
0.264 * [taylor]: Taking taylor expansion of a in t
0.264 * [taylor]: Taking taylor expansion of 1.0 in t
0.264 * [taylor]: Taking taylor expansion of b in t
0.264 * [taylor]: Taking taylor expansion of 1 in a
0.264 * [taylor]: Taking taylor expansion of 1 in b
0.264 * [taylor]: Taking taylor expansion of 0 in a
0.264 * [taylor]: Taking taylor expansion of 0 in b
0.264 * [taylor]: Taking taylor expansion of 0 in b
0.264 * [taylor]: Taking taylor expansion of (neg (+ (* 0.0078125 (* a (pow b 2))) (+ (* 0.001953125 (pow b 2)) (* 0.0078125 (* (pow a 2) (pow b 2)))))) in a
0.264 * [taylor]: Taking taylor expansion of (+ (* 0.0078125 (* a (pow b 2))) (+ (* 0.001953125 (pow b 2)) (* 0.0078125 (* (pow a 2) (pow b 2))))) in a
0.264 * [taylor]: Taking taylor expansion of (* 0.0078125 (* a (pow b 2))) in a
0.264 * [taylor]: Taking taylor expansion of 0.0078125 in a
0.264 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a
0.265 * [taylor]: Taking taylor expansion of a in a
0.265 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.265 * [taylor]: Taking taylor expansion of b in a
0.265 * [taylor]: Taking taylor expansion of (+ (* 0.001953125 (pow b 2)) (* 0.0078125 (* (pow a 2) (pow b 2)))) in a
0.265 * [taylor]: Taking taylor expansion of (* 0.001953125 (pow b 2)) in a
0.265 * [taylor]: Taking taylor expansion of 0.001953125 in a
0.265 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.265 * [taylor]: Taking taylor expansion of b in a
0.265 * [taylor]: Taking taylor expansion of (* 0.0078125 (* (pow a 2) (pow b 2))) in a
0.265 * [taylor]: Taking taylor expansion of 0.0078125 in a
0.265 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
0.265 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.265 * [taylor]: Taking taylor expansion of a in a
0.265 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.265 * [taylor]: Taking taylor expansion of b in a
0.265 * [taylor]: Taking taylor expansion of (neg (* 0.001953125 (pow b 2))) in b
0.265 * [taylor]: Taking taylor expansion of (* 0.001953125 (pow b 2)) in b
0.265 * [taylor]: Taking taylor expansion of 0.001953125 in b
0.265 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.265 * [taylor]: Taking taylor expansion of b in b
0.265 * [taylor]: Taking taylor expansion of 0 in b
0.265 * [taylor]: Taking taylor expansion of 0 in b
0.265 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in (t a b) around 0
0.265 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in b
0.265 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in b
0.265 * [taylor]: Taking taylor expansion of 0.0625 in b
0.265 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in b
0.265 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in b
0.265 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in b
0.266 * [taylor]: Taking taylor expansion of 2.0 in b
0.266 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.266 * [taylor]: Taking taylor expansion of a in b
0.266 * [taylor]: Taking taylor expansion of 1.0 in b
0.266 * [taylor]: Taking taylor expansion of (* t b) in b
0.266 * [taylor]: Taking taylor expansion of t in b
0.266 * [taylor]: Taking taylor expansion of b in b
0.266 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in a
0.266 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in a
0.266 * [taylor]: Taking taylor expansion of 0.0625 in a
0.266 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in a
0.266 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in a
0.266 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.266 * [taylor]: Taking taylor expansion of 2.0 in a
0.266 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.266 * [taylor]: Taking taylor expansion of a in a
0.266 * [taylor]: Taking taylor expansion of 1.0 in a
0.266 * [taylor]: Taking taylor expansion of (* t b) in a
0.266 * [taylor]: Taking taylor expansion of t in a
0.266 * [taylor]: Taking taylor expansion of b in a
0.266 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in t
0.266 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in t
0.266 * [taylor]: Taking taylor expansion of 0.0625 in t
0.266 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in t
0.266 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in t
0.266 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in t
0.266 * [taylor]: Taking taylor expansion of 2.0 in t
0.266 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.266 * [taylor]: Taking taylor expansion of a in t
0.266 * [taylor]: Taking taylor expansion of 1.0 in t
0.266 * [taylor]: Taking taylor expansion of (* t b) in t
0.266 * [taylor]: Taking taylor expansion of t in t
0.266 * [taylor]: Taking taylor expansion of b in t
0.267 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in t
0.267 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in t
0.267 * [taylor]: Taking taylor expansion of 0.0625 in t
0.267 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in t
0.267 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in t
0.267 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in t
0.267 * [taylor]: Taking taylor expansion of 2.0 in t
0.267 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.267 * [taylor]: Taking taylor expansion of a in t
0.267 * [taylor]: Taking taylor expansion of 1.0 in t
0.267 * [taylor]: Taking taylor expansion of (* t b) in t
0.267 * [taylor]: Taking taylor expansion of t in t
0.267 * [taylor]: Taking taylor expansion of b in t
0.267 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in a
0.267 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in a
0.267 * [taylor]: Taking taylor expansion of 0.0625 in a
0.267 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in a
0.267 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in a
0.267 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.267 * [taylor]: Taking taylor expansion of 2.0 in a
0.267 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.267 * [taylor]: Taking taylor expansion of a in a
0.267 * [taylor]: Taking taylor expansion of 1.0 in a
0.267 * [taylor]: Taking taylor expansion of (* t b) in a
0.267 * [taylor]: Taking taylor expansion of t in a
0.267 * [taylor]: Taking taylor expansion of b in a
0.268 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in b
0.268 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in b
0.268 * [taylor]: Taking taylor expansion of 0.0625 in b
0.268 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in b
0.268 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in b
0.268 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in b
0.268 * [taylor]: Taking taylor expansion of 2.0 in b
0.268 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.268 * [taylor]: Taking taylor expansion of a in b
0.268 * [taylor]: Taking taylor expansion of 1.0 in b
0.268 * [taylor]: Taking taylor expansion of (* t b) in b
0.268 * [taylor]: Taking taylor expansion of t in b
0.268 * [taylor]: Taking taylor expansion of b in b
0.268 * [taylor]: Taking taylor expansion of 0 in a
0.268 * [taylor]: Taking taylor expansion of 0 in b
0.268 * [taylor]: Taking taylor expansion of 0 in b
0.268 * [taylor]: Taking taylor expansion of 0 in a
0.268 * [taylor]: Taking taylor expansion of 0 in b
0.268 * [taylor]: Taking taylor expansion of 0 in b
0.268 * [taylor]: Taking taylor expansion of 0 in b
0.269 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in (t a b) around 0
0.269 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in b
0.269 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in b
0.269 * [taylor]: Taking taylor expansion of 0.0625 in b
0.269 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in b
0.269 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in b
0.269 * [taylor]: Taking taylor expansion of 1.0 in b
0.269 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in b
0.269 * [taylor]: Taking taylor expansion of 2.0 in b
0.269 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.269 * [taylor]: Taking taylor expansion of a in b
0.269 * [taylor]: Taking taylor expansion of (* t b) in b
0.269 * [taylor]: Taking taylor expansion of t in b
0.269 * [taylor]: Taking taylor expansion of b in b
0.269 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in a
0.269 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in a
0.269 * [taylor]: Taking taylor expansion of 0.0625 in a
0.269 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in a
0.269 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in a
0.269 * [taylor]: Taking taylor expansion of 1.0 in a
0.269 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.269 * [taylor]: Taking taylor expansion of 2.0 in a
0.269 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.269 * [taylor]: Taking taylor expansion of a in a
0.269 * [taylor]: Taking taylor expansion of (* t b) in a
0.269 * [taylor]: Taking taylor expansion of t in a
0.269 * [taylor]: Taking taylor expansion of b in a
0.270 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in t
0.270 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in t
0.270 * [taylor]: Taking taylor expansion of 0.0625 in t
0.270 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in t
0.270 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in t
0.270 * [taylor]: Taking taylor expansion of 1.0 in t
0.270 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in t
0.270 * [taylor]: Taking taylor expansion of 2.0 in t
0.270 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.270 * [taylor]: Taking taylor expansion of a in t
0.270 * [taylor]: Taking taylor expansion of (* t b) in t
0.270 * [taylor]: Taking taylor expansion of t in t
0.270 * [taylor]: Taking taylor expansion of b in t
0.270 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in t
0.270 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in t
0.270 * [taylor]: Taking taylor expansion of 0.0625 in t
0.270 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in t
0.270 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in t
0.270 * [taylor]: Taking taylor expansion of 1.0 in t
0.270 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in t
0.270 * [taylor]: Taking taylor expansion of 2.0 in t
0.270 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.270 * [taylor]: Taking taylor expansion of a in t
0.270 * [taylor]: Taking taylor expansion of (* t b) in t
0.270 * [taylor]: Taking taylor expansion of t in t
0.270 * [taylor]: Taking taylor expansion of b in t
0.271 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in a
0.271 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in a
0.271 * [taylor]: Taking taylor expansion of 0.0625 in a
0.271 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in a
0.271 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in a
0.271 * [taylor]: Taking taylor expansion of 1.0 in a
0.271 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.271 * [taylor]: Taking taylor expansion of 2.0 in a
0.271 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.271 * [taylor]: Taking taylor expansion of a in a
0.271 * [taylor]: Taking taylor expansion of (* t b) in a
0.271 * [taylor]: Taking taylor expansion of t in a
0.271 * [taylor]: Taking taylor expansion of b in a
0.271 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in b
0.271 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in b
0.271 * [taylor]: Taking taylor expansion of 0.0625 in b
0.271 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in b
0.271 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in b
0.271 * [taylor]: Taking taylor expansion of 1.0 in b
0.271 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in b
0.271 * [taylor]: Taking taylor expansion of 2.0 in b
0.271 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.271 * [taylor]: Taking taylor expansion of a in b
0.271 * [taylor]: Taking taylor expansion of (* t b) in b
0.271 * [taylor]: Taking taylor expansion of t in b
0.271 * [taylor]: Taking taylor expansion of b in b
0.272 * [taylor]: Taking taylor expansion of 0 in a
0.272 * [taylor]: Taking taylor expansion of 0 in b
0.272 * [taylor]: Taking taylor expansion of 0 in b
0.272 * [taylor]: Taking taylor expansion of 0 in a
0.272 * [taylor]: Taking taylor expansion of 0 in b
0.272 * [taylor]: Taking taylor expansion of 0 in b
0.272 * [taylor]: Taking taylor expansion of 0 in b
0.272 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
0.272 * [approximate]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in (t a b) around 0
0.272 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in b
0.272 * [taylor]: Taking taylor expansion of 0.0625 in b
0.272 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in b
0.272 * [taylor]: Taking taylor expansion of t in b
0.272 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in b
0.272 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in b
0.272 * [taylor]: Taking taylor expansion of (* 2.0 a) in b
0.272 * [taylor]: Taking taylor expansion of 2.0 in b
0.272 * [taylor]: Taking taylor expansion of a in b
0.272 * [taylor]: Taking taylor expansion of 1.0 in b
0.272 * [taylor]: Taking taylor expansion of b in b
0.272 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in a
0.272 * [taylor]: Taking taylor expansion of 0.0625 in a
0.272 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in a
0.272 * [taylor]: Taking taylor expansion of t in a
0.272 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in a
0.272 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in a
0.272 * [taylor]: Taking taylor expansion of (* 2.0 a) in a
0.272 * [taylor]: Taking taylor expansion of 2.0 in a
0.272 * [taylor]: Taking taylor expansion of a in a
0.272 * [taylor]: Taking taylor expansion of 1.0 in a
0.272 * [taylor]: Taking taylor expansion of b in a
0.272 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in t
0.272 * [taylor]: Taking taylor expansion of 0.0625 in t
0.272 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in t
0.272 * [taylor]: Taking taylor expansion of t in t
0.272 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in t
0.272 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in t
0.272 * [taylor]: Taking taylor expansion of (* 2.0 a) in t
0.272 * [taylor]: Taking taylor expansion of 2.0 in t
0.272 * [taylor]: Taking taylor expansion of a in t
0.272 * [taylor]: Taking taylor expansion of 1.0 in t
0.273 * [taylor]: Taking taylor expansion of b in t
0.273 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in t
0.273 * [taylor]: Taking taylor expansion of 0.0625 in t
0.273 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in t
0.273 * [taylor]: Taking taylor expansion of t in t
0.273 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in t
0.273 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in t
0.273 * [taylor]: Taking taylor expansion of (* 2.0 a) in t
0.273 * [taylor]: Taking taylor expansion of 2.0 in t
0.273 * [taylor]: Taking taylor expansion of a in t
0.273 * [taylor]: Taking taylor expansion of 1.0 in t
0.273 * [taylor]: Taking taylor expansion of b in t
0.273 * [taylor]: Taking taylor expansion of 0 in a
0.273 * [taylor]: Taking taylor expansion of 0 in b
0.273 * [taylor]: Taking taylor expansion of (+ (* 0.125 (* a b)) (* 0.0625 b)) in a
0.273 * [taylor]: Taking taylor expansion of (* 0.125 (* a b)) in a
0.273 * [taylor]: Taking taylor expansion of 0.125 in a
0.273 * [taylor]: Taking taylor expansion of (* a b) in a
0.273 * [taylor]: Taking taylor expansion of a in a
0.273 * [taylor]: Taking taylor expansion of b in a
0.273 * [taylor]: Taking taylor expansion of (* 0.0625 b) in a
0.273 * [taylor]: Taking taylor expansion of 0.0625 in a
0.273 * [taylor]: Taking taylor expansion of b in a
0.273 * [taylor]: Taking taylor expansion of (* 0.0625 b) in b
0.273 * [taylor]: Taking taylor expansion of 0.0625 in b
0.273 * [taylor]: Taking taylor expansion of b in b
0.273 * [taylor]: Taking taylor expansion of 0 in b
0.274 * [taylor]: Taking taylor expansion of 0 in a
0.274 * [taylor]: Taking taylor expansion of 0 in b
0.274 * [taylor]: Taking taylor expansion of (* 0.125 b) in b
0.274 * [taylor]: Taking taylor expansion of 0.125 in b
0.274 * [taylor]: Taking taylor expansion of b in b
0.274 * [approximate]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in (t a b) around 0
0.274 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in b
0.274 * [taylor]: Taking taylor expansion of 0.0625 in b
0.274 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in b
0.274 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in b
0.274 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in b
0.274 * [taylor]: Taking taylor expansion of 2.0 in b
0.274 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.274 * [taylor]: Taking taylor expansion of a in b
0.274 * [taylor]: Taking taylor expansion of 1.0 in b
0.274 * [taylor]: Taking taylor expansion of (* t b) in b
0.274 * [taylor]: Taking taylor expansion of t in b
0.274 * [taylor]: Taking taylor expansion of b in b
0.274 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in a
0.274 * [taylor]: Taking taylor expansion of 0.0625 in a
0.274 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in a
0.274 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in a
0.274 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.274 * [taylor]: Taking taylor expansion of 2.0 in a
0.274 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.274 * [taylor]: Taking taylor expansion of a in a
0.274 * [taylor]: Taking taylor expansion of 1.0 in a
0.274 * [taylor]: Taking taylor expansion of (* t b) in a
0.274 * [taylor]: Taking taylor expansion of t in a
0.274 * [taylor]: Taking taylor expansion of b in a
0.275 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in t
0.275 * [taylor]: Taking taylor expansion of 0.0625 in t
0.275 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in t
0.275 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in t
0.275 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in t
0.275 * [taylor]: Taking taylor expansion of 2.0 in t
0.275 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.275 * [taylor]: Taking taylor expansion of a in t
0.275 * [taylor]: Taking taylor expansion of 1.0 in t
0.275 * [taylor]: Taking taylor expansion of (* t b) in t
0.275 * [taylor]: Taking taylor expansion of t in t
0.275 * [taylor]: Taking taylor expansion of b in t
0.275 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in t
0.275 * [taylor]: Taking taylor expansion of 0.0625 in t
0.275 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in t
0.275 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in t
0.275 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in t
0.275 * [taylor]: Taking taylor expansion of 2.0 in t
0.275 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.275 * [taylor]: Taking taylor expansion of a in t
0.275 * [taylor]: Taking taylor expansion of 1.0 in t
0.275 * [taylor]: Taking taylor expansion of (* t b) in t
0.275 * [taylor]: Taking taylor expansion of t in t
0.275 * [taylor]: Taking taylor expansion of b in t
0.275 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) b)) in a
0.275 * [taylor]: Taking taylor expansion of 0.0625 in a
0.275 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) b) in a
0.275 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in a
0.275 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.275 * [taylor]: Taking taylor expansion of 2.0 in a
0.275 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.275 * [taylor]: Taking taylor expansion of a in a
0.275 * [taylor]: Taking taylor expansion of 1.0 in a
0.275 * [taylor]: Taking taylor expansion of b in a
0.276 * [taylor]: Taking taylor expansion of (/ 0.125 b) in b
0.276 * [taylor]: Taking taylor expansion of 0.125 in b
0.276 * [taylor]: Taking taylor expansion of b in b
0.276 * [taylor]: Taking taylor expansion of 0 in a
0.276 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 b)) in b
0.276 * [taylor]: Taking taylor expansion of 0.0625 in b
0.276 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.276 * [taylor]: Taking taylor expansion of b in b
0.276 * [taylor]: Taking taylor expansion of 0 in a
0.277 * [taylor]: Taking taylor expansion of 0 in b
0.277 * [taylor]: Taking taylor expansion of 0 in b
0.277 * [taylor]: Taking taylor expansion of 0 in a
0.277 * [taylor]: Taking taylor expansion of 0 in b
0.277 * [taylor]: Taking taylor expansion of 0 in b
0.278 * [taylor]: Taking taylor expansion of 0 in b
0.278 * [approximate]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in (t a b) around 0
0.278 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in b
0.278 * [taylor]: Taking taylor expansion of 0.0625 in b
0.278 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in b
0.278 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in b
0.278 * [taylor]: Taking taylor expansion of 1.0 in b
0.278 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in b
0.278 * [taylor]: Taking taylor expansion of 2.0 in b
0.278 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.278 * [taylor]: Taking taylor expansion of a in b
0.278 * [taylor]: Taking taylor expansion of (* t b) in b
0.278 * [taylor]: Taking taylor expansion of t in b
0.278 * [taylor]: Taking taylor expansion of b in b
0.278 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in a
0.278 * [taylor]: Taking taylor expansion of 0.0625 in a
0.278 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in a
0.278 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in a
0.278 * [taylor]: Taking taylor expansion of 1.0 in a
0.278 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.278 * [taylor]: Taking taylor expansion of 2.0 in a
0.278 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.278 * [taylor]: Taking taylor expansion of a in a
0.279 * [taylor]: Taking taylor expansion of (* t b) in a
0.279 * [taylor]: Taking taylor expansion of t in a
0.279 * [taylor]: Taking taylor expansion of b in a
0.279 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in t
0.279 * [taylor]: Taking taylor expansion of 0.0625 in t
0.279 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in t
0.279 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in t
0.279 * [taylor]: Taking taylor expansion of 1.0 in t
0.279 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in t
0.279 * [taylor]: Taking taylor expansion of 2.0 in t
0.279 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.279 * [taylor]: Taking taylor expansion of a in t
0.279 * [taylor]: Taking taylor expansion of (* t b) in t
0.279 * [taylor]: Taking taylor expansion of t in t
0.279 * [taylor]: Taking taylor expansion of b in t
0.279 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in t
0.279 * [taylor]: Taking taylor expansion of 0.0625 in t
0.279 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in t
0.279 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in t
0.279 * [taylor]: Taking taylor expansion of 1.0 in t
0.279 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in t
0.279 * [taylor]: Taking taylor expansion of 2.0 in t
0.279 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.279 * [taylor]: Taking taylor expansion of a in t
0.279 * [taylor]: Taking taylor expansion of (* t b) in t
0.279 * [taylor]: Taking taylor expansion of t in t
0.279 * [taylor]: Taking taylor expansion of b in t
0.279 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) b)) in a
0.279 * [taylor]: Taking taylor expansion of 0.0625 in a
0.279 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) b) in a
0.279 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in a
0.280 * [taylor]: Taking taylor expansion of 1.0 in a
0.280 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.280 * [taylor]: Taking taylor expansion of 2.0 in a
0.280 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.280 * [taylor]: Taking taylor expansion of a in a
0.280 * [taylor]: Taking taylor expansion of b in a
0.280 * [taylor]: Taking taylor expansion of (/ -0.125 b) in b
0.280 * [taylor]: Taking taylor expansion of -0.125 in b
0.280 * [taylor]: Taking taylor expansion of b in b
0.280 * [taylor]: Taking taylor expansion of 0 in a
0.280 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 b)) in b
0.280 * [taylor]: Taking taylor expansion of 0.0625 in b
0.280 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.280 * [taylor]: Taking taylor expansion of b in b
0.281 * [taylor]: Taking taylor expansion of 0 in a
0.281 * [taylor]: Taking taylor expansion of 0 in b
0.281 * [taylor]: Taking taylor expansion of 0 in b
0.281 * [taylor]: Taking taylor expansion of 0 in a
0.281 * [taylor]: Taking taylor expansion of 0 in b
0.281 * [taylor]: Taking taylor expansion of 0 in b
0.282 * [taylor]: Taking taylor expansion of 0 in b
0.282 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
0.282 * [approximate]: Taking taylor expansion of (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0)))) in (y z t) around 0
0.282 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0)))) in t
0.282 * [taylor]: Taking taylor expansion of 0.0625 in t
0.282 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 2.0 y) 1.0))) in t
0.282 * [taylor]: Taking taylor expansion of t in t
0.282 * [taylor]: Taking taylor expansion of (* z (+ (* 2.0 y) 1.0)) in t
0.282 * [taylor]: Taking taylor expansion of z in t
0.282 * [taylor]: Taking taylor expansion of (+ (* 2.0 y) 1.0) in t
0.282 * [taylor]: Taking taylor expansion of (* 2.0 y) in t
0.282 * [taylor]: Taking taylor expansion of 2.0 in t
0.282 * [taylor]: Taking taylor expansion of y in t
0.282 * [taylor]: Taking taylor expansion of 1.0 in t
0.282 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0)))) in z
0.282 * [taylor]: Taking taylor expansion of 0.0625 in z
0.282 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 2.0 y) 1.0))) in z
0.282 * [taylor]: Taking taylor expansion of t in z
0.282 * [taylor]: Taking taylor expansion of (* z (+ (* 2.0 y) 1.0)) in z
0.282 * [taylor]: Taking taylor expansion of z in z
0.282 * [taylor]: Taking taylor expansion of (+ (* 2.0 y) 1.0) in z
0.282 * [taylor]: Taking taylor expansion of (* 2.0 y) in z
0.282 * [taylor]: Taking taylor expansion of 2.0 in z
0.282 * [taylor]: Taking taylor expansion of y in z
0.282 * [taylor]: Taking taylor expansion of 1.0 in z
0.282 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0)))) in y
0.282 * [taylor]: Taking taylor expansion of 0.0625 in y
0.283 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 2.0 y) 1.0))) in y
0.283 * [taylor]: Taking taylor expansion of t in y
0.283 * [taylor]: Taking taylor expansion of (* z (+ (* 2.0 y) 1.0)) in y
0.283 * [taylor]: Taking taylor expansion of z in y
0.283 * [taylor]: Taking taylor expansion of (+ (* 2.0 y) 1.0) in y
0.283 * [taylor]: Taking taylor expansion of (* 2.0 y) in y
0.283 * [taylor]: Taking taylor expansion of 2.0 in y
0.283 * [taylor]: Taking taylor expansion of y in y
0.283 * [taylor]: Taking taylor expansion of 1.0 in y
0.283 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0)))) in y
0.283 * [taylor]: Taking taylor expansion of 0.0625 in y
0.283 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 2.0 y) 1.0))) in y
0.283 * [taylor]: Taking taylor expansion of t in y
0.283 * [taylor]: Taking taylor expansion of (* z (+ (* 2.0 y) 1.0)) in y
0.283 * [taylor]: Taking taylor expansion of z in y
0.283 * [taylor]: Taking taylor expansion of (+ (* 2.0 y) 1.0) in y
0.283 * [taylor]: Taking taylor expansion of (* 2.0 y) in y
0.283 * [taylor]: Taking taylor expansion of 2.0 in y
0.283 * [taylor]: Taking taylor expansion of y in y
0.283 * [taylor]: Taking taylor expansion of 1.0 in y
0.283 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in z
0.283 * [taylor]: Taking taylor expansion of 0.0625 in z
0.283 * [taylor]: Taking taylor expansion of (* t z) in z
0.283 * [taylor]: Taking taylor expansion of t in z
0.283 * [taylor]: Taking taylor expansion of z in z
0.283 * [taylor]: Taking taylor expansion of 0 in t
0.283 * [taylor]: Taking taylor expansion of (* 0.125 (* t z)) in z
0.283 * [taylor]: Taking taylor expansion of 0.125 in z
0.283 * [taylor]: Taking taylor expansion of (* t z) in z
0.283 * [taylor]: Taking taylor expansion of t in z
0.283 * [taylor]: Taking taylor expansion of z in z
0.283 * [taylor]: Taking taylor expansion of 0 in t
0.283 * [taylor]: Taking taylor expansion of (* 0.0625 t) in t
0.283 * [taylor]: Taking taylor expansion of 0.0625 in t
0.283 * [taylor]: Taking taylor expansion of t in t
0.284 * [taylor]: Taking taylor expansion of 0 in z
0.284 * [taylor]: Taking taylor expansion of 0 in t
0.284 * [taylor]: Taking taylor expansion of (* 0.125 t) in t
0.284 * [taylor]: Taking taylor expansion of 0.125 in t
0.284 * [taylor]: Taking taylor expansion of t in t
0.284 * [approximate]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z))) in (y z t) around 0
0.284 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z))) in t
0.284 * [taylor]: Taking taylor expansion of 0.0625 in t
0.284 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)) in t
0.284 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 y)) 1.0) in t
0.284 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in t
0.284 * [taylor]: Taking taylor expansion of 2.0 in t
0.284 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.284 * [taylor]: Taking taylor expansion of y in t
0.284 * [taylor]: Taking taylor expansion of 1.0 in t
0.284 * [taylor]: Taking taylor expansion of (* t z) in t
0.284 * [taylor]: Taking taylor expansion of t in t
0.284 * [taylor]: Taking taylor expansion of z in t
0.284 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z))) in z
0.284 * [taylor]: Taking taylor expansion of 0.0625 in z
0.284 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)) in z
0.284 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 y)) 1.0) in z
0.284 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in z
0.284 * [taylor]: Taking taylor expansion of 2.0 in z
0.284 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.284 * [taylor]: Taking taylor expansion of y in z
0.284 * [taylor]: Taking taylor expansion of 1.0 in z
0.284 * [taylor]: Taking taylor expansion of (* t z) in z
0.284 * [taylor]: Taking taylor expansion of t in z
0.284 * [taylor]: Taking taylor expansion of z in z
0.285 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z))) in y
0.285 * [taylor]: Taking taylor expansion of 0.0625 in y
0.285 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)) in y
0.285 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 y)) 1.0) in y
0.285 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
0.285 * [taylor]: Taking taylor expansion of 2.0 in y
0.285 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.285 * [taylor]: Taking taylor expansion of y in y
0.285 * [taylor]: Taking taylor expansion of 1.0 in y
0.285 * [taylor]: Taking taylor expansion of (* t z) in y
0.285 * [taylor]: Taking taylor expansion of t in y
0.285 * [taylor]: Taking taylor expansion of z in y
0.285 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z))) in y
0.285 * [taylor]: Taking taylor expansion of 0.0625 in y
0.285 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)) in y
0.285 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 y)) 1.0) in y
0.285 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
0.285 * [taylor]: Taking taylor expansion of 2.0 in y
0.285 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.285 * [taylor]: Taking taylor expansion of y in y
0.285 * [taylor]: Taking taylor expansion of 1.0 in y
0.285 * [taylor]: Taking taylor expansion of (* t z) in y
0.285 * [taylor]: Taking taylor expansion of t in y
0.285 * [taylor]: Taking taylor expansion of z in y
0.285 * [taylor]: Taking taylor expansion of (/ 0.125 (* t z)) in z
0.285 * [taylor]: Taking taylor expansion of 0.125 in z
0.285 * [taylor]: Taking taylor expansion of (* t z) in z
0.285 * [taylor]: Taking taylor expansion of t in z
0.285 * [taylor]: Taking taylor expansion of z in z
0.285 * [taylor]: Taking taylor expansion of (/ 0.125 t) in t
0.285 * [taylor]: Taking taylor expansion of 0.125 in t
0.285 * [taylor]: Taking taylor expansion of t in t
0.286 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z
0.286 * [taylor]: Taking taylor expansion of 0.0625 in z
0.286 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.286 * [taylor]: Taking taylor expansion of (* t z) in z
0.286 * [taylor]: Taking taylor expansion of t in z
0.286 * [taylor]: Taking taylor expansion of z in z
0.286 * [taylor]: Taking taylor expansion of (/ 0.0625 t) in t
0.286 * [taylor]: Taking taylor expansion of 0.0625 in t
0.286 * [taylor]: Taking taylor expansion of t in t
0.286 * [taylor]: Taking taylor expansion of 0 in t
0.286 * [taylor]: Taking taylor expansion of 0 in z
0.286 * [taylor]: Taking taylor expansion of 0 in t
0.287 * [taylor]: Taking taylor expansion of 0 in t
0.287 * [taylor]: Taking taylor expansion of 0 in z
0.287 * [taylor]: Taking taylor expansion of 0 in t
0.287 * [taylor]: Taking taylor expansion of 0 in t
0.288 * [taylor]: Taking taylor expansion of 0 in t
0.288 * [approximate]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))) in (y z t) around 0
0.288 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))) in t
0.288 * [taylor]: Taking taylor expansion of 0.0625 in t
0.288 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)) in t
0.288 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 y))) in t
0.288 * [taylor]: Taking taylor expansion of 1.0 in t
0.288 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in t
0.288 * [taylor]: Taking taylor expansion of 2.0 in t
0.288 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.288 * [taylor]: Taking taylor expansion of y in t
0.288 * [taylor]: Taking taylor expansion of (* t z) in t
0.288 * [taylor]: Taking taylor expansion of t in t
0.288 * [taylor]: Taking taylor expansion of z in t
0.288 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))) in z
0.288 * [taylor]: Taking taylor expansion of 0.0625 in z
0.288 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)) in z
0.288 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 y))) in z
0.288 * [taylor]: Taking taylor expansion of 1.0 in z
0.288 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in z
0.288 * [taylor]: Taking taylor expansion of 2.0 in z
0.288 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.288 * [taylor]: Taking taylor expansion of y in z
0.288 * [taylor]: Taking taylor expansion of (* t z) in z
0.288 * [taylor]: Taking taylor expansion of t in z
0.288 * [taylor]: Taking taylor expansion of z in z
0.289 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))) in y
0.289 * [taylor]: Taking taylor expansion of 0.0625 in y
0.289 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)) in y
0.289 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 y))) in y
0.289 * [taylor]: Taking taylor expansion of 1.0 in y
0.289 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
0.289 * [taylor]: Taking taylor expansion of 2.0 in y
0.289 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.289 * [taylor]: Taking taylor expansion of y in y
0.289 * [taylor]: Taking taylor expansion of (* t z) in y
0.289 * [taylor]: Taking taylor expansion of t in y
0.289 * [taylor]: Taking taylor expansion of z in y
0.289 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))) in y
0.289 * [taylor]: Taking taylor expansion of 0.0625 in y
0.289 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)) in y
0.289 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 y))) in y
0.289 * [taylor]: Taking taylor expansion of 1.0 in y
0.289 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
0.289 * [taylor]: Taking taylor expansion of 2.0 in y
0.289 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.289 * [taylor]: Taking taylor expansion of y in y
0.289 * [taylor]: Taking taylor expansion of (* t z) in y
0.289 * [taylor]: Taking taylor expansion of t in y
0.289 * [taylor]: Taking taylor expansion of z in y
0.289 * [taylor]: Taking taylor expansion of (/ -0.125 (* t z)) in z
0.289 * [taylor]: Taking taylor expansion of -0.125 in z
0.289 * [taylor]: Taking taylor expansion of (* t z) in z
0.289 * [taylor]: Taking taylor expansion of t in z
0.289 * [taylor]: Taking taylor expansion of z in z
0.289 * [taylor]: Taking taylor expansion of (/ -0.125 t) in t
0.289 * [taylor]: Taking taylor expansion of -0.125 in t
0.289 * [taylor]: Taking taylor expansion of t in t
0.290 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z
0.290 * [taylor]: Taking taylor expansion of 0.0625 in z
0.290 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.290 * [taylor]: Taking taylor expansion of (* t z) in z
0.290 * [taylor]: Taking taylor expansion of t in z
0.290 * [taylor]: Taking taylor expansion of z in z
0.290 * [taylor]: Taking taylor expansion of (/ 0.0625 t) in t
0.290 * [taylor]: Taking taylor expansion of 0.0625 in t
0.290 * [taylor]: Taking taylor expansion of t in t
0.290 * [taylor]: Taking taylor expansion of 0 in t
0.290 * [taylor]: Taking taylor expansion of 0 in z
0.290 * [taylor]: Taking taylor expansion of 0 in t
0.291 * [taylor]: Taking taylor expansion of 0 in t
0.291 * [taylor]: Taking taylor expansion of 0 in z
0.291 * [taylor]: Taking taylor expansion of 0 in t
0.291 * [taylor]: Taking taylor expansion of 0 in t
0.291 * [taylor]: Taking taylor expansion of 0 in t
0.292 * * * [progress]: simplifying candidates
0.293 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))))
  (exp (cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))))
  (* (cbrt (cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))) (cbrt (cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))))
  (cbrt (cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))))
  (* (* (cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))) (cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))) (cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))))
  (sqrt (cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))))
  (sqrt (cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))))
  (log (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (exp (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (* (cbrt (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))) (cbrt (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))))
  (cbrt (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (* (* (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))) (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (sqrt (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (sqrt (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (+ (log t) (+ (log (+ 1.0 (* 2.0 a))) (- (log b) (log 16.0))))
  (+ (log t) (+ (log (+ 1.0 (* 2.0 a))) (log (/ b 16.0))))
  (+ (log t) (log (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (log (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (exp (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (* (* (* t t) t) (* (* (* (+ 1.0 (* 2.0 a)) (+ 1.0 (* 2.0 a))) (+ 1.0 (* 2.0 a))) (/ (* (* b b) b) (* (* 16.0 16.0) 16.0))))
  (* (* (* t t) t) (* (* (* (+ 1.0 (* 2.0 a)) (+ 1.0 (* 2.0 a))) (+ 1.0 (* 2.0 a))) (* (* (/ b 16.0) (/ b 16.0)) (/ b 16.0))))
  (* (* (* t t) t) (* (* (* (+ 1.0 (* 2.0 a)) (/ b 16.0)) (* (+ 1.0 (* 2.0 a)) (/ b 16.0))) (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (* (cbrt (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) (cbrt (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (cbrt (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (* (* (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))) (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (sqrt (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (sqrt (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (* t (+ 1.0 (* 2.0 a)))
  (* (cbrt t) (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (* (sqrt t) (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (* t (* (+ (pow 1.0 3) (pow (* 2.0 a) 3)) b))
  (* t (* (- (* 1.0 1.0) (* (* 2.0 a) (* 2.0 a))) b))
  (* t (* (+ 1.0 (* 2.0 a)) b))
  (* t (* (+ (pow 1.0 3) (pow (* 2.0 a) 3)) (/ b 16.0)))
  (* t (* (- (* 1.0 1.0) (* (* 2.0 a) (* 2.0 a))) (/ b 16.0)))
  (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))
  (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))
  (+ (log (+ (* y 2.0) 1.0)) (+ (log z) (- (log t) (log 16.0))))
  (+ (log (+ (* y 2.0) 1.0)) (+ (log z) (log (/ t 16.0))))
  (+ (log (+ (* y 2.0) 1.0)) (log (* z (/ t 16.0))))
  (log (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))
  (exp (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))
  (* (* (* (+ (* y 2.0) 1.0) (+ (* y 2.0) 1.0)) (+ (* y 2.0) 1.0)) (* (* (* z z) z) (/ (* (* t t) t) (* (* 16.0 16.0) 16.0))))
  (* (* (* (+ (* y 2.0) 1.0) (+ (* y 2.0) 1.0)) (+ (* y 2.0) 1.0)) (* (* (* z z) z) (* (* (/ t 16.0) (/ t 16.0)) (/ t 16.0))))
  (* (* (* (+ (* y 2.0) 1.0) (+ (* y 2.0) 1.0)) (+ (* y 2.0) 1.0)) (* (* (* z (/ t 16.0)) (* z (/ t 16.0))) (* z (/ t 16.0))))
  (* (cbrt (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))) (cbrt (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))))
  (cbrt (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))
  (* (* (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))) (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))) (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))
  (sqrt (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))
  (sqrt (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))
  (* (+ (pow (* y 2.0) 3) (pow 1.0 3)) (* z t))
  (* (+ (* (* y 2.0) (* y 2.0)) (- (* 1.0 1.0) (* (* y 2.0) 1.0))) 16.0)
  (* (- (* (* y 2.0) (* y 2.0)) (* 1.0 1.0)) (* z t))
  (* (- (* y 2.0) 1.0) 16.0)
  (* (+ (* y 2.0) 1.0) z)
  (* (cbrt (+ (* y 2.0) 1.0)) (* z (/ t 16.0)))
  (* (sqrt (+ (* y 2.0) 1.0)) (* z (/ t 16.0)))
  (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))
  (* (+ (* y 2.0) 1.0) (* z t))
  (* (+ (pow (* y 2.0) 3) (pow 1.0 3)) (* z (/ t 16.0)))
  (* (- (* (* y 2.0) (* y 2.0)) (* 1.0 1.0)) (* z (/ t 16.0)))
  1
  (cos (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0)))))
  (cos (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0)))))
  1
  (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))))
  (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))))
  0
  (+ (* 0.0625 (* t b)) (* 0.125 (* a (* t b))))
  (+ (* 0.0625 (* t b)) (* 0.125 (* a (* t b))))
  0
  (+ (* 0.0625 (* t z)) (* 0.125 (* t (* z y))))
  (+ (* 0.0625 (* t z)) (* 0.125 (* t (* z y))))
0.309 * * [simplify]: iteration  0 :  5569  enodes  (cost  934 )
0.313 * [simplify]: Simplified to:
   (log (cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))))
  (exp (cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))))
  (* (cbrt (cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))) (cbrt (cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))))
  (cbrt (cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))))
  (pow (cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))) 3)
  (sqrt (cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))))
  (sqrt (cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))))
  (log (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (exp (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (* (cbrt (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))) (cbrt (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))))
  (cbrt (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (pow (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) 3)
  (sqrt (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (sqrt (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (log (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (log (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (log (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (log (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (pow (exp t) (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (pow (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))) 3)
  (pow (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))) 3)
  (pow (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))) 3)
  (* (cbrt (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) (cbrt (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (cbrt (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (pow (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))) 3)
  (sqrt (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (sqrt (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (* t (+ 1.0 (* 2.0 a)))
  (* (+ 1.0 (* 2.0 a)) (* (/ b 16.0) (cbrt t)))
  (* (+ 1.0 (* 2.0 a)) (* (/ b 16.0) (sqrt t)))
  (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (* t (* b (+ (pow 1.0 3) (pow (* 2.0 a) 3))))
  (* t (* (+ 1.0 (* 2.0 a)) (* (- 1.0 (* 2.0 a)) b)))
  (* t (* (+ 1.0 (* 2.0 a)) b))
  (* t (* (/ b 16.0) (+ (pow 1.0 3) (pow (* 2.0 a) 3))))
  (* t (* (+ 1.0 (* 2.0 a)) (* (- 1.0 (* 2.0 a)) (/ b 16.0))))
  (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))
  (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))
  (log (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))
  (log (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))
  (log (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))
  (log (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))
  (pow (exp (+ (* y 2.0) 1.0)) (* z (/ t 16.0)))
  (pow (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))) 3)
  (pow (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))) 3)
  (pow (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))) 3)
  (* (cbrt (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))) (cbrt (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))))
  (cbrt (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))
  (pow (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))) 3)
  (sqrt (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))
  (sqrt (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))
  (* z (* t (+ (pow 1.0 3) (pow (* y 2.0) 3))))
  (* 16.0 (+ (* 1.0 1.0) (* (* y 2.0) (- (* y 2.0) 1.0))))
  (* (+ (* y 2.0) 1.0) (* (- (* y 2.0) 1.0) (* z t)))
  (* 16.0 (- (* y 2.0) 1.0))
  (* (+ (* y 2.0) 1.0) z)
  (* z (* (/ t 16.0) (cbrt (+ (* y 2.0) 1.0))))
  (* z (* (/ t 16.0) (sqrt (+ (* y 2.0) 1.0))))
  (* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))
  (* (+ (* y 2.0) 1.0) (* z t))
  (* z (* (/ t 16.0) (+ (pow 1.0 3) (pow (* y 2.0) 3))))
  (* (+ (* y 2.0) 1.0) (* (- (* y 2.0) 1.0) (* z (/ t 16.0))))
  1
  (cos (* (+ (* y 2.0) 1.0) (* z (* t 0.0625))))
  (cos (* (+ (* y 2.0) 1.0) (* z (* t 0.0625))))
  1
  (cos (* t (* (* (+ 1.0 (* 2.0 a)) b) 0.0625)))
  (cos (* t (* (* (+ 1.0 (* 2.0 a)) b) 0.0625)))
  0
  (* (* t b) (+ 0.0625 (* a 0.125)))
  (* (* t b) (+ 0.0625 (* a 0.125)))
  0
  (* (* z t) (+ 0.0625 (* y 0.125)))
  (* (* z t) (+ 0.0625 (* y 0.125)))
0.313 * * * [progress]: adding candidates to table
0.516 * * [progress]: iteration 2 / 4
0.516 * * * [progress]: picking best candidate
0.631 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (* x (* 1 (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))))>
0.631 * * * [progress]: localizing error
0.644 * * * [progress]: generating rewritten candidates
0.644 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.648 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
0.656 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.662 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2)
0.673 * * * [progress]: generating series expansions
0.673 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.673 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in (t a b) around 0
0.673 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in b
0.673 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in b
0.673 * [taylor]: Taking taylor expansion of 0.0625 in b
0.673 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in b
0.673 * [taylor]: Taking taylor expansion of t in b
0.673 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in b
0.673 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in b
0.673 * [taylor]: Taking taylor expansion of (* 2.0 a) in b
0.673 * [taylor]: Taking taylor expansion of 2.0 in b
0.673 * [taylor]: Taking taylor expansion of a in b
0.673 * [taylor]: Taking taylor expansion of 1.0 in b
0.674 * [taylor]: Taking taylor expansion of b in b
0.674 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in a
0.674 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in a
0.674 * [taylor]: Taking taylor expansion of 0.0625 in a
0.674 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in a
0.674 * [taylor]: Taking taylor expansion of t in a
0.674 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in a
0.674 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in a
0.674 * [taylor]: Taking taylor expansion of (* 2.0 a) in a
0.674 * [taylor]: Taking taylor expansion of 2.0 in a
0.674 * [taylor]: Taking taylor expansion of a in a
0.674 * [taylor]: Taking taylor expansion of 1.0 in a
0.674 * [taylor]: Taking taylor expansion of b in a
0.674 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in t
0.674 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in t
0.674 * [taylor]: Taking taylor expansion of 0.0625 in t
0.674 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in t
0.674 * [taylor]: Taking taylor expansion of t in t
0.674 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in t
0.674 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in t
0.674 * [taylor]: Taking taylor expansion of (* 2.0 a) in t
0.674 * [taylor]: Taking taylor expansion of 2.0 in t
0.674 * [taylor]: Taking taylor expansion of a in t
0.674 * [taylor]: Taking taylor expansion of 1.0 in t
0.674 * [taylor]: Taking taylor expansion of b in t
0.675 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in t
0.675 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in t
0.675 * [taylor]: Taking taylor expansion of 0.0625 in t
0.675 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in t
0.675 * [taylor]: Taking taylor expansion of t in t
0.675 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in t
0.675 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in t
0.675 * [taylor]: Taking taylor expansion of (* 2.0 a) in t
0.675 * [taylor]: Taking taylor expansion of 2.0 in t
0.675 * [taylor]: Taking taylor expansion of a in t
0.675 * [taylor]: Taking taylor expansion of 1.0 in t
0.675 * [taylor]: Taking taylor expansion of b in t
0.675 * [taylor]: Taking taylor expansion of 1 in a
0.675 * [taylor]: Taking taylor expansion of 1 in b
0.675 * [taylor]: Taking taylor expansion of 0 in a
0.675 * [taylor]: Taking taylor expansion of 0 in b
0.675 * [taylor]: Taking taylor expansion of 0 in b
0.676 * [taylor]: Taking taylor expansion of (neg (+ (* 0.0078125 (* a (pow b 2))) (+ (* 0.001953125 (pow b 2)) (* 0.0078125 (* (pow a 2) (pow b 2)))))) in a
0.676 * [taylor]: Taking taylor expansion of (+ (* 0.0078125 (* a (pow b 2))) (+ (* 0.001953125 (pow b 2)) (* 0.0078125 (* (pow a 2) (pow b 2))))) in a
0.676 * [taylor]: Taking taylor expansion of (* 0.0078125 (* a (pow b 2))) in a
0.676 * [taylor]: Taking taylor expansion of 0.0078125 in a
0.676 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a
0.676 * [taylor]: Taking taylor expansion of a in a
0.676 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.676 * [taylor]: Taking taylor expansion of b in a
0.676 * [taylor]: Taking taylor expansion of (+ (* 0.001953125 (pow b 2)) (* 0.0078125 (* (pow a 2) (pow b 2)))) in a
0.676 * [taylor]: Taking taylor expansion of (* 0.001953125 (pow b 2)) in a
0.676 * [taylor]: Taking taylor expansion of 0.001953125 in a
0.676 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.676 * [taylor]: Taking taylor expansion of b in a
0.676 * [taylor]: Taking taylor expansion of (* 0.0078125 (* (pow a 2) (pow b 2))) in a
0.676 * [taylor]: Taking taylor expansion of 0.0078125 in a
0.676 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
0.676 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.676 * [taylor]: Taking taylor expansion of a in a
0.676 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.676 * [taylor]: Taking taylor expansion of b in a
0.676 * [taylor]: Taking taylor expansion of (neg (* 0.001953125 (pow b 2))) in b
0.676 * [taylor]: Taking taylor expansion of (* 0.001953125 (pow b 2)) in b
0.676 * [taylor]: Taking taylor expansion of 0.001953125 in b
0.676 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.676 * [taylor]: Taking taylor expansion of b in b
0.676 * [taylor]: Taking taylor expansion of 0 in b
0.676 * [taylor]: Taking taylor expansion of 0 in b
0.677 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in (t a b) around 0
0.677 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in b
0.677 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in b
0.677 * [taylor]: Taking taylor expansion of 0.0625 in b
0.677 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in b
0.677 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in b
0.677 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in b
0.677 * [taylor]: Taking taylor expansion of 2.0 in b
0.677 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.677 * [taylor]: Taking taylor expansion of a in b
0.677 * [taylor]: Taking taylor expansion of 1.0 in b
0.677 * [taylor]: Taking taylor expansion of (* t b) in b
0.677 * [taylor]: Taking taylor expansion of t in b
0.677 * [taylor]: Taking taylor expansion of b in b
0.677 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in a
0.677 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in a
0.677 * [taylor]: Taking taylor expansion of 0.0625 in a
0.677 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in a
0.677 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in a
0.677 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.677 * [taylor]: Taking taylor expansion of 2.0 in a
0.677 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.677 * [taylor]: Taking taylor expansion of a in a
0.677 * [taylor]: Taking taylor expansion of 1.0 in a
0.677 * [taylor]: Taking taylor expansion of (* t b) in a
0.677 * [taylor]: Taking taylor expansion of t in a
0.677 * [taylor]: Taking taylor expansion of b in a
0.678 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in t
0.678 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in t
0.678 * [taylor]: Taking taylor expansion of 0.0625 in t
0.678 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in t
0.678 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in t
0.678 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in t
0.678 * [taylor]: Taking taylor expansion of 2.0 in t
0.678 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.678 * [taylor]: Taking taylor expansion of a in t
0.678 * [taylor]: Taking taylor expansion of 1.0 in t
0.678 * [taylor]: Taking taylor expansion of (* t b) in t
0.678 * [taylor]: Taking taylor expansion of t in t
0.678 * [taylor]: Taking taylor expansion of b in t
0.678 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in t
0.678 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in t
0.678 * [taylor]: Taking taylor expansion of 0.0625 in t
0.678 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in t
0.678 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in t
0.678 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in t
0.678 * [taylor]: Taking taylor expansion of 2.0 in t
0.678 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.678 * [taylor]: Taking taylor expansion of a in t
0.678 * [taylor]: Taking taylor expansion of 1.0 in t
0.678 * [taylor]: Taking taylor expansion of (* t b) in t
0.678 * [taylor]: Taking taylor expansion of t in t
0.678 * [taylor]: Taking taylor expansion of b in t
0.678 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in a
0.679 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in a
0.679 * [taylor]: Taking taylor expansion of 0.0625 in a
0.679 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in a
0.679 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in a
0.679 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.679 * [taylor]: Taking taylor expansion of 2.0 in a
0.679 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.679 * [taylor]: Taking taylor expansion of a in a
0.679 * [taylor]: Taking taylor expansion of 1.0 in a
0.679 * [taylor]: Taking taylor expansion of (* t b) in a
0.679 * [taylor]: Taking taylor expansion of t in a
0.679 * [taylor]: Taking taylor expansion of b in a
0.679 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in b
0.679 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in b
0.679 * [taylor]: Taking taylor expansion of 0.0625 in b
0.679 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in b
0.679 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in b
0.679 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in b
0.679 * [taylor]: Taking taylor expansion of 2.0 in b
0.679 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.679 * [taylor]: Taking taylor expansion of a in b
0.679 * [taylor]: Taking taylor expansion of 1.0 in b
0.679 * [taylor]: Taking taylor expansion of (* t b) in b
0.679 * [taylor]: Taking taylor expansion of t in b
0.679 * [taylor]: Taking taylor expansion of b in b
0.679 * [taylor]: Taking taylor expansion of 0 in a
0.679 * [taylor]: Taking taylor expansion of 0 in b
0.680 * [taylor]: Taking taylor expansion of 0 in b
0.680 * [taylor]: Taking taylor expansion of 0 in a
0.680 * [taylor]: Taking taylor expansion of 0 in b
0.680 * [taylor]: Taking taylor expansion of 0 in b
0.680 * [taylor]: Taking taylor expansion of 0 in b
0.680 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in (t a b) around 0
0.680 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in b
0.680 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in b
0.680 * [taylor]: Taking taylor expansion of 0.0625 in b
0.680 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in b
0.680 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in b
0.680 * [taylor]: Taking taylor expansion of 1.0 in b
0.680 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in b
0.680 * [taylor]: Taking taylor expansion of 2.0 in b
0.680 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.680 * [taylor]: Taking taylor expansion of a in b
0.680 * [taylor]: Taking taylor expansion of (* t b) in b
0.680 * [taylor]: Taking taylor expansion of t in b
0.680 * [taylor]: Taking taylor expansion of b in b
0.680 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in a
0.680 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in a
0.680 * [taylor]: Taking taylor expansion of 0.0625 in a
0.680 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in a
0.680 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in a
0.681 * [taylor]: Taking taylor expansion of 1.0 in a
0.681 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.681 * [taylor]: Taking taylor expansion of 2.0 in a
0.681 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.681 * [taylor]: Taking taylor expansion of a in a
0.681 * [taylor]: Taking taylor expansion of (* t b) in a
0.681 * [taylor]: Taking taylor expansion of t in a
0.681 * [taylor]: Taking taylor expansion of b in a
0.681 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in t
0.681 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in t
0.681 * [taylor]: Taking taylor expansion of 0.0625 in t
0.681 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in t
0.681 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in t
0.681 * [taylor]: Taking taylor expansion of 1.0 in t
0.681 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in t
0.681 * [taylor]: Taking taylor expansion of 2.0 in t
0.681 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.681 * [taylor]: Taking taylor expansion of a in t
0.681 * [taylor]: Taking taylor expansion of (* t b) in t
0.681 * [taylor]: Taking taylor expansion of t in t
0.681 * [taylor]: Taking taylor expansion of b in t
0.681 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in t
0.681 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in t
0.681 * [taylor]: Taking taylor expansion of 0.0625 in t
0.681 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in t
0.681 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in t
0.681 * [taylor]: Taking taylor expansion of 1.0 in t
0.681 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in t
0.681 * [taylor]: Taking taylor expansion of 2.0 in t
0.681 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.681 * [taylor]: Taking taylor expansion of a in t
0.682 * [taylor]: Taking taylor expansion of (* t b) in t
0.682 * [taylor]: Taking taylor expansion of t in t
0.682 * [taylor]: Taking taylor expansion of b in t
0.682 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in a
0.682 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in a
0.682 * [taylor]: Taking taylor expansion of 0.0625 in a
0.682 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in a
0.682 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in a
0.682 * [taylor]: Taking taylor expansion of 1.0 in a
0.682 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.682 * [taylor]: Taking taylor expansion of 2.0 in a
0.682 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.682 * [taylor]: Taking taylor expansion of a in a
0.682 * [taylor]: Taking taylor expansion of (* t b) in a
0.682 * [taylor]: Taking taylor expansion of t in a
0.682 * [taylor]: Taking taylor expansion of b in a
0.682 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in b
0.682 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in b
0.682 * [taylor]: Taking taylor expansion of 0.0625 in b
0.682 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in b
0.682 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in b
0.682 * [taylor]: Taking taylor expansion of 1.0 in b
0.682 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in b
0.682 * [taylor]: Taking taylor expansion of 2.0 in b
0.682 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.682 * [taylor]: Taking taylor expansion of a in b
0.682 * [taylor]: Taking taylor expansion of (* t b) in b
0.682 * [taylor]: Taking taylor expansion of t in b
0.682 * [taylor]: Taking taylor expansion of b in b
0.683 * [taylor]: Taking taylor expansion of 0 in a
0.683 * [taylor]: Taking taylor expansion of 0 in b
0.683 * [taylor]: Taking taylor expansion of 0 in b
0.683 * [taylor]: Taking taylor expansion of 0 in a
0.683 * [taylor]: Taking taylor expansion of 0 in b
0.683 * [taylor]: Taking taylor expansion of 0 in b
0.683 * [taylor]: Taking taylor expansion of 0 in b
0.683 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
0.683 * [approximate]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in (t a b) around 0
0.683 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in b
0.683 * [taylor]: Taking taylor expansion of 0.0625 in b
0.683 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in b
0.683 * [taylor]: Taking taylor expansion of t in b
0.683 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in b
0.683 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in b
0.683 * [taylor]: Taking taylor expansion of (* 2.0 a) in b
0.683 * [taylor]: Taking taylor expansion of 2.0 in b
0.683 * [taylor]: Taking taylor expansion of a in b
0.683 * [taylor]: Taking taylor expansion of 1.0 in b
0.684 * [taylor]: Taking taylor expansion of b in b
0.684 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in a
0.684 * [taylor]: Taking taylor expansion of 0.0625 in a
0.684 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in a
0.684 * [taylor]: Taking taylor expansion of t in a
0.684 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in a
0.684 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in a
0.684 * [taylor]: Taking taylor expansion of (* 2.0 a) in a
0.684 * [taylor]: Taking taylor expansion of 2.0 in a
0.684 * [taylor]: Taking taylor expansion of a in a
0.684 * [taylor]: Taking taylor expansion of 1.0 in a
0.684 * [taylor]: Taking taylor expansion of b in a
0.684 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in t
0.684 * [taylor]: Taking taylor expansion of 0.0625 in t
0.684 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in t
0.684 * [taylor]: Taking taylor expansion of t in t
0.684 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in t
0.684 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in t
0.684 * [taylor]: Taking taylor expansion of (* 2.0 a) in t
0.684 * [taylor]: Taking taylor expansion of 2.0 in t
0.684 * [taylor]: Taking taylor expansion of a in t
0.684 * [taylor]: Taking taylor expansion of 1.0 in t
0.684 * [taylor]: Taking taylor expansion of b in t
0.684 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in t
0.684 * [taylor]: Taking taylor expansion of 0.0625 in t
0.684 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in t
0.684 * [taylor]: Taking taylor expansion of t in t
0.684 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in t
0.684 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in t
0.684 * [taylor]: Taking taylor expansion of (* 2.0 a) in t
0.684 * [taylor]: Taking taylor expansion of 2.0 in t
0.684 * [taylor]: Taking taylor expansion of a in t
0.684 * [taylor]: Taking taylor expansion of 1.0 in t
0.684 * [taylor]: Taking taylor expansion of b in t
0.684 * [taylor]: Taking taylor expansion of 0 in a
0.684 * [taylor]: Taking taylor expansion of 0 in b
0.684 * [taylor]: Taking taylor expansion of (+ (* 0.125 (* a b)) (* 0.0625 b)) in a
0.684 * [taylor]: Taking taylor expansion of (* 0.125 (* a b)) in a
0.685 * [taylor]: Taking taylor expansion of 0.125 in a
0.685 * [taylor]: Taking taylor expansion of (* a b) in a
0.685 * [taylor]: Taking taylor expansion of a in a
0.685 * [taylor]: Taking taylor expansion of b in a
0.685 * [taylor]: Taking taylor expansion of (* 0.0625 b) in a
0.685 * [taylor]: Taking taylor expansion of 0.0625 in a
0.685 * [taylor]: Taking taylor expansion of b in a
0.685 * [taylor]: Taking taylor expansion of (* 0.0625 b) in b
0.685 * [taylor]: Taking taylor expansion of 0.0625 in b
0.685 * [taylor]: Taking taylor expansion of b in b
0.685 * [taylor]: Taking taylor expansion of 0 in b
0.685 * [taylor]: Taking taylor expansion of 0 in a
0.685 * [taylor]: Taking taylor expansion of 0 in b
0.685 * [taylor]: Taking taylor expansion of (* 0.125 b) in b
0.685 * [taylor]: Taking taylor expansion of 0.125 in b
0.685 * [taylor]: Taking taylor expansion of b in b
0.685 * [approximate]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in (t a b) around 0
0.685 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in b
0.685 * [taylor]: Taking taylor expansion of 0.0625 in b
0.685 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in b
0.685 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in b
0.685 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in b
0.685 * [taylor]: Taking taylor expansion of 2.0 in b
0.685 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.685 * [taylor]: Taking taylor expansion of a in b
0.685 * [taylor]: Taking taylor expansion of 1.0 in b
0.686 * [taylor]: Taking taylor expansion of (* t b) in b
0.686 * [taylor]: Taking taylor expansion of t in b
0.686 * [taylor]: Taking taylor expansion of b in b
0.686 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in a
0.686 * [taylor]: Taking taylor expansion of 0.0625 in a
0.686 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in a
0.686 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in a
0.686 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.686 * [taylor]: Taking taylor expansion of 2.0 in a
0.686 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.686 * [taylor]: Taking taylor expansion of a in a
0.686 * [taylor]: Taking taylor expansion of 1.0 in a
0.686 * [taylor]: Taking taylor expansion of (* t b) in a
0.686 * [taylor]: Taking taylor expansion of t in a
0.686 * [taylor]: Taking taylor expansion of b in a
0.686 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in t
0.686 * [taylor]: Taking taylor expansion of 0.0625 in t
0.686 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in t
0.686 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in t
0.686 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in t
0.686 * [taylor]: Taking taylor expansion of 2.0 in t
0.686 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.686 * [taylor]: Taking taylor expansion of a in t
0.686 * [taylor]: Taking taylor expansion of 1.0 in t
0.686 * [taylor]: Taking taylor expansion of (* t b) in t
0.686 * [taylor]: Taking taylor expansion of t in t
0.686 * [taylor]: Taking taylor expansion of b in t
0.686 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in t
0.686 * [taylor]: Taking taylor expansion of 0.0625 in t
0.686 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in t
0.686 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in t
0.686 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in t
0.686 * [taylor]: Taking taylor expansion of 2.0 in t
0.686 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.686 * [taylor]: Taking taylor expansion of a in t
0.686 * [taylor]: Taking taylor expansion of 1.0 in t
0.686 * [taylor]: Taking taylor expansion of (* t b) in t
0.686 * [taylor]: Taking taylor expansion of t in t
0.686 * [taylor]: Taking taylor expansion of b in t
0.687 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) b)) in a
0.687 * [taylor]: Taking taylor expansion of 0.0625 in a
0.687 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) b) in a
0.687 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in a
0.687 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.687 * [taylor]: Taking taylor expansion of 2.0 in a
0.687 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.687 * [taylor]: Taking taylor expansion of a in a
0.687 * [taylor]: Taking taylor expansion of 1.0 in a
0.687 * [taylor]: Taking taylor expansion of b in a
0.687 * [taylor]: Taking taylor expansion of (/ 0.125 b) in b
0.687 * [taylor]: Taking taylor expansion of 0.125 in b
0.687 * [taylor]: Taking taylor expansion of b in b
0.687 * [taylor]: Taking taylor expansion of 0 in a
0.687 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 b)) in b
0.687 * [taylor]: Taking taylor expansion of 0.0625 in b
0.687 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.688 * [taylor]: Taking taylor expansion of b in b
0.688 * [taylor]: Taking taylor expansion of 0 in a
0.688 * [taylor]: Taking taylor expansion of 0 in b
0.688 * [taylor]: Taking taylor expansion of 0 in b
0.689 * [taylor]: Taking taylor expansion of 0 in a
0.689 * [taylor]: Taking taylor expansion of 0 in b
0.689 * [taylor]: Taking taylor expansion of 0 in b
0.689 * [taylor]: Taking taylor expansion of 0 in b
0.689 * [approximate]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in (t a b) around 0
0.689 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in b
0.689 * [taylor]: Taking taylor expansion of 0.0625 in b
0.689 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in b
0.689 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in b
0.689 * [taylor]: Taking taylor expansion of 1.0 in b
0.689 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in b
0.689 * [taylor]: Taking taylor expansion of 2.0 in b
0.689 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.690 * [taylor]: Taking taylor expansion of a in b
0.690 * [taylor]: Taking taylor expansion of (* t b) in b
0.690 * [taylor]: Taking taylor expansion of t in b
0.690 * [taylor]: Taking taylor expansion of b in b
0.690 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in a
0.690 * [taylor]: Taking taylor expansion of 0.0625 in a
0.690 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in a
0.690 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in a
0.690 * [taylor]: Taking taylor expansion of 1.0 in a
0.690 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.690 * [taylor]: Taking taylor expansion of 2.0 in a
0.690 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.690 * [taylor]: Taking taylor expansion of a in a
0.690 * [taylor]: Taking taylor expansion of (* t b) in a
0.690 * [taylor]: Taking taylor expansion of t in a
0.690 * [taylor]: Taking taylor expansion of b in a
0.690 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in t
0.690 * [taylor]: Taking taylor expansion of 0.0625 in t
0.690 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in t
0.690 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in t
0.690 * [taylor]: Taking taylor expansion of 1.0 in t
0.690 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in t
0.690 * [taylor]: Taking taylor expansion of 2.0 in t
0.690 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.690 * [taylor]: Taking taylor expansion of a in t
0.690 * [taylor]: Taking taylor expansion of (* t b) in t
0.690 * [taylor]: Taking taylor expansion of t in t
0.690 * [taylor]: Taking taylor expansion of b in t
0.690 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in t
0.690 * [taylor]: Taking taylor expansion of 0.0625 in t
0.690 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in t
0.690 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in t
0.690 * [taylor]: Taking taylor expansion of 1.0 in t
0.690 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in t
0.691 * [taylor]: Taking taylor expansion of 2.0 in t
0.691 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.691 * [taylor]: Taking taylor expansion of a in t
0.691 * [taylor]: Taking taylor expansion of (* t b) in t
0.691 * [taylor]: Taking taylor expansion of t in t
0.691 * [taylor]: Taking taylor expansion of b in t
0.691 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) b)) in a
0.691 * [taylor]: Taking taylor expansion of 0.0625 in a
0.691 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) b) in a
0.691 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in a
0.691 * [taylor]: Taking taylor expansion of 1.0 in a
0.691 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.691 * [taylor]: Taking taylor expansion of 2.0 in a
0.691 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.691 * [taylor]: Taking taylor expansion of a in a
0.691 * [taylor]: Taking taylor expansion of b in a
0.691 * [taylor]: Taking taylor expansion of (/ -0.125 b) in b
0.691 * [taylor]: Taking taylor expansion of -0.125 in b
0.691 * [taylor]: Taking taylor expansion of b in b
0.691 * [taylor]: Taking taylor expansion of 0 in a
0.692 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 b)) in b
0.692 * [taylor]: Taking taylor expansion of 0.0625 in b
0.692 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.692 * [taylor]: Taking taylor expansion of b in b
0.692 * [taylor]: Taking taylor expansion of 0 in a
0.692 * [taylor]: Taking taylor expansion of 0 in b
0.692 * [taylor]: Taking taylor expansion of 0 in b
0.693 * [taylor]: Taking taylor expansion of 0 in a
0.693 * [taylor]: Taking taylor expansion of 0 in b
0.693 * [taylor]: Taking taylor expansion of 0 in b
0.693 * [taylor]: Taking taylor expansion of 0 in b
0.693 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.694 * [approximate]: Taking taylor expansion of (* (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) x) in (x t a b) around 0
0.694 * [taylor]: Taking taylor expansion of (* (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) x) in b
0.694 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in b
0.694 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in b
0.694 * [taylor]: Taking taylor expansion of 0.0625 in b
0.694 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in b
0.694 * [taylor]: Taking taylor expansion of t in b
0.694 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in b
0.694 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in b
0.694 * [taylor]: Taking taylor expansion of (* 2.0 a) in b
0.694 * [taylor]: Taking taylor expansion of 2.0 in b
0.694 * [taylor]: Taking taylor expansion of a in b
0.694 * [taylor]: Taking taylor expansion of 1.0 in b
0.694 * [taylor]: Taking taylor expansion of b in b
0.696 * [taylor]: Taking taylor expansion of x in b
0.696 * [taylor]: Taking taylor expansion of (* (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) x) in a
0.696 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in a
0.696 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in a
0.696 * [taylor]: Taking taylor expansion of 0.0625 in a
0.696 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in a
0.696 * [taylor]: Taking taylor expansion of t in a
0.696 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in a
0.696 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in a
0.696 * [taylor]: Taking taylor expansion of (* 2.0 a) in a
0.696 * [taylor]: Taking taylor expansion of 2.0 in a
0.696 * [taylor]: Taking taylor expansion of a in a
0.696 * [taylor]: Taking taylor expansion of 1.0 in a
0.696 * [taylor]: Taking taylor expansion of b in a
0.696 * [taylor]: Taking taylor expansion of x in a
0.696 * [taylor]: Taking taylor expansion of (* (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) x) in t
0.697 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in t
0.697 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in t
0.697 * [taylor]: Taking taylor expansion of 0.0625 in t
0.697 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in t
0.697 * [taylor]: Taking taylor expansion of t in t
0.697 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in t
0.697 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in t
0.697 * [taylor]: Taking taylor expansion of (* 2.0 a) in t
0.697 * [taylor]: Taking taylor expansion of 2.0 in t
0.697 * [taylor]: Taking taylor expansion of a in t
0.697 * [taylor]: Taking taylor expansion of 1.0 in t
0.697 * [taylor]: Taking taylor expansion of b in t
0.697 * [taylor]: Taking taylor expansion of x in t
0.697 * [taylor]: Taking taylor expansion of (* (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) x) in x
0.697 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in x
0.697 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in x
0.697 * [taylor]: Taking taylor expansion of 0.0625 in x
0.697 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in x
0.697 * [taylor]: Taking taylor expansion of t in x
0.697 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in x
0.697 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in x
0.697 * [taylor]: Taking taylor expansion of (* 2.0 a) in x
0.697 * [taylor]: Taking taylor expansion of 2.0 in x
0.697 * [taylor]: Taking taylor expansion of a in x
0.697 * [taylor]: Taking taylor expansion of 1.0 in x
0.697 * [taylor]: Taking taylor expansion of b in x
0.698 * [taylor]: Taking taylor expansion of x in x
0.698 * [taylor]: Taking taylor expansion of (* (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) x) in x
0.698 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in x
0.698 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in x
0.698 * [taylor]: Taking taylor expansion of 0.0625 in x
0.698 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in x
0.698 * [taylor]: Taking taylor expansion of t in x
0.698 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in x
0.698 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in x
0.698 * [taylor]: Taking taylor expansion of (* 2.0 a) in x
0.698 * [taylor]: Taking taylor expansion of 2.0 in x
0.698 * [taylor]: Taking taylor expansion of a in x
0.698 * [taylor]: Taking taylor expansion of 1.0 in x
0.698 * [taylor]: Taking taylor expansion of b in x
0.698 * [taylor]: Taking taylor expansion of x in x
0.698 * [taylor]: Taking taylor expansion of 0 in t
0.698 * [taylor]: Taking taylor expansion of 0 in a
0.698 * [taylor]: Taking taylor expansion of 0 in b
0.699 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in t
0.699 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in t
0.699 * [taylor]: Taking taylor expansion of 0.0625 in t
0.699 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in t
0.699 * [taylor]: Taking taylor expansion of t in t
0.699 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in t
0.699 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in t
0.699 * [taylor]: Taking taylor expansion of (* 2.0 a) in t
0.699 * [taylor]: Taking taylor expansion of 2.0 in t
0.699 * [taylor]: Taking taylor expansion of a in t
0.699 * [taylor]: Taking taylor expansion of 1.0 in t
0.699 * [taylor]: Taking taylor expansion of b in t
0.699 * [taylor]: Taking taylor expansion of 1 in a
0.699 * [taylor]: Taking taylor expansion of 1 in b
0.700 * [taylor]: Taking taylor expansion of 0 in a
0.700 * [taylor]: Taking taylor expansion of 0 in b
0.700 * [taylor]: Taking taylor expansion of 0 in b
0.700 * [taylor]: Taking taylor expansion of 0 in t
0.700 * [taylor]: Taking taylor expansion of 0 in a
0.700 * [taylor]: Taking taylor expansion of 0 in b
0.700 * [taylor]: Taking taylor expansion of 0 in a
0.700 * [taylor]: Taking taylor expansion of 0 in b
0.700 * [taylor]: Taking taylor expansion of 0 in a
0.700 * [taylor]: Taking taylor expansion of 0 in b
0.701 * [approximate]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) x) in (x t a b) around 0
0.701 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) x) in b
0.701 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in b
0.701 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in b
0.701 * [taylor]: Taking taylor expansion of 0.0625 in b
0.701 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in b
0.701 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in b
0.701 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in b
0.701 * [taylor]: Taking taylor expansion of 2.0 in b
0.701 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.701 * [taylor]: Taking taylor expansion of a in b
0.701 * [taylor]: Taking taylor expansion of 1.0 in b
0.701 * [taylor]: Taking taylor expansion of (* t b) in b
0.701 * [taylor]: Taking taylor expansion of t in b
0.701 * [taylor]: Taking taylor expansion of b in b
0.701 * [taylor]: Taking taylor expansion of x in b
0.701 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) x) in a
0.701 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in a
0.701 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in a
0.701 * [taylor]: Taking taylor expansion of 0.0625 in a
0.701 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in a
0.701 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in a
0.701 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.701 * [taylor]: Taking taylor expansion of 2.0 in a
0.701 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.701 * [taylor]: Taking taylor expansion of a in a
0.701 * [taylor]: Taking taylor expansion of 1.0 in a
0.701 * [taylor]: Taking taylor expansion of (* t b) in a
0.701 * [taylor]: Taking taylor expansion of t in a
0.701 * [taylor]: Taking taylor expansion of b in a
0.702 * [taylor]: Taking taylor expansion of x in a
0.702 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) x) in t
0.702 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in t
0.702 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in t
0.702 * [taylor]: Taking taylor expansion of 0.0625 in t
0.702 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in t
0.702 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in t
0.702 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in t
0.702 * [taylor]: Taking taylor expansion of 2.0 in t
0.702 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.702 * [taylor]: Taking taylor expansion of a in t
0.702 * [taylor]: Taking taylor expansion of 1.0 in t
0.702 * [taylor]: Taking taylor expansion of (* t b) in t
0.702 * [taylor]: Taking taylor expansion of t in t
0.702 * [taylor]: Taking taylor expansion of b in t
0.702 * [taylor]: Taking taylor expansion of x in t
0.703 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) x) in x
0.703 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in x
0.703 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in x
0.703 * [taylor]: Taking taylor expansion of 0.0625 in x
0.703 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in x
0.703 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in x
0.703 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in x
0.703 * [taylor]: Taking taylor expansion of 2.0 in x
0.703 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.703 * [taylor]: Taking taylor expansion of a in x
0.703 * [taylor]: Taking taylor expansion of 1.0 in x
0.703 * [taylor]: Taking taylor expansion of (* t b) in x
0.703 * [taylor]: Taking taylor expansion of t in x
0.703 * [taylor]: Taking taylor expansion of b in x
0.703 * [taylor]: Taking taylor expansion of x in x
0.703 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) x) in x
0.703 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in x
0.703 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in x
0.703 * [taylor]: Taking taylor expansion of 0.0625 in x
0.703 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in x
0.703 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in x
0.704 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in x
0.704 * [taylor]: Taking taylor expansion of 2.0 in x
0.704 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.704 * [taylor]: Taking taylor expansion of a in x
0.704 * [taylor]: Taking taylor expansion of 1.0 in x
0.704 * [taylor]: Taking taylor expansion of (* t b) in x
0.704 * [taylor]: Taking taylor expansion of t in x
0.704 * [taylor]: Taking taylor expansion of b in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.704 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in t
0.704 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in t
0.704 * [taylor]: Taking taylor expansion of 0.0625 in t
0.704 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in t
0.704 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in t
0.704 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in t
0.704 * [taylor]: Taking taylor expansion of 2.0 in t
0.704 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.704 * [taylor]: Taking taylor expansion of a in t
0.704 * [taylor]: Taking taylor expansion of 1.0 in t
0.704 * [taylor]: Taking taylor expansion of (* t b) in t
0.705 * [taylor]: Taking taylor expansion of t in t
0.705 * [taylor]: Taking taylor expansion of b in t
0.705 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in a
0.705 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in a
0.705 * [taylor]: Taking taylor expansion of 0.0625 in a
0.705 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in a
0.705 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in a
0.705 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.705 * [taylor]: Taking taylor expansion of 2.0 in a
0.705 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.705 * [taylor]: Taking taylor expansion of a in a
0.705 * [taylor]: Taking taylor expansion of 1.0 in a
0.705 * [taylor]: Taking taylor expansion of (* t b) in a
0.705 * [taylor]: Taking taylor expansion of t in a
0.705 * [taylor]: Taking taylor expansion of b in a
0.705 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)))) in b
0.705 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b))) in b
0.705 * [taylor]: Taking taylor expansion of 0.0625 in b
0.705 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) (* t b)) in b
0.705 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in b
0.705 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in b
0.705 * [taylor]: Taking taylor expansion of 2.0 in b
0.705 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.705 * [taylor]: Taking taylor expansion of a in b
0.705 * [taylor]: Taking taylor expansion of 1.0 in b
0.705 * [taylor]: Taking taylor expansion of (* t b) in b
0.705 * [taylor]: Taking taylor expansion of t in b
0.705 * [taylor]: Taking taylor expansion of b in b
0.706 * [taylor]: Taking taylor expansion of 0 in t
0.706 * [taylor]: Taking taylor expansion of 0 in a
0.706 * [taylor]: Taking taylor expansion of 0 in b
0.706 * [taylor]: Taking taylor expansion of 0 in a
0.706 * [taylor]: Taking taylor expansion of 0 in b
0.707 * [taylor]: Taking taylor expansion of 0 in b
0.707 * [taylor]: Taking taylor expansion of 0 in t
0.707 * [taylor]: Taking taylor expansion of 0 in a
0.707 * [taylor]: Taking taylor expansion of 0 in b
0.707 * [taylor]: Taking taylor expansion of 0 in a
0.707 * [taylor]: Taking taylor expansion of 0 in b
0.708 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) x)) in (x t a b) around 0
0.708 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) x)) in b
0.708 * [taylor]: Taking taylor expansion of -1 in b
0.708 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) x) in b
0.708 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in b
0.708 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in b
0.708 * [taylor]: Taking taylor expansion of 0.0625 in b
0.708 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in b
0.708 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in b
0.708 * [taylor]: Taking taylor expansion of 1.0 in b
0.708 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in b
0.708 * [taylor]: Taking taylor expansion of 2.0 in b
0.708 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.708 * [taylor]: Taking taylor expansion of a in b
0.708 * [taylor]: Taking taylor expansion of (* t b) in b
0.708 * [taylor]: Taking taylor expansion of t in b
0.708 * [taylor]: Taking taylor expansion of b in b
0.708 * [taylor]: Taking taylor expansion of x in b
0.708 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) x)) in a
0.708 * [taylor]: Taking taylor expansion of -1 in a
0.708 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) x) in a
0.708 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in a
0.709 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in a
0.709 * [taylor]: Taking taylor expansion of 0.0625 in a
0.709 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in a
0.709 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in a
0.709 * [taylor]: Taking taylor expansion of 1.0 in a
0.709 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.709 * [taylor]: Taking taylor expansion of 2.0 in a
0.709 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.709 * [taylor]: Taking taylor expansion of a in a
0.709 * [taylor]: Taking taylor expansion of (* t b) in a
0.709 * [taylor]: Taking taylor expansion of t in a
0.709 * [taylor]: Taking taylor expansion of b in a
0.709 * [taylor]: Taking taylor expansion of x in a
0.709 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) x)) in t
0.709 * [taylor]: Taking taylor expansion of -1 in t
0.709 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) x) in t
0.709 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in t
0.709 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in t
0.709 * [taylor]: Taking taylor expansion of 0.0625 in t
0.709 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in t
0.709 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in t
0.709 * [taylor]: Taking taylor expansion of 1.0 in t
0.709 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in t
0.709 * [taylor]: Taking taylor expansion of 2.0 in t
0.709 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.709 * [taylor]: Taking taylor expansion of a in t
0.709 * [taylor]: Taking taylor expansion of (* t b) in t
0.709 * [taylor]: Taking taylor expansion of t in t
0.709 * [taylor]: Taking taylor expansion of b in t
0.710 * [taylor]: Taking taylor expansion of x in t
0.710 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) x)) in x
0.710 * [taylor]: Taking taylor expansion of -1 in x
0.710 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) x) in x
0.710 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in x
0.710 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in x
0.710 * [taylor]: Taking taylor expansion of 0.0625 in x
0.710 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in x
0.710 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in x
0.710 * [taylor]: Taking taylor expansion of 1.0 in x
0.710 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in x
0.710 * [taylor]: Taking taylor expansion of 2.0 in x
0.710 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.710 * [taylor]: Taking taylor expansion of a in x
0.710 * [taylor]: Taking taylor expansion of (* t b) in x
0.710 * [taylor]: Taking taylor expansion of t in x
0.710 * [taylor]: Taking taylor expansion of b in x
0.710 * [taylor]: Taking taylor expansion of x in x
0.711 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) x)) in x
0.711 * [taylor]: Taking taylor expansion of -1 in x
0.711 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) x) in x
0.711 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in x
0.711 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in x
0.711 * [taylor]: Taking taylor expansion of 0.0625 in x
0.711 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in x
0.711 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in x
0.711 * [taylor]: Taking taylor expansion of 1.0 in x
0.711 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in x
0.711 * [taylor]: Taking taylor expansion of 2.0 in x
0.711 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.711 * [taylor]: Taking taylor expansion of a in x
0.711 * [taylor]: Taking taylor expansion of (* t b) in x
0.711 * [taylor]: Taking taylor expansion of t in x
0.711 * [taylor]: Taking taylor expansion of b in x
0.711 * [taylor]: Taking taylor expansion of x in x
0.712 * [taylor]: Taking taylor expansion of (* -1 (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))))) in t
0.712 * [taylor]: Taking taylor expansion of -1 in t
0.712 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in t
0.712 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in t
0.712 * [taylor]: Taking taylor expansion of 0.0625 in t
0.712 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in t
0.712 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in t
0.712 * [taylor]: Taking taylor expansion of 1.0 in t
0.712 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in t
0.712 * [taylor]: Taking taylor expansion of 2.0 in t
0.712 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.712 * [taylor]: Taking taylor expansion of a in t
0.712 * [taylor]: Taking taylor expansion of (* t b) in t
0.712 * [taylor]: Taking taylor expansion of t in t
0.712 * [taylor]: Taking taylor expansion of b in t
0.712 * [taylor]: Taking taylor expansion of (* -1 (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))))) in a
0.712 * [taylor]: Taking taylor expansion of -1 in a
0.712 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in a
0.712 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in a
0.712 * [taylor]: Taking taylor expansion of 0.0625 in a
0.712 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in a
0.712 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in a
0.712 * [taylor]: Taking taylor expansion of 1.0 in a
0.712 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.712 * [taylor]: Taking taylor expansion of 2.0 in a
0.712 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.712 * [taylor]: Taking taylor expansion of a in a
0.713 * [taylor]: Taking taylor expansion of (* t b) in a
0.713 * [taylor]: Taking taylor expansion of t in a
0.713 * [taylor]: Taking taylor expansion of b in a
0.713 * [taylor]: Taking taylor expansion of (* -1 (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))))) in b
0.713 * [taylor]: Taking taylor expansion of -1 in b
0.713 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)))) in b
0.713 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b))) in b
0.713 * [taylor]: Taking taylor expansion of 0.0625 in b
0.713 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) (* t b)) in b
0.713 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in b
0.713 * [taylor]: Taking taylor expansion of 1.0 in b
0.713 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in b
0.713 * [taylor]: Taking taylor expansion of 2.0 in b
0.713 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.713 * [taylor]: Taking taylor expansion of a in b
0.713 * [taylor]: Taking taylor expansion of (* t b) in b
0.713 * [taylor]: Taking taylor expansion of t in b
0.713 * [taylor]: Taking taylor expansion of b in b
0.714 * [taylor]: Taking taylor expansion of 0 in t
0.714 * [taylor]: Taking taylor expansion of 0 in a
0.714 * [taylor]: Taking taylor expansion of 0 in b
0.714 * [taylor]: Taking taylor expansion of 0 in a
0.714 * [taylor]: Taking taylor expansion of 0 in b
0.715 * [taylor]: Taking taylor expansion of 0 in b
0.716 * [taylor]: Taking taylor expansion of 0 in t
0.716 * [taylor]: Taking taylor expansion of 0 in a
0.716 * [taylor]: Taking taylor expansion of 0 in b
0.716 * [taylor]: Taking taylor expansion of 0 in a
0.716 * [taylor]: Taking taylor expansion of 0 in b
0.716 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2)
0.716 * [approximate]: Taking taylor expansion of (* 0.0625 (* (+ (* 2.0 a) 1.0) b)) in (a b) around 0
0.716 * [taylor]: Taking taylor expansion of (* 0.0625 (* (+ (* 2.0 a) 1.0) b)) in b
0.716 * [taylor]: Taking taylor expansion of 0.0625 in b
0.716 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in b
0.716 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in b
0.716 * [taylor]: Taking taylor expansion of (* 2.0 a) in b
0.716 * [taylor]: Taking taylor expansion of 2.0 in b
0.716 * [taylor]: Taking taylor expansion of a in b
0.716 * [taylor]: Taking taylor expansion of 1.0 in b
0.716 * [taylor]: Taking taylor expansion of b in b
0.716 * [taylor]: Taking taylor expansion of (* 0.0625 (* (+ (* 2.0 a) 1.0) b)) in a
0.716 * [taylor]: Taking taylor expansion of 0.0625 in a
0.716 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in a
0.716 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in a
0.716 * [taylor]: Taking taylor expansion of (* 2.0 a) in a
0.716 * [taylor]: Taking taylor expansion of 2.0 in a
0.716 * [taylor]: Taking taylor expansion of a in a
0.716 * [taylor]: Taking taylor expansion of 1.0 in a
0.716 * [taylor]: Taking taylor expansion of b in a
0.716 * [taylor]: Taking taylor expansion of (* 0.0625 (* (+ (* 2.0 a) 1.0) b)) in a
0.716 * [taylor]: Taking taylor expansion of 0.0625 in a
0.716 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in a
0.716 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in a
0.716 * [taylor]: Taking taylor expansion of (* 2.0 a) in a
0.716 * [taylor]: Taking taylor expansion of 2.0 in a
0.716 * [taylor]: Taking taylor expansion of a in a
0.716 * [taylor]: Taking taylor expansion of 1.0 in a
0.716 * [taylor]: Taking taylor expansion of b in a
0.717 * [taylor]: Taking taylor expansion of (* 0.0625 b) in b
0.717 * [taylor]: Taking taylor expansion of 0.0625 in b
0.717 * [taylor]: Taking taylor expansion of b in b
0.717 * [taylor]: Taking taylor expansion of (* 0.125 b) in b
0.717 * [taylor]: Taking taylor expansion of 0.125 in b
0.717 * [taylor]: Taking taylor expansion of b in b
0.717 * [taylor]: Taking taylor expansion of 0 in b
0.717 * [taylor]: Taking taylor expansion of 0 in b
0.717 * [taylor]: Taking taylor expansion of 0 in b
0.718 * [approximate]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) b)) in (a b) around 0
0.718 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) b)) in b
0.718 * [taylor]: Taking taylor expansion of 0.0625 in b
0.718 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) b) in b
0.718 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in b
0.718 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in b
0.718 * [taylor]: Taking taylor expansion of 2.0 in b
0.718 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.718 * [taylor]: Taking taylor expansion of a in b
0.718 * [taylor]: Taking taylor expansion of 1.0 in b
0.718 * [taylor]: Taking taylor expansion of b in b
0.718 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) b)) in a
0.718 * [taylor]: Taking taylor expansion of 0.0625 in a
0.718 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) b) in a
0.718 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in a
0.718 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.718 * [taylor]: Taking taylor expansion of 2.0 in a
0.718 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.718 * [taylor]: Taking taylor expansion of a in a
0.718 * [taylor]: Taking taylor expansion of 1.0 in a
0.718 * [taylor]: Taking taylor expansion of b in a
0.718 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 a)) 1.0) b)) in a
0.718 * [taylor]: Taking taylor expansion of 0.0625 in a
0.718 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 a)) 1.0) b) in a
0.718 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 a)) 1.0) in a
0.718 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.718 * [taylor]: Taking taylor expansion of 2.0 in a
0.718 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.718 * [taylor]: Taking taylor expansion of a in a
0.718 * [taylor]: Taking taylor expansion of 1.0 in a
0.718 * [taylor]: Taking taylor expansion of b in a
0.718 * [taylor]: Taking taylor expansion of (/ 0.125 b) in b
0.718 * [taylor]: Taking taylor expansion of 0.125 in b
0.718 * [taylor]: Taking taylor expansion of b in b
0.719 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 b)) in b
0.719 * [taylor]: Taking taylor expansion of 0.0625 in b
0.719 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.719 * [taylor]: Taking taylor expansion of b in b
0.719 * [taylor]: Taking taylor expansion of 0 in b
0.719 * [taylor]: Taking taylor expansion of 0 in b
0.720 * [approximate]: Taking taylor expansion of (* -0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) b)) in (a b) around 0
0.720 * [taylor]: Taking taylor expansion of (* -0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) b)) in b
0.720 * [taylor]: Taking taylor expansion of -0.0625 in b
0.720 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) b) in b
0.720 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in b
0.720 * [taylor]: Taking taylor expansion of 1.0 in b
0.720 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in b
0.720 * [taylor]: Taking taylor expansion of 2.0 in b
0.720 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.720 * [taylor]: Taking taylor expansion of a in b
0.720 * [taylor]: Taking taylor expansion of b in b
0.720 * [taylor]: Taking taylor expansion of (* -0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) b)) in a
0.720 * [taylor]: Taking taylor expansion of -0.0625 in a
0.720 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) b) in a
0.720 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in a
0.720 * [taylor]: Taking taylor expansion of 1.0 in a
0.720 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.720 * [taylor]: Taking taylor expansion of 2.0 in a
0.720 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.720 * [taylor]: Taking taylor expansion of a in a
0.720 * [taylor]: Taking taylor expansion of b in a
0.720 * [taylor]: Taking taylor expansion of (* -0.0625 (/ (- 1.0 (* 2.0 (/ 1 a))) b)) in a
0.720 * [taylor]: Taking taylor expansion of -0.0625 in a
0.720 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 a))) b) in a
0.720 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 a))) in a
0.720 * [taylor]: Taking taylor expansion of 1.0 in a
0.720 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 a)) in a
0.720 * [taylor]: Taking taylor expansion of 2.0 in a
0.720 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.720 * [taylor]: Taking taylor expansion of a in a
0.720 * [taylor]: Taking taylor expansion of b in a
0.720 * [taylor]: Taking taylor expansion of (/ 0.125 b) in b
0.720 * [taylor]: Taking taylor expansion of 0.125 in b
0.720 * [taylor]: Taking taylor expansion of b in b
0.721 * [taylor]: Taking taylor expansion of (neg (* 0.0625 (/ 1 b))) in b
0.721 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 b)) in b
0.721 * [taylor]: Taking taylor expansion of 0.0625 in b
0.721 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.721 * [taylor]: Taking taylor expansion of b in b
0.721 * [taylor]: Taking taylor expansion of 0 in b
0.721 * [taylor]: Taking taylor expansion of 0 in b
0.722 * * * [progress]: simplifying candidates
0.723 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (exp (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (* (cbrt (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))) (cbrt (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))))
  (cbrt (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (* (* (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))) (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (sqrt (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (sqrt (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (+ (log t) (+ (log (+ 1.0 (* 2.0 a))) (- (log b) (log 16.0))))
  (+ (log t) (+ (log (+ 1.0 (* 2.0 a))) (log (/ b 16.0))))
  (+ (log t) (log (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (log (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (exp (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (* (* (* t t) t) (* (* (* (+ 1.0 (* 2.0 a)) (+ 1.0 (* 2.0 a))) (+ 1.0 (* 2.0 a))) (/ (* (* b b) b) (* (* 16.0 16.0) 16.0))))
  (* (* (* t t) t) (* (* (* (+ 1.0 (* 2.0 a)) (+ 1.0 (* 2.0 a))) (+ 1.0 (* 2.0 a))) (* (* (/ b 16.0) (/ b 16.0)) (/ b 16.0))))
  (* (* (* t t) t) (* (* (* (+ 1.0 (* 2.0 a)) (/ b 16.0)) (* (+ 1.0 (* 2.0 a)) (/ b 16.0))) (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (* (cbrt (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) (cbrt (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (cbrt (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (* (* (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))) (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (sqrt (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (sqrt (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (* t (+ 1.0 (* 2.0 a)))
  (* (cbrt t) (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (* (sqrt t) (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (* t (* (+ (pow 1.0 3) (pow (* 2.0 a) 3)) b))
  (* t (* (- (* 1.0 1.0) (* (* 2.0 a) (* 2.0 a))) b))
  (* t (* (+ 1.0 (* 2.0 a)) b))
  (* t (* (+ (pow 1.0 3) (pow (* 2.0 a) 3)) (/ b 16.0)))
  (* t (* (- (* 1.0 1.0) (* (* 2.0 a) (* 2.0 a))) (/ b 16.0)))
  (* x (* 1 (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))))
  (* x (* 1 (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))))
  (+ (log x) (+ 0 (log (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))))
  (+ (log x) (+ (log 1) (log (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))))
  (+ (log x) (log (* 1 (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))))
  (log (* x (* 1 (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))))
  (exp (* x (* 1 (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))))
  (* (* (* x x) x) (* (* (* 1 1) 1) (* (* (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))) (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))))
  (* (* (* x x) x) (* (* (* 1 (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))) (* 1 (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))) (* 1 (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))))
  (* (cbrt (* x (* 1 (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))))) (cbrt (* x (* 1 (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))))))
  (cbrt (* x (* 1 (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))))
  (* (* (* x (* 1 (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))) (* x (* 1 (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))))) (* x (* 1 (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))))
  (sqrt (* x (* 1 (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))))
  (sqrt (* x (* 1 (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))))
  (* x 1)
  (* (cbrt x) (* 1 (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))))
  (* (sqrt x) (* 1 (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))))
  (* x (* 1 (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))))
  (* (+ 1.0 (* 2.0 a)) (/ b 16.0))
  (+ (log (+ 1.0 (* 2.0 a))) (- (log b) (log 16.0)))
  (+ (log (+ 1.0 (* 2.0 a))) (log (/ b 16.0)))
  (log (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (exp (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (* (* (* (+ 1.0 (* 2.0 a)) (+ 1.0 (* 2.0 a))) (+ 1.0 (* 2.0 a))) (/ (* (* b b) b) (* (* 16.0 16.0) 16.0)))
  (* (* (* (+ 1.0 (* 2.0 a)) (+ 1.0 (* 2.0 a))) (+ 1.0 (* 2.0 a))) (* (* (/ b 16.0) (/ b 16.0)) (/ b 16.0)))
  (* (cbrt (* (+ 1.0 (* 2.0 a)) (/ b 16.0))) (cbrt (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (cbrt (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (* (* (* (+ 1.0 (* 2.0 a)) (/ b 16.0)) (* (+ 1.0 (* 2.0 a)) (/ b 16.0))) (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (sqrt (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (sqrt (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (* (+ (pow 1.0 3) (pow (* 2.0 a) 3)) b)
  (* (+ (* 1.0 1.0) (- (* (* 2.0 a) (* 2.0 a)) (* 1.0 (* 2.0 a)))) 16.0)
  (* (- (* 1.0 1.0) (* (* 2.0 a) (* 2.0 a))) b)
  (* (- 1.0 (* 2.0 a)) 16.0)
  (* (sqrt (+ 1.0 (* 2.0 a))) (sqrt (/ b 16.0)))
  (* (sqrt (+ 1.0 (* 2.0 a))) (sqrt (/ b 16.0)))
  (* (sqrt (+ 1.0 (* 2.0 a))) (/ (sqrt b) (sqrt 16.0)))
  (* (sqrt (+ 1.0 (* 2.0 a))) (/ (sqrt b) (sqrt 16.0)))
  (* (+ 1.0 (* 2.0 a)) (* (cbrt (/ b 16.0)) (cbrt (/ b 16.0))))
  (* (+ 1.0 (* 2.0 a)) (sqrt (/ b 16.0)))
  (* (+ 1.0 (* 2.0 a)) (/ (* (cbrt b) (cbrt b)) (* (cbrt 16.0) (cbrt 16.0))))
  (* (+ 1.0 (* 2.0 a)) (/ (* (cbrt b) (cbrt b)) (sqrt 16.0)))
  (* (+ 1.0 (* 2.0 a)) (/ (* (cbrt b) (cbrt b)) 1))
  (* (+ 1.0 (* 2.0 a)) (/ (sqrt b) (* (cbrt 16.0) (cbrt 16.0))))
  (* (+ 1.0 (* 2.0 a)) (/ (sqrt b) (sqrt 16.0)))
  (* (+ 1.0 (* 2.0 a)) (/ (sqrt b) 1))
  (* (+ 1.0 (* 2.0 a)) (/ 1 (* (cbrt 16.0) (cbrt 16.0))))
  (* (+ 1.0 (* 2.0 a)) (/ 1 (sqrt 16.0)))
  (* (+ 1.0 (* 2.0 a)) (/ 1 1))
  (* (+ 1.0 (* 2.0 a)) 1)
  (* (+ 1.0 (* 2.0 a)) b)
  (* (cbrt (+ 1.0 (* 2.0 a))) (/ b 16.0))
  (* (sqrt (+ 1.0 (* 2.0 a))) (/ b 16.0))
  (* (+ 1.0 (* 2.0 a)) (/ b 16.0))
  (* (+ 1.0 (* 2.0 a)) b)
  (* (+ (pow 1.0 3) (pow (* 2.0 a) 3)) (/ b 16.0))
  (* (- (* 1.0 1.0) (* (* 2.0 a) (* 2.0 a))) (/ b 16.0))
  1
  (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))))
  (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))))
  0
  (+ (* 0.0625 (* t b)) (* 0.125 (* a (* t b))))
  (+ (* 0.0625 (* t b)) (* 0.125 (* a (* t b))))
  x
  (* (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) x)
  (* (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) x)
  (+ (* 0.125 (* a b)) (* 0.0625 b))
  (+ (* 0.125 (* a b)) (* 0.0625 b))
  (+ (* 0.125 (* a b)) (* 0.0625 b))
0.754 * * [simplify]: iteration  0 :  5245  enodes  (cost  1203 )
0.758 * [simplify]: Simplified to:
   (log (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (exp (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (* (cbrt (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))) (cbrt (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))))
  (cbrt (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (pow (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) 3)
  (sqrt (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (sqrt (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (log (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (log (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (log (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (log (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (pow (pow (exp (+ 1.0 (* 2.0 a))) (/ b 16.0)) t)
  (pow (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))) 3)
  (pow (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))) 3)
  (pow (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))) 3)
  (* (cbrt (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) (cbrt (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))))
  (cbrt (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (pow (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))) 3)
  (sqrt (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (sqrt (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (* t (+ 1.0 (* 2.0 a)))
  (* (+ 1.0 (* 2.0 a)) (* (/ b 16.0) (cbrt t)))
  (* (+ 1.0 (* 2.0 a)) (* (/ b 16.0) (sqrt t)))
  (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (* t (* b (+ (pow 1.0 3) (pow (* 2.0 a) 3))))
  (* t (* (+ 1.0 (* 2.0 a)) (* (- 1.0 (* 2.0 a)) b)))
  (* t (* (+ 1.0 (* 2.0 a)) b))
  (* t (* (/ b 16.0) (+ (pow 1.0 3) (pow (* 2.0 a) 3))))
  (* t (* (+ 1.0 (* 2.0 a)) (* (- 1.0 (* 2.0 a)) (/ b 16.0))))
  (* (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) x)
  (* (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) x)
  (log (* (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) x))
  (log (* (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) x))
  (log (* (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) x))
  (log (* (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) x))
  (pow (exp (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))) x)
  (pow (* (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) x) 3)
  (pow (* (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) x) 3)
  (* (cbrt (* (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) x)) (cbrt (* (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) x)))
  (cbrt (* (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) x))
  (pow (* (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) x) 3)
  (sqrt (* (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) x))
  (sqrt (* (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) x))
  x
  (* (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) (cbrt x))
  (* (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) (sqrt x))
  (* (cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))) x)
  (* (+ 1.0 (* 2.0 a)) (/ b 16.0))
  (log (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (log (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (log (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (pow (exp (+ 1.0 (* 2.0 a))) (/ b 16.0))
  (pow (* (+ 1.0 (* 2.0 a)) (/ b 16.0)) 3)
  (pow (* (+ 1.0 (* 2.0 a)) (/ b 16.0)) 3)
  (* (cbrt (* (+ 1.0 (* 2.0 a)) (/ b 16.0))) (cbrt (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
  (cbrt (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (pow (* (+ 1.0 (* 2.0 a)) (/ b 16.0)) 3)
  (sqrt (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (sqrt (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
  (* b (+ (pow 1.0 3) (pow (* 2.0 a) 3)))
  (* 16.0 (+ (* 1.0 1.0) (* 2.0 (* a (- (* 2.0 a) 1.0)))))
  (* (+ 1.0 (* 2.0 a)) (* (- 1.0 (* 2.0 a)) b))
  (* 16.0 (- 1.0 (* 2.0 a)))
  (* (sqrt (+ 1.0 (* 2.0 a))) (sqrt (/ b 16.0)))
  (* (sqrt (+ 1.0 (* 2.0 a))) (sqrt (/ b 16.0)))
  (* (sqrt (+ 1.0 (* 2.0 a))) (/ (sqrt b) (sqrt 16.0)))
  (* (sqrt (+ 1.0 (* 2.0 a))) (/ (sqrt b) (sqrt 16.0)))
  (* (+ 1.0 (* 2.0 a)) (* (cbrt (/ b 16.0)) (cbrt (/ b 16.0))))
  (* (+ 1.0 (* 2.0 a)) (sqrt (/ b 16.0)))
  (* (+ 1.0 (* 2.0 a)) (* (/ (cbrt b) (cbrt 16.0)) (/ (cbrt b) (cbrt 16.0))))
  (* (+ 1.0 (* 2.0 a)) (* (/ (cbrt b) (sqrt 16.0)) (cbrt b)))
  (* (+ 1.0 (* 2.0 a)) (* (cbrt b) (cbrt b)))
  (* (+ 1.0 (* 2.0 a)) (/ (sqrt b) (* (cbrt 16.0) (cbrt 16.0))))
  (* (+ 1.0 (* 2.0 a)) (/ (sqrt b) (sqrt 16.0)))
  (* (+ 1.0 (* 2.0 a)) (sqrt b))
  (/ (+ 1.0 (* 2.0 a)) (* (cbrt 16.0) (cbrt 16.0)))
  (/ (+ 1.0 (* 2.0 a)) (sqrt 16.0))
  (+ 1.0 (* 2.0 a))
  (+ 1.0 (* 2.0 a))
  (* (+ 1.0 (* 2.0 a)) b)
  (* (/ b 16.0) (cbrt (+ 1.0 (* 2.0 a))))
  (* (/ b 16.0) (sqrt (+ 1.0 (* 2.0 a))))
  (* (+ 1.0 (* 2.0 a)) (/ b 16.0))
  (* (+ 1.0 (* 2.0 a)) b)
  (* (/ b 16.0) (+ (pow 1.0 3) (pow (* 2.0 a) 3)))
  (* (+ 1.0 (* 2.0 a)) (* (- 1.0 (* 2.0 a)) (/ b 16.0)))
  1
  (cos (* t (* (* (+ 1.0 (* 2.0 a)) b) 0.0625)))
  (cos (* t (* (* (+ 1.0 (* 2.0 a)) b) 0.0625)))
  0
  (* t (* b (+ 0.0625 (* a 0.125))))
  (* t (* b (+ 0.0625 (* a 0.125))))
  x
  (* x (cos (* t (* (* (+ 1.0 (* 2.0 a)) b) 0.0625))))
  (* x (cos (* t (* (* (+ 1.0 (* 2.0 a)) b) 0.0625))))
  (* b (+ 0.0625 (* a 0.125)))
  (* b (+ 0.0625 (* a 0.125)))
  (* b (+ 0.0625 (* a 0.125)))
0.758 * * * [progress]: adding candidates to table
0.978 * * [progress]: iteration 3 / 4
0.978 * * * [progress]: picking best candidate
1.198 * * * * [pick]: Picked  #<alt (λ (x y z t a b) x)>
1.198 * * * [progress]: localizing error
1.199 * * * [progress]: generating rewritten candidates
1.199 * * * [progress]: generating series expansions
1.199 * * * [progress]: simplifying candidates
1.199 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   
1.201 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
1.201 * [simplify]: Simplified to:
   
1.201 * * * [progress]: adding candidates to table