18.649 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.022 * * * [progress]: [2/2] Setting up program. 0.024 * [progress]: [Phase 2 of 3] Improving. 0.025 * [simplify]: Simplifying using # : (+ x (/ (* y (- z t)) a)) 0.025 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 0.027 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 0.028 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 0.032 * * [simplify]: iteration 3 : 48 enodes (cost 8 ) 0.038 * * [simplify]: iteration 4 : 86 enodes (cost 8 ) 0.053 * * [simplify]: iteration 5 : 133 enodes (cost 8 ) 0.072 * * [simplify]: iteration 6 : 171 enodes (cost 8 ) 0.104 * * [simplify]: iteration 7 : 197 enodes (cost 8 ) 0.136 * * [simplify]: iteration 8 : 231 enodes (cost 8 ) 0.179 * * [simplify]: iteration 9 : 317 enodes (cost 8 ) 0.296 * * [simplify]: iteration 10 : 427 enodes (cost 8 ) 0.383 * * [simplify]: iteration 11 : 494 enodes (cost 8 ) 0.513 * * [simplify]: iteration 12 : 584 enodes (cost 8 ) 0.654 * * [simplify]: iteration 13 : 610 enodes (cost 8 ) 0.778 * * [simplify]: iteration done : 610 enodes (cost 8 ) 0.778 * [simplify]: Simplified to: (fma (/ y a) (- z t) x) 0.781 * * [progress]: iteration 1 / 4 0.782 * * * [progress]: picking best candidate 0.785 * * * * [pick]: Picked # 0.785 * * * [progress]: localizing error 0.792 * * * [progress]: generating rewritten candidates 0.792 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.793 * * * [progress]: generating series expansions 0.793 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.793 * [approximate]: Taking taylor expansion of (fma (/ y a) (- z t) x) in (y a z t x) around 0 0.793 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in x 0.793 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 0.793 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in x 0.793 * [taylor]: Taking taylor expansion of (/ y a) in x 0.793 * [taylor]: Taking taylor expansion of y in x 0.793 * [taylor]: Taking taylor expansion of a in x 0.793 * [taylor]: Taking taylor expansion of (- z t) in x 0.793 * [taylor]: Taking taylor expansion of z in x 0.793 * [taylor]: Taking taylor expansion of t in x 0.793 * [taylor]: Taking taylor expansion of x in x 0.793 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in t 0.793 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 0.793 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in t 0.793 * [taylor]: Taking taylor expansion of (/ y a) in t 0.793 * [taylor]: Taking taylor expansion of y in t 0.793 * [taylor]: Taking taylor expansion of a in t 0.793 * [taylor]: Taking taylor expansion of (- z t) in t 0.793 * [taylor]: Taking taylor expansion of z in t 0.793 * [taylor]: Taking taylor expansion of t in t 0.793 * [taylor]: Taking taylor expansion of x in t 0.793 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in z 0.793 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 0.794 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in z 0.794 * [taylor]: Taking taylor expansion of (/ y a) in z 0.794 * [taylor]: Taking taylor expansion of y in z 0.794 * [taylor]: Taking taylor expansion of a in z 0.794 * [taylor]: Taking taylor expansion of (- z t) in z 0.794 * [taylor]: Taking taylor expansion of z in z 0.794 * [taylor]: Taking taylor expansion of t in z 0.794 * [taylor]: Taking taylor expansion of x in z 0.794 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in a 0.794 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 0.794 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in a 0.794 * [taylor]: Taking taylor expansion of (/ y a) in a 0.794 * [taylor]: Taking taylor expansion of y in a 0.794 * [taylor]: Taking taylor expansion of a in a 0.794 * [taylor]: Taking taylor expansion of (- z t) in a 0.794 * [taylor]: Taking taylor expansion of z in a 0.794 * [taylor]: Taking taylor expansion of t in a 0.794 * [taylor]: Taking taylor expansion of x in a 0.794 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in y 0.794 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 0.794 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in y 0.794 * [taylor]: Taking taylor expansion of (/ y a) in y 0.794 * [taylor]: Taking taylor expansion of y in y 0.794 * [taylor]: Taking taylor expansion of a in y 0.794 * [taylor]: Taking taylor expansion of (- z t) in y 0.794 * [taylor]: Taking taylor expansion of z in y 0.794 * [taylor]: Taking taylor expansion of t in y 0.794 * [taylor]: Taking taylor expansion of x in y 0.794 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in y 0.794 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 0.794 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in y 0.794 * [taylor]: Taking taylor expansion of (/ y a) in y 0.794 * [taylor]: Taking taylor expansion of y in y 0.794 * [taylor]: Taking taylor expansion of a in y 0.794 * [taylor]: Taking taylor expansion of (- z t) in y 0.794 * [taylor]: Taking taylor expansion of z in y 0.794 * [taylor]: Taking taylor expansion of t in y 0.794 * [taylor]: Taking taylor expansion of x in y 0.795 * [taylor]: Taking taylor expansion of x in a 0.795 * [taylor]: Taking taylor expansion of (- (/ z a) (/ t a)) in a 0.795 * [taylor]: Taking taylor expansion of (/ z a) in a 0.795 * [taylor]: Taking taylor expansion of z in a 0.795 * [taylor]: Taking taylor expansion of a in a 0.795 * [taylor]: Taking taylor expansion of (/ t a) in a 0.795 * [taylor]: Taking taylor expansion of t in a 0.795 * [taylor]: Taking taylor expansion of a in a 0.795 * [taylor]: Taking taylor expansion of (- z t) in z 0.795 * [taylor]: Taking taylor expansion of z in z 0.795 * [taylor]: Taking taylor expansion of t in z 0.795 * [taylor]: Taking taylor expansion of (- t) in t 0.795 * [taylor]: Taking taylor expansion of t in t 0.795 * [taylor]: Taking taylor expansion of 0 in x 0.796 * [taylor]: Taking taylor expansion of x in z 0.796 * [taylor]: Taking taylor expansion of x in t 0.796 * [taylor]: Taking taylor expansion of x in x 0.797 * [taylor]: Taking taylor expansion of 0 in a 0.798 * [taylor]: Taking taylor expansion of 0 in z 0.798 * [taylor]: Taking taylor expansion of 0 in t 0.798 * [taylor]: Taking taylor expansion of 0 in x 0.798 * [taylor]: Taking taylor expansion of 0 in z 0.798 * [taylor]: Taking taylor expansion of 0 in t 0.798 * [taylor]: Taking taylor expansion of 0 in x 0.799 * [taylor]: Taking taylor expansion of 1 in t 0.799 * [taylor]: Taking taylor expansion of 1 in x 0.799 * [taylor]: Taking taylor expansion of 0 in t 0.799 * [taylor]: Taking taylor expansion of 0 in x 0.799 * [taylor]: Taking taylor expansion of -1 in x 0.799 * [taylor]: Taking taylor expansion of 0 in x 0.800 * [approximate]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in (y a z t x) around 0 0.800 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in x 0.800 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 0.800 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in x 0.800 * [taylor]: Taking taylor expansion of (/ a y) in x 0.801 * [taylor]: Taking taylor expansion of a in x 0.801 * [taylor]: Taking taylor expansion of y in x 0.801 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 0.801 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.801 * [taylor]: Taking taylor expansion of z in x 0.801 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.801 * [taylor]: Taking taylor expansion of t in x 0.801 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.801 * [taylor]: Taking taylor expansion of x in x 0.801 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in t 0.801 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 0.801 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in t 0.801 * [taylor]: Taking taylor expansion of (/ a y) in t 0.801 * [taylor]: Taking taylor expansion of a in t 0.801 * [taylor]: Taking taylor expansion of y in t 0.801 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 0.801 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.801 * [taylor]: Taking taylor expansion of z in t 0.801 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.801 * [taylor]: Taking taylor expansion of t in t 0.802 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.802 * [taylor]: Taking taylor expansion of x in t 0.802 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in z 0.802 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 0.802 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in z 0.802 * [taylor]: Taking taylor expansion of (/ a y) in z 0.802 * [taylor]: Taking taylor expansion of a in z 0.802 * [taylor]: Taking taylor expansion of y in z 0.802 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 0.802 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.802 * [taylor]: Taking taylor expansion of z in z 0.802 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.802 * [taylor]: Taking taylor expansion of t in z 0.803 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.803 * [taylor]: Taking taylor expansion of x in z 0.803 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in a 0.803 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 0.803 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in a 0.803 * [taylor]: Taking taylor expansion of (/ a y) in a 0.803 * [taylor]: Taking taylor expansion of a in a 0.803 * [taylor]: Taking taylor expansion of y in a 0.803 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 0.803 * [taylor]: Taking taylor expansion of (/ 1 z) in a 0.803 * [taylor]: Taking taylor expansion of z in a 0.803 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.803 * [taylor]: Taking taylor expansion of t in a 0.803 * [taylor]: Taking taylor expansion of (/ 1 x) in a 0.803 * [taylor]: Taking taylor expansion of x in a 0.803 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in y 0.803 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 0.803 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in y 0.803 * [taylor]: Taking taylor expansion of (/ a y) in y 0.803 * [taylor]: Taking taylor expansion of a in y 0.803 * [taylor]: Taking taylor expansion of y in y 0.803 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 0.803 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.803 * [taylor]: Taking taylor expansion of z in y 0.803 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.803 * [taylor]: Taking taylor expansion of t in y 0.803 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.803 * [taylor]: Taking taylor expansion of x in y 0.803 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in y 0.803 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 0.803 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in y 0.803 * [taylor]: Taking taylor expansion of (/ a y) in y 0.803 * [taylor]: Taking taylor expansion of a in y 0.804 * [taylor]: Taking taylor expansion of y in y 0.804 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 0.804 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.804 * [taylor]: Taking taylor expansion of z in y 0.804 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.804 * [taylor]: Taking taylor expansion of t in y 0.804 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.804 * [taylor]: Taking taylor expansion of x in y 0.804 * [taylor]: Taking taylor expansion of (- (/ a z) (/ a t)) in a 0.804 * [taylor]: Taking taylor expansion of (/ a z) in a 0.804 * [taylor]: Taking taylor expansion of a in a 0.804 * [taylor]: Taking taylor expansion of z in a 0.804 * [taylor]: Taking taylor expansion of (/ a t) in a 0.804 * [taylor]: Taking taylor expansion of a in a 0.804 * [taylor]: Taking taylor expansion of t in a 0.806 * [taylor]: Taking taylor expansion of (/ 1 x) in a 0.806 * [taylor]: Taking taylor expansion of x in a 0.806 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.806 * [taylor]: Taking taylor expansion of x in z 0.806 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 0.806 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.806 * [taylor]: Taking taylor expansion of z in z 0.806 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.806 * [taylor]: Taking taylor expansion of t in z 0.807 * [taylor]: Taking taylor expansion of 1 in t 0.809 * [taylor]: Taking taylor expansion of 0 in a 0.809 * [taylor]: Taking taylor expansion of 0 in z 0.809 * [taylor]: Taking taylor expansion of 0 in z 0.809 * [taylor]: Taking taylor expansion of 0 in z 0.810 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.810 * [taylor]: Taking taylor expansion of x in t 0.810 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 0.810 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.810 * [taylor]: Taking taylor expansion of t in t 0.811 * [taylor]: Taking taylor expansion of -1 in x 0.811 * [taylor]: Taking taylor expansion of 1 in x 0.814 * [taylor]: Taking taylor expansion of 0 in a 0.814 * [taylor]: Taking taylor expansion of 0 in z 0.814 * [taylor]: Taking taylor expansion of 0 in z 0.814 * [taylor]: Taking taylor expansion of 0 in z 0.815 * [taylor]: Taking taylor expansion of 0 in z 0.815 * [taylor]: Taking taylor expansion of 0 in t 0.815 * [taylor]: Taking taylor expansion of 0 in t 0.815 * [taylor]: Taking taylor expansion of 0 in t 0.815 * [taylor]: Taking taylor expansion of 0 in t 0.816 * [taylor]: Taking taylor expansion of 0 in t 0.816 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.816 * [taylor]: Taking taylor expansion of x in x 0.817 * [taylor]: Taking taylor expansion of 0 in x 0.817 * [taylor]: Taking taylor expansion of 0 in x 0.818 * [approximate]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in (y a z t x) around 0 0.818 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in x 0.818 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 0.818 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in x 0.818 * [taylor]: Taking taylor expansion of (/ a y) in x 0.818 * [taylor]: Taking taylor expansion of a in x 0.818 * [taylor]: Taking taylor expansion of y in x 0.818 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 0.819 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.819 * [taylor]: Taking taylor expansion of t in x 0.819 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.819 * [taylor]: Taking taylor expansion of z in x 0.819 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.819 * [taylor]: Taking taylor expansion of -1 in x 0.819 * [taylor]: Taking taylor expansion of x in x 0.819 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in t 0.819 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 0.819 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in t 0.819 * [taylor]: Taking taylor expansion of (/ a y) in t 0.819 * [taylor]: Taking taylor expansion of a in t 0.819 * [taylor]: Taking taylor expansion of y in t 0.819 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 0.819 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.819 * [taylor]: Taking taylor expansion of t in t 0.820 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.820 * [taylor]: Taking taylor expansion of z in t 0.820 * [taylor]: Taking taylor expansion of (/ -1 x) in t 0.820 * [taylor]: Taking taylor expansion of -1 in t 0.820 * [taylor]: Taking taylor expansion of x in t 0.820 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in z 0.820 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 0.820 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in z 0.820 * [taylor]: Taking taylor expansion of (/ a y) in z 0.820 * [taylor]: Taking taylor expansion of a in z 0.820 * [taylor]: Taking taylor expansion of y in z 0.820 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 0.820 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.820 * [taylor]: Taking taylor expansion of t in z 0.820 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.820 * [taylor]: Taking taylor expansion of z in z 0.821 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.821 * [taylor]: Taking taylor expansion of -1 in z 0.821 * [taylor]: Taking taylor expansion of x in z 0.821 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in a 0.821 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 0.821 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in a 0.821 * [taylor]: Taking taylor expansion of (/ a y) in a 0.821 * [taylor]: Taking taylor expansion of a in a 0.821 * [taylor]: Taking taylor expansion of y in a 0.821 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 0.821 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.821 * [taylor]: Taking taylor expansion of t in a 0.821 * [taylor]: Taking taylor expansion of (/ 1 z) in a 0.821 * [taylor]: Taking taylor expansion of z in a 0.821 * [taylor]: Taking taylor expansion of (/ -1 x) in a 0.821 * [taylor]: Taking taylor expansion of -1 in a 0.821 * [taylor]: Taking taylor expansion of x in a 0.821 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in y 0.821 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 0.821 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in y 0.821 * [taylor]: Taking taylor expansion of (/ a y) in y 0.821 * [taylor]: Taking taylor expansion of a in y 0.821 * [taylor]: Taking taylor expansion of y in y 0.821 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 0.821 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.821 * [taylor]: Taking taylor expansion of t in y 0.821 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.821 * [taylor]: Taking taylor expansion of z in y 0.821 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.821 * [taylor]: Taking taylor expansion of -1 in y 0.821 * [taylor]: Taking taylor expansion of x in y 0.821 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in y 0.822 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 0.822 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in y 0.822 * [taylor]: Taking taylor expansion of (/ a y) in y 0.822 * [taylor]: Taking taylor expansion of a in y 0.822 * [taylor]: Taking taylor expansion of y in y 0.822 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 0.822 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.822 * [taylor]: Taking taylor expansion of t in y 0.822 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.822 * [taylor]: Taking taylor expansion of z in y 0.822 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.822 * [taylor]: Taking taylor expansion of -1 in y 0.822 * [taylor]: Taking taylor expansion of x in y 0.822 * [taylor]: Taking taylor expansion of (- (/ a t) (/ a z)) in a 0.822 * [taylor]: Taking taylor expansion of (/ a t) in a 0.822 * [taylor]: Taking taylor expansion of a in a 0.822 * [taylor]: Taking taylor expansion of t in a 0.822 * [taylor]: Taking taylor expansion of (/ a z) in a 0.822 * [taylor]: Taking taylor expansion of a in a 0.822 * [taylor]: Taking taylor expansion of z in a 0.824 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in a 0.824 * [taylor]: Taking taylor expansion of (/ 1 x) in a 0.824 * [taylor]: Taking taylor expansion of x in a 0.824 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 0.824 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.824 * [taylor]: Taking taylor expansion of x in z 0.824 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 0.824 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.824 * [taylor]: Taking taylor expansion of t in z 0.824 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.824 * [taylor]: Taking taylor expansion of z in z 0.825 * [taylor]: Taking taylor expansion of -1 in t 0.827 * [taylor]: Taking taylor expansion of 0 in a 0.827 * [taylor]: Taking taylor expansion of 0 in z 0.828 * [taylor]: Taking taylor expansion of 0 in z 0.828 * [taylor]: Taking taylor expansion of 0 in z 0.829 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 0.829 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.829 * [taylor]: Taking taylor expansion of x in t 0.829 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.829 * [taylor]: Taking taylor expansion of t in t 0.830 * [taylor]: Taking taylor expansion of 1 in x 0.830 * [taylor]: Taking taylor expansion of -1 in x 0.833 * [taylor]: Taking taylor expansion of 0 in a 0.833 * [taylor]: Taking taylor expansion of 0 in z 0.833 * [taylor]: Taking taylor expansion of 0 in z 0.833 * [taylor]: Taking taylor expansion of 0 in z 0.834 * [taylor]: Taking taylor expansion of 0 in z 0.834 * [taylor]: Taking taylor expansion of 0 in t 0.834 * [taylor]: Taking taylor expansion of 0 in t 0.834 * [taylor]: Taking taylor expansion of 0 in t 0.834 * [taylor]: Taking taylor expansion of 0 in t 0.835 * [taylor]: Taking taylor expansion of 0 in t 0.836 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.836 * [taylor]: Taking taylor expansion of x in x 0.837 * [taylor]: Taking taylor expansion of 0 in x 0.837 * [taylor]: Taking taylor expansion of 0 in x 0.838 * * * [progress]: simplifying candidates 0.838 * [simplify]: Simplifying using # : (expm1 (fma (/ y a) (- z t) x)) (log1p (fma (/ y a) (- z t) x)) (* (/ y a) (- z t)) (log (fma (/ y a) (- z t) x)) (exp (fma (/ y a) (- z t) x)) (* (cbrt (fma (/ y a) (- z t) x)) (cbrt (fma (/ y a) (- z t) x))) (cbrt (fma (/ y a) (- z t) x)) (* (* (fma (/ y a) (- z t) x) (fma (/ y a) (- z t) x)) (fma (/ y a) (- z t) x)) (sqrt (fma (/ y a) (- z t) x)) (sqrt (fma (/ y a) (- z t) x)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) 0.839 * * [simplify]: iteration 0 : 24 enodes (cost 154 ) 0.842 * * [simplify]: iteration 1 : 41 enodes (cost 154 ) 0.850 * * [simplify]: iteration 2 : 92 enodes (cost 138 ) 0.866 * * [simplify]: iteration 3 : 219 enodes (cost 123 ) 0.934 * * [simplify]: iteration 4 : 987 enodes (cost 123 ) 1.592 * * [simplify]: iteration done : 5002 enodes (cost 123 ) 1.593 * [simplify]: Simplified to: (expm1 (fma (/ y a) (- z t) x)) (log1p (fma (/ y a) (- z t) x)) (/ (* y (- z t)) a) (log (fma (/ y a) (- z t) x)) (exp (fma (/ y a) (- z t) x)) (* (cbrt (fma (/ y a) (- z t) x)) (cbrt (fma (/ y a) (- z t) x))) (cbrt (fma (/ y a) (- z t) x)) (pow (fma (/ y a) (- z t) x) 3) (sqrt (fma (/ y a) (- z t) x)) (sqrt (fma (/ y a) (- z t) x)) (fma (- z t) (/ y a) x) (fma (- z t) (/ y a) x) (fma (- z t) (/ y a) x) 1.593 * * * [progress]: adding candidates to table 1.630 * * [progress]: iteration 2 / 4 1.630 * * * [progress]: picking best candidate 1.634 * * * * [pick]: Picked # 1.634 * * * [progress]: localizing error 1.641 * * * [progress]: generating rewritten candidates 1.641 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1.652 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 1.664 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.682 * * * [progress]: generating series expansions 1.682 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1.682 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) a) in (y z t a) around 0 1.682 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in a 1.682 * [taylor]: Taking taylor expansion of (* y (- z t)) in a 1.682 * [taylor]: Taking taylor expansion of y in a 1.682 * [taylor]: Taking taylor expansion of (- z t) in a 1.682 * [taylor]: Taking taylor expansion of z in a 1.682 * [taylor]: Taking taylor expansion of t in a 1.682 * [taylor]: Taking taylor expansion of a in a 1.682 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in t 1.682 * [taylor]: Taking taylor expansion of (* y (- z t)) in t 1.682 * [taylor]: Taking taylor expansion of y in t 1.682 * [taylor]: Taking taylor expansion of (- z t) in t 1.682 * [taylor]: Taking taylor expansion of z in t 1.682 * [taylor]: Taking taylor expansion of t in t 1.683 * [taylor]: Taking taylor expansion of a in t 1.683 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in z 1.683 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 1.683 * [taylor]: Taking taylor expansion of y in z 1.683 * [taylor]: Taking taylor expansion of (- z t) in z 1.683 * [taylor]: Taking taylor expansion of z in z 1.683 * [taylor]: Taking taylor expansion of t in z 1.683 * [taylor]: Taking taylor expansion of a in z 1.683 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y 1.683 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 1.683 * [taylor]: Taking taylor expansion of y in y 1.683 * [taylor]: Taking taylor expansion of (- z t) in y 1.683 * [taylor]: Taking taylor expansion of z in y 1.683 * [taylor]: Taking taylor expansion of t in y 1.683 * [taylor]: Taking taylor expansion of a in y 1.684 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y 1.685 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 1.685 * [taylor]: Taking taylor expansion of y in y 1.685 * [taylor]: Taking taylor expansion of (- z t) in y 1.685 * [taylor]: Taking taylor expansion of z in y 1.685 * [taylor]: Taking taylor expansion of t in y 1.685 * [taylor]: Taking taylor expansion of a in y 1.686 * [taylor]: Taking taylor expansion of (/ (- z t) a) in z 1.686 * [taylor]: Taking taylor expansion of (- z t) in z 1.686 * [taylor]: Taking taylor expansion of z in z 1.686 * [taylor]: Taking taylor expansion of t in z 1.686 * [taylor]: Taking taylor expansion of a in z 1.686 * [taylor]: Taking taylor expansion of (* -1 (/ t a)) in t 1.686 * [taylor]: Taking taylor expansion of -1 in t 1.686 * [taylor]: Taking taylor expansion of (/ t a) in t 1.686 * [taylor]: Taking taylor expansion of t in t 1.686 * [taylor]: Taking taylor expansion of a in t 1.687 * [taylor]: Taking taylor expansion of 0 in z 1.687 * [taylor]: Taking taylor expansion of 0 in t 1.687 * [taylor]: Taking taylor expansion of 0 in a 1.688 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.688 * [taylor]: Taking taylor expansion of a in t 1.688 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.688 * [taylor]: Taking taylor expansion of a in a 1.688 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.688 * [taylor]: Taking taylor expansion of -1 in a 1.688 * [taylor]: Taking taylor expansion of a in a 1.690 * [taylor]: Taking taylor expansion of 0 in z 1.690 * [taylor]: Taking taylor expansion of 0 in t 1.690 * [taylor]: Taking taylor expansion of 0 in a 1.690 * [taylor]: Taking taylor expansion of 0 in t 1.690 * [taylor]: Taking taylor expansion of 0 in a 1.691 * [taylor]: Taking taylor expansion of 0 in t 1.691 * [taylor]: Taking taylor expansion of 0 in a 1.691 * [taylor]: Taking taylor expansion of 0 in a 1.691 * [taylor]: Taking taylor expansion of 0 in a 1.692 * [taylor]: Taking taylor expansion of 0 in a 1.694 * [taylor]: Taking taylor expansion of 0 in z 1.694 * [taylor]: Taking taylor expansion of 0 in t 1.694 * [taylor]: Taking taylor expansion of 0 in a 1.694 * [taylor]: Taking taylor expansion of 0 in t 1.694 * [taylor]: Taking taylor expansion of 0 in a 1.694 * [taylor]: Taking taylor expansion of 0 in t 1.694 * [taylor]: Taking taylor expansion of 0 in a 1.698 * [taylor]: Taking taylor expansion of 0 in t 1.698 * [taylor]: Taking taylor expansion of 0 in a 1.698 * [taylor]: Taking taylor expansion of 0 in a 1.698 * [taylor]: Taking taylor expansion of 0 in a 1.698 * [taylor]: Taking taylor expansion of 0 in a 1.698 * [taylor]: Taking taylor expansion of 0 in a 1.698 * [taylor]: Taking taylor expansion of 0 in a 1.699 * [taylor]: Taking taylor expansion of 0 in a 1.700 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (y z t a) around 0 1.700 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a 1.700 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 1.700 * [taylor]: Taking taylor expansion of a in a 1.700 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 1.700 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.700 * [taylor]: Taking taylor expansion of z in a 1.700 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.700 * [taylor]: Taking taylor expansion of t in a 1.700 * [taylor]: Taking taylor expansion of y in a 1.701 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t 1.701 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t 1.701 * [taylor]: Taking taylor expansion of a in t 1.701 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 1.701 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.701 * [taylor]: Taking taylor expansion of z in t 1.701 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.701 * [taylor]: Taking taylor expansion of t in t 1.702 * [taylor]: Taking taylor expansion of y in t 1.702 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z 1.702 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 1.702 * [taylor]: Taking taylor expansion of a in z 1.702 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.702 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.702 * [taylor]: Taking taylor expansion of z in z 1.703 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.703 * [taylor]: Taking taylor expansion of t in z 1.703 * [taylor]: Taking taylor expansion of y in z 1.703 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 1.703 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 1.703 * [taylor]: Taking taylor expansion of a in y 1.703 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.703 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.703 * [taylor]: Taking taylor expansion of z in y 1.703 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.703 * [taylor]: Taking taylor expansion of t in y 1.703 * [taylor]: Taking taylor expansion of y in y 1.703 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 1.703 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 1.703 * [taylor]: Taking taylor expansion of a in y 1.703 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.703 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.703 * [taylor]: Taking taylor expansion of z in y 1.704 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.704 * [taylor]: Taking taylor expansion of t in y 1.704 * [taylor]: Taking taylor expansion of y in y 1.704 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 1.704 * [taylor]: Taking taylor expansion of a in z 1.704 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.704 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.704 * [taylor]: Taking taylor expansion of z in z 1.704 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.704 * [taylor]: Taking taylor expansion of t in z 1.705 * [taylor]: Taking taylor expansion of a in t 1.706 * [taylor]: Taking taylor expansion of 0 in z 1.707 * [taylor]: Taking taylor expansion of (- (/ a t)) in t 1.707 * [taylor]: Taking taylor expansion of (/ a t) in t 1.707 * [taylor]: Taking taylor expansion of a in t 1.707 * [taylor]: Taking taylor expansion of t in t 1.707 * [taylor]: Taking taylor expansion of (- a) in a 1.707 * [taylor]: Taking taylor expansion of a in a 1.707 * [taylor]: Taking taylor expansion of a in a 1.709 * [taylor]: Taking taylor expansion of 0 in z 1.710 * [taylor]: Taking taylor expansion of 0 in t 1.711 * [taylor]: Taking taylor expansion of 0 in t 1.712 * [taylor]: Taking taylor expansion of 0 in a 1.712 * [taylor]: Taking taylor expansion of 0 in a 1.715 * [taylor]: Taking taylor expansion of 0 in z 1.715 * [taylor]: Taking taylor expansion of 0 in t 1.715 * [taylor]: Taking taylor expansion of 0 in t 1.717 * [taylor]: Taking taylor expansion of 0 in t 1.717 * [taylor]: Taking taylor expansion of 0 in a 1.717 * [taylor]: Taking taylor expansion of 0 in a 1.717 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in (y z t a) around 0 1.717 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in a 1.717 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a 1.717 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 1.717 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.717 * [taylor]: Taking taylor expansion of t in a 1.717 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.717 * [taylor]: Taking taylor expansion of z in a 1.717 * [taylor]: Taking taylor expansion of a in a 1.717 * [taylor]: Taking taylor expansion of y in a 1.719 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in t 1.719 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t 1.719 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 1.719 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.719 * [taylor]: Taking taylor expansion of t in t 1.719 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.719 * [taylor]: Taking taylor expansion of z in t 1.719 * [taylor]: Taking taylor expansion of a in t 1.719 * [taylor]: Taking taylor expansion of y in t 1.719 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z 1.719 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 1.719 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.720 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.720 * [taylor]: Taking taylor expansion of t in z 1.720 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.720 * [taylor]: Taking taylor expansion of z in z 1.720 * [taylor]: Taking taylor expansion of a in z 1.720 * [taylor]: Taking taylor expansion of y in z 1.720 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y 1.720 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y 1.720 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.721 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.721 * [taylor]: Taking taylor expansion of t in y 1.721 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.721 * [taylor]: Taking taylor expansion of z in y 1.721 * [taylor]: Taking taylor expansion of a in y 1.721 * [taylor]: Taking taylor expansion of y in y 1.721 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y 1.721 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y 1.721 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.721 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.721 * [taylor]: Taking taylor expansion of t in y 1.721 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.721 * [taylor]: Taking taylor expansion of z in y 1.721 * [taylor]: Taking taylor expansion of a in y 1.721 * [taylor]: Taking taylor expansion of y in y 1.721 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 1.721 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.721 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.721 * [taylor]: Taking taylor expansion of t in z 1.721 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.721 * [taylor]: Taking taylor expansion of z in z 1.722 * [taylor]: Taking taylor expansion of a in z 1.722 * [taylor]: Taking taylor expansion of (* -1 a) in t 1.722 * [taylor]: Taking taylor expansion of -1 in t 1.722 * [taylor]: Taking taylor expansion of a in t 1.724 * [taylor]: Taking taylor expansion of 0 in z 1.725 * [taylor]: Taking taylor expansion of (/ a t) in t 1.725 * [taylor]: Taking taylor expansion of a in t 1.725 * [taylor]: Taking taylor expansion of t in t 1.725 * [taylor]: Taking taylor expansion of a in a 1.725 * [taylor]: Taking taylor expansion of (* -1 a) in a 1.725 * [taylor]: Taking taylor expansion of -1 in a 1.725 * [taylor]: Taking taylor expansion of a in a 1.728 * [taylor]: Taking taylor expansion of 0 in z 1.728 * [taylor]: Taking taylor expansion of 0 in t 1.729 * [taylor]: Taking taylor expansion of 0 in t 1.730 * [taylor]: Taking taylor expansion of 0 in a 1.730 * [taylor]: Taking taylor expansion of 0 in a 1.733 * [taylor]: Taking taylor expansion of 0 in z 1.733 * [taylor]: Taking taylor expansion of 0 in t 1.733 * [taylor]: Taking taylor expansion of 0 in t 1.735 * [taylor]: Taking taylor expansion of 0 in t 1.735 * [taylor]: Taking taylor expansion of 0 in a 1.735 * [taylor]: Taking taylor expansion of 0 in a 1.736 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 1.736 * [approximate]: Taking taylor expansion of (* y (- z t)) in (y z t) around 0 1.736 * [taylor]: Taking taylor expansion of (* y (- z t)) in t 1.736 * [taylor]: Taking taylor expansion of y in t 1.736 * [taylor]: Taking taylor expansion of (- z t) in t 1.736 * [taylor]: Taking taylor expansion of z in t 1.736 * [taylor]: Taking taylor expansion of t in t 1.736 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 1.736 * [taylor]: Taking taylor expansion of y in z 1.736 * [taylor]: Taking taylor expansion of (- z t) in z 1.736 * [taylor]: Taking taylor expansion of z in z 1.736 * [taylor]: Taking taylor expansion of t in z 1.736 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 1.736 * [taylor]: Taking taylor expansion of y in y 1.736 * [taylor]: Taking taylor expansion of (- z t) in y 1.736 * [taylor]: Taking taylor expansion of z in y 1.736 * [taylor]: Taking taylor expansion of t in y 1.736 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 1.736 * [taylor]: Taking taylor expansion of y in y 1.736 * [taylor]: Taking taylor expansion of (- z t) in y 1.736 * [taylor]: Taking taylor expansion of z in y 1.736 * [taylor]: Taking taylor expansion of t in y 1.736 * [taylor]: Taking taylor expansion of 0 in z 1.736 * [taylor]: Taking taylor expansion of 0 in t 1.737 * [taylor]: Taking taylor expansion of (- z t) in z 1.737 * [taylor]: Taking taylor expansion of z in z 1.737 * [taylor]: Taking taylor expansion of t in z 1.737 * [taylor]: Taking taylor expansion of (- t) in t 1.737 * [taylor]: Taking taylor expansion of t in t 1.738 * [taylor]: Taking taylor expansion of 0 in t 1.739 * [taylor]: Taking taylor expansion of 0 in z 1.739 * [taylor]: Taking taylor expansion of 0 in t 1.740 * [taylor]: Taking taylor expansion of 1 in t 1.740 * [taylor]: Taking taylor expansion of 0 in t 1.741 * [taylor]: Taking taylor expansion of 0 in z 1.741 * [taylor]: Taking taylor expansion of 0 in t 1.741 * [taylor]: Taking taylor expansion of 0 in t 1.742 * [taylor]: Taking taylor expansion of 0 in t 1.742 * [taylor]: Taking taylor expansion of 0 in t 1.742 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in (y z t) around 0 1.742 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in t 1.742 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 1.742 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.742 * [taylor]: Taking taylor expansion of z in t 1.742 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.742 * [taylor]: Taking taylor expansion of t in t 1.742 * [taylor]: Taking taylor expansion of y in t 1.743 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in z 1.743 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.743 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.743 * [taylor]: Taking taylor expansion of z in z 1.743 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.743 * [taylor]: Taking taylor expansion of t in z 1.743 * [taylor]: Taking taylor expansion of y in z 1.744 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in y 1.744 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.744 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.744 * [taylor]: Taking taylor expansion of z in y 1.744 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.744 * [taylor]: Taking taylor expansion of t in y 1.744 * [taylor]: Taking taylor expansion of y in y 1.744 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in y 1.744 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.744 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.744 * [taylor]: Taking taylor expansion of z in y 1.744 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.744 * [taylor]: Taking taylor expansion of t in y 1.744 * [taylor]: Taking taylor expansion of y in y 1.744 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.744 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.744 * [taylor]: Taking taylor expansion of z in z 1.745 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.745 * [taylor]: Taking taylor expansion of t in z 1.745 * [taylor]: Taking taylor expansion of 1 in t 1.746 * [taylor]: Taking taylor expansion of 0 in z 1.747 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 1.747 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.747 * [taylor]: Taking taylor expansion of t in t 1.749 * [taylor]: Taking taylor expansion of 0 in z 1.749 * [taylor]: Taking taylor expansion of 0 in t 1.750 * [taylor]: Taking taylor expansion of 0 in t 1.753 * [taylor]: Taking taylor expansion of 0 in z 1.753 * [taylor]: Taking taylor expansion of 0 in t 1.753 * [taylor]: Taking taylor expansion of 0 in t 1.754 * [taylor]: Taking taylor expansion of 0 in t 1.756 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in (y z t) around 0 1.756 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in t 1.756 * [taylor]: Taking taylor expansion of -1 in t 1.756 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in t 1.756 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 1.756 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.756 * [taylor]: Taking taylor expansion of t in t 1.756 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.756 * [taylor]: Taking taylor expansion of z in t 1.756 * [taylor]: Taking taylor expansion of y in t 1.756 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in z 1.756 * [taylor]: Taking taylor expansion of -1 in z 1.756 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in z 1.757 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.757 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.757 * [taylor]: Taking taylor expansion of t in z 1.757 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.757 * [taylor]: Taking taylor expansion of z in z 1.757 * [taylor]: Taking taylor expansion of y in z 1.757 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in y 1.757 * [taylor]: Taking taylor expansion of -1 in y 1.757 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in y 1.757 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.758 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.758 * [taylor]: Taking taylor expansion of t in y 1.758 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.758 * [taylor]: Taking taylor expansion of z in y 1.758 * [taylor]: Taking taylor expansion of y in y 1.758 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in y 1.758 * [taylor]: Taking taylor expansion of -1 in y 1.758 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in y 1.758 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.758 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.758 * [taylor]: Taking taylor expansion of t in y 1.758 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.758 * [taylor]: Taking taylor expansion of z in y 1.758 * [taylor]: Taking taylor expansion of y in y 1.758 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 t) (/ 1 z))) in z 1.758 * [taylor]: Taking taylor expansion of -1 in z 1.758 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.758 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.758 * [taylor]: Taking taylor expansion of t in z 1.758 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.758 * [taylor]: Taking taylor expansion of z in z 1.759 * [taylor]: Taking taylor expansion of 1 in t 1.761 * [taylor]: Taking taylor expansion of 0 in z 1.762 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 1.762 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.762 * [taylor]: Taking taylor expansion of t in t 1.765 * [taylor]: Taking taylor expansion of 0 in z 1.765 * [taylor]: Taking taylor expansion of 0 in t 1.767 * [taylor]: Taking taylor expansion of 0 in t 1.770 * [taylor]: Taking taylor expansion of 0 in z 1.770 * [taylor]: Taking taylor expansion of 0 in t 1.770 * [taylor]: Taking taylor expansion of 0 in t 1.772 * [taylor]: Taking taylor expansion of 0 in t 1.773 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.774 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in (y z t a x) around 0 1.774 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in x 1.774 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in x 1.774 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x 1.774 * [taylor]: Taking taylor expansion of (* z y) in x 1.774 * [taylor]: Taking taylor expansion of z in x 1.774 * [taylor]: Taking taylor expansion of y in x 1.774 * [taylor]: Taking taylor expansion of a in x 1.774 * [taylor]: Taking taylor expansion of x in x 1.774 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x 1.774 * [taylor]: Taking taylor expansion of (* t y) in x 1.774 * [taylor]: Taking taylor expansion of t in x 1.774 * [taylor]: Taking taylor expansion of y in x 1.774 * [taylor]: Taking taylor expansion of a in x 1.774 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in a 1.774 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in a 1.774 * [taylor]: Taking taylor expansion of (/ (* z y) a) in a 1.774 * [taylor]: Taking taylor expansion of (* z y) in a 1.774 * [taylor]: Taking taylor expansion of z in a 1.774 * [taylor]: Taking taylor expansion of y in a 1.774 * [taylor]: Taking taylor expansion of a in a 1.774 * [taylor]: Taking taylor expansion of x in a 1.774 * [taylor]: Taking taylor expansion of (/ (* t y) a) in a 1.774 * [taylor]: Taking taylor expansion of (* t y) in a 1.774 * [taylor]: Taking taylor expansion of t in a 1.774 * [taylor]: Taking taylor expansion of y in a 1.774 * [taylor]: Taking taylor expansion of a in a 1.774 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in t 1.774 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in t 1.774 * [taylor]: Taking taylor expansion of (/ (* z y) a) in t 1.774 * [taylor]: Taking taylor expansion of (* z y) in t 1.774 * [taylor]: Taking taylor expansion of z in t 1.774 * [taylor]: Taking taylor expansion of y in t 1.774 * [taylor]: Taking taylor expansion of a in t 1.774 * [taylor]: Taking taylor expansion of x in t 1.774 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t 1.774 * [taylor]: Taking taylor expansion of (* t y) in t 1.774 * [taylor]: Taking taylor expansion of t in t 1.774 * [taylor]: Taking taylor expansion of y in t 1.774 * [taylor]: Taking taylor expansion of a in t 1.775 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in z 1.775 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in z 1.775 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z 1.775 * [taylor]: Taking taylor expansion of (* z y) in z 1.775 * [taylor]: Taking taylor expansion of z in z 1.775 * [taylor]: Taking taylor expansion of y in z 1.775 * [taylor]: Taking taylor expansion of a in z 1.775 * [taylor]: Taking taylor expansion of x in z 1.775 * [taylor]: Taking taylor expansion of (/ (* t y) a) in z 1.775 * [taylor]: Taking taylor expansion of (* t y) in z 1.775 * [taylor]: Taking taylor expansion of t in z 1.776 * [taylor]: Taking taylor expansion of y in z 1.776 * [taylor]: Taking taylor expansion of a in z 1.776 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in y 1.776 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in y 1.776 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y 1.776 * [taylor]: Taking taylor expansion of (* z y) in y 1.776 * [taylor]: Taking taylor expansion of z in y 1.776 * [taylor]: Taking taylor expansion of y in y 1.776 * [taylor]: Taking taylor expansion of a in y 1.776 * [taylor]: Taking taylor expansion of x in y 1.776 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y 1.776 * [taylor]: Taking taylor expansion of (* t y) in y 1.776 * [taylor]: Taking taylor expansion of t in y 1.776 * [taylor]: Taking taylor expansion of y in y 1.776 * [taylor]: Taking taylor expansion of a in y 1.776 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in y 1.777 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in y 1.777 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y 1.777 * [taylor]: Taking taylor expansion of (* z y) in y 1.777 * [taylor]: Taking taylor expansion of z in y 1.777 * [taylor]: Taking taylor expansion of y in y 1.777 * [taylor]: Taking taylor expansion of a in y 1.777 * [taylor]: Taking taylor expansion of x in y 1.777 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y 1.777 * [taylor]: Taking taylor expansion of (* t y) in y 1.777 * [taylor]: Taking taylor expansion of t in y 1.777 * [taylor]: Taking taylor expansion of y in y 1.777 * [taylor]: Taking taylor expansion of a in y 1.777 * [taylor]: Taking taylor expansion of x in z 1.777 * [taylor]: Taking taylor expansion of x in t 1.778 * [taylor]: Taking taylor expansion of x in a 1.778 * [taylor]: Taking taylor expansion of (- (/ z a) (/ t a)) in z 1.778 * [taylor]: Taking taylor expansion of (/ z a) in z 1.778 * [taylor]: Taking taylor expansion of z in z 1.778 * [taylor]: Taking taylor expansion of a in z 1.778 * [taylor]: Taking taylor expansion of (/ t a) in z 1.778 * [taylor]: Taking taylor expansion of t in z 1.778 * [taylor]: Taking taylor expansion of a in z 1.778 * [taylor]: Taking taylor expansion of (- (/ t a)) in t 1.778 * [taylor]: Taking taylor expansion of (/ t a) in t 1.778 * [taylor]: Taking taylor expansion of t in t 1.778 * [taylor]: Taking taylor expansion of a in t 1.778 * [taylor]: Taking taylor expansion of 0 in t 1.778 * [taylor]: Taking taylor expansion of 0 in a 1.778 * [taylor]: Taking taylor expansion of 0 in a 1.778 * [taylor]: Taking taylor expansion of x in x 1.780 * [taylor]: Taking taylor expansion of 0 in z 1.780 * [taylor]: Taking taylor expansion of 0 in t 1.780 * [taylor]: Taking taylor expansion of 0 in a 1.780 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.781 * [taylor]: Taking taylor expansion of a in t 1.781 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.781 * [taylor]: Taking taylor expansion of a in a 1.781 * [taylor]: Taking taylor expansion of 1 in x 1.781 * [taylor]: Taking taylor expansion of 0 in t 1.781 * [taylor]: Taking taylor expansion of 0 in a 1.781 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 1.781 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.781 * [taylor]: Taking taylor expansion of a in a 1.782 * [taylor]: Taking taylor expansion of -1 in x 1.782 * [taylor]: Taking taylor expansion of 0 in a 1.782 * [taylor]: Taking taylor expansion of 0 in a 1.782 * [taylor]: Taking taylor expansion of 0 in x 1.782 * [taylor]: Taking taylor expansion of 0 in x 1.782 * [taylor]: Taking taylor expansion of 0 in x 1.783 * [approximate]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in (y z t a x) around 0 1.783 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in x 1.783 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x 1.783 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x 1.783 * [taylor]: Taking taylor expansion of a in x 1.783 * [taylor]: Taking taylor expansion of (* z y) in x 1.783 * [taylor]: Taking taylor expansion of z in x 1.783 * [taylor]: Taking taylor expansion of y in x 1.783 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.783 * [taylor]: Taking taylor expansion of x in x 1.783 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x 1.783 * [taylor]: Taking taylor expansion of a in x 1.783 * [taylor]: Taking taylor expansion of (* y t) in x 1.783 * [taylor]: Taking taylor expansion of y in x 1.783 * [taylor]: Taking taylor expansion of t in x 1.784 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in a 1.784 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a 1.784 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a 1.784 * [taylor]: Taking taylor expansion of a in a 1.784 * [taylor]: Taking taylor expansion of (* z y) in a 1.784 * [taylor]: Taking taylor expansion of z in a 1.784 * [taylor]: Taking taylor expansion of y in a 1.784 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.784 * [taylor]: Taking taylor expansion of x in a 1.784 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a 1.784 * [taylor]: Taking taylor expansion of a in a 1.784 * [taylor]: Taking taylor expansion of (* y t) in a 1.784 * [taylor]: Taking taylor expansion of y in a 1.784 * [taylor]: Taking taylor expansion of t in a 1.784 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in t 1.784 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in t 1.784 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t 1.784 * [taylor]: Taking taylor expansion of a in t 1.784 * [taylor]: Taking taylor expansion of (* z y) in t 1.784 * [taylor]: Taking taylor expansion of z in t 1.784 * [taylor]: Taking taylor expansion of y in t 1.784 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.784 * [taylor]: Taking taylor expansion of x in t 1.784 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 1.784 * [taylor]: Taking taylor expansion of a in t 1.784 * [taylor]: Taking taylor expansion of (* y t) in t 1.784 * [taylor]: Taking taylor expansion of y in t 1.784 * [taylor]: Taking taylor expansion of t in t 1.785 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in z 1.785 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z 1.785 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z 1.785 * [taylor]: Taking taylor expansion of a in z 1.785 * [taylor]: Taking taylor expansion of (* z y) in z 1.785 * [taylor]: Taking taylor expansion of z in z 1.785 * [taylor]: Taking taylor expansion of y in z 1.785 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.785 * [taylor]: Taking taylor expansion of x in z 1.785 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z 1.785 * [taylor]: Taking taylor expansion of a in z 1.785 * [taylor]: Taking taylor expansion of (* y t) in z 1.785 * [taylor]: Taking taylor expansion of y in z 1.785 * [taylor]: Taking taylor expansion of t in z 1.785 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in y 1.785 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y 1.785 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y 1.785 * [taylor]: Taking taylor expansion of a in y 1.785 * [taylor]: Taking taylor expansion of (* z y) in y 1.785 * [taylor]: Taking taylor expansion of z in y 1.785 * [taylor]: Taking taylor expansion of y in y 1.786 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.786 * [taylor]: Taking taylor expansion of x in y 1.786 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y 1.786 * [taylor]: Taking taylor expansion of a in y 1.786 * [taylor]: Taking taylor expansion of (* y t) in y 1.786 * [taylor]: Taking taylor expansion of y in y 1.786 * [taylor]: Taking taylor expansion of t in y 1.786 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in y 1.786 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y 1.786 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y 1.786 * [taylor]: Taking taylor expansion of a in y 1.786 * [taylor]: Taking taylor expansion of (* z y) in y 1.786 * [taylor]: Taking taylor expansion of z in y 1.786 * [taylor]: Taking taylor expansion of y in y 1.787 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.787 * [taylor]: Taking taylor expansion of x in y 1.787 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y 1.787 * [taylor]: Taking taylor expansion of a in y 1.787 * [taylor]: Taking taylor expansion of (* y t) in y 1.787 * [taylor]: Taking taylor expansion of y in y 1.787 * [taylor]: Taking taylor expansion of t in y 1.787 * [taylor]: Taking taylor expansion of (- (/ a z) (/ a t)) in z 1.787 * [taylor]: Taking taylor expansion of (/ a z) in z 1.787 * [taylor]: Taking taylor expansion of a in z 1.787 * [taylor]: Taking taylor expansion of z in z 1.788 * [taylor]: Taking taylor expansion of (/ a t) in z 1.788 * [taylor]: Taking taylor expansion of a in z 1.788 * [taylor]: Taking taylor expansion of t in z 1.788 * [taylor]: Taking taylor expansion of a in t 1.789 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.789 * [taylor]: Taking taylor expansion of x in z 1.790 * [taylor]: Taking taylor expansion of (- (/ a t)) in t 1.790 * [taylor]: Taking taylor expansion of (/ a t) in t 1.790 * [taylor]: Taking taylor expansion of a in t 1.790 * [taylor]: Taking taylor expansion of t in t 1.790 * [taylor]: Taking taylor expansion of (- a) in a 1.790 * [taylor]: Taking taylor expansion of a in a 1.791 * [taylor]: Taking taylor expansion of 0 in x 1.791 * [taylor]: Taking taylor expansion of a in a 1.791 * [taylor]: Taking taylor expansion of 0 in x 1.796 * [taylor]: Taking taylor expansion of 0 in z 1.796 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.796 * [taylor]: Taking taylor expansion of x in t 1.798 * [taylor]: Taking taylor expansion of 0 in t 1.799 * [taylor]: Taking taylor expansion of 0 in a 1.799 * [taylor]: Taking taylor expansion of 0 in x 1.799 * [taylor]: Taking taylor expansion of 0 in a 1.799 * [taylor]: Taking taylor expansion of 0 in x 1.799 * [taylor]: Taking taylor expansion of -1 in x 1.799 * [taylor]: Taking taylor expansion of 1 in x 1.802 * [taylor]: Taking taylor expansion of 0 in z 1.802 * [taylor]: Taking taylor expansion of 0 in t 1.802 * [taylor]: Taking taylor expansion of 0 in t 1.804 * [taylor]: Taking taylor expansion of 0 in t 1.804 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.804 * [taylor]: Taking taylor expansion of x in a 1.804 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.804 * [taylor]: Taking taylor expansion of x in x 1.805 * [taylor]: Taking taylor expansion of 0 in a 1.805 * [taylor]: Taking taylor expansion of 0 in x 1.806 * [taylor]: Taking taylor expansion of 0 in a 1.806 * [taylor]: Taking taylor expansion of 0 in x 1.806 * [taylor]: Taking taylor expansion of 0 in a 1.806 * [taylor]: Taking taylor expansion of 0 in x 1.806 * [taylor]: Taking taylor expansion of 0 in x 1.806 * [taylor]: Taking taylor expansion of 0 in x 1.807 * [taylor]: Taking taylor expansion of 0 in x 1.807 * [taylor]: Taking taylor expansion of 0 in x 1.808 * [approximate]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in (y z t a x) around 0 1.808 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in x 1.808 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x 1.808 * [taylor]: Taking taylor expansion of a in x 1.808 * [taylor]: Taking taylor expansion of (* y t) in x 1.808 * [taylor]: Taking taylor expansion of y in x 1.808 * [taylor]: Taking taylor expansion of t in x 1.808 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x 1.808 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x 1.808 * [taylor]: Taking taylor expansion of a in x 1.808 * [taylor]: Taking taylor expansion of (* z y) in x 1.808 * [taylor]: Taking taylor expansion of z in x 1.808 * [taylor]: Taking taylor expansion of y in x 1.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.808 * [taylor]: Taking taylor expansion of x in x 1.809 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in a 1.809 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a 1.809 * [taylor]: Taking taylor expansion of a in a 1.809 * [taylor]: Taking taylor expansion of (* y t) in a 1.809 * [taylor]: Taking taylor expansion of y in a 1.809 * [taylor]: Taking taylor expansion of t in a 1.809 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a 1.809 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a 1.809 * [taylor]: Taking taylor expansion of a in a 1.809 * [taylor]: Taking taylor expansion of (* z y) in a 1.809 * [taylor]: Taking taylor expansion of z in a 1.809 * [taylor]: Taking taylor expansion of y in a 1.809 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.809 * [taylor]: Taking taylor expansion of x in a 1.809 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in t 1.809 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 1.809 * [taylor]: Taking taylor expansion of a in t 1.809 * [taylor]: Taking taylor expansion of (* y t) in t 1.809 * [taylor]: Taking taylor expansion of y in t 1.809 * [taylor]: Taking taylor expansion of t in t 1.810 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in t 1.810 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t 1.810 * [taylor]: Taking taylor expansion of a in t 1.810 * [taylor]: Taking taylor expansion of (* z y) in t 1.810 * [taylor]: Taking taylor expansion of z in t 1.810 * [taylor]: Taking taylor expansion of y in t 1.810 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.810 * [taylor]: Taking taylor expansion of x in t 1.810 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in z 1.810 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z 1.810 * [taylor]: Taking taylor expansion of a in z 1.810 * [taylor]: Taking taylor expansion of (* y t) in z 1.810 * [taylor]: Taking taylor expansion of y in z 1.810 * [taylor]: Taking taylor expansion of t in z 1.810 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z 1.810 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z 1.810 * [taylor]: Taking taylor expansion of a in z 1.810 * [taylor]: Taking taylor expansion of (* z y) in z 1.810 * [taylor]: Taking taylor expansion of z in z 1.810 * [taylor]: Taking taylor expansion of y in z 1.811 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.811 * [taylor]: Taking taylor expansion of x in z 1.811 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in y 1.811 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y 1.811 * [taylor]: Taking taylor expansion of a in y 1.811 * [taylor]: Taking taylor expansion of (* y t) in y 1.811 * [taylor]: Taking taylor expansion of y in y 1.811 * [taylor]: Taking taylor expansion of t in y 1.811 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y 1.811 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y 1.811 * [taylor]: Taking taylor expansion of a in y 1.811 * [taylor]: Taking taylor expansion of (* z y) in y 1.811 * [taylor]: Taking taylor expansion of z in y 1.811 * [taylor]: Taking taylor expansion of y in y 1.812 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.812 * [taylor]: Taking taylor expansion of x in y 1.812 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in y 1.812 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y 1.812 * [taylor]: Taking taylor expansion of a in y 1.812 * [taylor]: Taking taylor expansion of (* y t) in y 1.812 * [taylor]: Taking taylor expansion of y in y 1.812 * [taylor]: Taking taylor expansion of t in y 1.812 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y 1.812 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y 1.812 * [taylor]: Taking taylor expansion of a in y 1.812 * [taylor]: Taking taylor expansion of (* z y) in y 1.812 * [taylor]: Taking taylor expansion of z in y 1.812 * [taylor]: Taking taylor expansion of y in y 1.813 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.813 * [taylor]: Taking taylor expansion of x in y 1.813 * [taylor]: Taking taylor expansion of (- (/ a t) (/ a z)) in z 1.813 * [taylor]: Taking taylor expansion of (/ a t) in z 1.813 * [taylor]: Taking taylor expansion of a in z 1.813 * [taylor]: Taking taylor expansion of t in z 1.813 * [taylor]: Taking taylor expansion of (/ a z) in z 1.813 * [taylor]: Taking taylor expansion of a in z 1.813 * [taylor]: Taking taylor expansion of z in z 1.813 * [taylor]: Taking taylor expansion of (- a) in t 1.813 * [taylor]: Taking taylor expansion of a in t 1.815 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 1.815 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.815 * [taylor]: Taking taylor expansion of x in z 1.816 * [taylor]: Taking taylor expansion of (/ a t) in t 1.816 * [taylor]: Taking taylor expansion of a in t 1.816 * [taylor]: Taking taylor expansion of t in t 1.816 * [taylor]: Taking taylor expansion of a in a 1.816 * [taylor]: Taking taylor expansion of 0 in x 1.816 * [taylor]: Taking taylor expansion of (- a) in a 1.816 * [taylor]: Taking taylor expansion of a in a 1.817 * [taylor]: Taking taylor expansion of 0 in x 1.819 * [taylor]: Taking taylor expansion of 0 in z 1.819 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 1.819 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.819 * [taylor]: Taking taylor expansion of x in t 1.821 * [taylor]: Taking taylor expansion of 0 in t 1.822 * [taylor]: Taking taylor expansion of 0 in a 1.822 * [taylor]: Taking taylor expansion of 0 in x 1.822 * [taylor]: Taking taylor expansion of 0 in a 1.822 * [taylor]: Taking taylor expansion of 0 in x 1.822 * [taylor]: Taking taylor expansion of 1 in x 1.823 * [taylor]: Taking taylor expansion of -1 in x 1.825 * [taylor]: Taking taylor expansion of 0 in z 1.826 * [taylor]: Taking taylor expansion of 0 in t 1.826 * [taylor]: Taking taylor expansion of 0 in t 1.828 * [taylor]: Taking taylor expansion of 0 in t 1.828 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in a 1.828 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.828 * [taylor]: Taking taylor expansion of x in a 1.828 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.828 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.828 * [taylor]: Taking taylor expansion of x in x 1.829 * [taylor]: Taking taylor expansion of 0 in a 1.829 * [taylor]: Taking taylor expansion of 0 in x 1.830 * [taylor]: Taking taylor expansion of 0 in a 1.830 * [taylor]: Taking taylor expansion of 0 in x 1.830 * [taylor]: Taking taylor expansion of 0 in a 1.830 * [taylor]: Taking taylor expansion of 0 in x 1.831 * [taylor]: Taking taylor expansion of 0 in x 1.831 * [taylor]: Taking taylor expansion of 0 in x 1.831 * [taylor]: Taking taylor expansion of 0 in x 1.831 * [taylor]: Taking taylor expansion of 0 in x 1.832 * * * [progress]: simplifying candidates 1.834 * [simplify]: Simplifying using # : (expm1 (/ (* y (- z t)) a)) (log1p (/ (* y (- z t)) a)) (- (+ (log y) (log (- z t))) (log a)) (- (log (* y (- z t))) (log a)) (log (/ (* y (- z t)) a)) (exp (/ (* y (- z t)) a)) (/ (* (* (* y y) y) (* (* (- z t) (- z t)) (- z t))) (* (* a a) a)) (/ (* (* (* y (- z t)) (* y (- z t))) (* y (- z t))) (* (* a a) a)) (* (cbrt (/ (* y (- z t)) a)) (cbrt (/ (* y (- z t)) a))) (cbrt (/ (* y (- z t)) a)) (* (* (/ (* y (- z t)) a) (/ (* y (- z t)) a)) (/ (* y (- z t)) a)) (sqrt (/ (* y (- z t)) a)) (sqrt (/ (* y (- z t)) a)) (- (* y (- z t))) (- a) (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)) (/ y (sqrt a)) (/ (- z t) (sqrt a)) (/ y 1) (/ (- z t) a) (/ 1 a) (/ a (* y (- z t))) (/ (* y (- z t)) (* (cbrt a) (cbrt a))) (/ (* y (- z t)) (sqrt a)) (/ (* y (- z t)) 1) (/ a (- z t)) (* a (+ (* z z) (+ (* t t) (* z t)))) (* a (+ z t)) (expm1 (* y (- z t))) (log1p (* y (- z t))) (* y (- z t)) (+ (log y) (log (- z t))) (log (* y (- z t))) (exp (* y (- z t))) (* (* (* y y) y) (* (* (- z t) (- z t)) (- z t))) (* (cbrt (* y (- z t))) (cbrt (* y (- z t)))) (cbrt (* y (- z t))) (* (* (* y (- z t)) (* y (- z t))) (* y (- z t))) (sqrt (* y (- z t))) (sqrt (* y (- z t))) (* (sqrt y) (sqrt (- z t))) (* (sqrt y) (sqrt (- z t))) (* y (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* y (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (* y (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt t) (sqrt t))))) (* y (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (* y (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1)))) (* y (fma (- t) 1 (* t 1))) (* y (fma (sqrt z) (sqrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* y (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (* y (fma (sqrt z) (sqrt z) (- (* (sqrt t) (sqrt t))))) (* y (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (* y (fma (sqrt z) (sqrt z) (- (* t 1)))) (* y (fma (- t) 1 (* t 1))) (* y (fma 1 z (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* y (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (* y (fma 1 z (- (* (sqrt t) (sqrt t))))) (* y (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (* y (fma 1 z (- (* t 1)))) (* y (fma (- t) 1 (* t 1))) (* y z) (* y (- t)) (* y z) (* y (- t)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))) y) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) y) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt t) (sqrt t)))) y) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) y) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1))) y) (* (fma (- t) 1 (* t 1)) y) (* (fma (sqrt z) (sqrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))) y) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) y) (* (fma (sqrt z) (sqrt z) (- (* (sqrt t) (sqrt t)))) y) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) y) (* (fma (sqrt z) (sqrt z) (- (* t 1))) y) (* (fma (- t) 1 (* t 1)) y) (* (fma 1 z (- (* (cbrt t) (* (cbrt t) (cbrt t))))) y) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) y) (* (fma 1 z (- (* (sqrt t) (sqrt t)))) y) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) y) (* (fma 1 z (- (* t 1))) y) (* (fma (- t) 1 (* t 1)) y) (* z y) (* (- t) y) (* z y) (* (- t) y) (* y (* (cbrt (- z t)) (cbrt (- z t)))) (* y (sqrt (- z t))) (* y 1) (* y (+ (sqrt z) (sqrt t))) (* y 1) (* (cbrt y) (- z t)) (* (sqrt y) (- z t)) (* y (- z t)) (* y (- (pow z 3) (pow t 3))) (* y (- (* z z) (* t t))) (expm1 (+ (/ (* y (- z t)) a) x)) (log1p (+ (/ (* y (- z t)) a) x)) (* (exp (/ (* y (- z t)) a)) (exp x)) (log (+ (/ (* y (- z t)) a) x)) (exp (+ (/ (* y (- z t)) a) x)) (* (cbrt (+ (/ (* y (- z t)) a) x)) (cbrt (+ (/ (* y (- z t)) a) x))) (cbrt (+ (/ (* y (- z t)) a) x)) (* (* (+ (/ (* y (- z t)) a) x) (+ (/ (* y (- z t)) a) x)) (+ (/ (* y (- z t)) a) x)) (sqrt (+ (/ (* y (- z t)) a) x)) (sqrt (+ (/ (* y (- z t)) a) x)) (+ (pow (/ (* y (- z t)) a) 3) (pow x 3)) (+ (* (/ (* y (- z t)) a) (/ (* y (- z t)) a)) (- (* x x) (* (/ (* y (- z t)) a) x))) (- (* (/ (* y (- z t)) a) (/ (* y (- z t)) a)) (* x x)) (- (/ (* y (- z t)) a) x) (+ (/ (* y (- z t)) a) x) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (- (* z y) (* t y)) (- (* z y) (* t y)) (- (* z y) (* t y)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) 1.838 * * [simplify]: iteration 0 : 170 enodes (cost 1262 ) 1.884 * * [simplify]: iteration 1 : 381 enodes (cost 1061 ) 1.997 * * [simplify]: iteration 2 : 1039 enodes (cost 881 ) 2.872 * * [simplify]: iteration 3 : 4907 enodes (cost 817 ) 3.877 * * [simplify]: iteration done : 5000 enodes (cost 817 ) 3.878 * [simplify]: Simplified to: (expm1 (/ (* y (- z t)) a)) (log1p (/ (* y (- z t)) a)) (log (/ (* y (- z t)) a)) (log (/ (* y (- z t)) a)) (log (/ (* y (- z t)) a)) (exp (/ (* y (- z t)) a)) (pow (/ (- z t) (/ a y)) 3) (pow (/ (- z t) (/ a y)) 3) (* (cbrt (/ (* y (- z t)) a)) (cbrt (/ (* y (- z t)) a))) (cbrt (/ (* y (- z t)) a)) (pow (/ (- z t) (/ a y)) 3) (sqrt (/ (* y (- z t)) a)) (sqrt (/ (* y (- z t)) a)) (- (* y (- z t))) (- a) (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)) (/ y (sqrt a)) (/ (- z t) (sqrt a)) y (/ (- z t) a) (/ 1 a) (/ a (* y (- z t))) (/ (* y (- z t)) (* (cbrt a) (cbrt a))) (/ (* y (- z t)) (sqrt a)) (* y (- z t)) (/ a (- z t)) (* a (fma z z (* t (+ z t)))) (* a (+ z t)) (expm1 (* y (- z t))) (log1p (* y (- z t))) (* y (- z t)) (log (* y (- z t))) (log (* y (- z t))) (exp (* y (- z t))) (pow (* y (- z t)) 3) (* (cbrt (* y (- z t))) (cbrt (* y (- z t)))) (cbrt (* y (- z t))) (pow (* y (- z t)) 3) (sqrt (* y (- z t))) (sqrt (* y (- z t))) (* (sqrt y) (sqrt (- z t))) (* (sqrt y) (sqrt (- z t))) (* (- (pow (cbrt z) 3) t) y) (* y (* 0 t)) (* (- (pow (cbrt z) 3) t) y) (* y (* 0 t)) (* (- (pow (cbrt z) 3) t) y) (* y (* 0 t)) (* y (- z t)) (* y (* 0 t)) (* y (- z t)) (* y (* 0 t)) (* y (- z t)) (* y (* 0 t)) (* y (- z t)) (* y (* 0 t)) (* y (- z t)) (* y (* 0 t)) (* y (- z t)) (* y (* 0 t)) (* y z) (* y (- t)) (* y z) (* y (- t)) (* (- (pow (cbrt z) 3) t) y) (* y (* 0 t)) (* (- (pow (cbrt z) 3) t) y) (* y (* 0 t)) (* (- (pow (cbrt z) 3) t) y) (* y (* 0 t)) (* y (- z t)) (* y (* 0 t)) (* y (- z t)) (* y (* 0 t)) (* y (- z t)) (* y (* 0 t)) (* y (- z t)) (* y (* 0 t)) (* y (- z t)) (* y (* 0 t)) (* y (- z t)) (* y (* 0 t)) (* y z) (* y (- t)) (* y z) (* y (- t)) (* y (* (cbrt (- z t)) (cbrt (- z t)))) (* y (sqrt (- z t))) y (* y (+ (sqrt z) (sqrt t))) y (* (cbrt y) (- z t)) (* (sqrt y) (- z t)) (* y (- z t)) (* y (- (pow z 3) (pow t 3))) (* y (- (* z z) (* t t))) (expm1 (fma (/ y a) (- z t) x)) (log1p (fma (/ y a) (- z t) x)) (exp (fma (/ y a) (- z t) x)) (log (fma (/ y a) (- z t) x)) (exp (fma (/ y a) (- z t) x)) (* (cbrt (fma (/ y a) (- z t) x)) (cbrt (fma (/ y a) (- z t) x))) (cbrt (fma (/ y a) (- z t) x)) (pow (fma (/ y a) (- z t) x) 3) (sqrt (fma (/ y a) (- z t) x)) (sqrt (fma (/ y a) (- z t) x)) (+ (pow (/ (* y (- z t)) a) 3) (pow x 3)) (fma x x (* (/ (- z t) (/ a y)) (- (/ (* y (- z t)) a) x))) (* (fma (/ y a) (- z t) x) (- (/ (* y (- z t)) a) x)) (- (/ (* y (- z t)) a) x) (fma (/ y a) (- z t) x) (/ (- z t) (/ a y)) (/ (- z t) (/ a y)) (/ (- z t) (/ a y)) (* y (- z t)) (* y (- z t)) (* y (- z t)) (fma (/ y a) (- z t) x) (fma (/ y a) (- z t) x) (fma (/ y a) (- z t) x) 3.879 * * * [progress]: adding candidates to table 4.080 * * [progress]: iteration 3 / 4 4.080 * * * [progress]: picking best candidate 4.092 * * * * [pick]: Picked # 4.092 * * * [progress]: localizing error 4.099 * * * [progress]: generating rewritten candidates 4.099 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 4.111 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 4.184 * * * [progress]: generating series expansions 4.184 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 4.184 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) a) in (z t a y) around 0 4.184 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y 4.184 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 4.184 * [taylor]: Taking taylor expansion of y in y 4.184 * [taylor]: Taking taylor expansion of (- z t) in y 4.184 * [taylor]: Taking taylor expansion of z in y 4.184 * [taylor]: Taking taylor expansion of t in y 4.184 * [taylor]: Taking taylor expansion of a in y 4.185 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in a 4.185 * [taylor]: Taking taylor expansion of (* y (- z t)) in a 4.185 * [taylor]: Taking taylor expansion of y in a 4.185 * [taylor]: Taking taylor expansion of (- z t) in a 4.185 * [taylor]: Taking taylor expansion of z in a 4.185 * [taylor]: Taking taylor expansion of t in a 4.185 * [taylor]: Taking taylor expansion of a in a 4.185 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in t 4.185 * [taylor]: Taking taylor expansion of (* y (- z t)) in t 4.185 * [taylor]: Taking taylor expansion of y in t 4.186 * [taylor]: Taking taylor expansion of (- z t) in t 4.186 * [taylor]: Taking taylor expansion of z in t 4.186 * [taylor]: Taking taylor expansion of t in t 4.186 * [taylor]: Taking taylor expansion of a in t 4.186 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in z 4.186 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 4.186 * [taylor]: Taking taylor expansion of y in z 4.186 * [taylor]: Taking taylor expansion of (- z t) in z 4.186 * [taylor]: Taking taylor expansion of z in z 4.186 * [taylor]: Taking taylor expansion of t in z 4.186 * [taylor]: Taking taylor expansion of a in z 4.186 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in z 4.186 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 4.186 * [taylor]: Taking taylor expansion of y in z 4.186 * [taylor]: Taking taylor expansion of (- z t) in z 4.186 * [taylor]: Taking taylor expansion of z in z 4.186 * [taylor]: Taking taylor expansion of t in z 4.186 * [taylor]: Taking taylor expansion of a in z 4.186 * [taylor]: Taking taylor expansion of (* -1 (/ (* t y) a)) in t 4.186 * [taylor]: Taking taylor expansion of -1 in t 4.186 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t 4.186 * [taylor]: Taking taylor expansion of (* t y) in t 4.186 * [taylor]: Taking taylor expansion of t in t 4.186 * [taylor]: Taking taylor expansion of y in t 4.186 * [taylor]: Taking taylor expansion of a in t 4.187 * [taylor]: Taking taylor expansion of (/ y a) in t 4.188 * [taylor]: Taking taylor expansion of y in t 4.188 * [taylor]: Taking taylor expansion of a in t 4.188 * [taylor]: Taking taylor expansion of (/ y a) in a 4.188 * [taylor]: Taking taylor expansion of y in a 4.188 * [taylor]: Taking taylor expansion of a in a 4.188 * [taylor]: Taking taylor expansion of y in y 4.188 * [taylor]: Taking taylor expansion of (* -1 (/ y a)) in a 4.188 * [taylor]: Taking taylor expansion of -1 in a 4.188 * [taylor]: Taking taylor expansion of (/ y a) in a 4.188 * [taylor]: Taking taylor expansion of y in a 4.188 * [taylor]: Taking taylor expansion of a in a 4.188 * [taylor]: Taking taylor expansion of (* -1 y) in y 4.188 * [taylor]: Taking taylor expansion of -1 in y 4.188 * [taylor]: Taking taylor expansion of y in y 4.189 * [taylor]: Taking taylor expansion of 0 in t 4.189 * [taylor]: Taking taylor expansion of 0 in a 4.189 * [taylor]: Taking taylor expansion of 0 in a 4.191 * [taylor]: Taking taylor expansion of 0 in a 4.191 * [taylor]: Taking taylor expansion of 0 in y 4.192 * [taylor]: Taking taylor expansion of 0 in y 4.194 * [taylor]: Taking taylor expansion of 0 in t 4.194 * [taylor]: Taking taylor expansion of 0 in a 4.194 * [taylor]: Taking taylor expansion of 0 in a 4.194 * [taylor]: Taking taylor expansion of 0 in a 4.195 * [taylor]: Taking taylor expansion of 0 in a 4.196 * [taylor]: Taking taylor expansion of 0 in y 4.196 * [taylor]: Taking taylor expansion of 0 in y 4.196 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (z t a y) around 0 4.196 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 4.196 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 4.196 * [taylor]: Taking taylor expansion of a in y 4.196 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 4.196 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.196 * [taylor]: Taking taylor expansion of z in y 4.196 * [taylor]: Taking taylor expansion of (/ 1 t) in y 4.196 * [taylor]: Taking taylor expansion of t in y 4.196 * [taylor]: Taking taylor expansion of y in y 4.196 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a 4.196 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 4.196 * [taylor]: Taking taylor expansion of a in a 4.196 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 4.196 * [taylor]: Taking taylor expansion of (/ 1 z) in a 4.196 * [taylor]: Taking taylor expansion of z in a 4.196 * [taylor]: Taking taylor expansion of (/ 1 t) in a 4.196 * [taylor]: Taking taylor expansion of t in a 4.197 * [taylor]: Taking taylor expansion of y in a 4.198 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t 4.198 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t 4.198 * [taylor]: Taking taylor expansion of a in t 4.198 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 4.198 * [taylor]: Taking taylor expansion of (/ 1 z) in t 4.198 * [taylor]: Taking taylor expansion of z in t 4.198 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.198 * [taylor]: Taking taylor expansion of t in t 4.198 * [taylor]: Taking taylor expansion of y in t 4.199 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z 4.199 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 4.199 * [taylor]: Taking taylor expansion of a in z 4.199 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 4.199 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.199 * [taylor]: Taking taylor expansion of z in z 4.199 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.199 * [taylor]: Taking taylor expansion of t in z 4.199 * [taylor]: Taking taylor expansion of y in z 4.200 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z 4.200 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 4.200 * [taylor]: Taking taylor expansion of a in z 4.200 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 4.200 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.200 * [taylor]: Taking taylor expansion of z in z 4.200 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.200 * [taylor]: Taking taylor expansion of t in z 4.200 * [taylor]: Taking taylor expansion of y in z 4.200 * [taylor]: Taking taylor expansion of (/ a y) in t 4.200 * [taylor]: Taking taylor expansion of a in t 4.201 * [taylor]: Taking taylor expansion of y in t 4.202 * [taylor]: Taking taylor expansion of (- (/ a (* y t))) in t 4.202 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 4.202 * [taylor]: Taking taylor expansion of a in t 4.202 * [taylor]: Taking taylor expansion of (* y t) in t 4.202 * [taylor]: Taking taylor expansion of y in t 4.202 * [taylor]: Taking taylor expansion of t in t 4.202 * [taylor]: Taking taylor expansion of (- (/ a y)) in a 4.202 * [taylor]: Taking taylor expansion of (/ a y) in a 4.202 * [taylor]: Taking taylor expansion of a in a 4.202 * [taylor]: Taking taylor expansion of y in a 4.202 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 4.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.202 * [taylor]: Taking taylor expansion of y in y 4.203 * [taylor]: Taking taylor expansion of (/ a y) in a 4.203 * [taylor]: Taking taylor expansion of a in a 4.203 * [taylor]: Taking taylor expansion of y in a 4.203 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.203 * [taylor]: Taking taylor expansion of y in y 4.205 * [taylor]: Taking taylor expansion of 0 in t 4.206 * [taylor]: Taking taylor expansion of 0 in a 4.206 * [taylor]: Taking taylor expansion of 0 in y 4.206 * [taylor]: Taking taylor expansion of 0 in a 4.206 * [taylor]: Taking taylor expansion of 0 in y 4.206 * [taylor]: Taking taylor expansion of 0 in y 4.206 * [taylor]: Taking taylor expansion of 0 in y 4.213 * [taylor]: Taking taylor expansion of 0 in t 4.213 * [taylor]: Taking taylor expansion of 0 in a 4.213 * [taylor]: Taking taylor expansion of 0 in y 4.214 * [taylor]: Taking taylor expansion of 0 in a 4.214 * [taylor]: Taking taylor expansion of 0 in y 4.215 * [taylor]: Taking taylor expansion of 0 in a 4.215 * [taylor]: Taking taylor expansion of 0 in y 4.215 * [taylor]: Taking taylor expansion of 0 in y 4.215 * [taylor]: Taking taylor expansion of 0 in y 4.215 * [taylor]: Taking taylor expansion of 0 in y 4.215 * [taylor]: Taking taylor expansion of 0 in y 4.216 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in (z t a y) around 0 4.216 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y 4.216 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y 4.216 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 4.216 * [taylor]: Taking taylor expansion of (/ 1 t) in y 4.216 * [taylor]: Taking taylor expansion of t in y 4.216 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.216 * [taylor]: Taking taylor expansion of z in y 4.216 * [taylor]: Taking taylor expansion of a in y 4.216 * [taylor]: Taking taylor expansion of y in y 4.216 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in a 4.216 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a 4.216 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 4.216 * [taylor]: Taking taylor expansion of (/ 1 t) in a 4.216 * [taylor]: Taking taylor expansion of t in a 4.216 * [taylor]: Taking taylor expansion of (/ 1 z) in a 4.216 * [taylor]: Taking taylor expansion of z in a 4.216 * [taylor]: Taking taylor expansion of a in a 4.216 * [taylor]: Taking taylor expansion of y in a 4.218 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in t 4.218 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t 4.218 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 4.218 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.218 * [taylor]: Taking taylor expansion of t in t 4.218 * [taylor]: Taking taylor expansion of (/ 1 z) in t 4.218 * [taylor]: Taking taylor expansion of z in t 4.218 * [taylor]: Taking taylor expansion of a in t 4.218 * [taylor]: Taking taylor expansion of y in t 4.218 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z 4.218 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 4.218 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 4.219 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.219 * [taylor]: Taking taylor expansion of t in z 4.219 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.219 * [taylor]: Taking taylor expansion of z in z 4.219 * [taylor]: Taking taylor expansion of a in z 4.219 * [taylor]: Taking taylor expansion of y in z 4.219 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z 4.219 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 4.220 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 4.220 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.220 * [taylor]: Taking taylor expansion of t in z 4.220 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.220 * [taylor]: Taking taylor expansion of z in z 4.220 * [taylor]: Taking taylor expansion of a in z 4.220 * [taylor]: Taking taylor expansion of y in z 4.221 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in t 4.221 * [taylor]: Taking taylor expansion of -1 in t 4.221 * [taylor]: Taking taylor expansion of (/ a y) in t 4.221 * [taylor]: Taking taylor expansion of a in t 4.221 * [taylor]: Taking taylor expansion of y in t 4.222 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 4.222 * [taylor]: Taking taylor expansion of a in t 4.222 * [taylor]: Taking taylor expansion of (* y t) in t 4.222 * [taylor]: Taking taylor expansion of y in t 4.222 * [taylor]: Taking taylor expansion of t in t 4.222 * [taylor]: Taking taylor expansion of (/ a y) in a 4.222 * [taylor]: Taking taylor expansion of a in a 4.222 * [taylor]: Taking taylor expansion of y in a 4.222 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.222 * [taylor]: Taking taylor expansion of y in y 4.223 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in a 4.223 * [taylor]: Taking taylor expansion of -1 in a 4.223 * [taylor]: Taking taylor expansion of (/ a y) in a 4.223 * [taylor]: Taking taylor expansion of a in a 4.223 * [taylor]: Taking taylor expansion of y in a 4.223 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.223 * [taylor]: Taking taylor expansion of -1 in y 4.223 * [taylor]: Taking taylor expansion of y in y 4.225 * [taylor]: Taking taylor expansion of 0 in t 4.225 * [taylor]: Taking taylor expansion of 0 in a 4.225 * [taylor]: Taking taylor expansion of 0 in y 4.226 * [taylor]: Taking taylor expansion of 0 in a 4.226 * [taylor]: Taking taylor expansion of 0 in y 4.226 * [taylor]: Taking taylor expansion of 0 in y 4.226 * [taylor]: Taking taylor expansion of 0 in y 4.229 * [taylor]: Taking taylor expansion of 0 in t 4.229 * [taylor]: Taking taylor expansion of 0 in a 4.229 * [taylor]: Taking taylor expansion of 0 in y 4.230 * [taylor]: Taking taylor expansion of 0 in a 4.230 * [taylor]: Taking taylor expansion of 0 in y 4.231 * [taylor]: Taking taylor expansion of 0 in a 4.231 * [taylor]: Taking taylor expansion of 0 in y 4.231 * [taylor]: Taking taylor expansion of 0 in y 4.231 * [taylor]: Taking taylor expansion of 0 in y 4.231 * [taylor]: Taking taylor expansion of 0 in y 4.232 * [taylor]: Taking taylor expansion of 0 in y 4.233 * * * * [progress]: [ 2 / 2 ] generating series at (2) 4.233 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in (z t a y x) around 0 4.233 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in x 4.233 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in x 4.233 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x 4.233 * [taylor]: Taking taylor expansion of (* z y) in x 4.233 * [taylor]: Taking taylor expansion of z in x 4.233 * [taylor]: Taking taylor expansion of y in x 4.233 * [taylor]: Taking taylor expansion of a in x 4.233 * [taylor]: Taking taylor expansion of x in x 4.233 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x 4.233 * [taylor]: Taking taylor expansion of (* t y) in x 4.233 * [taylor]: Taking taylor expansion of t in x 4.233 * [taylor]: Taking taylor expansion of y in x 4.233 * [taylor]: Taking taylor expansion of a in x 4.233 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in y 4.233 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in y 4.233 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y 4.233 * [taylor]: Taking taylor expansion of (* z y) in y 4.233 * [taylor]: Taking taylor expansion of z in y 4.233 * [taylor]: Taking taylor expansion of y in y 4.233 * [taylor]: Taking taylor expansion of a in y 4.234 * [taylor]: Taking taylor expansion of x in y 4.234 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y 4.234 * [taylor]: Taking taylor expansion of (* t y) in y 4.234 * [taylor]: Taking taylor expansion of t in y 4.234 * [taylor]: Taking taylor expansion of y in y 4.234 * [taylor]: Taking taylor expansion of a in y 4.234 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in a 4.234 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in a 4.234 * [taylor]: Taking taylor expansion of (/ (* z y) a) in a 4.234 * [taylor]: Taking taylor expansion of (* z y) in a 4.234 * [taylor]: Taking taylor expansion of z in a 4.234 * [taylor]: Taking taylor expansion of y in a 4.234 * [taylor]: Taking taylor expansion of a in a 4.234 * [taylor]: Taking taylor expansion of x in a 4.234 * [taylor]: Taking taylor expansion of (/ (* t y) a) in a 4.235 * [taylor]: Taking taylor expansion of (* t y) in a 4.235 * [taylor]: Taking taylor expansion of t in a 4.235 * [taylor]: Taking taylor expansion of y in a 4.235 * [taylor]: Taking taylor expansion of a in a 4.235 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in t 4.235 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in t 4.235 * [taylor]: Taking taylor expansion of (/ (* z y) a) in t 4.235 * [taylor]: Taking taylor expansion of (* z y) in t 4.235 * [taylor]: Taking taylor expansion of z in t 4.235 * [taylor]: Taking taylor expansion of y in t 4.235 * [taylor]: Taking taylor expansion of a in t 4.235 * [taylor]: Taking taylor expansion of x in t 4.235 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t 4.235 * [taylor]: Taking taylor expansion of (* t y) in t 4.235 * [taylor]: Taking taylor expansion of t in t 4.235 * [taylor]: Taking taylor expansion of y in t 4.235 * [taylor]: Taking taylor expansion of a in t 4.235 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in z 4.235 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in z 4.235 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z 4.235 * [taylor]: Taking taylor expansion of (* z y) in z 4.235 * [taylor]: Taking taylor expansion of z in z 4.235 * [taylor]: Taking taylor expansion of y in z 4.236 * [taylor]: Taking taylor expansion of a in z 4.236 * [taylor]: Taking taylor expansion of x in z 4.236 * [taylor]: Taking taylor expansion of (/ (* t y) a) in z 4.236 * [taylor]: Taking taylor expansion of (* t y) in z 4.236 * [taylor]: Taking taylor expansion of t in z 4.236 * [taylor]: Taking taylor expansion of y in z 4.236 * [taylor]: Taking taylor expansion of a in z 4.236 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in z 4.236 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in z 4.236 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z 4.236 * [taylor]: Taking taylor expansion of (* z y) in z 4.236 * [taylor]: Taking taylor expansion of z in z 4.236 * [taylor]: Taking taylor expansion of y in z 4.236 * [taylor]: Taking taylor expansion of a in z 4.237 * [taylor]: Taking taylor expansion of x in z 4.237 * [taylor]: Taking taylor expansion of (/ (* t y) a) in z 4.237 * [taylor]: Taking taylor expansion of (* t y) in z 4.237 * [taylor]: Taking taylor expansion of t in z 4.237 * [taylor]: Taking taylor expansion of y in z 4.237 * [taylor]: Taking taylor expansion of a in z 4.237 * [taylor]: Taking taylor expansion of (- x (/ (* t y) a)) in t 4.237 * [taylor]: Taking taylor expansion of x in t 4.237 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t 4.237 * [taylor]: Taking taylor expansion of (* t y) in t 4.237 * [taylor]: Taking taylor expansion of t in t 4.237 * [taylor]: Taking taylor expansion of y in t 4.237 * [taylor]: Taking taylor expansion of a in t 4.238 * [taylor]: Taking taylor expansion of x in a 4.238 * [taylor]: Taking taylor expansion of (/ y a) in t 4.238 * [taylor]: Taking taylor expansion of y in t 4.238 * [taylor]: Taking taylor expansion of a in t 4.238 * [taylor]: Taking taylor expansion of (/ y a) in a 4.238 * [taylor]: Taking taylor expansion of y in a 4.238 * [taylor]: Taking taylor expansion of a in a 4.238 * [taylor]: Taking taylor expansion of y in y 4.238 * [taylor]: Taking taylor expansion of 0 in x 4.238 * [taylor]: Taking taylor expansion of (- (/ y a)) in a 4.239 * [taylor]: Taking taylor expansion of (/ y a) in a 4.239 * [taylor]: Taking taylor expansion of y in a 4.239 * [taylor]: Taking taylor expansion of a in a 4.239 * [taylor]: Taking taylor expansion of (- y) in y 4.239 * [taylor]: Taking taylor expansion of y in y 4.239 * [taylor]: Taking taylor expansion of 0 in x 4.239 * [taylor]: Taking taylor expansion of x in y 4.239 * [taylor]: Taking taylor expansion of x in x 4.241 * [taylor]: Taking taylor expansion of 0 in t 4.241 * [taylor]: Taking taylor expansion of 0 in a 4.241 * [taylor]: Taking taylor expansion of 0 in a 4.243 * [taylor]: Taking taylor expansion of 0 in a 4.243 * [taylor]: Taking taylor expansion of 0 in y 4.243 * [taylor]: Taking taylor expansion of 0 in x 4.244 * [taylor]: Taking taylor expansion of 0 in y 4.244 * [taylor]: Taking taylor expansion of 0 in x 4.244 * [taylor]: Taking taylor expansion of 0 in y 4.244 * [taylor]: Taking taylor expansion of 0 in x 4.245 * [approximate]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in (z t a y x) around 0 4.245 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in x 4.245 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x 4.245 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x 4.245 * [taylor]: Taking taylor expansion of a in x 4.245 * [taylor]: Taking taylor expansion of (* z y) in x 4.245 * [taylor]: Taking taylor expansion of z in x 4.245 * [taylor]: Taking taylor expansion of y in x 4.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.245 * [taylor]: Taking taylor expansion of x in x 4.245 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x 4.245 * [taylor]: Taking taylor expansion of a in x 4.246 * [taylor]: Taking taylor expansion of (* y t) in x 4.246 * [taylor]: Taking taylor expansion of y in x 4.246 * [taylor]: Taking taylor expansion of t in x 4.246 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in y 4.246 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y 4.246 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y 4.246 * [taylor]: Taking taylor expansion of a in y 4.246 * [taylor]: Taking taylor expansion of (* z y) in y 4.246 * [taylor]: Taking taylor expansion of z in y 4.246 * [taylor]: Taking taylor expansion of y in y 4.246 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.246 * [taylor]: Taking taylor expansion of x in y 4.246 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y 4.246 * [taylor]: Taking taylor expansion of a in y 4.246 * [taylor]: Taking taylor expansion of (* y t) in y 4.246 * [taylor]: Taking taylor expansion of y in y 4.246 * [taylor]: Taking taylor expansion of t in y 4.247 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in a 4.247 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a 4.247 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a 4.247 * [taylor]: Taking taylor expansion of a in a 4.247 * [taylor]: Taking taylor expansion of (* z y) in a 4.247 * [taylor]: Taking taylor expansion of z in a 4.247 * [taylor]: Taking taylor expansion of y in a 4.247 * [taylor]: Taking taylor expansion of (/ 1 x) in a 4.247 * [taylor]: Taking taylor expansion of x in a 4.247 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a 4.247 * [taylor]: Taking taylor expansion of a in a 4.247 * [taylor]: Taking taylor expansion of (* y t) in a 4.247 * [taylor]: Taking taylor expansion of y in a 4.247 * [taylor]: Taking taylor expansion of t in a 4.247 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in t 4.247 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in t 4.247 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t 4.247 * [taylor]: Taking taylor expansion of a in t 4.247 * [taylor]: Taking taylor expansion of (* z y) in t 4.247 * [taylor]: Taking taylor expansion of z in t 4.247 * [taylor]: Taking taylor expansion of y in t 4.247 * [taylor]: Taking taylor expansion of (/ 1 x) in t 4.247 * [taylor]: Taking taylor expansion of x in t 4.247 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 4.247 * [taylor]: Taking taylor expansion of a in t 4.247 * [taylor]: Taking taylor expansion of (* y t) in t 4.247 * [taylor]: Taking taylor expansion of y in t 4.247 * [taylor]: Taking taylor expansion of t in t 4.248 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in z 4.248 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z 4.248 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z 4.248 * [taylor]: Taking taylor expansion of a in z 4.248 * [taylor]: Taking taylor expansion of (* z y) in z 4.248 * [taylor]: Taking taylor expansion of z in z 4.248 * [taylor]: Taking taylor expansion of y in z 4.248 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.248 * [taylor]: Taking taylor expansion of x in z 4.248 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z 4.248 * [taylor]: Taking taylor expansion of a in z 4.248 * [taylor]: Taking taylor expansion of (* y t) in z 4.248 * [taylor]: Taking taylor expansion of y in z 4.248 * [taylor]: Taking taylor expansion of t in z 4.249 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in z 4.249 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z 4.249 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z 4.249 * [taylor]: Taking taylor expansion of a in z 4.249 * [taylor]: Taking taylor expansion of (* z y) in z 4.249 * [taylor]: Taking taylor expansion of z in z 4.249 * [taylor]: Taking taylor expansion of y in z 4.249 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.249 * [taylor]: Taking taylor expansion of x in z 4.249 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z 4.249 * [taylor]: Taking taylor expansion of a in z 4.249 * [taylor]: Taking taylor expansion of (* y t) in z 4.249 * [taylor]: Taking taylor expansion of y in z 4.249 * [taylor]: Taking taylor expansion of t in z 4.249 * [taylor]: Taking taylor expansion of (/ a y) in t 4.249 * [taylor]: Taking taylor expansion of a in t 4.249 * [taylor]: Taking taylor expansion of y in t 4.250 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ a (* y t))) in t 4.250 * [taylor]: Taking taylor expansion of (/ 1 x) in t 4.250 * [taylor]: Taking taylor expansion of x in t 4.250 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 4.250 * [taylor]: Taking taylor expansion of a in t 4.250 * [taylor]: Taking taylor expansion of (* y t) in t 4.251 * [taylor]: Taking taylor expansion of y in t 4.251 * [taylor]: Taking taylor expansion of t in t 4.251 * [taylor]: Taking taylor expansion of (- (/ a y)) in a 4.251 * [taylor]: Taking taylor expansion of (/ a y) in a 4.251 * [taylor]: Taking taylor expansion of a in a 4.251 * [taylor]: Taking taylor expansion of y in a 4.251 * [taylor]: Taking taylor expansion of (/ a y) in a 4.251 * [taylor]: Taking taylor expansion of a in a 4.251 * [taylor]: Taking taylor expansion of y in a 4.253 * [taylor]: Taking taylor expansion of 0 in t 4.254 * [taylor]: Taking taylor expansion of (/ 1 x) in a 4.254 * [taylor]: Taking taylor expansion of x in a 4.254 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.255 * [taylor]: Taking taylor expansion of x in y 4.255 * [taylor]: Taking taylor expansion of 0 in a 4.255 * [taylor]: Taking taylor expansion of 0 in y 4.255 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 4.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.255 * [taylor]: Taking taylor expansion of y in y 4.255 * [taylor]: Taking taylor expansion of -1 in x 4.256 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.256 * [taylor]: Taking taylor expansion of y in y 4.256 * [taylor]: Taking taylor expansion of 1 in x 4.259 * [taylor]: Taking taylor expansion of 0 in t 4.259 * [taylor]: Taking taylor expansion of 0 in a 4.259 * [taylor]: Taking taylor expansion of 0 in y 4.260 * [taylor]: Taking taylor expansion of 0 in a 4.260 * [taylor]: Taking taylor expansion of 0 in y 4.261 * [taylor]: Taking taylor expansion of 0 in a 4.261 * [taylor]: Taking taylor expansion of 0 in y 4.261 * [taylor]: Taking taylor expansion of 0 in y 4.261 * [taylor]: Taking taylor expansion of 0 in y 4.261 * [taylor]: Taking taylor expansion of 0 in y 4.261 * [taylor]: Taking taylor expansion of 0 in y 4.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.261 * [taylor]: Taking taylor expansion of x in x 4.262 * [taylor]: Taking taylor expansion of 0 in x 4.263 * [taylor]: Taking taylor expansion of 0 in x 4.263 * [taylor]: Taking taylor expansion of 0 in x 4.265 * [approximate]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in (z t a y x) around 0 4.265 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in x 4.265 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x 4.265 * [taylor]: Taking taylor expansion of a in x 4.265 * [taylor]: Taking taylor expansion of (* y t) in x 4.265 * [taylor]: Taking taylor expansion of y in x 4.265 * [taylor]: Taking taylor expansion of t in x 4.265 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x 4.265 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x 4.265 * [taylor]: Taking taylor expansion of a in x 4.265 * [taylor]: Taking taylor expansion of (* z y) in x 4.265 * [taylor]: Taking taylor expansion of z in x 4.265 * [taylor]: Taking taylor expansion of y in x 4.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.265 * [taylor]: Taking taylor expansion of x in x 4.266 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in y 4.266 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y 4.266 * [taylor]: Taking taylor expansion of a in y 4.266 * [taylor]: Taking taylor expansion of (* y t) in y 4.266 * [taylor]: Taking taylor expansion of y in y 4.266 * [taylor]: Taking taylor expansion of t in y 4.266 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y 4.266 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y 4.266 * [taylor]: Taking taylor expansion of a in y 4.266 * [taylor]: Taking taylor expansion of (* z y) in y 4.266 * [taylor]: Taking taylor expansion of z in y 4.266 * [taylor]: Taking taylor expansion of y in y 4.267 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.267 * [taylor]: Taking taylor expansion of x in y 4.267 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in a 4.267 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a 4.267 * [taylor]: Taking taylor expansion of a in a 4.267 * [taylor]: Taking taylor expansion of (* y t) in a 4.267 * [taylor]: Taking taylor expansion of y in a 4.267 * [taylor]: Taking taylor expansion of t in a 4.267 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a 4.267 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a 4.267 * [taylor]: Taking taylor expansion of a in a 4.267 * [taylor]: Taking taylor expansion of (* z y) in a 4.267 * [taylor]: Taking taylor expansion of z in a 4.267 * [taylor]: Taking taylor expansion of y in a 4.267 * [taylor]: Taking taylor expansion of (/ 1 x) in a 4.267 * [taylor]: Taking taylor expansion of x in a 4.267 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in t 4.267 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 4.267 * [taylor]: Taking taylor expansion of a in t 4.267 * [taylor]: Taking taylor expansion of (* y t) in t 4.267 * [taylor]: Taking taylor expansion of y in t 4.267 * [taylor]: Taking taylor expansion of t in t 4.268 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in t 4.268 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t 4.268 * [taylor]: Taking taylor expansion of a in t 4.268 * [taylor]: Taking taylor expansion of (* z y) in t 4.268 * [taylor]: Taking taylor expansion of z in t 4.268 * [taylor]: Taking taylor expansion of y in t 4.268 * [taylor]: Taking taylor expansion of (/ 1 x) in t 4.268 * [taylor]: Taking taylor expansion of x in t 4.268 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in z 4.268 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z 4.268 * [taylor]: Taking taylor expansion of a in z 4.268 * [taylor]: Taking taylor expansion of (* y t) in z 4.268 * [taylor]: Taking taylor expansion of y in z 4.268 * [taylor]: Taking taylor expansion of t in z 4.268 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z 4.268 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z 4.268 * [taylor]: Taking taylor expansion of a in z 4.268 * [taylor]: Taking taylor expansion of (* z y) in z 4.268 * [taylor]: Taking taylor expansion of z in z 4.268 * [taylor]: Taking taylor expansion of y in z 4.268 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.268 * [taylor]: Taking taylor expansion of x in z 4.269 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in z 4.269 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z 4.269 * [taylor]: Taking taylor expansion of a in z 4.269 * [taylor]: Taking taylor expansion of (* y t) in z 4.269 * [taylor]: Taking taylor expansion of y in z 4.269 * [taylor]: Taking taylor expansion of t in z 4.269 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z 4.269 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z 4.269 * [taylor]: Taking taylor expansion of a in z 4.269 * [taylor]: Taking taylor expansion of (* z y) in z 4.269 * [taylor]: Taking taylor expansion of z in z 4.269 * [taylor]: Taking taylor expansion of y in z 4.269 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.269 * [taylor]: Taking taylor expansion of x in z 4.270 * [taylor]: Taking taylor expansion of (- (/ a y)) in t 4.270 * [taylor]: Taking taylor expansion of (/ a y) in t 4.270 * [taylor]: Taking taylor expansion of a in t 4.270 * [taylor]: Taking taylor expansion of y in t 4.270 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (/ 1 x)) in t 4.271 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 4.271 * [taylor]: Taking taylor expansion of a in t 4.271 * [taylor]: Taking taylor expansion of (* y t) in t 4.271 * [taylor]: Taking taylor expansion of y in t 4.271 * [taylor]: Taking taylor expansion of t in t 4.271 * [taylor]: Taking taylor expansion of (/ 1 x) in t 4.271 * [taylor]: Taking taylor expansion of x in t 4.271 * [taylor]: Taking taylor expansion of (/ a y) in a 4.271 * [taylor]: Taking taylor expansion of a in a 4.271 * [taylor]: Taking taylor expansion of y in a 4.271 * [taylor]: Taking taylor expansion of (- (/ a y)) in a 4.271 * [taylor]: Taking taylor expansion of (/ a y) in a 4.271 * [taylor]: Taking taylor expansion of a in a 4.271 * [taylor]: Taking taylor expansion of y in a 4.273 * [taylor]: Taking taylor expansion of 0 in t 4.274 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in a 4.274 * [taylor]: Taking taylor expansion of (/ 1 x) in a 4.274 * [taylor]: Taking taylor expansion of x in a 4.274 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 4.274 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.274 * [taylor]: Taking taylor expansion of x in y 4.275 * [taylor]: Taking taylor expansion of 0 in a 4.275 * [taylor]: Taking taylor expansion of 0 in y 4.275 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.275 * [taylor]: Taking taylor expansion of y in y 4.275 * [taylor]: Taking taylor expansion of 1 in x 4.275 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 4.275 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.275 * [taylor]: Taking taylor expansion of y in y 4.276 * [taylor]: Taking taylor expansion of -1 in x 4.278 * [taylor]: Taking taylor expansion of 0 in t 4.278 * [taylor]: Taking taylor expansion of 0 in a 4.278 * [taylor]: Taking taylor expansion of 0 in y 4.279 * [taylor]: Taking taylor expansion of 0 in a 4.279 * [taylor]: Taking taylor expansion of 0 in y 4.280 * [taylor]: Taking taylor expansion of 0 in a 4.280 * [taylor]: Taking taylor expansion of 0 in y 4.280 * [taylor]: Taking taylor expansion of 0 in y 4.280 * [taylor]: Taking taylor expansion of 0 in y 4.280 * [taylor]: Taking taylor expansion of 0 in y 4.281 * [taylor]: Taking taylor expansion of 0 in y 4.281 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.281 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.281 * [taylor]: Taking taylor expansion of x in x 4.281 * [taylor]: Taking taylor expansion of 0 in x 4.282 * [taylor]: Taking taylor expansion of 0 in x 4.282 * [taylor]: Taking taylor expansion of 0 in x 4.284 * * * [progress]: simplifying candidates 4.286 * [simplify]: Simplifying using # : (expm1 (/ (- z t) (/ a y))) (log1p (/ (- z t) (/ a y))) (- (log (- z t)) (- (log a) (log y))) (- (log (- z t)) (log (/ a y))) (log (/ (- z t) (/ a y))) (exp (/ (- z t) (/ a y))) (/ (* (* (- z t) (- z t)) (- z t)) (/ (* (* a a) a) (* (* y y) y))) (/ (* (* (- z t) (- z t)) (- z t)) (* (* (/ a y) (/ a y)) (/ a y))) (* (cbrt (/ (- z t) (/ a y))) (cbrt (/ (- z t) (/ a y)))) (cbrt (/ (- z t) (/ a y))) (* (* (/ (- z t) (/ a y)) (/ (- z t) (/ a y))) (/ (- z t) (/ a y))) (sqrt (/ (- z t) (/ a y))) (sqrt (/ (- z t) (/ a y))) (- (- z t)) (- (/ a y)) (/ z (/ a y)) (/ t (/ a y)) (/ (* (cbrt (- z t)) (cbrt (- z t))) (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (cbrt (- z t)) (cbrt (/ a y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (sqrt (/ a y))) (/ (cbrt (- z t)) (sqrt (/ a y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (cbrt (- z t)) (/ (cbrt a) (cbrt y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (cbrt (- z t)) (/ (cbrt a) (sqrt y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ (* (cbrt a) (cbrt a)) 1)) (/ (cbrt (- z t)) (/ (cbrt a) y)) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (cbrt (- z t)) (/ (sqrt a) (cbrt y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ (sqrt a) (sqrt y))) (/ (cbrt (- z t)) (/ (sqrt a) (sqrt y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ (sqrt a) 1)) (/ (cbrt (- z t)) (/ (sqrt a) y)) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ 1 (* (cbrt y) (cbrt y)))) (/ (cbrt (- z t)) (/ a (cbrt y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ 1 (sqrt y))) (/ (cbrt (- z t)) (/ a (sqrt y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ 1 1)) (/ (cbrt (- z t)) (/ a y)) (/ (* (cbrt (- z t)) (cbrt (- z t))) 1) (/ (cbrt (- z t)) (/ a y)) (/ (* (cbrt (- z t)) (cbrt (- z t))) a) (/ (cbrt (- z t)) (/ 1 y)) (/ (sqrt (- z t)) (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (sqrt (- z t)) (cbrt (/ a y))) (/ (sqrt (- z t)) (sqrt (/ a y))) (/ (sqrt (- z t)) (sqrt (/ a y))) (/ (sqrt (- z t)) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (sqrt (- z t)) (/ (cbrt a) (cbrt y))) (/ (sqrt (- z t)) (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (sqrt (- z t)) (/ (cbrt a) (sqrt y))) (/ (sqrt (- z t)) (/ (* (cbrt a) (cbrt a)) 1)) (/ (sqrt (- z t)) (/ (cbrt a) y)) (/ (sqrt (- z t)) (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (sqrt (- z t)) (/ (sqrt a) (cbrt y))) (/ (sqrt (- z t)) (/ (sqrt a) (sqrt y))) (/ (sqrt (- z t)) (/ (sqrt a) (sqrt y))) (/ (sqrt (- z t)) (/ (sqrt a) 1)) (/ (sqrt (- z t)) (/ (sqrt a) y)) (/ (sqrt (- z t)) (/ 1 (* (cbrt y) (cbrt y)))) (/ (sqrt (- z t)) (/ a (cbrt y))) (/ (sqrt (- z t)) (/ 1 (sqrt y))) (/ (sqrt (- z t)) (/ a (sqrt y))) (/ (sqrt (- z t)) (/ 1 1)) (/ (sqrt (- z t)) (/ a y)) (/ (sqrt (- z t)) 1) (/ (sqrt (- z t)) (/ a y)) (/ (sqrt (- z t)) a) (/ (sqrt (- z t)) (/ 1 y)) (/ 1 (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (- z t) (cbrt (/ a y))) (/ 1 (sqrt (/ a y))) (/ (- z t) (sqrt (/ a y))) (/ 1 (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (- z t) (/ (cbrt a) (cbrt y))) (/ 1 (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (- z t) (/ (cbrt a) (sqrt y))) (/ 1 (/ (* (cbrt a) (cbrt a)) 1)) (/ (- z t) (/ (cbrt a) y)) (/ 1 (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (- z t) (/ (sqrt a) (cbrt y))) (/ 1 (/ (sqrt a) (sqrt y))) (/ (- z t) (/ (sqrt a) (sqrt y))) (/ 1 (/ (sqrt a) 1)) (/ (- z t) (/ (sqrt a) y)) (/ 1 (/ 1 (* (cbrt y) (cbrt y)))) (/ (- z t) (/ a (cbrt y))) (/ 1 (/ 1 (sqrt y))) (/ (- z t) (/ a (sqrt y))) (/ 1 (/ 1 1)) (/ (- z t) (/ a y)) (/ 1 1) (/ (- z t) (/ a y)) (/ 1 a) (/ (- z t) (/ 1 y)) (/ (+ (sqrt z) (sqrt t)) (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (- (sqrt z) (sqrt t)) (cbrt (/ a y))) (/ (+ (sqrt z) (sqrt t)) (sqrt (/ a y))) (/ (- (sqrt z) (sqrt t)) (sqrt (/ a y))) (/ (+ (sqrt z) (sqrt t)) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (- (sqrt z) (sqrt t)) (/ (cbrt a) (cbrt y))) (/ (+ (sqrt z) (sqrt t)) (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (- (sqrt z) (sqrt t)) (/ (cbrt a) (sqrt y))) (/ (+ (sqrt z) (sqrt t)) (/ (* (cbrt a) (cbrt a)) 1)) (/ (- (sqrt z) (sqrt t)) (/ (cbrt a) y)) (/ (+ (sqrt z) (sqrt t)) (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (- (sqrt z) (sqrt t)) (/ (sqrt a) (cbrt y))) (/ (+ (sqrt z) (sqrt t)) (/ (sqrt a) (sqrt y))) (/ (- (sqrt z) (sqrt t)) (/ (sqrt a) (sqrt y))) (/ (+ (sqrt z) (sqrt t)) (/ (sqrt a) 1)) (/ (- (sqrt z) (sqrt t)) (/ (sqrt a) y)) (/ (+ (sqrt z) (sqrt t)) (/ 1 (* (cbrt y) (cbrt y)))) (/ (- (sqrt z) (sqrt t)) (/ a (cbrt y))) (/ (+ (sqrt z) (sqrt t)) (/ 1 (sqrt y))) (/ (- (sqrt z) (sqrt t)) (/ a (sqrt y))) (/ (+ (sqrt z) (sqrt t)) (/ 1 1)) (/ (- (sqrt z) (sqrt t)) (/ a y)) (/ (+ (sqrt z) (sqrt t)) 1) (/ (- (sqrt z) (sqrt t)) (/ a y)) (/ (+ (sqrt z) (sqrt t)) a) (/ (- (sqrt z) (sqrt t)) (/ 1 y)) (/ 1 (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (- z t) (cbrt (/ a y))) (/ 1 (sqrt (/ a y))) (/ (- z t) (sqrt (/ a y))) (/ 1 (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (- z t) (/ (cbrt a) (cbrt y))) (/ 1 (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (- z t) (/ (cbrt a) (sqrt y))) (/ 1 (/ (* (cbrt a) (cbrt a)) 1)) (/ (- z t) (/ (cbrt a) y)) (/ 1 (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (- z t) (/ (sqrt a) (cbrt y))) (/ 1 (/ (sqrt a) (sqrt y))) (/ (- z t) (/ (sqrt a) (sqrt y))) (/ 1 (/ (sqrt a) 1)) (/ (- z t) (/ (sqrt a) y)) (/ 1 (/ 1 (* (cbrt y) (cbrt y)))) (/ (- z t) (/ a (cbrt y))) (/ 1 (/ 1 (sqrt y))) (/ (- z t) (/ a (sqrt y))) (/ 1 (/ 1 1)) (/ (- z t) (/ a y)) (/ 1 1) (/ (- z t) (/ a y)) (/ 1 a) (/ (- z t) (/ 1 y)) (/ 1 (/ a y)) (/ (/ a y) (- z t)) (/ (- z t) (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (- z t) (sqrt (/ a y))) (/ (- z t) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (- z t) (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (- z t) (/ (* (cbrt a) (cbrt a)) 1)) (/ (- z t) (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (- z t) (/ (sqrt a) (sqrt y))) (/ (- z t) (/ (sqrt a) 1)) (/ (- z t) (/ 1 (* (cbrt y) (cbrt y)))) (/ (- z t) (/ 1 (sqrt y))) (/ (- z t) (/ 1 1)) (/ (- z t) 1) (/ (- z t) a) (/ (/ a y) (cbrt (- z t))) (/ (/ a y) (sqrt (- z t))) (/ (/ a y) (- z t)) (/ (/ a y) (- (sqrt z) (sqrt t))) (/ (/ a y) (- z t)) (/ (- z t) a) (* (/ a y) (+ (* z z) (+ (* t t) (* z t)))) (* (/ a y) (+ z t)) (expm1 (+ (/ (- z t) (/ a y)) x)) (log1p (+ (/ (- z t) (/ a y)) x)) (* (exp (/ (- z t) (/ a y))) (exp x)) (log (+ (/ (- z t) (/ a y)) x)) (exp (+ (/ (- z t) (/ a y)) x)) (* (cbrt (+ (/ (- z t) (/ a y)) x)) (cbrt (+ (/ (- z t) (/ a y)) x))) (cbrt (+ (/ (- z t) (/ a y)) x)) (* (* (+ (/ (- z t) (/ a y)) x) (+ (/ (- z t) (/ a y)) x)) (+ (/ (- z t) (/ a y)) x)) (sqrt (+ (/ (- z t) (/ a y)) x)) (sqrt (+ (/ (- z t) (/ a y)) x)) (+ (pow (/ (- z t) (/ a y)) 3) (pow x 3)) (+ (* (/ (- z t) (/ a y)) (/ (- z t) (/ a y))) (- (* x x) (* (/ (- z t) (/ a y)) x))) (- (* (/ (- z t) (/ a y)) (/ (- z t) (/ a y))) (* x x)) (- (/ (- z t) (/ a y)) x) (+ (/ (- z t) (/ a y)) x) (- (/ t (/ a y)) x) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) 0 (- (+ (/ (* z y) a) x) (/ (* t y) a)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) 4.292 * * [simplify]: iteration 0 : 224 enodes (cost 1920 ) 4.346 * * [simplify]: iteration 1 : 615 enodes (cost 1786 ) 4.573 * * [simplify]: iteration 2 : 1846 enodes (cost 1697 ) 5.077 * * [simplify]: iteration done : 5001 enodes (cost 1697 ) 5.078 * [simplify]: Simplified to: (expm1 (/ (- z t) (/ a y))) (log1p (/ (- z t) (/ a y))) (log (/ (- z t) (/ a y))) (log (/ (- z t) (/ a y))) (log (/ (- z t) (/ a y))) (exp (/ (- z t) (/ a y))) (pow (/ (- z t) (/ a y)) 3) (pow (/ (- z t) (/ a y)) 3) (* (cbrt (/ (- z t) (/ a y))) (cbrt (/ (- z t) (/ a y)))) (cbrt (/ (- z t) (/ a y))) (pow (/ (- z t) (/ a y)) 3) (sqrt (/ (- z t) (/ a y))) (sqrt (/ (- z t) (/ a y))) (- (- z t)) (- (/ a y)) (/ (* z y) a) (/ (* t y) a) (/ (* (cbrt (- z t)) (cbrt (- z t))) (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (cbrt (- z t)) (cbrt (/ a y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (sqrt (/ a y))) (/ (cbrt (- z t)) (sqrt (/ a y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (cbrt (- z t)) (/ (cbrt a) (cbrt y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (cbrt (- z t)) (/ (cbrt a) (sqrt y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (* (cbrt a) (cbrt a))) (/ (cbrt (- z t)) (/ (cbrt a) y)) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (cbrt (- z t)) (/ (sqrt a) (cbrt y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ (sqrt a) (sqrt y))) (/ (cbrt (- z t)) (/ (sqrt a) (sqrt y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (sqrt a)) (/ (cbrt (- z t)) (/ (sqrt a) y)) (* (* (cbrt (- z t)) (cbrt (- z t))) (* (cbrt y) (cbrt y))) (/ (cbrt (- z t)) (/ a (cbrt y))) (* (* (cbrt (- z t)) (cbrt (- z t))) (sqrt y)) (/ (cbrt (- z t)) (/ a (sqrt y))) (* (cbrt (- z t)) (cbrt (- z t))) (/ (cbrt (- z t)) (/ a y)) (* (cbrt (- z t)) (cbrt (- z t))) (/ (cbrt (- z t)) (/ a y)) (/ (* (cbrt (- z t)) (cbrt (- z t))) a) (* (cbrt (- z t)) y) (/ (sqrt (- z t)) (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (sqrt (- z t)) (cbrt (/ a y))) (/ (sqrt (- z t)) (sqrt (/ a y))) (/ (sqrt (- z t)) (sqrt (/ a y))) (/ (sqrt (- z t)) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (sqrt (- z t)) (/ (cbrt a) (cbrt y))) (/ (sqrt (- z t)) (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (sqrt (- z t)) (/ (cbrt a) (sqrt y))) (/ (sqrt (- z t)) (* (cbrt a) (cbrt a))) (/ (sqrt (- z t)) (/ (cbrt a) y)) (/ (sqrt (- z t)) (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (sqrt (- z t)) (/ (sqrt a) (cbrt y))) (/ (sqrt (- z t)) (/ (sqrt a) (sqrt y))) (/ (sqrt (- z t)) (/ (sqrt a) (sqrt y))) (/ (sqrt (- z t)) (sqrt a)) (/ (sqrt (- z t)) (/ (sqrt a) y)) (* (sqrt (- z t)) (* (cbrt y) (cbrt y))) (/ (sqrt (- z t)) (/ a (cbrt y))) (* (sqrt (- z t)) (sqrt y)) (/ (sqrt (- z t)) (/ a (sqrt y))) (sqrt (- z t)) (/ (sqrt (- z t)) (/ a y)) (sqrt (- z t)) (/ (sqrt (- z t)) (/ a y)) (/ (sqrt (- z t)) a) (* (sqrt (- z t)) y) (/ 1 (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (- z t) (cbrt (/ a y))) (/ 1 (sqrt (/ a y))) (/ (- z t) (sqrt (/ a y))) (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a))) (/ (- z t) (/ (cbrt a) (cbrt y))) (/ (sqrt y) (* (cbrt a) (cbrt a))) (/ (- z t) (/ (cbrt a) (sqrt y))) (/ 1 (* (cbrt a) (cbrt a))) (/ (- z t) (/ (cbrt a) y)) (/ (* (cbrt y) (cbrt y)) (sqrt a)) (/ (- z t) (/ (sqrt a) (cbrt y))) (/ (sqrt y) (sqrt a)) (/ (- z t) (/ (sqrt a) (sqrt y))) (/ 1 (sqrt a)) (/ (- z t) (/ (sqrt a) y)) (* (cbrt y) (cbrt y)) (/ (- z t) (/ a (cbrt y))) (sqrt y) (/ (- z t) (/ a (sqrt y))) 1 (* y (/ (- z t) a)) 1 (* y (/ (- z t) a)) (/ 1 a) (* (- z t) y) (/ (+ (sqrt z) (sqrt t)) (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (- (sqrt z) (sqrt t)) (cbrt (/ a y))) (/ (+ (sqrt z) (sqrt t)) (sqrt (/ a y))) (/ (- (sqrt z) (sqrt t)) (sqrt (/ a y))) (/ (+ (sqrt z) (sqrt t)) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (- (sqrt z) (sqrt t)) (/ (cbrt a) (cbrt y))) (/ (+ (sqrt z) (sqrt t)) (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (- (sqrt z) (sqrt t)) (/ (cbrt a) (sqrt y))) (/ (+ (sqrt t) (sqrt z)) (* (cbrt a) (cbrt a))) (/ (- (sqrt z) (sqrt t)) (/ (cbrt a) y)) (/ (+ (sqrt z) (sqrt t)) (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (- (sqrt z) (sqrt t)) (/ (sqrt a) (cbrt y))) (/ (+ (sqrt z) (sqrt t)) (/ (sqrt a) (sqrt y))) (/ (- (sqrt z) (sqrt t)) (/ (sqrt a) (sqrt y))) (/ (+ (sqrt t) (sqrt z)) (sqrt a)) (/ (- (sqrt z) (sqrt t)) (/ (sqrt a) y)) (* (+ (sqrt t) (sqrt z)) (* (cbrt y) (cbrt y))) (/ (- (sqrt z) (sqrt t)) (/ a (cbrt y))) (* (+ (sqrt t) (sqrt z)) (sqrt y)) (/ (- (sqrt z) (sqrt t)) (/ a (sqrt y))) (+ (sqrt t) (sqrt z)) (/ (- (sqrt z) (sqrt t)) (/ a y)) (+ (sqrt t) (sqrt z)) (/ (- (sqrt z) (sqrt t)) (/ a y)) (/ (+ (sqrt z) (sqrt t)) a) (* (- (sqrt z) (sqrt t)) y) (/ 1 (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (- z t) (cbrt (/ a y))) (/ 1 (sqrt (/ a y))) (/ (- z t) (sqrt (/ a y))) (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a))) (/ (- z t) (/ (cbrt a) (cbrt y))) (/ (sqrt y) (* (cbrt a) (cbrt a))) (/ (- z t) (/ (cbrt a) (sqrt y))) (/ 1 (* (cbrt a) (cbrt a))) (/ (- z t) (/ (cbrt a) y)) (/ (* (cbrt y) (cbrt y)) (sqrt a)) (/ (- z t) (/ (sqrt a) (cbrt y))) (/ (sqrt y) (sqrt a)) (/ (- z t) (/ (sqrt a) (sqrt y))) (/ 1 (sqrt a)) (/ (- z t) (/ (sqrt a) y)) (* (cbrt y) (cbrt y)) (/ (- z t) (/ a (cbrt y))) (sqrt y) (/ (- z t) (/ a (sqrt y))) 1 (* y (/ (- z t) a)) 1 (* y (/ (- z t) a)) (/ 1 a) (* (- z t) y) (/ 1 (/ a y)) (/ (/ a y) (- z t)) (/ (- z t) (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (- z t) (sqrt (/ a y))) (/ (- z t) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (- z t) (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (- z t) (* (cbrt a) (cbrt a))) (/ (- z t) (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (- z t) (/ (sqrt a) (sqrt y))) (/ (- z t) (sqrt a)) (* (- z t) (* (cbrt y) (cbrt y))) (* (- z t) (sqrt y)) (- z t) (- z t) (/ (- z t) a) (/ (/ a y) (cbrt (- z t))) (/ (/ a y) (sqrt (- z t))) (/ (/ a y) (- z t)) (/ (/ a y) (- (sqrt z) (sqrt t))) (/ (/ a y) (- z t)) (/ (- z t) a) (* (/ a y) (fma z z (* t (+ z t)))) (* (/ a y) (+ z t)) (expm1 (fma (/ (- z t) a) y x)) (log1p (fma (/ (- z t) a) y x)) (exp (fma (/ (- z t) a) y x)) (log (fma (/ (- z t) a) y x)) (exp (fma (/ (- z t) a) y x)) (* (cbrt (fma (/ (- z t) a) y x)) (cbrt (fma (/ (- z t) a) y x))) (cbrt (fma (/ (- z t) a) y x)) (pow (fma (/ (- z t) a) y x) 3) (sqrt (fma (/ (- z t) a) y x)) (sqrt (fma (/ (- z t) a) y x)) (+ (pow (/ (- z t) (/ a y)) 3) (pow x 3)) (fma (/ (- z t) (/ a y)) (/ (- z t) (/ a y)) (* x (- x (/ (- z t) (/ a y))))) (* (- (/ (- z t) (/ a y)) x) (fma (/ (- z t) a) y x)) (- (/ (- z t) (/ a y)) x) (fma (/ (- z t) a) y x) (- (/ t (/ a y)) x) (* y (/ (- z t) a)) (* y (/ (- z t) a)) (* y (/ (- z t) a)) 0 (fma (/ (- z t) a) y x) (fma (/ (- z t) a) y x) 5.079 * * * [progress]: adding candidates to table 5.625 * * [progress]: iteration 4 / 4 5.625 * * * [progress]: picking best candidate 5.638 * * * * [pick]: Picked # 5.638 * * * [progress]: localizing error 5.647 * * * [progress]: generating rewritten candidates 5.647 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 5.647 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 5.657 * * * [progress]: generating series expansions 5.657 * * * * [progress]: [ 1 / 2 ] generating series at (2) 5.657 * [approximate]: Taking taylor expansion of (fma (- z t) (/ y a) x) in (z t a y x) around 0 5.657 * [taylor]: Taking taylor expansion of (fma (- z t) (/ y a) x) in x 5.657 * [taylor]: Rewrote expression to (+ (* (- z t) (/ y a)) x) 5.657 * [taylor]: Taking taylor expansion of (* (- z t) (/ y a)) in x 5.657 * [taylor]: Taking taylor expansion of (- z t) in x 5.657 * [taylor]: Taking taylor expansion of z in x 5.657 * [taylor]: Taking taylor expansion of t in x 5.657 * [taylor]: Taking taylor expansion of (/ y a) in x 5.657 * [taylor]: Taking taylor expansion of y in x 5.657 * [taylor]: Taking taylor expansion of a in x 5.657 * [taylor]: Taking taylor expansion of x in x 5.658 * [taylor]: Taking taylor expansion of (fma (- z t) (/ y a) x) in y 5.658 * [taylor]: Rewrote expression to (+ (* (- z t) (/ y a)) x) 5.658 * [taylor]: Taking taylor expansion of (* (- z t) (/ y a)) in y 5.658 * [taylor]: Taking taylor expansion of (- z t) in y 5.658 * [taylor]: Taking taylor expansion of z in y 5.658 * [taylor]: Taking taylor expansion of t in y 5.658 * [taylor]: Taking taylor expansion of (/ y a) in y 5.658 * [taylor]: Taking taylor expansion of y in y 5.658 * [taylor]: Taking taylor expansion of a in y 5.658 * [taylor]: Taking taylor expansion of x in y 5.658 * [taylor]: Taking taylor expansion of (fma (- z t) (/ y a) x) in a 5.658 * [taylor]: Rewrote expression to (+ (* (- z t) (/ y a)) x) 5.658 * [taylor]: Taking taylor expansion of (* (- z t) (/ y a)) in a 5.658 * [taylor]: Taking taylor expansion of (- z t) in a 5.658 * [taylor]: Taking taylor expansion of z in a 5.658 * [taylor]: Taking taylor expansion of t in a 5.658 * [taylor]: Taking taylor expansion of (/ y a) in a 5.658 * [taylor]: Taking taylor expansion of y in a 5.658 * [taylor]: Taking taylor expansion of a in a 5.658 * [taylor]: Taking taylor expansion of x in a 5.658 * [taylor]: Taking taylor expansion of (fma (- z t) (/ y a) x) in t 5.658 * [taylor]: Rewrote expression to (+ (* (- z t) (/ y a)) x) 5.658 * [taylor]: Taking taylor expansion of (* (- z t) (/ y a)) in t 5.658 * [taylor]: Taking taylor expansion of (- z t) in t 5.658 * [taylor]: Taking taylor expansion of z in t 5.658 * [taylor]: Taking taylor expansion of t in t 5.658 * [taylor]: Taking taylor expansion of (/ y a) in t 5.658 * [taylor]: Taking taylor expansion of y in t 5.658 * [taylor]: Taking taylor expansion of a in t 5.658 * [taylor]: Taking taylor expansion of x in t 5.658 * [taylor]: Taking taylor expansion of (fma (- z t) (/ y a) x) in z 5.658 * [taylor]: Rewrote expression to (+ (* (- z t) (/ y a)) x) 5.658 * [taylor]: Taking taylor expansion of (* (- z t) (/ y a)) in z 5.658 * [taylor]: Taking taylor expansion of (- z t) in z 5.658 * [taylor]: Taking taylor expansion of z in z 5.658 * [taylor]: Taking taylor expansion of t in z 5.658 * [taylor]: Taking taylor expansion of (/ y a) in z 5.658 * [taylor]: Taking taylor expansion of y in z 5.659 * [taylor]: Taking taylor expansion of a in z 5.659 * [taylor]: Taking taylor expansion of x in z 5.659 * [taylor]: Taking taylor expansion of (fma (- z t) (/ y a) x) in z 5.659 * [taylor]: Rewrote expression to (+ (* (- z t) (/ y a)) x) 5.659 * [taylor]: Taking taylor expansion of (* (- z t) (/ y a)) in z 5.659 * [taylor]: Taking taylor expansion of (- z t) in z 5.659 * [taylor]: Taking taylor expansion of z in z 5.659 * [taylor]: Taking taylor expansion of t in z 5.659 * [taylor]: Taking taylor expansion of (/ y a) in z 5.659 * [taylor]: Taking taylor expansion of y in z 5.659 * [taylor]: Taking taylor expansion of a in z 5.659 * [taylor]: Taking taylor expansion of x in z 5.659 * [taylor]: Taking taylor expansion of (- x (/ (* t y) a)) in t 5.659 * [taylor]: Taking taylor expansion of x in t 5.659 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t 5.659 * [taylor]: Taking taylor expansion of (* t y) in t 5.659 * [taylor]: Taking taylor expansion of t in t 5.659 * [taylor]: Taking taylor expansion of y in t 5.659 * [taylor]: Taking taylor expansion of a in t 5.660 * [taylor]: Taking taylor expansion of x in a 5.661 * [taylor]: Taking taylor expansion of (/ y a) in t 5.661 * [taylor]: Taking taylor expansion of y in t 5.661 * [taylor]: Taking taylor expansion of a in t 5.661 * [taylor]: Taking taylor expansion of (/ y a) in a 5.661 * [taylor]: Taking taylor expansion of y in a 5.661 * [taylor]: Taking taylor expansion of a in a 5.661 * [taylor]: Taking taylor expansion of y in y 5.661 * [taylor]: Taking taylor expansion of 0 in x 5.661 * [taylor]: Taking taylor expansion of (- (/ y a)) in a 5.661 * [taylor]: Taking taylor expansion of (/ y a) in a 5.661 * [taylor]: Taking taylor expansion of y in a 5.661 * [taylor]: Taking taylor expansion of a in a 5.661 * [taylor]: Taking taylor expansion of (- y) in y 5.661 * [taylor]: Taking taylor expansion of y in y 5.662 * [taylor]: Taking taylor expansion of 0 in x 5.662 * [taylor]: Taking taylor expansion of x in y 5.662 * [taylor]: Taking taylor expansion of x in x 5.663 * [taylor]: Taking taylor expansion of 0 in t 5.663 * [taylor]: Taking taylor expansion of 0 in a 5.663 * [taylor]: Taking taylor expansion of 0 in a 5.665 * [taylor]: Taking taylor expansion of 0 in a 5.665 * [taylor]: Taking taylor expansion of 0 in y 5.665 * [taylor]: Taking taylor expansion of 0 in x 5.666 * [taylor]: Taking taylor expansion of 0 in y 5.666 * [taylor]: Taking taylor expansion of 0 in x 5.666 * [taylor]: Taking taylor expansion of 0 in y 5.666 * [taylor]: Taking taylor expansion of 0 in x 5.667 * [approximate]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 t)) (/ a y) (/ 1 x)) in (z t a y x) around 0 5.667 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 t)) (/ a y) (/ 1 x)) in x 5.667 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 t)) (/ a y)) (/ 1 x)) 5.667 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (/ a y)) in x 5.667 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 5.667 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.667 * [taylor]: Taking taylor expansion of z in x 5.667 * [taylor]: Taking taylor expansion of (/ 1 t) in x 5.667 * [taylor]: Taking taylor expansion of t in x 5.667 * [taylor]: Taking taylor expansion of (/ a y) in x 5.667 * [taylor]: Taking taylor expansion of a in x 5.667 * [taylor]: Taking taylor expansion of y in x 5.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.667 * [taylor]: Taking taylor expansion of x in x 5.668 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 t)) (/ a y) (/ 1 x)) in y 5.668 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 t)) (/ a y)) (/ 1 x)) 5.668 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (/ a y)) in y 5.668 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 5.668 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.668 * [taylor]: Taking taylor expansion of z in y 5.668 * [taylor]: Taking taylor expansion of (/ 1 t) in y 5.668 * [taylor]: Taking taylor expansion of t in y 5.668 * [taylor]: Taking taylor expansion of (/ a y) in y 5.668 * [taylor]: Taking taylor expansion of a in y 5.668 * [taylor]: Taking taylor expansion of y in y 5.668 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.668 * [taylor]: Taking taylor expansion of x in y 5.668 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 t)) (/ a y) (/ 1 x)) in a 5.668 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 t)) (/ a y)) (/ 1 x)) 5.668 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (/ a y)) in a 5.668 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 5.668 * [taylor]: Taking taylor expansion of (/ 1 z) in a 5.668 * [taylor]: Taking taylor expansion of z in a 5.668 * [taylor]: Taking taylor expansion of (/ 1 t) in a 5.668 * [taylor]: Taking taylor expansion of t in a 5.668 * [taylor]: Taking taylor expansion of (/ a y) in a 5.668 * [taylor]: Taking taylor expansion of a in a 5.668 * [taylor]: Taking taylor expansion of y in a 5.668 * [taylor]: Taking taylor expansion of (/ 1 x) in a 5.668 * [taylor]: Taking taylor expansion of x in a 5.668 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 t)) (/ a y) (/ 1 x)) in t 5.668 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 t)) (/ a y)) (/ 1 x)) 5.669 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (/ a y)) in t 5.669 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 5.669 * [taylor]: Taking taylor expansion of (/ 1 z) in t 5.669 * [taylor]: Taking taylor expansion of z in t 5.669 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.669 * [taylor]: Taking taylor expansion of t in t 5.669 * [taylor]: Taking taylor expansion of (/ a y) in t 5.669 * [taylor]: Taking taylor expansion of a in t 5.669 * [taylor]: Taking taylor expansion of y in t 5.669 * [taylor]: Taking taylor expansion of (/ 1 x) in t 5.669 * [taylor]: Taking taylor expansion of x in t 5.669 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 t)) (/ a y) (/ 1 x)) in z 5.669 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 t)) (/ a y)) (/ 1 x)) 5.669 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (/ a y)) in z 5.669 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 5.669 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.669 * [taylor]: Taking taylor expansion of z in z 5.670 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.670 * [taylor]: Taking taylor expansion of t in z 5.670 * [taylor]: Taking taylor expansion of (/ a y) in z 5.670 * [taylor]: Taking taylor expansion of a in z 5.670 * [taylor]: Taking taylor expansion of y in z 5.670 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.670 * [taylor]: Taking taylor expansion of x in z 5.670 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 t)) (/ a y) (/ 1 x)) in z 5.670 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 t)) (/ a y)) (/ 1 x)) 5.670 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (/ a y)) in z 5.670 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 5.670 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.670 * [taylor]: Taking taylor expansion of z in z 5.670 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.670 * [taylor]: Taking taylor expansion of t in z 5.670 * [taylor]: Taking taylor expansion of (/ a y) in z 5.671 * [taylor]: Taking taylor expansion of a in z 5.671 * [taylor]: Taking taylor expansion of y in z 5.671 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.671 * [taylor]: Taking taylor expansion of x in z 5.671 * [taylor]: Taking taylor expansion of (/ a y) in t 5.671 * [taylor]: Taking taylor expansion of a in t 5.671 * [taylor]: Taking taylor expansion of y in t 5.672 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ a (* y t))) in t 5.672 * [taylor]: Taking taylor expansion of (/ 1 x) in t 5.672 * [taylor]: Taking taylor expansion of x in t 5.672 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 5.672 * [taylor]: Taking taylor expansion of a in t 5.672 * [taylor]: Taking taylor expansion of (* y t) in t 5.672 * [taylor]: Taking taylor expansion of y in t 5.672 * [taylor]: Taking taylor expansion of t in t 5.673 * [taylor]: Taking taylor expansion of (- (/ a y)) in a 5.673 * [taylor]: Taking taylor expansion of (/ a y) in a 5.673 * [taylor]: Taking taylor expansion of a in a 5.673 * [taylor]: Taking taylor expansion of y in a 5.673 * [taylor]: Taking taylor expansion of (/ a y) in a 5.673 * [taylor]: Taking taylor expansion of a in a 5.673 * [taylor]: Taking taylor expansion of y in a 5.675 * [taylor]: Taking taylor expansion of 0 in t 5.676 * [taylor]: Taking taylor expansion of (/ 1 x) in a 5.676 * [taylor]: Taking taylor expansion of x in a 5.676 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.676 * [taylor]: Taking taylor expansion of x in y 5.676 * [taylor]: Taking taylor expansion of 0 in a 5.676 * [taylor]: Taking taylor expansion of 0 in y 5.676 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 5.676 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.676 * [taylor]: Taking taylor expansion of y in y 5.677 * [taylor]: Taking taylor expansion of -1 in x 5.677 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.677 * [taylor]: Taking taylor expansion of y in y 5.677 * [taylor]: Taking taylor expansion of 1 in x 5.680 * [taylor]: Taking taylor expansion of 0 in t 5.680 * [taylor]: Taking taylor expansion of 0 in a 5.680 * [taylor]: Taking taylor expansion of 0 in y 5.681 * [taylor]: Taking taylor expansion of 0 in a 5.681 * [taylor]: Taking taylor expansion of 0 in y 5.681 * [taylor]: Taking taylor expansion of 0 in a 5.681 * [taylor]: Taking taylor expansion of 0 in y 5.681 * [taylor]: Taking taylor expansion of 0 in y 5.681 * [taylor]: Taking taylor expansion of 0 in y 5.682 * [taylor]: Taking taylor expansion of 0 in y 5.682 * [taylor]: Taking taylor expansion of 0 in y 5.682 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.682 * [taylor]: Taking taylor expansion of x in x 5.682 * [taylor]: Taking taylor expansion of 0 in x 5.683 * [taylor]: Taking taylor expansion of 0 in x 5.684 * [taylor]: Taking taylor expansion of 0 in x 5.685 * [approximate]: Taking taylor expansion of (fma (- (/ 1 t) (/ 1 z)) (/ a y) (/ -1 x)) in (z t a y x) around 0 5.685 * [taylor]: Taking taylor expansion of (fma (- (/ 1 t) (/ 1 z)) (/ a y) (/ -1 x)) in x 5.685 * [taylor]: Rewrote expression to (+ (* (- (/ 1 t) (/ 1 z)) (/ a y)) (/ -1 x)) 5.685 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (/ a y)) in x 5.685 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 5.685 * [taylor]: Taking taylor expansion of (/ 1 t) in x 5.685 * [taylor]: Taking taylor expansion of t in x 5.685 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.685 * [taylor]: Taking taylor expansion of z in x 5.685 * [taylor]: Taking taylor expansion of (/ a y) in x 5.685 * [taylor]: Taking taylor expansion of a in x 5.685 * [taylor]: Taking taylor expansion of y in x 5.685 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.685 * [taylor]: Taking taylor expansion of -1 in x 5.685 * [taylor]: Taking taylor expansion of x in x 5.686 * [taylor]: Taking taylor expansion of (fma (- (/ 1 t) (/ 1 z)) (/ a y) (/ -1 x)) in y 5.686 * [taylor]: Rewrote expression to (+ (* (- (/ 1 t) (/ 1 z)) (/ a y)) (/ -1 x)) 5.686 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (/ a y)) in y 5.686 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 5.686 * [taylor]: Taking taylor expansion of (/ 1 t) in y 5.686 * [taylor]: Taking taylor expansion of t in y 5.686 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.686 * [taylor]: Taking taylor expansion of z in y 5.686 * [taylor]: Taking taylor expansion of (/ a y) in y 5.686 * [taylor]: Taking taylor expansion of a in y 5.686 * [taylor]: Taking taylor expansion of y in y 5.686 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.686 * [taylor]: Taking taylor expansion of -1 in y 5.686 * [taylor]: Taking taylor expansion of x in y 5.686 * [taylor]: Taking taylor expansion of (fma (- (/ 1 t) (/ 1 z)) (/ a y) (/ -1 x)) in a 5.686 * [taylor]: Rewrote expression to (+ (* (- (/ 1 t) (/ 1 z)) (/ a y)) (/ -1 x)) 5.686 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (/ a y)) in a 5.686 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 5.686 * [taylor]: Taking taylor expansion of (/ 1 t) in a 5.686 * [taylor]: Taking taylor expansion of t in a 5.686 * [taylor]: Taking taylor expansion of (/ 1 z) in a 5.686 * [taylor]: Taking taylor expansion of z in a 5.686 * [taylor]: Taking taylor expansion of (/ a y) in a 5.686 * [taylor]: Taking taylor expansion of a in a 5.686 * [taylor]: Taking taylor expansion of y in a 5.686 * [taylor]: Taking taylor expansion of (/ -1 x) in a 5.686 * [taylor]: Taking taylor expansion of -1 in a 5.686 * [taylor]: Taking taylor expansion of x in a 5.686 * [taylor]: Taking taylor expansion of (fma (- (/ 1 t) (/ 1 z)) (/ a y) (/ -1 x)) in t 5.687 * [taylor]: Rewrote expression to (+ (* (- (/ 1 t) (/ 1 z)) (/ a y)) (/ -1 x)) 5.687 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (/ a y)) in t 5.687 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 5.687 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.687 * [taylor]: Taking taylor expansion of t in t 5.687 * [taylor]: Taking taylor expansion of (/ 1 z) in t 5.687 * [taylor]: Taking taylor expansion of z in t 5.687 * [taylor]: Taking taylor expansion of (/ a y) in t 5.687 * [taylor]: Taking taylor expansion of a in t 5.687 * [taylor]: Taking taylor expansion of y in t 5.687 * [taylor]: Taking taylor expansion of (/ -1 x) in t 5.687 * [taylor]: Taking taylor expansion of -1 in t 5.687 * [taylor]: Taking taylor expansion of x in t 5.687 * [taylor]: Taking taylor expansion of (fma (- (/ 1 t) (/ 1 z)) (/ a y) (/ -1 x)) in z 5.687 * [taylor]: Rewrote expression to (+ (* (- (/ 1 t) (/ 1 z)) (/ a y)) (/ -1 x)) 5.687 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (/ a y)) in z 5.687 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 5.688 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.688 * [taylor]: Taking taylor expansion of t in z 5.688 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.688 * [taylor]: Taking taylor expansion of z in z 5.688 * [taylor]: Taking taylor expansion of (/ a y) in z 5.688 * [taylor]: Taking taylor expansion of a in z 5.688 * [taylor]: Taking taylor expansion of y in z 5.688 * [taylor]: Taking taylor expansion of (/ -1 x) in z 5.688 * [taylor]: Taking taylor expansion of -1 in z 5.688 * [taylor]: Taking taylor expansion of x in z 5.688 * [taylor]: Taking taylor expansion of (fma (- (/ 1 t) (/ 1 z)) (/ a y) (/ -1 x)) in z 5.688 * [taylor]: Rewrote expression to (+ (* (- (/ 1 t) (/ 1 z)) (/ a y)) (/ -1 x)) 5.688 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (/ a y)) in z 5.688 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 5.688 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.688 * [taylor]: Taking taylor expansion of t in z 5.688 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.688 * [taylor]: Taking taylor expansion of z in z 5.689 * [taylor]: Taking taylor expansion of (/ a y) in z 5.689 * [taylor]: Taking taylor expansion of a in z 5.689 * [taylor]: Taking taylor expansion of y in z 5.689 * [taylor]: Taking taylor expansion of (/ -1 x) in z 5.689 * [taylor]: Taking taylor expansion of -1 in z 5.689 * [taylor]: Taking taylor expansion of x in z 5.690 * [taylor]: Taking taylor expansion of (- (/ a y)) in t 5.690 * [taylor]: Taking taylor expansion of (/ a y) in t 5.690 * [taylor]: Taking taylor expansion of a in t 5.690 * [taylor]: Taking taylor expansion of y in t 5.691 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (/ 1 x)) in t 5.691 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 5.691 * [taylor]: Taking taylor expansion of a in t 5.691 * [taylor]: Taking taylor expansion of (* y t) in t 5.691 * [taylor]: Taking taylor expansion of y in t 5.691 * [taylor]: Taking taylor expansion of t in t 5.691 * [taylor]: Taking taylor expansion of (/ 1 x) in t 5.691 * [taylor]: Taking taylor expansion of x in t 5.691 * [taylor]: Taking taylor expansion of (/ a y) in a 5.692 * [taylor]: Taking taylor expansion of a in a 5.692 * [taylor]: Taking taylor expansion of y in a 5.692 * [taylor]: Taking taylor expansion of (- (/ a y)) in a 5.692 * [taylor]: Taking taylor expansion of (/ a y) in a 5.692 * [taylor]: Taking taylor expansion of a in a 5.692 * [taylor]: Taking taylor expansion of y in a 5.694 * [taylor]: Taking taylor expansion of 0 in t 5.694 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in a 5.694 * [taylor]: Taking taylor expansion of (/ 1 x) in a 5.694 * [taylor]: Taking taylor expansion of x in a 5.694 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 5.694 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.694 * [taylor]: Taking taylor expansion of x in y 5.695 * [taylor]: Taking taylor expansion of 0 in a 5.695 * [taylor]: Taking taylor expansion of 0 in y 5.695 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.695 * [taylor]: Taking taylor expansion of y in y 5.695 * [taylor]: Taking taylor expansion of 1 in x 5.695 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 5.695 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.695 * [taylor]: Taking taylor expansion of y in y 5.696 * [taylor]: Taking taylor expansion of -1 in x 5.698 * [taylor]: Taking taylor expansion of 0 in t 5.698 * [taylor]: Taking taylor expansion of 0 in a 5.698 * [taylor]: Taking taylor expansion of 0 in y 5.699 * [taylor]: Taking taylor expansion of 0 in a 5.699 * [taylor]: Taking taylor expansion of 0 in y 5.700 * [taylor]: Taking taylor expansion of 0 in a 5.700 * [taylor]: Taking taylor expansion of 0 in y 5.700 * [taylor]: Taking taylor expansion of 0 in y 5.700 * [taylor]: Taking taylor expansion of 0 in y 5.700 * [taylor]: Taking taylor expansion of 0 in y 5.701 * [taylor]: Taking taylor expansion of 0 in y 5.701 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 5.701 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.701 * [taylor]: Taking taylor expansion of x in x 5.701 * [taylor]: Taking taylor expansion of 0 in x 5.706 * [taylor]: Taking taylor expansion of 0 in x 5.707 * [taylor]: Taking taylor expansion of 0 in x 5.708 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 5.708 * [approximate]: Taking taylor expansion of (/ y a) in (a y) around 0 5.708 * [taylor]: Taking taylor expansion of (/ y a) in y 5.708 * [taylor]: Taking taylor expansion of y in y 5.708 * [taylor]: Taking taylor expansion of a in y 5.708 * [taylor]: Taking taylor expansion of (/ y a) in a 5.708 * [taylor]: Taking taylor expansion of y in a 5.708 * [taylor]: Taking taylor expansion of a in a 5.708 * [taylor]: Taking taylor expansion of (/ y a) in a 5.708 * [taylor]: Taking taylor expansion of y in a 5.708 * [taylor]: Taking taylor expansion of a in a 5.709 * [taylor]: Taking taylor expansion of y in y 5.709 * [taylor]: Taking taylor expansion of 0 in y 5.710 * [taylor]: Taking taylor expansion of 0 in y 5.711 * [taylor]: Taking taylor expansion of 0 in y 5.712 * [approximate]: Taking taylor expansion of (/ a y) in (a y) around 0 5.712 * [taylor]: Taking taylor expansion of (/ a y) in y 5.712 * [taylor]: Taking taylor expansion of a in y 5.712 * [taylor]: Taking taylor expansion of y in y 5.712 * [taylor]: Taking taylor expansion of (/ a y) in a 5.712 * [taylor]: Taking taylor expansion of a in a 5.712 * [taylor]: Taking taylor expansion of y in a 5.712 * [taylor]: Taking taylor expansion of (/ a y) in a 5.712 * [taylor]: Taking taylor expansion of a in a 5.712 * [taylor]: Taking taylor expansion of y in a 5.712 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.712 * [taylor]: Taking taylor expansion of y in y 5.712 * [taylor]: Taking taylor expansion of 0 in y 5.713 * [taylor]: Taking taylor expansion of 0 in y 5.714 * [taylor]: Taking taylor expansion of 0 in y 5.715 * [approximate]: Taking taylor expansion of (/ a y) in (a y) around 0 5.715 * [taylor]: Taking taylor expansion of (/ a y) in y 5.715 * [taylor]: Taking taylor expansion of a in y 5.715 * [taylor]: Taking taylor expansion of y in y 5.715 * [taylor]: Taking taylor expansion of (/ a y) in a 5.715 * [taylor]: Taking taylor expansion of a in a 5.715 * [taylor]: Taking taylor expansion of y in a 5.715 * [taylor]: Taking taylor expansion of (/ a y) in a 5.715 * [taylor]: Taking taylor expansion of a in a 5.715 * [taylor]: Taking taylor expansion of y in a 5.715 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.715 * [taylor]: Taking taylor expansion of y in y 5.716 * [taylor]: Taking taylor expansion of 0 in y 5.716 * [taylor]: Taking taylor expansion of 0 in y 5.717 * [taylor]: Taking taylor expansion of 0 in y 5.718 * * * [progress]: simplifying candidates 5.719 * [simplify]: Simplifying using # : (expm1 (fma (- z t) (/ 1 (/ a y)) x)) (log1p (fma (- z t) (/ 1 (/ a y)) x)) (* (- z t) (/ 1 (/ a y))) (log (fma (- z t) (/ 1 (/ a y)) x)) (exp (fma (- z t) (/ 1 (/ a y)) x)) (* (cbrt (fma (- z t) (/ 1 (/ a y)) x)) (cbrt (fma (- z t) (/ 1 (/ a y)) x))) (cbrt (fma (- z t) (/ 1 (/ a y)) x)) (* (* (fma (- z t) (/ 1 (/ a y)) x) (fma (- z t) (/ 1 (/ a y)) x)) (fma (- z t) (/ 1 (/ a y)) x)) (sqrt (fma (- z t) (/ 1 (/ a y)) x)) (sqrt (fma (- z t) (/ 1 (/ a y)) x)) (expm1 (/ 1 (/ a y))) (log1p (/ 1 (/ a y))) (- 1) (- (- (log a) (log y))) (- (log (/ a y))) (- 0 (- (log a) (log y))) (- 0 (log (/ a y))) (- (log 1) (- (log a) (log y))) (- (log 1) (log (/ a y))) (log (/ 1 (/ a y))) (exp (/ 1 (/ a y))) (/ (* (* 1 1) 1) (/ (* (* a a) a) (* (* y y) y))) (/ (* (* 1 1) 1) (* (* (/ a y) (/ a y)) (/ a y))) (* (cbrt (/ 1 (/ a y))) (cbrt (/ 1 (/ a y)))) (cbrt (/ 1 (/ a y))) (* (* (/ 1 (/ a y)) (/ 1 (/ a y))) (/ 1 (/ a y))) (sqrt (/ 1 (/ a y))) (sqrt (/ 1 (/ a y))) (- 1) (- (/ a y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (cbrt 1) (cbrt (/ a y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ a y))) (/ (cbrt 1) (sqrt (/ a y))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (/ (cbrt a) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (cbrt 1) (/ (cbrt a) (sqrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt a) (cbrt a)) 1)) (/ (cbrt 1) (/ (cbrt a) y)) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (/ (sqrt a) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt a) (sqrt y))) (/ (cbrt 1) (/ (sqrt a) (sqrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt a) 1)) (/ (cbrt 1) (/ (sqrt a) y)) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (/ a (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt y))) (/ (cbrt 1) (/ a (sqrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ a y)) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ a y)) (/ (* (cbrt 1) (cbrt 1)) a) (/ (cbrt 1) (/ 1 y)) (/ (sqrt 1) (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (sqrt 1) (cbrt (/ a y))) (/ (sqrt 1) (sqrt (/ a y))) (/ (sqrt 1) (sqrt (/ a y))) (/ (sqrt 1) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (sqrt 1) (/ (cbrt a) (cbrt y))) (/ (sqrt 1) (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (sqrt 1) (/ (cbrt a) (sqrt y))) (/ (sqrt 1) (/ (* (cbrt a) (cbrt a)) 1)) (/ (sqrt 1) (/ (cbrt a) y)) (/ (sqrt 1) (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (sqrt 1) (/ (sqrt a) (cbrt y))) (/ (sqrt 1) (/ (sqrt a) (sqrt y))) (/ (sqrt 1) (/ (sqrt a) (sqrt y))) (/ (sqrt 1) (/ (sqrt a) 1)) (/ (sqrt 1) (/ (sqrt a) y)) (/ (sqrt 1) (/ 1 (* (cbrt y) (cbrt y)))) (/ (sqrt 1) (/ a (cbrt y))) (/ (sqrt 1) (/ 1 (sqrt y))) (/ (sqrt 1) (/ a (sqrt y))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ a y)) (/ (sqrt 1) 1) (/ (sqrt 1) (/ a y)) (/ (sqrt 1) a) (/ (sqrt 1) (/ 1 y)) (/ 1 (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ 1 (cbrt (/ a y))) (/ 1 (sqrt (/ a y))) (/ 1 (sqrt (/ a y))) (/ 1 (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ 1 (/ (cbrt a) (cbrt y))) (/ 1 (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ 1 (/ (cbrt a) (sqrt y))) (/ 1 (/ (* (cbrt a) (cbrt a)) 1)) (/ 1 (/ (cbrt a) y)) (/ 1 (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ 1 (/ (sqrt a) (cbrt y))) (/ 1 (/ (sqrt a) (sqrt y))) (/ 1 (/ (sqrt a) (sqrt y))) (/ 1 (/ (sqrt a) 1)) (/ 1 (/ (sqrt a) y)) (/ 1 (/ 1 (* (cbrt y) (cbrt y)))) (/ 1 (/ a (cbrt y))) (/ 1 (/ 1 (sqrt y))) (/ 1 (/ a (sqrt y))) (/ 1 (/ 1 1)) (/ 1 (/ a y)) (/ 1 1) (/ 1 (/ a y)) (/ 1 a) (/ 1 (/ 1 y)) (/ 1 (/ a y)) (/ (/ a y) 1) (/ 1 (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ 1 (sqrt (/ a y))) (/ 1 (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ 1 (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ 1 (/ (* (cbrt a) (cbrt a)) 1)) (/ 1 (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ 1 (/ (sqrt a) (sqrt y))) (/ 1 (/ (sqrt a) 1)) (/ 1 (/ 1 (* (cbrt y) (cbrt y)))) (/ 1 (/ 1 (sqrt y))) (/ 1 (/ 1 1)) (/ 1 1) (/ 1 a) (/ (/ a y) (cbrt 1)) (/ (/ a y) (sqrt 1)) (/ (/ a y) 1) (/ 1 a) 0 (- (+ (/ (* z y) a) x) (/ (* t y) a)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) (/ y a) (/ y a) (/ y a) 5.724 * * [simplify]: iteration 0 : 162 enodes (cost 1080 ) 5.779 * * [simplify]: iteration 1 : 339 enodes (cost 875 ) 5.819 * * [simplify]: iteration 2 : 620 enodes (cost 706 ) 6.104 * * [simplify]: iteration 3 : 1385 enodes (cost 678 ) 6.948 * * [simplify]: iteration 4 : 3600 enodes (cost 678 ) 7.980 * * [simplify]: iteration done : 5000 enodes (cost 678 ) 7.981 * [simplify]: Simplified to: (expm1 (fma (/ y a) (- z t) x)) (log1p (fma (/ y a) (- z t) x)) (* (/ y a) (- z t)) (log (fma (/ y a) (- z t) x)) (exp (fma (/ y a) (- z t) x)) (* (cbrt (fma (/ y a) (- z t) x)) (cbrt (fma (/ y a) (- z t) x))) (cbrt (fma (/ y a) (- z t) x)) (pow (fma (/ y a) (- z t) x) 3) (sqrt (fma (/ y a) (- z t) x)) (sqrt (fma (/ y a) (- z t) x)) (expm1 (/ y a)) (log1p (/ y a)) -1 (log (/ y a)) (log (/ y a)) (log (/ y a)) (log (/ y a)) (log (/ y a)) (log (/ y a)) (log (/ y a)) (exp (/ y a)) (pow (/ y a) 3) (pow (/ y a) 3) (* (cbrt (/ y a)) (cbrt (/ y a))) (cbrt (/ y a)) (pow (/ y a) 3) (sqrt (/ y a)) (sqrt (/ y a)) -1 (- (/ a y)) (/ 1 (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ 1 (cbrt (/ a y))) (/ 1 (sqrt (/ a y))) (/ 1 (sqrt (/ a y))) (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a))) (/ (cbrt y) (cbrt a)) (/ (sqrt y) (* (cbrt a) (cbrt a))) (/ (sqrt y) (cbrt a)) (/ 1 (* (cbrt a) (cbrt a))) (/ y (cbrt a)) (/ (* (cbrt y) (cbrt y)) (sqrt a)) (/ (cbrt y) (sqrt a)) (/ (sqrt y) (sqrt a)) (/ (sqrt y) (sqrt a)) (/ 1 (sqrt a)) (/ y (sqrt a)) (* (cbrt y) (cbrt y)) (/ (cbrt y) a) (sqrt y) (/ (sqrt y) a) 1 (/ y a) 1 (/ y a) (/ 1 a) y (/ 1 (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ 1 (cbrt (/ a y))) (/ 1 (sqrt (/ a y))) (/ 1 (sqrt (/ a y))) (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a))) (/ (cbrt y) (cbrt a)) (/ (sqrt y) (* (cbrt a) (cbrt a))) (/ (sqrt y) (cbrt a)) (/ 1 (* (cbrt a) (cbrt a))) (/ y (cbrt a)) (/ (* (cbrt y) (cbrt y)) (sqrt a)) (/ (cbrt y) (sqrt a)) (/ (sqrt y) (sqrt a)) (/ (sqrt y) (sqrt a)) (/ 1 (sqrt a)) (/ y (sqrt a)) (* (cbrt y) (cbrt y)) (/ (cbrt y) a) (sqrt y) (/ (sqrt y) a) 1 (/ y a) 1 (/ y a) (/ 1 a) y (/ 1 (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ 1 (cbrt (/ a y))) (/ 1 (sqrt (/ a y))) (/ 1 (sqrt (/ a y))) (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a))) (/ (cbrt y) (cbrt a)) (/ (sqrt y) (* (cbrt a) (cbrt a))) (/ (sqrt y) (cbrt a)) (/ 1 (* (cbrt a) (cbrt a))) (/ y (cbrt a)) (/ (* (cbrt y) (cbrt y)) (sqrt a)) (/ (cbrt y) (sqrt a)) (/ (sqrt y) (sqrt a)) (/ (sqrt y) (sqrt a)) (/ 1 (sqrt a)) (/ y (sqrt a)) (* (cbrt y) (cbrt y)) (/ (cbrt y) a) (sqrt y) (/ (sqrt y) a) 1 (/ y a) 1 (/ y a) (/ 1 a) y (/ y a) (/ a y) (/ 1 (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ 1 (sqrt (/ a y))) (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a))) (/ (sqrt y) (* (cbrt a) (cbrt a))) (/ 1 (* (cbrt a) (cbrt a))) (/ (* (cbrt y) (cbrt y)) (sqrt a)) (/ (sqrt y) (sqrt a)) (/ 1 (sqrt a)) (* (cbrt y) (cbrt y)) (sqrt y) 1 1 (/ 1 a) (/ a y) (/ a y) (/ a y) (/ 1 a) 0 (fma (/ (- z t) a) y x) (fma (/ (- z t) a) y x) (/ y a) (/ y a) (/ y a) 7.981 * * * [progress]: adding candidates to table 8.151 * [progress]: [Phase 3 of 3] Extracting. 8.152 * * [regime]: Finding splitpoints for: (# # # # # # #) 8.153 * * * [regime-changes]: Trying 6 branch expressions: ((- z t) a t z y x) 8.153 * * * * [regimes]: Trying to branch on (- z t) from (# # # # # # #) 8.196 * * * * [regimes]: Trying to branch on (- z t) from (# # # # # #) 8.235 * * * * [regimes]: Trying to branch on a from (# # # # # # #) 8.277 * * * * [regimes]: Trying to branch on t from (# # # # # # #) 8.308 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 8.351 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 8.393 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 8.436 * * * [regime]: Found split indices: #