14.154 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.023 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (- x (* y z)) (- t (* a z)))
0.024 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
0.025 * * [simplify]: iteration  1 :  19  enodes  (cost  11 )
0.028 * * [simplify]: iteration  2 :  38  enodes  (cost  11 )
0.032 * * [simplify]: iteration  3 :  60  enodes  (cost  11 )
0.039 * * [simplify]: iteration  4 :  88  enodes  (cost  11 )
0.053 * * [simplify]: iteration  5 :  120  enodes  (cost  11 )
0.069 * * [simplify]: iteration  6 :  182  enodes  (cost  11 )
0.108 * * [simplify]: iteration  7 :  632  enodes  (cost  11 )
0.416 * * [simplify]: iteration  8 :  3745  enodes  (cost  11 )
3.772 * * [simplify]: iteration  done :  5000  enodes  (cost  11 )
3.772 * [simplify]: Simplified to:
   (/ (- x (* y z)) (- t (* a z)))
3.773 * * [progress]: iteration 1 / 4
3.773 * * * [progress]: picking best candidate
3.775 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/ (- x (* y z)) (- t (* a z))))>
3.775 * * * [progress]: localizing error
3.785 * * * [progress]: generating rewritten candidates
3.785 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
3.797 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
3.802 * * * [progress]: generating series expansions
3.802 * * * * [progress]: [ 1 / 2 ] generating series at (2)
3.802 * [approximate]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in (x y z t a) around 0
3.802 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in a
3.802 * [taylor]: Taking taylor expansion of (- x (* z y)) in a
3.802 * [taylor]: Taking taylor expansion of x in a
3.802 * [taylor]: Taking taylor expansion of (* z y) in a
3.802 * [taylor]: Taking taylor expansion of z in a
3.802 * [taylor]: Taking taylor expansion of y in a
3.802 * [taylor]: Taking taylor expansion of (- t (* a z)) in a
3.802 * [taylor]: Taking taylor expansion of t in a
3.802 * [taylor]: Taking taylor expansion of (* a z) in a
3.802 * [taylor]: Taking taylor expansion of a in a
3.802 * [taylor]: Taking taylor expansion of z in a
3.803 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in t
3.803 * [taylor]: Taking taylor expansion of (- x (* z y)) in t
3.803 * [taylor]: Taking taylor expansion of x in t
3.803 * [taylor]: Taking taylor expansion of (* z y) in t
3.803 * [taylor]: Taking taylor expansion of z in t
3.803 * [taylor]: Taking taylor expansion of y in t
3.803 * [taylor]: Taking taylor expansion of (- t (* a z)) in t
3.803 * [taylor]: Taking taylor expansion of t in t
3.803 * [taylor]: Taking taylor expansion of (* a z) in t
3.803 * [taylor]: Taking taylor expansion of a in t
3.803 * [taylor]: Taking taylor expansion of z in t
3.804 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in z
3.804 * [taylor]: Taking taylor expansion of (- x (* z y)) in z
3.804 * [taylor]: Taking taylor expansion of x in z
3.804 * [taylor]: Taking taylor expansion of (* z y) in z
3.804 * [taylor]: Taking taylor expansion of z in z
3.804 * [taylor]: Taking taylor expansion of y in z
3.804 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
3.804 * [taylor]: Taking taylor expansion of t in z
3.804 * [taylor]: Taking taylor expansion of (* a z) in z
3.804 * [taylor]: Taking taylor expansion of a in z
3.804 * [taylor]: Taking taylor expansion of z in z
3.805 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in y
3.805 * [taylor]: Taking taylor expansion of (- x (* z y)) in y
3.805 * [taylor]: Taking taylor expansion of x in y
3.805 * [taylor]: Taking taylor expansion of (* z y) in y
3.805 * [taylor]: Taking taylor expansion of z in y
3.805 * [taylor]: Taking taylor expansion of y in y
3.805 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
3.805 * [taylor]: Taking taylor expansion of t in y
3.805 * [taylor]: Taking taylor expansion of (* a z) in y
3.805 * [taylor]: Taking taylor expansion of a in y
3.805 * [taylor]: Taking taylor expansion of z in y
3.806 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in x
3.806 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
3.806 * [taylor]: Taking taylor expansion of x in x
3.806 * [taylor]: Taking taylor expansion of (* z y) in x
3.806 * [taylor]: Taking taylor expansion of z in x
3.806 * [taylor]: Taking taylor expansion of y in x
3.806 * [taylor]: Taking taylor expansion of (- t (* a z)) in x
3.806 * [taylor]: Taking taylor expansion of t in x
3.806 * [taylor]: Taking taylor expansion of (* a z) in x
3.806 * [taylor]: Taking taylor expansion of a in x
3.806 * [taylor]: Taking taylor expansion of z in x
3.806 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in x
3.806 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
3.806 * [taylor]: Taking taylor expansion of x in x
3.806 * [taylor]: Taking taylor expansion of (* z y) in x
3.806 * [taylor]: Taking taylor expansion of z in x
3.806 * [taylor]: Taking taylor expansion of y in x
3.806 * [taylor]: Taking taylor expansion of (- t (* a z)) in x
3.806 * [taylor]: Taking taylor expansion of t in x
3.806 * [taylor]: Taking taylor expansion of (* a z) in x
3.806 * [taylor]: Taking taylor expansion of a in x
3.806 * [taylor]: Taking taylor expansion of z in x
3.807 * [taylor]: Taking taylor expansion of (* -1 (/ (* z y) (- t (* a z)))) in y
3.807 * [taylor]: Taking taylor expansion of -1 in y
3.807 * [taylor]: Taking taylor expansion of (/ (* z y) (- t (* a z))) in y
3.807 * [taylor]: Taking taylor expansion of (* z y) in y
3.807 * [taylor]: Taking taylor expansion of z in y
3.807 * [taylor]: Taking taylor expansion of y in y
3.807 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
3.807 * [taylor]: Taking taylor expansion of t in y
3.807 * [taylor]: Taking taylor expansion of (* a z) in y
3.807 * [taylor]: Taking taylor expansion of a in y
3.807 * [taylor]: Taking taylor expansion of z in y
3.809 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in y
3.809 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
3.809 * [taylor]: Taking taylor expansion of t in y
3.809 * [taylor]: Taking taylor expansion of (* a z) in y
3.809 * [taylor]: Taking taylor expansion of a in y
3.809 * [taylor]: Taking taylor expansion of z in y
3.809 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in z
3.809 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
3.809 * [taylor]: Taking taylor expansion of t in z
3.809 * [taylor]: Taking taylor expansion of (* a z) in z
3.810 * [taylor]: Taking taylor expansion of a in z
3.810 * [taylor]: Taking taylor expansion of z in z
3.810 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.810 * [taylor]: Taking taylor expansion of t in t
3.811 * [taylor]: Taking taylor expansion of 0 in a
3.811 * [taylor]: Taking taylor expansion of (* -1 (/ z (- t (* a z)))) in z
3.811 * [taylor]: Taking taylor expansion of -1 in z
3.811 * [taylor]: Taking taylor expansion of (/ z (- t (* a z))) in z
3.811 * [taylor]: Taking taylor expansion of z in z
3.811 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
3.811 * [taylor]: Taking taylor expansion of t in z
3.811 * [taylor]: Taking taylor expansion of (* a z) in z
3.811 * [taylor]: Taking taylor expansion of a in z
3.811 * [taylor]: Taking taylor expansion of z in z
3.814 * [taylor]: Taking taylor expansion of 0 in y
3.814 * [taylor]: Taking taylor expansion of 0 in z
3.814 * [taylor]: Taking taylor expansion of 0 in t
3.814 * [taylor]: Taking taylor expansion of 0 in a
3.815 * [taylor]: Taking taylor expansion of 0 in z
3.815 * [taylor]: Taking taylor expansion of 0 in t
3.815 * [taylor]: Taking taylor expansion of 0 in a
3.817 * [taylor]: Taking taylor expansion of 0 in z
3.817 * [taylor]: Taking taylor expansion of 0 in t
3.817 * [taylor]: Taking taylor expansion of 0 in a
3.818 * [taylor]: Taking taylor expansion of (/ a (pow t 2)) in t
3.818 * [taylor]: Taking taylor expansion of a in t
3.818 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.818 * [taylor]: Taking taylor expansion of t in t
3.821 * [taylor]: Taking taylor expansion of 0 in a
3.821 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.821 * [taylor]: Taking taylor expansion of -1 in t
3.821 * [taylor]: Taking taylor expansion of t in t
3.822 * [taylor]: Taking taylor expansion of 0 in a
3.822 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in (x y z t a) around 0
3.822 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in a
3.822 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in a
3.822 * [taylor]: Taking taylor expansion of (/ 1 x) in a
3.822 * [taylor]: Taking taylor expansion of x in a
3.822 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
3.822 * [taylor]: Taking taylor expansion of (* z y) in a
3.822 * [taylor]: Taking taylor expansion of z in a
3.822 * [taylor]: Taking taylor expansion of y in a
3.822 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in a
3.822 * [taylor]: Taking taylor expansion of (/ 1 t) in a
3.822 * [taylor]: Taking taylor expansion of t in a
3.822 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
3.822 * [taylor]: Taking taylor expansion of (* a z) in a
3.822 * [taylor]: Taking taylor expansion of a in a
3.822 * [taylor]: Taking taylor expansion of z in a
3.824 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in t
3.824 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in t
3.824 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.824 * [taylor]: Taking taylor expansion of x in t
3.824 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
3.824 * [taylor]: Taking taylor expansion of (* z y) in t
3.824 * [taylor]: Taking taylor expansion of z in t
3.824 * [taylor]: Taking taylor expansion of y in t
3.824 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in t
3.824 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.824 * [taylor]: Taking taylor expansion of t in t
3.824 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
3.824 * [taylor]: Taking taylor expansion of (* a z) in t
3.824 * [taylor]: Taking taylor expansion of a in t
3.824 * [taylor]: Taking taylor expansion of z in t
3.825 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in z
3.825 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in z
3.825 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.825 * [taylor]: Taking taylor expansion of x in z
3.825 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.825 * [taylor]: Taking taylor expansion of (* z y) in z
3.825 * [taylor]: Taking taylor expansion of z in z
3.825 * [taylor]: Taking taylor expansion of y in z
3.826 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
3.826 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.826 * [taylor]: Taking taylor expansion of t in z
3.826 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
3.826 * [taylor]: Taking taylor expansion of (* a z) in z
3.826 * [taylor]: Taking taylor expansion of a in z
3.826 * [taylor]: Taking taylor expansion of z in z
3.826 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in y
3.826 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in y
3.827 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.827 * [taylor]: Taking taylor expansion of x in y
3.827 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.827 * [taylor]: Taking taylor expansion of (* z y) in y
3.827 * [taylor]: Taking taylor expansion of z in y
3.827 * [taylor]: Taking taylor expansion of y in y
3.827 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
3.827 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.827 * [taylor]: Taking taylor expansion of t in y
3.827 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
3.827 * [taylor]: Taking taylor expansion of (* a z) in y
3.827 * [taylor]: Taking taylor expansion of a in y
3.827 * [taylor]: Taking taylor expansion of z in y
3.828 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in x
3.828 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
3.828 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.828 * [taylor]: Taking taylor expansion of x in x
3.828 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.828 * [taylor]: Taking taylor expansion of (* z y) in x
3.828 * [taylor]: Taking taylor expansion of z in x
3.828 * [taylor]: Taking taylor expansion of y in x
3.828 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in x
3.828 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.828 * [taylor]: Taking taylor expansion of t in x
3.828 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
3.828 * [taylor]: Taking taylor expansion of (* a z) in x
3.828 * [taylor]: Taking taylor expansion of a in x
3.828 * [taylor]: Taking taylor expansion of z in x
3.829 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in x
3.829 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
3.829 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.829 * [taylor]: Taking taylor expansion of x in x
3.829 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.829 * [taylor]: Taking taylor expansion of (* z y) in x
3.829 * [taylor]: Taking taylor expansion of z in x
3.829 * [taylor]: Taking taylor expansion of y in x
3.830 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in x
3.830 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.830 * [taylor]: Taking taylor expansion of t in x
3.830 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
3.830 * [taylor]: Taking taylor expansion of (* a z) in x
3.830 * [taylor]: Taking taylor expansion of a in x
3.830 * [taylor]: Taking taylor expansion of z in x
3.830 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in y
3.830 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
3.830 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.830 * [taylor]: Taking taylor expansion of t in y
3.830 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
3.830 * [taylor]: Taking taylor expansion of (* a z) in y
3.831 * [taylor]: Taking taylor expansion of a in y
3.831 * [taylor]: Taking taylor expansion of z in y
3.833 * [taylor]: Taking taylor expansion of (- (/ 1 (* z (* y (- (/ 1 t) (/ 1 (* a z))))))) in y
3.833 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y (- (/ 1 t) (/ 1 (* a z)))))) in y
3.833 * [taylor]: Taking taylor expansion of (* z (* y (- (/ 1 t) (/ 1 (* a z))))) in y
3.833 * [taylor]: Taking taylor expansion of z in y
3.833 * [taylor]: Taking taylor expansion of (* y (- (/ 1 t) (/ 1 (* a z)))) in y
3.833 * [taylor]: Taking taylor expansion of y in y
3.833 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
3.833 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.833 * [taylor]: Taking taylor expansion of t in y
3.833 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
3.833 * [taylor]: Taking taylor expansion of (* a z) in y
3.833 * [taylor]: Taking taylor expansion of a in y
3.833 * [taylor]: Taking taylor expansion of z in y
3.835 * [taylor]: Taking taylor expansion of (- (/ 1 (- (/ z t) (/ 1 a)))) in z
3.835 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z t) (/ 1 a))) in z
3.835 * [taylor]: Taking taylor expansion of (- (/ z t) (/ 1 a)) in z
3.835 * [taylor]: Taking taylor expansion of (/ z t) in z
3.835 * [taylor]: Taking taylor expansion of z in z
3.835 * [taylor]: Taking taylor expansion of t in z
3.835 * [taylor]: Taking taylor expansion of (/ 1 a) in z
3.835 * [taylor]: Taking taylor expansion of a in z
3.835 * [taylor]: Taking taylor expansion of a in t
3.836 * [taylor]: Taking taylor expansion of 0 in a
3.836 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in z
3.836 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
3.836 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.836 * [taylor]: Taking taylor expansion of t in z
3.836 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
3.836 * [taylor]: Taking taylor expansion of (* a z) in z
3.836 * [taylor]: Taking taylor expansion of a in z
3.836 * [taylor]: Taking taylor expansion of z in z
3.839 * [taylor]: Taking taylor expansion of 0 in y
3.842 * [taylor]: Taking taylor expansion of 0 in z
3.842 * [taylor]: Taking taylor expansion of 0 in t
3.842 * [taylor]: Taking taylor expansion of 0 in a
3.843 * [taylor]: Taking taylor expansion of 0 in z
3.843 * [taylor]: Taking taylor expansion of 0 in t
3.843 * [taylor]: Taking taylor expansion of 0 in a
3.844 * [taylor]: Taking taylor expansion of (/ (pow a 2) t) in t
3.844 * [taylor]: Taking taylor expansion of (pow a 2) in t
3.844 * [taylor]: Taking taylor expansion of a in t
3.844 * [taylor]: Taking taylor expansion of t in t
3.847 * [taylor]: Taking taylor expansion of 0 in a
3.847 * [taylor]: Taking taylor expansion of (* -1 a) in t
3.847 * [taylor]: Taking taylor expansion of -1 in t
3.847 * [taylor]: Taking taylor expansion of a in t
3.847 * [taylor]: Taking taylor expansion of 0 in a
3.847 * [taylor]: Taking taylor expansion of 0 in a
3.848 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in (x y z t a) around 0
3.848 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in a
3.848 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in a
3.848 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
3.848 * [taylor]: Taking taylor expansion of (* z y) in a
3.848 * [taylor]: Taking taylor expansion of z in a
3.848 * [taylor]: Taking taylor expansion of y in a
3.848 * [taylor]: Taking taylor expansion of (/ 1 x) in a
3.848 * [taylor]: Taking taylor expansion of x in a
3.848 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in a
3.848 * [taylor]: Taking taylor expansion of (/ 1 t) in a
3.848 * [taylor]: Taking taylor expansion of t in a
3.848 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
3.848 * [taylor]: Taking taylor expansion of (* a z) in a
3.848 * [taylor]: Taking taylor expansion of a in a
3.848 * [taylor]: Taking taylor expansion of z in a
3.849 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in t
3.849 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in t
3.849 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
3.849 * [taylor]: Taking taylor expansion of (* z y) in t
3.849 * [taylor]: Taking taylor expansion of z in t
3.849 * [taylor]: Taking taylor expansion of y in t
3.849 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.849 * [taylor]: Taking taylor expansion of x in t
3.849 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in t
3.849 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.849 * [taylor]: Taking taylor expansion of t in t
3.849 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
3.849 * [taylor]: Taking taylor expansion of (* a z) in t
3.849 * [taylor]: Taking taylor expansion of a in t
3.849 * [taylor]: Taking taylor expansion of z in t
3.850 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in z
3.850 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
3.850 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.850 * [taylor]: Taking taylor expansion of (* z y) in z
3.850 * [taylor]: Taking taylor expansion of z in z
3.850 * [taylor]: Taking taylor expansion of y in z
3.850 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.851 * [taylor]: Taking taylor expansion of x in z
3.851 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
3.851 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.851 * [taylor]: Taking taylor expansion of t in z
3.851 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
3.851 * [taylor]: Taking taylor expansion of (* a z) in z
3.851 * [taylor]: Taking taylor expansion of a in z
3.851 * [taylor]: Taking taylor expansion of z in z
3.851 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in y
3.851 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
3.851 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.851 * [taylor]: Taking taylor expansion of (* z y) in y
3.851 * [taylor]: Taking taylor expansion of z in y
3.851 * [taylor]: Taking taylor expansion of y in y
3.852 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.852 * [taylor]: Taking taylor expansion of x in y
3.852 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
3.852 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.852 * [taylor]: Taking taylor expansion of t in y
3.852 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
3.852 * [taylor]: Taking taylor expansion of (* a z) in y
3.852 * [taylor]: Taking taylor expansion of a in y
3.852 * [taylor]: Taking taylor expansion of z in y
3.852 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in x
3.852 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
3.852 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.852 * [taylor]: Taking taylor expansion of (* z y) in x
3.852 * [taylor]: Taking taylor expansion of z in x
3.852 * [taylor]: Taking taylor expansion of y in x
3.852 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.852 * [taylor]: Taking taylor expansion of x in x
3.853 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in x
3.853 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.853 * [taylor]: Taking taylor expansion of t in x
3.853 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
3.853 * [taylor]: Taking taylor expansion of (* a z) in x
3.853 * [taylor]: Taking taylor expansion of a in x
3.853 * [taylor]: Taking taylor expansion of z in x
3.853 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in x
3.853 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
3.853 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.853 * [taylor]: Taking taylor expansion of (* z y) in x
3.854 * [taylor]: Taking taylor expansion of z in x
3.854 * [taylor]: Taking taylor expansion of y in x
3.854 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.854 * [taylor]: Taking taylor expansion of x in x
3.854 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in x
3.854 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.854 * [taylor]: Taking taylor expansion of t in x
3.854 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
3.854 * [taylor]: Taking taylor expansion of (* a z) in x
3.854 * [taylor]: Taking taylor expansion of a in x
3.854 * [taylor]: Taking taylor expansion of z in x
3.855 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) (/ 1 (* a z)))) in y
3.855 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
3.855 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.855 * [taylor]: Taking taylor expansion of t in y
3.855 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
3.855 * [taylor]: Taking taylor expansion of (* a z) in y
3.855 * [taylor]: Taking taylor expansion of a in y
3.855 * [taylor]: Taking taylor expansion of z in y
3.857 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y (+ (/ 1 t) (/ 1 (* a z)))))) in y
3.857 * [taylor]: Taking taylor expansion of (* z (* y (+ (/ 1 t) (/ 1 (* a z))))) in y
3.857 * [taylor]: Taking taylor expansion of z in y
3.857 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 t) (/ 1 (* a z)))) in y
3.857 * [taylor]: Taking taylor expansion of y in y
3.857 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
3.857 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.857 * [taylor]: Taking taylor expansion of t in y
3.857 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
3.857 * [taylor]: Taking taylor expansion of (* a z) in y
3.857 * [taylor]: Taking taylor expansion of a in y
3.857 * [taylor]: Taking taylor expansion of z in y
3.859 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 a) (/ z t))) in z
3.859 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ z t)) in z
3.859 * [taylor]: Taking taylor expansion of (/ 1 a) in z
3.859 * [taylor]: Taking taylor expansion of a in z
3.859 * [taylor]: Taking taylor expansion of (/ z t) in z
3.859 * [taylor]: Taking taylor expansion of z in z
3.859 * [taylor]: Taking taylor expansion of t in z
3.859 * [taylor]: Taking taylor expansion of a in t
3.859 * [taylor]: Taking taylor expansion of 0 in a
3.859 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) (/ 1 (* a z)))) in z
3.859 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
3.859 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.859 * [taylor]: Taking taylor expansion of t in z
3.859 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
3.859 * [taylor]: Taking taylor expansion of (* a z) in z
3.859 * [taylor]: Taking taylor expansion of a in z
3.859 * [taylor]: Taking taylor expansion of z in z
3.862 * [taylor]: Taking taylor expansion of 0 in y
3.864 * [taylor]: Taking taylor expansion of 0 in z
3.864 * [taylor]: Taking taylor expansion of 0 in t
3.864 * [taylor]: Taking taylor expansion of 0 in a
3.865 * [taylor]: Taking taylor expansion of 0 in z
3.865 * [taylor]: Taking taylor expansion of 0 in t
3.865 * [taylor]: Taking taylor expansion of 0 in a
3.866 * [taylor]: Taking taylor expansion of (- (/ (pow a 2) t)) in t
3.866 * [taylor]: Taking taylor expansion of (/ (pow a 2) t) in t
3.866 * [taylor]: Taking taylor expansion of (pow a 2) in t
3.866 * [taylor]: Taking taylor expansion of a in t
3.866 * [taylor]: Taking taylor expansion of t in t
3.868 * [taylor]: Taking taylor expansion of 0 in a
3.868 * [taylor]: Taking taylor expansion of a in t
3.869 * [taylor]: Taking taylor expansion of 0 in a
3.869 * [taylor]: Taking taylor expansion of 0 in a
3.869 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
3.869 * [approximate]: Taking taylor expansion of (- x (* z y)) in (x y z) around 0
3.869 * [taylor]: Taking taylor expansion of (- x (* z y)) in z
3.869 * [taylor]: Taking taylor expansion of x in z
3.869 * [taylor]: Taking taylor expansion of (* z y) in z
3.869 * [taylor]: Taking taylor expansion of z in z
3.869 * [taylor]: Taking taylor expansion of y in z
3.869 * [taylor]: Taking taylor expansion of (- x (* z y)) in y
3.869 * [taylor]: Taking taylor expansion of x in y
3.869 * [taylor]: Taking taylor expansion of (* z y) in y
3.869 * [taylor]: Taking taylor expansion of z in y
3.869 * [taylor]: Taking taylor expansion of y in y
3.869 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
3.869 * [taylor]: Taking taylor expansion of x in x
3.869 * [taylor]: Taking taylor expansion of (* z y) in x
3.869 * [taylor]: Taking taylor expansion of z in x
3.869 * [taylor]: Taking taylor expansion of y in x
3.869 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
3.869 * [taylor]: Taking taylor expansion of x in x
3.869 * [taylor]: Taking taylor expansion of (* z y) in x
3.869 * [taylor]: Taking taylor expansion of z in x
3.869 * [taylor]: Taking taylor expansion of y in x
3.869 * [taylor]: Taking taylor expansion of (- (* z y)) in y
3.869 * [taylor]: Taking taylor expansion of (* z y) in y
3.869 * [taylor]: Taking taylor expansion of z in y
3.869 * [taylor]: Taking taylor expansion of y in y
3.870 * [taylor]: Taking taylor expansion of 0 in z
3.871 * [taylor]: Taking taylor expansion of 1 in y
3.871 * [taylor]: Taking taylor expansion of 1 in z
3.871 * [taylor]: Taking taylor expansion of (- z) in z
3.871 * [taylor]: Taking taylor expansion of z in z
3.872 * [taylor]: Taking taylor expansion of 0 in y
3.872 * [taylor]: Taking taylor expansion of 0 in z
3.872 * [taylor]: Taking taylor expansion of 0 in z
3.873 * [taylor]: Taking taylor expansion of 0 in z
3.873 * [approximate]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in (x y z) around 0
3.873 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in z
3.874 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.874 * [taylor]: Taking taylor expansion of x in z
3.874 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.874 * [taylor]: Taking taylor expansion of (* z y) in z
3.874 * [taylor]: Taking taylor expansion of z in z
3.874 * [taylor]: Taking taylor expansion of y in z
3.874 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in y
3.874 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.874 * [taylor]: Taking taylor expansion of x in y
3.874 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.874 * [taylor]: Taking taylor expansion of (* z y) in y
3.874 * [taylor]: Taking taylor expansion of z in y
3.874 * [taylor]: Taking taylor expansion of y in y
3.875 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
3.875 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.875 * [taylor]: Taking taylor expansion of x in x
3.875 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.875 * [taylor]: Taking taylor expansion of (* z y) in x
3.875 * [taylor]: Taking taylor expansion of z in x
3.875 * [taylor]: Taking taylor expansion of y in x
3.875 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
3.875 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.875 * [taylor]: Taking taylor expansion of x in x
3.876 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.876 * [taylor]: Taking taylor expansion of (* z y) in x
3.876 * [taylor]: Taking taylor expansion of z in x
3.876 * [taylor]: Taking taylor expansion of y in x
3.876 * [taylor]: Taking taylor expansion of 1 in y
3.877 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
3.877 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.877 * [taylor]: Taking taylor expansion of (* z y) in y
3.877 * [taylor]: Taking taylor expansion of z in y
3.877 * [taylor]: Taking taylor expansion of y in y
3.877 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
3.877 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.877 * [taylor]: Taking taylor expansion of z in z
3.878 * [taylor]: Taking taylor expansion of 1 in z
3.879 * [taylor]: Taking taylor expansion of 0 in y
3.880 * [taylor]: Taking taylor expansion of 0 in z
3.880 * [taylor]: Taking taylor expansion of 0 in z
3.882 * [taylor]: Taking taylor expansion of 0 in y
3.882 * [taylor]: Taking taylor expansion of 0 in z
3.883 * [taylor]: Taking taylor expansion of 0 in z
3.883 * [taylor]: Taking taylor expansion of 0 in z
3.886 * [taylor]: Taking taylor expansion of 0 in y
3.886 * [taylor]: Taking taylor expansion of 0 in z
3.886 * [taylor]: Taking taylor expansion of 0 in z
3.887 * [taylor]: Taking taylor expansion of 0 in z
3.887 * [taylor]: Taking taylor expansion of 0 in z
3.887 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in (x y z) around 0
3.887 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in z
3.887 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
3.887 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.887 * [taylor]: Taking taylor expansion of (* z y) in z
3.887 * [taylor]: Taking taylor expansion of z in z
3.887 * [taylor]: Taking taylor expansion of y in z
3.888 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.888 * [taylor]: Taking taylor expansion of x in z
3.888 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in y
3.888 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
3.888 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.888 * [taylor]: Taking taylor expansion of (* z y) in y
3.888 * [taylor]: Taking taylor expansion of z in y
3.888 * [taylor]: Taking taylor expansion of y in y
3.888 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.888 * [taylor]: Taking taylor expansion of x in y
3.888 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in x
3.888 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
3.888 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.888 * [taylor]: Taking taylor expansion of (* z y) in x
3.888 * [taylor]: Taking taylor expansion of z in x
3.888 * [taylor]: Taking taylor expansion of y in x
3.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.889 * [taylor]: Taking taylor expansion of x in x
3.889 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in x
3.889 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
3.889 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.889 * [taylor]: Taking taylor expansion of (* z y) in x
3.889 * [taylor]: Taking taylor expansion of z in x
3.889 * [taylor]: Taking taylor expansion of y in x
3.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.889 * [taylor]: Taking taylor expansion of x in x
3.890 * [taylor]: Taking taylor expansion of -1 in y
3.890 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
3.891 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.891 * [taylor]: Taking taylor expansion of (* z y) in y
3.891 * [taylor]: Taking taylor expansion of z in y
3.891 * [taylor]: Taking taylor expansion of y in y
3.891 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
3.891 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.891 * [taylor]: Taking taylor expansion of z in z
3.892 * [taylor]: Taking taylor expansion of -1 in z
3.893 * [taylor]: Taking taylor expansion of 0 in y
3.893 * [taylor]: Taking taylor expansion of 0 in z
3.894 * [taylor]: Taking taylor expansion of 0 in z
3.896 * [taylor]: Taking taylor expansion of 0 in y
3.896 * [taylor]: Taking taylor expansion of 0 in z
3.897 * [taylor]: Taking taylor expansion of 0 in z
3.897 * [taylor]: Taking taylor expansion of 0 in z
3.903 * [taylor]: Taking taylor expansion of 0 in y
3.903 * [taylor]: Taking taylor expansion of 0 in z
3.903 * [taylor]: Taking taylor expansion of 0 in z
3.904 * [taylor]: Taking taylor expansion of 0 in z
3.904 * [taylor]: Taking taylor expansion of 0 in z
3.904 * * * [progress]: simplifying candidates
3.905 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (- x (* y z)) (- t (* a z))))
  (log1p (/ (- x (* y z)) (- t (* a z))))
  (- (log (- x (* y z))) (log (- t (* a z))))
  (log (/ (- x (* y z)) (- t (* a z))))
  (exp (/ (- x (* y z)) (- t (* a z))))
  (/ (* (* (- x (* y z)) (- x (* y z))) (- x (* y z))) (* (* (- t (* a z)) (- t (* a z))) (- t (* a z))))
  (* (cbrt (/ (- x (* y z)) (- t (* a z)))) (cbrt (/ (- x (* y z)) (- t (* a z)))))
  (cbrt (/ (- x (* y z)) (- t (* a z))))
  (* (* (/ (- x (* y z)) (- t (* a z))) (/ (- x (* y z)) (- t (* a z)))) (/ (- x (* y z)) (- t (* a z))))
  (sqrt (/ (- x (* y z)) (- t (* a z))))
  (sqrt (/ (- x (* y z)) (- t (* a z))))
  (- (- x (* y z)))
  (- (- t (* a z)))
  (/ x (- t (* a z)))
  (/ (* y z) (- t (* a z)))
  (/ (* (cbrt (- x (* y z))) (cbrt (- x (* y z)))) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (cbrt (- x (* y z))) (cbrt (- t (* a z))))
  (/ (* (cbrt (- x (* y z))) (cbrt (- x (* y z)))) (sqrt (- t (* a z))))
  (/ (cbrt (- x (* y z))) (sqrt (- t (* a z))))
  (/ (* (cbrt (- x (* y z))) (cbrt (- x (* y z)))) 1)
  (/ (cbrt (- x (* y z))) (- t (* a z)))
  (/ (sqrt (- x (* y z))) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (sqrt (- x (* y z))) (cbrt (- t (* a z))))
  (/ (sqrt (- x (* y z))) (sqrt (- t (* a z))))
  (/ (sqrt (- x (* y z))) (sqrt (- t (* a z))))
  (/ (sqrt (- x (* y z))) 1)
  (/ (sqrt (- x (* y z))) (- t (* a z)))
  (/ 1 (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (- x (* y z)) (cbrt (- t (* a z))))
  (/ 1 (sqrt (- t (* a z))))
  (/ (- x (* y z)) (sqrt (- t (* a z))))
  (/ 1 1)
  (/ (- x (* y z)) (- t (* a z)))
  (/ 1 (- t (* a z)))
  (/ (- t (* a z)) (- x (* y z)))
  (/ (- x (* y z)) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (- x (* y z)) (sqrt (- t (* a z))))
  (/ (- x (* y z)) 1)
  (/ (- t (* a z)) (cbrt (- x (* y z))))
  (/ (- t (* a z)) (sqrt (- x (* y z))))
  (/ (- t (* a z)) (- x (* y z)))
  (/ (- x (* y z)) (- (pow t 3) (pow (* a z) 3)))
  (/ (- x (* y z)) (- (* t t) (* (* a z) (* a z))))
  (* (- t (* a z)) (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z)))))
  (* (- t (* a z)) (+ x (* y z)))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* z y)))
  (fma (- z) y (* z y))
  (fma (sqrt x) (sqrt x) (- (* z y)))
  (fma (- z) y (* z y))
  (fma 1 x (- (* z y)))
  (fma (- z) y (* z y))
  (expm1 (- x (* y z)))
  (log1p (- x (* y z)))
  (- (* y z))
  (- (* y z))
  (- (* y z))
  (/ (exp x) (exp (* y z)))
  (log (- x (* y z)))
  (exp (- x (* y z)))
  (* (cbrt (- x (* y z))) (cbrt (- x (* y z))))
  (cbrt (- x (* y z)))
  (* (* (- x (* y z)) (- x (* y z))) (- x (* y z)))
  (sqrt (- x (* y z)))
  (sqrt (- x (* y z)))
  (- (pow x 3) (pow (* y z) 3))
  (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z))))
  (- (* y z))
  (- (* x x) (* (* y z) (* y z)))
  (+ x (* y z))
  (- (* y z))
  0
  0
  0
  x
  (- x (* z y))
  (- x (* z y))
