80.458 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.024 * * * [progress]: [2/2] Setting up program.
0.026 * [progress]: [Phase 2 of 3] Improving.
0.027 * [simplify]: Simplifying:
  (* x (/ (* (/ y z) t) t))
0.027 * * [simplify]: Extracting # 0 : cost  0
0.027 * * [simplify]: Extracting # 1 : cost  0
0.027 * * [simplify]: Extracting # 2 : cost  0
0.027 * * [simplify]: Extracting # 3 : cost  0
0.027 * * [simplify]: Extracting # 4 : cost  0
0.027 * * [simplify]: Extracting # 5 : cost  0
0.027 * * [simplify]: Extracting # 6 : cost  0
0.027 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.029 * * [simplify]: Extracting # 0 : cost  0
0.029 * * [simplify]: Extracting # 1 : cost  0
0.030 * * [simplify]: Extracting # 2 : cost  0
0.030 * * [simplify]: iteration  1 :  16  enodes  (cost  9 )
0.035 * * [simplify]: Extracting # 0 : cost  0
0.036 * * [simplify]: Extracting # 1 : cost  0
0.036 * * [simplify]: Extracting # 2 : cost  0
0.036 * * [simplify]: iteration  2 :  42  enodes  (cost  7 )
0.056 * * [simplify]: Extracting # 0 : cost  0
0.057 * * [simplify]: Extracting # 1 : cost  0
0.057 * * [simplify]: Extracting # 2 : cost  0
0.057 * * [simplify]: iteration  3 :  99  enodes  (cost  5 )
0.123 * * [simplify]: Extracting # 0 : cost  0
0.124 * * [simplify]: Extracting # 1 : cost  0
0.124 * * [simplify]: Extracting # 2 : cost  0
0.124 * * [simplify]: iteration  4 :  386  enodes  (cost  5 )
1.667 * * [simplify]: Extracting # 0 : cost  0
1.669 * * [simplify]: Extracting # 1 : cost  0
1.670 * * [simplify]: Extracting # 2 : cost  0
1.672 * * [simplify]: iteration  5 :  1705  enodes  (cost  5 )
5.777 * * [simplify]: Extracting # 0 : cost  0
5.790 * * [simplify]: Extracting # 1 : cost  0
5.797 * * [simplify]: Extracting # 2 : cost  0
5.804 * * [simplify]: Extracting # 3 : cost  0
5.812 * * [simplify]: iteration done:  5001  enodes  (cost  5 )
5.812 * [simplify]: Simplified to:
  (* (/ y z) x)
5.817 * * [progress]: iteration 1 / 4
5.817 * * * [progress]: picking best candidate
5.822 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (/ y z) x))>
5.823 * * * [progress]: localizing error
5.832 * * * [progress]: generating rewritten candidates
5.832 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.864 * * * [progress]: generating series expansions
5.864 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.864 * [backup-simplify]: Simplify (* (/ y z) x) into (/ (* x y) z)
5.864 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (y z x) around 0
5.864 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
5.864 * [taylor]: Taking taylor expansion of (* x y) in x
5.864 * [taylor]: Taking taylor expansion of x in x
5.864 * [backup-simplify]: Simplify 0 into 0
5.864 * [backup-simplify]: Simplify 1 into 1
5.864 * [taylor]: Taking taylor expansion of y in x
5.864 * [backup-simplify]: Simplify y into y
5.864 * [taylor]: Taking taylor expansion of z in x
5.864 * [backup-simplify]: Simplify z into z
5.864 * [backup-simplify]: Simplify (* 0 y) into 0
5.865 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.865 * [backup-simplify]: Simplify (/ y z) into (/ y z)
5.865 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
5.865 * [taylor]: Taking taylor expansion of (* x y) in z
5.865 * [taylor]: Taking taylor expansion of x in z
5.865 * [backup-simplify]: Simplify x into x
5.865 * [taylor]: Taking taylor expansion of y in z
5.865 * [backup-simplify]: Simplify y into y
5.865 * [taylor]: Taking taylor expansion of z in z
5.865 * [backup-simplify]: Simplify 0 into 0
5.865 * [backup-simplify]: Simplify 1 into 1
5.866 * [backup-simplify]: Simplify (* x y) into (* x y)
5.866 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
5.866 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
5.866 * [taylor]: Taking taylor expansion of (* x y) in y
5.866 * [taylor]: Taking taylor expansion of x in y
5.866 * [backup-simplify]: Simplify x into x
5.866 * [taylor]: Taking taylor expansion of y in y
5.866 * [backup-simplify]: Simplify 0 into 0
5.866 * [backup-simplify]: Simplify 1 into 1
5.866 * [taylor]: Taking taylor expansion of z in y
5.866 * [backup-simplify]: Simplify z into z
5.866 * [backup-simplify]: Simplify (* x 0) into 0
5.866 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.867 * [backup-simplify]: Simplify (/ x z) into (/ x z)
5.867 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
5.867 * [taylor]: Taking taylor expansion of (* x y) in y
5.867 * [taylor]: Taking taylor expansion of x in y
5.867 * [backup-simplify]: Simplify x into x
5.867 * [taylor]: Taking taylor expansion of y in y
5.867 * [backup-simplify]: Simplify 0 into 0
5.867 * [backup-simplify]: Simplify 1 into 1
5.867 * [taylor]: Taking taylor expansion of z in y
5.867 * [backup-simplify]: Simplify z into z
5.867 * [backup-simplify]: Simplify (* x 0) into 0
5.868 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.868 * [backup-simplify]: Simplify (/ x z) into (/ x z)
5.868 * [taylor]: Taking taylor expansion of (/ x z) in z
5.868 * [taylor]: Taking taylor expansion of x in z
5.868 * [backup-simplify]: Simplify x into x
5.868 * [taylor]: Taking taylor expansion of z in z
5.868 * [backup-simplify]: Simplify 0 into 0
5.868 * [backup-simplify]: Simplify 1 into 1
5.868 * [backup-simplify]: Simplify (/ x 1) into x
5.868 * [taylor]: Taking taylor expansion of x in x
5.868 * [backup-simplify]: Simplify 0 into 0
5.868 * [backup-simplify]: Simplify 1 into 1
5.868 * [backup-simplify]: Simplify 1 into 1
5.869 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
5.869 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
5.869 * [taylor]: Taking taylor expansion of 0 in z
5.869 * [backup-simplify]: Simplify 0 into 0
5.870 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
5.870 * [taylor]: Taking taylor expansion of 0 in x
5.870 * [backup-simplify]: Simplify 0 into 0
5.870 * [backup-simplify]: Simplify 0 into 0
5.870 * [backup-simplify]: Simplify 0 into 0
5.871 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.872 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.872 * [taylor]: Taking taylor expansion of 0 in z
5.872 * [backup-simplify]: Simplify 0 into 0
5.872 * [taylor]: Taking taylor expansion of 0 in x
5.872 * [backup-simplify]: Simplify 0 into 0
5.872 * [backup-simplify]: Simplify 0 into 0
5.873 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.873 * [taylor]: Taking taylor expansion of 0 in x
5.873 * [backup-simplify]: Simplify 0 into 0
5.873 * [backup-simplify]: Simplify 0 into 0
5.873 * [backup-simplify]: Simplify 0 into 0
5.873 * [backup-simplify]: Simplify 0 into 0
5.874 * [backup-simplify]: Simplify (* 1 (* x (* (/ 1 z) y))) into (/ (* x y) z)
5.874 * [backup-simplify]: Simplify (* (/ (/ 1 y) (/ 1 z)) (/ 1 x)) into (/ z (* x y))
5.874 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (y z x) around 0
5.874 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.874 * [taylor]: Taking taylor expansion of z in x
5.874 * [backup-simplify]: Simplify z into z
5.874 * [taylor]: Taking taylor expansion of (* x y) in x
5.874 * [taylor]: Taking taylor expansion of x in x
5.874 * [backup-simplify]: Simplify 0 into 0
5.874 * [backup-simplify]: Simplify 1 into 1
5.874 * [taylor]: Taking taylor expansion of y in x
5.874 * [backup-simplify]: Simplify y into y
5.874 * [backup-simplify]: Simplify (* 0 y) into 0
5.875 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.875 * [backup-simplify]: Simplify (/ z y) into (/ z y)
5.875 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
5.875 * [taylor]: Taking taylor expansion of z in z
5.875 * [backup-simplify]: Simplify 0 into 0
5.875 * [backup-simplify]: Simplify 1 into 1
5.875 * [taylor]: Taking taylor expansion of (* x y) in z
5.875 * [taylor]: Taking taylor expansion of x in z
5.875 * [backup-simplify]: Simplify x into x
5.875 * [taylor]: Taking taylor expansion of y in z
5.875 * [backup-simplify]: Simplify y into y
5.875 * [backup-simplify]: Simplify (* x y) into (* x y)
5.875 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
5.875 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
5.875 * [taylor]: Taking taylor expansion of z in y
5.875 * [backup-simplify]: Simplify z into z
5.875 * [taylor]: Taking taylor expansion of (* x y) in y
5.875 * [taylor]: Taking taylor expansion of x in y
5.875 * [backup-simplify]: Simplify x into x
5.875 * [taylor]: Taking taylor expansion of y in y
5.875 * [backup-simplify]: Simplify 0 into 0
5.875 * [backup-simplify]: Simplify 1 into 1
5.875 * [backup-simplify]: Simplify (* x 0) into 0
5.885 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.886 * [backup-simplify]: Simplify (/ z x) into (/ z x)
5.886 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
5.886 * [taylor]: Taking taylor expansion of z in y
5.886 * [backup-simplify]: Simplify z into z
5.886 * [taylor]: Taking taylor expansion of (* x y) in y
5.886 * [taylor]: Taking taylor expansion of x in y
5.886 * [backup-simplify]: Simplify x into x
5.886 * [taylor]: Taking taylor expansion of y in y
5.886 * [backup-simplify]: Simplify 0 into 0
5.886 * [backup-simplify]: Simplify 1 into 1
5.886 * [backup-simplify]: Simplify (* x 0) into 0
5.887 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.887 * [backup-simplify]: Simplify (/ z x) into (/ z x)
5.887 * [taylor]: Taking taylor expansion of (/ z x) in z
5.887 * [taylor]: Taking taylor expansion of z in z
5.887 * [backup-simplify]: Simplify 0 into 0
5.887 * [backup-simplify]: Simplify 1 into 1
5.887 * [taylor]: Taking taylor expansion of x in z
5.887 * [backup-simplify]: Simplify x into x
5.887 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.887 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.887 * [taylor]: Taking taylor expansion of x in x
5.887 * [backup-simplify]: Simplify 0 into 0
5.887 * [backup-simplify]: Simplify 1 into 1
5.888 * [backup-simplify]: Simplify (/ 1 1) into 1
5.888 * [backup-simplify]: Simplify 1 into 1
5.889 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
5.889 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
5.889 * [taylor]: Taking taylor expansion of 0 in z
5.889 * [backup-simplify]: Simplify 0 into 0
5.889 * [taylor]: Taking taylor expansion of 0 in x
5.889 * [backup-simplify]: Simplify 0 into 0
5.889 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
5.889 * [taylor]: Taking taylor expansion of 0 in x
5.889 * [backup-simplify]: Simplify 0 into 0
5.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.890 * [backup-simplify]: Simplify 0 into 0
5.891 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.891 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.891 * [taylor]: Taking taylor expansion of 0 in z
5.891 * [backup-simplify]: Simplify 0 into 0
5.891 * [taylor]: Taking taylor expansion of 0 in x
5.891 * [backup-simplify]: Simplify 0 into 0
5.891 * [taylor]: Taking taylor expansion of 0 in x
5.891 * [backup-simplify]: Simplify 0 into 0
5.892 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.892 * [taylor]: Taking taylor expansion of 0 in x
5.892 * [backup-simplify]: Simplify 0 into 0
5.892 * [backup-simplify]: Simplify 0 into 0
5.892 * [backup-simplify]: Simplify 0 into 0
5.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.893 * [backup-simplify]: Simplify 0 into 0
5.894 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.894 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.894 * [taylor]: Taking taylor expansion of 0 in z
5.894 * [backup-simplify]: Simplify 0 into 0
5.894 * [taylor]: Taking taylor expansion of 0 in x
5.894 * [backup-simplify]: Simplify 0 into 0
5.894 * [taylor]: Taking taylor expansion of 0 in x
5.895 * [backup-simplify]: Simplify 0 into 0
5.895 * [taylor]: Taking taylor expansion of 0 in x
5.895 * [backup-simplify]: Simplify 0 into 0
5.895 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.895 * [taylor]: Taking taylor expansion of 0 in x
5.895 * [backup-simplify]: Simplify 0 into 0
5.895 * [backup-simplify]: Simplify 0 into 0
5.895 * [backup-simplify]: Simplify 0 into 0
5.895 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 z) (/ 1 (/ 1 y))))) into (/ (* x y) z)
5.896 * [backup-simplify]: Simplify (* (/ (/ 1 (- y)) (/ 1 (- z))) (/ 1 (- x))) into (* -1 (/ z (* x y)))
5.896 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (y z x) around 0
5.896 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
5.896 * [taylor]: Taking taylor expansion of -1 in x
5.896 * [backup-simplify]: Simplify -1 into -1
5.896 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.896 * [taylor]: Taking taylor expansion of z in x
5.896 * [backup-simplify]: Simplify z into z
5.896 * [taylor]: Taking taylor expansion of (* x y) in x
5.896 * [taylor]: Taking taylor expansion of x in x
5.896 * [backup-simplify]: Simplify 0 into 0
5.896 * [backup-simplify]: Simplify 1 into 1
5.896 * [taylor]: Taking taylor expansion of y in x
5.896 * [backup-simplify]: Simplify y into y
5.896 * [backup-simplify]: Simplify (* 0 y) into 0
5.897 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.897 * [backup-simplify]: Simplify (/ z y) into (/ z y)
5.897 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
5.897 * [taylor]: Taking taylor expansion of -1 in z
5.897 * [backup-simplify]: Simplify -1 into -1
5.897 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
5.897 * [taylor]: Taking taylor expansion of z in z
5.897 * [backup-simplify]: Simplify 0 into 0
5.897 * [backup-simplify]: Simplify 1 into 1
5.897 * [taylor]: Taking taylor expansion of (* x y) in z
5.897 * [taylor]: Taking taylor expansion of x in z
5.897 * [backup-simplify]: Simplify x into x
5.897 * [taylor]: Taking taylor expansion of y in z
5.897 * [backup-simplify]: Simplify y into y
5.897 * [backup-simplify]: Simplify (* x y) into (* x y)
5.897 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
5.897 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
5.897 * [taylor]: Taking taylor expansion of -1 in y
5.897 * [backup-simplify]: Simplify -1 into -1
5.897 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
5.897 * [taylor]: Taking taylor expansion of z in y
5.897 * [backup-simplify]: Simplify z into z
5.897 * [taylor]: Taking taylor expansion of (* x y) in y
5.897 * [taylor]: Taking taylor expansion of x in y
5.897 * [backup-simplify]: Simplify x into x
5.897 * [taylor]: Taking taylor expansion of y in y
5.897 * [backup-simplify]: Simplify 0 into 0
5.897 * [backup-simplify]: Simplify 1 into 1
5.898 * [backup-simplify]: Simplify (* x 0) into 0
5.898 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.898 * [backup-simplify]: Simplify (/ z x) into (/ z x)
5.898 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
5.898 * [taylor]: Taking taylor expansion of -1 in y
5.898 * [backup-simplify]: Simplify -1 into -1
5.898 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
5.898 * [taylor]: Taking taylor expansion of z in y
5.898 * [backup-simplify]: Simplify z into z
5.898 * [taylor]: Taking taylor expansion of (* x y) in y
5.898 * [taylor]: Taking taylor expansion of x in y
5.898 * [backup-simplify]: Simplify x into x
5.898 * [taylor]: Taking taylor expansion of y in y
5.898 * [backup-simplify]: Simplify 0 into 0
5.898 * [backup-simplify]: Simplify 1 into 1
5.898 * [backup-simplify]: Simplify (* x 0) into 0
5.899 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.899 * [backup-simplify]: Simplify (/ z x) into (/ z x)
5.899 * [backup-simplify]: Simplify (* -1 (/ z x)) into (* -1 (/ z x))
5.899 * [taylor]: Taking taylor expansion of (* -1 (/ z x)) in z
5.899 * [taylor]: Taking taylor expansion of -1 in z
5.899 * [backup-simplify]: Simplify -1 into -1
5.899 * [taylor]: Taking taylor expansion of (/ z x) in z
5.899 * [taylor]: Taking taylor expansion of z in z
5.899 * [backup-simplify]: Simplify 0 into 0
5.899 * [backup-simplify]: Simplify 1 into 1
5.899 * [taylor]: Taking taylor expansion of x in z
5.899 * [backup-simplify]: Simplify x into x
5.900 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.900 * [backup-simplify]: Simplify (* -1 (/ 1 x)) into (/ -1 x)
5.900 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.900 * [taylor]: Taking taylor expansion of -1 in x
5.900 * [backup-simplify]: Simplify -1 into -1
5.900 * [taylor]: Taking taylor expansion of x in x
5.900 * [backup-simplify]: Simplify 0 into 0
5.900 * [backup-simplify]: Simplify 1 into 1
5.900 * [backup-simplify]: Simplify (/ -1 1) into -1
5.900 * [backup-simplify]: Simplify -1 into -1
5.901 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
5.901 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
5.902 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z x))) into 0
5.902 * [taylor]: Taking taylor expansion of 0 in z
5.902 * [backup-simplify]: Simplify 0 into 0
5.902 * [taylor]: Taking taylor expansion of 0 in x
5.902 * [backup-simplify]: Simplify 0 into 0
5.902 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
5.903 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 x))) into 0
5.903 * [taylor]: Taking taylor expansion of 0 in x
5.903 * [backup-simplify]: Simplify 0 into 0
5.904 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.904 * [backup-simplify]: Simplify 0 into 0
5.905 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.905 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.906 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0
5.906 * [taylor]: Taking taylor expansion of 0 in z
5.906 * [backup-simplify]: Simplify 0 into 0
5.906 * [taylor]: Taking taylor expansion of 0 in x
5.906 * [backup-simplify]: Simplify 0 into 0
5.906 * [taylor]: Taking taylor expansion of 0 in x
5.906 * [backup-simplify]: Simplify 0 into 0
5.906 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.907 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
5.907 * [taylor]: Taking taylor expansion of 0 in x
5.907 * [backup-simplify]: Simplify 0 into 0
5.907 * [backup-simplify]: Simplify 0 into 0
5.907 * [backup-simplify]: Simplify 0 into 0
5.908 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.908 * [backup-simplify]: Simplify 0 into 0
5.909 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.910 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.911 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z x))))) into 0
5.911 * [taylor]: Taking taylor expansion of 0 in z
5.911 * [backup-simplify]: Simplify 0 into 0
5.911 * [taylor]: Taking taylor expansion of 0 in x
5.911 * [backup-simplify]: Simplify 0 into 0
5.911 * [taylor]: Taking taylor expansion of 0 in x
5.911 * [backup-simplify]: Simplify 0 into 0
5.911 * [taylor]: Taking taylor expansion of 0 in x
5.911 * [backup-simplify]: Simplify 0 into 0
5.911 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.913 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
5.913 * [taylor]: Taking taylor expansion of 0 in x
5.913 * [backup-simplify]: Simplify 0 into 0
5.913 * [backup-simplify]: Simplify 0 into 0
5.913 * [backup-simplify]: Simplify 0 into 0
5.913 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z)
5.913 * * * [progress]: simplifying candidates
5.914 * [simplify]: Simplifying:
  (* (/ y z) x)
  (+ (- (log y) (log z)) (log x))
  (+ (log (/ y z)) (log x))
  (log (* (/ y z) x))
  (exp (* (/ y z) x))
  (* (/ (* (* y y) y) (* (* z z) z)) (* (* x x) x))
  (* (* (* (/ y z) (/ y z)) (/ y z)) (* (* x x) x))
  (* (cbrt (* (/ y z) x)) (cbrt (* (/ y z) x)))
  (cbrt (* (/ y z) x))
  (* (* (* (/ y z) x) (* (/ y z) x)) (* (/ y z) x))
  (sqrt (* (/ y z) x))
  (sqrt (* (/ y z) x))
  (* (sqrt (/ y z)) (sqrt x))
  (* (sqrt (/ y z)) (sqrt x))
  (* (/ (sqrt y) (sqrt z)) (sqrt x))
  (* (/ (sqrt y) (sqrt z)) (sqrt x))
  (* (/ y z) (* (cbrt x) (cbrt x)))
  (* (/ y z) (sqrt x))
  (* (/ y z) 1)
  (* (cbrt (/ y z)) x)
  (* (sqrt (/ y z)) x)
  (* (/ (cbrt y) (cbrt z)) x)
  (* (/ (cbrt y) (sqrt z)) x)
  (* (/ (cbrt y) z) x)
  (* (/ (sqrt y) (cbrt z)) x)
  (* (/ (sqrt y) (sqrt z)) x)
  (* (/ (sqrt y) z) x)
  (* (/ y (cbrt z)) x)
  (* (/ y (sqrt z)) x)
  (* (/ y z) x)
  (* (/ y z) x)
  (* (/ 1 z) x)
  (* y x)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
