32.596 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.159 * * * [progress]: [2/2] Setting up program.
0.163 * [progress]: [Phase 2 of 3] Improving.
0.164 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))
0.211 * * [simplify]: iteration  0 :  991  enodes  (cost  35 )
0.211 * * [simplify]: iteration  1 :  991  enodes  (cost  35 )
0.212 * [simplify]: Simplified to:
   (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))
0.217 * * [progress]: iteration 1 / 4
0.217 * * * [progress]: picking best candidate
0.224 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))>
0.224 * * * [progress]: localizing error
0.247 * * * [progress]: generating rewritten candidates
0.247 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.250 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.254 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
0.264 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
0.276 * * * [progress]: generating series expansions
0.276 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.276 * [approximate]: Taking taylor expansion of (cos (* (+ (* 1/8 a) 1/16) (* t b))) in (t b a) around 0
0.276 * [taylor]: Taking taylor expansion of (cos (* (+ (* 1/8 a) 1/16) (* t b))) in a
0.276 * [taylor]: Taking taylor expansion of (* (+ (* 1/8 a) 1/16) (* t b)) in a
0.276 * [taylor]: Taking taylor expansion of (+ (* 1/8 a) 1/16) in a
0.276 * [taylor]: Taking taylor expansion of (* 1/8 a) in a
0.276 * [taylor]: Taking taylor expansion of 1/8 in a
0.276 * [taylor]: Taking taylor expansion of a in a
0.276 * [taylor]: Taking taylor expansion of 1/16 in a
0.276 * [taylor]: Taking taylor expansion of (* t b) in a
0.276 * [taylor]: Taking taylor expansion of t in a
0.276 * [taylor]: Taking taylor expansion of b in a
0.276 * [taylor]: Taking taylor expansion of (cos (* (+ (* 1/8 a) 1/16) (* t b))) in b
0.277 * [taylor]: Taking taylor expansion of (* (+ (* 1/8 a) 1/16) (* t b)) in b
0.277 * [taylor]: Taking taylor expansion of (+ (* 1/8 a) 1/16) in b
0.277 * [taylor]: Taking taylor expansion of (* 1/8 a) in b
0.277 * [taylor]: Taking taylor expansion of 1/8 in b
0.277 * [taylor]: Taking taylor expansion of a in b
0.277 * [taylor]: Taking taylor expansion of 1/16 in b
0.277 * [taylor]: Taking taylor expansion of (* t b) in b
0.277 * [taylor]: Taking taylor expansion of t in b
0.277 * [taylor]: Taking taylor expansion of b in b
0.277 * [taylor]: Taking taylor expansion of (cos (* (+ (* 1/8 a) 1/16) (* t b))) in t
0.277 * [taylor]: Taking taylor expansion of (* (+ (* 1/8 a) 1/16) (* t b)) in t
0.277 * [taylor]: Taking taylor expansion of (+ (* 1/8 a) 1/16) in t
0.277 * [taylor]: Taking taylor expansion of (* 1/8 a) in t
0.277 * [taylor]: Taking taylor expansion of 1/8 in t
0.277 * [taylor]: Taking taylor expansion of a in t
0.277 * [taylor]: Taking taylor expansion of 1/16 in t
0.277 * [taylor]: Taking taylor expansion of (* t b) in t
0.277 * [taylor]: Taking taylor expansion of t in t
0.277 * [taylor]: Taking taylor expansion of b in t
0.277 * [taylor]: Taking taylor expansion of (cos (* (+ (* 1/8 a) 1/16) (* t b))) in t
0.278 * [taylor]: Taking taylor expansion of (* (+ (* 1/8 a) 1/16) (* t b)) in t
0.278 * [taylor]: Taking taylor expansion of (+ (* 1/8 a) 1/16) in t
0.278 * [taylor]: Taking taylor expansion of (* 1/8 a) in t
0.278 * [taylor]: Taking taylor expansion of 1/8 in t
0.278 * [taylor]: Taking taylor expansion of a in t
0.278 * [taylor]: Taking taylor expansion of 1/16 in t
0.278 * [taylor]: Taking taylor expansion of (* t b) in t
0.278 * [taylor]: Taking taylor expansion of t in t
0.278 * [taylor]: Taking taylor expansion of b in t
0.278 * [taylor]: Taking taylor expansion of 1 in b
0.278 * [taylor]: Taking taylor expansion of 1 in a
0.278 * [taylor]: Taking taylor expansion of 0 in b
0.278 * [taylor]: Taking taylor expansion of 0 in a
0.278 * [taylor]: Taking taylor expansion of 0 in a
0.278 * [taylor]: Taking taylor expansion of (neg (+ (* 1/128 (* a (pow b 2))) (+ (* 1/512 (pow b 2)) (* 1/128 (* (pow a 2) (pow b 2)))))) in b
0.278 * [taylor]: Taking taylor expansion of (+ (* 1/128 (* a (pow b 2))) (+ (* 1/512 (pow b 2)) (* 1/128 (* (pow a 2) (pow b 2))))) in b
0.278 * [taylor]: Taking taylor expansion of (* 1/128 (* a (pow b 2))) in b
0.278 * [taylor]: Taking taylor expansion of 1/128 in b
0.279 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in b
0.279 * [taylor]: Taking taylor expansion of a in b
0.279 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.279 * [taylor]: Taking taylor expansion of b in b
0.279 * [taylor]: Taking taylor expansion of (+ (* 1/512 (pow b 2)) (* 1/128 (* (pow a 2) (pow b 2)))) in b
0.279 * [taylor]: Taking taylor expansion of (* 1/512 (pow b 2)) in b
0.279 * [taylor]: Taking taylor expansion of 1/512 in b
0.279 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.279 * [taylor]: Taking taylor expansion of b in b
0.279 * [taylor]: Taking taylor expansion of (* 1/128 (* (pow a 2) (pow b 2))) in b
0.279 * [taylor]: Taking taylor expansion of 1/128 in b
0.279 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
0.279 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.279 * [taylor]: Taking taylor expansion of a in b
0.279 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.279 * [taylor]: Taking taylor expansion of b in b
0.279 * [taylor]: Taking taylor expansion of 0 in a
0.279 * [taylor]: Taking taylor expansion of 0 in a
0.279 * [approximate]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 a)) 1/16) (* t b))) in (t b a) around 0
0.279 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 a)) 1/16) (* t b))) in a
0.279 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 a)) 1/16) (* t b)) in a
0.279 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 a)) 1/16) in a
0.279 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in a
0.279 * [taylor]: Taking taylor expansion of 1/8 in a
0.279 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.279 * [taylor]: Taking taylor expansion of a in a
0.279 * [taylor]: Taking taylor expansion of 1/16 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 (cos (/ (+ (* 1/8 (/ 1 a)) 1/16) (* t b))) in b
0.279 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 a)) 1/16) (* t b)) in b
0.279 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 a)) 1/16) in b
0.279 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in b
0.279 * [taylor]: Taking taylor expansion of 1/8 in b
0.279 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.279 * [taylor]: Taking taylor expansion of a in b
0.279 * [taylor]: Taking taylor expansion of 1/16 in b
0.280 * [taylor]: Taking taylor expansion of (* t b) in b
0.280 * [taylor]: Taking taylor expansion of t in b
0.280 * [taylor]: Taking taylor expansion of b in b
0.280 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 a)) 1/16) (* t b))) in t
0.280 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 a)) 1/16) (* t b)) in t
0.280 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 a)) 1/16) in t
0.280 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in t
0.280 * [taylor]: Taking taylor expansion of 1/8 in t
0.280 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.280 * [taylor]: Taking taylor expansion of a in t
0.280 * [taylor]: Taking taylor expansion of 1/16 in t
0.280 * [taylor]: Taking taylor expansion of (* t b) in t
0.280 * [taylor]: Taking taylor expansion of t in t
0.280 * [taylor]: Taking taylor expansion of b in t
0.280 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 a)) 1/16) (* t b))) in t
0.280 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 a)) 1/16) (* t b)) in t
0.280 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 a)) 1/16) in t
0.280 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in t
0.280 * [taylor]: Taking taylor expansion of 1/8 in t
0.280 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.280 * [taylor]: Taking taylor expansion of a in t
0.280 * [taylor]: Taking taylor expansion of 1/16 in t
0.280 * [taylor]: Taking taylor expansion of (* t b) in t
0.280 * [taylor]: Taking taylor expansion of t in t
0.280 * [taylor]: Taking taylor expansion of b in t
0.281 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 a)) 1/16) (* t b))) in b
0.281 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 a)) 1/16) (* t b)) in b
0.281 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 a)) 1/16) in b
0.281 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in b
0.281 * [taylor]: Taking taylor expansion of 1/8 in b
0.281 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.281 * [taylor]: Taking taylor expansion of a in b
0.281 * [taylor]: Taking taylor expansion of 1/16 in b
0.281 * [taylor]: Taking taylor expansion of (* t b) in b
0.281 * [taylor]: Taking taylor expansion of t in b
0.281 * [taylor]: Taking taylor expansion of b in b
0.281 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 a)) 1/16) (* t b))) in a
0.281 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 a)) 1/16) (* t b)) in a
0.281 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 a)) 1/16) in a
0.281 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in a
0.281 * [taylor]: Taking taylor expansion of 1/8 in a
0.281 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.281 * [taylor]: Taking taylor expansion of a in a
0.281 * [taylor]: Taking taylor expansion of 1/16 in a
0.281 * [taylor]: Taking taylor expansion of (* t b) in a
0.281 * [taylor]: Taking taylor expansion of t in a
0.281 * [taylor]: Taking taylor expansion of b in a
0.281 * [taylor]: Taking taylor expansion of 0 in b
0.282 * [taylor]: Taking taylor expansion of 0 in a
0.282 * [taylor]: Taking taylor expansion of 0 in a
0.282 * [taylor]: Taking taylor expansion of 0 in b
0.282 * [taylor]: Taking taylor expansion of 0 in a
0.282 * [taylor]: Taking taylor expansion of 0 in a
0.282 * [taylor]: Taking taylor expansion of 0 in a
0.282 * [approximate]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 a))) (* t b))) in (t b a) around 0
0.282 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 a))) (* t b))) in a
0.282 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 a))) (* t b)) in a
0.282 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 a))) in a
0.282 * [taylor]: Taking taylor expansion of 1/16 in a
0.282 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in a
0.282 * [taylor]: Taking taylor expansion of 1/8 in a
0.282 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.282 * [taylor]: Taking taylor expansion of a in a
0.282 * [taylor]: Taking taylor expansion of (* t b) in a
0.282 * [taylor]: Taking taylor expansion of t in a
0.282 * [taylor]: Taking taylor expansion of b in a
0.282 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 a))) (* t b))) in b
0.282 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 a))) (* t b)) in b
0.282 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 a))) in b
0.282 * [taylor]: Taking taylor expansion of 1/16 in b
0.282 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in b
0.282 * [taylor]: Taking taylor expansion of 1/8 in b
0.282 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.282 * [taylor]: Taking taylor expansion of a in b
0.282 * [taylor]: Taking taylor expansion of (* t b) in b
0.282 * [taylor]: Taking taylor expansion of t in b
0.283 * [taylor]: Taking taylor expansion of b in b
0.283 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 a))) (* t b))) in t
0.283 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 a))) (* t b)) in t
0.283 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 a))) in t
0.283 * [taylor]: Taking taylor expansion of 1/16 in t
0.283 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in t
0.283 * [taylor]: Taking taylor expansion of 1/8 in t
0.283 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.283 * [taylor]: Taking taylor expansion of a in t
0.283 * [taylor]: Taking taylor expansion of (* t b) in t
0.283 * [taylor]: Taking taylor expansion of t in t
0.283 * [taylor]: Taking taylor expansion of b in t
0.283 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 a))) (* t b))) in t
0.283 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 a))) (* t b)) in t
0.283 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 a))) in t
0.283 * [taylor]: Taking taylor expansion of 1/16 in t
0.283 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in t
0.283 * [taylor]: Taking taylor expansion of 1/8 in t
0.283 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.283 * [taylor]: Taking taylor expansion of a in t
0.283 * [taylor]: Taking taylor expansion of (* t b) in t
0.283 * [taylor]: Taking taylor expansion of t in t
0.283 * [taylor]: Taking taylor expansion of b in t
0.284 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 a))) (* t b))) in b
0.284 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 a))) (* t b)) in b
0.284 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 a))) in b
0.284 * [taylor]: Taking taylor expansion of 1/16 in b
0.284 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in b
0.284 * [taylor]: Taking taylor expansion of 1/8 in b
0.284 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.284 * [taylor]: Taking taylor expansion of a in b
0.284 * [taylor]: Taking taylor expansion of (* t b) in b
0.284 * [taylor]: Taking taylor expansion of t in b
0.284 * [taylor]: Taking taylor expansion of b in b
0.284 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 a))) (* t b))) in a
0.284 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 a))) (* t b)) in a
0.284 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 a))) in a
0.284 * [taylor]: Taking taylor expansion of 1/16 in a
0.284 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in a
0.284 * [taylor]: Taking taylor expansion of 1/8 in a
0.284 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.284 * [taylor]: Taking taylor expansion of a in a
0.284 * [taylor]: Taking taylor expansion of (* t b) in a
0.284 * [taylor]: Taking taylor expansion of t in a
0.284 * [taylor]: Taking taylor expansion of b in a
0.285 * [taylor]: Taking taylor expansion of 0 in b
0.285 * [taylor]: Taking taylor expansion of 0 in a
0.285 * [taylor]: Taking taylor expansion of 0 in a
0.285 * [taylor]: Taking taylor expansion of 0 in b
0.285 * [taylor]: Taking taylor expansion of 0 in a
0.285 * [taylor]: Taking taylor expansion of 0 in a
0.285 * [taylor]: Taking taylor expansion of 0 in a
0.285 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.285 * [approximate]: Taking taylor expansion of (cos (* t (* z (+ (* 1/8 y) 1/16)))) in (z t y) around 0
0.285 * [taylor]: Taking taylor expansion of (cos (* t (* z (+ (* 1/8 y) 1/16)))) in y
0.285 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in y
0.285 * [taylor]: Taking taylor expansion of t in y
0.285 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in y
0.285 * [taylor]: Taking taylor expansion of z in y
0.285 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in y
0.285 * [taylor]: Taking taylor expansion of (* 1/8 y) in y
0.285 * [taylor]: Taking taylor expansion of 1/8 in y
0.285 * [taylor]: Taking taylor expansion of y in y
0.285 * [taylor]: Taking taylor expansion of 1/16 in y
0.285 * [taylor]: Taking taylor expansion of (cos (* t (* z (+ (* 1/8 y) 1/16)))) in t
0.285 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in t
0.285 * [taylor]: Taking taylor expansion of t in t
0.285 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in t
0.285 * [taylor]: Taking taylor expansion of z in t
0.285 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in t
0.286 * [taylor]: Taking taylor expansion of (* 1/8 y) in t
0.286 * [taylor]: Taking taylor expansion of 1/8 in t
0.286 * [taylor]: Taking taylor expansion of y in t
0.286 * [taylor]: Taking taylor expansion of 1/16 in t
0.286 * [taylor]: Taking taylor expansion of (cos (* t (* z (+ (* 1/8 y) 1/16)))) in z
0.286 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in z
0.286 * [taylor]: Taking taylor expansion of t in z
0.286 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in z
0.286 * [taylor]: Taking taylor expansion of z in z
0.286 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in z
0.286 * [taylor]: Taking taylor expansion of (* 1/8 y) in z
0.286 * [taylor]: Taking taylor expansion of 1/8 in z
0.286 * [taylor]: Taking taylor expansion of y in z
0.286 * [taylor]: Taking taylor expansion of 1/16 in z
0.286 * [taylor]: Taking taylor expansion of (cos (* t (* z (+ (* 1/8 y) 1/16)))) in z
0.286 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in z
0.286 * [taylor]: Taking taylor expansion of t in z
0.286 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in z
0.286 * [taylor]: Taking taylor expansion of z in z
0.286 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in z
0.286 * [taylor]: Taking taylor expansion of (* 1/8 y) in z
0.286 * [taylor]: Taking taylor expansion of 1/8 in z
0.286 * [taylor]: Taking taylor expansion of y in z
0.286 * [taylor]: Taking taylor expansion of 1/16 in z
0.287 * [taylor]: Taking taylor expansion of 1 in t
0.287 * [taylor]: Taking taylor expansion of 1 in y
0.287 * [taylor]: Taking taylor expansion of 0 in t
0.287 * [taylor]: Taking taylor expansion of 0 in y
0.287 * [taylor]: Taking taylor expansion of 0 in y
0.287 * [taylor]: Taking taylor expansion of (neg (+ (* 1/512 (pow t 2)) (+ (* 1/128 (* (pow t 2) y)) (* 1/128 (* (pow t 2) (pow y 2)))))) in t
0.287 * [taylor]: Taking taylor expansion of (+ (* 1/512 (pow t 2)) (+ (* 1/128 (* (pow t 2) y)) (* 1/128 (* (pow t 2) (pow y 2))))) in t
0.287 * [taylor]: Taking taylor expansion of (* 1/512 (pow t 2)) in t
0.287 * [taylor]: Taking taylor expansion of 1/512 in t
0.287 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.287 * [taylor]: Taking taylor expansion of t in t
0.287 * [taylor]: Taking taylor expansion of (+ (* 1/128 (* (pow t 2) y)) (* 1/128 (* (pow t 2) (pow y 2)))) in t
0.287 * [taylor]: Taking taylor expansion of (* 1/128 (* (pow t 2) y)) in t
0.287 * [taylor]: Taking taylor expansion of 1/128 in t
0.287 * [taylor]: Taking taylor expansion of (* (pow t 2) y) in t
0.287 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.287 * [taylor]: Taking taylor expansion of t in t
0.287 * [taylor]: Taking taylor expansion of y in t
0.287 * [taylor]: Taking taylor expansion of (* 1/128 (* (pow t 2) (pow y 2))) in t
0.287 * [taylor]: Taking taylor expansion of 1/128 in t
0.287 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow y 2)) in t
0.287 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.287 * [taylor]: Taking taylor expansion of t in t
0.287 * [taylor]: Taking taylor expansion of (pow y 2) in t
0.287 * [taylor]: Taking taylor expansion of y in t
0.287 * [taylor]: Taking taylor expansion of 0 in y
0.287 * [taylor]: Taking taylor expansion of 0 in y
0.288 * [approximate]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) in (z t y) around 0
0.288 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) in y
0.288 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in y
0.288 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in y
0.288 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in y
0.288 * [taylor]: Taking taylor expansion of 1/8 in y
0.288 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.288 * [taylor]: Taking taylor expansion of y in y
0.288 * [taylor]: Taking taylor expansion of 1/16 in y
0.288 * [taylor]: Taking taylor expansion of (* t z) in y
0.288 * [taylor]: Taking taylor expansion of t in y
0.288 * [taylor]: Taking taylor expansion of z in y
0.288 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) in t
0.288 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in t
0.288 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in t
0.288 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in t
0.288 * [taylor]: Taking taylor expansion of 1/8 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 1/16 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 (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) in z
0.288 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in z
0.288 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in z
0.288 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in z
0.288 * [taylor]: Taking taylor expansion of 1/8 in z
0.289 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.289 * [taylor]: Taking taylor expansion of y in z
0.289 * [taylor]: Taking taylor expansion of 1/16 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 (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) in z
0.289 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in z
0.289 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in z
0.289 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in z
0.289 * [taylor]: Taking taylor expansion of 1/8 in z
0.289 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.289 * [taylor]: Taking taylor expansion of y in z
0.289 * [taylor]: Taking taylor expansion of 1/16 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 (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* z t))) in t
0.289 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* z t)) in t
0.289 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in t
0.289 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in t
0.289 * [taylor]: Taking taylor expansion of 1/8 in t
0.289 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.289 * [taylor]: Taking taylor expansion of y in t
0.289 * [taylor]: Taking taylor expansion of 1/16 in t
0.289 * [taylor]: Taking taylor expansion of (* z t) in t
0.289 * [taylor]: Taking taylor expansion of z in t
0.289 * [taylor]: Taking taylor expansion of t in t
0.290 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* z t))) in y
0.290 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* z t)) in y
0.290 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in y
0.290 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in y
0.290 * [taylor]: Taking taylor expansion of 1/8 in y
0.290 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.290 * [taylor]: Taking taylor expansion of y in y
0.290 * [taylor]: Taking taylor expansion of 1/16 in y
0.290 * [taylor]: Taking taylor expansion of (* z t) in y
0.290 * [taylor]: Taking taylor expansion of z in y
0.290 * [taylor]: Taking taylor expansion of t in y
0.290 * [taylor]: Taking taylor expansion of 0 in t
0.290 * [taylor]: Taking taylor expansion of 0 in y
0.290 * [taylor]: Taking taylor expansion of 0 in y
0.290 * [taylor]: Taking taylor expansion of 0 in t
0.290 * [taylor]: Taking taylor expansion of 0 in y
0.290 * [taylor]: Taking taylor expansion of 0 in y
0.290 * [taylor]: Taking taylor expansion of 0 in y
0.291 * [approximate]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in (z t y) around 0
0.291 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in y
0.291 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in y
0.291 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in y
0.291 * [taylor]: Taking taylor expansion of 1/16 in y
0.291 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in y
0.291 * [taylor]: Taking taylor expansion of 1/8 in y
0.291 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.291 * [taylor]: Taking taylor expansion of y in y
0.291 * [taylor]: Taking taylor expansion of (* t z) in y
0.291 * [taylor]: Taking taylor expansion of t in y
0.291 * [taylor]: Taking taylor expansion of z in y
0.291 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in t
0.291 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in t
0.291 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in t
0.291 * [taylor]: Taking taylor expansion of 1/16 in t
0.291 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in t
0.291 * [taylor]: Taking taylor expansion of 1/8 in t
0.291 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.291 * [taylor]: Taking taylor expansion of y in t
0.291 * [taylor]: Taking taylor expansion of (* t z) in t
0.291 * [taylor]: Taking taylor expansion of t in t
0.291 * [taylor]: Taking taylor expansion of z in t
0.291 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in z
0.291 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in z
0.291 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in z
0.291 * [taylor]: Taking taylor expansion of 1/16 in z
0.291 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in z
0.292 * [taylor]: Taking taylor expansion of 1/8 in z
0.292 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.292 * [taylor]: Taking taylor expansion of y in z
0.292 * [taylor]: Taking taylor expansion of (* t z) in z
0.292 * [taylor]: Taking taylor expansion of t in z
0.292 * [taylor]: Taking taylor expansion of z in z
0.292 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in z
0.292 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in z
0.292 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in z
0.292 * [taylor]: Taking taylor expansion of 1/16 in z
0.292 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in z
0.292 * [taylor]: Taking taylor expansion of 1/8 in z
0.292 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.292 * [taylor]: Taking taylor expansion of y in z
0.292 * [taylor]: Taking taylor expansion of (* t z) in z
0.292 * [taylor]: Taking taylor expansion of t in z
0.292 * [taylor]: Taking taylor expansion of z in z
0.292 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in t
0.292 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in t
0.292 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in t
0.292 * [taylor]: Taking taylor expansion of 1/16 in t
0.292 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in t
0.292 * [taylor]: Taking taylor expansion of 1/8 in t
0.292 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.292 * [taylor]: Taking taylor expansion of y in t
0.293 * [taylor]: Taking taylor expansion of (* t z) in t
0.293 * [taylor]: Taking taylor expansion of t in t
0.293 * [taylor]: Taking taylor expansion of z in t
0.293 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in y
0.293 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in y
0.293 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in y
0.293 * [taylor]: Taking taylor expansion of 1/16 in y
0.293 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in y
0.293 * [taylor]: Taking taylor expansion of 1/8 in y
0.293 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.293 * [taylor]: Taking taylor expansion of y in y
0.293 * [taylor]: Taking taylor expansion of (* t z) in y
0.293 * [taylor]: Taking taylor expansion of t in y
0.293 * [taylor]: Taking taylor expansion of z in y
0.293 * [taylor]: Taking taylor expansion of 0 in t
0.293 * [taylor]: Taking taylor expansion of 0 in y
0.293 * [taylor]: Taking taylor expansion of 0 in y
0.293 * [taylor]: Taking taylor expansion of 0 in t
0.293 * [taylor]: Taking taylor expansion of 0 in y
0.293 * [taylor]: Taking taylor expansion of 0 in y
0.293 * [taylor]: Taking taylor expansion of 0 in y
0.294 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
0.294 * [approximate]: Taking taylor expansion of (* (+ (* 1/8 a) 1/16) (* t b)) in (t b a) around 0
0.294 * [taylor]: Taking taylor expansion of (* (+ (* 1/8 a) 1/16) (* t b)) in a
0.294 * [taylor]: Taking taylor expansion of (+ (* 1/8 a) 1/16) in a
0.294 * [taylor]: Taking taylor expansion of (* 1/8 a) in a
0.294 * [taylor]: Taking taylor expansion of 1/8 in a
0.294 * [taylor]: Taking taylor expansion of a in a
0.294 * [taylor]: Taking taylor expansion of 1/16 in a
0.294 * [taylor]: Taking taylor expansion of (* t b) in a
0.294 * [taylor]: Taking taylor expansion of t in a
0.294 * [taylor]: Taking taylor expansion of b in a
0.294 * [taylor]: Taking taylor expansion of (* (+ (* 1/8 a) 1/16) (* t b)) in b
0.294 * [taylor]: Taking taylor expansion of (+ (* 1/8 a) 1/16) in b
0.294 * [taylor]: Taking taylor expansion of (* 1/8 a) in b
0.294 * [taylor]: Taking taylor expansion of 1/8 in b
0.294 * [taylor]: Taking taylor expansion of a in b
0.294 * [taylor]: Taking taylor expansion of 1/16 in b
0.294 * [taylor]: Taking taylor expansion of (* t b) in b
0.294 * [taylor]: Taking taylor expansion of t in b
0.294 * [taylor]: Taking taylor expansion of b in b
0.294 * [taylor]: Taking taylor expansion of (* (+ (* 1/8 a) 1/16) (* t b)) in t
0.294 * [taylor]: Taking taylor expansion of (+ (* 1/8 a) 1/16) in t
0.294 * [taylor]: Taking taylor expansion of (* 1/8 a) in t
0.294 * [taylor]: Taking taylor expansion of 1/8 in t
0.294 * [taylor]: Taking taylor expansion of a in t
0.294 * [taylor]: Taking taylor expansion of 1/16 in t
0.294 * [taylor]: Taking taylor expansion of (* t b) in t
0.294 * [taylor]: Taking taylor expansion of t in t
0.294 * [taylor]: Taking taylor expansion of b in t
0.294 * [taylor]: Taking taylor expansion of (* (+ (* 1/8 a) 1/16) (* t b)) in t
0.294 * [taylor]: Taking taylor expansion of (+ (* 1/8 a) 1/16) in t
0.294 * [taylor]: Taking taylor expansion of (* 1/8 a) in t
0.294 * [taylor]: Taking taylor expansion of 1/8 in t
0.294 * [taylor]: Taking taylor expansion of a in t
0.294 * [taylor]: Taking taylor expansion of 1/16 in t
0.294 * [taylor]: Taking taylor expansion of (* t b) in t
0.294 * [taylor]: Taking taylor expansion of t in t
0.294 * [taylor]: Taking taylor expansion of b in t
0.294 * [taylor]: Taking taylor expansion of 0 in b
0.294 * [taylor]: Taking taylor expansion of 0 in a
0.295 * [taylor]: Taking taylor expansion of (+ (* 1/8 (* a b)) (* 1/16 b)) in b
0.295 * [taylor]: Taking taylor expansion of (* 1/8 (* a b)) in b
0.295 * [taylor]: Taking taylor expansion of 1/8 in b
0.295 * [taylor]: Taking taylor expansion of (* a b) in b
0.295 * [taylor]: Taking taylor expansion of a in b
0.295 * [taylor]: Taking taylor expansion of b in b
0.295 * [taylor]: Taking taylor expansion of (* 1/16 b) in b
0.295 * [taylor]: Taking taylor expansion of 1/16 in b
0.295 * [taylor]: Taking taylor expansion of b in b
0.295 * [taylor]: Taking taylor expansion of 0 in a
0.295 * [taylor]: Taking taylor expansion of 0 in a
0.295 * [taylor]: Taking taylor expansion of 0 in b
0.295 * [taylor]: Taking taylor expansion of 0 in a
0.295 * [taylor]: Taking taylor expansion of (+ (* 1/8 a) 1/16) in a
0.295 * [taylor]: Taking taylor expansion of (* 1/8 a) in a
0.295 * [taylor]: Taking taylor expansion of 1/8 in a
0.295 * [taylor]: Taking taylor expansion of a in a
0.295 * [taylor]: Taking taylor expansion of 1/16 in a
0.295 * [taylor]: Taking taylor expansion of 0 in a
0.296 * [taylor]: Taking taylor expansion of 0 in b
0.296 * [taylor]: Taking taylor expansion of 0 in a
0.296 * [taylor]: Taking taylor expansion of 0 in a
0.296 * [approximate]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 a)) 1/16) (* t b)) in (t b a) around 0
0.296 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 a)) 1/16) (* t b)) in a
0.296 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 a)) 1/16) in a
0.296 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in a
0.296 * [taylor]: Taking taylor expansion of 1/8 in a
0.296 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.296 * [taylor]: Taking taylor expansion of a in a
0.296 * [taylor]: Taking taylor expansion of 1/16 in a
0.296 * [taylor]: Taking taylor expansion of (* t b) in a
0.296 * [taylor]: Taking taylor expansion of t in a
0.296 * [taylor]: Taking taylor expansion of b in a
0.296 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 a)) 1/16) (* t b)) in b
0.296 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 a)) 1/16) in b
0.296 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in b
0.296 * [taylor]: Taking taylor expansion of 1/8 in b
0.296 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.296 * [taylor]: Taking taylor expansion of a in b
0.296 * [taylor]: Taking taylor expansion of 1/16 in b
0.296 * [taylor]: Taking taylor expansion of (* t b) in b
0.296 * [taylor]: Taking taylor expansion of t in b
0.296 * [taylor]: Taking taylor expansion of b in b
0.296 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 a)) 1/16) (* t b)) in t
0.296 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 a)) 1/16) in t
0.296 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in t
0.296 * [taylor]: Taking taylor expansion of 1/8 in t
0.296 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.296 * [taylor]: Taking taylor expansion of a in t
0.297 * [taylor]: Taking taylor expansion of 1/16 in t
0.297 * [taylor]: Taking taylor expansion of (* t b) in t
0.297 * [taylor]: Taking taylor expansion of t in t
0.297 * [taylor]: Taking taylor expansion of b in t
0.297 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 a)) 1/16) (* t b)) in t
0.297 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 a)) 1/16) in t
0.297 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in t
0.297 * [taylor]: Taking taylor expansion of 1/8 in t
0.297 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.297 * [taylor]: Taking taylor expansion of a in t
0.297 * [taylor]: Taking taylor expansion of 1/16 in t
0.297 * [taylor]: Taking taylor expansion of (* t b) in t
0.297 * [taylor]: Taking taylor expansion of t in t
0.297 * [taylor]: Taking taylor expansion of b in t
0.297 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 a)) 1/16) b) in b
0.297 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 a)) 1/16) in b
0.297 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in b
0.297 * [taylor]: Taking taylor expansion of 1/8 in b
0.297 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.297 * [taylor]: Taking taylor expansion of a in b
0.297 * [taylor]: Taking taylor expansion of 1/16 in b
0.297 * [taylor]: Taking taylor expansion of b in b
0.297 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 a)) 1/16) in a
0.297 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in a
0.297 * [taylor]: Taking taylor expansion of 1/8 in a
0.297 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.297 * [taylor]: Taking taylor expansion of a in a
0.297 * [taylor]: Taking taylor expansion of 1/16 in a
0.298 * [taylor]: Taking taylor expansion of 0 in b
0.298 * [taylor]: Taking taylor expansion of 0 in a
0.298 * [taylor]: Taking taylor expansion of 0 in b
0.298 * [taylor]: Taking taylor expansion of 0 in a
0.299 * [taylor]: Taking taylor expansion of 0 in a
0.299 * [taylor]: Taking taylor expansion of 0 in b
0.299 * [taylor]: Taking taylor expansion of 0 in a
0.299 * [taylor]: Taking taylor expansion of 0 in a
0.299 * [taylor]: Taking taylor expansion of 0 in a
0.300 * [approximate]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 a))) (* t b)) in (t b a) around 0
0.300 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 a))) (* t b)) in a
0.300 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 a))) in a
0.300 * [taylor]: Taking taylor expansion of 1/16 in a
0.300 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in a
0.300 * [taylor]: Taking taylor expansion of 1/8 in a
0.300 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.300 * [taylor]: Taking taylor expansion of a in a
0.300 * [taylor]: Taking taylor expansion of (* t b) in a
0.300 * [taylor]: Taking taylor expansion of t in a
0.300 * [taylor]: Taking taylor expansion of b in a
0.300 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 a))) (* t b)) in b
0.300 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 a))) in b
0.300 * [taylor]: Taking taylor expansion of 1/16 in b
0.300 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in b
0.300 * [taylor]: Taking taylor expansion of 1/8 in b
0.300 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.300 * [taylor]: Taking taylor expansion of a in b
0.300 * [taylor]: Taking taylor expansion of (* t b) in b
0.300 * [taylor]: Taking taylor expansion of t in b
0.300 * [taylor]: Taking taylor expansion of b in b
0.300 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 a))) (* t b)) in t
0.300 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 a))) in t
0.300 * [taylor]: Taking taylor expansion of 1/16 in t
0.301 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in t
0.301 * [taylor]: Taking taylor expansion of 1/8 in t
0.301 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.301 * [taylor]: Taking taylor expansion of a in t
0.301 * [taylor]: Taking taylor expansion of (* t b) in t
0.301 * [taylor]: Taking taylor expansion of t in t
0.301 * [taylor]: Taking taylor expansion of b in t
0.301 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 a))) (* t b)) in t
0.301 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 a))) in t
0.301 * [taylor]: Taking taylor expansion of 1/16 in t
0.301 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in t
0.301 * [taylor]: Taking taylor expansion of 1/8 in t
0.301 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.301 * [taylor]: Taking taylor expansion of a in t
0.301 * [taylor]: Taking taylor expansion of (* t b) in t
0.301 * [taylor]: Taking taylor expansion of t in t
0.301 * [taylor]: Taking taylor expansion of b in t
0.301 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 a))) b) in b
0.301 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 a))) in b
0.301 * [taylor]: Taking taylor expansion of 1/16 in b
0.301 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in b
0.301 * [taylor]: Taking taylor expansion of 1/8 in b
0.301 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.301 * [taylor]: Taking taylor expansion of a in b
0.301 * [taylor]: Taking taylor expansion of b in b
0.302 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 a))) in a
0.302 * [taylor]: Taking taylor expansion of 1/16 in a
0.302 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 a)) in a
0.302 * [taylor]: Taking taylor expansion of 1/8 in a
0.302 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.302 * [taylor]: Taking taylor expansion of a in a
0.302 * [taylor]: Taking taylor expansion of 0 in b
0.302 * [taylor]: Taking taylor expansion of 0 in a
0.302 * [taylor]: Taking taylor expansion of 0 in b
0.303 * [taylor]: Taking taylor expansion of 0 in a
0.303 * [taylor]: Taking taylor expansion of 0 in a
0.303 * [taylor]: Taking taylor expansion of 0 in b
0.303 * [taylor]: Taking taylor expansion of 0 in a
0.303 * [taylor]: Taking taylor expansion of 0 in a
0.304 * [taylor]: Taking taylor expansion of 0 in a
0.304 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
0.304 * [approximate]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in (z t y) around 0
0.304 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in y
0.304 * [taylor]: Taking taylor expansion of t in y
0.304 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in y
0.304 * [taylor]: Taking taylor expansion of z in y
0.304 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in y
0.304 * [taylor]: Taking taylor expansion of (* 1/8 y) in y
0.304 * [taylor]: Taking taylor expansion of 1/8 in y
0.304 * [taylor]: Taking taylor expansion of y in y
0.304 * [taylor]: Taking taylor expansion of 1/16 in y
0.304 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in t
0.304 * [taylor]: Taking taylor expansion of t in t
0.304 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in t
0.304 * [taylor]: Taking taylor expansion of z in t
0.304 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in t
0.304 * [taylor]: Taking taylor expansion of (* 1/8 y) in t
0.304 * [taylor]: Taking taylor expansion of 1/8 in t
0.304 * [taylor]: Taking taylor expansion of y in t
0.304 * [taylor]: Taking taylor expansion of 1/16 in t
0.304 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in z
0.304 * [taylor]: Taking taylor expansion of t in z
0.304 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in z
0.304 * [taylor]: Taking taylor expansion of z in z
0.304 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in z
0.304 * [taylor]: Taking taylor expansion of (* 1/8 y) in z
0.305 * [taylor]: Taking taylor expansion of 1/8 in z
0.305 * [taylor]: Taking taylor expansion of y in z
0.305 * [taylor]: Taking taylor expansion of 1/16 in z
0.305 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in z
0.305 * [taylor]: Taking taylor expansion of t in z
0.305 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in z
0.305 * [taylor]: Taking taylor expansion of z in z
0.305 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in z
0.305 * [taylor]: Taking taylor expansion of (* 1/8 y) in z
0.305 * [taylor]: Taking taylor expansion of 1/8 in z
0.305 * [taylor]: Taking taylor expansion of y in z
0.305 * [taylor]: Taking taylor expansion of 1/16 in z
0.305 * [taylor]: Taking taylor expansion of 0 in t
0.305 * [taylor]: Taking taylor expansion of 0 in y
0.305 * [taylor]: Taking taylor expansion of (+ (* 1/16 t) (* 1/8 (* t y))) in t
0.305 * [taylor]: Taking taylor expansion of (* 1/16 t) in t
0.305 * [taylor]: Taking taylor expansion of 1/16 in t
0.305 * [taylor]: Taking taylor expansion of t in t
0.305 * [taylor]: Taking taylor expansion of (* 1/8 (* t y)) in t
0.305 * [taylor]: Taking taylor expansion of 1/8 in t
0.305 * [taylor]: Taking taylor expansion of (* t y) in t
0.305 * [taylor]: Taking taylor expansion of t in t
0.305 * [taylor]: Taking taylor expansion of y in t
0.305 * [taylor]: Taking taylor expansion of 0 in y
0.305 * [taylor]: Taking taylor expansion of 0 in y
0.305 * [taylor]: Taking taylor expansion of 0 in t
0.305 * [taylor]: Taking taylor expansion of 0 in y
0.306 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in y
0.306 * [taylor]: Taking taylor expansion of (* 1/8 y) in y
0.306 * [taylor]: Taking taylor expansion of 1/8 in y
0.306 * [taylor]: Taking taylor expansion of y in y
0.306 * [taylor]: Taking taylor expansion of 1/16 in y
0.306 * [taylor]: Taking taylor expansion of 0 in y
0.306 * [taylor]: Taking taylor expansion of 0 in t
0.306 * [taylor]: Taking taylor expansion of 0 in y
0.306 * [taylor]: Taking taylor expansion of 0 in y
0.306 * [approximate]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in (z t y) around 0
0.306 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in y
0.306 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in y
0.306 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in y
0.306 * [taylor]: Taking taylor expansion of 1/8 in y
0.306 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.306 * [taylor]: Taking taylor expansion of y in y
0.306 * [taylor]: Taking taylor expansion of 1/16 in y
0.306 * [taylor]: Taking taylor expansion of (* t z) in y
0.306 * [taylor]: Taking taylor expansion of t in y
0.306 * [taylor]: Taking taylor expansion of z in y
0.306 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in t
0.307 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in t
0.307 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in t
0.307 * [taylor]: Taking taylor expansion of 1/8 in t
0.307 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.307 * [taylor]: Taking taylor expansion of y in t
0.307 * [taylor]: Taking taylor expansion of 1/16 in t
0.307 * [taylor]: Taking taylor expansion of (* t z) in t
0.307 * [taylor]: Taking taylor expansion of t in t
0.307 * [taylor]: Taking taylor expansion of z in t
0.307 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in z
0.307 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in z
0.307 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in z
0.307 * [taylor]: Taking taylor expansion of 1/8 in z
0.307 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.307 * [taylor]: Taking taylor expansion of y in z
0.307 * [taylor]: Taking taylor expansion of 1/16 in z
0.307 * [taylor]: Taking taylor expansion of (* t z) in z
0.307 * [taylor]: Taking taylor expansion of t in z
0.307 * [taylor]: Taking taylor expansion of z in z
0.307 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in z
0.307 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in z
0.307 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in z
0.307 * [taylor]: Taking taylor expansion of 1/8 in z
0.307 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.307 * [taylor]: Taking taylor expansion of y in z
0.307 * [taylor]: Taking taylor expansion of 1/16 in z
0.307 * [taylor]: Taking taylor expansion of (* t z) in z
0.307 * [taylor]: Taking taylor expansion of t in z
0.307 * [taylor]: Taking taylor expansion of z in z
0.307 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) t) in t
0.308 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in t
0.308 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in t
0.308 * [taylor]: Taking taylor expansion of 1/8 in t
0.308 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.308 * [taylor]: Taking taylor expansion of y in t
0.308 * [taylor]: Taking taylor expansion of 1/16 in t
0.308 * [taylor]: Taking taylor expansion of t in t
0.308 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in y
0.308 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in y
0.308 * [taylor]: Taking taylor expansion of 1/8 in y
0.308 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.308 * [taylor]: Taking taylor expansion of y in y
0.308 * [taylor]: Taking taylor expansion of 1/16 in y
0.308 * [taylor]: Taking taylor expansion of 0 in t
0.308 * [taylor]: Taking taylor expansion of 0 in y
0.309 * [taylor]: Taking taylor expansion of 0 in t
0.309 * [taylor]: Taking taylor expansion of 0 in y
0.309 * [taylor]: Taking taylor expansion of 0 in y
0.309 * [taylor]: Taking taylor expansion of 0 in t
0.309 * [taylor]: Taking taylor expansion of 0 in y
0.309 * [taylor]: Taking taylor expansion of 0 in y
0.310 * [taylor]: Taking taylor expansion of 0 in y
0.310 * [approximate]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in (z t y) around 0
0.310 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in y
0.310 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in y
0.310 * [taylor]: Taking taylor expansion of 1/16 in y
0.310 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in y
0.310 * [taylor]: Taking taylor expansion of 1/8 in y
0.310 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.310 * [taylor]: Taking taylor expansion of y in y
0.310 * [taylor]: Taking taylor expansion of (* t z) in y
0.310 * [taylor]: Taking taylor expansion of t in y
0.310 * [taylor]: Taking taylor expansion of z in y
0.310 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in t
0.311 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in t
0.311 * [taylor]: Taking taylor expansion of 1/16 in t
0.311 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in t
0.311 * [taylor]: Taking taylor expansion of 1/8 in t
0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.311 * [taylor]: Taking taylor expansion of y in t
0.311 * [taylor]: Taking taylor expansion of (* t z) in t
0.311 * [taylor]: Taking taylor expansion of t in t
0.311 * [taylor]: Taking taylor expansion of z in t
0.311 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in z
0.311 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in z
0.311 * [taylor]: Taking taylor expansion of 1/16 in z
0.311 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in z
0.311 * [taylor]: Taking taylor expansion of 1/8 in z
0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.311 * [taylor]: Taking taylor expansion of y in z
0.311 * [taylor]: Taking taylor expansion of (* t z) in z
0.311 * [taylor]: Taking taylor expansion of t in z
0.311 * [taylor]: Taking taylor expansion of z in z
0.311 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in z
0.311 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in z
0.311 * [taylor]: Taking taylor expansion of 1/16 in z
0.311 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in z
0.311 * [taylor]: Taking taylor expansion of 1/8 in z
0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.312 * [taylor]: Taking taylor expansion of y in z
0.312 * [taylor]: Taking taylor expansion of (* t z) in z
0.312 * [taylor]: Taking taylor expansion of t in z
0.312 * [taylor]: Taking taylor expansion of z in z
0.312 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) t) in t
0.312 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in t
0.312 * [taylor]: Taking taylor expansion of 1/16 in t
0.312 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in t
0.312 * [taylor]: Taking taylor expansion of 1/8 in t
0.312 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.312 * [taylor]: Taking taylor expansion of y in t
0.312 * [taylor]: Taking taylor expansion of t in t
0.312 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in y
0.312 * [taylor]: Taking taylor expansion of 1/16 in y
0.312 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in y
0.312 * [taylor]: Taking taylor expansion of 1/8 in y
0.312 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.312 * [taylor]: Taking taylor expansion of y in y
0.312 * [taylor]: Taking taylor expansion of 0 in t
0.313 * [taylor]: Taking taylor expansion of 0 in y
0.313 * [taylor]: Taking taylor expansion of 0 in t
0.313 * [taylor]: Taking taylor expansion of 0 in y
0.313 * [taylor]: Taking taylor expansion of 0 in y
0.314 * [taylor]: Taking taylor expansion of 0 in t
0.314 * [taylor]: Taking taylor expansion of 0 in y
0.314 * [taylor]: Taking taylor expansion of 0 in y
0.314 * [taylor]: Taking taylor expansion of 0 in y
0.315 * * * [progress]: simplifying candidates
0.316 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (cos.f64 (*.f64 (*.f64 t b) 1/16)) (cos.f64 (*.f64 (*.f64 t b) (/.f64 a 8))))
  (*.f64 (sin.f64 (*.f64 (*.f64 t b) 1/16)) (sin.f64 (*.f64 (*.f64 t b) (/.f64 a 8))))
  (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) (cos.f64 (*.f64 (/.f64 a 8) (*.f64 t b))))
  (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t b))) (sin.f64 (*.f64 (/.f64 a 8) (*.f64 t b))))
  (log.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))
  (exp.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))
  (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))
  (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))
  (*.f64 (*.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))
  (sqrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))
  (sqrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))
  (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cos.f64 (*.f64 (*.f64 z t) (/.f64 y 8))))
  (*.f64 (sin.f64 (*.f64 (*.f64 z t) 1/16)) (sin.f64 (*.f64 (*.f64 z t) (/.f64 y 8))))
  (*.f64 (cos.f64 (*.f64 1/16 (*.f64 z t))) (cos.f64 (*.f64 (/.f64 y 8) (*.f64 z t))))
  (*.f64 (sin.f64 (*.f64 1/16 (*.f64 z t))) (sin.f64 (*.f64 (/.f64 y 8) (*.f64 z t))))
  (log.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (exp.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))
  (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (*.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))
  (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))
  (+.f64 (+.f64 (log.f64 t) (log.f64 b)) (log.f64 (+.f64 1/16 (/.f64 a 8))))
  (+.f64 (log.f64 (*.f64 t b)) (log.f64 (+.f64 1/16 (/.f64 a 8))))
  (log.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))
  (exp.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))
  (*.f64 (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 b b) b)) (*.f64 (*.f64 (+.f64 1/16 (/.f64 a 8)) (+.f64 1/16 (/.f64 a 8))) (+.f64 1/16 (/.f64 a 8))))
  (*.f64 (*.f64 (*.f64 (*.f64 t b) (*.f64 t b)) (*.f64 t b)) (*.f64 (*.f64 (+.f64 1/16 (/.f64 a 8)) (+.f64 1/16 (/.f64 a 8))) (+.f64 1/16 (/.f64 a 8))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))
  (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))
  (*.f64 (*.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))) (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))
  (sqrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))
  (sqrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))
  (*.f64 (*.f64 t b) 1/16)
  (*.f64 (*.f64 t b) (/.f64 a 8))
  (*.f64 1/16 (*.f64 t b))
  (*.f64 (/.f64 a 8) (*.f64 t b))
  (*.f64 (*.f64 t b) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 a 8))) (cbrt.f64 (+.f64 1/16 (/.f64 a 8)))))
  (*.f64 (*.f64 t b) (sqrt.f64 (+.f64 1/16 (/.f64 a 8))))
  (*.f64 (*.f64 t b) 1)
  (*.f64 (*.f64 t b) 1)
  (*.f64 b (+.f64 1/16 (/.f64 a 8)))
  (*.f64 (*.f64 t b) (+.f64 (pow.f64 1/16 3) (pow.f64 (/.f64 a 8) 3)))
  (*.f64 (*.f64 t b) (-.f64 (*.f64 1/16 1/16) (*.f64 (/.f64 a 8) (/.f64 a 8))))
  (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))
  (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))
  (+.f64 (+.f64 (log.f64 z) (log.f64 t)) (log.f64 (+.f64 1/16 (/.f64 y 8))))
  (+.f64 (log.f64 (*.f64 z t)) (log.f64 (+.f64 1/16 (/.f64 y 8))))
  (log.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))
  (exp.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))
  (*.f64 (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 (+.f64 1/16 (/.f64 y 8)) (+.f64 1/16 (/.f64 y 8))) (+.f64 1/16 (/.f64 y 8))))
  (*.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 z t)) (*.f64 (*.f64 (+.f64 1/16 (/.f64 y 8)) (+.f64 1/16 (/.f64 y 8))) (+.f64 1/16 (/.f64 y 8))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))
  (*.f64 (*.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))) (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))
  (sqrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))
  (sqrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))
  (*.f64 (*.f64 z t) 1/16)
  (*.f64 (*.f64 z t) (/.f64 y 8))
  (*.f64 1/16 (*.f64 z t))
  (*.f64 (/.f64 y 8) (*.f64 z t))
  (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))
  (*.f64 (*.f64 z t) (sqrt.f64 (+.f64 1/16 (/.f64 y 8))))
  (*.f64 (*.f64 z t) 1)
  (*.f64 (*.f64 z t) 1)
  (*.f64 t (+.f64 1/16 (/.f64 y 8)))
  (*.f64 (*.f64 z t) (+.f64 (pow.f64 1/16 3) (pow.f64 (/.f64 y 8) 3)))
  (*.f64 (*.f64 z t) (-.f64 (*.f64 1/16 1/16) (*.f64 (/.f64 y 8) (/.f64 y 8))))
  1
  (cos.f64 (*.f64 (+.f64 (*.f64 1/8 a) 1/16) (*.f64 t b)))
  (cos.f64 (*.f64 (+.f64 (*.f64 1/8 a) 1/16) (*.f64 t b)))
  1
  (cos.f64 (*.f64 t (*.f64 z (+.f64 (*.f64 1/8 y) 1/16))))
  (cos.f64 (*.f64 t (*.f64 z (+.f64 (*.f64 1/8 y) 1/16))))
  (*.f64 1/16 (*.f64 t b))
  (+.f64 (*.f64 1/16 (*.f64 t b)) (*.f64 1/8 (*.f64 a (*.f64 t b))))
  (+.f64 (*.f64 1/16 (*.f64 t b)) (*.f64 1/8 (*.f64 a (*.f64 t b))))
  (*.f64 1/16 (*.f64 t z))
  (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 1/8 (*.f64 t (*.f64 z y))))
  (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 1/8 (*.f64 t (*.f64 z y))))