3.908 * * [simplify]: iteration  0 :  100  enodes  (cost  821 )
3.925 * * [simplify]: iteration  1 :  261  enodes  (cost  801 )
3.982 * * [simplify]: iteration  2 :  863  enodes  (cost  733 )
4.252 * * [simplify]: iteration  3 :  3490  enodes  (cost  728 )
5.301 * * [simplify]: iteration  done :  5000  enodes  (cost  723 )
5.301 * [simplify]: Simplified to:
   (expm1 (/ (- x (* y z)) (- t (* a z))))
  (log1p (/ (- x (* y z)) (- t (* a z))))
  (log (/ (- x (* y z)) (- t (* a z))))
  (log (/ (- x (* y z)) (- t (* a z))))
  (exp (/ (- x (* y z)) (- t (* a z))))
  (pow (/ (- x (* y z)) (- t (* a z))) 3)
  (* (cbrt (/ (- x (* y z)) (- t (* a z)))) (cbrt (/ (- x (* y z)) (- t (* a z)))))
  (cbrt (/ (- x (* y z)) (- t (* a z))))
  (pow (/ (- x (* y z)) (- t (* a z))) 3)
  (sqrt (/ (- x (* y z)) (- t (* a z))))
  (sqrt (/ (- x (* y z)) (- t (* a z))))
  (- (* z y) x)
  (- (* a z) t)
  (/ x (- t (* a z)))
  (/ (* y z) (- t (* a z)))
  (/ (* (cbrt (- x (* y z))) (cbrt (- x (* y z)))) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (cbrt (- x (* y z))) (cbrt (- t (* a z))))
  (/ (* (cbrt (- x (* y z))) (cbrt (- x (* y z)))) (sqrt (- t (* a z))))
  (/ (cbrt (- x (* y z))) (sqrt (- t (* a z))))
  (* (cbrt (- x (* y z))) (cbrt (- x (* y z))))
  (/ (cbrt (- x (* y z))) (- t (* a z)))
  (/ (sqrt (- x (* y z))) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (sqrt (- x (* y z))) (cbrt (- t (* a z))))
  (/ (sqrt (- x (* y z))) (sqrt (- t (* a z))))
  (/ (sqrt (- x (* y z))) (sqrt (- t (* a z))))
  (sqrt (- x (* y z)))
  (/ (sqrt (- x (* y z))) (- t (* a z)))
  (/ 1 (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (- x (* y z)) (cbrt (- t (* a z))))
  (/ 1 (sqrt (- t (* a z))))
  (/ (- x (* y z)) (sqrt (- t (* a z))))
  1
  (/ (- x (* y z)) (- t (* a z)))
  (/ 1 (- t (* a z)))
  (/ (- t (* a z)) (- x (* y z)))
  (/ (- x (* y z)) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (- x (* y z)) (sqrt (- t (* a z))))
  (- x (* y z))
  (/ (- t (* a z)) (cbrt (- x (* y z))))
  (/ (- t (* a z)) (sqrt (- x (* y z))))
  (/ (- t (* a z)) (- x (* y z)))
  (/ (- x (* y z)) (- (pow t 3) (pow (* a z) 3)))
  (/ (- x (* y z)) (* (fma z a t) (- t (* a z))))
  (* (fma x x (* (fma z y x) (* z y))) (- t (* a z)))
  (* (- t (* a z)) (fma z y x))
  (fma y (- z) (pow (cbrt x) 3))
  (* z (- y y))
  (- x (* y z))
  (* z (- y y))
  (- x (* y z))
  (* z (- y y))
  (expm1 (- x (* y z)))
  (log1p (- x (* y z)))
  (* z (- y))
  (* z (- y))
  (* z (- y))
  (exp (- x (* y z)))
  (log (- x (* y z)))
  (exp (- x (* y z)))
  (* (cbrt (- x (* y z))) (cbrt (- x (* y z))))
  (cbrt (- x (* y z)))
  (pow (- x (* z y)) 3)
  (sqrt (- x (* y z)))
  (sqrt (- x (* y z)))
  (- (pow x 3) (pow (* y z) 3))
  (fma x x (* (fma z y x) (* z y)))
  (* z (- y))
  (* (fma z y x) (- x (* y z)))
  (fma z y x)
  (* z (- y))
  0
  0
  0
  x
  (- x (* y z))
  (- x (* y z))
5.302 * * * [progress]: adding candidates to table
5.477 * * [progress]: iteration 2 / 4
5.477 * * * [progress]: picking best candidate
5.498 * * * * [pick]: Picked  #<alt (λ (x y z t a) (* (- x (* y z)) (/ 1 (- t (* a z)))))>
5.498 * * * [progress]: localizing error
5.509 * * * [progress]: generating rewritten candidates
5.509 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
5.527 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
5.531 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
5.541 * * * [progress]: generating series expansions
5.541 * * * * [progress]: [ 1 / 3 ] generating series at (2)
5.541 * [approximate]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in (x y z t a) around 0
5.541 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in a
5.541 * [taylor]: Taking taylor expansion of (- x (* z y)) in a
5.541 * [taylor]: Taking taylor expansion of x in a
5.541 * [taylor]: Taking taylor expansion of (* z y) in a
5.542 * [taylor]: Taking taylor expansion of z in a
5.542 * [taylor]: Taking taylor expansion of y in a
5.542 * [taylor]: Taking taylor expansion of (- t (* a z)) in a
5.542 * [taylor]: Taking taylor expansion of t in a
5.542 * [taylor]: Taking taylor expansion of (* a z) in a
5.542 * [taylor]: Taking taylor expansion of a in a
5.542 * [taylor]: Taking taylor expansion of z in a
5.543 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in t
5.543 * [taylor]: Taking taylor expansion of (- x (* z y)) in t
5.543 * [taylor]: Taking taylor expansion of x in t
5.543 * [taylor]: Taking taylor expansion of (* z y) in t
5.543 * [taylor]: Taking taylor expansion of z in t
5.543 * [taylor]: Taking taylor expansion of y in t
5.543 * [taylor]: Taking taylor expansion of (- t (* a z)) in t
5.543 * [taylor]: Taking taylor expansion of t in t
5.543 * [taylor]: Taking taylor expansion of (* a z) in t
5.543 * [taylor]: Taking taylor expansion of a in t
5.543 * [taylor]: Taking taylor expansion of z in t
5.543 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in z
5.543 * [taylor]: Taking taylor expansion of (- x (* z y)) in z
5.543 * [taylor]: Taking taylor expansion of x in z
5.543 * [taylor]: Taking taylor expansion of (* z y) in z
5.543 * [taylor]: Taking taylor expansion of z in z
5.543 * [taylor]: Taking taylor expansion of y in z
5.543 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
5.543 * [taylor]: Taking taylor expansion of t in z
5.543 * [taylor]: Taking taylor expansion of (* a z) in z
5.543 * [taylor]: Taking taylor expansion of a in z
5.543 * [taylor]: Taking taylor expansion of z in z
5.544 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in y
5.544 * [taylor]: Taking taylor expansion of (- x (* z y)) in y
5.544 * [taylor]: Taking taylor expansion of x in y
5.544 * [taylor]: Taking taylor expansion of (* z y) in y
5.544 * [taylor]: Taking taylor expansion of z in y
5.544 * [taylor]: Taking taylor expansion of y in y
5.544 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
5.544 * [taylor]: Taking taylor expansion of t in y
5.544 * [taylor]: Taking taylor expansion of (* a z) in y
5.544 * [taylor]: Taking taylor expansion of a in y
5.544 * [taylor]: Taking taylor expansion of z in y
5.545 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in x
5.545 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
5.545 * [taylor]: Taking taylor expansion of x in x
5.545 * [taylor]: Taking taylor expansion of (* z y) in x
5.545 * [taylor]: Taking taylor expansion of z in x
5.545 * [taylor]: Taking taylor expansion of y in x
5.545 * [taylor]: Taking taylor expansion of (- t (* a z)) in x
5.545 * [taylor]: Taking taylor expansion of t in x
5.545 * [taylor]: Taking taylor expansion of (* a z) in x
5.545 * [taylor]: Taking taylor expansion of a in x
5.545 * [taylor]: Taking taylor expansion of z in x
5.545 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in x
5.545 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
5.545 * [taylor]: Taking taylor expansion of x in x
5.545 * [taylor]: Taking taylor expansion of (* z y) in x
5.545 * [taylor]: Taking taylor expansion of z in x
5.545 * [taylor]: Taking taylor expansion of y in x
5.545 * [taylor]: Taking taylor expansion of (- t (* a z)) in x
5.545 * [taylor]: Taking taylor expansion of t in x
5.545 * [taylor]: Taking taylor expansion of (* a z) in x
5.545 * [taylor]: Taking taylor expansion of a in x
5.545 * [taylor]: Taking taylor expansion of z in x
5.546 * [taylor]: Taking taylor expansion of (* -1 (/ (* z y) (- t (* a z)))) in y
5.546 * [taylor]: Taking taylor expansion of -1 in y
5.546 * [taylor]: Taking taylor expansion of (/ (* z y) (- t (* a z))) in y
5.546 * [taylor]: Taking taylor expansion of (* z y) in y
5.546 * [taylor]: Taking taylor expansion of z in y
5.546 * [taylor]: Taking taylor expansion of y in y
5.546 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
5.546 * [taylor]: Taking taylor expansion of t in y
5.546 * [taylor]: Taking taylor expansion of (* a z) in y
5.546 * [taylor]: Taking taylor expansion of a in y
5.546 * [taylor]: Taking taylor expansion of z in y
5.548 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in y
5.548 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
5.548 * [taylor]: Taking taylor expansion of t in y
5.548 * [taylor]: Taking taylor expansion of (* a z) in y
5.548 * [taylor]: Taking taylor expansion of a in y
5.548 * [taylor]: Taking taylor expansion of z in y
5.548 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in z
5.548 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
5.549 * [taylor]: Taking taylor expansion of t in z
5.549 * [taylor]: Taking taylor expansion of (* a z) in z
5.549 * [taylor]: Taking taylor expansion of a in z
5.549 * [taylor]: Taking taylor expansion of z in z
5.549 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.549 * [taylor]: Taking taylor expansion of t in t
5.550 * [taylor]: Taking taylor expansion of 0 in a
5.550 * [taylor]: Taking taylor expansion of (* -1 (/ z (- t (* a z)))) in z
5.550 * [taylor]: Taking taylor expansion of -1 in z
5.550 * [taylor]: Taking taylor expansion of (/ z (- t (* a z))) in z
5.550 * [taylor]: Taking taylor expansion of z in z
5.550 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
5.550 * [taylor]: Taking taylor expansion of t in z
5.550 * [taylor]: Taking taylor expansion of (* a z) in z
5.550 * [taylor]: Taking taylor expansion of a in z
5.550 * [taylor]: Taking taylor expansion of z in z
5.552 * [taylor]: Taking taylor expansion of 0 in y
5.552 * [taylor]: Taking taylor expansion of 0 in z
5.553 * [taylor]: Taking taylor expansion of 0 in t
5.553 * [taylor]: Taking taylor expansion of 0 in a
5.553 * [taylor]: Taking taylor expansion of 0 in z
5.553 * [taylor]: Taking taylor expansion of 0 in t
5.553 * [taylor]: Taking taylor expansion of 0 in a
5.555 * [taylor]: Taking taylor expansion of 0 in z
5.555 * [taylor]: Taking taylor expansion of 0 in t
5.555 * [taylor]: Taking taylor expansion of 0 in a
5.556 * [taylor]: Taking taylor expansion of (/ a (pow t 2)) in t
5.556 * [taylor]: Taking taylor expansion of a in t
5.556 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.556 * [taylor]: Taking taylor expansion of t in t
5.559 * [taylor]: Taking taylor expansion of 0 in a
5.559 * [taylor]: Taking taylor expansion of (/ -1 t) in t
5.559 * [taylor]: Taking taylor expansion of -1 in t
5.559 * [taylor]: Taking taylor expansion of t in t
5.560 * [taylor]: Taking taylor expansion of 0 in a
5.560 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in (x y z t a) around 0
5.560 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in a
5.560 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in a
5.560 * [taylor]: Taking taylor expansion of (/ 1 x) in a
5.560 * [taylor]: Taking taylor expansion of x in a
5.560 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
5.560 * [taylor]: Taking taylor expansion of (* z y) in a
5.560 * [taylor]: Taking taylor expansion of z in a
5.560 * [taylor]: Taking taylor expansion of y in a
5.560 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in a
5.560 * [taylor]: Taking taylor expansion of (/ 1 t) in a
5.560 * [taylor]: Taking taylor expansion of t in a
5.560 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
5.560 * [taylor]: Taking taylor expansion of (* a z) in a
5.560 * [taylor]: Taking taylor expansion of a in a
5.560 * [taylor]: Taking taylor expansion of z in a
5.561 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in t
5.561 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in t
5.561 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.561 * [taylor]: Taking taylor expansion of x in t
5.561 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
5.561 * [taylor]: Taking taylor expansion of (* z y) in t
5.561 * [taylor]: Taking taylor expansion of z in t
5.561 * [taylor]: Taking taylor expansion of y in t
5.561 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in t
5.561 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.561 * [taylor]: Taking taylor expansion of t in t
5.562 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
5.562 * [taylor]: Taking taylor expansion of (* a z) in t
5.562 * [taylor]: Taking taylor expansion of a in t
5.562 * [taylor]: Taking taylor expansion of z in t
5.562 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in z
5.562 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in z
5.562 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.563 * [taylor]: Taking taylor expansion of x in z
5.563 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
5.563 * [taylor]: Taking taylor expansion of (* z y) in z
5.563 * [taylor]: Taking taylor expansion of z in z
5.563 * [taylor]: Taking taylor expansion of y in z
5.563 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
5.563 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.563 * [taylor]: Taking taylor expansion of t in z
5.563 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
5.563 * [taylor]: Taking taylor expansion of (* a z) in z
5.563 * [taylor]: Taking taylor expansion of a in z
5.563 * [taylor]: Taking taylor expansion of z in z
5.564 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in y
5.564 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in y
5.564 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.564 * [taylor]: Taking taylor expansion of x in y
5.564 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
5.564 * [taylor]: Taking taylor expansion of (* z y) in y
5.564 * [taylor]: Taking taylor expansion of z in y
5.564 * [taylor]: Taking taylor expansion of y in y
5.564 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
5.564 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.564 * [taylor]: Taking taylor expansion of t in y
5.564 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
5.564 * [taylor]: Taking taylor expansion of (* a z) in y
5.564 * [taylor]: Taking taylor expansion of a in y
5.564 * [taylor]: Taking taylor expansion of z in y
5.565 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in x
5.565 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
5.565 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.565 * [taylor]: Taking taylor expansion of x in x
5.565 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
5.565 * [taylor]: Taking taylor expansion of (* z y) in x
5.565 * [taylor]: Taking taylor expansion of z in x
5.565 * [taylor]: Taking taylor expansion of y in x
5.565 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in x
5.565 * [taylor]: Taking taylor expansion of (/ 1 t) in x
5.565 * [taylor]: Taking taylor expansion of t in x
5.565 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
5.565 * [taylor]: Taking taylor expansion of (* a z) in x
5.565 * [taylor]: Taking taylor expansion of a in x
5.565 * [taylor]: Taking taylor expansion of z in x
5.566 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in x
5.566 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
5.566 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.566 * [taylor]: Taking taylor expansion of x in x
5.566 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
5.566 * [taylor]: Taking taylor expansion of (* z y) in x
5.566 * [taylor]: Taking taylor expansion of z in x
5.566 * [taylor]: Taking taylor expansion of y in x
5.566 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in x
5.566 * [taylor]: Taking taylor expansion of (/ 1 t) in x
5.566 * [taylor]: Taking taylor expansion of t in x
5.566 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
5.566 * [taylor]: Taking taylor expansion of (* a z) in x
5.567 * [taylor]: Taking taylor expansion of a in x
5.567 * [taylor]: Taking taylor expansion of z in x
5.567 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in y
5.567 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
5.567 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.567 * [taylor]: Taking taylor expansion of t in y
5.567 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
5.567 * [taylor]: Taking taylor expansion of (* a z) in y
5.567 * [taylor]: Taking taylor expansion of a in y
5.567 * [taylor]: Taking taylor expansion of z in y
5.569 * [taylor]: Taking taylor expansion of (- (/ 1 (* z (* y (- (/ 1 t) (/ 1 (* a z))))))) in y
5.569 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y (- (/ 1 t) (/ 1 (* a z)))))) in y
5.569 * [taylor]: Taking taylor expansion of (* z (* y (- (/ 1 t) (/ 1 (* a z))))) in y
5.569 * [taylor]: Taking taylor expansion of z in y
5.569 * [taylor]: Taking taylor expansion of (* y (- (/ 1 t) (/ 1 (* a z)))) in y
5.569 * [taylor]: Taking taylor expansion of y in y
5.569 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
5.569 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.569 * [taylor]: Taking taylor expansion of t in y
5.570 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
5.570 * [taylor]: Taking taylor expansion of (* a z) in y
5.570 * [taylor]: Taking taylor expansion of a in y
5.570 * [taylor]: Taking taylor expansion of z in y
5.572 * [taylor]: Taking taylor expansion of (- (/ 1 (- (/ z t) (/ 1 a)))) in z
5.572 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z t) (/ 1 a))) in z
5.572 * [taylor]: Taking taylor expansion of (- (/ z t) (/ 1 a)) in z
5.572 * [taylor]: Taking taylor expansion of (/ z t) in z
5.572 * [taylor]: Taking taylor expansion of z in z
5.572 * [taylor]: Taking taylor expansion of t in z
5.572 * [taylor]: Taking taylor expansion of (/ 1 a) in z
5.572 * [taylor]: Taking taylor expansion of a in z
5.572 * [taylor]: Taking taylor expansion of a in t
5.572 * [taylor]: Taking taylor expansion of 0 in a
5.572 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in z
5.572 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
5.572 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.572 * [taylor]: Taking taylor expansion of t in z
5.572 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
5.572 * [taylor]: Taking taylor expansion of (* a z) in z
5.572 * [taylor]: Taking taylor expansion of a in z
5.572 * [taylor]: Taking taylor expansion of z in z
5.575 * [taylor]: Taking taylor expansion of 0 in y
5.578 * [taylor]: Taking taylor expansion of 0 in z
5.578 * [taylor]: Taking taylor expansion of 0 in t
5.578 * [taylor]: Taking taylor expansion of 0 in a
5.579 * [taylor]: Taking taylor expansion of 0 in z
5.579 * [taylor]: Taking taylor expansion of 0 in t
5.579 * [taylor]: Taking taylor expansion of 0 in a
5.580 * [taylor]: Taking taylor expansion of (/ (pow a 2) t) in t
5.580 * [taylor]: Taking taylor expansion of (pow a 2) in t
5.580 * [taylor]: Taking taylor expansion of a in t
5.580 * [taylor]: Taking taylor expansion of t in t
5.582 * [taylor]: Taking taylor expansion of 0 in a
5.582 * [taylor]: Taking taylor expansion of (* -1 a) in t
5.582 * [taylor]: Taking taylor expansion of -1 in t
5.583 * [taylor]: Taking taylor expansion of a in t
5.583 * [taylor]: Taking taylor expansion of 0 in a
5.583 * [taylor]: Taking taylor expansion of 0 in a
5.583 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in (x y z t a) around 0
5.583 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in a
5.583 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in a
5.583 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
5.583 * [taylor]: Taking taylor expansion of (* z y) in a
5.583 * [taylor]: Taking taylor expansion of z in a
5.583 * [taylor]: Taking taylor expansion of y in a
5.584 * [taylor]: Taking taylor expansion of (/ 1 x) in a
5.584 * [taylor]: Taking taylor expansion of x in a
5.584 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in a
5.584 * [taylor]: Taking taylor expansion of (/ 1 t) in a
5.584 * [taylor]: Taking taylor expansion of t in a
5.584 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
5.584 * [taylor]: Taking taylor expansion of (* a z) in a
5.584 * [taylor]: Taking taylor expansion of a in a
5.584 * [taylor]: Taking taylor expansion of z in a
5.584 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in t
5.584 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in t
5.584 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
5.584 * [taylor]: Taking taylor expansion of (* z y) in t
5.584 * [taylor]: Taking taylor expansion of z in t
5.584 * [taylor]: Taking taylor expansion of y in t
5.584 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.584 * [taylor]: Taking taylor expansion of x in t
5.585 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in t
5.585 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.585 * [taylor]: Taking taylor expansion of t in t
5.585 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
5.585 * [taylor]: Taking taylor expansion of (* a z) in t
5.585 * [taylor]: Taking taylor expansion of a in t
5.585 * [taylor]: Taking taylor expansion of z in t
5.585 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in z
5.586 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
5.586 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
5.586 * [taylor]: Taking taylor expansion of (* z y) in z
5.586 * [taylor]: Taking taylor expansion of z in z
5.586 * [taylor]: Taking taylor expansion of y in z
5.586 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.586 * [taylor]: Taking taylor expansion of x in z
5.586 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
5.586 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.586 * [taylor]: Taking taylor expansion of t in z
5.586 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
5.586 * [taylor]: Taking taylor expansion of (* a z) in z
5.586 * [taylor]: Taking taylor expansion of a in z
5.586 * [taylor]: Taking taylor expansion of z in z
5.587 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in y
5.587 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
5.587 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
5.587 * [taylor]: Taking taylor expansion of (* z y) in y
5.587 * [taylor]: Taking taylor expansion of z in y
5.587 * [taylor]: Taking taylor expansion of y in y
5.587 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.587 * [taylor]: Taking taylor expansion of x in y
5.587 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
5.587 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.587 * [taylor]: Taking taylor expansion of t in y
5.587 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
5.587 * [taylor]: Taking taylor expansion of (* a z) in y
5.587 * [taylor]: Taking taylor expansion of a in y
5.587 * [taylor]: Taking taylor expansion of z in y
5.588 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in x
5.588 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
5.588 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
5.588 * [taylor]: Taking taylor expansion of (* z y) in x
5.588 * [taylor]: Taking taylor expansion of z in x
5.588 * [taylor]: Taking taylor expansion of y in x
5.588 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.588 * [taylor]: Taking taylor expansion of x in x
5.588 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in x
5.588 * [taylor]: Taking taylor expansion of (/ 1 t) in x
5.588 * [taylor]: Taking taylor expansion of t in x
5.588 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
5.588 * [taylor]: Taking taylor expansion of (* a z) in x
5.588 * [taylor]: Taking taylor expansion of a in x
5.588 * [taylor]: Taking taylor expansion of z in x
5.589 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in x
5.589 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
5.589 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
5.589 * [taylor]: Taking taylor expansion of (* z y) in x
5.589 * [taylor]: Taking taylor expansion of z in x
5.589 * [taylor]: Taking taylor expansion of y in x
5.589 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.589 * [taylor]: Taking taylor expansion of x in x
5.589 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in x
5.589 * [taylor]: Taking taylor expansion of (/ 1 t) in x
5.589 * [taylor]: Taking taylor expansion of t in x
5.589 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
5.589 * [taylor]: Taking taylor expansion of (* a z) in x
5.589 * [taylor]: Taking taylor expansion of a in x
5.589 * [taylor]: Taking taylor expansion of z in x
5.590 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) (/ 1 (* a z)))) in y
5.590 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
5.590 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.590 * [taylor]: Taking taylor expansion of t in y
5.590 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
5.590 * [taylor]: Taking taylor expansion of (* a z) in y
5.590 * [taylor]: Taking taylor expansion of a in y
5.590 * [taylor]: Taking taylor expansion of z in y
5.592 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y (+ (/ 1 t) (/ 1 (* a z)))))) in y
5.592 * [taylor]: Taking taylor expansion of (* z (* y (+ (/ 1 t) (/ 1 (* a z))))) in y
5.592 * [taylor]: Taking taylor expansion of z in y
5.592 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 t) (/ 1 (* a z)))) in y
5.592 * [taylor]: Taking taylor expansion of y in y
5.592 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
5.592 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.592 * [taylor]: Taking taylor expansion of t in y
5.592 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
5.592 * [taylor]: Taking taylor expansion of (* a z) in y
5.592 * [taylor]: Taking taylor expansion of a in y
5.592 * [taylor]: Taking taylor expansion of z in y
5.593 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 a) (/ z t))) in z
5.593 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ z t)) in z
5.593 * [taylor]: Taking taylor expansion of (/ 1 a) in z
5.594 * [taylor]: Taking taylor expansion of a in z
5.594 * [taylor]: Taking taylor expansion of (/ z t) in z
5.594 * [taylor]: Taking taylor expansion of z in z
5.594 * [taylor]: Taking taylor expansion of t in z
5.594 * [taylor]: Taking taylor expansion of a in t
5.594 * [taylor]: Taking taylor expansion of 0 in a
5.594 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) (/ 1 (* a z)))) in z
5.594 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
5.594 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.594 * [taylor]: Taking taylor expansion of t in z
5.594 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
5.594 * [taylor]: Taking taylor expansion of (* a z) in z
5.594 * [taylor]: Taking taylor expansion of a in z
5.594 * [taylor]: Taking taylor expansion of z in z
5.597 * [taylor]: Taking taylor expansion of 0 in y
5.599 * [taylor]: Taking taylor expansion of 0 in z
5.599 * [taylor]: Taking taylor expansion of 0 in t
5.599 * [taylor]: Taking taylor expansion of 0 in a
5.600 * [taylor]: Taking taylor expansion of 0 in z
5.600 * [taylor]: Taking taylor expansion of 0 in t
5.600 * [taylor]: Taking taylor expansion of 0 in a
5.600 * [taylor]: Taking taylor expansion of (- (/ (pow a 2) t)) in t
5.600 * [taylor]: Taking taylor expansion of (/ (pow a 2) t) in t
5.600 * [taylor]: Taking taylor expansion of (pow a 2) in t
5.600 * [taylor]: Taking taylor expansion of a in t
5.600 * [taylor]: Taking taylor expansion of t in t
5.603 * [taylor]: Taking taylor expansion of 0 in a
5.603 * [taylor]: Taking taylor expansion of a in t
5.603 * [taylor]: Taking taylor expansion of 0 in a
5.603 * [taylor]: Taking taylor expansion of 0 in a
5.603 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
5.603 * [approximate]: Taking taylor expansion of (/ 1 (- t (* a z))) in (t a z) around 0
5.603 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in z
5.603 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
5.603 * [taylor]: Taking taylor expansion of t in z
5.603 * [taylor]: Taking taylor expansion of (* a z) in z
5.603 * [taylor]: Taking taylor expansion of a in z
5.603 * [taylor]: Taking taylor expansion of z in z
5.603 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in a
5.603 * [taylor]: Taking taylor expansion of (- t (* a z)) in a
5.604 * [taylor]: Taking taylor expansion of t in a
5.604 * [taylor]: Taking taylor expansion of (* a z) in a
5.604 * [taylor]: Taking taylor expansion of a in a
5.604 * [taylor]: Taking taylor expansion of z in a
5.604 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in t
5.604 * [taylor]: Taking taylor expansion of (- t (* a z)) in t
5.604 * [taylor]: Taking taylor expansion of t in t
5.604 * [taylor]: Taking taylor expansion of (* a z) in t
5.604 * [taylor]: Taking taylor expansion of a in t
5.604 * [taylor]: Taking taylor expansion of z in t
5.604 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in t
5.604 * [taylor]: Taking taylor expansion of (- t (* a z)) in t
5.604 * [taylor]: Taking taylor expansion of t in t
5.604 * [taylor]: Taking taylor expansion of (* a z) in t
5.604 * [taylor]: Taking taylor expansion of a in t
5.604 * [taylor]: Taking taylor expansion of z in t
5.604 * [taylor]: Taking taylor expansion of (/ -1 (* a z)) in a
5.605 * [taylor]: Taking taylor expansion of -1 in a
5.605 * [taylor]: Taking taylor expansion of (* a z) in a
5.605 * [taylor]: Taking taylor expansion of a in a
5.605 * [taylor]: Taking taylor expansion of z in a
5.606 * [taylor]: Taking taylor expansion of 0 in z
5.607 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow a 2) (pow z 2)))) in a
5.607 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow z 2))) in a
5.607 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow z 2)) in a
5.607 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.607 * [taylor]: Taking taylor expansion of a in a
5.607 * [taylor]: Taking taylor expansion of (pow z 2) in a
5.607 * [taylor]: Taking taylor expansion of z in a
5.611 * [taylor]: Taking taylor expansion of 0 in z
5.612 * [taylor]: Taking taylor expansion of 0 in z
5.613 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow a 3) (pow z 3)))) in a
5.613 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow z 3))) in a
5.613 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow z 3)) in a
5.613 * [taylor]: Taking taylor expansion of (pow a 3) in a
5.613 * [taylor]: Taking taylor expansion of a in a
5.613 * [taylor]: Taking taylor expansion of (pow z 3) in a
5.613 * [taylor]: Taking taylor expansion of z in a
5.622 * [taylor]: Taking taylor expansion of 0 in z
5.624 * [taylor]: Taking taylor expansion of 0 in z
5.624 * [approximate]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in (t a z) around 0
5.625 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in z
5.625 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
5.625 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.625 * [taylor]: Taking taylor expansion of t in z
5.625 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
5.625 * [taylor]: Taking taylor expansion of (* a z) in z
5.625 * [taylor]: Taking taylor expansion of a in z
5.625 * [taylor]: Taking taylor expansion of z in z
5.625 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in a
5.625 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in a
5.625 * [taylor]: Taking taylor expansion of (/ 1 t) in a
5.625 * [taylor]: Taking taylor expansion of t in a
5.625 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
5.625 * [taylor]: Taking taylor expansion of (* a z) in a
5.625 * [taylor]: Taking taylor expansion of a in a
5.625 * [taylor]: Taking taylor expansion of z in a
5.626 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in t
5.626 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in t
5.626 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.626 * [taylor]: Taking taylor expansion of t in t
5.626 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
5.626 * [taylor]: Taking taylor expansion of (* a z) in t
5.626 * [taylor]: Taking taylor expansion of a in t
5.626 * [taylor]: Taking taylor expansion of z in t
5.627 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in t
5.627 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in t
5.627 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.627 * [taylor]: Taking taylor expansion of t in t
5.627 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
5.627 * [taylor]: Taking taylor expansion of (* a z) in t
5.627 * [taylor]: Taking taylor expansion of a in t
5.627 * [taylor]: Taking taylor expansion of z in t
5.628 * [taylor]: Taking taylor expansion of 1 in a
5.628 * [taylor]: Taking taylor expansion of 0 in z
5.629 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
5.629 * [taylor]: Taking taylor expansion of (* a z) in a
5.629 * [taylor]: Taking taylor expansion of a in a
5.629 * [taylor]: Taking taylor expansion of z in a
5.631 * [taylor]: Taking taylor expansion of 0 in z
5.631 * [taylor]: Taking taylor expansion of 0 in z
5.632 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow z 2))) in a
5.632 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow z 2)) in a
5.632 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.632 * [taylor]: Taking taylor expansion of a in a
5.633 * [taylor]: Taking taylor expansion of (pow z 2) in a
5.633 * [taylor]: Taking taylor expansion of z in a
5.638 * [taylor]: Taking taylor expansion of 0 in z
5.643 * [taylor]: Taking taylor expansion of 0 in z
5.643 * [approximate]: Taking taylor expansion of (/ -1 (+ (/ 1 t) (/ 1 (* a z)))) in (t a z) around 0
5.643 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 t) (/ 1 (* a z)))) in z
5.643 * [taylor]: Taking taylor expansion of -1 in z
5.643 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
5.643 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.643 * [taylor]: Taking taylor expansion of t in z
5.643 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
5.643 * [taylor]: Taking taylor expansion of (* a z) in z
5.643 * [taylor]: Taking taylor expansion of a in z
5.643 * [taylor]: Taking taylor expansion of z in z
5.644 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 t) (/ 1 (* a z)))) in a
5.644 * [taylor]: Taking taylor expansion of -1 in a
5.644 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in a
5.644 * [taylor]: Taking taylor expansion of (/ 1 t) in a
5.644 * [taylor]: Taking taylor expansion of t in a
5.644 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
5.644 * [taylor]: Taking taylor expansion of (* a z) in a
5.644 * [taylor]: Taking taylor expansion of a in a
5.644 * [taylor]: Taking taylor expansion of z in a
5.644 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 t) (/ 1 (* a z)))) in t
5.644 * [taylor]: Taking taylor expansion of -1 in t
5.644 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in t
5.645 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.645 * [taylor]: Taking taylor expansion of t in t
5.645 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
5.645 * [taylor]: Taking taylor expansion of (* a z) in t
5.645 * [taylor]: Taking taylor expansion of a in t
5.645 * [taylor]: Taking taylor expansion of z in t
5.646 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 t) (/ 1 (* a z)))) in t
5.646 * [taylor]: Taking taylor expansion of -1 in t
5.646 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in t
5.646 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.646 * [taylor]: Taking taylor expansion of t in t
5.646 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
5.646 * [taylor]: Taking taylor expansion of (* a z) in t
5.646 * [taylor]: Taking taylor expansion of a in t
5.646 * [taylor]: Taking taylor expansion of z in t
5.647 * [taylor]: Taking taylor expansion of -1 in a
5.647 * [taylor]: Taking taylor expansion of 0 in z
5.648 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
5.648 * [taylor]: Taking taylor expansion of (* a z) in a
5.648 * [taylor]: Taking taylor expansion of a in a
5.648 * [taylor]: Taking taylor expansion of z in a
5.650 * [taylor]: Taking taylor expansion of 0 in z
5.650 * [taylor]: Taking taylor expansion of 0 in z
5.652 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow a 2) (pow z 2)))) in a
5.652 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow z 2))) in a
5.652 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow z 2)) in a
5.652 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.652 * [taylor]: Taking taylor expansion of a in a
5.652 * [taylor]: Taking taylor expansion of (pow z 2) in a
5.652 * [taylor]: Taking taylor expansion of z in a
5.658 * [taylor]: Taking taylor expansion of 0 in z
5.660 * [taylor]: Taking taylor expansion of 0 in z
5.660 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
5.660 * [approximate]: Taking taylor expansion of (- x (* z y)) in (x y z) around 0
5.660 * [taylor]: Taking taylor expansion of (- x (* z y)) in z
5.660 * [taylor]: Taking taylor expansion of x in z
5.660 * [taylor]: Taking taylor expansion of (* z y) in z
5.660 * [taylor]: Taking taylor expansion of z in z
5.660 * [taylor]: Taking taylor expansion of y in z
5.660 * [taylor]: Taking taylor expansion of (- x (* z y)) in y
5.660 * [taylor]: Taking taylor expansion of x in y
5.660 * [taylor]: Taking taylor expansion of (* z y) in y
5.660 * [taylor]: Taking taylor expansion of z in y
5.660 * [taylor]: Taking taylor expansion of y in y
5.660 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
5.660 * [taylor]: Taking taylor expansion of x in x
5.660 * [taylor]: Taking taylor expansion of (* z y) in x
5.660 * [taylor]: Taking taylor expansion of z in x
5.660 * [taylor]: Taking taylor expansion of y in x
5.660 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
5.660 * [taylor]: Taking taylor expansion of x in x
5.660 * [taylor]: Taking taylor expansion of (* z y) in x
5.660 * [taylor]: Taking taylor expansion of z in x
5.660 * [taylor]: Taking taylor expansion of y in x
5.660 * [taylor]: Taking taylor expansion of (- (* z y)) in y
5.660 * [taylor]: Taking taylor expansion of (* z y) in y
5.660 * [taylor]: Taking taylor expansion of z in y
5.660 * [taylor]: Taking taylor expansion of y in y
5.661 * [taylor]: Taking taylor expansion of 0 in z
5.661 * [taylor]: Taking taylor expansion of 1 in y
5.661 * [taylor]: Taking taylor expansion of 1 in z
5.662 * [taylor]: Taking taylor expansion of (- z) in z
5.662 * [taylor]: Taking taylor expansion of z in z
5.663 * [taylor]: Taking taylor expansion of 0 in y
5.663 * [taylor]: Taking taylor expansion of 0 in z
5.663 * [taylor]: Taking taylor expansion of 0 in z
5.664 * [taylor]: Taking taylor expansion of 0 in z
5.664 * [approximate]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in (x y z) around 0
5.664 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in z
5.664 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.664 * [taylor]: Taking taylor expansion of x in z
5.664 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
5.664 * [taylor]: Taking taylor expansion of (* z y) in z
5.664 * [taylor]: Taking taylor expansion of z in z
5.664 * [taylor]: Taking taylor expansion of y in z
5.665 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in y
5.665 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.665 * [taylor]: Taking taylor expansion of x in y
5.665 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
5.665 * [taylor]: Taking taylor expansion of (* z y) in y
5.665 * [taylor]: Taking taylor expansion of z in y
5.665 * [taylor]: Taking taylor expansion of y in y
5.665 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
5.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.665 * [taylor]: Taking taylor expansion of x in x
5.665 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
5.665 * [taylor]: Taking taylor expansion of (* z y) in x
5.665 * [taylor]: Taking taylor expansion of z in x
5.665 * [taylor]: Taking taylor expansion of y in x
5.666 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
5.666 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.666 * [taylor]: Taking taylor expansion of x in x
5.666 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
5.666 * [taylor]: Taking taylor expansion of (* z y) in x
5.666 * [taylor]: Taking taylor expansion of z in x
5.666 * [taylor]: Taking taylor expansion of y in x
5.666 * [taylor]: Taking taylor expansion of 1 in y
5.667 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
5.667 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
5.667 * [taylor]: Taking taylor expansion of (* z y) in y
5.667 * [taylor]: Taking taylor expansion of z in y
5.667 * [taylor]: Taking taylor expansion of y in y
5.667 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
5.667 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.667 * [taylor]: Taking taylor expansion of z in z
5.668 * [taylor]: Taking taylor expansion of 1 in z
5.669 * [taylor]: Taking taylor expansion of 0 in y
5.670 * [taylor]: Taking taylor expansion of 0 in z
5.670 * [taylor]: Taking taylor expansion of 0 in z
5.673 * [taylor]: Taking taylor expansion of 0 in y
5.673 * [taylor]: Taking taylor expansion of 0 in z
5.674 * [taylor]: Taking taylor expansion of 0 in z
5.674 * [taylor]: Taking taylor expansion of 0 in z
5.676 * [taylor]: Taking taylor expansion of 0 in y
5.677 * [taylor]: Taking taylor expansion of 0 in z
5.677 * [taylor]: Taking taylor expansion of 0 in z
5.678 * [taylor]: Taking taylor expansion of 0 in z
5.678 * [taylor]: Taking taylor expansion of 0 in z
5.678 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in (x y z) around 0
5.678 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in z
5.678 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
5.678 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
5.678 * [taylor]: Taking taylor expansion of (* z y) in z
5.678 * [taylor]: Taking taylor expansion of z in z
5.678 * [taylor]: Taking taylor expansion of y in z
5.679 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.679 * [taylor]: Taking taylor expansion of x in z
5.679 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in y
5.679 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
5.679 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
5.679 * [taylor]: Taking taylor expansion of (* z y) in y
5.679 * [taylor]: Taking taylor expansion of z in y
5.679 * [taylor]: Taking taylor expansion of y in y
5.679 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.679 * [taylor]: Taking taylor expansion of x in y
5.679 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in x
5.679 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
5.679 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
5.679 * [taylor]: Taking taylor expansion of (* z y) in x
5.679 * [taylor]: Taking taylor expansion of z in x
5.679 * [taylor]: Taking taylor expansion of y in x
5.679 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.679 * [taylor]: Taking taylor expansion of x in x
5.680 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in x
5.680 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
5.680 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
5.680 * [taylor]: Taking taylor expansion of (* z y) in x
5.680 * [taylor]: Taking taylor expansion of z in x
5.680 * [taylor]: Taking taylor expansion of y in x
5.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.680 * [taylor]: Taking taylor expansion of x in x
5.681 * [taylor]: Taking taylor expansion of -1 in y
5.681 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
5.681 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
5.681 * [taylor]: Taking taylor expansion of (* z y) in y
5.682 * [taylor]: Taking taylor expansion of z in y
5.682 * [taylor]: Taking taylor expansion of y in y
5.682 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
5.682 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.682 * [taylor]: Taking taylor expansion of z in z
5.683 * [taylor]: Taking taylor expansion of -1 in z
5.684 * [taylor]: Taking taylor expansion of 0 in y
5.685 * [taylor]: Taking taylor expansion of 0 in z
5.685 * [taylor]: Taking taylor expansion of 0 in z
5.687 * [taylor]: Taking taylor expansion of 0 in y
5.687 * [taylor]: Taking taylor expansion of 0 in z
5.688 * [taylor]: Taking taylor expansion of 0 in z
5.688 * [taylor]: Taking taylor expansion of 0 in z
5.691 * [taylor]: Taking taylor expansion of 0 in y
5.691 * [taylor]: Taking taylor expansion of 0 in z
5.691 * [taylor]: Taking taylor expansion of 0 in z
5.692 * [taylor]: Taking taylor expansion of 0 in z
5.692 * [taylor]: Taking taylor expansion of 0 in z
5.692 * * * [progress]: simplifying candidates
5.694 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (- x (* y z)) (/ 1 (- t (* a z)))))
  (log1p (* (- x (* y z)) (/ 1 (- t (* a z)))))
  (* (- x (* y z)) (/ 1 (- t (* a z))))
  (+ (log (- x (* y z))) (- (log (- t (* a z)))))
  (+ (log (- x (* y z))) (- 0 (log (- t (* a z)))))
  (+ (log (- x (* y z))) (- (log 1) (log (- t (* a z)))))
  (+ (log (- x (* y z))) (log (/ 1 (- t (* a z)))))
  (log (* (- x (* y z)) (/ 1 (- t (* a z)))))
  (exp (* (- x (* y z)) (/ 1 (- t (* a z)))))
  (* (* (* (- x (* y z)) (- x (* y z))) (- x (* y z))) (/ (* (* 1 1) 1) (* (* (- t (* a z)) (- t (* a z))) (- t (* a z)))))
  (* (* (* (- x (* y z)) (- x (* y z))) (- x (* y z))) (* (* (/ 1 (- t (* a z))) (/ 1 (- t (* a z)))) (/ 1 (- t (* a z)))))
  (* (cbrt (* (- x (* y z)) (/ 1 (- t (* a z))))) (cbrt (* (- x (* y z)) (/ 1 (- t (* a z))))))
  (cbrt (* (- x (* y z)) (/ 1 (- t (* a z)))))
  (* (* (* (- x (* y z)) (/ 1 (- t (* a z)))) (* (- x (* y z)) (/ 1 (- t (* a z))))) (* (- x (* y z)) (/ 1 (- t (* a z)))))
  (sqrt (* (- x (* y z)) (/ 1 (- t (* a z)))))
  (sqrt (* (- x (* y z)) (/ 1 (- t (* a z)))))
  (* (- (pow x 3) (pow (* y z) 3)) 1)
  (* (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z)))) (- t (* a z)))
  (* (- (* x x) (* (* y z) (* y z))) 1)
  (* (+ x (* y z)) (- t (* a z)))
  (* (sqrt (- x (* y z))) (sqrt (/ 1 (- t (* a z)))))
  (* (sqrt (- x (* y z))) (sqrt (/ 1 (- t (* a z)))))
  (* (sqrt (- x (* y z))) (/ (sqrt 1) (sqrt (- t (* a z)))))
  (* (sqrt (- x (* y z))) (/ (sqrt 1) (sqrt (- t (* a z)))))
  (* (sqrt (- x (* y z))) (/ 1 (sqrt (- t (* a z)))))
  (* (sqrt (- x (* y z))) (/ 1 (sqrt (- t (* a z)))))
  (* (- x (* y z)) (* (cbrt (/ 1 (- t (* a z)))) (cbrt (/ 1 (- t (* a z))))))
  (* (- x (* y z)) (sqrt (/ 1 (- t (* a z)))))
  (* (- x (* y z)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- t (* a z))) (cbrt (- t (* a z))))))
  (* (- x (* y z)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (- t (* a z)))))
  (* (- x (* y z)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (* (- x (* y z)) (/ (sqrt 1) (* (cbrt (- t (* a z))) (cbrt (- t (* a z))))))
  (* (- x (* y z)) (/ (sqrt 1) (sqrt (- t (* a z)))))
  (* (- x (* y z)) (/ (sqrt 1) 1))
  (* (- x (* y z)) (/ 1 (* (cbrt (- t (* a z))) (cbrt (- t (* a z))))))
  (* (- x (* y z)) (/ 1 (sqrt (- t (* a z)))))
  (* (- x (* y z)) (/ 1 1))
  (* (- x (* y z)) 1)
  (* (- x (* y z)) 1)
  (* (- x (* y z)) (/ 1 (- (pow t 3) (pow (* a z) 3))))
  (* (- x (* y z)) (/ 1 (- (* t t) (* (* a z) (* a z)))))
  (* (cbrt (- x (* y z))) (/ 1 (- t (* a z))))
  (* (sqrt (- x (* y z))) (/ 1 (- t (* a z))))
  (* (- x (* y z)) (/ 1 (- t (* a z))))
  (* (- x (* y z)) 1)
  (* (- (pow x 3) (pow (* y z) 3)) (/ 1 (- t (* a z))))
  (* (- (* x x) (* (* y z) (* y z))) (/ 1 (- t (* a z))))
  (expm1 (/ 1 (- t (* a z))))
  (log1p (/ 1 (- t (* a z))))
  (- 1)
  (- (log (- t (* a z))))
  (- 0 (log (- t (* a z))))
  (- (log 1) (log (- t (* a z))))
  (log (/ 1 (- t (* a z))))
  (exp (/ 1 (- t (* a z))))
  (/ (* (* 1 1) 1) (* (* (- t (* a z)) (- t (* a z))) (- t (* a z))))
  (* (cbrt (/ 1 (- t (* a z)))) (cbrt (/ 1 (- t (* a z)))))
  (cbrt (/ 1 (- t (* a z))))
  (* (* (/ 1 (- t (* a z))) (/ 1 (- t (* a z)))) (/ 1 (- t (* a z))))
  (sqrt (/ 1 (- t (* a z))))
  (sqrt (/ 1 (- t (* a z))))
  (- 1)
  (- (- t (* a z)))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (cbrt 1) (cbrt (- t (* a z))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (- t (* a z))))
  (/ (cbrt 1) (sqrt (- t (* a z))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (- t (* a z)))
  (/ (sqrt 1) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (sqrt 1) (cbrt (- t (* a z))))
  (/ (sqrt 1) (sqrt (- t (* a z))))
  (/ (sqrt 1) (sqrt (- t (* a z))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (- t (* a z)))
  (/ 1 (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ 1 (cbrt (- t (* a z))))
  (/ 1 (sqrt (- t (* a z))))
  (/ 1 (sqrt (- t (* a z))))
  (/ 1 1)
  (/ 1 (- t (* a z)))
  (/ 1 (- t (* a z)))
  (/ (- t (* a z)) 1)
  (/ 1 (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ 1 (sqrt (- t (* a z))))
  (/ 1 1)
  (/ (- t (* a z)) (cbrt 1))
  (/ (- t (* a z)) (sqrt 1))
  (/ (- t (* a z)) 1)
  (/ 1 (- (pow t 3) (pow (* a z) 3)))
  (/ 1 (- (* t t) (* (* a z) (* a z))))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* z y)))
  (fma (- z) y (* z y))
  (fma (sqrt x) (sqrt x) (- (* z y)))
  (fma (- z) y (* z y))
  (fma 1 x (- (* z y)))
  (fma (- z) y (* z y))
  (expm1 (- x (* y z)))
  (log1p (- x (* y z)))
  (- (* y z))
  (- (* y z))
  (- (* y z))
  (/ (exp x) (exp (* y z)))
  (log (- x (* y z)))
  (exp (- x (* y z)))
  (* (cbrt (- x (* y z))) (cbrt (- x (* y z))))
  (cbrt (- x (* y z)))
  (* (* (- x (* y z)) (- x (* y z))) (- x (* y z)))
  (sqrt (- x (* y z)))
  (sqrt (- x (* y z)))
  (- (pow x 3) (pow (* y z) 3))
  (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z))))
  (- (* y z))
  (- (* x x) (* (* y z) (* y z)))
  (+ x (* y z))
  (- (* y z))
  0
  0
  0
  0
  0
  0
  x
  (- x (* z y))
  (- x (* z y))
