5.352 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.023 * [simplify]: Simplifying using # : (+ x (/ (* y (- z t)) (- z a))) 0.024 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.025 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 0.027 * * [simplify]: iteration 2 : 33 enodes (cost 11 ) 0.031 * * [simplify]: iteration 3 : 61 enodes (cost 10 ) 0.039 * * [simplify]: iteration 4 : 103 enodes (cost 10 ) 0.052 * * [simplify]: iteration 5 : 157 enodes (cost 10 ) 0.078 * * [simplify]: iteration 6 : 210 enodes (cost 10 ) 0.109 * * [simplify]: iteration 7 : 265 enodes (cost 10 ) 0.144 * * [simplify]: iteration 8 : 317 enodes (cost 10 ) 0.191 * * [simplify]: iteration 9 : 403 enodes (cost 10 ) 0.278 * * [simplify]: iteration 10 : 650 enodes (cost 10 ) 0.453 * * [simplify]: iteration 11 : 745 enodes (cost 10 ) 0.653 * * [simplify]: iteration 12 : 895 enodes (cost 10 ) 0.904 * * [simplify]: iteration 13 : 972 enodes (cost 10 ) 1.181 * * [simplify]: iteration 14 : 973 enodes (cost 10 ) 1.457 * * [simplify]: iteration done : 973 enodes (cost 10 ) 1.457 * [simplify]: Simplified to: (fma (/ y (- z a)) (- z t) x) 1.460 * * [progress]: iteration 1 / 4 1.460 * * * [progress]: picking best candidate 1.464 * * * * [pick]: Picked # 1.464 * * * [progress]: localizing error 1.472 * * * [progress]: generating rewritten candidates 1.472 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.472 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1.483 * * * [progress]: generating series expansions 1.483 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.483 * [approximate]: Taking taylor expansion of (fma (/ y (- z a)) (- z t) x) in (y z a t x) around 0 1.483 * [taylor]: Taking taylor expansion of (fma (/ y (- z a)) (- z t) x) in x 1.483 * [taylor]: Rewrote expression to (+ (* (/ y (- z a)) (- z t)) x) 1.483 * [taylor]: Taking taylor expansion of (* (/ y (- z a)) (- z t)) in x 1.483 * [taylor]: Taking taylor expansion of (/ y (- z a)) in x 1.483 * [taylor]: Taking taylor expansion of y in x 1.483 * [taylor]: Taking taylor expansion of (- z a) in x 1.483 * [taylor]: Taking taylor expansion of z in x 1.483 * [taylor]: Taking taylor expansion of a in x 1.483 * [taylor]: Taking taylor expansion of (- z t) in x 1.483 * [taylor]: Taking taylor expansion of z in x 1.483 * [taylor]: Taking taylor expansion of t in x 1.483 * [taylor]: Taking taylor expansion of x in x 1.483 * [taylor]: Taking taylor expansion of (fma (/ y (- z a)) (- z t) x) in t 1.483 * [taylor]: Rewrote expression to (+ (* (/ y (- z a)) (- z t)) x) 1.483 * [taylor]: Taking taylor expansion of (* (/ y (- z a)) (- z t)) in t 1.483 * [taylor]: Taking taylor expansion of (/ y (- z a)) in t 1.483 * [taylor]: Taking taylor expansion of y in t 1.483 * [taylor]: Taking taylor expansion of (- z a) in t 1.483 * [taylor]: Taking taylor expansion of z in t 1.483 * [taylor]: Taking taylor expansion of a in t 1.484 * [taylor]: Taking taylor expansion of (- z t) in t 1.484 * [taylor]: Taking taylor expansion of z in t 1.484 * [taylor]: Taking taylor expansion of t in t 1.484 * [taylor]: Taking taylor expansion of x in t 1.484 * [taylor]: Taking taylor expansion of (fma (/ y (- z a)) (- z t) x) in a 1.484 * [taylor]: Rewrote expression to (+ (* (/ y (- z a)) (- z t)) x) 1.484 * [taylor]: Taking taylor expansion of (* (/ y (- z a)) (- z t)) in a 1.484 * [taylor]: Taking taylor expansion of (/ y (- z a)) in a 1.484 * [taylor]: Taking taylor expansion of y in a 1.484 * [taylor]: Taking taylor expansion of (- z a) in a 1.484 * [taylor]: Taking taylor expansion of z in a 1.484 * [taylor]: Taking taylor expansion of a in a 1.484 * [taylor]: Taking taylor expansion of (- z t) in a 1.484 * [taylor]: Taking taylor expansion of z in a 1.484 * [taylor]: Taking taylor expansion of t in a 1.484 * [taylor]: Taking taylor expansion of x in a 1.485 * [taylor]: Taking taylor expansion of (fma (/ y (- z a)) (- z t) x) in z 1.485 * [taylor]: Rewrote expression to (+ (* (/ y (- z a)) (- z t)) x) 1.485 * [taylor]: Taking taylor expansion of (* (/ y (- z a)) (- z t)) in z 1.485 * [taylor]: Taking taylor expansion of (/ y (- z a)) in z 1.485 * [taylor]: Taking taylor expansion of y in z 1.485 * [taylor]: Taking taylor expansion of (- z a) in z 1.485 * [taylor]: Taking taylor expansion of z in z 1.485 * [taylor]: Taking taylor expansion of a in z 1.485 * [taylor]: Taking taylor expansion of (- z t) in z 1.485 * [taylor]: Taking taylor expansion of z in z 1.485 * [taylor]: Taking taylor expansion of t in z 1.485 * [taylor]: Taking taylor expansion of x in z 1.485 * [taylor]: Taking taylor expansion of (fma (/ y (- z a)) (- z t) x) in y 1.485 * [taylor]: Rewrote expression to (+ (* (/ y (- z a)) (- z t)) x) 1.485 * [taylor]: Taking taylor expansion of (* (/ y (- z a)) (- z t)) in y 1.485 * [taylor]: Taking taylor expansion of (/ y (- z a)) in y 1.485 * [taylor]: Taking taylor expansion of y in y 1.485 * [taylor]: Taking taylor expansion of (- z a) in y 1.485 * [taylor]: Taking taylor expansion of z in y 1.485 * [taylor]: Taking taylor expansion of a in y 1.485 * [taylor]: Taking taylor expansion of (- z t) in y 1.485 * [taylor]: Taking taylor expansion of z in y 1.485 * [taylor]: Taking taylor expansion of t in y 1.485 * [taylor]: Taking taylor expansion of x in y 1.485 * [taylor]: Taking taylor expansion of (fma (/ y (- z a)) (- z t) x) in y 1.485 * [taylor]: Rewrote expression to (+ (* (/ y (- z a)) (- z t)) x) 1.485 * [taylor]: Taking taylor expansion of (* (/ y (- z a)) (- z t)) in y 1.485 * [taylor]: Taking taylor expansion of (/ y (- z a)) in y 1.485 * [taylor]: Taking taylor expansion of y in y 1.485 * [taylor]: Taking taylor expansion of (- z a) in y 1.485 * [taylor]: Taking taylor expansion of z in y 1.485 * [taylor]: Taking taylor expansion of a in y 1.486 * [taylor]: Taking taylor expansion of (- z t) in y 1.486 * [taylor]: Taking taylor expansion of z in y 1.486 * [taylor]: Taking taylor expansion of t in y 1.486 * [taylor]: Taking taylor expansion of x in y 1.486 * [taylor]: Taking taylor expansion of x in z 1.486 * [taylor]: Taking taylor expansion of x in a 1.486 * [taylor]: Taking taylor expansion of x in t 1.486 * [taylor]: Taking taylor expansion of x in x 1.486 * [taylor]: Taking taylor expansion of (- (/ z (- z a)) (/ t (- z a))) in z 1.486 * [taylor]: Taking taylor expansion of (/ z (- z a)) in z 1.486 * [taylor]: Taking taylor expansion of z in z 1.486 * [taylor]: Taking taylor expansion of (- z a) in z 1.486 * [taylor]: Taking taylor expansion of z in z 1.486 * [taylor]: Taking taylor expansion of a in z 1.486 * [taylor]: Taking taylor expansion of (/ t (- z a)) in z 1.486 * [taylor]: Taking taylor expansion of t in z 1.486 * [taylor]: Taking taylor expansion of (- z a) in z 1.486 * [taylor]: Taking taylor expansion of z in z 1.486 * [taylor]: Taking taylor expansion of a in z 1.486 * [taylor]: Taking taylor expansion of (/ t a) in a 1.486 * [taylor]: Taking taylor expansion of t in a 1.486 * [taylor]: Taking taylor expansion of a in a 1.487 * [taylor]: Taking taylor expansion of 0 in t 1.487 * [taylor]: Taking taylor expansion of 0 in x 1.487 * [taylor]: Taking taylor expansion of 0 in a 1.487 * [taylor]: Taking taylor expansion of 0 in t 1.487 * [taylor]: Taking taylor expansion of 0 in x 1.487 * [taylor]: Taking taylor expansion of 0 in t 1.487 * [taylor]: Taking taylor expansion of 0 in x 1.487 * [taylor]: Taking taylor expansion of 0 in x 1.489 * [taylor]: Taking taylor expansion of 0 in z 1.489 * [taylor]: Taking taylor expansion of 0 in a 1.489 * [taylor]: Taking taylor expansion of 0 in t 1.489 * [taylor]: Taking taylor expansion of 0 in x 1.490 * [taylor]: Taking taylor expansion of (- (/ t (pow a 2)) (/ 1 a)) in a 1.490 * [taylor]: Taking taylor expansion of (/ t (pow a 2)) in a 1.490 * [taylor]: Taking taylor expansion of t in a 1.490 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.490 * [taylor]: Taking taylor expansion of a in a 1.490 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.490 * [taylor]: Taking taylor expansion of a in a 1.494 * [taylor]: Taking taylor expansion of 0 in t 1.494 * [taylor]: Taking taylor expansion of 0 in x 1.494 * [taylor]: Taking taylor expansion of 0 in a 1.494 * [taylor]: Taking taylor expansion of 0 in t 1.494 * [taylor]: Taking taylor expansion of 0 in x 1.495 * [taylor]: Taking taylor expansion of 0 in t 1.495 * [taylor]: Taking taylor expansion of 0 in x 1.495 * [taylor]: Taking taylor expansion of 0 in t 1.495 * [taylor]: Taking taylor expansion of 0 in x 1.495 * [taylor]: Taking taylor expansion of 0 in t 1.495 * [taylor]: Taking taylor expansion of 0 in x 1.495 * [approximate]: Taking taylor expansion of (fma (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in (y z a t x) around 0 1.495 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in x 1.496 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 1.496 * [taylor]: Taking taylor expansion of (* (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (- (/ 1 z) (/ 1 t))) in x 1.496 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) in x 1.496 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in x 1.496 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in x 1.496 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.496 * [taylor]: Taking taylor expansion of z in x 1.496 * [taylor]: Taking taylor expansion of (/ 1 a) in x 1.496 * [taylor]: Taking taylor expansion of a in x 1.496 * [taylor]: Taking taylor expansion of y in x 1.496 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 1.496 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.496 * [taylor]: Taking taylor expansion of z in x 1.496 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.496 * [taylor]: Taking taylor expansion of t in x 1.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.496 * [taylor]: Taking taylor expansion of x in x 1.497 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in t 1.497 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 1.497 * [taylor]: Taking taylor expansion of (* (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (- (/ 1 z) (/ 1 t))) in t 1.497 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) in t 1.497 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in t 1.497 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in t 1.497 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.497 * [taylor]: Taking taylor expansion of z in t 1.497 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.497 * [taylor]: Taking taylor expansion of a in t 1.497 * [taylor]: Taking taylor expansion of y in t 1.497 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 1.497 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.497 * [taylor]: Taking taylor expansion of z in t 1.497 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.497 * [taylor]: Taking taylor expansion of t in t 1.498 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.498 * [taylor]: Taking taylor expansion of x in t 1.498 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in a 1.498 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 1.498 * [taylor]: Taking taylor expansion of (* (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (- (/ 1 z) (/ 1 t))) in a 1.498 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) in a 1.498 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in a 1.498 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in a 1.498 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.498 * [taylor]: Taking taylor expansion of z in a 1.498 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.498 * [taylor]: Taking taylor expansion of a in a 1.498 * [taylor]: Taking taylor expansion of y in a 1.499 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 1.499 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.499 * [taylor]: Taking taylor expansion of z in a 1.499 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.499 * [taylor]: Taking taylor expansion of t in a 1.499 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.499 * [taylor]: Taking taylor expansion of x in a 1.499 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in z 1.499 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 1.499 * [taylor]: Taking taylor expansion of (* (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (- (/ 1 z) (/ 1 t))) in z 1.499 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) in z 1.499 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in z 1.499 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.499 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.499 * [taylor]: Taking taylor expansion of z in z 1.499 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.500 * [taylor]: Taking taylor expansion of a in z 1.500 * [taylor]: Taking taylor expansion of y in z 1.500 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.500 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.500 * [taylor]: Taking taylor expansion of z in z 1.500 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.500 * [taylor]: Taking taylor expansion of t in z 1.500 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.500 * [taylor]: Taking taylor expansion of x in z 1.500 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in y 1.500 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 1.500 * [taylor]: Taking taylor expansion of (* (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (- (/ 1 z) (/ 1 t))) in y 1.500 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) in y 1.500 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in y 1.501 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in y 1.501 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.501 * [taylor]: Taking taylor expansion of z in y 1.501 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.501 * [taylor]: Taking taylor expansion of a in y 1.501 * [taylor]: Taking taylor expansion of y in y 1.502 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.502 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.502 * [taylor]: Taking taylor expansion of z in y 1.502 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.502 * [taylor]: Taking taylor expansion of t in y 1.502 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.502 * [taylor]: Taking taylor expansion of x in y 1.502 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in y 1.502 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 1.502 * [taylor]: Taking taylor expansion of (* (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (- (/ 1 z) (/ 1 t))) in y 1.502 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) in y 1.502 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in y 1.502 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in y 1.502 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.502 * [taylor]: Taking taylor expansion of z in y 1.502 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.502 * [taylor]: Taking taylor expansion of a in y 1.502 * [taylor]: Taking taylor expansion of y in y 1.503 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.503 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.503 * [taylor]: Taking taylor expansion of z in y 1.503 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.503 * [taylor]: Taking taylor expansion of t in y 1.504 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.504 * [taylor]: Taking taylor expansion of x in y 1.504 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 z) (/ 1 a)) z)) (/ 1 (* t (- (/ 1 z) (/ 1 a))))) in z 1.504 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 a)) z)) in z 1.504 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) z) in z 1.504 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.504 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.504 * [taylor]: Taking taylor expansion of z in z 1.504 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.504 * [taylor]: Taking taylor expansion of a in z 1.505 * [taylor]: Taking taylor expansion of z in z 1.506 * [taylor]: Taking taylor expansion of (/ 1 (* t (- (/ 1 z) (/ 1 a)))) in z 1.506 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 a))) in z 1.506 * [taylor]: Taking taylor expansion of t in z 1.506 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.506 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.506 * [taylor]: Taking taylor expansion of z in z 1.507 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.507 * [taylor]: Taking taylor expansion of a in z 1.507 * [taylor]: Taking taylor expansion of 1 in a 1.507 * [taylor]: Taking taylor expansion of 1 in t 1.510 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.510 * [taylor]: Taking taylor expansion of x in z 1.510 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.510 * [taylor]: Taking taylor expansion of x in a 1.510 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.510 * [taylor]: Taking taylor expansion of x in t 1.512 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 t)) in a 1.512 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.512 * [taylor]: Taking taylor expansion of a in a 1.512 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.512 * [taylor]: Taking taylor expansion of t in a 1.513 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 1.513 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.513 * [taylor]: Taking taylor expansion of t in t 1.513 * [taylor]: Taking taylor expansion of -1 in x 1.513 * [taylor]: Taking taylor expansion of 0 in t 1.513 * [taylor]: Taking taylor expansion of 1 in x 1.516 * [taylor]: Taking taylor expansion of 0 in z 1.516 * [taylor]: Taking taylor expansion of 0 in a 1.516 * [taylor]: Taking taylor expansion of 0 in t 1.516 * [taylor]: Taking taylor expansion of 0 in a 1.516 * [taylor]: Taking taylor expansion of 0 in t 1.520 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (* t a))) in a 1.520 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.520 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.520 * [taylor]: Taking taylor expansion of a in a 1.520 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 1.520 * [taylor]: Taking taylor expansion of (* t a) in a 1.520 * [taylor]: Taking taylor expansion of t in a 1.521 * [taylor]: Taking taylor expansion of a in a 1.524 * [taylor]: Taking taylor expansion of 0 in t 1.524 * [taylor]: Taking taylor expansion of 0 in t 1.525 * [taylor]: Taking taylor expansion of 0 in t 1.526 * [taylor]: Taking taylor expansion of 0 in t 1.526 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.526 * [taylor]: Taking taylor expansion of x in x 1.527 * [taylor]: Taking taylor expansion of 0 in x 1.527 * [taylor]: Taking taylor expansion of 0 in x 1.527 * [taylor]: Taking taylor expansion of 0 in x 1.528 * [approximate]: Taking taylor expansion of (fma (/ -1 (* y (- (/ 1 a) (/ 1 z)))) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in (y z a t x) around 0 1.528 * [taylor]: Taking taylor expansion of (fma (/ -1 (* y (- (/ 1 a) (/ 1 z)))) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in x 1.528 * [taylor]: Rewrote expression to (+ (* (/ -1 (* y (- (/ 1 a) (/ 1 z)))) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 1.528 * [taylor]: Taking taylor expansion of (* (/ -1 (* y (- (/ 1 a) (/ 1 z)))) (- (/ 1 t) (/ 1 z))) in x 1.528 * [taylor]: Taking taylor expansion of (/ -1 (* y (- (/ 1 a) (/ 1 z)))) in x 1.528 * [taylor]: Taking taylor expansion of -1 in x 1.528 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in x 1.529 * [taylor]: Taking taylor expansion of y in x 1.529 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in x 1.529 * [taylor]: Taking taylor expansion of (/ 1 a) in x 1.529 * [taylor]: Taking taylor expansion of a in x 1.529 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.529 * [taylor]: Taking taylor expansion of z in x 1.529 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 1.529 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.529 * [taylor]: Taking taylor expansion of t in x 1.529 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.529 * [taylor]: Taking taylor expansion of z in x 1.529 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.529 * [taylor]: Taking taylor expansion of -1 in x 1.529 * [taylor]: Taking taylor expansion of x in x 1.530 * [taylor]: Taking taylor expansion of (fma (/ -1 (* y (- (/ 1 a) (/ 1 z)))) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in t 1.530 * [taylor]: Rewrote expression to (+ (* (/ -1 (* y (- (/ 1 a) (/ 1 z)))) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 1.530 * [taylor]: Taking taylor expansion of (* (/ -1 (* y (- (/ 1 a) (/ 1 z)))) (- (/ 1 t) (/ 1 z))) in t 1.530 * [taylor]: Taking taylor expansion of (/ -1 (* y (- (/ 1 a) (/ 1 z)))) in t 1.530 * [taylor]: Taking taylor expansion of -1 in t 1.530 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in t 1.530 * [taylor]: Taking taylor expansion of y in t 1.530 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in t 1.530 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.530 * [taylor]: Taking taylor expansion of a in t 1.530 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.530 * [taylor]: Taking taylor expansion of z in t 1.530 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 1.530 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.530 * [taylor]: Taking taylor expansion of t in t 1.530 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.531 * [taylor]: Taking taylor expansion of z in t 1.531 * [taylor]: Taking taylor expansion of (/ -1 x) in t 1.531 * [taylor]: Taking taylor expansion of -1 in t 1.531 * [taylor]: Taking taylor expansion of x in t 1.531 * [taylor]: Taking taylor expansion of (fma (/ -1 (* y (- (/ 1 a) (/ 1 z)))) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in a 1.531 * [taylor]: Rewrote expression to (+ (* (/ -1 (* y (- (/ 1 a) (/ 1 z)))) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 1.531 * [taylor]: Taking taylor expansion of (* (/ -1 (* y (- (/ 1 a) (/ 1 z)))) (- (/ 1 t) (/ 1 z))) in a 1.531 * [taylor]: Taking taylor expansion of (/ -1 (* y (- (/ 1 a) (/ 1 z)))) in a 1.531 * [taylor]: Taking taylor expansion of -1 in a 1.531 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in a 1.531 * [taylor]: Taking taylor expansion of y in a 1.531 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in a 1.531 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.531 * [taylor]: Taking taylor expansion of a in a 1.531 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.531 * [taylor]: Taking taylor expansion of z in a 1.532 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 1.532 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.532 * [taylor]: Taking taylor expansion of t in a 1.532 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.532 * [taylor]: Taking taylor expansion of z in a 1.532 * [taylor]: Taking taylor expansion of (/ -1 x) in a 1.532 * [taylor]: Taking taylor expansion of -1 in a 1.532 * [taylor]: Taking taylor expansion of x in a 1.532 * [taylor]: Taking taylor expansion of (fma (/ -1 (* y (- (/ 1 a) (/ 1 z)))) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in z 1.532 * [taylor]: Rewrote expression to (+ (* (/ -1 (* y (- (/ 1 a) (/ 1 z)))) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 1.532 * [taylor]: Taking taylor expansion of (* (/ -1 (* y (- (/ 1 a) (/ 1 z)))) (- (/ 1 t) (/ 1 z))) in z 1.532 * [taylor]: Taking taylor expansion of (/ -1 (* y (- (/ 1 a) (/ 1 z)))) in z 1.532 * [taylor]: Taking taylor expansion of -1 in z 1.532 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in z 1.532 * [taylor]: Taking taylor expansion of y in z 1.532 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.532 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.532 * [taylor]: Taking taylor expansion of a in z 1.532 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.532 * [taylor]: Taking taylor expansion of z in z 1.533 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.533 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.533 * [taylor]: Taking taylor expansion of t in z 1.533 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.533 * [taylor]: Taking taylor expansion of z in z 1.534 * [taylor]: Taking taylor expansion of (/ -1 x) in z 1.534 * [taylor]: Taking taylor expansion of -1 in z 1.534 * [taylor]: Taking taylor expansion of x in z 1.534 * [taylor]: Taking taylor expansion of (fma (/ -1 (* y (- (/ 1 a) (/ 1 z)))) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in y 1.534 * [taylor]: Rewrote expression to (+ (* (/ -1 (* y (- (/ 1 a) (/ 1 z)))) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 1.534 * [taylor]: Taking taylor expansion of (* (/ -1 (* y (- (/ 1 a) (/ 1 z)))) (- (/ 1 t) (/ 1 z))) in y 1.534 * [taylor]: Taking taylor expansion of (/ -1 (* y (- (/ 1 a) (/ 1 z)))) in y 1.534 * [taylor]: Taking taylor expansion of -1 in y 1.534 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in y 1.534 * [taylor]: Taking taylor expansion of y in y 1.534 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in y 1.534 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.534 * [taylor]: Taking taylor expansion of a in y 1.534 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.534 * [taylor]: Taking taylor expansion of z in y 1.535 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.535 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.535 * [taylor]: Taking taylor expansion of t in y 1.535 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.535 * [taylor]: Taking taylor expansion of z in y 1.535 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.535 * [taylor]: Taking taylor expansion of -1 in y 1.535 * [taylor]: Taking taylor expansion of x in y 1.535 * [taylor]: Taking taylor expansion of (fma (/ -1 (* y (- (/ 1 a) (/ 1 z)))) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in y 1.536 * [taylor]: Rewrote expression to (+ (* (/ -1 (* y (- (/ 1 a) (/ 1 z)))) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 1.536 * [taylor]: Taking taylor expansion of (* (/ -1 (* y (- (/ 1 a) (/ 1 z)))) (- (/ 1 t) (/ 1 z))) in y 1.536 * [taylor]: Taking taylor expansion of (/ -1 (* y (- (/ 1 a) (/ 1 z)))) in y 1.536 * [taylor]: Taking taylor expansion of -1 in y 1.536 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in y 1.536 * [taylor]: Taking taylor expansion of y in y 1.536 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in y 1.536 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.536 * [taylor]: Taking taylor expansion of a in y 1.536 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.536 * [taylor]: Taking taylor expansion of z in y 1.537 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.537 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.537 * [taylor]: Taking taylor expansion of t in y 1.537 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.537 * [taylor]: Taking taylor expansion of z in y 1.537 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.537 * [taylor]: Taking taylor expansion of -1 in y 1.537 * [taylor]: Taking taylor expansion of x in y 1.538 * [taylor]: Taking taylor expansion of (- (/ 1 (* z (- (/ 1 a) (/ 1 z)))) (/ 1 (* t (- (/ 1 a) (/ 1 z))))) in z 1.538 * [taylor]: Taking taylor expansion of (/ 1 (* z (- (/ 1 a) (/ 1 z)))) in z 1.538 * [taylor]: Taking taylor expansion of (* z (- (/ 1 a) (/ 1 z))) in z 1.538 * [taylor]: Taking taylor expansion of z in z 1.538 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.538 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.538 * [taylor]: Taking taylor expansion of a in z 1.538 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.538 * [taylor]: Taking taylor expansion of z in z 1.540 * [taylor]: Taking taylor expansion of (/ 1 (* t (- (/ 1 a) (/ 1 z)))) in z 1.540 * [taylor]: Taking taylor expansion of (* t (- (/ 1 a) (/ 1 z))) in z 1.540 * [taylor]: Taking taylor expansion of t in z 1.540 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.540 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.540 * [taylor]: Taking taylor expansion of a in z 1.541 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.541 * [taylor]: Taking taylor expansion of z in z 1.542 * [taylor]: Taking taylor expansion of -1 in a 1.542 * [taylor]: Taking taylor expansion of -1 in t 1.544 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 1.544 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.544 * [taylor]: Taking taylor expansion of x in z 1.544 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in a 1.544 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.544 * [taylor]: Taking taylor expansion of x in a 1.544 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 1.544 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.544 * [taylor]: Taking taylor expansion of x in t 1.546 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 a)) in a 1.547 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.547 * [taylor]: Taking taylor expansion of t in a 1.547 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.547 * [taylor]: Taking taylor expansion of a in a 1.548 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.548 * [taylor]: Taking taylor expansion of t in t 1.548 * [taylor]: Taking taylor expansion of 1 in x 1.548 * [taylor]: Taking taylor expansion of 0 in t 1.548 * [taylor]: Taking taylor expansion of -1 in x 1.551 * [taylor]: Taking taylor expansion of 0 in z 1.552 * [taylor]: Taking taylor expansion of 0 in a 1.552 * [taylor]: Taking taylor expansion of 0 in t 1.552 * [taylor]: Taking taylor expansion of 0 in a 1.552 * [taylor]: Taking taylor expansion of 0 in t 1.556 * [taylor]: Taking taylor expansion of (- (/ 1 (* t a)) (/ 1 (pow a 2))) in a 1.556 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 1.556 * [taylor]: Taking taylor expansion of (* t a) in a 1.556 * [taylor]: Taking taylor expansion of t in a 1.556 * [taylor]: Taking taylor expansion of a in a 1.557 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.557 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.557 * [taylor]: Taking taylor expansion of a in a 1.560 * [taylor]: Taking taylor expansion of 0 in t 1.560 * [taylor]: Taking taylor expansion of 0 in t 1.561 * [taylor]: Taking taylor expansion of 0 in t 1.561 * [taylor]: Taking taylor expansion of 0 in t 1.562 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.562 * [taylor]: Taking taylor expansion of x in x 1.563 * [taylor]: Taking taylor expansion of 0 in x 1.563 * [taylor]: Taking taylor expansion of 0 in x 1.563 * [taylor]: Taking taylor expansion of 0 in x 1.564 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1.564 * [approximate]: Taking taylor expansion of (/ y (- z a)) in (y z a) around 0 1.564 * [taylor]: Taking taylor expansion of (/ y (- z a)) in a 1.564 * [taylor]: Taking taylor expansion of y in a 1.564 * [taylor]: Taking taylor expansion of (- z a) in a 1.564 * [taylor]: Taking taylor expansion of z in a 1.564 * [taylor]: Taking taylor expansion of a in a 1.564 * [taylor]: Taking taylor expansion of (/ y (- z a)) in z 1.564 * [taylor]: Taking taylor expansion of y in z 1.564 * [taylor]: Taking taylor expansion of (- z a) in z 1.564 * [taylor]: Taking taylor expansion of z in z 1.564 * [taylor]: Taking taylor expansion of a in z 1.564 * [taylor]: Taking taylor expansion of (/ y (- z a)) in y 1.564 * [taylor]: Taking taylor expansion of y in y 1.564 * [taylor]: Taking taylor expansion of (- z a) in y 1.564 * [taylor]: Taking taylor expansion of z in y 1.564 * [taylor]: Taking taylor expansion of a in y 1.564 * [taylor]: Taking taylor expansion of (/ y (- z a)) in y 1.564 * [taylor]: Taking taylor expansion of y in y 1.564 * [taylor]: Taking taylor expansion of (- z a) in y 1.565 * [taylor]: Taking taylor expansion of z in y 1.565 * [taylor]: Taking taylor expansion of a in y 1.565 * [taylor]: Taking taylor expansion of (/ 1 (- z a)) in z 1.565 * [taylor]: Taking taylor expansion of (- z a) in z 1.565 * [taylor]: Taking taylor expansion of z in z 1.565 * [taylor]: Taking taylor expansion of a in z 1.565 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.565 * [taylor]: Taking taylor expansion of -1 in a 1.565 * [taylor]: Taking taylor expansion of a in a 1.566 * [taylor]: Taking taylor expansion of 0 in z 1.567 * [taylor]: Taking taylor expansion of 0 in a 1.567 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2))) in a 1.567 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.567 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.567 * [taylor]: Taking taylor expansion of a in a 1.575 * [taylor]: Taking taylor expansion of 0 in z 1.575 * [taylor]: Taking taylor expansion of 0 in a 1.576 * [taylor]: Taking taylor expansion of 0 in a 1.576 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) in (y z a) around 0 1.576 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) in a 1.576 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in a 1.576 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in a 1.576 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.576 * [taylor]: Taking taylor expansion of z in a 1.576 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.576 * [taylor]: Taking taylor expansion of a in a 1.576 * [taylor]: Taking taylor expansion of y in a 1.577 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) in z 1.577 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in z 1.577 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.577 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.577 * [taylor]: Taking taylor expansion of z in z 1.577 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.578 * [taylor]: Taking taylor expansion of a in z 1.578 * [taylor]: Taking taylor expansion of y in z 1.578 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) in y 1.578 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in y 1.578 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in y 1.578 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.578 * [taylor]: Taking taylor expansion of z in y 1.578 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.578 * [taylor]: Taking taylor expansion of a in y 1.578 * [taylor]: Taking taylor expansion of y in y 1.579 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) in y 1.579 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in y 1.579 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in y 1.579 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.579 * [taylor]: Taking taylor expansion of z in y 1.579 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.579 * [taylor]: Taking taylor expansion of a in y 1.579 * [taylor]: Taking taylor expansion of y in y 1.581 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 a))) in z 1.581 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.581 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.581 * [taylor]: Taking taylor expansion of z in z 1.581 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.581 * [taylor]: Taking taylor expansion of a in z 1.582 * [taylor]: Taking taylor expansion of 1 in a 1.583 * [taylor]: Taking taylor expansion of 0 in z 1.583 * [taylor]: Taking taylor expansion of 0 in a 1.584 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.584 * [taylor]: Taking taylor expansion of a in a 1.587 * [taylor]: Taking taylor expansion of 0 in z 1.587 * [taylor]: Taking taylor expansion of 0 in a 1.587 * [taylor]: Taking taylor expansion of 0 in a 1.587 * [approximate]: Taking taylor expansion of (/ -1 (* y (- (/ 1 a) (/ 1 z)))) in (y z a) around 0 1.587 * [taylor]: Taking taylor expansion of (/ -1 (* y (- (/ 1 a) (/ 1 z)))) in a 1.587 * [taylor]: Taking taylor expansion of -1 in a 1.587 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in a 1.587 * [taylor]: Taking taylor expansion of y in a 1.587 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in a 1.587 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.587 * [taylor]: Taking taylor expansion of a in a 1.587 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.587 * [taylor]: Taking taylor expansion of z in a 1.588 * [taylor]: Taking taylor expansion of (/ -1 (* y (- (/ 1 a) (/ 1 z)))) in z 1.588 * [taylor]: Taking taylor expansion of -1 in z 1.588 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in z 1.588 * [taylor]: Taking taylor expansion of y in z 1.588 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.588 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.588 * [taylor]: Taking taylor expansion of a in z 1.588 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.588 * [taylor]: Taking taylor expansion of z in z 1.589 * [taylor]: Taking taylor expansion of (/ -1 (* y (- (/ 1 a) (/ 1 z)))) in y 1.589 * [taylor]: Taking taylor expansion of -1 in y 1.589 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in y 1.589 * [taylor]: Taking taylor expansion of y in y 1.589 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in y 1.589 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.589 * [taylor]: Taking taylor expansion of a in y 1.589 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.589 * [taylor]: Taking taylor expansion of z in y 1.590 * [taylor]: Taking taylor expansion of (/ -1 (* y (- (/ 1 a) (/ 1 z)))) in y 1.590 * [taylor]: Taking taylor expansion of -1 in y 1.590 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in y 1.590 * [taylor]: Taking taylor expansion of y in y 1.590 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in y 1.590 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.590 * [taylor]: Taking taylor expansion of a in y 1.590 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.591 * [taylor]: Taking taylor expansion of z in y 1.592 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 a) (/ 1 z))) in z 1.592 * [taylor]: Taking taylor expansion of -1 in z 1.592 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.592 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.592 * [taylor]: Taking taylor expansion of a in z 1.592 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.592 * [taylor]: Taking taylor expansion of z in z 1.593 * [taylor]: Taking taylor expansion of 1 in a 1.594 * [taylor]: Taking taylor expansion of 0 in z 1.595 * [taylor]: Taking taylor expansion of 0 in a 1.596 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.596 * [taylor]: Taking taylor expansion of a in a 1.599 * [taylor]: Taking taylor expansion of 0 in z 1.599 * [taylor]: Taking taylor expansion of 0 in a 1.599 * [taylor]: Taking taylor expansion of 0 in a 1.599 * * * [progress]: simplifying candidates 1.600 * [simplify]: Simplifying using # : (expm1 (fma (/ y (- z a)) (- z t) x)) (log1p (fma (/ y (- z a)) (- z t) x)) (* (/ y (- z a)) (- z t)) (log (fma (/ y (- z a)) (- z t) x)) (exp (fma (/ y (- z a)) (- z t) x)) (* (cbrt (fma (/ y (- z a)) (- z t) x)) (cbrt (fma (/ y (- z a)) (- z t) x))) (cbrt (fma (/ y (- z a)) (- z t) x)) (* (* (fma (/ y (- z a)) (- z t) x) (fma (/ y (- z a)) (- z t) x)) (fma (/ y (- z a)) (- z t) x)) (sqrt (fma (/ y (- z a)) (- z t) x)) (sqrt (fma (/ y (- z a)) (- z t) x)) (expm1 (/ y (- z a))) (log1p (/ y (- z a))) (- (log y) (log (- z a))) (log (/ y (- z a))) (exp (/ y (- z a))) (/ (* (* y y) y) (* (* (- z a) (- z a)) (- z a))) (* (cbrt (/ y (- z a))) (cbrt (/ y (- z a)))) (cbrt (/ y (- z a))) (* (* (/ y (- z a)) (/ y (- z a))) (/ y (- z a))) (sqrt (/ y (- z a))) (sqrt (/ y (- z a))) (- y) (- (- z a)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (- z a)) (cbrt (- z a)))) (/ (cbrt y) (cbrt (- z a))) (/ (* (cbrt y) (cbrt y)) (sqrt (- z a))) (/ (cbrt y) (sqrt (- z a))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (- z a)) (/ (* (cbrt y) (cbrt y)) (+ (sqrt z) (sqrt a))) (/ (cbrt y) (- (sqrt z) (sqrt a))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (- z a)) (/ (sqrt y) (* (cbrt (- z a)) (cbrt (- z a)))) (/ (sqrt y) (cbrt (- z a))) (/ (sqrt y) (sqrt (- z a))) (/ (sqrt y) (sqrt (- z a))) (/ (sqrt y) 1) (/ (sqrt y) (- z a)) (/ (sqrt y) (+ (sqrt z) (sqrt a))) (/ (sqrt y) (- (sqrt z) (sqrt a))) (/ (sqrt y) 1) (/ (sqrt y) (- z a)) (/ 1 (* (cbrt (- z a)) (cbrt (- z a)))) (/ y (cbrt (- z a))) (/ 1 (sqrt (- z a))) (/ y (sqrt (- z a))) (/ 1 1) (/ y (- z a)) (/ 1 (+ (sqrt z) (sqrt a))) (/ y (- (sqrt z) (sqrt a))) (/ 1 1) (/ y (- z a)) (/ 1 (- z a)) (/ (- z a) y) (/ y (* (cbrt (- z a)) (cbrt (- z a)))) (/ y (sqrt (- z a))) (/ y 1) (/ y (+ (sqrt z) (sqrt a))) (/ y 1) (/ (- z a) (cbrt y)) (/ (- z a) (sqrt y)) (/ (- z a) y) (/ y (- (pow z 3) (pow a 3))) (/ y (- (* z z) (* a a))) x (- (+ x y) (/ (* t y) z)) (- (+ x y) (/ (* t y) z)) 0 0 0 1.603 * * [simplify]: iteration 0 : 92 enodes (cost 552 ) 1.616 * * [simplify]: iteration 1 : 175 enodes (cost 535 ) 1.644 * * [simplify]: iteration 2 : 390 enodes (cost 495 )