9.881 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.021 * * * [progress]: [2/2] Setting up program.
0.023 * [progress]: [Phase 2 of 3] Improving.
0.023 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ x (* (- y z) (- t x)))
0.024 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.025 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
0.027 * * [simplify]: iteration  2 :  28  enodes  (cost  9 )
0.031 * * [simplify]: iteration  3 :  70  enodes  (cost  9 )
0.044 * * [simplify]: iteration  4 :  174  enodes  (cost  9 )
0.103 * * [simplify]: iteration  5 :  376  enodes  (cost  9 )
0.294 * * [simplify]: iteration  6 :  696  enodes  (cost  9 )
0.814 * * [simplify]: iteration  7 :  1233  enodes  (cost  9 )
2.317 * * [simplify]: iteration  8 :  2352  enodes  (cost  9 )
3.801 * * [simplify]: iteration  9 :  2948  enodes  (cost  9 )
4.943 * * [simplify]: iteration  10 :  3132  enodes  (cost  9 )
6.199 * * [simplify]: iteration  11 :  3441  enodes  (cost  9 )
7.488 * * [simplify]: iteration  12 :  3868  enodes  (cost  9 )
8.838 * * [simplify]: iteration  13 :  4269  enodes  (cost  9 )
10.477 * * [simplify]: iteration  14 :  4609  enodes  (cost  9 )
12.191 * * [simplify]: iteration  15 :  4884  enodes  (cost  9 )
14.016 * * [simplify]: iteration  16 :  4908  enodes  (cost  9 )
15.825 * * [simplify]: iteration  done :  4908  enodes  (cost  9 )
15.825 * [simplify]: Simplified to:
   (+ x (* (- y z) (- t x)))
