87.696 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.037 * * * [progress]: [2/2] Setting up program.
0.040 * [progress]: [Phase 2 of 3] Improving.
0.041 * [simplify]: Simplifying:
  (* x (/ (* (/ y z) t) t))
0.041 * * [simplify]: Extracting # 0 : cost  0
0.041 * * [simplify]: Extracting # 1 : cost  0
0.041 * * [simplify]: Extracting # 2 : cost  0
0.041 * * [simplify]: Extracting # 3 : cost  0
0.041 * * [simplify]: Extracting # 4 : cost  0
0.041 * * [simplify]: Extracting # 5 : cost  0
0.041 * * [simplify]: Extracting # 6 : cost  0
0.041 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.044 * * [simplify]: Extracting # 0 : cost  0
0.044 * * [simplify]: Extracting # 1 : cost  0
0.044 * * [simplify]: Extracting # 2 : cost  0
0.044 * * [simplify]: iteration  1 :  16  enodes  (cost  9 )
0.050 * * [simplify]: Extracting # 0 : cost  0
0.050 * * [simplify]: Extracting # 1 : cost  0
0.050 * * [simplify]: Extracting # 2 : cost  0
0.050 * * [simplify]: iteration  2 :  42  enodes  (cost  7 )
0.068 * * [simplify]: Extracting # 0 : cost  0
0.069 * * [simplify]: Extracting # 1 : cost  0
0.069 * * [simplify]: Extracting # 2 : cost  0
0.069 * * [simplify]: iteration  3 :  99  enodes  (cost  5 )
0.129 * * [simplify]: Extracting # 0 : cost  0
0.130 * * [simplify]: Extracting # 1 : cost  0
0.130 * * [simplify]: Extracting # 2 : cost  0
0.131 * * [simplify]: iteration  4 :  386  enodes  (cost  5 )
1.632 * * [simplify]: Extracting # 0 : cost  0
1.636 * * [simplify]: Extracting # 1 : cost  0
1.640 * * [simplify]: Extracting # 2 : cost  0
1.642 * * [simplify]: iteration  5 :  1705  enodes  (cost  5 )
5.677 * * [simplify]: Extracting # 0 : cost  0
5.683 * * [simplify]: Extracting # 1 : cost  0
5.689 * * [simplify]: Extracting # 2 : cost  0
5.697 * * [simplify]: Extracting # 3 : cost  0
5.705 * * [simplify]: iteration done:  5001  enodes  (cost  5 )
5.705 * [simplify]: Simplified to:
  (* (/ y z) x)