0.402 * * [simplify]: iteration  0 :  5575  enodes  (cost  1262 )
0.409 * [simplify]: Simplified to:
   (*.f64 (cos.f64 (*.f64 (*.f64 t b) 1/16)) (cos.f64 (*.f64 (*.f64 t b) (/.f64 a 8))))
  (*.f64 (sin.f64 (*.f64 (*.f64 t b) 1/16)) (sin.f64 (*.f64 (*.f64 t b) (/.f64 a 8))))
  (*.f64 (cos.f64 (*.f64 (*.f64 t b) 1/16)) (cos.f64 (*.f64 (*.f64 t b) (/.f64 a 8))))
  (*.f64 (sin.f64 (*.f64 (*.f64 t b) 1/16)) (sin.f64 (*.f64 (*.f64 t b) (/.f64 a 8))))
  (log.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))
  (exp.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))
  (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))
  (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))
  (pow.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) 3)
  (sqrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))
  (sqrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))
  (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (cos.f64 (*.f64 (*.f64 t z) (/.f64 y 8))))
  (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t z))) (sin.f64 (*.f64 (*.f64 t z) (/.f64 y 8))))
  (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (cos.f64 (*.f64 (*.f64 t z) (/.f64 y 8))))
  (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t z))) (sin.f64 (*.f64 (*.f64 t z) (/.f64 y 8))))
  (log.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))))
  (exp.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))))
  (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))))
  (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))))
  (pow.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))) 3)
  (sqrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))))
  (sqrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))))
  (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))
  (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))
  (log.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))
  (log.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))
  (log.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))
  (exp.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))
  (pow.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))) 3)
  (pow.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))) 3)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))
  (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))
  (pow.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))) 3)
  (sqrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))
  (sqrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))
  (*.f64 (*.f64 t b) 1/16)
  (*.f64 (*.f64 t b) (/.f64 a 8))
  (*.f64 (*.f64 t b) 1/16)
  (*.f64 (*.f64 t b) (/.f64 a 8))
  (*.f64 (*.f64 t b) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 a 8))) (cbrt.f64 (+.f64 1/16 (/.f64 a 8)))))
  (*.f64 (*.f64 t b) (sqrt.f64 (+.f64 1/16 (/.f64 a 8))))
  (*.f64 t b)
  (*.f64 t b)
  (*.f64 b (+.f64 1/16 (/.f64 a 8)))
  (*.f64 (*.f64 t b) (+.f64 1/4096 (pow.f64 (/.f64 a 8) 3)))
  (*.f64 (*.f64 t b) (-.f64 1/256 (/.f64 (*.f64 a a) 64)))
  (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))
  (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))
  (log.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))
  (log.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))
  (log.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))
  (exp.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))
  (pow.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))) 3)
  (pow.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))) 3)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))) (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))))
  (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))
  (pow.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))) 3)
  (sqrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))
  (sqrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))
  (*.f64 1/16 (*.f64 t z))
  (*.f64 (*.f64 t z) (/.f64 y 8))
  (*.f64 1/16 (*.f64 t z))
  (*.f64 (*.f64 t z) (/.f64 y 8))
  (*.f64 (*.f64 t z) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))
  (*.f64 (*.f64 t z) (sqrt.f64 (+.f64 1/16 (/.f64 y 8))))
  (*.f64 t z)
  (*.f64 t z)
  (*.f64 t (+.f64 1/16 (/.f64 y 8)))
  (*.f64 (*.f64 t z) (+.f64 1/4096 (pow.f64 (/.f64 y 8) 3)))
  (*.f64 (*.f64 t z) (-.f64 1/256 (/.f64 (*.f64 y y) 64)))
  1
  (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))
  (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))
  1
  (cos.f64 (*.f64 t (*.f64 z (+.f64 1/16 (*.f64 y 1/8)))))
  (cos.f64 (*.f64 t (*.f64 z (+.f64 1/16 (*.f64 y 1/8)))))
  (*.f64 (*.f64 t b) 1/16)
  (*.f64 (*.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))
  (*.f64 (*.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))
  (*.f64 1/16 (*.f64 t z))
  (*.f64 t (*.f64 z (+.f64 1/16 (*.f64 y 1/8))))
  (*.f64 t (*.f64 z (+.f64 1/16 (*.f64 y 1/8))))