5.915 * * [simplify]: Extracting # 0 : cost  0
5.916 * * [simplify]: Extracting # 1 : cost  0
5.916 * * [simplify]: Extracting # 2 : cost  0
5.916 * * [simplify]: Extracting # 3 : cost  0
5.916 * * [simplify]: Extracting # 4 : cost  0
5.916 * * [simplify]: Extracting # 5 : cost  0
5.916 * * [simplify]: Extracting # 6 : cost  0
5.917 * * [simplify]: iteration  0 :  68  enodes  (cost  261 )
5.945 * * [simplify]: Extracting # 0 : cost  0
5.945 * * [simplify]: Extracting # 1 : cost  0
5.946 * * [simplify]: Extracting # 2 : cost  0
5.946 * * [simplify]: iteration  1 :  153  enodes  (cost  256 )
6.031 * * [simplify]: Extracting # 0 : cost  0
6.031 * * [simplify]: Extracting # 1 : cost  0
6.032 * * [simplify]: Extracting # 2 : cost  0
6.032 * * [simplify]: Extracting # 3 : cost  0
6.032 * * [simplify]: Extracting # 4 : cost  0
6.033 * * [simplify]: Extracting # 5 : cost  0
6.033 * * [simplify]: Extracting # 6 : cost  0
6.033 * * [simplify]: iteration  2 :  423  enodes  (cost  224 )
6.416 * * [simplify]: Extracting # 0 : cost  0
6.419 * * [simplify]: Extracting # 1 : cost  0
6.421 * * [simplify]: Extracting # 2 : cost  0
6.424 * * [simplify]: Extracting # 3 : cost  0
6.426 * * [simplify]: Extracting # 4 : cost  0
6.428 * * [simplify]: iteration  3 :  1176  enodes  (cost  224 )
10.207 * * [simplify]: Extracting # 0 : cost  0
10.218 * * [simplify]: Extracting # 1 : cost  0
10.224 * * [simplify]: Extracting # 2 : cost  0
10.229 * * [simplify]: Extracting # 3 : cost  0
10.235 * * [simplify]: Extracting # 4 : cost  0
10.241 * * [simplify]: iteration  4 :  3630  enodes  (cost  224 )
13.155 * * [simplify]: Extracting # 0 : cost  0
13.171 * * [simplify]: Extracting # 1 : cost  0
13.180 * * [simplify]: Extracting # 2 : cost  0
13.188 * * [simplify]: iteration done:  5000  enodes  (cost  224 )
13.189 * [simplify]: Simplified to:
  (/ (* x y) z)
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (exp (* (/ y z) x))
  (pow (/ (* x y) z) 3)
  (pow (/ (* x y) z) 3)
  (* (cbrt (* (/ y z) x)) (cbrt (* (/ y z) x)))
  (cbrt (* (/ y z) x))
  (pow (/ (* x y) z) 3)
  (sqrt (* (/ y z) x))
  (sqrt (* (/ y z) x))
  (* (sqrt (/ y z)) (sqrt x))
  (* (sqrt (/ y z)) (sqrt x))
  (* (/ (sqrt y) (sqrt z)) (sqrt x))
  (* (/ (sqrt y) (sqrt z)) (sqrt x))
  (* (/ y z) (* (cbrt x) (cbrt x)))
  (* (/ y z) (sqrt x))
  (/ y z)
  (* (cbrt (/ y z)) x)
  (* (sqrt (/ y z)) x)
  (* (/ (cbrt y) (cbrt z)) x)
  (* (/ (cbrt y) (sqrt z)) x)
  (* (/ (cbrt y) z) x)
  (* (/ (sqrt y) (cbrt z)) x)
  (* (/ (sqrt y) (sqrt z)) x)
  (* (/ (sqrt y) z) x)
  (* (/ y (cbrt z)) x)
  (* (/ y (sqrt z)) x)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ x z)
  (* x y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
13.189 * * * [progress]: adding candidates to table
13.300 * * [progress]: iteration 2 / 4
13.300 * * * [progress]: picking best candidate
13.328 * * * * [pick]: Picked  #<alt (λ (x y z t) (* y (/ x z)))>
13.328 * * * [progress]: localizing error
13.333 * * * [progress]: generating rewritten candidates
13.333 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
13.352 * * * [progress]: generating series expansions
13.352 * * * * [progress]: [ 1 / 1 ] generating series at (2)
13.352 * [backup-simplify]: Simplify (* y (/ x z)) into (/ (* x y) z)
13.352 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (y x z) around 0
13.352 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
13.352 * [taylor]: Taking taylor expansion of (* x y) in z
13.352 * [taylor]: Taking taylor expansion of x in z
13.352 * [backup-simplify]: Simplify x into x
13.352 * [taylor]: Taking taylor expansion of y in z
13.352 * [backup-simplify]: Simplify y into y
13.352 * [taylor]: Taking taylor expansion of z in z
13.352 * [backup-simplify]: Simplify 0 into 0
13.352 * [backup-simplify]: Simplify 1 into 1
13.352 * [backup-simplify]: Simplify (* x y) into (* x y)
13.352 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
13.352 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
13.352 * [taylor]: Taking taylor expansion of (* x y) in x
13.352 * [taylor]: Taking taylor expansion of x in x
13.352 * [backup-simplify]: Simplify 0 into 0
13.352 * [backup-simplify]: Simplify 1 into 1
13.352 * [taylor]: Taking taylor expansion of y in x
13.352 * [backup-simplify]: Simplify y into y
13.352 * [taylor]: Taking taylor expansion of z in x
13.352 * [backup-simplify]: Simplify z into z
13.352 * [backup-simplify]: Simplify (* 0 y) into 0
13.353 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
13.353 * [backup-simplify]: Simplify (/ y z) into (/ y z)
13.353 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
13.353 * [taylor]: Taking taylor expansion of (* x y) in y
13.353 * [taylor]: Taking taylor expansion of x in y
13.353 * [backup-simplify]: Simplify x into x
13.353 * [taylor]: Taking taylor expansion of y in y
13.353 * [backup-simplify]: Simplify 0 into 0
13.353 * [backup-simplify]: Simplify 1 into 1
13.353 * [taylor]: Taking taylor expansion of z in y
13.353 * [backup-simplify]: Simplify z into z
13.353 * [backup-simplify]: Simplify (* x 0) into 0
13.354 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
13.354 * [backup-simplify]: Simplify (/ x z) into (/ x z)
13.354 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
13.354 * [taylor]: Taking taylor expansion of (* x y) in y
13.354 * [taylor]: Taking taylor expansion of x in y
13.354 * [backup-simplify]: Simplify x into x
13.354 * [taylor]: Taking taylor expansion of y in y
13.354 * [backup-simplify]: Simplify 0 into 0
13.354 * [backup-simplify]: Simplify 1 into 1
13.354 * [taylor]: Taking taylor expansion of z in y
13.354 * [backup-simplify]: Simplify z into z
13.354 * [backup-simplify]: Simplify (* x 0) into 0
13.354 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
13.354 * [backup-simplify]: Simplify (/ x z) into (/ x z)
13.354 * [taylor]: Taking taylor expansion of (/ x z) in x
13.354 * [taylor]: Taking taylor expansion of x in x
13.354 * [backup-simplify]: Simplify 0 into 0
13.354 * [backup-simplify]: Simplify 1 into 1
13.354 * [taylor]: Taking taylor expansion of z in x
13.354 * [backup-simplify]: Simplify z into z
13.354 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.354 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.354 * [taylor]: Taking taylor expansion of z in z
13.354 * [backup-simplify]: Simplify 0 into 0
13.354 * [backup-simplify]: Simplify 1 into 1
13.355 * [backup-simplify]: Simplify (/ 1 1) into 1
13.355 * [backup-simplify]: Simplify 1 into 1
13.355 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
13.355 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
13.355 * [taylor]: Taking taylor expansion of 0 in x
13.355 * [backup-simplify]: Simplify 0 into 0
13.355 * [taylor]: Taking taylor expansion of 0 in z
13.355 * [backup-simplify]: Simplify 0 into 0
13.355 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
13.356 * [taylor]: Taking taylor expansion of 0 in z
13.356 * [backup-simplify]: Simplify 0 into 0
13.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.356 * [backup-simplify]: Simplify 0 into 0
13.357 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
13.357 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.357 * [taylor]: Taking taylor expansion of 0 in x
13.357 * [backup-simplify]: Simplify 0 into 0
13.357 * [taylor]: Taking taylor expansion of 0 in z
13.357 * [backup-simplify]: Simplify 0 into 0
13.357 * [taylor]: Taking taylor expansion of 0 in z
13.357 * [backup-simplify]: Simplify 0 into 0
13.357 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.357 * [taylor]: Taking taylor expansion of 0 in z
13.357 * [backup-simplify]: Simplify 0 into 0
13.357 * [backup-simplify]: Simplify 0 into 0
13.357 * [backup-simplify]: Simplify 0 into 0
13.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.358 * [backup-simplify]: Simplify 0 into 0
13.358 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
13.358 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.358 * [taylor]: Taking taylor expansion of 0 in x
13.358 * [backup-simplify]: Simplify 0 into 0
13.358 * [taylor]: Taking taylor expansion of 0 in z
13.358 * [backup-simplify]: Simplify 0 into 0
13.358 * [taylor]: Taking taylor expansion of 0 in z
13.358 * [backup-simplify]: Simplify 0 into 0
13.358 * [taylor]: Taking taylor expansion of 0 in z
13.358 * [backup-simplify]: Simplify 0 into 0
13.359 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.359 * [taylor]: Taking taylor expansion of 0 in z
13.359 * [backup-simplify]: Simplify 0 into 0
13.359 * [backup-simplify]: Simplify 0 into 0
13.359 * [backup-simplify]: Simplify 0 into 0
13.359 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* x y))) into (/ (* x y) z)
13.359 * [backup-simplify]: Simplify (* (/ 1 y) (/ (/ 1 x) (/ 1 z))) into (/ z (* x y))
13.359 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (y x z) around 0
13.359 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
13.359 * [taylor]: Taking taylor expansion of z in z
13.359 * [backup-simplify]: Simplify 0 into 0
13.359 * [backup-simplify]: Simplify 1 into 1
13.359 * [taylor]: Taking taylor expansion of (* x y) in z
13.359 * [taylor]: Taking taylor expansion of x in z
13.359 * [backup-simplify]: Simplify x into x
13.359 * [taylor]: Taking taylor expansion of y in z
13.359 * [backup-simplify]: Simplify y into y
13.359 * [backup-simplify]: Simplify (* x y) into (* x y)
13.359 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
13.359 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
13.359 * [taylor]: Taking taylor expansion of z in x
13.359 * [backup-simplify]: Simplify z into z
13.359 * [taylor]: Taking taylor expansion of (* x y) in x
13.359 * [taylor]: Taking taylor expansion of x in x
13.359 * [backup-simplify]: Simplify 0 into 0
13.359 * [backup-simplify]: Simplify 1 into 1
13.359 * [taylor]: Taking taylor expansion of y in x
13.359 * [backup-simplify]: Simplify y into y
13.359 * [backup-simplify]: Simplify (* 0 y) into 0
13.360 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
13.360 * [backup-simplify]: Simplify (/ z y) into (/ z y)
13.360 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
13.360 * [taylor]: Taking taylor expansion of z in y
13.360 * [backup-simplify]: Simplify z into z
13.360 * [taylor]: Taking taylor expansion of (* x y) in y
13.360 * [taylor]: Taking taylor expansion of x in y
13.360 * [backup-simplify]: Simplify x into x
13.360 * [taylor]: Taking taylor expansion of y in y
13.360 * [backup-simplify]: Simplify 0 into 0
13.360 * [backup-simplify]: Simplify 1 into 1
13.360 * [backup-simplify]: Simplify (* x 0) into 0
13.360 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
13.360 * [backup-simplify]: Simplify (/ z x) into (/ z x)
13.360 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
13.360 * [taylor]: Taking taylor expansion of z in y
13.360 * [backup-simplify]: Simplify z into z
13.360 * [taylor]: Taking taylor expansion of (* x y) in y
13.360 * [taylor]: Taking taylor expansion of x in y
13.360 * [backup-simplify]: Simplify x into x
13.360 * [taylor]: Taking taylor expansion of y in y
13.360 * [backup-simplify]: Simplify 0 into 0
13.360 * [backup-simplify]: Simplify 1 into 1
13.360 * [backup-simplify]: Simplify (* x 0) into 0
13.361 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
13.361 * [backup-simplify]: Simplify (/ z x) into (/ z x)
13.361 * [taylor]: Taking taylor expansion of (/ z x) in x
13.361 * [taylor]: Taking taylor expansion of z in x
13.361 * [backup-simplify]: Simplify z into z
13.361 * [taylor]: Taking taylor expansion of x in x
13.361 * [backup-simplify]: Simplify 0 into 0
13.361 * [backup-simplify]: Simplify 1 into 1
13.361 * [backup-simplify]: Simplify (/ z 1) into z
13.361 * [taylor]: Taking taylor expansion of z in z
13.361 * [backup-simplify]: Simplify 0 into 0
13.361 * [backup-simplify]: Simplify 1 into 1
13.361 * [backup-simplify]: Simplify 1 into 1
13.361 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
13.361 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
13.362 * [taylor]: Taking taylor expansion of 0 in x
13.362 * [backup-simplify]: Simplify 0 into 0
13.362 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
13.362 * [taylor]: Taking taylor expansion of 0 in z
13.362 * [backup-simplify]: Simplify 0 into 0
13.362 * [backup-simplify]: Simplify 0 into 0
13.362 * [backup-simplify]: Simplify 0 into 0
13.363 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
13.363 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
13.363 * [taylor]: Taking taylor expansion of 0 in x
13.363 * [backup-simplify]: Simplify 0 into 0
13.363 * [taylor]: Taking taylor expansion of 0 in z
13.363 * [backup-simplify]: Simplify 0 into 0
13.363 * [backup-simplify]: Simplify 0 into 0
13.364 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.364 * [taylor]: Taking taylor expansion of 0 in z
13.364 * [backup-simplify]: Simplify 0 into 0
13.364 * [backup-simplify]: Simplify 0 into 0
13.364 * [backup-simplify]: Simplify 0 into 0
13.364 * [backup-simplify]: Simplify 0 into 0
13.364 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (* x y) z)
13.364 * [backup-simplify]: Simplify (* (/ 1 (- y)) (/ (/ 1 (- x)) (/ 1 (- z)))) into (* -1 (/ z (* x y)))
13.364 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (y x z) around 0
13.364 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
13.364 * [taylor]: Taking taylor expansion of -1 in z
13.364 * [backup-simplify]: Simplify -1 into -1
13.365 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
13.365 * [taylor]: Taking taylor expansion of z in z
13.365 * [backup-simplify]: Simplify 0 into 0
13.365 * [backup-simplify]: Simplify 1 into 1
13.365 * [taylor]: Taking taylor expansion of (* x y) in z
13.365 * [taylor]: Taking taylor expansion of x in z
13.365 * [backup-simplify]: Simplify x into x
13.365 * [taylor]: Taking taylor expansion of y in z
13.365 * [backup-simplify]: Simplify y into y
13.365 * [backup-simplify]: Simplify (* x y) into (* x y)
13.365 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
13.365 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
13.365 * [taylor]: Taking taylor expansion of -1 in x
13.365 * [backup-simplify]: Simplify -1 into -1
13.365 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
13.365 * [taylor]: Taking taylor expansion of z in x
13.365 * [backup-simplify]: Simplify z into z
13.365 * [taylor]: Taking taylor expansion of (* x y) in x
13.365 * [taylor]: Taking taylor expansion of x in x
13.365 * [backup-simplify]: Simplify 0 into 0
13.365 * [backup-simplify]: Simplify 1 into 1
13.365 * [taylor]: Taking taylor expansion of y in x
13.365 * [backup-simplify]: Simplify y into y
13.365 * [backup-simplify]: Simplify (* 0 y) into 0
13.365 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
13.365 * [backup-simplify]: Simplify (/ z y) into (/ z y)
13.365 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
13.365 * [taylor]: Taking taylor expansion of -1 in y
13.365 * [backup-simplify]: Simplify -1 into -1
13.365 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
13.365 * [taylor]: Taking taylor expansion of z in y
13.365 * [backup-simplify]: Simplify z into z
13.365 * [taylor]: Taking taylor expansion of (* x y) in y
13.365 * [taylor]: Taking taylor expansion of x in y
13.365 * [backup-simplify]: Simplify x into x
13.365 * [taylor]: Taking taylor expansion of y in y
13.365 * [backup-simplify]: Simplify 0 into 0
13.365 * [backup-simplify]: Simplify 1 into 1
13.365 * [backup-simplify]: Simplify (* x 0) into 0
13.366 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
13.366 * [backup-simplify]: Simplify (/ z x) into (/ z x)
13.366 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
13.366 * [taylor]: Taking taylor expansion of -1 in y
13.366 * [backup-simplify]: Simplify -1 into -1
13.366 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
13.366 * [taylor]: Taking taylor expansion of z in y
13.366 * [backup-simplify]: Simplify z into z
13.366 * [taylor]: Taking taylor expansion of (* x y) in y
13.366 * [taylor]: Taking taylor expansion of x in y
13.366 * [backup-simplify]: Simplify x into x
13.366 * [taylor]: Taking taylor expansion of y in y
13.366 * [backup-simplify]: Simplify 0 into 0
13.366 * [backup-simplify]: Simplify 1 into 1
13.366 * [backup-simplify]: Simplify (* x 0) into 0
13.366 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
13.366 * [backup-simplify]: Simplify (/ z x) into (/ z x)
13.366 * [backup-simplify]: Simplify (* -1 (/ z x)) into (* -1 (/ z x))
13.366 * [taylor]: Taking taylor expansion of (* -1 (/ z x)) in x
13.366 * [taylor]: Taking taylor expansion of -1 in x
13.367 * [backup-simplify]: Simplify -1 into -1
13.367 * [taylor]: Taking taylor expansion of (/ z x) in x
13.367 * [taylor]: Taking taylor expansion of z in x
13.367 * [backup-simplify]: Simplify z into z
13.367 * [taylor]: Taking taylor expansion of x in x
13.367 * [backup-simplify]: Simplify 0 into 0
13.367 * [backup-simplify]: Simplify 1 into 1
13.367 * [backup-simplify]: Simplify (/ z 1) into z
13.367 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
13.367 * [taylor]: Taking taylor expansion of (* -1 z) in z
13.367 * [taylor]: Taking taylor expansion of -1 in z
13.367 * [backup-simplify]: Simplify -1 into -1
13.367 * [taylor]: Taking taylor expansion of z in z
13.367 * [backup-simplify]: Simplify 0 into 0
13.367 * [backup-simplify]: Simplify 1 into 1
13.367 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
13.367 * [backup-simplify]: Simplify -1 into -1
13.368 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
13.368 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
13.368 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z x))) into 0
13.368 * [taylor]: Taking taylor expansion of 0 in x
13.368 * [backup-simplify]: Simplify 0 into 0
13.369 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
13.369 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0
13.369 * [taylor]: Taking taylor expansion of 0 in z
13.369 * [backup-simplify]: Simplify 0 into 0
13.369 * [backup-simplify]: Simplify 0 into 0
13.370 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
13.370 * [backup-simplify]: Simplify 0 into 0
13.370 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
13.370 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
13.371 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0
13.371 * [taylor]: Taking taylor expansion of 0 in x
13.371 * [backup-simplify]: Simplify 0 into 0
13.371 * [taylor]: Taking taylor expansion of 0 in z
13.371 * [backup-simplify]: Simplify 0 into 0
13.371 * [backup-simplify]: Simplify 0 into 0
13.372 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.372 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
13.372 * [taylor]: Taking taylor expansion of 0 in z
13.372 * [backup-simplify]: Simplify 0 into 0
13.372 * [backup-simplify]: Simplify 0 into 0
13.372 * [backup-simplify]: Simplify 0 into 0
13.373 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
13.373 * [backup-simplify]: Simplify 0 into 0
13.373 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z)
13.373 * * * [progress]: simplifying candidates
13.374 * [simplify]: Simplifying:
  (* y (/ x z))
  (+ (log y) (- (log x) (log z)))
  (+ (log y) (log (/ x z)))
  (log (* y (/ x z)))
  (exp (* y (/ x z)))
  (* (* (* y y) y) (/ (* (* x x) x) (* (* z z) z)))
  (* (* (* y y) y) (* (* (/ x z) (/ x z)) (/ x z)))
  (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z))))
  (cbrt (* y (/ x z)))
  (* (* (* y (/ x z)) (* y (/ x z))) (* y (/ x z)))
  (sqrt (* y (/ x z)))
  (sqrt (* y (/ x z)))
  (* (sqrt y) (sqrt (/ x z)))
  (* (sqrt y) (sqrt (/ x z)))
  (* (sqrt y) (/ (sqrt x) (sqrt z)))
  (* (sqrt y) (/ (sqrt x) (sqrt z)))
  (* y (* (cbrt (/ x z)) (cbrt (/ x z))))
  (* y (sqrt (/ x z)))
  (* y (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))))
  (* y (/ (* (cbrt x) (cbrt x)) (sqrt z)))
  (* y (/ (* (cbrt x) (cbrt x)) 1))
  (* y (/ (sqrt x) (* (cbrt z) (cbrt z))))
  (* y (/ (sqrt x) (sqrt z)))
  (* y (/ (sqrt x) 1))
  (* y (/ 1 (* (cbrt z) (cbrt z))))
  (* y (/ 1 (sqrt z)))
  (* y (/ 1 1))
  (* y 1)
  (* y x)
  (* (cbrt y) (/ x z))
  (* (sqrt y) (/ x z))
  (* y (/ x z))
  (* y x)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