15.825 * * [progress]: iteration 1 / 4
15.825 * * * [progress]: picking best candidate
15.827 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>
15.827 * * * [progress]: localizing error
15.834 * * * [progress]: generating rewritten candidates
15.834 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
15.851 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
15.855 * * * [progress]: generating series expansions
15.855 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
15.855 * [approximate]: Taking taylor expansion of (* (- y z) (- t x)) in (y z t x) around 0
15.855 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in x
15.855 * [taylor]: Taking taylor expansion of (- y z) in x
15.855 * [taylor]: Taking taylor expansion of y in x
15.856 * [taylor]: Taking taylor expansion of z in x
15.856 * [taylor]: Taking taylor expansion of (- t x) in x
15.856 * [taylor]: Taking taylor expansion of t in x
15.856 * [taylor]: Taking taylor expansion of x in x
15.856 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in t
15.856 * [taylor]: Taking taylor expansion of (- y z) in t
15.856 * [taylor]: Taking taylor expansion of y in t
15.856 * [taylor]: Taking taylor expansion of z in t
15.856 * [taylor]: Taking taylor expansion of (- t x) in t
15.856 * [taylor]: Taking taylor expansion of t in t
15.856 * [taylor]: Taking taylor expansion of x in t
15.856 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in z
15.856 * [taylor]: Taking taylor expansion of (- y z) in z
15.856 * [taylor]: Taking taylor expansion of y in z
15.856 * [taylor]: Taking taylor expansion of z in z
15.856 * [taylor]: Taking taylor expansion of (- t x) in z
15.856 * [taylor]: Taking taylor expansion of t in z
15.856 * [taylor]: Taking taylor expansion of x in z
15.856 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y
15.856 * [taylor]: Taking taylor expansion of (- y z) in y
15.856 * [taylor]: Taking taylor expansion of y in y
15.856 * [taylor]: Taking taylor expansion of z in y
15.856 * [taylor]: Taking taylor expansion of (- t x) in y
15.856 * [taylor]: Taking taylor expansion of t in y
15.856 * [taylor]: Taking taylor expansion of x in y
15.856 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y
15.856 * [taylor]: Taking taylor expansion of (- y z) in y
15.856 * [taylor]: Taking taylor expansion of y in y
15.856 * [taylor]: Taking taylor expansion of z in y
15.856 * [taylor]: Taking taylor expansion of (- t x) in y
15.856 * [taylor]: Taking taylor expansion of t in y
15.856 * [taylor]: Taking taylor expansion of x in y
15.856 * [taylor]: Taking taylor expansion of (* -1 (* z (- t x))) in z
15.856 * [taylor]: Taking taylor expansion of -1 in z
15.856 * [taylor]: Taking taylor expansion of (* z (- t x)) in z
15.856 * [taylor]: Taking taylor expansion of z in z
15.856 * [taylor]: Taking taylor expansion of (- t x) in z
15.856 * [taylor]: Taking taylor expansion of t in z
15.856 * [taylor]: Taking taylor expansion of x in z
15.857 * [taylor]: Taking taylor expansion of 0 in t
15.857 * [taylor]: Taking taylor expansion of 0 in x
15.858 * [taylor]: Taking taylor expansion of (- t x) in z
15.858 * [taylor]: Taking taylor expansion of t in z
15.858 * [taylor]: Taking taylor expansion of x in z
15.858 * [taylor]: Taking taylor expansion of (- t x) in t
15.858 * [taylor]: Taking taylor expansion of t in t
15.858 * [taylor]: Taking taylor expansion of x in t
15.858 * [taylor]: Taking taylor expansion of (- x) in x
15.858 * [taylor]: Taking taylor expansion of x in x
15.859 * [taylor]: Taking taylor expansion of (- x t) in t
15.859 * [taylor]: Taking taylor expansion of x in t
15.859 * [taylor]: Taking taylor expansion of t in t
15.860 * [taylor]: Taking taylor expansion of x in x
15.860 * [taylor]: Taking taylor expansion of 0 in x
15.861 * [taylor]: Taking taylor expansion of 0 in z
15.861 * [taylor]: Taking taylor expansion of 0 in t
15.861 * [taylor]: Taking taylor expansion of 0 in x
15.861 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in (y z t x) around 0
15.861 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in x
15.861 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
15.861 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.861 * [taylor]: Taking taylor expansion of y in x
15.861 * [taylor]: Taking taylor expansion of (/ 1 z) in x
15.861 * [taylor]: Taking taylor expansion of z in x
15.862 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in x
15.862 * [taylor]: Taking taylor expansion of (/ 1 t) in x
15.862 * [taylor]: Taking taylor expansion of t in x
15.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.862 * [taylor]: Taking taylor expansion of x in x
15.862 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in t
15.862 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
15.862 * [taylor]: Taking taylor expansion of (/ 1 y) in t
15.862 * [taylor]: Taking taylor expansion of y in t
15.862 * [taylor]: Taking taylor expansion of (/ 1 z) in t
15.862 * [taylor]: Taking taylor expansion of z in t
15.862 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
15.862 * [taylor]: Taking taylor expansion of (/ 1 t) in t
15.862 * [taylor]: Taking taylor expansion of t in t
15.862 * [taylor]: Taking taylor expansion of (/ 1 x) in t
15.862 * [taylor]: Taking taylor expansion of x in t
15.862 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in z
15.862 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
15.862 * [taylor]: Taking taylor expansion of (/ 1 y) in z
15.862 * [taylor]: Taking taylor expansion of y in z
15.863 * [taylor]: Taking taylor expansion of (/ 1 z) in z
15.863 * [taylor]: Taking taylor expansion of z in z
15.863 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
15.863 * [taylor]: Taking taylor expansion of (/ 1 t) in z
15.863 * [taylor]: Taking taylor expansion of t in z
15.863 * [taylor]: Taking taylor expansion of (/ 1 x) in z
15.863 * [taylor]: Taking taylor expansion of x in z
15.863 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in y
15.863 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
15.863 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.863 * [taylor]: Taking taylor expansion of y in y
15.863 * [taylor]: Taking taylor expansion of (/ 1 z) in y
15.863 * [taylor]: Taking taylor expansion of z in y
15.863 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y
15.863 * [taylor]: Taking taylor expansion of (/ 1 t) in y
15.863 * [taylor]: Taking taylor expansion of t in y
15.863 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.863 * [taylor]: Taking taylor expansion of x in y
15.863 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in y
15.863 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
15.863 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.864 * [taylor]: Taking taylor expansion of y in y
15.864 * [taylor]: Taking taylor expansion of (/ 1 z) in y
15.864 * [taylor]: Taking taylor expansion of z in y
15.864 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y
15.864 * [taylor]: Taking taylor expansion of (/ 1 t) in y
15.864 * [taylor]: Taking taylor expansion of t in y
15.864 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.864 * [taylor]: Taking taylor expansion of x in y
15.864 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
15.864 * [taylor]: Taking taylor expansion of (/ 1 t) in z
15.864 * [taylor]: Taking taylor expansion of t in z
15.865 * [taylor]: Taking taylor expansion of (/ 1 x) in z
15.865 * [taylor]: Taking taylor expansion of x in z
15.866 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* t z))) in z
15.866 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
15.866 * [taylor]: Taking taylor expansion of (* x z) in z
15.866 * [taylor]: Taking taylor expansion of x in z
15.866 * [taylor]: Taking taylor expansion of z in z
15.866 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
15.866 * [taylor]: Taking taylor expansion of (* t z) in z
15.867 * [taylor]: Taking taylor expansion of t in z
15.867 * [taylor]: Taking taylor expansion of z in z
15.867 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
15.867 * [taylor]: Taking taylor expansion of (/ 1 x) in t
15.867 * [taylor]: Taking taylor expansion of x in t
15.867 * [taylor]: Taking taylor expansion of (/ 1 t) in t
15.867 * [taylor]: Taking taylor expansion of t in t
15.868 * [taylor]: Taking taylor expansion of -1 in x
15.868 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
15.868 * [taylor]: Taking taylor expansion of (/ 1 t) in t
15.868 * [taylor]: Taking taylor expansion of t in t
15.868 * [taylor]: Taking taylor expansion of (/ 1 x) in t
15.868 * [taylor]: Taking taylor expansion of x in t
15.869 * [taylor]: Taking taylor expansion of 1 in x
15.871 * [taylor]: Taking taylor expansion of 0 in z
15.872 * [taylor]: Taking taylor expansion of 0 in t
15.873 * [taylor]: Taking taylor expansion of 0 in t
15.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.874 * [taylor]: Taking taylor expansion of x in x
15.874 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
15.874 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.874 * [taylor]: Taking taylor expansion of x in x
15.875 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in (y z t x) around 0
15.875 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in x
15.875 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x
15.876 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.876 * [taylor]: Taking taylor expansion of x in x
15.876 * [taylor]: Taking taylor expansion of (/ 1 t) in x
15.876 * [taylor]: Taking taylor expansion of t in x
15.876 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
15.876 * [taylor]: Taking taylor expansion of (/ 1 z) in x
15.876 * [taylor]: Taking taylor expansion of z in x
15.876 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.876 * [taylor]: Taking taylor expansion of y in x
15.876 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in t
15.876 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
15.876 * [taylor]: Taking taylor expansion of (/ 1 x) in t
15.876 * [taylor]: Taking taylor expansion of x in t
15.876 * [taylor]: Taking taylor expansion of (/ 1 t) in t
15.876 * [taylor]: Taking taylor expansion of t in t
15.876 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
15.876 * [taylor]: Taking taylor expansion of (/ 1 z) in t
15.876 * [taylor]: Taking taylor expansion of z in t
15.876 * [taylor]: Taking taylor expansion of (/ 1 y) in t
15.876 * [taylor]: Taking taylor expansion of y in t
15.877 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in z
15.877 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in z
15.877 * [taylor]: Taking taylor expansion of (/ 1 x) in z
15.877 * [taylor]: Taking taylor expansion of x in z
15.877 * [taylor]: Taking taylor expansion of (/ 1 t) in z
15.877 * [taylor]: Taking taylor expansion of t in z
15.877 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
15.877 * [taylor]: Taking taylor expansion of (/ 1 z) in z
15.877 * [taylor]: Taking taylor expansion of z in z
15.877 * [taylor]: Taking taylor expansion of (/ 1 y) in z
15.877 * [taylor]: Taking taylor expansion of y in z
15.877 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y
15.877 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y
15.877 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.877 * [taylor]: Taking taylor expansion of x in y
15.877 * [taylor]: Taking taylor expansion of (/ 1 t) in y
15.877 * [taylor]: Taking taylor expansion of t in y
15.877 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
15.877 * [taylor]: Taking taylor expansion of (/ 1 z) in y
15.877 * [taylor]: Taking taylor expansion of z in y
15.877 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.877 * [taylor]: Taking taylor expansion of y in y
15.878 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y
15.878 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y
15.878 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.878 * [taylor]: Taking taylor expansion of x in y
15.878 * [taylor]: Taking taylor expansion of (/ 1 t) in y
15.878 * [taylor]: Taking taylor expansion of t in y
15.878 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
15.878 * [taylor]: Taking taylor expansion of (/ 1 z) in y
15.878 * [taylor]: Taking taylor expansion of z in y
15.878 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.878 * [taylor]: Taking taylor expansion of y in y
15.879 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 t))) in z
15.879 * [taylor]: Taking taylor expansion of -1 in z
15.879 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in z
15.879 * [taylor]: Taking taylor expansion of (/ 1 x) in z
15.879 * [taylor]: Taking taylor expansion of x in z
15.879 * [taylor]: Taking taylor expansion of (/ 1 t) in z
15.879 * [taylor]: Taking taylor expansion of t in z
15.881 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* t z))) in z
15.881 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
15.881 * [taylor]: Taking taylor expansion of (* x z) in z
15.881 * [taylor]: Taking taylor expansion of x in z
15.881 * [taylor]: Taking taylor expansion of z in z
15.881 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
15.882 * [taylor]: Taking taylor expansion of (* t z) in z
15.882 * [taylor]: Taking taylor expansion of t in z
15.882 * [taylor]: Taking taylor expansion of z in z
15.882 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
15.882 * [taylor]: Taking taylor expansion of (/ 1 x) in t
15.882 * [taylor]: Taking taylor expansion of x in t
15.882 * [taylor]: Taking taylor expansion of (/ 1 t) in t
15.882 * [taylor]: Taking taylor expansion of t in t
15.883 * [taylor]: Taking taylor expansion of -1 in x
15.883 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 t))) in t
15.883 * [taylor]: Taking taylor expansion of -1 in t
15.883 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
15.883 * [taylor]: Taking taylor expansion of (/ 1 x) in t
15.883 * [taylor]: Taking taylor expansion of x in t
15.883 * [taylor]: Taking taylor expansion of (/ 1 t) in t
15.883 * [taylor]: Taking taylor expansion of t in t
15.884 * [taylor]: Taking taylor expansion of 1 in x
15.886 * [taylor]: Taking taylor expansion of 0 in z
15.888 * [taylor]: Taking taylor expansion of 0 in t
15.889 * [taylor]: Taking taylor expansion of 0 in t
15.896 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.896 * [taylor]: Taking taylor expansion of x in x
15.897 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
15.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.897 * [taylor]: Taking taylor expansion of x in x
15.898 * * * * [progress]: [ 2 / 2 ] generating series at (2)
15.899 * [approximate]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in (x y z t) around 0
15.899 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in t
15.899 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in t
15.899 * [taylor]: Taking taylor expansion of (* x z) in t
15.899 * [taylor]: Taking taylor expansion of x in t
15.899 * [taylor]: Taking taylor expansion of z in t
15.899 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t
15.899 * [taylor]: Taking taylor expansion of x in t
15.899 * [taylor]: Taking taylor expansion of (* t y) in t
15.899 * [taylor]: Taking taylor expansion of t in t
15.899 * [taylor]: Taking taylor expansion of y in t
15.899 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t
15.899 * [taylor]: Taking taylor expansion of (* t z) in t
15.899 * [taylor]: Taking taylor expansion of t in t
15.899 * [taylor]: Taking taylor expansion of z in t
15.899 * [taylor]: Taking taylor expansion of (* x y) in t
15.899 * [taylor]: Taking taylor expansion of x in t
15.899 * [taylor]: Taking taylor expansion of y in t
15.899 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in z
15.899 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in z
15.899 * [taylor]: Taking taylor expansion of (* x z) in z
15.899 * [taylor]: Taking taylor expansion of x in z
15.899 * [taylor]: Taking taylor expansion of z in z
15.899 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z
15.899 * [taylor]: Taking taylor expansion of x in z
15.899 * [taylor]: Taking taylor expansion of (* t y) in z
15.899 * [taylor]: Taking taylor expansion of t in z
15.899 * [taylor]: Taking taylor expansion of y in z
15.899 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z
15.899 * [taylor]: Taking taylor expansion of (* t z) in z
15.899 * [taylor]: Taking taylor expansion of t in z
15.899 * [taylor]: Taking taylor expansion of z in z
15.899 * [taylor]: Taking taylor expansion of (* x y) in z
15.899 * [taylor]: Taking taylor expansion of x in z
15.899 * [taylor]: Taking taylor expansion of y in z
15.899 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in y
15.899 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in y
15.899 * [taylor]: Taking taylor expansion of (* x z) in y
15.899 * [taylor]: Taking taylor expansion of x in y
15.899 * [taylor]: Taking taylor expansion of z in y
15.899 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y
15.899 * [taylor]: Taking taylor expansion of x in y
15.899 * [taylor]: Taking taylor expansion of (* t y) in y
15.899 * [taylor]: Taking taylor expansion of t in y
15.899 * [taylor]: Taking taylor expansion of y in y
15.899 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y
15.899 * [taylor]: Taking taylor expansion of (* t z) in y
15.899 * [taylor]: Taking taylor expansion of t in y
15.899 * [taylor]: Taking taylor expansion of z in y
15.899 * [taylor]: Taking taylor expansion of (* x y) in y
15.899 * [taylor]: Taking taylor expansion of x in y
15.899 * [taylor]: Taking taylor expansion of y in y
15.899 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
15.900 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
15.900 * [taylor]: Taking taylor expansion of (* x z) in x
15.900 * [taylor]: Taking taylor expansion of x in x
15.900 * [taylor]: Taking taylor expansion of z in x
15.900 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
15.900 * [taylor]: Taking taylor expansion of x in x
15.900 * [taylor]: Taking taylor expansion of (* t y) in x
15.900 * [taylor]: Taking taylor expansion of t in x
15.900 * [taylor]: Taking taylor expansion of y in x
15.900 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
15.900 * [taylor]: Taking taylor expansion of (* t z) in x
15.900 * [taylor]: Taking taylor expansion of t in x
15.900 * [taylor]: Taking taylor expansion of z in x
15.900 * [taylor]: Taking taylor expansion of (* x y) in x
15.900 * [taylor]: Taking taylor expansion of x in x
15.900 * [taylor]: Taking taylor expansion of y in x
15.900 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
15.900 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
15.900 * [taylor]: Taking taylor expansion of (* x z) in x
15.900 * [taylor]: Taking taylor expansion of x in x
15.900 * [taylor]: Taking taylor expansion of z in x
15.900 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
15.900 * [taylor]: Taking taylor expansion of x in x
15.900 * [taylor]: Taking taylor expansion of (* t y) in x
15.900 * [taylor]: Taking taylor expansion of t in x
15.900 * [taylor]: Taking taylor expansion of y in x
15.900 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
15.900 * [taylor]: Taking taylor expansion of (* t z) in x
15.900 * [taylor]: Taking taylor expansion of t in x
15.900 * [taylor]: Taking taylor expansion of z in x
15.900 * [taylor]: Taking taylor expansion of (* x y) in x
15.900 * [taylor]: Taking taylor expansion of x in x
15.900 * [taylor]: Taking taylor expansion of y in x
15.900 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in y
15.900 * [taylor]: Taking taylor expansion of (* t y) in y
15.900 * [taylor]: Taking taylor expansion of t in y
15.900 * [taylor]: Taking taylor expansion of y in y
15.900 * [taylor]: Taking taylor expansion of (* t z) in y
15.900 * [taylor]: Taking taylor expansion of t in y
15.900 * [taylor]: Taking taylor expansion of z in y
15.901 * [taylor]: Taking taylor expansion of (- (* t z)) in z
15.901 * [taylor]: Taking taylor expansion of (* t z) in z
15.901 * [taylor]: Taking taylor expansion of t in z
15.901 * [taylor]: Taking taylor expansion of z in z
15.901 * [taylor]: Taking taylor expansion of 0 in t
15.902 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in y
15.902 * [taylor]: Taking taylor expansion of (+ z 1) in y
15.902 * [taylor]: Taking taylor expansion of z in y
15.902 * [taylor]: Taking taylor expansion of 1 in y
15.902 * [taylor]: Taking taylor expansion of y in y
15.902 * [taylor]: Taking taylor expansion of (+ z 1) in z
15.902 * [taylor]: Taking taylor expansion of z in z
15.902 * [taylor]: Taking taylor expansion of 1 in z
15.903 * [taylor]: Taking taylor expansion of 1 in t
15.903 * [taylor]: Taking taylor expansion of t in z
15.903 * [taylor]: Taking taylor expansion of t in t
15.904 * [taylor]: Taking taylor expansion of (- t) in t
15.904 * [taylor]: Taking taylor expansion of t in t
15.907 * [taylor]: Taking taylor expansion of 0 in y
15.907 * [taylor]: Taking taylor expansion of 0 in z
15.907 * [taylor]: Taking taylor expansion of 0 in t
15.907 * [taylor]: Taking taylor expansion of -1 in z
15.907 * [taylor]: Taking taylor expansion of -1 in t
15.909 * [taylor]: Taking taylor expansion of 0 in z
15.909 * [taylor]: Taking taylor expansion of 0 in t
15.909 * [taylor]: Taking taylor expansion of 1 in t
15.909 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (x y z t) around 0
15.909 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t
15.909 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in t
15.909 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
15.909 * [taylor]: Taking taylor expansion of (* t y) in t
15.910 * [taylor]: Taking taylor expansion of t in t
15.910 * [taylor]: Taking taylor expansion of y in t
15.910 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in t
15.910 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
15.910 * [taylor]: Taking taylor expansion of (* x z) in t
15.910 * [taylor]: Taking taylor expansion of x in t
15.910 * [taylor]: Taking taylor expansion of z in t
15.910 * [taylor]: Taking taylor expansion of (/ 1 x) in t
15.910 * [taylor]: Taking taylor expansion of x in t
15.910 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
15.910 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
15.910 * [taylor]: Taking taylor expansion of (* t z) in t
15.910 * [taylor]: Taking taylor expansion of t in t
15.910 * [taylor]: Taking taylor expansion of z in t
15.910 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
15.911 * [taylor]: Taking taylor expansion of (* x y) in t
15.911 * [taylor]: Taking taylor expansion of x in t
15.911 * [taylor]: Taking taylor expansion of y in t
15.911 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z
15.911 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in z
15.911 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
15.911 * [taylor]: Taking taylor expansion of (* t y) in z
15.911 * [taylor]: Taking taylor expansion of t in z
15.911 * [taylor]: Taking taylor expansion of y in z
15.911 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in z
15.911 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
15.911 * [taylor]: Taking taylor expansion of (* x z) in z
15.911 * [taylor]: Taking taylor expansion of x in z
15.911 * [taylor]: Taking taylor expansion of z in z
15.911 * [taylor]: Taking taylor expansion of (/ 1 x) in z
15.911 * [taylor]: Taking taylor expansion of x in z
15.911 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
15.911 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
15.911 * [taylor]: Taking taylor expansion of (* t z) in z
15.911 * [taylor]: Taking taylor expansion of t in z
15.911 * [taylor]: Taking taylor expansion of z in z
15.912 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
15.912 * [taylor]: Taking taylor expansion of (* x y) in z
15.912 * [taylor]: Taking taylor expansion of x in z
15.912 * [taylor]: Taking taylor expansion of y in z
15.912 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
15.912 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in y
15.912 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
15.912 * [taylor]: Taking taylor expansion of (* t y) in y
15.912 * [taylor]: Taking taylor expansion of t in y
15.912 * [taylor]: Taking taylor expansion of y in y
15.912 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in y
15.912 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
15.912 * [taylor]: Taking taylor expansion of (* x z) in y
15.912 * [taylor]: Taking taylor expansion of x in y
15.912 * [taylor]: Taking taylor expansion of z in y
15.912 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.912 * [taylor]: Taking taylor expansion of x in y
15.912 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
15.912 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
15.912 * [taylor]: Taking taylor expansion of (* t z) in y
15.912 * [taylor]: Taking taylor expansion of t in y
15.912 * [taylor]: Taking taylor expansion of z in y
15.912 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
15.913 * [taylor]: Taking taylor expansion of (* x y) in y
15.913 * [taylor]: Taking taylor expansion of x in y
15.913 * [taylor]: Taking taylor expansion of y in y
15.913 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
15.913 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
15.913 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
15.913 * [taylor]: Taking taylor expansion of (* t y) in x
15.913 * [taylor]: Taking taylor expansion of t in x
15.913 * [taylor]: Taking taylor expansion of y in x
15.913 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
15.913 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
15.913 * [taylor]: Taking taylor expansion of (* x z) in x
15.913 * [taylor]: Taking taylor expansion of x in x
15.913 * [taylor]: Taking taylor expansion of z in x
15.913 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.913 * [taylor]: Taking taylor expansion of x in x
15.914 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
15.914 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
15.914 * [taylor]: Taking taylor expansion of (* t z) in x
15.914 * [taylor]: Taking taylor expansion of t in x
15.914 * [taylor]: Taking taylor expansion of z in x
15.914 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
15.914 * [taylor]: Taking taylor expansion of (* x y) in x
15.914 * [taylor]: Taking taylor expansion of x in x
15.914 * [taylor]: Taking taylor expansion of y in x
15.914 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
15.914 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
15.914 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
15.914 * [taylor]: Taking taylor expansion of (* t y) in x
15.914 * [taylor]: Taking taylor expansion of t in x
15.914 * [taylor]: Taking taylor expansion of y in x
15.914 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
15.914 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
15.914 * [taylor]: Taking taylor expansion of (* x z) in x
15.914 * [taylor]: Taking taylor expansion of x in x
15.915 * [taylor]: Taking taylor expansion of z in x
15.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.915 * [taylor]: Taking taylor expansion of x in x
15.915 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
15.915 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
15.915 * [taylor]: Taking taylor expansion of (* t z) in x
15.915 * [taylor]: Taking taylor expansion of t in x
15.915 * [taylor]: Taking taylor expansion of z in x
15.915 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
15.915 * [taylor]: Taking taylor expansion of (* x y) in x
15.915 * [taylor]: Taking taylor expansion of x in x
15.915 * [taylor]: Taking taylor expansion of y in x
15.916 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in y
15.916 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y
15.916 * [taylor]: Taking taylor expansion of (/ 1 z) in y
15.916 * [taylor]: Taking taylor expansion of z in y
15.916 * [taylor]: Taking taylor expansion of 1 in y
15.916 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.916 * [taylor]: Taking taylor expansion of y in y
15.917 * [taylor]: Taking taylor expansion of -1 in z
15.919 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
15.919 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
15.919 * [taylor]: Taking taylor expansion of (* t y) in y
15.919 * [taylor]: Taking taylor expansion of t in y
15.919 * [taylor]: Taking taylor expansion of y in y
15.919 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
15.919 * [taylor]: Taking taylor expansion of (* t z) in y
15.919 * [taylor]: Taking taylor expansion of t in y
15.919 * [taylor]: Taking taylor expansion of z in y
15.919 * [taylor]: Taking taylor expansion of (/ 1 t) in z
15.919 * [taylor]: Taking taylor expansion of t in z
15.920 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
15.920 * [taylor]: Taking taylor expansion of (/ 1 z) in z
15.920 * [taylor]: Taking taylor expansion of z in z
15.921 * [taylor]: Taking taylor expansion of 1 in z
15.921 * [taylor]: Taking taylor expansion of 1 in t
15.921 * [taylor]: Taking taylor expansion of -1 in t
15.925 * [taylor]: Taking taylor expansion of 0 in y
15.925 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z
15.925 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
15.925 * [taylor]: Taking taylor expansion of (* t z) in z
15.925 * [taylor]: Taking taylor expansion of t in z
15.925 * [taylor]: Taking taylor expansion of z in z
15.926 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
15.926 * [taylor]: Taking taylor expansion of (/ 1 t) in t
15.926 * [taylor]: Taking taylor expansion of t in t
15.928 * [taylor]: Taking taylor expansion of 0 in z
15.928 * [taylor]: Taking taylor expansion of (/ 1 t) in t
15.928 * [taylor]: Taking taylor expansion of t in t
15.929 * [taylor]: Taking taylor expansion of 1 in t
15.929 * [taylor]: Taking taylor expansion of 0 in t
15.930 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in (x y z t) around 0
15.930 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in t
15.930 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t
15.930 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
15.930 * [taylor]: Taking taylor expansion of (* x z) in t
15.930 * [taylor]: Taking taylor expansion of x in t
15.930 * [taylor]: Taking taylor expansion of z in t
15.930 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
15.930 * [taylor]: Taking taylor expansion of (* t y) in t
15.930 * [taylor]: Taking taylor expansion of t in t
15.930 * [taylor]: Taking taylor expansion of y in t
15.930 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in t
15.930 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
15.930 * [taylor]: Taking taylor expansion of (* t z) in t
15.930 * [taylor]: Taking taylor expansion of t in t
15.930 * [taylor]: Taking taylor expansion of z in t
15.931 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in t
15.931 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
15.931 * [taylor]: Taking taylor expansion of (* x y) in t
15.931 * [taylor]: Taking taylor expansion of x in t
15.931 * [taylor]: Taking taylor expansion of y in t
15.931 * [taylor]: Taking taylor expansion of (/ 1 x) in t
15.931 * [taylor]: Taking taylor expansion of x in t
15.931 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in z
15.931 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z
15.931 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
15.931 * [taylor]: Taking taylor expansion of (* x z) in z
15.931 * [taylor]: Taking taylor expansion of x in z
15.931 * [taylor]: Taking taylor expansion of z in z
15.931 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
15.931 * [taylor]: Taking taylor expansion of (* t y) in z
15.931 * [taylor]: Taking taylor expansion of t in z
15.931 * [taylor]: Taking taylor expansion of y in z
15.931 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in z
15.931 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
15.931 * [taylor]: Taking taylor expansion of (* t z) in z
15.931 * [taylor]: Taking taylor expansion of t in z
15.931 * [taylor]: Taking taylor expansion of z in z
15.932 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z
15.932 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
15.932 * [taylor]: Taking taylor expansion of (* x y) in z
15.932 * [taylor]: Taking taylor expansion of x in z
15.932 * [taylor]: Taking taylor expansion of y in z
15.932 * [taylor]: Taking taylor expansion of (/ 1 x) in z
15.932 * [taylor]: Taking taylor expansion of x in z
15.932 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in y
15.932 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y
15.932 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
15.932 * [taylor]: Taking taylor expansion of (* x z) in y
15.932 * [taylor]: Taking taylor expansion of x in y
15.932 * [taylor]: Taking taylor expansion of z in y
15.932 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
15.932 * [taylor]: Taking taylor expansion of (* t y) in y
15.932 * [taylor]: Taking taylor expansion of t in y
15.932 * [taylor]: Taking taylor expansion of y in y
15.932 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in y
15.932 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
15.932 * [taylor]: Taking taylor expansion of (* t z) in y
15.932 * [taylor]: Taking taylor expansion of t in y
15.933 * [taylor]: Taking taylor expansion of z in y
15.933 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
15.933 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
15.933 * [taylor]: Taking taylor expansion of (* x y) in y
15.933 * [taylor]: Taking taylor expansion of x in y
15.933 * [taylor]: Taking taylor expansion of y in y
15.933 * [taylor]: Taking taylor expansion of (/ 1 x) in y
15.933 * [taylor]: Taking taylor expansion of x in y
15.933 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
15.933 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
15.933 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
15.933 * [taylor]: Taking taylor expansion of (* x z) in x
15.933 * [taylor]: Taking taylor expansion of x in x
15.933 * [taylor]: Taking taylor expansion of z in x
15.933 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
15.933 * [taylor]: Taking taylor expansion of (* t y) in x
15.934 * [taylor]: Taking taylor expansion of t in x
15.934 * [taylor]: Taking taylor expansion of y in x
15.934 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
15.934 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
15.934 * [taylor]: Taking taylor expansion of (* t z) in x
15.934 * [taylor]: Taking taylor expansion of t in x
15.934 * [taylor]: Taking taylor expansion of z in x
15.934 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
15.934 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
15.934 * [taylor]: Taking taylor expansion of (* x y) in x
15.934 * [taylor]: Taking taylor expansion of x in x
15.934 * [taylor]: Taking taylor expansion of y in x
15.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.934 * [taylor]: Taking taylor expansion of x in x
15.934 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
15.935 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
15.935 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
15.935 * [taylor]: Taking taylor expansion of (* x z) in x
15.935 * [taylor]: Taking taylor expansion of x in x
15.935 * [taylor]: Taking taylor expansion of z in x
15.935 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
15.935 * [taylor]: Taking taylor expansion of (* t y) in x
15.935 * [taylor]: Taking taylor expansion of t in x
15.935 * [taylor]: Taking taylor expansion of y in x
15.935 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
15.935 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
15.935 * [taylor]: Taking taylor expansion of (* t z) in x
15.935 * [taylor]: Taking taylor expansion of t in x
15.935 * [taylor]: Taking taylor expansion of z in x
15.935 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
15.935 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
15.935 * [taylor]: Taking taylor expansion of (* x y) in x
15.935 * [taylor]: Taking taylor expansion of x in x
15.935 * [taylor]: Taking taylor expansion of y in x
15.936 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.936 * [taylor]: Taking taylor expansion of x in x
15.936 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in y
15.936 * [taylor]: Taking taylor expansion of (/ 1 z) in y
15.936 * [taylor]: Taking taylor expansion of z in y
15.936 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
15.936 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.936 * [taylor]: Taking taylor expansion of y in y
15.937 * [taylor]: Taking taylor expansion of 1 in y
15.938 * [taylor]: Taking taylor expansion of -1 in z
15.940 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
15.940 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
15.940 * [taylor]: Taking taylor expansion of (* t y) in y
15.940 * [taylor]: Taking taylor expansion of t in y
15.940 * [taylor]: Taking taylor expansion of y in y
15.940 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
15.940 * [taylor]: Taking taylor expansion of (* t z) in y
15.940 * [taylor]: Taking taylor expansion of t in y
15.940 * [taylor]: Taking taylor expansion of z in y
15.940 * [taylor]: Taking taylor expansion of (/ 1 t) in z
15.940 * [taylor]: Taking taylor expansion of t in z
15.941 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1) in z
15.941 * [taylor]: Taking taylor expansion of (/ 1 z) in z
15.941 * [taylor]: Taking taylor expansion of z in z
15.942 * [taylor]: Taking taylor expansion of 1 in z
15.942 * [taylor]: Taking taylor expansion of 1 in t
15.942 * [taylor]: Taking taylor expansion of -1 in t
15.945 * [taylor]: Taking taylor expansion of 0 in y
15.946 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z
15.946 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
15.946 * [taylor]: Taking taylor expansion of (* t z) in z
15.946 * [taylor]: Taking taylor expansion of t in z
15.946 * [taylor]: Taking taylor expansion of z in z
15.946 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
15.946 * [taylor]: Taking taylor expansion of (/ 1 t) in t
15.947 * [taylor]: Taking taylor expansion of t in t
15.948 * [taylor]: Taking taylor expansion of 0 in z
15.948 * [taylor]: Taking taylor expansion of (/ 1 t) in t
15.948 * [taylor]: Taking taylor expansion of t in t
15.950 * [taylor]: Taking taylor expansion of -1 in t
15.950 * [taylor]: Taking taylor expansion of 0 in t
15.950 * * * [progress]: simplifying candidates
15.951 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (- y z) (- t x))
  (+ (log (- y z)) (log (- t x)))
  (log (* (- y z) (- t x)))
  (exp (* (- y z) (- t x)))
  (* (* (* (- y z) (- y z)) (- y z)) (* (* (- t x) (- t x)) (- t x)))
  (* (cbrt (* (- y z) (- t x))) (cbrt (* (- y z) (- t x))))
  (cbrt (* (- y z) (- t x)))
  (* (* (* (- y z) (- t x)) (* (- y z) (- t x))) (* (- y z) (- t x)))
  (sqrt (* (- y z) (- t x)))
  (sqrt (* (- y z) (- t x)))
  (* (- (pow y 3) (pow z 3)) (- (pow t 3) (pow x 3)))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ (* t t) (+ (* x x) (* t x))))
  (* (- (pow y 3) (pow z 3)) (- (* t t) (* x x)))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ t x))
  (* (- (* y y) (* z z)) (- (pow t 3) (pow x 3)))
  (* (+ y z) (+ (* t t) (+ (* x x) (* t x))))
  (* (- (* y y) (* z z)) (- (* t t) (* x x)))
  (* (+ y z) (+ t x))
  (* (sqrt (- y z)) (sqrt (- t x)))
  (* (sqrt (- y z)) (sqrt (- t x)))
  (* (- y z) t)
  (* (- y z) (- x))
  (* (- y z) t)
  (* (- y z) (- x))
  (* t (- y z))
  (* (- x) (- y z))
  (* t (- y z))
  (* (- x) (- y z))
  (* (- y z) (* (cbrt (- t x)) (cbrt (- t x))))
  (* (- y z) (sqrt (- t x)))
  (* (- y z) 1)
  (* (- y z) (+ (sqrt t) (sqrt x)))
  (* (- y z) 1)
  (* (cbrt (- y z)) (- t x))
  (* (sqrt (- y z)) (- t x))
  (* (- y z) (- t x))
  (* (- (sqrt y) (sqrt z)) (- t x))
  (* (- y z) (- t x))
  (* (- y z) (- (pow t 3) (pow x 3)))
  (* (- y z) (- (* t t) (* x x)))
  (* (- (pow y 3) (pow z 3)) (- t x))
  (* (- (* y y) (* z z)) (- t x))
  (* (exp x) (exp (* (- y z) (- t x))))
  (log (+ x (* (- y z) (- t x))))
  (exp (+ x (* (- y z) (- t x))))
  (* (cbrt (+ x (* (- y z) (- t x)))) (cbrt (+ x (* (- y z) (- t x)))))
  (cbrt (+ x (* (- y z) (- t x))))
  (* (* (+ x (* (- y z) (- t x))) (+ x (* (- y z) (- t x)))) (+ x (* (- y z) (- t x))))
  (sqrt (+ x (* (- y z) (- t x))))
  (sqrt (+ x (* (- y z) (- t x))))
  (+ (pow x 3) (pow (* (- y z) (- t x)) 3))
  (+ (* x x) (- (* (* (- y z) (- t x)) (* (- y z) (- t x))) (* x (* (- y z) (- t x)))))
  (- (* x x) (* (* (- y z) (- t x)) (* (- y z) (- t x))))
  (- x (* (- y z) (- t x)))
  (+ x (* (- y z) t))
  (+ x (* (- y z) t))
  (+ x (* t (- y z)))
  (+ x (* t (- y z)))
  0
  (- (* x z) (+ (* t z) (* x y)))
  (- (* x z) (+ (* t z) (* x y)))
  (- (+ (* x z) x) (* x y))
  (- (+ (* x z) (* t y)) (* t z))
  (- (+ (* x z) (* t y)) (* t z))