5.698 * * [simplify]: iteration  0 :  141  enodes  (cost  1406 )
5.728 * * [simplify]: iteration  1 :  347  enodes  (cost  1271 )
5.817 * * [simplify]: iteration  2 :  1279  enodes  (cost  1107 )
6.579 * * [simplify]: iteration  3 :  4898  enodes  (cost  1101 )
8.990 * * [simplify]: iteration  done :  5000  enodes  (cost  1101 )
8.991 * [simplify]: Simplified to:
   (expm1 (/ (- x (* z y)) (- t (* a z))))
  (log1p (/ (- x (* z y)) (- t (* a z))))
  (/ (- x (* z y)) (- t (* a z)))
  (log (/ (- x (* z y)) (- t (* a z))))
  (log (/ (- x (* z y)) (- t (* a z))))
  (log (/ (- x (* z y)) (- t (* a z))))
  (log (/ (- x (* z y)) (- t (* a z))))
  (log (/ (- x (* z y)) (- t (* a z))))
  (exp (/ (- x (* z y)) (- t (* a z))))
  (pow (/ (- x (* z y)) (- t (* a z))) 3)
  (pow (/ (- x (* z y)) (- t (* a z))) 3)
  (* (cbrt (/ (- x (* z y)) (- t (* a z)))) (cbrt (/ (- x (* z y)) (- t (* a z)))))
  (cbrt (/ (- x (* z y)) (- t (* a z))))
  (pow (/ (- x (* z y)) (- t (* a z))) 3)
  (sqrt (/ (- x (* z y)) (- t (* a z))))
  (sqrt (/ (- x (* z y)) (- t (* a z))))
  (- (pow x 3) (pow (* y z) 3))
  (* (- t (* a z)) (fma (* z y) (fma y z x) (* x x)))
  (* (- x (* z y)) (fma y z x))
  (* (fma y z x) (- t (* a z)))
  (* (sqrt (- x (* y z))) (sqrt (/ 1 (- t (* a z)))))
  (* (sqrt (- x (* y z))) (sqrt (/ 1 (- t (* a z)))))
  (/ (sqrt (- x (* y z))) (sqrt (- t (* a z))))
  (/ (sqrt (- x (* y z))) (sqrt (- t (* a z))))
  (/ (sqrt (- x (* y z))) (sqrt (- t (* a z))))
  (/ (sqrt (- x (* y z))) (sqrt (- t (* a z))))
  (* (- x (* y z)) (* (cbrt (/ 1 (- t (* a z)))) (cbrt (/ 1 (- t (* a z))))))
  (* (- x (* y z)) (sqrt (/ 1 (- t (* a z)))))
  (/ (- x (* z y)) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (- x (* z y)) (sqrt (- t (* a z))))
  (- x (* z y))
  (/ (- x (* z y)) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (- x (* z y)) (sqrt (- t (* a z))))
  (- x (* z y))
  (/ (- x (* z y)) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (- x (* z y)) (sqrt (- t (* a z))))
  (- x (* z y))
  (- x (* z y))
  (- x (* z y))
  (/ (- x (* z y)) (- (pow t 3) (pow (* a z) 3)))
  (/ (- x (* z y)) (* (- t (* a z)) (fma a z t)))
  (/ (cbrt (- x (* y z))) (- t (* a z)))
  (/ (sqrt (- x (* z y))) (- t (* a z)))
  (/ (- x (* z y)) (- t (* a z)))
  (- x (* z y))
  (/ (- (pow x 3) (pow (* y z) 3)) (- t (* a z)))
  (/ (fma y z x) (/ (- t (* a z)) (- x (* z y))))
  (expm1 (/ 1 (- t (* a z))))
  (log1p (/ 1 (- t (* a z))))
  -1
  (- (log (- t (* a z))))
  (- (log (- t (* a z))))
  (- (log (- t (* a z))))
  (- (log (- t (* a z))))
  (exp (/ 1 (- t (* a z))))
  (/ 1 (pow (- t (* a z)) 3))
  (* (cbrt (/ 1 (- t (* a z)))) (cbrt (/ 1 (- t (* a z)))))
  (cbrt (/ 1 (- t (* a z))))
  (/ 1 (pow (- t (* a z)) 3))
  (sqrt (/ 1 (- t (* a z))))
  (sqrt (/ 1 (- t (* a z))))
  -1
  (- (- t (* a z)))
  (/ (/ 1 (cbrt (- t (* a z)))) (cbrt (- t (* a z))))
  (/ 1 (cbrt (- t (* a z))))
  (/ 1 (sqrt (- t (* a z))))
  (/ 1 (sqrt (- t (* a z))))
  1
  (/ 1 (- t (* a z)))
  (/ (/ 1 (cbrt (- t (* a z)))) (cbrt (- t (* a z))))
  (/ 1 (cbrt (- t (* a z))))
  (/ 1 (sqrt (- t (* a z))))
  (/ 1 (sqrt (- t (* a z))))
  1
  (/ 1 (- t (* a z)))
  (/ (/ 1 (cbrt (- t (* a z)))) (cbrt (- t (* a z))))
  (/ 1 (cbrt (- t (* a z))))
  (/ 1 (sqrt (- t (* a z))))
  (/ 1 (sqrt (- t (* a z))))
  1
  (/ 1 (- t (* a z)))
  (/ 1 (- t (* a z)))
  (- t (* a z))
  (/ (/ 1 (cbrt (- t (* a z)))) (cbrt (- t (* a z))))
  (/ 1 (sqrt (- t (* a z))))
  1
  (- t (* a z))
  (- t (* a z))
  (- t (* a z))
  (/ 1 (- (pow t 3) (pow (* a z) 3)))
  (/ 1 (* (- t (* a z)) (fma a z t)))
  (fma z (- y) (pow (cbrt x) 3))
  (* z (+ (- y) y))
  (- x (* z y))
  (* z (+ (- y) y))
  (- x (* z y))
  (* z (+ (- y) y))
  (expm1 (- x (* y z)))
  (log1p (- x (* y z)))
  (- (* z y))
  (- (* z y))
  (- (* z y))
  (exp (- x (* z y)))
  (log (- x (* y z)))
  (exp (- x (* z y)))
  (* (cbrt (- x (* y z))) (cbrt (- x (* y z))))
  (cbrt (- x (* y z)))
  (pow (- x (* z y)) 3)
  (sqrt (- x (* y z)))
  (sqrt (- x (* y z)))
  (- (pow x 3) (pow (* y z) 3))
  (fma (* z y) (fma y z x) (* x x))
  (- (* z y))
  (* (- x (* z y)) (fma y z x))
  (fma y z x)
  (- (* z y))
  0
  0
  0
  0
  0
  0
  x
  (- x (* z y))
  (- x (* z y))