0.409 * * * [progress]: adding candidates to table
0.524 * * [progress]: iteration 2 / 4
0.524 * * * [progress]: picking best candidate
0.604 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) 1))>
0.604 * * * [progress]: localizing error
0.617 * * * [progress]: generating rewritten candidates
0.617 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2)
0.621 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 1)
0.631 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.638 * * * [progress]: generating series expansions
0.638 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2)
0.638 * [approximate]: Taking taylor expansion of (cos (* t (* z (+ (* 1/8 y) 1/16)))) in (z t y) around 0
0.638 * [taylor]: Taking taylor expansion of (cos (* t (* z (+ (* 1/8 y) 1/16)))) in y
0.638 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in y
0.638 * [taylor]: Taking taylor expansion of t in y
0.638 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in y
0.638 * [taylor]: Taking taylor expansion of z in y
0.638 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in y
0.638 * [taylor]: Taking taylor expansion of (* 1/8 y) in y
0.638 * [taylor]: Taking taylor expansion of 1/8 in y
0.638 * [taylor]: Taking taylor expansion of y in y
0.638 * [taylor]: Taking taylor expansion of 1/16 in y
0.638 * [taylor]: Taking taylor expansion of (cos (* t (* z (+ (* 1/8 y) 1/16)))) in t
0.638 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in t
0.638 * [taylor]: Taking taylor expansion of t in t
0.638 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in t
0.638 * [taylor]: Taking taylor expansion of z in t
0.638 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in t
0.638 * [taylor]: Taking taylor expansion of (* 1/8 y) in t
0.638 * [taylor]: Taking taylor expansion of 1/8 in t
0.638 * [taylor]: Taking taylor expansion of y in t
0.638 * [taylor]: Taking taylor expansion of 1/16 in t
0.639 * [taylor]: Taking taylor expansion of (cos (* t (* z (+ (* 1/8 y) 1/16)))) in z
0.639 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in z
0.639 * [taylor]: Taking taylor expansion of t in z
0.639 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in z
0.639 * [taylor]: Taking taylor expansion of z in z
0.639 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in z
0.639 * [taylor]: Taking taylor expansion of (* 1/8 y) in z
0.639 * [taylor]: Taking taylor expansion of 1/8 in z
0.639 * [taylor]: Taking taylor expansion of y in z
0.639 * [taylor]: Taking taylor expansion of 1/16 in z
0.639 * [taylor]: Taking taylor expansion of (cos (* t (* z (+ (* 1/8 y) 1/16)))) in z
0.639 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in z
0.639 * [taylor]: Taking taylor expansion of t in z
0.639 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in z
0.639 * [taylor]: Taking taylor expansion of z in z
0.639 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in z
0.639 * [taylor]: Taking taylor expansion of (* 1/8 y) in z
0.639 * [taylor]: Taking taylor expansion of 1/8 in z
0.639 * [taylor]: Taking taylor expansion of y in z
0.639 * [taylor]: Taking taylor expansion of 1/16 in z
0.639 * [taylor]: Taking taylor expansion of 1 in t
0.640 * [taylor]: Taking taylor expansion of 1 in y
0.640 * [taylor]: Taking taylor expansion of 0 in t
0.640 * [taylor]: Taking taylor expansion of 0 in y
0.640 * [taylor]: Taking taylor expansion of 0 in y
0.640 * [taylor]: Taking taylor expansion of (neg (+ (* 1/512 (pow t 2)) (+ (* 1/128 (* (pow t 2) y)) (* 1/128 (* (pow t 2) (pow y 2)))))) in t
0.640 * [taylor]: Taking taylor expansion of (+ (* 1/512 (pow t 2)) (+ (* 1/128 (* (pow t 2) y)) (* 1/128 (* (pow t 2) (pow y 2))))) in t
0.640 * [taylor]: Taking taylor expansion of (* 1/512 (pow t 2)) in t
0.640 * [taylor]: Taking taylor expansion of 1/512 in t
0.640 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.640 * [taylor]: Taking taylor expansion of t in t
0.640 * [taylor]: Taking taylor expansion of (+ (* 1/128 (* (pow t 2) y)) (* 1/128 (* (pow t 2) (pow y 2)))) in t
0.640 * [taylor]: Taking taylor expansion of (* 1/128 (* (pow t 2) y)) in t
0.640 * [taylor]: Taking taylor expansion of 1/128 in t
0.640 * [taylor]: Taking taylor expansion of (* (pow t 2) y) in t
0.640 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.640 * [taylor]: Taking taylor expansion of t in t
0.640 * [taylor]: Taking taylor expansion of y in t
0.640 * [taylor]: Taking taylor expansion of (* 1/128 (* (pow t 2) (pow y 2))) in t
0.640 * [taylor]: Taking taylor expansion of 1/128 in t
0.640 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow y 2)) in t
0.640 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.640 * [taylor]: Taking taylor expansion of t in t
0.640 * [taylor]: Taking taylor expansion of (pow y 2) in t
0.640 * [taylor]: Taking taylor expansion of y in t
0.640 * [taylor]: Taking taylor expansion of 0 in y
0.640 * [taylor]: Taking taylor expansion of 0 in y
0.641 * [approximate]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) in (z t y) around 0
0.641 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) in y
0.641 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in y
0.641 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in y
0.641 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in y
0.641 * [taylor]: Taking taylor expansion of 1/8 in y
0.641 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.641 * [taylor]: Taking taylor expansion of y in y
0.641 * [taylor]: Taking taylor expansion of 1/16 in y
0.641 * [taylor]: Taking taylor expansion of (* t z) in y
0.641 * [taylor]: Taking taylor expansion of t in y
0.641 * [taylor]: Taking taylor expansion of z in y
0.641 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) in t
0.641 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in t
0.641 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in t
0.641 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in t
0.641 * [taylor]: Taking taylor expansion of 1/8 in t
0.641 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.641 * [taylor]: Taking taylor expansion of y in t
0.641 * [taylor]: Taking taylor expansion of 1/16 in t
0.641 * [taylor]: Taking taylor expansion of (* t z) in t
0.641 * [taylor]: Taking taylor expansion of t in t
0.641 * [taylor]: Taking taylor expansion of z in t
0.641 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) in z
0.641 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in z
0.641 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in z
0.641 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in z
0.641 * [taylor]: Taking taylor expansion of 1/8 in z
0.641 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.641 * [taylor]: Taking taylor expansion of y in z
0.641 * [taylor]: Taking taylor expansion of 1/16 in z
0.641 * [taylor]: Taking taylor expansion of (* t z) in z
0.641 * [taylor]: Taking taylor expansion of t in z
0.641 * [taylor]: Taking taylor expansion of z in z
0.642 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) in z
0.642 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in z
0.642 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in z
0.642 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in z
0.642 * [taylor]: Taking taylor expansion of 1/8 in z
0.642 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.642 * [taylor]: Taking taylor expansion of y in z
0.642 * [taylor]: Taking taylor expansion of 1/16 in z
0.642 * [taylor]: Taking taylor expansion of (* t z) in z
0.642 * [taylor]: Taking taylor expansion of t in z
0.642 * [taylor]: Taking taylor expansion of z in z
0.642 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* z t))) in t
0.642 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* z t)) in t
0.642 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in t
0.642 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in t
0.642 * [taylor]: Taking taylor expansion of 1/8 in t
0.642 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.642 * [taylor]: Taking taylor expansion of y in t
0.642 * [taylor]: Taking taylor expansion of 1/16 in t
0.642 * [taylor]: Taking taylor expansion of (* z t) in t
0.642 * [taylor]: Taking taylor expansion of z in t
0.642 * [taylor]: Taking taylor expansion of t in t
0.643 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* z t))) in y
0.643 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* z t)) in y
0.643 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in y
0.643 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in y
0.643 * [taylor]: Taking taylor expansion of 1/8 in y
0.643 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.643 * [taylor]: Taking taylor expansion of y in y
0.643 * [taylor]: Taking taylor expansion of 1/16 in y
0.643 * [taylor]: Taking taylor expansion of (* z t) in y
0.643 * [taylor]: Taking taylor expansion of z in y
0.643 * [taylor]: Taking taylor expansion of t in y
0.643 * [taylor]: Taking taylor expansion of 0 in t
0.643 * [taylor]: Taking taylor expansion of 0 in y
0.643 * [taylor]: Taking taylor expansion of 0 in y
0.643 * [taylor]: Taking taylor expansion of 0 in t
0.643 * [taylor]: Taking taylor expansion of 0 in y
0.643 * [taylor]: Taking taylor expansion of 0 in y
0.643 * [taylor]: Taking taylor expansion of 0 in y
0.643 * [approximate]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in (z t y) around 0
0.643 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in y
0.643 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in y
0.644 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in y
0.644 * [taylor]: Taking taylor expansion of 1/16 in y
0.644 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in y
0.644 * [taylor]: Taking taylor expansion of 1/8 in y
0.644 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.644 * [taylor]: Taking taylor expansion of y in y
0.644 * [taylor]: Taking taylor expansion of (* t z) in y
0.644 * [taylor]: Taking taylor expansion of t in y
0.644 * [taylor]: Taking taylor expansion of z in y
0.644 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in t
0.644 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in t
0.644 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in t
0.644 * [taylor]: Taking taylor expansion of 1/16 in t
0.644 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in t
0.644 * [taylor]: Taking taylor expansion of 1/8 in t
0.644 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.644 * [taylor]: Taking taylor expansion of y in t
0.644 * [taylor]: Taking taylor expansion of (* t z) in t
0.644 * [taylor]: Taking taylor expansion of t in t
0.644 * [taylor]: Taking taylor expansion of z in t
0.644 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in z
0.644 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in z
0.644 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in z
0.644 * [taylor]: Taking taylor expansion of 1/16 in z
0.644 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in z
0.644 * [taylor]: Taking taylor expansion of 1/8 in z
0.644 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.644 * [taylor]: Taking taylor expansion of y in z
0.644 * [taylor]: Taking taylor expansion of (* t z) in z
0.644 * [taylor]: Taking taylor expansion of t in z
0.644 * [taylor]: Taking taylor expansion of z in z
0.645 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in z
0.645 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in z
0.645 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in z
0.645 * [taylor]: Taking taylor expansion of 1/16 in z
0.645 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in z
0.645 * [taylor]: Taking taylor expansion of 1/8 in z
0.645 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.645 * [taylor]: Taking taylor expansion of y in z
0.645 * [taylor]: Taking taylor expansion of (* t z) in z
0.645 * [taylor]: Taking taylor expansion of t in z
0.645 * [taylor]: Taking taylor expansion of z in z
0.645 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in t
0.645 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in t
0.645 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in t
0.645 * [taylor]: Taking taylor expansion of 1/16 in t
0.645 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in t
0.645 * [taylor]: Taking taylor expansion of 1/8 in t
0.645 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.645 * [taylor]: Taking taylor expansion of y in t
0.645 * [taylor]: Taking taylor expansion of (* t z) in t
0.645 * [taylor]: Taking taylor expansion of t in t
0.645 * [taylor]: Taking taylor expansion of z in t
0.646 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in y
0.646 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in y
0.646 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in y
0.646 * [taylor]: Taking taylor expansion of 1/16 in y
0.646 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in y
0.646 * [taylor]: Taking taylor expansion of 1/8 in y
0.646 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.646 * [taylor]: Taking taylor expansion of y in y
0.646 * [taylor]: Taking taylor expansion of (* t z) in y
0.646 * [taylor]: Taking taylor expansion of t in y
0.646 * [taylor]: Taking taylor expansion of z in y
0.646 * [taylor]: Taking taylor expansion of 0 in t
0.646 * [taylor]: Taking taylor expansion of 0 in y
0.646 * [taylor]: Taking taylor expansion of 0 in y
0.646 * [taylor]: Taking taylor expansion of 0 in t
0.646 * [taylor]: Taking taylor expansion of 0 in y
0.646 * [taylor]: Taking taylor expansion of 0 in y
0.646 * [taylor]: Taking taylor expansion of 0 in y
0.646 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 1)
0.647 * [approximate]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in (z t y) around 0
0.647 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in y
0.647 * [taylor]: Taking taylor expansion of t in y
0.647 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in y
0.647 * [taylor]: Taking taylor expansion of z in y
0.647 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in y
0.647 * [taylor]: Taking taylor expansion of (* 1/8 y) in y
0.647 * [taylor]: Taking taylor expansion of 1/8 in y
0.647 * [taylor]: Taking taylor expansion of y in y
0.647 * [taylor]: Taking taylor expansion of 1/16 in y
0.647 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in t
0.647 * [taylor]: Taking taylor expansion of t in t
0.647 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in t
0.647 * [taylor]: Taking taylor expansion of z in t
0.647 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in t
0.647 * [taylor]: Taking taylor expansion of (* 1/8 y) in t
0.647 * [taylor]: Taking taylor expansion of 1/8 in t
0.647 * [taylor]: Taking taylor expansion of y in t
0.647 * [taylor]: Taking taylor expansion of 1/16 in t
0.647 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in z
0.647 * [taylor]: Taking taylor expansion of t in z
0.647 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in z
0.647 * [taylor]: Taking taylor expansion of z in z
0.647 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in z
0.647 * [taylor]: Taking taylor expansion of (* 1/8 y) in z
0.647 * [taylor]: Taking taylor expansion of 1/8 in z
0.647 * [taylor]: Taking taylor expansion of y in z
0.647 * [taylor]: Taking taylor expansion of 1/16 in z
0.647 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in z
0.647 * [taylor]: Taking taylor expansion of t in z
0.647 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in z
0.647 * [taylor]: Taking taylor expansion of z in z
0.647 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in z
0.647 * [taylor]: Taking taylor expansion of (* 1/8 y) in z
0.647 * [taylor]: Taking taylor expansion of 1/8 in z
0.647 * [taylor]: Taking taylor expansion of y in z
0.647 * [taylor]: Taking taylor expansion of 1/16 in z
0.647 * [taylor]: Taking taylor expansion of 0 in t
0.647 * [taylor]: Taking taylor expansion of 0 in y
0.647 * [taylor]: Taking taylor expansion of (+ (* 1/16 t) (* 1/8 (* t y))) in t
0.647 * [taylor]: Taking taylor expansion of (* 1/16 t) in t
0.648 * [taylor]: Taking taylor expansion of 1/16 in t
0.648 * [taylor]: Taking taylor expansion of t in t
0.648 * [taylor]: Taking taylor expansion of (* 1/8 (* t y)) in t
0.648 * [taylor]: Taking taylor expansion of 1/8 in t
0.648 * [taylor]: Taking taylor expansion of (* t y) in t
0.648 * [taylor]: Taking taylor expansion of t in t
0.648 * [taylor]: Taking taylor expansion of y in t
0.648 * [taylor]: Taking taylor expansion of 0 in y
0.648 * [taylor]: Taking taylor expansion of 0 in y
0.648 * [taylor]: Taking taylor expansion of 0 in t
0.648 * [taylor]: Taking taylor expansion of 0 in y
0.648 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in y
0.648 * [taylor]: Taking taylor expansion of (* 1/8 y) in y
0.648 * [taylor]: Taking taylor expansion of 1/8 in y
0.648 * [taylor]: Taking taylor expansion of y in y
0.648 * [taylor]: Taking taylor expansion of 1/16 in y
0.648 * [taylor]: Taking taylor expansion of 0 in y
0.648 * [taylor]: Taking taylor expansion of 0 in t
0.648 * [taylor]: Taking taylor expansion of 0 in y
0.648 * [taylor]: Taking taylor expansion of 0 in y
0.649 * [approximate]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in (z t y) around 0
0.649 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in y
0.649 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in y
0.649 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in y
0.649 * [taylor]: Taking taylor expansion of 1/8 in y
0.649 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.649 * [taylor]: Taking taylor expansion of y in y
0.649 * [taylor]: Taking taylor expansion of 1/16 in y
0.649 * [taylor]: Taking taylor expansion of (* t z) in y
0.649 * [taylor]: Taking taylor expansion of t in y
0.649 * [taylor]: Taking taylor expansion of z in y
0.649 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in t
0.649 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in t
0.649 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in t
0.649 * [taylor]: Taking taylor expansion of 1/8 in t
0.649 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.649 * [taylor]: Taking taylor expansion of y in t
0.649 * [taylor]: Taking taylor expansion of 1/16 in t
0.649 * [taylor]: Taking taylor expansion of (* t z) in t
0.649 * [taylor]: Taking taylor expansion of t in t
0.649 * [taylor]: Taking taylor expansion of z in t
0.649 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in z
0.649 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in z
0.649 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in z
0.649 * [taylor]: Taking taylor expansion of 1/8 in z
0.649 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.649 * [taylor]: Taking taylor expansion of y in z
0.649 * [taylor]: Taking taylor expansion of 1/16 in z
0.649 * [taylor]: Taking taylor expansion of (* t z) in z
0.649 * [taylor]: Taking taylor expansion of t in z
0.649 * [taylor]: Taking taylor expansion of z in z
0.650 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in z
0.650 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in z
0.650 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in z
0.650 * [taylor]: Taking taylor expansion of 1/8 in z
0.650 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.650 * [taylor]: Taking taylor expansion of y in z
0.650 * [taylor]: Taking taylor expansion of 1/16 in z
0.650 * [taylor]: Taking taylor expansion of (* t z) in z
0.650 * [taylor]: Taking taylor expansion of t in z
0.650 * [taylor]: Taking taylor expansion of z in z
0.650 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) t) in t
0.650 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in t
0.650 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in t
0.650 * [taylor]: Taking taylor expansion of 1/8 in t
0.650 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.650 * [taylor]: Taking taylor expansion of y in t
0.650 * [taylor]: Taking taylor expansion of 1/16 in t
0.650 * [taylor]: Taking taylor expansion of t in t
0.650 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in y
0.650 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in y
0.650 * [taylor]: Taking taylor expansion of 1/8 in y
0.650 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.650 * [taylor]: Taking taylor expansion of y in y
0.650 * [taylor]: Taking taylor expansion of 1/16 in y
0.651 * [taylor]: Taking taylor expansion of 0 in t
0.651 * [taylor]: Taking taylor expansion of 0 in y
0.651 * [taylor]: Taking taylor expansion of 0 in t
0.651 * [taylor]: Taking taylor expansion of 0 in y
0.651 * [taylor]: Taking taylor expansion of 0 in y
0.652 * [taylor]: Taking taylor expansion of 0 in t
0.652 * [taylor]: Taking taylor expansion of 0 in y
0.652 * [taylor]: Taking taylor expansion of 0 in y
0.652 * [taylor]: Taking taylor expansion of 0 in y
0.653 * [approximate]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in (z t y) around 0
0.653 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in y
0.653 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in y
0.653 * [taylor]: Taking taylor expansion of 1/16 in y
0.653 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in y
0.653 * [taylor]: Taking taylor expansion of 1/8 in y
0.653 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.653 * [taylor]: Taking taylor expansion of y in y
0.653 * [taylor]: Taking taylor expansion of (* t z) in y
0.653 * [taylor]: Taking taylor expansion of t in y
0.653 * [taylor]: Taking taylor expansion of z in y
0.653 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in t
0.653 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in t
0.653 * [taylor]: Taking taylor expansion of 1/16 in t
0.653 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in t
0.653 * [taylor]: Taking taylor expansion of 1/8 in t
0.653 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.653 * [taylor]: Taking taylor expansion of y in t
0.653 * [taylor]: Taking taylor expansion of (* t z) in t
0.653 * [taylor]: Taking taylor expansion of t in t
0.653 * [taylor]: Taking taylor expansion of z in t
0.653 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in z
0.653 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in z
0.653 * [taylor]: Taking taylor expansion of 1/16 in z
0.653 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in z
0.653 * [taylor]: Taking taylor expansion of 1/8 in z
0.653 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.653 * [taylor]: Taking taylor expansion of y in z
0.653 * [taylor]: Taking taylor expansion of (* t z) in z
0.653 * [taylor]: Taking taylor expansion of t in z
0.653 * [taylor]: Taking taylor expansion of z in z
0.654 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in z
0.654 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in z
0.654 * [taylor]: Taking taylor expansion of 1/16 in z
0.654 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in z
0.654 * [taylor]: Taking taylor expansion of 1/8 in z
0.654 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.654 * [taylor]: Taking taylor expansion of y in z
0.654 * [taylor]: Taking taylor expansion of (* t z) in z
0.654 * [taylor]: Taking taylor expansion of t in z
0.654 * [taylor]: Taking taylor expansion of z in z
0.654 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) t) in t
0.654 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in t
0.654 * [taylor]: Taking taylor expansion of 1/16 in t
0.654 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in t
0.654 * [taylor]: Taking taylor expansion of 1/8 in t
0.654 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.654 * [taylor]: Taking taylor expansion of y in t
0.654 * [taylor]: Taking taylor expansion of t in t
0.654 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in y
0.654 * [taylor]: Taking taylor expansion of 1/16 in y
0.654 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in y
0.654 * [taylor]: Taking taylor expansion of 1/8 in y
0.654 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.654 * [taylor]: Taking taylor expansion of y in y
0.655 * [taylor]: Taking taylor expansion of 0 in t
0.655 * [taylor]: Taking taylor expansion of 0 in y
0.655 * [taylor]: Taking taylor expansion of 0 in t
0.655 * [taylor]: Taking taylor expansion of 0 in y
0.656 * [taylor]: Taking taylor expansion of 0 in y
0.656 * [taylor]: Taking taylor expansion of 0 in t
0.656 * [taylor]: Taking taylor expansion of 0 in y
0.656 * [taylor]: Taking taylor expansion of 0 in y
0.656 * [taylor]: Taking taylor expansion of 0 in y
0.657 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.657 * [approximate]: Taking taylor expansion of (* x (cos (* t (* z (+ (* 1/8 y) 1/16))))) in (x z t y) around 0
0.657 * [taylor]: Taking taylor expansion of (* x (cos (* t (* z (+ (* 1/8 y) 1/16))))) in y
0.657 * [taylor]: Taking taylor expansion of x in y
0.657 * [taylor]: Taking taylor expansion of (cos (* t (* z (+ (* 1/8 y) 1/16)))) in y
0.657 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in y
0.657 * [taylor]: Taking taylor expansion of t in y
0.657 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in y
0.657 * [taylor]: Taking taylor expansion of z in y
0.657 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in y
0.657 * [taylor]: Taking taylor expansion of (* 1/8 y) in y
0.657 * [taylor]: Taking taylor expansion of 1/8 in y
0.657 * [taylor]: Taking taylor expansion of y in y
0.657 * [taylor]: Taking taylor expansion of 1/16 in y
0.657 * [taylor]: Taking taylor expansion of (* x (cos (* t (* z (+ (* 1/8 y) 1/16))))) in t
0.657 * [taylor]: Taking taylor expansion of x in t
0.657 * [taylor]: Taking taylor expansion of (cos (* t (* z (+ (* 1/8 y) 1/16)))) in t
0.657 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in t
0.657 * [taylor]: Taking taylor expansion of t in t
0.657 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in t
0.657 * [taylor]: Taking taylor expansion of z in t
0.657 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in t
0.657 * [taylor]: Taking taylor expansion of (* 1/8 y) in t
0.657 * [taylor]: Taking taylor expansion of 1/8 in t
0.657 * [taylor]: Taking taylor expansion of y in t
0.657 * [taylor]: Taking taylor expansion of 1/16 in t
0.658 * [taylor]: Taking taylor expansion of (* x (cos (* t (* z (+ (* 1/8 y) 1/16))))) in z
0.658 * [taylor]: Taking taylor expansion of x in z
0.658 * [taylor]: Taking taylor expansion of (cos (* t (* z (+ (* 1/8 y) 1/16)))) in z
0.658 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in z
0.658 * [taylor]: Taking taylor expansion of t in z
0.658 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in z
0.658 * [taylor]: Taking taylor expansion of z in z
0.658 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in z
0.658 * [taylor]: Taking taylor expansion of (* 1/8 y) in z
0.658 * [taylor]: Taking taylor expansion of 1/8 in z
0.658 * [taylor]: Taking taylor expansion of y in z
0.658 * [taylor]: Taking taylor expansion of 1/16 in z
0.658 * [taylor]: Taking taylor expansion of (* x (cos (* t (* z (+ (* 1/8 y) 1/16))))) in x
0.658 * [taylor]: Taking taylor expansion of x in x
0.658 * [taylor]: Taking taylor expansion of (cos (* t (* z (+ (* 1/8 y) 1/16)))) in x
0.658 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in x
0.658 * [taylor]: Taking taylor expansion of t in x
0.658 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in x
0.658 * [taylor]: Taking taylor expansion of z in x
0.658 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in x
0.658 * [taylor]: Taking taylor expansion of (* 1/8 y) in x
0.658 * [taylor]: Taking taylor expansion of 1/8 in x
0.658 * [taylor]: Taking taylor expansion of y in x
0.658 * [taylor]: Taking taylor expansion of 1/16 in x
0.659 * [taylor]: Taking taylor expansion of (* x (cos (* t (* z (+ (* 1/8 y) 1/16))))) in x
0.659 * [taylor]: Taking taylor expansion of x in x
0.659 * [taylor]: Taking taylor expansion of (cos (* t (* z (+ (* 1/8 y) 1/16)))) in x
0.659 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in x
0.659 * [taylor]: Taking taylor expansion of t in x
0.659 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in x
0.659 * [taylor]: Taking taylor expansion of z in x
0.659 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in x
0.659 * [taylor]: Taking taylor expansion of (* 1/8 y) in x
0.659 * [taylor]: Taking taylor expansion of 1/8 in x
0.659 * [taylor]: Taking taylor expansion of y in x
0.659 * [taylor]: Taking taylor expansion of 1/16 in x
0.659 * [taylor]: Taking taylor expansion of 0 in z
0.659 * [taylor]: Taking taylor expansion of 0 in t
0.659 * [taylor]: Taking taylor expansion of 0 in y
0.660 * [taylor]: Taking taylor expansion of (cos (* t (* z (+ (* 1/8 y) 1/16)))) in z
0.660 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 1/8 y) 1/16))) in z
0.660 * [taylor]: Taking taylor expansion of t in z
0.660 * [taylor]: Taking taylor expansion of (* z (+ (* 1/8 y) 1/16)) in z
0.660 * [taylor]: Taking taylor expansion of z in z
0.660 * [taylor]: Taking taylor expansion of (+ (* 1/8 y) 1/16) in z
0.660 * [taylor]: Taking taylor expansion of (* 1/8 y) in z
0.660 * [taylor]: Taking taylor expansion of 1/8 in z
0.660 * [taylor]: Taking taylor expansion of y in z
0.660 * [taylor]: Taking taylor expansion of 1/16 in z
0.660 * [taylor]: Taking taylor expansion of 1 in t
0.660 * [taylor]: Taking taylor expansion of 1 in y
0.660 * [taylor]: Taking taylor expansion of 0 in t
0.660 * [taylor]: Taking taylor expansion of 0 in y
0.660 * [taylor]: Taking taylor expansion of 0 in y
0.661 * [taylor]: Taking taylor expansion of 0 in z
0.661 * [taylor]: Taking taylor expansion of 0 in t
0.661 * [taylor]: Taking taylor expansion of 0 in y
0.661 * [taylor]: Taking taylor expansion of 0 in t
0.661 * [taylor]: Taking taylor expansion of 0 in y
0.661 * [taylor]: Taking taylor expansion of 0 in t
0.661 * [taylor]: Taking taylor expansion of 0 in y
0.661 * [approximate]: Taking taylor expansion of (/ (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) x) in (x z t y) around 0
0.661 * [taylor]: Taking taylor expansion of (/ (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) x) in y
0.661 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) in y
0.661 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in y
0.661 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in y
0.661 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in y
0.661 * [taylor]: Taking taylor expansion of 1/8 in y
0.661 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.661 * [taylor]: Taking taylor expansion of y in y
0.661 * [taylor]: Taking taylor expansion of 1/16 in y
0.661 * [taylor]: Taking taylor expansion of (* t z) in y
0.661 * [taylor]: Taking taylor expansion of t in y
0.662 * [taylor]: Taking taylor expansion of z in y
0.662 * [taylor]: Taking taylor expansion of x in y
0.662 * [taylor]: Taking taylor expansion of (/ (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) x) in t
0.662 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) in t
0.662 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in t
0.662 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in t
0.662 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in t
0.662 * [taylor]: Taking taylor expansion of 1/8 in t
0.662 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.662 * [taylor]: Taking taylor expansion of y in t
0.662 * [taylor]: Taking taylor expansion of 1/16 in t
0.662 * [taylor]: Taking taylor expansion of (* t z) in t
0.662 * [taylor]: Taking taylor expansion of t in t
0.662 * [taylor]: Taking taylor expansion of z in t
0.662 * [taylor]: Taking taylor expansion of x in t
0.662 * [taylor]: Taking taylor expansion of (/ (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) x) in z
0.662 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) in z
0.662 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in z
0.662 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in z
0.662 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in z
0.662 * [taylor]: Taking taylor expansion of 1/8 in z
0.662 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.662 * [taylor]: Taking taylor expansion of y in z
0.662 * [taylor]: Taking taylor expansion of 1/16 in z
0.662 * [taylor]: Taking taylor expansion of (* t z) in z
0.662 * [taylor]: Taking taylor expansion of t in z
0.663 * [taylor]: Taking taylor expansion of z in z
0.663 * [taylor]: Taking taylor expansion of x in z
0.663 * [taylor]: Taking taylor expansion of (/ (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) x) in x
0.663 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) in x
0.663 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in x
0.663 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in x
0.663 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in x
0.663 * [taylor]: Taking taylor expansion of 1/8 in x
0.663 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.663 * [taylor]: Taking taylor expansion of y in x
0.663 * [taylor]: Taking taylor expansion of 1/16 in x
0.663 * [taylor]: Taking taylor expansion of (* t z) in x
0.663 * [taylor]: Taking taylor expansion of t in x
0.663 * [taylor]: Taking taylor expansion of z in x
0.663 * [taylor]: Taking taylor expansion of x in x
0.664 * [taylor]: Taking taylor expansion of (/ (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) x) in x
0.664 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z))) in x
0.664 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* t z)) in x
0.664 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in x
0.664 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in x
0.664 * [taylor]: Taking taylor expansion of 1/8 in x
0.664 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.664 * [taylor]: Taking taylor expansion of y in x
0.664 * [taylor]: Taking taylor expansion of 1/16 in x
0.664 * [taylor]: Taking taylor expansion of (* t z) in x
0.664 * [taylor]: Taking taylor expansion of t in x
0.664 * [taylor]: Taking taylor expansion of z in x
0.664 * [taylor]: Taking taylor expansion of x in x
0.664 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* z t))) in z
0.665 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* z t)) in z
0.665 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in z
0.665 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in z
0.665 * [taylor]: Taking taylor expansion of 1/8 in z
0.665 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.665 * [taylor]: Taking taylor expansion of y in z
0.665 * [taylor]: Taking taylor expansion of 1/16 in z
0.665 * [taylor]: Taking taylor expansion of (* z t) in z
0.665 * [taylor]: Taking taylor expansion of z in z
0.665 * [taylor]: Taking taylor expansion of t in z
0.665 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* z t))) in t
0.665 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* z t)) in t
0.665 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in t
0.665 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in t
0.665 * [taylor]: Taking taylor expansion of 1/8 in t
0.665 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.665 * [taylor]: Taking taylor expansion of y in t
0.665 * [taylor]: Taking taylor expansion of 1/16 in t
0.665 * [taylor]: Taking taylor expansion of (* z t) in t
0.665 * [taylor]: Taking taylor expansion of z in t
0.665 * [taylor]: Taking taylor expansion of t in t
0.665 * [taylor]: Taking taylor expansion of (cos (/ (+ (* 1/8 (/ 1 y)) 1/16) (* z t))) in y
0.665 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 y)) 1/16) (* z t)) in y
0.665 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 y)) 1/16) in y
0.665 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in y
0.665 * [taylor]: Taking taylor expansion of 1/8 in y
0.665 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.665 * [taylor]: Taking taylor expansion of y in y
0.665 * [taylor]: Taking taylor expansion of 1/16 in y
0.665 * [taylor]: Taking taylor expansion of (* z t) in y
0.665 * [taylor]: Taking taylor expansion of z in y
0.665 * [taylor]: Taking taylor expansion of t in y
0.666 * [taylor]: Taking taylor expansion of 0 in z
0.666 * [taylor]: Taking taylor expansion of 0 in t
0.666 * [taylor]: Taking taylor expansion of 0 in y
0.666 * [taylor]: Taking taylor expansion of 0 in t
0.666 * [taylor]: Taking taylor expansion of 0 in y
0.666 * [taylor]: Taking taylor expansion of 0 in y
0.667 * [taylor]: Taking taylor expansion of 0 in z
0.667 * [taylor]: Taking taylor expansion of 0 in t
0.667 * [taylor]: Taking taylor expansion of 0 in y
0.667 * [taylor]: Taking taylor expansion of 0 in t
0.667 * [taylor]: Taking taylor expansion of 0 in y
0.668 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) x)) in (x z t y) around 0
0.668 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) x)) in y
0.668 * [taylor]: Taking taylor expansion of -1 in y
0.668 * [taylor]: Taking taylor expansion of (/ (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) x) in y
0.668 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in y
0.668 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in y
0.668 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in y
0.668 * [taylor]: Taking taylor expansion of 1/16 in y
0.668 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in y
0.668 * [taylor]: Taking taylor expansion of 1/8 in y
0.668 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.668 * [taylor]: Taking taylor expansion of y in y
0.668 * [taylor]: Taking taylor expansion of (* t z) in y
0.668 * [taylor]: Taking taylor expansion of t in y
0.668 * [taylor]: Taking taylor expansion of z in y
0.668 * [taylor]: Taking taylor expansion of x in y
0.668 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) x)) in t
0.668 * [taylor]: Taking taylor expansion of -1 in t
0.668 * [taylor]: Taking taylor expansion of (/ (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) x) in t
0.668 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in t
0.668 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in t
0.668 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in t
0.668 * [taylor]: Taking taylor expansion of 1/16 in t
0.668 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in t
0.668 * [taylor]: Taking taylor expansion of 1/8 in t
0.668 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.668 * [taylor]: Taking taylor expansion of y in t
0.668 * [taylor]: Taking taylor expansion of (* t z) in t
0.668 * [taylor]: Taking taylor expansion of t in t
0.668 * [taylor]: Taking taylor expansion of z in t
0.669 * [taylor]: Taking taylor expansion of x in t
0.669 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) x)) in z
0.669 * [taylor]: Taking taylor expansion of -1 in z
0.669 * [taylor]: Taking taylor expansion of (/ (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) x) in z
0.669 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in z
0.669 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in z
0.669 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in z
0.669 * [taylor]: Taking taylor expansion of 1/16 in z
0.669 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in z
0.669 * [taylor]: Taking taylor expansion of 1/8 in z
0.669 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.669 * [taylor]: Taking taylor expansion of y in z
0.669 * [taylor]: Taking taylor expansion of (* t z) in z
0.669 * [taylor]: Taking taylor expansion of t in z
0.669 * [taylor]: Taking taylor expansion of z in z
0.669 * [taylor]: Taking taylor expansion of x in z
0.669 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) x)) in x
0.669 * [taylor]: Taking taylor expansion of -1 in x
0.669 * [taylor]: Taking taylor expansion of (/ (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) x) in x
0.669 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in x
0.669 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in x
0.669 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in x
0.669 * [taylor]: Taking taylor expansion of 1/16 in x
0.670 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in x
0.670 * [taylor]: Taking taylor expansion of 1/8 in x
0.670 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.670 * [taylor]: Taking taylor expansion of y in x
0.670 * [taylor]: Taking taylor expansion of (* t z) in x
0.670 * [taylor]: Taking taylor expansion of t in x
0.670 * [taylor]: Taking taylor expansion of z in x
0.670 * [taylor]: Taking taylor expansion of x in x
0.670 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) x)) in x
0.670 * [taylor]: Taking taylor expansion of -1 in x
0.670 * [taylor]: Taking taylor expansion of (/ (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) x) in x
0.670 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in x
0.670 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in x
0.670 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in x
0.670 * [taylor]: Taking taylor expansion of 1/16 in x
0.670 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in x
0.670 * [taylor]: Taking taylor expansion of 1/8 in x
0.670 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.670 * [taylor]: Taking taylor expansion of y in x
0.670 * [taylor]: Taking taylor expansion of (* t z) in x
0.670 * [taylor]: Taking taylor expansion of t in x
0.671 * [taylor]: Taking taylor expansion of z in x
0.671 * [taylor]: Taking taylor expansion of x in x
0.671 * [taylor]: Taking taylor expansion of (* -1 (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)))) in z
0.671 * [taylor]: Taking taylor expansion of -1 in z
0.671 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in z
0.671 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in z
0.671 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in z
0.671 * [taylor]: Taking taylor expansion of 1/16 in z
0.671 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in z
0.671 * [taylor]: Taking taylor expansion of 1/8 in z
0.671 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.671 * [taylor]: Taking taylor expansion of y in z
0.671 * [taylor]: Taking taylor expansion of (* t z) in z
0.671 * [taylor]: Taking taylor expansion of t in z
0.671 * [taylor]: Taking taylor expansion of z in z
0.672 * [taylor]: Taking taylor expansion of (* -1 (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)))) in t
0.672 * [taylor]: Taking taylor expansion of -1 in t
0.672 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in t
0.672 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in t
0.672 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in t
0.672 * [taylor]: Taking taylor expansion of 1/16 in t
0.672 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in t
0.672 * [taylor]: Taking taylor expansion of 1/8 in t
0.672 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.672 * [taylor]: Taking taylor expansion of y in t
0.672 * [taylor]: Taking taylor expansion of (* t z) in t
0.672 * [taylor]: Taking taylor expansion of t in t
0.672 * [taylor]: Taking taylor expansion of z in t
0.672 * [taylor]: Taking taylor expansion of (* -1 (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)))) in y
0.672 * [taylor]: Taking taylor expansion of -1 in y
0.672 * [taylor]: Taking taylor expansion of (cos (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z))) in y
0.672 * [taylor]: Taking taylor expansion of (/ (- 1/16 (* 1/8 (/ 1 y))) (* t z)) in y
0.672 * [taylor]: Taking taylor expansion of (- 1/16 (* 1/8 (/ 1 y))) in y
0.672 * [taylor]: Taking taylor expansion of 1/16 in y
0.672 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 y)) in y
0.673 * [taylor]: Taking taylor expansion of 1/8 in y
0.673 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.673 * [taylor]: Taking taylor expansion of y in y
0.673 * [taylor]: Taking taylor expansion of (* t z) in y
0.673 * [taylor]: Taking taylor expansion of t in y
0.673 * [taylor]: Taking taylor expansion of z in y
0.674 * [taylor]: Taking taylor expansion of 0 in z
0.674 * [taylor]: Taking taylor expansion of 0 in t
0.674 * [taylor]: Taking taylor expansion of 0 in y
0.674 * [taylor]: Taking taylor expansion of 0 in t
0.674 * [taylor]: Taking taylor expansion of 0 in y
0.674 * [taylor]: Taking taylor expansion of 0 in y
0.675 * [taylor]: Taking taylor expansion of 0 in z
0.675 * [taylor]: Taking taylor expansion of 0 in t
0.675 * [taylor]: Taking taylor expansion of 0 in y
0.675 * [taylor]: Taking taylor expansion of 0 in t
0.675 * [taylor]: Taking taylor expansion of 0 in y
0.675 * * * [progress]: simplifying candidates
0.676 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cos.f64 (*.f64 (*.f64 z t) (/.f64 y 8))))
  (*.f64 (sin.f64 (*.f64 (*.f64 z t) 1/16)) (sin.f64 (*.f64 (*.f64 z t) (/.f64 y 8))))
  (*.f64 (cos.f64 (*.f64 1/16 (*.f64 z t))) (cos.f64 (*.f64 (/.f64 y 8) (*.f64 z t))))
  (*.f64 (sin.f64 (*.f64 1/16 (*.f64 z t))) (sin.f64 (*.f64 (/.f64 y 8) (*.f64 z t))))
  (log.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (exp.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))
  (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (*.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))
  (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))
  (+.f64 (+.f64 (log.f64 z) (log.f64 t)) (log.f64 (+.f64 1/16 (/.f64 y 8))))
  (+.f64 (log.f64 (*.f64 z t)) (log.f64 (+.f64 1/16 (/.f64 y 8))))
  (log.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))
  (exp.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))
  (*.f64 (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 (+.f64 1/16 (/.f64 y 8)) (+.f64 1/16 (/.f64 y 8))) (+.f64 1/16 (/.f64 y 8))))
  (*.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 z t)) (*.f64 (*.f64 (+.f64 1/16 (/.f64 y 8)) (+.f64 1/16 (/.f64 y 8))) (+.f64 1/16 (/.f64 y 8))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))
  (*.f64 (*.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))) (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))
  (sqrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))
  (sqrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))
  (*.f64 (*.f64 z t) 1/16)
  (*.f64 (*.f64 z t) (/.f64 y 8))
  (*.f64 1/16 (*.f64 z t))
  (*.f64 (/.f64 y 8) (*.f64 z t))
  (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))
  (*.f64 (*.f64 z t) (sqrt.f64 (+.f64 1/16 (/.f64 y 8))))
  (*.f64 (*.f64 z t) 1)
  (*.f64 (*.f64 z t) 1)
  (*.f64 t (+.f64 1/16 (/.f64 y 8)))
  (*.f64 (*.f64 z t) (+.f64 (pow.f64 1/16 3) (pow.f64 (/.f64 y 8) 3)))
  (*.f64 (*.f64 z t) (-.f64 (*.f64 1/16 1/16) (*.f64 (/.f64 y 8) (/.f64 y 8))))
  (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (+.f64 (log.f64 x) (log.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))
  (log.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))
  (exp.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))
  (*.f64 (cbrt.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))) (cbrt.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))))
  (cbrt.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))
  (*.f64 (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))) (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))
  (sqrt.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))
  (sqrt.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))
  (*.f64 x (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))))
  (*.f64 x (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))
  (*.f64 x 1)
  (*.f64 (cbrt.f64 x) (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (*.f64 (sqrt.f64 x) (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  1
  (cos.f64 (*.f64 t (*.f64 z (+.f64 (*.f64 1/8 y) 1/16))))
  (cos.f64 (*.f64 t (*.f64 z (+.f64 (*.f64 1/8 y) 1/16))))
  (*.f64 1/16 (*.f64 t z))
  (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 1/8 (*.f64 t (*.f64 z y))))
  (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 1/8 (*.f64 t (*.f64 z y))))
  x
  (*.f64 x (cos.f64 (*.f64 t (*.f64 z (+.f64 (*.f64 1/8 y) 1/16)))))
  (*.f64 x (cos.f64 (*.f64 t (*.f64 z (+.f64 (*.f64 1/8 y) 1/16)))))
0.741 * * [simplify]: iteration  0 :  5072  enodes  (cost  1052 )
0.750 * [simplify]: Simplified to:
   (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cos.f64 (*.f64 (*.f64 z t) (/.f64 y 8))))
  (*.f64 (sin.f64 (*.f64 (*.f64 z t) 1/16)) (sin.f64 (*.f64 (*.f64 z t) (/.f64 y 8))))
  (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cos.f64 (*.f64 (*.f64 z t) (/.f64 y 8))))
  (*.f64 (sin.f64 (*.f64 (*.f64 z t) 1/16)) (sin.f64 (*.f64 (*.f64 z t) (/.f64 y 8))))
  (log.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (exp.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))
  (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (pow.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) 3)
  (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))
  (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))
  (log.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))
  (log.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))
  (log.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))
  (exp.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))
  (pow.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))) 3)
  (pow.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))) 3)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
  (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))
  (pow.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))) 3)
  (sqrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))
  (sqrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))
  (*.f64 (*.f64 z t) 1/16)
  (*.f64 (*.f64 z t) (/.f64 y 8))
  (*.f64 (*.f64 z t) 1/16)
  (*.f64 (*.f64 z t) (/.f64 y 8))
  (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))
  (*.f64 (*.f64 z t) (sqrt.f64 (+.f64 1/16 (/.f64 y 8))))
  (*.f64 z t)
  (*.f64 z t)
  (*.f64 t (+.f64 1/16 (/.f64 y 8)))
  (*.f64 (*.f64 z t) (+.f64 1/4096 (pow.f64 (/.f64 y 8) 3)))
  (*.f64 (*.f64 z t) (-.f64 1/256 (/.f64 (*.f64 y y) 64)))
  (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) x)
  (log.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) x))
  (log.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) x))
  (pow.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) x)
  (pow.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) x) 3)
  (*.f64 (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) x)) (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) x)))
  (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) x))
  (pow.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) x) 3)
  (sqrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) x))
  (sqrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) x))
  (*.f64 (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (sqrt.f64 x))
  (*.f64 (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (sqrt.f64 x))
  (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))) x)
  (*.f64 (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) x)
  x
  (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) (cbrt.f64 x))
  (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) (sqrt.f64 x))
  (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) x)
  1
  (cos.f64 (*.f64 t (*.f64 z (+.f64 1/16 (*.f64 y 1/8)))))
  (cos.f64 (*.f64 t (*.f64 z (+.f64 1/16 (*.f64 y 1/8)))))
  (*.f64 (*.f64 z t) 1/16)
  (*.f64 t (*.f64 z (+.f64 1/16 (*.f64 y 1/8))))
  (*.f64 t (*.f64 z (+.f64 1/16 (*.f64 y 1/8))))
  x
  (*.f64 x (cos.f64 (*.f64 t (*.f64 z (+.f64 1/16 (*.f64 y 1/8))))))
  (*.f64 x (cos.f64 (*.f64 t (*.f64 z (+.f64 1/16 (*.f64 y 1/8))))))