15.954 * * [simplify]: iteration  0 :  110  enodes  (cost  687 )
15.976 * * [simplify]: iteration  1 :  290  enodes  (cost  651 )
16.044 * * [simplify]: iteration  2 :  1057  enodes  (cost  611 )
16.920 * * [simplify]: iteration  3 :  4707  enodes  (cost  609 )
17.989 * * [simplify]: iteration  done :  5000  enodes  (cost  609 )
17.990 * [simplify]: Simplified to:
   (* (- y z) (- t x))
  (log (* (- y z) (- t x)))
  (log (* (- y z) (- t x)))
  (exp (* (- y z) (- t x)))
  (pow (* (- y z) (- t x)) 3)
  (* (cbrt (* (- y z) (- t x))) (cbrt (* (- y z) (- t x))))
  (cbrt (* (- y z) (- t x)))
  (pow (* (- y z) (- t x)) 3)
  (sqrt (* (- y z) (- t x)))
  (sqrt (* (- y z) (- t x)))
  (* (- (pow y 3) (pow z 3)) (- (pow t 3) (pow x 3)))
  (* (+ (* y y) (* z (+ y z))) (+ (* x (+ t x)) (* t t)))
  (* (- (pow y 3) (pow z 3)) (- (* t t) (* x x)))
  (* (+ (* y y) (* z (+ y z))) (+ t x))
  (* (- (* y y) (* z z)) (- (pow t 3) (pow x 3)))
  (* (+ y z) (+ (* x (+ t x)) (* t t)))
  (* (- (* y y) (* z z)) (- (* t t) (* x x)))
  (* (+ y z) (+ t x))
  (* (sqrt (- y z)) (sqrt (- t x)))
  (* (sqrt (- y z)) (sqrt (- t x)))
  (* t (- y z))
  (* (- y z) (- x))
  (* t (- y z))
  (* (- y z) (- x))
  (* t (- y z))
  (* (- y z) (- x))
  (* t (- y z))
  (* (- y z) (- x))
  (* (- y z) (* (cbrt (- t x)) (cbrt (- t x))))
  (* (- y z) (sqrt (- t x)))
  (- y z)
  (* (- y z) (+ (sqrt t) (sqrt x)))
  (- y z)
  (* (cbrt (- y z)) (- t x))
  (* (sqrt (- y z)) (- t x))
  (* (- y z) (- t x))
  (* (- (sqrt y) (sqrt z)) (- t x))
  (* (- y z) (- t x))
  (* (- y z) (- (pow t 3) (pow x 3)))
  (* (- y z) (- (* t t) (* x x)))
  (* (- (pow y 3) (pow z 3)) (- t x))
  (* (- (* y y) (* z z)) (- t x))
  (exp (+ x (* (- y z) (- t x))))
  (log (+ x (* (- y z) (- t x))))
  (exp (+ x (* (- y z) (- t x))))
  (* (cbrt (+ x (* (- y z) (- t x)))) (cbrt (+ x (* (- y z) (- t x)))))
  (cbrt (+ x (* (- y z) (- t x))))
  (pow (+ x (* (- y z) (- t x))) 3)
  (sqrt (+ x (* (- y z) (- t x))))
  (sqrt (+ x (* (- y z) (- t x))))
  (+ (pow x 3) (pow (* (- y z) (- t x)) 3))
  (+ (* (* (- y z) (- t x)) (- (* (- y z) (- t x)) x)) (* x x))
  (- (* x x) (* (* (- y z) (- t x)) (* (- y z) (- t x))))
  (- x (* (- y z) (- t x)))
  (+ x (* t (- y z)))
  (+ x (* t (- y z)))
  (+ x (* t (- y z)))
  (+ x (* t (- y z)))
  0
  (- (* z (- x t)) (* x y))
  (- (* z (- x t)) (* x y))
  (* x (- (+ z 1) y))
  (+ (* x z) (* t (- y z)))
  (+ (* x z) (* t (- y z)))
