14.558 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.016 * * * [progress]: [2/2] Setting up program.
0.018 * [progress]: [Phase 2 of 3] Improving.
0.018 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ x (* (- y z) (- t z)))
0.019 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.020 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
0.022 * * [simplify]: iteration  2 :  30  enodes  (cost  9 )
0.027 * * [simplify]: iteration  3 :  67  enodes  (cost  9 )
0.039 * * [simplify]: iteration  4 :  146  enodes  (cost  9 )
0.077 * * [simplify]: iteration  5 :  286  enodes  (cost  9 )
0.212 * * [simplify]: iteration  6 :  462  enodes  (cost  9 )
0.401 * * [simplify]: iteration  7 :  733  enodes  (cost  9 )
0.875 * * [simplify]: iteration  8 :  1034  enodes  (cost  9 )
1.408 * * [simplify]: iteration  9 :  1370  enodes  (cost  9 )
1.841 * * [simplify]: iteration  10 :  1432  enodes  (cost  9 )
2.334 * * [simplify]: iteration  11 :  1436  enodes  (cost  9 )
2.830 * * [simplify]: iteration  done :  1436  enodes  (cost  9 )
2.830 * [simplify]: Simplified to:
   (/ x (* (- y z) (- t z)))
2.831 * * [progress]: iteration 1 / 4
2.831 * * * [progress]: picking best candidate
2.833 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ x (* (- y z) (- t z))))>
2.833 * * * [progress]: localizing error
2.840 * * * [progress]: generating rewritten candidates
2.840 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
2.849 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
2.876 * * * [progress]: generating series expansions
2.876 * * * * [progress]: [ 1 / 2 ] generating series at (2)
2.877 * [approximate]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in (x y z t) around 0
2.877 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in t
2.877 * [taylor]: Taking taylor expansion of x in t
2.877 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in t
2.877 * [taylor]: Taking taylor expansion of (- y z) in t
2.877 * [taylor]: Taking taylor expansion of y in t
2.877 * [taylor]: Taking taylor expansion of z in t
2.877 * [taylor]: Taking taylor expansion of (- t z) in t
2.877 * [taylor]: Taking taylor expansion of t in t
2.877 * [taylor]: Taking taylor expansion of z in t
2.877 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in z
2.877 * [taylor]: Taking taylor expansion of x in z
2.877 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in z
2.877 * [taylor]: Taking taylor expansion of (- y z) in z
2.877 * [taylor]: Taking taylor expansion of y in z
2.877 * [taylor]: Taking taylor expansion of z in z
2.877 * [taylor]: Taking taylor expansion of (- t z) in z
2.877 * [taylor]: Taking taylor expansion of t in z
2.877 * [taylor]: Taking taylor expansion of z in z
2.878 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in y
2.878 * [taylor]: Taking taylor expansion of x in y
2.878 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in y
2.878 * [taylor]: Taking taylor expansion of (- y z) in y
2.878 * [taylor]: Taking taylor expansion of y in y
2.878 * [taylor]: Taking taylor expansion of z in y
2.878 * [taylor]: Taking taylor expansion of (- t z) in y
2.878 * [taylor]: Taking taylor expansion of t in y
2.878 * [taylor]: Taking taylor expansion of z in y
2.879 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in x
2.879 * [taylor]: Taking taylor expansion of x in x
2.879 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in x
2.879 * [taylor]: Taking taylor expansion of (- y z) in x
2.879 * [taylor]: Taking taylor expansion of y in x
2.879 * [taylor]: Taking taylor expansion of z in x
2.879 * [taylor]: Taking taylor expansion of (- t z) in x
2.879 * [taylor]: Taking taylor expansion of t in x
2.879 * [taylor]: Taking taylor expansion of z in x
2.879 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in x
2.879 * [taylor]: Taking taylor expansion of x in x
2.879 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in x
2.879 * [taylor]: Taking taylor expansion of (- y z) in x
2.879 * [taylor]: Taking taylor expansion of y in x
2.879 * [taylor]: Taking taylor expansion of z in x
2.879 * [taylor]: Taking taylor expansion of (- t z) in x
2.879 * [taylor]: Taking taylor expansion of t in x
2.879 * [taylor]: Taking taylor expansion of z in x
2.879 * [taylor]: Taking taylor expansion of (/ 1 (* (- y z) (- t z))) in y
2.879 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in y
2.879 * [taylor]: Taking taylor expansion of (- y z) in y
2.879 * [taylor]: Taking taylor expansion of y in y
2.879 * [taylor]: Taking taylor expansion of z in y
2.879 * [taylor]: Taking taylor expansion of (- t z) in y
2.879 * [taylor]: Taking taylor expansion of t in y
2.879 * [taylor]: Taking taylor expansion of z in y
2.880 * [taylor]: Taking taylor expansion of (/ -1 (* z (- t z))) in z
2.880 * [taylor]: Taking taylor expansion of -1 in z
2.880 * [taylor]: Taking taylor expansion of (* z (- t z)) in z
2.880 * [taylor]: Taking taylor expansion of z in z
2.880 * [taylor]: Taking taylor expansion of (- t z) in z
2.880 * [taylor]: Taking taylor expansion of t in z
2.880 * [taylor]: Taking taylor expansion of z in z
2.882 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2))) in t
2.883 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
2.883 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.883 * [taylor]: Taking taylor expansion of t in t
2.887 * [taylor]: Taking taylor expansion of 0 in y
2.887 * [taylor]: Taking taylor expansion of 0 in z
2.887 * [taylor]: Taking taylor expansion of 0 in t
2.888 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (- t z)))) in z
2.888 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (- t z))) in z
2.888 * [taylor]: Taking taylor expansion of (* (pow z 2) (- t z)) in z
2.888 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.888 * [taylor]: Taking taylor expansion of z in z
2.888 * [taylor]: Taking taylor expansion of (- t z) in z
2.888 * [taylor]: Taking taylor expansion of t in z
2.888 * [taylor]: Taking taylor expansion of z in z
2.892 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 3))) in t
2.892 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
2.892 * [taylor]: Taking taylor expansion of (pow t 3) in t
2.892 * [taylor]: Taking taylor expansion of t in t
2.900 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 3))) in t
2.900 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
2.900 * [taylor]: Taking taylor expansion of (pow t 3) in t
2.900 * [taylor]: Taking taylor expansion of t in t
2.908 * [taylor]: Taking taylor expansion of 0 in y
2.908 * [taylor]: Taking taylor expansion of 0 in z
2.909 * [taylor]: Taking taylor expansion of 0 in t
2.909 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in (x y z t) around 0
2.909 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in t
2.909 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in t
2.909 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
2.909 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.909 * [taylor]: Taking taylor expansion of t in t
2.909 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.909 * [taylor]: Taking taylor expansion of z in t
2.909 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in t
2.909 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
2.909 * [taylor]: Taking taylor expansion of (/ 1 y) in t
2.909 * [taylor]: Taking taylor expansion of y in t
2.909 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.909 * [taylor]: Taking taylor expansion of z in t
2.909 * [taylor]: Taking taylor expansion of x in t
2.910 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in z
2.910 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in z
2.910 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
2.910 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.910 * [taylor]: Taking taylor expansion of t in z
2.910 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.910 * [taylor]: Taking taylor expansion of z in z
2.910 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in z
2.911 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
2.911 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.911 * [taylor]: Taking taylor expansion of y in z
2.911 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.911 * [taylor]: Taking taylor expansion of z in z
2.911 * [taylor]: Taking taylor expansion of x in z
2.912 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in y
2.912 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in y
2.912 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
2.912 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.912 * [taylor]: Taking taylor expansion of t in y
2.912 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.912 * [taylor]: Taking taylor expansion of z in y
2.912 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in y
2.912 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
2.912 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.912 * [taylor]: Taking taylor expansion of y in y
2.912 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.912 * [taylor]: Taking taylor expansion of z in y
2.913 * [taylor]: Taking taylor expansion of x in y
2.913 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in x
2.913 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in x
2.913 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
2.913 * [taylor]: Taking taylor expansion of (/ 1 t) in x
2.913 * [taylor]: Taking taylor expansion of t in x
2.913 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.913 * [taylor]: Taking taylor expansion of z in x
2.913 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in x
2.913 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
2.913 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.913 * [taylor]: Taking taylor expansion of y in x
2.913 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.913 * [taylor]: Taking taylor expansion of z in x
2.913 * [taylor]: Taking taylor expansion of x in x
2.916 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in x
2.916 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in x
2.916 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
2.916 * [taylor]: Taking taylor expansion of (/ 1 t) in x
2.916 * [taylor]: Taking taylor expansion of t in x
2.916 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.916 * [taylor]: Taking taylor expansion of z in x
2.916 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in x
2.916 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
2.916 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.916 * [taylor]: Taking taylor expansion of y in x
2.916 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.916 * [taylor]: Taking taylor expansion of z in x
2.916 * [taylor]: Taking taylor expansion of x in x
2.920 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y))))) in y
2.920 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y)))) in y
2.920 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 (pow z 2))) in y
2.920 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
2.920 * [taylor]: Taking taylor expansion of (* t y) in y
2.920 * [taylor]: Taking taylor expansion of t in y
2.920 * [taylor]: Taking taylor expansion of y in y
2.920 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
2.920 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.920 * [taylor]: Taking taylor expansion of z in y
2.920 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* z y))) in y
2.920 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.920 * [taylor]: Taking taylor expansion of (* t z) in y
2.920 * [taylor]: Taking taylor expansion of t in y
2.920 * [taylor]: Taking taylor expansion of z in y
2.921 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.921 * [taylor]: Taking taylor expansion of (* z y) in y
2.921 * [taylor]: Taking taylor expansion of z in y
2.921 * [taylor]: Taking taylor expansion of y in y
2.921 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 z))) in z
2.921 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
2.921 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.921 * [taylor]: Taking taylor expansion of t in z
2.921 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.921 * [taylor]: Taking taylor expansion of z in z
2.923 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
2.923 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.923 * [taylor]: Taking taylor expansion of t in t
2.928 * [taylor]: Taking taylor expansion of 0 in y
2.928 * [taylor]: Taking taylor expansion of 0 in z
2.928 * [taylor]: Taking taylor expansion of 0 in t
2.930 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z))) (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2)))) in z
2.930 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z))) in z
2.930 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z)) in z
2.930 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 2) in z
2.930 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
2.930 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.930 * [taylor]: Taking taylor expansion of t in z
2.930 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.930 * [taylor]: Taking taylor expansion of z in z
2.931 * [taylor]: Taking taylor expansion of (* t z) in z
2.931 * [taylor]: Taking taylor expansion of t in z
2.931 * [taylor]: Taking taylor expansion of z in z
2.933 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2))) in z
2.933 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2)) in z
2.933 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 2) in z
2.933 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
2.933 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.933 * [taylor]: Taking taylor expansion of t in z
2.933 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.933 * [taylor]: Taking taylor expansion of z in z
2.934 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.934 * [taylor]: Taking taylor expansion of z in z
2.942 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2))) in t
2.942 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
2.942 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.942 * [taylor]: Taking taylor expansion of t in t
2.948 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2))) in t
2.948 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
2.948 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.948 * [taylor]: Taking taylor expansion of t in t
2.960 * [taylor]: Taking taylor expansion of 0 in y
2.960 * [taylor]: Taking taylor expansion of 0 in z
2.960 * [taylor]: Taking taylor expansion of 0 in t
2.960 * [approximate]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in (x y z t) around 0
2.960 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in t
2.960 * [taylor]: Taking taylor expansion of -1 in t
2.961 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y)))) in t
2.961 * [taylor]: Taking taylor expansion of x in t
2.961 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in t
2.961 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
2.961 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.961 * [taylor]: Taking taylor expansion of z in t
2.961 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.961 * [taylor]: Taking taylor expansion of t in t
2.961 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
2.961 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.961 * [taylor]: Taking taylor expansion of z in t
2.961 * [taylor]: Taking taylor expansion of (/ 1 y) in t
2.961 * [taylor]: Taking taylor expansion of y in t
2.962 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in z
2.962 * [taylor]: Taking taylor expansion of -1 in z
2.962 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y)))) in z
2.962 * [taylor]: Taking taylor expansion of x in z
2.962 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in z
2.962 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
2.962 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.962 * [taylor]: Taking taylor expansion of z in z
2.963 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.963 * [taylor]: Taking taylor expansion of t in z
2.963 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
2.963 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.963 * [taylor]: Taking taylor expansion of z in z
2.963 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.963 * [taylor]: Taking taylor expansion of y in z
2.964 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in y
2.964 * [taylor]: Taking taylor expansion of -1 in y
2.964 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y)))) in y
2.964 * [taylor]: Taking taylor expansion of x in y
2.964 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y
2.964 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
2.964 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.964 * [taylor]: Taking taylor expansion of z in y
2.964 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.964 * [taylor]: Taking taylor expansion of t in y
2.964 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
2.964 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.964 * [taylor]: Taking taylor expansion of z in y
2.964 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.965 * [taylor]: Taking taylor expansion of y in y
2.966 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in x
2.966 * [taylor]: Taking taylor expansion of -1 in x
2.966 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y)))) in x
2.966 * [taylor]: Taking taylor expansion of x in x
2.966 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in x
2.966 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
2.966 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.966 * [taylor]: Taking taylor expansion of z in x
2.966 * [taylor]: Taking taylor expansion of (/ 1 t) in x
2.966 * [taylor]: Taking taylor expansion of t in x
2.966 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
2.966 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.966 * [taylor]: Taking taylor expansion of z in x
2.966 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.966 * [taylor]: Taking taylor expansion of y in x
2.970 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in x
2.970 * [taylor]: Taking taylor expansion of -1 in x
2.970 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y)))) in x
2.970 * [taylor]: Taking taylor expansion of x in x
2.970 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in x
2.970 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
2.970 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.970 * [taylor]: Taking taylor expansion of z in x
2.970 * [taylor]: Taking taylor expansion of (/ 1 t) in x
2.970 * [taylor]: Taking taylor expansion of t in x
2.970 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
2.970 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.970 * [taylor]: Taking taylor expansion of z in x
2.970 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.970 * [taylor]: Taking taylor expansion of y in x
2.973 * [taylor]: Taking taylor expansion of (/ -1 (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y))))) in y
2.973 * [taylor]: Taking taylor expansion of -1 in y
2.973 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y)))) in y
2.973 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 (pow z 2))) in y
2.973 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
2.973 * [taylor]: Taking taylor expansion of (* t y) in y
2.973 * [taylor]: Taking taylor expansion of t in y
2.973 * [taylor]: Taking taylor expansion of y in y
2.974 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
2.974 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.974 * [taylor]: Taking taylor expansion of z in y
2.974 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* z y))) in y
2.974 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.974 * [taylor]: Taking taylor expansion of (* t z) in y
2.974 * [taylor]: Taking taylor expansion of t in y
2.974 * [taylor]: Taking taylor expansion of z in y
2.974 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.974 * [taylor]: Taking taylor expansion of (* z y) in y
2.974 * [taylor]: Taking taylor expansion of z in y
2.974 * [taylor]: Taking taylor expansion of y in y
2.975 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 t) (/ 1 z))) in z
2.975 * [taylor]: Taking taylor expansion of -1 in z
2.975 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
2.975 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.975 * [taylor]: Taking taylor expansion of t in z
2.975 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.975 * [taylor]: Taking taylor expansion of z in z
2.977 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.977 * [taylor]: Taking taylor expansion of t in t
2.982 * [taylor]: Taking taylor expansion of 0 in y
2.982 * [taylor]: Taking taylor expansion of 0 in z
2.982 * [taylor]: Taking taylor expansion of 0 in t
2.984 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2))) (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z)))) in z
2.984 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2))) in z
2.984 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2)) in z
2.984 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 2) in z
2.984 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
2.984 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.984 * [taylor]: Taking taylor expansion of t in z
2.984 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.984 * [taylor]: Taking taylor expansion of z in z
2.985 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.985 * [taylor]: Taking taylor expansion of z in z
2.986 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z))) in z
2.986 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z)) in z
2.986 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 2) in z
2.986 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
2.986 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.986 * [taylor]: Taking taylor expansion of t in z
2.986 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.986 * [taylor]: Taking taylor expansion of z in z
2.987 * [taylor]: Taking taylor expansion of (* t z) in z
2.987 * [taylor]: Taking taylor expansion of t in z
2.987 * [taylor]: Taking taylor expansion of z in z
2.996 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
2.996 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.997 * [taylor]: Taking taylor expansion of t in t
3.002 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
3.002 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.002 * [taylor]: Taking taylor expansion of t in t
3.010 * [taylor]: Taking taylor expansion of 0 in y
3.010 * [taylor]: Taking taylor expansion of 0 in z
3.010 * [taylor]: Taking taylor expansion of 0 in t
3.010 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
3.010 * [approximate]: Taking taylor expansion of (* (- y z) (- t z)) in (y z t) around 0
3.010 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in t
3.010 * [taylor]: Taking taylor expansion of (- y z) in t
3.010 * [taylor]: Taking taylor expansion of y in t
3.010 * [taylor]: Taking taylor expansion of z in t
3.010 * [taylor]: Taking taylor expansion of (- t z) in t
3.010 * [taylor]: Taking taylor expansion of t in t
3.010 * [taylor]: Taking taylor expansion of z in t
3.010 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in z
3.010 * [taylor]: Taking taylor expansion of (- y z) in z
3.010 * [taylor]: Taking taylor expansion of y in z
3.010 * [taylor]: Taking taylor expansion of z in z
3.010 * [taylor]: Taking taylor expansion of (- t z) in z
3.010 * [taylor]: Taking taylor expansion of t in z
3.010 * [taylor]: Taking taylor expansion of z in z
3.010 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in y
3.010 * [taylor]: Taking taylor expansion of (- y z) in y
3.011 * [taylor]: Taking taylor expansion of y in y
3.011 * [taylor]: Taking taylor expansion of z in y
3.011 * [taylor]: Taking taylor expansion of (- t z) in y
3.011 * [taylor]: Taking taylor expansion of t in y
3.011 * [taylor]: Taking taylor expansion of z in y
3.011 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in y
3.011 * [taylor]: Taking taylor expansion of (- y z) in y
3.011 * [taylor]: Taking taylor expansion of y in y
3.011 * [taylor]: Taking taylor expansion of z in y
3.011 * [taylor]: Taking taylor expansion of (- t z) in y
3.011 * [taylor]: Taking taylor expansion of t in y
3.011 * [taylor]: Taking taylor expansion of z in y
3.011 * [taylor]: Taking taylor expansion of (* -1 (* z (- t z))) in z
3.011 * [taylor]: Taking taylor expansion of -1 in z
3.011 * [taylor]: Taking taylor expansion of (* z (- t z)) in z
3.011 * [taylor]: Taking taylor expansion of z in z
3.011 * [taylor]: Taking taylor expansion of (- t z) in z
3.011 * [taylor]: Taking taylor expansion of t in z
3.011 * [taylor]: Taking taylor expansion of z in z
3.012 * [taylor]: Taking taylor expansion of 0 in t
3.013 * [taylor]: Taking taylor expansion of (- t z) in z
3.013 * [taylor]: Taking taylor expansion of t in z
3.013 * [taylor]: Taking taylor expansion of z in z
3.013 * [taylor]: Taking taylor expansion of t in t
3.015 * [taylor]: Taking taylor expansion of (- t) in t
3.015 * [taylor]: Taking taylor expansion of t in t
3.016 * [taylor]: Taking taylor expansion of 0 in z
3.016 * [taylor]: Taking taylor expansion of 0 in t
3.017 * [taylor]: Taking taylor expansion of -1 in t
3.019 * [taylor]: Taking taylor expansion of 1 in t
3.020 * [approximate]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (- (/ 1 y) (/ 1 z))) in (y z t) around 0
3.020 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (- (/ 1 y) (/ 1 z))) in t
3.020 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
3.020 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.020 * [taylor]: Taking taylor expansion of t in t
3.020 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.020 * [taylor]: Taking taylor expansion of z in t
3.020 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
3.020 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.020 * [taylor]: Taking taylor expansion of y in t
3.020 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.020 * [taylor]: Taking taylor expansion of z in t
3.020 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (- (/ 1 y) (/ 1 z))) in z
3.020 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
3.020 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.021 * [taylor]: Taking taylor expansion of t in z
3.021 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.021 * [taylor]: Taking taylor expansion of z in z
3.021 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
3.021 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.021 * [taylor]: Taking taylor expansion of y in z
3.021 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.021 * [taylor]: Taking taylor expansion of z in z
3.021 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (- (/ 1 y) (/ 1 z))) in y
3.021 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
3.021 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.021 * [taylor]: Taking taylor expansion of t in y
3.021 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.021 * [taylor]: Taking taylor expansion of z in y
3.021 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
3.021 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.021 * [taylor]: Taking taylor expansion of y in y
3.022 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.022 * [taylor]: Taking taylor expansion of z in y
3.022 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (- (/ 1 y) (/ 1 z))) in y
3.022 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
3.022 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.022 * [taylor]: Taking taylor expansion of t in y
3.022 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.022 * [taylor]: Taking taylor expansion of z in y
3.022 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
3.022 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.022 * [taylor]: Taking taylor expansion of y in y
3.022 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.022 * [taylor]: Taking taylor expansion of z in y
3.023 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
3.023 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.023 * [taylor]: Taking taylor expansion of t in z
3.023 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.023 * [taylor]: Taking taylor expansion of z in z
3.025 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t z))) in z
3.025 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
3.025 * [taylor]: Taking taylor expansion of (pow z 2) in z
3.025 * [taylor]: Taking taylor expansion of z in z
3.026 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.026 * [taylor]: Taking taylor expansion of (* t z) in z
3.026 * [taylor]: Taking taylor expansion of t in z
3.026 * [taylor]: Taking taylor expansion of z in z
3.026 * [taylor]: Taking taylor expansion of 1 in t
3.027 * [taylor]: Taking taylor expansion of -1 in t
3.030 * [taylor]: Taking taylor expansion of 0 in z
3.031 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
3.031 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.031 * [taylor]: Taking taylor expansion of t in t
3.032 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.032 * [taylor]: Taking taylor expansion of t in t
3.033 * [approximate]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in (y z t) around 0
3.033 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in t
3.033 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
3.033 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.033 * [taylor]: Taking taylor expansion of z in t
3.033 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.033 * [taylor]: Taking taylor expansion of t in t
3.033 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
3.033 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.033 * [taylor]: Taking taylor expansion of z in t
3.033 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.033 * [taylor]: Taking taylor expansion of y in t
3.033 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in z
3.033 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
3.033 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.034 * [taylor]: Taking taylor expansion of z in z
3.034 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.034 * [taylor]: Taking taylor expansion of t in z
3.034 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
3.034 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.034 * [taylor]: Taking taylor expansion of z in z
3.034 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.034 * [taylor]: Taking taylor expansion of y in z
3.034 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y
3.034 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
3.034 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.034 * [taylor]: Taking taylor expansion of z in y
3.034 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.034 * [taylor]: Taking taylor expansion of t in y
3.034 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
3.034 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.034 * [taylor]: Taking taylor expansion of z in y
3.034 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.035 * [taylor]: Taking taylor expansion of y in y
3.035 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y
3.035 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
3.035 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.035 * [taylor]: Taking taylor expansion of z in y
3.035 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.035 * [taylor]: Taking taylor expansion of t in y
3.035 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
3.035 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.035 * [taylor]: Taking taylor expansion of z in y
3.035 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.035 * [taylor]: Taking taylor expansion of y in y
3.036 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 t))) in z
3.036 * [taylor]: Taking taylor expansion of -1 in z
3.036 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
3.036 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.036 * [taylor]: Taking taylor expansion of z in z
3.036 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.036 * [taylor]: Taking taylor expansion of t in z
3.038 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t z))) in z
3.038 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
3.038 * [taylor]: Taking taylor expansion of (pow z 2) in z
3.038 * [taylor]: Taking taylor expansion of z in z
3.039 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.039 * [taylor]: Taking taylor expansion of (* t z) in z
3.039 * [taylor]: Taking taylor expansion of t in z
3.039 * [taylor]: Taking taylor expansion of z in z
3.039 * [taylor]: Taking taylor expansion of 1 in t
3.040 * [taylor]: Taking taylor expansion of -1 in t
3.042 * [taylor]: Taking taylor expansion of 0 in z
3.043 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
3.043 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.043 * [taylor]: Taking taylor expansion of t in t
3.045 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.045 * [taylor]: Taking taylor expansion of t in t
3.045 * * * [progress]: simplifying candidates
3.047 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ x (* (- y z) (- t z))))
  (log1p (/ x (* (- y z) (- t z))))
  (- (log x) (+ (log (- y z)) (log (- t z))))
  (- (log x) (log (* (- y z) (- t z))))
  (log (/ x (* (- y z) (- t z))))
  (exp (/ x (* (- y z) (- t z))))
  (/ (* (* x x) x) (* (* (* (- y z) (- y z)) (- y z)) (* (* (- t z) (- t z)) (- t z))))
  (/ (* (* x x) x) (* (* (* (- y z) (- t z)) (* (- y z) (- t z))) (* (- y z) (- t z))))
  (* (cbrt (/ x (* (- y z) (- t z)))) (cbrt (/ x (* (- y z) (- t z)))))
  (cbrt (/ x (* (- y z) (- t z))))
  (* (* (/ x (* (- y z) (- t z))) (/ x (* (- y z) (- t z)))) (/ x (* (- y z) (- t z))))
  (sqrt (/ x (* (- y z) (- t z))))
  (sqrt (/ x (* (- y z) (- t z))))
  (- x)
  (- (* (- y z) (- t z)))
  (/ (* (cbrt x) (cbrt x)) (- y z))
  (/ (cbrt x) (- t z))
  (/ (sqrt x) (- y z))
  (/ (sqrt x) (- t z))
  (/ 1 (- y z))
  (/ x (- t z))
  (/ 1 (* (- y z) (- t z)))
  (/ (* (- y z) (- t z)) x)
  (/ x (- y z))
  (/ (* (- y z) (- t z)) (cbrt x))
  (/ (* (- y z) (- t z)) (sqrt x))
  (/ (* (- y z) (- t z)) x)
  (/ x (* (- (pow y 3) (pow z 3)) (- (pow t 3) (pow z 3))))
  (/ x (* (- (pow y 3) (pow z 3)) (- (* t t) (* z z))))
  (/ x (* (- (* y y) (* z z)) (- (pow t 3) (pow z 3))))
  (/ x (* (- (* y y) (* z z)) (- (* t t) (* z z))))
  (/ x (* (- y z) (- (pow t 3) (pow z 3))))
  (/ x (* (- y z) (- (* t t) (* z z))))
  (/ x (* (- (pow y 3) (pow z 3)) (- t z)))
  (/ x (* (- (* y y) (* z z)) (- t z)))
  (expm1 (* (- y z) (- t z)))
  (log1p (* (- y z) (- t z)))
  (* (- y z) (- t z))
  (+ (log (- y z)) (log (- t z)))
  (log (* (- y z) (- t z)))
  (exp (* (- y z) (- t z)))
  (* (* (* (- y z) (- y z)) (- y z)) (* (* (- t z) (- t z)) (- t z)))
  (* (cbrt (* (- y z) (- t z))) (cbrt (* (- y z) (- t z))))
  (cbrt (* (- y z) (- t z)))
  (* (* (* (- y z) (- t z)) (* (- y z) (- t z))) (* (- y z) (- t z)))
  (sqrt (* (- y z) (- t z)))
  (sqrt (* (- y z) (- t z)))
  (* (- (pow y 3) (pow z 3)) (- (pow t 3) (pow z 3)))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ (* t t) (+ (* z z) (* t z))))
  (* (- (pow y 3) (pow z 3)) (- (* t t) (* z z)))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ t z))
  (* (- (* y y) (* z z)) (- (pow t 3) (pow z 3)))
  (* (+ y z) (+ (* t t) (+ (* z z) (* t z))))
  (* (- (* y y) (* z z)) (- (* t t) (* z z)))
  (* (+ y z) (+ t z))
  (* (sqrt (- y z)) (sqrt (- t z)))
  (* (sqrt (- y z)) (sqrt (- t z)))
  (* (- y z) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* (- y z) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* (- y z) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (sqrt z) (sqrt z)))))
  (* (- y z) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* (- y z) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* z 1))))
  (* (- y z) (fma (- z) 1 (* z 1)))
  (* (- y z) (fma (sqrt t) (sqrt t) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* (- y z) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* (- y z) (fma (sqrt t) (sqrt t) (- (* (sqrt z) (sqrt z)))))
  (* (- y z) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* (- y z) (fma (sqrt t) (sqrt t) (- (* z 1))))
  (* (- y z) (fma (- z) 1 (* z 1)))
  (* (- y z) (fma 1 t (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* (- y z) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* (- y z) (fma 1 t (- (* (sqrt z) (sqrt z)))))
  (* (- y z) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* (- y z) (fma 1 t (- (* z 1))))
  (* (- y z) (fma (- z) 1 (* z 1)))
  (* (- y z) t)
  (* (- y z) (- z))
  (* (- y z) t)
  (* (- y z) (- z))
  (* (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (- y z))
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (- y z))
  (* (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (sqrt z) (sqrt z)))) (- y z))
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (- y z))
  (* (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* z 1))) (- y z))
  (* (fma (- z) 1 (* z 1)) (- y z))
  (* (fma (sqrt t) (sqrt t) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (- y z))
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (- y z))
  (* (fma (sqrt t) (sqrt t) (- (* (sqrt z) (sqrt z)))) (- y z))
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (- y z))
  (* (fma (sqrt t) (sqrt t) (- (* z 1))) (- y z))
  (* (fma (- z) 1 (* z 1)) (- y z))
  (* (fma 1 t (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (- y z))
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (- y z))
  (* (fma 1 t (- (* (sqrt z) (sqrt z)))) (- y z))
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (- y z))
  (* (fma 1 t (- (* z 1))) (- y z))
  (* (fma (- z) 1 (* z 1)) (- y z))
  (* t (- y z))
  (* (- z) (- y z))
  (* t (- y z))
  (* (- z) (- y z))
  (* (- y z) (* (cbrt (- t z)) (cbrt (- t z))))
  (* (- y z) (sqrt (- t z)))
  (* (- y z) 1)
  (* (- y z) (+ (sqrt t) (sqrt z)))
  (* (- y z) 1)
  (* (cbrt (- y z)) (- t z))
  (* (sqrt (- y z)) (- t z))
  (* (- y z) (- t z))
  (* (- (sqrt y) (sqrt z)) (- t z))
  (* (- y z) (- t z))
  (* (- y z) (- (pow t 3) (pow z 3)))
  (* (- y z) (- (* t t) (* z z)))
  (* (- (pow y 3) (pow z 3)) (- t z))
  (* (- (* y y) (* z z)) (- t z))
  0
  0
  0
  (- (+ (* t y) (pow z 2)) (* z y))
  (- (+ (* t y) (pow z 2)) (* t z))
  (- (+ (* t y) (pow z 2)) (* t z))
