22.194 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
1.155 * * * [progress]: [2/2] Setting up program.
1.158 * [progress]: [Phase 2 of 3] Improving.
1.158 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
1.219 * * [simplify]: iteration  0 :  807  enodes  (cost  21 )
1.219 * * [simplify]: iteration  1 :  807  enodes  (cost  21 )
1.219 * [simplify]: Simplified to:
   (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
1.223 * * [progress]: iteration 1 / 4
1.223 * * * [progress]: picking best candidate
1.226 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))>
1.226 * * * [progress]: localizing error
1.236 * * * [progress]: generating rewritten candidates
1.236 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.243 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1.262 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.270 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1.277 * * * [progress]: generating series expansions
1.277 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.277 * [approximate]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in (z t a) around 0
1.277 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in a
1.277 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in a
1.277 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.277 * [taylor]: Taking taylor expansion of z in a
1.277 * [taylor]: Taking taylor expansion of (* t a) in a
1.277 * [taylor]: Taking taylor expansion of t in a
1.277 * [taylor]: Taking taylor expansion of a in a
1.277 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in t
1.277 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in t
1.277 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.277 * [taylor]: Taking taylor expansion of z in t
1.277 * [taylor]: Taking taylor expansion of (* t a) in t
1.277 * [taylor]: Taking taylor expansion of t in t
1.277 * [taylor]: Taking taylor expansion of a in t
1.278 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in z
1.278 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
1.278 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.278 * [taylor]: Taking taylor expansion of z in z
1.278 * [taylor]: Taking taylor expansion of (* t a) in z
1.278 * [taylor]: Taking taylor expansion of t in z
1.278 * [taylor]: Taking taylor expansion of a in z
1.278 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in z
1.278 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
1.278 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.278 * [taylor]: Taking taylor expansion of z in z
1.278 * [taylor]: Taking taylor expansion of (* t a) in z
1.278 * [taylor]: Taking taylor expansion of t in z
1.278 * [taylor]: Taking taylor expansion of a in z
1.278 * [taylor]: Taking taylor expansion of (sqrt (neg (* t a))) in t
1.279 * [taylor]: Taking taylor expansion of (neg (* t a)) in t
1.279 * [taylor]: Taking taylor expansion of (* t a) in t
1.279 * [taylor]: Taking taylor expansion of t in t
1.279 * [taylor]: Taking taylor expansion of a in t
1.279 * [taylor]: Taking taylor expansion of 0 in a
1.279 * [taylor]: Taking taylor expansion of 0 in t
1.279 * [taylor]: Taking taylor expansion of 0 in a
1.279 * [taylor]: Taking taylor expansion of (* NAN a) in a
1.279 * [taylor]: Taking taylor expansion of NAN in a
1.279 * [taylor]: Taking taylor expansion of a in a
1.279 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (neg (* t a)))) in t
1.279 * [taylor]: Taking taylor expansion of 1/2 in t
1.279 * [taylor]: Taking taylor expansion of (sqrt (neg (* t a))) in t
1.279 * [taylor]: Taking taylor expansion of (neg (* t a)) in t
1.279 * [taylor]: Taking taylor expansion of (* t a) in t
1.279 * [taylor]: Taking taylor expansion of t in t
1.279 * [taylor]: Taking taylor expansion of a in t
1.280 * [taylor]: Taking taylor expansion of (neg (* 1/2 NAN)) in a
1.280 * [taylor]: Taking taylor expansion of (* 1/2 NAN) in a
1.280 * [taylor]: Taking taylor expansion of 1/2 in a
1.280 * [taylor]: Taking taylor expansion of NAN in a
1.280 * [taylor]: Taking taylor expansion of 0 in a
1.280 * [taylor]: Taking taylor expansion of (* NAN (* (pow a 2) (pow NAN 2))) in a
1.280 * [taylor]: Taking taylor expansion of NAN in a
1.280 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow NAN 2)) in a
1.280 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.280 * [taylor]: Taking taylor expansion of a in a
1.280 * [taylor]: Taking taylor expansion of (pow NAN 2) in a
1.280 * [taylor]: Taking taylor expansion of NAN in a
1.281 * [taylor]: Taking taylor expansion of 0 in t
1.281 * [taylor]: Taking taylor expansion of 0 in a
1.281 * [taylor]: Taking taylor expansion of 0 in a
1.281 * [taylor]: Taking taylor expansion of 0 in a
1.282 * [taylor]: Taking taylor expansion of (* NAN (* (pow a 3) (pow NAN 4))) in a
1.282 * [taylor]: Taking taylor expansion of NAN in a
1.282 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow NAN 4)) in a
1.282 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.282 * [taylor]: Taking taylor expansion of a in a
1.282 * [taylor]: Taking taylor expansion of (pow NAN 4) in a
1.282 * [taylor]: Taking taylor expansion of NAN in a
1.282 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in (z t a) around 0
1.282 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a
1.282 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
1.282 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.282 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.282 * [taylor]: Taking taylor expansion of z in a
1.283 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.283 * [taylor]: Taking taylor expansion of (* t a) in a
1.283 * [taylor]: Taking taylor expansion of t in a
1.283 * [taylor]: Taking taylor expansion of a in a
1.283 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t
1.283 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
1.283 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.283 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.283 * [taylor]: Taking taylor expansion of z in t
1.283 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.283 * [taylor]: Taking taylor expansion of (* t a) in t
1.283 * [taylor]: Taking taylor expansion of t in t
1.283 * [taylor]: Taking taylor expansion of a in t
1.283 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
1.283 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.283 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.283 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.283 * [taylor]: Taking taylor expansion of z in z
1.283 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.283 * [taylor]: Taking taylor expansion of (* t a) in z
1.283 * [taylor]: Taking taylor expansion of t in z
1.283 * [taylor]: Taking taylor expansion of a in z
1.284 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
1.284 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.284 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.284 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.284 * [taylor]: Taking taylor expansion of z in z
1.284 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.284 * [taylor]: Taking taylor expansion of (* t a) in z
1.284 * [taylor]: Taking taylor expansion of t in z
1.284 * [taylor]: Taking taylor expansion of a in z
1.284 * [taylor]: Taking taylor expansion of 1 in t
1.284 * [taylor]: Taking taylor expansion of 0 in t
1.284 * [taylor]: Taking taylor expansion of 1 in a
1.284 * [taylor]: Taking taylor expansion of (/ -1/2 (* t a)) in t
1.284 * [taylor]: Taking taylor expansion of -1/2 in t
1.284 * [taylor]: Taking taylor expansion of (* t a) in t
1.284 * [taylor]: Taking taylor expansion of t in t
1.284 * [taylor]: Taking taylor expansion of a in t
1.284 * [taylor]: Taking taylor expansion of (/ -1/2 a) in a
1.284 * [taylor]: Taking taylor expansion of -1/2 in a
1.284 * [taylor]: Taking taylor expansion of a in a
1.284 * [taylor]: Taking taylor expansion of 0 in a
1.284 * [taylor]: Taking taylor expansion of 0 in a
1.285 * [taylor]: Taking taylor expansion of 0 in t
1.285 * [taylor]: Taking taylor expansion of 0 in a
1.285 * [taylor]: Taking taylor expansion of 0 in a
1.285 * [taylor]: Taking taylor expansion of 0 in a
1.285 * [taylor]: Taking taylor expansion of (/ -1/8 (* (pow t 2) (pow a 2))) in t
1.286 * [taylor]: Taking taylor expansion of -1/8 in t
1.286 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow a 2)) in t
1.286 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.286 * [taylor]: Taking taylor expansion of t in t
1.286 * [taylor]: Taking taylor expansion of (pow a 2) in t
1.286 * [taylor]: Taking taylor expansion of a in t
1.286 * [taylor]: Taking taylor expansion of 0 in a
1.286 * [taylor]: Taking taylor expansion of 0 in a
1.286 * [taylor]: Taking taylor expansion of 0 in a
1.286 * [taylor]: Taking taylor expansion of 0 in a
1.286 * [taylor]: Taking taylor expansion of 0 in a
1.287 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in (z t a) around 0
1.287 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a
1.287 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
1.287 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.287 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.287 * [taylor]: Taking taylor expansion of z in a
1.287 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.287 * [taylor]: Taking taylor expansion of (* t a) in a
1.287 * [taylor]: Taking taylor expansion of t in a
1.287 * [taylor]: Taking taylor expansion of a in a
1.287 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t
1.287 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
1.287 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.287 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.287 * [taylor]: Taking taylor expansion of z in t
1.287 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.287 * [taylor]: Taking taylor expansion of (* t a) in t
1.287 * [taylor]: Taking taylor expansion of t in t
1.287 * [taylor]: Taking taylor expansion of a in t
1.288 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
1.288 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.288 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.288 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.288 * [taylor]: Taking taylor expansion of z in z
1.288 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.288 * [taylor]: Taking taylor expansion of (* t a) in z
1.288 * [taylor]: Taking taylor expansion of t in z
1.288 * [taylor]: Taking taylor expansion of a in z
1.288 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
1.288 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.288 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.288 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.288 * [taylor]: Taking taylor expansion of z in z
1.288 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.288 * [taylor]: Taking taylor expansion of (* t a) in z
1.288 * [taylor]: Taking taylor expansion of t in z
1.288 * [taylor]: Taking taylor expansion of a in z
1.291 * [taylor]: Taking taylor expansion of 1 in t
1.291 * [taylor]: Taking taylor expansion of 0 in t
1.291 * [taylor]: Taking taylor expansion of 1 in a
1.292 * [taylor]: Taking taylor expansion of (/ -1/2 (* t a)) in t
1.292 * [taylor]: Taking taylor expansion of -1/2 in t
1.292 * [taylor]: Taking taylor expansion of (* t a) in t
1.292 * [taylor]: Taking taylor expansion of t in t
1.292 * [taylor]: Taking taylor expansion of a in t
1.292 * [taylor]: Taking taylor expansion of (/ -1/2 a) in a
1.292 * [taylor]: Taking taylor expansion of -1/2 in a
1.292 * [taylor]: Taking taylor expansion of a in a
1.292 * [taylor]: Taking taylor expansion of 0 in a
1.292 * [taylor]: Taking taylor expansion of 0 in a
1.292 * [taylor]: Taking taylor expansion of 0 in t
1.292 * [taylor]: Taking taylor expansion of 0 in a
1.292 * [taylor]: Taking taylor expansion of 0 in a
1.292 * [taylor]: Taking taylor expansion of 0 in a
1.293 * [taylor]: Taking taylor expansion of (/ -1/8 (* (pow t 2) (pow a 2))) in t
1.293 * [taylor]: Taking taylor expansion of -1/8 in t
1.293 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow a 2)) in t
1.293 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.293 * [taylor]: Taking taylor expansion of t in t
1.293 * [taylor]: Taking taylor expansion of (pow a 2) in t
1.293 * [taylor]: Taking taylor expansion of a in t
1.293 * [taylor]: Taking taylor expansion of 0 in a
1.294 * [taylor]: Taking taylor expansion of 0 in a
1.294 * [taylor]: Taking taylor expansion of 0 in a
1.294 * [taylor]: Taking taylor expansion of 0 in a
1.294 * [taylor]: Taking taylor expansion of 0 in a
1.294 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.294 * [approximate]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in (x y z t a) around 0
1.294 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in a
1.294 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
1.294 * [taylor]: Taking taylor expansion of x in a
1.294 * [taylor]: Taking taylor expansion of (* z y) in a
1.294 * [taylor]: Taking taylor expansion of z in a
1.294 * [taylor]: Taking taylor expansion of y in a
1.294 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in a
1.294 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in a
1.294 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in a
1.294 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.294 * [taylor]: Taking taylor expansion of z in a
1.294 * [taylor]: Taking taylor expansion of (* t a) in a
1.294 * [taylor]: Taking taylor expansion of t in a
1.294 * [taylor]: Taking taylor expansion of a in a
1.295 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in t
1.295 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
1.295 * [taylor]: Taking taylor expansion of x in t
1.295 * [taylor]: Taking taylor expansion of (* z y) in t
1.295 * [taylor]: Taking taylor expansion of z in t
1.295 * [taylor]: Taking taylor expansion of y in t
1.295 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in t
1.295 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in t
1.295 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in t
1.295 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.295 * [taylor]: Taking taylor expansion of z in t
1.295 * [taylor]: Taking taylor expansion of (* t a) in t
1.295 * [taylor]: Taking taylor expansion of t in t
1.295 * [taylor]: Taking taylor expansion of a in t
1.296 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in z
1.296 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.296 * [taylor]: Taking taylor expansion of x in z
1.296 * [taylor]: Taking taylor expansion of (* z y) in z
1.296 * [taylor]: Taking taylor expansion of z in z
1.296 * [taylor]: Taking taylor expansion of y in z
1.296 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in z
1.296 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in z
1.296 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
1.296 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.296 * [taylor]: Taking taylor expansion of z in z
1.296 * [taylor]: Taking taylor expansion of (* t a) in z
1.296 * [taylor]: Taking taylor expansion of t in z
1.296 * [taylor]: Taking taylor expansion of a in z
1.297 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in y
1.297 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.297 * [taylor]: Taking taylor expansion of x in y
1.297 * [taylor]: Taking taylor expansion of (* z y) in y
1.297 * [taylor]: Taking taylor expansion of z in y
1.297 * [taylor]: Taking taylor expansion of y in y
1.297 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in y
1.297 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in y
1.297 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in y
1.297 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.297 * [taylor]: Taking taylor expansion of z in y
1.297 * [taylor]: Taking taylor expansion of (* t a) in y
1.297 * [taylor]: Taking taylor expansion of t in y
1.297 * [taylor]: Taking taylor expansion of a in y
1.298 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in x
1.298 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.298 * [taylor]: Taking taylor expansion of x in x
1.298 * [taylor]: Taking taylor expansion of (* z y) in x
1.298 * [taylor]: Taking taylor expansion of z in x
1.298 * [taylor]: Taking taylor expansion of y in x
1.298 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in x
1.298 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in x
1.298 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in x
1.298 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.298 * [taylor]: Taking taylor expansion of z in x
1.298 * [taylor]: Taking taylor expansion of (* t a) in x
1.298 * [taylor]: Taking taylor expansion of t in x
1.298 * [taylor]: Taking taylor expansion of a in x
1.299 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in x
1.299 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.299 * [taylor]: Taking taylor expansion of x in x
1.299 * [taylor]: Taking taylor expansion of (* z y) in x
1.299 * [taylor]: Taking taylor expansion of z in x
1.299 * [taylor]: Taking taylor expansion of y in x
1.299 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in x
1.299 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in x
1.299 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in x
1.299 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.299 * [taylor]: Taking taylor expansion of z in x
1.299 * [taylor]: Taking taylor expansion of (* t a) in x
1.299 * [taylor]: Taking taylor expansion of t in x
1.299 * [taylor]: Taking taylor expansion of a in x
1.300 * [taylor]: Taking taylor expansion of 0 in y
1.300 * [taylor]: Taking taylor expansion of 0 in z
1.300 * [taylor]: Taking taylor expansion of 0 in t
1.300 * [taylor]: Taking taylor expansion of 0 in a
1.300 * [taylor]: Taking taylor expansion of (* (* z y) (sqrt (/ 1 (- (pow z 2) (* t a))))) in y
1.300 * [taylor]: Taking taylor expansion of (* z y) in y
1.300 * [taylor]: Taking taylor expansion of z in y
1.300 * [taylor]: Taking taylor expansion of y in y
1.300 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in y
1.300 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in y
1.300 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in y
1.300 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.300 * [taylor]: Taking taylor expansion of z in y
1.300 * [taylor]: Taking taylor expansion of (* t a) in y
1.300 * [taylor]: Taking taylor expansion of t in y
1.300 * [taylor]: Taking taylor expansion of a in y
1.301 * [taylor]: Taking taylor expansion of 0 in z
1.301 * [taylor]: Taking taylor expansion of 0 in t
1.301 * [taylor]: Taking taylor expansion of 0 in a
1.301 * [taylor]: Taking taylor expansion of 0 in z
1.301 * [taylor]: Taking taylor expansion of 0 in t
1.301 * [taylor]: Taking taylor expansion of 0 in a
1.301 * [taylor]: Taking taylor expansion of 0 in t
1.301 * [taylor]: Taking taylor expansion of 0 in a
1.301 * [taylor]: Taking taylor expansion of 0 in a
1.302 * [approximate]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in (x y z t a) around 0
1.302 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in a
1.302 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
1.302 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
1.302 * [taylor]: Taking taylor expansion of x in a
1.302 * [taylor]: Taking taylor expansion of (* z y) in a
1.302 * [taylor]: Taking taylor expansion of z in a
1.302 * [taylor]: Taking taylor expansion of y in a
1.302 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in a
1.302 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a
1.302 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
1.302 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.302 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.302 * [taylor]: Taking taylor expansion of z in a
1.302 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.302 * [taylor]: Taking taylor expansion of (* t a) in a
1.302 * [taylor]: Taking taylor expansion of t in a
1.302 * [taylor]: Taking taylor expansion of a in a
1.302 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in t
1.302 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
1.302 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
1.302 * [taylor]: Taking taylor expansion of x in t
1.302 * [taylor]: Taking taylor expansion of (* z y) in t
1.302 * [taylor]: Taking taylor expansion of z in t
1.302 * [taylor]: Taking taylor expansion of y in t
1.302 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in t
1.303 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t
1.303 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
1.303 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.303 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.303 * [taylor]: Taking taylor expansion of z in t
1.303 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.303 * [taylor]: Taking taylor expansion of (* t a) in t
1.303 * [taylor]: Taking taylor expansion of t in t
1.303 * [taylor]: Taking taylor expansion of a in t
1.303 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in z
1.303 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
1.303 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.303 * [taylor]: Taking taylor expansion of x in z
1.303 * [taylor]: Taking taylor expansion of (* z y) in z
1.303 * [taylor]: Taking taylor expansion of z in z
1.303 * [taylor]: Taking taylor expansion of y in z
1.303 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z
1.303 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
1.303 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.303 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.303 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.303 * [taylor]: Taking taylor expansion of z in z
1.303 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.303 * [taylor]: Taking taylor expansion of (* t a) in z
1.303 * [taylor]: Taking taylor expansion of t in z
1.303 * [taylor]: Taking taylor expansion of a in z
1.304 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in y
1.304 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.304 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.304 * [taylor]: Taking taylor expansion of x in y
1.304 * [taylor]: Taking taylor expansion of (* z y) in y
1.304 * [taylor]: Taking taylor expansion of z in y
1.304 * [taylor]: Taking taylor expansion of y in y
1.304 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y
1.304 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y
1.304 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y
1.304 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.304 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.304 * [taylor]: Taking taylor expansion of z in y
1.304 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.304 * [taylor]: Taking taylor expansion of (* t a) in y
1.304 * [taylor]: Taking taylor expansion of t in y
1.304 * [taylor]: Taking taylor expansion of a in y
1.305 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in x
1.305 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.305 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.305 * [taylor]: Taking taylor expansion of x in x
1.305 * [taylor]: Taking taylor expansion of (* z y) in x
1.305 * [taylor]: Taking taylor expansion of z in x
1.305 * [taylor]: Taking taylor expansion of y in x
1.305 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in x
1.305 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in x
1.305 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in x
1.305 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.305 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.305 * [taylor]: Taking taylor expansion of z in x
1.306 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.306 * [taylor]: Taking taylor expansion of (* t a) in x
1.306 * [taylor]: Taking taylor expansion of t in x
1.306 * [taylor]: Taking taylor expansion of a in x
1.307 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in x
1.307 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.307 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.307 * [taylor]: Taking taylor expansion of x in x
1.307 * [taylor]: Taking taylor expansion of (* z y) in x
1.307 * [taylor]: Taking taylor expansion of z in x
1.307 * [taylor]: Taking taylor expansion of y in x
1.307 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in x
1.307 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in x
1.307 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in x
1.307 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.307 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.307 * [taylor]: Taking taylor expansion of z in x
1.307 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.307 * [taylor]: Taking taylor expansion of (* t a) in x
1.307 * [taylor]: Taking taylor expansion of t in x
1.307 * [taylor]: Taking taylor expansion of a in x
1.308 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in y
1.308 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y
1.308 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y
1.309 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y
1.309 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.309 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.309 * [taylor]: Taking taylor expansion of z in y
1.309 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.309 * [taylor]: Taking taylor expansion of (* t a) in y
1.309 * [taylor]: Taking taylor expansion of t in y
1.309 * [taylor]: Taking taylor expansion of a in y
1.310 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.310 * [taylor]: Taking taylor expansion of (* z y) in y
1.310 * [taylor]: Taking taylor expansion of z in y
1.310 * [taylor]: Taking taylor expansion of y in y
1.310 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 z)) in z
1.310 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z
1.310 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
1.310 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.310 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.310 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.310 * [taylor]: Taking taylor expansion of z in z
1.310 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.310 * [taylor]: Taking taylor expansion of (* t a) in z
1.310 * [taylor]: Taking taylor expansion of t in z
1.310 * [taylor]: Taking taylor expansion of a in z
1.311 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.311 * [taylor]: Taking taylor expansion of z in z
1.311 * [taylor]: Taking taylor expansion of 1 in t
1.311 * [taylor]: Taking taylor expansion of 1 in a
1.311 * [taylor]: Taking taylor expansion of 0 in y
1.311 * [taylor]: Taking taylor expansion of 0 in z
1.311 * [taylor]: Taking taylor expansion of 0 in t
1.311 * [taylor]: Taking taylor expansion of 0 in a
1.311 * [taylor]: Taking taylor expansion of 0 in t
1.311 * [taylor]: Taking taylor expansion of 0 in a
1.311 * [taylor]: Taking taylor expansion of 0 in a
1.313 * [taylor]: Taking taylor expansion of 0 in y
1.313 * [taylor]: Taking taylor expansion of 0 in z
1.313 * [taylor]: Taking taylor expansion of 0 in t
1.313 * [taylor]: Taking taylor expansion of 0 in a
1.314 * [taylor]: Taking taylor expansion of 0 in z
1.314 * [taylor]: Taking taylor expansion of 0 in t
1.314 * [taylor]: Taking taylor expansion of 0 in a
1.315 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in (x y z t a) around 0
1.315 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in a
1.315 * [taylor]: Taking taylor expansion of -1 in a
1.315 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in a
1.315 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
1.315 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
1.315 * [taylor]: Taking taylor expansion of x in a
1.315 * [taylor]: Taking taylor expansion of (* z y) in a
1.315 * [taylor]: Taking taylor expansion of z in a
1.315 * [taylor]: Taking taylor expansion of y in a
1.315 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in a
1.315 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a
1.315 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
1.315 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.315 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.315 * [taylor]: Taking taylor expansion of z in a
1.315 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.315 * [taylor]: Taking taylor expansion of (* t a) in a
1.315 * [taylor]: Taking taylor expansion of t in a
1.315 * [taylor]: Taking taylor expansion of a in a
1.315 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in t
1.315 * [taylor]: Taking taylor expansion of -1 in t
1.315 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in t
1.315 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
1.315 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
1.315 * [taylor]: Taking taylor expansion of x in t
1.315 * [taylor]: Taking taylor expansion of (* z y) in t
1.315 * [taylor]: Taking taylor expansion of z in t
1.315 * [taylor]: Taking taylor expansion of y in t
1.315 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in t
1.315 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t
1.316 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
1.316 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.316 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.316 * [taylor]: Taking taylor expansion of z in t
1.316 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.316 * [taylor]: Taking taylor expansion of (* t a) in t
1.316 * [taylor]: Taking taylor expansion of t in t
1.316 * [taylor]: Taking taylor expansion of a in t
1.316 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in z
1.316 * [taylor]: Taking taylor expansion of -1 in z
1.316 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in z
1.316 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
1.316 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.316 * [taylor]: Taking taylor expansion of x in z
1.316 * [taylor]: Taking taylor expansion of (* z y) in z
1.316 * [taylor]: Taking taylor expansion of z in z
1.316 * [taylor]: Taking taylor expansion of y in z
1.316 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z
1.316 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
1.316 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.316 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.316 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.316 * [taylor]: Taking taylor expansion of z in z
1.316 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.316 * [taylor]: Taking taylor expansion of (* t a) in z
1.316 * [taylor]: Taking taylor expansion of t in z
1.316 * [taylor]: Taking taylor expansion of a in z
1.317 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in y
1.317 * [taylor]: Taking taylor expansion of -1 in y
1.317 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in y
1.317 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.317 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.317 * [taylor]: Taking taylor expansion of x in y
1.317 * [taylor]: Taking taylor expansion of (* z y) in y
1.317 * [taylor]: Taking taylor expansion of z in y
1.317 * [taylor]: Taking taylor expansion of y in y
1.317 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y
1.317 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y
1.317 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y
1.317 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.317 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.317 * [taylor]: Taking taylor expansion of z in y
1.317 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.317 * [taylor]: Taking taylor expansion of (* t a) in y
1.317 * [taylor]: Taking taylor expansion of t in y
1.317 * [taylor]: Taking taylor expansion of a in y
1.318 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in x
1.318 * [taylor]: Taking taylor expansion of -1 in x
1.318 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in x
1.318 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.318 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.318 * [taylor]: Taking taylor expansion of x in x
1.318 * [taylor]: Taking taylor expansion of (* z y) in x
1.318 * [taylor]: Taking taylor expansion of z in x
1.318 * [taylor]: Taking taylor expansion of y in x
1.318 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in x
1.318 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in x
1.318 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in x
1.318 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.318 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.319 * [taylor]: Taking taylor expansion of z in x
1.319 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.319 * [taylor]: Taking taylor expansion of (* t a) in x
1.319 * [taylor]: Taking taylor expansion of t in x
1.319 * [taylor]: Taking taylor expansion of a in x
1.320 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in x
1.320 * [taylor]: Taking taylor expansion of -1 in x
1.320 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in x
1.320 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.320 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.320 * [taylor]: Taking taylor expansion of x in x
1.320 * [taylor]: Taking taylor expansion of (* z y) in x
1.320 * [taylor]: Taking taylor expansion of z in x
1.320 * [taylor]: Taking taylor expansion of y in x
1.320 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in x
1.320 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in x
1.320 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in x
1.320 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.320 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.320 * [taylor]: Taking taylor expansion of z in x
1.321 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.321 * [taylor]: Taking taylor expansion of (* t a) in x
1.321 * [taylor]: Taking taylor expansion of t in x
1.321 * [taylor]: Taking taylor expansion of a in x
1.322 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y)))) in y
1.322 * [taylor]: Taking taylor expansion of -1 in y
1.322 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in y
1.322 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y
1.322 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y
1.322 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y
1.322 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.322 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.322 * [taylor]: Taking taylor expansion of z in y
1.322 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.322 * [taylor]: Taking taylor expansion of (* t a) in y
1.322 * [taylor]: Taking taylor expansion of t in y
1.322 * [taylor]: Taking taylor expansion of a in y
1.323 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.323 * [taylor]: Taking taylor expansion of (* z y) in y
1.323 * [taylor]: Taking taylor expansion of z in y
1.323 * [taylor]: Taking taylor expansion of y in y
1.324 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 z))) in z
1.324 * [taylor]: Taking taylor expansion of -1 in z
1.324 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 z)) in z
1.324 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z
1.324 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
1.324 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.324 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.324 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.324 * [taylor]: Taking taylor expansion of z in z
1.324 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.324 * [taylor]: Taking taylor expansion of (* t a) in z
1.324 * [taylor]: Taking taylor expansion of t in z
1.324 * [taylor]: Taking taylor expansion of a in z
1.324 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.324 * [taylor]: Taking taylor expansion of z in z
1.324 * [taylor]: Taking taylor expansion of -1 in t
1.324 * [taylor]: Taking taylor expansion of -1 in a
1.325 * [taylor]: Taking taylor expansion of 0 in y
1.325 * [taylor]: Taking taylor expansion of 0 in z
1.325 * [taylor]: Taking taylor expansion of 0 in t
1.325 * [taylor]: Taking taylor expansion of 0 in a
1.326 * [taylor]: Taking taylor expansion of 0 in t
1.326 * [taylor]: Taking taylor expansion of 0 in a
1.326 * [taylor]: Taking taylor expansion of 0 in a
1.327 * [taylor]: Taking taylor expansion of 0 in y
1.327 * [taylor]: Taking taylor expansion of 0 in z
1.327 * [taylor]: Taking taylor expansion of 0 in t
1.327 * [taylor]: Taking taylor expansion of 0 in a
1.329 * [taylor]: Taking taylor expansion of 0 in z
1.329 * [taylor]: Taking taylor expansion of 0 in t
1.329 * [taylor]: Taking taylor expansion of 0 in a
1.329 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.329 * [approximate]: Taking taylor expansion of (* x (* z y)) in (x y z) around 0
1.329 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.329 * [taylor]: Taking taylor expansion of x in z
1.329 * [taylor]: Taking taylor expansion of (* z y) in z
1.329 * [taylor]: Taking taylor expansion of z in z
1.329 * [taylor]: Taking taylor expansion of y in z
1.329 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.329 * [taylor]: Taking taylor expansion of x in y
1.329 * [taylor]: Taking taylor expansion of (* z y) in y
1.329 * [taylor]: Taking taylor expansion of z in y
1.329 * [taylor]: Taking taylor expansion of y in y
1.329 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.329 * [taylor]: Taking taylor expansion of x in x
1.329 * [taylor]: Taking taylor expansion of (* z y) in x
1.329 * [taylor]: Taking taylor expansion of z in x
1.329 * [taylor]: Taking taylor expansion of y in x
1.329 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.329 * [taylor]: Taking taylor expansion of x in x
1.329 * [taylor]: Taking taylor expansion of (* z y) in x
1.329 * [taylor]: Taking taylor expansion of z in x
1.329 * [taylor]: Taking taylor expansion of y in x
1.329 * [taylor]: Taking taylor expansion of 0 in y
1.329 * [taylor]: Taking taylor expansion of 0 in z
1.329 * [taylor]: Taking taylor expansion of (* z y) in y
1.329 * [taylor]: Taking taylor expansion of z in y
1.329 * [taylor]: Taking taylor expansion of y in y
1.329 * [taylor]: Taking taylor expansion of 0 in z
1.330 * [taylor]: Taking taylor expansion of 0 in z
1.330 * [taylor]: Taking taylor expansion of 0 in y
1.330 * [taylor]: Taking taylor expansion of 0 in z
1.330 * [taylor]: Taking taylor expansion of z in z
1.330 * [approximate]: Taking taylor expansion of (/ 1 (* x (* z y))) in (x y z) around 0
1.330 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
1.330 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.330 * [taylor]: Taking taylor expansion of x in z
1.330 * [taylor]: Taking taylor expansion of (* z y) in z
1.330 * [taylor]: Taking taylor expansion of z in z
1.330 * [taylor]: Taking taylor expansion of y in z
1.330 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.330 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.330 * [taylor]: Taking taylor expansion of x in y
1.330 * [taylor]: Taking taylor expansion of (* z y) in y
1.330 * [taylor]: Taking taylor expansion of z in y
1.330 * [taylor]: Taking taylor expansion of y in y
1.330 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.330 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.330 * [taylor]: Taking taylor expansion of x in x
1.330 * [taylor]: Taking taylor expansion of (* z y) in x
1.330 * [taylor]: Taking taylor expansion of z in x
1.330 * [taylor]: Taking taylor expansion of y in x
1.331 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.331 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.331 * [taylor]: Taking taylor expansion of x in x
1.331 * [taylor]: Taking taylor expansion of (* z y) in x
1.331 * [taylor]: Taking taylor expansion of z in x
1.331 * [taylor]: Taking taylor expansion of y in x
1.331 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.331 * [taylor]: Taking taylor expansion of (* z y) in y
1.331 * [taylor]: Taking taylor expansion of z in y
1.331 * [taylor]: Taking taylor expansion of y in y
1.331 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.331 * [taylor]: Taking taylor expansion of z in z
1.331 * [taylor]: Taking taylor expansion of 0 in y
1.331 * [taylor]: Taking taylor expansion of 0 in z
1.332 * [taylor]: Taking taylor expansion of 0 in y
1.332 * [taylor]: Taking taylor expansion of 0 in z
1.332 * [taylor]: Taking taylor expansion of 0 in z
1.332 * [taylor]: Taking taylor expansion of 0 in y
1.332 * [taylor]: Taking taylor expansion of 0 in z
1.332 * [taylor]: Taking taylor expansion of 0 in z
1.332 * [taylor]: Taking taylor expansion of 0 in z
1.332 * [approximate]: Taking taylor expansion of (/ -1 (* x (* z y))) in (x y z) around 0
1.333 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in z
1.333 * [taylor]: Taking taylor expansion of -1 in z
1.333 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.333 * [taylor]: Taking taylor expansion of x in z
1.333 * [taylor]: Taking taylor expansion of (* z y) in z
1.333 * [taylor]: Taking taylor expansion of z in z
1.333 * [taylor]: Taking taylor expansion of y in z
1.333 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in y
1.333 * [taylor]: Taking taylor expansion of -1 in y
1.333 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.333 * [taylor]: Taking taylor expansion of x in y
1.333 * [taylor]: Taking taylor expansion of (* z y) in y
1.333 * [taylor]: Taking taylor expansion of z in y
1.333 * [taylor]: Taking taylor expansion of y in y
1.333 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in x
1.333 * [taylor]: Taking taylor expansion of -1 in x
1.333 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.333 * [taylor]: Taking taylor expansion of x in x
1.333 * [taylor]: Taking taylor expansion of (* z y) in x
1.333 * [taylor]: Taking taylor expansion of z in x
1.333 * [taylor]: Taking taylor expansion of y in x
1.333 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in x
1.333 * [taylor]: Taking taylor expansion of -1 in x
1.333 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.333 * [taylor]: Taking taylor expansion of x in x
1.333 * [taylor]: Taking taylor expansion of (* z y) in x
1.333 * [taylor]: Taking taylor expansion of z in x
1.333 * [taylor]: Taking taylor expansion of y in x
1.334 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in y
1.334 * [taylor]: Taking taylor expansion of -1 in y
1.334 * [taylor]: Taking taylor expansion of (* z y) in y
1.334 * [taylor]: Taking taylor expansion of z in y
1.334 * [taylor]: Taking taylor expansion of y in y
1.334 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.334 * [taylor]: Taking taylor expansion of -1 in z
1.334 * [taylor]: Taking taylor expansion of z in z
1.334 * [taylor]: Taking taylor expansion of 0 in y
1.334 * [taylor]: Taking taylor expansion of 0 in z
1.334 * [taylor]: Taking taylor expansion of 0 in y
1.334 * [taylor]: Taking taylor expansion of 0 in z
1.334 * [taylor]: Taking taylor expansion of 0 in z
1.335 * [taylor]: Taking taylor expansion of 0 in y
1.335 * [taylor]: Taking taylor expansion of 0 in z
1.335 * [taylor]: Taking taylor expansion of 0 in z
1.335 * [taylor]: Taking taylor expansion of 0 in z
1.335 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1.335 * [approximate]: Taking taylor expansion of (- (pow z 2) (* t a)) in (z t a) around 0
1.335 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in a
1.335 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.335 * [taylor]: Taking taylor expansion of z in a
1.335 * [taylor]: Taking taylor expansion of (* t a) in a
1.336 * [taylor]: Taking taylor expansion of t in a
1.336 * [taylor]: Taking taylor expansion of a in a
1.336 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in t
1.336 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.336 * [taylor]: Taking taylor expansion of z in t
1.336 * [taylor]: Taking taylor expansion of (* t a) in t
1.336 * [taylor]: Taking taylor expansion of t in t
1.336 * [taylor]: Taking taylor expansion of a in t
1.336 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
1.336 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.336 * [taylor]: Taking taylor expansion of z in z
1.336 * [taylor]: Taking taylor expansion of (* t a) in z
1.336 * [taylor]: Taking taylor expansion of t in z
1.336 * [taylor]: Taking taylor expansion of a in z
1.336 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
1.336 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.336 * [taylor]: Taking taylor expansion of z in z
1.336 * [taylor]: Taking taylor expansion of (* t a) in z
1.336 * [taylor]: Taking taylor expansion of t in z
1.336 * [taylor]: Taking taylor expansion of a in z
1.336 * [taylor]: Taking taylor expansion of (neg (* t a)) in t
1.336 * [taylor]: Taking taylor expansion of (* t a) in t
1.336 * [taylor]: Taking taylor expansion of t in t
1.336 * [taylor]: Taking taylor expansion of a in t
1.336 * [taylor]: Taking taylor expansion of 0 in a
1.336 * [taylor]: Taking taylor expansion of 0 in t
1.336 * [taylor]: Taking taylor expansion of 0 in a
1.336 * [taylor]: Taking taylor expansion of (neg a) in a
1.336 * [taylor]: Taking taylor expansion of a in a
1.336 * [taylor]: Taking taylor expansion of 1 in t
1.336 * [taylor]: Taking taylor expansion of 1 in a
1.336 * [taylor]: Taking taylor expansion of 0 in a
1.337 * [taylor]: Taking taylor expansion of 0 in a
1.337 * [taylor]: Taking taylor expansion of 0 in t
1.337 * [taylor]: Taking taylor expansion of 0 in a
1.337 * [taylor]: Taking taylor expansion of 0 in a
1.337 * [taylor]: Taking taylor expansion of 0 in a
1.337 * [taylor]: Taking taylor expansion of 0 in a
1.337 * [approximate]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in (z t a) around 0
1.337 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
1.337 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.337 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.337 * [taylor]: Taking taylor expansion of z in a
1.337 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.337 * [taylor]: Taking taylor expansion of (* t a) in a
1.337 * [taylor]: Taking taylor expansion of t in a
1.337 * [taylor]: Taking taylor expansion of a in a
1.337 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
1.337 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.338 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.338 * [taylor]: Taking taylor expansion of z in t
1.338 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.338 * [taylor]: Taking taylor expansion of (* t a) in t
1.338 * [taylor]: Taking taylor expansion of t in t
1.338 * [taylor]: Taking taylor expansion of a in t
1.338 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.338 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.338 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.338 * [taylor]: Taking taylor expansion of z in z
1.338 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.338 * [taylor]: Taking taylor expansion of (* t a) in z
1.338 * [taylor]: Taking taylor expansion of t in z
1.338 * [taylor]: Taking taylor expansion of a in z
1.338 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.338 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.338 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.338 * [taylor]: Taking taylor expansion of z in z
1.338 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.338 * [taylor]: Taking taylor expansion of (* t a) in z
1.338 * [taylor]: Taking taylor expansion of t in z
1.338 * [taylor]: Taking taylor expansion of a in z
1.338 * [taylor]: Taking taylor expansion of 1 in t
1.338 * [taylor]: Taking taylor expansion of 0 in t
1.338 * [taylor]: Taking taylor expansion of 1 in a
1.338 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t a))) in t
1.339 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.339 * [taylor]: Taking taylor expansion of (* t a) in t
1.339 * [taylor]: Taking taylor expansion of t in t
1.339 * [taylor]: Taking taylor expansion of a in t
1.339 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
1.339 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.339 * [taylor]: Taking taylor expansion of a in a
1.339 * [taylor]: Taking taylor expansion of 0 in a
1.339 * [taylor]: Taking taylor expansion of 0 in a
1.339 * [taylor]: Taking taylor expansion of 0 in t
1.339 * [taylor]: Taking taylor expansion of 0 in a
1.339 * [taylor]: Taking taylor expansion of 0 in a
1.339 * [taylor]: Taking taylor expansion of 0 in a
1.340 * [taylor]: Taking taylor expansion of 0 in t
1.340 * [taylor]: Taking taylor expansion of 0 in a
1.340 * [taylor]: Taking taylor expansion of 0 in a
1.340 * [taylor]: Taking taylor expansion of 0 in a
1.340 * [taylor]: Taking taylor expansion of 0 in a
1.340 * [approximate]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in (z t a) around 0
1.340 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
1.340 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.340 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.340 * [taylor]: Taking taylor expansion of z in a
1.340 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.340 * [taylor]: Taking taylor expansion of (* t a) in a
1.340 * [taylor]: Taking taylor expansion of t in a
1.340 * [taylor]: Taking taylor expansion of a in a
1.341 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
1.341 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.341 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.341 * [taylor]: Taking taylor expansion of z in t
1.341 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.341 * [taylor]: Taking taylor expansion of (* t a) in t
1.341 * [taylor]: Taking taylor expansion of t in t
1.341 * [taylor]: Taking taylor expansion of a in t
1.341 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.341 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.341 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.341 * [taylor]: Taking taylor expansion of z in z
1.341 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.341 * [taylor]: Taking taylor expansion of (* t a) in z
1.341 * [taylor]: Taking taylor expansion of t in z
1.341 * [taylor]: Taking taylor expansion of a in z
1.341 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.341 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.341 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.341 * [taylor]: Taking taylor expansion of z in z
1.341 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.341 * [taylor]: Taking taylor expansion of (* t a) in z
1.341 * [taylor]: Taking taylor expansion of t in z
1.341 * [taylor]: Taking taylor expansion of a in z
1.341 * [taylor]: Taking taylor expansion of 1 in t
1.341 * [taylor]: Taking taylor expansion of 0 in t
1.341 * [taylor]: Taking taylor expansion of 1 in a
1.342 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t a))) in t
1.342 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.342 * [taylor]: Taking taylor expansion of (* t a) in t
1.342 * [taylor]: Taking taylor expansion of t in t
1.342 * [taylor]: Taking taylor expansion of a in t
1.342 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
1.342 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.342 * [taylor]: Taking taylor expansion of a in a
1.342 * [taylor]: Taking taylor expansion of 0 in a
1.342 * [taylor]: Taking taylor expansion of 0 in a
1.342 * [taylor]: Taking taylor expansion of 0 in t
1.342 * [taylor]: Taking taylor expansion of 0 in a
1.342 * [taylor]: Taking taylor expansion of 0 in a
1.342 * [taylor]: Taking taylor expansion of 0 in a
1.343 * [taylor]: Taking taylor expansion of 0 in t
1.343 * [taylor]: Taking taylor expansion of 0 in a
1.343 * [taylor]: Taking taylor expansion of 0 in a
1.343 * [taylor]: Taking taylor expansion of 0 in a
1.343 * [taylor]: Taking taylor expansion of 0 in a
1.343 * * * [progress]: simplifying candidates
1.344 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (exp.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (*.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (sqrt.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))) (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (sqrt.f64 (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (sqrt.f64 1)
  (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))
  (sqrt.f64 (-.f64 (pow.f64 (*.f64 z z) 3) (pow.f64 (*.f64 t a) 3)))
  (sqrt.f64 (+.f64 (*.f64 (*.f64 z z) (*.f64 z z)) (+.f64 (*.f64 (*.f64 t a) (*.f64 t a)) (*.f64 (*.f64 z z) (*.f64 t a)))))
  (sqrt.f64 (-.f64 (*.f64 (*.f64 z z) (*.f64 z z)) (*.f64 (*.f64 t a) (*.f64 t a))))
  (sqrt.f64 (+.f64 (*.f64 z z) (*.f64 t a)))
  (/.f64 1 2)
  (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (-.f64 (+.f64 (+.f64 (log.f64 x) (log.f64 y)) (log.f64 z)) (log.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (-.f64 (+.f64 (log.f64 (*.f64 x y)) (log.f64 z)) (log.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (-.f64 (log.f64 (*.f64 (*.f64 x y) z)) (log.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (log.f64 (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (exp.f64 (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 y y) y)) (*.f64 (*.f64 z z) z)) (*.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 x y)) (*.f64 (*.f64 z z) z)) (*.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 x y) z) (*.f64 (*.f64 x y) z)) (*.f64 (*.f64 x y) z)) (*.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))) (cbrt.f64 (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))))
  (cbrt.f64 (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (*.f64 (*.f64 (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))) (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (sqrt.f64 (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (sqrt.f64 (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (neg.f64 (*.f64 (*.f64 x y) z))
  (neg.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (/.f64 (*.f64 x y) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))))
  (/.f64 z (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (/.f64 (*.f64 x y) (sqrt.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))) (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))))
  (/.f64 z (sqrt.f64 (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (/.f64 (*.f64 x y) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (/.f64 z (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (/.f64 (*.f64 x y) (sqrt.f64 1))
  (/.f64 z (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (/.f64 (*.f64 x y) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (/.f64 z (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (/.f64 (*.f64 x y) 1)
  (/.f64 z (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (/.f64 1 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))) (*.f64 (*.f64 x y) z))
  (/.f64 (*.f64 (*.f64 x y) z) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))))
  (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))) (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))))
  (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 1))
  (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (/.f64 (*.f64 (*.f64 x y) z) 1)
  (/.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))) z)
  (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 (-.f64 (pow.f64 (*.f64 z z) 3) (pow.f64 (*.f64 t a) 3))))
  (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 (-.f64 (*.f64 (*.f64 z z) (*.f64 z z)) (*.f64 (*.f64 t a) (*.f64 t a)))))
  (*.f64 (*.f64 x y) z)
  (*.f64 (*.f64 x y) z)
  (+.f64 (+.f64 (log.f64 x) (log.f64 y)) (log.f64 z))
  (+.f64 (log.f64 (*.f64 x y)) (log.f64 z))
  (log.f64 (*.f64 (*.f64 x y) z))
  (exp.f64 (*.f64 (*.f64 x y) z))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 y y) y)) (*.f64 (*.f64 z z) z))
  (*.f64 (*.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 x y)) (*.f64 (*.f64 z z) z))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 x y) z)) (cbrt.f64 (*.f64 (*.f64 x y) z)))
  (cbrt.f64 (*.f64 (*.f64 x y) z))
  (*.f64 (*.f64 (*.f64 (*.f64 x y) z) (*.f64 (*.f64 x y) z)) (*.f64 (*.f64 x y) z))
  (sqrt.f64 (*.f64 (*.f64 x y) z))
  (sqrt.f64 (*.f64 (*.f64 x y) z))
  (*.f64 (*.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (*.f64 (*.f64 x y) (sqrt.f64 z))
  (*.f64 (*.f64 x y) 1)
  (*.f64 y z)
  (/.f64 (exp.f64 (*.f64 z z)) (exp.f64 (*.f64 t a)))
  (log.f64 (-.f64 (*.f64 z z) (*.f64 t a)))
  (exp.f64 (-.f64 (*.f64 z z) (*.f64 t a)))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))) (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))
  (*.f64 (*.f64 (-.f64 (*.f64 z z) (*.f64 t a)) (-.f64 (*.f64 z z) (*.f64 t a))) (-.f64 (*.f64 z z) (*.f64 t a)))
  (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))
  (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))
  (-.f64 (pow.f64 (*.f64 z z) 3) (pow.f64 (*.f64 t a) 3))
  (+.f64 (*.f64 (*.f64 z z) (*.f64 z z)) (+.f64 (*.f64 (*.f64 t a) (*.f64 t a)) (*.f64 (*.f64 z z) (*.f64 t a))))
  (neg.f64 (*.f64 t a))
  (-.f64 (*.f64 (*.f64 z z) (*.f64 z z)) (*.f64 (*.f64 t a) (*.f64 t a)))
  (+.f64 (*.f64 z z) (*.f64 t a))
  (-.f64 (*.f64 a (*.f64 NAN.f64 t)) (*.f64 1/2 (*.f64 NAN.f64 (pow.f64 z 2))))
  (-.f64 z (*.f64 1/2 (/.f64 (*.f64 a t) z)))
  (-.f64 (*.f64 1/2 (/.f64 (*.f64 a t) z)) z)
  0
  (*.f64 x y)
  (*.f64 -1 (*.f64 x y))
  0
  (*.f64 x (*.f64 z y))
  (*.f64 x (*.f64 z y))
  (-.f64 (pow.f64 z 2) (*.f64 a t))
  (-.f64 (pow.f64 z 2) (*.f64 a t))
  (-.f64 (pow.f64 z 2) (*.f64 a t))