17.990 * * * [progress]: adding candidates to table
18.103 * * [progress]: iteration 2 / 4
18.103 * * * [progress]: picking best candidate
18.111 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (+ x (* t (- y z))) (* (- x) (- y z))))>
18.111 * * * [progress]: localizing error
18.120 * * * [progress]: generating rewritten candidates
18.120 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2)
18.130 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
18.141 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
18.157 * * * [progress]: generating series expansions
18.157 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2)
18.158 * [approximate]: Taking taylor expansion of (* (- y z) t) in (t y z) around 0
18.158 * [taylor]: Taking taylor expansion of (* (- y z) t) in z
18.158 * [taylor]: Taking taylor expansion of (- y z) in z
18.158 * [taylor]: Taking taylor expansion of y in z
18.158 * [taylor]: Taking taylor expansion of z in z
18.158 * [taylor]: Taking taylor expansion of t in z
18.158 * [taylor]: Taking taylor expansion of (* (- y z) t) in y
18.158 * [taylor]: Taking taylor expansion of (- y z) in y
18.158 * [taylor]: Taking taylor expansion of y in y
18.158 * [taylor]: Taking taylor expansion of z in y
18.158 * [taylor]: Taking taylor expansion of t in y
18.158 * [taylor]: Taking taylor expansion of (* (- y z) t) in t
18.158 * [taylor]: Taking taylor expansion of (- y z) in t
18.158 * [taylor]: Taking taylor expansion of y in t
18.158 * [taylor]: Taking taylor expansion of z in t
18.158 * [taylor]: Taking taylor expansion of t in t
18.158 * [taylor]: Taking taylor expansion of (* (- y z) t) in t
18.158 * [taylor]: Taking taylor expansion of (- y z) in t
18.158 * [taylor]: Taking taylor expansion of y in t
18.158 * [taylor]: Taking taylor expansion of z in t
18.158 * [taylor]: Taking taylor expansion of t in t
18.158 * [taylor]: Taking taylor expansion of 0 in y
18.158 * [taylor]: Taking taylor expansion of 0 in z
18.159 * [taylor]: Taking taylor expansion of (- y z) in y
18.159 * [taylor]: Taking taylor expansion of y in y
18.159 * [taylor]: Taking taylor expansion of z in y
18.159 * [taylor]: Taking taylor expansion of (- z) in z
18.159 * [taylor]: Taking taylor expansion of z in z
18.160 * [taylor]: Taking taylor expansion of 0 in z
18.160 * [taylor]: Taking taylor expansion of 0 in y
18.161 * [taylor]: Taking taylor expansion of 0 in z
18.161 * [taylor]: Taking taylor expansion of 1 in z
18.161 * [taylor]: Taking taylor expansion of 0 in z
18.162 * [taylor]: Taking taylor expansion of 0 in y
18.162 * [taylor]: Taking taylor expansion of 0 in z
18.162 * [taylor]: Taking taylor expansion of 0 in z
18.163 * [taylor]: Taking taylor expansion of 0 in z
18.163 * [taylor]: Taking taylor expansion of 0 in z
18.163 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in (t y z) around 0
18.163 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in z
18.163 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
18.163 * [taylor]: Taking taylor expansion of (/ 1 y) in z
18.163 * [taylor]: Taking taylor expansion of y in z
18.163 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.163 * [taylor]: Taking taylor expansion of z in z
18.164 * [taylor]: Taking taylor expansion of t in z
18.164 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in y
18.164 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
18.164 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.164 * [taylor]: Taking taylor expansion of y in y
18.164 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.164 * [taylor]: Taking taylor expansion of z in y
18.165 * [taylor]: Taking taylor expansion of t in y
18.165 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in t
18.165 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
18.165 * [taylor]: Taking taylor expansion of (/ 1 y) in t
18.165 * [taylor]: Taking taylor expansion of y in t
18.165 * [taylor]: Taking taylor expansion of (/ 1 z) in t
18.165 * [taylor]: Taking taylor expansion of z in t
18.165 * [taylor]: Taking taylor expansion of t in t
18.165 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in t
18.165 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
18.165 * [taylor]: Taking taylor expansion of (/ 1 y) in t
18.165 * [taylor]: Taking taylor expansion of y in t
18.165 * [taylor]: Taking taylor expansion of (/ 1 z) in t
18.165 * [taylor]: Taking taylor expansion of z in t
18.165 * [taylor]: Taking taylor expansion of t in t
18.165 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
18.166 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.166 * [taylor]: Taking taylor expansion of y in y
18.166 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.166 * [taylor]: Taking taylor expansion of z in y
18.166 * [taylor]: Taking taylor expansion of 1 in z
18.167 * [taylor]: Taking taylor expansion of 0 in y
18.168 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
18.168 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.168 * [taylor]: Taking taylor expansion of z in z
18.170 * [taylor]: Taking taylor expansion of 0 in y
18.170 * [taylor]: Taking taylor expansion of 0 in z
18.171 * [taylor]: Taking taylor expansion of 0 in z
18.174 * [taylor]: Taking taylor expansion of 0 in y
18.174 * [taylor]: Taking taylor expansion of 0 in z
18.174 * [taylor]: Taking taylor expansion of 0 in z
18.175 * [taylor]: Taking taylor expansion of 0 in z
18.177 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in (t y z) around 0
18.177 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in z
18.177 * [taylor]: Taking taylor expansion of -1 in z
18.177 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in z
18.177 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
18.177 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.177 * [taylor]: Taking taylor expansion of z in z
18.177 * [taylor]: Taking taylor expansion of (/ 1 y) in z
18.177 * [taylor]: Taking taylor expansion of y in z
18.177 * [taylor]: Taking taylor expansion of t in z
18.178 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in y
18.178 * [taylor]: Taking taylor expansion of -1 in y
18.178 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in y
18.178 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
18.178 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.178 * [taylor]: Taking taylor expansion of z in y
18.178 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.178 * [taylor]: Taking taylor expansion of y in y
18.178 * [taylor]: Taking taylor expansion of t in y
18.178 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in t
18.179 * [taylor]: Taking taylor expansion of -1 in t
18.179 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in t
18.179 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
18.179 * [taylor]: Taking taylor expansion of (/ 1 z) in t
18.179 * [taylor]: Taking taylor expansion of z in t
18.179 * [taylor]: Taking taylor expansion of (/ 1 y) in t
18.179 * [taylor]: Taking taylor expansion of y in t
18.179 * [taylor]: Taking taylor expansion of t in t
18.179 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in t
18.179 * [taylor]: Taking taylor expansion of -1 in t
18.179 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in t
18.179 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
18.179 * [taylor]: Taking taylor expansion of (/ 1 z) in t
18.179 * [taylor]: Taking taylor expansion of z in t
18.179 * [taylor]: Taking taylor expansion of (/ 1 y) in t
18.179 * [taylor]: Taking taylor expansion of y in t
18.179 * [taylor]: Taking taylor expansion of t in t
18.179 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 y))) in y
18.179 * [taylor]: Taking taylor expansion of -1 in y
18.179 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
18.179 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.179 * [taylor]: Taking taylor expansion of z in y
18.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.179 * [taylor]: Taking taylor expansion of y in y
18.180 * [taylor]: Taking taylor expansion of 1 in z
18.182 * [taylor]: Taking taylor expansion of 0 in y
18.183 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
18.183 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.183 * [taylor]: Taking taylor expansion of z in z
18.186 * [taylor]: Taking taylor expansion of 0 in y
18.186 * [taylor]: Taking taylor expansion of 0 in z
18.187 * [taylor]: Taking taylor expansion of 0 in z
18.191 * [taylor]: Taking taylor expansion of 0 in y
18.191 * [taylor]: Taking taylor expansion of 0 in z
18.191 * [taylor]: Taking taylor expansion of 0 in z
18.193 * [taylor]: Taking taylor expansion of 0 in z
18.194 * * * * [progress]: [ 2 / 3 ] generating series at (2)
18.194 * [approximate]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in (x t y z) around 0
18.194 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in z
18.194 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in z
18.194 * [taylor]: Taking taylor expansion of (* x z) in z
18.194 * [taylor]: Taking taylor expansion of x in z
18.194 * [taylor]: Taking taylor expansion of z in z
18.194 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z
18.194 * [taylor]: Taking taylor expansion of x in z
18.194 * [taylor]: Taking taylor expansion of (* t y) in z
18.194 * [taylor]: Taking taylor expansion of t in z
18.194 * [taylor]: Taking taylor expansion of y in z
18.194 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z
18.194 * [taylor]: Taking taylor expansion of (* t z) in z
18.194 * [taylor]: Taking taylor expansion of t in z
18.194 * [taylor]: Taking taylor expansion of z in z
18.194 * [taylor]: Taking taylor expansion of (* x y) in z
18.194 * [taylor]: Taking taylor expansion of x in z
18.194 * [taylor]: Taking taylor expansion of y in z
18.194 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in y
18.194 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in y
18.194 * [taylor]: Taking taylor expansion of (* x z) in y
18.194 * [taylor]: Taking taylor expansion of x in y
18.194 * [taylor]: Taking taylor expansion of z in y
18.194 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y
18.194 * [taylor]: Taking taylor expansion of x in y
18.194 * [taylor]: Taking taylor expansion of (* t y) in y
18.194 * [taylor]: Taking taylor expansion of t in y
18.194 * [taylor]: Taking taylor expansion of y in y
18.194 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y
18.194 * [taylor]: Taking taylor expansion of (* t z) in y
18.194 * [taylor]: Taking taylor expansion of t in y
18.194 * [taylor]: Taking taylor expansion of z in y
18.194 * [taylor]: Taking taylor expansion of (* x y) in y
18.194 * [taylor]: Taking taylor expansion of x in y
18.195 * [taylor]: Taking taylor expansion of y in y
18.195 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in t
18.195 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in t
18.195 * [taylor]: Taking taylor expansion of (* x z) in t
18.195 * [taylor]: Taking taylor expansion of x in t
18.195 * [taylor]: Taking taylor expansion of z in t
18.195 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t
18.195 * [taylor]: Taking taylor expansion of x in t
18.195 * [taylor]: Taking taylor expansion of (* t y) in t
18.195 * [taylor]: Taking taylor expansion of t in t
18.195 * [taylor]: Taking taylor expansion of y in t
18.195 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t
18.195 * [taylor]: Taking taylor expansion of (* t z) in t
18.195 * [taylor]: Taking taylor expansion of t in t
18.195 * [taylor]: Taking taylor expansion of z in t
18.195 * [taylor]: Taking taylor expansion of (* x y) in t
18.195 * [taylor]: Taking taylor expansion of x in t
18.195 * [taylor]: Taking taylor expansion of y in t
18.195 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
18.195 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
18.195 * [taylor]: Taking taylor expansion of (* x z) in x
18.195 * [taylor]: Taking taylor expansion of x in x
18.195 * [taylor]: Taking taylor expansion of z in x
18.195 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
18.195 * [taylor]: Taking taylor expansion of x in x
18.195 * [taylor]: Taking taylor expansion of (* t y) in x
18.195 * [taylor]: Taking taylor expansion of t in x
18.195 * [taylor]: Taking taylor expansion of y in x
18.195 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
18.195 * [taylor]: Taking taylor expansion of (* t z) in x
18.195 * [taylor]: Taking taylor expansion of t in x
18.195 * [taylor]: Taking taylor expansion of z in x
18.195 * [taylor]: Taking taylor expansion of (* x y) in x
18.195 * [taylor]: Taking taylor expansion of x in x
18.195 * [taylor]: Taking taylor expansion of y in x
18.195 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
18.195 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
18.195 * [taylor]: Taking taylor expansion of (* x z) in x
18.195 * [taylor]: Taking taylor expansion of x in x
18.195 * [taylor]: Taking taylor expansion of z in x
18.195 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
18.195 * [taylor]: Taking taylor expansion of x in x
18.195 * [taylor]: Taking taylor expansion of (* t y) in x
18.195 * [taylor]: Taking taylor expansion of t in x
18.195 * [taylor]: Taking taylor expansion of y in x
18.195 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
18.196 * [taylor]: Taking taylor expansion of (* t z) in x
18.196 * [taylor]: Taking taylor expansion of t in x
18.196 * [taylor]: Taking taylor expansion of z in x
18.196 * [taylor]: Taking taylor expansion of (* x y) in x
18.196 * [taylor]: Taking taylor expansion of x in x
18.196 * [taylor]: Taking taylor expansion of y in x
18.196 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in t
18.196 * [taylor]: Taking taylor expansion of (* t y) in t
18.196 * [taylor]: Taking taylor expansion of t in t
18.196 * [taylor]: Taking taylor expansion of y in t
18.196 * [taylor]: Taking taylor expansion of (* t z) in t
18.196 * [taylor]: Taking taylor expansion of t in t
18.196 * [taylor]: Taking taylor expansion of z in t
18.197 * [taylor]: Taking taylor expansion of 0 in y
18.197 * [taylor]: Taking taylor expansion of 0 in z
18.198 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in t
18.198 * [taylor]: Taking taylor expansion of (+ z 1) in t
18.198 * [taylor]: Taking taylor expansion of z in t
18.198 * [taylor]: Taking taylor expansion of 1 in t
18.198 * [taylor]: Taking taylor expansion of y in t
18.198 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in y
18.198 * [taylor]: Taking taylor expansion of (+ z 1) in y
18.198 * [taylor]: Taking taylor expansion of z in y
18.198 * [taylor]: Taking taylor expansion of 1 in y
18.198 * [taylor]: Taking taylor expansion of y in y
18.198 * [taylor]: Taking taylor expansion of (+ z 1) in z
18.198 * [taylor]: Taking taylor expansion of z in z
18.198 * [taylor]: Taking taylor expansion of 1 in z
18.199 * [taylor]: Taking taylor expansion of (- y z) in y
18.199 * [taylor]: Taking taylor expansion of y in y
18.199 * [taylor]: Taking taylor expansion of z in y
18.199 * [taylor]: Taking taylor expansion of (- z) in z
18.199 * [taylor]: Taking taylor expansion of z in z
18.199 * [taylor]: Taking taylor expansion of 0 in z
18.202 * [taylor]: Taking taylor expansion of 0 in t
18.202 * [taylor]: Taking taylor expansion of 0 in y
18.202 * [taylor]: Taking taylor expansion of 0 in z
18.203 * [taylor]: Taking taylor expansion of 0 in y
18.203 * [taylor]: Taking taylor expansion of 0 in z
18.204 * [taylor]: Taking taylor expansion of 0 in y
18.205 * [taylor]: Taking taylor expansion of 0 in z
18.205 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (x t y z) around 0
18.205 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z
18.205 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in z
18.205 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
18.205 * [taylor]: Taking taylor expansion of (* t y) in z
18.205 * [taylor]: Taking taylor expansion of t in z
18.205 * [taylor]: Taking taylor expansion of y in z
18.205 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in z
18.205 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
18.205 * [taylor]: Taking taylor expansion of (* x z) in z
18.205 * [taylor]: Taking taylor expansion of x in z
18.205 * [taylor]: Taking taylor expansion of z in z
18.206 * [taylor]: Taking taylor expansion of (/ 1 x) in z
18.206 * [taylor]: Taking taylor expansion of x in z
18.206 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
18.206 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
18.206 * [taylor]: Taking taylor expansion of (* t z) in z
18.206 * [taylor]: Taking taylor expansion of t in z
18.206 * [taylor]: Taking taylor expansion of z in z
18.206 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
18.206 * [taylor]: Taking taylor expansion of (* x y) in z
18.206 * [taylor]: Taking taylor expansion of x in z
18.206 * [taylor]: Taking taylor expansion of y in z
18.206 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
18.206 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in y
18.206 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
18.206 * [taylor]: Taking taylor expansion of (* t y) in y
18.206 * [taylor]: Taking taylor expansion of t in y
18.206 * [taylor]: Taking taylor expansion of y in y
18.207 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in y
18.207 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
18.207 * [taylor]: Taking taylor expansion of (* x z) in y
18.207 * [taylor]: Taking taylor expansion of x in y
18.207 * [taylor]: Taking taylor expansion of z in y
18.207 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.207 * [taylor]: Taking taylor expansion of x in y
18.207 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
18.207 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
18.207 * [taylor]: Taking taylor expansion of (* t z) in y
18.207 * [taylor]: Taking taylor expansion of t in y
18.207 * [taylor]: Taking taylor expansion of z in y
18.207 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
18.207 * [taylor]: Taking taylor expansion of (* x y) in y
18.207 * [taylor]: Taking taylor expansion of x in y
18.207 * [taylor]: Taking taylor expansion of y in y
18.207 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t
18.207 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in t
18.207 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
18.207 * [taylor]: Taking taylor expansion of (* t y) in t
18.207 * [taylor]: Taking taylor expansion of t in t
18.207 * [taylor]: Taking taylor expansion of y in t
18.208 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in t
18.208 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
18.208 * [taylor]: Taking taylor expansion of (* x z) in t
18.208 * [taylor]: Taking taylor expansion of x in t
18.208 * [taylor]: Taking taylor expansion of z in t
18.208 * [taylor]: Taking taylor expansion of (/ 1 x) in t
18.208 * [taylor]: Taking taylor expansion of x in t
18.208 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
18.208 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
18.208 * [taylor]: Taking taylor expansion of (* t z) in t
18.208 * [taylor]: Taking taylor expansion of t in t
18.208 * [taylor]: Taking taylor expansion of z in t
18.208 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
18.208 * [taylor]: Taking taylor expansion of (* x y) in t
18.208 * [taylor]: Taking taylor expansion of x in t
18.208 * [taylor]: Taking taylor expansion of y in t
18.208 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
18.208 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
18.208 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
18.208 * [taylor]: Taking taylor expansion of (* t y) in x
18.208 * [taylor]: Taking taylor expansion of t in x
18.208 * [taylor]: Taking taylor expansion of y in x
18.209 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
18.209 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
18.209 * [taylor]: Taking taylor expansion of (* x z) in x
18.209 * [taylor]: Taking taylor expansion of x in x
18.209 * [taylor]: Taking taylor expansion of z in x
18.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.209 * [taylor]: Taking taylor expansion of x in x
18.209 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
18.209 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
18.209 * [taylor]: Taking taylor expansion of (* t z) in x
18.209 * [taylor]: Taking taylor expansion of t in x
18.209 * [taylor]: Taking taylor expansion of z in x
18.209 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
18.209 * [taylor]: Taking taylor expansion of (* x y) in x
18.209 * [taylor]: Taking taylor expansion of x in x
18.209 * [taylor]: Taking taylor expansion of y in x
18.210 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
18.210 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
18.210 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
18.210 * [taylor]: Taking taylor expansion of (* t y) in x
18.210 * [taylor]: Taking taylor expansion of t in x
18.210 * [taylor]: Taking taylor expansion of y in x
18.210 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
18.210 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
18.210 * [taylor]: Taking taylor expansion of (* x z) in x
18.210 * [taylor]: Taking taylor expansion of x in x
18.210 * [taylor]: Taking taylor expansion of z in x
18.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.210 * [taylor]: Taking taylor expansion of x in x
18.211 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
18.211 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
18.211 * [taylor]: Taking taylor expansion of (* t z) in x
18.211 * [taylor]: Taking taylor expansion of t in x
18.211 * [taylor]: Taking taylor expansion of z in x
18.211 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
18.211 * [taylor]: Taking taylor expansion of (* x y) in x
18.211 * [taylor]: Taking taylor expansion of x in x
18.211 * [taylor]: Taking taylor expansion of y in x
18.211 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in t
18.211 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in t
18.211 * [taylor]: Taking taylor expansion of (/ 1 z) in t
18.211 * [taylor]: Taking taylor expansion of z in t
18.211 * [taylor]: Taking taylor expansion of 1 in t
18.212 * [taylor]: Taking taylor expansion of (/ 1 y) in t
18.212 * [taylor]: Taking taylor expansion of y in t
18.214 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t
18.214 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
18.214 * [taylor]: Taking taylor expansion of (* t y) in t
18.214 * [taylor]: Taking taylor expansion of t in t
18.214 * [taylor]: Taking taylor expansion of y in t
18.214 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
18.214 * [taylor]: Taking taylor expansion of (* t z) in t
18.214 * [taylor]: Taking taylor expansion of t in t
18.214 * [taylor]: Taking taylor expansion of z in t
18.214 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
18.214 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.214 * [taylor]: Taking taylor expansion of y in y
18.215 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.215 * [taylor]: Taking taylor expansion of z in y
18.215 * [taylor]: Taking taylor expansion of 1 in z
18.215 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in y
18.215 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y
18.215 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.215 * [taylor]: Taking taylor expansion of z in y
18.215 * [taylor]: Taking taylor expansion of 1 in y
18.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.215 * [taylor]: Taking taylor expansion of y in y
18.216 * [taylor]: Taking taylor expansion of -1 in z
18.220 * [taylor]: Taking taylor expansion of 0 in t
18.221 * [taylor]: Taking taylor expansion of 0 in y
18.222 * [taylor]: Taking taylor expansion of 0 in y
18.223 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
18.223 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.223 * [taylor]: Taking taylor expansion of z in z
18.224 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
18.224 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.224 * [taylor]: Taking taylor expansion of z in z
18.225 * [taylor]: Taking taylor expansion of 1 in z
18.226 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in (x t y z) around 0
18.226 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in z
18.226 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z
18.226 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
18.226 * [taylor]: Taking taylor expansion of (* x z) in z
18.226 * [taylor]: Taking taylor expansion of x in z
18.226 * [taylor]: Taking taylor expansion of z in z
18.226 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
18.226 * [taylor]: Taking taylor expansion of (* t y) in z
18.226 * [taylor]: Taking taylor expansion of t in z
18.226 * [taylor]: Taking taylor expansion of y in z
18.226 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in z
18.226 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
18.226 * [taylor]: Taking taylor expansion of (* t z) in z
18.226 * [taylor]: Taking taylor expansion of t in z
18.227 * [taylor]: Taking taylor expansion of z in z
18.227 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z
18.227 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
18.227 * [taylor]: Taking taylor expansion of (* x y) in z
18.227 * [taylor]: Taking taylor expansion of x in z
18.227 * [taylor]: Taking taylor expansion of y in z
18.227 * [taylor]: Taking taylor expansion of (/ 1 x) in z
18.227 * [taylor]: Taking taylor expansion of x in z
18.227 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in y
18.227 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y
18.227 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
18.227 * [taylor]: Taking taylor expansion of (* x z) in y
18.227 * [taylor]: Taking taylor expansion of x in y
18.227 * [taylor]: Taking taylor expansion of z in y
18.227 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
18.227 * [taylor]: Taking taylor expansion of (* t y) in y
18.227 * [taylor]: Taking taylor expansion of t in y
18.227 * [taylor]: Taking taylor expansion of y in y
18.228 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in y
18.228 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
18.228 * [taylor]: Taking taylor expansion of (* t z) in y
18.228 * [taylor]: Taking taylor expansion of t in y
18.228 * [taylor]: Taking taylor expansion of z in y
18.228 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
18.228 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
18.228 * [taylor]: Taking taylor expansion of (* x y) in y
18.228 * [taylor]: Taking taylor expansion of x in y
18.228 * [taylor]: Taking taylor expansion of y in y
18.228 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.228 * [taylor]: Taking taylor expansion of x in y
18.228 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in t
18.228 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t
18.228 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
18.228 * [taylor]: Taking taylor expansion of (* x z) in t
18.228 * [taylor]: Taking taylor expansion of x in t
18.228 * [taylor]: Taking taylor expansion of z in t
18.228 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
18.228 * [taylor]: Taking taylor expansion of (* t y) in t
18.228 * [taylor]: Taking taylor expansion of t in t
18.228 * [taylor]: Taking taylor expansion of y in t
18.229 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in t
18.229 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
18.229 * [taylor]: Taking taylor expansion of (* t z) in t
18.229 * [taylor]: Taking taylor expansion of t in t
18.229 * [taylor]: Taking taylor expansion of z in t
18.229 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in t
18.229 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
18.229 * [taylor]: Taking taylor expansion of (* x y) in t
18.229 * [taylor]: Taking taylor expansion of x in t
18.229 * [taylor]: Taking taylor expansion of y in t
18.229 * [taylor]: Taking taylor expansion of (/ 1 x) in t
18.229 * [taylor]: Taking taylor expansion of x in t
18.229 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
18.229 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
18.229 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
18.229 * [taylor]: Taking taylor expansion of (* x z) in x
18.229 * [taylor]: Taking taylor expansion of x in x
18.229 * [taylor]: Taking taylor expansion of z in x
18.230 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
18.230 * [taylor]: Taking taylor expansion of (* t y) in x
18.230 * [taylor]: Taking taylor expansion of t in x
18.230 * [taylor]: Taking taylor expansion of y in x
18.230 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
18.230 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
18.230 * [taylor]: Taking taylor expansion of (* t z) in x
18.230 * [taylor]: Taking taylor expansion of t in x
18.230 * [taylor]: Taking taylor expansion of z in x
18.230 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
18.230 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
18.230 * [taylor]: Taking taylor expansion of (* x y) in x
18.230 * [taylor]: Taking taylor expansion of x in x
18.230 * [taylor]: Taking taylor expansion of y in x
18.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.230 * [taylor]: Taking taylor expansion of x in x
18.231 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
18.231 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
18.231 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
18.231 * [taylor]: Taking taylor expansion of (* x z) in x
18.231 * [taylor]: Taking taylor expansion of x in x
18.231 * [taylor]: Taking taylor expansion of z in x
18.231 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
18.231 * [taylor]: Taking taylor expansion of (* t y) in x
18.231 * [taylor]: Taking taylor expansion of t in x
18.231 * [taylor]: Taking taylor expansion of y in x
18.231 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
18.231 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
18.231 * [taylor]: Taking taylor expansion of (* t z) in x
18.231 * [taylor]: Taking taylor expansion of t in x
18.231 * [taylor]: Taking taylor expansion of z in x
18.231 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
18.231 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
18.231 * [taylor]: Taking taylor expansion of (* x y) in x
18.231 * [taylor]: Taking taylor expansion of x in x
18.231 * [taylor]: Taking taylor expansion of y in x
18.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.232 * [taylor]: Taking taylor expansion of x in x
18.232 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in t
18.232 * [taylor]: Taking taylor expansion of (/ 1 z) in t
18.232 * [taylor]: Taking taylor expansion of z in t
18.232 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in t
18.232 * [taylor]: Taking taylor expansion of (/ 1 y) in t
18.232 * [taylor]: Taking taylor expansion of y in t
18.232 * [taylor]: Taking taylor expansion of 1 in t
18.235 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t
18.235 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
18.235 * [taylor]: Taking taylor expansion of (* t y) in t
18.235 * [taylor]: Taking taylor expansion of t in t
18.235 * [taylor]: Taking taylor expansion of y in t
18.235 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
18.235 * [taylor]: Taking taylor expansion of (* t z) in t
18.235 * [taylor]: Taking taylor expansion of t in t
18.235 * [taylor]: Taking taylor expansion of z in t
18.235 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
18.235 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.235 * [taylor]: Taking taylor expansion of y in y
18.236 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.236 * [taylor]: Taking taylor expansion of z in y
18.236 * [taylor]: Taking taylor expansion of 1 in z
18.236 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in y
18.236 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.236 * [taylor]: Taking taylor expansion of z in y
18.236 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
18.236 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.236 * [taylor]: Taking taylor expansion of y in y
18.237 * [taylor]: Taking taylor expansion of 1 in y
18.237 * [taylor]: Taking taylor expansion of -1 in z
18.244 * [taylor]: Taking taylor expansion of 0 in t
18.246 * [taylor]: Taking taylor expansion of 0 in y
18.247 * [taylor]: Taking taylor expansion of 0 in y
18.247 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
18.247 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.247 * [taylor]: Taking taylor expansion of z in z
18.249 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1) in z
18.249 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.249 * [taylor]: Taking taylor expansion of z in z
18.249 * [taylor]: Taking taylor expansion of 1 in z
18.250 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
18.250 * [approximate]: Taking taylor expansion of (* -1 (* (- y z) x)) in (x y z) around 0
18.250 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in z
18.250 * [taylor]: Taking taylor expansion of -1 in z
18.250 * [taylor]: Taking taylor expansion of (* (- y z) x) in z
18.250 * [taylor]: Taking taylor expansion of (- y z) in z
18.250 * [taylor]: Taking taylor expansion of y in z
18.250 * [taylor]: Taking taylor expansion of z in z
18.250 * [taylor]: Taking taylor expansion of x in z
18.250 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in y
18.250 * [taylor]: Taking taylor expansion of -1 in y
18.250 * [taylor]: Taking taylor expansion of (* (- y z) x) in y
18.250 * [taylor]: Taking taylor expansion of (- y z) in y
18.250 * [taylor]: Taking taylor expansion of y in y
18.250 * [taylor]: Taking taylor expansion of z in y
18.250 * [taylor]: Taking taylor expansion of x in y
18.250 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in x
18.250 * [taylor]: Taking taylor expansion of -1 in x
18.250 * [taylor]: Taking taylor expansion of (* (- y z) x) in x
18.250 * [taylor]: Taking taylor expansion of (- y z) in x
18.250 * [taylor]: Taking taylor expansion of y in x
18.250 * [taylor]: Taking taylor expansion of z in x
18.250 * [taylor]: Taking taylor expansion of x in x
18.250 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in x
18.250 * [taylor]: Taking taylor expansion of -1 in x
18.251 * [taylor]: Taking taylor expansion of (* (- y z) x) in x
18.251 * [taylor]: Taking taylor expansion of (- y z) in x
18.251 * [taylor]: Taking taylor expansion of y in x
18.251 * [taylor]: Taking taylor expansion of z in x
18.251 * [taylor]: Taking taylor expansion of x in x
18.251 * [taylor]: Taking taylor expansion of 0 in y
18.251 * [taylor]: Taking taylor expansion of 0 in z
18.252 * [taylor]: Taking taylor expansion of (- z y) in y
18.252 * [taylor]: Taking taylor expansion of z in y
18.252 * [taylor]: Taking taylor expansion of y in y
18.252 * [taylor]: Taking taylor expansion of z in z
18.252 * [taylor]: Taking taylor expansion of 0 in z
18.254 * [taylor]: Taking taylor expansion of 0 in y
18.254 * [taylor]: Taking taylor expansion of 0 in z
18.255 * [taylor]: Taking taylor expansion of -1 in z
18.255 * [taylor]: Taking taylor expansion of 0 in z
18.256 * [taylor]: Taking taylor expansion of 0 in y
18.256 * [taylor]: Taking taylor expansion of 0 in z
18.256 * [taylor]: Taking taylor expansion of 0 in z
18.257 * [taylor]: Taking taylor expansion of 0 in z
18.257 * [taylor]: Taking taylor expansion of 0 in z
18.257 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in (x y z) around 0
18.257 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in z
18.257 * [taylor]: Taking taylor expansion of -1 in z
18.257 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in z
18.257 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
18.257 * [taylor]: Taking taylor expansion of (/ 1 y) in z
18.257 * [taylor]: Taking taylor expansion of y in z
18.257 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.257 * [taylor]: Taking taylor expansion of z in z
18.258 * [taylor]: Taking taylor expansion of x in z
18.258 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in y
18.258 * [taylor]: Taking taylor expansion of -1 in y
18.258 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y
18.258 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
18.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.258 * [taylor]: Taking taylor expansion of y in y
18.259 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.259 * [taylor]: Taking taylor expansion of z in y
18.259 * [taylor]: Taking taylor expansion of x in y
18.259 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in x
18.259 * [taylor]: Taking taylor expansion of -1 in x
18.259 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x
18.259 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
18.259 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.259 * [taylor]: Taking taylor expansion of y in x
18.259 * [taylor]: Taking taylor expansion of (/ 1 z) in x
18.259 * [taylor]: Taking taylor expansion of z in x
18.259 * [taylor]: Taking taylor expansion of x in x
18.259 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in x
18.259 * [taylor]: Taking taylor expansion of -1 in x
18.259 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x
18.259 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
18.259 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.259 * [taylor]: Taking taylor expansion of y in x
18.259 * [taylor]: Taking taylor expansion of (/ 1 z) in x
18.259 * [taylor]: Taking taylor expansion of z in x
18.260 * [taylor]: Taking taylor expansion of x in x
18.260 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 y) (/ 1 z))) in y
18.260 * [taylor]: Taking taylor expansion of -1 in y
18.260 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
18.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.260 * [taylor]: Taking taylor expansion of y in y
18.260 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.260 * [taylor]: Taking taylor expansion of z in y
18.261 * [taylor]: Taking taylor expansion of -1 in z
18.262 * [taylor]: Taking taylor expansion of 0 in y
18.263 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.263 * [taylor]: Taking taylor expansion of z in z
18.265 * [taylor]: Taking taylor expansion of 0 in y
18.266 * [taylor]: Taking taylor expansion of 0 in z
18.267 * [taylor]: Taking taylor expansion of 0 in z
18.270 * [taylor]: Taking taylor expansion of 0 in y
18.270 * [taylor]: Taking taylor expansion of 0 in z
18.270 * [taylor]: Taking taylor expansion of 0 in z
18.272 * [taylor]: Taking taylor expansion of 0 in z
18.273 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in (x y z) around 0
18.273 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in z
18.273 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
18.273 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.273 * [taylor]: Taking taylor expansion of z in z
18.274 * [taylor]: Taking taylor expansion of (/ 1 y) in z
18.274 * [taylor]: Taking taylor expansion of y in z
18.274 * [taylor]: Taking taylor expansion of x in z
18.274 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y
18.274 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
18.274 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.274 * [taylor]: Taking taylor expansion of z in y
18.274 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.274 * [taylor]: Taking taylor expansion of y in y
18.274 * [taylor]: Taking taylor expansion of x in y
18.275 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x
18.275 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
18.275 * [taylor]: Taking taylor expansion of (/ 1 z) in x
18.275 * [taylor]: Taking taylor expansion of z in x
18.275 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.275 * [taylor]: Taking taylor expansion of y in x
18.275 * [taylor]: Taking taylor expansion of x in x
18.275 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x
18.275 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
18.275 * [taylor]: Taking taylor expansion of (/ 1 z) in x
18.275 * [taylor]: Taking taylor expansion of z in x
18.275 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.275 * [taylor]: Taking taylor expansion of y in x
18.275 * [taylor]: Taking taylor expansion of x in x
18.276 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
18.276 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.276 * [taylor]: Taking taylor expansion of z in y
18.276 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.276 * [taylor]: Taking taylor expansion of y in y
18.277 * [taylor]: Taking taylor expansion of -1 in z
18.278 * [taylor]: Taking taylor expansion of 0 in y
18.279 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.279 * [taylor]: Taking taylor expansion of z in z
18.281 * [taylor]: Taking taylor expansion of 0 in y
18.281 * [taylor]: Taking taylor expansion of 0 in z
18.282 * [taylor]: Taking taylor expansion of 0 in z
18.284 * [taylor]: Taking taylor expansion of 0 in y
18.285 * [taylor]: Taking taylor expansion of 0 in z
18.285 * [taylor]: Taking taylor expansion of 0 in z
18.286 * [taylor]: Taking taylor expansion of 0 in z
18.287 * * * [progress]: simplifying candidates
18.288 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* t (- y z))
  (+ (log t) (log (- y z)))
  (log (* t (- y z)))
  (exp (* t (- y z)))
  (* (* (* t t) t) (* (* (- y z) (- y z)) (- y z)))
  (* (cbrt (* t (- y z))) (cbrt (* t (- y z))))
  (cbrt (* t (- y z)))
  (* (* (* t (- y z)) (* t (- y z))) (* t (- y z)))
  (sqrt (* t (- y z)))
  (sqrt (* t (- y z)))
  (* (sqrt t) (sqrt (- y z)))
  (* (sqrt t) (sqrt (- y z)))
  (* t y)
  (* t (- z))
  (* t y)
  (* t (- z))
  (* y t)
  (* (- z) t)
  (* y t)
  (* (- z) t)
  (* t (* (cbrt (- y z)) (cbrt (- y z))))
  (* t (sqrt (- y z)))
  (* t 1)
  (* t (+ (sqrt y) (sqrt z)))
  (* t 1)
  (* (cbrt t) (- y z))
  (* (sqrt t) (- y z))
  (* t (- y z))
  (* t (- (pow y 3) (pow z 3)))
  (* t (- (* y y) (* z z)))
  (* (* (exp x) (exp (* t (- y z)))) (exp (* (- x) (- y z))))
  (* (exp (+ x (* t (- y z)))) (exp (* (- x) (- y z))))
  (log (+ (+ x (* t (- y z))) (* (- x) (- y z))))
  (exp (+ (+ x (* t (- y z))) (* (- x) (- y z))))
  (* (cbrt (+ (+ x (* t (- y z))) (* (- x) (- y z)))) (cbrt (+ (+ x (* t (- y z))) (* (- x) (- y z)))))
  (cbrt (+ (+ x (* t (- y z))) (* (- x) (- y z))))
  (* (* (+ (+ x (* t (- y z))) (* (- x) (- y z))) (+ (+ x (* t (- y z))) (* (- x) (- y z)))) (+ (+ x (* t (- y z))) (* (- x) (- y z))))
  (sqrt (+ (+ x (* t (- y z))) (* (- x) (- y z))))
  (sqrt (+ (+ x (* t (- y z))) (* (- x) (- y z))))
  (+ (* (+ (pow x 3) (pow (* t (- y z)) 3)) (+ (* y y) (+ (* z z) (* y z)))) (* (+ (* x x) (- (* (* t (- y z)) (* t (- y z))) (* x (* t (- y z))))) (* (- x) (- (pow y 3) (pow z 3)))))
  (* (+ (* x x) (- (* (* t (- y z)) (* t (- y z))) (* x (* t (- y z))))) (+ (* y y) (+ (* z z) (* y z))))
  (+ (* (+ (pow x 3) (pow (* t (- y z)) 3)) (+ y z)) (* (+ (* x x) (- (* (* t (- y z)) (* t (- y z))) (* x (* t (- y z))))) (* (- x) (- (* y y) (* z z)))))
  (* (+ (* x x) (- (* (* t (- y z)) (* t (- y z))) (* x (* t (- y z))))) (+ y z))
  (+ (* (- (* x x) (* (* t (- y z)) (* t (- y z)))) (+ (* y y) (+ (* z z) (* y z)))) (* (- x (* t (- y z))) (* (- x) (- (pow y 3) (pow z 3)))))
  (* (- x (* t (- y z))) (+ (* y y) (+ (* z z) (* y z))))
  (+ (* (- (* x x) (* (* t (- y z)) (* t (- y z)))) (+ y z)) (* (- x (* t (- y z))) (* (- x) (- (* y y) (* z z)))))
  (* (- x (* t (- y z))) (+ y z))
  (+ (pow (+ x (* t (- y z))) 3) (pow (* (- x) (- y z)) 3))
  (+ (* (+ x (* t (- y z))) (+ x (* t (- y z)))) (- (* (* (- x) (- y z)) (* (- x) (- y z))) (* (+ x (* t (- y z))) (* (- x) (- y z)))))
  (- (* (+ x (* t (- y z))) (+ x (* t (- y z)))) (* (* (- x) (- y z)) (* (- x) (- y z))))
  (- (+ x (* t (- y z))) (* (- x) (- y z)))
  (+ (+ x (* t (- y z))) (* (- x) y))
  (+ (+ x (* t (- y z))) (* (- x) y))
  (+ (+ x (* t (- y z))) (* y (- x)))
  (+ (+ x (* t (- y z))) (* y (- x)))
  (+ (* t (- y z)) (* (- x) (- y z)))
  (* (- x) (- y z))
  (+ (log (- x)) (log (- y z)))
  (log (* (- x) (- y z)))
  (exp (* (- x) (- y z)))
  (* (* (* (- x) (- x)) (- x)) (* (* (- y z) (- y z)) (- y z)))
  (* (cbrt (* (- x) (- y z))) (cbrt (* (- x) (- y z))))
  (cbrt (* (- x) (- y z)))
  (* (* (* (- x) (- y z)) (* (- x) (- y z))) (* (- x) (- y z)))
  (sqrt (* (- x) (- y z)))
  (sqrt (* (- x) (- y z)))
  (* (sqrt (- x)) (sqrt (- y z)))
  (* (sqrt (- x)) (sqrt (- y z)))
  (* x (- y z))
  (* (- x) y)
  (* (- x) (- z))
  (* (- x) y)
  (* (- x) (- z))
  (* y (- x))
  (* (- z) (- x))
  (* y (- x))
  (* (- z) (- x))
  (* (- x) (* (cbrt (- y z)) (cbrt (- y z))))
  (* (- x) (sqrt (- y z)))
  (* (- x) 1)
  (* (- x) (+ (sqrt y) (sqrt z)))
  (* (- x) 1)
  (* (cbrt (- x)) (- y z))
  (* (sqrt (- x)) (- y z))
  (* (- x) (- y z))
  (* x (- y z))
  (* (cbrt x) (- y z))
  (* (sqrt x) (- y z))
  (* x (- y z))
  (* (- (cbrt x)) (- y z))
  (* (- (sqrt x)) (- y z))
  (* (- x) (- y z))
  (* (- x) (- (pow y 3) (pow z 3)))
  (* (- x) (- (* y y) (* z z)))
  (- (* t y) (* t z))
  (- (* t y) (* t z))
  (- (* t y) (* t z))
  x
  (- (+ (* x z) (* t y)) (* t z))
  (- (+ (* x z) (* t y)) (* t z))
  (- (* x z) (* x y))
  (- (* x z) (* x y))
  (- (* x z) (* x y))
