15.673 * [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.024 * [simplify]: Simplifying using # : (+ x (/ (* y (- z t)) a)) 0.025 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 0.026 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 0.028 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 0.031 * * [simplify]: iteration 3 : 48 enodes (cost 8 ) 0.037 * * [simplify]: iteration 4 : 86 enodes (cost 8 ) 0.051 * * [simplify]: iteration 5 : 133 enodes (cost 8 ) 0.068 * * [simplify]: iteration 6 : 171 enodes (cost 8 ) 0.093 * * [simplify]: iteration 7 : 197 enodes (cost 8 ) 0.119 * * [simplify]: iteration 8 : 231 enodes (cost 8 ) 0.153 * * [simplify]: iteration 9 : 317 enodes (cost 8 ) 0.223 * * [simplify]: iteration 10 : 427 enodes (cost 8 ) 0.294 * * [simplify]: iteration 11 : 494 enodes (cost 8 ) 0.394 * * [simplify]: iteration 12 : 583 enodes (cost 8 ) 0.500 * * [simplify]: iteration 13 : 608 enodes (cost 8 ) 0.606 * * [simplify]: iteration done : 608 enodes (cost 8 ) 0.606 * [simplify]: Simplified to: (fma (/ y a) (- z t) x) 0.609 * * [progress]: iteration 1 / 4 0.609 * * * [progress]: picking best candidate 0.612 * * * * [pick]: Picked # 0.612 * * * [progress]: localizing error 0.622 * * * [progress]: generating rewritten candidates 0.622 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.623 * * * [progress]: generating series expansions 0.623 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.623 * [approximate]: Taking taylor expansion of (fma (/ y a) (- z t) x) in (y a z t x) around 0 0.623 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in x 0.623 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 0.623 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in x 0.623 * [taylor]: Taking taylor expansion of (/ y a) in x 0.623 * [taylor]: Taking taylor expansion of y in x 0.623 * [taylor]: Taking taylor expansion of a in x 0.623 * [taylor]: Taking taylor expansion of (- z t) in x 0.623 * [taylor]: Taking taylor expansion of z in x 0.623 * [taylor]: Taking taylor expansion of t in x 0.623 * [taylor]: Taking taylor expansion of x in x 0.623 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in t 0.623 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 0.623 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in t 0.624 * [taylor]: Taking taylor expansion of (/ y a) in t 0.624 * [taylor]: Taking taylor expansion of y in t 0.624 * [taylor]: Taking taylor expansion of a in t 0.624 * [taylor]: Taking taylor expansion of (- z t) in t 0.624 * [taylor]: Taking taylor expansion of z in t 0.624 * [taylor]: Taking taylor expansion of t in t 0.624 * [taylor]: Taking taylor expansion of x in t 0.624 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in z 0.624 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 0.624 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in z 0.624 * [taylor]: Taking taylor expansion of (/ y a) in z 0.624 * [taylor]: Taking taylor expansion of y in z 0.624 * [taylor]: Taking taylor expansion of a in z 0.624 * [taylor]: Taking taylor expansion of (- z t) in z 0.624 * [taylor]: Taking taylor expansion of z in z 0.624 * [taylor]: Taking taylor expansion of t in z 0.624 * [taylor]: Taking taylor expansion of x in z 0.624 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in a 0.624 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 0.624 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in a 0.624 * [taylor]: Taking taylor expansion of (/ y a) in a 0.624 * [taylor]: Taking taylor expansion of y in a 0.624 * [taylor]: Taking taylor expansion of a in a 0.624 * [taylor]: Taking taylor expansion of (- z t) in a 0.624 * [taylor]: Taking taylor expansion of z in a 0.624 * [taylor]: Taking taylor expansion of t in a 0.624 * [taylor]: Taking taylor expansion of x in a 0.624 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in y 0.624 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 0.624 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in y 0.624 * [taylor]: Taking taylor expansion of (/ y a) in y 0.624 * [taylor]: Taking taylor expansion of y in y 0.624 * [taylor]: Taking taylor expansion of a in y 0.624 * [taylor]: Taking taylor expansion of (- z t) in y 0.624 * [taylor]: Taking taylor expansion of z in y 0.624 * [taylor]: Taking taylor expansion of t in y 0.624 * [taylor]: Taking taylor expansion of x in y 0.624 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in y 0.625 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 0.625 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in y 0.625 * [taylor]: Taking taylor expansion of (/ y a) in y 0.625 * [taylor]: Taking taylor expansion of y in y 0.625 * [taylor]: Taking taylor expansion of a in y 0.625 * [taylor]: Taking taylor expansion of (- z t) in y 0.625 * [taylor]: Taking taylor expansion of z in y 0.625 * [taylor]: Taking taylor expansion of t in y 0.625 * [taylor]: Taking taylor expansion of x in y 0.625 * [taylor]: Taking taylor expansion of x in a 0.625 * [taylor]: Taking taylor expansion of (- (/ z a) (/ t a)) in a 0.625 * [taylor]: Taking taylor expansion of (/ z a) in a 0.625 * [taylor]: Taking taylor expansion of z in a 0.625 * [taylor]: Taking taylor expansion of a in a 0.625 * [taylor]: Taking taylor expansion of (/ t a) in a 0.625 * [taylor]: Taking taylor expansion of t in a 0.625 * [taylor]: Taking taylor expansion of a in a 0.625 * [taylor]: Taking taylor expansion of (- z t) in z 0.625 * [taylor]: Taking taylor expansion of z in z 0.625 * [taylor]: Taking taylor expansion of t in z 0.625 * [taylor]: Taking taylor expansion of (- t) in t 0.625 * [taylor]: Taking taylor expansion of t in t 0.626 * [taylor]: Taking taylor expansion of 0 in x 0.626 * [taylor]: Taking taylor expansion of x in z 0.626 * [taylor]: Taking taylor expansion of x in t 0.626 * [taylor]: Taking taylor expansion of x in x 0.627 * [taylor]: Taking taylor expansion of 0 in a 0.628 * [taylor]: Taking taylor expansion of 0 in z 0.628 * [taylor]: Taking taylor expansion of 0 in t 0.628 * [taylor]: Taking taylor expansion of 0 in x 0.628 * [taylor]: Taking taylor expansion of 0 in z 0.628 * [taylor]: Taking taylor expansion of 0 in t 0.629 * [taylor]: Taking taylor expansion of 0 in x 0.629 * [taylor]: Taking taylor expansion of 1 in t 0.629 * [taylor]: Taking taylor expansion of 1 in x 0.629 * [taylor]: Taking taylor expansion of 0 in t 0.629 * [taylor]: Taking taylor expansion of 0 in x 0.629 * [taylor]: Taking taylor expansion of -1 in x 0.629 * [taylor]: Taking taylor expansion of 0 in x 0.630 * [approximate]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in (y a z t x) around 0 0.630 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in x 0.630 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 0.630 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in x 0.630 * [taylor]: Taking taylor expansion of (/ a y) in x 0.631 * [taylor]: Taking taylor expansion of a in x 0.631 * [taylor]: Taking taylor expansion of y in x 0.631 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 0.631 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.631 * [taylor]: Taking taylor expansion of z in x 0.631 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.631 * [taylor]: Taking taylor expansion of t in x 0.631 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.631 * [taylor]: Taking taylor expansion of x in x 0.631 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in t 0.631 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 0.631 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in t 0.631 * [taylor]: Taking taylor expansion of (/ a y) in t 0.631 * [taylor]: Taking taylor expansion of a in t 0.631 * [taylor]: Taking taylor expansion of y in t 0.631 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 0.631 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.631 * [taylor]: Taking taylor expansion of z in t 0.631 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.631 * [taylor]: Taking taylor expansion of t in t 0.632 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.632 * [taylor]: Taking taylor expansion of x in t 0.632 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in z 0.632 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 0.632 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in z 0.632 * [taylor]: Taking taylor expansion of (/ a y) in z 0.632 * [taylor]: Taking taylor expansion of a in z 0.632 * [taylor]: Taking taylor expansion of y in z 0.632 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 0.632 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.632 * [taylor]: Taking taylor expansion of z in z 0.632 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.632 * [taylor]: Taking taylor expansion of t in z 0.632 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.632 * [taylor]: Taking taylor expansion of x in z 0.632 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in a 0.632 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 0.632 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in a 0.632 * [taylor]: Taking taylor expansion of (/ a y) in a 0.632 * [taylor]: Taking taylor expansion of a in a 0.632 * [taylor]: Taking taylor expansion of y in a 0.632 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 0.632 * [taylor]: Taking taylor expansion of (/ 1 z) in a 0.633 * [taylor]: Taking taylor expansion of z in a 0.633 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.633 * [taylor]: Taking taylor expansion of t in a 0.633 * [taylor]: Taking taylor expansion of (/ 1 x) in a 0.633 * [taylor]: Taking taylor expansion of x in a 0.633 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in y 0.633 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 0.633 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in y 0.633 * [taylor]: Taking taylor expansion of (/ a y) in y 0.633 * [taylor]: Taking taylor expansion of a in y 0.633 * [taylor]: Taking taylor expansion of y in y 0.633 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 0.633 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.633 * [taylor]: Taking taylor expansion of z in y 0.633 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.633 * [taylor]: Taking taylor expansion of t in y 0.633 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.633 * [taylor]: Taking taylor expansion of x in y 0.633 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in y 0.633 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 0.633 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in y 0.633 * [taylor]: Taking taylor expansion of (/ a y) in y 0.633 * [taylor]: Taking taylor expansion of a in y 0.633 * [taylor]: Taking taylor expansion of y in y 0.633 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 0.633 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.633 * [taylor]: Taking taylor expansion of z in y 0.633 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.633 * [taylor]: Taking taylor expansion of t in y 0.633 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.633 * [taylor]: Taking taylor expansion of x in y 0.634 * [taylor]: Taking taylor expansion of (- (/ a z) (/ a t)) in a 0.634 * [taylor]: Taking taylor expansion of (/ a z) in a 0.634 * [taylor]: Taking taylor expansion of a in a 0.634 * [taylor]: Taking taylor expansion of z in a 0.634 * [taylor]: Taking taylor expansion of (/ a t) in a 0.634 * [taylor]: Taking taylor expansion of a in a 0.634 * [taylor]: Taking taylor expansion of t in a 0.635 * [taylor]: Taking taylor expansion of (/ 1 x) in a 0.635 * [taylor]: Taking taylor expansion of x in a 0.635 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.635 * [taylor]: Taking taylor expansion of x in z 0.635 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 0.635 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.635 * [taylor]: Taking taylor expansion of z in z 0.636 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.636 * [taylor]: Taking taylor expansion of t in z 0.636 * [taylor]: Taking taylor expansion of 1 in t 0.638 * [taylor]: Taking taylor expansion of 0 in a 0.638 * [taylor]: Taking taylor expansion of 0 in z 0.638 * [taylor]: Taking taylor expansion of 0 in z 0.639 * [taylor]: Taking taylor expansion of 0 in z 0.639 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.639 * [taylor]: Taking taylor expansion of x in t 0.640 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 0.640 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.640 * [taylor]: Taking taylor expansion of t in t 0.640 * [taylor]: Taking taylor expansion of -1 in x 0.640 * [taylor]: Taking taylor expansion of 1 in x 0.643 * [taylor]: Taking taylor expansion of 0 in a 0.643 * [taylor]: Taking taylor expansion of 0 in z 0.643 * [taylor]: Taking taylor expansion of 0 in z 0.643 * [taylor]: Taking taylor expansion of 0 in z 0.644 * [taylor]: Taking taylor expansion of 0 in z 0.644 * [taylor]: Taking taylor expansion of 0 in t 0.644 * [taylor]: Taking taylor expansion of 0 in t 0.644 * [taylor]: Taking taylor expansion of 0 in t 0.644 * [taylor]: Taking taylor expansion of 0 in t 0.645 * [taylor]: Taking taylor expansion of 0 in t 0.645 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.645 * [taylor]: Taking taylor expansion of x in x 0.646 * [taylor]: Taking taylor expansion of 0 in x 0.646 * [taylor]: Taking taylor expansion of 0 in x 0.647 * [approximate]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in (y a z t x) around 0 0.647 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in x 0.647 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 0.647 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in x 0.647 * [taylor]: Taking taylor expansion of (/ a y) in x 0.647 * [taylor]: Taking taylor expansion of a in x 0.647 * [taylor]: Taking taylor expansion of y in x 0.647 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 0.647 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.647 * [taylor]: Taking taylor expansion of t in x 0.647 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.647 * [taylor]: Taking taylor expansion of z in x 0.647 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.648 * [taylor]: Taking taylor expansion of -1 in x 0.648 * [taylor]: Taking taylor expansion of x in x 0.648 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in t 0.648 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 0.648 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in t 0.648 * [taylor]: Taking taylor expansion of (/ a y) in t 0.648 * [taylor]: Taking taylor expansion of a in t 0.648 * [taylor]: Taking taylor expansion of y in t 0.648 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 0.648 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.648 * [taylor]: Taking taylor expansion of t in t 0.648 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.648 * [taylor]: Taking taylor expansion of z in t 0.648 * [taylor]: Taking taylor expansion of (/ -1 x) in t 0.648 * [taylor]: Taking taylor expansion of -1 in t 0.648 * [taylor]: Taking taylor expansion of x in t 0.648 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in z 0.649 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 0.649 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in z 0.649 * [taylor]: Taking taylor expansion of (/ a y) in z 0.649 * [taylor]: Taking taylor expansion of a in z 0.649 * [taylor]: Taking taylor expansion of y in z 0.649 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 0.649 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.649 * [taylor]: Taking taylor expansion of t in z 0.649 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.649 * [taylor]: Taking taylor expansion of z in z 0.649 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.649 * [taylor]: Taking taylor expansion of -1 in z 0.649 * [taylor]: Taking taylor expansion of x in z 0.649 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in a 0.649 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 0.649 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in a 0.649 * [taylor]: Taking taylor expansion of (/ a y) in a 0.649 * [taylor]: Taking taylor expansion of a in a 0.649 * [taylor]: Taking taylor expansion of y in a 0.649 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 0.649 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.649 * [taylor]: Taking taylor expansion of t in a 0.649 * [taylor]: Taking taylor expansion of (/ 1 z) in a 0.649 * [taylor]: Taking taylor expansion of z in a 0.649 * [taylor]: Taking taylor expansion of (/ -1 x) in a 0.649 * [taylor]: Taking taylor expansion of -1 in a 0.649 * [taylor]: Taking taylor expansion of x in a 0.650 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in y 0.650 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 0.650 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in y 0.650 * [taylor]: Taking taylor expansion of (/ a y) in y 0.650 * [taylor]: Taking taylor expansion of a in y 0.650 * [taylor]: Taking taylor expansion of y in y 0.650 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 0.650 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.650 * [taylor]: Taking taylor expansion of t in y 0.650 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.650 * [taylor]: Taking taylor expansion of z in y 0.650 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.650 * [taylor]: Taking taylor expansion of -1 in y 0.650 * [taylor]: Taking taylor expansion of x in y 0.650 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in y 0.650 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 0.650 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in y 0.650 * [taylor]: Taking taylor expansion of (/ a y) in y 0.650 * [taylor]: Taking taylor expansion of a in y 0.650 * [taylor]: Taking taylor expansion of y in y 0.650 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 0.650 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.650 * [taylor]: Taking taylor expansion of t in y 0.650 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.650 * [taylor]: Taking taylor expansion of z in y 0.650 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.650 * [taylor]: Taking taylor expansion of -1 in y 0.650 * [taylor]: Taking taylor expansion of x in y 0.651 * [taylor]: Taking taylor expansion of (- (/ a t) (/ a z)) in a 0.651 * [taylor]: Taking taylor expansion of (/ a t) in a 0.651 * [taylor]: Taking taylor expansion of a in a 0.651 * [taylor]: Taking taylor expansion of t in a 0.651 * [taylor]: Taking taylor expansion of (/ a z) in a 0.651 * [taylor]: Taking taylor expansion of a in a 0.651 * [taylor]: Taking taylor expansion of z in a 0.652 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in a 0.652 * [taylor]: Taking taylor expansion of (/ 1 x) in a 0.652 * [taylor]: Taking taylor expansion of x in a 0.652 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 0.652 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.652 * [taylor]: Taking taylor expansion of x in z 0.652 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 0.652 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.652 * [taylor]: Taking taylor expansion of t in z 0.652 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.652 * [taylor]: Taking taylor expansion of z in z 0.653 * [taylor]: Taking taylor expansion of -1 in t 0.655 * [taylor]: Taking taylor expansion of 0 in a 0.655 * [taylor]: Taking taylor expansion of 0 in z 0.655 * [taylor]: Taking taylor expansion of 0 in z 0.656 * [taylor]: Taking taylor expansion of 0 in z 0.656 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 0.656 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.656 * [taylor]: Taking taylor expansion of x in t 0.657 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.657 * [taylor]: Taking taylor expansion of t in t 0.657 * [taylor]: Taking taylor expansion of 1 in x 0.657 * [taylor]: Taking taylor expansion of -1 in x 0.660 * [taylor]: Taking taylor expansion of 0 in a 0.660 * [taylor]: Taking taylor expansion of 0 in z 0.660 * [taylor]: Taking taylor expansion of 0 in z 0.660 * [taylor]: Taking taylor expansion of 0 in z 0.661 * [taylor]: Taking taylor expansion of 0 in z 0.661 * [taylor]: Taking taylor expansion of 0 in t 0.661 * [taylor]: Taking taylor expansion of 0 in t 0.661 * [taylor]: Taking taylor expansion of 0 in t 0.661 * [taylor]: Taking taylor expansion of 0 in t 0.662 * [taylor]: Taking taylor expansion of 0 in t 0.662 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.663 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.663 * [taylor]: Taking taylor expansion of x in x 0.663 * [taylor]: Taking taylor expansion of 0 in x 0.663 * [taylor]: Taking taylor expansion of 0 in x 0.664 * * * [progress]: simplifying candidates 0.665 * [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.666 * * [simplify]: iteration 0 : 24 enodes (cost 154 ) 0.669 * * [simplify]: iteration 1 : 41 enodes (cost 154 ) 0.674 * * [simplify]: iteration 2 : 92 enodes (cost 138 ) 0.692 * * [simplify]: iteration 3 : 219 enodes (cost 123 ) 0.748 * * [simplify]: iteration 4 : 987 enodes (cost 123 ) 1.155 * * [simplify]: iteration done : 5002 enodes (cost 123 ) 1.156 * [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.156 * * * [progress]: adding candidates to table 1.189 * * [progress]: iteration 2 / 4 1.190 * * * [progress]: picking best candidate 1.198 * * * * [pick]: Picked # 1.198 * * * [progress]: localizing error 1.206 * * * [progress]: generating rewritten candidates 1.206 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1.216 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 1.227 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.243 * * * [progress]: generating series expansions 1.243 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1.244 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) a) in (y z t a) around 0 1.244 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in a 1.244 * [taylor]: Taking taylor expansion of (* y (- z t)) in a 1.244 * [taylor]: Taking taylor expansion of y in a 1.244 * [taylor]: Taking taylor expansion of (- z t) in a 1.244 * [taylor]: Taking taylor expansion of z in a 1.244 * [taylor]: Taking taylor expansion of t in a 1.244 * [taylor]: Taking taylor expansion of a in a 1.244 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in t 1.244 * [taylor]: Taking taylor expansion of (* y (- z t)) in t 1.244 * [taylor]: Taking taylor expansion of y in t 1.244 * [taylor]: Taking taylor expansion of (- z t) in t 1.244 * [taylor]: Taking taylor expansion of z in t 1.244 * [taylor]: Taking taylor expansion of t in t 1.244 * [taylor]: Taking taylor expansion of a in t 1.244 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in z 1.245 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 1.245 * [taylor]: Taking taylor expansion of y in z 1.245 * [taylor]: Taking taylor expansion of (- z t) in z 1.245 * [taylor]: Taking taylor expansion of z in z 1.245 * [taylor]: Taking taylor expansion of t in z 1.245 * [taylor]: Taking taylor expansion of a in z 1.245 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y 1.245 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 1.245 * [taylor]: Taking taylor expansion of y in y 1.245 * [taylor]: Taking taylor expansion of (- z t) in y 1.245 * [taylor]: Taking taylor expansion of z in y 1.245 * [taylor]: Taking taylor expansion of t in y 1.245 * [taylor]: Taking taylor expansion of a in y 1.246 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y 1.246 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 1.246 * [taylor]: Taking taylor expansion of y in y 1.246 * [taylor]: Taking taylor expansion of (- z t) in y 1.246 * [taylor]: Taking taylor expansion of z in y 1.246 * [taylor]: Taking taylor expansion of t in y 1.246 * [taylor]: Taking taylor expansion of a in y 1.247 * [taylor]: Taking taylor expansion of (/ (- z t) a) in z 1.247 * [taylor]: Taking taylor expansion of (- z t) in z 1.247 * [taylor]: Taking taylor expansion of z in z 1.247 * [taylor]: Taking taylor expansion of t in z 1.247 * [taylor]: Taking taylor expansion of a in z 1.247 * [taylor]: Taking taylor expansion of (* -1 (/ t a)) in t 1.247 * [taylor]: Taking taylor expansion of -1 in t 1.247 * [taylor]: Taking taylor expansion of (/ t a) in t 1.247 * [taylor]: Taking taylor expansion of t in t 1.247 * [taylor]: Taking taylor expansion of a in t 1.248 * [taylor]: Taking taylor expansion of 0 in z 1.248 * [taylor]: Taking taylor expansion of 0 in t 1.248 * [taylor]: Taking taylor expansion of 0 in a 1.249 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.249 * [taylor]: Taking taylor expansion of a in t 1.249 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.249 * [taylor]: Taking taylor expansion of a in a 1.249 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.249 * [taylor]: Taking taylor expansion of -1 in a 1.249 * [taylor]: Taking taylor expansion of a in a 1.251 * [taylor]: Taking taylor expansion of 0 in z 1.251 * [taylor]: Taking taylor expansion of 0 in t 1.251 * [taylor]: Taking taylor expansion of 0 in a 1.251 * [taylor]: Taking taylor expansion of 0 in t 1.251 * [taylor]: Taking taylor expansion of 0 in a 1.252 * [taylor]: Taking taylor expansion of 0 in t 1.252 * [taylor]: Taking taylor expansion of 0 in a 1.252 * [taylor]: Taking taylor expansion of 0 in a 1.252 * [taylor]: Taking taylor expansion of 0 in a 1.252 * [taylor]: Taking taylor expansion of 0 in a 1.255 * [taylor]: Taking taylor expansion of 0 in z 1.255 * [taylor]: Taking taylor expansion of 0 in t 1.255 * [taylor]: Taking taylor expansion of 0 in a 1.255 * [taylor]: Taking taylor expansion of 0 in t 1.255 * [taylor]: Taking taylor expansion of 0 in a 1.255 * [taylor]: Taking taylor expansion of 0 in t 1.255 * [taylor]: Taking taylor expansion of 0 in a 1.256 * [taylor]: Taking taylor expansion of 0 in t 1.256 * [taylor]: Taking taylor expansion of 0 in a 1.256 * [taylor]: Taking taylor expansion of 0 in a 1.256 * [taylor]: Taking taylor expansion of 0 in a 1.256 * [taylor]: Taking taylor expansion of 0 in a 1.256 * [taylor]: Taking taylor expansion of 0 in a 1.256 * [taylor]: Taking taylor expansion of 0 in a 1.256 * [taylor]: Taking taylor expansion of 0 in a 1.257 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (y z t a) around 0 1.257 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a 1.257 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 1.257 * [taylor]: Taking taylor expansion of a in a 1.257 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 1.257 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.257 * [taylor]: Taking taylor expansion of z in a 1.257 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.257 * [taylor]: Taking taylor expansion of t in a 1.257 * [taylor]: Taking taylor expansion of y in a 1.258 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t 1.258 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t 1.258 * [taylor]: Taking taylor expansion of a in t 1.258 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 1.258 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.258 * [taylor]: Taking taylor expansion of z in t 1.258 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.258 * [taylor]: Taking taylor expansion of t in t 1.258 * [taylor]: Taking taylor expansion of y in t 1.262 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z 1.262 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 1.262 * [taylor]: Taking taylor expansion of a in z 1.262 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.262 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.262 * [taylor]: Taking taylor expansion of z in z 1.262 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.262 * [taylor]: Taking taylor expansion of t in z 1.263 * [taylor]: Taking taylor expansion of y in z 1.263 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 1.263 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 1.263 * [taylor]: Taking taylor expansion of a in y 1.263 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.263 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.263 * [taylor]: Taking taylor expansion of z in y 1.263 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.263 * [taylor]: Taking taylor expansion of t in y 1.263 * [taylor]: Taking taylor expansion of y in y 1.263 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 1.263 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 1.263 * [taylor]: Taking taylor expansion of a in y 1.263 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.263 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.263 * [taylor]: Taking taylor expansion of z in y 1.263 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.263 * [taylor]: Taking taylor expansion of t in y 1.263 * [taylor]: Taking taylor expansion of y in y 1.264 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 1.264 * [taylor]: Taking taylor expansion of a in z 1.264 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.264 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.264 * [taylor]: Taking taylor expansion of z in z 1.264 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.264 * [taylor]: Taking taylor expansion of t in z 1.265 * [taylor]: Taking taylor expansion of a in t 1.266 * [taylor]: Taking taylor expansion of 0 in z 1.267 * [taylor]: Taking taylor expansion of (- (/ a t)) in t 1.267 * [taylor]: Taking taylor expansion of (/ a t) in t 1.267 * [taylor]: Taking taylor expansion of a in t 1.267 * [taylor]: Taking taylor expansion of t in t 1.267 * [taylor]: Taking taylor expansion of (- a) in a 1.267 * [taylor]: Taking taylor expansion of a in a 1.268 * [taylor]: Taking taylor expansion of a in a 1.269 * [taylor]: Taking taylor expansion of 0 in z 1.269 * [taylor]: Taking taylor expansion of 0 in t 1.271 * [taylor]: Taking taylor expansion of 0 in t 1.272 * [taylor]: Taking taylor expansion of 0 in a 1.272 * [taylor]: Taking taylor expansion of 0 in a 1.274 * [taylor]: Taking taylor expansion of 0 in z 1.274 * [taylor]: Taking taylor expansion of 0 in t 1.274 * [taylor]: Taking taylor expansion of 0 in t 1.276 * [taylor]: Taking taylor expansion of 0 in t 1.276 * [taylor]: Taking taylor expansion of 0 in a 1.276 * [taylor]: Taking taylor expansion of 0 in a 1.277 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in (y z t a) around 0 1.277 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in a 1.277 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a 1.277 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 1.277 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.277 * [taylor]: Taking taylor expansion of t in a 1.277 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.277 * [taylor]: Taking taylor expansion of z in a 1.277 * [taylor]: Taking taylor expansion of a in a 1.277 * [taylor]: Taking taylor expansion of y in a 1.278 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in t 1.278 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t 1.278 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 1.278 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.278 * [taylor]: Taking taylor expansion of t in t 1.278 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.278 * [taylor]: Taking taylor expansion of z in t 1.278 * [taylor]: Taking taylor expansion of a in t 1.278 * [taylor]: Taking taylor expansion of y in t 1.279 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z 1.279 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 1.279 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.279 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.279 * [taylor]: Taking taylor expansion of t in z 1.279 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.279 * [taylor]: Taking taylor expansion of z in z 1.279 * [taylor]: Taking taylor expansion of a in z 1.279 * [taylor]: Taking taylor expansion of y in z 1.280 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y 1.280 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y 1.280 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.280 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.280 * [taylor]: Taking taylor expansion of t in y 1.280 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.280 * [taylor]: Taking taylor expansion of z in y 1.280 * [taylor]: Taking taylor expansion of a in y 1.280 * [taylor]: Taking taylor expansion of y in y 1.280 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y 1.280 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y 1.280 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.280 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.280 * [taylor]: Taking taylor expansion of t in y 1.280 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.280 * [taylor]: Taking taylor expansion of z in y 1.280 * [taylor]: Taking taylor expansion of a in y 1.280 * [taylor]: Taking taylor expansion of y in y 1.281 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 1.281 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.281 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.281 * [taylor]: Taking taylor expansion of t in z 1.281 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.281 * [taylor]: Taking taylor expansion of z in z 1.281 * [taylor]: Taking taylor expansion of a in z 1.282 * [taylor]: Taking taylor expansion of (* -1 a) in t 1.282 * [taylor]: Taking taylor expansion of -1 in t 1.282 * [taylor]: Taking taylor expansion of a in t 1.283 * [taylor]: Taking taylor expansion of 0 in z 1.284 * [taylor]: Taking taylor expansion of (/ a t) in t 1.284 * [taylor]: Taking taylor expansion of a in t 1.284 * [taylor]: Taking taylor expansion of t in t 1.284 * [taylor]: Taking taylor expansion of a in a 1.284 * [taylor]: Taking taylor expansion of (* -1 a) in a 1.284 * [taylor]: Taking taylor expansion of -1 in a 1.284 * [taylor]: Taking taylor expansion of a in a 1.286 * [taylor]: Taking taylor expansion of 0 in z 1.286 * [taylor]: Taking taylor expansion of 0 in t 1.288 * [taylor]: Taking taylor expansion of 0 in t 1.288 * [taylor]: Taking taylor expansion of 0 in a 1.289 * [taylor]: Taking taylor expansion of 0 in a 1.292 * [taylor]: Taking taylor expansion of 0 in z 1.292 * [taylor]: Taking taylor expansion of 0 in t 1.292 * [taylor]: Taking taylor expansion of 0 in t 1.294 * [taylor]: Taking taylor expansion of 0 in t 1.294 * [taylor]: Taking taylor expansion of 0 in a 1.294 * [taylor]: Taking taylor expansion of 0 in a 1.294 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 1.294 * [approximate]: Taking taylor expansion of (* y (- z t)) in (y z t) around 0 1.294 * [taylor]: Taking taylor expansion of (* y (- z t)) in t 1.294 * [taylor]: Taking taylor expansion of y in t 1.294 * [taylor]: Taking taylor expansion of (- z t) in t 1.294 * [taylor]: Taking taylor expansion of z in t 1.294 * [taylor]: Taking taylor expansion of t in t 1.294 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 1.294 * [taylor]: Taking taylor expansion of y in z 1.294 * [taylor]: Taking taylor expansion of (- z t) in z 1.294 * [taylor]: Taking taylor expansion of z in z 1.294 * [taylor]: Taking taylor expansion of t in z 1.294 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 1.294 * [taylor]: Taking taylor expansion of y in y 1.294 * [taylor]: Taking taylor expansion of (- z t) in y 1.294 * [taylor]: Taking taylor expansion of z in y 1.294 * [taylor]: Taking taylor expansion of t in y 1.294 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 1.294 * [taylor]: Taking taylor expansion of y in y 1.294 * [taylor]: Taking taylor expansion of (- z t) in y 1.294 * [taylor]: Taking taylor expansion of z in y 1.295 * [taylor]: Taking taylor expansion of t in y 1.295 * [taylor]: Taking taylor expansion of 0 in z 1.295 * [taylor]: Taking taylor expansion of 0 in t 1.295 * [taylor]: Taking taylor expansion of (- z t) in z 1.295 * [taylor]: Taking taylor expansion of z in z 1.295 * [taylor]: Taking taylor expansion of t in z 1.296 * [taylor]: Taking taylor expansion of (- t) in t 1.296 * [taylor]: Taking taylor expansion of t in t 1.296 * [taylor]: Taking taylor expansion of 0 in t 1.297 * [taylor]: Taking taylor expansion of 0 in z 1.297 * [taylor]: Taking taylor expansion of 0 in t 1.297 * [taylor]: Taking taylor expansion of 1 in t 1.297 * [taylor]: Taking taylor expansion of 0 in t 1.299 * [taylor]: Taking taylor expansion of 0 in z 1.299 * [taylor]: Taking taylor expansion of 0 in t 1.299 * [taylor]: Taking taylor expansion of 0 in t 1.300 * [taylor]: Taking taylor expansion of 0 in t 1.300 * [taylor]: Taking taylor expansion of 0 in t 1.300 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in (y z t) around 0 1.300 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in t 1.300 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 1.300 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.300 * [taylor]: Taking taylor expansion of z in t 1.300 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.300 * [taylor]: Taking taylor expansion of t in t 1.301 * [taylor]: Taking taylor expansion of y in t 1.301 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in z 1.301 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.301 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.301 * [taylor]: Taking taylor expansion of z in z 1.301 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.301 * [taylor]: Taking taylor expansion of t in z 1.301 * [taylor]: Taking taylor expansion of y in z 1.302 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in y 1.302 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.302 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.302 * [taylor]: Taking taylor expansion of z in y 1.302 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.302 * [taylor]: Taking taylor expansion of t in y 1.302 * [taylor]: Taking taylor expansion of y in y 1.302 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in y 1.302 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.302 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.302 * [taylor]: Taking taylor expansion of z in y 1.302 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.302 * [taylor]: Taking taylor expansion of t in y 1.302 * [taylor]: Taking taylor expansion of y in y 1.302 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.302 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.302 * [taylor]: Taking taylor expansion of z in z 1.303 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.303 * [taylor]: Taking taylor expansion of t in z 1.303 * [taylor]: Taking taylor expansion of 1 in t 1.304 * [taylor]: Taking taylor expansion of 0 in z 1.305 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 1.305 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.305 * [taylor]: Taking taylor expansion of t in t 1.307 * [taylor]: Taking taylor expansion of 0 in z 1.307 * [taylor]: Taking taylor expansion of 0 in t 1.308 * [taylor]: Taking taylor expansion of 0 in t 1.310 * [taylor]: Taking taylor expansion of 0 in z 1.310 * [taylor]: Taking taylor expansion of 0 in t 1.310 * [taylor]: Taking taylor expansion of 0 in t 1.312 * [taylor]: Taking taylor expansion of 0 in t 1.313 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in (y z t) around 0 1.313 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in t 1.313 * [taylor]: Taking taylor expansion of -1 in t 1.313 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in t 1.313 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 1.313 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.313 * [taylor]: Taking taylor expansion of t in t 1.313 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.313 * [taylor]: Taking taylor expansion of z in t 1.313 * [taylor]: Taking taylor expansion of y in t 1.314 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in z 1.314 * [taylor]: Taking taylor expansion of -1 in z 1.314 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in z 1.314 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.314 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.314 * [taylor]: Taking taylor expansion of t in z 1.314 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.314 * [taylor]: Taking taylor expansion of z in z 1.314 * [taylor]: Taking taylor expansion of y in z 1.315 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in y 1.315 * [taylor]: Taking taylor expansion of -1 in y 1.315 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in y 1.315 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.315 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.315 * [taylor]: Taking taylor expansion of t in y 1.315 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.315 * [taylor]: Taking taylor expansion of z in y 1.315 * [taylor]: Taking taylor expansion of y in y 1.315 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in y 1.315 * [taylor]: Taking taylor expansion of -1 in y 1.315 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in y 1.315 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.315 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.315 * [taylor]: Taking taylor expansion of t in y 1.315 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.315 * [taylor]: Taking taylor expansion of z in y 1.315 * [taylor]: Taking taylor expansion of y in y 1.316 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 t) (/ 1 z))) in z 1.316 * [taylor]: Taking taylor expansion of -1 in z 1.316 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.316 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.316 * [taylor]: Taking taylor expansion of t in z 1.316 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.316 * [taylor]: Taking taylor expansion of z in z 1.317 * [taylor]: Taking taylor expansion of 1 in t 1.318 * [taylor]: Taking taylor expansion of 0 in z 1.319 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 1.319 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.319 * [taylor]: Taking taylor expansion of t in t 1.322 * [taylor]: Taking taylor expansion of 0 in z 1.322 * [taylor]: Taking taylor expansion of 0 in t 1.323 * [taylor]: Taking taylor expansion of 0 in t 1.327 * [taylor]: Taking taylor expansion of 0 in z 1.327 * [taylor]: Taking taylor expansion of 0 in t 1.327 * [taylor]: Taking taylor expansion of 0 in t 1.329 * [taylor]: Taking taylor expansion of 0 in t 1.330 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.330 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in (y z t a x) around 0 1.330 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in x 1.330 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in x 1.330 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x 1.330 * [taylor]: Taking taylor expansion of (* z y) in x 1.330 * [taylor]: Taking taylor expansion of z in x 1.330 * [taylor]: Taking taylor expansion of y in x 1.330 * [taylor]: Taking taylor expansion of a in x 1.330 * [taylor]: Taking taylor expansion of x in x 1.330 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x 1.330 * [taylor]: Taking taylor expansion of (* t y) in x 1.330 * [taylor]: Taking taylor expansion of t in x 1.330 * [taylor]: Taking taylor expansion of y in x 1.330 * [taylor]: Taking taylor expansion of a in x 1.330 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in a 1.330 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in a 1.330 * [taylor]: Taking taylor expansion of (/ (* z y) a) in a 1.330 * [taylor]: Taking taylor expansion of (* z y) in a 1.330 * [taylor]: Taking taylor expansion of z in a 1.330 * [taylor]: Taking taylor expansion of y in a 1.330 * [taylor]: Taking taylor expansion of a in a 1.330 * [taylor]: Taking taylor expansion of x in a 1.330 * [taylor]: Taking taylor expansion of (/ (* t y) a) in a 1.330 * [taylor]: Taking taylor expansion of (* t y) in a 1.330 * [taylor]: Taking taylor expansion of t in a 1.330 * [taylor]: Taking taylor expansion of y in a 1.330 * [taylor]: Taking taylor expansion of a in a 1.330 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in t 1.330 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in t 1.330 * [taylor]: Taking taylor expansion of (/ (* z y) a) in t 1.330 * [taylor]: Taking taylor expansion of (* z y) in t 1.330 * [taylor]: Taking taylor expansion of z in t 1.330 * [taylor]: Taking taylor expansion of y in t 1.331 * [taylor]: Taking taylor expansion of a in t 1.331 * [taylor]: Taking taylor expansion of x in t 1.331 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t 1.331 * [taylor]: Taking taylor expansion of (* t y) in t 1.331 * [taylor]: Taking taylor expansion of t in t 1.331 * [taylor]: Taking taylor expansion of y in t 1.331 * [taylor]: Taking taylor expansion of a in t 1.331 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in z 1.331 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in z 1.331 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z 1.331 * [taylor]: Taking taylor expansion of (* z y) in z 1.331 * [taylor]: Taking taylor expansion of z in z 1.331 * [taylor]: Taking taylor expansion of y in z 1.331 * [taylor]: Taking taylor expansion of a in z 1.331 * [taylor]: Taking taylor expansion of x in z 1.331 * [taylor]: Taking taylor expansion of (/ (* t y) a) in z 1.331 * [taylor]: Taking taylor expansion of (* t y) in z 1.331 * [taylor]: Taking taylor expansion of t in z 1.332 * [taylor]: Taking taylor expansion of y in z 1.332 * [taylor]: Taking taylor expansion of a in z 1.332 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in y 1.332 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in y 1.332 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y 1.332 * [taylor]: Taking taylor expansion of (* z y) in y 1.332 * [taylor]: Taking taylor expansion of z in y 1.332 * [taylor]: Taking taylor expansion of y in y 1.332 * [taylor]: Taking taylor expansion of a in y 1.332 * [taylor]: Taking taylor expansion of x in y 1.332 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y 1.332 * [taylor]: Taking taylor expansion of (* t y) in y 1.332 * [taylor]: Taking taylor expansion of t in y 1.332 * [taylor]: Taking taylor expansion of y in y 1.332 * [taylor]: Taking taylor expansion of a in y 1.332 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in y 1.332 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in y 1.332 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y 1.332 * [taylor]: Taking taylor expansion of (* z y) in y 1.332 * [taylor]: Taking taylor expansion of z in y 1.333 * [taylor]: Taking taylor expansion of y in y 1.333 * [taylor]: Taking taylor expansion of a in y 1.333 * [taylor]: Taking taylor expansion of x in y 1.333 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y 1.333 * [taylor]: Taking taylor expansion of (* t y) in y 1.333 * [taylor]: Taking taylor expansion of t in y 1.333 * [taylor]: Taking taylor expansion of y in y 1.333 * [taylor]: Taking taylor expansion of a in y 1.333 * [taylor]: Taking taylor expansion of x in z 1.333 * [taylor]: Taking taylor expansion of x in t 1.333 * [taylor]: Taking taylor expansion of x in a 1.334 * [taylor]: Taking taylor expansion of (- (/ z a) (/ t a)) in z 1.334 * [taylor]: Taking taylor expansion of (/ z a) in z 1.334 * [taylor]: Taking taylor expansion of z in z 1.334 * [taylor]: Taking taylor expansion of a in z 1.334 * [taylor]: Taking taylor expansion of (/ t a) in z 1.334 * [taylor]: Taking taylor expansion of t in z 1.334 * [taylor]: Taking taylor expansion of a in z 1.334 * [taylor]: Taking taylor expansion of (- (/ t a)) in t 1.334 * [taylor]: Taking taylor expansion of (/ t a) in t 1.334 * [taylor]: Taking taylor expansion of t in t 1.334 * [taylor]: Taking taylor expansion of a in t 1.334 * [taylor]: Taking taylor expansion of 0 in t 1.334 * [taylor]: Taking taylor expansion of 0 in a 1.334 * [taylor]: Taking taylor expansion of 0 in a 1.334 * [taylor]: Taking taylor expansion of x in x 1.336 * [taylor]: Taking taylor expansion of 0 in z 1.336 * [taylor]: Taking taylor expansion of 0 in t 1.336 * [taylor]: Taking taylor expansion of 0 in a 1.336 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.336 * [taylor]: Taking taylor expansion of a in t 1.336 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.336 * [taylor]: Taking taylor expansion of a in a 1.336 * [taylor]: Taking taylor expansion of 1 in x 1.336 * [taylor]: Taking taylor expansion of 0 in t 1.337 * [taylor]: Taking taylor expansion of 0 in a 1.337 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 1.337 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.337 * [taylor]: Taking taylor expansion of a in a 1.337 * [taylor]: Taking taylor expansion of -1 in x 1.337 * [taylor]: Taking taylor expansion of 0 in a 1.337 * [taylor]: Taking taylor expansion of 0 in a 1.337 * [taylor]: Taking taylor expansion of 0 in x 1.337 * [taylor]: Taking taylor expansion of 0 in x 1.337 * [taylor]: Taking taylor expansion of 0 in x 1.338 * [approximate]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in (y z t a x) around 0 1.338 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in x 1.338 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x 1.338 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x 1.338 * [taylor]: Taking taylor expansion of a in x 1.338 * [taylor]: Taking taylor expansion of (* z y) in x 1.338 * [taylor]: Taking taylor expansion of z in x 1.338 * [taylor]: Taking taylor expansion of y in x 1.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.338 * [taylor]: Taking taylor expansion of x in x 1.339 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x 1.339 * [taylor]: Taking taylor expansion of a in x 1.339 * [taylor]: Taking taylor expansion of (* y t) in x 1.339 * [taylor]: Taking taylor expansion of y in x 1.339 * [taylor]: Taking taylor expansion of t in x 1.339 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in a 1.339 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a 1.339 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a 1.339 * [taylor]: Taking taylor expansion of a in a 1.339 * [taylor]: Taking taylor expansion of (* z y) in a 1.339 * [taylor]: Taking taylor expansion of z in a 1.339 * [taylor]: Taking taylor expansion of y in a 1.339 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.339 * [taylor]: Taking taylor expansion of x in a 1.339 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a 1.339 * [taylor]: Taking taylor expansion of a in a 1.339 * [taylor]: Taking taylor expansion of (* y t) in a 1.339 * [taylor]: Taking taylor expansion of y in a 1.339 * [taylor]: Taking taylor expansion of t in a 1.339 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in t 1.339 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in t 1.339 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t 1.339 * [taylor]: Taking taylor expansion of a in t 1.339 * [taylor]: Taking taylor expansion of (* z y) in t 1.339 * [taylor]: Taking taylor expansion of z in t 1.339 * [taylor]: Taking taylor expansion of y in t 1.339 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.339 * [taylor]: Taking taylor expansion of x in t 1.339 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 1.339 * [taylor]: Taking taylor expansion of a in t 1.339 * [taylor]: Taking taylor expansion of (* y t) in t 1.339 * [taylor]: Taking taylor expansion of y in t 1.339 * [taylor]: Taking taylor expansion of t in t 1.340 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in z 1.340 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z 1.340 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z 1.340 * [taylor]: Taking taylor expansion of a in z 1.340 * [taylor]: Taking taylor expansion of (* z y) in z 1.340 * [taylor]: Taking taylor expansion of z in z 1.340 * [taylor]: Taking taylor expansion of y in z 1.340 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.340 * [taylor]: Taking taylor expansion of x in z 1.340 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z 1.340 * [taylor]: Taking taylor expansion of a in z 1.340 * [taylor]: Taking taylor expansion of (* y t) in z 1.340 * [taylor]: Taking taylor expansion of y in z 1.340 * [taylor]: Taking taylor expansion of t in z 1.340 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in y 1.340 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y 1.340 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y 1.340 * [taylor]: Taking taylor expansion of a in y 1.340 * [taylor]: Taking taylor expansion of (* z y) in y 1.340 * [taylor]: Taking taylor expansion of z in y 1.340 * [taylor]: Taking taylor expansion of y in y 1.341 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.341 * [taylor]: Taking taylor expansion of x in y 1.341 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y 1.341 * [taylor]: Taking taylor expansion of a in y 1.341 * [taylor]: Taking taylor expansion of (* y t) in y 1.341 * [taylor]: Taking taylor expansion of y in y 1.341 * [taylor]: Taking taylor expansion of t in y 1.341 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in y 1.341 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y 1.341 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y 1.341 * [taylor]: Taking taylor expansion of a in y 1.341 * [taylor]: Taking taylor expansion of (* z y) in y 1.341 * [taylor]: Taking taylor expansion of z in y 1.341 * [taylor]: Taking taylor expansion of y in y 1.342 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.342 * [taylor]: Taking taylor expansion of x in y 1.342 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y 1.342 * [taylor]: Taking taylor expansion of a in y 1.342 * [taylor]: Taking taylor expansion of (* y t) in y 1.342 * [taylor]: Taking taylor expansion of y in y 1.342 * [taylor]: Taking taylor expansion of t in y 1.342 * [taylor]: Taking taylor expansion of (- (/ a z) (/ a t)) in z 1.342 * [taylor]: Taking taylor expansion of (/ a z) in z 1.342 * [taylor]: Taking taylor expansion of a in z 1.342 * [taylor]: Taking taylor expansion of z in z 1.342 * [taylor]: Taking taylor expansion of (/ a t) in z 1.342 * [taylor]: Taking taylor expansion of a in z 1.342 * [taylor]: Taking taylor expansion of t in z 1.343 * [taylor]: Taking taylor expansion of a in t 1.344 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.344 * [taylor]: Taking taylor expansion of x in z 1.345 * [taylor]: Taking taylor expansion of (- (/ a t)) in t 1.345 * [taylor]: Taking taylor expansion of (/ a t) in t 1.345 * [taylor]: Taking taylor expansion of a in t 1.345 * [taylor]: Taking taylor expansion of t in t 1.345 * [taylor]: Taking taylor expansion of (- a) in a 1.345 * [taylor]: Taking taylor expansion of a in a 1.345 * [taylor]: Taking taylor expansion of 0 in x 1.345 * [taylor]: Taking taylor expansion of a in a 1.345 * [taylor]: Taking taylor expansion of 0 in x 1.348 * [taylor]: Taking taylor expansion of 0 in z 1.348 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.348 * [taylor]: Taking taylor expansion of x in t 1.349 * [taylor]: Taking taylor expansion of 0 in t 1.350 * [taylor]: Taking taylor expansion of 0 in a 1.350 * [taylor]: Taking taylor expansion of 0 in x 1.350 * [taylor]: Taking taylor expansion of 0 in a 1.350 * [taylor]: Taking taylor expansion of 0 in x 1.351 * [taylor]: Taking taylor expansion of -1 in x 1.351 * [taylor]: Taking taylor expansion of 1 in x 1.356 * [taylor]: Taking taylor expansion of 0 in z 1.356 * [taylor]: Taking taylor expansion of 0 in t 1.356 * [taylor]: Taking taylor expansion of 0 in t 1.358 * [taylor]: Taking taylor expansion of 0 in t 1.358 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.358 * [taylor]: Taking taylor expansion of x in a 1.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.358 * [taylor]: Taking taylor expansion of x in x 1.358 * [taylor]: Taking taylor expansion of 0 in a 1.358 * [taylor]: Taking taylor expansion of 0 in x 1.359 * [taylor]: Taking taylor expansion of 0 in a 1.359 * [taylor]: Taking taylor expansion of 0 in x 1.359 * [taylor]: Taking taylor expansion of 0 in a 1.359 * [taylor]: Taking taylor expansion of 0 in x 1.359 * [taylor]: Taking taylor expansion of 0 in x 1.359 * [taylor]: Taking taylor expansion of 0 in x 1.360 * [taylor]: Taking taylor expansion of 0 in x 1.360 * [taylor]: Taking taylor expansion of 0 in x 1.361 * [approximate]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in (y z t a x) around 0 1.361 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in x 1.361 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x 1.361 * [taylor]: Taking taylor expansion of a in x 1.361 * [taylor]: Taking taylor expansion of (* y t) in x 1.361 * [taylor]: Taking taylor expansion of y in x 1.361 * [taylor]: Taking taylor expansion of t in x 1.361 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x 1.361 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x 1.361 * [taylor]: Taking taylor expansion of a in x 1.361 * [taylor]: Taking taylor expansion of (* z y) in x 1.361 * [taylor]: Taking taylor expansion of z in x 1.361 * [taylor]: Taking taylor expansion of y in x 1.361 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.361 * [taylor]: Taking taylor expansion of x in x 1.361 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in a 1.361 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a 1.361 * [taylor]: Taking taylor expansion of a in a 1.361 * [taylor]: Taking taylor expansion of (* y t) in a 1.361 * [taylor]: Taking taylor expansion of y in a 1.361 * [taylor]: Taking taylor expansion of t in a 1.362 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a 1.362 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a 1.362 * [taylor]: Taking taylor expansion of a in a 1.362 * [taylor]: Taking taylor expansion of (* z y) in a 1.362 * [taylor]: Taking taylor expansion of z in a 1.362 * [taylor]: Taking taylor expansion of y in a 1.362 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.362 * [taylor]: Taking taylor expansion of x in a 1.362 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in t 1.362 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 1.362 * [taylor]: Taking taylor expansion of a in t 1.362 * [taylor]: Taking taylor expansion of (* y t) in t 1.362 * [taylor]: Taking taylor expansion of y in t 1.362 * [taylor]: Taking taylor expansion of t in t 1.362 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in t 1.362 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t 1.362 * [taylor]: Taking taylor expansion of a in t 1.362 * [taylor]: Taking taylor expansion of (* z y) in t 1.362 * [taylor]: Taking taylor expansion of z in t 1.362 * [taylor]: Taking taylor expansion of y in t 1.362 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.362 * [taylor]: Taking taylor expansion of x in t 1.362 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in z 1.362 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z 1.362 * [taylor]: Taking taylor expansion of a in z 1.362 * [taylor]: Taking taylor expansion of (* y t) in z 1.362 * [taylor]: Taking taylor expansion of y in z 1.362 * [taylor]: Taking taylor expansion of t in z 1.363 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z 1.363 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z 1.363 * [taylor]: Taking taylor expansion of a in z 1.363 * [taylor]: Taking taylor expansion of (* z y) in z 1.363 * [taylor]: Taking taylor expansion of z in z 1.363 * [taylor]: Taking taylor expansion of y in z 1.363 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.363 * [taylor]: Taking taylor expansion of x in z 1.363 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in y 1.363 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y 1.363 * [taylor]: Taking taylor expansion of a in y 1.363 * [taylor]: Taking taylor expansion of (* y t) in y 1.363 * [taylor]: Taking taylor expansion of y in y 1.363 * [taylor]: Taking taylor expansion of t in y 1.363 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y 1.363 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y 1.363 * [taylor]: Taking taylor expansion of a in y 1.363 * [taylor]: Taking taylor expansion of (* z y) in y 1.363 * [taylor]: Taking taylor expansion of z in y 1.363 * [taylor]: Taking taylor expansion of y in y 1.364 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.364 * [taylor]: Taking taylor expansion of x in y 1.364 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in y 1.364 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y 1.364 * [taylor]: Taking taylor expansion of a in y 1.364 * [taylor]: Taking taylor expansion of (* y t) in y 1.364 * [taylor]: Taking taylor expansion of y in y 1.364 * [taylor]: Taking taylor expansion of t in y 1.364 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y 1.364 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y 1.364 * [taylor]: Taking taylor expansion of a in y 1.364 * [taylor]: Taking taylor expansion of (* z y) in y 1.364 * [taylor]: Taking taylor expansion of z in y 1.364 * [taylor]: Taking taylor expansion of y in y 1.365 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.365 * [taylor]: Taking taylor expansion of x in y 1.365 * [taylor]: Taking taylor expansion of (- (/ a t) (/ a z)) in z 1.365 * [taylor]: Taking taylor expansion of (/ a t) in z 1.365 * [taylor]: Taking taylor expansion of a in z 1.365 * [taylor]: Taking taylor expansion of t in z 1.365 * [taylor]: Taking taylor expansion of (/ a z) in z 1.365 * [taylor]: Taking taylor expansion of a in z 1.365 * [taylor]: Taking taylor expansion of z in z 1.365 * [taylor]: Taking taylor expansion of (- a) in t 1.365 * [taylor]: Taking taylor expansion of a in t 1.366 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 1.366 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.366 * [taylor]: Taking taylor expansion of x in z 1.367 * [taylor]: Taking taylor expansion of (/ a t) in t 1.367 * [taylor]: Taking taylor expansion of a in t 1.367 * [taylor]: Taking taylor expansion of t in t 1.367 * [taylor]: Taking taylor expansion of a in a 1.368 * [taylor]: Taking taylor expansion of 0 in x 1.368 * [taylor]: Taking taylor expansion of (- a) in a 1.368 * [taylor]: Taking taylor expansion of a in a 1.368 * [taylor]: Taking taylor expansion of 0 in x 1.370 * [taylor]: Taking taylor expansion of 0 in z 1.370 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 1.370 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.370 * [taylor]: Taking taylor expansion of x in t 1.372 * [taylor]: Taking taylor expansion of 0 in t 1.372 * [taylor]: Taking taylor expansion of 0 in a 1.372 * [taylor]: Taking taylor expansion of 0 in x 1.373 * [taylor]: Taking taylor expansion of 0 in a 1.373 * [taylor]: Taking taylor expansion of 0 in x 1.373 * [taylor]: Taking taylor expansion of 1 in x 1.373 * [taylor]: Taking taylor expansion of -1 in x 1.376 * [taylor]: Taking taylor expansion of 0 in z 1.376 * [taylor]: Taking taylor expansion of 0 in t 1.376 * [taylor]: Taking taylor expansion of 0 in t 1.378 * [taylor]: Taking taylor expansion of 0 in t 1.378 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in a 1.378 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.378 * [taylor]: Taking taylor expansion of x in a 1.378 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.378 * [taylor]: Taking taylor expansion of x in x 1.378 * [taylor]: Taking taylor expansion of 0 in a 1.378 * [taylor]: Taking taylor expansion of 0 in x 1.379 * [taylor]: Taking taylor expansion of 0 in a 1.379 * [taylor]: Taking taylor expansion of 0 in x 1.380 * [taylor]: Taking taylor expansion of 0 in a 1.380 * [taylor]: Taking taylor expansion of 0 in x 1.380 * [taylor]: Taking taylor expansion of 0 in x 1.380 * [taylor]: Taking taylor expansion of 0 in x 1.380 * [taylor]: Taking taylor expansion of 0 in x 1.380 * [taylor]: Taking taylor expansion of 0 in x 1.381 * * * [progress]: simplifying candidates 1.382 * [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.387 * * [simplify]: iteration 0 : 170 enodes (cost 1262 ) 1.433 * * [simplify]: iteration 1 : 381 enodes (cost 1061 ) 1.539 * * [simplify]: iteration 2 : 1039 enodes (cost 881 ) 2.154 * * [simplify]: iteration 3 : 4905 enodes (cost 817 ) 3.418 * * [simplify]: iteration done : 5000 enodes (cost 817 ) 3.419 * [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 (- t t)) (* (- (pow (cbrt z) 3) t) y) (* y (- t t)) (* (- (pow (cbrt z) 3) t) y) (* y (- t t)) (* y (- z t)) (* y (- t t)) (* y (- z t)) (* y (- t t)) (* y (- z t)) (* y (- t t)) (* y (- z t)) (* y (- t t)) (* y (- z t)) (* y (- t t)) (* y (- z t)) (* y (- t t)) (* y z) (* y (- t)) (* y z) (* y (- t)) (* (- (pow (cbrt z) 3) t) y) (* y (- t t)) (* (- (pow (cbrt z) 3) t) y) (* y (- t t)) (* (- (pow (cbrt z) 3) t) y) (* y (- t t)) (* y (- z t)) (* y (- t t)) (* y (- z t)) (* y (- t t)) (* y (- z t)) (* y (- t t)) (* y (- z t)) (* y (- t t)) (* y (- z t)) (* y (- t t)) (* y (- z t)) (* y (- t 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.419 * * * [progress]: adding candidates to table 3.596 * * [progress]: iteration 3 / 4 3.596 * * * [progress]: picking best candidate 3.603 * * * * [pick]: Picked # 3.603 * * * [progress]: localizing error 3.610 * * * [progress]: generating rewritten candidates 3.610 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 3.624 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 3.691 * * * [progress]: generating series expansions 3.691 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 3.691 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) a) in (z t a y) around 0 3.691 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y 3.691 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 3.691 * [taylor]: Taking taylor expansion of y in y 3.691 * [taylor]: Taking taylor expansion of (- z t) in y 3.691 * [taylor]: Taking taylor expansion of z in y 3.691 * [taylor]: Taking taylor expansion of t in y 3.691 * [taylor]: Taking taylor expansion of a in y 3.692 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in a 3.692 * [taylor]: Taking taylor expansion of (* y (- z t)) in a 3.692 * [taylor]: Taking taylor expansion of y in a 3.692 * [taylor]: Taking taylor expansion of (- z t) in a 3.692 * [taylor]: Taking taylor expansion of z in a 3.692 * [taylor]: Taking taylor expansion of t in a 3.692 * [taylor]: Taking taylor expansion of a in a 3.692 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in t 3.692 * [taylor]: Taking taylor expansion of (* y (- z t)) in t 3.692 * [taylor]: Taking taylor expansion of y in t 3.692 * [taylor]: Taking taylor expansion of (- z t) in t 3.692 * [taylor]: Taking taylor expansion of z in t 3.692 * [taylor]: Taking taylor expansion of t in t 3.692 * [taylor]: Taking taylor expansion of a in t 3.693 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in z 3.693 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 3.693 * [taylor]: Taking taylor expansion of y in z 3.693 * [taylor]: Taking taylor expansion of (- z t) in z 3.693 * [taylor]: Taking taylor expansion of z in z 3.693 * [taylor]: Taking taylor expansion of t in z 3.693 * [taylor]: Taking taylor expansion of a in z 3.693 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in z 3.693 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 3.693 * [taylor]: Taking taylor expansion of y in z 3.693 * [taylor]: Taking taylor expansion of (- z t) in z 3.693 * [taylor]: Taking taylor expansion of z in z 3.693 * [taylor]: Taking taylor expansion of t in z 3.693 * [taylor]: Taking taylor expansion of a in z 3.693 * [taylor]: Taking taylor expansion of (* -1 (/ (* t y) a)) in t 3.693 * [taylor]: Taking taylor expansion of -1 in t 3.693 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t 3.693 * [taylor]: Taking taylor expansion of (* t y) in t 3.693 * [taylor]: Taking taylor expansion of t in t 3.693 * [taylor]: Taking taylor expansion of y in t 3.693 * [taylor]: Taking taylor expansion of a in t 3.694 * [taylor]: Taking taylor expansion of (/ y a) in t 3.694 * [taylor]: Taking taylor expansion of y in t 3.694 * [taylor]: Taking taylor expansion of a in t 3.694 * [taylor]: Taking taylor expansion of (/ y a) in a 3.694 * [taylor]: Taking taylor expansion of y in a 3.694 * [taylor]: Taking taylor expansion of a in a 3.694 * [taylor]: Taking taylor expansion of y in y 3.695 * [taylor]: Taking taylor expansion of (* -1 (/ y a)) in a 3.695 * [taylor]: Taking taylor expansion of -1 in a 3.695 * [taylor]: Taking taylor expansion of (/ y a) in a 3.695 * [taylor]: Taking taylor expansion of y in a 3.695 * [taylor]: Taking taylor expansion of a in a 3.695 * [taylor]: Taking taylor expansion of (* -1 y) in y 3.695 * [taylor]: Taking taylor expansion of -1 in y 3.695 * [taylor]: Taking taylor expansion of y in y 3.696 * [taylor]: Taking taylor expansion of 0 in t 3.696 * [taylor]: Taking taylor expansion of 0 in a 3.696 * [taylor]: Taking taylor expansion of 0 in a 3.697 * [taylor]: Taking taylor expansion of 0 in a 3.698 * [taylor]: Taking taylor expansion of 0 in y 3.698 * [taylor]: Taking taylor expansion of 0 in y 3.700 * [taylor]: Taking taylor expansion of 0 in t 3.700 * [taylor]: Taking taylor expansion of 0 in a 3.700 * [taylor]: Taking taylor expansion of 0 in a 3.700 * [taylor]: Taking taylor expansion of 0 in a 3.702 * [taylor]: Taking taylor expansion of 0 in a 3.702 * [taylor]: Taking taylor expansion of 0 in y 3.702 * [taylor]: Taking taylor expansion of 0 in y 3.702 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (z t a y) around 0 3.702 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 3.702 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 3.702 * [taylor]: Taking taylor expansion of a in y 3.702 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 3.702 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.702 * [taylor]: Taking taylor expansion of z in y 3.702 * [taylor]: Taking taylor expansion of (/ 1 t) in y 3.703 * [taylor]: Taking taylor expansion of t in y 3.703 * [taylor]: Taking taylor expansion of y in y 3.703 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a 3.703 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 3.703 * [taylor]: Taking taylor expansion of a in a 3.703 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 3.703 * [taylor]: Taking taylor expansion of (/ 1 z) in a 3.703 * [taylor]: Taking taylor expansion of z in a 3.703 * [taylor]: Taking taylor expansion of (/ 1 t) in a 3.703 * [taylor]: Taking taylor expansion of t in a 3.703 * [taylor]: Taking taylor expansion of y in a 3.704 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t 3.704 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t 3.704 * [taylor]: Taking taylor expansion of a in t 3.704 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 3.704 * [taylor]: Taking taylor expansion of (/ 1 z) in t 3.704 * [taylor]: Taking taylor expansion of z in t 3.704 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.704 * [taylor]: Taking taylor expansion of t in t 3.704 * [taylor]: Taking taylor expansion of y in t 3.705 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z 3.705 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 3.705 * [taylor]: Taking taylor expansion of a in z 3.705 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 3.705 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.705 * [taylor]: Taking taylor expansion of z in z 3.705 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.705 * [taylor]: Taking taylor expansion of t in z 3.705 * [taylor]: Taking taylor expansion of y in z 3.706 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z 3.706 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 3.706 * [taylor]: Taking taylor expansion of a in z 3.706 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 3.706 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.706 * [taylor]: Taking taylor expansion of z in z 3.706 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.706 * [taylor]: Taking taylor expansion of t in z 3.706 * [taylor]: Taking taylor expansion of y in z 3.707 * [taylor]: Taking taylor expansion of (/ a y) in t 3.707 * [taylor]: Taking taylor expansion of a in t 3.707 * [taylor]: Taking taylor expansion of y in t 3.708 * [taylor]: Taking taylor expansion of (- (/ a (* y t))) in t 3.708 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 3.708 * [taylor]: Taking taylor expansion of a in t 3.708 * [taylor]: Taking taylor expansion of (* y t) in t 3.708 * [taylor]: Taking taylor expansion of y in t 3.708 * [taylor]: Taking taylor expansion of t in t 3.708 * [taylor]: Taking taylor expansion of (- (/ a y)) in a 3.708 * [taylor]: Taking taylor expansion of (/ a y) in a 3.708 * [taylor]: Taking taylor expansion of a in a 3.708 * [taylor]: Taking taylor expansion of y in a 3.708 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 3.708 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.708 * [taylor]: Taking taylor expansion of y in y 3.709 * [taylor]: Taking taylor expansion of (/ a y) in a 3.709 * [taylor]: Taking taylor expansion of a in a 3.709 * [taylor]: Taking taylor expansion of y in a 3.709 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.709 * [taylor]: Taking taylor expansion of y in y 3.711 * [taylor]: Taking taylor expansion of 0 in t 3.711 * [taylor]: Taking taylor expansion of 0 in a 3.712 * [taylor]: Taking taylor expansion of 0 in y 3.712 * [taylor]: Taking taylor expansion of 0 in a 3.712 * [taylor]: Taking taylor expansion of 0 in y 3.712 * [taylor]: Taking taylor expansion of 0 in y 3.712 * [taylor]: Taking taylor expansion of 0 in y 3.715 * [taylor]: Taking taylor expansion of 0 in t 3.715 * [taylor]: Taking taylor expansion of 0 in a 3.715 * [taylor]: Taking taylor expansion of 0 in y 3.716 * [taylor]: Taking taylor expansion of 0 in a 3.716 * [taylor]: Taking taylor expansion of 0 in y 3.716 * [taylor]: Taking taylor expansion of 0 in a 3.716 * [taylor]: Taking taylor expansion of 0 in y 3.716 * [taylor]: Taking taylor expansion of 0 in y 3.716 * [taylor]: Taking taylor expansion of 0 in y 3.716 * [taylor]: Taking taylor expansion of 0 in y 3.716 * [taylor]: Taking taylor expansion of 0 in y 3.717 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in (z t a y) around 0 3.717 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y 3.717 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y 3.717 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 3.717 * [taylor]: Taking taylor expansion of (/ 1 t) in y 3.717 * [taylor]: Taking taylor expansion of t in y 3.717 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.717 * [taylor]: Taking taylor expansion of z in y 3.717 * [taylor]: Taking taylor expansion of a in y 3.717 * [taylor]: Taking taylor expansion of y in y 3.717 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in a 3.717 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a 3.717 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 3.717 * [taylor]: Taking taylor expansion of (/ 1 t) in a 3.717 * [taylor]: Taking taylor expansion of t in a 3.717 * [taylor]: Taking taylor expansion of (/ 1 z) in a 3.717 * [taylor]: Taking taylor expansion of z in a 3.718 * [taylor]: Taking taylor expansion of a in a 3.718 * [taylor]: Taking taylor expansion of y in a 3.719 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in t 3.719 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t 3.719 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 3.719 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.719 * [taylor]: Taking taylor expansion of t in t 3.719 * [taylor]: Taking taylor expansion of (/ 1 z) in t 3.719 * [taylor]: Taking taylor expansion of z in t 3.719 * [taylor]: Taking taylor expansion of a in t 3.719 * [taylor]: Taking taylor expansion of y in t 3.719 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z 3.719 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 3.719 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 3.719 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.719 * [taylor]: Taking taylor expansion of t in z 3.719 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.719 * [taylor]: Taking taylor expansion of z in z 3.720 * [taylor]: Taking taylor expansion of a in z 3.720 * [taylor]: Taking taylor expansion of y in z 3.720 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z 3.720 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 3.720 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 3.720 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.720 * [taylor]: Taking taylor expansion of t in z 3.720 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.720 * [taylor]: Taking taylor expansion of z in z 3.721 * [taylor]: Taking taylor expansion of a in z 3.721 * [taylor]: Taking taylor expansion of y in z 3.721 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in t 3.721 * [taylor]: Taking taylor expansion of -1 in t 3.721 * [taylor]: Taking taylor expansion of (/ a y) in t 3.721 * [taylor]: Taking taylor expansion of a in t 3.721 * [taylor]: Taking taylor expansion of y in t 3.723 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 3.723 * [taylor]: Taking taylor expansion of a in t 3.723 * [taylor]: Taking taylor expansion of (* y t) in t 3.723 * [taylor]: Taking taylor expansion of y in t 3.723 * [taylor]: Taking taylor expansion of t in t 3.723 * [taylor]: Taking taylor expansion of (/ a y) in a 3.723 * [taylor]: Taking taylor expansion of a in a 3.723 * [taylor]: Taking taylor expansion of y in a 3.723 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.723 * [taylor]: Taking taylor expansion of y in y 3.723 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in a 3.723 * [taylor]: Taking taylor expansion of -1 in a 3.723 * [taylor]: Taking taylor expansion of (/ a y) in a 3.723 * [taylor]: Taking taylor expansion of a in a 3.723 * [taylor]: Taking taylor expansion of y in a 3.724 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.724 * [taylor]: Taking taylor expansion of -1 in y 3.724 * [taylor]: Taking taylor expansion of y in y 3.726 * [taylor]: Taking taylor expansion of 0 in t 3.726 * [taylor]: Taking taylor expansion of 0 in a 3.726 * [taylor]: Taking taylor expansion of 0 in y 3.727 * [taylor]: Taking taylor expansion of 0 in a 3.727 * [taylor]: Taking taylor expansion of 0 in y 3.727 * [taylor]: Taking taylor expansion of 0 in y 3.727 * [taylor]: Taking taylor expansion of 0 in y 3.730 * [taylor]: Taking taylor expansion of 0 in t 3.730 * [taylor]: Taking taylor expansion of 0 in a 3.730 * [taylor]: Taking taylor expansion of 0 in y 3.731 * [taylor]: Taking taylor expansion of 0 in a 3.731 * [taylor]: Taking taylor expansion of 0 in y 3.731 * [taylor]: Taking taylor expansion of 0 in a 3.731 * [taylor]: Taking taylor expansion of 0 in y 3.731 * [taylor]: Taking taylor expansion of 0 in y 3.731 * [taylor]: Taking taylor expansion of 0 in y 3.732 * [taylor]: Taking taylor expansion of 0 in y 3.732 * [taylor]: Taking taylor expansion of 0 in y 3.733 * * * * [progress]: [ 2 / 2 ] generating series at (2) 3.733 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in (z t a y x) around 0 3.733 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in x 3.733 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in x 3.733 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x 3.733 * [taylor]: Taking taylor expansion of (* z y) in x 3.733 * [taylor]: Taking taylor expansion of z in x 3.733 * [taylor]: Taking taylor expansion of y in x 3.733 * [taylor]: Taking taylor expansion of a in x 3.733 * [taylor]: Taking taylor expansion of x in x 3.733 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x 3.733 * [taylor]: Taking taylor expansion of (* t y) in x 3.733 * [taylor]: Taking taylor expansion of t in x 3.733 * [taylor]: Taking taylor expansion of y in x 3.733 * [taylor]: Taking taylor expansion of a in x 3.733 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in y 3.733 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in y 3.733 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y 3.733 * [taylor]: Taking taylor expansion of (* z y) in y 3.733 * [taylor]: Taking taylor expansion of z in y 3.733 * [taylor]: Taking taylor expansion of y in y 3.733 * [taylor]: Taking taylor expansion of a in y 3.734 * [taylor]: Taking taylor expansion of x in y 3.734 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y 3.734 * [taylor]: Taking taylor expansion of (* t y) in y 3.734 * [taylor]: Taking taylor expansion of t in y 3.734 * [taylor]: Taking taylor expansion of y in y 3.734 * [taylor]: Taking taylor expansion of a in y 3.734 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in a 3.734 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in a 3.734 * [taylor]: Taking taylor expansion of (/ (* z y) a) in a 3.734 * [taylor]: Taking taylor expansion of (* z y) in a 3.734 * [taylor]: Taking taylor expansion of z in a 3.734 * [taylor]: Taking taylor expansion of y in a 3.734 * [taylor]: Taking taylor expansion of a in a 3.734 * [taylor]: Taking taylor expansion of x in a 3.734 * [taylor]: Taking taylor expansion of (/ (* t y) a) in a 3.734 * [taylor]: Taking taylor expansion of (* t y) in a 3.734 * [taylor]: Taking taylor expansion of t in a 3.734 * [taylor]: Taking taylor expansion of y in a 3.734 * [taylor]: Taking taylor expansion of a in a 3.734 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in t 3.734 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in t 3.734 * [taylor]: Taking taylor expansion of (/ (* z y) a) in t 3.734 * [taylor]: Taking taylor expansion of (* z y) in t 3.734 * [taylor]: Taking taylor expansion of z in t 3.734 * [taylor]: Taking taylor expansion of y in t 3.734 * [taylor]: Taking taylor expansion of a in t 3.734 * [taylor]: Taking taylor expansion of x in t 3.734 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t 3.734 * [taylor]: Taking taylor expansion of (* t y) in t 3.734 * [taylor]: Taking taylor expansion of t in t 3.734 * [taylor]: Taking taylor expansion of y in t 3.735 * [taylor]: Taking taylor expansion of a in t 3.735 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in z 3.735 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in z 3.735 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z 3.735 * [taylor]: Taking taylor expansion of (* z y) in z 3.735 * [taylor]: Taking taylor expansion of z in z 3.735 * [taylor]: Taking taylor expansion of y in z 3.735 * [taylor]: Taking taylor expansion of a in z 3.735 * [taylor]: Taking taylor expansion of x in z 3.735 * [taylor]: Taking taylor expansion of (/ (* t y) a) in z 3.735 * [taylor]: Taking taylor expansion of (* t y) in z 3.735 * [taylor]: Taking taylor expansion of t in z 3.735 * [taylor]: Taking taylor expansion of y in z 3.735 * [taylor]: Taking taylor expansion of a in z 3.735 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in z 3.735 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in z 3.735 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z 3.735 * [taylor]: Taking taylor expansion of (* z y) in z 3.735 * [taylor]: Taking taylor expansion of z in z 3.735 * [taylor]: Taking taylor expansion of y in z 3.736 * [taylor]: Taking taylor expansion of a in z 3.736 * [taylor]: Taking taylor expansion of x in z 3.736 * [taylor]: Taking taylor expansion of (/ (* t y) a) in z 3.736 * [taylor]: Taking taylor expansion of (* t y) in z 3.736 * [taylor]: Taking taylor expansion of t in z 3.736 * [taylor]: Taking taylor expansion of y in z 3.736 * [taylor]: Taking taylor expansion of a in z 3.736 * [taylor]: Taking taylor expansion of (- x (/ (* t y) a)) in t 3.736 * [taylor]: Taking taylor expansion of x in t 3.736 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t 3.736 * [taylor]: Taking taylor expansion of (* t y) in t 3.736 * [taylor]: Taking taylor expansion of t in t 3.736 * [taylor]: Taking taylor expansion of y in t 3.736 * [taylor]: Taking taylor expansion of a in t 3.737 * [taylor]: Taking taylor expansion of x in a 3.737 * [taylor]: Taking taylor expansion of (/ y a) in t 3.737 * [taylor]: Taking taylor expansion of y in t 3.737 * [taylor]: Taking taylor expansion of a in t 3.737 * [taylor]: Taking taylor expansion of (/ y a) in a 3.737 * [taylor]: Taking taylor expansion of y in a 3.737 * [taylor]: Taking taylor expansion of a in a 3.737 * [taylor]: Taking taylor expansion of y in y 3.737 * [taylor]: Taking taylor expansion of 0 in x 3.737 * [taylor]: Taking taylor expansion of (- (/ y a)) in a 3.737 * [taylor]: Taking taylor expansion of (/ y a) in a 3.737 * [taylor]: Taking taylor expansion of y in a 3.737 * [taylor]: Taking taylor expansion of a in a 3.737 * [taylor]: Taking taylor expansion of (- y) in y 3.737 * [taylor]: Taking taylor expansion of y in y 3.738 * [taylor]: Taking taylor expansion of 0 in x 3.738 * [taylor]: Taking taylor expansion of x in y 3.738 * [taylor]: Taking taylor expansion of x in x 3.739 * [taylor]: Taking taylor expansion of 0 in t 3.740 * [taylor]: Taking taylor expansion of 0 in a 3.740 * [taylor]: Taking taylor expansion of 0 in a 3.741 * [taylor]: Taking taylor expansion of 0 in a 3.741 * [taylor]: Taking taylor expansion of 0 in y 3.741 * [taylor]: Taking taylor expansion of 0 in x 3.742 * [taylor]: Taking taylor expansion of 0 in y 3.742 * [taylor]: Taking taylor expansion of 0 in x 3.742 * [taylor]: Taking taylor expansion of 0 in y 3.742 * [taylor]: Taking taylor expansion of 0 in x 3.742 * [approximate]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in (z t a y x) around 0 3.742 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in x 3.742 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x 3.742 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x 3.742 * [taylor]: Taking taylor expansion of a in x 3.743 * [taylor]: Taking taylor expansion of (* z y) in x 3.743 * [taylor]: Taking taylor expansion of z in x 3.743 * [taylor]: Taking taylor expansion of y in x 3.743 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.743 * [taylor]: Taking taylor expansion of x in x 3.743 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x 3.743 * [taylor]: Taking taylor expansion of a in x 3.743 * [taylor]: Taking taylor expansion of (* y t) in x 3.743 * [taylor]: Taking taylor expansion of y in x 3.743 * [taylor]: Taking taylor expansion of t in x 3.743 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in y 3.743 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y 3.743 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y 3.743 * [taylor]: Taking taylor expansion of a in y 3.743 * [taylor]: Taking taylor expansion of (* z y) in y 3.743 * [taylor]: Taking taylor expansion of z in y 3.743 * [taylor]: Taking taylor expansion of y in y 3.743 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.743 * [taylor]: Taking taylor expansion of x in y 3.744 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y 3.744 * [taylor]: Taking taylor expansion of a in y 3.744 * [taylor]: Taking taylor expansion of (* y t) in y 3.744 * [taylor]: Taking taylor expansion of y in y 3.744 * [taylor]: Taking taylor expansion of t in y 3.744 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in a 3.744 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a 3.744 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a 3.744 * [taylor]: Taking taylor expansion of a in a 3.744 * [taylor]: Taking taylor expansion of (* z y) in a 3.744 * [taylor]: Taking taylor expansion of z in a 3.744 * [taylor]: Taking taylor expansion of y in a 3.744 * [taylor]: Taking taylor expansion of (/ 1 x) in a 3.744 * [taylor]: Taking taylor expansion of x in a 3.744 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a 3.744 * [taylor]: Taking taylor expansion of a in a 3.744 * [taylor]: Taking taylor expansion of (* y t) in a 3.744 * [taylor]: Taking taylor expansion of y in a 3.744 * [taylor]: Taking taylor expansion of t in a 3.744 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in t 3.744 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in t 3.744 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t 3.744 * [taylor]: Taking taylor expansion of a in t 3.744 * [taylor]: Taking taylor expansion of (* z y) in t 3.744 * [taylor]: Taking taylor expansion of z in t 3.744 * [taylor]: Taking taylor expansion of y in t 3.744 * [taylor]: Taking taylor expansion of (/ 1 x) in t 3.744 * [taylor]: Taking taylor expansion of x in t 3.744 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 3.744 * [taylor]: Taking taylor expansion of a in t 3.745 * [taylor]: Taking taylor expansion of (* y t) in t 3.745 * [taylor]: Taking taylor expansion of y in t 3.745 * [taylor]: Taking taylor expansion of t in t 3.745 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in z 3.745 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z 3.745 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z 3.745 * [taylor]: Taking taylor expansion of a in z 3.745 * [taylor]: Taking taylor expansion of (* z y) in z 3.745 * [taylor]: Taking taylor expansion of z in z 3.745 * [taylor]: Taking taylor expansion of y in z 3.745 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.745 * [taylor]: Taking taylor expansion of x in z 3.745 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z 3.745 * [taylor]: Taking taylor expansion of a in z 3.745 * [taylor]: Taking taylor expansion of (* y t) in z 3.745 * [taylor]: Taking taylor expansion of y in z 3.745 * [taylor]: Taking taylor expansion of t in z 3.745 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in z 3.746 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z 3.746 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z 3.746 * [taylor]: Taking taylor expansion of a in z 3.746 * [taylor]: Taking taylor expansion of (* z y) in z 3.746 * [taylor]: Taking taylor expansion of z in z 3.746 * [taylor]: Taking taylor expansion of y in z 3.746 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.746 * [taylor]: Taking taylor expansion of x in z 3.746 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z 3.746 * [taylor]: Taking taylor expansion of a in z 3.746 * [taylor]: Taking taylor expansion of (* y t) in z 3.746 * [taylor]: Taking taylor expansion of y in z 3.746 * [taylor]: Taking taylor expansion of t in z 3.746 * [taylor]: Taking taylor expansion of (/ a y) in t 3.746 * [taylor]: Taking taylor expansion of a in t 3.746 * [taylor]: Taking taylor expansion of y in t 3.747 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ a (* y t))) in t 3.747 * [taylor]: Taking taylor expansion of (/ 1 x) in t 3.747 * [taylor]: Taking taylor expansion of x in t 3.747 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 3.747 * [taylor]: Taking taylor expansion of a in t 3.747 * [taylor]: Taking taylor expansion of (* y t) in t 3.747 * [taylor]: Taking taylor expansion of y in t 3.747 * [taylor]: Taking taylor expansion of t in t 3.748 * [taylor]: Taking taylor expansion of (- (/ a y)) in a 3.748 * [taylor]: Taking taylor expansion of (/ a y) in a 3.748 * [taylor]: Taking taylor expansion of a in a 3.748 * [taylor]: Taking taylor expansion of y in a 3.748 * [taylor]: Taking taylor expansion of (/ a y) in a 3.748 * [taylor]: Taking taylor expansion of a in a 3.748 * [taylor]: Taking taylor expansion of y in a 3.749 * [taylor]: Taking taylor expansion of 0 in t 3.750 * [taylor]: Taking taylor expansion of (/ 1 x) in a 3.750 * [taylor]: Taking taylor expansion of x in a 3.750 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.750 * [taylor]: Taking taylor expansion of x in y 3.750 * [taylor]: Taking taylor expansion of 0 in a 3.750 * [taylor]: Taking taylor expansion of 0 in y 3.751 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 3.751 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.751 * [taylor]: Taking taylor expansion of y in y 3.751 * [taylor]: Taking taylor expansion of -1 in x 3.751 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.751 * [taylor]: Taking taylor expansion of y in y 3.751 * [taylor]: Taking taylor expansion of 1 in x 3.754 * [taylor]: Taking taylor expansion of 0 in t 3.754 * [taylor]: Taking taylor expansion of 0 in a 3.754 * [taylor]: Taking taylor expansion of 0 in y 3.755 * [taylor]: Taking taylor expansion of 0 in a 3.755 * [taylor]: Taking taylor expansion of 0 in y 3.755 * [taylor]: Taking taylor expansion of 0 in a 3.755 * [taylor]: Taking taylor expansion of 0 in y 3.755 * [taylor]: Taking taylor expansion of 0 in y 3.755 * [taylor]: Taking taylor expansion of 0 in y 3.755 * [taylor]: Taking taylor expansion of 0 in y 3.755 * [taylor]: Taking taylor expansion of 0 in y 3.756 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.756 * [taylor]: Taking taylor expansion of x in x 3.756 * [taylor]: Taking taylor expansion of 0 in x 3.757 * [taylor]: Taking taylor expansion of 0 in x 3.757 * [taylor]: Taking taylor expansion of 0 in x 3.758 * [approximate]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in (z t a y x) around 0 3.758 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in x 3.758 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x 3.758 * [taylor]: Taking taylor expansion of a in x 3.758 * [taylor]: Taking taylor expansion of (* y t) in x 3.758 * [taylor]: Taking taylor expansion of y in x 3.758 * [taylor]: Taking taylor expansion of t in x 3.758 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x 3.758 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x 3.758 * [taylor]: Taking taylor expansion of a in x 3.758 * [taylor]: Taking taylor expansion of (* z y) in x 3.758 * [taylor]: Taking taylor expansion of z in x 3.758 * [taylor]: Taking taylor expansion of y in x 3.758 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.758 * [taylor]: Taking taylor expansion of x in x 3.759 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in y 3.759 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y 3.759 * [taylor]: Taking taylor expansion of a in y 3.759 * [taylor]: Taking taylor expansion of (* y t) in y 3.759 * [taylor]: Taking taylor expansion of y in y 3.759 * [taylor]: Taking taylor expansion of t in y 3.759 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y 3.759 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y 3.759 * [taylor]: Taking taylor expansion of a in y 3.759 * [taylor]: Taking taylor expansion of (* z y) in y 3.759 * [taylor]: Taking taylor expansion of z in y 3.759 * [taylor]: Taking taylor expansion of y in y 3.759 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.759 * [taylor]: Taking taylor expansion of x in y 3.760 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in a 3.760 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a 3.760 * [taylor]: Taking taylor expansion of a in a 3.760 * [taylor]: Taking taylor expansion of (* y t) in a 3.760 * [taylor]: Taking taylor expansion of y in a 3.760 * [taylor]: Taking taylor expansion of t in a 3.760 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a 3.760 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a 3.760 * [taylor]: Taking taylor expansion of a in a 3.760 * [taylor]: Taking taylor expansion of (* z y) in a 3.760 * [taylor]: Taking taylor expansion of z in a 3.760 * [taylor]: Taking taylor expansion of y in a 3.760 * [taylor]: Taking taylor expansion of (/ 1 x) in a 3.760 * [taylor]: Taking taylor expansion of x in a 3.760 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in t 3.760 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 3.760 * [taylor]: Taking taylor expansion of a in t 3.760 * [taylor]: Taking taylor expansion of (* y t) in t 3.760 * [taylor]: Taking taylor expansion of y in t 3.760 * [taylor]: Taking taylor expansion of t in t 3.760 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in t 3.760 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t 3.760 * [taylor]: Taking taylor expansion of a in t 3.760 * [taylor]: Taking taylor expansion of (* z y) in t 3.760 * [taylor]: Taking taylor expansion of z in t 3.760 * [taylor]: Taking taylor expansion of y in t 3.760 * [taylor]: Taking taylor expansion of (/ 1 x) in t 3.760 * [taylor]: Taking taylor expansion of x in t 3.760 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in z 3.760 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z 3.761 * [taylor]: Taking taylor expansion of a in z 3.761 * [taylor]: Taking taylor expansion of (* y t) in z 3.761 * [taylor]: Taking taylor expansion of y in z 3.761 * [taylor]: Taking taylor expansion of t in z 3.761 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z 3.761 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z 3.761 * [taylor]: Taking taylor expansion of a in z 3.761 * [taylor]: Taking taylor expansion of (* z y) in z 3.761 * [taylor]: Taking taylor expansion of z in z 3.761 * [taylor]: Taking taylor expansion of y in z 3.761 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.761 * [taylor]: Taking taylor expansion of x in z 3.761 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in z 3.761 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z 3.761 * [taylor]: Taking taylor expansion of a in z 3.761 * [taylor]: Taking taylor expansion of (* y t) in z 3.761 * [taylor]: Taking taylor expansion of y in z 3.761 * [taylor]: Taking taylor expansion of t in z 3.761 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z 3.761 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z 3.761 * [taylor]: Taking taylor expansion of a in z 3.761 * [taylor]: Taking taylor expansion of (* z y) in z 3.761 * [taylor]: Taking taylor expansion of z in z 3.761 * [taylor]: Taking taylor expansion of y in z 3.762 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.762 * [taylor]: Taking taylor expansion of x in z 3.762 * [taylor]: Taking taylor expansion of (- (/ a y)) in t 3.762 * [taylor]: Taking taylor expansion of (/ a y) in t 3.762 * [taylor]: Taking taylor expansion of a in t 3.762 * [taylor]: Taking taylor expansion of y in t 3.763 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (/ 1 x)) in t 3.763 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 3.763 * [taylor]: Taking taylor expansion of a in t 3.763 * [taylor]: Taking taylor expansion of (* y t) in t 3.763 * [taylor]: Taking taylor expansion of y in t 3.763 * [taylor]: Taking taylor expansion of t in t 3.763 * [taylor]: Taking taylor expansion of (/ 1 x) in t 3.763 * [taylor]: Taking taylor expansion of x in t 3.763 * [taylor]: Taking taylor expansion of (/ a y) in a 3.763 * [taylor]: Taking taylor expansion of a in a 3.763 * [taylor]: Taking taylor expansion of y in a 3.763 * [taylor]: Taking taylor expansion of (- (/ a y)) in a 3.763 * [taylor]: Taking taylor expansion of (/ a y) in a 3.763 * [taylor]: Taking taylor expansion of a in a 3.763 * [taylor]: Taking taylor expansion of y in a 3.765 * [taylor]: Taking taylor expansion of 0 in t 3.766 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in a 3.766 * [taylor]: Taking taylor expansion of (/ 1 x) in a 3.766 * [taylor]: Taking taylor expansion of x in a 3.766 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 3.766 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.766 * [taylor]: Taking taylor expansion of x in y 3.766 * [taylor]: Taking taylor expansion of 0 in a 3.766 * [taylor]: Taking taylor expansion of 0 in y 3.766 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.766 * [taylor]: Taking taylor expansion of y in y 3.766 * [taylor]: Taking taylor expansion of 1 in x 3.767 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 3.767 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.767 * [taylor]: Taking taylor expansion of y in y 3.767 * [taylor]: Taking taylor expansion of -1 in x 3.773 * [taylor]: Taking taylor expansion of 0 in t 3.773 * [taylor]: Taking taylor expansion of 0 in a 3.773 * [taylor]: Taking taylor expansion of 0 in y 3.774 * [taylor]: Taking taylor expansion of 0 in a 3.774 * [taylor]: Taking taylor expansion of 0 in y 3.775 * [taylor]: Taking taylor expansion of 0 in a 3.775 * [taylor]: Taking taylor expansion of 0 in y 3.775 * [taylor]: Taking taylor expansion of 0 in y 3.775 * [taylor]: Taking taylor expansion of 0 in y 3.775 * [taylor]: Taking taylor expansion of 0 in y 3.775 * [taylor]: Taking taylor expansion of 0 in y 3.776 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 3.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.776 * [taylor]: Taking taylor expansion of x in x 3.776 * [taylor]: Taking taylor expansion of 0 in x 3.777 * [taylor]: Taking taylor expansion of 0 in x 3.777 * [taylor]: Taking taylor expansion of 0 in x 3.778 * * * [progress]: simplifying candidates 3.781 * [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)) 3.786 * * [simplify]: iteration 0 : 224 enodes (cost 1920 ) 3.840 * * [simplify]: iteration 1 : 615 enodes (cost 1786 ) 4.046 * * [simplify]: iteration 2 : 1846 enodes (cost 1697 ) 4.465 * * [simplify]: iteration done : 5001 enodes (cost 1697 ) 4.466 * [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 (/ (- z t) (/ a y)) 1 (/ (- z t) (/ a y)) (/ 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 (/ (- z t) (/ a y)) 1 (/ (- z t) (/ a y)) (/ 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) (/ (- z t) (/ a y)) (/ (- z t) (/ a y)) (/ (- z t) (/ a y)) 0 (fma (/ (- z t) a) y x) (fma (/ (- z t) a) y x) 4.467 * * * [progress]: adding candidates to table 4.959 * * [progress]: iteration 4 / 4 4.959 * * * [progress]: picking best candidate 4.964 * * * * [pick]: Picked # 4.965 * * * [progress]: localizing error 4.976 * * * [progress]: generating rewritten candidates 4.976 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 4.995 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 4.996 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2) 4.996 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 5.000 * * * [progress]: generating series expansions 5.000 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 5.001 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) a) in (z t y a) around 0 5.001 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in a 5.001 * [taylor]: Taking taylor expansion of (* y (- z t)) in a 5.001 * [taylor]: Taking taylor expansion of y in a 5.001 * [taylor]: Taking taylor expansion of (- z t) in a 5.001 * [taylor]: Taking taylor expansion of z in a 5.001 * [taylor]: Taking taylor expansion of t in a 5.001 * [taylor]: Taking taylor expansion of a in a 5.001 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y 5.001 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 5.001 * [taylor]: Taking taylor expansion of y in y 5.001 * [taylor]: Taking taylor expansion of (- z t) in y 5.001 * [taylor]: Taking taylor expansion of z in y 5.001 * [taylor]: Taking taylor expansion of t in y 5.001 * [taylor]: Taking taylor expansion of a in y 5.002 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in t 5.002 * [taylor]: Taking taylor expansion of (* y (- z t)) in t 5.002 * [taylor]: Taking taylor expansion of y in t 5.002 * [taylor]: Taking taylor expansion of (- z t) in t 5.002 * [taylor]: Taking taylor expansion of z in t 5.002 * [taylor]: Taking taylor expansion of t in t 5.002 * [taylor]: Taking taylor expansion of a in t 5.003 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in z 5.003 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 5.003 * [taylor]: Taking taylor expansion of y in z 5.003 * [taylor]: Taking taylor expansion of (- z t) in z 5.003 * [taylor]: Taking taylor expansion of z in z 5.003 * [taylor]: Taking taylor expansion of t in z 5.003 * [taylor]: Taking taylor expansion of a in z 5.003 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in z 5.003 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 5.003 * [taylor]: Taking taylor expansion of y in z 5.003 * [taylor]: Taking taylor expansion of (- z t) in z 5.003 * [taylor]: Taking taylor expansion of z in z 5.003 * [taylor]: Taking taylor expansion of t in z 5.003 * [taylor]: Taking taylor expansion of a in z 5.003 * [taylor]: Taking taylor expansion of (* -1 (/ (* t y) a)) in t 5.003 * [taylor]: Taking taylor expansion of -1 in t 5.003 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t 5.003 * [taylor]: Taking taylor expansion of (* t y) in t 5.003 * [taylor]: Taking taylor expansion of t in t 5.003 * [taylor]: Taking taylor expansion of y in t 5.003 * [taylor]: Taking taylor expansion of a in t 5.004 * [taylor]: Taking taylor expansion of (/ y a) in t 5.004 * [taylor]: Taking taylor expansion of y in t 5.004 * [taylor]: Taking taylor expansion of a in t 5.004 * [taylor]: Taking taylor expansion of (/ y a) in y 5.004 * [taylor]: Taking taylor expansion of y in y 5.004 * [taylor]: Taking taylor expansion of a in y 5.005 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.005 * [taylor]: Taking taylor expansion of a in a 5.005 * [taylor]: Taking taylor expansion of (* -1 (/ y a)) in y 5.005 * [taylor]: Taking taylor expansion of -1 in y 5.005 * [taylor]: Taking taylor expansion of (/ y a) in y 5.005 * [taylor]: Taking taylor expansion of y in y 5.005 * [taylor]: Taking taylor expansion of a in y 5.005 * [taylor]: Taking taylor expansion of (/ -1 a) in a 5.005 * [taylor]: Taking taylor expansion of -1 in a 5.005 * [taylor]: Taking taylor expansion of a in a 5.006 * [taylor]: Taking taylor expansion of 0 in t 5.006 * [taylor]: Taking taylor expansion of 0 in y 5.006 * [taylor]: Taking taylor expansion of 0 in a 5.006 * [taylor]: Taking taylor expansion of 0 in y 5.006 * [taylor]: Taking taylor expansion of 0 in a 5.007 * [taylor]: Taking taylor expansion of 0 in y 5.007 * [taylor]: Taking taylor expansion of 0 in a 5.007 * [taylor]: Taking taylor expansion of 0 in a 5.008 * [taylor]: Taking taylor expansion of 0 in a 5.010 * [taylor]: Taking taylor expansion of 0 in t 5.010 * [taylor]: Taking taylor expansion of 0 in y 5.010 * [taylor]: Taking taylor expansion of 0 in a 5.010 * [taylor]: Taking taylor expansion of 0 in y 5.010 * [taylor]: Taking taylor expansion of 0 in a 5.010 * [taylor]: Taking taylor expansion of 0 in y 5.010 * [taylor]: Taking taylor expansion of 0 in a 5.012 * [taylor]: Taking taylor expansion of 0 in y 5.012 * [taylor]: Taking taylor expansion of 0 in a 5.012 * [taylor]: Taking taylor expansion of 0 in a 5.012 * [taylor]: Taking taylor expansion of 0 in a 5.012 * [taylor]: Taking taylor expansion of 0 in a 5.012 * [taylor]: Taking taylor expansion of 0 in a 5.012 * [taylor]: Taking taylor expansion of 0 in a 5.013 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (z t y a) around 0 5.013 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a 5.013 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 5.013 * [taylor]: Taking taylor expansion of a in a 5.013 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 5.013 * [taylor]: Taking taylor expansion of (/ 1 z) in a 5.013 * [taylor]: Taking taylor expansion of z in a 5.013 * [taylor]: Taking taylor expansion of (/ 1 t) in a 5.013 * [taylor]: Taking taylor expansion of t in a 5.013 * [taylor]: Taking taylor expansion of y in a 5.014 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 5.014 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 5.014 * [taylor]: Taking taylor expansion of a in y 5.014 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 5.014 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.014 * [taylor]: Taking taylor expansion of z in y 5.014 * [taylor]: Taking taylor expansion of (/ 1 t) in y 5.014 * [taylor]: Taking taylor expansion of t in y 5.014 * [taylor]: Taking taylor expansion of y in y 5.015 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t 5.015 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t 5.015 * [taylor]: Taking taylor expansion of a in t 5.015 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 5.015 * [taylor]: Taking taylor expansion of (/ 1 z) in t 5.015 * [taylor]: Taking taylor expansion of z in t 5.015 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.015 * [taylor]: Taking taylor expansion of t in t 5.015 * [taylor]: Taking taylor expansion of y in t 5.016 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z 5.016 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 5.016 * [taylor]: Taking taylor expansion of a in z 5.016 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 5.016 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.016 * [taylor]: Taking taylor expansion of z in z 5.016 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.016 * [taylor]: Taking taylor expansion of t in z 5.016 * [taylor]: Taking taylor expansion of y in z 5.016 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z 5.016 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 5.016 * [taylor]: Taking taylor expansion of a in z 5.016 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 5.016 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.016 * [taylor]: Taking taylor expansion of z in z 5.017 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.017 * [taylor]: Taking taylor expansion of t in z 5.017 * [taylor]: Taking taylor expansion of y in z 5.017 * [taylor]: Taking taylor expansion of (/ a y) in t 5.017 * [taylor]: Taking taylor expansion of a in t 5.017 * [taylor]: Taking taylor expansion of y in t 5.018 * [taylor]: Taking taylor expansion of (- (/ a (* y t))) in t 5.019 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 5.019 * [taylor]: Taking taylor expansion of a in t 5.019 * [taylor]: Taking taylor expansion of (* y t) in t 5.019 * [taylor]: Taking taylor expansion of y in t 5.019 * [taylor]: Taking taylor expansion of t in t 5.019 * [taylor]: Taking taylor expansion of (- (/ a y)) in y 5.019 * [taylor]: Taking taylor expansion of (/ a y) in y 5.019 * [taylor]: Taking taylor expansion of a in y 5.019 * [taylor]: Taking taylor expansion of y in y 5.019 * [taylor]: Taking taylor expansion of (- a) in a 5.019 * [taylor]: Taking taylor expansion of a in a 5.019 * [taylor]: Taking taylor expansion of (/ a y) in y 5.019 * [taylor]: Taking taylor expansion of a in y 5.019 * [taylor]: Taking taylor expansion of y in y 5.019 * [taylor]: Taking taylor expansion of a in a 5.021 * [taylor]: Taking taylor expansion of 0 in t 5.022 * [taylor]: Taking taylor expansion of 0 in y 5.022 * [taylor]: Taking taylor expansion of 0 in y 5.023 * [taylor]: Taking taylor expansion of 0 in a 5.023 * [taylor]: Taking taylor expansion of 0 in a 5.025 * [taylor]: Taking taylor expansion of 0 in t 5.025 * [taylor]: Taking taylor expansion of 0 in y 5.026 * [taylor]: Taking taylor expansion of 0 in y 5.026 * [taylor]: Taking taylor expansion of 0 in y 5.026 * [taylor]: Taking taylor expansion of 0 in a 5.026 * [taylor]: Taking taylor expansion of 0 in a 5.027 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 t) (/ 1 z)) (* (pow (cbrt -1) 3) a)) y)) in (z t y a) around 0 5.027 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 t) (/ 1 z)) (* (pow (cbrt -1) 3) a)) y)) in a 5.027 * [taylor]: Taking taylor expansion of -1 in a 5.027 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) (* (pow (cbrt -1) 3) a)) y) in a 5.027 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (pow (cbrt -1) 3) a)) in a 5.027 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 5.027 * [taylor]: Taking taylor expansion of (/ 1 t) in a 5.027 * [taylor]: Taking taylor expansion of t in a 5.027 * [taylor]: Taking taylor expansion of (/ 1 z) in a 5.027 * [taylor]: Taking taylor expansion of z in a 5.028 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) a) in a 5.028 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a 5.028 * [taylor]: Taking taylor expansion of (cbrt -1) in a 5.028 * [taylor]: Taking taylor expansion of -1 in a 5.028 * [taylor]: Taking taylor expansion of a in a 5.028 * [taylor]: Taking taylor expansion of y in a 5.036 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 t) (/ 1 z)) (* (pow (cbrt -1) 3) a)) y)) in y 5.036 * [taylor]: Taking taylor expansion of -1 in y 5.036 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) (* (pow (cbrt -1) 3) a)) y) in y 5.036 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (pow (cbrt -1) 3) a)) in y 5.036 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 5.036 * [taylor]: Taking taylor expansion of (/ 1 t) in y 5.036 * [taylor]: Taking taylor expansion of t in y 5.036 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.036 * [taylor]: Taking taylor expansion of z in y 5.036 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) a) in y 5.036 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 5.036 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.036 * [taylor]: Taking taylor expansion of -1 in y 5.037 * [taylor]: Taking taylor expansion of a in y 5.037 * [taylor]: Taking taylor expansion of y in y 5.040 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 t) (/ 1 z)) (* (pow (cbrt -1) 3) a)) y)) in t 5.040 * [taylor]: Taking taylor expansion of -1 in t 5.040 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) (* (pow (cbrt -1) 3) a)) y) in t 5.040 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (pow (cbrt -1) 3) a)) in t 5.040 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 5.040 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.040 * [taylor]: Taking taylor expansion of t in t 5.040 * [taylor]: Taking taylor expansion of (/ 1 z) in t 5.040 * [taylor]: Taking taylor expansion of z in t 5.040 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) a) in t 5.040 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t 5.040 * [taylor]: Taking taylor expansion of (cbrt -1) in t 5.040 * [taylor]: Taking taylor expansion of -1 in t 5.041 * [taylor]: Taking taylor expansion of a in t 5.041 * [taylor]: Taking taylor expansion of y in t 5.044 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 t) (/ 1 z)) (* (pow (cbrt -1) 3) a)) y)) in z 5.044 * [taylor]: Taking taylor expansion of -1 in z 5.045 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) (* (pow (cbrt -1) 3) a)) y) in z 5.045 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (pow (cbrt -1) 3) a)) in z 5.045 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 5.045 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.045 * [taylor]: Taking taylor expansion of t in z 5.045 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.045 * [taylor]: Taking taylor expansion of z in z 5.045 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) a) in z 5.045 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 5.045 * [taylor]: Taking taylor expansion of (cbrt -1) in z 5.045 * [taylor]: Taking taylor expansion of -1 in z 5.046 * [taylor]: Taking taylor expansion of a in z 5.046 * [taylor]: Taking taylor expansion of y in z 5.049 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 t) (/ 1 z)) (* (pow (cbrt -1) 3) a)) y)) in z 5.049 * [taylor]: Taking taylor expansion of -1 in z 5.049 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) (* (pow (cbrt -1) 3) a)) y) in z 5.049 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (pow (cbrt -1) 3) a)) in z 5.049 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 5.049 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.049 * [taylor]: Taking taylor expansion of t in z 5.049 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.049 * [taylor]: Taking taylor expansion of z in z 5.050 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) a) in z 5.050 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 5.050 * [taylor]: Taking taylor expansion of (cbrt -1) in z 5.050 * [taylor]: Taking taylor expansion of -1 in z 5.050 * [taylor]: Taking taylor expansion of a in z 5.050 * [taylor]: Taking taylor expansion of y in z 5.054 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in t 5.054 * [taylor]: Taking taylor expansion of -1 in t 5.054 * [taylor]: Taking taylor expansion of (/ a y) in t 5.054 * [taylor]: Taking taylor expansion of a in t 5.054 * [taylor]: Taking taylor expansion of y in t 5.056 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 5.057 * [taylor]: Taking taylor expansion of a in t 5.057 * [taylor]: Taking taylor expansion of (* y t) in t 5.057 * [taylor]: Taking taylor expansion of y in t 5.057 * [taylor]: Taking taylor expansion of t in t 5.057 * [taylor]: Taking taylor expansion of (/ a y) in y 5.057 * [taylor]: Taking taylor expansion of a in y 5.057 * [taylor]: Taking taylor expansion of y in y 5.057 * [taylor]: Taking taylor expansion of a in a 5.057 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in y 5.057 * [taylor]: Taking taylor expansion of -1 in y 5.057 * [taylor]: Taking taylor expansion of (/ a y) in y 5.057 * [taylor]: Taking taylor expansion of a in y 5.057 * [taylor]: Taking taylor expansion of y in y 5.057 * [taylor]: Taking taylor expansion of (* -1 a) in a 5.057 * [taylor]: Taking taylor expansion of -1 in a 5.057 * [taylor]: Taking taylor expansion of a in a 5.062 * [taylor]: Taking taylor expansion of 0 in t 5.063 * [taylor]: Taking taylor expansion of 0 in y 5.063 * [taylor]: Taking taylor expansion of 0 in y 5.064 * [taylor]: Taking taylor expansion of 0 in a 5.065 * [taylor]: Taking taylor expansion of 0 in a 5.074 * [taylor]: Taking taylor expansion of 0 in t 5.075 * [taylor]: Taking taylor expansion of 0 in y 5.075 * [taylor]: Taking taylor expansion of 0 in y 5.076 * [taylor]: Taking taylor expansion of 0 in y 5.076 * [taylor]: Taking taylor expansion of 0 in a 5.076 * [taylor]: Taking taylor expansion of 0 in a 5.076 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 5.076 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 5.076 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.076 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.076 * [taylor]: Taking taylor expansion of 1/3 in y 5.076 * [taylor]: Taking taylor expansion of (log y) in y 5.076 * [taylor]: Taking taylor expansion of y in y 5.077 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.077 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.077 * [taylor]: Taking taylor expansion of 1/3 in y 5.077 * [taylor]: Taking taylor expansion of (log y) in y 5.077 * [taylor]: Taking taylor expansion of y in y 5.125 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 5.125 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.125 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.125 * [taylor]: Taking taylor expansion of 1/3 in y 5.126 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.126 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.126 * [taylor]: Taking taylor expansion of y in y 5.126 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.126 * [taylor]: Taking taylor expansion of 1/3 in y 5.127 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.127 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.127 * [taylor]: Taking taylor expansion of y in y 5.182 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 5.182 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.182 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.182 * [taylor]: Taking taylor expansion of -1 in y 5.183 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.183 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.183 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.183 * [taylor]: Taking taylor expansion of 1/3 in y 5.183 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.183 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.183 * [taylor]: Taking taylor expansion of y in y 5.184 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.184 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.184 * [taylor]: Taking taylor expansion of -1 in y 5.184 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.184 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.184 * [taylor]: Taking taylor expansion of 1/3 in y 5.184 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.185 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.185 * [taylor]: Taking taylor expansion of y in y 5.251 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2) 5.251 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 5.251 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.251 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.251 * [taylor]: Taking taylor expansion of 1/3 in y 5.251 * [taylor]: Taking taylor expansion of (log y) in y 5.251 * [taylor]: Taking taylor expansion of y in y 5.251 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.251 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.251 * [taylor]: Taking taylor expansion of 1/3 in y 5.251 * [taylor]: Taking taylor expansion of (log y) in y 5.252 * [taylor]: Taking taylor expansion of y in y 5.304 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 5.304 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.304 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.304 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.304 * [taylor]: Taking taylor expansion of 1/3 in y 5.304 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.304 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.304 * [taylor]: Taking taylor expansion of y in y 5.305 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.305 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.305 * [taylor]: Taking taylor expansion of 1/3 in y 5.305 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.305 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.305 * [taylor]: Taking taylor expansion of y in y 5.356 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 5.356 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.356 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.356 * [taylor]: Taking taylor expansion of -1 in y 5.357 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.357 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.357 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.357 * [taylor]: Taking taylor expansion of 1/3 in y 5.357 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.357 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.357 * [taylor]: Taking taylor expansion of y in y 5.358 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.358 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.358 * [taylor]: Taking taylor expansion of -1 in y 5.359 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.359 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.359 * [taylor]: Taking taylor expansion of 1/3 in y 5.359 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.359 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.359 * [taylor]: Taking taylor expansion of y in y 5.427 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 5.427 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 5.427 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.427 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.427 * [taylor]: Taking taylor expansion of 1/3 in y 5.428 * [taylor]: Taking taylor expansion of (log y) in y 5.428 * [taylor]: Taking taylor expansion of y in y 5.428 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.428 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.428 * [taylor]: Taking taylor expansion of 1/3 in y 5.428 * [taylor]: Taking taylor expansion of (log y) in y 5.428 * [taylor]: Taking taylor expansion of y in y 5.483 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 5.483 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.483 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.483 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.483 * [taylor]: Taking taylor expansion of 1/3 in y 5.483 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.483 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.483 * [taylor]: Taking taylor expansion of y in y 5.484 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.484 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.484 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.484 * [taylor]: Taking taylor expansion of 1/3 in y 5.484 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.485 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.485 * [taylor]: Taking taylor expansion of y in y 5.543 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 5.543 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.543 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.543 * [taylor]: Taking taylor expansion of -1 in y 5.543 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.544 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.544 * [taylor]: Taking taylor expansion of 1/3 in y 5.544 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.544 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.544 * [taylor]: Taking taylor expansion of y in y 5.544 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.544 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.545 * [taylor]: Taking taylor expansion of -1 in y 5.545 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.545 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.545 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.545 * [taylor]: Taking taylor expansion of 1/3 in y 5.545 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.545 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.545 * [taylor]: Taking taylor expansion of y in y 5.615 * * * [progress]: simplifying candidates 5.617 * [simplify]: Simplifying using # : (expm1 (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ a (cbrt y)))) (log1p (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ a (cbrt y)))) (- (+ (log (- z t)) (+ (log (cbrt y)) (log (cbrt y)))) (- (log a) (log (cbrt y)))) (- (+ (log (- z t)) (+ (log (cbrt y)) (log (cbrt y)))) (log (/ a (cbrt y)))) (- (+ (log (- z t)) (log (* (cbrt y) (cbrt y)))) (- (log a) (log (cbrt y)))) (- (+ (log (- z t)) (log (* (cbrt y) (cbrt y)))) (log (/ a (cbrt y)))) (- (log (* (- z t) (* (cbrt y) (cbrt y)))) (- (log a) (log (cbrt y)))) (- (log (* (- z t) (* (cbrt y) (cbrt y)))) (log (/ a (cbrt y)))) (log (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ a (cbrt y)))) (exp (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ a (cbrt y)))) (/ (* (* (* (- z t) (- z t)) (- z t)) (* y y)) (/ (* (* a a) a) y)) (/ (* (* (* (- z t) (- z t)) (- z t)) (* y y)) (* (* (/ a (cbrt y)) (/ a (cbrt y))) (/ a (cbrt y)))) (/ (* (* (* (- z t) (- z t)) (- z t)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (/ (* (* a a) a) y)) (/ (* (* (* (- z t) (- z t)) (- z t)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (/ a (cbrt y)) (/ a (cbrt y))) (/ a (cbrt y)))) (/ (* (* (* (- z t) (* (cbrt y) (cbrt y))) (* (- z t) (* (cbrt y) (cbrt y)))) (* (- z t) (* (cbrt y) (cbrt y)))) (/ (* (* a a) a) y)) (/ (* (* (* (- z t) (* (cbrt y) (cbrt y))) (* (- z t) (* (cbrt y) (cbrt y)))) (* (- z t) (* (cbrt y) (cbrt y)))) (* (* (/ a (cbrt y)) (/ a (cbrt y))) (/ a (cbrt y)))) (* (cbrt (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ a (cbrt y)))) (cbrt (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ a (cbrt y))))) (cbrt (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ a (cbrt y)))) (* (* (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ a (cbrt y))) (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ a (cbrt y)))) (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ a (cbrt y)))) (sqrt (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ a (cbrt y)))) (sqrt (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ a (cbrt y)))) (- (* (- z t) (* (cbrt y) (cbrt y)))) (- (/ a (cbrt y))) (/ (- z t) (* (cbrt (/ a (cbrt y))) (cbrt (/ a (cbrt y))))) (/ (* (cbrt y) (cbrt y)) (cbrt (/ a (cbrt y)))) (/ (- z t) (sqrt (/ a (cbrt y)))) (/ (* (cbrt y) (cbrt y)) (sqrt (/ a (cbrt y)))) (/ (- z t) (/ (* (cbrt a) (cbrt a)) (cbrt (* (cbrt y) (cbrt y))))) (/ (* (cbrt y) (cbrt y)) (/ (cbrt a) (cbrt (cbrt y)))) (/ (- z t) (/ (* (cbrt a) (cbrt a)) (cbrt (sqrt y)))) (/ (* (cbrt y) (cbrt y)) (/ (cbrt a) (cbrt (sqrt y)))) (/ (- z t) (/ (* (cbrt a) (cbrt a)) (cbrt 1))) (/ (* (cbrt y) (cbrt y)) (/ (cbrt a) (cbrt y))) (/ (- z t) (/ (* (cbrt a) (cbrt a)) (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (/ (* (cbrt y) (cbrt y)) (/ (cbrt a) (cbrt (cbrt y)))) (/ (- z t) (/ (* (cbrt a) (cbrt a)) (sqrt (cbrt y)))) (/ (* (cbrt y) (cbrt y)) (/ (cbrt a) (sqrt (cbrt y)))) (/ (- z t) (/ (* (cbrt a) (cbrt a)) 1)) (/ (* (cbrt y) (cbrt y)) (/ (cbrt a) (cbrt y))) (/ (- z t) (/ (sqrt a) (cbrt (* (cbrt y) (cbrt y))))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) (cbrt (cbrt y)))) (/ (- z t) (/ (sqrt a) (cbrt (sqrt y)))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) (cbrt (sqrt y)))) (/ (- z t) (/ (sqrt a) (cbrt 1))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) (cbrt y))) (/ (- z t) (/ (sqrt a) (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) (cbrt (cbrt y)))) (/ (- z t) (/ (sqrt a) (sqrt (cbrt y)))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) (sqrt (cbrt y)))) (/ (- z t) (/ (sqrt a) 1)) (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) (cbrt y))) (/ (- z t) (/ 1 (cbrt (* (cbrt y) (cbrt y))))) (/ (* (cbrt y) (cbrt y)) (/ a (cbrt (cbrt y)))) (/ (- z t) (/ 1 (cbrt (sqrt y)))) (/ (* (cbrt y) (cbrt y)) (/ a (cbrt (sqrt y)))) (/ (- z t) (/ 1 (cbrt 1))) (/ (* (cbrt y) (cbrt y)) (/ a (cbrt y))) (/ (- z t) (/ 1 (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (/ (* (cbrt y) (cbrt y)) (/ a (cbrt (cbrt y)))) (/ (- z t) (/ 1 (sqrt (cbrt y)))) (/ (* (cbrt y) (cbrt y)) (/ a (sqrt (cbrt y)))) (/ (- z t) (/ 1 1)) (/ (* (cbrt y) (cbrt y)) (/ a (cbrt y))) (/ (- z t) 1) (/ (* (cbrt y) (cbrt y)) (/ a (cbrt y))) (/ (- z t) a) (/ (* (cbrt y) (cbrt y)) (/ 1 (cbrt y))) (/ 1 (/ a (cbrt y))) (/ (/ a (cbrt y)) (* (- z t) (* (cbrt y) (cbrt y)))) (/ (* (- z t) (* (cbrt y) (cbrt y))) (* (cbrt (/ a (cbrt y))) (cbrt (/ a (cbrt y))))) (/ (* (- z t) (* (cbrt y) (cbrt y))) (sqrt (/ a (cbrt y)))) (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ (* (cbrt a) (cbrt a)) (cbrt (* (cbrt y) (cbrt y))))) (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ (* (cbrt a) (cbrt a)) (cbrt (sqrt y)))) (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ (* (cbrt a) (cbrt a)) (cbrt 1))) (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ (* (cbrt a) (cbrt a)) (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ (* (cbrt a) (cbrt a)) (sqrt (cbrt y)))) (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ (* (cbrt a) (cbrt a)) 1)) (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ (sqrt a) (cbrt (* (cbrt y) (cbrt y))))) (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ (sqrt a) (cbrt (sqrt y)))) (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ (sqrt a) (cbrt 1))) (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ (sqrt a) (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ (sqrt a) (sqrt (cbrt y)))) (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ (sqrt a) 1)) (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ 1 (cbrt (* (cbrt y) (cbrt y))))) (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ 1 (cbrt (sqrt y)))) (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ 1 (cbrt 1))) (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ 1 (sqrt (cbrt y)))) (/ (* (- z t) (* (cbrt y) (cbrt y))) (/ 1 1)) (/ (* (- z t) (* (cbrt y) (cbrt y))) 1) (/ (* (- z t) (* (cbrt y) (cbrt y))) a) (/ (/ a (cbrt y)) (* (cbrt y) (cbrt y))) (/ (* (- z t) (* (cbrt y) (cbrt y))) a) (* (/ a (cbrt y)) (+ (* z z) (+ (* t t) (* z t)))) (* (/ a (cbrt y)) (+ z t)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 5.621 * * [simplify]: iteration 0 : 188 enodes (cost 1680 ) 5.673 * * [simplify]: iteration 1 : 580 enodes (cost 1592 ) 5.940 * * [simplify]: iteration 2 : 2350 enodes (cost 1222 ) 6.407 * * [simplify]: iteration done : 5001 enodes (cost 1222 ) 6.408 * [simplify]: Simplified to: (expm1 (* (/ (- z t) a) (pow (cbrt y) 3))) (log1p (* (/ (- z t) a) (pow (cbrt y) 3))) (log (* (/ (- z t) a) (pow (cbrt y) 3))) (log (* (/ (- z t) a) (pow (cbrt y) 3))) (log (* (/ (- z t) a) (pow (cbrt y) 3))) (log (* (/ (- z t) a) (pow (cbrt y) 3))) (log (* (/ (- z t) a) (pow (cbrt y) 3))) (log (* (/ (- z t) a) (pow (cbrt y) 3))) (log (* (/ (- z t) a) (pow (cbrt y) 3))) (exp (* (/ (- z t) a) (pow (cbrt y) 3))) (* y (/ (* y y) (/ (pow a 3) (pow (- z t) 3)))) (* (/ (pow (- z t) 3) (pow (/ a (cbrt y)) 3)) (* y y)) (* (/ (pow (* (pow y 2/3) (- z t)) 3) (pow a 3)) y) (pow (* (/ (- z t) a) (pow (cbrt y) 3)) 3) (* (/ (pow (* (pow y 2/3) (- z t)) 3) (pow a 3)) y) (pow (* (/ (- z t) a) (pow (cbrt y) 3)) 3) (* (cbrt (* (/ (- z t) a) (pow (cbrt y) 3))) (cbrt (* (/ (- z t) a) (pow (cbrt y) 3)))) (cbrt (* (/ (- z t) a) (pow (cbrt y) 3))) (pow (* (/ (- z t) a) (pow (cbrt y) 3)) 3) (sqrt (* (/ (- z t) a) (pow (cbrt y) 3))) (sqrt (* (/ (- z t) a) (pow (cbrt y) 3))) (* (- (- z t)) (pow y 2/3)) (- (/ a (cbrt y))) (/ (- z t) (* (cbrt (/ a (cbrt y))) (cbrt (/ a (cbrt y))))) (/ (pow y 2/3) (cbrt (/ a (cbrt y)))) (/ (- z t) (sqrt (/ a (cbrt y)))) (/ (pow y 2/3) (sqrt (/ a (cbrt y)))) (/ (- z t) (/ (* (cbrt a) (cbrt a)) (cbrt (pow y 2/3)))) (* (/ (pow y 2/3) (cbrt a)) (cbrt (cbrt y))) (/ (- z t) (/ (* (cbrt a) (cbrt a)) (cbrt (sqrt y)))) (/ (pow y 2/3) (/ (cbrt a) (cbrt (sqrt y)))) (/ (- z t) (* (cbrt a) (cbrt a))) (/ (pow (cbrt y) 3) (cbrt a)) (/ (- z t) (/ (* (cbrt a) (cbrt a)) (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (* (/ (pow y 2/3) (cbrt a)) (cbrt (cbrt y))) (/ (- z t) (/ (* (cbrt a) (cbrt a)) (sqrt (cbrt y)))) (/ (pow y 2/3) (/ (cbrt a) (sqrt (cbrt y)))) (/ (- z t) (* (cbrt a) (cbrt a))) (/ (pow (cbrt y) 3) (cbrt a)) (* (/ (- z t) (sqrt a)) (cbrt (pow y 2/3))) (/ (pow y 2/3) (/ (sqrt a) (cbrt (cbrt y)))) (/ (- z t) (/ (sqrt a) (cbrt (sqrt y)))) (/ (pow y 2/3) (/ (sqrt a) (cbrt (sqrt y)))) (/ (- z t) (sqrt a)) (/ (pow (cbrt y) 3) (sqrt a)) (/ (- z t) (/ (sqrt a) (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (/ (pow y 2/3) (/ (sqrt a) (cbrt (cbrt y)))) (/ (- z t) (/ (sqrt a) (sqrt (cbrt y)))) (/ (* (pow y 2/3) (sqrt (cbrt y))) (sqrt a)) (/ (- z t) (sqrt a)) (/ (pow (cbrt y) 3) (sqrt a)) (* (cbrt (pow y 2/3)) (- z t)) (/ (pow y 2/3) (/ a (cbrt (cbrt y)))) (* (- z t) (cbrt (sqrt y))) (/ (* (pow y 2/3) (cbrt (sqrt y))) a) (- z t) (/ (pow (cbrt y) 3) a) (* (- z t) (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (/ (pow y 2/3) (/ a (cbrt (cbrt y)))) (* (- z t) (sqrt (cbrt y))) (* (sqrt (cbrt y)) (/ (pow y 2/3) a)) (- z t) (/ (pow (cbrt y) 3) a) (- z t) (/ (pow (cbrt y) 3) a) (/ (- z t) a) (pow (cbrt y) 3) (/ 1 (/ a (cbrt y))) (/ (/ a (pow (cbrt y) 3)) (- z t)) (/ (- z t) (/ (* (cbrt (/ a (cbrt y))) (cbrt (/ a (cbrt y)))) (pow y 2/3))) (* (/ (- z t) (sqrt (/ a (cbrt y)))) (pow y 2/3)) (/ (* (cbrt (pow y 2/3)) (- z t)) (/ (* (cbrt a) (cbrt a)) (pow y 2/3))) (* (/ (- z t) (/ (* (cbrt a) (cbrt a)) (cbrt (sqrt y)))) (pow y 2/3)) (/ (* (pow y 2/3) (- z t)) (* (cbrt a) (cbrt a))) (/ (pow y 2/3) (/ (/ (* (cbrt a) (cbrt a)) (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (- z t))) (* (/ (- z t) (/ (* (cbrt a) (cbrt a)) (sqrt (cbrt y)))) (pow y 2/3)) (/ (* (pow y 2/3) (- z t)) (* (cbrt a) (cbrt a))) (/ (* (cbrt (pow y 2/3)) (- z t)) (/ (sqrt a) (pow y 2/3))) (/ (pow y 2/3) (/ (/ (sqrt a) (cbrt (sqrt y))) (- z t))) (* (/ (- z t) (sqrt a)) (pow y 2/3)) (/ (pow y 2/3) (/ (/ (sqrt a) (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (- z t))) (* (/ (- z t) (/ (sqrt a) (sqrt (cbrt y)))) (pow y 2/3)) (* (/ (- z t) (sqrt a)) (pow y 2/3)) (* (pow y 2/3) (* (cbrt (pow y 2/3)) (- z t))) (* (pow y 2/3) (* (- z t) (cbrt (sqrt y)))) (* (pow y 2/3) (- z t)) (* (* (- z t) (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (pow y 2/3)) (* (sqrt (cbrt y)) (* (pow y 2/3) (- z t))) (* (pow y 2/3) (- z t)) (* (pow y 2/3) (- z t)) (/ (* (pow y 2/3) (- z t)) a) (/ a (pow (cbrt y) 3)) (/ (* (pow y 2/3) (- z t)) a) (* (fma z z (* t (+ z t))) (/ a (cbrt y))) (* (/ a (cbrt y)) (+ z t)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) 6.409 * * * [progress]: adding candidates to table 6.776 * [progress]: [Phase 3 of 3] Extracting. 6.777 * * [regime]: Finding splitpoints for: (# # # # # #) 6.777 * * * [regime-changes]: Trying 8 branch expressions: ((- z t) (* y (- z t)) (/ (* y (- z t)) a) a t z y x) 6.777 * * * * [regimes]: Trying to branch on (- z t) from (# # # # # #) 6.814 * * * * [regimes]: Trying to branch on (* y (- z t)) from (# # # # # #) 6.849 * * * * [regimes]: Trying to branch on (/ (* y (- z t)) a) from (# # # # # #) 6.884 * * * * [regimes]: Trying to branch on a from (# # # # # #) 6.921 * * * * [regimes]: Trying to branch on t from (# # # # # #) 6.956 * * * * [regimes]: Trying to branch on z from (# # # # # #) 6.992 * * * * [regimes]: Trying to branch on y from (# # # # # #) 7.029 * * * * [regimes]: Trying to branch on x from (# # # # # #) 7.066 * * * [regime]: Found split indices: #