9.223 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 1.244 * * * [progress]: [2/2] Setting up program. 1.251 * [progress]: [Phase 2 of 3] Improving. 1.251 * [simplify]: Simplifying using # : (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) 1.314 * * [simplify]: iteration 0 : 806 enodes (cost 21 ) 1.314 * * [simplify]: iteration 1 : 806 enodes (cost 21 ) 1.315 * [simplify]: Simplified to: (/.f64 (*.f64 (*.f64 x y) z) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) 1.315 * * [progress]: iteration 1 / 4 1.315 * * * [progress]: picking best candidate 1.322 * * * * [pick]: Picked # 1.322 * * * [progress]: localizing error 1.338 * * * [progress]: generating rewritten candidates 1.338 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.342 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 1.352 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.357 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1.362 * * * [progress]: generating series expansions 1.363 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.363 * [approximate]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in (z t a) around 0 1.363 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in a 1.363 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in a 1.363 * [taylor]: Taking taylor expansion of (pow z 2) in a 1.363 * [taylor]: Taking taylor expansion of z in a 1.363 * [taylor]: Taking taylor expansion of (* t a) in a 1.363 * [taylor]: Taking taylor expansion of t in a 1.363 * [taylor]: Taking taylor expansion of a in a 1.365 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in t 1.365 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in t 1.365 * [taylor]: Taking taylor expansion of (pow z 2) in t 1.365 * [taylor]: Taking taylor expansion of z in t 1.365 * [taylor]: Taking taylor expansion of (* t a) in t 1.365 * [taylor]: Taking taylor expansion of t in t 1.365 * [taylor]: Taking taylor expansion of a in t 1.366 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in z 1.366 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z 1.366 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.366 * [taylor]: Taking taylor expansion of z in z 1.366 * [taylor]: Taking taylor expansion of (* t a) in z 1.366 * [taylor]: Taking taylor expansion of t in z 1.366 * [taylor]: Taking taylor expansion of a in z 1.368 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in z 1.368 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z 1.368 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.368 * [taylor]: Taking taylor expansion of z in z 1.368 * [taylor]: Taking taylor expansion of (* t a) in z 1.368 * [taylor]: Taking taylor expansion of t in z 1.368 * [taylor]: Taking taylor expansion of a in z 1.369 * [taylor]: Taking taylor expansion of (sqrt (neg (* t a))) in t 1.369 * [taylor]: Taking taylor expansion of (neg (* t a)) in t 1.369 * [taylor]: Taking taylor expansion of (* t a) in t 1.369 * [taylor]: Taking taylor expansion of t in t 1.369 * [taylor]: Taking taylor expansion of a in t 1.370 * [taylor]: Taking taylor expansion of 0 in a 1.370 * [taylor]: Taking taylor expansion of 0 in t 1.370 * [taylor]: Taking taylor expansion of 0 in a 1.370 * [taylor]: Taking taylor expansion of (* NAN a) in a 1.370 * [taylor]: Taking taylor expansion of NAN in a 1.370 * [taylor]: Taking taylor expansion of a in a 1.371 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (neg (* t a)))) in t 1.371 * [taylor]: Taking taylor expansion of 1/2 in t 1.371 * [taylor]: Taking taylor expansion of (sqrt (neg (* t a))) in t 1.371 * [taylor]: Taking taylor expansion of (neg (* t a)) in t 1.371 * [taylor]: Taking taylor expansion of (* t a) in t 1.371 * [taylor]: Taking taylor expansion of t in t 1.371 * [taylor]: Taking taylor expansion of a in t 1.374 * [taylor]: Taking taylor expansion of (neg (* 1/2 NAN)) in a 1.374 * [taylor]: Taking taylor expansion of (* 1/2 NAN) in a 1.374 * [taylor]: Taking taylor expansion of 1/2 in a 1.374 * [taylor]: Taking taylor expansion of NAN in a 1.374 * [taylor]: Taking taylor expansion of 0 in a 1.375 * [taylor]: Taking taylor expansion of (* NAN (* (pow a 2) (pow NAN 2))) in a 1.375 * [taylor]: Taking taylor expansion of NAN in a 1.375 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow NAN 2)) in a 1.375 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.375 * [taylor]: Taking taylor expansion of a in a 1.375 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 1.375 * [taylor]: Taking taylor expansion of NAN in a 1.377 * [taylor]: Taking taylor expansion of 0 in t 1.377 * [taylor]: Taking taylor expansion of 0 in a 1.380 * [taylor]: Taking taylor expansion of 0 in a 1.380 * [taylor]: Taking taylor expansion of 0 in a 1.381 * [taylor]: Taking taylor expansion of (* NAN (* (pow a 3) (pow NAN 4))) in a 1.381 * [taylor]: Taking taylor expansion of NAN in a 1.381 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow NAN 4)) in a 1.381 * [taylor]: Taking taylor expansion of (pow a 3) in a 1.381 * [taylor]: Taking taylor expansion of a in a 1.381 * [taylor]: Taking taylor expansion of (pow NAN 4) in a 1.381 * [taylor]: Taking taylor expansion of NAN in a 1.383 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in (z t a) around 0 1.383 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a 1.383 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a 1.383 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a 1.383 * [taylor]: Taking taylor expansion of (pow z 2) in a 1.383 * [taylor]: Taking taylor expansion of z in a 1.384 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 1.384 * [taylor]: Taking taylor expansion of (* t a) in a 1.384 * [taylor]: Taking taylor expansion of t in a 1.384 * [taylor]: Taking taylor expansion of a in a 1.385 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t 1.385 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t 1.385 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t 1.385 * [taylor]: Taking taylor expansion of (pow z 2) in t 1.385 * [taylor]: Taking taylor expansion of z in t 1.385 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.385 * [taylor]: Taking taylor expansion of (* t a) in t 1.385 * [taylor]: Taking taylor expansion of t in t 1.385 * [taylor]: Taking taylor expansion of a in t 1.386 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z 1.386 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z 1.386 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.386 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.386 * [taylor]: Taking taylor expansion of z in z 1.386 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 1.386 * [taylor]: Taking taylor expansion of (* t a) in z 1.386 * [taylor]: Taking taylor expansion of t in z 1.386 * [taylor]: Taking taylor expansion of a in z 1.388 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z 1.388 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z 1.388 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.388 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.388 * [taylor]: Taking taylor expansion of z in z 1.388 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 1.388 * [taylor]: Taking taylor expansion of (* t a) in z 1.388 * [taylor]: Taking taylor expansion of t in z 1.388 * [taylor]: Taking taylor expansion of a in z 1.389 * [taylor]: Taking taylor expansion of 1 in t 1.389 * [taylor]: Taking taylor expansion of 0 in t 1.389 * [taylor]: Taking taylor expansion of 1 in a 1.391 * [taylor]: Taking taylor expansion of (/ -1/2 (* t a)) in t 1.391 * [taylor]: Taking taylor expansion of -1/2 in t 1.391 * [taylor]: Taking taylor expansion of (* t a) in t 1.391 * [taylor]: Taking taylor expansion of t in t 1.391 * [taylor]: Taking taylor expansion of a in t 1.391 * [taylor]: Taking taylor expansion of (/ -1/2 a) in a 1.391 * [taylor]: Taking taylor expansion of -1/2 in a 1.391 * [taylor]: Taking taylor expansion of a in a 1.391 * [taylor]: Taking taylor expansion of 0 in a 1.391 * [taylor]: Taking taylor expansion of 0 in a 1.393 * [taylor]: Taking taylor expansion of 0 in t 1.394 * [taylor]: Taking taylor expansion of 0 in a 1.394 * [taylor]: Taking taylor expansion of 0 in a 1.394 * [taylor]: Taking taylor expansion of 0 in a 1.397 * [taylor]: Taking taylor expansion of (/ -1/8 (* (pow t 2) (pow a 2))) in t 1.397 * [taylor]: Taking taylor expansion of -1/8 in t 1.397 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow a 2)) in t 1.397 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.397 * [taylor]: Taking taylor expansion of t in t 1.397 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.397 * [taylor]: Taking taylor expansion of a in t 1.403 * [taylor]: Taking taylor expansion of 0 in a 1.403 * [taylor]: Taking taylor expansion of 0 in a 1.404 * [taylor]: Taking taylor expansion of 0 in a 1.404 * [taylor]: Taking taylor expansion of 0 in a 1.404 * [taylor]: Taking taylor expansion of 0 in a 1.407 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in (z t a) around 0 1.407 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a 1.407 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a 1.407 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a 1.407 * [taylor]: Taking taylor expansion of (pow z 2) in a 1.407 * [taylor]: Taking taylor expansion of z in a 1.407 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 1.407 * [taylor]: Taking taylor expansion of (* t a) in a 1.407 * [taylor]: Taking taylor expansion of t in a 1.407 * [taylor]: Taking taylor expansion of a in a 1.408 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t 1.408 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t 1.408 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t 1.408 * [taylor]: Taking taylor expansion of (pow z 2) in t 1.408 * [taylor]: Taking taylor expansion of z in t 1.408 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.408 * [taylor]: Taking taylor expansion of (* t a) in t 1.408 * [taylor]: Taking taylor expansion of t in t 1.408 * [taylor]: Taking taylor expansion of a in t 1.409 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z 1.409 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z 1.409 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.409 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.409 * [taylor]: Taking taylor expansion of z in z 1.410 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 1.410 * [taylor]: Taking taylor expansion of (* t a) in z 1.410 * [taylor]: Taking taylor expansion of t in z 1.410 * [taylor]: Taking taylor expansion of a in z 1.411 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z 1.411 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z 1.411 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.411 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.411 * [taylor]: Taking taylor expansion of z in z 1.411 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 1.411 * [taylor]: Taking taylor expansion of (* t a) in z 1.411 * [taylor]: Taking taylor expansion of t in z 1.411 * [taylor]: Taking taylor expansion of a in z 1.412 * [taylor]: Taking taylor expansion of 1 in t 1.412 * [taylor]: Taking taylor expansion of 0 in t 1.412 * [taylor]: Taking taylor expansion of 1 in a 1.413 * [taylor]: Taking taylor expansion of (/ -1/2 (* t a)) in t 1.413 * [taylor]: Taking taylor expansion of -1/2 in t 1.413 * [taylor]: Taking taylor expansion of (* t a) in t 1.413 * [taylor]: Taking taylor expansion of t in t 1.413 * [taylor]: Taking taylor expansion of a in t 1.414 * [taylor]: Taking taylor expansion of (/ -1/2 a) in a 1.414 * [taylor]: Taking taylor expansion of -1/2 in a 1.414 * [taylor]: Taking taylor expansion of a in a 1.414 * [taylor]: Taking taylor expansion of 0 in a 1.414 * [taylor]: Taking taylor expansion of 0 in a 1.416 * [taylor]: Taking taylor expansion of 0 in t 1.417 * [taylor]: Taking taylor expansion of 0 in a 1.417 * [taylor]: Taking taylor expansion of 0 in a 1.417 * [taylor]: Taking taylor expansion of 0 in a 1.419 * [taylor]: Taking taylor expansion of (/ -1/8 (* (pow t 2) (pow a 2))) in t 1.420 * [taylor]: Taking taylor expansion of -1/8 in t 1.420 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow a 2)) in t 1.420 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.420 * [taylor]: Taking taylor expansion of t in t 1.420 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.420 * [taylor]: Taking taylor expansion of a in t 1.421 * [taylor]: Taking taylor expansion of 0 in a 1.421 * [taylor]: Taking taylor expansion of 0 in a 1.422 * [taylor]: Taking taylor expansion of 0 in a 1.422 * [taylor]: Taking taylor expansion of 0 in a 1.422 * [taylor]: Taking taylor expansion of 0 in a 1.423 * * * * [progress]: [ 2 / 4 ] generating series at (2) 1.424 * [approximate]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in (x y z t a) around 0 1.424 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in a 1.424 * [taylor]: Taking taylor expansion of (* x (* z y)) in a 1.424 * [taylor]: Taking taylor expansion of x in a 1.424 * [taylor]: Taking taylor expansion of (* z y) in a 1.424 * [taylor]: Taking taylor expansion of z in a 1.424 * [taylor]: Taking taylor expansion of y in a 1.424 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in a 1.424 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in a 1.424 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in a 1.424 * [taylor]: Taking taylor expansion of (pow z 2) in a 1.424 * [taylor]: Taking taylor expansion of z in a 1.424 * [taylor]: Taking taylor expansion of (* t a) in a 1.424 * [taylor]: Taking taylor expansion of t in a 1.424 * [taylor]: Taking taylor expansion of a in a 1.426 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in t 1.426 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 1.426 * [taylor]: Taking taylor expansion of x in t 1.426 * [taylor]: Taking taylor expansion of (* z y) in t 1.426 * [taylor]: Taking taylor expansion of z in t 1.426 * [taylor]: Taking taylor expansion of y in t 1.426 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in t 1.426 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in t 1.426 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in t 1.426 * [taylor]: Taking taylor expansion of (pow z 2) in t 1.426 * [taylor]: Taking taylor expansion of z in t 1.426 * [taylor]: Taking taylor expansion of (* t a) in t 1.426 * [taylor]: Taking taylor expansion of t in t 1.426 * [taylor]: Taking taylor expansion of a in t 1.428 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in z 1.428 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 1.428 * [taylor]: Taking taylor expansion of x in z 1.428 * [taylor]: Taking taylor expansion of (* z y) in z 1.429 * [taylor]: Taking taylor expansion of z in z 1.429 * [taylor]: Taking taylor expansion of y in z 1.429 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in z 1.429 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in z 1.429 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z 1.429 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.429 * [taylor]: Taking taylor expansion of z in z 1.429 * [taylor]: Taking taylor expansion of (* t a) in z 1.429 * [taylor]: Taking taylor expansion of t in z 1.429 * [taylor]: Taking taylor expansion of a in z 1.430 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in y 1.430 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 1.430 * [taylor]: Taking taylor expansion of x in y 1.430 * [taylor]: Taking taylor expansion of (* z y) in y 1.430 * [taylor]: Taking taylor expansion of z in y 1.430 * [taylor]: Taking taylor expansion of y in y 1.430 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in y 1.430 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in y 1.430 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in y 1.430 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.430 * [taylor]: Taking taylor expansion of z in y 1.430 * [taylor]: Taking taylor expansion of (* t a) in y 1.430 * [taylor]: Taking taylor expansion of t in y 1.430 * [taylor]: Taking taylor expansion of a in y 1.433 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in x 1.433 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 1.433 * [taylor]: Taking taylor expansion of x in x 1.433 * [taylor]: Taking taylor expansion of (* z y) in x 1.433 * [taylor]: Taking taylor expansion of z in x 1.433 * [taylor]: Taking taylor expansion of y in x 1.433 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in x 1.433 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in x 1.433 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in x 1.433 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.433 * [taylor]: Taking taylor expansion of z in x 1.433 * [taylor]: Taking taylor expansion of (* t a) in x 1.433 * [taylor]: Taking taylor expansion of t in x 1.433 * [taylor]: Taking taylor expansion of a in x 1.436 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in x 1.436 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 1.436 * [taylor]: Taking taylor expansion of x in x 1.436 * [taylor]: Taking taylor expansion of (* z y) in x 1.436 * [taylor]: Taking taylor expansion of z in x 1.436 * [taylor]: Taking taylor expansion of y in x 1.436 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in x 1.436 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in x 1.436 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in x 1.436 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.436 * [taylor]: Taking taylor expansion of z in x 1.436 * [taylor]: Taking taylor expansion of (* t a) in x 1.436 * [taylor]: Taking taylor expansion of t in x 1.436 * [taylor]: Taking taylor expansion of a in x 1.439 * [taylor]: Taking taylor expansion of 0 in y 1.439 * [taylor]: Taking taylor expansion of 0 in z 1.439 * [taylor]: Taking taylor expansion of 0 in t 1.439 * [taylor]: Taking taylor expansion of 0 in a 1.440 * [taylor]: Taking taylor expansion of (* (* z y) (sqrt (/ 1 (- (pow z 2) (* t a))))) in y 1.440 * [taylor]: Taking taylor expansion of (* z y) in y 1.440 * [taylor]: Taking taylor expansion of z in y 1.440 * [taylor]: Taking taylor expansion of y in y 1.440 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in y 1.440 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in y 1.440 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in y 1.440 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.440 * [taylor]: Taking taylor expansion of z in y 1.440 * [taylor]: Taking taylor expansion of (* t a) in y 1.440 * [taylor]: Taking taylor expansion of t in y 1.440 * [taylor]: Taking taylor expansion of a in y 1.443 * [taylor]: Taking taylor expansion of 0 in z 1.443 * [taylor]: Taking taylor expansion of 0 in t 1.443 * [taylor]: Taking taylor expansion of 0 in a 1.443 * [taylor]: Taking taylor expansion of 0 in z 1.443 * [taylor]: Taking taylor expansion of 0 in t 1.443 * [taylor]: Taking taylor expansion of 0 in a 1.443 * [taylor]: Taking taylor expansion of 0 in t 1.444 * [taylor]: Taking taylor expansion of 0 in a 1.444 * [taylor]: Taking taylor expansion of 0 in a 1.445 * [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.445 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in a 1.445 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a 1.445 * [taylor]: Taking taylor expansion of (* x (* z y)) in a 1.445 * [taylor]: Taking taylor expansion of x in a 1.445 * [taylor]: Taking taylor expansion of (* z y) in a 1.445 * [taylor]: Taking taylor expansion of z in a 1.445 * [taylor]: Taking taylor expansion of y in a 1.445 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in a 1.445 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a 1.445 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a 1.445 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a 1.445 * [taylor]: Taking taylor expansion of (pow z 2) in a 1.445 * [taylor]: Taking taylor expansion of z in a 1.445 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 1.445 * [taylor]: Taking taylor expansion of (* t a) in a 1.445 * [taylor]: Taking taylor expansion of t in a 1.445 * [taylor]: Taking taylor expansion of a in a 1.446 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in t 1.446 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t 1.446 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 1.446 * [taylor]: Taking taylor expansion of x in t 1.446 * [taylor]: Taking taylor expansion of (* z y) in t 1.446 * [taylor]: Taking taylor expansion of z in t 1.446 * [taylor]: Taking taylor expansion of y in t 1.447 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in t 1.447 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t 1.447 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t 1.447 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t 1.447 * [taylor]: Taking taylor expansion of (pow z 2) in t 1.447 * [taylor]: Taking taylor expansion of z in t 1.447 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.447 * [taylor]: Taking taylor expansion of (* t a) in t 1.447 * [taylor]: Taking taylor expansion of t in t 1.447 * [taylor]: Taking taylor expansion of a in t 1.448 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in z 1.448 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 1.448 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 1.448 * [taylor]: Taking taylor expansion of x in z 1.448 * [taylor]: Taking taylor expansion of (* z y) in z 1.448 * [taylor]: Taking taylor expansion of z in z 1.448 * [taylor]: Taking taylor expansion of y in z 1.449 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z 1.449 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z 1.449 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z 1.449 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.449 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.449 * [taylor]: Taking taylor expansion of z in z 1.449 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 1.449 * [taylor]: Taking taylor expansion of (* t a) in z 1.449 * [taylor]: Taking taylor expansion of t in z 1.449 * [taylor]: Taking taylor expansion of a in z 1.450 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in y 1.450 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 1.450 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 1.450 * [taylor]: Taking taylor expansion of x in y 1.450 * [taylor]: Taking taylor expansion of (* z y) in y 1.450 * [taylor]: Taking taylor expansion of z in y 1.450 * [taylor]: Taking taylor expansion of y in y 1.451 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y 1.451 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y 1.451 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y 1.451 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 1.451 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.451 * [taylor]: Taking taylor expansion of z in y 1.451 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 1.451 * [taylor]: Taking taylor expansion of (* t a) in y 1.451 * [taylor]: Taking taylor expansion of t in y 1.451 * [taylor]: Taking taylor expansion of a in y 1.455 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in x 1.455 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 1.455 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 1.455 * [taylor]: Taking taylor expansion of x in x 1.455 * [taylor]: Taking taylor expansion of (* z y) in x 1.455 * [taylor]: Taking taylor expansion of z in x 1.455 * [taylor]: Taking taylor expansion of y in x 1.456 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in x 1.456 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in x 1.456 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in x 1.456 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 1.456 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.456 * [taylor]: Taking taylor expansion of z in x 1.456 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 1.456 * [taylor]: Taking taylor expansion of (* t a) in x 1.456 * [taylor]: Taking taylor expansion of t in x 1.456 * [taylor]: Taking taylor expansion of a in x 1.460 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in x 1.460 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 1.460 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 1.460 * [taylor]: Taking taylor expansion of x in x 1.460 * [taylor]: Taking taylor expansion of (* z y) in x 1.460 * [taylor]: Taking taylor expansion of z in x 1.460 * [taylor]: Taking taylor expansion of y in x 1.461 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in x 1.461 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in x 1.461 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in x 1.461 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 1.461 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.461 * [taylor]: Taking taylor expansion of z in x 1.461 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 1.461 * [taylor]: Taking taylor expansion of (* t a) in x 1.461 * [taylor]: Taking taylor expansion of t in x 1.461 * [taylor]: Taking taylor expansion of a in x 1.466 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in y 1.466 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y 1.466 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y 1.466 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y 1.466 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 1.466 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.466 * [taylor]: Taking taylor expansion of z in y 1.466 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 1.466 * [taylor]: Taking taylor expansion of (* t a) in y 1.466 * [taylor]: Taking taylor expansion of t in y 1.466 * [taylor]: Taking taylor expansion of a in y 1.471 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.471 * [taylor]: Taking taylor expansion of (* z y) in y 1.471 * [taylor]: Taking taylor expansion of z in y 1.471 * [taylor]: Taking taylor expansion of y in y 1.472 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 z)) in z 1.472 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z 1.472 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z 1.472 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z 1.472 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.472 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.472 * [taylor]: Taking taylor expansion of z in z 1.472 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 1.472 * [taylor]: Taking taylor expansion of (* t a) in z 1.472 * [taylor]: Taking taylor expansion of t in z 1.472 * [taylor]: Taking taylor expansion of a in z 1.473 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.473 * [taylor]: Taking taylor expansion of z in z 1.473 * [taylor]: Taking taylor expansion of 1 in t 1.473 * [taylor]: Taking taylor expansion of 1 in a 1.475 * [taylor]: Taking taylor expansion of 0 in y 1.476 * [taylor]: Taking taylor expansion of 0 in z 1.476 * [taylor]: Taking taylor expansion of 0 in t 1.476 * [taylor]: Taking taylor expansion of 0 in a 1.477 * [taylor]: Taking taylor expansion of 0 in t 1.477 * [taylor]: Taking taylor expansion of 0 in a 1.477 * [taylor]: Taking taylor expansion of 0 in a 1.483 * [taylor]: Taking taylor expansion of 0 in y 1.483 * [taylor]: Taking taylor expansion of 0 in z 1.483 * [taylor]: Taking taylor expansion of 0 in t 1.483 * [taylor]: Taking taylor expansion of 0 in a 1.488 * [taylor]: Taking taylor expansion of 0 in z 1.488 * [taylor]: Taking taylor expansion of 0 in t 1.488 * [taylor]: Taking taylor expansion of 0 in a 1.490 * [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.490 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in a 1.490 * [taylor]: Taking taylor expansion of -1 in a 1.490 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in a 1.490 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a 1.490 * [taylor]: Taking taylor expansion of (* x (* z y)) in a 1.490 * [taylor]: Taking taylor expansion of x in a 1.490 * [taylor]: Taking taylor expansion of (* z y) in a 1.490 * [taylor]: Taking taylor expansion of z in a 1.490 * [taylor]: Taking taylor expansion of y in a 1.490 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in a 1.490 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a 1.490 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a 1.490 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a 1.490 * [taylor]: Taking taylor expansion of (pow z 2) in a 1.490 * [taylor]: Taking taylor expansion of z in a 1.491 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 1.491 * [taylor]: Taking taylor expansion of (* t a) in a 1.491 * [taylor]: Taking taylor expansion of t in a 1.491 * [taylor]: Taking taylor expansion of a in a 1.492 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in t 1.492 * [taylor]: Taking taylor expansion of -1 in t 1.492 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in t 1.492 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t 1.492 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 1.492 * [taylor]: Taking taylor expansion of x in t 1.492 * [taylor]: Taking taylor expansion of (* z y) in t 1.492 * [taylor]: Taking taylor expansion of z in t 1.492 * [taylor]: Taking taylor expansion of y in t 1.492 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in t 1.492 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t 1.492 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t 1.492 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t 1.492 * [taylor]: Taking taylor expansion of (pow z 2) in t 1.492 * [taylor]: Taking taylor expansion of z in t 1.492 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.492 * [taylor]: Taking taylor expansion of (* t a) in t 1.492 * [taylor]: Taking taylor expansion of t in t 1.492 * [taylor]: Taking taylor expansion of a in t 1.493 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in z 1.493 * [taylor]: Taking taylor expansion of -1 in z 1.493 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in z 1.493 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 1.493 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 1.493 * [taylor]: Taking taylor expansion of x in z 1.493 * [taylor]: Taking taylor expansion of (* z y) in z 1.493 * [taylor]: Taking taylor expansion of z in z 1.493 * [taylor]: Taking taylor expansion of y in z 1.494 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z 1.494 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z 1.494 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z 1.494 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.494 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.494 * [taylor]: Taking taylor expansion of z in z 1.494 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 1.494 * [taylor]: Taking taylor expansion of (* t a) in z 1.494 * [taylor]: Taking taylor expansion of t in z 1.494 * [taylor]: Taking taylor expansion of a in z 1.495 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in y 1.495 * [taylor]: Taking taylor expansion of -1 in y 1.495 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in y 1.495 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 1.495 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 1.495 * [taylor]: Taking taylor expansion of x in y 1.495 * [taylor]: Taking taylor expansion of (* z y) in y 1.495 * [taylor]: Taking taylor expansion of z in y 1.495 * [taylor]: Taking taylor expansion of y in y 1.496 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y 1.496 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y 1.496 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y 1.496 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 1.496 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.496 * [taylor]: Taking taylor expansion of z in y 1.496 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 1.496 * [taylor]: Taking taylor expansion of (* t a) in y 1.496 * [taylor]: Taking taylor expansion of t in y 1.496 * [taylor]: Taking taylor expansion of a in y 1.500 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in x 1.500 * [taylor]: Taking taylor expansion of -1 in x 1.500 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in x 1.500 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 1.500 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 1.500 * [taylor]: Taking taylor expansion of x in x 1.500 * [taylor]: Taking taylor expansion of (* z y) in x 1.500 * [taylor]: Taking taylor expansion of z in x 1.500 * [taylor]: Taking taylor expansion of y in x 1.501 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in x 1.501 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in x 1.501 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in x 1.501 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 1.501 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.501 * [taylor]: Taking taylor expansion of z in x 1.501 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 1.501 * [taylor]: Taking taylor expansion of (* t a) in x 1.501 * [taylor]: Taking taylor expansion of t in x 1.501 * [taylor]: Taking taylor expansion of a in x 1.506 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in x 1.506 * [taylor]: Taking taylor expansion of -1 in x 1.506 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in x 1.506 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 1.506 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 1.506 * [taylor]: Taking taylor expansion of x in x 1.506 * [taylor]: Taking taylor expansion of (* z y) in x 1.506 * [taylor]: Taking taylor expansion of z in x 1.506 * [taylor]: Taking taylor expansion of y in x 1.507 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in x 1.507 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in x 1.507 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in x 1.507 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 1.507 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.507 * [taylor]: Taking taylor expansion of z in x 1.507 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 1.507 * [taylor]: Taking taylor expansion of (* t a) in x 1.507 * [taylor]: Taking taylor expansion of t in x 1.507 * [taylor]: Taking taylor expansion of a in x 1.512 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y)))) in y 1.512 * [taylor]: Taking taylor expansion of -1 in y 1.512 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in y 1.512 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y 1.512 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y 1.512 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y 1.512 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 1.512 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.512 * [taylor]: Taking taylor expansion of z in y 1.513 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 1.513 * [taylor]: Taking taylor expansion of (* t a) in y 1.513 * [taylor]: Taking taylor expansion of t in y 1.513 * [taylor]: Taking taylor expansion of a in y 1.517 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.517 * [taylor]: Taking taylor expansion of (* z y) in y 1.517 * [taylor]: Taking taylor expansion of z in y 1.517 * [taylor]: Taking taylor expansion of y in y 1.518 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 z))) in z 1.519 * [taylor]: Taking taylor expansion of -1 in z 1.519 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 z)) in z 1.519 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z 1.519 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z 1.519 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z 1.519 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.519 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.519 * [taylor]: Taking taylor expansion of z in z 1.519 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 1.519 * [taylor]: Taking taylor expansion of (* t a) in z 1.519 * [taylor]: Taking taylor expansion of t in z 1.519 * [taylor]: Taking taylor expansion of a in z 1.520 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.520 * [taylor]: Taking taylor expansion of z in z 1.520 * [taylor]: Taking taylor expansion of -1 in t 1.520 * [taylor]: Taking taylor expansion of -1 in a 1.523 * [taylor]: Taking taylor expansion of 0 in y 1.524 * [taylor]: Taking taylor expansion of 0 in z 1.524 * [taylor]: Taking taylor expansion of 0 in t 1.524 * [taylor]: Taking taylor expansion of 0 in a 1.525 * [taylor]: Taking taylor expansion of 0 in t 1.525 * [taylor]: Taking taylor expansion of 0 in a 1.525 * [taylor]: Taking taylor expansion of 0 in a 1.531 * [taylor]: Taking taylor expansion of 0 in y 1.531 * [taylor]: Taking taylor expansion of 0 in z 1.531 * [taylor]: Taking taylor expansion of 0 in t 1.532 * [taylor]: Taking taylor expansion of 0 in a 1.537 * [taylor]: Taking taylor expansion of 0 in z 1.537 * [taylor]: Taking taylor expansion of 0 in t 1.537 * [taylor]: Taking taylor expansion of 0 in a 1.538 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.538 * [approximate]: Taking taylor expansion of (* x (* z y)) in (x y z) around 0 1.538 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 1.538 * [taylor]: Taking taylor expansion of x in z 1.538 * [taylor]: Taking taylor expansion of (* z y) in z 1.538 * [taylor]: Taking taylor expansion of z in z 1.538 * [taylor]: Taking taylor expansion of y in z 1.538 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 1.538 * [taylor]: Taking taylor expansion of x in y 1.538 * [taylor]: Taking taylor expansion of (* z y) in y 1.538 * [taylor]: Taking taylor expansion of z in y 1.538 * [taylor]: Taking taylor expansion of y in y 1.538 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 1.538 * [taylor]: Taking taylor expansion of x in x 1.538 * [taylor]: Taking taylor expansion of (* z y) in x 1.539 * [taylor]: Taking taylor expansion of z in x 1.539 * [taylor]: Taking taylor expansion of y in x 1.539 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 1.539 * [taylor]: Taking taylor expansion of x in x 1.539 * [taylor]: Taking taylor expansion of (* z y) in x 1.539 * [taylor]: Taking taylor expansion of z in x 1.539 * [taylor]: Taking taylor expansion of y in x 1.539 * [taylor]: Taking taylor expansion of 0 in y 1.539 * [taylor]: Taking taylor expansion of 0 in z 1.539 * [taylor]: Taking taylor expansion of (* z y) in y 1.539 * [taylor]: Taking taylor expansion of z in y 1.539 * [taylor]: Taking taylor expansion of y in y 1.539 * [taylor]: Taking taylor expansion of 0 in z 1.539 * [taylor]: Taking taylor expansion of 0 in z 1.540 * [taylor]: Taking taylor expansion of 0 in y 1.540 * [taylor]: Taking taylor expansion of 0 in z 1.540 * [taylor]: Taking taylor expansion of z in z 1.541 * [approximate]: Taking taylor expansion of (/ 1 (* x (* z y))) in (x y z) around 0 1.541 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 1.541 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 1.541 * [taylor]: Taking taylor expansion of x in z 1.541 * [taylor]: Taking taylor expansion of (* z y) in z 1.541 * [taylor]: Taking taylor expansion of z in z 1.541 * [taylor]: Taking taylor expansion of y in z 1.541 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 1.541 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 1.541 * [taylor]: Taking taylor expansion of x in y 1.541 * [taylor]: Taking taylor expansion of (* z y) in y 1.542 * [taylor]: Taking taylor expansion of z in y 1.542 * [taylor]: Taking taylor expansion of y in y 1.542 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 1.542 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 1.542 * [taylor]: Taking taylor expansion of x in x 1.542 * [taylor]: Taking taylor expansion of (* z y) in x 1.542 * [taylor]: Taking taylor expansion of z in x 1.542 * [taylor]: Taking taylor expansion of y in x 1.543 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 1.543 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 1.543 * [taylor]: Taking taylor expansion of x in x 1.543 * [taylor]: Taking taylor expansion of (* z y) in x 1.543 * [taylor]: Taking taylor expansion of z in x 1.543 * [taylor]: Taking taylor expansion of y in x 1.544 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.544 * [taylor]: Taking taylor expansion of (* z y) in y 1.544 * [taylor]: Taking taylor expansion of z in y 1.544 * [taylor]: Taking taylor expansion of y in y 1.544 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.544 * [taylor]: Taking taylor expansion of z in z 1.545 * [taylor]: Taking taylor expansion of 0 in y 1.546 * [taylor]: Taking taylor expansion of 0 in z 1.548 * [taylor]: Taking taylor expansion of 0 in y 1.548 * [taylor]: Taking taylor expansion of 0 in z 1.549 * [taylor]: Taking taylor expansion of 0 in z 1.551 * [taylor]: Taking taylor expansion of 0 in y 1.551 * [taylor]: Taking taylor expansion of 0 in z 1.551 * [taylor]: Taking taylor expansion of 0 in z 1.552 * [taylor]: Taking taylor expansion of 0 in z 1.553 * [approximate]: Taking taylor expansion of (/ -1 (* x (* z y))) in (x y z) around 0 1.553 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in z 1.553 * [taylor]: Taking taylor expansion of -1 in z 1.553 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 1.553 * [taylor]: Taking taylor expansion of x in z 1.553 * [taylor]: Taking taylor expansion of (* z y) in z 1.553 * [taylor]: Taking taylor expansion of z in z 1.553 * [taylor]: Taking taylor expansion of y in z 1.554 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in y 1.554 * [taylor]: Taking taylor expansion of -1 in y 1.554 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 1.554 * [taylor]: Taking taylor expansion of x in y 1.554 * [taylor]: Taking taylor expansion of (* z y) in y 1.554 * [taylor]: Taking taylor expansion of z in y 1.554 * [taylor]: Taking taylor expansion of y in y 1.555 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in x 1.555 * [taylor]: Taking taylor expansion of -1 in x 1.555 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 1.555 * [taylor]: Taking taylor expansion of x in x 1.555 * [taylor]: Taking taylor expansion of (* z y) in x 1.555 * [taylor]: Taking taylor expansion of z in x 1.555 * [taylor]: Taking taylor expansion of y in x 1.556 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in x 1.556 * [taylor]: Taking taylor expansion of -1 in x 1.556 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 1.556 * [taylor]: Taking taylor expansion of x in x 1.556 * [taylor]: Taking taylor expansion of (* z y) in x 1.556 * [taylor]: Taking taylor expansion of z in x 1.556 * [taylor]: Taking taylor expansion of y in x 1.557 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in y 1.557 * [taylor]: Taking taylor expansion of -1 in y 1.557 * [taylor]: Taking taylor expansion of (* z y) in y 1.557 * [taylor]: Taking taylor expansion of z in y 1.557 * [taylor]: Taking taylor expansion of y in y 1.557 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.557 * [taylor]: Taking taylor expansion of -1 in z 1.557 * [taylor]: Taking taylor expansion of z in z 1.558 * [taylor]: Taking taylor expansion of 0 in y 1.559 * [taylor]: Taking taylor expansion of 0 in z 1.561 * [taylor]: Taking taylor expansion of 0 in y 1.561 * [taylor]: Taking taylor expansion of 0 in z 1.562 * [taylor]: Taking taylor expansion of 0 in z 1.564 * [taylor]: Taking taylor expansion of 0 in y 1.564 * [taylor]: Taking taylor expansion of 0 in z 1.564 * [taylor]: Taking taylor expansion of 0 in z 1.565 * [taylor]: Taking taylor expansion of 0 in z 1.566 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1.567 * [approximate]: Taking taylor expansion of (- (pow z 2) (* t a)) in (z t a) around 0 1.567 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in a 1.567 * [taylor]: Taking taylor expansion of (pow z 2) in a 1.567 * [taylor]: Taking taylor expansion of z in a 1.567 * [taylor]: Taking taylor expansion of (* t a) in a 1.567 * [taylor]: Taking taylor expansion of t in a 1.567 * [taylor]: Taking taylor expansion of a in a 1.567 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in t 1.567 * [taylor]: Taking taylor expansion of (pow z 2) in t 1.567 * [taylor]: Taking taylor expansion of z in t 1.567 * [taylor]: Taking taylor expansion of (* t a) in t 1.567 * [taylor]: Taking taylor expansion of t in t 1.567 * [taylor]: Taking taylor expansion of a in t 1.567 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z 1.567 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.567 * [taylor]: Taking taylor expansion of z in z 1.567 * [taylor]: Taking taylor expansion of (* t a) in z 1.567 * [taylor]: Taking taylor expansion of t in z 1.567 * [taylor]: Taking taylor expansion of a in z 1.567 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z 1.567 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.567 * [taylor]: Taking taylor expansion of z in z 1.567 * [taylor]: Taking taylor expansion of (* t a) in z 1.567 * [taylor]: Taking taylor expansion of t in z 1.567 * [taylor]: Taking taylor expansion of a in z 1.568 * [taylor]: Taking taylor expansion of (neg (* t a)) in t 1.568 * [taylor]: Taking taylor expansion of (* t a) in t 1.568 * [taylor]: Taking taylor expansion of t in t 1.568 * [taylor]: Taking taylor expansion of a in t 1.568 * [taylor]: Taking taylor expansion of 0 in a 1.568 * [taylor]: Taking taylor expansion of 0 in t 1.568 * [taylor]: Taking taylor expansion of 0 in a 1.569 * [taylor]: Taking taylor expansion of (neg a) in a 1.569 * [taylor]: Taking taylor expansion of a in a 1.569 * [taylor]: Taking taylor expansion of 1 in t 1.569 * [taylor]: Taking taylor expansion of 1 in a 1.569 * [taylor]: Taking taylor expansion of 0 in a 1.570 * [taylor]: Taking taylor expansion of 0 in a 1.570 * [taylor]: Taking taylor expansion of 0 in t 1.570 * [taylor]: Taking taylor expansion of 0 in a 1.571 * [taylor]: Taking taylor expansion of 0 in a 1.571 * [taylor]: Taking taylor expansion of 0 in a 1.571 * [taylor]: Taking taylor expansion of 0 in a 1.572 * [approximate]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in (z t a) around 0 1.572 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a 1.572 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a 1.572 * [taylor]: Taking taylor expansion of (pow z 2) in a 1.572 * [taylor]: Taking taylor expansion of z in a 1.573 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 1.573 * [taylor]: Taking taylor expansion of (* t a) in a 1.573 * [taylor]: Taking taylor expansion of t in a 1.573 * [taylor]: Taking taylor expansion of a in a 1.573 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t 1.573 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t 1.573 * [taylor]: Taking taylor expansion of (pow z 2) in t 1.573 * [taylor]: Taking taylor expansion of z in t 1.573 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.573 * [taylor]: Taking taylor expansion of (* t a) in t 1.573 * [taylor]: Taking taylor expansion of t in t 1.573 * [taylor]: Taking taylor expansion of a in t 1.574 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z 1.574 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.574 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.574 * [taylor]: Taking taylor expansion of z in z 1.574 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 1.574 * [taylor]: Taking taylor expansion of (* t a) in z 1.574 * [taylor]: Taking taylor expansion of t in z 1.574 * [taylor]: Taking taylor expansion of a in z 1.574 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z 1.574 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.574 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.574 * [taylor]: Taking taylor expansion of z in z 1.574 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 1.574 * [taylor]: Taking taylor expansion of (* t a) in z 1.574 * [taylor]: Taking taylor expansion of t in z 1.574 * [taylor]: Taking taylor expansion of a in z 1.575 * [taylor]: Taking taylor expansion of 1 in t 1.575 * [taylor]: Taking taylor expansion of 0 in t 1.575 * [taylor]: Taking taylor expansion of 1 in a 1.578 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t a))) in t 1.578 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.578 * [taylor]: Taking taylor expansion of (* t a) in t 1.578 * [taylor]: Taking taylor expansion of t in t 1.578 * [taylor]: Taking taylor expansion of a in t 1.579 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 1.579 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.579 * [taylor]: Taking taylor expansion of a in a 1.579 * [taylor]: Taking taylor expansion of 0 in a 1.579 * [taylor]: Taking taylor expansion of 0 in a 1.581 * [taylor]: Taking taylor expansion of 0 in t 1.581 * [taylor]: Taking taylor expansion of 0 in a 1.581 * [taylor]: Taking taylor expansion of 0 in a 1.581 * [taylor]: Taking taylor expansion of 0 in a 1.584 * [taylor]: Taking taylor expansion of 0 in t 1.584 * [taylor]: Taking taylor expansion of 0 in a 1.585 * [taylor]: Taking taylor expansion of 0 in a 1.585 * [taylor]: Taking taylor expansion of 0 in a 1.585 * [taylor]: Taking taylor expansion of 0 in a 1.587 * [approximate]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in (z t a) around 0 1.587 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a 1.587 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a 1.587 * [taylor]: Taking taylor expansion of (pow z 2) in a 1.587 * [taylor]: Taking taylor expansion of z in a 1.587 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 1.587 * [taylor]: Taking taylor expansion of (* t a) in a 1.587 * [taylor]: Taking taylor expansion of t in a 1.587 * [taylor]: Taking taylor expansion of a in a 1.588 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t 1.588 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t 1.588 * [taylor]: Taking taylor expansion of (pow z 2) in t 1.588 * [taylor]: Taking taylor expansion of z in t 1.588 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.588 * [taylor]: Taking taylor expansion of (* t a) in t 1.588 * [taylor]: Taking taylor expansion of t in t 1.588 * [taylor]: Taking taylor expansion of a in t 1.589 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z 1.589 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.589 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.589 * [taylor]: Taking taylor expansion of z in z 1.589 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 1.589 * [taylor]: Taking taylor expansion of (* t a) in z 1.589 * [taylor]: Taking taylor expansion of t in z 1.589 * [taylor]: Taking taylor expansion of a in z 1.589 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z 1.589 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.589 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.589 * [taylor]: Taking taylor expansion of z in z 1.590 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 1.590 * [taylor]: Taking taylor expansion of (* t a) in z 1.590 * [taylor]: Taking taylor expansion of t in z 1.590 * [taylor]: Taking taylor expansion of a in z 1.590 * [taylor]: Taking taylor expansion of 1 in t 1.591 * [taylor]: Taking taylor expansion of 0 in t 1.591 * [taylor]: Taking taylor expansion of 1 in a 1.592 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t a))) in t 1.592 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.592 * [taylor]: Taking taylor expansion of (* t a) in t 1.592 * [taylor]: Taking taylor expansion of t in t 1.592 * [taylor]: Taking taylor expansion of a in t 1.592 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 1.592 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.592 * [taylor]: Taking taylor expansion of a in a 1.592 * [taylor]: Taking taylor expansion of 0 in a 1.592 * [taylor]: Taking taylor expansion of 0 in a 1.594 * [taylor]: Taking taylor expansion of 0 in t 1.595 * [taylor]: Taking taylor expansion of 0 in a 1.595 * [taylor]: Taking taylor expansion of 0 in a 1.595 * [taylor]: Taking taylor expansion of 0 in a 1.597 * [taylor]: Taking taylor expansion of 0 in t 1.597 * [taylor]: Taking taylor expansion of 0 in a 1.598 * [taylor]: Taking taylor expansion of 0 in a 1.598 * [taylor]: Taking taylor expansion of 0 in a 1.598 * [taylor]: Taking taylor expansion of 0 in a 1.600 * * * [progress]: simplifying candidates 1.601 * [simplify]: Simplifying using # : (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (/.f64 1 2) (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))) (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 1) (sqrt.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 (*.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)))) (*.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 (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)))) (exp.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (log.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (/.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 (*.f64 x y) z) (sqrt.f64 (-.f64 (pow.f64 (*.f64 z z) 3) (pow.f64 (*.f64 t a) 3)))) (/.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))) z) (/.f64 (*.f64 (*.f64 x y) z) 1) (/.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) (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) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (cbrt.f64 (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 1 (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 (*.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) (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) (*.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))))) (neg.f64 (*.f64 (*.f64 x y) z)) (neg.f64 (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))))) (*.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))))) (*.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) (*.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 (*.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 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))))) (exp.f64 (/.f64 (*.f64 (*.f64 x y) z) (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))))) (-.f64 (log.f64 (*.f64 (*.f64 x y) 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 (+.f64 (+.f64 (log.f64 x) (log.f64 y)) (log.f64 z)) (log.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))) (*.f64 y z) (*.f64 (*.f64 x y) 1) (*.f64 (*.f64 x y) (sqrt.f64 z)) (*.f64 (*.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (sqrt.f64 (*.f64 (*.f64 x y) z)) (sqrt.f64 (*.f64 (*.f64 x y) z)) (*.f64 (*.f64 (*.f64 (*.f64 x y) z) (*.f64 (*.f64 x y) z)) (*.f64 (*.f64 x y) 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) (*.f64 x y)) (*.f64 x y)) (*.f64 (*.f64 z z) z)) (*.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 y y) y)) (*.f64 (*.f64 z z) z)) (exp.f64 (*.f64 (*.f64 x y) z)) (log.f64 (*.f64 (*.f64 x y) z)) (+.f64 (log.f64 (*.f64 x y)) (log.f64 z)) (+.f64 (+.f64 (log.f64 x) (log.f64 y)) (log.f64 z)) (*.f64 (*.f64 x y) z) (*.f64 (*.f64 x y) z) (-.f64 (*.f64 (*.f64 z z) (*.f64 z z)) (*.f64 (*.f64 t a) (*.f64 t a))) (+.f64 (*.f64 z z) (*.f64 t a)) (neg.f64 (*.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)))) (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))) (sqrt.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))) (*.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))) (exp.f64 (-.f64 (*.f64 z z) (*.f64 t a))) (log.f64 (-.f64 (*.f64 z z) (*.f64 t a))) (/.f64 (exp.f64 (*.f64 z z)) (exp.f64 (*.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.658 * * [simplify]: iteration 0 : 5019 enodes (cost 1466 ) 1.665 * [simplify]: Simplified to: (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) 1/2 (sqrt.f64 (-.f64 (pow.f64 z 4) (*.f64 (*.f64 t a) (*.f64 t a)))) (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 (*.f64 t a) (+.f64 (*.f64 z z) (*.f64 t a))))) 1 (sqrt.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)))) (fabs.f64 (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (sqrt.f64 (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (pow.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))) 3) (*.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)))) (exp.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (log.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (/.f64 (*.f64 z (*.f64 x y)) (sqrt.f64 (-.f64 (pow.f64 z 4) (*.f64 (*.f64 t a) (*.f64 t a))))) (/.f64 (*.f64 z (*.f64 x y)) (sqrt.f64 (-.f64 (pow.f64 z 6) (pow.f64 (*.f64 t a) 3)))) (/.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))) z) (*.f64 z (*.f64 x y)) (/.f64 (*.f64 z (*.f64 x y)) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))) (*.f64 z (*.f64 x y)) (/.f64 (*.f64 z (*.f64 x y)) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))) (/.f64 (*.f64 z (*.f64 x y)) (fabs.f64 (cbrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))))) (/.f64 (*.f64 z (*.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 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a))) (*.f64 z (*.f64 x y))) (/.f64 1 (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 (*.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) (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) (*.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))))) (neg.f64 (*.f64 z (*.f64 x y))) (neg.f64 (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (sqrt.f64 (*.f64 (/.f64 z (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (*.f64 x y))) (sqrt.f64 (*.f64 (/.f64 z (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (*.f64 x y))) (pow.f64 (*.f64 (/.f64 z (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (*.f64 x y)) 3) (*.f64 (cbrt.f64 (*.f64 (/.f64 z (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (*.f64 x y))) (cbrt.f64 (*.f64 (/.f64 z (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (*.f64 x y)))) (cbrt.f64 (*.f64 (/.f64 z (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (*.f64 x y))) (pow.f64 (*.f64 (/.f64 z (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (*.f64 x y)) 3) (pow.f64 (*.f64 (/.f64 z (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (*.f64 x y)) 3) (pow.f64 (*.f64 (/.f64 z (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (*.f64 x y)) 3) (exp.f64 (*.f64 (/.f64 z (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (*.f64 x y))) (log.f64 (*.f64 (/.f64 z (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (*.f64 x y))) (log.f64 (*.f64 (/.f64 z (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (*.f64 x y))) (log.f64 (*.f64 (/.f64 z (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (*.f64 x y))) (log.f64 (*.f64 (/.f64 z (sqrt.f64 (-.f64 (*.f64 z z) (*.f64 t a)))) (*.f64 x y))) (*.f64 z y) (*.f64 x y) (*.f64 (*.f64 x y) (sqrt.f64 z)) (*.f64 (*.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (sqrt.f64 (*.f64 z (*.f64 x y))) (sqrt.f64 (*.f64 z (*.f64 x y))) (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) (pow.f64 (*.f64 z (*.f64 x y)) 3) (exp.f64 (*.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))) (*.f64 z (*.f64 x y)) (*.f64 z (*.f64 x y)) (-.f64 (pow.f64 z 4) (*.f64 (*.f64 t a) (*.f64 t a))) (+.f64 (*.f64 z z) (*.f64 t a)) (neg.f64 (*.f64 t a)) (-.f64 (pow.f64 z 6) (pow.f64 (*.f64 t a) 3)) (+.f64 (pow.f64 z 4) (*.f64 (*.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))) (pow.f64 (-.f64 (*.f64 z z) (*.f64 t a)) 3) (*.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))) (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 (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.666 * * * [progress]: adding candidates to table