18.292 * * [simplify]: iteration  0 :  151  enodes  (cost  1171 )
18.326 * * [simplify]: iteration  1 :  448  enodes  (cost  1021 )
18.479 * * [simplify]: iteration  2 :  1745  enodes  (cost  959 )
18.973 * * [simplify]: iteration  done :  5000  enodes  (cost  953 )
18.973 * [simplify]: Simplified to:
   (* t (- y z))
  (log (* t (- y z)))
  (log (* t (- y z)))
  (exp (* t (- y z)))
  (pow (* t (- y z)) 3)
  (* (cbrt (* t (- y z))) (cbrt (* t (- y z))))
  (cbrt (* t (- y z)))
  (pow (* t (- y z)) 3)
  (sqrt (* t (- y z)))
  (sqrt (* t (- y z)))
  (* (sqrt t) (sqrt (- y z)))
  (* (sqrt t) (sqrt (- y z)))
  (* y t)
  (* (- z) t)
  (* y t)
  (* (- z) t)
  (* y t)
  (* (- z) t)
  (* y t)
  (* (- z) t)
  (* t (* (cbrt (- y z)) (cbrt (- y z))))
  (* t (sqrt (- y z)))
  t
  (* t (+ (sqrt y) (sqrt z)))
  t
  (* (cbrt t) (- y z))
  (* (sqrt t) (- y z))
  (* t (- y z))
  (* t (- (pow y 3) (pow z 3)))
  (* t (- (* y y) (* z z)))
  (exp (+ x (* (- y z) (- t x))))
  (exp (+ x (* (- y z) (- t x))))
  (log (+ x (* (- y z) (- t x))))
  (exp (+ x (* (- y z) (- t x))))
  (* (cbrt (+ x (* (- y z) (- t x)))) (cbrt (+ x (* (- y z) (- t x)))))
  (cbrt (+ x (* (- y z) (- t x))))
  (pow (+ x (* (- y z) (- t x))) 3)
  (sqrt (+ x (* (- y z) (- t x))))
  (sqrt (+ x (* (- y z) (- t x))))
  (- (* (+ (* z (+ y z)) (* y y)) (+ (pow x 3) (pow (* t (- y z)) 3))) (* (+ (* (* t (- y z)) (- (* t (- y z)) x)) (* x x)) (* x (- (pow y 3) (pow z 3)))))
  (* (+ (* (* t (- y z)) (- (* t (- y z)) x)) (* x x)) (+ (* z (+ y z)) (* y y)))
  (- (* (+ (pow x 3) (pow (* t (- y z)) 3)) (+ y z)) (* (* x (- (* y y) (* z z))) (+ (* (* t (- y z)) (- (* t (- y z)) x)) (* x x))))
  (* (+ y z) (+ (* (* t (- y z)) (- (* t (- y z)) x)) (* x x)))
  (- (* (+ (* z (+ y z)) (* y y)) (- (* x x) (* (* t (- y z)) (* t (- y z))))) (* (* x (- (pow y 3) (pow z 3))) (- x (* t (- y z)))))
  (* (+ (* z (+ y z)) (* y y)) (- x (* t (- y z))))
  (- (* (- (* x x) (* (* t (- y z)) (* t (- y z)))) (+ y z)) (* (- x (* t (- y z))) (* x (- (* y y) (* z z)))))
  (* (- x (* t (- y z))) (+ y z))
  (- (pow (+ x (* t (- y z))) 3) (pow (* x (- y z)) 3))
  (- (* (+ x (* t (- y z))) (+ x (* t (- y z)))) (* (* x (- y z)) (- (* (- x) (- y z)) (+ x (* t (- y z))))))
  (* (+ x (* (- y z) (- t x))) (+ (* (- y z) (- t (- x))) x))
  (+ (* (- y z) (- t (- x))) x)
  (- (+ x (* t (- y z))) (* x y))
  (- (+ x (* t (- y z))) (* x y))
  (- (+ x (* t (- y z))) (* x y))
  (- (+ x (* t (- y z))) (* x y))
  (* (- y z) (- t x))
  (* (- x) (- y z))
  (log (* (- x) (- y z)))
  (log (* (- x) (- y z)))
  (exp (* (- x) (- y z)))
  (pow (* (- x) (- y z)) 3)
  (* (cbrt (* (- x) (- y z))) (cbrt (* (- x) (- y z))))
  (cbrt (* (- x) (- y z)))
  (pow (* (- x) (- y z)) 3)
  (sqrt (* (- x) (- y z)))
  (sqrt (* (- x) (- y z)))
  (* (sqrt (- x)) (sqrt (- y z)))
  (* (sqrt (- x)) (sqrt (- y z)))
  (* x (- y z))
  (* (- x) y)
  (* (- z) (- x))
  (* (- x) y)
  (* (- z) (- x))
  (* (- x) y)
  (* (- z) (- x))
  (* (- x) y)
  (* (- z) (- x))
  (* (- x) (* (cbrt (- y z)) (cbrt (- y z))))
  (* (- x) (sqrt (- y z)))
  (- x)
  (* (- x) (+ (sqrt y) (sqrt z)))
  (- x)
  (* (cbrt (- x)) (- y z))
  (* (sqrt (- x)) (- y z))
  (* (- x) (- y z))
  (* x (- y z))
  (* (cbrt x) (- y z))
  (* (sqrt x) (- y z))
  (* x (- y z))
  (* (- (cbrt x)) (- y z))
  (* (- (sqrt x)) (- y z))
  (* (- x) (- y z))
  (* (- x) (- (pow y 3) (pow z 3)))
  (* (- x) (- (* y y) (* z z)))
  (* t (- y z))
  (* t (- y z))
  (* t (- y z))
  x
  (+ (* x z) (* t (- y z)))
  (+ (* x z) (* t (- y z)))
  (* x (- z y))
  (* x (- z y))
  (* x (- z y))