13.374 * * [simplify]: Extracting # 0 : cost  0
13.374 * * [simplify]: Extracting # 1 : cost  0
13.374 * * [simplify]: Extracting # 2 : cost  0
13.374 * * [simplify]: Extracting # 3 : cost  0
13.375 * * [simplify]: Extracting # 4 : cost  0
13.375 * * [simplify]: Extracting # 5 : cost  0
13.375 * * [simplify]: Extracting # 6 : cost  0
13.375 * * [simplify]: Extracting # 7 : cost  0
13.375 * * [simplify]: iteration  0 :  70  enodes  (cost  277 )
13.391 * * [simplify]: Extracting # 0 : cost  0
13.391 * * [simplify]: Extracting # 1 : cost  0
13.392 * * [simplify]: Extracting # 2 : cost  0
13.392 * * [simplify]: iteration  1 :  163  enodes  (cost  260 )
13.449 * * [simplify]: Extracting # 0 : cost  0
13.450 * * [simplify]: Extracting # 1 : cost  0
13.450 * * [simplify]: Extracting # 2 : cost  0
13.450 * * [simplify]: Extracting # 3 : cost  0
13.451 * * [simplify]: Extracting # 4 : cost  0
13.451 * * [simplify]: Extracting # 5 : cost  0
13.452 * * [simplify]: iteration  2 :  447  enodes  (cost  230 )
13.667 * * [simplify]: Extracting # 0 : cost  0
13.669 * * [simplify]: Extracting # 1 : cost  0
13.670 * * [simplify]: Extracting # 2 : cost  0
13.671 * * [simplify]: Extracting # 3 : cost  0
13.673 * * [simplify]: Extracting # 4 : cost  0
13.676 * * [simplify]: iteration  3 :  1167  enodes  (cost  230 )
15.282 * * [simplify]: Extracting # 0 : cost  0
15.290 * * [simplify]: Extracting # 1 : cost  0
15.295 * * [simplify]: Extracting # 2 : cost  0
15.300 * * [simplify]: Extracting # 3 : cost  0
15.306 * * [simplify]: Extracting # 4 : cost  0
15.311 * * [simplify]: iteration  4 :  2967  enodes  (cost  230 )
17.441 * * [simplify]: Extracting # 0 : cost  0
17.454 * * [simplify]: Extracting # 1 : cost  0
17.464 * * [simplify]: Extracting # 2 : cost  0
17.474 * * [simplify]: Extracting # 3 : cost  0
17.484 * * [simplify]: Extracting # 4 : cost  0
17.493 * * [simplify]: iteration done:  5000  enodes  (cost  230 )
17.493 * [simplify]: Simplified to:
  (/ (* x y) z)
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (exp (* y (/ x z)))
  (pow (/ (* x y) z) 3)
  (pow (/ (* x y) z) 3)
  (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z))))
  (cbrt (* y (/ x z)))
  (pow (/ (* x y) z) 3)
  (sqrt (* y (/ x z)))
  (sqrt (* y (/ x z)))
  (* (sqrt y) (sqrt (/ x z)))
  (* (sqrt y) (sqrt (/ x z)))
  (* (sqrt y) (/ (sqrt x) (sqrt z)))
  (* (sqrt y) (/ (sqrt x) (sqrt z)))
  (* y (* (cbrt (/ x z)) (cbrt (/ x z))))
  (* y (sqrt (/ x z)))
  (* y (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))))
  (* y (/ (* (cbrt x) (cbrt x)) (sqrt z)))
  (* y (* (cbrt x) (cbrt x)))
  (* y (/ (sqrt x) (* (cbrt z) (cbrt z))))
  (* y (/ (sqrt x) (sqrt z)))
  (* y (sqrt x))
  (/ y (* (cbrt z) (cbrt z)))
  (/ y (sqrt z))
  y
  y
  (* x y)
  (* (cbrt y) (/ x z))
  (* (sqrt y) (/ x z))
  (/ (* x y) z)
  (* x y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
17.494 * * * [progress]: adding candidates to table
17.603 * * [progress]: iteration 3 / 4
17.603 * * * [progress]: picking best candidate
17.627 * * * * [pick]: Picked  #<alt (λ (x y z t) (* 1 (/ (* x y) z)))>
17.627 * * * [progress]: localizing error
17.633 * * * [progress]: generating rewritten candidates
17.633 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
17.644 * * * [progress]: generating series expansions
17.644 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
17.644 * [backup-simplify]: Simplify (/ (* x y) z) into (/ (* x y) z)
17.644 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
17.644 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
17.644 * [taylor]: Taking taylor expansion of (* x y) in z
17.644 * [taylor]: Taking taylor expansion of x in z
17.644 * [backup-simplify]: Simplify x into x
17.644 * [taylor]: Taking taylor expansion of y in z
17.644 * [backup-simplify]: Simplify y into y
17.644 * [taylor]: Taking taylor expansion of z in z
17.644 * [backup-simplify]: Simplify 0 into 0
17.644 * [backup-simplify]: Simplify 1 into 1
17.644 * [backup-simplify]: Simplify (* x y) into (* x y)
17.644 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
17.644 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
17.644 * [taylor]: Taking taylor expansion of (* x y) in y
17.644 * [taylor]: Taking taylor expansion of x in y
17.644 * [backup-simplify]: Simplify x into x
17.644 * [taylor]: Taking taylor expansion of y in y
17.644 * [backup-simplify]: Simplify 0 into 0
17.644 * [backup-simplify]: Simplify 1 into 1
17.644 * [taylor]: Taking taylor expansion of z in y
17.644 * [backup-simplify]: Simplify z into z
17.644 * [backup-simplify]: Simplify (* x 0) into 0
17.645 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
17.645 * [backup-simplify]: Simplify (/ x z) into (/ x z)
17.645 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
17.645 * [taylor]: Taking taylor expansion of (* x y) in x
17.645 * [taylor]: Taking taylor expansion of x in x
17.645 * [backup-simplify]: Simplify 0 into 0
17.645 * [backup-simplify]: Simplify 1 into 1
17.645 * [taylor]: Taking taylor expansion of y in x
17.645 * [backup-simplify]: Simplify y into y
17.645 * [taylor]: Taking taylor expansion of z in x
17.645 * [backup-simplify]: Simplify z into z
17.645 * [backup-simplify]: Simplify (* 0 y) into 0
17.645 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
17.645 * [backup-simplify]: Simplify (/ y z) into (/ y z)
17.645 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
17.645 * [taylor]: Taking taylor expansion of (* x y) in x
17.645 * [taylor]: Taking taylor expansion of x in x
17.645 * [backup-simplify]: Simplify 0 into 0
17.645 * [backup-simplify]: Simplify 1 into 1
17.645 * [taylor]: Taking taylor expansion of y in x
17.645 * [backup-simplify]: Simplify y into y
17.645 * [taylor]: Taking taylor expansion of z in x
17.645 * [backup-simplify]: Simplify z into z
17.645 * [backup-simplify]: Simplify (* 0 y) into 0
17.646 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
17.646 * [backup-simplify]: Simplify (/ y z) into (/ y z)
17.646 * [taylor]: Taking taylor expansion of (/ y z) in y
17.646 * [taylor]: Taking taylor expansion of y in y
17.646 * [backup-simplify]: Simplify 0 into 0
17.646 * [backup-simplify]: Simplify 1 into 1
17.646 * [taylor]: Taking taylor expansion of z in y
17.646 * [backup-simplify]: Simplify z into z
17.646 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
17.646 * [taylor]: Taking taylor expansion of (/ 1 z) in z
17.646 * [taylor]: Taking taylor expansion of z in z
17.646 * [backup-simplify]: Simplify 0 into 0
17.646 * [backup-simplify]: Simplify 1 into 1
17.646 * [backup-simplify]: Simplify (/ 1 1) into 1
17.646 * [backup-simplify]: Simplify 1 into 1
17.647 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
17.647 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
17.647 * [taylor]: Taking taylor expansion of 0 in y
17.647 * [backup-simplify]: Simplify 0 into 0
17.647 * [taylor]: Taking taylor expansion of 0 in z
17.647 * [backup-simplify]: Simplify 0 into 0
17.647 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
17.647 * [taylor]: Taking taylor expansion of 0 in z
17.647 * [backup-simplify]: Simplify 0 into 0
17.648 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
17.648 * [backup-simplify]: Simplify 0 into 0
17.649 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
17.649 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
17.649 * [taylor]: Taking taylor expansion of 0 in y
17.649 * [backup-simplify]: Simplify 0 into 0
17.649 * [taylor]: Taking taylor expansion of 0 in z
17.649 * [backup-simplify]: Simplify 0 into 0
17.649 * [taylor]: Taking taylor expansion of 0 in z
17.650 * [backup-simplify]: Simplify 0 into 0
17.650 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
17.650 * [taylor]: Taking taylor expansion of 0 in z
17.650 * [backup-simplify]: Simplify 0 into 0
17.650 * [backup-simplify]: Simplify 0 into 0
17.650 * [backup-simplify]: Simplify 0 into 0
17.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.651 * [backup-simplify]: Simplify 0 into 0
17.652 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
17.652 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
17.652 * [taylor]: Taking taylor expansion of 0 in y
17.652 * [backup-simplify]: Simplify 0 into 0
17.652 * [taylor]: Taking taylor expansion of 0 in z
17.652 * [backup-simplify]: Simplify 0 into 0
17.652 * [taylor]: Taking taylor expansion of 0 in z
17.653 * [backup-simplify]: Simplify 0 into 0
17.653 * [taylor]: Taking taylor expansion of 0 in z
17.653 * [backup-simplify]: Simplify 0 into 0
17.653 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
17.653 * [taylor]: Taking taylor expansion of 0 in z
17.653 * [backup-simplify]: Simplify 0 into 0
17.653 * [backup-simplify]: Simplify 0 into 0
17.653 * [backup-simplify]: Simplify 0 into 0
17.653 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* y x))) into (/ (* x y) z)
17.653 * [backup-simplify]: Simplify (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) into (/ z (* x y))
17.653 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
17.653 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
17.653 * [taylor]: Taking taylor expansion of z in z
17.653 * [backup-simplify]: Simplify 0 into 0
17.653 * [backup-simplify]: Simplify 1 into 1
17.653 * [taylor]: Taking taylor expansion of (* x y) in z
17.653 * [taylor]: Taking taylor expansion of x in z
17.654 * [backup-simplify]: Simplify x into x
17.654 * [taylor]: Taking taylor expansion of y in z
17.654 * [backup-simplify]: Simplify y into y
17.654 * [backup-simplify]: Simplify (* x y) into (* x y)
17.654 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
17.654 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
17.654 * [taylor]: Taking taylor expansion of z in y
17.654 * [backup-simplify]: Simplify z into z
17.654 * [taylor]: Taking taylor expansion of (* x y) in y
17.654 * [taylor]: Taking taylor expansion of x in y
17.654 * [backup-simplify]: Simplify x into x
17.654 * [taylor]: Taking taylor expansion of y in y
17.654 * [backup-simplify]: Simplify 0 into 0
17.654 * [backup-simplify]: Simplify 1 into 1
17.654 * [backup-simplify]: Simplify (* x 0) into 0
17.654 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
17.654 * [backup-simplify]: Simplify (/ z x) into (/ z x)
17.654 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
17.655 * [taylor]: Taking taylor expansion of z in x
17.655 * [backup-simplify]: Simplify z into z
17.655 * [taylor]: Taking taylor expansion of (* x y) in x
17.655 * [taylor]: Taking taylor expansion of x in x
17.655 * [backup-simplify]: Simplify 0 into 0
17.655 * [backup-simplify]: Simplify 1 into 1
17.655 * [taylor]: Taking taylor expansion of y in x
17.655 * [backup-simplify]: Simplify y into y
17.655 * [backup-simplify]: Simplify (* 0 y) into 0
17.655 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
17.655 * [backup-simplify]: Simplify (/ z y) into (/ z y)
17.655 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
17.655 * [taylor]: Taking taylor expansion of z in x
17.655 * [backup-simplify]: Simplify z into z
17.655 * [taylor]: Taking taylor expansion of (* x y) in x
17.655 * [taylor]: Taking taylor expansion of x in x
17.655 * [backup-simplify]: Simplify 0 into 0
17.655 * [backup-simplify]: Simplify 1 into 1
17.655 * [taylor]: Taking taylor expansion of y in x
17.655 * [backup-simplify]: Simplify y into y
17.656 * [backup-simplify]: Simplify (* 0 y) into 0
17.656 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
17.656 * [backup-simplify]: Simplify (/ z y) into (/ z y)
17.656 * [taylor]: Taking taylor expansion of (/ z y) in y
17.656 * [taylor]: Taking taylor expansion of z in y
17.656 * [backup-simplify]: Simplify z into z
17.656 * [taylor]: Taking taylor expansion of y in y
17.656 * [backup-simplify]: Simplify 0 into 0
17.656 * [backup-simplify]: Simplify 1 into 1
17.656 * [backup-simplify]: Simplify (/ z 1) into z
17.656 * [taylor]: Taking taylor expansion of z in z
17.656 * [backup-simplify]: Simplify 0 into 0
17.656 * [backup-simplify]: Simplify 1 into 1
17.656 * [backup-simplify]: Simplify 1 into 1
17.657 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
17.657 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
17.657 * [taylor]: Taking taylor expansion of 0 in y
17.657 * [backup-simplify]: Simplify 0 into 0
17.658 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
17.658 * [taylor]: Taking taylor expansion of 0 in z
17.658 * [backup-simplify]: Simplify 0 into 0
17.658 * [backup-simplify]: Simplify 0 into 0
17.658 * [backup-simplify]: Simplify 0 into 0
17.659 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
17.660 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
17.660 * [taylor]: Taking taylor expansion of 0 in y
17.660 * [backup-simplify]: Simplify 0 into 0
17.660 * [taylor]: Taking taylor expansion of 0 in z
17.660 * [backup-simplify]: Simplify 0 into 0
17.660 * [backup-simplify]: Simplify 0 into 0
17.661 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.661 * [taylor]: Taking taylor expansion of 0 in z
17.661 * [backup-simplify]: Simplify 0 into 0
17.661 * [backup-simplify]: Simplify 0 into 0
17.661 * [backup-simplify]: Simplify 0 into 0
17.661 * [backup-simplify]: Simplify 0 into 0
17.662 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (/ (* x y) z)
17.662 * [backup-simplify]: Simplify (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (* -1 (/ z (* x y)))
17.662 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
17.662 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
17.662 * [taylor]: Taking taylor expansion of -1 in z
17.662 * [backup-simplify]: Simplify -1 into -1
17.662 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
17.662 * [taylor]: Taking taylor expansion of z in z
17.662 * [backup-simplify]: Simplify 0 into 0
17.662 * [backup-simplify]: Simplify 1 into 1
17.662 * [taylor]: Taking taylor expansion of (* x y) in z
17.662 * [taylor]: Taking taylor expansion of x in z
17.662 * [backup-simplify]: Simplify x into x
17.662 * [taylor]: Taking taylor expansion of y in z
17.662 * [backup-simplify]: Simplify y into y
17.662 * [backup-simplify]: Simplify (* x y) into (* x y)
17.662 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
17.662 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
17.662 * [taylor]: Taking taylor expansion of -1 in y
17.662 * [backup-simplify]: Simplify -1 into -1
17.662 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
17.662 * [taylor]: Taking taylor expansion of z in y
17.662 * [backup-simplify]: Simplify z into z
17.662 * [taylor]: Taking taylor expansion of (* x y) in y
17.662 * [taylor]: Taking taylor expansion of x in y
17.662 * [backup-simplify]: Simplify x into x
17.662 * [taylor]: Taking taylor expansion of y in y
17.663 * [backup-simplify]: Simplify 0 into 0
17.663 * [backup-simplify]: Simplify 1 into 1
17.663 * [backup-simplify]: Simplify (* x 0) into 0
17.663 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
17.663 * [backup-simplify]: Simplify (/ z x) into (/ z x)
17.663 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
17.663 * [taylor]: Taking taylor expansion of -1 in x
17.663 * [backup-simplify]: Simplify -1 into -1
17.663 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
17.663 * [taylor]: Taking taylor expansion of z in x
17.663 * [backup-simplify]: Simplify z into z
17.663 * [taylor]: Taking taylor expansion of (* x y) in x
17.663 * [taylor]: Taking taylor expansion of x in x
17.663 * [backup-simplify]: Simplify 0 into 0
17.663 * [backup-simplify]: Simplify 1 into 1
17.663 * [taylor]: Taking taylor expansion of y in x
17.663 * [backup-simplify]: Simplify y into y
17.663 * [backup-simplify]: Simplify (* 0 y) into 0
17.664 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
17.664 * [backup-simplify]: Simplify (/ z y) into (/ z y)
17.664 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
17.664 * [taylor]: Taking taylor expansion of -1 in x
17.664 * [backup-simplify]: Simplify -1 into -1
17.664 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
17.664 * [taylor]: Taking taylor expansion of z in x
17.664 * [backup-simplify]: Simplify z into z
17.664 * [taylor]: Taking taylor expansion of (* x y) in x
17.664 * [taylor]: Taking taylor expansion of x in x
17.664 * [backup-simplify]: Simplify 0 into 0
17.664 * [backup-simplify]: Simplify 1 into 1
17.664 * [taylor]: Taking taylor expansion of y in x
17.664 * [backup-simplify]: Simplify y into y
17.664 * [backup-simplify]: Simplify (* 0 y) into 0
17.665 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
17.665 * [backup-simplify]: Simplify (/ z y) into (/ z y)
17.665 * [backup-simplify]: Simplify (* -1 (/ z y)) into (* -1 (/ z y))
17.665 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
17.665 * [taylor]: Taking taylor expansion of -1 in y
17.665 * [backup-simplify]: Simplify -1 into -1
17.665 * [taylor]: Taking taylor expansion of (/ z y) in y
17.665 * [taylor]: Taking taylor expansion of z in y
17.665 * [backup-simplify]: Simplify z into z
17.665 * [taylor]: Taking taylor expansion of y in y
17.665 * [backup-simplify]: Simplify 0 into 0
17.665 * [backup-simplify]: Simplify 1 into 1
17.665 * [backup-simplify]: Simplify (/ z 1) into z
17.665 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
17.665 * [taylor]: Taking taylor expansion of (* -1 z) in z
17.665 * [taylor]: Taking taylor expansion of -1 in z
17.665 * [backup-simplify]: Simplify -1 into -1
17.665 * [taylor]: Taking taylor expansion of z in z
17.665 * [backup-simplify]: Simplify 0 into 0
17.665 * [backup-simplify]: Simplify 1 into 1
17.666 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
17.666 * [backup-simplify]: Simplify -1 into -1
17.667 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
17.667 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
17.667 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z y))) into 0
17.667 * [taylor]: Taking taylor expansion of 0 in y
17.667 * [backup-simplify]: Simplify 0 into 0
17.668 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
17.669 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0
17.669 * [taylor]: Taking taylor expansion of 0 in z
17.669 * [backup-simplify]: Simplify 0 into 0
17.669 * [backup-simplify]: Simplify 0 into 0
17.670 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
17.670 * [backup-simplify]: Simplify 0 into 0
17.671 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
17.671 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
17.672 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0
17.672 * [taylor]: Taking taylor expansion of 0 in y
17.672 * [backup-simplify]: Simplify 0 into 0
17.672 * [taylor]: Taking taylor expansion of 0 in z
17.672 * [backup-simplify]: Simplify 0 into 0
17.672 * [backup-simplify]: Simplify 0 into 0
17.673 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.674 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
17.674 * [taylor]: Taking taylor expansion of 0 in z
17.674 * [backup-simplify]: Simplify 0 into 0
17.674 * [backup-simplify]: Simplify 0 into 0
17.674 * [backup-simplify]: Simplify 0 into 0
17.676 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
17.676 * [backup-simplify]: Simplify 0 into 0
17.676 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z)
17.676 * * * [progress]: simplifying candidates
17.677 * [simplify]: Simplifying:
  (- (+ (log x) (log y)) (log z))
  (- (log (* x y)) (log z))
  (log (/ (* x y) z))
  (exp (/ (* x y) z))
  (/ (* (* (* x x) x) (* (* y y) y)) (* (* z z) z))
  (/ (* (* (* x y) (* x y)) (* x y)) (* (* z z) 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))
  (- (* x y))
  (- z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  (/ x 1)
  (/ y z)
  (/ 1 z)
  (/ z (* x y))
  (/ (* x y) (* (cbrt z) (cbrt z)))
  (/ (* x y) (sqrt z))
  (/ (* x y) 1)
  (/ z y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
17.678 * * [simplify]: Extracting # 0 : cost  0
17.678 * * [simplify]: Extracting # 1 : cost  0
17.678 * * [simplify]: Extracting # 2 : cost  0
17.678 * * [simplify]: Extracting # 3 : cost  0
17.678 * * [simplify]: Extracting # 4 : cost  0
17.678 * * [simplify]: Extracting # 5 : cost  0
17.679 * * [simplify]: Extracting # 6 : cost  0
17.679 * * [simplify]: iteration  0 :  48  enodes  (cost  186 )
17.699 * * [simplify]: Extracting # 0 : cost  0
17.700 * * [simplify]: Extracting # 1 : cost  0
17.700 * * [simplify]: Extracting # 2 : cost  0
17.700 * * [simplify]: iteration  1 :  110  enodes  (cost  179 )
17.768 * * [simplify]: Extracting # 0 : cost  0
17.769 * * [simplify]: Extracting # 1 : cost  0
17.770 * * [simplify]: Extracting # 2 : cost  0
17.771 * * [simplify]: Extracting # 3 : cost  0
17.772 * * [simplify]: Extracting # 4 : cost  0
17.772 * * [simplify]: iteration  2 :  384  enodes  (cost  149 )
18.229 * * [simplify]: Extracting # 0 : cost  0
18.231 * * [simplify]: Extracting # 1 : cost  0
18.233 * * [simplify]: Extracting # 2 : cost  0
18.234 * * [simplify]: Extracting # 3 : cost  0
18.236 * * [simplify]: Extracting # 4 : cost  0
18.238 * * [simplify]: iteration  3 :  1757  enodes  (cost  149 )
21.402 * * [simplify]: Extracting # 0 : cost  0
21.414 * * [simplify]: Extracting # 1 : cost  0
21.419 * * [simplify]: Extracting # 2 : cost  0
21.424 * * [simplify]: Extracting # 3 : cost  0
21.433 * * [simplify]: Extracting # 4 : cost  0
21.442 * * [simplify]: iteration done:  5000  enodes  (cost  149 )
21.442 * [simplify]: Simplified to:
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (exp (/ (* x y) z))
  (pow (/ (* x y) z) 3)
  (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))
  (- (* x y))
  (- z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  x
  (/ y z)
  (/ 1 z)
  (/ z (* x y))
  (/ (* x y) (* (cbrt z) (cbrt z)))
  (/ (* x y) (sqrt z))
  (* x y)
  (/ z y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
21.443 * * * [progress]: adding candidates to table
21.523 * * [progress]: iteration 4 / 4
21.523 * * * [progress]: picking best candidate
21.538 * * * * [pick]: Picked  #<alt (λ (x y z t) (* 1 (/ x (/ z y))))>
21.538 * * * [progress]: localizing error
21.549 * * * [progress]: generating rewritten candidates
21.550 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
21.577 * * * [progress]: generating series expansions
21.577 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
21.577 * [backup-simplify]: Simplify (/ x (/ z y)) into (/ (* x y) z)
21.577 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x z y) around 0
21.577 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
21.578 * [taylor]: Taking taylor expansion of (* x y) in y
21.578 * [taylor]: Taking taylor expansion of x in y
21.578 * [backup-simplify]: Simplify x into x
21.578 * [taylor]: Taking taylor expansion of y in y
21.578 * [backup-simplify]: Simplify 0 into 0
21.578 * [backup-simplify]: Simplify 1 into 1
21.578 * [taylor]: Taking taylor expansion of z in y
21.578 * [backup-simplify]: Simplify z into z
21.578 * [backup-simplify]: Simplify (* x 0) into 0
21.579 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
21.579 * [backup-simplify]: Simplify (/ x z) into (/ x z)
21.579 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
21.579 * [taylor]: Taking taylor expansion of (* x y) in z
21.579 * [taylor]: Taking taylor expansion of x in z
21.579 * [backup-simplify]: Simplify x into x
21.579 * [taylor]: Taking taylor expansion of y in z
21.579 * [backup-simplify]: Simplify y into y
21.579 * [taylor]: Taking taylor expansion of z in z
21.579 * [backup-simplify]: Simplify 0 into 0
21.579 * [backup-simplify]: Simplify 1 into 1
21.579 * [backup-simplify]: Simplify (* x y) into (* x y)
21.579 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
21.579 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
21.579 * [taylor]: Taking taylor expansion of (* x y) in x
21.579 * [taylor]: Taking taylor expansion of x in x
21.579 * [backup-simplify]: Simplify 0 into 0
21.579 * [backup-simplify]: Simplify 1 into 1
21.579 * [taylor]: Taking taylor expansion of y in x
21.579 * [backup-simplify]: Simplify y into y
21.579 * [taylor]: Taking taylor expansion of z in x
21.579 * [backup-simplify]: Simplify z into z
21.579 * [backup-simplify]: Simplify (* 0 y) into 0
21.582 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
21.582 * [backup-simplify]: Simplify (/ y z) into (/ y z)
21.582 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
21.582 * [taylor]: Taking taylor expansion of (* x y) in x
21.582 * [taylor]: Taking taylor expansion of x in x
21.582 * [backup-simplify]: Simplify 0 into 0
21.582 * [backup-simplify]: Simplify 1 into 1
21.582 * [taylor]: Taking taylor expansion of y in x
21.582 * [backup-simplify]: Simplify y into y
21.582 * [taylor]: Taking taylor expansion of z in x
21.582 * [backup-simplify]: Simplify z into z
21.582 * [backup-simplify]: Simplify (* 0 y) into 0
21.583 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
21.583 * [backup-simplify]: Simplify (/ y z) into (/ y z)
21.583 * [taylor]: Taking taylor expansion of (/ y z) in z
21.583 * [taylor]: Taking taylor expansion of y in z
21.583 * [backup-simplify]: Simplify y into y
21.583 * [taylor]: Taking taylor expansion of z in z
21.583 * [backup-simplify]: Simplify 0 into 0
21.583 * [backup-simplify]: Simplify 1 into 1
21.583 * [backup-simplify]: Simplify (/ y 1) into y
21.583 * [taylor]: Taking taylor expansion of y in y
21.583 * [backup-simplify]: Simplify 0 into 0
21.583 * [backup-simplify]: Simplify 1 into 1
21.583 * [backup-simplify]: Simplify 1 into 1
21.584 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
21.585 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
21.585 * [taylor]: Taking taylor expansion of 0 in z
21.585 * [backup-simplify]: Simplify 0 into 0
21.586 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
21.586 * [taylor]: Taking taylor expansion of 0 in y
21.586 * [backup-simplify]: Simplify 0 into 0
21.586 * [backup-simplify]: Simplify 0 into 0
21.586 * [backup-simplify]: Simplify 0 into 0
21.587 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
21.588 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
21.588 * [taylor]: Taking taylor expansion of 0 in z
21.588 * [backup-simplify]: Simplify 0 into 0
21.588 * [taylor]: Taking taylor expansion of 0 in y
21.588 * [backup-simplify]: Simplify 0 into 0
21.588 * [backup-simplify]: Simplify 0 into 0
21.589 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.589 * [taylor]: Taking taylor expansion of 0 in y
21.589 * [backup-simplify]: Simplify 0 into 0
21.589 * [backup-simplify]: Simplify 0 into 0
21.589 * [backup-simplify]: Simplify 0 into 0
21.589 * [backup-simplify]: Simplify 0 into 0
21.590 * [backup-simplify]: Simplify (* 1 (* y (* (/ 1 z) x))) into (/ (* x y) z)
21.590 * [backup-simplify]: Simplify (/ (/ 1 x) (/ (/ 1 z) (/ 1 y))) into (/ z (* x y))
21.590 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x z y) around 0
21.590 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
21.590 * [taylor]: Taking taylor expansion of z in y
21.590 * [backup-simplify]: Simplify z into z
21.590 * [taylor]: Taking taylor expansion of (* x y) in y
21.590 * [taylor]: Taking taylor expansion of x in y
21.590 * [backup-simplify]: Simplify x into x
21.590 * [taylor]: Taking taylor expansion of y in y
21.590 * [backup-simplify]: Simplify 0 into 0
21.590 * [backup-simplify]: Simplify 1 into 1
21.590 * [backup-simplify]: Simplify (* x 0) into 0
21.591 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
21.591 * [backup-simplify]: Simplify (/ z x) into (/ z x)
21.591 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
21.591 * [taylor]: Taking taylor expansion of z in z
21.591 * [backup-simplify]: Simplify 0 into 0
21.591 * [backup-simplify]: Simplify 1 into 1
21.591 * [taylor]: Taking taylor expansion of (* x y) in z
21.591 * [taylor]: Taking taylor expansion of x in z
21.591 * [backup-simplify]: Simplify x into x
21.591 * [taylor]: Taking taylor expansion of y in z
21.591 * [backup-simplify]: Simplify y into y
21.591 * [backup-simplify]: Simplify (* x y) into (* x y)
21.591 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
21.591 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
21.591 * [taylor]: Taking taylor expansion of z in x
21.591 * [backup-simplify]: Simplify z into z
21.591 * [taylor]: Taking taylor expansion of (* x y) in x
21.591 * [taylor]: Taking taylor expansion of x in x
21.591 * [backup-simplify]: Simplify 0 into 0
21.591 * [backup-simplify]: Simplify 1 into 1
21.591 * [taylor]: Taking taylor expansion of y in x
21.591 * [backup-simplify]: Simplify y into y
21.591 * [backup-simplify]: Simplify (* 0 y) into 0
21.592 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
21.592 * [backup-simplify]: Simplify (/ z y) into (/ z y)
21.592 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
21.592 * [taylor]: Taking taylor expansion of z in x
21.592 * [backup-simplify]: Simplify z into z
21.592 * [taylor]: Taking taylor expansion of (* x y) in x
21.592 * [taylor]: Taking taylor expansion of x in x
21.592 * [backup-simplify]: Simplify 0 into 0
21.592 * [backup-simplify]: Simplify 1 into 1
21.592 * [taylor]: Taking taylor expansion of y in x
21.592 * [backup-simplify]: Simplify y into y
21.592 * [backup-simplify]: Simplify (* 0 y) into 0
21.593 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
21.593 * [backup-simplify]: Simplify (/ z y) into (/ z y)
21.593 * [taylor]: Taking taylor expansion of (/ z y) in z
21.593 * [taylor]: Taking taylor expansion of z in z
21.593 * [backup-simplify]: Simplify 0 into 0
21.593 * [backup-simplify]: Simplify 1 into 1
21.593 * [taylor]: Taking taylor expansion of y in z
21.593 * [backup-simplify]: Simplify y into y
21.593 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
21.593 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.593 * [taylor]: Taking taylor expansion of y in y
21.593 * [backup-simplify]: Simplify 0 into 0
21.593 * [backup-simplify]: Simplify 1 into 1
21.593 * [backup-simplify]: Simplify (/ 1 1) into 1
21.594 * [backup-simplify]: Simplify 1 into 1
21.594 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
21.595 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
21.595 * [taylor]: Taking taylor expansion of 0 in z
21.595 * [backup-simplify]: Simplify 0 into 0
21.595 * [taylor]: Taking taylor expansion of 0 in y
21.595 * [backup-simplify]: Simplify 0 into 0
21.595 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
21.595 * [taylor]: Taking taylor expansion of 0 in y
21.595 * [backup-simplify]: Simplify 0 into 0
21.597 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.597 * [backup-simplify]: Simplify 0 into 0
21.598 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
21.599 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
21.599 * [taylor]: Taking taylor expansion of 0 in z
21.599 * [backup-simplify]: Simplify 0 into 0
21.599 * [taylor]: Taking taylor expansion of 0 in y
21.599 * [backup-simplify]: Simplify 0 into 0
21.599 * [taylor]: Taking taylor expansion of 0 in y
21.599 * [backup-simplify]: Simplify 0 into 0
21.599 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
21.599 * [taylor]: Taking taylor expansion of 0 in y
21.599 * [backup-simplify]: Simplify 0 into 0
21.599 * [backup-simplify]: Simplify 0 into 0
21.599 * [backup-simplify]: Simplify 0 into 0
21.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.601 * [backup-simplify]: Simplify 0 into 0
21.602 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
21.602 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
21.602 * [taylor]: Taking taylor expansion of 0 in z
21.603 * [backup-simplify]: Simplify 0 into 0
21.603 * [taylor]: Taking taylor expansion of 0 in y
21.603 * [backup-simplify]: Simplify 0 into 0
21.603 * [taylor]: Taking taylor expansion of 0 in y
21.603 * [backup-simplify]: Simplify 0 into 0
21.603 * [taylor]: Taking taylor expansion of 0 in y
21.603 * [backup-simplify]: Simplify 0 into 0
21.603 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
21.603 * [taylor]: Taking taylor expansion of 0 in y
21.603 * [backup-simplify]: Simplify 0 into 0
21.603 * [backup-simplify]: Simplify 0 into 0
21.603 * [backup-simplify]: Simplify 0 into 0
21.603 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 z) (/ 1 (/ 1 x))))) into (/ (* x y) z)
21.604 * [backup-simplify]: Simplify (/ (/ 1 (- x)) (/ (/ 1 (- z)) (/ 1 (- y)))) into (* -1 (/ z (* x y)))
21.604 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x z y) around 0
21.604 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
21.604 * [taylor]: Taking taylor expansion of -1 in y
21.604 * [backup-simplify]: Simplify -1 into -1
21.604 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
21.604 * [taylor]: Taking taylor expansion of z in y
21.604 * [backup-simplify]: Simplify z into z
21.604 * [taylor]: Taking taylor expansion of (* x y) in y
21.604 * [taylor]: Taking taylor expansion of x in y
21.604 * [backup-simplify]: Simplify x into x
21.604 * [taylor]: Taking taylor expansion of y in y
21.604 * [backup-simplify]: Simplify 0 into 0
21.604 * [backup-simplify]: Simplify 1 into 1
21.604 * [backup-simplify]: Simplify (* x 0) into 0
21.605 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
21.605 * [backup-simplify]: Simplify (/ z x) into (/ z x)
21.605 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
21.605 * [taylor]: Taking taylor expansion of -1 in z
21.605 * [backup-simplify]: Simplify -1 into -1
21.605 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
21.605 * [taylor]: Taking taylor expansion of z in z
21.605 * [backup-simplify]: Simplify 0 into 0
21.605 * [backup-simplify]: Simplify 1 into 1
21.605 * [taylor]: Taking taylor expansion of (* x y) in z
21.605 * [taylor]: Taking taylor expansion of x in z
21.605 * [backup-simplify]: Simplify x into x
21.605 * [taylor]: Taking taylor expansion of y in z
21.605 * [backup-simplify]: Simplify y into y
21.605 * [backup-simplify]: Simplify (* x y) into (* x y)
21.605 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
21.605 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
21.605 * [taylor]: Taking taylor expansion of -1 in x
21.605 * [backup-simplify]: Simplify -1 into -1
21.605 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
21.605 * [taylor]: Taking taylor expansion of z in x
21.605 * [backup-simplify]: Simplify z into z
21.605 * [taylor]: Taking taylor expansion of (* x y) in x
21.606 * [taylor]: Taking taylor expansion of x in x
21.606 * [backup-simplify]: Simplify 0 into 0
21.606 * [backup-simplify]: Simplify 1 into 1
21.606 * [taylor]: Taking taylor expansion of y in x
21.606 * [backup-simplify]: Simplify y into y
21.606 * [backup-simplify]: Simplify (* 0 y) into 0
21.606 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
21.606 * [backup-simplify]: Simplify (/ z y) into (/ z y)
21.606 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
21.606 * [taylor]: Taking taylor expansion of -1 in x
21.606 * [backup-simplify]: Simplify -1 into -1
21.606 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
21.606 * [taylor]: Taking taylor expansion of z in x
21.606 * [backup-simplify]: Simplify z into z
21.606 * [taylor]: Taking taylor expansion of (* x y) in x
21.607 * [taylor]: Taking taylor expansion of x in x
21.607 * [backup-simplify]: Simplify 0 into 0
21.607 * [backup-simplify]: Simplify 1 into 1
21.607 * [taylor]: Taking taylor expansion of y in x
21.607 * [backup-simplify]: Simplify y into y
21.607 * [backup-simplify]: Simplify (* 0 y) into 0
21.607 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
21.607 * [backup-simplify]: Simplify (/ z y) into (/ z y)
21.607 * [backup-simplify]: Simplify (* -1 (/ z y)) into (* -1 (/ z y))
21.607 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z
21.607 * [taylor]: Taking taylor expansion of -1 in z
21.608 * [backup-simplify]: Simplify -1 into -1
21.608 * [taylor]: Taking taylor expansion of (/ z y) in z
21.608 * [taylor]: Taking taylor expansion of z in z
21.608 * [backup-simplify]: Simplify 0 into 0
21.608 * [backup-simplify]: Simplify 1 into 1
21.608 * [taylor]: Taking taylor expansion of y in z
21.608 * [backup-simplify]: Simplify y into y
21.608 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
21.608 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y)
21.608 * [taylor]: Taking taylor expansion of (/ -1 y) in y
21.608 * [taylor]: Taking taylor expansion of -1 in y
21.608 * [backup-simplify]: Simplify -1 into -1
21.608 * [taylor]: Taking taylor expansion of y in y
21.608 * [backup-simplify]: Simplify 0 into 0
21.608 * [backup-simplify]: Simplify 1 into 1
21.608 * [backup-simplify]: Simplify (/ -1 1) into -1
21.608 * [backup-simplify]: Simplify -1 into -1
21.609 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
21.610 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
21.610 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z y))) into 0
21.610 * [taylor]: Taking taylor expansion of 0 in z
21.610 * [backup-simplify]: Simplify 0 into 0
21.610 * [taylor]: Taking taylor expansion of 0 in y
21.610 * [backup-simplify]: Simplify 0 into 0
21.610 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
21.611 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 y))) into 0
21.611 * [taylor]: Taking taylor expansion of 0 in y
21.611 * [backup-simplify]: Simplify 0 into 0
21.612 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
21.612 * [backup-simplify]: Simplify 0 into 0
21.613 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
21.614 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
21.615 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0
21.615 * [taylor]: Taking taylor expansion of 0 in z
21.615 * [backup-simplify]: Simplify 0 into 0
21.615 * [taylor]: Taking taylor expansion of 0 in y
21.615 * [backup-simplify]: Simplify 0 into 0
21.615 * [taylor]: Taking taylor expansion of 0 in y
21.615 * [backup-simplify]: Simplify 0 into 0
21.615 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
21.616 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
21.616 * [taylor]: Taking taylor expansion of 0 in y
21.616 * [backup-simplify]: Simplify 0 into 0
21.616 * [backup-simplify]: Simplify 0 into 0
21.616 * [backup-simplify]: Simplify 0 into 0
21.617 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.617 * [backup-simplify]: Simplify 0 into 0
21.619 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
21.620 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
21.621 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z y))))) into 0
21.621 * [taylor]: Taking taylor expansion of 0 in z
21.621 * [backup-simplify]: Simplify 0 into 0
21.621 * [taylor]: Taking taylor expansion of 0 in y
21.621 * [backup-simplify]: Simplify 0 into 0
21.621 * [taylor]: Taking taylor expansion of 0 in y
21.621 * [backup-simplify]: Simplify 0 into 0
21.621 * [taylor]: Taking taylor expansion of 0 in y
21.621 * [backup-simplify]: Simplify 0 into 0
21.621 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
21.623 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
21.623 * [taylor]: Taking taylor expansion of 0 in y
21.623 * [backup-simplify]: Simplify 0 into 0
21.623 * [backup-simplify]: Simplify 0 into 0
21.623 * [backup-simplify]: Simplify 0 into 0
21.623 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z)
21.623 * * * [progress]: simplifying candidates
21.625 * [simplify]: Simplifying:
  (- (log x) (- (log z) (log y)))
  (- (log x) (log (/ z y)))
  (log (/ x (/ z y)))
  (exp (/ x (/ z y)))
  (/ (* (* x x) x) (/ (* (* z z) z) (* (* y y) y)))
  (/ (* (* x x) x) (* (* (/ z y) (/ z y)) (/ z y)))
  (* (cbrt (/ x (/ z y))) (cbrt (/ x (/ z y))))
  (cbrt (/ x (/ z y)))
  (* (* (/ x (/ z y)) (/ x (/ z y))) (/ x (/ z y)))
  (sqrt (/ x (/ z y)))
  (sqrt (/ x (/ z y)))
  (- x)
  (- (/ z y))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (cbrt x) (cbrt (/ z y)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (/ z y)))
  (/ (cbrt x) (sqrt (/ z y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (cbrt z) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (cbrt x) (/ (cbrt z) (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (cbrt x) (/ (cbrt z) y))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (sqrt z) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (sqrt y)))
  (/ (cbrt x) (/ (sqrt z) (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) 1))
  (/ (cbrt x) (/ (sqrt z) y))
  (/ (* (cbrt x) (cbrt x)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ z (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ 1 (sqrt y)))
  (/ (cbrt x) (/ z (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ 1 1))
  (/ (cbrt x) (/ z y))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (/ z y))
  (/ (* (cbrt x) (cbrt x)) z)
  (/ (cbrt x) (/ 1 y))
  (/ (sqrt x) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (sqrt x) (cbrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ (cbrt z) (cbrt y)))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (sqrt x) (/ (cbrt z) (sqrt y)))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (sqrt x) (/ (cbrt z) y))
  (/ (sqrt x) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ (sqrt z) (cbrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (/ (sqrt z) 1))
  (/ (sqrt x) (/ (sqrt z) y))
  (/ (sqrt x) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ z (cbrt y)))
  (/ (sqrt x) (/ 1 (sqrt y)))
  (/ (sqrt x) (/ z (sqrt y)))
  (/ (sqrt x) (/ 1 1))
  (/ (sqrt x) (/ z y))
  (/ (sqrt x) 1)
  (/ (sqrt x) (/ z y))
  (/ (sqrt x) z)
  (/ (sqrt x) (/ 1 y))
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ x (cbrt (/ z y)))
  (/ 1 (sqrt (/ z y)))
  (/ x (sqrt (/ z y)))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ x (/ (cbrt z) (cbrt y)))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ x (/ (cbrt z) (sqrt y)))
  (/ 1 (/ (* (cbrt z) (cbrt z)) 1))
  (/ x (/ (cbrt z) y))
  (/ 1 (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ x (/ (sqrt z) (cbrt y)))
  (/ 1 (/ (sqrt z) (sqrt y)))
  (/ x (/ (sqrt z) (sqrt y)))
  (/ 1 (/ (sqrt z) 1))
  (/ x (/ (sqrt z) y))
  (/ 1 (/ 1 (* (cbrt y) (cbrt y))))
  (/ x (/ z (cbrt y)))
  (/ 1 (/ 1 (sqrt y)))
  (/ x (/ z (sqrt y)))
  (/ 1 (/ 1 1))
  (/ x (/ z y))
  (/ 1 1)
  (/ x (/ z y))
  (/ 1 z)
  (/ x (/ 1 y))
  (/ 1 (/ z y))
  (/ (/ z y) x)
  (/ x (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ x (sqrt (/ z y)))
  (/ x (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ x (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ x (/ (* (cbrt z) (cbrt z)) 1))
  (/ x (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ x (/ (sqrt z) (sqrt y)))
  (/ x (/ (sqrt z) 1))
  (/ x (/ 1 (* (cbrt y) (cbrt y))))
  (/ x (/ 1 (sqrt y)))
  (/ x (/ 1 1))
  (/ x 1)
  (/ x z)
  (/ (/ z y) (cbrt x))
  (/ (/ z y) (sqrt x))
  (/ (/ z y) x)
  (/ x z)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
21.636 * * [simplify]: Extracting # 0 : cost  0
21.636 * * [simplify]: Extracting # 1 : cost  0
21.636 * * [simplify]: Extracting # 2 : cost  0
21.636 * * [simplify]: Extracting # 3 : cost  0
21.637 * * [simplify]: Extracting # 4 : cost  0
21.637 * * [simplify]: Extracting # 5 : cost  0
21.637 * * [simplify]: Extracting # 6 : cost  0
21.637 * * [simplify]: iteration  0 :  150  enodes  (cost  880 )
21.672 * * [simplify]: Extracting # 0 : cost  0
21.673 * * [simplify]: Extracting # 1 : cost  0
21.674 * * [simplify]: Extracting # 2 : cost  0
21.675 * * [simplify]: iteration  1 :  311  enodes  (cost  813 )
21.826 * * [simplify]: Extracting # 0 : cost  0
21.829 * * [simplify]: Extracting # 1 : cost  0
21.831 * * [simplify]: Extracting # 2 : cost  0
21.833 * * [simplify]: Extracting # 3 : cost  0
21.835 * * [simplify]: iteration  2 :  943  enodes  (cost  773 )
22.614 * * [simplify]: Extracting # 0 : cost  0
22.621 * * [simplify]: Extracting # 1 : cost  0
22.627 * * [simplify]: Extracting # 2 : cost  0
22.632 * * [simplify]: Extracting # 3 : cost  0
22.636 * * [simplify]: Extracting # 4 : cost  0
22.639 * * [simplify]: Extracting # 5 : cost  0
22.642 * * [simplify]: iteration  3 :  2755  enodes  (cost  771 )
23.807 * * [simplify]: Extracting # 0 : cost  0
23.825 * * [simplify]: Extracting # 1 : cost  0
23.835 * * [simplify]: Extracting # 2 : cost  0
23.843 * * [simplify]: iteration done:  5000  enodes  (cost  771 )
23.844 * [simplify]: Simplified to:
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (exp (/ x (/ z y)))
  (pow (/ x (/ z y)) 3)
  (pow (/ x (/ z y)) 3)
  (* (cbrt (/ x (/ z y))) (cbrt (/ x (/ z y))))
  (cbrt (/ x (/ z y)))
  (pow (/ x (/ z y)) 3)
  (sqrt (/ x (/ z y)))
  (sqrt (/ x (/ z y)))
  (- x)
  (- (/ z y))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (cbrt x) (cbrt (/ z y)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (/ z y)))
  (/ (cbrt x) (sqrt (/ z y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (cbrt z) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (* (cbrt x) (/ (sqrt y) (cbrt z)))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))
  (/ (cbrt x) (/ (cbrt z) y))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (sqrt z) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (sqrt y)))
  (/ (cbrt x) (/ (sqrt z) (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (sqrt z))
  (/ (cbrt x) (/ (sqrt z) y))
  (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))
  (/ (cbrt x) (/ z (cbrt y)))
  (* (* (cbrt x) (cbrt x)) (sqrt y))
  (/ (cbrt x) (/ z (sqrt y)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (/ z y))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (/ z y))
  (/ (* (cbrt x) (cbrt x)) z)
  (* (cbrt x) y)
  (/ (sqrt x) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (sqrt x) (cbrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (* (sqrt x) (/ (cbrt y) (cbrt z)))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (* (sqrt x) (/ (sqrt y) (cbrt z)))
  (/ (sqrt x) (* (cbrt z) (cbrt z)))
  (/ (sqrt x) (/ (cbrt z) y))
  (/ (sqrt x) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ (sqrt z) (cbrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (sqrt z))
  (/ (sqrt x) (/ (sqrt z) y))
  (* (sqrt x) (* (cbrt y) (cbrt y)))
  (/ (sqrt x) (/ z (cbrt y)))
  (* (sqrt x) (sqrt y))
  (/ (sqrt x) (/ z (sqrt y)))
  (sqrt x)
  (/ (sqrt x) (/ z y))
  (sqrt x)
  (/ (sqrt x) (/ z y))
  (/ (sqrt x) z)
  (* (sqrt x) y)
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ x (cbrt (/ z y)))
  (/ 1 (sqrt (/ z y)))
  (/ x (sqrt (/ z y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ x (/ (cbrt z) (cbrt y)))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (* x (/ (sqrt y) (cbrt z)))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ x (/ (cbrt z) y))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (/ x (/ (sqrt z) (cbrt y)))
  (/ (sqrt y) (sqrt z))
  (/ x (/ (sqrt z) (sqrt y)))
  (/ 1 (sqrt z))
  (/ x (/ (sqrt z) y))
  (* (cbrt y) (cbrt y))
  (/ x (/ z (cbrt y)))
  (sqrt y)
  (/ x (/ z (sqrt y)))
  1
  (/ x (/ z y))
  1
  (/ x (/ z y))
  (/ 1 z)
  (* x y)
  (/ y z)
  (/ (/ z y) x)
  (/ x (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ x (sqrt (/ z y)))
  (/ x (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ x (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ x (* (cbrt z) (cbrt z)))
  (/ x (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ x (/ (sqrt z) (sqrt y)))
  (/ x (sqrt z))
  (* x (* (cbrt y) (cbrt y)))
  (* x (sqrt y))
  x
  x
  (/ x z)
  (/ (/ z y) (cbrt x))
  (/ (/ z y) (sqrt x))
  (/ (/ z y) x)
  (/ x z)
  (/ x (/ z y))
  (/ x (/ z y))
  (/ x (/ z y))
23.845 * * * [progress]: adding candidates to table
24.072 * [progress]: [Phase 3 of 3] Extracting.
24.073 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* 1 (/ 1 (/ (/ z y) x))))> #<alt (λ (x y z t) (* 1 (/ (/ x z) (/ 1 y))))> #<alt (λ (x y z t) (* (/ y (sqrt z)) (/ x (sqrt z))))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* y (/ x z)))>)
24.073 * * * [regime-changes]: Trying 5 branch expressions: ((/ y z) t z y x)
24.073 * * * * [regimes]: Trying to branch on (/ y z) from (#<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* 1 (/ 1 (/ (/ z y) x))))> #<alt (λ (x y z t) (* 1 (/ (/ x z) (/ 1 y))))> #<alt (λ (x y z t) (* (/ y (sqrt z)) (/ x (sqrt z))))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* y (/ x z)))>)
24.131 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* 1 (/ 1 (/ (/ z y) x))))> #<alt (λ (x y z t) (* 1 (/ (/ x z) (/ 1 y))))> #<alt (λ (x y z t) (* (/ y (sqrt z)) (/ x (sqrt z))))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* y (/ x z)))>)
24.159 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* 1 (/ 1 (/ (/ z y) x))))> #<alt (λ (x y z t) (* 1 (/ (/ x z) (/ 1 y))))> #<alt (λ (x y z t) (* (/ y (sqrt z)) (/ x (sqrt z))))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* y (/ x z)))>)
24.207 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* 1 (/ 1 (/ (/ z y) x))))> #<alt (λ (x y z t) (* 1 (/ (/ x z) (/ 1 y))))> #<alt (λ (x y z t) (* (/ y (sqrt z)) (/ x (sqrt z))))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* y (/ x z)))>)
24.264 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* 1 (/ 1 (/ (/ z y) x))))> #<alt (λ (x y z t) (* 1 (/ (/ x z) (/ 1 y))))> #<alt (λ (x y z t) (* (/ y (sqrt z)) (/ x (sqrt z))))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* y (/ x z)))>)
24.290 * * * [regime]: Found split indices: #<option (#s(si 6 11) #s(si 1 109) #s(si 5 153) #s(si 1 226) #s(si 3 255))>
24.291 * [binary-search]: Only using regimes for bounds on (/ y z) and (#<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* 1 (/ 1 (/ (/ z y) x))))> #<alt (λ (x y z t) (* 1 (/ (/ x z) (/ 1 y))))> #<alt (λ (x y z t) (* (/ y (sqrt z)) (/ x (sqrt z))))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* y (/ x z)))>)
24.291 * [regimes]: Found splitpoints: (#s(sp 6 (/ y z) -1.009555688743657e+278) #s(sp 1 (/ y z) -1.9001417427877727e-270) #s(sp 5 (/ y z) 4.438182973596565e-272) #s(sp 1 (/ y z) 3.561199608254915e+97) #s(sp 3 (/ y z) +nan.0)) , with alts (#<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* 1 (/ 1 (/ (/ z y) x))))> #<alt (λ (x y z t) (* 1 (/ (/ x z) (/ 1 y))))> #<alt (λ (x y z t) (* (/ y (sqrt z)) (/ x (sqrt z))))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* y (/ x z)))>)
24.291 * [simplify]: Simplifying:
  (if (<= (/ y z) -1.009555688743657e+278) (* y (/ x z)) (if (<= (/ y z) -1.9001417427877727e-270) (* 1 (/ x (/ z y))) (if (<= (/ y z) 4.438182973596565e-272) (* 1 (/ (* x y) z)) (if (<= (/ y z) 3.561199608254915e+97) (* 1 (/ x (/ z y))) (* 1 (/ (/ x z) (/ 1 y)))))))
24.292 * * [simplify]: Extracting # 0 : cost  0
24.292 * * [simplify]: Extracting # 1 : cost  0
24.292 * * [simplify]: Extracting # 2 : cost  0
24.292 * * [simplify]: Extracting # 3 : cost  0
24.292 * * [simplify]: Extracting # 4 : cost  0
24.292 * * [simplify]: Extracting # 5 : cost  0
24.292 * * [simplify]: Extracting # 6 : cost  0
24.292 * * [simplify]: Extracting # 7 : cost  0
24.292 * * [simplify]: Extracting # 8 : cost  0
24.292 * * [simplify]: Extracting # 9 : cost  0
24.292 * * [simplify]: Extracting # 10 : cost  0
24.292 * * [simplify]: Extracting # 11 : cost  0
24.292 * * [simplify]: Extracting # 12 : cost  0
24.292 * * [simplify]: iteration  0 :  28  enodes  (cost  59 )
24.294 * * [simplify]: Extracting # 0 : cost  0
24.294 * * [simplify]: Extracting # 1 : cost  0
24.294 * * [simplify]: Extracting # 2 : cost  0
24.294 * * [simplify]: Extracting # 3 : cost  0
24.294 * * [simplify]: Extracting # 4 : cost  0
24.294 * * [simplify]: iteration  1 :  35  enodes  (cost  51 )
24.296 * * [simplify]: Extracting # 0 : cost  0
24.296 * * [simplify]: iteration done:  35  enodes  (cost  51 )
24.296 * [simplify]: Simplified to:
  (if (<= (/ y z) -1.009555688743657e+278) (* y (/ x z)) (if (<= (/ y z) -1.9001417427877727e-270) (/ x (/ z y)) (if (<= (/ y z) 4.438182973596565e-272) (/ (* x y) z) (if (<= (/ y z) 3.561199608254915e+97) (/ x (/ z y)) (/ (/ x z) (/ 1 y))))))
26.065 * [regime-testing]: Baseline error score: 6.343539539273062
26.068 * [regime-testing]: Oracle error score: 0.010126265783222902
26.074 * [regime-testing]: End program error score: 0.6854801411893806