0.750 * * * [progress]: adding candidates to table
0.815 * * [progress]: iteration 3 / 4
0.816 * * * [progress]: picking best candidate
0.928 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (*.f64 x 1))>
0.928 * * * [progress]: localizing error
0.930 * * * [progress]: generating rewritten candidates
0.930 * * * [progress]: generating series expansions
0.930 * * * [progress]: simplifying candidates
0.930 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   
0.941 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
0.941 * [simplify]: Simplified to:
   
0.942 * * * [progress]: adding candidates to table
0.942 * * [progress]: iteration 4 / 4
0.942 * * * [progress]: picking best candidate
1.051 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) 1/16))) 1))>
1.051 * * * [progress]: localizing error
1.060 * * * [progress]: generating rewritten candidates
1.060 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2)
1.063 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
1.068 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2 1)
1.074 * * * [progress]: generating series expansions
1.074 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2)
1.074 * [approximate]: Taking taylor expansion of (cos (* 1/16 (* t z))) in (z t) around 0
1.074 * [taylor]: Taking taylor expansion of (cos (* 1/16 (* t z))) in t
1.074 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in t
1.074 * [taylor]: Taking taylor expansion of 1/16 in t
1.074 * [taylor]: Taking taylor expansion of (* t z) in t
1.074 * [taylor]: Taking taylor expansion of t in t
1.074 * [taylor]: Taking taylor expansion of z in t
1.074 * [taylor]: Taking taylor expansion of (cos (* 1/16 (* t z))) in z
1.074 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z
1.074 * [taylor]: Taking taylor expansion of 1/16 in z
1.074 * [taylor]: Taking taylor expansion of (* t z) in z
1.074 * [taylor]: Taking taylor expansion of t in z
1.074 * [taylor]: Taking taylor expansion of z in z
1.074 * [taylor]: Taking taylor expansion of (cos (* 1/16 (* t z))) in z
1.074 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z
1.074 * [taylor]: Taking taylor expansion of 1/16 in z
1.074 * [taylor]: Taking taylor expansion of (* t z) in z
1.075 * [taylor]: Taking taylor expansion of t in z
1.075 * [taylor]: Taking taylor expansion of z in z
1.075 * [taylor]: Taking taylor expansion of 1 in t
1.075 * [taylor]: Taking taylor expansion of 0 in t
1.075 * [taylor]: Taking taylor expansion of (neg (* 1/512 (pow t 2))) in t
1.075 * [taylor]: Taking taylor expansion of (* 1/512 (pow t 2)) in t
1.075 * [taylor]: Taking taylor expansion of 1/512 in t
1.075 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.075 * [taylor]: Taking taylor expansion of t in t
1.075 * [taylor]: Taking taylor expansion of 0 in t
1.075 * [approximate]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in (z t) around 0
1.075 * [taylor]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in t
1.075 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in t
1.075 * [taylor]: Taking taylor expansion of 1/16 in t
1.075 * [taylor]: Taking taylor expansion of (* t z) in t
1.075 * [taylor]: Taking taylor expansion of t in t
1.075 * [taylor]: Taking taylor expansion of z in t
1.076 * [taylor]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in z
1.076 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z
1.076 * [taylor]: Taking taylor expansion of 1/16 in z
1.076 * [taylor]: Taking taylor expansion of (* t z) in z
1.076 * [taylor]: Taking taylor expansion of t in z
1.076 * [taylor]: Taking taylor expansion of z in z
1.076 * [taylor]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in z
1.076 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z
1.076 * [taylor]: Taking taylor expansion of 1/16 in z
1.076 * [taylor]: Taking taylor expansion of (* t z) in z
1.076 * [taylor]: Taking taylor expansion of t in z
1.076 * [taylor]: Taking taylor expansion of z in z
1.076 * [taylor]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in t
1.076 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in t
1.076 * [taylor]: Taking taylor expansion of 1/16 in t
1.076 * [taylor]: Taking taylor expansion of (* t z) in t
1.076 * [taylor]: Taking taylor expansion of t in t
1.076 * [taylor]: Taking taylor expansion of z in t
1.076 * [taylor]: Taking taylor expansion of 0 in t
1.076 * [taylor]: Taking taylor expansion of 0 in t
1.076 * [taylor]: Taking taylor expansion of 0 in t
1.077 * [approximate]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in (z t) around 0
1.077 * [taylor]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in t
1.077 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in t
1.077 * [taylor]: Taking taylor expansion of 1/16 in t
1.077 * [taylor]: Taking taylor expansion of (* t z) in t
1.077 * [taylor]: Taking taylor expansion of t in t
1.077 * [taylor]: Taking taylor expansion of z in t
1.077 * [taylor]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in z
1.077 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z
1.077 * [taylor]: Taking taylor expansion of 1/16 in z
1.077 * [taylor]: Taking taylor expansion of (* t z) in z
1.077 * [taylor]: Taking taylor expansion of t in z
1.077 * [taylor]: Taking taylor expansion of z in z
1.077 * [taylor]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in z
1.077 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z
1.077 * [taylor]: Taking taylor expansion of 1/16 in z
1.077 * [taylor]: Taking taylor expansion of (* t z) in z
1.077 * [taylor]: Taking taylor expansion of t in z
1.077 * [taylor]: Taking taylor expansion of z in z
1.077 * [taylor]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in t
1.077 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in t
1.077 * [taylor]: Taking taylor expansion of 1/16 in t
1.077 * [taylor]: Taking taylor expansion of (* t z) in t
1.077 * [taylor]: Taking taylor expansion of t in t
1.077 * [taylor]: Taking taylor expansion of z in t
1.077 * [taylor]: Taking taylor expansion of 0 in t
1.077 * [taylor]: Taking taylor expansion of 0 in t
1.077 * [taylor]: Taking taylor expansion of 0 in t
1.078 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
1.078 * [approximate]: Taking taylor expansion of (* x (cos (* 1/16 (* t z)))) in (x z t) around 0
1.078 * [taylor]: Taking taylor expansion of (* x (cos (* 1/16 (* t z)))) in t
1.078 * [taylor]: Taking taylor expansion of x in t
1.078 * [taylor]: Taking taylor expansion of (cos (* 1/16 (* t z))) in t
1.078 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in t
1.078 * [taylor]: Taking taylor expansion of 1/16 in t
1.078 * [taylor]: Taking taylor expansion of (* t z) in t
1.078 * [taylor]: Taking taylor expansion of t in t
1.078 * [taylor]: Taking taylor expansion of z in t
1.078 * [taylor]: Taking taylor expansion of (* x (cos (* 1/16 (* t z)))) in z
1.078 * [taylor]: Taking taylor expansion of x in z
1.078 * [taylor]: Taking taylor expansion of (cos (* 1/16 (* t z))) in z
1.078 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z
1.078 * [taylor]: Taking taylor expansion of 1/16 in z
1.078 * [taylor]: Taking taylor expansion of (* t z) in z
1.078 * [taylor]: Taking taylor expansion of t in z
1.078 * [taylor]: Taking taylor expansion of z in z
1.078 * [taylor]: Taking taylor expansion of (* x (cos (* 1/16 (* t z)))) in x
1.078 * [taylor]: Taking taylor expansion of x in x
1.078 * [taylor]: Taking taylor expansion of (cos (* 1/16 (* t z))) in x
1.078 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in x
1.078 * [taylor]: Taking taylor expansion of 1/16 in x
1.078 * [taylor]: Taking taylor expansion of (* t z) in x
1.078 * [taylor]: Taking taylor expansion of t in x
1.078 * [taylor]: Taking taylor expansion of z in x
1.078 * [taylor]: Taking taylor expansion of (* x (cos (* 1/16 (* t z)))) in x
1.078 * [taylor]: Taking taylor expansion of x in x
1.078 * [taylor]: Taking taylor expansion of (cos (* 1/16 (* t z))) in x
1.078 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in x
1.078 * [taylor]: Taking taylor expansion of 1/16 in x
1.078 * [taylor]: Taking taylor expansion of (* t z) in x
1.078 * [taylor]: Taking taylor expansion of t in x
1.078 * [taylor]: Taking taylor expansion of z in x
1.079 * [taylor]: Taking taylor expansion of 0 in z
1.079 * [taylor]: Taking taylor expansion of 0 in t
1.079 * [taylor]: Taking taylor expansion of (cos (* 1/16 (* t z))) in z
1.079 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z
1.079 * [taylor]: Taking taylor expansion of 1/16 in z
1.079 * [taylor]: Taking taylor expansion of (* t z) in z
1.079 * [taylor]: Taking taylor expansion of t in z
1.079 * [taylor]: Taking taylor expansion of z in z
1.079 * [taylor]: Taking taylor expansion of 1 in t
1.079 * [taylor]: Taking taylor expansion of 0 in t
1.080 * [taylor]: Taking taylor expansion of 0 in z
1.080 * [taylor]: Taking taylor expansion of 0 in t
1.080 * [taylor]: Taking taylor expansion of 0 in t
1.080 * [taylor]: Taking taylor expansion of 0 in t
1.080 * [approximate]: Taking taylor expansion of (/ (cos (/ 1/16 (* t z))) x) in (x z t) around 0
1.080 * [taylor]: Taking taylor expansion of (/ (cos (/ 1/16 (* t z))) x) in t
1.080 * [taylor]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in t
1.080 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in t
1.080 * [taylor]: Taking taylor expansion of 1/16 in t
1.080 * [taylor]: Taking taylor expansion of (* t z) in t
1.080 * [taylor]: Taking taylor expansion of t in t
1.080 * [taylor]: Taking taylor expansion of z in t
1.080 * [taylor]: Taking taylor expansion of x in t
1.080 * [taylor]: Taking taylor expansion of (/ (cos (/ 1/16 (* t z))) x) in z
1.080 * [taylor]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in z
1.080 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z
1.080 * [taylor]: Taking taylor expansion of 1/16 in z
1.080 * [taylor]: Taking taylor expansion of (* t z) in z
1.080 * [taylor]: Taking taylor expansion of t in z
1.080 * [taylor]: Taking taylor expansion of z in z
1.081 * [taylor]: Taking taylor expansion of x in z
1.081 * [taylor]: Taking taylor expansion of (/ (cos (/ 1/16 (* t z))) x) in x
1.081 * [taylor]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in x
1.081 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in x
1.081 * [taylor]: Taking taylor expansion of 1/16 in x
1.081 * [taylor]: Taking taylor expansion of (* t z) in x
1.081 * [taylor]: Taking taylor expansion of t in x
1.081 * [taylor]: Taking taylor expansion of z in x
1.081 * [taylor]: Taking taylor expansion of x in x
1.081 * [taylor]: Taking taylor expansion of (/ (cos (/ 1/16 (* t z))) x) in x
1.081 * [taylor]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in x
1.081 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in x
1.081 * [taylor]: Taking taylor expansion of 1/16 in x
1.081 * [taylor]: Taking taylor expansion of (* t z) in x
1.081 * [taylor]: Taking taylor expansion of t in x
1.081 * [taylor]: Taking taylor expansion of z in x
1.081 * [taylor]: Taking taylor expansion of x in x
1.081 * [taylor]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in z
1.081 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z
1.081 * [taylor]: Taking taylor expansion of 1/16 in z
1.082 * [taylor]: Taking taylor expansion of (* t z) in z
1.082 * [taylor]: Taking taylor expansion of t in z
1.082 * [taylor]: Taking taylor expansion of z in z
1.082 * [taylor]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in t
1.082 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in t
1.082 * [taylor]: Taking taylor expansion of 1/16 in t
1.082 * [taylor]: Taking taylor expansion of (* t z) in t
1.082 * [taylor]: Taking taylor expansion of t in t
1.082 * [taylor]: Taking taylor expansion of z in t
1.082 * [taylor]: Taking taylor expansion of 0 in z
1.082 * [taylor]: Taking taylor expansion of 0 in t
1.082 * [taylor]: Taking taylor expansion of 0 in t
1.083 * [taylor]: Taking taylor expansion of 0 in z
1.083 * [taylor]: Taking taylor expansion of 0 in t
1.083 * [taylor]: Taking taylor expansion of 0 in t
1.083 * [taylor]: Taking taylor expansion of 0 in t
1.083 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ 1/16 (* t z))) x)) in (x z t) around 0
1.083 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ 1/16 (* t z))) x)) in t
1.083 * [taylor]: Taking taylor expansion of -1 in t
1.083 * [taylor]: Taking taylor expansion of (/ (cos (/ 1/16 (* t z))) x) in t
1.083 * [taylor]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in t
1.083 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in t
1.083 * [taylor]: Taking taylor expansion of 1/16 in t
1.083 * [taylor]: Taking taylor expansion of (* t z) in t
1.083 * [taylor]: Taking taylor expansion of t in t
1.083 * [taylor]: Taking taylor expansion of z in t
1.083 * [taylor]: Taking taylor expansion of x in t
1.083 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ 1/16 (* t z))) x)) in z
1.084 * [taylor]: Taking taylor expansion of -1 in z
1.084 * [taylor]: Taking taylor expansion of (/ (cos (/ 1/16 (* t z))) x) in z
1.084 * [taylor]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in z
1.084 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z
1.084 * [taylor]: Taking taylor expansion of 1/16 in z
1.084 * [taylor]: Taking taylor expansion of (* t z) in z
1.084 * [taylor]: Taking taylor expansion of t in z
1.084 * [taylor]: Taking taylor expansion of z in z
1.084 * [taylor]: Taking taylor expansion of x in z
1.084 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ 1/16 (* t z))) x)) in x
1.084 * [taylor]: Taking taylor expansion of -1 in x
1.084 * [taylor]: Taking taylor expansion of (/ (cos (/ 1/16 (* t z))) x) in x
1.084 * [taylor]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in x
1.084 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in x
1.084 * [taylor]: Taking taylor expansion of 1/16 in x
1.084 * [taylor]: Taking taylor expansion of (* t z) in x
1.084 * [taylor]: Taking taylor expansion of t in x
1.084 * [taylor]: Taking taylor expansion of z in x
1.084 * [taylor]: Taking taylor expansion of x in x
1.084 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ 1/16 (* t z))) x)) in x
1.084 * [taylor]: Taking taylor expansion of -1 in x
1.084 * [taylor]: Taking taylor expansion of (/ (cos (/ 1/16 (* t z))) x) in x
1.084 * [taylor]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in x
1.084 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in x
1.084 * [taylor]: Taking taylor expansion of 1/16 in x
1.084 * [taylor]: Taking taylor expansion of (* t z) in x
1.084 * [taylor]: Taking taylor expansion of t in x
1.084 * [taylor]: Taking taylor expansion of z in x
1.084 * [taylor]: Taking taylor expansion of x in x
1.085 * [taylor]: Taking taylor expansion of (* -1 (cos (/ 1/16 (* t z)))) in z
1.085 * [taylor]: Taking taylor expansion of -1 in z
1.085 * [taylor]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in z
1.085 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z
1.085 * [taylor]: Taking taylor expansion of 1/16 in z
1.085 * [taylor]: Taking taylor expansion of (* t z) in z
1.085 * [taylor]: Taking taylor expansion of t in z
1.085 * [taylor]: Taking taylor expansion of z in z
1.085 * [taylor]: Taking taylor expansion of (* -1 (cos (/ 1/16 (* t z)))) in t
1.085 * [taylor]: Taking taylor expansion of -1 in t
1.085 * [taylor]: Taking taylor expansion of (cos (/ 1/16 (* t z))) in t
1.085 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in t
1.085 * [taylor]: Taking taylor expansion of 1/16 in t
1.085 * [taylor]: Taking taylor expansion of (* t z) in t
1.085 * [taylor]: Taking taylor expansion of t in t
1.085 * [taylor]: Taking taylor expansion of z in t
1.086 * [taylor]: Taking taylor expansion of 0 in z
1.086 * [taylor]: Taking taylor expansion of 0 in t
1.086 * [taylor]: Taking taylor expansion of 0 in t
1.086 * [taylor]: Taking taylor expansion of 0 in z
1.087 * [taylor]: Taking taylor expansion of 0 in t
1.087 * [taylor]: Taking taylor expansion of 0 in t
1.087 * [taylor]: Taking taylor expansion of 0 in t
1.087 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2 1)
1.087 * [approximate]: Taking taylor expansion of (* 1/16 (* t z)) in (z t) around 0
1.087 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in t
1.087 * [taylor]: Taking taylor expansion of 1/16 in t
1.087 * [taylor]: Taking taylor expansion of (* t z) in t
1.087 * [taylor]: Taking taylor expansion of t in t
1.087 * [taylor]: Taking taylor expansion of z in t
1.087 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z
1.087 * [taylor]: Taking taylor expansion of 1/16 in z
1.087 * [taylor]: Taking taylor expansion of (* t z) in z
1.087 * [taylor]: Taking taylor expansion of t in z
1.087 * [taylor]: Taking taylor expansion of z in z
1.087 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z
1.087 * [taylor]: Taking taylor expansion of 1/16 in z
1.087 * [taylor]: Taking taylor expansion of (* t z) in z
1.087 * [taylor]: Taking taylor expansion of t in z
1.087 * [taylor]: Taking taylor expansion of z in z
1.087 * [taylor]: Taking taylor expansion of 0 in t
1.087 * [taylor]: Taking taylor expansion of (* 1/16 t) in t
1.087 * [taylor]: Taking taylor expansion of 1/16 in t
1.087 * [taylor]: Taking taylor expansion of t in t
1.087 * [taylor]: Taking taylor expansion of 0 in t
1.088 * [taylor]: Taking taylor expansion of 0 in t
1.088 * [taylor]: Taking taylor expansion of 0 in t
1.088 * [approximate]: Taking taylor expansion of (/ 1/16 (* t z)) in (z t) around 0
1.088 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in t
1.088 * [taylor]: Taking taylor expansion of 1/16 in t
1.088 * [taylor]: Taking taylor expansion of (* t z) in t
1.088 * [taylor]: Taking taylor expansion of t in t
1.088 * [taylor]: Taking taylor expansion of z in t
1.088 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z
1.088 * [taylor]: Taking taylor expansion of 1/16 in z
1.088 * [taylor]: Taking taylor expansion of (* t z) in z
1.088 * [taylor]: Taking taylor expansion of t in z
1.088 * [taylor]: Taking taylor expansion of z in z
1.088 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z
1.088 * [taylor]: Taking taylor expansion of 1/16 in z
1.088 * [taylor]: Taking taylor expansion of (* t z) in z
1.088 * [taylor]: Taking taylor expansion of t in z
1.088 * [taylor]: Taking taylor expansion of z in z
1.088 * [taylor]: Taking taylor expansion of (/ 1/16 t) in t
1.088 * [taylor]: Taking taylor expansion of 1/16 in t
1.088 * [taylor]: Taking taylor expansion of t in t
1.089 * [taylor]: Taking taylor expansion of 0 in t
1.089 * [taylor]: Taking taylor expansion of 0 in t
1.089 * [taylor]: Taking taylor expansion of 0 in t
1.089 * [approximate]: Taking taylor expansion of (/ 1/16 (* t z)) in (z t) around 0
1.089 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in t
1.089 * [taylor]: Taking taylor expansion of 1/16 in t
1.089 * [taylor]: Taking taylor expansion of (* t z) in t
1.089 * [taylor]: Taking taylor expansion of t in t
1.089 * [taylor]: Taking taylor expansion of z in t
1.089 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z
1.089 * [taylor]: Taking taylor expansion of 1/16 in z
1.089 * [taylor]: Taking taylor expansion of (* t z) in z
1.090 * [taylor]: Taking taylor expansion of t in z
1.090 * [taylor]: Taking taylor expansion of z in z
1.090 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z
1.090 * [taylor]: Taking taylor expansion of 1/16 in z
1.090 * [taylor]: Taking taylor expansion of (* t z) in z
1.090 * [taylor]: Taking taylor expansion of t in z
1.090 * [taylor]: Taking taylor expansion of z in z
1.090 * [taylor]: Taking taylor expansion of (/ 1/16 t) in t
1.090 * [taylor]: Taking taylor expansion of 1/16 in t
1.090 * [taylor]: Taking taylor expansion of t in t
1.090 * [taylor]: Taking taylor expansion of 0 in t
1.090 * [taylor]: Taking taylor expansion of 0 in t
1.090 * [taylor]: Taking taylor expansion of 0 in t
1.091 * * * [progress]: simplifying candidates
1.091 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)))
  (exp.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)))
  (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))))
  (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)))
  (*.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cos.f64 (*.f64 (*.f64 z t) 1/16))) (cos.f64 (*.f64 (*.f64 z t) 1/16)))
  (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)))
  (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)))
  (*.f64 x (cos.f64 (*.f64 (*.f64 z t) 1/16)))
  (+.f64 (log.f64 x) (log.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))))
  (log.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) 1/16))))
  (exp.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) 1/16))))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cos.f64 (*.f64 (*.f64 z t) 1/16))) (cos.f64 (*.f64 (*.f64 z t) 1/16))))
  (*.f64 (cbrt.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) 1/16)))) (cbrt.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) 1/16)))))
  (cbrt.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) 1/16))))
  (*.f64 (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) 1/16))) (*.f64 x (cos.f64 (*.f64 (*.f64 z t) 1/16)))) (*.f64 x (cos.f64 (*.f64 (*.f64 z t) 1/16))))
  (sqrt.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) 1/16))))
  (sqrt.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) 1/16))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))))
  (*.f64 x (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)))))
  (*.f64 x (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))))
  (*.f64 x 1)
  (*.f64 (cbrt.f64 x) (cos.f64 (*.f64 (*.f64 z t) 1/16)))
  (*.f64 (sqrt.f64 x) (cos.f64 (*.f64 (*.f64 z t) 1/16)))
  (*.f64 x (cos.f64 (*.f64 (*.f64 z t) 1/16)))
  (*.f64 (*.f64 z t) 1/16)
  (*.f64 (*.f64 z t) 1/16)
  (+.f64 (+.f64 (log.f64 z) (log.f64 t)) (log.f64 1/16))
  (+.f64 (log.f64 (*.f64 z t)) (log.f64 1/16))
  (log.f64 (*.f64 (*.f64 z t) 1/16))
  (exp.f64 (*.f64 (*.f64 z t) 1/16))
  (*.f64 (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 1/16 1/16) 1/16))
  (*.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 z t)) (*.f64 (*.f64 1/16 1/16) 1/16))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) 1/16)) (cbrt.f64 (*.f64 (*.f64 z t) 1/16)))
  (cbrt.f64 (*.f64 (*.f64 z t) 1/16))
  (*.f64 (*.f64 (*.f64 (*.f64 z t) 1/16) (*.f64 (*.f64 z t) 1/16)) (*.f64 (*.f64 z t) 1/16))
  (sqrt.f64 (*.f64 (*.f64 z t) 1/16))
  (sqrt.f64 (*.f64 (*.f64 z t) 1/16))
  (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 1/16) (cbrt.f64 1/16)))
  (*.f64 (*.f64 z t) (sqrt.f64 1/16))
  (*.f64 (*.f64 z t) 1)
  (*.f64 t 1/16)
  1
  (cos.f64 (*.f64 1/16 (*.f64 t z)))
  (cos.f64 (*.f64 1/16 (*.f64 t z)))
  x
  (*.f64 x (cos.f64 (*.f64 1/16 (*.f64 t z))))
  (*.f64 x (cos.f64 (*.f64 1/16 (*.f64 t z))))
  (*.f64 1/16 (*.f64 t z))
  (*.f64 1/16 (*.f64 t z))
  (*.f64 1/16 (*.f64 t z))