18.974 * * * [progress]: adding candidates to table
19.159 * * [progress]: iteration 3 / 4
19.159 * * * [progress]: picking best candidate
19.166 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))>
19.166 * * * [progress]: localizing error
19.178 * * * [progress]: generating rewritten candidates
19.178 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2)
19.180 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
19.219 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
19.235 * * * [progress]: generating series expansions
19.235 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2)
19.235 * [approximate]: Taking taylor expansion of (- (* t y) (* t z)) in (y t z) around 0
19.235 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in z
19.235 * [taylor]: Taking taylor expansion of (* t y) in z
19.235 * [taylor]: Taking taylor expansion of t in z
19.235 * [taylor]: Taking taylor expansion of y in z
19.235 * [taylor]: Taking taylor expansion of (* t z) in z
19.235 * [taylor]: Taking taylor expansion of t in z
19.235 * [taylor]: Taking taylor expansion of z in z
19.235 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in t
19.235 * [taylor]: Taking taylor expansion of (* t y) in t
19.235 * [taylor]: Taking taylor expansion of t in t
19.235 * [taylor]: Taking taylor expansion of y in t
19.235 * [taylor]: Taking taylor expansion of (* t z) in t
19.235 * [taylor]: Taking taylor expansion of t in t
19.235 * [taylor]: Taking taylor expansion of z in t
19.236 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in y
19.236 * [taylor]: Taking taylor expansion of (* t y) in y
19.236 * [taylor]: Taking taylor expansion of t in y
19.236 * [taylor]: Taking taylor expansion of y in y
19.236 * [taylor]: Taking taylor expansion of (* t z) in y
19.236 * [taylor]: Taking taylor expansion of t in y
19.236 * [taylor]: Taking taylor expansion of z in y
19.236 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in y
19.236 * [taylor]: Taking taylor expansion of (* t y) in y
19.236 * [taylor]: Taking taylor expansion of t in y
19.236 * [taylor]: Taking taylor expansion of y in y
19.236 * [taylor]: Taking taylor expansion of (* t z) in y
19.236 * [taylor]: Taking taylor expansion of t in y
19.236 * [taylor]: Taking taylor expansion of z in y
19.236 * [taylor]: Taking taylor expansion of (- (* t z)) in t
19.236 * [taylor]: Taking taylor expansion of (* t z) in t
19.236 * [taylor]: Taking taylor expansion of t in t
19.236 * [taylor]: Taking taylor expansion of z in t
19.237 * [taylor]: Taking taylor expansion of 0 in z
19.237 * [taylor]: Taking taylor expansion of t in t
19.237 * [taylor]: Taking taylor expansion of 0 in z
19.237 * [taylor]: Taking taylor expansion of (- z) in z
19.238 * [taylor]: Taking taylor expansion of z in z
19.239 * [taylor]: Taking taylor expansion of 0 in t
19.239 * [taylor]: Taking taylor expansion of 0 in z
19.239 * [taylor]: Taking taylor expansion of 1 in z
19.240 * [taylor]: Taking taylor expansion of 0 in z
19.241 * [taylor]: Taking taylor expansion of 0 in t
19.241 * [taylor]: Taking taylor expansion of 0 in z
19.242 * [taylor]: Taking taylor expansion of 0 in z
19.242 * [taylor]: Taking taylor expansion of 0 in z
19.243 * [taylor]: Taking taylor expansion of 0 in z
19.243 * [approximate]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in (y t z) around 0
19.243 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in z
19.243 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
19.243 * [taylor]: Taking taylor expansion of (* t y) in z
19.243 * [taylor]: Taking taylor expansion of t in z
19.243 * [taylor]: Taking taylor expansion of y in z
19.243 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
19.243 * [taylor]: Taking taylor expansion of (* t z) in z
19.243 * [taylor]: Taking taylor expansion of t in z
19.243 * [taylor]: Taking taylor expansion of z in z
19.243 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t
19.243 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
19.243 * [taylor]: Taking taylor expansion of (* t y) in t
19.243 * [taylor]: Taking taylor expansion of t in t
19.243 * [taylor]: Taking taylor expansion of y in t
19.244 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
19.244 * [taylor]: Taking taylor expansion of (* t z) in t
19.244 * [taylor]: Taking taylor expansion of t in t
19.244 * [taylor]: Taking taylor expansion of z in t
19.244 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
19.244 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
19.244 * [taylor]: Taking taylor expansion of (* t y) in y
19.244 * [taylor]: Taking taylor expansion of t in y
19.244 * [taylor]: Taking taylor expansion of y in y
19.245 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
19.245 * [taylor]: Taking taylor expansion of (* t z) in y
19.245 * [taylor]: Taking taylor expansion of t in y
19.245 * [taylor]: Taking taylor expansion of z in y
19.245 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
19.245 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
19.245 * [taylor]: Taking taylor expansion of (* t y) in y
19.245 * [taylor]: Taking taylor expansion of t in y
19.245 * [taylor]: Taking taylor expansion of y in y
19.245 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
19.245 * [taylor]: Taking taylor expansion of (* t z) in y
19.245 * [taylor]: Taking taylor expansion of t in y
19.245 * [taylor]: Taking taylor expansion of z in y
19.245 * [taylor]: Taking taylor expansion of (/ 1 t) in t
19.245 * [taylor]: Taking taylor expansion of t in t
19.246 * [taylor]: Taking taylor expansion of 1 in z
19.246 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in t
19.246 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
19.246 * [taylor]: Taking taylor expansion of (* t z) in t
19.246 * [taylor]: Taking taylor expansion of t in t
19.246 * [taylor]: Taking taylor expansion of z in t
19.247 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
19.247 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.247 * [taylor]: Taking taylor expansion of z in z
19.248 * [taylor]: Taking taylor expansion of 0 in z
19.249 * [taylor]: Taking taylor expansion of 0 in t
19.249 * [taylor]: Taking taylor expansion of 0 in z
19.250 * [taylor]: Taking taylor expansion of 0 in z
19.252 * [taylor]: Taking taylor expansion of 0 in t
19.252 * [taylor]: Taking taylor expansion of 0 in z
19.253 * [taylor]: Taking taylor expansion of 0 in z
19.254 * [taylor]: Taking taylor expansion of 0 in z
19.255 * [approximate]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in (y t z) around 0
19.255 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in z
19.255 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
19.255 * [taylor]: Taking taylor expansion of (* t y) in z
19.255 * [taylor]: Taking taylor expansion of t in z
19.255 * [taylor]: Taking taylor expansion of y in z
19.255 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
19.255 * [taylor]: Taking taylor expansion of (* t z) in z
19.255 * [taylor]: Taking taylor expansion of t in z
19.255 * [taylor]: Taking taylor expansion of z in z
19.256 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t
19.256 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
19.256 * [taylor]: Taking taylor expansion of (* t y) in t
19.256 * [taylor]: Taking taylor expansion of t in t
19.256 * [taylor]: Taking taylor expansion of y in t
19.256 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
19.256 * [taylor]: Taking taylor expansion of (* t z) in t
19.256 * [taylor]: Taking taylor expansion of t in t
19.256 * [taylor]: Taking taylor expansion of z in t
19.256 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
19.256 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
19.256 * [taylor]: Taking taylor expansion of (* t y) in y
19.256 * [taylor]: Taking taylor expansion of t in y
19.256 * [taylor]: Taking taylor expansion of y in y
19.257 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
19.257 * [taylor]: Taking taylor expansion of (* t z) in y
19.257 * [taylor]: Taking taylor expansion of t in y
19.257 * [taylor]: Taking taylor expansion of z in y
19.257 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
19.257 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
19.257 * [taylor]: Taking taylor expansion of (* t y) in y
19.257 * [taylor]: Taking taylor expansion of t in y
19.257 * [taylor]: Taking taylor expansion of y in y
19.257 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
19.257 * [taylor]: Taking taylor expansion of (* t z) in y
19.257 * [taylor]: Taking taylor expansion of t in y
19.257 * [taylor]: Taking taylor expansion of z in y
19.257 * [taylor]: Taking taylor expansion of (/ 1 t) in t
19.257 * [taylor]: Taking taylor expansion of t in t
19.258 * [taylor]: Taking taylor expansion of 1 in z
19.258 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in t
19.258 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
19.258 * [taylor]: Taking taylor expansion of (* t z) in t
19.258 * [taylor]: Taking taylor expansion of t in t
19.258 * [taylor]: Taking taylor expansion of z in t
19.259 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
19.259 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.259 * [taylor]: Taking taylor expansion of z in z
19.260 * [taylor]: Taking taylor expansion of 0 in z
19.261 * [taylor]: Taking taylor expansion of 0 in t
19.262 * [taylor]: Taking taylor expansion of 0 in z
19.262 * [taylor]: Taking taylor expansion of 0 in z
19.265 * [taylor]: Taking taylor expansion of 0 in t
19.265 * [taylor]: Taking taylor expansion of 0 in z
19.266 * [taylor]: Taking taylor expansion of 0 in z
19.266 * [taylor]: Taking taylor expansion of 0 in z
19.267 * * * * [progress]: [ 2 / 3 ] generating series at (2)
19.268 * [approximate]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in (x y t z) around 0
19.268 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in z
19.268 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in z
19.268 * [taylor]: Taking taylor expansion of (* x z) in z
19.268 * [taylor]: Taking taylor expansion of x in z
19.268 * [taylor]: Taking taylor expansion of z in z
19.268 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z
19.268 * [taylor]: Taking taylor expansion of x in z
19.268 * [taylor]: Taking taylor expansion of (* t y) in z
19.268 * [taylor]: Taking taylor expansion of t in z
19.268 * [taylor]: Taking taylor expansion of y in z
19.268 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z
19.268 * [taylor]: Taking taylor expansion of (* t z) in z
19.268 * [taylor]: Taking taylor expansion of t in z
19.268 * [taylor]: Taking taylor expansion of z in z
19.268 * [taylor]: Taking taylor expansion of (* x y) in z
19.268 * [taylor]: Taking taylor expansion of x in z
19.268 * [taylor]: Taking taylor expansion of y in z
19.268 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in t
19.268 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in t
19.268 * [taylor]: Taking taylor expansion of (* x z) in t
19.268 * [taylor]: Taking taylor expansion of x in t
19.268 * [taylor]: Taking taylor expansion of z in t
19.268 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t
19.268 * [taylor]: Taking taylor expansion of x in t
19.268 * [taylor]: Taking taylor expansion of (* t y) in t
19.268 * [taylor]: Taking taylor expansion of t in t
19.268 * [taylor]: Taking taylor expansion of y in t
19.268 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t
19.268 * [taylor]: Taking taylor expansion of (* t z) in t
19.268 * [taylor]: Taking taylor expansion of t in t
19.268 * [taylor]: Taking taylor expansion of z in t
19.268 * [taylor]: Taking taylor expansion of (* x y) in t
19.268 * [taylor]: Taking taylor expansion of x in t
19.268 * [taylor]: Taking taylor expansion of y in t
19.268 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in y
19.268 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in y
19.268 * [taylor]: Taking taylor expansion of (* x z) in y
19.268 * [taylor]: Taking taylor expansion of x in y
19.268 * [taylor]: Taking taylor expansion of z in y
19.268 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y
19.268 * [taylor]: Taking taylor expansion of x in y
19.269 * [taylor]: Taking taylor expansion of (* t y) in y
19.269 * [taylor]: Taking taylor expansion of t in y
19.269 * [taylor]: Taking taylor expansion of y in y
19.269 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y
19.269 * [taylor]: Taking taylor expansion of (* t z) in y
19.269 * [taylor]: Taking taylor expansion of t in y
19.269 * [taylor]: Taking taylor expansion of z in y
19.269 * [taylor]: Taking taylor expansion of (* x y) in y
19.269 * [taylor]: Taking taylor expansion of x in y
19.269 * [taylor]: Taking taylor expansion of y in y
19.269 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
19.269 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
19.269 * [taylor]: Taking taylor expansion of (* x z) in x
19.269 * [taylor]: Taking taylor expansion of x in x
19.269 * [taylor]: Taking taylor expansion of z in x
19.269 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
19.269 * [taylor]: Taking taylor expansion of x in x
19.269 * [taylor]: Taking taylor expansion of (* t y) in x
19.269 * [taylor]: Taking taylor expansion of t in x
19.269 * [taylor]: Taking taylor expansion of y in x
19.269 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
19.269 * [taylor]: Taking taylor expansion of (* t z) in x
19.269 * [taylor]: Taking taylor expansion of t in x
19.269 * [taylor]: Taking taylor expansion of z in x
19.269 * [taylor]: Taking taylor expansion of (* x y) in x
19.269 * [taylor]: Taking taylor expansion of x in x
19.269 * [taylor]: Taking taylor expansion of y in x
19.269 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
19.269 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
19.269 * [taylor]: Taking taylor expansion of (* x z) in x
19.269 * [taylor]: Taking taylor expansion of x in x
19.269 * [taylor]: Taking taylor expansion of z in x
19.269 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
19.269 * [taylor]: Taking taylor expansion of x in x
19.269 * [taylor]: Taking taylor expansion of (* t y) in x
19.269 * [taylor]: Taking taylor expansion of t in x
19.269 * [taylor]: Taking taylor expansion of y in x
19.269 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
19.269 * [taylor]: Taking taylor expansion of (* t z) in x
19.269 * [taylor]: Taking taylor expansion of t in x
19.269 * [taylor]: Taking taylor expansion of z in x
19.269 * [taylor]: Taking taylor expansion of (* x y) in x
19.269 * [taylor]: Taking taylor expansion of x in x
19.269 * [taylor]: Taking taylor expansion of y in x
19.270 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in y
19.270 * [taylor]: Taking taylor expansion of (* t y) in y
19.270 * [taylor]: Taking taylor expansion of t in y
19.270 * [taylor]: Taking taylor expansion of y in y
19.270 * [taylor]: Taking taylor expansion of (* t z) in y
19.270 * [taylor]: Taking taylor expansion of t in y
19.270 * [taylor]: Taking taylor expansion of z in y
19.270 * [taylor]: Taking taylor expansion of (- (* t z)) in t
19.270 * [taylor]: Taking taylor expansion of (* t z) in t
19.270 * [taylor]: Taking taylor expansion of t in t
19.270 * [taylor]: Taking taylor expansion of z in t
19.270 * [taylor]: Taking taylor expansion of 0 in z
19.271 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in y
19.271 * [taylor]: Taking taylor expansion of (+ z 1) in y
19.271 * [taylor]: Taking taylor expansion of z in y
19.271 * [taylor]: Taking taylor expansion of 1 in y
19.271 * [taylor]: Taking taylor expansion of y in y
19.271 * [taylor]: Taking taylor expansion of (+ z 1) in t
19.271 * [taylor]: Taking taylor expansion of z in t
19.271 * [taylor]: Taking taylor expansion of 1 in t
19.272 * [taylor]: Taking taylor expansion of (+ z 1) in z
19.272 * [taylor]: Taking taylor expansion of z in z
19.272 * [taylor]: Taking taylor expansion of 1 in z
19.272 * [taylor]: Taking taylor expansion of t in t
19.272 * [taylor]: Taking taylor expansion of 0 in z
19.273 * [taylor]: Taking taylor expansion of (- z) in z
19.273 * [taylor]: Taking taylor expansion of z in z
19.276 * [taylor]: Taking taylor expansion of 0 in y
19.276 * [taylor]: Taking taylor expansion of 0 in t
19.276 * [taylor]: Taking taylor expansion of 0 in z
19.276 * [taylor]: Taking taylor expansion of -1 in t
19.277 * [taylor]: Taking taylor expansion of -1 in z
19.278 * [taylor]: Taking taylor expansion of 0 in t
19.278 * [taylor]: Taking taylor expansion of 0 in z
19.278 * [taylor]: Taking taylor expansion of 0 in z
19.278 * [taylor]: Taking taylor expansion of 1 in z
19.279 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (x y t z) around 0
19.279 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z
19.279 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in z
19.279 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
19.279 * [taylor]: Taking taylor expansion of (* t y) in z
19.279 * [taylor]: Taking taylor expansion of t in z
19.279 * [taylor]: Taking taylor expansion of y in z
19.279 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in z
19.279 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
19.279 * [taylor]: Taking taylor expansion of (* x z) in z
19.279 * [taylor]: Taking taylor expansion of x in z
19.279 * [taylor]: Taking taylor expansion of z in z
19.279 * [taylor]: Taking taylor expansion of (/ 1 x) in z
19.279 * [taylor]: Taking taylor expansion of x in z
19.279 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
19.279 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
19.279 * [taylor]: Taking taylor expansion of (* t z) in z
19.279 * [taylor]: Taking taylor expansion of t in z
19.279 * [taylor]: Taking taylor expansion of z in z
19.280 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
19.280 * [taylor]: Taking taylor expansion of (* x y) in z
19.280 * [taylor]: Taking taylor expansion of x in z
19.280 * [taylor]: Taking taylor expansion of y in z
19.280 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t
19.280 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in t
19.280 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
19.280 * [taylor]: Taking taylor expansion of (* t y) in t
19.280 * [taylor]: Taking taylor expansion of t in t
19.280 * [taylor]: Taking taylor expansion of y in t
19.280 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in t
19.280 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
19.280 * [taylor]: Taking taylor expansion of (* x z) in t
19.280 * [taylor]: Taking taylor expansion of x in t
19.280 * [taylor]: Taking taylor expansion of z in t
19.280 * [taylor]: Taking taylor expansion of (/ 1 x) in t
19.280 * [taylor]: Taking taylor expansion of x in t
19.280 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
19.280 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
19.280 * [taylor]: Taking taylor expansion of (* t z) in t
19.280 * [taylor]: Taking taylor expansion of t in t
19.280 * [taylor]: Taking taylor expansion of z in t
19.281 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
19.281 * [taylor]: Taking taylor expansion of (* x y) in t
19.281 * [taylor]: Taking taylor expansion of x in t
19.281 * [taylor]: Taking taylor expansion of y in t
19.281 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
19.281 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in y
19.281 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
19.281 * [taylor]: Taking taylor expansion of (* t y) in y
19.281 * [taylor]: Taking taylor expansion of t in y
19.281 * [taylor]: Taking taylor expansion of y in y
19.281 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in y
19.281 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
19.281 * [taylor]: Taking taylor expansion of (* x z) in y
19.281 * [taylor]: Taking taylor expansion of x in y
19.281 * [taylor]: Taking taylor expansion of z in y
19.281 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.281 * [taylor]: Taking taylor expansion of x in y
19.282 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
19.282 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
19.282 * [taylor]: Taking taylor expansion of (* t z) in y
19.282 * [taylor]: Taking taylor expansion of t in y
19.282 * [taylor]: Taking taylor expansion of z in y
19.282 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
19.282 * [taylor]: Taking taylor expansion of (* x y) in y
19.282 * [taylor]: Taking taylor expansion of x in y
19.282 * [taylor]: Taking taylor expansion of y in y
19.282 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
19.282 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
19.282 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
19.282 * [taylor]: Taking taylor expansion of (* t y) in x
19.282 * [taylor]: Taking taylor expansion of t in x
19.282 * [taylor]: Taking taylor expansion of y in x
19.282 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
19.282 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
19.282 * [taylor]: Taking taylor expansion of (* x z) in x
19.282 * [taylor]: Taking taylor expansion of x in x
19.282 * [taylor]: Taking taylor expansion of z in x
19.283 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.283 * [taylor]: Taking taylor expansion of x in x
19.283 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
19.283 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
19.283 * [taylor]: Taking taylor expansion of (* t z) in x
19.283 * [taylor]: Taking taylor expansion of t in x
19.283 * [taylor]: Taking taylor expansion of z in x
19.283 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
19.283 * [taylor]: Taking taylor expansion of (* x y) in x
19.283 * [taylor]: Taking taylor expansion of x in x
19.283 * [taylor]: Taking taylor expansion of y in x
19.283 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
19.283 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
19.284 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
19.284 * [taylor]: Taking taylor expansion of (* t y) in x
19.284 * [taylor]: Taking taylor expansion of t in x
19.284 * [taylor]: Taking taylor expansion of y in x
19.284 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
19.284 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
19.284 * [taylor]: Taking taylor expansion of (* x z) in x
19.284 * [taylor]: Taking taylor expansion of x in x
19.284 * [taylor]: Taking taylor expansion of z in x
19.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.284 * [taylor]: Taking taylor expansion of x in x
19.284 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
19.284 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
19.284 * [taylor]: Taking taylor expansion of (* t z) in x
19.285 * [taylor]: Taking taylor expansion of t in x
19.285 * [taylor]: Taking taylor expansion of z in x
19.285 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
19.285 * [taylor]: Taking taylor expansion of (* x y) in x
19.285 * [taylor]: Taking taylor expansion of x in x
19.285 * [taylor]: Taking taylor expansion of y in x
19.285 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in y
19.285 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y
19.285 * [taylor]: Taking taylor expansion of (/ 1 z) in y
19.285 * [taylor]: Taking taylor expansion of z in y
19.285 * [taylor]: Taking taylor expansion of 1 in y
19.285 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.285 * [taylor]: Taking taylor expansion of y in y
19.286 * [taylor]: Taking taylor expansion of -1 in t
19.288 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
19.288 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
19.288 * [taylor]: Taking taylor expansion of (* t y) in y
19.288 * [taylor]: Taking taylor expansion of t in y
19.288 * [taylor]: Taking taylor expansion of y in y
19.289 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
19.289 * [taylor]: Taking taylor expansion of (* t z) in y
19.289 * [taylor]: Taking taylor expansion of t in y
19.289 * [taylor]: Taking taylor expansion of z in y
19.289 * [taylor]: Taking taylor expansion of (/ 1 t) in t
19.289 * [taylor]: Taking taylor expansion of t in t
19.289 * [taylor]: Taking taylor expansion of 1 in z
19.290 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in t
19.290 * [taylor]: Taking taylor expansion of (/ 1 z) in t
19.290 * [taylor]: Taking taylor expansion of z in t
19.290 * [taylor]: Taking taylor expansion of 1 in t
19.290 * [taylor]: Taking taylor expansion of -1 in z
19.293 * [taylor]: Taking taylor expansion of 0 in y
19.294 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in t
19.294 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
19.294 * [taylor]: Taking taylor expansion of (* t z) in t
19.294 * [taylor]: Taking taylor expansion of t in t
19.294 * [taylor]: Taking taylor expansion of z in t
19.294 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
19.295 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.295 * [taylor]: Taking taylor expansion of z in z
19.296 * [taylor]: Taking taylor expansion of 0 in t
19.297 * [taylor]: Taking taylor expansion of 0 in z
19.297 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
19.297 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.297 * [taylor]: Taking taylor expansion of z in z
19.297 * [taylor]: Taking taylor expansion of 1 in z
19.297 * [taylor]: Taking taylor expansion of 0 in z
19.298 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in (x y t z) around 0
19.299 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in z
19.299 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z
19.299 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
19.299 * [taylor]: Taking taylor expansion of (* x z) in z
19.299 * [taylor]: Taking taylor expansion of x in z
19.299 * [taylor]: Taking taylor expansion of z in z
19.299 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
19.299 * [taylor]: Taking taylor expansion of (* t y) in z
19.299 * [taylor]: Taking taylor expansion of t in z
19.299 * [taylor]: Taking taylor expansion of y in z
19.299 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in z
19.299 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
19.299 * [taylor]: Taking taylor expansion of (* t z) in z
19.299 * [taylor]: Taking taylor expansion of t in z
19.299 * [taylor]: Taking taylor expansion of z in z
19.299 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z
19.299 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
19.299 * [taylor]: Taking taylor expansion of (* x y) in z
19.300 * [taylor]: Taking taylor expansion of x in z
19.300 * [taylor]: Taking taylor expansion of y in z
19.300 * [taylor]: Taking taylor expansion of (/ 1 x) in z
19.300 * [taylor]: Taking taylor expansion of x in z
19.300 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in t
19.300 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t
19.300 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
19.300 * [taylor]: Taking taylor expansion of (* x z) in t
19.300 * [taylor]: Taking taylor expansion of x in t
19.300 * [taylor]: Taking taylor expansion of z in t
19.300 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
19.300 * [taylor]: Taking taylor expansion of (* t y) in t
19.300 * [taylor]: Taking taylor expansion of t in t
19.300 * [taylor]: Taking taylor expansion of y in t
19.300 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in t
19.300 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
19.300 * [taylor]: Taking taylor expansion of (* t z) in t
19.300 * [taylor]: Taking taylor expansion of t in t
19.300 * [taylor]: Taking taylor expansion of z in t
19.301 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in t
19.301 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
19.301 * [taylor]: Taking taylor expansion of (* x y) in t
19.301 * [taylor]: Taking taylor expansion of x in t
19.301 * [taylor]: Taking taylor expansion of y in t
19.301 * [taylor]: Taking taylor expansion of (/ 1 x) in t
19.301 * [taylor]: Taking taylor expansion of x in t
19.301 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in y
19.301 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y
19.301 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
19.301 * [taylor]: Taking taylor expansion of (* x z) in y
19.301 * [taylor]: Taking taylor expansion of x in y
19.301 * [taylor]: Taking taylor expansion of z in y
19.301 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
19.301 * [taylor]: Taking taylor expansion of (* t y) in y
19.301 * [taylor]: Taking taylor expansion of t in y
19.301 * [taylor]: Taking taylor expansion of y in y
19.301 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in y
19.301 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
19.301 * [taylor]: Taking taylor expansion of (* t z) in y
19.301 * [taylor]: Taking taylor expansion of t in y
19.301 * [taylor]: Taking taylor expansion of z in y
19.301 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
19.301 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
19.301 * [taylor]: Taking taylor expansion of (* x y) in y
19.301 * [taylor]: Taking taylor expansion of x in y
19.301 * [taylor]: Taking taylor expansion of y in y
19.302 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.302 * [taylor]: Taking taylor expansion of x in y
19.302 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
19.302 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
19.302 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
19.302 * [taylor]: Taking taylor expansion of (* x z) in x
19.302 * [taylor]: Taking taylor expansion of x in x
19.302 * [taylor]: Taking taylor expansion of z in x
19.302 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
19.302 * [taylor]: Taking taylor expansion of (* t y) in x
19.302 * [taylor]: Taking taylor expansion of t in x
19.302 * [taylor]: Taking taylor expansion of y in x
19.302 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
19.302 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
19.303 * [taylor]: Taking taylor expansion of (* t z) in x
19.303 * [taylor]: Taking taylor expansion of t in x
19.303 * [taylor]: Taking taylor expansion of z in x
19.303 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
19.303 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
19.303 * [taylor]: Taking taylor expansion of (* x y) in x
19.303 * [taylor]: Taking taylor expansion of x in x
19.303 * [taylor]: Taking taylor expansion of y in x
19.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.303 * [taylor]: Taking taylor expansion of x in x
19.303 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
19.303 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
19.303 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
19.303 * [taylor]: Taking taylor expansion of (* x z) in x
19.303 * [taylor]: Taking taylor expansion of x in x
19.303 * [taylor]: Taking taylor expansion of z in x
19.304 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
19.304 * [taylor]: Taking taylor expansion of (* t y) in x
19.304 * [taylor]: Taking taylor expansion of t in x
19.304 * [taylor]: Taking taylor expansion of y in x
19.304 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
19.304 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
19.304 * [taylor]: Taking taylor expansion of (* t z) in x
19.304 * [taylor]: Taking taylor expansion of t in x
19.304 * [taylor]: Taking taylor expansion of z in x
19.304 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
19.304 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
19.304 * [taylor]: Taking taylor expansion of (* x y) in x
19.304 * [taylor]: Taking taylor expansion of x in x
19.304 * [taylor]: Taking taylor expansion of y in x
19.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.304 * [taylor]: Taking taylor expansion of x in x
19.305 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in y
19.305 * [taylor]: Taking taylor expansion of (/ 1 z) in y
19.305 * [taylor]: Taking taylor expansion of z in y
19.305 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
19.305 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.305 * [taylor]: Taking taylor expansion of y in y
19.305 * [taylor]: Taking taylor expansion of 1 in y
19.306 * [taylor]: Taking taylor expansion of -1 in t
19.308 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
19.308 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
19.308 * [taylor]: Taking taylor expansion of (* t y) in y
19.308 * [taylor]: Taking taylor expansion of t in y
19.308 * [taylor]: Taking taylor expansion of y in y
19.309 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
19.309 * [taylor]: Taking taylor expansion of (* t z) in y
19.309 * [taylor]: Taking taylor expansion of t in y
19.309 * [taylor]: Taking taylor expansion of z in y
19.309 * [taylor]: Taking taylor expansion of (/ 1 t) in t
19.309 * [taylor]: Taking taylor expansion of t in t
19.309 * [taylor]: Taking taylor expansion of 1 in z
19.310 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1) in t
19.310 * [taylor]: Taking taylor expansion of (/ 1 z) in t
19.310 * [taylor]: Taking taylor expansion of z in t
19.310 * [taylor]: Taking taylor expansion of 1 in t
19.310 * [taylor]: Taking taylor expansion of -1 in z
19.317 * [taylor]: Taking taylor expansion of 0 in y
19.318 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in t
19.318 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
19.318 * [taylor]: Taking taylor expansion of (* t z) in t
19.318 * [taylor]: Taking taylor expansion of t in t
19.318 * [taylor]: Taking taylor expansion of z in t
19.318 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
19.318 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.318 * [taylor]: Taking taylor expansion of z in z
19.320 * [taylor]: Taking taylor expansion of 0 in t
19.320 * [taylor]: Taking taylor expansion of 0 in z
19.321 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1) in z
19.321 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.321 * [taylor]: Taking taylor expansion of z in z
19.321 * [taylor]: Taking taylor expansion of 1 in z
19.321 * [taylor]: Taking taylor expansion of 0 in z
19.322 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
19.322 * [approximate]: Taking taylor expansion of (* -1 (* (- y z) x)) in (x y z) around 0
19.322 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in z
19.322 * [taylor]: Taking taylor expansion of -1 in z
19.322 * [taylor]: Taking taylor expansion of (* (- y z) x) in z
19.322 * [taylor]: Taking taylor expansion of (- y z) in z
19.322 * [taylor]: Taking taylor expansion of y in z
19.322 * [taylor]: Taking taylor expansion of z in z
19.322 * [taylor]: Taking taylor expansion of x in z
19.322 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in y
19.322 * [taylor]: Taking taylor expansion of -1 in y
19.322 * [taylor]: Taking taylor expansion of (* (- y z) x) in y
19.322 * [taylor]: Taking taylor expansion of (- y z) in y
19.322 * [taylor]: Taking taylor expansion of y in y
19.323 * [taylor]: Taking taylor expansion of z in y
19.323 * [taylor]: Taking taylor expansion of x in y
19.323 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in x
19.323 * [taylor]: Taking taylor expansion of -1 in x
19.323 * [taylor]: Taking taylor expansion of (* (- y z) x) in x
19.323 * [taylor]: Taking taylor expansion of (- y z) in x
19.323 * [taylor]: Taking taylor expansion of y in x
19.323 * [taylor]: Taking taylor expansion of z in x
19.323 * [taylor]: Taking taylor expansion of x in x
19.323 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in x
19.323 * [taylor]: Taking taylor expansion of -1 in x
19.323 * [taylor]: Taking taylor expansion of (* (- y z) x) in x
19.323 * [taylor]: Taking taylor expansion of (- y z) in x
19.323 * [taylor]: Taking taylor expansion of y in x
19.323 * [taylor]: Taking taylor expansion of z in x
19.323 * [taylor]: Taking taylor expansion of x in x
19.323 * [taylor]: Taking taylor expansion of 0 in y
19.323 * [taylor]: Taking taylor expansion of 0 in z
19.324 * [taylor]: Taking taylor expansion of (- z y) in y
19.324 * [taylor]: Taking taylor expansion of z in y
19.324 * [taylor]: Taking taylor expansion of y in y
19.325 * [taylor]: Taking taylor expansion of z in z
19.325 * [taylor]: Taking taylor expansion of 0 in z
19.326 * [taylor]: Taking taylor expansion of 0 in y
19.326 * [taylor]: Taking taylor expansion of 0 in z
19.327 * [taylor]: Taking taylor expansion of -1 in z
19.327 * [taylor]: Taking taylor expansion of 0 in z
19.328 * [taylor]: Taking taylor expansion of 0 in y
19.328 * [taylor]: Taking taylor expansion of 0 in z
19.329 * [taylor]: Taking taylor expansion of 0 in z
19.329 * [taylor]: Taking taylor expansion of 0 in z
19.329 * [taylor]: Taking taylor expansion of 0 in z
19.329 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in (x y z) around 0
19.329 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in z
19.329 * [taylor]: Taking taylor expansion of -1 in z
19.329 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in z
19.329 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
19.329 * [taylor]: Taking taylor expansion of (/ 1 y) in z
19.329 * [taylor]: Taking taylor expansion of y in z
19.329 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.329 * [taylor]: Taking taylor expansion of z in z
19.330 * [taylor]: Taking taylor expansion of x in z
19.330 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in y
19.330 * [taylor]: Taking taylor expansion of -1 in y
19.330 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y
19.330 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
19.330 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.330 * [taylor]: Taking taylor expansion of y in y
19.331 * [taylor]: Taking taylor expansion of (/ 1 z) in y
19.331 * [taylor]: Taking taylor expansion of z in y
19.331 * [taylor]: Taking taylor expansion of x in y
19.331 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in x
19.331 * [taylor]: Taking taylor expansion of -1 in x
19.331 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x
19.331 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
19.331 * [taylor]: Taking taylor expansion of (/ 1 y) in x
19.331 * [taylor]: Taking taylor expansion of y in x
19.331 * [taylor]: Taking taylor expansion of (/ 1 z) in x
19.331 * [taylor]: Taking taylor expansion of z in x
19.331 * [taylor]: Taking taylor expansion of x in x
19.331 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in x
19.331 * [taylor]: Taking taylor expansion of -1 in x
19.331 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x
19.331 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
19.331 * [taylor]: Taking taylor expansion of (/ 1 y) in x
19.331 * [taylor]: Taking taylor expansion of y in x
19.331 * [taylor]: Taking taylor expansion of (/ 1 z) in x
19.332 * [taylor]: Taking taylor expansion of z in x
19.332 * [taylor]: Taking taylor expansion of x in x
19.332 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 y) (/ 1 z))) in y
19.332 * [taylor]: Taking taylor expansion of -1 in y
19.332 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
19.332 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.332 * [taylor]: Taking taylor expansion of y in y
19.332 * [taylor]: Taking taylor expansion of (/ 1 z) in y
19.332 * [taylor]: Taking taylor expansion of z in y
19.333 * [taylor]: Taking taylor expansion of -1 in z
19.334 * [taylor]: Taking taylor expansion of 0 in y
19.335 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.335 * [taylor]: Taking taylor expansion of z in z
19.338 * [taylor]: Taking taylor expansion of 0 in y
19.338 * [taylor]: Taking taylor expansion of 0 in z
19.340 * [taylor]: Taking taylor expansion of 0 in z
19.343 * [taylor]: Taking taylor expansion of 0 in y
19.343 * [taylor]: Taking taylor expansion of 0 in z
19.343 * [taylor]: Taking taylor expansion of 0 in z
19.345 * [taylor]: Taking taylor expansion of 0 in z
19.346 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in (x y z) around 0
19.346 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in z
19.346 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
19.346 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.346 * [taylor]: Taking taylor expansion of z in z
19.346 * [taylor]: Taking taylor expansion of (/ 1 y) in z
19.346 * [taylor]: Taking taylor expansion of y in z
19.346 * [taylor]: Taking taylor expansion of x in z
19.347 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y
19.347 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
19.347 * [taylor]: Taking taylor expansion of (/ 1 z) in y
19.347 * [taylor]: Taking taylor expansion of z in y
19.347 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.347 * [taylor]: Taking taylor expansion of y in y
19.347 * [taylor]: Taking taylor expansion of x in y
19.348 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x
19.348 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
19.348 * [taylor]: Taking taylor expansion of (/ 1 z) in x
19.348 * [taylor]: Taking taylor expansion of z in x
19.348 * [taylor]: Taking taylor expansion of (/ 1 y) in x
19.348 * [taylor]: Taking taylor expansion of y in x
19.348 * [taylor]: Taking taylor expansion of x in x
19.348 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x
19.348 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
19.348 * [taylor]: Taking taylor expansion of (/ 1 z) in x
19.348 * [taylor]: Taking taylor expansion of z in x
19.348 * [taylor]: Taking taylor expansion of (/ 1 y) in x
19.348 * [taylor]: Taking taylor expansion of y in x
19.348 * [taylor]: Taking taylor expansion of x in x
19.348 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
19.348 * [taylor]: Taking taylor expansion of (/ 1 z) in y
19.348 * [taylor]: Taking taylor expansion of z in y
19.348 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.348 * [taylor]: Taking taylor expansion of y in y
19.349 * [taylor]: Taking taylor expansion of -1 in z
19.350 * [taylor]: Taking taylor expansion of 0 in y
19.351 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.351 * [taylor]: Taking taylor expansion of z in z
19.353 * [taylor]: Taking taylor expansion of 0 in y
19.353 * [taylor]: Taking taylor expansion of 0 in z
19.354 * [taylor]: Taking taylor expansion of 0 in z
19.356 * [taylor]: Taking taylor expansion of 0 in y
19.357 * [taylor]: Taking taylor expansion of 0 in z
19.357 * [taylor]: Taking taylor expansion of 0 in z
19.358 * [taylor]: Taking taylor expansion of 0 in z
19.359 * * * [progress]: simplifying candidates
19.360 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (exp (* y t)) (exp (* (- z) t)))
  (log (+ (* y t) (* (- z) t)))
  (exp (+ (* y t) (* (- z) t)))
  (* (cbrt (+ (* y t) (* (- z) t))) (cbrt (+ (* y t) (* (- z) t))))
  (cbrt (+ (* y t) (* (- z) t)))
  (* (* (+ (* y t) (* (- z) t)) (+ (* y t) (* (- z) t))) (+ (* y t) (* (- z) t)))
  (sqrt (+ (* y t) (* (- z) t)))
  (sqrt (+ (* y t) (* (- z) t)))
  (+ (pow (* y t) 3) (pow (* (- z) t) 3))
  (+ (* (* y t) (* y t)) (- (* (* (- z) t) (* (- z) t)) (* (* y t) (* (- z) t))))
  (- (* (* y t) (* y t)) (* (* (- z) t) (* (- z) t)))
  (- (* y t) (* (- z) t))
  (+ y (- z))
  (* (* (exp x) (* (exp (* y t)) (exp (* (- z) t)))) (exp (* (- x) (- y z))))
  (* (* (exp x) (exp (+ (* y t) (* (- z) t)))) (exp (* (- x) (- y z))))
  (* (exp (+ x (+ (* y t) (* (- z) t)))) (exp (* (- x) (- y z))))
  (log (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))
  (exp (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))
  (* (cbrt (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z)))) (cbrt (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z)))))
  (cbrt (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))
  (* (* (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))) (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z)))) (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))
  (sqrt (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))
  (sqrt (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))
  (+ (* (+ (pow x 3) (pow (+ (* y t) (* (- z) t)) 3)) (+ (* y y) (+ (* z z) (* y z)))) (* (+ (* x x) (- (* (+ (* y t) (* (- z) t)) (+ (* y t) (* (- z) t))) (* x (+ (* y t) (* (- z) t))))) (* (- x) (- (pow y 3) (pow z 3)))))
  (* (+ (* x x) (- (* (+ (* y t) (* (- z) t)) (+ (* y t) (* (- z) t))) (* x (+ (* y t) (* (- z) t))))) (+ (* y y) (+ (* z z) (* y z))))
  (+ (* (+ (pow x 3) (pow (+ (* y t) (* (- z) t)) 3)) (+ y z)) (* (+ (* x x) (- (* (+ (* y t) (* (- z) t)) (+ (* y t) (* (- z) t))) (* x (+ (* y t) (* (- z) t))))) (* (- x) (- (* y y) (* z z)))))
  (* (+ (* x x) (- (* (+ (* y t) (* (- z) t)) (+ (* y t) (* (- z) t))) (* x (+ (* y t) (* (- z) t))))) (+ y z))
  (+ (* (- (* x x) (* (+ (* y t) (* (- z) t)) (+ (* y t) (* (- z) t)))) (+ (* y y) (+ (* z z) (* y z)))) (* (- x (+ (* y t) (* (- z) t))) (* (- x) (- (pow y 3) (pow z 3)))))
  (* (- x (+ (* y t) (* (- z) t))) (+ (* y y) (+ (* z z) (* y z))))
  (+ (* (- (* x x) (* (+ (* y t) (* (- z) t)) (+ (* y t) (* (- z) t)))) (+ y z)) (* (- x (+ (* y t) (* (- z) t))) (* (- x) (- (* y y) (* z z)))))
  (* (- x (+ (* y t) (* (- z) t))) (+ y z))
  (+ (pow (+ x (+ (* y t) (* (- z) t))) 3) (pow (* (- x) (- y z)) 3))
  (+ (* (+ x (+ (* y t) (* (- z) t))) (+ x (+ (* y t) (* (- z) t)))) (- (* (* (- x) (- y z)) (* (- x) (- y z))) (* (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z)))))
  (- (* (+ x (+ (* y t) (* (- z) t))) (+ x (+ (* y t) (* (- z) t)))) (* (* (- x) (- y z)) (* (- x) (- y z))))
  (- (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z)))
  (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) y))
  (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) y))
  (+ (+ x (+ (* y t) (* (- z) t))) (* y (- x)))
  (+ (+ x (+ (* y t) (* (- z) t))) (* y (- x)))
  (+ (+ (* y t) (* (- z) t)) (* (- x) (- y z)))
  (- (* z t) (* (- x) (- y z)))
  (- (* z t) (* (- x) (- y z)))
  (* (- x) (- y z))
  (+ (log (- x)) (log (- y z)))
  (log (* (- x) (- y z)))
  (exp (* (- x) (- y z)))
  (* (* (* (- x) (- x)) (- x)) (* (* (- y z) (- y z)) (- y z)))
  (* (cbrt (* (- x) (- y z))) (cbrt (* (- x) (- y z))))
  (cbrt (* (- x) (- y z)))
  (* (* (* (- x) (- y z)) (* (- x) (- y z))) (* (- x) (- y z)))
  (sqrt (* (- x) (- y z)))
  (sqrt (* (- x) (- y z)))
  (* (sqrt (- x)) (sqrt (- y z)))
  (* (sqrt (- x)) (sqrt (- y z)))
  (* x (- y z))
  (* (- x) y)
  (* (- x) (- z))
  (* (- x) y)
  (* (- x) (- z))
  (* y (- x))
  (* (- z) (- x))
  (* y (- x))
  (* (- z) (- x))
  (* (- x) (* (cbrt (- y z)) (cbrt (- y z))))
  (* (- x) (sqrt (- y z)))
  (* (- x) 1)
  (* (- x) (+ (sqrt y) (sqrt z)))
  (* (- x) 1)
  (* (cbrt (- x)) (- y z))
  (* (sqrt (- x)) (- y z))
  (* (- x) (- y z))
  (* x (- y z))
  (* (cbrt x) (- y z))
  (* (sqrt x) (- y z))
  (* x (- y z))
  (* (- (cbrt x)) (- y z))
  (* (- (sqrt x)) (- y z))
  (* (- x) (- y z))
  (* (- x) (- (pow y 3) (pow z 3)))
  (* (- x) (- (* y y) (* z z)))
  (- (* t y) (* t z))
  (- (* t y) (* t z))
  (- (* t y) (* t z))
  (- (+ (* t y) x) (* x y))
  (- (+ (* x z) (* t y)) (* t z))
  (- (+ (* x z) (* t y)) (* t z))
  (- (* x z) (* x y))
  (- (* x z) (* x y))
  (- (* x z) (* x y))