5.710 * * [progress]: iteration 1 / 4
5.710 * * * [progress]: picking best candidate
5.715 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (/ y z) x))>
5.715 * * * [progress]: localizing error
5.725 * * * [progress]: generating rewritten candidates
5.725 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.763 * * * [progress]: generating series expansions
5.763 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.764 * [backup-simplify]: Simplify (* (/ y z) x) into (/ (* x y) z)
5.764 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (y z x) around 0
5.764 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
5.764 * [taylor]: Taking taylor expansion of (* x y) in x
5.764 * [taylor]: Taking taylor expansion of x in x
5.764 * [backup-simplify]: Simplify 0 into 0
5.764 * [backup-simplify]: Simplify 1 into 1
5.764 * [taylor]: Taking taylor expansion of y in x
5.764 * [backup-simplify]: Simplify y into y
5.764 * [taylor]: Taking taylor expansion of z in x
5.764 * [backup-simplify]: Simplify z into z
5.764 * [backup-simplify]: Simplify (* 0 y) into 0
5.766 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.766 * [backup-simplify]: Simplify (/ y z) into (/ y z)
5.766 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
5.766 * [taylor]: Taking taylor expansion of (* x y) in z
5.766 * [taylor]: Taking taylor expansion of x in z
5.766 * [backup-simplify]: Simplify x into x
5.766 * [taylor]: Taking taylor expansion of y in z
5.766 * [backup-simplify]: Simplify y into y
5.766 * [taylor]: Taking taylor expansion of z in z
5.766 * [backup-simplify]: Simplify 0 into 0
5.766 * [backup-simplify]: Simplify 1 into 1
5.766 * [backup-simplify]: Simplify (* x y) into (* x y)
5.766 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
5.766 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
5.766 * [taylor]: Taking taylor expansion of (* x y) in y
5.766 * [taylor]: Taking taylor expansion of x in y
5.766 * [backup-simplify]: Simplify x into x
5.766 * [taylor]: Taking taylor expansion of y in y
5.766 * [backup-simplify]: Simplify 0 into 0
5.766 * [backup-simplify]: Simplify 1 into 1
5.766 * [taylor]: Taking taylor expansion of z in y
5.766 * [backup-simplify]: Simplify z into z
5.766 * [backup-simplify]: Simplify (* x 0) into 0
5.767 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.767 * [backup-simplify]: Simplify (/ x z) into (/ x z)
5.767 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
5.767 * [taylor]: Taking taylor expansion of (* x y) in y
5.767 * [taylor]: Taking taylor expansion of x in y
5.767 * [backup-simplify]: Simplify x into x
5.767 * [taylor]: Taking taylor expansion of y in y
5.767 * [backup-simplify]: Simplify 0 into 0
5.767 * [backup-simplify]: Simplify 1 into 1
5.767 * [taylor]: Taking taylor expansion of z in y
5.767 * [backup-simplify]: Simplify z into z
5.767 * [backup-simplify]: Simplify (* x 0) into 0
5.768 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.768 * [backup-simplify]: Simplify (/ x z) into (/ x z)
5.768 * [taylor]: Taking taylor expansion of (/ x z) in z
5.768 * [taylor]: Taking taylor expansion of x in z
5.768 * [backup-simplify]: Simplify x into x
5.768 * [taylor]: Taking taylor expansion of z in z
5.768 * [backup-simplify]: Simplify 0 into 0
5.768 * [backup-simplify]: Simplify 1 into 1
5.769 * [backup-simplify]: Simplify (/ x 1) into x
5.769 * [taylor]: Taking taylor expansion of x in x
5.769 * [backup-simplify]: Simplify 0 into 0
5.769 * [backup-simplify]: Simplify 1 into 1
5.769 * [backup-simplify]: Simplify 1 into 1
5.769 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
5.770 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
5.770 * [taylor]: Taking taylor expansion of 0 in z
5.770 * [backup-simplify]: Simplify 0 into 0
5.771 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
5.771 * [taylor]: Taking taylor expansion of 0 in x
5.771 * [backup-simplify]: Simplify 0 into 0
5.771 * [backup-simplify]: Simplify 0 into 0
5.771 * [backup-simplify]: Simplify 0 into 0
5.772 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.773 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.773 * [taylor]: Taking taylor expansion of 0 in z
5.773 * [backup-simplify]: Simplify 0 into 0
5.773 * [taylor]: Taking taylor expansion of 0 in x
5.773 * [backup-simplify]: Simplify 0 into 0
5.773 * [backup-simplify]: Simplify 0 into 0
5.774 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.775 * [taylor]: Taking taylor expansion of 0 in x
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [backup-simplify]: Simplify (* 1 (* x (* (/ 1 z) y))) into (/ (* x y) z)
5.775 * [backup-simplify]: Simplify (* (/ (/ 1 y) (/ 1 z)) (/ 1 x)) into (/ z (* x y))
5.775 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (y z x) around 0
5.775 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.775 * [taylor]: Taking taylor expansion of z in x
5.775 * [backup-simplify]: Simplify z into z
5.775 * [taylor]: Taking taylor expansion of (* x y) in x
5.775 * [taylor]: Taking taylor expansion of x in x
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [backup-simplify]: Simplify 1 into 1
5.775 * [taylor]: Taking taylor expansion of y in x
5.775 * [backup-simplify]: Simplify y into y
5.775 * [backup-simplify]: Simplify (* 0 y) into 0
5.776 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.776 * [backup-simplify]: Simplify (/ z y) into (/ z y)
5.776 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
5.776 * [taylor]: Taking taylor expansion of z in z
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify 1 into 1
5.776 * [taylor]: Taking taylor expansion of (* x y) in z
5.776 * [taylor]: Taking taylor expansion of x in z
5.776 * [backup-simplify]: Simplify x into x
5.776 * [taylor]: Taking taylor expansion of y in z
5.776 * [backup-simplify]: Simplify y into y
5.777 * [backup-simplify]: Simplify (* x y) into (* x y)
5.777 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
5.777 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
5.777 * [taylor]: Taking taylor expansion of z in y
5.777 * [backup-simplify]: Simplify z into z
5.777 * [taylor]: Taking taylor expansion of (* x y) in y
5.777 * [taylor]: Taking taylor expansion of x in y
5.777 * [backup-simplify]: Simplify x into x
5.777 * [taylor]: Taking taylor expansion of y in y
5.777 * [backup-simplify]: Simplify 0 into 0
5.777 * [backup-simplify]: Simplify 1 into 1
5.777 * [backup-simplify]: Simplify (* x 0) into 0
5.777 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.778 * [backup-simplify]: Simplify (/ z x) into (/ z x)
5.778 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
5.778 * [taylor]: Taking taylor expansion of z in y
5.778 * [backup-simplify]: Simplify z into z
5.778 * [taylor]: Taking taylor expansion of (* x y) in y
5.778 * [taylor]: Taking taylor expansion of x in y
5.778 * [backup-simplify]: Simplify x into x
5.778 * [taylor]: Taking taylor expansion of y in y
5.778 * [backup-simplify]: Simplify 0 into 0
5.778 * [backup-simplify]: Simplify 1 into 1
5.778 * [backup-simplify]: Simplify (* x 0) into 0
5.778 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.779 * [backup-simplify]: Simplify (/ z x) into (/ z x)
5.779 * [taylor]: Taking taylor expansion of (/ z x) in z
5.779 * [taylor]: Taking taylor expansion of z in z
5.779 * [backup-simplify]: Simplify 0 into 0
5.779 * [backup-simplify]: Simplify 1 into 1
5.779 * [taylor]: Taking taylor expansion of x in z
5.779 * [backup-simplify]: Simplify x into x
5.779 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.779 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.779 * [taylor]: Taking taylor expansion of x in x
5.779 * [backup-simplify]: Simplify 0 into 0
5.779 * [backup-simplify]: Simplify 1 into 1
5.780 * [backup-simplify]: Simplify (/ 1 1) into 1
5.780 * [backup-simplify]: Simplify 1 into 1
5.780 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
5.781 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
5.781 * [taylor]: Taking taylor expansion of 0 in z
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [taylor]: Taking taylor expansion of 0 in x
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
5.781 * [taylor]: Taking taylor expansion of 0 in x
5.781 * [backup-simplify]: Simplify 0 into 0
5.782 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.782 * [backup-simplify]: Simplify 0 into 0
5.783 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.783 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.783 * [taylor]: Taking taylor expansion of 0 in z
5.783 * [backup-simplify]: Simplify 0 into 0
5.783 * [taylor]: Taking taylor expansion of 0 in x
5.783 * [backup-simplify]: Simplify 0 into 0
5.784 * [taylor]: Taking taylor expansion of 0 in x
5.784 * [backup-simplify]: Simplify 0 into 0
5.784 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.784 * [taylor]: Taking taylor expansion of 0 in x
5.784 * [backup-simplify]: Simplify 0 into 0
5.784 * [backup-simplify]: Simplify 0 into 0
5.784 * [backup-simplify]: Simplify 0 into 0
5.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.785 * [backup-simplify]: Simplify 0 into 0
5.787 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.787 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.787 * [taylor]: Taking taylor expansion of 0 in z
5.787 * [backup-simplify]: Simplify 0 into 0
5.787 * [taylor]: Taking taylor expansion of 0 in x
5.787 * [backup-simplify]: Simplify 0 into 0
5.787 * [taylor]: Taking taylor expansion of 0 in x
5.787 * [backup-simplify]: Simplify 0 into 0
5.787 * [taylor]: Taking taylor expansion of 0 in x
5.787 * [backup-simplify]: Simplify 0 into 0
5.788 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.788 * [taylor]: Taking taylor expansion of 0 in x
5.788 * [backup-simplify]: Simplify 0 into 0
5.788 * [backup-simplify]: Simplify 0 into 0
5.788 * [backup-simplify]: Simplify 0 into 0
5.788 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 z) (/ 1 (/ 1 y))))) into (/ (* x y) z)
5.788 * [backup-simplify]: Simplify (* (/ (/ 1 (- y)) (/ 1 (- z))) (/ 1 (- x))) into (* -1 (/ z (* x y)))
5.788 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (y z x) around 0
5.788 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
5.788 * [taylor]: Taking taylor expansion of -1 in x
5.788 * [backup-simplify]: Simplify -1 into -1
5.788 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.788 * [taylor]: Taking taylor expansion of z in x
5.788 * [backup-simplify]: Simplify z into z
5.788 * [taylor]: Taking taylor expansion of (* x y) in x
5.789 * [taylor]: Taking taylor expansion of x in x
5.789 * [backup-simplify]: Simplify 0 into 0
5.789 * [backup-simplify]: Simplify 1 into 1
5.789 * [taylor]: Taking taylor expansion of y in x
5.789 * [backup-simplify]: Simplify y into y
5.789 * [backup-simplify]: Simplify (* 0 y) into 0
5.789 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.789 * [backup-simplify]: Simplify (/ z y) into (/ z y)
5.790 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
5.790 * [taylor]: Taking taylor expansion of -1 in z
5.790 * [backup-simplify]: Simplify -1 into -1
5.790 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
5.790 * [taylor]: Taking taylor expansion of z in z
5.790 * [backup-simplify]: Simplify 0 into 0
5.790 * [backup-simplify]: Simplify 1 into 1
5.790 * [taylor]: Taking taylor expansion of (* x y) in z
5.790 * [taylor]: Taking taylor expansion of x in z
5.790 * [backup-simplify]: Simplify x into x
5.790 * [taylor]: Taking taylor expansion of y in z
5.790 * [backup-simplify]: Simplify y into y
5.790 * [backup-simplify]: Simplify (* x y) into (* x y)
5.790 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
5.790 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
5.790 * [taylor]: Taking taylor expansion of -1 in y
5.790 * [backup-simplify]: Simplify -1 into -1
5.790 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
5.790 * [taylor]: Taking taylor expansion of z in y
5.790 * [backup-simplify]: Simplify z into z
5.790 * [taylor]: Taking taylor expansion of (* x y) in y
5.790 * [taylor]: Taking taylor expansion of x in y
5.790 * [backup-simplify]: Simplify x into x
5.790 * [taylor]: Taking taylor expansion of y in y
5.790 * [backup-simplify]: Simplify 0 into 0
5.790 * [backup-simplify]: Simplify 1 into 1
5.790 * [backup-simplify]: Simplify (* x 0) into 0
5.791 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.791 * [backup-simplify]: Simplify (/ z x) into (/ z x)
5.791 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
5.791 * [taylor]: Taking taylor expansion of -1 in y
5.791 * [backup-simplify]: Simplify -1 into -1
5.791 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
5.791 * [taylor]: Taking taylor expansion of z in y
5.791 * [backup-simplify]: Simplify z into z
5.791 * [taylor]: Taking taylor expansion of (* x y) in y
5.791 * [taylor]: Taking taylor expansion of x in y
5.791 * [backup-simplify]: Simplify x into x
5.791 * [taylor]: Taking taylor expansion of y in y
5.791 * [backup-simplify]: Simplify 0 into 0
5.791 * [backup-simplify]: Simplify 1 into 1
5.792 * [backup-simplify]: Simplify (* x 0) into 0
5.792 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.792 * [backup-simplify]: Simplify (/ z x) into (/ z x)
5.792 * [backup-simplify]: Simplify (* -1 (/ z x)) into (* -1 (/ z x))
5.792 * [taylor]: Taking taylor expansion of (* -1 (/ z x)) in z
5.792 * [taylor]: Taking taylor expansion of -1 in z
5.793 * [backup-simplify]: Simplify -1 into -1
5.793 * [taylor]: Taking taylor expansion of (/ z x) in z
5.793 * [taylor]: Taking taylor expansion of z in z
5.793 * [backup-simplify]: Simplify 0 into 0
5.793 * [backup-simplify]: Simplify 1 into 1
5.793 * [taylor]: Taking taylor expansion of x in z
5.793 * [backup-simplify]: Simplify x into x
5.793 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.793 * [backup-simplify]: Simplify (* -1 (/ 1 x)) into (/ -1 x)
5.793 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.793 * [taylor]: Taking taylor expansion of -1 in x
5.793 * [backup-simplify]: Simplify -1 into -1
5.793 * [taylor]: Taking taylor expansion of x in x
5.793 * [backup-simplify]: Simplify 0 into 0
5.793 * [backup-simplify]: Simplify 1 into 1
5.794 * [backup-simplify]: Simplify (/ -1 1) into -1
5.794 * [backup-simplify]: Simplify -1 into -1
5.795 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
5.795 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
5.796 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z x))) into 0
5.796 * [taylor]: Taking taylor expansion of 0 in z
5.796 * [backup-simplify]: Simplify 0 into 0
5.796 * [taylor]: Taking taylor expansion of 0 in x
5.796 * [backup-simplify]: Simplify 0 into 0
5.797 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
5.797 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 x))) into 0
5.798 * [taylor]: Taking taylor expansion of 0 in x
5.798 * [backup-simplify]: Simplify 0 into 0
5.799 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.799 * [backup-simplify]: Simplify 0 into 0
5.800 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.800 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.801 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0
5.801 * [taylor]: Taking taylor expansion of 0 in z
5.801 * [backup-simplify]: Simplify 0 into 0
5.801 * [taylor]: Taking taylor expansion of 0 in x
5.801 * [backup-simplify]: Simplify 0 into 0
5.801 * [taylor]: Taking taylor expansion of 0 in x
5.802 * [backup-simplify]: Simplify 0 into 0
5.802 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.803 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
5.803 * [taylor]: Taking taylor expansion of 0 in x
5.803 * [backup-simplify]: Simplify 0 into 0
5.803 * [backup-simplify]: Simplify 0 into 0
5.803 * [backup-simplify]: Simplify 0 into 0
5.804 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.804 * [backup-simplify]: Simplify 0 into 0
5.805 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.806 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.807 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z x))))) into 0
5.808 * [taylor]: Taking taylor expansion of 0 in z
5.808 * [backup-simplify]: Simplify 0 into 0
5.808 * [taylor]: Taking taylor expansion of 0 in x
5.808 * [backup-simplify]: Simplify 0 into 0
5.808 * [taylor]: Taking taylor expansion of 0 in x
5.808 * [backup-simplify]: Simplify 0 into 0
5.808 * [taylor]: Taking taylor expansion of 0 in x
5.808 * [backup-simplify]: Simplify 0 into 0
5.808 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.810 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
5.810 * [taylor]: Taking taylor expansion of 0 in x
5.810 * [backup-simplify]: Simplify 0 into 0
5.810 * [backup-simplify]: Simplify 0 into 0
5.810 * [backup-simplify]: Simplify 0 into 0
5.810 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z)
5.810 * * * [progress]: simplifying candidates
5.811 * [simplify]: Simplifying:
  (expm1 (* (/ y z) x))
  (log1p (* (/ y z) x))
  (* (/ 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.813 * * [simplify]: Extracting # 0 : cost  0
5.813 * * [simplify]: Extracting # 1 : cost  0
5.813 * * [simplify]: Extracting # 2 : cost  0
5.813 * * [simplify]: Extracting # 3 : cost  0
5.813 * * [simplify]: Extracting # 4 : cost  0
5.814 * * [simplify]: Extracting # 5 : cost  0
5.814 * * [simplify]: Extracting # 6 : cost  0
5.814 * * [simplify]: iteration  0 :  70  enodes  (cost  273 )
5.843 * * [simplify]: Extracting # 0 : cost  0
5.843 * * [simplify]: Extracting # 1 : cost  0
5.843 * * [simplify]: Extracting # 2 : cost  0
5.844 * * [simplify]: iteration  1 :  155  enodes  (cost  268 )
5.950 * * [simplify]: Extracting # 0 : cost  0
5.951 * * [simplify]: Extracting # 1 : cost  0
5.951 * * [simplify]: Extracting # 2 : cost  0
5.952 * * [simplify]: Extracting # 3 : cost  0
5.952 * * [simplify]: Extracting # 4 : cost  0
5.953 * * [simplify]: Extracting # 5 : cost  0
5.953 * * [simplify]: Extracting # 6 : cost  0
5.954 * * [simplify]: iteration  2 :  427  enodes  (cost  236 )
6.270 * * [simplify]: Extracting # 0 : cost  0
6.272 * * [simplify]: Extracting # 1 : cost  0
6.274 * * [simplify]: Extracting # 2 : cost  0
6.275 * * [simplify]: Extracting # 3 : cost  0
6.276 * * [simplify]: Extracting # 4 : cost  0
6.278 * * [simplify]: iteration  3 :  1211  enodes  (cost  236 )
9.405 * * [simplify]: Extracting # 0 : cost  0
9.415 * * [simplify]: Extracting # 1 : cost  0
9.419 * * [simplify]: Extracting # 2 : cost  0
9.422 * * [simplify]: Extracting # 3 : cost  0
9.426 * * [simplify]: Extracting # 4 : cost  0
9.429 * * [simplify]: iteration  4 :  3623  enodes  (cost  236 )
12.089 * * [simplify]: Extracting # 0 : cost  0
12.106 * * [simplify]: Extracting # 1 : cost  0
12.115 * * [simplify]: Extracting # 2 : cost  0
12.124 * * [simplify]: iteration done:  5000  enodes  (cost  236 )
12.124 * [simplify]: Simplified to:
  (expm1 (* (/ y z) x))
  (log1p (* (/ y z) x))
  (/ (* x y) z)
  (log (* (/ y z) x))
  (log (* (/ y z) x))
  (log (* (/ y z) x))
  (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)
12.125 * * * [progress]: adding candidates to table
12.252 * * [progress]: iteration 2 / 4
12.252 * * * [progress]: picking best candidate
12.276 * * * * [pick]: Picked  #<alt (λ (x y z t) (* y (/ x z)))>
12.276 * * * [progress]: localizing error
12.286 * * * [progress]: generating rewritten candidates
12.286 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
12.325 * * * [progress]: generating series expansions
12.325 * * * * [progress]: [ 1 / 1 ] generating series at (2)
12.325 * [backup-simplify]: Simplify (* y (/ x z)) into (/ (* x y) z)
12.325 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (y x z) around 0
12.325 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
12.325 * [taylor]: Taking taylor expansion of (* x y) in z
12.326 * [taylor]: Taking taylor expansion of x in z
12.326 * [backup-simplify]: Simplify x into x
12.326 * [taylor]: Taking taylor expansion of y in z
12.326 * [backup-simplify]: Simplify y into y
12.326 * [taylor]: Taking taylor expansion of z in z
12.326 * [backup-simplify]: Simplify 0 into 0
12.326 * [backup-simplify]: Simplify 1 into 1
12.326 * [backup-simplify]: Simplify (* x y) into (* x y)
12.326 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
12.326 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
12.326 * [taylor]: Taking taylor expansion of (* x y) in x
12.326 * [taylor]: Taking taylor expansion of x in x
12.326 * [backup-simplify]: Simplify 0 into 0
12.326 * [backup-simplify]: Simplify 1 into 1
12.326 * [taylor]: Taking taylor expansion of y in x
12.326 * [backup-simplify]: Simplify y into y
12.326 * [taylor]: Taking taylor expansion of z in x
12.326 * [backup-simplify]: Simplify z into z
12.326 * [backup-simplify]: Simplify (* 0 y) into 0
12.327 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
12.327 * [backup-simplify]: Simplify (/ y z) into (/ y z)
12.327 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
12.327 * [taylor]: Taking taylor expansion of (* x y) in y
12.327 * [taylor]: Taking taylor expansion of x in y
12.327 * [backup-simplify]: Simplify x into x
12.327 * [taylor]: Taking taylor expansion of y in y
12.327 * [backup-simplify]: Simplify 0 into 0
12.327 * [backup-simplify]: Simplify 1 into 1
12.328 * [taylor]: Taking taylor expansion of z in y
12.328 * [backup-simplify]: Simplify z into z
12.328 * [backup-simplify]: Simplify (* x 0) into 0
12.329 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
12.329 * [backup-simplify]: Simplify (/ x z) into (/ x z)
12.329 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
12.329 * [taylor]: Taking taylor expansion of (* x y) in y
12.329 * [taylor]: Taking taylor expansion of x in y
12.329 * [backup-simplify]: Simplify x into x
12.329 * [taylor]: Taking taylor expansion of y in y
12.329 * [backup-simplify]: Simplify 0 into 0
12.329 * [backup-simplify]: Simplify 1 into 1
12.329 * [taylor]: Taking taylor expansion of z in y
12.329 * [backup-simplify]: Simplify z into z
12.329 * [backup-simplify]: Simplify (* x 0) into 0
12.330 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
12.330 * [backup-simplify]: Simplify (/ x z) into (/ x z)
12.330 * [taylor]: Taking taylor expansion of (/ x z) in x
12.330 * [taylor]: Taking taylor expansion of x in x
12.330 * [backup-simplify]: Simplify 0 into 0
12.330 * [backup-simplify]: Simplify 1 into 1
12.330 * [taylor]: Taking taylor expansion of z in x
12.330 * [backup-simplify]: Simplify z into z
12.330 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
12.330 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.330 * [taylor]: Taking taylor expansion of z in z
12.330 * [backup-simplify]: Simplify 0 into 0
12.330 * [backup-simplify]: Simplify 1 into 1
12.331 * [backup-simplify]: Simplify (/ 1 1) into 1
12.331 * [backup-simplify]: Simplify 1 into 1
12.332 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
12.332 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
12.332 * [taylor]: Taking taylor expansion of 0 in x
12.332 * [backup-simplify]: Simplify 0 into 0
12.332 * [taylor]: Taking taylor expansion of 0 in z
12.332 * [backup-simplify]: Simplify 0 into 0
12.333 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
12.333 * [taylor]: Taking taylor expansion of 0 in z
12.333 * [backup-simplify]: Simplify 0 into 0
12.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.334 * [backup-simplify]: Simplify 0 into 0
12.335 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
12.335 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
12.335 * [taylor]: Taking taylor expansion of 0 in x
12.335 * [backup-simplify]: Simplify 0 into 0
12.335 * [taylor]: Taking taylor expansion of 0 in z
12.335 * [backup-simplify]: Simplify 0 into 0
12.336 * [taylor]: Taking taylor expansion of 0 in z
12.336 * [backup-simplify]: Simplify 0 into 0
12.336 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
12.336 * [taylor]: Taking taylor expansion of 0 in z
12.336 * [backup-simplify]: Simplify 0 into 0
12.336 * [backup-simplify]: Simplify 0 into 0
12.336 * [backup-simplify]: Simplify 0 into 0
12.337 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.337 * [backup-simplify]: Simplify 0 into 0
12.338 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
12.339 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
12.339 * [taylor]: Taking taylor expansion of 0 in x
12.339 * [backup-simplify]: Simplify 0 into 0
12.339 * [taylor]: Taking taylor expansion of 0 in z
12.339 * [backup-simplify]: Simplify 0 into 0
12.339 * [taylor]: Taking taylor expansion of 0 in z
12.339 * [backup-simplify]: Simplify 0 into 0
12.339 * [taylor]: Taking taylor expansion of 0 in z
12.339 * [backup-simplify]: Simplify 0 into 0
12.339 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
12.339 * [taylor]: Taking taylor expansion of 0 in z
12.339 * [backup-simplify]: Simplify 0 into 0
12.339 * [backup-simplify]: Simplify 0 into 0
12.339 * [backup-simplify]: Simplify 0 into 0
12.340 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* x y))) into (/ (* x y) z)
12.340 * [backup-simplify]: Simplify (* (/ 1 y) (/ (/ 1 x) (/ 1 z))) into (/ z (* x y))
12.340 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (y x z) around 0
12.340 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
12.340 * [taylor]: Taking taylor expansion of z in z
12.340 * [backup-simplify]: Simplify 0 into 0
12.340 * [backup-simplify]: Simplify 1 into 1
12.340 * [taylor]: Taking taylor expansion of (* x y) in z
12.340 * [taylor]: Taking taylor expansion of x in z
12.340 * [backup-simplify]: Simplify x into x
12.340 * [taylor]: Taking taylor expansion of y in z
12.340 * [backup-simplify]: Simplify y into y
12.340 * [backup-simplify]: Simplify (* x y) into (* x y)
12.340 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
12.340 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
12.340 * [taylor]: Taking taylor expansion of z in x
12.340 * [backup-simplify]: Simplify z into z
12.340 * [taylor]: Taking taylor expansion of (* x y) in x
12.340 * [taylor]: Taking taylor expansion of x in x
12.340 * [backup-simplify]: Simplify 0 into 0
12.340 * [backup-simplify]: Simplify 1 into 1
12.340 * [taylor]: Taking taylor expansion of y in x
12.340 * [backup-simplify]: Simplify y into y
12.341 * [backup-simplify]: Simplify (* 0 y) into 0
12.341 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
12.341 * [backup-simplify]: Simplify (/ z y) into (/ z y)
12.341 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
12.341 * [taylor]: Taking taylor expansion of z in y
12.341 * [backup-simplify]: Simplify z into z
12.341 * [taylor]: Taking taylor expansion of (* x y) in y
12.341 * [taylor]: Taking taylor expansion of x in y
12.342 * [backup-simplify]: Simplify x into x
12.342 * [taylor]: Taking taylor expansion of y in y
12.342 * [backup-simplify]: Simplify 0 into 0
12.342 * [backup-simplify]: Simplify 1 into 1
12.342 * [backup-simplify]: Simplify (* x 0) into 0
12.342 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
12.342 * [backup-simplify]: Simplify (/ z x) into (/ z x)
12.342 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
12.342 * [taylor]: Taking taylor expansion of z in y
12.342 * [backup-simplify]: Simplify z into z
12.342 * [taylor]: Taking taylor expansion of (* x y) in y
12.342 * [taylor]: Taking taylor expansion of x in y
12.342 * [backup-simplify]: Simplify x into x
12.343 * [taylor]: Taking taylor expansion of y in y
12.343 * [backup-simplify]: Simplify 0 into 0
12.343 * [backup-simplify]: Simplify 1 into 1
12.343 * [backup-simplify]: Simplify (* x 0) into 0
12.343 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
12.343 * [backup-simplify]: Simplify (/ z x) into (/ z x)
12.343 * [taylor]: Taking taylor expansion of (/ z x) in x
12.343 * [taylor]: Taking taylor expansion of z in x
12.344 * [backup-simplify]: Simplify z into z
12.344 * [taylor]: Taking taylor expansion of x in x
12.344 * [backup-simplify]: Simplify 0 into 0
12.344 * [backup-simplify]: Simplify 1 into 1
12.344 * [backup-simplify]: Simplify (/ z 1) into z
12.344 * [taylor]: Taking taylor expansion of z in z
12.344 * [backup-simplify]: Simplify 0 into 0
12.344 * [backup-simplify]: Simplify 1 into 1
12.344 * [backup-simplify]: Simplify 1 into 1
12.345 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
12.345 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
12.345 * [taylor]: Taking taylor expansion of 0 in x
12.345 * [backup-simplify]: Simplify 0 into 0
12.346 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
12.346 * [taylor]: Taking taylor expansion of 0 in z
12.346 * [backup-simplify]: Simplify 0 into 0
12.346 * [backup-simplify]: Simplify 0 into 0
12.346 * [backup-simplify]: Simplify 0 into 0
12.347 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
12.348 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
12.348 * [taylor]: Taking taylor expansion of 0 in x
12.348 * [backup-simplify]: Simplify 0 into 0
12.348 * [taylor]: Taking taylor expansion of 0 in z
12.348 * [backup-simplify]: Simplify 0 into 0
12.348 * [backup-simplify]: Simplify 0 into 0
12.350 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.350 * [taylor]: Taking taylor expansion of 0 in z
12.350 * [backup-simplify]: Simplify 0 into 0
12.350 * [backup-simplify]: Simplify 0 into 0
12.350 * [backup-simplify]: Simplify 0 into 0
12.350 * [backup-simplify]: Simplify 0 into 0
12.350 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (* x y) z)
12.351 * [backup-simplify]: Simplify (* (/ 1 (- y)) (/ (/ 1 (- x)) (/ 1 (- z)))) into (* -1 (/ z (* x y)))
12.351 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (y x z) around 0
12.351 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
12.351 * [taylor]: Taking taylor expansion of -1 in z
12.351 * [backup-simplify]: Simplify -1 into -1
12.351 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
12.351 * [taylor]: Taking taylor expansion of z in z
12.351 * [backup-simplify]: Simplify 0 into 0
12.351 * [backup-simplify]: Simplify 1 into 1
12.351 * [taylor]: Taking taylor expansion of (* x y) in z
12.351 * [taylor]: Taking taylor expansion of x in z
12.351 * [backup-simplify]: Simplify x into x
12.351 * [taylor]: Taking taylor expansion of y in z
12.351 * [backup-simplify]: Simplify y into y
12.351 * [backup-simplify]: Simplify (* x y) into (* x y)
12.351 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
12.351 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
12.351 * [taylor]: Taking taylor expansion of -1 in x
12.351 * [backup-simplify]: Simplify -1 into -1
12.351 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
12.351 * [taylor]: Taking taylor expansion of z in x
12.351 * [backup-simplify]: Simplify z into z
12.351 * [taylor]: Taking taylor expansion of (* x y) in x
12.351 * [taylor]: Taking taylor expansion of x in x
12.351 * [backup-simplify]: Simplify 0 into 0
12.351 * [backup-simplify]: Simplify 1 into 1
12.351 * [taylor]: Taking taylor expansion of y in x
12.351 * [backup-simplify]: Simplify y into y
12.351 * [backup-simplify]: Simplify (* 0 y) into 0
12.352 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
12.352 * [backup-simplify]: Simplify (/ z y) into (/ z y)
12.352 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
12.352 * [taylor]: Taking taylor expansion of -1 in y
12.352 * [backup-simplify]: Simplify -1 into -1
12.352 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
12.352 * [taylor]: Taking taylor expansion of z in y
12.353 * [backup-simplify]: Simplify z into z
12.353 * [taylor]: Taking taylor expansion of (* x y) in y
12.353 * [taylor]: Taking taylor expansion of x in y
12.353 * [backup-simplify]: Simplify x into x
12.353 * [taylor]: Taking taylor expansion of y in y
12.353 * [backup-simplify]: Simplify 0 into 0
12.353 * [backup-simplify]: Simplify 1 into 1
12.353 * [backup-simplify]: Simplify (* x 0) into 0
12.353 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
12.353 * [backup-simplify]: Simplify (/ z x) into (/ z x)
12.353 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
12.353 * [taylor]: Taking taylor expansion of -1 in y
12.353 * [backup-simplify]: Simplify -1 into -1
12.353 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
12.353 * [taylor]: Taking taylor expansion of z in y
12.353 * [backup-simplify]: Simplify z into z
12.354 * [taylor]: Taking taylor expansion of (* x y) in y
12.354 * [taylor]: Taking taylor expansion of x in y
12.354 * [backup-simplify]: Simplify x into x
12.354 * [taylor]: Taking taylor expansion of y in y
12.354 * [backup-simplify]: Simplify 0 into 0
12.354 * [backup-simplify]: Simplify 1 into 1
12.354 * [backup-simplify]: Simplify (* x 0) into 0
12.354 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
12.354 * [backup-simplify]: Simplify (/ z x) into (/ z x)
12.354 * [backup-simplify]: Simplify (* -1 (/ z x)) into (* -1 (/ z x))
12.354 * [taylor]: Taking taylor expansion of (* -1 (/ z x)) in x
12.355 * [taylor]: Taking taylor expansion of -1 in x
12.355 * [backup-simplify]: Simplify -1 into -1
12.355 * [taylor]: Taking taylor expansion of (/ z x) in x
12.355 * [taylor]: Taking taylor expansion of z in x
12.355 * [backup-simplify]: Simplify z into z
12.355 * [taylor]: Taking taylor expansion of x in x
12.355 * [backup-simplify]: Simplify 0 into 0
12.355 * [backup-simplify]: Simplify 1 into 1
12.355 * [backup-simplify]: Simplify (/ z 1) into z
12.355 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
12.355 * [taylor]: Taking taylor expansion of (* -1 z) in z
12.355 * [taylor]: Taking taylor expansion of -1 in z
12.355 * [backup-simplify]: Simplify -1 into -1
12.355 * [taylor]: Taking taylor expansion of z in z
12.355 * [backup-simplify]: Simplify 0 into 0
12.355 * [backup-simplify]: Simplify 1 into 1
12.355 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
12.356 * [backup-simplify]: Simplify -1 into -1
12.356 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
12.356 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
12.357 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z x))) into 0
12.357 * [taylor]: Taking taylor expansion of 0 in x
12.357 * [backup-simplify]: Simplify 0 into 0
12.358 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
12.358 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0
12.358 * [taylor]: Taking taylor expansion of 0 in z
12.358 * [backup-simplify]: Simplify 0 into 0
12.358 * [backup-simplify]: Simplify 0 into 0
12.359 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
12.359 * [backup-simplify]: Simplify 0 into 0
12.360 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
12.360 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
12.361 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0
12.361 * [taylor]: Taking taylor expansion of 0 in x
12.361 * [backup-simplify]: Simplify 0 into 0
12.361 * [taylor]: Taking taylor expansion of 0 in z
12.361 * [backup-simplify]: Simplify 0 into 0
12.361 * [backup-simplify]: Simplify 0 into 0
12.362 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.363 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
12.363 * [taylor]: Taking taylor expansion of 0 in z
12.363 * [backup-simplify]: Simplify 0 into 0
12.363 * [backup-simplify]: Simplify 0 into 0
12.363 * [backup-simplify]: Simplify 0 into 0
12.364 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
12.364 * [backup-simplify]: Simplify 0 into 0
12.364 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z)
12.364 * * * [progress]: simplifying candidates
12.365 * [simplify]: Simplifying:
  (expm1 (* y (/ x z)))
  (log1p (* y (/ x z)))
  (* 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)