1.400 * * [simplify]: iteration  0 :  5309  enodes  (cost  1466 )
1.407 * [simplify]: Simplified to:
   (log.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (exp.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (pow.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))) 3)
  (fabs.f64 (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (sqrt.f64 (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  1
  (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))
  (sqrt.f64 (-.f64 (pow.f64 z 6) (pow.f64 (*.f64 t a) 3)))
  (sqrt.f64 (+.f64 (pow.f64 z 4) (*.f64 t (*.f64 a (+.f64 (*.f64 z z) (*.f64 t a))))))
  (sqrt.f64 (-.f64 (pow.f64 z 4) (*.f64 (*.f64 t a) (*.f64 t a))))
  (sqrt.f64 (+.f64 (*.f64 z z) (*.f64 t a)))
  1/2
  (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (log.f64 (/.f64 (*.f64 z (*.f64 x y)) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (log.f64 (/.f64 (*.f64 z (*.f64 x y)) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (log.f64 (/.f64 (*.f64 z (*.f64 x y)) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (log.f64 (/.f64 (*.f64 z (*.f64 x y)) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (exp.f64 (/.f64 (*.f64 z (*.f64 x y)) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (pow.f64 (/.f64 (*.f64 z (*.f64 x y)) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) 3)
  (pow.f64 (/.f64 (*.f64 z (*.f64 x y)) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) 3)
  (pow.f64 (/.f64 (*.f64 z (*.f64 x y)) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) 3)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 z (*.f64 x y)) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))) (cbrt.f64 (/.f64 (*.f64 z (*.f64 x y)) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))))
  (cbrt.f64 (/.f64 (*.f64 z (*.f64 x y)) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (pow.f64 (/.f64 (*.f64 z (*.f64 x y)) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) 3)
  (sqrt.f64 (/.f64 (*.f64 z (*.f64 x y)) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (sqrt.f64 (/.f64 (*.f64 z (*.f64 x y)) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (neg.f64 (*.f64 z (*.f64 x y)))
  (neg.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (/.f64 (*.f64 x y) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))))
  (/.f64 z (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (/.f64 (*.f64 x y) (fabs.f64 (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (/.f64 z (sqrt.f64 (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (/.f64 (*.f64 x y) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (/.f64 z (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (*.f64 x y)
  (/.f64 z (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (/.f64 (*.f64 x y) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (/.f64 z (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))
  (*.f64 x y)
  (/.f64 z (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (/.f64 1 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))) (*.f64 z (*.f64 x y)))
  (*.f64 z (/.f64 (*.f64 x y) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))))))
  (*.f64 z (/.f64 (*.f64 x y) (fabs.f64 (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))))
  (*.f64 z (/.f64 (*.f64 x y) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))))
  (*.f64 z (*.f64 x y))
  (*.f64 z (/.f64 (*.f64 x y) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))))
  (*.f64 z (*.f64 x y))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))) z)
  (/.f64 (*.f64 z (*.f64 x y)) (sqrt.f64 (-.f64 (pow.f64 z 6) (pow.f64 (*.f64 t a) 3))))
  (/.f64 (*.f64 z (*.f64 x y)) (sqrt.f64 (-.f64 (pow.f64 z 4) (*.f64 (*.f64 t a) (*.f64 t a)))))
  (*.f64 z (*.f64 x y))
  (*.f64 z (*.f64 x y))
  (log.f64 (*.f64 z (*.f64 x y)))
  (log.f64 (*.f64 z (*.f64 x y)))
  (log.f64 (*.f64 z (*.f64 x y)))
  (exp.f64 (*.f64 z (*.f64 x y)))
  (pow.f64 (*.f64 z (*.f64 x y)) 3)
  (pow.f64 (*.f64 z (*.f64 x y)) 3)
  (*.f64 (cbrt.f64 (*.f64 z (*.f64 x y))) (cbrt.f64 (*.f64 z (*.f64 x y))))
  (cbrt.f64 (*.f64 z (*.f64 x y)))
  (pow.f64 (*.f64 z (*.f64 x y)) 3)
  (sqrt.f64 (*.f64 z (*.f64 x y)))
  (sqrt.f64 (*.f64 z (*.f64 x y)))
  (*.f64 (*.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (*.f64 (*.f64 x y) (sqrt.f64 z))
  (*.f64 x y)
  (*.f64 z y)
  (exp.f64 (-.f64 (*.f64 z z) (*.f64 t a)))
  (log.f64 (-.f64 (*.f64 z z) (*.f64 t a)))
  (exp.f64 (-.f64 (*.f64 z z) (*.f64 t a)))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))) (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))
  (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))
  (pow.f64 (-.f64 (*.f64 z z) (*.f64 t a)) 3)
  (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))
  (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))
  (-.f64 (pow.f64 z 6) (pow.f64 (*.f64 t a) 3))
  (+.f64 (pow.f64 z 4) (*.f64 t (*.f64 a (+.f64 (*.f64 z z) (*.f64 t a)))))
  (neg.f64 (*.f64 t a))
  (-.f64 (pow.f64 z 4) (*.f64 (*.f64 t a) (*.f64 t a)))
  (+.f64 (*.f64 z z) (*.f64 t a))
  (*.f64 (NAN.f64) (-.f64 (*.f64 t a) (*.f64 (*.f64 z z) 1/2)))
  (-.f64 z (*.f64 1/2 (/.f64 (*.f64 t a) z)))
  (-.f64 (*.f64 1/2 (/.f64 (*.f64 t a) z)) z)
  0
  (*.f64 x y)
  (neg.f64 (*.f64 x y))
  0
  (*.f64 z (*.f64 x y))
  (*.f64 z (*.f64 x y))
  (-.f64 (*.f64 z z) (*.f64 t a))
  (-.f64 (*.f64 z z) (*.f64 t a))
  (-.f64 (*.f64 z z) (*.f64 t a))
1.407 * * * [progress]: adding candidates to table