19.364 * * [simplify]: iteration  0 :  154  enodes  (cost  1329 )
19.398 * * [simplify]: iteration  1 :  495  enodes  (cost  1047 )
19.577 * * [simplify]: iteration  2 :  2054  enodes  (cost  988 )
20.122 * * [simplify]: iteration  done :  5000  enodes  (cost  981 )
20.122 * [simplify]: Simplified to:
   (exp (* t (- y z)))
  (log (* t (- y z)))
  (exp (* t (- y z)))
  (* (cbrt (* t (- y z))) (cbrt (* t (- y z))))
  (cbrt (* t (- y z)))
  (pow (* t (- y z)) 3)
  (sqrt (* t (- y z)))
  (sqrt (* t (- y z)))
  (* (pow t 3) (- (pow y 3) (pow z 3)))
  (- (* (* y t) (* y t)) (* (* z t) (* t (- (- z) y))))
  (* (* t t) (- (* y y) (* z z)))
  (* t (- y (- z)))
  (- y z)
  (exp (- (+ x (* t (- y z))) (* x (- y z))))
  (exp (- (+ x (* t (- y z))) (* x (- y z))))
  (exp (- (+ x (* t (- y z))) (* x (- y z))))
  (log (- (+ x (* t (- y z))) (* x (- y z))))
  (exp (- (+ x (* t (- y z))) (* x (- y z))))
  (* (cbrt (- (+ x (* t (- y z))) (* x (- y z)))) (cbrt (- (+ x (* t (- y z))) (* x (- y z)))))
  (cbrt (- (+ x (* t (- y z))) (* x (- y z))))
  (pow (- (+ x (* t (- y z))) (* x (- y z))) 3)
  (sqrt (- (+ x (* t (- y z))) (* x (- y z))))
  (sqrt (- (+ x (* t (- y z))) (* x (- y z))))
  (- (* (+ (* y y) (* z (+ y z))) (+ (pow (* t (- y z)) 3) (pow x 3))) (* (+ (* x x) (* (* t (- y z)) (- (* t (- y z)) x))) (* x (- (pow y 3) (pow z 3)))))
  (* (+ (* x x) (* (* t (- y z)) (- (* t (- y z)) x))) (+ (* y y) (* z (+ y z))))
  (- (* (+ (pow (* t (- y z)) 3) (pow x 3)) (+ y z)) (* (* x (- (* y y) (* z z))) (+ (* x x) (* (* t (- y z)) (- (* t (- y z)) x)))))
  (* (+ y z) (+ (* x x) (* (* t (- y z)) (- (* t (- y z)) x))))
  (- (* (- (* x x) (* (* t (- y z)) (* t (- y z)))) (+ (* y y) (* z (+ y z)))) (* (- x (* t (- y z))) (* x (- (pow y 3) (pow z 3)))))
  (* (+ (* y y) (* z (+ y z))) (- x (* t (- y z))))
  (- (* (- (* x x) (* (* t (- y z)) (* t (- y z)))) (+ y z)) (* (- x (* t (- y z))) (* x (- (* y y) (* z z)))))
  (* (- x (* t (- y z))) (+ y z))
  (- (pow (+ x (* t (- y z))) 3) (pow (* x (- y z)) 3))
  (- (* (+ x (* t (- y z))) (+ x (* t (- y z)))) (* (* x (- y z)) (- (* (- x) (- y z)) (+ x (* t (- y z))))))
  (- (* (+ x (* t (- y z))) (+ x (* t (- y z)))) (* (* x x) (* (- y z) (- y z))))
  (+ (* x (- y z)) (+ x (* t (- y z))))
  (+ (- (* t (- y z)) (* x y)) x)
  (+ (- (* t (- y z)) (* x y)) x)
  (+ (- (* t (- y z)) (* x y)) x)
  (+ (- (* t (- y z)) (* x y)) x)
  (- (* t (- y z)) (* x (- y z)))
  (+ (* z t) (* x (- y z)))
  (+ (* z t) (* x (- y z)))
  (* (- x) (- y z))
  (log (* (- x) (- y z)))
  (log (* (- x) (- y z)))
  (exp (* (- x) (- y z)))
  (pow (* (- x) (- y z)) 3)
  (* (cbrt (* (- x) (- y z))) (cbrt (* (- x) (- y z))))
  (cbrt (* (- x) (- y z)))
  (pow (* (- x) (- y z)) 3)
  (sqrt (* (- x) (- y z)))
  (sqrt (* (- x) (- y z)))
  (* (sqrt (- x)) (sqrt (- y z)))
  (* (sqrt (- x)) (sqrt (- y z)))
  (* x (- y z))
  (* y (- x))
  (* (- z) (- x))
  (* y (- x))
  (* (- z) (- x))
  (* y (- x))
  (* (- z) (- x))
  (* y (- x))
  (* (- z) (- x))
  (* (- x) (* (cbrt (- y z)) (cbrt (- y z))))
  (* (- x) (sqrt (- y z)))
  (- x)
  (* (- x) (+ (sqrt y) (sqrt z)))
  (- x)
  (* (cbrt (- x)) (- y z))
  (* (sqrt (- x)) (- y z))
  (* (- x) (- y z))
  (* x (- y z))
  (* (cbrt x) (- y z))
  (* (sqrt x) (- y z))
  (* x (- y z))
  (* (- (cbrt x)) (- y z))
  (* (- (sqrt x)) (- y z))
  (* (- x) (- y z))
  (* (- x) (- (pow y 3) (pow z 3)))
  (* (- x) (- (* y y) (* z z)))
  (* t (- y z))
  (* t (- y z))
  (* t (- y z))
  (- (+ (* t y) x) (* x y))
  (+ (* x z) (* t (- y z)))
  (+ (* x z) (* t (- y z)))
  (* x (- z y))
  (* x (- z y))
  (* x (- z y))