12.365 * * [simplify]: Extracting # 0 : cost  0
12.365 * * [simplify]: Extracting # 1 : cost  0
12.365 * * [simplify]: Extracting # 2 : cost  0
12.366 * * [simplify]: Extracting # 3 : cost  0
12.366 * * [simplify]: Extracting # 4 : cost  0
12.366 * * [simplify]: Extracting # 5 : cost  0
12.366 * * [simplify]: Extracting # 6 : cost  0
12.366 * * [simplify]: Extracting # 7 : cost  0
12.366 * * [simplify]: iteration  0 :  72  enodes  (cost  289 )
12.385 * * [simplify]: Extracting # 0 : cost  0
12.385 * * [simplify]: Extracting # 1 : cost  0
12.386 * * [simplify]: Extracting # 2 : cost  0
12.386 * * [simplify]: iteration  1 :  165  enodes  (cost  272 )
12.466 * * [simplify]: Extracting # 0 : cost  0
12.467 * * [simplify]: Extracting # 1 : cost  0
12.468 * * [simplify]: Extracting # 2 : cost  0
12.469 * * [simplify]: Extracting # 3 : cost  0
12.470 * * [simplify]: Extracting # 4 : cost  0
12.471 * * [simplify]: Extracting # 5 : cost  0
12.472 * * [simplify]: iteration  2 :  450  enodes  (cost  242 )
12.767 * * [simplify]: Extracting # 0 : cost  0
12.770 * * [simplify]: Extracting # 1 : cost  0
12.773 * * [simplify]: Extracting # 2 : cost  0
12.775 * * [simplify]: Extracting # 3 : cost  0
12.777 * * [simplify]: Extracting # 4 : cost  0
12.780 * * [simplify]: iteration  3 :  1179  enodes  (cost  242 )
14.923 * * [simplify]: Extracting # 0 : cost  0
14.932 * * [simplify]: Extracting # 1 : cost  0
14.937 * * [simplify]: Extracting # 2 : cost  0
14.943 * * [simplify]: Extracting # 3 : cost  0
14.954 * * [simplify]: Extracting # 4 : cost  0
14.958 * * [simplify]: iteration  4 :  3001  enodes  (cost  242 )
17.264 * * [simplify]: Extracting # 0 : cost  0
17.278 * * [simplify]: Extracting # 1 : cost  0
17.289 * * [simplify]: Extracting # 2 : cost  0
17.299 * * [simplify]: Extracting # 3 : cost  0
17.308 * * [simplify]: Extracting # 4 : cost  0
17.317 * * [simplify]: iteration done:  5000  enodes  (cost  242 )
17.318 * [simplify]: Simplified to:
  (expm1 (* y (/ x z)))
  (log1p (* y (/ x z)))
  (* y (/ x z))
  (log (* y (/ x z)))
  (log (* y (/ x z)))
  (log (* y (/ x z)))
  (exp (* y (/ x z)))
  (pow (* y (/ x z)) 3)
  (pow (* y (/ x z)) 3)
  (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z))))
  (cbrt (* y (/ x z)))
  (pow (* y (/ x 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)))
  (* (sqrt x) y)
  (/ y (* (cbrt z) (cbrt z)))
  (/ y (sqrt z))
  y
  y
  (* y x)
  (* (cbrt y) (/ x z))
  (* (sqrt y) (/ x z))
  (* y (/ x z))
  (* y x)
  (* y (/ x z))
  (* y (/ x z))
  (* y (/ x z))