1.159 * * [simplify]: iteration  0 :  4889  enodes  (cost  582 )
1.160 * * [simplify]: iteration  1 :  4889  enodes  (cost  582 )
1.163 * [simplify]: Simplified to:
   (log.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)))
  (exp.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)))
  (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))))
  (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)))
  (pow.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) 3)
  (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)))
  (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)))
  (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x)
  (log.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))
  (log.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))
  (pow.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) x)
  (pow.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x) 3)
  (*.f64 (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x)) (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x)))
  (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))
  (pow.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x) 3)
  (sqrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))
  (sqrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))
  (*.f64 (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) (sqrt.f64 x))
  (*.f64 (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) (sqrt.f64 x))
  (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)))) x)
  (*.f64 (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) x)
  x
  (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cbrt.f64 x))
  (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (sqrt.f64 x))
  (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x)
  (*.f64 (*.f64 z t) 1/16)
  (*.f64 (*.f64 z t) 1/16)
  (log.f64 (*.f64 (*.f64 z t) 1/16))
  (log.f64 (*.f64 (*.f64 z t) 1/16))
  (log.f64 (*.f64 (*.f64 z t) 1/16))
  (exp.f64 (*.f64 (*.f64 z t) 1/16))
  (*.f64 (pow.f64 (*.f64 z t) 3) 1/4096)
  (*.f64 (pow.f64 (*.f64 z t) 3) 1/4096)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) 1/16)) (cbrt.f64 (*.f64 (*.f64 z t) 1/16)))
  (cbrt.f64 (*.f64 (*.f64 z t) 1/16))
  (*.f64 (pow.f64 (*.f64 z t) 3) 1/4096)
  (sqrt.f64 (*.f64 (*.f64 z t) 1/16))
  (sqrt.f64 (*.f64 (*.f64 z t) 1/16))
  (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 1/16) (cbrt.f64 1/16)))
  (*.f64 (*.f64 z t) 1/4)
  (*.f64 z t)
  (*.f64 t 1/16)
  1
  (cos.f64 (*.f64 (*.f64 z t) 1/16))
  (cos.f64 (*.f64 (*.f64 z t) 1/16))
  x
  (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x)
  (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x)
  (*.f64 (*.f64 z t) 1/16)
  (*.f64 (*.f64 z t) 1/16)
  (*.f64 (*.f64 z t) 1/16)