3.056 * * [simplify]: iteration  0 :  176  enodes  (cost  1460 )
3.092 * * [simplify]: iteration  1 :  381  enodes  (cost  1275 )
3.276 * * [simplify]: iteration  2 :  1482  enodes  (cost  1097 )
3.804 * * [simplify]: iteration  done :  5001  enodes  (cost  1079 )
3.804 * [simplify]: Simplified to:
   (expm1 (/ x (* (- y z) (- t z))))
  (log1p (/ x (* (- y z) (- t z))))
  (log (/ x (* (- y z) (- t z))))
  (log (/ x (* (- y z) (- t z))))
  (log (/ x (* (- y z) (- t z))))
  (exp (/ x (* (- y z) (- t z))))
  (pow (/ x (* (- y z) (- t z))) 3)
  (pow (/ x (* (- y z) (- t z))) 3)
  (* (cbrt (/ x (* (- y z) (- t z)))) (cbrt (/ x (* (- y z) (- t z)))))
  (cbrt (/ x (* (- y z) (- t z))))
  (pow (/ x (* (- y z) (- t z))) 3)
  (sqrt (/ x (* (- y z) (- t z))))
  (sqrt (/ x (* (- y z) (- t z))))
  (- x)
  (- (* (- y z) (- t z)))
  (/ (* (cbrt x) (cbrt x)) (- y z))
  (/ (cbrt x) (- t z))
  (/ (sqrt x) (- y z))
  (/ (sqrt x) (- t z))
  (/ 1 (- y z))
  (/ x (- t z))
  (/ 1 (* (- y z) (- t z)))
  (/ (* (- y z) (- t z)) x)
  (/ x (- y z))
  (/ (* (- y z) (- t z)) (cbrt x))
  (/ (* (- y z) (- t z)) (sqrt x))
  (/ (* (- y z) (- t z)) x)
  (/ x (* (- (pow y 3) (pow z 3)) (- (pow t 3) (pow z 3))))
  (/ x (* (- (pow y 3) (pow z 3)) (- (* t t) (* z z))))
  (/ x (* (- (* y y) (* z z)) (- (pow t 3) (pow z 3))))
  (/ x (* (- (* y y) (* z z)) (- (* t t) (* z z))))
  (/ x (* (- y z) (- (pow t 3) (pow z 3))))
  (/ x (* (- y z) (- (* t t) (* z z))))
  (/ x (* (- (pow y 3) (pow z 3)) (- t z)))
  (/ x (* (- (* y y) (* z z)) (- t z)))
  (expm1 (* (- y z) (- t z)))
  (log1p (* (- y z) (- t z)))
  (* (- t z) (- y z))
  (log (* (- y z) (- t z)))
  (log (* (- y z) (- t z)))
  (exp (* (- y z) (- t z)))
  (pow (* (- y z) (- t z)) 3)
  (* (cbrt (* (- y z) (- t z))) (cbrt (* (- y z) (- t z))))
  (cbrt (* (- y z) (- t z)))
  (pow (* (- y z) (- t z)) 3)
  (sqrt (* (- y z) (- t z)))
  (sqrt (* (- y z) (- t z)))
  (* (- (pow y 3) (pow z 3)) (- (pow t 3) (pow z 3)))
  (* (fma t t (* z (+ t z))) (fma y y (* z (+ y z))))
  (* (- (pow y 3) (pow z 3)) (- (* t t) (* z z)))
  (* (fma y y (* z (+ y z))) (+ t z))
  (* (- (* y y) (* z z)) (- (pow t 3) (pow z 3)))
  (* (fma t t (* z (+ t z))) (+ y z))
  (* (- (* y y) (* z z)) (- (* t t) (* z z)))
  (* (+ y z) (+ t z))
  (* (sqrt (- y z)) (sqrt (- t z)))
  (* (sqrt (- y z)) (sqrt (- t z)))
  (* (- y z) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- z)))
  (* (- y z) (- z z))
  (* (- y z) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- z)))
  (* (- y z) (- z z))
  (* (- y z) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- z)))
  (* (- y z) (- z z))
  (* (- t z) (- y z))
  (* (- y z) (- z z))
  (* (- t z) (- y z))
  (* (- y z) (- z z))
  (* (- t z) (- y z))
  (* (- y z) (- z z))
  (* (- t z) (- y z))
  (* (- y z) (- z z))
  (* (- t z) (- y z))
  (* (- y z) (- z z))
  (* (- t z) (- y z))
  (* (- y z) (- z z))
  (* t (- y z))
  (* (- z) (- y z))
  (* t (- y z))
  (* (- z) (- y z))
  (* (- y z) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- z)))
  (* (- y z) (- z z))
  (* (- y z) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- z)))
  (* (- y z) (- z z))
  (* (- y z) (fma (* (cbrt t) (cbrt t)) (cbrt t) (- z)))
  (* (- y z) (- z z))
  (* (- t z) (- y z))
  (* (- y z) (- z z))
  (* (- t z) (- y z))
  (* (- y z) (- z z))
  (* (- t z) (- y z))
  (* (- y z) (- z z))
  (* (- t z) (- y z))
  (* (- y z) (- z z))
  (* (- t z) (- y z))
  (* (- y z) (- z z))
  (* (- t z) (- y z))
  (* (- y z) (- z z))
  (* t (- y z))
  (* (- z) (- y z))
  (* t (- y z))
  (* (- z) (- y z))
  (* (- y z) (* (cbrt (- t z)) (cbrt (- t z))))
  (* (- y z) (sqrt (- t z)))
  (- y z)
  (* (- y z) (+ (sqrt t) (sqrt z)))
  (- y z)
  (* (cbrt (- y z)) (- t z))
  (* (sqrt (- y z)) (- t z))
  (* (- t z) (- y z))
  (* (- (sqrt y) (sqrt z)) (- t z))
  (* (- t z) (- y z))
  (* (- y z) (- (pow t 3) (pow z 3)))
  (* (- y z) (- (* t t) (* z z)))
  (* (- (pow y 3) (pow z 3)) (- t z))
  (* (- (* y y) (* z z)) (- t z))
  0
  0
  0
  (fma y t (* z (- z y)))
  (fma y t (* z (- z t)))
  (fma y t (* z (- z t)))