17.318 * * * [progress]: adding candidates to table
17.409 * * [progress]: iteration 3 / 4
17.409 * * * [progress]: picking best candidate
17.424 * * * * [pick]: Picked  #<alt (λ (x y z t) (* 1 (/ (* x y) z)))>
17.424 * * * [progress]: localizing error
17.431 * * * [progress]: generating rewritten candidates
17.431 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
17.445 * * * [progress]: generating series expansions
17.445 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
17.446 * [backup-simplify]: Simplify (/ (* x y) z) into (/ (* x y) z)
17.446 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
17.446 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
17.446 * [taylor]: Taking taylor expansion of (* x y) in z
17.446 * [taylor]: Taking taylor expansion of x in z
17.446 * [backup-simplify]: Simplify x into x
17.446 * [taylor]: Taking taylor expansion of y in z
17.446 * [backup-simplify]: Simplify y into y
17.446 * [taylor]: Taking taylor expansion of z in z
17.446 * [backup-simplify]: Simplify 0 into 0
17.446 * [backup-simplify]: Simplify 1 into 1
17.446 * [backup-simplify]: Simplify (* x y) into (* x y)
17.446 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
17.446 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
17.446 * [taylor]: Taking taylor expansion of (* x y) in y
17.446 * [taylor]: Taking taylor expansion of x in y
17.446 * [backup-simplify]: Simplify x into x
17.446 * [taylor]: Taking taylor expansion of y in y
17.446 * [backup-simplify]: Simplify 0 into 0
17.446 * [backup-simplify]: Simplify 1 into 1
17.446 * [taylor]: Taking taylor expansion of z in y
17.446 * [backup-simplify]: Simplify z into z
17.446 * [backup-simplify]: Simplify (* x 0) into 0
17.447 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
17.447 * [backup-simplify]: Simplify (/ x z) into (/ x z)
17.447 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
17.447 * [taylor]: Taking taylor expansion of (* x y) in x
17.447 * [taylor]: Taking taylor expansion of x in x
17.447 * [backup-simplify]: Simplify 0 into 0
17.447 * [backup-simplify]: Simplify 1 into 1
17.447 * [taylor]: Taking taylor expansion of y in x
17.447 * [backup-simplify]: Simplify y into y
17.448 * [taylor]: Taking taylor expansion of z in x
17.448 * [backup-simplify]: Simplify z into z
17.448 * [backup-simplify]: Simplify (* 0 y) into 0
17.448 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
17.448 * [backup-simplify]: Simplify (/ y z) into (/ y z)
17.448 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
17.448 * [taylor]: Taking taylor expansion of (* x y) in x
17.448 * [taylor]: Taking taylor expansion of x in x
17.448 * [backup-simplify]: Simplify 0 into 0
17.448 * [backup-simplify]: Simplify 1 into 1
17.448 * [taylor]: Taking taylor expansion of y in x
17.448 * [backup-simplify]: Simplify y into y
17.449 * [taylor]: Taking taylor expansion of z in x
17.449 * [backup-simplify]: Simplify z into z
17.449 * [backup-simplify]: Simplify (* 0 y) into 0
17.449 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
17.449 * [backup-simplify]: Simplify (/ y z) into (/ y z)
17.449 * [taylor]: Taking taylor expansion of (/ y z) in y
17.450 * [taylor]: Taking taylor expansion of y in y
17.450 * [backup-simplify]: Simplify 0 into 0
17.450 * [backup-simplify]: Simplify 1 into 1
17.450 * [taylor]: Taking taylor expansion of z in y
17.450 * [backup-simplify]: Simplify z into z
17.450 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
17.450 * [taylor]: Taking taylor expansion of (/ 1 z) in z
17.450 * [taylor]: Taking taylor expansion of z in z
17.450 * [backup-simplify]: Simplify 0 into 0
17.450 * [backup-simplify]: Simplify 1 into 1
17.450 * [backup-simplify]: Simplify (/ 1 1) into 1
17.450 * [backup-simplify]: Simplify 1 into 1
17.451 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
17.451 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
17.452 * [taylor]: Taking taylor expansion of 0 in y
17.452 * [backup-simplify]: Simplify 0 into 0
17.452 * [taylor]: Taking taylor expansion of 0 in z
17.452 * [backup-simplify]: Simplify 0 into 0
17.452 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
17.452 * [taylor]: Taking taylor expansion of 0 in z
17.452 * [backup-simplify]: Simplify 0 into 0
17.453 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
17.453 * [backup-simplify]: Simplify 0 into 0
17.454 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
17.454 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
17.454 * [taylor]: Taking taylor expansion of 0 in y
17.454 * [backup-simplify]: Simplify 0 into 0
17.454 * [taylor]: Taking taylor expansion of 0 in z
17.454 * [backup-simplify]: Simplify 0 into 0
17.454 * [taylor]: Taking taylor expansion of 0 in z
17.454 * [backup-simplify]: Simplify 0 into 0
17.455 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
17.455 * [taylor]: Taking taylor expansion of 0 in z
17.455 * [backup-simplify]: Simplify 0 into 0
17.455 * [backup-simplify]: Simplify 0 into 0
17.455 * [backup-simplify]: Simplify 0 into 0
17.456 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.456 * [backup-simplify]: Simplify 0 into 0
17.457 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
17.458 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
17.458 * [taylor]: Taking taylor expansion of 0 in y
17.458 * [backup-simplify]: Simplify 0 into 0
17.458 * [taylor]: Taking taylor expansion of 0 in z
17.458 * [backup-simplify]: Simplify 0 into 0
17.458 * [taylor]: Taking taylor expansion of 0 in z
17.458 * [backup-simplify]: Simplify 0 into 0
17.458 * [taylor]: Taking taylor expansion of 0 in z
17.458 * [backup-simplify]: Simplify 0 into 0
17.458 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
17.458 * [taylor]: Taking taylor expansion of 0 in z
17.458 * [backup-simplify]: Simplify 0 into 0
17.458 * [backup-simplify]: Simplify 0 into 0
17.458 * [backup-simplify]: Simplify 0 into 0
17.458 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* y x))) into (/ (* x y) z)
17.459 * [backup-simplify]: Simplify (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) into (/ z (* x y))
17.459 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
17.459 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
17.459 * [taylor]: Taking taylor expansion of z in z
17.459 * [backup-simplify]: Simplify 0 into 0
17.459 * [backup-simplify]: Simplify 1 into 1
17.459 * [taylor]: Taking taylor expansion of (* x y) in z
17.459 * [taylor]: Taking taylor expansion of x in z
17.459 * [backup-simplify]: Simplify x into x
17.459 * [taylor]: Taking taylor expansion of y in z
17.459 * [backup-simplify]: Simplify y into y
17.459 * [backup-simplify]: Simplify (* x y) into (* x y)
17.459 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
17.459 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
17.459 * [taylor]: Taking taylor expansion of z in y
17.459 * [backup-simplify]: Simplify z into z
17.459 * [taylor]: Taking taylor expansion of (* x y) in y
17.459 * [taylor]: Taking taylor expansion of x in y
17.459 * [backup-simplify]: Simplify x into x
17.459 * [taylor]: Taking taylor expansion of y in y
17.459 * [backup-simplify]: Simplify 0 into 0
17.459 * [backup-simplify]: Simplify 1 into 1
17.459 * [backup-simplify]: Simplify (* x 0) into 0
17.460 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
17.460 * [backup-simplify]: Simplify (/ z x) into (/ z x)
17.460 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
17.460 * [taylor]: Taking taylor expansion of z in x
17.460 * [backup-simplify]: Simplify z into z
17.460 * [taylor]: Taking taylor expansion of (* x y) in x
17.460 * [taylor]: Taking taylor expansion of x in x
17.460 * [backup-simplify]: Simplify 0 into 0
17.460 * [backup-simplify]: Simplify 1 into 1
17.460 * [taylor]: Taking taylor expansion of y in x
17.460 * [backup-simplify]: Simplify y into y
17.460 * [backup-simplify]: Simplify (* 0 y) into 0
17.461 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
17.461 * [backup-simplify]: Simplify (/ z y) into (/ z y)
17.461 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
17.461 * [taylor]: Taking taylor expansion of z in x
17.461 * [backup-simplify]: Simplify z into z
17.461 * [taylor]: Taking taylor expansion of (* x y) in x
17.461 * [taylor]: Taking taylor expansion of x in x
17.461 * [backup-simplify]: Simplify 0 into 0
17.461 * [backup-simplify]: Simplify 1 into 1
17.461 * [taylor]: Taking taylor expansion of y in x
17.461 * [backup-simplify]: Simplify y into y
17.461 * [backup-simplify]: Simplify (* 0 y) into 0
17.462 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
17.462 * [backup-simplify]: Simplify (/ z y) into (/ z y)
17.462 * [taylor]: Taking taylor expansion of (/ z y) in y
17.462 * [taylor]: Taking taylor expansion of z in y
17.462 * [backup-simplify]: Simplify z into z
17.462 * [taylor]: Taking taylor expansion of y in y
17.462 * [backup-simplify]: Simplify 0 into 0
17.462 * [backup-simplify]: Simplify 1 into 1
17.462 * [backup-simplify]: Simplify (/ z 1) into z
17.462 * [taylor]: Taking taylor expansion of z in z
17.462 * [backup-simplify]: Simplify 0 into 0
17.462 * [backup-simplify]: Simplify 1 into 1
17.462 * [backup-simplify]: Simplify 1 into 1
17.463 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
17.463 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
17.463 * [taylor]: Taking taylor expansion of 0 in y
17.463 * [backup-simplify]: Simplify 0 into 0
17.464 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
17.464 * [taylor]: Taking taylor expansion of 0 in z
17.464 * [backup-simplify]: Simplify 0 into 0
17.464 * [backup-simplify]: Simplify 0 into 0
17.464 * [backup-simplify]: Simplify 0 into 0
17.465 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
17.466 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
17.466 * [taylor]: Taking taylor expansion of 0 in y
17.466 * [backup-simplify]: Simplify 0 into 0
17.466 * [taylor]: Taking taylor expansion of 0 in z
17.466 * [backup-simplify]: Simplify 0 into 0
17.466 * [backup-simplify]: Simplify 0 into 0
17.467 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.467 * [taylor]: Taking taylor expansion of 0 in z
17.467 * [backup-simplify]: Simplify 0 into 0
17.467 * [backup-simplify]: Simplify 0 into 0
17.467 * [backup-simplify]: Simplify 0 into 0
17.467 * [backup-simplify]: Simplify 0 into 0
17.468 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (/ (* x y) z)
17.468 * [backup-simplify]: Simplify (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (* -1 (/ z (* x y)))
17.468 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
17.468 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
17.468 * [taylor]: Taking taylor expansion of -1 in z
17.468 * [backup-simplify]: Simplify -1 into -1
17.468 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
17.468 * [taylor]: Taking taylor expansion of z in z
17.468 * [backup-simplify]: Simplify 0 into 0
17.468 * [backup-simplify]: Simplify 1 into 1
17.468 * [taylor]: Taking taylor expansion of (* x y) in z
17.468 * [taylor]: Taking taylor expansion of x in z
17.468 * [backup-simplify]: Simplify x into x
17.468 * [taylor]: Taking taylor expansion of y in z
17.468 * [backup-simplify]: Simplify y into y
17.468 * [backup-simplify]: Simplify (* x y) into (* x y)
17.468 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
17.468 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
17.468 * [taylor]: Taking taylor expansion of -1 in y
17.468 * [backup-simplify]: Simplify -1 into -1
17.468 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
17.468 * [taylor]: Taking taylor expansion of z in y
17.468 * [backup-simplify]: Simplify z into z
17.468 * [taylor]: Taking taylor expansion of (* x y) in y
17.469 * [taylor]: Taking taylor expansion of x in y
17.469 * [backup-simplify]: Simplify x into x
17.469 * [taylor]: Taking taylor expansion of y in y
17.469 * [backup-simplify]: Simplify 0 into 0
17.469 * [backup-simplify]: Simplify 1 into 1
17.469 * [backup-simplify]: Simplify (* x 0) into 0
17.469 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
17.469 * [backup-simplify]: Simplify (/ z x) into (/ z x)
17.469 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
17.470 * [taylor]: Taking taylor expansion of -1 in x
17.470 * [backup-simplify]: Simplify -1 into -1
17.470 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
17.470 * [taylor]: Taking taylor expansion of z in x
17.470 * [backup-simplify]: Simplify z into z
17.470 * [taylor]: Taking taylor expansion of (* x y) in x
17.470 * [taylor]: Taking taylor expansion of x in x
17.470 * [backup-simplify]: Simplify 0 into 0
17.470 * [backup-simplify]: Simplify 1 into 1
17.470 * [taylor]: Taking taylor expansion of y in x
17.470 * [backup-simplify]: Simplify y into y
17.470 * [backup-simplify]: Simplify (* 0 y) into 0
17.470 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
17.471 * [backup-simplify]: Simplify (/ z y) into (/ z y)
17.471 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
17.471 * [taylor]: Taking taylor expansion of -1 in x
17.471 * [backup-simplify]: Simplify -1 into -1
17.471 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
17.471 * [taylor]: Taking taylor expansion of z in x
17.471 * [backup-simplify]: Simplify z into z
17.471 * [taylor]: Taking taylor expansion of (* x y) in x
17.471 * [taylor]: Taking taylor expansion of x in x
17.471 * [backup-simplify]: Simplify 0 into 0
17.471 * [backup-simplify]: Simplify 1 into 1
17.471 * [taylor]: Taking taylor expansion of y in x
17.471 * [backup-simplify]: Simplify y into y
17.471 * [backup-simplify]: Simplify (* 0 y) into 0
17.472 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
17.472 * [backup-simplify]: Simplify (/ z y) into (/ z y)
17.472 * [backup-simplify]: Simplify (* -1 (/ z y)) into (* -1 (/ z y))
17.472 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
17.472 * [taylor]: Taking taylor expansion of -1 in y
17.472 * [backup-simplify]: Simplify -1 into -1
17.472 * [taylor]: Taking taylor expansion of (/ z y) in y
17.472 * [taylor]: Taking taylor expansion of z in y
17.472 * [backup-simplify]: Simplify z into z
17.472 * [taylor]: Taking taylor expansion of y in y
17.472 * [backup-simplify]: Simplify 0 into 0
17.472 * [backup-simplify]: Simplify 1 into 1
17.472 * [backup-simplify]: Simplify (/ z 1) into z
17.472 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
17.472 * [taylor]: Taking taylor expansion of (* -1 z) in z
17.472 * [taylor]: Taking taylor expansion of -1 in z
17.472 * [backup-simplify]: Simplify -1 into -1
17.472 * [taylor]: Taking taylor expansion of z in z
17.472 * [backup-simplify]: Simplify 0 into 0
17.472 * [backup-simplify]: Simplify 1 into 1
17.473 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
17.473 * [backup-simplify]: Simplify -1 into -1
17.474 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
17.474 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
17.474 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z y))) into 0
17.474 * [taylor]: Taking taylor expansion of 0 in y
17.474 * [backup-simplify]: Simplify 0 into 0
17.475 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
17.475 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0
17.475 * [taylor]: Taking taylor expansion of 0 in z
17.475 * [backup-simplify]: Simplify 0 into 0
17.475 * [backup-simplify]: Simplify 0 into 0
17.476 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
17.476 * [backup-simplify]: Simplify 0 into 0
17.477 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
17.477 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
17.478 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0
17.478 * [taylor]: Taking taylor expansion of 0 in y
17.478 * [backup-simplify]: Simplify 0 into 0
17.478 * [taylor]: Taking taylor expansion of 0 in z
17.478 * [backup-simplify]: Simplify 0 into 0
17.478 * [backup-simplify]: Simplify 0 into 0
17.479 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.479 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
17.479 * [taylor]: Taking taylor expansion of 0 in z
17.479 * [backup-simplify]: Simplify 0 into 0
17.479 * [backup-simplify]: Simplify 0 into 0
17.479 * [backup-simplify]: Simplify 0 into 0
17.480 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
17.480 * [backup-simplify]: Simplify 0 into 0
17.480 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z)
17.480 * * * [progress]: simplifying candidates
17.481 * [simplify]: Simplifying:
  (expm1 (/ (* x y) z))
  (log1p (/ (* x y) z))
  (- (+ (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.481 * * [simplify]: Extracting # 0 : cost  0
17.481 * * [simplify]: Extracting # 1 : cost  0
17.481 * * [simplify]: Extracting # 2 : cost  0
17.481 * * [simplify]: Extracting # 3 : cost  0
17.481 * * [simplify]: Extracting # 4 : cost  0
17.481 * * [simplify]: Extracting # 5 : cost  0
17.482 * * [simplify]: Extracting # 6 : cost  0
17.482 * * [simplify]: iteration  0 :  50  enodes  (cost  198 )
17.492 * * [simplify]: Extracting # 0 : cost  0
17.492 * * [simplify]: Extracting # 1 : cost  0
17.492 * * [simplify]: Extracting # 2 : cost  0
17.492 * * [simplify]: iteration  1 :  112  enodes  (cost  191 )
17.532 * * [simplify]: Extracting # 0 : cost  0
17.533 * * [simplify]: Extracting # 1 : cost  0
17.533 * * [simplify]: Extracting # 2 : cost  0
17.534 * * [simplify]: Extracting # 3 : cost  0
17.534 * * [simplify]: Extracting # 4 : cost  0
17.534 * * [simplify]: iteration  2 :  390  enodes  (cost  161 )
18.120 * * [simplify]: Extracting # 0 : cost  0
18.124 * * [simplify]: Extracting # 1 : cost  0
18.127 * * [simplify]: Extracting # 2 : cost  0
18.139 * * [simplify]: Extracting # 3 : cost  0
18.143 * * [simplify]: Extracting # 4 : cost  0
18.147 * * [simplify]: iteration  3 :  1765  enodes  (cost  161 )
21.310 * * [simplify]: Extracting # 0 : cost  0
21.320 * * [simplify]: Extracting # 1 : cost  0
21.325 * * [simplify]: Extracting # 2 : cost  0
21.330 * * [simplify]: Extracting # 3 : cost  0
21.335 * * [simplify]: Extracting # 4 : cost  0
21.341 * * [simplify]: iteration done:  5000  enodes  (cost  161 )
21.342 * [simplify]: Simplified to:
  (expm1 (/ (* x y) z))
  (log1p (/ (* x y) z))
  (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.342 * * * [progress]: adding candidates to table
21.412 * * [progress]: iteration 4 / 4
21.412 * * * [progress]: picking best candidate
21.423 * * * * [pick]: Picked  #<alt (λ (x y z t) (* 1 (/ x (/ z y))))>
21.423 * * * [progress]: localizing error
21.430 * * * [progress]: generating rewritten candidates
21.430 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
21.447 * * * [progress]: generating series expansions
21.447 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
21.447 * [backup-simplify]: Simplify (/ x (/ z y)) into (/ (* x y) z)
21.447 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x z y) around 0
21.447 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
21.447 * [taylor]: Taking taylor expansion of (* x y) in y
21.447 * [taylor]: Taking taylor expansion of x in y
21.447 * [backup-simplify]: Simplify x into x
21.447 * [taylor]: Taking taylor expansion of y in y
21.447 * [backup-simplify]: Simplify 0 into 0
21.447 * [backup-simplify]: Simplify 1 into 1
21.447 * [taylor]: Taking taylor expansion of z in y
21.447 * [backup-simplify]: Simplify z into z
21.447 * [backup-simplify]: Simplify (* x 0) into 0
21.448 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
21.448 * [backup-simplify]: Simplify (/ x z) into (/ x z)
21.448 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
21.448 * [taylor]: Taking taylor expansion of (* x y) in z
21.448 * [taylor]: Taking taylor expansion of x in z
21.448 * [backup-simplify]: Simplify x into x
21.448 * [taylor]: Taking taylor expansion of y in z
21.448 * [backup-simplify]: Simplify y into y
21.448 * [taylor]: Taking taylor expansion of z in z
21.448 * [backup-simplify]: Simplify 0 into 0
21.448 * [backup-simplify]: Simplify 1 into 1
21.448 * [backup-simplify]: Simplify (* x y) into (* x y)
21.448 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
21.448 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
21.448 * [taylor]: Taking taylor expansion of (* x y) in x
21.448 * [taylor]: Taking taylor expansion of x in x
21.448 * [backup-simplify]: Simplify 0 into 0
21.448 * [backup-simplify]: Simplify 1 into 1
21.448 * [taylor]: Taking taylor expansion of y in x
21.448 * [backup-simplify]: Simplify y into y
21.448 * [taylor]: Taking taylor expansion of z in x
21.448 * [backup-simplify]: Simplify z into z
21.448 * [backup-simplify]: Simplify (* 0 y) into 0
21.449 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
21.449 * [backup-simplify]: Simplify (/ y z) into (/ y z)
21.449 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
21.449 * [taylor]: Taking taylor expansion of (* x y) in x
21.449 * [taylor]: Taking taylor expansion of x in x
21.449 * [backup-simplify]: Simplify 0 into 0
21.449 * [backup-simplify]: Simplify 1 into 1
21.449 * [taylor]: Taking taylor expansion of y in x
21.449 * [backup-simplify]: Simplify y into y
21.449 * [taylor]: Taking taylor expansion of z in x
21.449 * [backup-simplify]: Simplify z into z
21.449 * [backup-simplify]: Simplify (* 0 y) into 0
21.449 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
21.450 * [backup-simplify]: Simplify (/ y z) into (/ y z)
21.450 * [taylor]: Taking taylor expansion of (/ y z) in z
21.450 * [taylor]: Taking taylor expansion of y in z
21.450 * [backup-simplify]: Simplify y into y
21.450 * [taylor]: Taking taylor expansion of z in z
21.450 * [backup-simplify]: Simplify 0 into 0
21.450 * [backup-simplify]: Simplify 1 into 1
21.450 * [backup-simplify]: Simplify (/ y 1) into y
21.450 * [taylor]: Taking taylor expansion of y in y
21.450 * [backup-simplify]: Simplify 0 into 0
21.450 * [backup-simplify]: Simplify 1 into 1
21.450 * [backup-simplify]: Simplify 1 into 1
21.450 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
21.451 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
21.451 * [taylor]: Taking taylor expansion of 0 in z
21.451 * [backup-simplify]: Simplify 0 into 0
21.451 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
21.451 * [taylor]: Taking taylor expansion of 0 in y
21.451 * [backup-simplify]: Simplify 0 into 0
21.451 * [backup-simplify]: Simplify 0 into 0
21.451 * [backup-simplify]: Simplify 0 into 0
21.452 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
21.452 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
21.452 * [taylor]: Taking taylor expansion of 0 in z
21.452 * [backup-simplify]: Simplify 0 into 0
21.452 * [taylor]: Taking taylor expansion of 0 in y
21.452 * [backup-simplify]: Simplify 0 into 0
21.452 * [backup-simplify]: Simplify 0 into 0
21.454 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.454 * [taylor]: Taking taylor expansion of 0 in y
21.454 * [backup-simplify]: Simplify 0 into 0
21.454 * [backup-simplify]: Simplify 0 into 0
21.454 * [backup-simplify]: Simplify 0 into 0
21.454 * [backup-simplify]: Simplify 0 into 0
21.454 * [backup-simplify]: Simplify (* 1 (* y (* (/ 1 z) x))) into (/ (* x y) z)
21.454 * [backup-simplify]: Simplify (/ (/ 1 x) (/ (/ 1 z) (/ 1 y))) into (/ z (* x y))
21.454 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x z y) around 0
21.454 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
21.454 * [taylor]: Taking taylor expansion of z in y
21.454 * [backup-simplify]: Simplify z into z
21.454 * [taylor]: Taking taylor expansion of (* x y) in y
21.454 * [taylor]: Taking taylor expansion of x in y
21.454 * [backup-simplify]: Simplify x into x
21.454 * [taylor]: Taking taylor expansion of y in y
21.454 * [backup-simplify]: Simplify 0 into 0
21.454 * [backup-simplify]: Simplify 1 into 1
21.454 * [backup-simplify]: Simplify (* x 0) into 0
21.455 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
21.455 * [backup-simplify]: Simplify (/ z x) into (/ z x)
21.455 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
21.455 * [taylor]: Taking taylor expansion of z in z
21.455 * [backup-simplify]: Simplify 0 into 0
21.455 * [backup-simplify]: Simplify 1 into 1
21.455 * [taylor]: Taking taylor expansion of (* x y) in z
21.455 * [taylor]: Taking taylor expansion of x in z
21.455 * [backup-simplify]: Simplify x into x
21.455 * [taylor]: Taking taylor expansion of y in z
21.455 * [backup-simplify]: Simplify y into y
21.455 * [backup-simplify]: Simplify (* x y) into (* x y)
21.455 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
21.455 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
21.455 * [taylor]: Taking taylor expansion of z in x
21.455 * [backup-simplify]: Simplify z into z
21.455 * [taylor]: Taking taylor expansion of (* x y) in x
21.455 * [taylor]: Taking taylor expansion of x in x
21.455 * [backup-simplify]: Simplify 0 into 0
21.455 * [backup-simplify]: Simplify 1 into 1
21.455 * [taylor]: Taking taylor expansion of y in x
21.455 * [backup-simplify]: Simplify y into y
21.455 * [backup-simplify]: Simplify (* 0 y) into 0
21.456 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
21.456 * [backup-simplify]: Simplify (/ z y) into (/ z y)
21.456 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
21.456 * [taylor]: Taking taylor expansion of z in x
21.456 * [backup-simplify]: Simplify z into z
21.456 * [taylor]: Taking taylor expansion of (* x y) in x
21.456 * [taylor]: Taking taylor expansion of x in x
21.456 * [backup-simplify]: Simplify 0 into 0
21.456 * [backup-simplify]: Simplify 1 into 1
21.456 * [taylor]: Taking taylor expansion of y in x
21.456 * [backup-simplify]: Simplify y into y
21.456 * [backup-simplify]: Simplify (* 0 y) into 0
21.456 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
21.456 * [backup-simplify]: Simplify (/ z y) into (/ z y)
21.456 * [taylor]: Taking taylor expansion of (/ z y) in z
21.456 * [taylor]: Taking taylor expansion of z in z
21.456 * [backup-simplify]: Simplify 0 into 0
21.456 * [backup-simplify]: Simplify 1 into 1
21.456 * [taylor]: Taking taylor expansion of y in z
21.456 * [backup-simplify]: Simplify y into y
21.456 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
21.456 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.456 * [taylor]: Taking taylor expansion of y in y
21.456 * [backup-simplify]: Simplify 0 into 0
21.456 * [backup-simplify]: Simplify 1 into 1
21.457 * [backup-simplify]: Simplify (/ 1 1) into 1
21.457 * [backup-simplify]: Simplify 1 into 1
21.457 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
21.458 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
21.458 * [taylor]: Taking taylor expansion of 0 in z
21.458 * [backup-simplify]: Simplify 0 into 0
21.458 * [taylor]: Taking taylor expansion of 0 in y
21.458 * [backup-simplify]: Simplify 0 into 0
21.458 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
21.458 * [taylor]: Taking taylor expansion of 0 in y
21.458 * [backup-simplify]: Simplify 0 into 0
21.458 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.458 * [backup-simplify]: Simplify 0 into 0
21.459 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
21.459 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
21.459 * [taylor]: Taking taylor expansion of 0 in z
21.459 * [backup-simplify]: Simplify 0 into 0
21.459 * [taylor]: Taking taylor expansion of 0 in y
21.459 * [backup-simplify]: Simplify 0 into 0
21.459 * [taylor]: Taking taylor expansion of 0 in y
21.459 * [backup-simplify]: Simplify 0 into 0
21.460 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
21.460 * [taylor]: Taking taylor expansion of 0 in y
21.460 * [backup-simplify]: Simplify 0 into 0
21.460 * [backup-simplify]: Simplify 0 into 0
21.460 * [backup-simplify]: Simplify 0 into 0
21.460 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.460 * [backup-simplify]: Simplify 0 into 0
21.461 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
21.462 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
21.462 * [taylor]: Taking taylor expansion of 0 in z
21.462 * [backup-simplify]: Simplify 0 into 0
21.462 * [taylor]: Taking taylor expansion of 0 in y
21.462 * [backup-simplify]: Simplify 0 into 0
21.462 * [taylor]: Taking taylor expansion of 0 in y
21.462 * [backup-simplify]: Simplify 0 into 0
21.462 * [taylor]: Taking taylor expansion of 0 in y
21.462 * [backup-simplify]: Simplify 0 into 0
21.462 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
21.462 * [taylor]: Taking taylor expansion of 0 in y
21.462 * [backup-simplify]: Simplify 0 into 0
21.462 * [backup-simplify]: Simplify 0 into 0
21.462 * [backup-simplify]: Simplify 0 into 0
21.462 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 z) (/ 1 (/ 1 x))))) into (/ (* x y) z)
21.462 * [backup-simplify]: Simplify (/ (/ 1 (- x)) (/ (/ 1 (- z)) (/ 1 (- y)))) into (* -1 (/ z (* x y)))
21.462 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x z y) around 0
21.462 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
21.462 * [taylor]: Taking taylor expansion of -1 in y
21.462 * [backup-simplify]: Simplify -1 into -1
21.462 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
21.462 * [taylor]: Taking taylor expansion of z in y
21.462 * [backup-simplify]: Simplify z into z
21.462 * [taylor]: Taking taylor expansion of (* x y) in y
21.462 * [taylor]: Taking taylor expansion of x in y
21.462 * [backup-simplify]: Simplify x into x
21.462 * [taylor]: Taking taylor expansion of y in y
21.462 * [backup-simplify]: Simplify 0 into 0
21.462 * [backup-simplify]: Simplify 1 into 1
21.463 * [backup-simplify]: Simplify (* x 0) into 0
21.463 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
21.463 * [backup-simplify]: Simplify (/ z x) into (/ z x)
21.463 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
21.463 * [taylor]: Taking taylor expansion of -1 in z
21.463 * [backup-simplify]: Simplify -1 into -1
21.463 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
21.463 * [taylor]: Taking taylor expansion of z in z
21.463 * [backup-simplify]: Simplify 0 into 0
21.463 * [backup-simplify]: Simplify 1 into 1
21.463 * [taylor]: Taking taylor expansion of (* x y) in z
21.464 * [taylor]: Taking taylor expansion of x in z
21.464 * [backup-simplify]: Simplify x into x
21.464 * [taylor]: Taking taylor expansion of y in z
21.464 * [backup-simplify]: Simplify y into y
21.464 * [backup-simplify]: Simplify (* x y) into (* x y)
21.464 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
21.464 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
21.464 * [taylor]: Taking taylor expansion of -1 in x
21.464 * [backup-simplify]: Simplify -1 into -1
21.464 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
21.464 * [taylor]: Taking taylor expansion of z in x
21.464 * [backup-simplify]: Simplify z into z
21.464 * [taylor]: Taking taylor expansion of (* x y) in x
21.464 * [taylor]: Taking taylor expansion of x in x
21.464 * [backup-simplify]: Simplify 0 into 0
21.464 * [backup-simplify]: Simplify 1 into 1
21.464 * [taylor]: Taking taylor expansion of y in x
21.464 * [backup-simplify]: Simplify y into y
21.464 * [backup-simplify]: Simplify (* 0 y) into 0
21.464 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
21.464 * [backup-simplify]: Simplify (/ z y) into (/ z y)
21.464 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
21.464 * [taylor]: Taking taylor expansion of -1 in x
21.464 * [backup-simplify]: Simplify -1 into -1
21.464 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
21.464 * [taylor]: Taking taylor expansion of z in x
21.465 * [backup-simplify]: Simplify z into z
21.465 * [taylor]: Taking taylor expansion of (* x y) in x
21.465 * [taylor]: Taking taylor expansion of x in x
21.465 * [backup-simplify]: Simplify 0 into 0
21.465 * [backup-simplify]: Simplify 1 into 1
21.465 * [taylor]: Taking taylor expansion of y in x
21.465 * [backup-simplify]: Simplify y into y
21.465 * [backup-simplify]: Simplify (* 0 y) into 0
21.465 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
21.465 * [backup-simplify]: Simplify (/ z y) into (/ z y)
21.465 * [backup-simplify]: Simplify (* -1 (/ z y)) into (* -1 (/ z y))
21.465 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z
21.465 * [taylor]: Taking taylor expansion of -1 in z
21.465 * [backup-simplify]: Simplify -1 into -1
21.465 * [taylor]: Taking taylor expansion of (/ z y) in z
21.465 * [taylor]: Taking taylor expansion of z in z
21.465 * [backup-simplify]: Simplify 0 into 0
21.465 * [backup-simplify]: Simplify 1 into 1
21.465 * [taylor]: Taking taylor expansion of y in z
21.465 * [backup-simplify]: Simplify y into y
21.465 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
21.465 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y)
21.465 * [taylor]: Taking taylor expansion of (/ -1 y) in y
21.465 * [taylor]: Taking taylor expansion of -1 in y
21.465 * [backup-simplify]: Simplify -1 into -1
21.465 * [taylor]: Taking taylor expansion of y in y
21.465 * [backup-simplify]: Simplify 0 into 0
21.466 * [backup-simplify]: Simplify 1 into 1
21.466 * [backup-simplify]: Simplify (/ -1 1) into -1
21.466 * [backup-simplify]: Simplify -1 into -1
21.467 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
21.467 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
21.467 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z y))) into 0
21.467 * [taylor]: Taking taylor expansion of 0 in z
21.467 * [backup-simplify]: Simplify 0 into 0
21.467 * [taylor]: Taking taylor expansion of 0 in y
21.467 * [backup-simplify]: Simplify 0 into 0
21.467 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
21.468 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 y))) into 0
21.468 * [taylor]: Taking taylor expansion of 0 in y
21.468 * [backup-simplify]: Simplify 0 into 0
21.468 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
21.468 * [backup-simplify]: Simplify 0 into 0
21.469 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
21.469 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
21.470 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0
21.470 * [taylor]: Taking taylor expansion of 0 in z
21.470 * [backup-simplify]: Simplify 0 into 0
21.470 * [taylor]: Taking taylor expansion of 0 in y
21.470 * [backup-simplify]: Simplify 0 into 0
21.470 * [taylor]: Taking taylor expansion of 0 in y
21.470 * [backup-simplify]: Simplify 0 into 0
21.470 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
21.471 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
21.471 * [taylor]: Taking taylor expansion of 0 in y
21.471 * [backup-simplify]: Simplify 0 into 0
21.471 * [backup-simplify]: Simplify 0 into 0
21.471 * [backup-simplify]: Simplify 0 into 0
21.472 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.472 * [backup-simplify]: Simplify 0 into 0
21.473 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
21.473 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
21.474 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z y))))) into 0
21.475 * [taylor]: Taking taylor expansion of 0 in z
21.475 * [backup-simplify]: Simplify 0 into 0
21.475 * [taylor]: Taking taylor expansion of 0 in y
21.475 * [backup-simplify]: Simplify 0 into 0
21.475 * [taylor]: Taking taylor expansion of 0 in y
21.475 * [backup-simplify]: Simplify 0 into 0
21.475 * [taylor]: Taking taylor expansion of 0 in y
21.475 * [backup-simplify]: Simplify 0 into 0
21.475 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
21.477 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
21.477 * [taylor]: Taking taylor expansion of 0 in y
21.477 * [backup-simplify]: Simplify 0 into 0
21.477 * [backup-simplify]: Simplify 0 into 0
21.477 * [backup-simplify]: Simplify 0 into 0
21.477 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z)
21.477 * * * [progress]: simplifying candidates
21.479 * [simplify]: Simplifying:
  (expm1 (/ x (/ z y)))
  (log1p (/ x (/ z y)))
  (- (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.482 * * [simplify]: Extracting # 0 : cost  0
21.483 * * [simplify]: Extracting # 1 : cost  0
21.483 * * [simplify]: Extracting # 2 : cost  0
21.483 * * [simplify]: Extracting # 3 : cost  0
21.484 * * [simplify]: Extracting # 4 : cost  0
21.484 * * [simplify]: Extracting # 5 : cost  0
21.484 * * [simplify]: Extracting # 6 : cost  0
21.485 * * [simplify]: iteration  0 :  152  enodes  (cost  892 )
21.545 * * [simplify]: Extracting # 0 : cost  0
21.546 * * [simplify]: Extracting # 1 : cost  0
21.546 * * [simplify]: Extracting # 2 : cost  0
21.546 * * [simplify]: iteration  1 :  313  enodes  (cost  825 )
21.635 * * [simplify]: Extracting # 0 : cost  0
21.636 * * [simplify]: Extracting # 1 : cost  0
21.637 * * [simplify]: Extracting # 2 : cost  0
21.639 * * [simplify]: Extracting # 3 : cost  0
21.644 * * [simplify]: Extracting # 4 : cost  0
21.645 * * [simplify]: Extracting # 5 : cost  0
21.646 * * [simplify]: iteration  2 :  947  enodes  (cost  785 )
22.431 * * [simplify]: Extracting # 0 : cost  0
22.437 * * [simplify]: Extracting # 1 : cost  0
22.442 * * [simplify]: Extracting # 2 : cost  0
22.447 * * [simplify]: Extracting # 3 : cost  0
22.452 * * [simplify]: Extracting # 4 : cost  0
22.457 * * [simplify]: Extracting # 5 : cost  0
22.462 * * [simplify]: Extracting # 6 : cost  0
22.467 * * [simplify]: iteration  3 :  2760  enodes  (cost  783 )
23.727 * * [simplify]: Extracting # 0 : cost  0
23.739 * * [simplify]: Extracting # 1 : cost  0
23.756 * * [simplify]: Extracting # 2 : cost  0
23.767 * * [simplify]: iteration done:  5000  enodes  (cost  783 )
23.768 * [simplify]: Simplified to:
  (expm1 (/ x (/ z y)))
  (log1p (/ x (/ z y)))
  (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 z) (cbrt y)))
  (/ (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.770 * * * [progress]: adding candidates to table
24.042 * [progress]: [Phase 3 of 3] Extracting.
24.042 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* 1 (* (/ x (sqrt z)) (/ y (sqrt z)))))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (* 1 (/ 1 (/ (/ z y) x))))> #<alt (λ (x y z t) (* 1 (/ (/ x z) (/ 1 y))))>)
24.043 * * * [regime-changes]: Trying 5 branch expressions: ((/ y z) t z y x)
24.043 * * * * [regimes]: Trying to branch on (/ y z) from (#<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* 1 (* (/ x (sqrt z)) (/ y (sqrt z)))))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (* 1 (/ 1 (/ (/ z y) x))))> #<alt (λ (x y z t) (* 1 (/ (/ x z) (/ 1 y))))>)
24.134 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* 1 (* (/ x (sqrt z)) (/ y (sqrt z)))))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (* 1 (/ 1 (/ (/ z y) x))))> #<alt (λ (x y z t) (* 1 (/ (/ x z) (/ 1 y))))>)
24.159 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* 1 (* (/ x (sqrt z)) (/ y (sqrt z)))))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (* 1 (/ 1 (/ (/ z y) x))))> #<alt (λ (x y z t) (* 1 (/ (/ x z) (/ 1 y))))>)
24.220 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* 1 (* (/ x (sqrt z)) (/ y (sqrt z)))))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (* 1 (/ 1 (/ (/ z y) x))))> #<alt (λ (x y z t) (* 1 (/ (/ x z) (/ 1 y))))>)
24.270 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* 1 (* (/ x (sqrt z)) (/ y (sqrt z)))))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (* 1 (/ 1 (/ (/ z y) x))))> #<alt (λ (x y z t) (* 1 (/ (/ x z) (/ 1 y))))>)
24.310 * * * [regime]: Found split indices: #<option (#s(si 0 11) #s(si 1 109) #s(si 3 153) #s(si 1 226) #s(si 6 255))>
24.311 * [binary-search]: Only using regimes for bounds on (/ y z) and (#<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* 1 (* (/ x (sqrt z)) (/ y (sqrt z)))))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (* 1 (/ 1 (/ (/ z y) x))))> #<alt (λ (x y z t) (* 1 (/ (/ x z) (/ 1 y))))>)
24.311 * [regimes]: Found splitpoints: (#s(sp 0 (/ y z) -1.009555688743657e+278) #s(sp 1 (/ y z) -1.9001417427877727e-270) #s(sp 3 (/ y z) 4.438182973596565e-272) #s(sp 1 (/ y z) 3.561199608254915e+97) #s(sp 6 (/ y z) +nan.0)) , with alts (#<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* 1 (* (/ x (sqrt z)) (/ y (sqrt z)))))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (* 1 (/ 1 (/ (/ z y) x))))> #<alt (λ (x y z t) (* 1 (/ (/ x z) (/ 1 y))))>)
24.311 * [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.311 * * [simplify]: Extracting # 0 : cost  0
24.312 * * [simplify]: Extracting # 1 : cost  0
24.312 * * [simplify]: Extracting # 2 : cost  0
24.312 * * [simplify]: Extracting # 3 : cost  0
24.312 * * [simplify]: Extracting # 4 : cost  0
24.312 * * [simplify]: Extracting # 5 : cost  0
24.312 * * [simplify]: Extracting # 6 : cost  0
24.312 * * [simplify]: Extracting # 7 : cost  0
24.312 * * [simplify]: Extracting # 8 : cost  0
24.312 * * [simplify]: Extracting # 9 : cost  0
24.312 * * [simplify]: Extracting # 10 : cost  0
24.312 * * [simplify]: Extracting # 11 : cost  0
24.312 * * [simplify]: Extracting # 12 : cost  0
24.312 * * [simplify]: iteration  0 :  28  enodes  (cost  59 )
24.314 * * [simplify]: Extracting # 0 : cost  0
24.314 * * [simplify]: Extracting # 1 : cost  0
24.314 * * [simplify]: Extracting # 2 : cost  0
24.314 * * [simplify]: Extracting # 3 : cost  0
24.314 * * [simplify]: Extracting # 4 : cost  0
24.314 * * [simplify]: iteration  1 :  35  enodes  (cost  51 )
24.315 * * [simplify]: Extracting # 0 : cost  0
24.315 * * [simplify]: iteration done:  35  enodes  (cost  51 )
24.315 * [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))))))
25.826 * [regime-testing]: Baseline error score: 6.343539539273062
25.828 * [regime-testing]: Oracle error score: 0.010126265783222902
25.833 * [regime-testing]: End program error score: 0.6854801411893806