8.992 * * * [progress]: adding candidates to table
9.263 * * [progress]: iteration 3 / 4
9.263 * * * [progress]: picking best candidate
9.289 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- t (* a z))))>
9.289 * * * [progress]: localizing error
9.303 * * * [progress]: generating rewritten candidates
9.303 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
9.307 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
9.308 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
9.309 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
9.311 * * * [progress]: generating series expansions
9.311 * * * * [progress]: [ 1 / 4 ] generating series at (2)
9.311 * [approximate]: Taking taylor expansion of (/ (fma (pow (pow x 2) 1/3) (pow x 1/3) (* -1 (* z y))) (- t (* a z))) in (x z y t a) around 0
9.311 * [taylor]: Taking taylor expansion of (/ (fma (pow (pow x 2) 1/3) (pow x 1/3) (* -1 (* z y))) (- t (* a z))) in a
9.311 * [taylor]: Taking taylor expansion of (fma (pow (pow x 2) 1/3) (pow x 1/3) (* -1 (* z y))) in a
9.312 * [taylor]: Rewrote expression to (+ (* (pow (pow x 2) 1/3) (pow x 1/3)) (* -1 (* z y)))
9.312 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow x 1/3)) in a
9.312 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in a
9.312 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in a
9.312 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in a
9.312 * [taylor]: Taking taylor expansion of 1/3 in a
9.312 * [taylor]: Taking taylor expansion of (log (pow x 2)) in a
9.312 * [taylor]: Taking taylor expansion of (pow x 2) in a
9.312 * [taylor]: Taking taylor expansion of x in a
9.312 * [taylor]: Taking taylor expansion of (pow x 1/3) in a
9.312 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in a
9.312 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in a
9.312 * [taylor]: Taking taylor expansion of 1/3 in a
9.312 * [taylor]: Taking taylor expansion of (log x) in a
9.312 * [taylor]: Taking taylor expansion of x in a
9.312 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in a
9.312 * [taylor]: Taking taylor expansion of -1 in a
9.312 * [taylor]: Taking taylor expansion of (* z y) in a
9.312 * [taylor]: Taking taylor expansion of z in a
9.312 * [taylor]: Taking taylor expansion of y in a
9.312 * [taylor]: Taking taylor expansion of (- t (* a z)) in a
9.312 * [taylor]: Taking taylor expansion of t in a
9.312 * [taylor]: Taking taylor expansion of (* a z) in a
9.312 * [taylor]: Taking taylor expansion of a in a
9.312 * [taylor]: Taking taylor expansion of z in a
9.313 * [taylor]: Taking taylor expansion of (/ (fma (pow (pow x 2) 1/3) (pow x 1/3) (* -1 (* z y))) (- t (* a z))) in t
9.313 * [taylor]: Taking taylor expansion of (fma (pow (pow x 2) 1/3) (pow x 1/3) (* -1 (* z y))) in t
9.313 * [taylor]: Rewrote expression to (+ (* (pow (pow x 2) 1/3) (pow x 1/3)) (* -1 (* z y)))
9.313 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow x 1/3)) in t
9.314 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in t
9.314 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in t
9.314 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in t
9.314 * [taylor]: Taking taylor expansion of 1/3 in t
9.314 * [taylor]: Taking taylor expansion of (log (pow x 2)) in t
9.314 * [taylor]: Taking taylor expansion of (pow x 2) in t
9.314 * [taylor]: Taking taylor expansion of x in t
9.314 * [taylor]: Taking taylor expansion of (pow x 1/3) in t
9.314 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in t
9.314 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in t
9.314 * [taylor]: Taking taylor expansion of 1/3 in t
9.314 * [taylor]: Taking taylor expansion of (log x) in t
9.314 * [taylor]: Taking taylor expansion of x in t
9.314 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in t
9.314 * [taylor]: Taking taylor expansion of -1 in t
9.314 * [taylor]: Taking taylor expansion of (* z y) in t
9.314 * [taylor]: Taking taylor expansion of z in t
9.314 * [taylor]: Taking taylor expansion of y in t
9.314 * [taylor]: Taking taylor expansion of (- t (* a z)) in t
9.314 * [taylor]: Taking taylor expansion of t in t
9.314 * [taylor]: Taking taylor expansion of (* a z) in t
9.314 * [taylor]: Taking taylor expansion of a in t
9.314 * [taylor]: Taking taylor expansion of z in t
9.315 * [taylor]: Taking taylor expansion of (/ (fma (pow (pow x 2) 1/3) (pow x 1/3) (* -1 (* z y))) (- t (* a z))) in y
9.315 * [taylor]: Taking taylor expansion of (fma (pow (pow x 2) 1/3) (pow x 1/3) (* -1 (* z y))) in y
9.315 * [taylor]: Rewrote expression to (+ (* (pow (pow x 2) 1/3) (pow x 1/3)) (* -1 (* z y)))
9.315 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow x 1/3)) in y
9.315 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in y
9.315 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in y
9.315 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in y
9.315 * [taylor]: Taking taylor expansion of 1/3 in y
9.315 * [taylor]: Taking taylor expansion of (log (pow x 2)) in y
9.315 * [taylor]: Taking taylor expansion of (pow x 2) in y
9.315 * [taylor]: Taking taylor expansion of x in y
9.315 * [taylor]: Taking taylor expansion of (pow x 1/3) in y
9.315 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in y
9.315 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in y
9.315 * [taylor]: Taking taylor expansion of 1/3 in y
9.315 * [taylor]: Taking taylor expansion of (log x) in y
9.315 * [taylor]: Taking taylor expansion of x in y
9.315 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in y
9.315 * [taylor]: Taking taylor expansion of -1 in y
9.315 * [taylor]: Taking taylor expansion of (* z y) in y
9.315 * [taylor]: Taking taylor expansion of z in y
9.315 * [taylor]: Taking taylor expansion of y in y
9.315 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
9.315 * [taylor]: Taking taylor expansion of t in y
9.315 * [taylor]: Taking taylor expansion of (* a z) in y
9.315 * [taylor]: Taking taylor expansion of a in y
9.315 * [taylor]: Taking taylor expansion of z in y
9.316 * [taylor]: Taking taylor expansion of (/ (fma (pow (pow x 2) 1/3) (pow x 1/3) (* -1 (* z y))) (- t (* a z))) in z
9.316 * [taylor]: Taking taylor expansion of (fma (pow (pow x 2) 1/3) (pow x 1/3) (* -1 (* z y))) in z
9.316 * [taylor]: Rewrote expression to (+ (* (pow (pow x 2) 1/3) (pow x 1/3)) (* -1 (* z y)))
9.317 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow x 1/3)) in z
9.317 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in z
9.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in z
9.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in z
9.317 * [taylor]: Taking taylor expansion of 1/3 in z
9.317 * [taylor]: Taking taylor expansion of (log (pow x 2)) in z
9.317 * [taylor]: Taking taylor expansion of (pow x 2) in z
9.317 * [taylor]: Taking taylor expansion of x in z
9.317 * [taylor]: Taking taylor expansion of (pow x 1/3) in z
9.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in z
9.317 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in z
9.317 * [taylor]: Taking taylor expansion of 1/3 in z
9.317 * [taylor]: Taking taylor expansion of (log x) in z
9.317 * [taylor]: Taking taylor expansion of x in z
9.317 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z
9.317 * [taylor]: Taking taylor expansion of -1 in z
9.317 * [taylor]: Taking taylor expansion of (* z y) in z
9.317 * [taylor]: Taking taylor expansion of z in z
9.317 * [taylor]: Taking taylor expansion of y in z
9.317 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
9.317 * [taylor]: Taking taylor expansion of t in z
9.317 * [taylor]: Taking taylor expansion of (* a z) in z
9.317 * [taylor]: Taking taylor expansion of a in z
9.317 * [taylor]: Taking taylor expansion of z in z
9.318 * [taylor]: Taking taylor expansion of (/ (fma (pow (pow x 2) 1/3) (pow x 1/3) (* -1 (* z y))) (- t (* a z))) in x
9.318 * [taylor]: Taking taylor expansion of (fma (pow (pow x 2) 1/3) (pow x 1/3) (* -1 (* z y))) in x
9.318 * [taylor]: Rewrote expression to (+ (* (pow (pow x 2) 1/3) (pow x 1/3)) (* -1 (* z y)))
9.318 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow x 1/3)) in x
9.318 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
9.318 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
9.318 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
9.318 * [taylor]: Taking taylor expansion of 1/3 in x
9.318 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
9.319 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.319 * [taylor]: Taking taylor expansion of x in x
9.320 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
9.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
9.320 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
9.320 * [taylor]: Taking taylor expansion of 1/3 in x
9.320 * [taylor]: Taking taylor expansion of (log x) in x
9.320 * [taylor]: Taking taylor expansion of x in x
9.320 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in x
9.320 * [taylor]: Taking taylor expansion of -1 in x
9.320 * [taylor]: Taking taylor expansion of (* z y) in x
9.320 * [taylor]: Taking taylor expansion of z in x
9.320 * [taylor]: Taking taylor expansion of y in x
9.320 * [taylor]: Taking taylor expansion of (- t (* a z)) in x
9.320 * [taylor]: Taking taylor expansion of t in x
9.320 * [taylor]: Taking taylor expansion of (* a z) in x
9.320 * [taylor]: Taking taylor expansion of a in x
9.320 * [taylor]: Taking taylor expansion of z in x
9.321 * [taylor]: Taking taylor expansion of (/ (fma (pow (pow x 2) 1/3) (pow x 1/3) (* -1 (* z y))) (- t (* a z))) in x
9.321 * [taylor]: Taking taylor expansion of (fma (pow (pow x 2) 1/3) (pow x 1/3) (* -1 (* z y))) in x
9.321 * [taylor]: Rewrote expression to (+ (* (pow (pow x 2) 1/3) (pow x 1/3)) (* -1 (* z y)))
9.321 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow x 1/3)) in x
9.321 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
9.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
9.321 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
9.321 * [taylor]: Taking taylor expansion of 1/3 in x
9.321 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
9.321 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.321 * [taylor]: Taking taylor expansion of x in x
9.322 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
9.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
9.322 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
9.322 * [taylor]: Taking taylor expansion of 1/3 in x
9.322 * [taylor]: Taking taylor expansion of (log x) in x
9.322 * [taylor]: Taking taylor expansion of x in x
9.323 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in x
9.323 * [taylor]: Taking taylor expansion of -1 in x
9.323 * [taylor]: Taking taylor expansion of (* z y) in x
9.323 * [taylor]: Taking taylor expansion of z in x
9.323 * [taylor]: Taking taylor expansion of y in x
9.323 * [taylor]: Taking taylor expansion of (- t (* a z)) in x
9.323 * [taylor]: Taking taylor expansion of t in x
9.323 * [taylor]: Taking taylor expansion of (* a z) in x
9.323 * [taylor]: Taking taylor expansion of a in x
9.323 * [taylor]: Taking taylor expansion of z in x
9.324 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in z
9.324 * [taylor]: Taking taylor expansion of (- x (* z y)) in z
9.324 * [taylor]: Taking taylor expansion of x in z
9.324 * [taylor]: Taking taylor expansion of (* z y) in z
9.324 * [taylor]: Taking taylor expansion of z in z
9.324 * [taylor]: Taking taylor expansion of y in z
9.324 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
9.324 * [taylor]: Taking taylor expansion of t in z
9.324 * [taylor]: Taking taylor expansion of (* a z) in z
9.324 * [taylor]: Taking taylor expansion of a in z
9.324 * [taylor]: Taking taylor expansion of z in z
9.325 * [taylor]: Taking taylor expansion of (/ x t) in y
9.325 * [taylor]: Taking taylor expansion of x in y
9.325 * [taylor]: Taking taylor expansion of t in y
9.325 * [taylor]: Taking taylor expansion of (/ x t) in t
9.325 * [taylor]: Taking taylor expansion of x in t
9.325 * [taylor]: Taking taylor expansion of t in t
9.325 * [taylor]: Taking taylor expansion of 0 in a
9.332 * [taylor]: Taking taylor expansion of 0 in z
9.332 * [taylor]: Taking taylor expansion of 0 in y
9.332 * [taylor]: Taking taylor expansion of 0 in t
9.332 * [taylor]: Taking taylor expansion of 0 in a
9.333 * [taylor]: Taking taylor expansion of (- (/ (* a x) (pow t 2)) (/ y t)) in y
9.333 * [taylor]: Taking taylor expansion of (/ (* a x) (pow t 2)) in y
9.333 * [taylor]: Taking taylor expansion of (* a x) in y
9.333 * [taylor]: Taking taylor expansion of a in y
9.333 * [taylor]: Taking taylor expansion of x in y
9.333 * [taylor]: Taking taylor expansion of (pow t 2) in y
9.333 * [taylor]: Taking taylor expansion of t in y
9.333 * [taylor]: Taking taylor expansion of (/ y t) in y
9.333 * [taylor]: Taking taylor expansion of y in y
9.333 * [taylor]: Taking taylor expansion of t in y
9.333 * [taylor]: Taking taylor expansion of (/ (* a x) (pow t 2)) in t
9.333 * [taylor]: Taking taylor expansion of (* a x) in t
9.333 * [taylor]: Taking taylor expansion of a in t
9.333 * [taylor]: Taking taylor expansion of x in t
9.333 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.334 * [taylor]: Taking taylor expansion of t in t
9.337 * [taylor]: Taking taylor expansion of 0 in a
9.337 * [taylor]: Taking taylor expansion of 0 in t
9.337 * [taylor]: Taking taylor expansion of 0 in a
9.338 * [taylor]: Taking taylor expansion of 0 in a
9.338 * [approximate]: Taking taylor expansion of (/ (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (/ -1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in (x z y t a) around 0
9.338 * [taylor]: Taking taylor expansion of (/ (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (/ -1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in a
9.338 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (/ -1 (* z y))) in a
9.339 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) (/ -1 (* z y)))
9.339 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) in a
9.339 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in a
9.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in a
9.339 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in a
9.339 * [taylor]: Taking taylor expansion of 1/3 in a
9.339 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in a
9.339 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in a
9.339 * [taylor]: Taking taylor expansion of (pow x 2) in a
9.339 * [taylor]: Taking taylor expansion of x in a
9.339 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in a
9.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in a
9.339 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in a
9.339 * [taylor]: Taking taylor expansion of 1/3 in a
9.339 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in a
9.339 * [taylor]: Taking taylor expansion of (/ 1 x) in a
9.339 * [taylor]: Taking taylor expansion of x in a
9.339 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in a
9.339 * [taylor]: Taking taylor expansion of -1 in a
9.340 * [taylor]: Taking taylor expansion of (* z y) in a
9.340 * [taylor]: Taking taylor expansion of z in a
9.340 * [taylor]: Taking taylor expansion of y in a
9.340 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in a
9.340 * [taylor]: Taking taylor expansion of (/ 1 t) in a
9.340 * [taylor]: Taking taylor expansion of t in a
9.340 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
9.340 * [taylor]: Taking taylor expansion of (* a z) in a
9.340 * [taylor]: Taking taylor expansion of a in a
9.340 * [taylor]: Taking taylor expansion of z in a
9.341 * [taylor]: Taking taylor expansion of (/ (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (/ -1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in t
9.341 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (/ -1 (* z y))) in t
9.341 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) (/ -1 (* z y)))
9.341 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) in t
9.341 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in t
9.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in t
9.341 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in t
9.341 * [taylor]: Taking taylor expansion of 1/3 in t
9.341 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in t
9.341 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in t
9.341 * [taylor]: Taking taylor expansion of (pow x 2) in t
9.341 * [taylor]: Taking taylor expansion of x in t
9.341 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in t
9.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in t
9.341 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in t
9.341 * [taylor]: Taking taylor expansion of 1/3 in t
9.341 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in t
9.341 * [taylor]: Taking taylor expansion of (/ 1 x) in t
9.341 * [taylor]: Taking taylor expansion of x in t
9.342 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in t
9.342 * [taylor]: Taking taylor expansion of -1 in t
9.342 * [taylor]: Taking taylor expansion of (* z y) in t
9.342 * [taylor]: Taking taylor expansion of z in t
9.342 * [taylor]: Taking taylor expansion of y in t
9.342 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in t
9.342 * [taylor]: Taking taylor expansion of (/ 1 t) in t
9.342 * [taylor]: Taking taylor expansion of t in t
9.342 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
9.342 * [taylor]: Taking taylor expansion of (* a z) in t
9.342 * [taylor]: Taking taylor expansion of a in t
9.342 * [taylor]: Taking taylor expansion of z in t
9.343 * [taylor]: Taking taylor expansion of (/ (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (/ -1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in y
9.343 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (/ -1 (* z y))) in y
9.343 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) (/ -1 (* z y)))
9.343 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) in y
9.343 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
9.343 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
9.343 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
9.343 * [taylor]: Taking taylor expansion of 1/3 in y
9.343 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
9.343 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
9.343 * [taylor]: Taking taylor expansion of (pow x 2) in y
9.343 * [taylor]: Taking taylor expansion of x in y
9.344 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y
9.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y
9.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y
9.344 * [taylor]: Taking taylor expansion of 1/3 in y
9.344 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
9.344 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.344 * [taylor]: Taking taylor expansion of x in y
9.344 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in y
9.344 * [taylor]: Taking taylor expansion of -1 in y
9.344 * [taylor]: Taking taylor expansion of (* z y) in y
9.344 * [taylor]: Taking taylor expansion of z in y
9.344 * [taylor]: Taking taylor expansion of y in y
9.345 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
9.345 * [taylor]: Taking taylor expansion of (/ 1 t) in y
9.345 * [taylor]: Taking taylor expansion of t in y
9.345 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
9.345 * [taylor]: Taking taylor expansion of (* a z) in y
9.345 * [taylor]: Taking taylor expansion of a in y
9.345 * [taylor]: Taking taylor expansion of z in y
9.345 * [taylor]: Taking taylor expansion of (/ (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (/ -1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in z
9.345 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (/ -1 (* z y))) in z
9.345 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) (/ -1 (* z y)))
9.345 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) in z
9.345 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in z
9.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in z
9.345 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in z
9.345 * [taylor]: Taking taylor expansion of 1/3 in z
9.345 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z
9.345 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
9.345 * [taylor]: Taking taylor expansion of (pow x 2) in z
9.345 * [taylor]: Taking taylor expansion of x in z
9.346 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z
9.346 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z
9.346 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z
9.346 * [taylor]: Taking taylor expansion of 1/3 in z
9.346 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z
9.346 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.346 * [taylor]: Taking taylor expansion of x in z
9.346 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in z
9.346 * [taylor]: Taking taylor expansion of -1 in z
9.346 * [taylor]: Taking taylor expansion of (* z y) in z
9.346 * [taylor]: Taking taylor expansion of z in z
9.346 * [taylor]: Taking taylor expansion of y in z
9.346 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
9.347 * [taylor]: Taking taylor expansion of (/ 1 t) in z
9.347 * [taylor]: Taking taylor expansion of t in z
9.347 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
9.347 * [taylor]: Taking taylor expansion of (* a z) in z
9.347 * [taylor]: Taking taylor expansion of a in z
9.347 * [taylor]: Taking taylor expansion of z in z
9.347 * [taylor]: Taking taylor expansion of (/ (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (/ -1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in x
9.347 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (/ -1 (* z y))) in x
9.347 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) (/ -1 (* z y)))
9.347 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) in x
9.347 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
9.347 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
9.347 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
9.347 * [taylor]: Taking taylor expansion of 1/3 in x
9.347 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
9.347 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.348 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.348 * [taylor]: Taking taylor expansion of x in x
9.349 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
9.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
9.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
9.349 * [taylor]: Taking taylor expansion of 1/3 in x
9.349 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.349 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.349 * [taylor]: Taking taylor expansion of x in x
9.350 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in x
9.350 * [taylor]: Taking taylor expansion of -1 in x
9.350 * [taylor]: Taking taylor expansion of (* z y) in x
9.350 * [taylor]: Taking taylor expansion of z in x
9.350 * [taylor]: Taking taylor expansion of y in x
9.350 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in x
9.350 * [taylor]: Taking taylor expansion of (/ 1 t) in x
9.350 * [taylor]: Taking taylor expansion of t in x
9.350 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
9.350 * [taylor]: Taking taylor expansion of (* a z) in x
9.350 * [taylor]: Taking taylor expansion of a in x
9.350 * [taylor]: Taking taylor expansion of z in x
9.351 * [taylor]: Taking taylor expansion of (/ (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (/ -1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in x
9.351 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3) (/ -1 (* z y))) in x
9.351 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) (/ -1 (* z y)))
9.351 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (/ 1 x) 1/3)) in x
9.351 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
9.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
9.351 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
9.351 * [taylor]: Taking taylor expansion of 1/3 in x
9.351 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
9.351 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.351 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.351 * [taylor]: Taking taylor expansion of x in x
9.352 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
9.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
9.353 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
9.353 * [taylor]: Taking taylor expansion of 1/3 in x
9.353 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.353 * [taylor]: Taking taylor expansion of x in x
9.354 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in x
9.354 * [taylor]: Taking taylor expansion of -1 in x
9.354 * [taylor]: Taking taylor expansion of (* z y) in x
9.354 * [taylor]: Taking taylor expansion of z in x
9.354 * [taylor]: Taking taylor expansion of y in x
9.354 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in x
9.354 * [taylor]: Taking taylor expansion of (/ 1 t) in x
9.354 * [taylor]: Taking taylor expansion of t in x
9.354 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
9.354 * [taylor]: Taking taylor expansion of (* a z) in x
9.354 * [taylor]: Taking taylor expansion of a in x
9.354 * [taylor]: Taking taylor expansion of z in x
9.354 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in z
9.355 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in z
9.355 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.355 * [taylor]: Taking taylor expansion of x in z
9.355 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
9.355 * [taylor]: Taking taylor expansion of (* z y) in z
9.355 * [taylor]: Taking taylor expansion of z in z
9.355 * [taylor]: Taking taylor expansion of y in z
9.355 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
9.355 * [taylor]: Taking taylor expansion of (/ 1 t) in z
9.355 * [taylor]: Taking taylor expansion of t in z
9.355 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
9.355 * [taylor]: Taking taylor expansion of (* a z) in z
9.355 * [taylor]: Taking taylor expansion of a in z
9.355 * [taylor]: Taking taylor expansion of z in z
9.356 * [taylor]: Taking taylor expansion of (/ a y) in y
9.356 * [taylor]: Taking taylor expansion of a in y
9.356 * [taylor]: Taking taylor expansion of y in y
9.356 * [taylor]: Taking taylor expansion of a in t
9.356 * [taylor]: Taking taylor expansion of 0 in a
9.363 * [taylor]: Taking taylor expansion of 0 in z
9.363 * [taylor]: Taking taylor expansion of 0 in y
9.366 * [taylor]: Taking taylor expansion of (- (/ (pow a 2) (* y t)) (/ a x)) in y
9.366 * [taylor]: Taking taylor expansion of (/ (pow a 2) (* y t)) in y
9.366 * [taylor]: Taking taylor expansion of (pow a 2) in y
9.366 * [taylor]: Taking taylor expansion of a in y
9.366 * [taylor]: Taking taylor expansion of (* y t) in y
9.366 * [taylor]: Taking taylor expansion of y in y
9.366 * [taylor]: Taking taylor expansion of t in y
9.366 * [taylor]: Taking taylor expansion of (/ a x) in y
9.366 * [taylor]: Taking taylor expansion of a in y
9.366 * [taylor]: Taking taylor expansion of x in y
9.366 * [taylor]: Taking taylor expansion of (/ (pow a 2) t) in t
9.366 * [taylor]: Taking taylor expansion of (pow a 2) in t
9.367 * [taylor]: Taking taylor expansion of a in t
9.367 * [taylor]: Taking taylor expansion of t in t
9.369 * [taylor]: Taking taylor expansion of 0 in a
9.369 * [taylor]: Taking taylor expansion of 0 in t
9.369 * [taylor]: Taking taylor expansion of 0 in a
9.369 * [taylor]: Taking taylor expansion of 0 in a
9.381 * [taylor]: Taking taylor expansion of 0 in z
9.381 * [taylor]: Taking taylor expansion of 0 in y
9.381 * [taylor]: Taking taylor expansion of 0 in y
9.389 * [taylor]: Taking taylor expansion of (- (/ (pow a 3) (* y (pow t 2))) (/ (pow a 2) (* x t))) in y
9.389 * [taylor]: Taking taylor expansion of (/ (pow a 3) (* y (pow t 2))) in y
9.389 * [taylor]: Taking taylor expansion of (pow a 3) in y
9.389 * [taylor]: Taking taylor expansion of a in y
9.389 * [taylor]: Taking taylor expansion of (* y (pow t 2)) in y
9.389 * [taylor]: Taking taylor expansion of y in y
9.389 * [taylor]: Taking taylor expansion of (pow t 2) in y
9.389 * [taylor]: Taking taylor expansion of t in y
9.390 * [taylor]: Taking taylor expansion of (/ (pow a 2) (* x t)) in y
9.390 * [taylor]: Taking taylor expansion of (pow a 2) in y
9.390 * [taylor]: Taking taylor expansion of a in y
9.390 * [taylor]: Taking taylor expansion of (* x t) in y
9.390 * [taylor]: Taking taylor expansion of x in y
9.390 * [taylor]: Taking taylor expansion of t in y
9.391 * [taylor]: Taking taylor expansion of (/ (pow a 3) (pow t 2)) in t
9.391 * [taylor]: Taking taylor expansion of (pow a 3) in t
9.391 * [taylor]: Taking taylor expansion of a in t
9.391 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.391 * [taylor]: Taking taylor expansion of t in t
9.398 * [taylor]: Taking taylor expansion of 0 in a
9.399 * [approximate]: Taking taylor expansion of (* -1 (/ (fma (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3)) (/ -1 (* z y))) (+ (/ 1 t) (/ 1 (* a z))))) in (x z y t a) around 0
9.399 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3)) (/ -1 (* z y))) (+ (/ 1 t) (/ 1 (* a z))))) in a
9.399 * [taylor]: Taking taylor expansion of -1 in a
9.399 * [taylor]: Taking taylor expansion of (/ (fma (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3)) (/ -1 (* z y))) (+ (/ 1 t) (/ 1 (* a z)))) in a
9.399 * [taylor]: Taking taylor expansion of (fma (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3)) (/ -1 (* z y))) in a
9.399 * [taylor]: Rewrote expression to (+ (* (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3))) (/ -1 (* z y)))
9.399 * [taylor]: Taking taylor expansion of (* (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3))) in a
9.399 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in a
9.399 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a
9.399 * [taylor]: Taking taylor expansion of (cbrt -1) in a
9.399 * [taylor]: Taking taylor expansion of -1 in a
9.400 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in a
9.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in a
9.400 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in a
9.400 * [taylor]: Taking taylor expansion of 1/3 in a
9.400 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in a
9.400 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in a
9.400 * [taylor]: Taking taylor expansion of (pow x 2) in a
9.400 * [taylor]: Taking taylor expansion of x in a
9.401 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in a
9.401 * [taylor]: Taking taylor expansion of (cbrt -1) in a
9.401 * [taylor]: Taking taylor expansion of -1 in a
9.401 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in a
9.401 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in a
9.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in a
9.402 * [taylor]: Taking taylor expansion of 1/3 in a
9.402 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in a
9.402 * [taylor]: Taking taylor expansion of (/ 1 x) in a
9.402 * [taylor]: Taking taylor expansion of x in a
9.402 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in a
9.402 * [taylor]: Taking taylor expansion of -1 in a
9.402 * [taylor]: Taking taylor expansion of (* z y) in a
9.402 * [taylor]: Taking taylor expansion of z in a
9.402 * [taylor]: Taking taylor expansion of y in a
9.402 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in a
9.402 * [taylor]: Taking taylor expansion of (/ 1 t) in a
9.402 * [taylor]: Taking taylor expansion of t in a
9.402 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
9.402 * [taylor]: Taking taylor expansion of (* a z) in a
9.402 * [taylor]: Taking taylor expansion of a in a
9.402 * [taylor]: Taking taylor expansion of z in a
9.407 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3)) (/ -1 (* z y))) (+ (/ 1 t) (/ 1 (* a z))))) in t
9.407 * [taylor]: Taking taylor expansion of -1 in t
9.407 * [taylor]: Taking taylor expansion of (/ (fma (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3)) (/ -1 (* z y))) (+ (/ 1 t) (/ 1 (* a z)))) in t
9.407 * [taylor]: Taking taylor expansion of (fma (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3)) (/ -1 (* z y))) in t
9.407 * [taylor]: Rewrote expression to (+ (* (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3))) (/ -1 (* z y)))
9.407 * [taylor]: Taking taylor expansion of (* (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3))) in t
9.407 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in t
9.407 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t
9.407 * [taylor]: Taking taylor expansion of (cbrt -1) in t
9.407 * [taylor]: Taking taylor expansion of -1 in t
9.408 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in t
9.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in t
9.408 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in t
9.408 * [taylor]: Taking taylor expansion of 1/3 in t
9.408 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in t
9.408 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in t
9.408 * [taylor]: Taking taylor expansion of (pow x 2) in t
9.408 * [taylor]: Taking taylor expansion of x in t
9.409 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in t
9.409 * [taylor]: Taking taylor expansion of (cbrt -1) in t
9.409 * [taylor]: Taking taylor expansion of -1 in t
9.409 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in t
9.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in t
9.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in t
9.410 * [taylor]: Taking taylor expansion of 1/3 in t
9.410 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in t
9.410 * [taylor]: Taking taylor expansion of (/ 1 x) in t
9.410 * [taylor]: Taking taylor expansion of x in t
9.410 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in t
9.410 * [taylor]: Taking taylor expansion of -1 in t
9.410 * [taylor]: Taking taylor expansion of (* z y) in t
9.410 * [taylor]: Taking taylor expansion of z in t
9.410 * [taylor]: Taking taylor expansion of y in t
9.410 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in t
9.410 * [taylor]: Taking taylor expansion of (/ 1 t) in t
9.410 * [taylor]: Taking taylor expansion of t in t
9.410 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
9.410 * [taylor]: Taking taylor expansion of (* a z) in t
9.410 * [taylor]: Taking taylor expansion of a in t
9.410 * [taylor]: Taking taylor expansion of z in t
9.415 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3)) (/ -1 (* z y))) (+ (/ 1 t) (/ 1 (* a z))))) in y
9.415 * [taylor]: Taking taylor expansion of -1 in y
9.415 * [taylor]: Taking taylor expansion of (/ (fma (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3)) (/ -1 (* z y))) (+ (/ 1 t) (/ 1 (* a z)))) in y
9.415 * [taylor]: Taking taylor expansion of (fma (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3)) (/ -1 (* z y))) in y
9.415 * [taylor]: Rewrote expression to (+ (* (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3))) (/ -1 (* z y)))
9.415 * [taylor]: Taking taylor expansion of (* (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3))) in y
9.415 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in y
9.415 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
9.415 * [taylor]: Taking taylor expansion of (cbrt -1) in y
9.415 * [taylor]: Taking taylor expansion of -1 in y
9.416 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
9.416 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
9.416 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
9.416 * [taylor]: Taking taylor expansion of 1/3 in y
9.416 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
9.416 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
9.416 * [taylor]: Taking taylor expansion of (pow x 2) in y
9.416 * [taylor]: Taking taylor expansion of x in y
9.417 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in y
9.417 * [taylor]: Taking taylor expansion of (cbrt -1) in y
9.417 * [taylor]: Taking taylor expansion of -1 in y
9.418 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y
9.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y
9.418 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y
9.418 * [taylor]: Taking taylor expansion of 1/3 in y
9.418 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
9.418 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.418 * [taylor]: Taking taylor expansion of x in y
9.418 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in y
9.418 * [taylor]: Taking taylor expansion of -1 in y
9.418 * [taylor]: Taking taylor expansion of (* z y) in y
9.418 * [taylor]: Taking taylor expansion of z in y
9.418 * [taylor]: Taking taylor expansion of y in y
9.418 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
9.418 * [taylor]: Taking taylor expansion of (/ 1 t) in y
9.418 * [taylor]: Taking taylor expansion of t in y
9.419 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
9.419 * [taylor]: Taking taylor expansion of (* a z) in y
9.419 * [taylor]: Taking taylor expansion of a in y
9.419 * [taylor]: Taking taylor expansion of z in y
9.419 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3)) (/ -1 (* z y))) (+ (/ 1 t) (/ 1 (* a z))))) in z
9.419 * [taylor]: Taking taylor expansion of -1 in z
9.419 * [taylor]: Taking taylor expansion of (/ (fma (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3)) (/ -1 (* z y))) (+ (/ 1 t) (/ 1 (* a z)))) in z
9.419 * [taylor]: Taking taylor expansion of (fma (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3)) (/ -1 (* z y))) in z
9.419 * [taylor]: Rewrote expression to (+ (* (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3))) (/ -1 (* z y)))
9.419 * [taylor]: Taking taylor expansion of (* (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3))) in z
9.419 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in z
9.419 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
9.419 * [taylor]: Taking taylor expansion of (cbrt -1) in z
9.419 * [taylor]: Taking taylor expansion of -1 in z
9.420 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in z
9.420 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in z
9.420 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in z
9.420 * [taylor]: Taking taylor expansion of 1/3 in z
9.420 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z
9.420 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
9.420 * [taylor]: Taking taylor expansion of (pow x 2) in z
9.420 * [taylor]: Taking taylor expansion of x in z
9.421 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in z
9.421 * [taylor]: Taking taylor expansion of (cbrt -1) in z
9.421 * [taylor]: Taking taylor expansion of -1 in z
9.422 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z
9.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z
9.422 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z
9.422 * [taylor]: Taking taylor expansion of 1/3 in z
9.422 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z
9.422 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.422 * [taylor]: Taking taylor expansion of x in z
9.422 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in z
9.422 * [taylor]: Taking taylor expansion of -1 in z
9.422 * [taylor]: Taking taylor expansion of (* z y) in z
9.422 * [taylor]: Taking taylor expansion of z in z
9.422 * [taylor]: Taking taylor expansion of y in z
9.422 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
9.422 * [taylor]: Taking taylor expansion of (/ 1 t) in z
9.422 * [taylor]: Taking taylor expansion of t in z
9.422 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
9.422 * [taylor]: Taking taylor expansion of (* a z) in z
9.422 * [taylor]: Taking taylor expansion of a in z
9.422 * [taylor]: Taking taylor expansion of z in z
9.423 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3)) (/ -1 (* z y))) (+ (/ 1 t) (/ 1 (* a z))))) in x
9.423 * [taylor]: Taking taylor expansion of -1 in x
9.423 * [taylor]: Taking taylor expansion of (/ (fma (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3)) (/ -1 (* z y))) (+ (/ 1 t) (/ 1 (* a z)))) in x
9.423 * [taylor]: Taking taylor expansion of (fma (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3)) (/ -1 (* z y))) in x
9.423 * [taylor]: Rewrote expression to (+ (* (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3))) (/ -1 (* z y)))
9.423 * [taylor]: Taking taylor expansion of (* (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
9.423 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
9.423 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
9.423 * [taylor]: Taking taylor expansion of (cbrt -1) in x
9.423 * [taylor]: Taking taylor expansion of -1 in x
9.424 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
9.424 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
9.424 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
9.424 * [taylor]: Taking taylor expansion of 1/3 in x
9.424 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
9.424 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.424 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.424 * [taylor]: Taking taylor expansion of x in x
9.426 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
9.426 * [taylor]: Taking taylor expansion of (cbrt -1) in x
9.426 * [taylor]: Taking taylor expansion of -1 in x
9.426 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
9.426 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
9.426 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
9.426 * [taylor]: Taking taylor expansion of 1/3 in x
9.426 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.426 * [taylor]: Taking taylor expansion of x in x
9.427 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in x
9.427 * [taylor]: Taking taylor expansion of -1 in x
9.428 * [taylor]: Taking taylor expansion of (* z y) in x
9.428 * [taylor]: Taking taylor expansion of z in x
9.428 * [taylor]: Taking taylor expansion of y in x
9.428 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in x
9.428 * [taylor]: Taking taylor expansion of (/ 1 t) in x
9.428 * [taylor]: Taking taylor expansion of t in x
9.428 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
9.428 * [taylor]: Taking taylor expansion of (* a z) in x
9.428 * [taylor]: Taking taylor expansion of a in x
9.428 * [taylor]: Taking taylor expansion of z in x
9.432 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3)) (/ -1 (* z y))) (+ (/ 1 t) (/ 1 (* a z))))) in x
9.432 * [taylor]: Taking taylor expansion of -1 in x
9.433 * [taylor]: Taking taylor expansion of (/ (fma (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3)) (/ -1 (* z y))) (+ (/ 1 t) (/ 1 (* a z)))) in x
9.433 * [taylor]: Taking taylor expansion of (fma (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3)) (/ -1 (* z y))) in x
9.433 * [taylor]: Rewrote expression to (+ (* (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3))) (/ -1 (* z y)))
9.433 * [taylor]: Taking taylor expansion of (* (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
9.433 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
9.433 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
9.433 * [taylor]: Taking taylor expansion of (cbrt -1) in x
9.433 * [taylor]: Taking taylor expansion of -1 in x
9.434 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
9.434 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
9.434 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
9.434 * [taylor]: Taking taylor expansion of 1/3 in x
9.434 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
9.434 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.434 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.434 * [taylor]: Taking taylor expansion of x in x
9.435 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
9.435 * [taylor]: Taking taylor expansion of (cbrt -1) in x
9.435 * [taylor]: Taking taylor expansion of -1 in x
9.436 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
9.436 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
9.436 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
9.436 * [taylor]: Taking taylor expansion of 1/3 in x
9.436 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.436 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.436 * [taylor]: Taking taylor expansion of x in x
9.437 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in x
9.437 * [taylor]: Taking taylor expansion of -1 in x
9.437 * [taylor]: Taking taylor expansion of (* z y) in x
9.437 * [taylor]: Taking taylor expansion of z in x
9.437 * [taylor]: Taking taylor expansion of y in x
9.437 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in x
9.437 * [taylor]: Taking taylor expansion of (/ 1 t) in x
9.437 * [taylor]: Taking taylor expansion of t in x
9.437 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
9.437 * [taylor]: Taking taylor expansion of (* a z) in x
9.437 * [taylor]: Taking taylor expansion of a in x
9.437 * [taylor]: Taking taylor expansion of z in x
9.442 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in z
9.443 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
9.443 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
9.443 * [taylor]: Taking taylor expansion of (* z y) in z
9.443 * [taylor]: Taking taylor expansion of z in z
9.443 * [taylor]: Taking taylor expansion of y in z
9.443 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.443 * [taylor]: Taking taylor expansion of x in z
9.443 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
9.443 * [taylor]: Taking taylor expansion of (/ 1 t) in z
9.443 * [taylor]: Taking taylor expansion of t in z
9.443 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
9.443 * [taylor]: Taking taylor expansion of (* a z) in z
9.443 * [taylor]: Taking taylor expansion of a in z
9.443 * [taylor]: Taking taylor expansion of z in z
9.444 * [taylor]: Taking taylor expansion of (/ a y) in y
9.444 * [taylor]: Taking taylor expansion of a in y
9.444 * [taylor]: Taking taylor expansion of y in y
9.444 * [taylor]: Taking taylor expansion of a in t
9.444 * [taylor]: Taking taylor expansion of 0 in a
9.454 * [taylor]: Taking taylor expansion of 0 in z
9.454 * [taylor]: Taking taylor expansion of 0 in y
9.456 * [taylor]: Taking taylor expansion of (- (/ a x) (/ (pow a 2) (* y t))) in y
9.456 * [taylor]: Taking taylor expansion of (/ a x) in y
9.456 * [taylor]: Taking taylor expansion of a in y
9.456 * [taylor]: Taking taylor expansion of x in y
9.456 * [taylor]: Taking taylor expansion of (/ (pow a 2) (* y t)) in y
9.456 * [taylor]: Taking taylor expansion of (pow a 2) in y
9.456 * [taylor]: Taking taylor expansion of a in y
9.456 * [taylor]: Taking taylor expansion of (* y t) in y
9.456 * [taylor]: Taking taylor expansion of y in y
9.456 * [taylor]: Taking taylor expansion of t in y
9.457 * [taylor]: Taking taylor expansion of (- (/ (pow a 2) t)) in t
9.457 * [taylor]: Taking taylor expansion of (/ (pow a 2) t) in t
9.457 * [taylor]: Taking taylor expansion of (pow a 2) in t
9.457 * [taylor]: Taking taylor expansion of a in t
9.457 * [taylor]: Taking taylor expansion of t in t
9.459 * [taylor]: Taking taylor expansion of 0 in a
9.460 * [taylor]: Taking taylor expansion of 0 in t
9.460 * [taylor]: Taking taylor expansion of 0 in a
9.460 * [taylor]: Taking taylor expansion of 0 in a
9.477 * [taylor]: Taking taylor expansion of 0 in z
9.477 * [taylor]: Taking taylor expansion of 0 in y
9.477 * [taylor]: Taking taylor expansion of 0 in y
9.480 * [taylor]: Taking taylor expansion of (- (/ (pow a 3) (* y (pow t 2))) (/ (pow a 2) (* x t))) in y
9.480 * [taylor]: Taking taylor expansion of (/ (pow a 3) (* y (pow t 2))) in y
9.480 * [taylor]: Taking taylor expansion of (pow a 3) in y
9.480 * [taylor]: Taking taylor expansion of a in y
9.480 * [taylor]: Taking taylor expansion of (* y (pow t 2)) in y
9.480 * [taylor]: Taking taylor expansion of y in y
9.480 * [taylor]: Taking taylor expansion of (pow t 2) in y
9.480 * [taylor]: Taking taylor expansion of t in y
9.481 * [taylor]: Taking taylor expansion of (/ (pow a 2) (* x t)) in y
9.481 * [taylor]: Taking taylor expansion of (pow a 2) in y
9.481 * [taylor]: Taking taylor expansion of a in y
9.481 * [taylor]: Taking taylor expansion of (* x t) in y
9.481 * [taylor]: Taking taylor expansion of x in y
9.481 * [taylor]: Taking taylor expansion of t in y
9.482 * [taylor]: Taking taylor expansion of (/ (pow a 3) (pow t 2)) in t
9.482 * [taylor]: Taking taylor expansion of (pow a 3) in t
9.482 * [taylor]: Taking taylor expansion of a in t
9.482 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.482 * [taylor]: Taking taylor expansion of t in t
9.493 * [taylor]: Taking taylor expansion of 0 in a
9.493 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
9.493 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
9.494 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
9.494 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
9.494 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
9.494 * [taylor]: Taking taylor expansion of 1/3 in x
9.494 * [taylor]: Taking taylor expansion of (log x) in x
9.494 * [taylor]: Taking taylor expansion of x in x
9.494 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
9.494 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
9.494 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
9.494 * [taylor]: Taking taylor expansion of 1/3 in x
9.494 * [taylor]: Taking taylor expansion of (log x) in x
9.494 * [taylor]: Taking taylor expansion of x in x
9.549 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
9.549 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
9.549 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
9.549 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
9.549 * [taylor]: Taking taylor expansion of 1/3 in x
9.549 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.549 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.549 * [taylor]: Taking taylor expansion of x in x
9.550 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
9.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
9.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
9.550 * [taylor]: Taking taylor expansion of 1/3 in x
9.550 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.550 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.550 * [taylor]: Taking taylor expansion of x in x
9.611 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
9.611 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
9.611 * [taylor]: Taking taylor expansion of (cbrt -1) in x
9.611 * [taylor]: Taking taylor expansion of -1 in x
9.612 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
9.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
9.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
9.612 * [taylor]: Taking taylor expansion of 1/3 in x
9.612 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.612 * [taylor]: Taking taylor expansion of x in x
9.614 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
9.614 * [taylor]: Taking taylor expansion of (cbrt -1) in x
9.614 * [taylor]: Taking taylor expansion of -1 in x
9.614 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
9.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
9.615 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
9.615 * [taylor]: Taking taylor expansion of 1/3 in x
9.615 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.615 * [taylor]: Taking taylor expansion of x in x
9.688 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
9.689 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
9.689 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
9.689 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
9.689 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
9.689 * [taylor]: Taking taylor expansion of 1/3 in x
9.689 * [taylor]: Taking taylor expansion of (log x) in x
9.689 * [taylor]: Taking taylor expansion of x in x
9.690 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
9.690 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
9.690 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
9.690 * [taylor]: Taking taylor expansion of 1/3 in x
9.690 * [taylor]: Taking taylor expansion of (log x) in x
9.690 * [taylor]: Taking taylor expansion of x in x
9.747 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
9.747 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
9.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
9.747 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
9.747 * [taylor]: Taking taylor expansion of 1/3 in x
9.747 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.747 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.747 * [taylor]: Taking taylor expansion of x in x
9.748 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
9.748 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
9.748 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
9.748 * [taylor]: Taking taylor expansion of 1/3 in x
9.748 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.748 * [taylor]: Taking taylor expansion of x in x
9.806 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
9.806 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
9.806 * [taylor]: Taking taylor expansion of (cbrt -1) in x
9.806 * [taylor]: Taking taylor expansion of -1 in x
9.807 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
9.807 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
9.807 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
9.807 * [taylor]: Taking taylor expansion of 1/3 in x
9.807 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.807 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.807 * [taylor]: Taking taylor expansion of x in x
9.808 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
9.808 * [taylor]: Taking taylor expansion of (cbrt -1) in x
9.808 * [taylor]: Taking taylor expansion of -1 in x
9.809 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
9.809 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
9.809 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
9.809 * [taylor]: Taking taylor expansion of 1/3 in x
9.809 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.809 * [taylor]: Taking taylor expansion of x in x
9.885 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
9.886 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
9.886 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
9.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
9.886 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
9.886 * [taylor]: Taking taylor expansion of 1/3 in x
9.886 * [taylor]: Taking taylor expansion of (log x) in x
9.886 * [taylor]: Taking taylor expansion of x in x
9.886 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
9.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
9.886 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
9.886 * [taylor]: Taking taylor expansion of 1/3 in x
9.886 * [taylor]: Taking taylor expansion of (log x) in x
9.886 * [taylor]: Taking taylor expansion of x in x
9.945 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
9.945 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
9.945 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
9.945 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
9.945 * [taylor]: Taking taylor expansion of 1/3 in x
9.945 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.945 * [taylor]: Taking taylor expansion of x in x
9.946 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
9.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
9.946 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
9.946 * [taylor]: Taking taylor expansion of 1/3 in x
9.946 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
9.946 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.946 * [taylor]: Taking taylor expansion of x in x
10.008 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
10.008 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
10.008 * [taylor]: Taking taylor expansion of (cbrt -1) in x
10.008 * [taylor]: Taking taylor expansion of -1 in x
10.009 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
10.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
10.010 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
10.010 * [taylor]: Taking taylor expansion of 1/3 in x
10.010 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.010 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.010 * [taylor]: Taking taylor expansion of x in x
10.011 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
10.011 * [taylor]: Taking taylor expansion of (cbrt -1) in x
10.011 * [taylor]: Taking taylor expansion of -1 in x
10.011 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
10.012 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
10.012 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
10.012 * [taylor]: Taking taylor expansion of 1/3 in x
10.012 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.012 * [taylor]: Taking taylor expansion of x in x
10.086 * * * [progress]: simplifying candidates
10.087 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- t (* a z))))
  (log1p (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- t (* a z))))
  (- (log (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y)))) (log (- t (* a z))))
  (log (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- t (* a z))))
  (exp (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- t (* a z))))
  (/ (* (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y)))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y)))) (* (* (- t (* a z)) (- t (* a z))) (- t (* a z))))
  (* (cbrt (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- t (* a z)))) (cbrt (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- t (* a z)))))
  (cbrt (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- t (* a z))))
  (* (* (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- t (* a z))) (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- t (* a z)))) (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- t (* a z))))
  (sqrt (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- t (* a z))))
  (sqrt (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- t (* a z))))
  (- (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))))
  (- (- t (* a z)))
  (/ (* (cbrt (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y)))) (cbrt (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))))) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (cbrt (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y)))) (cbrt (- t (* a z))))
  (/ (* (cbrt (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y)))) (cbrt (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))))) (sqrt (- t (* a z))))
  (/ (cbrt (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y)))) (sqrt (- t (* a z))))
  (/ (* (cbrt (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y)))) (cbrt (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))))) 1)
  (/ (cbrt (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y)))) (- t (* a z)))
  (/ (sqrt (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y)))) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (sqrt (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y)))) (cbrt (- t (* a z))))
  (/ (sqrt (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y)))) (sqrt (- t (* a z))))
  (/ (sqrt (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y)))) (sqrt (- t (* a z))))
  (/ (sqrt (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y)))) 1)
  (/ (sqrt (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y)))) (- t (* a z)))
  (/ 1 (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (cbrt (- t (* a z))))
  (/ 1 (sqrt (- t (* a z))))
  (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (sqrt (- t (* a z))))
  (/ 1 1)
  (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- t (* a z)))
  (/ 1 (- t (* a z)))
  (/ (- t (* a z)) (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))))
  (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (sqrt (- t (* a z))))
  (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) 1)
  (/ (- t (* a z)) (cbrt (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y)))))
  (/ (- t (* a z)) (sqrt (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y)))))
  (/ (- t (* a z)) (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))))
  (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- (pow t 3) (pow (* a z) 3)))
  (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- (* t t) (* (* a z) (* a z))))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  0
  0
  0
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
10.091 * * [simplify]: iteration  0 :  93  enodes  (cost  1091 )
10.106 * * [simplify]: iteration  1 :  187  enodes  (cost  1070 )
10.148 * * [simplify]: iteration  2 :  543  enodes  (cost  820 )
10.294 * * [simplify]: iteration  3 :  1867  enodes  (cost  690 )
10.894 * * [simplify]: iteration  done :  5000  enodes  (cost  688 )
10.894 * [simplify]: Simplified to:
   (expm1 (/ (- x (* z y)) (- t (* a z))))
  (log1p (/ (- x (* z y)) (- t (* a z))))
  (log (/ (- x (* z y)) (- t (* a z))))
  (log (/ (- x (* z y)) (- t (* a z))))
  (exp (/ (- x (* z y)) (- t (* a z))))
  (pow (/ (- x (* z y)) (- t (* a z))) 3)
  (* (cbrt (/ (- x (* z y)) (- t (* a z)))) (cbrt (/ (- x (* z y)) (- t (* a z)))))
  (cbrt (/ (- x (* z y)) (- t (* a z))))
  (pow (/ (- x (* z y)) (- t (* a z))) 3)
  (sqrt (/ (- x (* z y)) (- t (* a z))))
  (sqrt (/ (- x (* z y)) (- t (* a z))))
  (- (* z y) x)
  (- (* a z) t)
  (/ (cbrt (- x (* z y))) (/ (cbrt (- t (* a z))) (/ (cbrt (- x (* z y))) (cbrt (- t (* a z))))))
  (/ (cbrt (- x (* z y))) (cbrt (- t (* a z))))
  (/ (cbrt (- x (* z y))) (/ (sqrt (- t (* a z))) (cbrt (- x (* z y)))))
  (/ (cbrt (- x (* z y))) (sqrt (- t (* a z))))
  (* (cbrt (- x (* z y))) (cbrt (- x (* z y))))
  (/ (cbrt (- x (* z y))) (- t (* a z)))
  (/ (sqrt (- x (* z y))) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (sqrt (- x (* z y))) (cbrt (- t (* a z))))
  (/ (sqrt (- x (* z y))) (sqrt (- t (* a z))))
  (/ (sqrt (- x (* z y))) (sqrt (- t (* a z))))
  (sqrt (- x (* z y)))
  (/ (sqrt (- x (* z y))) (- t (* a z)))
  (/ 1 (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (- x (* z y)) (cbrt (- t (* a z))))
  (/ 1 (sqrt (- t (* a z))))
  (/ (- x (* z y)) (sqrt (- t (* a z))))
  1
  (/ (- x (* z y)) (- t (* a z)))
  (/ 1 (- t (* a z)))
  (/ (- t (* a z)) (- x (* z y)))
  (/ (- x (* z y)) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (- x (* z y)) (sqrt (- t (* a z))))
  (- x (* z y))
  (/ (- t (* a z)) (cbrt (- x (* z y))))
  (/ (- t (* a z)) (sqrt (- x (* z y))))
  (/ (- t (* a z)) (- x (* z y)))
  (/ (- x (* z y)) (- (pow t 3) (pow (* a z) 3)))
  (/ (/ (- x (* z y)) (- t (* a z))) (fma z a t))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  0
  0
  0
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt (- x)) (cbrt -1))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt (- x)) (cbrt -1))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt (- x)) (cbrt -1))
10.895 * * * [progress]: adding candidates to table
11.165 * * [progress]: iteration 4 / 4
11.165 * * * [progress]: picking best candidate
11.184 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/ (- x (* z y)) (- t (* a z))))>
11.184 * * * [progress]: localizing error
11.193 * * * [progress]: generating rewritten candidates
11.193 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
11.202 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
11.206 * * * [progress]: generating series expansions
11.206 * * * * [progress]: [ 1 / 2 ] generating series at (2)
11.206 * [approximate]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in (x z y t a) around 0
11.206 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in a
11.206 * [taylor]: Taking taylor expansion of (- x (* z y)) in a
11.206 * [taylor]: Taking taylor expansion of x in a
11.206 * [taylor]: Taking taylor expansion of (* z y) in a
11.206 * [taylor]: Taking taylor expansion of z in a
11.206 * [taylor]: Taking taylor expansion of y in a
11.206 * [taylor]: Taking taylor expansion of (- t (* a z)) in a
11.206 * [taylor]: Taking taylor expansion of t in a
11.206 * [taylor]: Taking taylor expansion of (* a z) in a
11.206 * [taylor]: Taking taylor expansion of a in a
11.206 * [taylor]: Taking taylor expansion of z in a
11.207 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in t
11.207 * [taylor]: Taking taylor expansion of (- x (* z y)) in t
11.207 * [taylor]: Taking taylor expansion of x in t
11.207 * [taylor]: Taking taylor expansion of (* z y) in t
11.207 * [taylor]: Taking taylor expansion of z in t
11.207 * [taylor]: Taking taylor expansion of y in t
11.207 * [taylor]: Taking taylor expansion of (- t (* a z)) in t
11.207 * [taylor]: Taking taylor expansion of t in t
11.207 * [taylor]: Taking taylor expansion of (* a z) in t
11.207 * [taylor]: Taking taylor expansion of a in t
11.207 * [taylor]: Taking taylor expansion of z in t
11.208 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in y
11.208 * [taylor]: Taking taylor expansion of (- x (* z y)) in y
11.208 * [taylor]: Taking taylor expansion of x in y
11.208 * [taylor]: Taking taylor expansion of (* z y) in y
11.208 * [taylor]: Taking taylor expansion of z in y
11.208 * [taylor]: Taking taylor expansion of y in y
11.208 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
11.208 * [taylor]: Taking taylor expansion of t in y
11.208 * [taylor]: Taking taylor expansion of (* a z) in y
11.208 * [taylor]: Taking taylor expansion of a in y
11.208 * [taylor]: Taking taylor expansion of z in y
11.209 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in z
11.209 * [taylor]: Taking taylor expansion of (- x (* z y)) in z
11.209 * [taylor]: Taking taylor expansion of x in z
11.209 * [taylor]: Taking taylor expansion of (* z y) in z
11.209 * [taylor]: Taking taylor expansion of z in z
11.209 * [taylor]: Taking taylor expansion of y in z
11.209 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
11.209 * [taylor]: Taking taylor expansion of t in z
11.209 * [taylor]: Taking taylor expansion of (* a z) in z
11.209 * [taylor]: Taking taylor expansion of a in z
11.209 * [taylor]: Taking taylor expansion of z in z
11.210 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in x
11.210 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
11.210 * [taylor]: Taking taylor expansion of x in x
11.210 * [taylor]: Taking taylor expansion of (* z y) in x
11.210 * [taylor]: Taking taylor expansion of z in x
11.210 * [taylor]: Taking taylor expansion of y in x
11.210 * [taylor]: Taking taylor expansion of (- t (* a z)) in x
11.210 * [taylor]: Taking taylor expansion of t in x
11.210 * [taylor]: Taking taylor expansion of (* a z) in x
11.210 * [taylor]: Taking taylor expansion of a in x
11.210 * [taylor]: Taking taylor expansion of z in x
11.210 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in x
11.210 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
11.210 * [taylor]: Taking taylor expansion of x in x
11.210 * [taylor]: Taking taylor expansion of (* z y) in x
11.210 * [taylor]: Taking taylor expansion of z in x
11.210 * [taylor]: Taking taylor expansion of y in x
11.210 * [taylor]: Taking taylor expansion of (- t (* a z)) in x
11.210 * [taylor]: Taking taylor expansion of t in x
11.210 * [taylor]: Taking taylor expansion of (* a z) in x
11.210 * [taylor]: Taking taylor expansion of a in x
11.210 * [taylor]: Taking taylor expansion of z in x
11.211 * [taylor]: Taking taylor expansion of (* -1 (/ (* z y) (- t (* a z)))) in z
11.211 * [taylor]: Taking taylor expansion of -1 in z
11.211 * [taylor]: Taking taylor expansion of (/ (* z y) (- t (* a z))) in z
11.211 * [taylor]: Taking taylor expansion of (* z y) in z
11.211 * [taylor]: Taking taylor expansion of z in z
11.211 * [taylor]: Taking taylor expansion of y in z
11.211 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
11.211 * [taylor]: Taking taylor expansion of t in z
11.211 * [taylor]: Taking taylor expansion of (* a z) in z
11.211 * [taylor]: Taking taylor expansion of a in z
11.211 * [taylor]: Taking taylor expansion of z in z
11.213 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in z
11.213 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
11.213 * [taylor]: Taking taylor expansion of t in z
11.213 * [taylor]: Taking taylor expansion of (* a z) in z
11.213 * [taylor]: Taking taylor expansion of a in z
11.213 * [taylor]: Taking taylor expansion of z in z
11.213 * [taylor]: Taking taylor expansion of (/ 1 t) in y
11.213 * [taylor]: Taking taylor expansion of t in y
11.213 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.213 * [taylor]: Taking taylor expansion of t in t
11.214 * [taylor]: Taking taylor expansion of 0 in a
11.214 * [taylor]: Taking taylor expansion of (* -1 (/ y t)) in y
11.214 * [taylor]: Taking taylor expansion of -1 in y
11.214 * [taylor]: Taking taylor expansion of (/ y t) in y
11.214 * [taylor]: Taking taylor expansion of y in y
11.214 * [taylor]: Taking taylor expansion of t in y
11.217 * [taylor]: Taking taylor expansion of 0 in z
11.217 * [taylor]: Taking taylor expansion of 0 in y
11.217 * [taylor]: Taking taylor expansion of 0 in t
11.217 * [taylor]: Taking taylor expansion of 0 in a
11.217 * [taylor]: Taking taylor expansion of (/ a (pow t 2)) in y
11.217 * [taylor]: Taking taylor expansion of a in y
11.217 * [taylor]: Taking taylor expansion of (pow t 2) in y
11.217 * [taylor]: Taking taylor expansion of t in y
11.217 * [taylor]: Taking taylor expansion of (/ a (pow t 2)) in t
11.217 * [taylor]: Taking taylor expansion of a in t
11.217 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.217 * [taylor]: Taking taylor expansion of t in t
11.220 * [taylor]: Taking taylor expansion of 0 in a
11.222 * [taylor]: Taking taylor expansion of (- (/ (* a y) (pow t 2))) in y
11.222 * [taylor]: Taking taylor expansion of (/ (* a y) (pow t 2)) in y
11.222 * [taylor]: Taking taylor expansion of (* a y) in y
11.222 * [taylor]: Taking taylor expansion of a in y
11.222 * [taylor]: Taking taylor expansion of y in y
11.222 * [taylor]: Taking taylor expansion of (pow t 2) in y
11.222 * [taylor]: Taking taylor expansion of t in y
11.222 * [taylor]: Taking taylor expansion of 0 in t
11.222 * [taylor]: Taking taylor expansion of 0 in a
11.222 * [taylor]: Taking taylor expansion of (/ -1 t) in t
11.222 * [taylor]: Taking taylor expansion of -1 in t
11.223 * [taylor]: Taking taylor expansion of t in t
11.223 * [taylor]: Taking taylor expansion of 0 in a
11.224 * [taylor]: Taking taylor expansion of 0 in a
11.224 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in (x z y t a) around 0
11.224 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in a
11.224 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in a
11.225 * [taylor]: Taking taylor expansion of (/ 1 x) in a
11.225 * [taylor]: Taking taylor expansion of x in a
11.225 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
11.225 * [taylor]: Taking taylor expansion of (* z y) in a
11.225 * [taylor]: Taking taylor expansion of z in a
11.225 * [taylor]: Taking taylor expansion of y in a
11.225 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in a
11.225 * [taylor]: Taking taylor expansion of (/ 1 t) in a
11.225 * [taylor]: Taking taylor expansion of t in a
11.225 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
11.225 * [taylor]: Taking taylor expansion of (* a z) in a
11.225 * [taylor]: Taking taylor expansion of a in a
11.225 * [taylor]: Taking taylor expansion of z in a
11.225 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in t
11.226 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in t
11.226 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.226 * [taylor]: Taking taylor expansion of x in t
11.226 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
11.226 * [taylor]: Taking taylor expansion of (* z y) in t
11.226 * [taylor]: Taking taylor expansion of z in t
11.226 * [taylor]: Taking taylor expansion of y in t
11.226 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in t
11.226 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.226 * [taylor]: Taking taylor expansion of t in t
11.226 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
11.226 * [taylor]: Taking taylor expansion of (* a z) in t
11.226 * [taylor]: Taking taylor expansion of a in t
11.226 * [taylor]: Taking taylor expansion of z in t
11.227 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in y
11.227 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in y
11.227 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.227 * [taylor]: Taking taylor expansion of x in y
11.227 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
11.227 * [taylor]: Taking taylor expansion of (* z y) in y
11.227 * [taylor]: Taking taylor expansion of z in y
11.227 * [taylor]: Taking taylor expansion of y in y
11.227 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
11.227 * [taylor]: Taking taylor expansion of (/ 1 t) in y
11.227 * [taylor]: Taking taylor expansion of t in y
11.227 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
11.227 * [taylor]: Taking taylor expansion of (* a z) in y
11.227 * [taylor]: Taking taylor expansion of a in y
11.227 * [taylor]: Taking taylor expansion of z in y
11.228 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in z
11.228 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in z
11.228 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.228 * [taylor]: Taking taylor expansion of x in z
11.228 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
11.228 * [taylor]: Taking taylor expansion of (* z y) in z
11.228 * [taylor]: Taking taylor expansion of z in z
11.228 * [taylor]: Taking taylor expansion of y in z
11.228 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
11.228 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.228 * [taylor]: Taking taylor expansion of t in z
11.228 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
11.228 * [taylor]: Taking taylor expansion of (* a z) in z
11.228 * [taylor]: Taking taylor expansion of a in z
11.228 * [taylor]: Taking taylor expansion of z in z
11.229 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in x
11.229 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
11.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.229 * [taylor]: Taking taylor expansion of x in x
11.229 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
11.229 * [taylor]: Taking taylor expansion of (* z y) in x
11.229 * [taylor]: Taking taylor expansion of z in x
11.229 * [taylor]: Taking taylor expansion of y in x
11.229 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in x
11.229 * [taylor]: Taking taylor expansion of (/ 1 t) in x
11.229 * [taylor]: Taking taylor expansion of t in x
11.230 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
11.230 * [taylor]: Taking taylor expansion of (* a z) in x
11.230 * [taylor]: Taking taylor expansion of a in x
11.230 * [taylor]: Taking taylor expansion of z in x
11.230 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in x
11.230 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
11.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.230 * [taylor]: Taking taylor expansion of x in x
11.231 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
11.231 * [taylor]: Taking taylor expansion of (* z y) in x
11.231 * [taylor]: Taking taylor expansion of z in x
11.231 * [taylor]: Taking taylor expansion of y in x
11.231 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in x
11.231 * [taylor]: Taking taylor expansion of (/ 1 t) in x
11.231 * [taylor]: Taking taylor expansion of t in x
11.231 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
11.231 * [taylor]: Taking taylor expansion of (* a z) in x
11.231 * [taylor]: Taking taylor expansion of a in x
11.231 * [taylor]: Taking taylor expansion of z in x
11.231 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in z
11.232 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
11.232 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.232 * [taylor]: Taking taylor expansion of t in z
11.232 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
11.232 * [taylor]: Taking taylor expansion of (* a z) in z
11.232 * [taylor]: Taking taylor expansion of a in z
11.232 * [taylor]: Taking taylor expansion of z in z
11.234 * [taylor]: Taking taylor expansion of (- (/ 1 (* z (* y (- (/ 1 t) (/ 1 (* a z))))))) in z
11.234 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y (- (/ 1 t) (/ 1 (* a z)))))) in z
11.234 * [taylor]: Taking taylor expansion of (* z (* y (- (/ 1 t) (/ 1 (* a z))))) in z
11.234 * [taylor]: Taking taylor expansion of z in z
11.234 * [taylor]: Taking taylor expansion of (* y (- (/ 1 t) (/ 1 (* a z)))) in z
11.234 * [taylor]: Taking taylor expansion of y in z
11.234 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
11.234 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.234 * [taylor]: Taking taylor expansion of t in z
11.234 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
11.234 * [taylor]: Taking taylor expansion of (* a z) in z
11.234 * [taylor]: Taking taylor expansion of a in z
11.234 * [taylor]: Taking taylor expansion of z in z
11.236 * [taylor]: Taking taylor expansion of (/ a y) in y
11.236 * [taylor]: Taking taylor expansion of a in y
11.236 * [taylor]: Taking taylor expansion of y in y
11.236 * [taylor]: Taking taylor expansion of a in t
11.236 * [taylor]: Taking taylor expansion of 0 in a
11.236 * [taylor]: Taking taylor expansion of (* -1 a) in y
11.236 * [taylor]: Taking taylor expansion of -1 in y
11.236 * [taylor]: Taking taylor expansion of a in y
11.239 * [taylor]: Taking taylor expansion of 0 in z
11.239 * [taylor]: Taking taylor expansion of 0 in y
11.241 * [taylor]: Taking taylor expansion of (/ (pow a 2) (* y t)) in y
11.241 * [taylor]: Taking taylor expansion of (pow a 2) in y
11.241 * [taylor]: Taking taylor expansion of a in y
11.241 * [taylor]: Taking taylor expansion of (* y t) in y
11.241 * [taylor]: Taking taylor expansion of y in y
11.241 * [taylor]: Taking taylor expansion of t in y
11.242 * [taylor]: Taking taylor expansion of (/ (pow a 2) t) in t
11.242 * [taylor]: Taking taylor expansion of (pow a 2) in t
11.242 * [taylor]: Taking taylor expansion of a in t
11.242 * [taylor]: Taking taylor expansion of t in t
11.244 * [taylor]: Taking taylor expansion of 0 in a
11.245 * [taylor]: Taking taylor expansion of (- (/ (pow a 2) t)) in y
11.245 * [taylor]: Taking taylor expansion of (/ (pow a 2) t) in y
11.245 * [taylor]: Taking taylor expansion of (pow a 2) in y
11.246 * [taylor]: Taking taylor expansion of a in y
11.246 * [taylor]: Taking taylor expansion of t in y
11.251 * [taylor]: Taking taylor expansion of 0 in t
11.251 * [taylor]: Taking taylor expansion of 0 in a
11.251 * [taylor]: Taking taylor expansion of (* -1 a) in t
11.251 * [taylor]: Taking taylor expansion of -1 in t
11.251 * [taylor]: Taking taylor expansion of a in t
11.252 * [taylor]: Taking taylor expansion of 0 in a
11.252 * [taylor]: Taking taylor expansion of 0 in a
11.252 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in (x z y t a) around 0
11.252 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in a
11.252 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in a
11.252 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
11.252 * [taylor]: Taking taylor expansion of (* z y) in a
11.252 * [taylor]: Taking taylor expansion of z in a
11.252 * [taylor]: Taking taylor expansion of y in a
11.252 * [taylor]: Taking taylor expansion of (/ 1 x) in a
11.252 * [taylor]: Taking taylor expansion of x in a
11.253 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in a
11.253 * [taylor]: Taking taylor expansion of (/ 1 t) in a
11.253 * [taylor]: Taking taylor expansion of t in a
11.253 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
11.253 * [taylor]: Taking taylor expansion of (* a z) in a
11.253 * [taylor]: Taking taylor expansion of a in a
11.253 * [taylor]: Taking taylor expansion of z in a
11.253 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in t
11.253 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in t
11.253 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
11.253 * [taylor]: Taking taylor expansion of (* z y) in t
11.253 * [taylor]: Taking taylor expansion of z in t
11.253 * [taylor]: Taking taylor expansion of y in t
11.253 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.253 * [taylor]: Taking taylor expansion of x in t
11.253 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in t
11.254 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.254 * [taylor]: Taking taylor expansion of t in t
11.254 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
11.254 * [taylor]: Taking taylor expansion of (* a z) in t
11.254 * [taylor]: Taking taylor expansion of a in t
11.254 * [taylor]: Taking taylor expansion of z in t
11.255 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in y
11.255 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
11.255 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
11.255 * [taylor]: Taking taylor expansion of (* z y) in y
11.255 * [taylor]: Taking taylor expansion of z in y
11.255 * [taylor]: Taking taylor expansion of y in y
11.255 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.255 * [taylor]: Taking taylor expansion of x in y
11.255 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
11.255 * [taylor]: Taking taylor expansion of (/ 1 t) in y
11.255 * [taylor]: Taking taylor expansion of t in y
11.255 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
11.255 * [taylor]: Taking taylor expansion of (* a z) in y
11.255 * [taylor]: Taking taylor expansion of a in y
11.255 * [taylor]: Taking taylor expansion of z in y
11.255 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in z
11.255 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
11.255 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
11.256 * [taylor]: Taking taylor expansion of (* z y) in z
11.256 * [taylor]: Taking taylor expansion of z in z
11.256 * [taylor]: Taking taylor expansion of y in z
11.256 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.256 * [taylor]: Taking taylor expansion of x in z
11.256 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
11.256 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.256 * [taylor]: Taking taylor expansion of t in z
11.256 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
11.256 * [taylor]: Taking taylor expansion of (* a z) in z
11.256 * [taylor]: Taking taylor expansion of a in z
11.256 * [taylor]: Taking taylor expansion of z in z
11.257 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in x
11.257 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
11.257 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
11.257 * [taylor]: Taking taylor expansion of (* z y) in x
11.257 * [taylor]: Taking taylor expansion of z in x
11.257 * [taylor]: Taking taylor expansion of y in x
11.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.257 * [taylor]: Taking taylor expansion of x in x
11.257 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in x
11.257 * [taylor]: Taking taylor expansion of (/ 1 t) in x
11.257 * [taylor]: Taking taylor expansion of t in x
11.257 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
11.257 * [taylor]: Taking taylor expansion of (* a z) in x
11.257 * [taylor]: Taking taylor expansion of a in x
11.257 * [taylor]: Taking taylor expansion of z in x
11.258 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in x
11.258 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
11.258 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
11.258 * [taylor]: Taking taylor expansion of (* z y) in x
11.258 * [taylor]: Taking taylor expansion of z in x
11.258 * [taylor]: Taking taylor expansion of y in x
11.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.258 * [taylor]: Taking taylor expansion of x in x
11.258 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in x
11.258 * [taylor]: Taking taylor expansion of (/ 1 t) in x
11.258 * [taylor]: Taking taylor expansion of t in x
11.258 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
11.258 * [taylor]: Taking taylor expansion of (* a z) in x
11.258 * [taylor]: Taking taylor expansion of a in x
11.258 * [taylor]: Taking taylor expansion of z in x
11.259 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) (/ 1 (* a z)))) in z
11.259 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
11.259 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.259 * [taylor]: Taking taylor expansion of t in z
11.259 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
11.259 * [taylor]: Taking taylor expansion of (* a z) in z
11.259 * [taylor]: Taking taylor expansion of a in z
11.259 * [taylor]: Taking taylor expansion of z in z
11.261 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y (+ (/ 1 t) (/ 1 (* a z)))))) in z
11.261 * [taylor]: Taking taylor expansion of (* z (* y (+ (/ 1 t) (/ 1 (* a z))))) in z
11.261 * [taylor]: Taking taylor expansion of z in z
11.261 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 t) (/ 1 (* a z)))) in z
11.261 * [taylor]: Taking taylor expansion of y in z
11.261 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
11.261 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.261 * [taylor]: Taking taylor expansion of t in z
11.261 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
11.261 * [taylor]: Taking taylor expansion of (* a z) in z
11.261 * [taylor]: Taking taylor expansion of a in z
11.261 * [taylor]: Taking taylor expansion of z in z
11.262 * [taylor]: Taking taylor expansion of (/ a y) in y
11.262 * [taylor]: Taking taylor expansion of a in y
11.262 * [taylor]: Taking taylor expansion of y in y
11.262 * [taylor]: Taking taylor expansion of a in t
11.262 * [taylor]: Taking taylor expansion of 0 in a
11.262 * [taylor]: Taking taylor expansion of a in y
11.265 * [taylor]: Taking taylor expansion of 0 in z
11.265 * [taylor]: Taking taylor expansion of 0 in y
11.266 * [taylor]: Taking taylor expansion of (- (/ (pow a 2) (* y t))) in y
11.267 * [taylor]: Taking taylor expansion of (/ (pow a 2) (* y t)) in y
11.267 * [taylor]: Taking taylor expansion of (pow a 2) in y
11.267 * [taylor]: Taking taylor expansion of a in y
11.267 * [taylor]: Taking taylor expansion of (* y t) in y
11.267 * [taylor]: Taking taylor expansion of y in y
11.267 * [taylor]: Taking taylor expansion of t in y
11.267 * [taylor]: Taking taylor expansion of (- (/ (pow a 2) t)) in t
11.267 * [taylor]: Taking taylor expansion of (/ (pow a 2) t) in t
11.267 * [taylor]: Taking taylor expansion of (pow a 2) in t
11.267 * [taylor]: Taking taylor expansion of a in t
11.267 * [taylor]: Taking taylor expansion of t in t
11.270 * [taylor]: Taking taylor expansion of 0 in a
11.271 * [taylor]: Taking taylor expansion of (- (/ (pow a 2) t)) in y
11.271 * [taylor]: Taking taylor expansion of (/ (pow a 2) t) in y
11.271 * [taylor]: Taking taylor expansion of (pow a 2) in y
11.271 * [taylor]: Taking taylor expansion of a in y
11.271 * [taylor]: Taking taylor expansion of t in y
11.272 * [taylor]: Taking taylor expansion of 0 in t
11.272 * [taylor]: Taking taylor expansion of 0 in a
11.272 * [taylor]: Taking taylor expansion of a in t
11.272 * [taylor]: Taking taylor expansion of 0 in a
11.272 * [taylor]: Taking taylor expansion of 0 in a
11.272 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
11.272 * [approximate]: Taking taylor expansion of (- x (* z y)) in (x z y) around 0
11.272 * [taylor]: Taking taylor expansion of (- x (* z y)) in y
11.272 * [taylor]: Taking taylor expansion of x in y
11.272 * [taylor]: Taking taylor expansion of (* z y) in y
11.272 * [taylor]: Taking taylor expansion of z in y
11.272 * [taylor]: Taking taylor expansion of y in y
11.272 * [taylor]: Taking taylor expansion of (- x (* z y)) in z
11.272 * [taylor]: Taking taylor expansion of x in z
11.272 * [taylor]: Taking taylor expansion of (* z y) in z
11.272 * [taylor]: Taking taylor expansion of z in z
11.272 * [taylor]: Taking taylor expansion of y in z
11.272 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
11.272 * [taylor]: Taking taylor expansion of x in x
11.272 * [taylor]: Taking taylor expansion of (* z y) in x
11.272 * [taylor]: Taking taylor expansion of z in x
11.272 * [taylor]: Taking taylor expansion of y in x
11.272 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
11.272 * [taylor]: Taking taylor expansion of x in x
11.272 * [taylor]: Taking taylor expansion of (* z y) in x
11.272 * [taylor]: Taking taylor expansion of z in x
11.272 * [taylor]: Taking taylor expansion of y in x
11.272 * [taylor]: Taking taylor expansion of (- (* z y)) in z
11.273 * [taylor]: Taking taylor expansion of (* z y) in z
11.273 * [taylor]: Taking taylor expansion of z in z
11.273 * [taylor]: Taking taylor expansion of y in z
11.273 * [taylor]: Taking taylor expansion of 0 in y
11.274 * [taylor]: Taking taylor expansion of 1 in z
11.274 * [taylor]: Taking taylor expansion of 1 in y
11.274 * [taylor]: Taking taylor expansion of (- y) in y
11.274 * [taylor]: Taking taylor expansion of y in y
11.275 * [taylor]: Taking taylor expansion of 0 in z
11.275 * [taylor]: Taking taylor expansion of 0 in y
11.275 * [taylor]: Taking taylor expansion of 0 in y
11.276 * [taylor]: Taking taylor expansion of 0 in y
11.276 * [approximate]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in (x z y) around 0
11.276 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in y
11.277 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.277 * [taylor]: Taking taylor expansion of x in y
11.277 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
11.277 * [taylor]: Taking taylor expansion of (* z y) in y
11.277 * [taylor]: Taking taylor expansion of z in y
11.277 * [taylor]: Taking taylor expansion of y in y
11.277 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in z
11.277 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.277 * [taylor]: Taking taylor expansion of x in z
11.277 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
11.277 * [taylor]: Taking taylor expansion of (* z y) in z
11.277 * [taylor]: Taking taylor expansion of z in z
11.277 * [taylor]: Taking taylor expansion of y in z
11.277 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
11.277 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.278 * [taylor]: Taking taylor expansion of x in x
11.278 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
11.278 * [taylor]: Taking taylor expansion of (* z y) in x
11.278 * [taylor]: Taking taylor expansion of z in x
11.278 * [taylor]: Taking taylor expansion of y in x
11.278 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
11.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.278 * [taylor]: Taking taylor expansion of x in x
11.278 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
11.278 * [taylor]: Taking taylor expansion of (* z y) in x
11.278 * [taylor]: Taking taylor expansion of z in x
11.278 * [taylor]: Taking taylor expansion of y in x
11.279 * [taylor]: Taking taylor expansion of 1 in z
11.279 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z
11.279 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
11.279 * [taylor]: Taking taylor expansion of (* z y) in z
11.279 * [taylor]: Taking taylor expansion of z in z
11.279 * [taylor]: Taking taylor expansion of y in z
11.280 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
11.280 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.280 * [taylor]: Taking taylor expansion of y in y
11.280 * [taylor]: Taking taylor expansion of 1 in y
11.282 * [taylor]: Taking taylor expansion of 0 in z
11.282 * [taylor]: Taking taylor expansion of 0 in y
11.282 * [taylor]: Taking taylor expansion of 0 in y
11.285 * [taylor]: Taking taylor expansion of 0 in z
11.285 * [taylor]: Taking taylor expansion of 0 in y
11.286 * [taylor]: Taking taylor expansion of 0 in y
11.286 * [taylor]: Taking taylor expansion of 0 in y
11.289 * [taylor]: Taking taylor expansion of 0 in z
11.289 * [taylor]: Taking taylor expansion of 0 in y
11.289 * [taylor]: Taking taylor expansion of 0 in y
11.290 * [taylor]: Taking taylor expansion of 0 in y
11.290 * [taylor]: Taking taylor expansion of 0 in y
11.291 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in (x z y) around 0
11.291 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in y
11.291 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
11.291 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
11.291 * [taylor]: Taking taylor expansion of (* z y) in y
11.291 * [taylor]: Taking taylor expansion of z in y
11.291 * [taylor]: Taking taylor expansion of y in y
11.291 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.291 * [taylor]: Taking taylor expansion of x in y
11.291 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in z
11.291 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
11.291 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
11.291 * [taylor]: Taking taylor expansion of (* z y) in z
11.291 * [taylor]: Taking taylor expansion of z in z
11.291 * [taylor]: Taking taylor expansion of y in z
11.292 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.292 * [taylor]: Taking taylor expansion of x in z
11.292 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in x
11.292 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
11.292 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
11.292 * [taylor]: Taking taylor expansion of (* z y) in x
11.292 * [taylor]: Taking taylor expansion of z in x
11.292 * [taylor]: Taking taylor expansion of y in x
11.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.292 * [taylor]: Taking taylor expansion of x in x
11.292 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in x
11.292 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
11.292 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
11.292 * [taylor]: Taking taylor expansion of (* z y) in x
11.292 * [taylor]: Taking taylor expansion of z in x
11.292 * [taylor]: Taking taylor expansion of y in x
11.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.292 * [taylor]: Taking taylor expansion of x in x
11.293 * [taylor]: Taking taylor expansion of -1 in z
11.294 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z
11.294 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
11.294 * [taylor]: Taking taylor expansion of (* z y) in z
11.294 * [taylor]: Taking taylor expansion of z in z
11.294 * [taylor]: Taking taylor expansion of y in z
11.294 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
11.294 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.294 * [taylor]: Taking taylor expansion of y in y
11.295 * [taylor]: Taking taylor expansion of -1 in y
11.296 * [taylor]: Taking taylor expansion of 0 in z
11.297 * [taylor]: Taking taylor expansion of 0 in y
11.297 * [taylor]: Taking taylor expansion of 0 in y
11.299 * [taylor]: Taking taylor expansion of 0 in z
11.300 * [taylor]: Taking taylor expansion of 0 in y
11.301 * [taylor]: Taking taylor expansion of 0 in y
11.301 * [taylor]: Taking taylor expansion of 0 in y
11.303 * [taylor]: Taking taylor expansion of 0 in z
11.304 * [taylor]: Taking taylor expansion of 0 in y
11.304 * [taylor]: Taking taylor expansion of 0 in y
11.305 * [taylor]: Taking taylor expansion of 0 in y
11.305 * [taylor]: Taking taylor expansion of 0 in y
11.305 * * * [progress]: simplifying candidates
11.306 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (- x (* z y)) (- t (* a z))))
  (log1p (/ (- x (* z y)) (- t (* a z))))
  (- (log (- x (* z y))) (log (- t (* a z))))
  (log (/ (- x (* z y)) (- t (* a z))))
  (exp (/ (- x (* z y)) (- t (* a z))))
  (/ (* (* (- x (* z y)) (- x (* z y))) (- x (* z y))) (* (* (- t (* a z)) (- t (* a z))) (- t (* a z))))
  (* (cbrt (/ (- x (* z y)) (- t (* a z)))) (cbrt (/ (- x (* z y)) (- t (* a z)))))
  (cbrt (/ (- x (* z y)) (- t (* a z))))
  (* (* (/ (- x (* z y)) (- t (* a z))) (/ (- x (* z y)) (- t (* a z)))) (/ (- x (* z y)) (- t (* a z))))
  (sqrt (/ (- x (* z y)) (- t (* a z))))
  (sqrt (/ (- x (* z y)) (- t (* a z))))
  (- (- x (* z y)))
  (- (- t (* a z)))
  (/ x (- t (* a z)))
  (/ (* z y) (- t (* a z)))
  (/ (* (cbrt (- x (* z y))) (cbrt (- x (* z y)))) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (cbrt (- x (* z y))) (cbrt (- t (* a z))))
  (/ (* (cbrt (- x (* z y))) (cbrt (- x (* z y)))) (sqrt (- t (* a z))))
  (/ (cbrt (- x (* z y))) (sqrt (- t (* a z))))
  (/ (* (cbrt (- x (* z y))) (cbrt (- x (* z y)))) 1)
  (/ (cbrt (- x (* z y))) (- t (* a z)))
  (/ (sqrt (- x (* z y))) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (sqrt (- x (* z y))) (cbrt (- t (* a z))))
  (/ (sqrt (- x (* z y))) (sqrt (- t (* a z))))
  (/ (sqrt (- x (* z y))) (sqrt (- t (* a z))))
  (/ (sqrt (- x (* z y))) 1)
  (/ (sqrt (- x (* z y))) (- t (* a z)))
  (/ 1 (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (- x (* z y)) (cbrt (- t (* a z))))
  (/ 1 (sqrt (- t (* a z))))
  (/ (- x (* z y)) (sqrt (- t (* a z))))
  (/ 1 1)
  (/ (- x (* z y)) (- t (* a z)))
  (/ 1 (- t (* a z)))
  (/ (- t (* a z)) (- x (* z y)))
  (/ (- x (* z y)) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (- x (* z y)) (sqrt (- t (* a z))))
  (/ (- x (* z y)) 1)
  (/ (- t (* a z)) (cbrt (- x (* z y))))
  (/ (- t (* a z)) (sqrt (- x (* z y))))
  (/ (- t (* a z)) (- x (* z y)))
  (/ (- x (* z y)) (- (pow t 3) (pow (* a z) 3)))
  (/ (- x (* z y)) (- (* t t) (* (* a z) (* a z))))
  (* (- t (* a z)) (+ (* x x) (+ (* (* z y) (* z y)) (* x (* z y)))))
  (* (- t (* a z)) (+ x (* z y)))
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y z)))
  (fma (- y) z (* y z))
  (fma (sqrt x) (sqrt x) (- (* y z)))
  (fma (- y) z (* y z))
  (fma 1 x (- (* y z)))
  (fma (- y) z (* y z))
  (expm1 (- x (* z y)))
  (log1p (- x (* z y)))
  (- (* z y))
  (- (* z y))
  (- (* z y))
  (/ (exp x) (exp (* z y)))
  (log (- x (* z y)))
  (exp (- x (* z y)))
  (* (cbrt (- x (* z y))) (cbrt (- x (* z y))))
  (cbrt (- x (* z y)))
  (* (* (- x (* z y)) (- x (* z y))) (- x (* z y)))
  (sqrt (- x (* z y)))
  (sqrt (- x (* z y)))
  (- (pow x 3) (pow (* z y) 3))
  (+ (* x x) (+ (* (* z y) (* z y)) (* x (* z y))))
  (- (* z y))
  (- (* x x) (* (* z y) (* z y)))
  (+ x (* z y))
  (- (* z y))
  0
  0
  0
  x
  (- x (* z y))
  (- x (* z y))