3.805 * * * [progress]: adding candidates to table
4.002 * * [progress]: iteration 2 / 4
4.002 * * * [progress]: picking best candidate
4.018 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))>
4.018 * * * [progress]: localizing error
4.029 * * * [progress]: generating rewritten candidates
4.029 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
4.076 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
4.077 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
4.077 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
4.083 * * * [progress]: generating series expansions
4.083 * * * * [progress]: [ 1 / 4 ] generating series at (2)
4.083 * [approximate]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in (x y z t) around 0
4.083 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in t
4.083 * [taylor]: Taking taylor expansion of x in t
4.083 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in t
4.083 * [taylor]: Taking taylor expansion of (- y z) in t
4.083 * [taylor]: Taking taylor expansion of y in t
4.083 * [taylor]: Taking taylor expansion of z in t
4.083 * [taylor]: Taking taylor expansion of (- t z) in t
4.083 * [taylor]: Taking taylor expansion of t in t
4.083 * [taylor]: Taking taylor expansion of z in t
4.083 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in z
4.083 * [taylor]: Taking taylor expansion of x in z
4.083 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in z
4.083 * [taylor]: Taking taylor expansion of (- y z) in z
4.083 * [taylor]: Taking taylor expansion of y in z
4.083 * [taylor]: Taking taylor expansion of z in z
4.083 * [taylor]: Taking taylor expansion of (- t z) in z
4.083 * [taylor]: Taking taylor expansion of t in z
4.084 * [taylor]: Taking taylor expansion of z in z
4.085 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in y
4.085 * [taylor]: Taking taylor expansion of x in y
4.085 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in y
4.085 * [taylor]: Taking taylor expansion of (- y z) in y
4.085 * [taylor]: Taking taylor expansion of y in y
4.085 * [taylor]: Taking taylor expansion of z in y
4.085 * [taylor]: Taking taylor expansion of (- t z) in y
4.085 * [taylor]: Taking taylor expansion of t in y
4.085 * [taylor]: Taking taylor expansion of z in y
4.085 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in x
4.085 * [taylor]: Taking taylor expansion of x in x
4.085 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in x
4.085 * [taylor]: Taking taylor expansion of (- y z) in x
4.085 * [taylor]: Taking taylor expansion of y in x
4.085 * [taylor]: Taking taylor expansion of z in x
4.085 * [taylor]: Taking taylor expansion of (- t z) in x
4.085 * [taylor]: Taking taylor expansion of t in x
4.085 * [taylor]: Taking taylor expansion of z in x
4.085 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in x
4.085 * [taylor]: Taking taylor expansion of x in x
4.085 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in x
4.085 * [taylor]: Taking taylor expansion of (- y z) in x
4.085 * [taylor]: Taking taylor expansion of y in x
4.085 * [taylor]: Taking taylor expansion of z in x
4.085 * [taylor]: Taking taylor expansion of (- t z) in x
4.085 * [taylor]: Taking taylor expansion of t in x
4.085 * [taylor]: Taking taylor expansion of z in x
4.086 * [taylor]: Taking taylor expansion of (/ 1 (* (- y z) (- t z))) in y
4.086 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in y
4.086 * [taylor]: Taking taylor expansion of (- y z) in y
4.086 * [taylor]: Taking taylor expansion of y in y
4.086 * [taylor]: Taking taylor expansion of z in y
4.086 * [taylor]: Taking taylor expansion of (- t z) in y
4.086 * [taylor]: Taking taylor expansion of t in y
4.086 * [taylor]: Taking taylor expansion of z in y
4.086 * [taylor]: Taking taylor expansion of (/ -1 (* z (- t z))) in z
4.086 * [taylor]: Taking taylor expansion of -1 in z
4.086 * [taylor]: Taking taylor expansion of (* z (- t z)) in z
4.086 * [taylor]: Taking taylor expansion of z in z
4.086 * [taylor]: Taking taylor expansion of (- t z) in z
4.086 * [taylor]: Taking taylor expansion of t in z
4.086 * [taylor]: Taking taylor expansion of z in z
4.089 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2))) in t
4.089 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
4.089 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.089 * [taylor]: Taking taylor expansion of t in t
4.093 * [taylor]: Taking taylor expansion of 0 in y
4.093 * [taylor]: Taking taylor expansion of 0 in z
4.093 * [taylor]: Taking taylor expansion of 0 in t
4.094 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (- t z)))) in z
4.094 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (- t z))) in z
4.094 * [taylor]: Taking taylor expansion of (* (pow z 2) (- t z)) in z
4.094 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.095 * [taylor]: Taking taylor expansion of z in z
4.095 * [taylor]: Taking taylor expansion of (- t z) in z
4.095 * [taylor]: Taking taylor expansion of t in z
4.095 * [taylor]: Taking taylor expansion of z in z
4.099 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 3))) in t
4.099 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
4.099 * [taylor]: Taking taylor expansion of (pow t 3) in t
4.099 * [taylor]: Taking taylor expansion of t in t
4.106 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 3))) in t
4.106 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
4.106 * [taylor]: Taking taylor expansion of (pow t 3) in t
4.106 * [taylor]: Taking taylor expansion of t in t
4.114 * [taylor]: Taking taylor expansion of 0 in y
4.114 * [taylor]: Taking taylor expansion of 0 in z
4.114 * [taylor]: Taking taylor expansion of 0 in t
4.115 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in (x y z t) around 0
4.115 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in t
4.115 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in t
4.115 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
4.115 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.115 * [taylor]: Taking taylor expansion of t in t
4.115 * [taylor]: Taking taylor expansion of (/ 1 z) in t
4.115 * [taylor]: Taking taylor expansion of z in t
4.115 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in t
4.115 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
4.115 * [taylor]: Taking taylor expansion of (/ 1 y) in t
4.115 * [taylor]: Taking taylor expansion of y in t
4.116 * [taylor]: Taking taylor expansion of (/ 1 z) in t
4.116 * [taylor]: Taking taylor expansion of z in t
4.116 * [taylor]: Taking taylor expansion of x in t
4.116 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in z
4.116 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in z
4.116 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
4.116 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.116 * [taylor]: Taking taylor expansion of t in z
4.116 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.116 * [taylor]: Taking taylor expansion of z in z
4.117 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in z
4.117 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
4.117 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.117 * [taylor]: Taking taylor expansion of y in z
4.117 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.117 * [taylor]: Taking taylor expansion of z in z
4.117 * [taylor]: Taking taylor expansion of x in z
4.118 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in y
4.118 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in y
4.118 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
4.118 * [taylor]: Taking taylor expansion of (/ 1 t) in y
4.118 * [taylor]: Taking taylor expansion of t in y
4.118 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.118 * [taylor]: Taking taylor expansion of z in y
4.118 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in y
4.118 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
4.118 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.118 * [taylor]: Taking taylor expansion of y in y
4.119 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.119 * [taylor]: Taking taylor expansion of z in y
4.119 * [taylor]: Taking taylor expansion of x in y
4.119 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in x
4.119 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in x
4.119 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
4.119 * [taylor]: Taking taylor expansion of (/ 1 t) in x
4.119 * [taylor]: Taking taylor expansion of t in x
4.119 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.119 * [taylor]: Taking taylor expansion of z in x
4.119 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in x
4.119 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
4.120 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.120 * [taylor]: Taking taylor expansion of y in x
4.120 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.120 * [taylor]: Taking taylor expansion of z in x
4.120 * [taylor]: Taking taylor expansion of x in x
4.122 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in x
4.122 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in x
4.122 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
4.122 * [taylor]: Taking taylor expansion of (/ 1 t) in x
4.122 * [taylor]: Taking taylor expansion of t in x
4.123 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.123 * [taylor]: Taking taylor expansion of z in x
4.123 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in x
4.123 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
4.123 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.123 * [taylor]: Taking taylor expansion of y in x
4.123 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.123 * [taylor]: Taking taylor expansion of z in x
4.123 * [taylor]: Taking taylor expansion of x in x
4.125 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y))))) in y
4.126 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y)))) in y
4.126 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 (pow z 2))) in y
4.126 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
4.126 * [taylor]: Taking taylor expansion of (* t y) in y
4.126 * [taylor]: Taking taylor expansion of t in y
4.126 * [taylor]: Taking taylor expansion of y in y
4.126 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
4.126 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.126 * [taylor]: Taking taylor expansion of z in y
4.126 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* z y))) in y
4.126 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
4.126 * [taylor]: Taking taylor expansion of (* t z) in y
4.126 * [taylor]: Taking taylor expansion of t in y
4.126 * [taylor]: Taking taylor expansion of z in y
4.126 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.126 * [taylor]: Taking taylor expansion of (* z y) in y
4.126 * [taylor]: Taking taylor expansion of z in y
4.126 * [taylor]: Taking taylor expansion of y in y
4.127 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 z))) in z
4.127 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
4.127 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.127 * [taylor]: Taking taylor expansion of t in z
4.127 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.127 * [taylor]: Taking taylor expansion of z in z
4.129 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
4.129 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.129 * [taylor]: Taking taylor expansion of t in t
4.133 * [taylor]: Taking taylor expansion of 0 in y
4.133 * [taylor]: Taking taylor expansion of 0 in z
4.133 * [taylor]: Taking taylor expansion of 0 in t
4.139 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z))) (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2)))) in z
4.140 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z))) in z
4.140 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z)) in z
4.140 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 2) in z
4.140 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
4.140 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.140 * [taylor]: Taking taylor expansion of t in z
4.140 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.140 * [taylor]: Taking taylor expansion of z in z
4.141 * [taylor]: Taking taylor expansion of (* t z) in z
4.141 * [taylor]: Taking taylor expansion of t in z
4.141 * [taylor]: Taking taylor expansion of z in z
4.143 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2))) in z
4.143 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2)) in z
4.143 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 2) in z
4.143 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
4.143 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.143 * [taylor]: Taking taylor expansion of t in z
4.143 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.143 * [taylor]: Taking taylor expansion of z in z
4.144 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.144 * [taylor]: Taking taylor expansion of z in z
4.153 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2))) in t
4.153 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
4.153 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.153 * [taylor]: Taking taylor expansion of t in t
4.159 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2))) in t
4.159 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
4.159 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.159 * [taylor]: Taking taylor expansion of t in t
4.167 * [taylor]: Taking taylor expansion of 0 in y
4.167 * [taylor]: Taking taylor expansion of 0 in z
4.167 * [taylor]: Taking taylor expansion of 0 in t
4.168 * [approximate]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in (x y z t) around 0
4.168 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in t
4.168 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t
4.168 * [taylor]: Taking taylor expansion of (cbrt -1) in t
4.168 * [taylor]: Taking taylor expansion of -1 in t
4.169 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t)))) in t
4.169 * [taylor]: Taking taylor expansion of x in t
4.169 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))) in t
4.169 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
4.169 * [taylor]: Taking taylor expansion of (/ 1 z) in t
4.169 * [taylor]: Taking taylor expansion of z in t
4.169 * [taylor]: Taking taylor expansion of (/ 1 y) in t
4.169 * [taylor]: Taking taylor expansion of y in t
4.169 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
4.169 * [taylor]: Taking taylor expansion of (/ 1 z) in t
4.169 * [taylor]: Taking taylor expansion of z in t
4.169 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.170 * [taylor]: Taking taylor expansion of t in t
4.174 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in z
4.174 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
4.174 * [taylor]: Taking taylor expansion of (cbrt -1) in z
4.174 * [taylor]: Taking taylor expansion of -1 in z
4.175 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t)))) in z
4.175 * [taylor]: Taking taylor expansion of x in z
4.175 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))) in z
4.175 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
4.175 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.175 * [taylor]: Taking taylor expansion of z in z
4.175 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.175 * [taylor]: Taking taylor expansion of y in z
4.175 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
4.175 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.175 * [taylor]: Taking taylor expansion of z in z
4.176 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.176 * [taylor]: Taking taylor expansion of t in z
4.180 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in y
4.180 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
4.180 * [taylor]: Taking taylor expansion of (cbrt -1) in y
4.180 * [taylor]: Taking taylor expansion of -1 in y
4.181 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t)))) in y
4.181 * [taylor]: Taking taylor expansion of x in y
4.181 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))) in y
4.181 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
4.181 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.181 * [taylor]: Taking taylor expansion of z in y
4.181 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.181 * [taylor]: Taking taylor expansion of y in y
4.181 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
4.181 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.181 * [taylor]: Taking taylor expansion of z in y
4.181 * [taylor]: Taking taylor expansion of (/ 1 t) in y
4.181 * [taylor]: Taking taylor expansion of t in y
4.185 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in x
4.185 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
4.185 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.185 * [taylor]: Taking taylor expansion of -1 in x
4.186 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t)))) in x
4.186 * [taylor]: Taking taylor expansion of x in x
4.186 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))) in x
4.186 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
4.186 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.186 * [taylor]: Taking taylor expansion of z in x
4.186 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.186 * [taylor]: Taking taylor expansion of y in x
4.186 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
4.186 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.186 * [taylor]: Taking taylor expansion of z in x
4.186 * [taylor]: Taking taylor expansion of (/ 1 t) in x
4.186 * [taylor]: Taking taylor expansion of t in x
4.192 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in x
4.192 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
4.192 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.192 * [taylor]: Taking taylor expansion of -1 in x
4.193 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t)))) in x
4.193 * [taylor]: Taking taylor expansion of x in x
4.193 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))) in x
4.193 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
4.193 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.193 * [taylor]: Taking taylor expansion of z in x
4.193 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.193 * [taylor]: Taking taylor expansion of y in x
4.193 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
4.193 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.193 * [taylor]: Taking taylor expansion of z in x
4.193 * [taylor]: Taking taylor expansion of (/ 1 t) in x
4.193 * [taylor]: Taking taylor expansion of t in x
4.199 * [taylor]: Taking taylor expansion of (/ -1 (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y))))) in y
4.199 * [taylor]: Taking taylor expansion of -1 in y
4.199 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y)))) in y
4.199 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 (pow z 2))) in y
4.199 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
4.199 * [taylor]: Taking taylor expansion of (* t y) in y
4.199 * [taylor]: Taking taylor expansion of t in y
4.199 * [taylor]: Taking taylor expansion of y in y
4.200 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
4.200 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.200 * [taylor]: Taking taylor expansion of z in y
4.200 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* z y))) in y
4.200 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
4.200 * [taylor]: Taking taylor expansion of (* t z) in y
4.200 * [taylor]: Taking taylor expansion of t in y
4.200 * [taylor]: Taking taylor expansion of z in y
4.200 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.200 * [taylor]: Taking taylor expansion of (* z y) in y
4.200 * [taylor]: Taking taylor expansion of z in y
4.200 * [taylor]: Taking taylor expansion of y in y
4.200 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 t) (/ 1 z))) in z
4.201 * [taylor]: Taking taylor expansion of -1 in z
4.201 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
4.201 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.201 * [taylor]: Taking taylor expansion of t in z
4.201 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.201 * [taylor]: Taking taylor expansion of z in z
4.203 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.203 * [taylor]: Taking taylor expansion of t in t
4.209 * [taylor]: Taking taylor expansion of 0 in y
4.209 * [taylor]: Taking taylor expansion of 0 in z
4.209 * [taylor]: Taking taylor expansion of 0 in t
4.211 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2))) (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z)))) in z
4.211 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2))) in z
4.211 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 2) (pow z 2)) in z
4.211 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 2) in z
4.211 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
4.211 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.211 * [taylor]: Taking taylor expansion of t in z
4.211 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.211 * [taylor]: Taking taylor expansion of z in z
4.212 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.212 * [taylor]: Taking taylor expansion of z in z
4.213 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z))) in z
4.213 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t z)) in z
4.213 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 2) in z
4.213 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
4.213 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.213 * [taylor]: Taking taylor expansion of t in z
4.213 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.213 * [taylor]: Taking taylor expansion of z in z
4.214 * [taylor]: Taking taylor expansion of (* t z) in z
4.214 * [taylor]: Taking taylor expansion of t in z
4.214 * [taylor]: Taking taylor expansion of z in z
4.223 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
4.223 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.223 * [taylor]: Taking taylor expansion of t in t
4.229 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
4.229 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.229 * [taylor]: Taking taylor expansion of t in t
4.243 * [taylor]: Taking taylor expansion of 0 in y
4.244 * [taylor]: Taking taylor expansion of 0 in z
4.244 * [taylor]: Taking taylor expansion of 0 in t
4.244 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
4.244 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
4.244 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.244 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.244 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.244 * [taylor]: Taking taylor expansion of 1/3 in x
4.244 * [taylor]: Taking taylor expansion of (log x) in x
4.244 * [taylor]: Taking taylor expansion of x in x
4.245 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.245 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.245 * [taylor]: Taking taylor expansion of 1/3 in x
4.245 * [taylor]: Taking taylor expansion of (log x) in x
4.245 * [taylor]: Taking taylor expansion of x in x
4.298 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
4.298 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.298 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.298 * [taylor]: Taking taylor expansion of 1/3 in x
4.298 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.298 * [taylor]: Taking taylor expansion of x in x
4.299 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.299 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.299 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.299 * [taylor]: Taking taylor expansion of 1/3 in x
4.299 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.299 * [taylor]: Taking taylor expansion of x in x
4.361 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
4.361 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
4.361 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.361 * [taylor]: Taking taylor expansion of -1 in x
4.362 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.362 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.362 * [taylor]: Taking taylor expansion of 1/3 in x
4.362 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.362 * [taylor]: Taking taylor expansion of x in x
4.363 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
4.363 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.363 * [taylor]: Taking taylor expansion of -1 in x
4.364 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.364 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.364 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.364 * [taylor]: Taking taylor expansion of 1/3 in x
4.364 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.364 * [taylor]: Taking taylor expansion of x in x
4.439 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
4.439 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
4.439 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.439 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.439 * [taylor]: Taking taylor expansion of 1/3 in x
4.439 * [taylor]: Taking taylor expansion of (log x) in x
4.439 * [taylor]: Taking taylor expansion of x in x
4.440 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.440 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.440 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.440 * [taylor]: Taking taylor expansion of 1/3 in x
4.440 * [taylor]: Taking taylor expansion of (log x) in x
4.440 * [taylor]: Taking taylor expansion of x in x
4.497 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
4.498 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.498 * [taylor]: Taking taylor expansion of 1/3 in x
4.498 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.498 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.498 * [taylor]: Taking taylor expansion of x in x
4.499 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.499 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.499 * [taylor]: Taking taylor expansion of 1/3 in x
4.499 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.499 * [taylor]: Taking taylor expansion of x in x
4.556 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
4.556 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
4.556 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.557 * [taylor]: Taking taylor expansion of -1 in x
4.557 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.558 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.558 * [taylor]: Taking taylor expansion of 1/3 in x
4.558 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.558 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.558 * [taylor]: Taking taylor expansion of x in x
4.559 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
4.559 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.559 * [taylor]: Taking taylor expansion of -1 in x
4.560 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.560 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.560 * [taylor]: Taking taylor expansion of 1/3 in x
4.560 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.560 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.560 * [taylor]: Taking taylor expansion of x in x
4.639 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
4.639 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
4.639 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.639 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.639 * [taylor]: Taking taylor expansion of 1/3 in x
4.639 * [taylor]: Taking taylor expansion of (log x) in x
4.639 * [taylor]: Taking taylor expansion of x in x
4.640 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.640 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.640 * [taylor]: Taking taylor expansion of 1/3 in x
4.640 * [taylor]: Taking taylor expansion of (log x) in x
4.640 * [taylor]: Taking taylor expansion of x in x
4.702 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
4.702 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.702 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.702 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.702 * [taylor]: Taking taylor expansion of 1/3 in x
4.702 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.702 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.702 * [taylor]: Taking taylor expansion of x in x
4.703 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.703 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.703 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.703 * [taylor]: Taking taylor expansion of 1/3 in x
4.703 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.703 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.703 * [taylor]: Taking taylor expansion of x in x
4.770 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
4.770 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
4.770 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.770 * [taylor]: Taking taylor expansion of -1 in x
4.771 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.771 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.771 * [taylor]: Taking taylor expansion of 1/3 in x
4.771 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.771 * [taylor]: Taking taylor expansion of x in x
4.772 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
4.772 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.772 * [taylor]: Taking taylor expansion of -1 in x
4.773 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.773 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.773 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.773 * [taylor]: Taking taylor expansion of 1/3 in x
4.773 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.773 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.773 * [taylor]: Taking taylor expansion of x in x
4.853 * * * [progress]: simplifying candidates
4.855 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))
  (log1p (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z)))
  (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (- y z))) (- (log (cbrt x)) (log (- t z))))
  (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (- y z))) (log (/ (cbrt x) (- t z))))
  (+ (- (log (* (cbrt x) (cbrt x))) (log (- y z))) (- (log (cbrt x)) (log (- t z))))
  (+ (- (log (* (cbrt x) (cbrt x))) (log (- y z))) (log (/ (cbrt x) (- t z))))
  (+ (log (/ (* (cbrt x) (cbrt x)) (- y z))) (- (log (cbrt x)) (log (- t z))))
  (+ (log (/ (* (cbrt x) (cbrt x)) (- y z))) (log (/ (cbrt x) (- t z))))
  (log (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))
  (exp (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))
  (* (/ (* x x) (* (* (- y z) (- y z)) (- y z))) (/ x (* (* (- t z) (- t z)) (- t z))))
  (* (/ (* x x) (* (* (- y z) (- y z)) (- y z))) (* (* (/ (cbrt x) (- t z)) (/ (cbrt x) (- t z))) (/ (cbrt x) (- t z))))
  (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (- y z) (- y z)) (- y z))) (/ x (* (* (- t z) (- t z)) (- t z))))
  (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (- y z) (- y z)) (- y z))) (* (* (/ (cbrt x) (- t z)) (/ (cbrt x) (- t z))) (/ (cbrt x) (- t z))))
  (* (* (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (* (cbrt x) (cbrt x)) (- y z))) (/ (* (cbrt x) (cbrt x)) (- y z))) (/ x (* (* (- t z) (- t z)) (- t z))))
  (* (* (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (* (cbrt x) (cbrt x)) (- y z))) (/ (* (cbrt x) (cbrt x)) (- y z))) (* (* (/ (cbrt x) (- t z)) (/ (cbrt x) (- t z))) (/ (cbrt x) (- t z))))
  (* (cbrt (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z)))) (cbrt (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z)))))
  (cbrt (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))
  (* (* (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z)))) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))
  (sqrt (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))
  (sqrt (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (* (- y z) (- t z))
  (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y z))) (sqrt (/ (cbrt x) (- t z))))
  (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y z))) (sqrt (/ (cbrt x) (- t z))))
  (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y z))) (/ (cbrt (sqrt x)) (sqrt (- t z))))
  (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y z))) (/ (cbrt (sqrt x)) (sqrt (- t z))))
  (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y z))) (/ (sqrt (cbrt x)) (sqrt (- t z))))
  (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y z))) (/ (sqrt (cbrt x)) (sqrt (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (sqrt (/ (cbrt x) (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (sqrt (/ (cbrt x) (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (/ (cbrt (sqrt x)) (sqrt (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (/ (cbrt (sqrt x)) (sqrt (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (/ (sqrt (cbrt x)) (sqrt (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (/ (sqrt (cbrt x)) (sqrt (- t z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (* (cbrt (/ (cbrt x) (- t z))) (cbrt (/ (cbrt x) (- t z)))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (sqrt (/ (cbrt x) (- t z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (- t z)) (cbrt (- t z)))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt (- t z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt (* (cbrt x) (cbrt x))) 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt (* (cbrt x) (cbrt x))) (+ (sqrt t) (sqrt z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt (* (cbrt x) (cbrt x))) 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt (sqrt x)) (* (cbrt (- t z)) (cbrt (- t z)))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt (sqrt x)) (sqrt (- t z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt (sqrt x)) 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt (sqrt x)) (+ (sqrt t) (sqrt z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt (sqrt x)) 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt 1) (* (cbrt (- t z)) (cbrt (- t z)))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt 1) (sqrt (- t z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt 1) 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt 1) (+ (sqrt t) (sqrt z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt 1) 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (- t z)) (cbrt (- t z)))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (sqrt (- t z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (+ (sqrt t) (sqrt z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (sqrt (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (sqrt (cbrt x)) (sqrt (- t z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (sqrt (cbrt x)) 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (sqrt (cbrt x)) (+ (sqrt t) (sqrt z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (sqrt (cbrt x)) 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ 1 (sqrt (- t z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ 1 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ 1 (+ (sqrt t) (sqrt z))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ 1 1))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) 1)
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (cbrt x))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- (pow t 3) (pow z 3))))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- (* t t) (* z z))))
  (* (cbrt (/ (* (cbrt x) (cbrt x)) (- y z))) (/ (cbrt x) (- t z)))
  (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y z))) (/ (cbrt x) (- t z)))
  (* (/ (cbrt x) (cbrt (- y z))) (/ (cbrt x) (- t z)))
  (* (/ (cbrt x) (sqrt (- y z))) (/ (cbrt x) (- t z)))
  (* (/ (cbrt x) (- y z)) (/ (cbrt x) (- t z)))
  (* (/ (cbrt x) (- (sqrt y) (sqrt z))) (/ (cbrt x) (- t z)))
  (* (/ (cbrt x) (- y z)) (/ (cbrt x) (- t z)))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z)))
  (* (/ 1 (- y z)) (/ (cbrt x) (- t z)))
  (* (+ (* y y) (+ (* z z) (* y z))) (/ (cbrt x) (- t z)))
  (* (+ y z) (/ (cbrt x) (- t z)))
  (* (/ (* (cbrt x) (cbrt x)) (- y z)) (cbrt x))
  (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (- t 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))
4.861 * * [simplify]: iteration  0 :  184  enodes  (cost  1873 )
4.915 * * [simplify]: iteration  1 :  542  enodes  (cost  1792 )
5.204 * * [simplify]: iteration  2 :  2133  enodes  (cost  1388 )
5.743 * * [simplify]: iteration  done :  5000  enodes  (cost  1388 )
5.744 * [simplify]: Simplified to:
   (expm1 (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (log1p (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (/ (/ (pow (cbrt x) 3) (- t z)) (- y z))
  (log (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (log (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (log (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (log (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (log (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (log (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (log (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (exp (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (* (/ x (/ (pow (- y z) 3) x)) (/ x (pow (- t z) 3)))
  (/ (* x x) (/ (pow (- y z) 3) (pow (/ (cbrt x) (- t z)) 3)))
  (/ (pow (/ (pow x 2/3) (- y z)) 3) (/ (pow (- t z) 3) x))
  (pow (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)) 3)
  (/ (pow (/ (pow x 2/3) (- y z)) 3) (/ (pow (- t z) 3) x))
  (pow (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)) 3)
  (* (cbrt (/ (/ (pow (cbrt x) 3) (- t z)) (- y z))) (cbrt (/ (/ (pow (cbrt x) 3) (- t z)) (- y z))))
  (cbrt (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (pow (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)) 3)
  (sqrt (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (sqrt (/ (/ (pow (cbrt x) 3) (- t z)) (- y z)))
  (pow (cbrt x) 3)
  (* (- y z) (- t z))
  (* (sqrt (/ (cbrt x) (- t z))) (sqrt (/ (pow x 2/3) (- y z))))
  (* (sqrt (/ (cbrt x) (- t z))) (sqrt (/ (pow x 2/3) (- y z))))
  (* (sqrt (/ (pow x 2/3) (- y z))) (/ (cbrt (sqrt x)) (sqrt (- t z))))
  (* (sqrt (/ (pow x 2/3) (- y z))) (/ (cbrt (sqrt x)) (sqrt (- t z))))
  (* (sqrt (/ (pow x 2/3) (- y z))) (/ (sqrt (cbrt x)) (sqrt (- t z))))
  (* (sqrt (/ (pow x 2/3) (- y z))) (/ (sqrt (cbrt x)) (sqrt (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (sqrt (/ (cbrt x) (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (sqrt (/ (cbrt x) (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (/ (cbrt (sqrt x)) (sqrt (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (/ (cbrt (sqrt x)) (sqrt (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (/ (sqrt (cbrt x)) (sqrt (- t z))))
  (* (/ (cbrt x) (sqrt (- y z))) (/ (sqrt (cbrt x)) (sqrt (- t z))))
  (/ (pow x 2/3) (/ (- y z) (* (cbrt (/ (cbrt x) (- t z))) (cbrt (/ (cbrt x) (- t z))))))
  (/ (pow x 2/3) (/ (- y z) (sqrt (/ (cbrt x) (- t z)))))
  (/ (* (pow x 2/3) (cbrt (pow x 2/3))) (* (* (cbrt (- t z)) (cbrt (- t z))) (- y z)))
  (/ (cbrt (pow x 2/3)) (/ (sqrt (- t z)) (/ (pow x 2/3) (- y z))))
  (* (cbrt (pow x 2/3)) (/ (pow x 2/3) (- y z)))
  (/ (* (pow x 2/3) (cbrt (pow x 2/3))) (* (+ (sqrt t) (sqrt z)) (- y z)))
  (* (cbrt (pow x 2/3)) (/ (pow x 2/3) (- y z)))
  (/ (pow x 2/3) (/ (- y z) (/ (cbrt (sqrt x)) (* (cbrt (- t z)) (cbrt (- t z))))))
  (/ (pow x 2/3) (/ (- y z) (/ (cbrt (sqrt x)) (sqrt (- t z)))))
  (/ (pow x 2/3) (/ (- y z) (cbrt (sqrt x))))
  (/ (pow x 2/3) (/ (- y z) (/ (cbrt (sqrt x)) (+ (sqrt t) (sqrt z)))))
  (/ (pow x 2/3) (/ (- y z) (cbrt (sqrt x))))
  (/ (pow x 2/3) (* (* (cbrt (- t z)) (cbrt (- t z))) (- y z)))
  (/ (/ (pow x 2/3) (sqrt (- t z))) (- y z))
  (/ (pow x 2/3) (- y z))
  (/ (/ (pow x 2/3) (- y z)) (+ (sqrt t) (sqrt z)))
  (/ (pow x 2/3) (- y z))
  (/ (pow x 2/3) (/ (- y z) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (- t z)) (cbrt (- t z))))))
  (/ (/ (pow x 2/3) (/ (- y z) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (sqrt (- t z)))
  (/ (pow x 2/3) (/ (- y z) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (pow x 2/3) (/ (- y z) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (+ (sqrt t) (sqrt z)))))
  (/ (pow x 2/3) (/ (- y z) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (pow x 2/3) (/ (- y z) (/ (sqrt (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z))))))
  (/ (/ (* (pow x 2/3) (sqrt (cbrt x))) (- y z)) (sqrt (- t z)))
  (/ (* (pow x 2/3) (sqrt (cbrt x))) (- y z))
  (/ (* (pow x 2/3) (/ (sqrt (cbrt x)) (+ (sqrt t) (sqrt z)))) (- y z))
  (/ (* (pow x 2/3) (sqrt (cbrt x))) (- y z))
  (/ (pow x 2/3) (* (* (cbrt (- t z)) (cbrt (- t z))) (- y z)))
  (/ (/ (pow x 2/3) (sqrt (- t z))) (- y z))
  (/ (pow x 2/3) (- y z))
  (/ (/ (pow x 2/3) (- y z)) (+ (sqrt t) (sqrt z)))
  (/ (pow x 2/3) (- y z))
  (/ (pow x 2/3) (- y z))
  (/ (pow (cbrt x) 3) (- y z))
  (/ (/ (pow (cbrt x) 3) (- (pow t 3) (pow z 3))) (- y z))
  (/ (/ (pow (cbrt x) 3) (- y z)) (- (* t t) (* z z)))
  (/ (cbrt (/ (pow x 2/3) (- y z))) (/ (- t z) (cbrt x)))
  (* (/ (cbrt x) (- t z)) (sqrt (/ (pow x 2/3) (- y z))))
  (/ (/ (pow x 2/3) (cbrt (- y z))) (- t z))
  (/ (/ (pow x 2/3) (sqrt (- y z))) (- t z))
  (/ (/ (pow x 2/3) (- y z)) (- t z))
  (/ (/ (pow x 2/3) (- (sqrt y) (sqrt z))) (- t z))
  (/ (/ (pow x 2/3) (- y z)) (- t z))
  (/ (/ (pow (cbrt x) 3) (- t z)) (- y z))
  (/ (/ (cbrt x) (- t z)) (- y z))
  (* (/ (cbrt x) (- t z)) (fma y y (* z (+ y z))))
  (* (+ y z) (/ (cbrt x) (- t z)))
  (/ (pow (cbrt x) 3) (- y z))
  (/ (pow (cbrt x) 3) (- t z))
  (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))
  (pow (cbrt x) 3)
  (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))
  (pow (cbrt x) 3)
  (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))
  (pow (cbrt x) 3)
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  0
  0
  0
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
5.745 * * * [progress]: adding candidates to table
6.177 * * [progress]: iteration 3 / 4
6.177 * * * [progress]: picking best candidate
6.198 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (/ 1 (- y z)) (/ x (- t z))))>
6.198 * * * [progress]: localizing error
6.206 * * * [progress]: generating rewritten candidates
6.206 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
6.241 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
6.247 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
6.259 * * * [progress]: generating series expansions
6.259 * * * * [progress]: [ 1 / 3 ] generating series at (2)
6.259 * [approximate]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in (y z x t) around 0
6.259 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in t
6.259 * [taylor]: Taking taylor expansion of x in t
6.259 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in t
6.259 * [taylor]: Taking taylor expansion of (- y z) in t
6.259 * [taylor]: Taking taylor expansion of y in t
6.259 * [taylor]: Taking taylor expansion of z in t
6.259 * [taylor]: Taking taylor expansion of (- t z) in t
6.259 * [taylor]: Taking taylor expansion of t in t
6.259 * [taylor]: Taking taylor expansion of z in t
6.260 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in x
6.260 * [taylor]: Taking taylor expansion of x in x
6.260 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in x
6.260 * [taylor]: Taking taylor expansion of (- y z) in x
6.260 * [taylor]: Taking taylor expansion of y in x
6.260 * [taylor]: Taking taylor expansion of z in x
6.260 * [taylor]: Taking taylor expansion of (- t z) in x
6.260 * [taylor]: Taking taylor expansion of t in x
6.260 * [taylor]: Taking taylor expansion of z in x
6.260 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in z
6.260 * [taylor]: Taking taylor expansion of x in z
6.260 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in z
6.260 * [taylor]: Taking taylor expansion of (- y z) in z
6.260 * [taylor]: Taking taylor expansion of y in z
6.260 * [taylor]: Taking taylor expansion of z in z
6.260 * [taylor]: Taking taylor expansion of (- t z) in z
6.260 * [taylor]: Taking taylor expansion of t in z
6.260 * [taylor]: Taking taylor expansion of z in z
6.261 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in y
6.261 * [taylor]: Taking taylor expansion of x in y
6.261 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in y
6.261 * [taylor]: Taking taylor expansion of (- y z) in y
6.261 * [taylor]: Taking taylor expansion of y in y
6.261 * [taylor]: Taking taylor expansion of z in y
6.261 * [taylor]: Taking taylor expansion of (- t z) in y
6.261 * [taylor]: Taking taylor expansion of t in y
6.261 * [taylor]: Taking taylor expansion of z in y
6.261 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in y
6.261 * [taylor]: Taking taylor expansion of x in y
6.261 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in y
6.261 * [taylor]: Taking taylor expansion of (- y z) in y
6.261 * [taylor]: Taking taylor expansion of y in y
6.261 * [taylor]: Taking taylor expansion of z in y
6.262 * [taylor]: Taking taylor expansion of (- t z) in y
6.262 * [taylor]: Taking taylor expansion of t in y
6.262 * [taylor]: Taking taylor expansion of z in y
6.262 * [taylor]: Taking taylor expansion of (* -1 (/ x (* z (- t z)))) in z
6.262 * [taylor]: Taking taylor expansion of -1 in z
6.262 * [taylor]: Taking taylor expansion of (/ x (* z (- t z))) in z
6.262 * [taylor]: Taking taylor expansion of x in z
6.262 * [taylor]: Taking taylor expansion of (* z (- t z)) in z
6.262 * [taylor]: Taking taylor expansion of z in z
6.262 * [taylor]: Taking taylor expansion of (- t z) in z
6.262 * [taylor]: Taking taylor expansion of t in z
6.262 * [taylor]: Taking taylor expansion of z in z
6.270 * [taylor]: Taking taylor expansion of (- (/ x (pow t 2))) in x
6.271 * [taylor]: Taking taylor expansion of (/ x (pow t 2)) in x
6.271 * [taylor]: Taking taylor expansion of x in x
6.271 * [taylor]: Taking taylor expansion of (pow t 2) in x
6.271 * [taylor]: Taking taylor expansion of t in x
6.271 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2))) in t
6.271 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
6.272 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.272 * [taylor]: Taking taylor expansion of t in t
6.276 * [taylor]: Taking taylor expansion of (- (/ x (* (pow z 2) (- t z)))) in z
6.276 * [taylor]: Taking taylor expansion of (/ x (* (pow z 2) (- t z))) in z
6.276 * [taylor]: Taking taylor expansion of x in z
6.276 * [taylor]: Taking taylor expansion of (* (pow z 2) (- t z)) in z
6.276 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.276 * [taylor]: Taking taylor expansion of z in z
6.276 * [taylor]: Taking taylor expansion of (- t z) in z
6.276 * [taylor]: Taking taylor expansion of t in z
6.276 * [taylor]: Taking taylor expansion of z in z
6.281 * [taylor]: Taking taylor expansion of (- (/ x (pow t 3))) in x
6.281 * [taylor]: Taking taylor expansion of (/ x (pow t 3)) in x
6.281 * [taylor]: Taking taylor expansion of x in x
6.281 * [taylor]: Taking taylor expansion of (pow t 3) in x
6.281 * [taylor]: Taking taylor expansion of t in x
6.281 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 3))) in t
6.281 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
6.281 * [taylor]: Taking taylor expansion of (pow t 3) in t
6.281 * [taylor]: Taking taylor expansion of t in t
6.289 * [taylor]: Taking taylor expansion of (- (/ x (pow t 3))) in x
6.289 * [taylor]: Taking taylor expansion of (/ x (pow t 3)) in x
6.289 * [taylor]: Taking taylor expansion of x in x
6.289 * [taylor]: Taking taylor expansion of (pow t 3) in x
6.289 * [taylor]: Taking taylor expansion of t in x
6.289 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 3))) in t
6.289 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
6.289 * [taylor]: Taking taylor expansion of (pow t 3) in t
6.289 * [taylor]: Taking taylor expansion of t in t
6.295 * [taylor]: Taking taylor expansion of 0 in t
6.299 * [taylor]: Taking taylor expansion of (- (/ x (* (pow z 3) (- t z)))) in z
6.299 * [taylor]: Taking taylor expansion of (/ x (* (pow z 3) (- t z))) in z
6.299 * [taylor]: Taking taylor expansion of x in z
6.299 * [taylor]: Taking taylor expansion of (* (pow z 3) (- t z)) in z
6.299 * [taylor]: Taking taylor expansion of (pow z 3) in z
6.299 * [taylor]: Taking taylor expansion of z in z
6.299 * [taylor]: Taking taylor expansion of (- t z) in z
6.299 * [taylor]: Taking taylor expansion of t in z
6.299 * [taylor]: Taking taylor expansion of z in z
6.307 * [taylor]: Taking taylor expansion of (- (/ x (pow t 4))) in x
6.307 * [taylor]: Taking taylor expansion of (/ x (pow t 4)) in x
6.307 * [taylor]: Taking taylor expansion of x in x
6.307 * [taylor]: Taking taylor expansion of (pow t 4) in x
6.307 * [taylor]: Taking taylor expansion of t in x
6.308 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 4))) in t
6.308 * [taylor]: Taking taylor expansion of (/ 1 (pow t 4)) in t
6.308 * [taylor]: Taking taylor expansion of (pow t 4) in t
6.308 * [taylor]: Taking taylor expansion of t in t
6.315 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in (y z x t) around 0
6.316 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in t
6.316 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in t
6.316 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
6.316 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.316 * [taylor]: Taking taylor expansion of t in t
6.316 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.316 * [taylor]: Taking taylor expansion of z in t
6.316 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in t
6.316 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
6.316 * [taylor]: Taking taylor expansion of (/ 1 y) in t
6.316 * [taylor]: Taking taylor expansion of y in t
6.316 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.316 * [taylor]: Taking taylor expansion of z in t
6.316 * [taylor]: Taking taylor expansion of x in t
6.317 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in x
6.317 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in x
6.317 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
6.317 * [taylor]: Taking taylor expansion of (/ 1 t) in x
6.317 * [taylor]: Taking taylor expansion of t in x
6.317 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.317 * [taylor]: Taking taylor expansion of z in x
6.317 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in x
6.317 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
6.317 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.317 * [taylor]: Taking taylor expansion of y in x
6.317 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.317 * [taylor]: Taking taylor expansion of z in x
6.317 * [taylor]: Taking taylor expansion of x in x
6.320 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in z
6.320 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in z
6.320 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
6.320 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.320 * [taylor]: Taking taylor expansion of t in z
6.320 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.320 * [taylor]: Taking taylor expansion of z in z
6.320 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in z
6.320 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
6.320 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.320 * [taylor]: Taking taylor expansion of y in z
6.320 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.320 * [taylor]: Taking taylor expansion of z in z
6.321 * [taylor]: Taking taylor expansion of x in z
6.322 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in y
6.322 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in y
6.322 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
6.322 * [taylor]: Taking taylor expansion of (/ 1 t) in y
6.322 * [taylor]: Taking taylor expansion of t in y
6.323 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.323 * [taylor]: Taking taylor expansion of z in y
6.323 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in y
6.323 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
6.323 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.323 * [taylor]: Taking taylor expansion of y in y
6.323 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.323 * [taylor]: Taking taylor expansion of z in y
6.323 * [taylor]: Taking taylor expansion of x in y
6.324 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in y
6.324 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in y
6.324 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
6.324 * [taylor]: Taking taylor expansion of (/ 1 t) in y
6.324 * [taylor]: Taking taylor expansion of t in y
6.324 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.324 * [taylor]: Taking taylor expansion of z in y
6.324 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in y
6.324 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
6.324 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.324 * [taylor]: Taking taylor expansion of y in y
6.324 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.324 * [taylor]: Taking taylor expansion of z in y
6.324 * [taylor]: Taking taylor expansion of x in y
6.325 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in z
6.325 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) x) in z
6.325 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
6.325 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.325 * [taylor]: Taking taylor expansion of t in z
6.325 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.325 * [taylor]: Taking taylor expansion of z in z
6.325 * [taylor]: Taking taylor expansion of x in z
6.327 * [taylor]: Taking taylor expansion of (- (/ 1 (* t x))) in x
6.327 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in x
6.327 * [taylor]: Taking taylor expansion of (* t x) in x
6.327 * [taylor]: Taking taylor expansion of t in x
6.327 * [taylor]: Taking taylor expansion of x in x
6.327 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
6.327 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.327 * [taylor]: Taking taylor expansion of t in t
6.331 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t (* x z)))) (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* x (pow z 2))))) in z
6.331 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t (* x z)))) in z
6.331 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 2) (* t (* x z))) in z
6.331 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 2) in z
6.331 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
6.331 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.331 * [taylor]: Taking taylor expansion of t in z
6.331 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.331 * [taylor]: Taking taylor expansion of z in z
6.332 * [taylor]: Taking taylor expansion of (* t (* x z)) in z
6.332 * [taylor]: Taking taylor expansion of t in z
6.332 * [taylor]: Taking taylor expansion of (* x z) in z
6.332 * [taylor]: Taking taylor expansion of x in z
6.332 * [taylor]: Taking taylor expansion of z in z
6.334 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 2) (* x (pow z 2)))) in z
6.334 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 2) (* x (pow z 2))) in z
6.334 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 2) in z
6.334 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
6.334 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.334 * [taylor]: Taking taylor expansion of t in z
6.335 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.335 * [taylor]: Taking taylor expansion of z in z
6.335 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in z
6.335 * [taylor]: Taking taylor expansion of x in z
6.335 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.335 * [taylor]: Taking taylor expansion of z in z
6.345 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow t 2) x))) in x
6.345 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) x)) in x
6.345 * [taylor]: Taking taylor expansion of (* (pow t 2) x) in x
6.345 * [taylor]: Taking taylor expansion of (pow t 2) in x
6.345 * [taylor]: Taking taylor expansion of t in x
6.345 * [taylor]: Taking taylor expansion of x in x
6.346 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2))) in t
6.346 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
6.346 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.346 * [taylor]: Taking taylor expansion of t in t
6.351 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow t 2) x))) in x
6.351 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) x)) in x
6.351 * [taylor]: Taking taylor expansion of (* (pow t 2) x) in x
6.351 * [taylor]: Taking taylor expansion of (pow t 2) in x
6.351 * [taylor]: Taking taylor expansion of t in x
6.351 * [taylor]: Taking taylor expansion of x in x
6.352 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2))) in t
6.352 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
6.352 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.352 * [taylor]: Taking taylor expansion of t in t
6.357 * [taylor]: Taking taylor expansion of 0 in t
6.368 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 3) (* x (pow z 4)))) (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 3) (* (pow t 2) (* x (pow z 2)))))) (* 2 (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 3) (* t (* x (pow z 3))))))) in z
6.368 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 3) (* x (pow z 4)))) (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 3) (* (pow t 2) (* x (pow z 2)))))) in z
6.368 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 3) (* x (pow z 4)))) in z
6.368 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 3) (* x (pow z 4))) in z
6.368 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 3) in z
6.368 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
6.368 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.368 * [taylor]: Taking taylor expansion of t in z
6.368 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.368 * [taylor]: Taking taylor expansion of z in z
6.370 * [taylor]: Taking taylor expansion of (* x (pow z 4)) in z
6.370 * [taylor]: Taking taylor expansion of x in z
6.370 * [taylor]: Taking taylor expansion of (pow z 4) in z
6.370 * [taylor]: Taking taylor expansion of z in z
6.371 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 3) (* (pow t 2) (* x (pow z 2))))) in z
6.371 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 3) (* (pow t 2) (* x (pow z 2)))) in z
6.371 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 3) in z
6.371 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
6.371 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.371 * [taylor]: Taking taylor expansion of t in z
6.371 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.371 * [taylor]: Taking taylor expansion of z in z
6.373 * [taylor]: Taking taylor expansion of (* (pow t 2) (* x (pow z 2))) in z
6.373 * [taylor]: Taking taylor expansion of (pow t 2) in z
6.373 * [taylor]: Taking taylor expansion of t in z
6.373 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in z
6.373 * [taylor]: Taking taylor expansion of x in z
6.373 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.373 * [taylor]: Taking taylor expansion of z in z
6.374 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 3) (* t (* x (pow z 3)))))) in z
6.374 * [taylor]: Taking taylor expansion of 2 in z
6.374 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 t) (/ 1 z)) 3) (* t (* x (pow z 3))))) in z
6.374 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 t) (/ 1 z)) 3) (* t (* x (pow z 3)))) in z
6.374 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 z)) 3) in z
6.374 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
6.374 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.374 * [taylor]: Taking taylor expansion of t in z
6.374 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.374 * [taylor]: Taking taylor expansion of z in z
6.375 * [taylor]: Taking taylor expansion of (* t (* x (pow z 3))) in z
6.375 * [taylor]: Taking taylor expansion of t in z
6.375 * [taylor]: Taking taylor expansion of (* x (pow z 3)) in z
6.375 * [taylor]: Taking taylor expansion of x in z
6.375 * [taylor]: Taking taylor expansion of (pow z 3) in z
6.375 * [taylor]: Taking taylor expansion of z in z
6.400 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow t 3) x))) in x
6.400 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) x)) in x
6.401 * [taylor]: Taking taylor expansion of (* (pow t 3) x) in x
6.401 * [taylor]: Taking taylor expansion of (pow t 3) in x
6.401 * [taylor]: Taking taylor expansion of t in x
6.401 * [taylor]: Taking taylor expansion of x in x
6.403 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 3))) in t
6.403 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
6.403 * [taylor]: Taking taylor expansion of (pow t 3) in t
6.403 * [taylor]: Taking taylor expansion of t in t
6.410 * [approximate]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in (y z x t) around 0
6.410 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in t
6.410 * [taylor]: Taking taylor expansion of -1 in t
6.410 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t)))) in t
6.410 * [taylor]: Taking taylor expansion of x in t
6.410 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))) in t
6.410 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
6.410 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.410 * [taylor]: Taking taylor expansion of z in t
6.410 * [taylor]: Taking taylor expansion of (/ 1 y) in t
6.410 * [taylor]: Taking taylor expansion of y in t
6.411 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
6.411 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.411 * [taylor]: Taking taylor expansion of z in t
6.411 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.411 * [taylor]: Taking taylor expansion of t in t
6.412 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in x
6.412 * [taylor]: Taking taylor expansion of -1 in x
6.412 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t)))) in x
6.412 * [taylor]: Taking taylor expansion of x in x
6.412 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))) in x
6.412 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
6.412 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.412 * [taylor]: Taking taylor expansion of z in x
6.412 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.412 * [taylor]: Taking taylor expansion of y in x
6.412 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
6.412 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.412 * [taylor]: Taking taylor expansion of z in x
6.412 * [taylor]: Taking taylor expansion of (/ 1 t) in x
6.412 * [taylor]: Taking taylor expansion of t in x
6.415 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in z
6.415 * [taylor]: Taking taylor expansion of -1 in z
6.415 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t)))) in z
6.415 * [taylor]: Taking taylor expansion of x in z
6.415 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))) in z
6.415 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
6.415 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.415 * [taylor]: Taking taylor expansion of z in z
6.415 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.415 * [taylor]: Taking taylor expansion of y in z
6.415 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
6.415 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.415 * [taylor]: Taking taylor expansion of z in z
6.416 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.416 * [taylor]: Taking taylor expansion of t in z
6.417 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in y
6.417 * [taylor]: Taking taylor expansion of -1 in y
6.417 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t)))) in y
6.417 * [taylor]: Taking taylor expansion of x in y
6.417 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))) in y
6.417 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
6.417 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.417 * [taylor]: Taking taylor expansion of z in y
6.417 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.417 * [taylor]: Taking taylor expansion of y in y
6.417 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
6.417 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.417 * [taylor]: Taking taylor expansion of z in y
6.417 * [taylor]: Taking taylor expansion of (/ 1 t) in y
6.417 * [taylor]: Taking taylor expansion of t in y
6.418 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))))) in y
6.418 * [taylor]: Taking taylor expansion of -1 in y
6.418 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t)))) in y
6.418 * [taylor]: Taking taylor expansion of x in y
6.418 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 t))) in y
6.418 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
6.418 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.418 * [taylor]: Taking taylor expansion of z in y
6.418 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.418 * [taylor]: Taking taylor expansion of y in y
6.418 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
6.419 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.419 * [taylor]: Taking taylor expansion of z in y
6.419 * [taylor]: Taking taylor expansion of (/ 1 t) in y
6.419 * [taylor]: Taking taylor expansion of t in y
6.420 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (/ 1 z) (/ 1 t)))) in z
6.420 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 t))) in z
6.420 * [taylor]: Taking taylor expansion of x in z
6.420 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
6.420 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.420 * [taylor]: Taking taylor expansion of z in z
6.420 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.420 * [taylor]: Taking taylor expansion of t in z
6.421 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in x
6.421 * [taylor]: Taking taylor expansion of (* t x) in x
6.421 * [taylor]: Taking taylor expansion of t in x
6.421 * [taylor]: Taking taylor expansion of x in x
6.422 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.422 * [taylor]: Taking taylor expansion of t in t
6.426 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* (pow z 2) (pow (- (/ 1 z) (/ 1 t)) 2)))) (/ 1 (* t (* x (* z (pow (- (/ 1 z) (/ 1 t)) 2)))))) in z
6.427 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (pow z 2) (pow (- (/ 1 z) (/ 1 t)) 2)))) in z
6.427 * [taylor]: Taking taylor expansion of (* x (* (pow z 2) (pow (- (/ 1 z) (/ 1 t)) 2))) in z
6.427 * [taylor]: Taking taylor expansion of x in z
6.427 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (- (/ 1 z) (/ 1 t)) 2)) in z
6.427 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.427 * [taylor]: Taking taylor expansion of z in z
6.427 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 t)) 2) in z
6.427 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
6.427 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.427 * [taylor]: Taking taylor expansion of z in z
6.427 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.427 * [taylor]: Taking taylor expansion of t in z
6.428 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z (pow (- (/ 1 z) (/ 1 t)) 2))))) in z
6.428 * [taylor]: Taking taylor expansion of (* t (* x (* z (pow (- (/ 1 z) (/ 1 t)) 2)))) in z
6.428 * [taylor]: Taking taylor expansion of t in z
6.428 * [taylor]: Taking taylor expansion of (* x (* z (pow (- (/ 1 z) (/ 1 t)) 2))) in z
6.428 * [taylor]: Taking taylor expansion of x in z
6.428 * [taylor]: Taking taylor expansion of (* z (pow (- (/ 1 z) (/ 1 t)) 2)) in z
6.428 * [taylor]: Taking taylor expansion of z in z
6.428 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 t)) 2) in z
6.428 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
6.428 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.428 * [taylor]: Taking taylor expansion of z in z
6.429 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.429 * [taylor]: Taking taylor expansion of t in z
6.440 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) x)) in x
6.440 * [taylor]: Taking taylor expansion of (* (pow t 2) x) in x
6.440 * [taylor]: Taking taylor expansion of (pow t 2) in x
6.440 * [taylor]: Taking taylor expansion of t in x
6.440 * [taylor]: Taking taylor expansion of x in x
6.441 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
6.441 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.441 * [taylor]: Taking taylor expansion of t in t
6.447 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) x)) in x
6.447 * [taylor]: Taking taylor expansion of (* (pow t 2) x) in x
6.447 * [taylor]: Taking taylor expansion of (pow t 2) in x
6.447 * [taylor]: Taking taylor expansion of t in x
6.447 * [taylor]: Taking taylor expansion of x in x
6.448 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
6.448 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.448 * [taylor]: Taking taylor expansion of t in t
6.452 * [taylor]: Taking taylor expansion of 0 in t
6.456 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (* x (* (pow z 2) (pow (- (/ 1 z) (/ 1 t)) 3))))) (/ 1 (* x (* (pow z 4) (pow (- (/ 1 z) (/ 1 t)) 3))))) (* 2 (/ 1 (* t (* x (* (pow z 3) (pow (- (/ 1 z) (/ 1 t)) 3))))))) in z
6.456 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (* x (* (pow z 2) (pow (- (/ 1 z) (/ 1 t)) 3))))) (/ 1 (* x (* (pow z 4) (pow (- (/ 1 z) (/ 1 t)) 3))))) in z
6.456 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (* x (* (pow z 2) (pow (- (/ 1 z) (/ 1 t)) 3))))) in z
6.456 * [taylor]: Taking taylor expansion of (* (pow t 2) (* x (* (pow z 2) (pow (- (/ 1 z) (/ 1 t)) 3)))) in z
6.456 * [taylor]: Taking taylor expansion of (pow t 2) in z
6.456 * [taylor]: Taking taylor expansion of t in z
6.456 * [taylor]: Taking taylor expansion of (* x (* (pow z 2) (pow (- (/ 1 z) (/ 1 t)) 3))) in z
6.456 * [taylor]: Taking taylor expansion of x in z
6.456 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (- (/ 1 z) (/ 1 t)) 3)) in z
6.456 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.456 * [taylor]: Taking taylor expansion of z in z
6.456 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 t)) 3) in z
6.456 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
6.456 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.456 * [taylor]: Taking taylor expansion of z in z
6.457 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.457 * [taylor]: Taking taylor expansion of t in z
6.458 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (pow z 4) (pow (- (/ 1 z) (/ 1 t)) 3)))) in z
6.459 * [taylor]: Taking taylor expansion of (* x (* (pow z 4) (pow (- (/ 1 z) (/ 1 t)) 3))) in z
6.459 * [taylor]: Taking taylor expansion of x in z
6.459 * [taylor]: Taking taylor expansion of (* (pow z 4) (pow (- (/ 1 z) (/ 1 t)) 3)) in z
6.459 * [taylor]: Taking taylor expansion of (pow z 4) in z
6.459 * [taylor]: Taking taylor expansion of z in z
6.459 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 t)) 3) in z
6.459 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
6.459 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.459 * [taylor]: Taking taylor expansion of z in z
6.459 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.459 * [taylor]: Taking taylor expansion of t in z
6.467 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* t (* x (* (pow z 3) (pow (- (/ 1 z) (/ 1 t)) 3)))))) in z
6.467 * [taylor]: Taking taylor expansion of 2 in z
6.467 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* (pow z 3) (pow (- (/ 1 z) (/ 1 t)) 3))))) in z
6.467 * [taylor]: Taking taylor expansion of (* t (* x (* (pow z 3) (pow (- (/ 1 z) (/ 1 t)) 3)))) in z
6.467 * [taylor]: Taking taylor expansion of t in z
6.467 * [taylor]: Taking taylor expansion of (* x (* (pow z 3) (pow (- (/ 1 z) (/ 1 t)) 3))) in z
6.467 * [taylor]: Taking taylor expansion of x in z
6.467 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow (- (/ 1 z) (/ 1 t)) 3)) in z
6.467 * [taylor]: Taking taylor expansion of (pow z 3) in z
6.467 * [taylor]: Taking taylor expansion of z in z
6.467 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 t)) 3) in z
6.468 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
6.468 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.468 * [taylor]: Taking taylor expansion of z in z
6.468 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.468 * [taylor]: Taking taylor expansion of t in z
6.494 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) x)) in x
6.494 * [taylor]: Taking taylor expansion of (* (pow t 3) x) in x
6.494 * [taylor]: Taking taylor expansion of (pow t 3) in x
6.494 * [taylor]: Taking taylor expansion of t in x
6.494 * [taylor]: Taking taylor expansion of x in x
6.495 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
6.495 * [taylor]: Taking taylor expansion of (pow t 3) in t
6.495 * [taylor]: Taking taylor expansion of t in t
6.503 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
6.503 * [approximate]: Taking taylor expansion of (/ 1 (- y z)) in (y z) around 0
6.503 * [taylor]: Taking taylor expansion of (/ 1 (- y z)) in z
6.503 * [taylor]: Taking taylor expansion of (- y z) in z
6.503 * [taylor]: Taking taylor expansion of y in z
6.503 * [taylor]: Taking taylor expansion of z in z
6.503 * [taylor]: Taking taylor expansion of (/ 1 (- y z)) in y
6.504 * [taylor]: Taking taylor expansion of (- y z) in y
6.504 * [taylor]: Taking taylor expansion of y in y
6.504 * [taylor]: Taking taylor expansion of z in y
6.504 * [taylor]: Taking taylor expansion of (/ 1 (- y z)) in y
6.504 * [taylor]: Taking taylor expansion of (- y z) in y
6.504 * [taylor]: Taking taylor expansion of y in y
6.504 * [taylor]: Taking taylor expansion of z in y
6.504 * [taylor]: Taking taylor expansion of (/ -1 z) in z
6.504 * [taylor]: Taking taylor expansion of -1 in z
6.504 * [taylor]: Taking taylor expansion of z in z
6.505 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
6.506 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
6.506 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.506 * [taylor]: Taking taylor expansion of z in z
6.510 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3))) in z
6.510 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
6.510 * [taylor]: Taking taylor expansion of (pow z 3) in z
6.510 * [taylor]: Taking taylor expansion of z in z
6.517 * [approximate]: Taking taylor expansion of (/ 1 (- (/ 1 y) (/ 1 z))) in (y z) around 0
6.517 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 y) (/ 1 z))) in z
6.517 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
6.517 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.517 * [taylor]: Taking taylor expansion of y in z
6.517 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.517 * [taylor]: Taking taylor expansion of z in z
6.518 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 y) (/ 1 z))) in y
6.518 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
6.518 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.518 * [taylor]: Taking taylor expansion of y in y
6.519 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.519 * [taylor]: Taking taylor expansion of z in y
6.519 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 y) (/ 1 z))) in y
6.519 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
6.519 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.519 * [taylor]: Taking taylor expansion of y in y
6.520 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.520 * [taylor]: Taking taylor expansion of z in y
6.520 * [taylor]: Taking taylor expansion of 1 in z
6.521 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.521 * [taylor]: Taking taylor expansion of z in z
6.524 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
6.524 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.524 * [taylor]: Taking taylor expansion of z in z
6.528 * [approximate]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 y))) in (y z) around 0
6.528 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 y))) in z
6.528 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
6.528 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.528 * [taylor]: Taking taylor expansion of z in z
6.529 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.529 * [taylor]: Taking taylor expansion of y in z
6.529 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 y))) in y
6.529 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
6.529 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.529 * [taylor]: Taking taylor expansion of z in y
6.530 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.530 * [taylor]: Taking taylor expansion of y in y
6.531 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 y))) in y
6.531 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
6.531 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.531 * [taylor]: Taking taylor expansion of z in y
6.531 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.531 * [taylor]: Taking taylor expansion of y in y
6.532 * [taylor]: Taking taylor expansion of -1 in z
6.533 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
6.533 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.533 * [taylor]: Taking taylor expansion of z in z
6.536 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
6.536 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
6.536 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.536 * [taylor]: Taking taylor expansion of z in z
6.540 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
6.540 * [approximate]: Taking taylor expansion of (/ x (- t z)) in (x t z) around 0
6.541 * [taylor]: Taking taylor expansion of (/ x (- t z)) in z
6.541 * [taylor]: Taking taylor expansion of x in z
6.541 * [taylor]: Taking taylor expansion of (- t z) in z
6.541 * [taylor]: Taking taylor expansion of t in z
6.541 * [taylor]: Taking taylor expansion of z in z
6.541 * [taylor]: Taking taylor expansion of (/ x (- t z)) in t
6.541 * [taylor]: Taking taylor expansion of x in t
6.541 * [taylor]: Taking taylor expansion of (- t z) in t
6.541 * [taylor]: Taking taylor expansion of t in t
6.541 * [taylor]: Taking taylor expansion of z in t
6.541 * [taylor]: Taking taylor expansion of (/ x (- t z)) in x
6.541 * [taylor]: Taking taylor expansion of x in x
6.541 * [taylor]: Taking taylor expansion of (- t z) in x
6.541 * [taylor]: Taking taylor expansion of t in x
6.541 * [taylor]: Taking taylor expansion of z in x
6.541 * [taylor]: Taking taylor expansion of (/ x (- t z)) in x
6.541 * [taylor]: Taking taylor expansion of x in x
6.541 * [taylor]: Taking taylor expansion of (- t z) in x
6.541 * [taylor]: Taking taylor expansion of t in x
6.541 * [taylor]: Taking taylor expansion of z in x
6.542 * [taylor]: Taking taylor expansion of (/ 1 (- t z)) in t
6.542 * [taylor]: Taking taylor expansion of (- t z) in t
6.542 * [taylor]: Taking taylor expansion of t in t
6.542 * [taylor]: Taking taylor expansion of z in t
6.542 * [taylor]: Taking taylor expansion of (/ -1 z) in z
6.542 * [taylor]: Taking taylor expansion of -1 in z
6.542 * [taylor]: Taking taylor expansion of z in z
6.543 * [taylor]: Taking taylor expansion of 0 in t
6.543 * [taylor]: Taking taylor expansion of 0 in z
6.544 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
6.544 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
6.544 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.544 * [taylor]: Taking taylor expansion of z in z
6.548 * [taylor]: Taking taylor expansion of 0 in t
6.548 * [taylor]: Taking taylor expansion of 0 in z
6.548 * [taylor]: Taking taylor expansion of 0 in z
6.548 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in (x t z) around 0
6.548 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in z
6.548 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) x) in z
6.548 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
6.548 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.548 * [taylor]: Taking taylor expansion of t in z
6.548 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.548 * [taylor]: Taking taylor expansion of z in z
6.549 * [taylor]: Taking taylor expansion of x in z
6.549 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in t
6.549 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) x) in t
6.549 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
6.549 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.549 * [taylor]: Taking taylor expansion of t in t
6.550 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.550 * [taylor]: Taking taylor expansion of z in t
6.550 * [taylor]: Taking taylor expansion of x in t
6.550 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in x
6.550 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) x) in x
6.550 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
6.550 * [taylor]: Taking taylor expansion of (/ 1 t) in x
6.550 * [taylor]: Taking taylor expansion of t in x
6.550 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.550 * [taylor]: Taking taylor expansion of z in x
6.550 * [taylor]: Taking taylor expansion of x in x
6.551 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in x
6.551 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) x) in x
6.551 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
6.551 * [taylor]: Taking taylor expansion of (/ 1 t) in x
6.551 * [taylor]: Taking taylor expansion of t in x
6.551 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.551 * [taylor]: Taking taylor expansion of z in x
6.552 * [taylor]: Taking taylor expansion of x in x
6.553 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 z))) in t
6.553 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
6.553 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.553 * [taylor]: Taking taylor expansion of t in t
6.553 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.553 * [taylor]: Taking taylor expansion of z in t
6.554 * [taylor]: Taking taylor expansion of 1 in z
6.555 * [taylor]: Taking taylor expansion of 0 in t
6.555 * [taylor]: Taking taylor expansion of 0 in z
6.556 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.556 * [taylor]: Taking taylor expansion of z in z
6.566 * [taylor]: Taking taylor expansion of 0 in t
6.566 * [taylor]: Taking taylor expansion of 0 in z
6.566 * [taylor]: Taking taylor expansion of 0 in z
6.566 * [approximate]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 t)))) in (x t z) around 0
6.566 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 t)))) in z
6.566 * [taylor]: Taking taylor expansion of -1 in z
6.566 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 t))) in z
6.566 * [taylor]: Taking taylor expansion of x in z
6.567 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
6.567 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.567 * [taylor]: Taking taylor expansion of z in z
6.567 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.567 * [taylor]: Taking taylor expansion of t in z
6.567 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 t)))) in t
6.567 * [taylor]: Taking taylor expansion of -1 in t
6.567 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 t))) in t
6.567 * [taylor]: Taking taylor expansion of x in t
6.567 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
6.567 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.567 * [taylor]: Taking taylor expansion of z in t
6.568 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.568 * [taylor]: Taking taylor expansion of t in t
6.568 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 t)))) in x
6.568 * [taylor]: Taking taylor expansion of -1 in x
6.568 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 t))) in x
6.569 * [taylor]: Taking taylor expansion of x in x
6.569 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
6.569 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.569 * [taylor]: Taking taylor expansion of z in x
6.569 * [taylor]: Taking taylor expansion of (/ 1 t) in x
6.569 * [taylor]: Taking taylor expansion of t in x
6.570 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 t)))) in x
6.570 * [taylor]: Taking taylor expansion of -1 in x
6.570 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 t))) in x
6.570 * [taylor]: Taking taylor expansion of x in x
6.570 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
6.570 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.570 * [taylor]: Taking taylor expansion of z in x
6.570 * [taylor]: Taking taylor expansion of (/ 1 t) in x
6.570 * [taylor]: Taking taylor expansion of t in x
6.571 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 z) (/ 1 t))) in t
6.571 * [taylor]: Taking taylor expansion of -1 in t
6.571 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
6.571 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.571 * [taylor]: Taking taylor expansion of z in t
6.571 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.571 * [taylor]: Taking taylor expansion of t in t
6.573 * [taylor]: Taking taylor expansion of 1 in z
6.575 * [taylor]: Taking taylor expansion of 0 in t
6.575 * [taylor]: Taking taylor expansion of 0 in z
6.576 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.576 * [taylor]: Taking taylor expansion of z in z
6.579 * [taylor]: Taking taylor expansion of 0 in t
6.579 * [taylor]: Taking taylor expansion of 0 in z
6.579 * [taylor]: Taking taylor expansion of 0 in z
6.579 * * * [progress]: simplifying candidates
6.582 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (/ 1 (- y z)) (/ x (- t z))))
  (log1p (* (/ 1 (- y z)) (/ x (- t z))))
  (* (/ 1 (- y z)) (/ x (- t z)))
  (+ (- (log (- y z))) (- (log x) (log (- t z))))
  (+ (- (log (- y z))) (log (/ x (- t z))))
  (+ (- 0 (log (- y z))) (- (log x) (log (- t z))))
  (+ (- 0 (log (- y z))) (log (/ x (- t z))))
  (+ (- (log 1) (log (- y z))) (- (log x) (log (- t z))))
  (+ (- (log 1) (log (- y z))) (log (/ x (- t z))))
  (+ (log (/ 1 (- y z))) (- (log x) (log (- t z))))
  (+ (log (/ 1 (- y z))) (log (/ x (- t z))))
  (log (* (/ 1 (- y z)) (/ x (- t z))))
  (exp (* (/ 1 (- y z)) (/ x (- t z))))
  (* (/ (* (* 1 1) 1) (* (* (- y z) (- y z)) (- y z))) (/ (* (* x x) x) (* (* (- t z) (- t z)) (- t z))))
  (* (/ (* (* 1 1) 1) (* (* (- y z) (- y z)) (- y z))) (* (* (/ x (- t z)) (/ x (- t z))) (/ x (- t z))))
  (* (* (* (/ 1 (- y z)) (/ 1 (- y z))) (/ 1 (- y z))) (/ (* (* x x) x) (* (* (- t z) (- t z)) (- t z))))
  (* (* (* (/ 1 (- y z)) (/ 1 (- y z))) (/ 1 (- y z))) (* (* (/ x (- t z)) (/ x (- t z))) (/ x (- t z))))
  (* (cbrt (* (/ 1 (- y z)) (/ x (- t z)))) (cbrt (* (/ 1 (- y z)) (/ x (- t z)))))
  (cbrt (* (/ 1 (- y z)) (/ x (- t z))))
  (* (* (* (/ 1 (- y z)) (/ x (- t z))) (* (/ 1 (- y z)) (/ x (- t z)))) (* (/ 1 (- y z)) (/ x (- t z))))
  (sqrt (* (/ 1 (- y z)) (/ x (- t z))))
  (sqrt (* (/ 1 (- y z)) (/ x (- t z))))
  (* 1 x)
  (* (- y z) (- t z))
  (* (sqrt (/ 1 (- y z))) (sqrt (/ x (- t z))))
  (* (sqrt (/ 1 (- y z))) (sqrt (/ x (- t z))))
  (* (sqrt (/ 1 (- y z))) (/ (sqrt x) (sqrt (- t z))))
  (* (sqrt (/ 1 (- y z))) (/ (sqrt x) (sqrt (- t z))))
  (* (/ (sqrt 1) (sqrt (- y z))) (sqrt (/ x (- t z))))
  (* (/ (sqrt 1) (sqrt (- y z))) (sqrt (/ x (- t z))))
  (* (/ (sqrt 1) (sqrt (- y z))) (/ (sqrt x) (sqrt (- t z))))
  (* (/ (sqrt 1) (sqrt (- y z))) (/ (sqrt x) (sqrt (- t z))))
  (* (/ 1 (sqrt (- y z))) (sqrt (/ x (- t z))))
  (* (/ 1 (sqrt (- y z))) (sqrt (/ x (- t z))))
  (* (/ 1 (sqrt (- y z))) (/ (sqrt x) (sqrt (- t z))))
  (* (/ 1 (sqrt (- y z))) (/ (sqrt x) (sqrt (- t z))))
  (* (/ 1 (- y z)) (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z)))))
  (* (/ 1 (- y z)) (sqrt (/ x (- t z))))
  (* (/ 1 (- y z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))))
  (* (/ 1 (- y z)) (/ (* (cbrt x) (cbrt x)) (sqrt (- t z))))
  (* (/ 1 (- y z)) (/ (* (cbrt x) (cbrt x)) 1))
  (* (/ 1 (- y z)) (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z))))
  (* (/ 1 (- y z)) (/ (* (cbrt x) (cbrt x)) 1))
  (* (/ 1 (- y z)) (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z)))))
  (* (/ 1 (- y z)) (/ (sqrt x) (sqrt (- t z))))
  (* (/ 1 (- y z)) (/ (sqrt x) 1))
  (* (/ 1 (- y z)) (/ (sqrt x) (+ (sqrt t) (sqrt z))))
  (* (/ 1 (- y z)) (/ (sqrt x) 1))
  (* (/ 1 (- y z)) (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))))
  (* (/ 1 (- y z)) (/ 1 (sqrt (- t z))))
  (* (/ 1 (- y z)) (/ 1 1))
  (* (/ 1 (- y z)) (/ 1 (+ (sqrt t) (sqrt z))))
  (* (/ 1 (- y z)) (/ 1 1))
  (* (/ 1 (- y z)) 1)
  (* (/ 1 (- y z)) x)
  (* (/ 1 (- y z)) (/ x (- (pow t 3) (pow z 3))))
  (* (/ 1 (- y z)) (/ x (- (* t t) (* z z))))
  (* (cbrt (/ 1 (- y z))) (/ x (- t z)))
  (* (sqrt (/ 1 (- y z))) (/ x (- t z)))
  (* (/ (cbrt 1) (cbrt (- y z))) (/ x (- t z)))
  (* (/ (cbrt 1) (sqrt (- y z))) (/ x (- t z)))
  (* (/ (cbrt 1) (- y z)) (/ x (- t z)))
  (* (/ (cbrt 1) (- (sqrt y) (sqrt z))) (/ x (- t z)))
  (* (/ (cbrt 1) (- y z)) (/ x (- t z)))
  (* (/ (sqrt 1) (cbrt (- y z))) (/ x (- t z)))
  (* (/ (sqrt 1) (sqrt (- y z))) (/ x (- t z)))
  (* (/ (sqrt 1) (- y z)) (/ x (- t z)))
  (* (/ (sqrt 1) (- (sqrt y) (sqrt z))) (/ x (- t z)))
  (* (/ (sqrt 1) (- y z)) (/ x (- t z)))
  (* (/ 1 (cbrt (- y z))) (/ x (- t z)))
  (* (/ 1 (sqrt (- y z))) (/ x (- t z)))
  (* (/ 1 (- y z)) (/ x (- t z)))
  (* (/ 1 (- (sqrt y) (sqrt z))) (/ x (- t z)))
  (* (/ 1 (- y z)) (/ x (- t z)))
  (* (/ 1 (- y z)) (/ x (- t z)))
  (* (/ 1 (- y z)) (/ x (- t z)))
  (* (+ (* y y) (+ (* z z) (* y z))) (/ x (- t z)))
  (* (+ y z) (/ x (- t z)))
  (* (/ 1 (- y z)) x)
  (* 1 (/ x (- t z)))
  (expm1 (/ 1 (- y z)))
  (log1p (/ 1 (- y z)))
  (- 1)
  (- (log (- y z)))
  (- 0 (log (- y z)))
  (- (log 1) (log (- y z)))
  (log (/ 1 (- y z)))
  (exp (/ 1 (- y z)))
  (/ (* (* 1 1) 1) (* (* (- y z) (- y z)) (- y z)))
  (* (cbrt (/ 1 (- y z))) (cbrt (/ 1 (- y z))))
  (cbrt (/ 1 (- y z)))
  (* (* (/ 1 (- y z)) (/ 1 (- y z))) (/ 1 (- y z)))
  (sqrt (/ 1 (- y z)))
  (sqrt (/ 1 (- y z)))
  (- 1)
  (- (- y z))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (cbrt 1) (cbrt (- y z)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (- y z)))
  (/ (cbrt 1) (sqrt (- y z)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (- y z))
  (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt y) (sqrt z)))
  (/ (cbrt 1) (- (sqrt y) (sqrt z)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (- y z))
  (/ (sqrt 1) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (sqrt 1) (cbrt (- y z)))
  (/ (sqrt 1) (sqrt (- y z)))
  (/ (sqrt 1) (sqrt (- y z)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (- y z))
  (/ (sqrt 1) (+ (sqrt y) (sqrt z)))
  (/ (sqrt 1) (- (sqrt y) (sqrt z)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (- y z))
  (/ 1 (* (cbrt (- y z)) (cbrt (- y z))))
  (/ 1 (cbrt (- y z)))
  (/ 1 (sqrt (- y z)))
  (/ 1 (sqrt (- y z)))
  (/ 1 1)
  (/ 1 (- y z))
  (/ 1 (+ (sqrt y) (sqrt z)))
  (/ 1 (- (sqrt y) (sqrt z)))
  (/ 1 1)
  (/ 1 (- y z))
  (/ 1 (- y z))
  (/ (- y z) 1)
  (/ 1 (* (cbrt (- y z)) (cbrt (- y z))))
  (/ 1 (sqrt (- y z)))
  (/ 1 1)
  (/ 1 (+ (sqrt y) (sqrt z)))
  (/ 1 1)
  (/ (- y z) (cbrt 1))
  (/ (- y z) (sqrt 1))
  (/ (- y z) 1)
  (/ 1 (- (pow y 3) (pow z 3)))
  (/ 1 (- (* y y) (* z z)))
  (expm1 (/ x (- t z)))
  (log1p (/ x (- t z)))
  (- (log x) (log (- t z)))
  (log (/ x (- t z)))
  (exp (/ x (- t z)))
  (/ (* (* x x) x) (* (* (- t z) (- t z)) (- t z)))
  (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z))))
  (cbrt (/ x (- t z)))
  (* (* (/ x (- t z)) (/ x (- t z))) (/ x (- t z)))
  (sqrt (/ x (- t z)))
  (sqrt (/ x (- t z)))
  (- x)
  (- (- t z))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (cbrt x) (cbrt (- t z)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (- t z)))
  (/ (cbrt x) (sqrt (- t z)))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (- t z))
  (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z)))
  (/ (cbrt x) (- (sqrt t) (sqrt z)))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (- t z))
  (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (sqrt x) (cbrt (- t z)))
  (/ (sqrt x) (sqrt (- t z)))
  (/ (sqrt x) (sqrt (- t z)))
  (/ (sqrt x) 1)
  (/ (sqrt x) (- t z))
  (/ (sqrt x) (+ (sqrt t) (sqrt z)))
  (/ (sqrt x) (- (sqrt t) (sqrt z)))
  (/ (sqrt x) 1)
  (/ (sqrt x) (- t z))
  (/ 1 (* (cbrt (- t z)) (cbrt (- t z))))
  (/ x (cbrt (- t z)))
  (/ 1 (sqrt (- t z)))
  (/ x (sqrt (- t z)))
  (/ 1 1)
  (/ x (- t z))
  (/ 1 (+ (sqrt t) (sqrt z)))
  (/ x (- (sqrt t) (sqrt z)))
  (/ 1 1)
  (/ x (- t z))
  (/ 1 (- t z))
  (/ (- t z) x)
  (/ x (* (cbrt (- t z)) (cbrt (- t z))))
  (/ x (sqrt (- t z)))
  (/ x 1)
  (/ x (+ (sqrt t) (sqrt z)))
  (/ x 1)
  (/ (- t z) (cbrt x))
  (/ (- t z) (sqrt x))
  (/ (- t z) x)
  (/ x (- (pow t 3) (pow z 3)))
  (/ x (- (* t t) (* z z)))
  0
  0
  0
  0
  0
  0
  0
  0
  0