20.123 * * * [progress]: adding candidates to table
20.304 * * [progress]: iteration 4 / 4
20.304 * * * [progress]: picking best candidate
20.309 * * * * [pick]: Picked  #<alt (λ (x y z t) (* x (- (+ z 1) y)))>
20.309 * * * [progress]: localizing error
20.314 * * * [progress]: generating rewritten candidates
20.314 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
20.355 * * * [progress]: generating series expansions
20.355 * * * * [progress]: [ 1 / 1 ] generating series at (2)
20.355 * [approximate]: Taking taylor expansion of (* (- (+ z 1) y) x) in (x z y) around 0
20.355 * [taylor]: Taking taylor expansion of (* (- (+ z 1) y) x) in y
20.355 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in y
20.355 * [taylor]: Taking taylor expansion of (+ z 1) in y
20.355 * [taylor]: Taking taylor expansion of z in y
20.355 * [taylor]: Taking taylor expansion of 1 in y
20.355 * [taylor]: Taking taylor expansion of y in y
20.355 * [taylor]: Taking taylor expansion of x in y
20.355 * [taylor]: Taking taylor expansion of (* (- (+ z 1) y) x) in z
20.355 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in z
20.355 * [taylor]: Taking taylor expansion of (+ z 1) in z
20.355 * [taylor]: Taking taylor expansion of z in z
20.355 * [taylor]: Taking taylor expansion of 1 in z
20.355 * [taylor]: Taking taylor expansion of y in z
20.355 * [taylor]: Taking taylor expansion of x in z
20.355 * [taylor]: Taking taylor expansion of (* (- (+ z 1) y) x) in x
20.355 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in x
20.355 * [taylor]: Taking taylor expansion of (+ z 1) in x
20.355 * [taylor]: Taking taylor expansion of z in x
20.355 * [taylor]: Taking taylor expansion of 1 in x
20.355 * [taylor]: Taking taylor expansion of y in x
20.355 * [taylor]: Taking taylor expansion of x in x
20.355 * [taylor]: Taking taylor expansion of (* (- (+ z 1) y) x) in x
20.355 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in x
20.355 * [taylor]: Taking taylor expansion of (+ z 1) in x
20.355 * [taylor]: Taking taylor expansion of z in x
20.355 * [taylor]: Taking taylor expansion of 1 in x
20.355 * [taylor]: Taking taylor expansion of y in x
20.355 * [taylor]: Taking taylor expansion of x in x
20.356 * [taylor]: Taking taylor expansion of 0 in z
20.356 * [taylor]: Taking taylor expansion of 0 in y
20.357 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in z
20.357 * [taylor]: Taking taylor expansion of (+ z 1) in z
20.357 * [taylor]: Taking taylor expansion of z in z
20.357 * [taylor]: Taking taylor expansion of 1 in z
20.357 * [taylor]: Taking taylor expansion of y in z
20.357 * [taylor]: Taking taylor expansion of (- 1 y) in y
20.357 * [taylor]: Taking taylor expansion of 1 in y
20.357 * [taylor]: Taking taylor expansion of y in y
20.358 * [taylor]: Taking taylor expansion of 0 in y
20.359 * [taylor]: Taking taylor expansion of 0 in z
20.359 * [taylor]: Taking taylor expansion of 0 in y
20.360 * [taylor]: Taking taylor expansion of 1 in y
20.360 * [taylor]: Taking taylor expansion of 0 in y
20.361 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 z) 1) (/ 1 y)) x) in (x z y) around 0
20.361 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 z) 1) (/ 1 y)) x) in y
20.361 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in y
20.361 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y
20.361 * [taylor]: Taking taylor expansion of (/ 1 z) in y
20.361 * [taylor]: Taking taylor expansion of z in y
20.361 * [taylor]: Taking taylor expansion of 1 in y
20.361 * [taylor]: Taking taylor expansion of (/ 1 y) in y
20.361 * [taylor]: Taking taylor expansion of y in y
20.361 * [taylor]: Taking taylor expansion of x in y
20.362 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 z) 1) (/ 1 y)) x) in z
20.362 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in z
20.362 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
20.362 * [taylor]: Taking taylor expansion of (/ 1 z) in z
20.362 * [taylor]: Taking taylor expansion of z in z
20.362 * [taylor]: Taking taylor expansion of 1 in z
20.362 * [taylor]: Taking taylor expansion of (/ 1 y) in z
20.362 * [taylor]: Taking taylor expansion of y in z
20.362 * [taylor]: Taking taylor expansion of x in z
20.363 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 z) 1) (/ 1 y)) x) in x
20.363 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in x
20.363 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in x
20.363 * [taylor]: Taking taylor expansion of (/ 1 z) in x
20.363 * [taylor]: Taking taylor expansion of z in x
20.363 * [taylor]: Taking taylor expansion of 1 in x
20.363 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.363 * [taylor]: Taking taylor expansion of y in x
20.363 * [taylor]: Taking taylor expansion of x in x
20.363 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 z) 1) (/ 1 y)) x) in x
20.363 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in x
20.363 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in x
20.363 * [taylor]: Taking taylor expansion of (/ 1 z) in x
20.363 * [taylor]: Taking taylor expansion of z in x
20.363 * [taylor]: Taking taylor expansion of 1 in x
20.363 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.363 * [taylor]: Taking taylor expansion of y in x
20.363 * [taylor]: Taking taylor expansion of x in x
20.364 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in z
20.364 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
20.364 * [taylor]: Taking taylor expansion of (/ 1 z) in z
20.364 * [taylor]: Taking taylor expansion of z in z
20.364 * [taylor]: Taking taylor expansion of 1 in z
20.364 * [taylor]: Taking taylor expansion of (/ 1 y) in z
20.364 * [taylor]: Taking taylor expansion of y in z
20.365 * [taylor]: Taking taylor expansion of 1 in y
20.366 * [taylor]: Taking taylor expansion of 0 in z
20.367 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
20.367 * [taylor]: Taking taylor expansion of 1 in y
20.367 * [taylor]: Taking taylor expansion of (/ 1 y) in y
20.367 * [taylor]: Taking taylor expansion of y in y
20.369 * [taylor]: Taking taylor expansion of 0 in z
20.369 * [taylor]: Taking taylor expansion of 0 in y
20.371 * [taylor]: Taking taylor expansion of 0 in y
20.372 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 y) 1) (/ 1 z)) x)) in (x z y) around 0
20.372 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 y) 1) (/ 1 z)) x)) in y
20.372 * [taylor]: Taking taylor expansion of -1 in y
20.372 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) 1) (/ 1 z)) x) in y
20.372 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1) (/ 1 z)) in y
20.372 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
20.372 * [taylor]: Taking taylor expansion of (/ 1 y) in y
20.372 * [taylor]: Taking taylor expansion of y in y
20.372 * [taylor]: Taking taylor expansion of 1 in y
20.372 * [taylor]: Taking taylor expansion of (/ 1 z) in y
20.372 * [taylor]: Taking taylor expansion of z in y
20.373 * [taylor]: Taking taylor expansion of x in y
20.373 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 y) 1) (/ 1 z)) x)) in z
20.373 * [taylor]: Taking taylor expansion of -1 in z
20.373 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) 1) (/ 1 z)) x) in z
20.373 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1) (/ 1 z)) in z
20.373 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in z
20.373 * [taylor]: Taking taylor expansion of (/ 1 y) in z
20.373 * [taylor]: Taking taylor expansion of y in z
20.373 * [taylor]: Taking taylor expansion of 1 in z
20.373 * [taylor]: Taking taylor expansion of (/ 1 z) in z
20.373 * [taylor]: Taking taylor expansion of z in z
20.374 * [taylor]: Taking taylor expansion of x in z
20.374 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 y) 1) (/ 1 z)) x)) in x
20.374 * [taylor]: Taking taylor expansion of -1 in x
20.374 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) 1) (/ 1 z)) x) in x
20.374 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1) (/ 1 z)) in x
20.374 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in x
20.374 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.374 * [taylor]: Taking taylor expansion of y in x
20.374 * [taylor]: Taking taylor expansion of 1 in x
20.374 * [taylor]: Taking taylor expansion of (/ 1 z) in x
20.374 * [taylor]: Taking taylor expansion of z in x
20.374 * [taylor]: Taking taylor expansion of x in x
20.374 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 y) 1) (/ 1 z)) x)) in x
20.375 * [taylor]: Taking taylor expansion of -1 in x
20.375 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) 1) (/ 1 z)) x) in x
20.375 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1) (/ 1 z)) in x
20.375 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in x
20.375 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.375 * [taylor]: Taking taylor expansion of y in x
20.375 * [taylor]: Taking taylor expansion of 1 in x
20.375 * [taylor]: Taking taylor expansion of (/ 1 z) in x
20.375 * [taylor]: Taking taylor expansion of z in x
20.375 * [taylor]: Taking taylor expansion of x in x
20.375 * [taylor]: Taking taylor expansion of (* -1 (- (+ (/ 1 y) 1) (/ 1 z))) in z
20.375 * [taylor]: Taking taylor expansion of -1 in z
20.375 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1) (/ 1 z)) in z
20.375 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in z
20.375 * [taylor]: Taking taylor expansion of (/ 1 y) in z
20.375 * [taylor]: Taking taylor expansion of y in z
20.375 * [taylor]: Taking taylor expansion of 1 in z
20.375 * [taylor]: Taking taylor expansion of (/ 1 z) in z
20.375 * [taylor]: Taking taylor expansion of z in z
20.376 * [taylor]: Taking taylor expansion of 1 in y
20.378 * [taylor]: Taking taylor expansion of 0 in z
20.379 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1)) in y
20.379 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
20.379 * [taylor]: Taking taylor expansion of (/ 1 y) in y
20.379 * [taylor]: Taking taylor expansion of y in y
20.380 * [taylor]: Taking taylor expansion of 1 in y
20.382 * [taylor]: Taking taylor expansion of 0 in z
20.382 * [taylor]: Taking taylor expansion of 0 in y
20.384 * [taylor]: Taking taylor expansion of 0 in y
20.385 * * * [progress]: simplifying candidates
20.386 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (- (+ z 1) y))
  (+ (log x) (log (- (+ z 1) y)))
  (log (* x (- (+ z 1) y)))
  (exp (* x (- (+ z 1) y)))
  (* (* (* x x) x) (* (* (- (+ z 1) y) (- (+ z 1) y)) (- (+ z 1) y)))
  (* (cbrt (* x (- (+ z 1) y))) (cbrt (* x (- (+ z 1) y))))
  (cbrt (* x (- (+ z 1) y)))
  (* (* (* x (- (+ z 1) y)) (* x (- (+ z 1) y))) (* x (- (+ z 1) y)))
  (sqrt (* x (- (+ z 1) y)))
  (sqrt (* x (- (+ z 1) y)))
  (* (sqrt x) (sqrt (- (+ z 1) y)))
  (* (sqrt x) (sqrt (- (+ z 1) y)))
  (* x (+ z 1))
  (* x (- y))
  (* x z)
  (* x (- 1 y))
  (* x (+ z 1))
  (* x (- y))
  (* (+ z 1) x)
  (* (- y) x)
  (* z x)
  (* (- 1 y) x)
  (* (+ z 1) x)
  (* (- y) x)
  (* x (* (cbrt (- (+ z 1) y)) (cbrt (- (+ z 1) y))))
  (* x (sqrt (- (+ z 1) y)))
  (* x 1)
  (* x (+ (sqrt (+ z 1)) (sqrt y)))
  (* x 1)
  (* x 1)
  (* (cbrt x) (- (+ z 1) y))
  (* (sqrt x) (- (+ z 1) y))
  (* x (- (+ z 1) y))
  (* x (- (pow (+ z 1) 3) (pow y 3)))
  (* x (- (* (+ z 1) (+ z 1)) (* y y)))
  (- (+ (* x z) x) (* x y))
  (- (+ (* x z) x) (* x y))
  (- (+ (* x z) x) (* x y))
20.388 * * [simplify]: iteration  0 :  59  enodes  (cost  304 )
20.402 * * [simplify]: iteration  1 :  132  enodes  (cost  297 )
20.428 * * [simplify]: iteration  2 :  367  enodes  (cost  263 )
20.577 * * [simplify]: iteration  3 :  1554  enodes  (cost  263 )
21.482 * * [simplify]: iteration  done :  5001  enodes  (cost  263 )
21.482 * [simplify]: Simplified to:
   (+ x (* x (- z y)))
  (log (* x (- (+ z 1) y)))
  (log (* x (- (+ z 1) y)))
  (exp (* x (- (+ z 1) y)))
  (pow (* x (- (+ z 1) y)) 3)
  (* (cbrt (* x (- (+ z 1) y))) (cbrt (* x (- (+ z 1) y))))
  (cbrt (* x (- (+ z 1) y)))
  (pow (* x (- (+ z 1) y)) 3)
  (sqrt (* x (- (+ z 1) y)))
  (sqrt (* x (- (+ z 1) y)))
  (* (sqrt x) (sqrt (- (+ z 1) y)))
  (* (sqrt x) (sqrt (- (+ z 1) y)))
  (* (+ z 1) x)
  (* x (- y))
  (* z x)
  (- x (* x y))
  (* (+ z 1) x)
  (* x (- y))
  (* (+ z 1) x)
  (* x (- y))
  (* z x)
  (- x (* x y))
  (* (+ z 1) x)
  (* x (- y))
  (* x (* (cbrt (- (+ z 1) y)) (cbrt (- (+ z 1) y))))
  (* x (sqrt (- (+ z 1) y)))
  x
  (* x (+ (sqrt (+ z 1)) (sqrt y)))
  x
  x
  (* (cbrt x) (- (+ z 1) y))
  (* (sqrt x) (- (+ z 1) y))
  (+ x (* x (- z y)))
  (* x (- (pow (+ z 1) 3) (pow y 3)))
  (* x (- (* (+ z 1) (+ z 1)) (* y y)))
  (+ x (* x (- z y)))
  (+ x (* x (- z y)))
  (+ x (* x (- z y)))
21.483 * * * [progress]: adding candidates to table
21.534 * [progress]: [Phase 3 of 3] Extracting.
21.534 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))))> #<alt (λ (x y z t) (* x (- (+ z 1) y)))> #<alt (λ (x y z t) (+ (+ x (* (sqrt (* t (- y z))) (sqrt (* t (- y z))))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>)
21.535 * * * [regime-changes]: Trying 6 branch expressions: ((- y z) (+ x (* (- y z) (- t x))) t z y x)
21.535 * * * * [regimes]: Trying to branch on (- y z) from (#<alt (λ (x y z t) (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))))> #<alt (λ (x y z t) (* x (- (+ z 1) y)))> #<alt (λ (x y z t) (+ (+ x (* (sqrt (* t (- y z))) (sqrt (* t (- y z))))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>)
21.556 * * * * [regimes]: Trying to branch on (- y z) from (#<alt (λ (x y z t) (+ x (* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))))> #<alt (λ (x y z t) (+ (+ x (* (sqrt (* t (- y z))) (sqrt (* t (- y z))))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>)
21.574 * * * * [regimes]: Trying to branch on (+ x (* (- y z) (- t x))) from (#<alt (λ (x y z t) (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))))> #<alt (λ (x y z t) (* x (- (+ z 1) y)))> #<alt (λ (x y z t) (+ (+ x (* (sqrt (* t (- y z))) (sqrt (* t (- y z))))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>)
21.595 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))))> #<alt (λ (x y z t) (* x (- (+ z 1) y)))> #<alt (λ (x y z t) (+ (+ x (* (sqrt (* t (- y z))) (sqrt (* t (- y z))))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>)
21.617 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))))> #<alt (λ (x y z t) (* x (- (+ z 1) y)))> #<alt (λ (x y z t) (+ (+ x (* (sqrt (* t (- y z))) (sqrt (* t (- y z))))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>)
21.639 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))))> #<alt (λ (x y z t) (* x (- (+ z 1) y)))> #<alt (λ (x y z t) (+ (+ x (* (sqrt (* t (- y z))) (sqrt (* t (- y z))))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>)
21.660 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))))> #<alt (λ (x y z t) (* x (- (+ z 1) y)))> #<alt (λ (x y z t) (+ (+ x (* (sqrt (* t (- y z))) (sqrt (* t (- y z))))) (* (- x) (- y z))))> #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>)
21.682 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
21.682 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z)))
21.683 * * [simplify]: iteration  0 :  13  enodes  (cost  17 )
21.683 * * [simplify]: iteration  1 :  23  enodes  (cost  17 )
21.684 * * [simplify]: iteration  2 :  29  enodes  (cost  17 )
21.685 * * [simplify]: iteration  3 :  31  enodes  (cost  17 )
21.686 * * [simplify]: iteration  done :  31  enodes  (cost  17 )
21.686 * [simplify]: Simplified to:
   (+ (+ x (+ (* y t) (* (- z) t))) (* (- x) (- y z)))
22.460 * [regime-testing]: Baseline error score: 0.02890721573827927
22.460 * [regime-testing]: Oracle error score: 0.009489547517890802
22.461 * [regime-testing]: End program error score: 0.02890721573827927
22.484 * [regime-testing]: Target error score: 0.02928226261913938