11.310 * * [simplify]: iteration  0 :  99  enodes  (cost  821 )
11.325 * * [simplify]: iteration  1 :  253  enodes  (cost  801 )
11.380 * * [simplify]: iteration  2 :  847  enodes  (cost  733 )
11.642 * * [simplify]: iteration  3 :  3464  enodes  (cost  728 )
12.674 * * [simplify]: iteration  done :  5001  enodes  (cost  723 )
12.675 * [simplify]: Simplified to:
   (expm1 (/ (- x (* z y)) (- t (* a z))))
  (log1p (/ (- x (* z y)) (- t (* a z))))
  (log (/ (- x (* z y)) (- t (* a z))))
  (log (/ (- x (* z y)) (- t (* a z))))
  (exp (/ (- x (* z y)) (- t (* a z))))
  (pow (/ (- x (* z y)) (- t (* a z))) 3)
  (* (cbrt (/ (- x (* z y)) (- t (* a z)))) (cbrt (/ (- x (* z y)) (- t (* a z)))))
  (cbrt (/ (- x (* z y)) (- t (* a z))))
  (pow (/ (- x (* z y)) (- t (* a z))) 3)
  (sqrt (/ (- x (* z y)) (- t (* a z))))
  (sqrt (/ (- x (* z y)) (- t (* a z))))
  (- (* y z) x)
  (- (* a z) t)
  (/ x (- t (* a z)))
  (/ (* z y) (- t (* a z)))
  (/ (* (cbrt (- x (* z y))) (cbrt (- x (* z y)))) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (cbrt (- x (* z y))) (cbrt (- t (* a z))))
  (/ (* (cbrt (- x (* z y))) (cbrt (- x (* z y)))) (sqrt (- t (* a z))))
  (/ (cbrt (- x (* z y))) (sqrt (- t (* a z))))
  (* (cbrt (- x (* z y))) (cbrt (- x (* z y))))
  (/ (cbrt (- x (* z y))) (- t (* a z)))
  (/ (sqrt (- x (* z y))) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (sqrt (- x (* z y))) (cbrt (- t (* a z))))
  (/ (sqrt (- x (* z y))) (sqrt (- t (* a z))))
  (/ (sqrt (- x (* z y))) (sqrt (- t (* a z))))
  (sqrt (- x (* z y)))
  (/ (sqrt (- x (* z y))) (- t (* a z)))
  (/ 1 (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (- x (* z y)) (cbrt (- t (* a z))))
  (/ 1 (sqrt (- t (* a z))))
  (/ (- x (* z y)) (sqrt (- t (* a z))))
  1
  (/ (- x (* z y)) (- t (* a z)))
  (/ 1 (- t (* a z)))
  (/ (- t (* a z)) (- x (* z y)))
  (/ (- x (* z y)) (* (cbrt (- t (* a z))) (cbrt (- t (* a z)))))
  (/ (- x (* z y)) (sqrt (- t (* a z))))
  (- x (* z y))
  (/ (- t (* a z)) (cbrt (- x (* z y))))
  (/ (- t (* a z)) (sqrt (- x (* z y))))
  (/ (- t (* a z)) (- x (* z y)))
  (/ (- x (* z y)) (- (pow t 3) (pow (* a z) 3)))
  (/ (/ (- x (* z y)) (fma z a t)) (- t (* a z)))
  (* (fma x x (* (fma z y x) (* y z))) (- t (* a z)))
  (* (- t (* a z)) (fma z y x))
  (fma y (- z) (pow (cbrt x) 3))
  (* (- z z) y)
  (- x (* z y))
  (* (- z z) y)
  (- x (* z y))
  (* (- z z) y)
  (expm1 (- x (* z y)))
  (log1p (- x (* z y)))
  (* y (- z))
  (* y (- z))
  (* y (- z))
  (exp (- x (* z y)))
  (log (- x (* z y)))
  (exp (- x (* z y)))
  (* (cbrt (- x (* z y))) (cbrt (- x (* z y))))
  (cbrt (- x (* z y)))
  (pow (- x (* z y)) 3)
  (sqrt (- x (* z y)))
  (sqrt (- x (* z y)))
  (- (pow x 3) (pow (* z y) 3))
  (fma x x (* (fma z y x) (* y z)))
  (* y (- z))
  (* (fma z y x) (- x (* z y)))
  (fma z y x)
  (* y (- z))
  0
  0
  0
  x
  (- x (* z y))
  (- x (* z y))
12.675 * * * [progress]: adding candidates to table
12.831 * [progress]: [Phase 3 of 3] Extracting.
12.831 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a) (cbrt (pow (/ (- x (* z y)) (- t (* a z))) 3)))> #<alt (λ (x y z t a) (* (- x (* y z)) (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) 0)> #<alt (λ (x y z t a) (* x (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) (/ 1 (/ (- t (* a z)) (- x (* z y)))))> #<alt (λ (x y z t a) (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- t (* a z))))> #<alt (λ (x y z t a) (/ (* (- x (* z y)) (fma y z x)) (* (fma y z x) (- t (* a z)))))> #<alt (λ (x y z t a) (* (- x (* y z)) (* (/ (/ 1 (cbrt (- t (* a z)))) (cbrt (- t (* a z)))) (/ 1 (cbrt (- t (* a z)))))))> #<alt (λ (x y z t a) (/ (/ (- x (* z y)) (sqrt (- t (* a z)))) (sqrt (- t (* a z)))))> #<alt (λ (x y z t a) (/ (- x (* z y)) (- t (* a z))))> #<alt (λ (x y z t a) (/ (* (sqrt (- x (* z y))) (sqrt (- x (* z y)))) (- t (* a z))))>)
12.834 * * * [regime-changes]: Trying 5 branch expressions: (a t z y x)
12.834 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a) (cbrt (pow (/ (- x (* z y)) (- t (* a z))) 3)))> #<alt (λ (x y z t a) (* (- x (* y z)) (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) 0)> #<alt (λ (x y z t a) (* x (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) (/ 1 (/ (- t (* a z)) (- x (* z y)))))> #<alt (λ (x y z t a) (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- t (* a z))))> #<alt (λ (x y z t a) (/ (* (- x (* z y)) (fma y z x)) (* (fma y z x) (- t (* a z)))))> #<alt (λ (x y z t a) (* (- x (* y z)) (* (/ (/ 1 (cbrt (- t (* a z)))) (cbrt (- t (* a z)))) (/ 1 (cbrt (- t (* a z)))))))> #<alt (λ (x y z t a) (/ (/ (- x (* z y)) (sqrt (- t (* a z)))) (sqrt (- t (* a z)))))> #<alt (λ (x y z t a) (/ (- x (* z y)) (- t (* a z))))> #<alt (λ (x y z t a) (/ (* (sqrt (- x (* z y))) (sqrt (- x (* z y)))) (- t (* a z))))>)
12.876 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a) (cbrt (pow (/ (- x (* z y)) (- t (* a z))) 3)))> #<alt (λ (x y z t a) (* (- x (* y z)) (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) 0)> #<alt (λ (x y z t a) (* x (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) (/ 1 (/ (- t (* a z)) (- x (* z y)))))> #<alt (λ (x y z t a) (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- t (* a z))))> #<alt (λ (x y z t a) (/ (* (- x (* z y)) (fma y z x)) (* (fma y z x) (- t (* a z)))))> #<alt (λ (x y z t a) (* (- x (* y z)) (* (/ (/ 1 (cbrt (- t (* a z)))) (cbrt (- t (* a z)))) (/ 1 (cbrt (- t (* a z)))))))> #<alt (λ (x y z t a) (/ (/ (- x (* z y)) (sqrt (- t (* a z)))) (sqrt (- t (* a z)))))> #<alt (λ (x y z t a) (/ (- x (* z y)) (- t (* a z))))> #<alt (λ (x y z t a) (/ (* (sqrt (- x (* z y))) (sqrt (- x (* z y)))) (- t (* a z))))>)
12.919 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a) (cbrt (pow (/ (- x (* z y)) (- t (* a z))) 3)))> #<alt (λ (x y z t a) (* (- x (* y z)) (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) 0)> #<alt (λ (x y z t a) (* x (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) (/ 1 (/ (- t (* a z)) (- x (* z y)))))> #<alt (λ (x y z t a) (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- t (* a z))))> #<alt (λ (x y z t a) (/ (* (- x (* z y)) (fma y z x)) (* (fma y z x) (- t (* a z)))))> #<alt (λ (x y z t a) (* (- x (* y z)) (* (/ (/ 1 (cbrt (- t (* a z)))) (cbrt (- t (* a z)))) (/ 1 (cbrt (- t (* a z)))))))> #<alt (λ (x y z t a) (/ (/ (- x (* z y)) (sqrt (- t (* a z)))) (sqrt (- t (* a z)))))> #<alt (λ (x y z t a) (/ (- x (* z y)) (- t (* a z))))> #<alt (λ (x y z t a) (/ (* (sqrt (- x (* z y))) (sqrt (- x (* z y)))) (- t (* a z))))>)
12.964 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a) (cbrt (pow (/ (- x (* z y)) (- t (* a z))) 3)))> #<alt (λ (x y z t a) (* (- x (* y z)) (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) 0)> #<alt (λ (x y z t a) (* x (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) (/ 1 (/ (- t (* a z)) (- x (* z y)))))> #<alt (λ (x y z t a) (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- t (* a z))))> #<alt (λ (x y z t a) (/ (* (- x (* z y)) (fma y z x)) (* (fma y z x) (- t (* a z)))))> #<alt (λ (x y z t a) (* (- x (* y z)) (* (/ (/ 1 (cbrt (- t (* a z)))) (cbrt (- t (* a z)))) (/ 1 (cbrt (- t (* a z)))))))> #<alt (λ (x y z t a) (/ (/ (- x (* z y)) (sqrt (- t (* a z)))) (sqrt (- t (* a z)))))> #<alt (λ (x y z t a) (/ (- x (* z y)) (- t (* a z))))> #<alt (λ (x y z t a) (/ (* (sqrt (- x (* z y))) (sqrt (- x (* z y)))) (- t (* a z))))>)
13.010 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a) (cbrt (pow (/ (- x (* z y)) (- t (* a z))) 3)))> #<alt (λ (x y z t a) (* (- x (* y z)) (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) 0)> #<alt (λ (x y z t a) (* x (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) (/ 1 (/ (- t (* a z)) (- x (* z y)))))> #<alt (λ (x y z t a) (/ (fma (* (cbrt x) (cbrt x)) (cbrt x) (* z (- y))) (- t (* a z))))> #<alt (λ (x y z t a) (/ (* (- x (* z y)) (fma y z x)) (* (fma y z x) (- t (* a z)))))> #<alt (λ (x y z t a) (* (- x (* y z)) (* (/ (/ 1 (cbrt (- t (* a z)))) (cbrt (- t (* a z)))) (/ 1 (cbrt (- t (* a z)))))))> #<alt (λ (x y z t a) (/ (/ (- x (* z y)) (sqrt (- t (* a z)))) (sqrt (- t (* a z)))))> #<alt (λ (x y z t a) (/ (- x (* z y)) (- t (* a z))))> #<alt (λ (x y z t a) (/ (* (sqrt (- x (* z y))) (sqrt (- x (* z y)))) (- t (* a z))))>)
13.054 * * * [regime]: Found split indices: #<option (#s(si 9 255))>
13.055 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (- x (* z y)) (- t (* a z)))
13.055 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
13.055 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
13.056 * * [simplify]: iteration  done :  12  enodes  (cost  11 )
13.056 * [simplify]: Simplified to:
   (/ (- x (* z y)) (- t (* a z)))
13.953 * [regime-testing]: Baseline error score: 10.79264945165819
13.954 * [regime-testing]: Oracle error score: 10.485528895827901
13.955 * [regime-testing]: End program error score: 10.79264945165819
13.988 * [regime-testing]: Target error score: 1.7366371452746157