6.588 * * [simplify]: iteration  0 :  204  enodes  (cost  1932 )
6.663 * * [simplify]: iteration  1 :  529  enodes  (cost  1689 )
6.810 * * [simplify]: iteration  2 :  1350  enodes  (cost  1513 )
9.631 * * [simplify]: iteration  3 :  4804  enodes  (cost  1513 )
10.459 * * [simplify]: iteration  done :  5000  enodes  (cost  1513 )
10.460 * [simplify]: Simplified to:
   (expm1 (/ (/ x (- t z)) (- y z)))
  (log1p (/ (/ x (- t z)) (- y z)))
  (/ x (* (- y z) (- t z)))
  (log (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (exp (/ (/ x (- t z)) (- y z)))
  (pow (/ (/ x (- t z)) (- y z)) 3)
  (pow (/ (/ x (- t z)) (- y z)) 3)
  (pow (/ (/ x (- t z)) (- y z)) 3)
  (pow (/ (/ x (- t z)) (- y z)) 3)
  (* (cbrt (/ (/ x (- t z)) (- y z))) (cbrt (/ (/ x (- t z)) (- y z))))
  (cbrt (/ (/ x (- t z)) (- y z)))
  (pow (/ (/ x (- t z)) (- y z)) 3)
  (sqrt (/ (/ x (- t z)) (- y z)))
  (sqrt (/ (/ x (- t z)) (- y z)))
  x
  (* (- y z) (- t z))
  (* (sqrt (/ 1 (- y z))) (sqrt (/ x (- t z))))
  (* (sqrt (/ 1 (- y z))) (sqrt (/ x (- t z))))
  (* (sqrt (/ 1 (- y z))) (/ (sqrt x) (sqrt (- t z))))
  (* (sqrt (/ 1 (- y z))) (/ (sqrt x) (sqrt (- t z))))
  (/ (sqrt (/ x (- t z))) (sqrt (- y z)))
  (/ (sqrt (/ x (- t z))) (sqrt (- y z)))
  (/ (/ (sqrt x) (sqrt (- y z))) (sqrt (- t z)))
  (/ (/ (sqrt x) (sqrt (- y z))) (sqrt (- t z)))
  (/ (sqrt (/ x (- t z))) (sqrt (- y z)))
  (/ (sqrt (/ x (- t z))) (sqrt (- y z)))
  (/ (/ (sqrt x) (sqrt (- y z))) (sqrt (- t z)))
  (/ (/ (sqrt x) (sqrt (- y z))) (sqrt (- t z)))
  (/ (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z)))) (- y z))
  (/ (sqrt (/ x (- t z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (sqrt (- t z))) (- y z))
  (/ (* (cbrt x) (cbrt x)) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (- y z)) (+ (sqrt t) (sqrt z)))
  (/ (* (cbrt x) (cbrt x)) (- y z))
  (/ (/ (sqrt x) (- y z)) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (/ (sqrt x) (- y z)) (sqrt (- t z)))
  (/ (sqrt x) (- y z))
  (/ (/ (sqrt x) (+ (sqrt t) (sqrt z))) (- y z))
  (/ (sqrt x) (- y z))
  (/ (/ 1 (- y z)) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (/ 1 (- y z)) (sqrt (- t z)))
  (/ 1 (- y z))
  (/ (/ 1 (- y z)) (+ (sqrt t) (sqrt z)))
  (/ 1 (- y z))
  (/ 1 (- y z))
  (/ x (- y z))
  (/ (/ x (- y z)) (- (pow t 3) (pow z 3)))
  (/ (/ x (- y z)) (- (* t t) (* z z)))
  (* (cbrt (/ 1 (- y z))) (/ x (- t z)))
  (* (sqrt (/ 1 (- y z))) (/ x (- t z)))
  (/ (/ x (- t z)) (cbrt (- y z)))
  (/ (/ x (- t z)) (sqrt (- y z)))
  (/ x (* (- y z) (- t z)))
  (/ (/ x (- t z)) (- (sqrt y) (sqrt z)))
  (/ x (* (- y z) (- t z)))
  (/ (/ x (- t z)) (cbrt (- y z)))
  (/ (/ x (- t z)) (sqrt (- y z)))
  (/ x (* (- y z) (- t z)))
  (/ (/ x (- t z)) (- (sqrt y) (sqrt z)))
  (/ x (* (- y z) (- t z)))
  (/ (/ x (- t z)) (cbrt (- y z)))
  (/ (/ x (- t z)) (sqrt (- y z)))
  (/ x (* (- y z) (- t z)))
  (/ (/ x (- t z)) (- (sqrt y) (sqrt z)))
  (/ x (* (- y z) (- t z)))
  (/ x (* (- y z) (- t z)))
  (/ x (* (- y z) (- t z)))
  (* (fma y y (* z (+ y z))) (/ x (- t z)))
  (* (+ y z) (/ x (- t z)))
  (/ x (- y z))
  (/ x (- t z))
  (expm1 (/ 1 (- y z)))
  (log1p (/ 1 (- y z)))
  -1
  (- (log (- y z)))
  (- (log (- y z)))
  (- (log (- y z)))
  (- (log (- y z)))
  (exp (/ 1 (- y z)))
  (/ 1 (pow (- y z) 3))
  (* (cbrt (/ 1 (- y z))) (cbrt (/ 1 (- y z))))
  (cbrt (/ 1 (- y z)))
  (/ 1 (pow (- y z) 3))
  (sqrt (/ 1 (- y z)))
  (sqrt (/ 1 (- y z)))
  -1
  (- (- y z))
  (/ (/ 1 (cbrt (- y z))) (cbrt (- y z)))
  (/ 1 (cbrt (- y z)))
  (/ 1 (sqrt (- y z)))
  (/ 1 (sqrt (- y z)))
  1
  (/ 1 (- y z))
  (/ 1 (+ (sqrt y) (sqrt z)))
  (/ 1 (- (sqrt y) (sqrt z)))
  1
  (/ 1 (- y z))
  (/ (/ 1 (cbrt (- y z))) (cbrt (- y z)))
  (/ 1 (cbrt (- y z)))
  (/ 1 (sqrt (- y z)))
  (/ 1 (sqrt (- y z)))
  1
  (/ 1 (- y z))
  (/ 1 (+ (sqrt y) (sqrt z)))
  (/ 1 (- (sqrt y) (sqrt z)))
  1
  (/ 1 (- y z))
  (/ (/ 1 (cbrt (- y z))) (cbrt (- y z)))
  (/ 1 (cbrt (- y z)))
  (/ 1 (sqrt (- y z)))
  (/ 1 (sqrt (- y z)))
  1
  (/ 1 (- y z))
  (/ 1 (+ (sqrt y) (sqrt z)))
  (/ 1 (- (sqrt y) (sqrt z)))
  1
  (/ 1 (- y z))
  (/ 1 (- y z))
  (- y z)
  (/ (/ 1 (cbrt (- y z))) (cbrt (- y z)))
  (/ 1 (sqrt (- y z)))
  1
  (/ 1 (+ (sqrt y) (sqrt z)))
  1
  (- y z)
  (- y z)
  (- y z)
  (/ 1 (- (pow y 3) (pow z 3)))
  (/ 1 (- (* y y) (* z z)))
  (expm1 (/ x (- t z)))
  (log1p (/ x (- t z)))
  (log (/ x (- t z)))
  (log (/ x (- t z)))
  (exp (/ x (- t z)))
  (pow (/ x (- t z)) 3)
  (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z))))
  (cbrt (/ x (- t z)))
  (pow (/ x (- t z)) 3)
  (sqrt (/ x (- t z)))
  (sqrt (/ x (- t z)))
  (- x)
  (- (- t z))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (cbrt x) (cbrt (- t z)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (- t z)))
  (/ (cbrt x) (sqrt (- t z)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (- t z))
  (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z)))
  (/ (cbrt x) (- (sqrt t) (sqrt z)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (- t z))
  (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (sqrt x) (cbrt (- t z)))
  (/ (sqrt x) (sqrt (- t z)))
  (/ (sqrt x) (sqrt (- t z)))
  (sqrt x)
  (/ (sqrt x) (- t z))
  (/ (sqrt x) (+ (sqrt t) (sqrt z)))
  (/ (sqrt x) (- (sqrt t) (sqrt z)))
  (sqrt x)
  (/ (sqrt x) (- t z))
  (/ 1 (* (cbrt (- t z)) (cbrt (- t z))))
  (/ x (cbrt (- t z)))
  (/ 1 (sqrt (- t z)))
  (/ x (sqrt (- t z)))
  1
  (/ x (- t z))
  (/ 1 (+ (sqrt t) (sqrt z)))
  (/ x (- (sqrt t) (sqrt z)))
  1
  (/ x (- t z))
  (/ 1 (- t z))
  (/ (- t z) x)
  (/ x (* (cbrt (- t z)) (cbrt (- t z))))
  (/ x (sqrt (- t z)))
  x
  (/ x (+ (sqrt t) (sqrt z)))
  x
  (/ (- t z) (cbrt x))
  (/ (- t z) (sqrt x))
  (/ (- t z) x)
  (/ x (- (pow t 3) (pow z 3)))
  (/ x (- (* t t) (* z z)))
  0
  0
  0
  0
  0
  0
  0
  0
  0
10.461 * * * [progress]: adding candidates to table
10.827 * * [progress]: iteration 4 / 4
10.827 * * * [progress]: picking best candidate
10.840 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ (/ x (- t z)) (- y z)))>
10.841 * * * [progress]: localizing error
10.848 * * * [progress]: generating rewritten candidates
10.848 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
10.865 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
10.887 * * * [progress]: generating series expansions
10.887 * * * * [progress]: [ 1 / 2 ] generating series at (2)
10.887 * [approximate]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in (x t z y) around 0
10.887 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in y
10.887 * [taylor]: Taking taylor expansion of x in y
10.887 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in y
10.887 * [taylor]: Taking taylor expansion of (- y z) in y
10.887 * [taylor]: Taking taylor expansion of y in y
10.887 * [taylor]: Taking taylor expansion of z in y
10.887 * [taylor]: Taking taylor expansion of (- t z) in y
10.887 * [taylor]: Taking taylor expansion of t in y
10.887 * [taylor]: Taking taylor expansion of z in y
10.887 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in z
10.887 * [taylor]: Taking taylor expansion of x in z
10.887 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in z
10.888 * [taylor]: Taking taylor expansion of (- y z) in z
10.888 * [taylor]: Taking taylor expansion of y in z
10.888 * [taylor]: Taking taylor expansion of z in z
10.888 * [taylor]: Taking taylor expansion of (- t z) in z
10.888 * [taylor]: Taking taylor expansion of t in z
10.888 * [taylor]: Taking taylor expansion of z in z
10.890 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in t
10.890 * [taylor]: Taking taylor expansion of x in t
10.890 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in t
10.890 * [taylor]: Taking taylor expansion of (- y z) in t
10.890 * [taylor]: Taking taylor expansion of y in t
10.890 * [taylor]: Taking taylor expansion of z in t
10.890 * [taylor]: Taking taylor expansion of (- t z) in t
10.890 * [taylor]: Taking taylor expansion of t in t
10.890 * [taylor]: Taking taylor expansion of z in t
10.890 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in x
10.890 * [taylor]: Taking taylor expansion of x in x
10.890 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in x
10.890 * [taylor]: Taking taylor expansion of (- y z) in x
10.890 * [taylor]: Taking taylor expansion of y in x
10.890 * [taylor]: Taking taylor expansion of z in x
10.890 * [taylor]: Taking taylor expansion of (- t z) in x
10.890 * [taylor]: Taking taylor expansion of t in x
10.890 * [taylor]: Taking taylor expansion of z in x
10.890 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- t z))) in x
10.890 * [taylor]: Taking taylor expansion of x in x
10.891 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in x
10.891 * [taylor]: Taking taylor expansion of (- y z) in x
10.891 * [taylor]: Taking taylor expansion of y in x
10.891 * [taylor]: Taking taylor expansion of z in x
10.891 * [taylor]: Taking taylor expansion of (- t z) in x
10.891 * [taylor]: Taking taylor expansion of t in x
10.891 * [taylor]: Taking taylor expansion of z in x
10.891 * [taylor]: Taking taylor expansion of (/ 1 (* (- y z) (- t z))) in t
10.891 * [taylor]: Taking taylor expansion of (* (- y z) (- t z)) in t
10.891 * [taylor]: Taking taylor expansion of (- y z) in t
10.891 * [taylor]: Taking taylor expansion of y in t
10.891 * [taylor]: Taking taylor expansion of z in t
10.891 * [taylor]: Taking taylor expansion of (- t z) in t
10.891 * [taylor]: Taking taylor expansion of t in t
10.891 * [taylor]: Taking taylor expansion of z in t
10.891 * [taylor]: Taking taylor expansion of (/ -1 (* (- y z) z)) in z
10.891 * [taylor]: Taking taylor expansion of -1 in z
10.891 * [taylor]: Taking taylor expansion of (* (- y z) z) in z
10.891 * [taylor]: Taking taylor expansion of (- y z) in z
10.891 * [taylor]: Taking taylor expansion of y in z
10.891 * [taylor]: Taking taylor expansion of z in z
10.891 * [taylor]: Taking taylor expansion of z in z
10.895 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
10.895 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
10.895 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.895 * [taylor]: Taking taylor expansion of y in y
10.899 * [taylor]: Taking taylor expansion of 0 in t
10.899 * [taylor]: Taking taylor expansion of 0 in z
10.899 * [taylor]: Taking taylor expansion of 0 in y
10.900 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- y z) (pow z 2)))) in z
10.900 * [taylor]: Taking taylor expansion of (/ 1 (* (- y z) (pow z 2))) in z
10.900 * [taylor]: Taking taylor expansion of (* (- y z) (pow z 2)) in z
10.900 * [taylor]: Taking taylor expansion of (- y z) in z
10.900 * [taylor]: Taking taylor expansion of y in z
10.900 * [taylor]: Taking taylor expansion of z in z
10.900 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.900 * [taylor]: Taking taylor expansion of z in z
10.905 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3))) in y
10.905 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
10.905 * [taylor]: Taking taylor expansion of (pow y 3) in y
10.905 * [taylor]: Taking taylor expansion of y in y
10.912 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3))) in y
10.912 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
10.912 * [taylor]: Taking taylor expansion of (pow y 3) in y
10.912 * [taylor]: Taking taylor expansion of y in y
10.920 * [taylor]: Taking taylor expansion of 0 in t
10.920 * [taylor]: Taking taylor expansion of 0 in z
10.920 * [taylor]: Taking taylor expansion of 0 in y
10.920 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in (x t z y) around 0
10.920 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in y
10.920 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in y
10.920 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
10.920 * [taylor]: Taking taylor expansion of (/ 1 t) in y
10.920 * [taylor]: Taking taylor expansion of t in y
10.920 * [taylor]: Taking taylor expansion of (/ 1 z) in y
10.920 * [taylor]: Taking taylor expansion of z in y
10.920 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in y
10.920 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
10.920 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.920 * [taylor]: Taking taylor expansion of y in y
10.921 * [taylor]: Taking taylor expansion of (/ 1 z) in y
10.921 * [taylor]: Taking taylor expansion of z in y
10.921 * [taylor]: Taking taylor expansion of x in y
10.921 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in z
10.921 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in z
10.921 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
10.921 * [taylor]: Taking taylor expansion of (/ 1 t) in z
10.922 * [taylor]: Taking taylor expansion of t in z
10.922 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.922 * [taylor]: Taking taylor expansion of z in z
10.922 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in z
10.922 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
10.922 * [taylor]: Taking taylor expansion of (/ 1 y) in z
10.922 * [taylor]: Taking taylor expansion of y in z
10.922 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.922 * [taylor]: Taking taylor expansion of z in z
10.922 * [taylor]: Taking taylor expansion of x in z
10.923 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in t
10.923 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in t
10.923 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
10.923 * [taylor]: Taking taylor expansion of (/ 1 t) in t
10.923 * [taylor]: Taking taylor expansion of t in t
10.924 * [taylor]: Taking taylor expansion of (/ 1 z) in t
10.924 * [taylor]: Taking taylor expansion of z in t
10.924 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in t
10.924 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
10.924 * [taylor]: Taking taylor expansion of (/ 1 y) in t
10.924 * [taylor]: Taking taylor expansion of y in t
10.924 * [taylor]: Taking taylor expansion of (/ 1 z) in t
10.924 * [taylor]: Taking taylor expansion of z in t
10.924 * [taylor]: Taking taylor expansion of x in t
10.925 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in x
10.925 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in x
10.925 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
10.925 * [taylor]: Taking taylor expansion of (/ 1 t) in x
10.925 * [taylor]: Taking taylor expansion of t in x
10.925 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.925 * [taylor]: Taking taylor expansion of z in x
10.925 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in x
10.925 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
10.925 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.925 * [taylor]: Taking taylor expansion of y in x
10.925 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.925 * [taylor]: Taking taylor expansion of z in x
10.925 * [taylor]: Taking taylor expansion of x in x
10.928 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x))) in x
10.928 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) (* (- (/ 1 y) (/ 1 z)) x)) in x
10.928 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
10.928 * [taylor]: Taking taylor expansion of (/ 1 t) in x
10.928 * [taylor]: Taking taylor expansion of t in x
10.928 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.928 * [taylor]: Taking taylor expansion of z in x
10.928 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in x
10.928 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
10.928 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.928 * [taylor]: Taking taylor expansion of y in x
10.928 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.928 * [taylor]: Taking taylor expansion of z in x
10.928 * [taylor]: Taking taylor expansion of x in x
10.931 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y))))) in t
10.931 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y)))) in t
10.931 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 (pow z 2))) in t
10.931 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
10.931 * [taylor]: Taking taylor expansion of (* t y) in t
10.931 * [taylor]: Taking taylor expansion of t in t
10.931 * [taylor]: Taking taylor expansion of y in t
10.931 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
10.931 * [taylor]: Taking taylor expansion of (pow z 2) in t
10.931 * [taylor]: Taking taylor expansion of z in t
10.931 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* z y))) in t
10.931 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
10.931 * [taylor]: Taking taylor expansion of (* t z) in t
10.931 * [taylor]: Taking taylor expansion of t in t
10.931 * [taylor]: Taking taylor expansion of z in t
10.932 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
10.932 * [taylor]: Taking taylor expansion of (* z y) in t
10.932 * [taylor]: Taking taylor expansion of z in t
10.932 * [taylor]: Taking taylor expansion of y in t
10.932 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 y) (/ 1 z))) in z
10.932 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
10.932 * [taylor]: Taking taylor expansion of (/ 1 y) in z
10.932 * [taylor]: Taking taylor expansion of y in z
10.932 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.932 * [taylor]: Taking taylor expansion of z in z
10.934 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
10.934 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.934 * [taylor]: Taking taylor expansion of y in y
10.938 * [taylor]: Taking taylor expansion of 0 in t
10.938 * [taylor]: Taking taylor expansion of 0 in z
10.938 * [taylor]: Taking taylor expansion of 0 in y
10.940 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow (- (/ 1 y) (/ 1 z)) 2) (* z y))) (/ 1 (* (pow (- (/ 1 y) (/ 1 z)) 2) (pow z 2)))) in z
10.941 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 y) (/ 1 z)) 2) (* z y))) in z
10.941 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 y) (/ 1 z)) 2) (* z y)) in z
10.941 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 z)) 2) in z
10.941 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
10.941 * [taylor]: Taking taylor expansion of (/ 1 y) in z
10.941 * [taylor]: Taking taylor expansion of y in z
10.941 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.941 * [taylor]: Taking taylor expansion of z in z
10.942 * [taylor]: Taking taylor expansion of (* z y) in z
10.942 * [taylor]: Taking taylor expansion of z in z
10.942 * [taylor]: Taking taylor expansion of y in z
10.944 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 y) (/ 1 z)) 2) (pow z 2))) in z
10.944 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 y) (/ 1 z)) 2) (pow z 2)) in z
10.944 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 z)) 2) in z
10.944 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
10.944 * [taylor]: Taking taylor expansion of (/ 1 y) in z
10.944 * [taylor]: Taking taylor expansion of y in z
10.944 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.944 * [taylor]: Taking taylor expansion of z in z
10.945 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.945 * [taylor]: Taking taylor expansion of z in z
10.954 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
10.954 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
10.954 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.954 * [taylor]: Taking taylor expansion of y in y
10.959 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
10.959 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
10.959 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.959 * [taylor]: Taking taylor expansion of y in y
10.967 * [taylor]: Taking taylor expansion of 0 in t
10.967 * [taylor]: Taking taylor expansion of 0 in z
10.967 * [taylor]: Taking taylor expansion of 0 in y
10.967 * [approximate]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in (x t z y) around 0
10.967 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in y
10.967 * [taylor]: Taking taylor expansion of -1 in y
10.967 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y)))) in y
10.967 * [taylor]: Taking taylor expansion of x in y
10.967 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y
10.967 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
10.967 * [taylor]: Taking taylor expansion of (/ 1 z) in y
10.967 * [taylor]: Taking taylor expansion of z in y
10.967 * [taylor]: Taking taylor expansion of (/ 1 t) in y
10.967 * [taylor]: Taking taylor expansion of t in y
10.967 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
10.967 * [taylor]: Taking taylor expansion of (/ 1 z) in y
10.967 * [taylor]: Taking taylor expansion of z in y
10.967 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.967 * [taylor]: Taking taylor expansion of y in y
10.969 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in z
10.969 * [taylor]: Taking taylor expansion of -1 in z
10.969 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y)))) in z
10.969 * [taylor]: Taking taylor expansion of x in z
10.969 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in z
10.969 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
10.969 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.969 * [taylor]: Taking taylor expansion of z in z
10.969 * [taylor]: Taking taylor expansion of (/ 1 t) in z
10.969 * [taylor]: Taking taylor expansion of t in z
10.969 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
10.969 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.969 * [taylor]: Taking taylor expansion of z in z
10.970 * [taylor]: Taking taylor expansion of (/ 1 y) in z
10.970 * [taylor]: Taking taylor expansion of y in z
10.970 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in t
10.970 * [taylor]: Taking taylor expansion of -1 in t
10.971 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y)))) in t
10.971 * [taylor]: Taking taylor expansion of x in t
10.971 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in t
10.971 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
10.971 * [taylor]: Taking taylor expansion of (/ 1 z) in t
10.971 * [taylor]: Taking taylor expansion of z in t
10.971 * [taylor]: Taking taylor expansion of (/ 1 t) in t
10.971 * [taylor]: Taking taylor expansion of t in t
10.971 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
10.971 * [taylor]: Taking taylor expansion of (/ 1 z) in t
10.971 * [taylor]: Taking taylor expansion of z in t
10.971 * [taylor]: Taking taylor expansion of (/ 1 y) in t
10.971 * [taylor]: Taking taylor expansion of y in t
10.972 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in x
10.972 * [taylor]: Taking taylor expansion of -1 in x
10.972 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y)))) in x
10.972 * [taylor]: Taking taylor expansion of x in x
10.972 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in x
10.972 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
10.972 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.972 * [taylor]: Taking taylor expansion of z in x
10.972 * [taylor]: Taking taylor expansion of (/ 1 t) in x
10.972 * [taylor]: Taking taylor expansion of t in x
10.972 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
10.972 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.972 * [taylor]: Taking taylor expansion of z in x
10.972 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.972 * [taylor]: Taking taylor expansion of y in x
10.976 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))))) in x
10.976 * [taylor]: Taking taylor expansion of -1 in x
10.976 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y)))) in x
10.976 * [taylor]: Taking taylor expansion of x in x
10.976 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in x
10.976 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
10.976 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.976 * [taylor]: Taking taylor expansion of z in x
10.976 * [taylor]: Taking taylor expansion of (/ 1 t) in x
10.976 * [taylor]: Taking taylor expansion of t in x
10.976 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
10.976 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.976 * [taylor]: Taking taylor expansion of z in x
10.976 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.976 * [taylor]: Taking taylor expansion of y in x
10.985 * [taylor]: Taking taylor expansion of (/ -1 (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y))))) in t
10.985 * [taylor]: Taking taylor expansion of -1 in t
10.985 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 (pow z 2))) (+ (/ 1 (* t z)) (/ 1 (* z y)))) in t
10.985 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 (pow z 2))) in t
10.985 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
10.985 * [taylor]: Taking taylor expansion of (* t y) in t
10.985 * [taylor]: Taking taylor expansion of t in t
10.985 * [taylor]: Taking taylor expansion of y in t
10.986 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
10.986 * [taylor]: Taking taylor expansion of (pow z 2) in t
10.986 * [taylor]: Taking taylor expansion of z in t
10.986 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* z y))) in t
10.986 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
10.986 * [taylor]: Taking taylor expansion of (* t z) in t
10.986 * [taylor]: Taking taylor expansion of t in t
10.986 * [taylor]: Taking taylor expansion of z in t
10.986 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
10.986 * [taylor]: Taking taylor expansion of (* z y) in t
10.986 * [taylor]: Taking taylor expansion of z in t
10.986 * [taylor]: Taking taylor expansion of y in t
10.987 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 y) (/ 1 z))) in z
10.987 * [taylor]: Taking taylor expansion of -1 in z
10.987 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
10.987 * [taylor]: Taking taylor expansion of (/ 1 y) in z
10.987 * [taylor]: Taking taylor expansion of y in z
10.987 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.987 * [taylor]: Taking taylor expansion of z in z
10.989 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.989 * [taylor]: Taking taylor expansion of y in y
10.994 * [taylor]: Taking taylor expansion of 0 in t
10.994 * [taylor]: Taking taylor expansion of 0 in z
10.994 * [taylor]: Taking taylor expansion of 0 in y
10.996 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow (- (/ 1 y) (/ 1 z)) 2) (pow z 2))) (/ 1 (* (pow (- (/ 1 y) (/ 1 z)) 2) (* z y)))) in z
10.997 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 y) (/ 1 z)) 2) (pow z 2))) in z
10.997 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 y) (/ 1 z)) 2) (pow z 2)) in z
10.997 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 z)) 2) in z
10.997 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
10.997 * [taylor]: Taking taylor expansion of (/ 1 y) in z
10.997 * [taylor]: Taking taylor expansion of y in z
10.997 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.997 * [taylor]: Taking taylor expansion of z in z
10.998 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.998 * [taylor]: Taking taylor expansion of z in z
10.999 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- (/ 1 y) (/ 1 z)) 2) (* z y))) in z
10.999 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 y) (/ 1 z)) 2) (* z y)) in z
10.999 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 z)) 2) in z
10.999 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
10.999 * [taylor]: Taking taylor expansion of (/ 1 y) in z
10.999 * [taylor]: Taking taylor expansion of y in z
10.999 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.999 * [taylor]: Taking taylor expansion of z in z
11.000 * [taylor]: Taking taylor expansion of (* z y) in z
11.000 * [taylor]: Taking taylor expansion of z in z
11.000 * [taylor]: Taking taylor expansion of y in z
11.009 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
11.009 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.009 * [taylor]: Taking taylor expansion of y in y
11.015 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
11.015 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.015 * [taylor]: Taking taylor expansion of y in y
11.023 * [taylor]: Taking taylor expansion of 0 in t
11.023 * [taylor]: Taking taylor expansion of 0 in z
11.023 * [taylor]: Taking taylor expansion of 0 in y
11.023 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
11.023 * [approximate]: Taking taylor expansion of (/ x (- t z)) in (x t z) around 0
11.023 * [taylor]: Taking taylor expansion of (/ x (- t z)) in z
11.023 * [taylor]: Taking taylor expansion of x in z
11.023 * [taylor]: Taking taylor expansion of (- t z) in z
11.023 * [taylor]: Taking taylor expansion of t in z
11.023 * [taylor]: Taking taylor expansion of z in z
11.024 * [taylor]: Taking taylor expansion of (/ x (- t z)) in t
11.024 * [taylor]: Taking taylor expansion of x in t
11.024 * [taylor]: Taking taylor expansion of (- t z) in t
11.024 * [taylor]: Taking taylor expansion of t in t
11.024 * [taylor]: Taking taylor expansion of z in t
11.024 * [taylor]: Taking taylor expansion of (/ x (- t z)) in x
11.024 * [taylor]: Taking taylor expansion of x in x
11.024 * [taylor]: Taking taylor expansion of (- t z) in x
11.024 * [taylor]: Taking taylor expansion of t in x
11.024 * [taylor]: Taking taylor expansion of z in x
11.024 * [taylor]: Taking taylor expansion of (/ x (- t z)) in x
11.024 * [taylor]: Taking taylor expansion of x in x
11.024 * [taylor]: Taking taylor expansion of (- t z) in x
11.024 * [taylor]: Taking taylor expansion of t in x
11.024 * [taylor]: Taking taylor expansion of z in x
11.024 * [taylor]: Taking taylor expansion of (/ 1 (- t z)) in t
11.024 * [taylor]: Taking taylor expansion of (- t z) in t
11.024 * [taylor]: Taking taylor expansion of t in t
11.024 * [taylor]: Taking taylor expansion of z in t
11.024 * [taylor]: Taking taylor expansion of (/ -1 z) in z
11.024 * [taylor]: Taking taylor expansion of -1 in z
11.024 * [taylor]: Taking taylor expansion of z in z
11.026 * [taylor]: Taking taylor expansion of 0 in t
11.026 * [taylor]: Taking taylor expansion of 0 in z
11.027 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
11.027 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
11.027 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.027 * [taylor]: Taking taylor expansion of z in z
11.031 * [taylor]: Taking taylor expansion of 0 in t
11.031 * [taylor]: Taking taylor expansion of 0 in z
11.031 * [taylor]: Taking taylor expansion of 0 in z
11.031 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in (x t z) around 0
11.031 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in z
11.031 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) x) in z
11.031 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
11.031 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.031 * [taylor]: Taking taylor expansion of t in z
11.031 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.031 * [taylor]: Taking taylor expansion of z in z
11.031 * [taylor]: Taking taylor expansion of x in z
11.032 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in t
11.032 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) x) in t
11.032 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
11.032 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.032 * [taylor]: Taking taylor expansion of t in t
11.032 * [taylor]: Taking taylor expansion of (/ 1 z) in t
11.032 * [taylor]: Taking taylor expansion of z in t
11.032 * [taylor]: Taking taylor expansion of x in t
11.033 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in x
11.033 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) x) in x
11.033 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
11.033 * [taylor]: Taking taylor expansion of (/ 1 t) in x
11.033 * [taylor]: Taking taylor expansion of t in x
11.033 * [taylor]: Taking taylor expansion of (/ 1 z) in x
11.033 * [taylor]: Taking taylor expansion of z in x
11.033 * [taylor]: Taking taylor expansion of x in x
11.034 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 z)) x)) in x
11.034 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) x) in x
11.034 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
11.034 * [taylor]: Taking taylor expansion of (/ 1 t) in x
11.034 * [taylor]: Taking taylor expansion of t in x
11.034 * [taylor]: Taking taylor expansion of (/ 1 z) in x
11.034 * [taylor]: Taking taylor expansion of z in x
11.034 * [taylor]: Taking taylor expansion of x in x
11.036 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 z))) in t
11.036 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
11.036 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.036 * [taylor]: Taking taylor expansion of t in t
11.036 * [taylor]: Taking taylor expansion of (/ 1 z) in t
11.036 * [taylor]: Taking taylor expansion of z in t
11.037 * [taylor]: Taking taylor expansion of 1 in z
11.038 * [taylor]: Taking taylor expansion of 0 in t
11.038 * [taylor]: Taking taylor expansion of 0 in z
11.038 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.039 * [taylor]: Taking taylor expansion of z in z
11.041 * [taylor]: Taking taylor expansion of 0 in t
11.041 * [taylor]: Taking taylor expansion of 0 in z
11.041 * [taylor]: Taking taylor expansion of 0 in z
11.041 * [approximate]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 t)))) in (x t z) around 0
11.041 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 t)))) in z
11.042 * [taylor]: Taking taylor expansion of -1 in z
11.042 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 t))) in z
11.042 * [taylor]: Taking taylor expansion of x in z
11.042 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
11.042 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.042 * [taylor]: Taking taylor expansion of z in z
11.042 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.042 * [taylor]: Taking taylor expansion of t in z
11.042 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 t)))) in t
11.042 * [taylor]: Taking taylor expansion of -1 in t
11.042 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 t))) in t
11.042 * [taylor]: Taking taylor expansion of x in t
11.042 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
11.042 * [taylor]: Taking taylor expansion of (/ 1 z) in t
11.042 * [taylor]: Taking taylor expansion of z in t
11.043 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.043 * [taylor]: Taking taylor expansion of t in t
11.044 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 t)))) in x
11.044 * [taylor]: Taking taylor expansion of -1 in x
11.044 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 t))) in x
11.044 * [taylor]: Taking taylor expansion of x in x
11.044 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
11.044 * [taylor]: Taking taylor expansion of (/ 1 z) in x
11.044 * [taylor]: Taking taylor expansion of z in x
11.044 * [taylor]: Taking taylor expansion of (/ 1 t) in x
11.044 * [taylor]: Taking taylor expansion of t in x
11.045 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 t)))) in x
11.045 * [taylor]: Taking taylor expansion of -1 in x
11.045 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 t))) in x
11.045 * [taylor]: Taking taylor expansion of x in x
11.045 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
11.045 * [taylor]: Taking taylor expansion of (/ 1 z) in x
11.045 * [taylor]: Taking taylor expansion of z in x
11.045 * [taylor]: Taking taylor expansion of (/ 1 t) in x
11.045 * [taylor]: Taking taylor expansion of t in x
11.047 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 z) (/ 1 t))) in t
11.047 * [taylor]: Taking taylor expansion of -1 in t
11.047 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
11.047 * [taylor]: Taking taylor expansion of (/ 1 z) in t
11.047 * [taylor]: Taking taylor expansion of z in t
11.047 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.047 * [taylor]: Taking taylor expansion of t in t
11.048 * [taylor]: Taking taylor expansion of 1 in z
11.049 * [taylor]: Taking taylor expansion of 0 in t
11.049 * [taylor]: Taking taylor expansion of 0 in z
11.050 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.051 * [taylor]: Taking taylor expansion of z in z
11.054 * [taylor]: Taking taylor expansion of 0 in t
11.054 * [taylor]: Taking taylor expansion of 0 in z
11.054 * [taylor]: Taking taylor expansion of 0 in z
11.054 * * * [progress]: simplifying candidates
11.057 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (/ x (- t z)) (- y z)))
  (log1p (/ (/ x (- t z)) (- y z)))
  (- (- (log x) (log (- t z))) (log (- y z)))
  (- (log (/ x (- t z))) (log (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (exp (/ (/ x (- t z)) (- y z)))
  (/ (/ (* (* x x) x) (* (* (- t z) (- t z)) (- t z))) (* (* (- y z) (- y z)) (- y z)))
  (/ (* (* (/ x (- t z)) (/ x (- t z))) (/ x (- t z))) (* (* (- y z) (- y z)) (- y z)))
  (* (cbrt (/ (/ x (- t z)) (- y z))) (cbrt (/ (/ x (- t z)) (- y z))))
  (cbrt (/ (/ x (- t z)) (- y z)))
  (* (* (/ (/ x (- t z)) (- y z)) (/ (/ x (- t z)) (- y z))) (/ (/ x (- t z)) (- y z)))
  (sqrt (/ (/ x (- t z)) (- y z)))
  (sqrt (/ (/ x (- t z)) (- y z)))
  (- (/ x (- t z)))
  (- (- y z))
  (/ (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z)))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (cbrt (/ x (- t z))) (cbrt (- y z)))
  (/ (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z)))) (sqrt (- y z)))
  (/ (cbrt (/ x (- t z))) (sqrt (- y z)))
  (/ (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z)))) 1)
  (/ (cbrt (/ x (- t z))) (- y z))
  (/ (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z)))) (+ (sqrt y) (sqrt z)))
  (/ (cbrt (/ x (- t z))) (- (sqrt y) (sqrt z)))
  (/ (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z)))) 1)
  (/ (cbrt (/ x (- t z))) (- y z))
  (/ (sqrt (/ x (- t z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (sqrt (/ x (- t z))) (cbrt (- y z)))
  (/ (sqrt (/ x (- t z))) (sqrt (- y z)))
  (/ (sqrt (/ x (- t z))) (sqrt (- y z)))
  (/ (sqrt (/ x (- t z))) 1)
  (/ (sqrt (/ x (- t z))) (- y z))
  (/ (sqrt (/ x (- t z))) (+ (sqrt y) (sqrt z)))
  (/ (sqrt (/ x (- t z))) (- (sqrt y) (sqrt z)))
  (/ (sqrt (/ x (- t z))) 1)
  (/ (sqrt (/ x (- t z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (cbrt x) (cbrt (- t z))) (cbrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))) (sqrt (- y z)))
  (/ (/ (cbrt x) (cbrt (- t z))) (sqrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))) 1)
  (/ (/ (cbrt x) (cbrt (- t z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))) (+ (sqrt y) (sqrt z)))
  (/ (/ (cbrt x) (cbrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))) 1)
  (/ (/ (cbrt x) (cbrt (- t z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (sqrt (- t z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (cbrt x) (sqrt (- t z))) (cbrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) (sqrt (- t z))) (sqrt (- y z)))
  (/ (/ (cbrt x) (sqrt (- t z))) (sqrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) (sqrt (- t z))) 1)
  (/ (/ (cbrt x) (sqrt (- t z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (sqrt (- t z))) (+ (sqrt y) (sqrt z)))
  (/ (/ (cbrt x) (sqrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ (/ (* (cbrt x) (cbrt x)) (sqrt (- t z))) 1)
  (/ (/ (cbrt x) (sqrt (- t z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) 1) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (cbrt x) (- t z)) (cbrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) 1) (sqrt (- y z)))
  (/ (/ (cbrt x) (- t z)) (sqrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) 1) 1)
  (/ (/ (cbrt x) (- t z)) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) 1) (+ (sqrt y) (sqrt z)))
  (/ (/ (cbrt x) (- t z)) (- (sqrt y) (sqrt z)))
  (/ (/ (* (cbrt x) (cbrt x)) 1) 1)
  (/ (/ (cbrt x) (- t z)) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (cbrt x) (- (sqrt t) (sqrt z))) (cbrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (/ (cbrt x) (- (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z))) 1)
  (/ (/ (cbrt x) (- (sqrt t) (sqrt z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z))) (+ (sqrt y) (sqrt z)))
  (/ (/ (cbrt x) (- (sqrt t) (sqrt z))) (- (sqrt y) (sqrt z)))
  (/ (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z))) 1)
  (/ (/ (cbrt x) (- (sqrt t) (sqrt z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) 1) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (cbrt x) (- t z)) (cbrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) 1) (sqrt (- y z)))
  (/ (/ (cbrt x) (- t z)) (sqrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) 1) 1)
  (/ (/ (cbrt x) (- t z)) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) 1) (+ (sqrt y) (sqrt z)))
  (/ (/ (cbrt x) (- t z)) (- (sqrt y) (sqrt z)))
  (/ (/ (* (cbrt x) (cbrt x)) 1) 1)
  (/ (/ (cbrt x) (- t z)) (- y z))
  (/ (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z)))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (sqrt x) (cbrt (- t z))) (cbrt (- y z)))
  (/ (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z)))) (sqrt (- y z)))
  (/ (/ (sqrt x) (cbrt (- t z))) (sqrt (- y z)))
  (/ (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z)))) 1)
  (/ (/ (sqrt x) (cbrt (- t z))) (- y z))
  (/ (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z)))) (+ (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (cbrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z)))) 1)
  (/ (/ (sqrt x) (cbrt (- t z))) (- y z))
  (/ (/ (sqrt x) (sqrt (- t z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (sqrt x) (sqrt (- t z))) (cbrt (- y z)))
  (/ (/ (sqrt x) (sqrt (- t z))) (sqrt (- y z)))
  (/ (/ (sqrt x) (sqrt (- t z))) (sqrt (- y z)))
  (/ (/ (sqrt x) (sqrt (- t z))) 1)
  (/ (/ (sqrt x) (sqrt (- t z))) (- y z))
  (/ (/ (sqrt x) (sqrt (- t z))) (+ (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (sqrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (sqrt (- t z))) 1)
  (/ (/ (sqrt x) (sqrt (- t z))) (- y z))
  (/ (/ (sqrt x) 1) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (sqrt x) (- t z)) (cbrt (- y z)))
  (/ (/ (sqrt x) 1) (sqrt (- y z)))
  (/ (/ (sqrt x) (- t z)) (sqrt (- y z)))
  (/ (/ (sqrt x) 1) 1)
  (/ (/ (sqrt x) (- t z)) (- y z))
  (/ (/ (sqrt x) 1) (+ (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (- t z)) (- (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) 1) 1)
  (/ (/ (sqrt x) (- t z)) (- y z))
  (/ (/ (sqrt x) (+ (sqrt t) (sqrt z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (sqrt x) (- (sqrt t) (sqrt z))) (cbrt (- y z)))
  (/ (/ (sqrt x) (+ (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (/ (sqrt x) (- (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (/ (sqrt x) (+ (sqrt t) (sqrt z))) 1)
  (/ (/ (sqrt x) (- (sqrt t) (sqrt z))) (- y z))
  (/ (/ (sqrt x) (+ (sqrt t) (sqrt z))) (+ (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (- (sqrt t) (sqrt z))) (- (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (+ (sqrt t) (sqrt z))) 1)
  (/ (/ (sqrt x) (- (sqrt t) (sqrt z))) (- y z))
  (/ (/ (sqrt x) 1) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (sqrt x) (- t z)) (cbrt (- y z)))
  (/ (/ (sqrt x) 1) (sqrt (- y z)))
  (/ (/ (sqrt x) (- t z)) (sqrt (- y z)))
  (/ (/ (sqrt x) 1) 1)
  (/ (/ (sqrt x) (- t z)) (- y z))
  (/ (/ (sqrt x) 1) (+ (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (- t z)) (- (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) 1) 1)
  (/ (/ (sqrt x) (- t z)) (- y z))
  (/ (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (cbrt (- t z))) (cbrt (- y z)))
  (/ (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))) (sqrt (- y z)))
  (/ (/ x (cbrt (- t z))) (sqrt (- y z)))
  (/ (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))) 1)
  (/ (/ x (cbrt (- t z))) (- y z))
  (/ (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))) (+ (sqrt y) (sqrt z)))
  (/ (/ x (cbrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))) 1)
  (/ (/ x (cbrt (- t z))) (- y z))
  (/ (/ 1 (sqrt (- t z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (sqrt (- t z))) (cbrt (- y z)))
  (/ (/ 1 (sqrt (- t z))) (sqrt (- y z)))
  (/ (/ x (sqrt (- t z))) (sqrt (- y z)))
  (/ (/ 1 (sqrt (- t z))) 1)
  (/ (/ x (sqrt (- t z))) (- y z))
  (/ (/ 1 (sqrt (- t z))) (+ (sqrt y) (sqrt z)))
  (/ (/ x (sqrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ (/ 1 (sqrt (- t z))) 1)
  (/ (/ x (sqrt (- t z))) (- y z))
  (/ (/ 1 1) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (- t z)) (cbrt (- y z)))
  (/ (/ 1 1) (sqrt (- y z)))
  (/ (/ x (- t z)) (sqrt (- y z)))
  (/ (/ 1 1) 1)
  (/ (/ x (- t z)) (- y z))
  (/ (/ 1 1) (+ (sqrt y) (sqrt z)))
  (/ (/ x (- t z)) (- (sqrt y) (sqrt z)))
  (/ (/ 1 1) 1)
  (/ (/ x (- t z)) (- y z))
  (/ (/ 1 (+ (sqrt t) (sqrt z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (- (sqrt t) (sqrt z))) (cbrt (- y z)))
  (/ (/ 1 (+ (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (/ x (- (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (/ 1 (+ (sqrt t) (sqrt z))) 1)
  (/ (/ x (- (sqrt t) (sqrt z))) (- y z))
  (/ (/ 1 (+ (sqrt t) (sqrt z))) (+ (sqrt y) (sqrt z)))
  (/ (/ x (- (sqrt t) (sqrt z))) (- (sqrt y) (sqrt z)))
  (/ (/ 1 (+ (sqrt t) (sqrt z))) 1)
  (/ (/ x (- (sqrt t) (sqrt z))) (- y z))
  (/ (/ 1 1) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (- t z)) (cbrt (- y z)))
  (/ (/ 1 1) (sqrt (- y z)))
  (/ (/ x (- t z)) (sqrt (- y z)))
  (/ (/ 1 1) 1)
  (/ (/ x (- t z)) (- y z))
  (/ (/ 1 1) (+ (sqrt y) (sqrt z)))
  (/ (/ x (- t z)) (- (sqrt y) (sqrt z)))
  (/ (/ 1 1) 1)
  (/ (/ x (- t z)) (- y z))
  (/ 1 (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (- t z)) (cbrt (- y z)))
  (/ 1 (sqrt (- y z)))
  (/ (/ x (- t z)) (sqrt (- y z)))
  (/ 1 1)
  (/ (/ x (- t z)) (- y z))
  (/ 1 (+ (sqrt y) (sqrt z)))
  (/ (/ x (- t z)) (- (sqrt y) (sqrt z)))
  (/ 1 1)
  (/ (/ x (- t z)) (- y z))
  (/ x (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ 1 (- t z)) (cbrt (- y z)))
  (/ x (sqrt (- y z)))
  (/ (/ 1 (- t z)) (sqrt (- y z)))
  (/ x 1)
  (/ (/ 1 (- t z)) (- y z))
  (/ x (+ (sqrt y) (sqrt z)))
  (/ (/ 1 (- t z)) (- (sqrt y) (sqrt z)))
  (/ x 1)
  (/ (/ 1 (- t z)) (- y z))
  (/ (/ x (- (pow t 3) (pow z 3))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (+ (* t t) (+ (* z z) (* t z))) (cbrt (- y z)))
  (/ (/ x (- (pow t 3) (pow z 3))) (sqrt (- y z)))
  (/ (+ (* t t) (+ (* z z) (* t z))) (sqrt (- y z)))
  (/ (/ x (- (pow t 3) (pow z 3))) 1)
  (/ (+ (* t t) (+ (* z z) (* t z))) (- y z))
  (/ (/ x (- (pow t 3) (pow z 3))) (+ (sqrt y) (sqrt z)))
  (/ (+ (* t t) (+ (* z z) (* t z))) (- (sqrt y) (sqrt z)))
  (/ (/ x (- (pow t 3) (pow z 3))) 1)
  (/ (+ (* t t) (+ (* z z) (* t z))) (- y z))
  (/ (/ x (- (* t t) (* z z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (+ t z) (cbrt (- y z)))
  (/ (/ x (- (* t t) (* z z))) (sqrt (- y z)))
  (/ (+ t z) (sqrt (- y z)))
  (/ (/ x (- (* t t) (* z z))) 1)
  (/ (+ t z) (- y z))
  (/ (/ x (- (* t t) (* z z))) (+ (sqrt y) (sqrt z)))
  (/ (+ t z) (- (sqrt y) (sqrt z)))
  (/ (/ x (- (* t t) (* z z))) 1)
  (/ (+ t z) (- y z))
  (/ 1 (- y z))
  (/ (- y z) (/ x (- t z)))
  (/ (/ x (- t z)) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (- t z)) (sqrt (- y z)))
  (/ (/ x (- t z)) 1)
  (/ (/ x (- t z)) (+ (sqrt y) (sqrt z)))
  (/ (/ x (- t z)) 1)
  (/ (- y z) (cbrt (/ x (- t z))))
  (/ (- y z) (sqrt (/ x (- t z))))
  (/ (- y z) (/ (cbrt x) (cbrt (- t z))))
  (/ (- y z) (/ (cbrt x) (sqrt (- t z))))
  (/ (- y z) (/ (cbrt x) (- t z)))
  (/ (- y z) (/ (cbrt x) (- (sqrt t) (sqrt z))))
  (/ (- y z) (/ (cbrt x) (- t z)))
  (/ (- y z) (/ (sqrt x) (cbrt (- t z))))
  (/ (- y z) (/ (sqrt x) (sqrt (- t z))))
  (/ (- y z) (/ (sqrt x) (- t z)))
  (/ (- y z) (/ (sqrt x) (- (sqrt t) (sqrt z))))
  (/ (- y z) (/ (sqrt x) (- t z)))
  (/ (- y z) (/ x (cbrt (- t z))))
  (/ (- y z) (/ x (sqrt (- t z))))
  (/ (- y z) (/ x (- t z)))
  (/ (- y z) (/ x (- (sqrt t) (sqrt z))))
  (/ (- y z) (/ x (- t z)))
  (/ (- y z) (/ x (- t z)))
  (/ (- y z) (/ 1 (- t z)))
  (/ (- y z) (+ (* t t) (+ (* z z) (* t z))))
  (/ (- y z) (+ t z))
  (/ (/ x (- t z)) (- (pow y 3) (pow z 3)))
  (/ (/ x (- t z)) (- (* y y) (* z z)))
  (* (- y z) (- t z))
  (expm1 (/ x (- t z)))
  (log1p (/ x (- t z)))
  (- (log x) (log (- t z)))
  (log (/ x (- t z)))
  (exp (/ x (- t z)))
  (/ (* (* x x) x) (* (* (- t z) (- t z)) (- t z)))
  (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z))))
  (cbrt (/ x (- t z)))
  (* (* (/ x (- t z)) (/ x (- t z))) (/ x (- t z)))
  (sqrt (/ x (- t z)))
  (sqrt (/ x (- t z)))
  (- x)
  (- (- t z))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (cbrt x) (cbrt (- t z)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (- t z)))
  (/ (cbrt x) (sqrt (- t z)))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (- t z))
  (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z)))
  (/ (cbrt x) (- (sqrt t) (sqrt z)))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (- t z))
  (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (sqrt x) (cbrt (- t z)))
  (/ (sqrt x) (sqrt (- t z)))
  (/ (sqrt x) (sqrt (- t z)))
  (/ (sqrt x) 1)
  (/ (sqrt x) (- t z))
  (/ (sqrt x) (+ (sqrt t) (sqrt z)))
  (/ (sqrt x) (- (sqrt t) (sqrt z)))
  (/ (sqrt x) 1)
  (/ (sqrt x) (- t z))
  (/ 1 (* (cbrt (- t z)) (cbrt (- t z))))
  (/ x (cbrt (- t z)))
  (/ 1 (sqrt (- t z)))
  (/ x (sqrt (- t z)))
  (/ 1 1)
  (/ x (- t z))
  (/ 1 (+ (sqrt t) (sqrt z)))
  (/ x (- (sqrt t) (sqrt z)))
  (/ 1 1)
  (/ x (- t z))
  (/ 1 (- t z))
  (/ (- t z) x)
  (/ x (* (cbrt (- t z)) (cbrt (- t z))))
  (/ x (sqrt (- t z)))
  (/ x 1)
  (/ x (+ (sqrt t) (sqrt z)))
  (/ x 1)
  (/ (- t z) (cbrt x))
  (/ (- t z) (sqrt x))
  (/ (- t z) x)
  (/ x (- (pow t 3) (pow z 3)))
  (/ x (- (* t t) (* z z)))
  0
  0
  0
  0
  0
  0
11.067 * * [simplify]: iteration  0 :  268  enodes  (cost  3384 )
11.150 * * [simplify]: iteration  1 :  645  enodes  (cost  3198 )
11.333 * * [simplify]: iteration  2 :  1864  enodes  (cost  3122 )
11.972 * * [simplify]: iteration  done :  5000  enodes  (cost  3122 )
11.975 * [simplify]: Simplified to:
   (expm1 (/ (/ x (- t z)) (- y z)))
  (log1p (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (log (/ (/ x (- t z)) (- y z)))
  (exp (/ (/ x (- t z)) (- y z)))
  (pow (/ (/ x (- t z)) (- y z)) 3)
  (pow (/ (/ x (- t z)) (- y z)) 3)
  (* (cbrt (/ (/ x (- t z)) (- y z))) (cbrt (/ (/ x (- t z)) (- y z))))
  (cbrt (/ (/ x (- t z)) (- y z)))
  (pow (/ (/ x (- t z)) (- y z)) 3)
  (sqrt (/ (/ x (- t z)) (- y z)))
  (sqrt (/ (/ x (- t z)) (- y z)))
  (- (/ x (- t z)))
  (- (- y z))
  (/ (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z)))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (cbrt (/ x (- t z))) (cbrt (- y z)))
  (/ (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z)))) (sqrt (- y z)))
  (/ (cbrt (/ x (- t z))) (sqrt (- y z)))
  (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z))))
  (/ (cbrt (/ x (- t z))) (- y z))
  (/ (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z)))) (+ (sqrt y) (sqrt z)))
  (/ (cbrt (/ x (- t z))) (- (sqrt y) (sqrt z)))
  (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z))))
  (/ (cbrt (/ x (- t z))) (- y z))
  (/ (sqrt (/ x (- t z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (sqrt (/ x (- t z))) (cbrt (- y z)))
  (/ (sqrt (/ x (- t z))) (sqrt (- y z)))
  (/ (sqrt (/ x (- t z))) (sqrt (- y z)))
  (sqrt (/ x (- t z)))
  (/ (sqrt (/ x (- t z))) (- y z))
  (/ (sqrt (/ x (- t z))) (+ (sqrt y) (sqrt z)))
  (/ (sqrt (/ x (- t z))) (- (sqrt y) (sqrt z)))
  (sqrt (/ x (- t z)))
  (/ (sqrt (/ x (- t z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (cbrt x) (cbrt (- t z))) (cbrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))) (sqrt (- y z)))
  (/ (/ (cbrt x) (cbrt (- t z))) (sqrt (- y z)))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (/ (cbrt x) (cbrt (- t z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z)))) (+ (sqrt y) (sqrt z)))
  (/ (/ (cbrt x) (cbrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (/ (cbrt x) (cbrt (- t z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (sqrt (- t z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (cbrt x) (sqrt (- t z))) (cbrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) (sqrt (- t z))) (sqrt (- y z)))
  (/ (/ (cbrt x) (sqrt (- t z))) (sqrt (- y z)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (- t z)))
  (/ (/ (cbrt x) (sqrt (- t z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (sqrt (- t z))) (+ (sqrt y) (sqrt z)))
  (/ (/ (cbrt x) (sqrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (- t z)))
  (/ (/ (cbrt x) (sqrt (- t z))) (- y z))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (cbrt x) (- t z)) (cbrt (- y z)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (- y z)))
  (/ (/ (cbrt x) (- t z)) (sqrt (- y z)))
  (* (cbrt x) (cbrt x))
  (/ (/ (cbrt x) (- t z)) (- y z))
  (/ (* (cbrt x) (cbrt x)) (+ (sqrt y) (sqrt z)))
  (/ (/ (cbrt x) (- t z)) (- (sqrt y) (sqrt z)))
  (* (cbrt x) (cbrt x))
  (/ (/ (cbrt x) (- t z)) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (cbrt x) (- (sqrt t) (sqrt z))) (cbrt (- y z)))
  (/ (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (/ (cbrt x) (- (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z)))
  (/ (/ (cbrt x) (- (sqrt t) (sqrt z))) (- y z))
  (/ (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z))) (+ (sqrt y) (sqrt z)))
  (/ (/ (cbrt x) (- (sqrt t) (sqrt z))) (- (sqrt y) (sqrt z)))
  (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z)))
  (/ (/ (cbrt x) (- (sqrt t) (sqrt z))) (- y z))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (cbrt x) (- t z)) (cbrt (- y z)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (- y z)))
  (/ (/ (cbrt x) (- t z)) (sqrt (- y z)))
  (* (cbrt x) (cbrt x))
  (/ (/ (cbrt x) (- t z)) (- y z))
  (/ (* (cbrt x) (cbrt x)) (+ (sqrt y) (sqrt z)))
  (/ (/ (cbrt x) (- t z)) (- (sqrt y) (sqrt z)))
  (* (cbrt x) (cbrt x))
  (/ (/ (cbrt x) (- t z)) (- y z))
  (/ (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z)))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (sqrt x) (cbrt (- t z))) (cbrt (- y z)))
  (/ (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z)))) (sqrt (- y z)))
  (/ (/ (sqrt x) (cbrt (- t z))) (sqrt (- y z)))
  (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (/ (sqrt x) (cbrt (- t z))) (- y z))
  (/ (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z)))) (+ (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (cbrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (/ (sqrt x) (cbrt (- t z))) (- y z))
  (/ (/ (sqrt x) (sqrt (- t z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (sqrt x) (sqrt (- t z))) (cbrt (- y z)))
  (/ (/ (sqrt x) (sqrt (- t z))) (sqrt (- y z)))
  (/ (/ (sqrt x) (sqrt (- t z))) (sqrt (- y z)))
  (/ (sqrt x) (sqrt (- t z)))
  (/ (/ (sqrt x) (sqrt (- t z))) (- y z))
  (/ (/ (sqrt x) (sqrt (- t z))) (+ (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (sqrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ (sqrt x) (sqrt (- t z)))
  (/ (/ (sqrt x) (sqrt (- t z))) (- y z))
  (/ (sqrt x) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (sqrt x) (- t z)) (cbrt (- y z)))
  (/ (sqrt x) (sqrt (- y z)))
  (/ (/ (sqrt x) (- t z)) (sqrt (- y z)))
  (sqrt x)
  (/ (/ (sqrt x) (- t z)) (- y z))
  (/ (sqrt x) (+ (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (- t z)) (- (sqrt y) (sqrt z)))
  (sqrt x)
  (/ (/ (sqrt x) (- t z)) (- y z))
  (/ (/ (sqrt x) (+ (sqrt t) (sqrt z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (sqrt x) (- (sqrt t) (sqrt z))) (cbrt (- y z)))
  (/ (/ (sqrt x) (+ (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (/ (sqrt x) (- (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (sqrt x) (+ (sqrt t) (sqrt z)))
  (/ (/ (sqrt x) (- (sqrt t) (sqrt z))) (- y z))
  (/ (/ (sqrt x) (+ (sqrt t) (sqrt z))) (+ (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (- (sqrt t) (sqrt z))) (- (sqrt y) (sqrt z)))
  (/ (sqrt x) (+ (sqrt t) (sqrt z)))
  (/ (/ (sqrt x) (- (sqrt t) (sqrt z))) (- y z))
  (/ (sqrt x) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ (sqrt x) (- t z)) (cbrt (- y z)))
  (/ (sqrt x) (sqrt (- y z)))
  (/ (/ (sqrt x) (- t z)) (sqrt (- y z)))
  (sqrt x)
  (/ (/ (sqrt x) (- t z)) (- y z))
  (/ (sqrt x) (+ (sqrt y) (sqrt z)))
  (/ (/ (sqrt x) (- t z)) (- (sqrt y) (sqrt z)))
  (sqrt x)
  (/ (/ (sqrt x) (- t z)) (- y z))
  (/ (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (cbrt (- t z))) (cbrt (- y z)))
  (/ (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))) (sqrt (- y z)))
  (/ (/ x (cbrt (- t z))) (sqrt (- y z)))
  (/ 1 (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (/ x (cbrt (- t z))) (- y z))
  (/ (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))) (+ (sqrt y) (sqrt z)))
  (/ (/ x (cbrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ 1 (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (/ x (cbrt (- t z))) (- y z))
  (/ (/ 1 (sqrt (- t z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (sqrt (- t z))) (cbrt (- y z)))
  (/ (/ 1 (sqrt (- t z))) (sqrt (- y z)))
  (/ (/ x (sqrt (- t z))) (sqrt (- y z)))
  (/ 1 (sqrt (- t z)))
  (/ (/ x (sqrt (- t z))) (- y z))
  (/ (/ 1 (sqrt (- t z))) (+ (sqrt y) (sqrt z)))
  (/ (/ x (sqrt (- t z))) (- (sqrt y) (sqrt z)))
  (/ 1 (sqrt (- t z)))
  (/ (/ x (sqrt (- t z))) (- y z))
  (/ 1 (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (- t z)) (cbrt (- y z)))
  (/ 1 (sqrt (- y z)))
  (/ (/ x (- t z)) (sqrt (- y z)))
  1
  (/ (/ x (- t z)) (- y z))
  (/ 1 (+ (sqrt y) (sqrt z)))
  (/ (/ x (- t z)) (- (sqrt y) (sqrt z)))
  1
  (/ (/ x (- t z)) (- y z))
  (/ (/ 1 (+ (sqrt t) (sqrt z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (- (sqrt t) (sqrt z))) (cbrt (- y z)))
  (/ (/ 1 (+ (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ (/ x (- (sqrt t) (sqrt z))) (sqrt (- y z)))
  (/ 1 (+ (sqrt t) (sqrt z)))
  (/ (/ x (- (sqrt t) (sqrt z))) (- y z))
  (/ (/ 1 (+ (sqrt t) (sqrt z))) (+ (sqrt y) (sqrt z)))
  (/ (/ x (- (sqrt t) (sqrt z))) (- (sqrt y) (sqrt z)))
  (/ 1 (+ (sqrt t) (sqrt z)))
  (/ (/ x (- (sqrt t) (sqrt z))) (- y z))
  (/ 1 (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (- t z)) (cbrt (- y z)))
  (/ 1 (sqrt (- y z)))
  (/ (/ x (- t z)) (sqrt (- y z)))
  1
  (/ (/ x (- t z)) (- y z))
  (/ 1 (+ (sqrt y) (sqrt z)))
  (/ (/ x (- t z)) (- (sqrt y) (sqrt z)))
  1
  (/ (/ x (- t z)) (- y z))
  (/ 1 (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (- t z)) (cbrt (- y z)))
  (/ 1 (sqrt (- y z)))
  (/ (/ x (- t z)) (sqrt (- y z)))
  1
  (/ (/ x (- t z)) (- y z))
  (/ 1 (+ (sqrt y) (sqrt z)))
  (/ (/ x (- t z)) (- (sqrt y) (sqrt z)))
  1
  (/ (/ x (- t z)) (- y z))
  (/ x (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ 1 (- t z)) (cbrt (- y z)))
  (/ x (sqrt (- y z)))
  (/ (/ 1 (- t z)) (sqrt (- y z)))
  x
  (/ (/ 1 (- t z)) (- y z))
  (/ x (+ (sqrt y) (sqrt z)))
  (/ (/ 1 (- t z)) (- (sqrt y) (sqrt z)))
  x
  (/ (/ 1 (- t z)) (- y z))
  (/ (/ x (- (pow t 3) (pow z 3))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (fma t t (* z (+ t z))) (cbrt (- y z)))
  (/ (/ x (- (pow t 3) (pow z 3))) (sqrt (- y z)))
  (/ (fma t t (* z (+ t z))) (sqrt (- y z)))
  (/ x (- (pow t 3) (pow z 3)))
  (/ (fma t t (* z (+ t z))) (- y z))
  (/ (/ x (- (pow t 3) (pow z 3))) (+ (sqrt y) (sqrt z)))
  (/ (fma t t (* z (+ t z))) (- (sqrt y) (sqrt z)))
  (/ x (- (pow t 3) (pow z 3)))
  (/ (fma t t (* z (+ t z))) (- y z))
  (/ (/ x (- (* t t) (* z z))) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (+ t z) (cbrt (- y z)))
  (/ (/ x (- (* t t) (* z z))) (sqrt (- y z)))
  (/ (+ t z) (sqrt (- y z)))
  (/ x (- (* t t) (* z z)))
  (/ (+ t z) (- y z))
  (/ (/ x (- (* t t) (* z z))) (+ (sqrt y) (sqrt z)))
  (/ (+ t z) (- (sqrt y) (sqrt z)))
  (/ x (- (* t t) (* z z)))
  (/ (+ t z) (- y z))
  (/ 1 (- y z))
  (/ (- y z) (/ x (- t z)))
  (/ (/ x (- t z)) (* (cbrt (- y z)) (cbrt (- y z))))
  (/ (/ x (- t z)) (sqrt (- y z)))
  (/ x (- t z))
  (/ (/ x (- t z)) (+ (sqrt y) (sqrt z)))
  (/ x (- t z))
  (/ (- y z) (cbrt (/ x (- t z))))
  (/ (- y z) (sqrt (/ x (- t z))))
  (/ (- y z) (/ (cbrt x) (cbrt (- t z))))
  (/ (- y z) (/ (cbrt x) (sqrt (- t z))))
  (/ (- y z) (/ (cbrt x) (- t z)))
  (/ (- y z) (/ (cbrt x) (- (sqrt t) (sqrt z))))
  (/ (- y z) (/ (cbrt x) (- t z)))
  (/ (- y z) (/ (sqrt x) (cbrt (- t z))))
  (/ (- y z) (/ (sqrt x) (sqrt (- t z))))
  (/ (- y z) (/ (sqrt x) (- t z)))
  (/ (- y z) (/ (sqrt x) (- (sqrt t) (sqrt z))))
  (/ (- y z) (/ (sqrt x) (- t z)))
  (/ (- y z) (/ x (cbrt (- t z))))
  (/ (- y z) (/ x (sqrt (- t z))))
  (/ (- y z) (/ x (- t z)))
  (/ (- y z) (/ x (- (sqrt t) (sqrt z))))
  (/ (- y z) (/ x (- t z)))
  (/ (- y z) (/ x (- t z)))
  (* (- t z) (- y z))
  (/ (- y z) (fma t t (* z (+ t z))))
  (/ (- y z) (+ t z))
  (/ (/ x (- t z)) (- (pow y 3) (pow z 3)))
  (/ (/ x (- t z)) (- (* y y) (* z z)))
  (* (- t z) (- y z))
  (expm1 (/ x (- t z)))
  (log1p (/ x (- t z)))
  (log (/ x (- t z)))
  (log (/ x (- t z)))
  (exp (/ x (- t z)))
  (pow (/ x (- t z)) 3)
  (* (cbrt (/ x (- t z))) (cbrt (/ x (- t z))))
  (cbrt (/ x (- t z)))
  (pow (/ x (- t z)) 3)
  (sqrt (/ x (- t z)))
  (sqrt (/ x (- t z)))
  (- x)
  (- (- t z))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (cbrt x) (cbrt (- t z)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (- t z)))
  (/ (cbrt x) (sqrt (- t z)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (- t z))
  (/ (* (cbrt x) (cbrt x)) (+ (sqrt t) (sqrt z)))
  (/ (cbrt x) (- (sqrt t) (sqrt z)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (- t z))
  (/ (sqrt x) (* (cbrt (- t z)) (cbrt (- t z))))
  (/ (sqrt x) (cbrt (- t z)))
  (/ (sqrt x) (sqrt (- t z)))
  (/ (sqrt x) (sqrt (- t z)))
  (sqrt x)
  (/ (sqrt x) (- t z))
  (/ (sqrt x) (+ (sqrt t) (sqrt z)))
  (/ (sqrt x) (- (sqrt t) (sqrt z)))
  (sqrt x)
  (/ (sqrt x) (- t z))
  (/ 1 (* (cbrt (- t z)) (cbrt (- t z))))
  (/ x (cbrt (- t z)))
  (/ 1 (sqrt (- t z)))
  (/ x (sqrt (- t z)))
  1
  (/ x (- t z))
  (/ 1 (+ (sqrt t) (sqrt z)))
  (/ x (- (sqrt t) (sqrt z)))
  1
  (/ x (- t z))
  (/ 1 (- t z))
  (/ (- t z) x)
  (/ x (* (cbrt (- t z)) (cbrt (- t z))))
  (/ x (sqrt (- t z)))
  x
  (/ x (+ (sqrt t) (sqrt z)))
  x
  (/ (- t z) (cbrt x))
  (/ (- t z) (sqrt x))
  (/ (- t z) x)
  (/ x (- (pow t 3) (pow z 3)))
  (/ x (- (* t t) (* z z)))
  0
  0
  0
  0
  0
  0
11.977 * * * [progress]: adding candidates to table
12.435 * [progress]: [Phase 3 of 3] Extracting.
12.435 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (/ (/ x (- t z)) (- y z)))> #<alt (λ (x y z t) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))> #<alt (λ (x y z t) (/ 1 (/ (* (- y z) (- t z)) x)))> #<alt (λ (x y z t) (/ (/ 1 (/ (- t z) x)) (- y z)))> #<alt (λ (x y z t) (* (/ 1 (- y z)) (/ 1 (/ (- t z) x))))> #<alt (λ (x y z t) (* x (/ (/ 1 (- t z)) (- y z))))> #<alt (λ (x y z t) (* 1 (/ x (* (- y z) (- t z)))))>)
12.437 * * * [regime-changes]: Trying 6 branch expressions: ((* (- y z) (- t z)) (/ x (* (- y z) (- t z))) t z y x)
12.437 * * * * [regimes]: Trying to branch on (* (- y z) (- t z)) from (#<alt (λ (x y z t) (/ (/ x (- t z)) (- y z)))> #<alt (λ (x y z t) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))> #<alt (λ (x y z t) (/ 1 (/ (* (- y z) (- t z)) x)))> #<alt (λ (x y z t) (/ (/ 1 (/ (- t z) x)) (- y z)))> #<alt (λ (x y z t) (* (/ 1 (- y z)) (/ 1 (/ (- t z) x))))> #<alt (λ (x y z t) (* x (/ (/ 1 (- t z)) (- y z))))> #<alt (λ (x y z t) (* 1 (/ x (* (- y z) (- t z)))))>)
12.472 * * * * [regimes]: Trying to branch on (* (- y z) (- t z)) from (#<alt (λ (x y z t) (/ 1 (/ (* (- y z) (- t z)) x)))> #<alt (λ (x y z t) (* 1 (/ x (* (- y z) (- t z)))))>)
12.489 * * * * [regimes]: Trying to branch on (/ x (* (- y z) (- t z))) from (#<alt (λ (x y z t) (/ (/ x (- t z)) (- y z)))> #<alt (λ (x y z t) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))> #<alt (λ (x y z t) (/ 1 (/ (* (- y z) (- t z)) x)))> #<alt (λ (x y z t) (/ (/ 1 (/ (- t z) x)) (- y z)))> #<alt (λ (x y z t) (* (/ 1 (- y z)) (/ 1 (/ (- t z) x))))> #<alt (λ (x y z t) (* x (/ (/ 1 (- t z)) (- y z))))> #<alt (λ (x y z t) (* 1 (/ x (* (- y z) (- t z)))))>)
12.513 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (/ (/ x (- t z)) (- y z)))> #<alt (λ (x y z t) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))> #<alt (λ (x y z t) (/ 1 (/ (* (- y z) (- t z)) x)))> #<alt (λ (x y z t) (/ (/ 1 (/ (- t z) x)) (- y z)))> #<alt (λ (x y z t) (* (/ 1 (- y z)) (/ 1 (/ (- t z) x))))> #<alt (λ (x y z t) (* x (/ (/ 1 (- t z)) (- y z))))> #<alt (λ (x y z t) (* 1 (/ x (* (- y z) (- t z)))))>)
12.542 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (/ (/ x (- t z)) (- y z)))> #<alt (λ (x y z t) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))> #<alt (λ (x y z t) (/ 1 (/ (* (- y z) (- t z)) x)))> #<alt (λ (x y z t) (/ (/ 1 (/ (- t z) x)) (- y z)))> #<alt (λ (x y z t) (* (/ 1 (- y z)) (/ 1 (/ (- t z) x))))> #<alt (λ (x y z t) (* x (/ (/ 1 (- t z)) (- y z))))> #<alt (λ (x y z t) (* 1 (/ x (* (- y z) (- t z)))))>)
12.570 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (/ (/ x (- t z)) (- y z)))> #<alt (λ (x y z t) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))> #<alt (λ (x y z t) (/ 1 (/ (* (- y z) (- t z)) x)))> #<alt (λ (x y z t) (/ (/ 1 (/ (- t z) x)) (- y z)))> #<alt (λ (x y z t) (* (/ 1 (- y z)) (/ 1 (/ (- t z) x))))> #<alt (λ (x y z t) (* x (/ (/ 1 (- t z)) (- y z))))> #<alt (λ (x y z t) (* 1 (/ x (* (- y z) (- t z)))))>)
12.595 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (/ (/ x (- t z)) (- y z)))> #<alt (λ (x y z t) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))> #<alt (λ (x y z t) (/ 1 (/ (* (- y z) (- t z)) x)))> #<alt (λ (x y z t) (/ (/ 1 (/ (- t z) x)) (- y z)))> #<alt (λ (x y z t) (* (/ 1 (- y z)) (/ 1 (/ (- t z) x))))> #<alt (λ (x y z t) (* x (/ (/ 1 (- t z)) (- y z))))> #<alt (λ (x y z t) (* 1 (/ x (* (- y z) (- t z)))))>)
12.622 * * * [regime]: Found split indices: #<option (#s(si 0 27) #s(si 6 164) #s(si 3 255))>
12.623 * [binary-search]: Only using regimes for bounds on (* (- y z) (- t z)) and (#<alt (λ (x y z t) (/ (/ x (- t z)) (- y z)))> #<alt (λ (x y z t) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))> #<alt (λ (x y z t) (/ 1 (/ (* (- y z) (- t z)) x)))> #<alt (λ (x y z t) (/ (/ 1 (/ (- t z) x)) (- y z)))> #<alt (λ (x y z t) (* (/ 1 (- y z)) (/ 1 (/ (- t z) x))))> #<alt (λ (x y z t) (* x (/ (/ 1 (- t z)) (- y z))))> #<alt (λ (x y z t) (* 1 (/ x (* (- y z) (- t z)))))>)
12.623 * [regimes]: Found splitpoints: (#s(sp 0 (* (- y z) (- t z)) -inf.0) #s(sp 6 (* (- y z) (- t z)) 1.2250624034146396e+298) #s(sp 3 (* (- y z) (- t z)) +nan.0)) , with alts (#<alt (λ (x y z t) (/ (/ x (- t z)) (- y z)))> #<alt (λ (x y z t) (* (/ (* (cbrt x) (cbrt x)) (- y z)) (/ (cbrt x) (- t z))))> #<alt (λ (x y z t) (/ 1 (/ (* (- y z) (- t z)) x)))> #<alt (λ (x y z t) (/ (/ 1 (/ (- t z) x)) (- y z)))> #<alt (λ (x y z t) (* (/ 1 (- y z)) (/ 1 (/ (- t z) x))))> #<alt (λ (x y z t) (* x (/ (/ 1 (- t z)) (- y z))))> #<alt (λ (x y z t) (* 1 (/ x (* (- y z) (- t z)))))>)
12.624 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (* (- y z) (- t z)) -inf.0) (/ (/ x (- t z)) (- y z)) (if (<= (* (- y z) (- t z)) 1.2250624034146396e+298) (* 1 (/ x (* (- y z) (- t z)))) (/ (/ 1 (/ (- t z) x)) (- y z))))
12.624 * * [simplify]: iteration  0 :  21  enodes  (cost  51 )
12.625 * * [simplify]: iteration  1 :  25  enodes  (cost  51 )
12.625 * * [simplify]: iteration  done :  25  enodes  (cost  49 )
12.625 * [simplify]: Simplified to:
   (if (<= (* (- y z) (- t z)) -inf.0) (/ (/ x (- t z)) (- y z)) (if (<= (* (- y z) (- t z)) 1.2250624034146396e+298) (/ x (* (- y z) (- t z))) (/ (/ 1 (/ (- t z) x)) (- y z))))
13.245 * [regime-testing]: Baseline error score: 1.7997102855426457
13.246 * [regime-testing]: Oracle error score: 0.024003000375046882
13.247 * [regime-testing]: End program error score: 0.8615962390011016
13.274 * [regime-testing]: Target error score: 8.618818475631272