1.164 * * * [progress]: adding candidates to table
1.208 * [progress]: [Phase 3 of 3] Extracting.
1.209 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 t b) 1/16))))> #<alt (λ (x y z t a b) (*.f64 x 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 t (*.f64 b (+.f64 1/16 (/.f64 a 8)))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))) (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 1/16 (*.f64 t z)))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cos.f64 (*.f64 (*.f64 z t) (/.f64 y 8)))) (*.f64 (sin.f64 (*.f64 (*.f64 z t) 1/16)) (sin.f64 (*.f64 (*.f64 z t) (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (/.f64 (*.f64 (*.f64 t b) (+.f64 1/4096 (pow.f64 (/.f64 a 8) 3))) (+.f64 (*.f64 1/16 1/16) (-.f64 (*.f64 (/.f64 a 8) (/.f64 a 8)) (*.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 t z) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 t (*.f64 z (+.f64 1/16 (*.f64 y 1/8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 t b) 1/16)) (cos.f64 (*.f64 (*.f64 t b) (/.f64 a 8)))) (*.f64 (sin.f64 (*.f64 (*.f64 t b) 1/16)) (sin.f64 (*.f64 (*.f64 t b) (/.f64 a 8)))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))) 1))> #<alt (λ (x y z t a b) (*.f64 (exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cbrt.f64 x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) 1/16)) (cbrt.f64 (*.f64 (*.f64 z t) 1/16))) (cbrt.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) 3))) 1))> #<alt (λ (x y z t a b) (*.f64 (exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (log.f64 (pow.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) x)) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 z t) 1/16)) (sqrt.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (log.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (cos.f64 (*.f64 (*.f64 t z) (/.f64 y 8)))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t z))) (sin.f64 (*.f64 (*.f64 t z) (/.f64 y 8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x)) (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 1/16) (cbrt.f64 1/16))) (cbrt.f64 1/16)))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) (sqrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (sqrt.f64 (+.f64 1/16 (/.f64 y 8)))) (sqrt.f64 (+.f64 1/16 (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (sqrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x)) (sqrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 z t) 3) 1/4096)))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) 3))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 (*.f64 t b) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 a 8))) (cbrt.f64 (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 a 8)))))))>)
1.230 * * * [regime-changes]: Trying 6 branch expressions: (b a t z y x)
1.230 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 t b) 1/16))))> #<alt (λ (x y z t a b) (*.f64 x 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 t (*.f64 b (+.f64 1/16 (/.f64 a 8)))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))) (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 1/16 (*.f64 t z)))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cos.f64 (*.f64 (*.f64 z t) (/.f64 y 8)))) (*.f64 (sin.f64 (*.f64 (*.f64 z t) 1/16)) (sin.f64 (*.f64 (*.f64 z t) (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (/.f64 (*.f64 (*.f64 t b) (+.f64 1/4096 (pow.f64 (/.f64 a 8) 3))) (+.f64 (*.f64 1/16 1/16) (-.f64 (*.f64 (/.f64 a 8) (/.f64 a 8)) (*.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 t z) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 t (*.f64 z (+.f64 1/16 (*.f64 y 1/8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 t b) 1/16)) (cos.f64 (*.f64 (*.f64 t b) (/.f64 a 8)))) (*.f64 (sin.f64 (*.f64 (*.f64 t b) 1/16)) (sin.f64 (*.f64 (*.f64 t b) (/.f64 a 8)))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))) 1))> #<alt (λ (x y z t a b) (*.f64 (exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cbrt.f64 x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) 1/16)) (cbrt.f64 (*.f64 (*.f64 z t) 1/16))) (cbrt.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) 3))) 1))> #<alt (λ (x y z t a b) (*.f64 (exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (log.f64 (pow.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) x)) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 z t) 1/16)) (sqrt.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (log.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (cos.f64 (*.f64 (*.f64 t z) (/.f64 y 8)))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t z))) (sin.f64 (*.f64 (*.f64 t z) (/.f64 y 8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x)) (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 1/16) (cbrt.f64 1/16))) (cbrt.f64 1/16)))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) (sqrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (sqrt.f64 (+.f64 1/16 (/.f64 y 8)))) (sqrt.f64 (+.f64 1/16 (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (sqrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x)) (sqrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 z t) 3) 1/4096)))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) 3))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 (*.f64 t b) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 a 8))) (cbrt.f64 (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 a 8)))))))>)
1.426 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 t b) 1/16))))> #<alt (λ (x y z t a b) (*.f64 x 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 t (*.f64 b (+.f64 1/16 (/.f64 a 8)))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))) (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 1/16 (*.f64 t z)))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cos.f64 (*.f64 (*.f64 z t) (/.f64 y 8)))) (*.f64 (sin.f64 (*.f64 (*.f64 z t) 1/16)) (sin.f64 (*.f64 (*.f64 z t) (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (/.f64 (*.f64 (*.f64 t b) (+.f64 1/4096 (pow.f64 (/.f64 a 8) 3))) (+.f64 (*.f64 1/16 1/16) (-.f64 (*.f64 (/.f64 a 8) (/.f64 a 8)) (*.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 t z) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 t (*.f64 z (+.f64 1/16 (*.f64 y 1/8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 t b) 1/16)) (cos.f64 (*.f64 (*.f64 t b) (/.f64 a 8)))) (*.f64 (sin.f64 (*.f64 (*.f64 t b) 1/16)) (sin.f64 (*.f64 (*.f64 t b) (/.f64 a 8)))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))) 1))> #<alt (λ (x y z t a b) (*.f64 (exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cbrt.f64 x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) 1/16)) (cbrt.f64 (*.f64 (*.f64 z t) 1/16))) (cbrt.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) 3))) 1))> #<alt (λ (x y z t a b) (*.f64 (exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (log.f64 (pow.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) x)) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 z t) 1/16)) (sqrt.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (log.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (cos.f64 (*.f64 (*.f64 t z) (/.f64 y 8)))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t z))) (sin.f64 (*.f64 (*.f64 t z) (/.f64 y 8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x)) (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 1/16) (cbrt.f64 1/16))) (cbrt.f64 1/16)))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) (sqrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (sqrt.f64 (+.f64 1/16 (/.f64 y 8)))) (sqrt.f64 (+.f64 1/16 (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (sqrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x)) (sqrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 z t) 3) 1/4096)))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) 3))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 (*.f64 t b) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 a 8))) (cbrt.f64 (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 a 8)))))))>)
1.621 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 t b) 1/16))))> #<alt (λ (x y z t a b) (*.f64 x 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 t (*.f64 b (+.f64 1/16 (/.f64 a 8)))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))) (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 1/16 (*.f64 t z)))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cos.f64 (*.f64 (*.f64 z t) (/.f64 y 8)))) (*.f64 (sin.f64 (*.f64 (*.f64 z t) 1/16)) (sin.f64 (*.f64 (*.f64 z t) (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (/.f64 (*.f64 (*.f64 t b) (+.f64 1/4096 (pow.f64 (/.f64 a 8) 3))) (+.f64 (*.f64 1/16 1/16) (-.f64 (*.f64 (/.f64 a 8) (/.f64 a 8)) (*.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 t z) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 t (*.f64 z (+.f64 1/16 (*.f64 y 1/8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 t b) 1/16)) (cos.f64 (*.f64 (*.f64 t b) (/.f64 a 8)))) (*.f64 (sin.f64 (*.f64 (*.f64 t b) 1/16)) (sin.f64 (*.f64 (*.f64 t b) (/.f64 a 8)))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))) 1))> #<alt (λ (x y z t a b) (*.f64 (exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cbrt.f64 x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) 1/16)) (cbrt.f64 (*.f64 (*.f64 z t) 1/16))) (cbrt.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) 3))) 1))> #<alt (λ (x y z t a b) (*.f64 (exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (log.f64 (pow.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) x)) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 z t) 1/16)) (sqrt.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (log.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (cos.f64 (*.f64 (*.f64 t z) (/.f64 y 8)))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t z))) (sin.f64 (*.f64 (*.f64 t z) (/.f64 y 8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x)) (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 1/16) (cbrt.f64 1/16))) (cbrt.f64 1/16)))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) (sqrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (sqrt.f64 (+.f64 1/16 (/.f64 y 8)))) (sqrt.f64 (+.f64 1/16 (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (sqrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x)) (sqrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 z t) 3) 1/4096)))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) 3))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 (*.f64 t b) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 a 8))) (cbrt.f64 (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 a 8)))))))>)
1.815 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 t b) 1/16))))> #<alt (λ (x y z t a b) (*.f64 x 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 t (*.f64 b (+.f64 1/16 (/.f64 a 8)))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))) (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 1/16 (*.f64 t z)))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cos.f64 (*.f64 (*.f64 z t) (/.f64 y 8)))) (*.f64 (sin.f64 (*.f64 (*.f64 z t) 1/16)) (sin.f64 (*.f64 (*.f64 z t) (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (/.f64 (*.f64 (*.f64 t b) (+.f64 1/4096 (pow.f64 (/.f64 a 8) 3))) (+.f64 (*.f64 1/16 1/16) (-.f64 (*.f64 (/.f64 a 8) (/.f64 a 8)) (*.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 t z) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 t (*.f64 z (+.f64 1/16 (*.f64 y 1/8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 t b) 1/16)) (cos.f64 (*.f64 (*.f64 t b) (/.f64 a 8)))) (*.f64 (sin.f64 (*.f64 (*.f64 t b) 1/16)) (sin.f64 (*.f64 (*.f64 t b) (/.f64 a 8)))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))) 1))> #<alt (λ (x y z t a b) (*.f64 (exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cbrt.f64 x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) 1/16)) (cbrt.f64 (*.f64 (*.f64 z t) 1/16))) (cbrt.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) 3))) 1))> #<alt (λ (x y z t a b) (*.f64 (exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (log.f64 (pow.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) x)) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 z t) 1/16)) (sqrt.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (log.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (cos.f64 (*.f64 (*.f64 t z) (/.f64 y 8)))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t z))) (sin.f64 (*.f64 (*.f64 t z) (/.f64 y 8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x)) (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 1/16) (cbrt.f64 1/16))) (cbrt.f64 1/16)))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) (sqrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (sqrt.f64 (+.f64 1/16 (/.f64 y 8)))) (sqrt.f64 (+.f64 1/16 (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (sqrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x)) (sqrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 z t) 3) 1/4096)))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) 3))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 (*.f64 t b) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 a 8))) (cbrt.f64 (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 a 8)))))))>)
2.012 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 t b) 1/16))))> #<alt (λ (x y z t a b) (*.f64 x 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 t (*.f64 b (+.f64 1/16 (/.f64 a 8)))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))) (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 1/16 (*.f64 t z)))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cos.f64 (*.f64 (*.f64 z t) (/.f64 y 8)))) (*.f64 (sin.f64 (*.f64 (*.f64 z t) 1/16)) (sin.f64 (*.f64 (*.f64 z t) (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (/.f64 (*.f64 (*.f64 t b) (+.f64 1/4096 (pow.f64 (/.f64 a 8) 3))) (+.f64 (*.f64 1/16 1/16) (-.f64 (*.f64 (/.f64 a 8) (/.f64 a 8)) (*.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 t z) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 t (*.f64 z (+.f64 1/16 (*.f64 y 1/8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 t b) 1/16)) (cos.f64 (*.f64 (*.f64 t b) (/.f64 a 8)))) (*.f64 (sin.f64 (*.f64 (*.f64 t b) 1/16)) (sin.f64 (*.f64 (*.f64 t b) (/.f64 a 8)))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))) 1))> #<alt (λ (x y z t a b) (*.f64 (exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cbrt.f64 x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) 1/16)) (cbrt.f64 (*.f64 (*.f64 z t) 1/16))) (cbrt.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) 3))) 1))> #<alt (λ (x y z t a b) (*.f64 (exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (log.f64 (pow.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) x)) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 z t) 1/16)) (sqrt.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (log.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (cos.f64 (*.f64 (*.f64 t z) (/.f64 y 8)))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t z))) (sin.f64 (*.f64 (*.f64 t z) (/.f64 y 8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x)) (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 1/16) (cbrt.f64 1/16))) (cbrt.f64 1/16)))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) (sqrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (sqrt.f64 (+.f64 1/16 (/.f64 y 8)))) (sqrt.f64 (+.f64 1/16 (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (sqrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x)) (sqrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 z t) 3) 1/4096)))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) 3))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 (*.f64 t b) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 a 8))) (cbrt.f64 (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 a 8)))))))>)
2.210 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 t b) 1/16))))> #<alt (λ (x y z t a b) (*.f64 x 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 t (*.f64 b (+.f64 1/16 (/.f64 a 8)))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))) (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 1/16 (*.f64 t z)))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cos.f64 (*.f64 (*.f64 z t) (/.f64 y 8)))) (*.f64 (sin.f64 (*.f64 (*.f64 z t) 1/16)) (sin.f64 (*.f64 (*.f64 z t) (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (/.f64 (*.f64 (*.f64 t b) (+.f64 1/4096 (pow.f64 (/.f64 a 8) 3))) (+.f64 (*.f64 1/16 1/16) (-.f64 (*.f64 (/.f64 a 8) (/.f64 a 8)) (*.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 t z) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 t (*.f64 z (+.f64 1/16 (*.f64 y 1/8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) (sqrt.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 t b) 1/16)) (cos.f64 (*.f64 (*.f64 t b) (/.f64 a 8)))) (*.f64 (sin.f64 (*.f64 (*.f64 t b) 1/16)) (sin.f64 (*.f64 (*.f64 t b) (/.f64 a 8)))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))) 1))> #<alt (λ (x y z t a b) (*.f64 (exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) (cbrt.f64 x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) 1/16)) (cbrt.f64 (*.f64 (*.f64 z t) 1/16))) (cbrt.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8)))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t z) (+.f64 1/16 (/.f64 y 8))))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) 3))) 1))> #<alt (λ (x y z t a b) (*.f64 (exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (log.f64 (pow.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16))) x)) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 z t) 1/16)) (sqrt.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (log.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (cos.f64 (*.f64 (*.f64 t z) (/.f64 y 8)))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t z))) (sin.f64 (*.f64 (*.f64 t z) (/.f64 y 8)))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x)) (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) (cbrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 z t) 1/16))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 1/16) (cbrt.f64 1/16))) (cbrt.f64 1/16)))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) (sqrt.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (sqrt.f64 (+.f64 1/16 (/.f64 y 8)))) (sqrt.f64 (+.f64 1/16 (/.f64 y 8)))))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 (sqrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x)) (sqrt.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) 1/16)) x))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 z t) 3) 1/4096)))) 1))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))) 3))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))))))> #<alt (λ (x y z t a b) (*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (*.f64 (*.f64 (*.f64 t b) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 a 8))) (cbrt.f64 (+.f64 1/16 (/.f64 a 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 a 8)))))))>)
2.406 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
2.406 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x 1)
2.409 * * [simplify]: iteration  0 :  7  enodes  (cost  1 )
2.409 * * [simplify]: iteration  1 :  7  enodes  (cost  1 )
2.409 * [simplify]: Simplified to:
   x
11.381 * [regime-testing]: End program error score: 44.474935875518504
11.484 * [regime-testing]: Target error score: 44.825468084428145