29.589 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.039 * * * [progress]: [2/2] Setting up program.
0.042 * [progress]: [Phase 2 of 3] Improving.
0.042 * [simplify]: Simplifying:
  (- (+ (- (* x y) (* y y)) (* y y)) (* y z))
0.042 * * [simplify]: Extracting # 0 : cost  0
0.042 * * [simplify]: Extracting # 1 : cost  0
0.043 * * [simplify]: Extracting # 2 : cost  0
0.043 * * [simplify]: Extracting # 3 : cost  0
0.043 * * [simplify]: Extracting # 4 : cost  0
0.043 * * [simplify]: Extracting # 5 : cost  0
0.043 * * [simplify]: Extracting # 6 : cost  0
0.043 * * [simplify]: iteration  0 :  9  enodes  (cost  15 )
0.046 * * [simplify]: Extracting # 0 : cost  0
0.046 * * [simplify]: Extracting # 1 : cost  0
0.046 * * [simplify]: Extracting # 2 : cost  0
0.046 * * [simplify]: Extracting # 3 : cost  0
0.046 * * [simplify]: iteration  1 :  23  enodes  (cost  13 )
0.058 * * [simplify]: Extracting # 0 : cost  0
0.058 * * [simplify]: Extracting # 1 : cost  0
0.058 * * [simplify]: Extracting # 2 : cost  0
0.058 * * [simplify]: Extracting # 3 : cost  0
0.059 * * [simplify]: Extracting # 4 : cost  0
0.059 * * [simplify]: iteration  2 :  77  enodes  (cost  8 )
0.115 * * [simplify]: Extracting # 0 : cost  0
0.116 * * [simplify]: Extracting # 1 : cost  0
0.116 * * [simplify]: Extracting # 2 : cost  0
0.117 * * [simplify]: Extracting # 3 : cost  0
0.117 * * [simplify]: iteration  3 :  200  enodes  (cost  7 )
0.350 * * [simplify]: Extracting # 0 : cost  0
0.351 * * [simplify]: Extracting # 1 : cost  0
0.352 * * [simplify]: Extracting # 2 : cost  0
0.352 * * [simplify]: Extracting # 3 : cost  0
0.353 * * [simplify]: Extracting # 4 : cost  0
0.353 * * [simplify]: iteration  4 :  607  enodes  (cost  5 )
2.131 * * [simplify]: Extracting # 0 : cost  0
2.135 * * [simplify]: Extracting # 1 : cost  0
2.138 * * [simplify]: Extracting # 2 : cost  0
2.141 * * [simplify]: Extracting # 3 : cost  0
2.143 * * [simplify]: Extracting # 4 : cost  0
2.148 * * [simplify]: iteration  5 :  1872  enodes  (cost  5 )
8.935 * * [simplify]: Extracting # 0 : cost  0
8.942 * * [simplify]: Extracting # 1 : cost  0
8.945 * * [simplify]: Extracting # 2 : cost  0
8.948 * * [simplify]: Extracting # 3 : cost  0
8.952 * * [simplify]: Extracting # 4 : cost  0
8.955 * * [simplify]: iteration done:  5000  enodes  (cost  5 )
8.955 * [simplify]: Simplified to:
  (* (- x z) y)
8.958 * * [progress]: iteration 1 / 4
8.958 * * * [progress]: picking best candidate
8.960 * * * * [pick]: Picked  #<alt (λ (x y z) (* (- x z) y))>
8.961 * * * [progress]: localizing error
8.965 * * * [progress]: generating rewritten candidates
8.965 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
9.011 * * * [progress]: generating series expansions
9.011 * * * * [progress]: [ 1 / 1 ] generating series at (2)
9.012 * [backup-simplify]: Simplify (* (- x z) y) into (* y (- x z))
9.012 * [approximate]: Taking taylor expansion of (* y (- x z)) in (x z y) around 0
9.012 * [taylor]: Taking taylor expansion of (* y (- x z)) in y
9.012 * [taylor]: Taking taylor expansion of y in y
9.012 * [backup-simplify]: Simplify 0 into 0
9.012 * [backup-simplify]: Simplify 1 into 1
9.012 * [taylor]: Taking taylor expansion of (- x z) in y
9.012 * [taylor]: Taking taylor expansion of x in y
9.012 * [backup-simplify]: Simplify x into x
9.012 * [taylor]: Taking taylor expansion of z in y
9.012 * [backup-simplify]: Simplify z into z
9.012 * [taylor]: Taking taylor expansion of (* y (- x z)) in z
9.012 * [taylor]: Taking taylor expansion of y in z
9.012 * [backup-simplify]: Simplify y into y
9.012 * [taylor]: Taking taylor expansion of (- x z) in z
9.012 * [taylor]: Taking taylor expansion of x in z
9.012 * [backup-simplify]: Simplify x into x
9.012 * [taylor]: Taking taylor expansion of z in z
9.012 * [backup-simplify]: Simplify 0 into 0
9.012 * [backup-simplify]: Simplify 1 into 1
9.012 * [taylor]: Taking taylor expansion of (* y (- x z)) in x
9.012 * [taylor]: Taking taylor expansion of y in x
9.012 * [backup-simplify]: Simplify y into y
9.012 * [taylor]: Taking taylor expansion of (- x z) in x
9.012 * [taylor]: Taking taylor expansion of x in x
9.012 * [backup-simplify]: Simplify 0 into 0
9.012 * [backup-simplify]: Simplify 1 into 1
9.013 * [taylor]: Taking taylor expansion of z in x
9.013 * [backup-simplify]: Simplify z into z
9.013 * [taylor]: Taking taylor expansion of (* y (- x z)) in x
9.013 * [taylor]: Taking taylor expansion of y in x
9.013 * [backup-simplify]: Simplify y into y
9.013 * [taylor]: Taking taylor expansion of (- x z) in x
9.013 * [taylor]: Taking taylor expansion of x in x
9.013 * [backup-simplify]: Simplify 0 into 0
9.013 * [backup-simplify]: Simplify 1 into 1
9.013 * [taylor]: Taking taylor expansion of z in x
9.013 * [backup-simplify]: Simplify z into z
9.013 * [backup-simplify]: Simplify (- z) into (- z)
9.013 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
9.013 * [backup-simplify]: Simplify (* y (- z)) into (* -1 (* z y))
9.013 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z
9.013 * [taylor]: Taking taylor expansion of -1 in z
9.013 * [backup-simplify]: Simplify -1 into -1
9.013 * [taylor]: Taking taylor expansion of (* z y) in z
9.013 * [taylor]: Taking taylor expansion of z in z
9.013 * [backup-simplify]: Simplify 0 into 0
9.013 * [backup-simplify]: Simplify 1 into 1
9.013 * [taylor]: Taking taylor expansion of y in z
9.013 * [backup-simplify]: Simplify y into y
9.013 * [backup-simplify]: Simplify (* 0 y) into 0
9.014 * [backup-simplify]: Simplify (* -1 0) into 0
9.014 * [taylor]: Taking taylor expansion of 0 in y
9.014 * [backup-simplify]: Simplify 0 into 0
9.014 * [backup-simplify]: Simplify 0 into 0
9.015 * [backup-simplify]: Simplify (- 0) into 0
9.015 * [backup-simplify]: Simplify (+ 1 0) into 1
9.015 * [backup-simplify]: Simplify (+ (* y 1) (* 0 (- z))) into y
9.015 * [taylor]: Taking taylor expansion of y in z
9.015 * [backup-simplify]: Simplify y into y
9.015 * [taylor]: Taking taylor expansion of y in y
9.015 * [backup-simplify]: Simplify 0 into 0
9.015 * [backup-simplify]: Simplify 1 into 1
9.015 * [backup-simplify]: Simplify 0 into 0
9.016 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.016 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y)
9.016 * [taylor]: Taking taylor expansion of (- y) in y
9.016 * [taylor]: Taking taylor expansion of y in y
9.016 * [backup-simplify]: Simplify 0 into 0
9.016 * [backup-simplify]: Simplify 1 into 1
9.017 * [backup-simplify]: Simplify (- 0) into 0
9.017 * [backup-simplify]: Simplify 0 into 0
9.017 * [backup-simplify]: Simplify 0 into 0
9.017 * [backup-simplify]: Simplify (- 0) into 0
9.018 * [backup-simplify]: Simplify (+ 0 0) into 0
9.019 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 (- z)))) into 0
9.019 * [taylor]: Taking taylor expansion of 0 in z
9.019 * [backup-simplify]: Simplify 0 into 0
9.019 * [taylor]: Taking taylor expansion of 0 in y
9.019 * [backup-simplify]: Simplify 0 into 0
9.019 * [backup-simplify]: Simplify 0 into 0
9.019 * [taylor]: Taking taylor expansion of 0 in y
9.019 * [backup-simplify]: Simplify 0 into 0
9.019 * [backup-simplify]: Simplify 0 into 0
9.019 * [backup-simplify]: Simplify 0 into 0
9.019 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 z)) (/ 1 y)) into (/ (- (/ 1 x) (/ 1 z)) y)
9.019 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0
9.019 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
9.019 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
9.019 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.019 * [taylor]: Taking taylor expansion of x in y
9.019 * [backup-simplify]: Simplify x into x
9.019 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.019 * [taylor]: Taking taylor expansion of (/ 1 z) in y
9.019 * [taylor]: Taking taylor expansion of z in y
9.020 * [backup-simplify]: Simplify z into z
9.020 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.020 * [taylor]: Taking taylor expansion of y in y
9.020 * [backup-simplify]: Simplify 0 into 0
9.020 * [backup-simplify]: Simplify 1 into 1
9.020 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
9.020 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
9.020 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
9.020 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
9.020 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
9.020 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.020 * [taylor]: Taking taylor expansion of x in z
9.020 * [backup-simplify]: Simplify x into x
9.020 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.020 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.020 * [taylor]: Taking taylor expansion of z in z
9.020 * [backup-simplify]: Simplify 0 into 0
9.020 * [backup-simplify]: Simplify 1 into 1
9.021 * [backup-simplify]: Simplify (/ 1 1) into 1
9.021 * [taylor]: Taking taylor expansion of y in z
9.021 * [backup-simplify]: Simplify y into y
9.021 * [backup-simplify]: Simplify (- 1) into -1
9.022 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.022 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
9.022 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
9.022 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
9.022 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.022 * [taylor]: Taking taylor expansion of x in x
9.022 * [backup-simplify]: Simplify 0 into 0
9.022 * [backup-simplify]: Simplify 1 into 1
9.022 * [backup-simplify]: Simplify (/ 1 1) into 1
9.022 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.022 * [taylor]: Taking taylor expansion of z in x
9.022 * [backup-simplify]: Simplify z into z
9.022 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.022 * [taylor]: Taking taylor expansion of y in x
9.022 * [backup-simplify]: Simplify y into y
9.023 * [backup-simplify]: Simplify (+ 1 0) into 1
9.023 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.023 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
9.023 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
9.023 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.023 * [taylor]: Taking taylor expansion of x in x
9.023 * [backup-simplify]: Simplify 0 into 0
9.023 * [backup-simplify]: Simplify 1 into 1
9.023 * [backup-simplify]: Simplify (/ 1 1) into 1
9.023 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.023 * [taylor]: Taking taylor expansion of z in x
9.023 * [backup-simplify]: Simplify z into z
9.024 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.024 * [taylor]: Taking taylor expansion of y in x
9.024 * [backup-simplify]: Simplify y into y
9.024 * [backup-simplify]: Simplify (+ 1 0) into 1
9.024 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.024 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.024 * [taylor]: Taking taylor expansion of y in z
9.024 * [backup-simplify]: Simplify y into y
9.024 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.025 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.025 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
9.025 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
9.025 * [backup-simplify]: Simplify (- (/ (- (/ 1 z)) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (/ 1 (* z y)))
9.025 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z
9.026 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
9.026 * [taylor]: Taking taylor expansion of (* z y) in z
9.026 * [taylor]: Taking taylor expansion of z in z
9.026 * [backup-simplify]: Simplify 0 into 0
9.026 * [backup-simplify]: Simplify 1 into 1
9.026 * [taylor]: Taking taylor expansion of y in z
9.026 * [backup-simplify]: Simplify y into y
9.026 * [backup-simplify]: Simplify (* 0 y) into 0
9.026 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.026 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.026 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
9.026 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
9.026 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.026 * [taylor]: Taking taylor expansion of y in y
9.026 * [backup-simplify]: Simplify 0 into 0
9.026 * [backup-simplify]: Simplify 1 into 1
9.027 * [backup-simplify]: Simplify (/ 1 1) into 1
9.027 * [backup-simplify]: Simplify (- 1) into -1
9.027 * [backup-simplify]: Simplify -1 into -1
9.027 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.027 * [taylor]: Taking taylor expansion of y in y
9.027 * [backup-simplify]: Simplify 0 into 0
9.027 * [backup-simplify]: Simplify 1 into 1
9.028 * [backup-simplify]: Simplify (/ 1 1) into 1
9.028 * [backup-simplify]: Simplify 1 into 1
9.029 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.029 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
9.029 * [backup-simplify]: Simplify (- 0) into 0
9.029 * [backup-simplify]: Simplify (+ 0 0) into 0
9.030 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)))) into 0
9.030 * [taylor]: Taking taylor expansion of 0 in z
9.030 * [backup-simplify]: Simplify 0 into 0
9.030 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
9.031 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.031 * [backup-simplify]: Simplify (- 0) into 0
9.031 * [taylor]: Taking taylor expansion of 0 in y
9.031 * [backup-simplify]: Simplify 0 into 0
9.031 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.031 * [taylor]: Taking taylor expansion of 0 in y
9.031 * [backup-simplify]: Simplify 0 into 0
9.032 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.032 * [backup-simplify]: Simplify (- 0) into 0
9.032 * [backup-simplify]: Simplify 0 into 0
9.033 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.033 * [backup-simplify]: Simplify 0 into 0
9.034 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.034 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
9.035 * [backup-simplify]: Simplify (- 0) into 0
9.035 * [backup-simplify]: Simplify (+ 0 0) into 0
9.035 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.035 * [taylor]: Taking taylor expansion of 0 in z
9.035 * [backup-simplify]: Simplify 0 into 0
9.035 * [taylor]: Taking taylor expansion of 0 in y
9.035 * [backup-simplify]: Simplify 0 into 0
9.036 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
9.037 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.037 * [backup-simplify]: Simplify (- 0) into 0
9.037 * [taylor]: Taking taylor expansion of 0 in y
9.037 * [backup-simplify]: Simplify 0 into 0
9.037 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.037 * [taylor]: Taking taylor expansion of 0 in y
9.037 * [backup-simplify]: Simplify 0 into 0
9.037 * [backup-simplify]: Simplify 0 into 0
9.037 * [backup-simplify]: Simplify 0 into 0
9.039 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.039 * [backup-simplify]: Simplify (- 0) into 0
9.039 * [backup-simplify]: Simplify 0 into 0
9.040 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.040 * [backup-simplify]: Simplify 0 into 0
9.040 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 z)) 1)))) into (- (* x y) (* z y))
9.041 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) into (* -1 (/ (- (/ 1 z) (/ 1 x)) y))
9.041 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (x z y) around 0
9.041 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
9.041 * [taylor]: Taking taylor expansion of -1 in y
9.041 * [backup-simplify]: Simplify -1 into -1
9.041 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
9.041 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
9.041 * [taylor]: Taking taylor expansion of (/ 1 z) in y
9.041 * [taylor]: Taking taylor expansion of z in y
9.041 * [backup-simplify]: Simplify z into z
9.041 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.041 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.041 * [taylor]: Taking taylor expansion of x in y
9.041 * [backup-simplify]: Simplify x into x
9.041 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.041 * [taylor]: Taking taylor expansion of y in y
9.041 * [backup-simplify]: Simplify 0 into 0
9.041 * [backup-simplify]: Simplify 1 into 1
9.041 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
9.041 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
9.042 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
9.042 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z
9.042 * [taylor]: Taking taylor expansion of -1 in z
9.042 * [backup-simplify]: Simplify -1 into -1
9.042 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
9.042 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
9.042 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.042 * [taylor]: Taking taylor expansion of z in z
9.042 * [backup-simplify]: Simplify 0 into 0
9.042 * [backup-simplify]: Simplify 1 into 1
9.042 * [backup-simplify]: Simplify (/ 1 1) into 1
9.042 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.042 * [taylor]: Taking taylor expansion of x in z
9.042 * [backup-simplify]: Simplify x into x
9.042 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.042 * [taylor]: Taking taylor expansion of y in z
9.042 * [backup-simplify]: Simplify y into y
9.043 * [backup-simplify]: Simplify (+ 1 0) into 1
9.043 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.043 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
9.043 * [taylor]: Taking taylor expansion of -1 in x
9.043 * [backup-simplify]: Simplify -1 into -1
9.043 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
9.043 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
9.043 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.043 * [taylor]: Taking taylor expansion of z in x
9.043 * [backup-simplify]: Simplify z into z
9.043 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.043 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.043 * [taylor]: Taking taylor expansion of x in x
9.043 * [backup-simplify]: Simplify 0 into 0
9.043 * [backup-simplify]: Simplify 1 into 1
9.044 * [backup-simplify]: Simplify (/ 1 1) into 1
9.044 * [taylor]: Taking taylor expansion of y in x
9.044 * [backup-simplify]: Simplify y into y
9.044 * [backup-simplify]: Simplify (- 1) into -1
9.044 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.044 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
9.044 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
9.045 * [taylor]: Taking taylor expansion of -1 in x
9.045 * [backup-simplify]: Simplify -1 into -1
9.045 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
9.045 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
9.045 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.045 * [taylor]: Taking taylor expansion of z in x
9.045 * [backup-simplify]: Simplify z into z
9.045 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.045 * [taylor]: Taking taylor expansion of x in x
9.045 * [backup-simplify]: Simplify 0 into 0
9.045 * [backup-simplify]: Simplify 1 into 1
9.045 * [backup-simplify]: Simplify (/ 1 1) into 1
9.045 * [taylor]: Taking taylor expansion of y in x
9.045 * [backup-simplify]: Simplify y into y
9.046 * [backup-simplify]: Simplify (- 1) into -1
9.046 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.046 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
9.046 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
9.046 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.046 * [taylor]: Taking taylor expansion of y in z
9.046 * [backup-simplify]: Simplify y into y
9.046 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.047 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.047 * [backup-simplify]: Simplify (- 0) into 0
9.048 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
9.048 * [backup-simplify]: Simplify (- (/ (/ 1 z) y) (+ (* (/ -1 y) (/ 0 y)))) into (/ 1 (* z y))
9.048 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (* z y))) (* 0 (/ -1 y))) into (- (/ 1 (* z y)))
9.048 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z
9.048 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
9.048 * [taylor]: Taking taylor expansion of (* z y) in z
9.048 * [taylor]: Taking taylor expansion of z in z
9.048 * [backup-simplify]: Simplify 0 into 0
9.048 * [backup-simplify]: Simplify 1 into 1
9.048 * [taylor]: Taking taylor expansion of y in z
9.048 * [backup-simplify]: Simplify y into y
9.048 * [backup-simplify]: Simplify (* 0 y) into 0
9.049 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.049 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.049 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
9.049 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
9.049 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.049 * [taylor]: Taking taylor expansion of y in y
9.049 * [backup-simplify]: Simplify 0 into 0
9.049 * [backup-simplify]: Simplify 1 into 1
9.049 * [backup-simplify]: Simplify (/ 1 1) into 1
9.050 * [backup-simplify]: Simplify (- 1) into -1
9.050 * [backup-simplify]: Simplify -1 into -1
9.050 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.050 * [taylor]: Taking taylor expansion of y in y
9.050 * [backup-simplify]: Simplify 0 into 0
9.050 * [backup-simplify]: Simplify 1 into 1
9.050 * [backup-simplify]: Simplify (/ 1 1) into 1
9.050 * [backup-simplify]: Simplify 1 into 1
9.050 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
9.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.051 * [backup-simplify]: Simplify (- 0) into 0
9.052 * [backup-simplify]: Simplify (+ 0 0) into 0
9.052 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* z y)) (/ 0 y)))) into 0
9.053 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (* z y))) (* 0 (/ -1 y)))) into 0
9.053 * [taylor]: Taking taylor expansion of 0 in z
9.053 * [backup-simplify]: Simplify 0 into 0
9.053 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
9.054 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.054 * [backup-simplify]: Simplify (- 0) into 0
9.054 * [taylor]: Taking taylor expansion of 0 in y
9.054 * [backup-simplify]: Simplify 0 into 0
9.054 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
9.054 * [taylor]: Taking taylor expansion of 0 in y
9.054 * [backup-simplify]: Simplify 0 into 0
9.055 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.055 * [backup-simplify]: Simplify (- 0) into 0
9.055 * [backup-simplify]: Simplify 0 into 0
9.056 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.056 * [backup-simplify]: Simplify 0 into 0
9.056 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
9.057 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.057 * [backup-simplify]: Simplify (- 0) into 0
9.058 * [backup-simplify]: Simplify (+ 0 0) into 0
9.058 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* z y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.059 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (* z y))) (* 0 (/ -1 y))))) into 0
9.059 * [taylor]: Taking taylor expansion of 0 in z
9.059 * [backup-simplify]: Simplify 0 into 0
9.059 * [taylor]: Taking taylor expansion of 0 in y
9.059 * [backup-simplify]: Simplify 0 into 0
9.060 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
9.060 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.061 * [backup-simplify]: Simplify (- 0) into 0
9.061 * [taylor]: Taking taylor expansion of 0 in y
9.061 * [backup-simplify]: Simplify 0 into 0
9.061 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.061 * [taylor]: Taking taylor expansion of 0 in y
9.061 * [backup-simplify]: Simplify 0 into 0
9.061 * [backup-simplify]: Simplify 0 into 0
9.061 * [backup-simplify]: Simplify 0 into 0
9.062 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.062 * [backup-simplify]: Simplify (- 0) into 0
9.062 * [backup-simplify]: Simplify 0 into 0
9.063 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.063 * [backup-simplify]: Simplify 0 into 0
9.064 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- z))) 1)))) into (- (* x y) (* z y))
9.064 * * * [progress]: simplifying candidates
9.065 * [simplify]: Simplifying:
  (expm1 (* (- x z) y))
  (log1p (* (- x z) y))
  (* (- x z) y)
  (+ (log (- x z)) (log y))
  (log (* (- x z) y))
  (exp (* (- x z) y))
  (* (* (* (- x z) (- x z)) (- x z)) (* (* y y) 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))
  (* (sqrt (- x z)) (sqrt y))
  (* (sqrt (- x z)) (sqrt y))
  (* (- x z) (* (cbrt y) (cbrt y)))
  (* (- x z) (sqrt y))
  (* (- x z) 1)
  (* (cbrt (- x z)) y)
  (* (sqrt (- x z)) y)
  (* (- x z) y)
  (* (- (sqrt x) (sqrt z)) y)
  (* (- x z) y)
  (* (- (pow x 3) (pow z 3)) y)
  (* (- (* x x) (* z z)) y)
  0
  (- (* x y) (* z y))
  (- (* x y) (* z y))
9.065 * * [simplify]: Extracting # 0 : cost  0
9.065 * * [simplify]: Extracting # 1 : cost  0
9.066 * * [simplify]: Extracting # 2 : cost  0
9.066 * * [simplify]: Extracting # 3 : cost  0
9.066 * * [simplify]: Extracting # 4 : cost  0
9.066 * * [simplify]: Extracting # 5 : cost  0
9.066 * * [simplify]: iteration  0 :  51  enodes  (cost  197 )
9.077 * * [simplify]: Extracting # 0 : cost  0
9.077 * * [simplify]: Extracting # 1 : cost  0
9.077 * * [simplify]: Extracting # 2 : cost  0
9.077 * * [simplify]: Extracting # 3 : cost  0
9.077 * * [simplify]: iteration  1 :  109  enodes  (cost  190 )
9.111 * * [simplify]: Extracting # 0 : cost  0
9.112 * * [simplify]: Extracting # 1 : cost  0
9.112 * * [simplify]: Extracting # 2 : cost  0
9.113 * * [simplify]: Extracting # 3 : cost  0
9.113 * * [simplify]: Extracting # 4 : cost  0
9.113 * * [simplify]: Extracting # 5 : cost  0
9.114 * * [simplify]: iteration  2 :  349  enodes  (cost  174 )
9.463 * * [simplify]: Extracting # 0 : cost  0
9.465 * * [simplify]: Extracting # 1 : cost  0
9.467 * * [simplify]: Extracting # 2 : cost  0
9.469 * * [simplify]: Extracting # 3 : cost  0
9.471 * * [simplify]: Extracting # 4 : cost  0
9.473 * * [simplify]: iteration  3 :  1285  enodes  (cost  170 )
12.011 * * [simplify]: Extracting # 0 : cost  0
12.017 * * [simplify]: Extracting # 1 : cost  0
12.020 * * [simplify]: Extracting # 2 : cost  0
12.023 * * [simplify]: Extracting # 3 : cost  0
12.026 * * [simplify]: Extracting # 4 : cost  0
12.029 * * [simplify]: iteration  4 :  4544  enodes  (cost  170 )
13.318 * * [simplify]: Extracting # 0 : cost  0
13.321 * * [simplify]: Extracting # 1 : cost  0
13.325 * * [simplify]: iteration done:  5000  enodes  (cost  170 )
13.325 * [simplify]: Simplified to:
  (expm1 (* (- x z) y))
  (log1p (* (- x z) y))
  (* (- x z) y)
  (log (* (- x z) y))
  (log (* (- x z) y))
  (exp (* (- x z) y))
  (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))
  (* (sqrt (- x z)) (sqrt y))
  (* (sqrt (- x z)) (sqrt y))
  (* (- x z) (* (cbrt y) (cbrt y)))
  (* (- x z) (sqrt y))
  (- x z)
  (* (cbrt (- x z)) y)
  (* (sqrt (- x z)) y)
  (* (- x z) y)
  (* (- (sqrt x) (sqrt z)) y)
  (* (- x z) y)
  (* (- (pow x 3) (pow z 3)) y)
  (* (- (* x x) (* z z)) y)
  0
  (* (- x z) y)
  (* (- x z) y)
13.326 * * * [progress]: adding candidates to table
13.380 * * [progress]: iteration 2 / 4
13.380 * * * [progress]: picking best candidate
13.384 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ (- (* x y) (* y y)) (* y y)) (* y z)))>
13.384 * * * [progress]: localizing error
13.395 * * * [progress]: generating rewritten candidates
13.395 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
13.436 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
13.450 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
13.731 * * * [progress]: generating series expansions
13.732 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
13.732 * [backup-simplify]: Simplify (+ (- (* x y) (* y y)) (* y y)) into (* x y)
13.732 * [approximate]: Taking taylor expansion of (* x y) in (x y) around 0
13.732 * [taylor]: Taking taylor expansion of (* x y) in y
13.732 * [taylor]: Taking taylor expansion of x in y
13.732 * [backup-simplify]: Simplify x into x
13.732 * [taylor]: Taking taylor expansion of y in y
13.732 * [backup-simplify]: Simplify 0 into 0
13.732 * [backup-simplify]: Simplify 1 into 1
13.732 * [taylor]: Taking taylor expansion of (* x y) in x
13.732 * [taylor]: Taking taylor expansion of x in x
13.732 * [backup-simplify]: Simplify 0 into 0
13.732 * [backup-simplify]: Simplify 1 into 1
13.732 * [taylor]: Taking taylor expansion of y in x
13.732 * [backup-simplify]: Simplify y into y
13.732 * [taylor]: Taking taylor expansion of (* x y) in x
13.732 * [taylor]: Taking taylor expansion of x in x
13.732 * [backup-simplify]: Simplify 0 into 0
13.732 * [backup-simplify]: Simplify 1 into 1
13.732 * [taylor]: Taking taylor expansion of y in x
13.732 * [backup-simplify]: Simplify y into y
13.733 * [backup-simplify]: Simplify (* 0 y) into 0
13.733 * [taylor]: Taking taylor expansion of 0 in y
13.733 * [backup-simplify]: Simplify 0 into 0
13.733 * [backup-simplify]: Simplify 0 into 0
13.733 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
13.733 * [taylor]: Taking taylor expansion of y in y
13.734 * [backup-simplify]: Simplify 0 into 0
13.734 * [backup-simplify]: Simplify 1 into 1
13.734 * [backup-simplify]: Simplify 0 into 0
13.734 * [backup-simplify]: Simplify 0 into 0
13.734 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
13.734 * [taylor]: Taking taylor expansion of 0 in y
13.734 * [backup-simplify]: Simplify 0 into 0
13.735 * [backup-simplify]: Simplify 0 into 0
13.735 * [backup-simplify]: Simplify 1 into 1
13.735 * [backup-simplify]: Simplify 0 into 0
13.736 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
13.736 * [taylor]: Taking taylor expansion of 0 in y
13.736 * [backup-simplify]: Simplify 0 into 0
13.736 * [backup-simplify]: Simplify 0 into 0
13.736 * [backup-simplify]: Simplify 0 into 0
13.736 * [backup-simplify]: Simplify 0 into 0
13.736 * [backup-simplify]: Simplify 0 into 0
13.738 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
13.738 * [taylor]: Taking taylor expansion of 0 in y
13.738 * [backup-simplify]: Simplify 0 into 0
13.738 * [backup-simplify]: Simplify 0 into 0
13.738 * [backup-simplify]: Simplify (* 1 (* y x)) into (* x y)
13.739 * [backup-simplify]: Simplify (+ (- (* (/ 1 x) (/ 1 y)) (* (/ 1 y) (/ 1 y))) (* (/ 1 y) (/ 1 y))) into (/ 1 (* x y))
13.739 * [approximate]: Taking taylor expansion of (/ 1 (* x y)) in (x y) around 0
13.739 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
13.739 * [taylor]: Taking taylor expansion of (* x y) in y
13.739 * [taylor]: Taking taylor expansion of x in y
13.739 * [backup-simplify]: Simplify x into x
13.739 * [taylor]: Taking taylor expansion of y in y
13.739 * [backup-simplify]: Simplify 0 into 0
13.739 * [backup-simplify]: Simplify 1 into 1
13.739 * [backup-simplify]: Simplify (* x 0) into 0
13.739 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
13.740 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.740 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
13.740 * [taylor]: Taking taylor expansion of (* x y) in x
13.740 * [taylor]: Taking taylor expansion of x in x
13.740 * [backup-simplify]: Simplify 0 into 0
13.740 * [backup-simplify]: Simplify 1 into 1
13.740 * [taylor]: Taking taylor expansion of y in x
13.740 * [backup-simplify]: Simplify y into y
13.740 * [backup-simplify]: Simplify (* 0 y) into 0
13.740 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
13.740 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.740 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
13.740 * [taylor]: Taking taylor expansion of (* x y) in x
13.740 * [taylor]: Taking taylor expansion of x in x
13.740 * [backup-simplify]: Simplify 0 into 0
13.740 * [backup-simplify]: Simplify 1 into 1
13.740 * [taylor]: Taking taylor expansion of y in x
13.741 * [backup-simplify]: Simplify y into y
13.741 * [backup-simplify]: Simplify (* 0 y) into 0
13.741 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
13.741 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.741 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.741 * [taylor]: Taking taylor expansion of y in y
13.741 * [backup-simplify]: Simplify 0 into 0
13.741 * [backup-simplify]: Simplify 1 into 1
13.742 * [backup-simplify]: Simplify (/ 1 1) into 1
13.742 * [backup-simplify]: Simplify 1 into 1
13.743 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
13.743 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
13.743 * [taylor]: Taking taylor expansion of 0 in y
13.743 * [backup-simplify]: Simplify 0 into 0
13.744 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.744 * [backup-simplify]: Simplify 0 into 0
13.748 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
13.749 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.749 * [taylor]: Taking taylor expansion of 0 in y
13.749 * [backup-simplify]: Simplify 0 into 0
13.749 * [backup-simplify]: Simplify 0 into 0
13.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.750 * [backup-simplify]: Simplify 0 into 0
13.751 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
13.752 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.752 * [taylor]: Taking taylor expansion of 0 in y
13.752 * [backup-simplify]: Simplify 0 into 0
13.752 * [backup-simplify]: Simplify 0 into 0
13.752 * [backup-simplify]: Simplify 0 into 0
13.753 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.753 * [backup-simplify]: Simplify 0 into 0
13.753 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* x y)
13.753 * [backup-simplify]: Simplify (+ (- (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- y)) (/ 1 (- y)))) (* (/ 1 (- y)) (/ 1 (- y)))) into (/ 1 (* x y))
13.753 * [approximate]: Taking taylor expansion of (/ 1 (* x y)) in (x y) around 0
13.753 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
13.753 * [taylor]: Taking taylor expansion of (* x y) in y
13.754 * [taylor]: Taking taylor expansion of x in y
13.754 * [backup-simplify]: Simplify x into x
13.754 * [taylor]: Taking taylor expansion of y in y
13.754 * [backup-simplify]: Simplify 0 into 0
13.754 * [backup-simplify]: Simplify 1 into 1
13.754 * [backup-simplify]: Simplify (* x 0) into 0
13.754 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
13.754 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.754 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
13.754 * [taylor]: Taking taylor expansion of (* x y) in x
13.754 * [taylor]: Taking taylor expansion of x in x
13.754 * [backup-simplify]: Simplify 0 into 0
13.754 * [backup-simplify]: Simplify 1 into 1
13.754 * [taylor]: Taking taylor expansion of y in x
13.754 * [backup-simplify]: Simplify y into y
13.754 * [backup-simplify]: Simplify (* 0 y) into 0
13.755 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
13.755 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.755 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
13.755 * [taylor]: Taking taylor expansion of (* x y) in x
13.755 * [taylor]: Taking taylor expansion of x in x
13.755 * [backup-simplify]: Simplify 0 into 0
13.755 * [backup-simplify]: Simplify 1 into 1
13.755 * [taylor]: Taking taylor expansion of y in x
13.755 * [backup-simplify]: Simplify y into y
13.755 * [backup-simplify]: Simplify (* 0 y) into 0
13.756 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
13.756 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.756 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.756 * [taylor]: Taking taylor expansion of y in y
13.756 * [backup-simplify]: Simplify 0 into 0
13.756 * [backup-simplify]: Simplify 1 into 1
13.756 * [backup-simplify]: Simplify (/ 1 1) into 1
13.756 * [backup-simplify]: Simplify 1 into 1
13.757 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
13.757 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
13.757 * [taylor]: Taking taylor expansion of 0 in y
13.757 * [backup-simplify]: Simplify 0 into 0
13.758 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.758 * [backup-simplify]: Simplify 0 into 0
13.759 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
13.759 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.760 * [taylor]: Taking taylor expansion of 0 in y
13.760 * [backup-simplify]: Simplify 0 into 0
13.760 * [backup-simplify]: Simplify 0 into 0
13.761 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.761 * [backup-simplify]: Simplify 0 into 0
13.762 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
13.762 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.762 * [taylor]: Taking taylor expansion of 0 in y
13.762 * [backup-simplify]: Simplify 0 into 0
13.762 * [backup-simplify]: Simplify 0 into 0
13.762 * [backup-simplify]: Simplify 0 into 0
13.763 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.763 * [backup-simplify]: Simplify 0 into 0
13.763 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* x y)
13.764 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
13.764 * [backup-simplify]: Simplify (- (* x y) (* y y)) into (- (* x y) (pow y 2))
13.764 * [approximate]: Taking taylor expansion of (- (* x y) (pow y 2)) in (x y) around 0
13.764 * [taylor]: Taking taylor expansion of (- (* x y) (pow y 2)) in y
13.764 * [taylor]: Taking taylor expansion of (* x y) in y
13.764 * [taylor]: Taking taylor expansion of x in y
13.764 * [backup-simplify]: Simplify x into x
13.764 * [taylor]: Taking taylor expansion of y in y
13.764 * [backup-simplify]: Simplify 0 into 0
13.764 * [backup-simplify]: Simplify 1 into 1
13.764 * [taylor]: Taking taylor expansion of (pow y 2) in y
13.764 * [taylor]: Taking taylor expansion of y in y
13.764 * [backup-simplify]: Simplify 0 into 0
13.764 * [backup-simplify]: Simplify 1 into 1
13.764 * [taylor]: Taking taylor expansion of (- (* x y) (pow y 2)) in x
13.764 * [taylor]: Taking taylor expansion of (* x y) in x
13.764 * [taylor]: Taking taylor expansion of x in x
13.764 * [backup-simplify]: Simplify 0 into 0
13.764 * [backup-simplify]: Simplify 1 into 1
13.764 * [taylor]: Taking taylor expansion of y in x
13.764 * [backup-simplify]: Simplify y into y
13.764 * [taylor]: Taking taylor expansion of (pow y 2) in x
13.764 * [taylor]: Taking taylor expansion of y in x
13.764 * [backup-simplify]: Simplify y into y
13.764 * [taylor]: Taking taylor expansion of (- (* x y) (pow y 2)) in x
13.764 * [taylor]: Taking taylor expansion of (* x y) in x
13.764 * [taylor]: Taking taylor expansion of x in x
13.764 * [backup-simplify]: Simplify 0 into 0
13.764 * [backup-simplify]: Simplify 1 into 1
13.764 * [taylor]: Taking taylor expansion of y in x
13.764 * [backup-simplify]: Simplify y into y
13.764 * [taylor]: Taking taylor expansion of (pow y 2) in x
13.764 * [taylor]: Taking taylor expansion of y in x
13.764 * [backup-simplify]: Simplify y into y
13.764 * [backup-simplify]: Simplify (* 0 y) into 0
13.764 * [backup-simplify]: Simplify (* y y) into (pow y 2)
13.764 * [backup-simplify]: Simplify (- (pow y 2)) into (- (pow y 2))
13.765 * [backup-simplify]: Simplify (+ 0 (- (pow y 2))) into (- (pow y 2))
13.765 * [taylor]: Taking taylor expansion of (- (pow y 2)) in y
13.765 * [taylor]: Taking taylor expansion of (pow y 2) in y
13.765 * [taylor]: Taking taylor expansion of y in y
13.765 * [backup-simplify]: Simplify 0 into 0
13.765 * [backup-simplify]: Simplify 1 into 1
13.765 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
13.765 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
13.765 * [backup-simplify]: Simplify (- 0) into 0
13.765 * [backup-simplify]: Simplify (+ y 0) into y
13.765 * [taylor]: Taking taylor expansion of y in y
13.765 * [backup-simplify]: Simplify 0 into 0
13.765 * [backup-simplify]: Simplify 1 into 1
13.765 * [backup-simplify]: Simplify 0 into 0
13.766 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
13.766 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
13.766 * [backup-simplify]: Simplify (- 0) into 0
13.767 * [backup-simplify]: Simplify (+ 0 0) into 0
13.767 * [taylor]: Taking taylor expansion of 0 in y
13.767 * [backup-simplify]: Simplify 0 into 0
13.767 * [backup-simplify]: Simplify 0 into 0
13.767 * [backup-simplify]: Simplify 1 into 1
13.767 * [backup-simplify]: Simplify (* 1 1) into 1
13.767 * [backup-simplify]: Simplify (- 1) into -1
13.767 * [backup-simplify]: Simplify -1 into -1
13.768 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
13.768 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
13.769 * [backup-simplify]: Simplify (- 0) into 0
13.769 * [backup-simplify]: Simplify (+ 0 0) into 0
13.769 * [taylor]: Taking taylor expansion of 0 in y
13.769 * [backup-simplify]: Simplify 0 into 0
13.769 * [backup-simplify]: Simplify 0 into 0
13.769 * [backup-simplify]: Simplify 0 into 0
13.769 * [backup-simplify]: Simplify 0 into 0
13.769 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.770 * [backup-simplify]: Simplify (- 0) into 0
13.770 * [backup-simplify]: Simplify 0 into 0
13.771 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
13.771 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
13.772 * [backup-simplify]: Simplify (- 0) into 0
13.772 * [backup-simplify]: Simplify (+ 0 0) into 0
13.772 * [taylor]: Taking taylor expansion of 0 in y
13.772 * [backup-simplify]: Simplify 0 into 0
13.772 * [backup-simplify]: Simplify 0 into 0
13.772 * [backup-simplify]: Simplify 0 into 0
13.772 * [backup-simplify]: Simplify (+ (* -1 (pow (* y 1) 2)) (* 1 (* y x))) into (- (* x y) (pow y 2))
13.772 * [backup-simplify]: Simplify (- (* (/ 1 x) (/ 1 y)) (* (/ 1 y) (/ 1 y))) into (- (/ 1 (* x y)) (/ 1 (pow y 2)))
13.772 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in (x y) around 0
13.772 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in y
13.772 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
13.772 * [taylor]: Taking taylor expansion of (* x y) in y
13.772 * [taylor]: Taking taylor expansion of x in y
13.772 * [backup-simplify]: Simplify x into x
13.772 * [taylor]: Taking taylor expansion of y in y
13.772 * [backup-simplify]: Simplify 0 into 0
13.772 * [backup-simplify]: Simplify 1 into 1
13.773 * [backup-simplify]: Simplify (* x 0) into 0
13.773 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
13.773 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.773 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
13.773 * [taylor]: Taking taylor expansion of (pow y 2) in y
13.773 * [taylor]: Taking taylor expansion of y in y
13.773 * [backup-simplify]: Simplify 0 into 0
13.773 * [backup-simplify]: Simplify 1 into 1
13.773 * [backup-simplify]: Simplify (* 1 1) into 1
13.773 * [backup-simplify]: Simplify (/ 1 1) into 1
13.773 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in x
13.773 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
13.773 * [taylor]: Taking taylor expansion of (* x y) in x
13.773 * [taylor]: Taking taylor expansion of x in x
13.773 * [backup-simplify]: Simplify 0 into 0
13.774 * [backup-simplify]: Simplify 1 into 1
13.774 * [taylor]: Taking taylor expansion of y in x
13.774 * [backup-simplify]: Simplify y into y
13.774 * [backup-simplify]: Simplify (* 0 y) into 0
13.774 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
13.774 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.774 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
13.774 * [taylor]: Taking taylor expansion of (pow y 2) in x
13.774 * [taylor]: Taking taylor expansion of y in x
13.774 * [backup-simplify]: Simplify y into y
13.774 * [backup-simplify]: Simplify (* y y) into (pow y 2)
13.774 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
13.774 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in x
13.774 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
13.774 * [taylor]: Taking taylor expansion of (* x y) in x
13.774 * [taylor]: Taking taylor expansion of x in x
13.774 * [backup-simplify]: Simplify 0 into 0
13.774 * [backup-simplify]: Simplify 1 into 1
13.774 * [taylor]: Taking taylor expansion of y in x
13.774 * [backup-simplify]: Simplify y into y
13.774 * [backup-simplify]: Simplify (* 0 y) into 0
13.775 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
13.775 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.775 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
13.775 * [taylor]: Taking taylor expansion of (pow y 2) in x
13.775 * [taylor]: Taking taylor expansion of y in x
13.775 * [backup-simplify]: Simplify y into y
13.775 * [backup-simplify]: Simplify (* y y) into (pow y 2)
13.775 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
13.775 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
13.775 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.775 * [taylor]: Taking taylor expansion of y in y
13.775 * [backup-simplify]: Simplify 0 into 0
13.775 * [backup-simplify]: Simplify 1 into 1
13.775 * [backup-simplify]: Simplify (/ 1 1) into 1
13.776 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
13.776 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
13.776 * [backup-simplify]: Simplify (- (/ 1 (pow y 2))) into (- (/ 1 (pow y 2)))
13.776 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 2)))) into (- (/ 1 (pow y 2)))
13.776 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
13.776 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
13.776 * [taylor]: Taking taylor expansion of (pow y 2) in y
13.776 * [taylor]: Taking taylor expansion of y in y
13.776 * [backup-simplify]: Simplify 0 into 0
13.776 * [backup-simplify]: Simplify 1 into 1
13.776 * [backup-simplify]: Simplify (* 1 1) into 1
13.777 * [backup-simplify]: Simplify (/ 1 1) into 1
13.777 * [backup-simplify]: Simplify (- 1) into -1
13.777 * [backup-simplify]: Simplify -1 into -1
13.777 * [backup-simplify]: Simplify 1 into 1
13.778 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
13.778 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.778 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
13.778 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
13.778 * [backup-simplify]: Simplify (- 0) into 0
13.779 * [backup-simplify]: Simplify (+ 0 0) into 0
13.779 * [taylor]: Taking taylor expansion of 0 in y
13.779 * [backup-simplify]: Simplify 0 into 0
13.779 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.779 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.780 * [backup-simplify]: Simplify (- 0) into 0
13.780 * [backup-simplify]: Simplify 0 into 0
13.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.780 * [backup-simplify]: Simplify 0 into 0
13.781 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
13.781 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.782 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
13.782 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
13.782 * [backup-simplify]: Simplify (- 0) into 0
13.782 * [backup-simplify]: Simplify (+ 0 0) into 0
13.782 * [taylor]: Taking taylor expansion of 0 in y
13.782 * [backup-simplify]: Simplify 0 into 0
13.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.784 * [backup-simplify]: Simplify (- 0) into 0
13.784 * [backup-simplify]: Simplify 0 into 0
13.784 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.784 * [backup-simplify]: Simplify 0 into 0
13.785 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
13.785 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.786 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
13.787 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
13.787 * [backup-simplify]: Simplify (- 0) into 0
13.787 * [backup-simplify]: Simplify (+ 0 0) into 0
13.787 * [taylor]: Taking taylor expansion of 0 in y
13.787 * [backup-simplify]: Simplify 0 into 0
13.787 * [backup-simplify]: Simplify 0 into 0
13.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.788 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.789 * [backup-simplify]: Simplify (- 0) into 0
13.789 * [backup-simplify]: Simplify 0 into 0
13.789 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 2))) into (- (* x y) (pow y 2))
13.789 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- y)) (/ 1 (- y)))) into (- (/ 1 (* x y)) (/ 1 (pow y 2)))
13.789 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in (x y) around 0
13.789 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in y
13.789 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
13.789 * [taylor]: Taking taylor expansion of (* x y) in y
13.789 * [taylor]: Taking taylor expansion of x in y
13.789 * [backup-simplify]: Simplify x into x
13.789 * [taylor]: Taking taylor expansion of y in y
13.789 * [backup-simplify]: Simplify 0 into 0
13.789 * [backup-simplify]: Simplify 1 into 1
13.789 * [backup-simplify]: Simplify (* x 0) into 0
13.790 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
13.790 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.790 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
13.790 * [taylor]: Taking taylor expansion of (pow y 2) in y
13.790 * [taylor]: Taking taylor expansion of y in y
13.790 * [backup-simplify]: Simplify 0 into 0
13.790 * [backup-simplify]: Simplify 1 into 1
13.790 * [backup-simplify]: Simplify (* 1 1) into 1
13.790 * [backup-simplify]: Simplify (/ 1 1) into 1
13.790 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in x
13.790 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
13.790 * [taylor]: Taking taylor expansion of (* x y) in x
13.790 * [taylor]: Taking taylor expansion of x in x
13.790 * [backup-simplify]: Simplify 0 into 0
13.790 * [backup-simplify]: Simplify 1 into 1
13.791 * [taylor]: Taking taylor expansion of y in x
13.791 * [backup-simplify]: Simplify y into y
13.791 * [backup-simplify]: Simplify (* 0 y) into 0
13.791 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
13.791 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.791 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
13.791 * [taylor]: Taking taylor expansion of (pow y 2) in x
13.791 * [taylor]: Taking taylor expansion of y in x
13.791 * [backup-simplify]: Simplify y into y
13.791 * [backup-simplify]: Simplify (* y y) into (pow y 2)
13.791 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
13.791 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in x
13.791 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
13.791 * [taylor]: Taking taylor expansion of (* x y) in x
13.791 * [taylor]: Taking taylor expansion of x in x
13.791 * [backup-simplify]: Simplify 0 into 0
13.791 * [backup-simplify]: Simplify 1 into 1
13.791 * [taylor]: Taking taylor expansion of y in x
13.791 * [backup-simplify]: Simplify y into y
13.791 * [backup-simplify]: Simplify (* 0 y) into 0
13.792 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
13.792 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.792 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
13.792 * [taylor]: Taking taylor expansion of (pow y 2) in x
13.792 * [taylor]: Taking taylor expansion of y in x
13.792 * [backup-simplify]: Simplify y into y
13.792 * [backup-simplify]: Simplify (* y y) into (pow y 2)
13.792 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
13.792 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
13.792 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.792 * [taylor]: Taking taylor expansion of y in y
13.792 * [backup-simplify]: Simplify 0 into 0
13.792 * [backup-simplify]: Simplify 1 into 1
13.792 * [backup-simplify]: Simplify (/ 1 1) into 1
13.793 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
13.793 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
13.793 * [backup-simplify]: Simplify (- (/ 1 (pow y 2))) into (- (/ 1 (pow y 2)))
13.793 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 2)))) into (- (/ 1 (pow y 2)))
13.793 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
13.793 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
13.793 * [taylor]: Taking taylor expansion of (pow y 2) in y
13.793 * [taylor]: Taking taylor expansion of y in y
13.793 * [backup-simplify]: Simplify 0 into 0
13.793 * [backup-simplify]: Simplify 1 into 1
13.794 * [backup-simplify]: Simplify (* 1 1) into 1
13.794 * [backup-simplify]: Simplify (/ 1 1) into 1
13.794 * [backup-simplify]: Simplify (- 1) into -1
13.794 * [backup-simplify]: Simplify -1 into -1
13.794 * [backup-simplify]: Simplify 1 into 1
13.795 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
13.795 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.795 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
13.795 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
13.796 * [backup-simplify]: Simplify (- 0) into 0
13.796 * [backup-simplify]: Simplify (+ 0 0) into 0
13.796 * [taylor]: Taking taylor expansion of 0 in y
13.796 * [backup-simplify]: Simplify 0 into 0
13.796 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.797 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.797 * [backup-simplify]: Simplify (- 0) into 0
13.797 * [backup-simplify]: Simplify 0 into 0
13.798 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.798 * [backup-simplify]: Simplify 0 into 0
13.799 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
13.799 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.799 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
13.799 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
13.800 * [backup-simplify]: Simplify (- 0) into 0
13.800 * [backup-simplify]: Simplify (+ 0 0) into 0
13.800 * [taylor]: Taking taylor expansion of 0 in y
13.800 * [backup-simplify]: Simplify 0 into 0
13.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.801 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.801 * [backup-simplify]: Simplify (- 0) into 0
13.801 * [backup-simplify]: Simplify 0 into 0
13.802 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.802 * [backup-simplify]: Simplify 0 into 0
13.803 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
13.803 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.803 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
13.804 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
13.804 * [backup-simplify]: Simplify (- 0) into 0
13.804 * [backup-simplify]: Simplify (+ 0 0) into 0
13.804 * [taylor]: Taking taylor expansion of 0 in y
13.804 * [backup-simplify]: Simplify 0 into 0
13.804 * [backup-simplify]: Simplify 0 into 0
13.805 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.806 * [backup-simplify]: Simplify (- 0) into 0
13.806 * [backup-simplify]: Simplify 0 into 0
13.806 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 2))) into (- (* x y) (pow y 2))
13.806 * * * * [progress]: [ 3 / 3 ] generating series at (2)
13.806 * [backup-simplify]: Simplify (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) into (- (* x y) (* z y))
13.806 * [approximate]: Taking taylor expansion of (- (* x y) (* z y)) in (x y z) around 0
13.806 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in z
13.806 * [taylor]: Taking taylor expansion of (* x y) in z
13.806 * [taylor]: Taking taylor expansion of x in z
13.806 * [backup-simplify]: Simplify x into x
13.806 * [taylor]: Taking taylor expansion of y in z
13.807 * [backup-simplify]: Simplify y into y
13.807 * [taylor]: Taking taylor expansion of (* z y) in z
13.807 * [taylor]: Taking taylor expansion of z in z
13.807 * [backup-simplify]: Simplify 0 into 0
13.807 * [backup-simplify]: Simplify 1 into 1
13.807 * [taylor]: Taking taylor expansion of y in z
13.807 * [backup-simplify]: Simplify y into y
13.807 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y
13.807 * [taylor]: Taking taylor expansion of (* x y) in y
13.807 * [taylor]: Taking taylor expansion of x in y
13.807 * [backup-simplify]: Simplify x into x
13.807 * [taylor]: Taking taylor expansion of y in y
13.807 * [backup-simplify]: Simplify 0 into 0
13.807 * [backup-simplify]: Simplify 1 into 1
13.807 * [taylor]: Taking taylor expansion of (* z y) in y
13.807 * [taylor]: Taking taylor expansion of z in y
13.807 * [backup-simplify]: Simplify z into z
13.807 * [taylor]: Taking taylor expansion of y in y
13.807 * [backup-simplify]: Simplify 0 into 0
13.807 * [backup-simplify]: Simplify 1 into 1
13.807 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x
13.807 * [taylor]: Taking taylor expansion of (* x y) in x
13.807 * [taylor]: Taking taylor expansion of x in x
13.807 * [backup-simplify]: Simplify 0 into 0
13.807 * [backup-simplify]: Simplify 1 into 1
13.807 * [taylor]: Taking taylor expansion of y in x
13.807 * [backup-simplify]: Simplify y into y
13.807 * [taylor]: Taking taylor expansion of (* z y) in x
13.807 * [taylor]: Taking taylor expansion of z in x
13.807 * [backup-simplify]: Simplify z into z
13.807 * [taylor]: Taking taylor expansion of y in x
13.807 * [backup-simplify]: Simplify y into y
13.807 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x
13.807 * [taylor]: Taking taylor expansion of (* x y) in x
13.807 * [taylor]: Taking taylor expansion of x in x
13.807 * [backup-simplify]: Simplify 0 into 0
13.807 * [backup-simplify]: Simplify 1 into 1
13.807 * [taylor]: Taking taylor expansion of y in x
13.807 * [backup-simplify]: Simplify y into y
13.807 * [taylor]: Taking taylor expansion of (* z y) in x
13.807 * [taylor]: Taking taylor expansion of z in x
13.807 * [backup-simplify]: Simplify z into z
13.807 * [taylor]: Taking taylor expansion of y in x
13.807 * [backup-simplify]: Simplify y into y
13.807 * [backup-simplify]: Simplify (* 0 y) into 0
13.807 * [backup-simplify]: Simplify (* z y) into (* z y)
13.807 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y))
13.807 * [backup-simplify]: Simplify (+ 0 (- (* z y))) into (- (* z y))
13.807 * [taylor]: Taking taylor expansion of (- (* z y)) in y
13.807 * [taylor]: Taking taylor expansion of (* z y) in y
13.808 * [taylor]: Taking taylor expansion of z in y
13.808 * [backup-simplify]: Simplify z into z
13.808 * [taylor]: Taking taylor expansion of y in y
13.808 * [backup-simplify]: Simplify 0 into 0
13.808 * [backup-simplify]: Simplify 1 into 1
13.808 * [backup-simplify]: Simplify (* z 0) into 0
13.808 * [backup-simplify]: Simplify (- 0) into 0
13.808 * [taylor]: Taking taylor expansion of 0 in z
13.808 * [backup-simplify]: Simplify 0 into 0
13.808 * [backup-simplify]: Simplify 0 into 0
13.808 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
13.808 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
13.809 * [backup-simplify]: Simplify (- 0) into 0
13.809 * [backup-simplify]: Simplify (+ y 0) into y
13.809 * [taylor]: Taking taylor expansion of y in y
13.809 * [backup-simplify]: Simplify 0 into 0
13.809 * [backup-simplify]: Simplify 1 into 1
13.809 * [taylor]: Taking taylor expansion of 0 in z
13.809 * [backup-simplify]: Simplify 0 into 0
13.809 * [backup-simplify]: Simplify 0 into 0
13.809 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
13.809 * [backup-simplify]: Simplify (- z) into (- z)
13.809 * [taylor]: Taking taylor expansion of (- z) in z
13.809 * [taylor]: Taking taylor expansion of z in z
13.809 * [backup-simplify]: Simplify 0 into 0
13.809 * [backup-simplify]: Simplify 1 into 1
13.809 * [backup-simplify]: Simplify (- 0) into 0
13.809 * [backup-simplify]: Simplify 0 into 0
13.809 * [backup-simplify]: Simplify 0 into 0
13.810 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
13.810 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
13.810 * [backup-simplify]: Simplify (- 0) into 0
13.811 * [backup-simplify]: Simplify (+ 0 0) into 0
13.811 * [taylor]: Taking taylor expansion of 0 in y
13.811 * [backup-simplify]: Simplify 0 into 0
13.811 * [taylor]: Taking taylor expansion of 0 in z
13.811 * [backup-simplify]: Simplify 0 into 0
13.811 * [backup-simplify]: Simplify 0 into 0
13.811 * [taylor]: Taking taylor expansion of 1 in z
13.811 * [backup-simplify]: Simplify 1 into 1
13.811 * [backup-simplify]: Simplify 1 into 1
13.811 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
13.811 * [backup-simplify]: Simplify (- 0) into 0
13.811 * [taylor]: Taking taylor expansion of 0 in z
13.811 * [backup-simplify]: Simplify 0 into 0
13.811 * [backup-simplify]: Simplify 0 into 0
13.811 * [backup-simplify]: Simplify 0 into 0
13.812 * [backup-simplify]: Simplify (- 1) into -1
13.812 * [backup-simplify]: Simplify -1 into -1
13.812 * [backup-simplify]: Simplify 0 into 0
13.812 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
13.813 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
13.813 * [backup-simplify]: Simplify (- 0) into 0
13.813 * [backup-simplify]: Simplify (+ 0 0) into 0
13.813 * [taylor]: Taking taylor expansion of 0 in y
13.813 * [backup-simplify]: Simplify 0 into 0
13.813 * [taylor]: Taking taylor expansion of 0 in z
13.814 * [backup-simplify]: Simplify 0 into 0
13.814 * [backup-simplify]: Simplify 0 into 0
13.814 * [taylor]: Taking taylor expansion of 0 in z
13.814 * [backup-simplify]: Simplify 0 into 0
13.814 * [backup-simplify]: Simplify 0 into 0
13.814 * [taylor]: Taking taylor expansion of 0 in z
13.814 * [backup-simplify]: Simplify 0 into 0
13.814 * [backup-simplify]: Simplify 0 into 0
13.814 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
13.814 * [backup-simplify]: Simplify (- 0) into 0
13.814 * [taylor]: Taking taylor expansion of 0 in z
13.814 * [backup-simplify]: Simplify 0 into 0
13.814 * [backup-simplify]: Simplify 0 into 0
13.814 * [backup-simplify]: Simplify 0 into 0
13.815 * [backup-simplify]: Simplify (+ (* -1 (* z (* y 1))) (* 1 (* 1 (* y x)))) into (- (* x y) (* z y))
13.815 * [backup-simplify]: Simplify (- (+ (- (* (/ 1 x) (/ 1 y)) (* (/ 1 y) (/ 1 y))) (* (/ 1 y) (/ 1 y))) (* (/ 1 y) (/ 1 z))) into (- (/ 1 (* x y)) (/ 1 (* z y)))
13.815 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0
13.815 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z
13.815 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
13.815 * [taylor]: Taking taylor expansion of (* x y) in z
13.815 * [taylor]: Taking taylor expansion of x in z
13.815 * [backup-simplify]: Simplify x into x
13.815 * [taylor]: Taking taylor expansion of y in z
13.815 * [backup-simplify]: Simplify y into y
13.815 * [backup-simplify]: Simplify (* x y) into (* x y)
13.815 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
13.815 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
13.815 * [taylor]: Taking taylor expansion of (* z y) in z
13.815 * [taylor]: Taking taylor expansion of z in z
13.815 * [backup-simplify]: Simplify 0 into 0
13.815 * [backup-simplify]: Simplify 1 into 1
13.815 * [taylor]: Taking taylor expansion of y in z
13.815 * [backup-simplify]: Simplify y into y
13.815 * [backup-simplify]: Simplify (* 0 y) into 0
13.816 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
13.816 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.816 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
13.816 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
13.816 * [taylor]: Taking taylor expansion of (* x y) in y
13.816 * [taylor]: Taking taylor expansion of x in y
13.816 * [backup-simplify]: Simplify x into x
13.816 * [taylor]: Taking taylor expansion of y in y
13.816 * [backup-simplify]: Simplify 0 into 0
13.816 * [backup-simplify]: Simplify 1 into 1
13.816 * [backup-simplify]: Simplify (* x 0) into 0
13.816 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
13.816 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.816 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
13.816 * [taylor]: Taking taylor expansion of (* z y) in y
13.816 * [taylor]: Taking taylor expansion of z in y
13.816 * [backup-simplify]: Simplify z into z
13.816 * [taylor]: Taking taylor expansion of y in y
13.816 * [backup-simplify]: Simplify 0 into 0
13.816 * [backup-simplify]: Simplify 1 into 1
13.816 * [backup-simplify]: Simplify (* z 0) into 0
13.817 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
13.817 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.817 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
13.817 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
13.817 * [taylor]: Taking taylor expansion of (* x y) in x
13.817 * [taylor]: Taking taylor expansion of x in x
13.817 * [backup-simplify]: Simplify 0 into 0
13.817 * [backup-simplify]: Simplify 1 into 1
13.817 * [taylor]: Taking taylor expansion of y in x
13.817 * [backup-simplify]: Simplify y into y
13.817 * [backup-simplify]: Simplify (* 0 y) into 0
13.817 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
13.817 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.817 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
13.817 * [taylor]: Taking taylor expansion of (* z y) in x
13.817 * [taylor]: Taking taylor expansion of z in x
13.817 * [backup-simplify]: Simplify z into z
13.817 * [taylor]: Taking taylor expansion of y in x
13.817 * [backup-simplify]: Simplify y into y
13.817 * [backup-simplify]: Simplify (* z y) into (* z y)
13.817 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
13.817 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
13.817 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
13.817 * [taylor]: Taking taylor expansion of (* x y) in x
13.817 * [taylor]: Taking taylor expansion of x in x
13.817 * [backup-simplify]: Simplify 0 into 0
13.818 * [backup-simplify]: Simplify 1 into 1
13.818 * [taylor]: Taking taylor expansion of y in x
13.818 * [backup-simplify]: Simplify y into y
13.818 * [backup-simplify]: Simplify (* 0 y) into 0
13.818 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
13.818 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.818 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
13.818 * [taylor]: Taking taylor expansion of (* z y) in x
13.818 * [taylor]: Taking taylor expansion of z in x
13.818 * [backup-simplify]: Simplify z into z
13.818 * [taylor]: Taking taylor expansion of y in x
13.818 * [backup-simplify]: Simplify y into y
13.818 * [backup-simplify]: Simplify (* z y) into (* z y)
13.818 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
13.818 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
13.818 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.818 * [taylor]: Taking taylor expansion of y in y
13.818 * [backup-simplify]: Simplify 0 into 0
13.818 * [backup-simplify]: Simplify 1 into 1
13.819 * [backup-simplify]: Simplify (/ 1 1) into 1
13.819 * [taylor]: Taking taylor expansion of 1 in z
13.819 * [backup-simplify]: Simplify 1 into 1
13.819 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
13.819 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
13.819 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y)))
13.819 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* z y)))) into (- (/ 1 (* z y)))
13.819 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
13.819 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
13.819 * [taylor]: Taking taylor expansion of (* z y) in y
13.819 * [taylor]: Taking taylor expansion of z in y
13.819 * [backup-simplify]: Simplify z into z
13.819 * [taylor]: Taking taylor expansion of y in y
13.819 * [backup-simplify]: Simplify 0 into 0
13.819 * [backup-simplify]: Simplify 1 into 1
13.820 * [backup-simplify]: Simplify (* z 0) into 0
13.820 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
13.820 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.820 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
13.820 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
13.820 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.820 * [taylor]: Taking taylor expansion of z in z
13.820 * [backup-simplify]: Simplify 0 into 0
13.820 * [backup-simplify]: Simplify 1 into 1
13.820 * [backup-simplify]: Simplify (/ 1 1) into 1
13.820 * [backup-simplify]: Simplify (- 1) into -1
13.820 * [backup-simplify]: Simplify -1 into -1
13.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.821 * [taylor]: Taking taylor expansion of 0 in z
13.821 * [backup-simplify]: Simplify 0 into 0
13.821 * [backup-simplify]: Simplify 1 into 1
13.822 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
13.822 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.822 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
13.822 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
13.822 * [backup-simplify]: Simplify (- 0) into 0
13.822 * [backup-simplify]: Simplify (+ 0 0) into 0
13.822 * [taylor]: Taking taylor expansion of 0 in y
13.823 * [backup-simplify]: Simplify 0 into 0
13.823 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
13.823 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
13.823 * [backup-simplify]: Simplify (- 0) into 0
13.823 * [taylor]: Taking taylor expansion of 0 in z
13.823 * [backup-simplify]: Simplify 0 into 0
13.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.824 * [taylor]: Taking taylor expansion of 0 in z
13.824 * [backup-simplify]: Simplify 0 into 0
13.825 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.825 * [backup-simplify]: Simplify (- 0) into 0
13.825 * [backup-simplify]: Simplify 0 into 0
13.825 * [backup-simplify]: Simplify 0 into 0
13.825 * [backup-simplify]: Simplify 0 into 0
13.827 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
13.827 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.828 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
13.828 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
13.828 * [backup-simplify]: Simplify (- 0) into 0
13.829 * [backup-simplify]: Simplify (+ 0 0) into 0
13.829 * [taylor]: Taking taylor expansion of 0 in y
13.829 * [backup-simplify]: Simplify 0 into 0
13.829 * [taylor]: Taking taylor expansion of 0 in z
13.829 * [backup-simplify]: Simplify 0 into 0
13.830 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
13.830 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.830 * [backup-simplify]: Simplify (- 0) into 0
13.830 * [taylor]: Taking taylor expansion of 0 in z
13.830 * [backup-simplify]: Simplify 0 into 0
13.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.831 * [taylor]: Taking taylor expansion of 0 in z
13.831 * [backup-simplify]: Simplify 0 into 0
13.831 * [backup-simplify]: Simplify 0 into 0
13.831 * [backup-simplify]: Simplify 0 into 0
13.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.833 * [backup-simplify]: Simplify (- 0) into 0
13.833 * [backup-simplify]: Simplify 0 into 0
13.833 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1)))) into (- (* x y) (* z y))
13.834 * [backup-simplify]: Simplify (- (+ (- (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- y)) (/ 1 (- y)))) (* (/ 1 (- y)) (/ 1 (- y)))) (* (/ 1 (- y)) (/ 1 (- z)))) into (- (/ 1 (* x y)) (/ 1 (* z y)))
13.834 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0
13.834 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z
13.834 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
13.834 * [taylor]: Taking taylor expansion of (* x y) in z
13.834 * [taylor]: Taking taylor expansion of x in z
13.834 * [backup-simplify]: Simplify x into x
13.834 * [taylor]: Taking taylor expansion of y in z
13.834 * [backup-simplify]: Simplify y into y
13.834 * [backup-simplify]: Simplify (* x y) into (* x y)
13.835 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
13.835 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
13.835 * [taylor]: Taking taylor expansion of (* z y) in z
13.835 * [taylor]: Taking taylor expansion of z in z
13.835 * [backup-simplify]: Simplify 0 into 0
13.835 * [backup-simplify]: Simplify 1 into 1
13.835 * [taylor]: Taking taylor expansion of y in z
13.835 * [backup-simplify]: Simplify y into y
13.835 * [backup-simplify]: Simplify (* 0 y) into 0
13.835 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
13.835 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.835 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
13.835 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
13.835 * [taylor]: Taking taylor expansion of (* x y) in y
13.836 * [taylor]: Taking taylor expansion of x in y
13.836 * [backup-simplify]: Simplify x into x
13.836 * [taylor]: Taking taylor expansion of y in y
13.836 * [backup-simplify]: Simplify 0 into 0
13.836 * [backup-simplify]: Simplify 1 into 1
13.836 * [backup-simplify]: Simplify (* x 0) into 0
13.836 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
13.836 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.836 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
13.836 * [taylor]: Taking taylor expansion of (* z y) in y
13.836 * [taylor]: Taking taylor expansion of z in y
13.836 * [backup-simplify]: Simplify z into z
13.836 * [taylor]: Taking taylor expansion of y in y
13.836 * [backup-simplify]: Simplify 0 into 0
13.836 * [backup-simplify]: Simplify 1 into 1
13.837 * [backup-simplify]: Simplify (* z 0) into 0
13.837 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
13.838 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.838 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
13.838 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
13.838 * [taylor]: Taking taylor expansion of (* x y) in x
13.838 * [taylor]: Taking taylor expansion of x in x
13.838 * [backup-simplify]: Simplify 0 into 0
13.838 * [backup-simplify]: Simplify 1 into 1
13.838 * [taylor]: Taking taylor expansion of y in x
13.838 * [backup-simplify]: Simplify y into y
13.838 * [backup-simplify]: Simplify (* 0 y) into 0
13.838 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
13.838 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.838 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
13.839 * [taylor]: Taking taylor expansion of (* z y) in x
13.839 * [taylor]: Taking taylor expansion of z in x
13.839 * [backup-simplify]: Simplify z into z
13.839 * [taylor]: Taking taylor expansion of y in x
13.839 * [backup-simplify]: Simplify y into y
13.839 * [backup-simplify]: Simplify (* z y) into (* z y)
13.839 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
13.839 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
13.839 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
13.839 * [taylor]: Taking taylor expansion of (* x y) in x
13.839 * [taylor]: Taking taylor expansion of x in x
13.839 * [backup-simplify]: Simplify 0 into 0
13.839 * [backup-simplify]: Simplify 1 into 1
13.839 * [taylor]: Taking taylor expansion of y in x
13.839 * [backup-simplify]: Simplify y into y
13.839 * [backup-simplify]: Simplify (* 0 y) into 0
13.840 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
13.840 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.840 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
13.840 * [taylor]: Taking taylor expansion of (* z y) in x
13.840 * [taylor]: Taking taylor expansion of z in x
13.840 * [backup-simplify]: Simplify z into z
13.840 * [taylor]: Taking taylor expansion of y in x
13.840 * [backup-simplify]: Simplify y into y
13.840 * [backup-simplify]: Simplify (* z y) into (* z y)
13.840 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
13.840 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
13.840 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.840 * [taylor]: Taking taylor expansion of y in y
13.840 * [backup-simplify]: Simplify 0 into 0
13.840 * [backup-simplify]: Simplify 1 into 1
13.841 * [backup-simplify]: Simplify (/ 1 1) into 1
13.841 * [taylor]: Taking taylor expansion of 1 in z
13.841 * [backup-simplify]: Simplify 1 into 1
13.842 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
13.842 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
13.842 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y)))
13.842 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* z y)))) into (- (/ 1 (* z y)))
13.842 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
13.842 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
13.842 * [taylor]: Taking taylor expansion of (* z y) in y
13.842 * [taylor]: Taking taylor expansion of z in y
13.842 * [backup-simplify]: Simplify z into z
13.842 * [taylor]: Taking taylor expansion of y in y
13.842 * [backup-simplify]: Simplify 0 into 0
13.842 * [backup-simplify]: Simplify 1 into 1
13.842 * [backup-simplify]: Simplify (* z 0) into 0
13.843 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
13.843 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.843 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
13.843 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
13.843 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.843 * [taylor]: Taking taylor expansion of z in z
13.843 * [backup-simplify]: Simplify 0 into 0
13.843 * [backup-simplify]: Simplify 1 into 1
13.844 * [backup-simplify]: Simplify (/ 1 1) into 1
13.844 * [backup-simplify]: Simplify (- 1) into -1
13.844 * [backup-simplify]: Simplify -1 into -1
13.845 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.845 * [taylor]: Taking taylor expansion of 0 in z
13.845 * [backup-simplify]: Simplify 0 into 0
13.845 * [backup-simplify]: Simplify 1 into 1
13.846 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
13.846 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.847 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
13.847 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
13.847 * [backup-simplify]: Simplify (- 0) into 0
13.848 * [backup-simplify]: Simplify (+ 0 0) into 0
13.848 * [taylor]: Taking taylor expansion of 0 in y
13.848 * [backup-simplify]: Simplify 0 into 0
13.848 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
13.848 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
13.849 * [backup-simplify]: Simplify (- 0) into 0
13.849 * [taylor]: Taking taylor expansion of 0 in z
13.849 * [backup-simplify]: Simplify 0 into 0
13.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.850 * [taylor]: Taking taylor expansion of 0 in z
13.850 * [backup-simplify]: Simplify 0 into 0
13.851 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.851 * [backup-simplify]: Simplify (- 0) into 0
13.851 * [backup-simplify]: Simplify 0 into 0
13.851 * [backup-simplify]: Simplify 0 into 0
13.851 * [backup-simplify]: Simplify 0 into 0
13.853 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
13.853 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.854 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
13.854 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
13.854 * [backup-simplify]: Simplify (- 0) into 0
13.855 * [backup-simplify]: Simplify (+ 0 0) into 0
13.855 * [taylor]: Taking taylor expansion of 0 in y
13.855 * [backup-simplify]: Simplify 0 into 0
13.855 * [taylor]: Taking taylor expansion of 0 in z
13.855 * [backup-simplify]: Simplify 0 into 0
13.856 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
13.856 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.856 * [backup-simplify]: Simplify (- 0) into 0
13.856 * [taylor]: Taking taylor expansion of 0 in z
13.856 * [backup-simplify]: Simplify 0 into 0
13.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.857 * [taylor]: Taking taylor expansion of 0 in z
13.858 * [backup-simplify]: Simplify 0 into 0
13.858 * [backup-simplify]: Simplify 0 into 0
13.858 * [backup-simplify]: Simplify 0 into 0
13.859 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.859 * [backup-simplify]: Simplify (- 0) into 0
13.859 * [backup-simplify]: Simplify 0 into 0
13.860 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1)))) into (- (* x y) (* z y))
13.860 * * * [progress]: simplifying candidates
13.862 * [simplify]: Simplifying:
  (expm1 (+ (- (* x y) (* y y)) (* y y)))
  (log1p (+ (- (* x y) (* y y)) (* y y)))
  (* (/ (exp (* x y)) (exp (* y y))) (exp (* y y)))
  (* (exp (- (* x y) (* y y))) (exp (* y y)))
  (log (+ (- (* x y) (* y y)) (* y y)))
  (exp (+ (- (* x y) (* y y)) (* y y)))
  (* (cbrt (+ (- (* x y) (* y y)) (* y y))) (cbrt (+ (- (* x y) (* y y)) (* y y))))
  (cbrt (+ (- (* x y) (* y y)) (* y y)))
  (* (* (+ (- (* x y) (* y y)) (* y y)) (+ (- (* x y) (* y y)) (* y y))) (+ (- (* x y) (* y y)) (* y y)))
  (sqrt (+ (- (* x y) (* y y)) (* y y)))
  (sqrt (+ (- (* x y) (* y y)) (* y y)))
  (+ (pow (- (* x y) (* y y)) 3) (pow (* y y) 3))
  (+ (* (- (* x y) (* y y)) (- (* x y) (* y y))) (- (* (* y y) (* y y)) (* (- (* x y) (* y y)) (* y y))))
  (- (* (- (* x y) (* y y)) (- (* x y) (* y y))) (* (* y y) (* y y)))
  (- (- (* x y) (* y y)) (* y y))
  (+ (- x y) y)
  (+ (fma (- y) y (* y y)) (* y y))
  (+ (- (* y y)) (* y y))
  (+ (- (* y y)) (* y y))
  (- (* y y) (* y y))
  (fma x y (- (* y y)))
  (fma (- y) y (* y y))
  (expm1 (- (* x y) (* y y)))
  (log1p (- (* x y) (* y y)))
  (- (* y y))
  (/ (exp (* x y)) (exp (* y y)))
  (log (- (* x y) (* y y)))
  (exp (- (* x y) (* y y)))
  (* (cbrt (- (* x y) (* y y))) (cbrt (- (* x y) (* y y))))
  (cbrt (- (* x y) (* y y)))
  (* (* (- (* x y) (* y y)) (- (* x y) (* y y))) (- (* x y) (* y y)))
  (sqrt (- (* x y) (* y y)))
  (sqrt (- (* x y) (* y y)))
  (- (pow (* x y) 3) (pow (* y y) 3))
  (+ (* (* x y) (* x y)) (+ (* (* y y) (* y y)) (* (* x y) (* y y))))
  (- (* y y))
  (- (* (* x y) (* x y)) (* (* y y) (* y y)))
  (+ (* x y) (* y y))
  (- x y)
  (- (* y y))
  (fma (* (cbrt (+ (- (* x y) (* y y)) (* y y))) (cbrt (+ (- (* x y) (* y y)) (* y y)))) (cbrt (+ (- (* x y) (* y y)) (* y y))) (- (* z y)))
  (fma (- z) y (* z y))
  (fma (sqrt (+ (- (* x y) (* y y)) (* y y))) (sqrt (+ (- (* x y) (* y y)) (* y y))) (- (* z y)))
  (fma (- z) y (* z y))
  (fma 1 (+ (- (* x y) (* y y)) (* y y)) (- (* z y)))
  (fma (- z) y (* z y))
  (fma y (+ (- x y) y) (- (* z y)))
  (fma (- z) y (* z y))
  (expm1 (- (+ (- (* x y) (* y y)) (* y y)) (* y z)))
  (log1p (- (+ (- (* x y) (* y y)) (* y y)) (* y z)))
  (- (* y z))
  (- (* y z))
  (- (* y z))
  (- (* y z))
  (/ (* (/ (exp (* x y)) (exp (* y y))) (exp (* y y))) (exp (* y z)))
  (/ (* (exp (- (* x y) (* y y))) (exp (* y y))) (exp (* y z)))
  (/ (exp (+ (- (* x y) (* y y)) (* y y))) (exp (* y z)))
  (log (- (+ (- (* x y) (* y y)) (* y y)) (* y z)))
  (exp (- (+ (- (* x y) (* y y)) (* y y)) (* y z)))
  (* (cbrt (- (+ (- (* x y) (* y y)) (* y y)) (* y z))) (cbrt (- (+ (- (* x y) (* y y)) (* y y)) (* y z))))
  (cbrt (- (+ (- (* x y) (* y y)) (* y y)) (* y z)))
  (* (* (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) (- (+ (- (* x y) (* y y)) (* y y)) (* y z))) (- (+ (- (* x y) (* y y)) (* y y)) (* y z)))
  (sqrt (- (+ (- (* x y) (* y y)) (* y y)) (* y z)))
  (sqrt (- (+ (- (* x y) (* y y)) (* y y)) (* y z)))
  (- (pow (+ (- (* x y) (* y y)) (* y y)) 3) (pow (* y z) 3))
  (+ (* (+ (- (* x y) (* y y)) (* y y)) (+ (- (* x y) (* y y)) (* y y))) (+ (* (* y z) (* y z)) (* (+ (- (* x y) (* y y)) (* y y)) (* y z))))
  (- (* y z))
  (- (* (+ (- (* x y) (* y y)) (* y y)) (+ (- (* x y) (* y y)) (* y y))) (* (* y z) (* y z)))
  (+ (+ (- (* x y) (* y y)) (* y y)) (* y z))
  (- (+ (- x y) y) z)
  (- (* y y) (* y z))
  (+ (- (* y y) (* y y)) (* y z))
  (- (* y z))
  (* x y)
  (* x y)
  (* x y)
  (- (* x y) (pow y 2))
  (- (* x y) (pow y 2))
  (- (* x y) (pow y 2))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
13.865 * * [simplify]: Extracting # 0 : cost  0
13.865 * * [simplify]: Extracting # 1 : cost  0
13.865 * * [simplify]: Extracting # 2 : cost  0
13.865 * * [simplify]: Extracting # 3 : cost  0
13.866 * * [simplify]: Extracting # 4 : cost  0
13.866 * * [simplify]: Extracting # 5 : cost  0
13.866 * * [simplify]: iteration  0 :  98  enodes  (cost  1069 )
13.919 * * [simplify]: Extracting # 0 : cost  0
13.920 * * [simplify]: Extracting # 1 : cost  0
13.920 * * [simplify]: Extracting # 2 : cost  0
13.921 * * [simplify]: Extracting # 3 : cost  0
13.921 * * [simplify]: Extracting # 4 : cost  0
13.922 * * [simplify]: iteration  1 :  274  enodes  (cost  666 )
14.185 * * [simplify]: Extracting # 0 : cost  0
14.187 * * [simplify]: Extracting # 1 : cost  0
14.189 * * [simplify]: Extracting # 2 : cost  0
14.191 * * [simplify]: Extracting # 3 : cost  0
14.192 * * [simplify]: Extracting # 4 : cost  0
14.194 * * [simplify]: iteration  2 :  893  enodes  (cost  497 )
16.226 * * [simplify]: Extracting # 0 : cost  0
16.232 * * [simplify]: Extracting # 1 : cost  0
16.237 * * [simplify]: Extracting # 2 : cost  0
16.246 * * [simplify]: Extracting # 3 : cost  0
16.251 * * [simplify]: Extracting # 4 : cost  0
16.257 * * [simplify]: Extracting # 5 : cost  0
16.263 * * [simplify]: iteration  3 :  4833  enodes  (cost  463 )
19.149 * * [simplify]: Extracting # 0 : cost  0
19.158 * * [simplify]: Extracting # 1 : cost  0
19.167 * * [simplify]: iteration done:  5000  enodes  (cost  463 )
19.168 * [simplify]: Simplified to:
  (expm1 (* x y))
  (log1p (* x y))
  (exp (* x y))
  (exp (* x y))
  (log (* x y))
  (exp (* x y))
  (* (cbrt (* x y)) (cbrt (* x y)))
  (cbrt (* x y))
  (pow (* x y) 3)
  (sqrt (* x y))
  (sqrt (* x y))
  (+ (pow (* y (- x y)) 3) (pow y 6))
  (+ (pow y 4) (* (* (- x y) y) (* y (- (- x y) y))))
  (* (* x y) (* y (- (- x y) y)))
  (* y (- (- x y) y))
  x
  (pow y 2)
  0
  0
  0
  (* (- x y) y)
  0
  (expm1 (* y (- x y)))
  (log1p (* y (- x y)))
  (- (* y y))
  (exp (* y (- x y)))
  (log (* y (- x y)))
  (exp (* y (- x y)))
  (* (cbrt (* y (- x y))) (cbrt (* y (- x y))))
  (cbrt (* y (- x y)))
  (pow (* y (- x y)) 3)
  (sqrt (* y (- x y)))
  (sqrt (* y (- x y)))
  (- (pow (* x y) 3) (pow y 6))
  (+ (pow y 4) (* (* x y) (* y (+ x y))))
  (- (* y y))
  (* (* y (+ x y)) (* y (- x y)))
  (* y (+ x y))
  (- x y)
  (- (* y y))
  (fma z (- y) (pow (cbrt (* x y)) 3))
  (* 0 z)
  (* y (- x z))
  (* 0 z)
  (* y (- x z))
  (* 0 z)
  (* y (- x z))
  (* 0 z)
  (expm1 (* (- x z) y))
  (log1p (* (- x z) y))
  (* z (- y))
  (* z (- y))
  (* z (- y))
  (* z (- y))
  (exp (* y (- x z)))
  (exp (* y (- x z)))
  (exp (* y (- x z)))
  (log (* (- x z) y))
  (exp (* y (- x z)))
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (pow (* (- x z) y) 3)
  (sqrt (* (- x z) y))
  (sqrt (* (- x z) y))
  (- (pow (* x y) 3) (pow (* y z) 3))
  (* y (+ (* (* x x) y) (* z (* y (+ z x)))))
  (* z (- y))
  (* (* (pow y 2) (+ z x)) (- x z))
  (* y (+ z x))
  (- x z)
  (* y (- y z))
  (* z y)
  (* z (- y))
  (* x y)
  (* x y)
  (* x y)
  (* (- x y) y)
  (* (- x y) y)
  (* (- x y) y)
  (* y (- x z))
  (* y (- x z))
  (* y (- x z))
19.168 * * * [progress]: adding candidates to table
19.341 * * [progress]: iteration 3 / 4
19.341 * * * [progress]: picking best candidate
19.342 * * * * [pick]: Picked  #<alt (λ (x y z) (- (- (* x y) 0) (* y z)))>
19.343 * * * [progress]: localizing error
19.356 * * * [progress]: generating rewritten candidates
19.356 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
19.452 * * * [progress]: generating series expansions
19.452 * * * * [progress]: [ 1 / 1 ] generating series at (2)
19.452 * [backup-simplify]: Simplify (- (- (* x y) 0) (* y z)) into (- (* x y) (* z y))
19.452 * [approximate]: Taking taylor expansion of (- (* x y) (* z y)) in (x y z) around 0
19.452 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in z
19.452 * [taylor]: Taking taylor expansion of (* x y) in z
19.452 * [taylor]: Taking taylor expansion of x in z
19.452 * [backup-simplify]: Simplify x into x
19.452 * [taylor]: Taking taylor expansion of y in z
19.452 * [backup-simplify]: Simplify y into y
19.452 * [taylor]: Taking taylor expansion of (* z y) in z
19.452 * [taylor]: Taking taylor expansion of z in z
19.452 * [backup-simplify]: Simplify 0 into 0
19.452 * [backup-simplify]: Simplify 1 into 1
19.452 * [taylor]: Taking taylor expansion of y in z
19.452 * [backup-simplify]: Simplify y into y
19.452 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y
19.452 * [taylor]: Taking taylor expansion of (* x y) in y
19.452 * [taylor]: Taking taylor expansion of x in y
19.452 * [backup-simplify]: Simplify x into x
19.452 * [taylor]: Taking taylor expansion of y in y
19.452 * [backup-simplify]: Simplify 0 into 0
19.452 * [backup-simplify]: Simplify 1 into 1
19.452 * [taylor]: Taking taylor expansion of (* z y) in y
19.452 * [taylor]: Taking taylor expansion of z in y
19.452 * [backup-simplify]: Simplify z into z
19.452 * [taylor]: Taking taylor expansion of y in y
19.452 * [backup-simplify]: Simplify 0 into 0
19.452 * [backup-simplify]: Simplify 1 into 1
19.452 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x
19.452 * [taylor]: Taking taylor expansion of (* x y) in x
19.452 * [taylor]: Taking taylor expansion of x in x
19.452 * [backup-simplify]: Simplify 0 into 0
19.452 * [backup-simplify]: Simplify 1 into 1
19.452 * [taylor]: Taking taylor expansion of y in x
19.452 * [backup-simplify]: Simplify y into y
19.452 * [taylor]: Taking taylor expansion of (* z y) in x
19.452 * [taylor]: Taking taylor expansion of z in x
19.453 * [backup-simplify]: Simplify z into z
19.453 * [taylor]: Taking taylor expansion of y in x
19.453 * [backup-simplify]: Simplify y into y
19.453 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x
19.453 * [taylor]: Taking taylor expansion of (* x y) in x
19.453 * [taylor]: Taking taylor expansion of x in x
19.453 * [backup-simplify]: Simplify 0 into 0
19.453 * [backup-simplify]: Simplify 1 into 1
19.453 * [taylor]: Taking taylor expansion of y in x
19.453 * [backup-simplify]: Simplify y into y
19.453 * [taylor]: Taking taylor expansion of (* z y) in x
19.453 * [taylor]: Taking taylor expansion of z in x
19.453 * [backup-simplify]: Simplify z into z
19.453 * [taylor]: Taking taylor expansion of y in x
19.453 * [backup-simplify]: Simplify y into y
19.453 * [backup-simplify]: Simplify (* 0 y) into 0
19.453 * [backup-simplify]: Simplify (* z y) into (* z y)
19.453 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y))
19.453 * [backup-simplify]: Simplify (+ 0 (- (* z y))) into (- (* z y))
19.453 * [taylor]: Taking taylor expansion of (- (* z y)) in y
19.453 * [taylor]: Taking taylor expansion of (* z y) in y
19.453 * [taylor]: Taking taylor expansion of z in y
19.453 * [backup-simplify]: Simplify z into z
19.453 * [taylor]: Taking taylor expansion of y in y
19.453 * [backup-simplify]: Simplify 0 into 0
19.453 * [backup-simplify]: Simplify 1 into 1
19.453 * [backup-simplify]: Simplify (* z 0) into 0
19.454 * [backup-simplify]: Simplify (- 0) into 0
19.454 * [taylor]: Taking taylor expansion of 0 in z
19.454 * [backup-simplify]: Simplify 0 into 0
19.454 * [backup-simplify]: Simplify 0 into 0
19.454 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
19.454 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
19.454 * [backup-simplify]: Simplify (- 0) into 0
19.455 * [backup-simplify]: Simplify (+ y 0) into y
19.455 * [taylor]: Taking taylor expansion of y in y
19.455 * [backup-simplify]: Simplify 0 into 0
19.455 * [backup-simplify]: Simplify 1 into 1
19.455 * [taylor]: Taking taylor expansion of 0 in z
19.455 * [backup-simplify]: Simplify 0 into 0
19.455 * [backup-simplify]: Simplify 0 into 0
19.455 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
19.455 * [backup-simplify]: Simplify (- z) into (- z)
19.455 * [taylor]: Taking taylor expansion of (- z) in z
19.455 * [taylor]: Taking taylor expansion of z in z
19.455 * [backup-simplify]: Simplify 0 into 0
19.455 * [backup-simplify]: Simplify 1 into 1
19.455 * [backup-simplify]: Simplify (- 0) into 0
19.455 * [backup-simplify]: Simplify 0 into 0
19.455 * [backup-simplify]: Simplify 0 into 0
19.456 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
19.457 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
19.457 * [backup-simplify]: Simplify (- 0) into 0
19.457 * [backup-simplify]: Simplify (+ 0 0) into 0
19.457 * [taylor]: Taking taylor expansion of 0 in y
19.458 * [backup-simplify]: Simplify 0 into 0
19.458 * [taylor]: Taking taylor expansion of 0 in z
19.458 * [backup-simplify]: Simplify 0 into 0
19.458 * [backup-simplify]: Simplify 0 into 0
19.458 * [taylor]: Taking taylor expansion of 1 in z
19.458 * [backup-simplify]: Simplify 1 into 1
19.458 * [backup-simplify]: Simplify 1 into 1
19.458 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
19.459 * [backup-simplify]: Simplify (- 0) into 0
19.459 * [taylor]: Taking taylor expansion of 0 in z
19.459 * [backup-simplify]: Simplify 0 into 0
19.459 * [backup-simplify]: Simplify 0 into 0
19.459 * [backup-simplify]: Simplify 0 into 0
19.459 * [backup-simplify]: Simplify (- 1) into -1
19.459 * [backup-simplify]: Simplify -1 into -1
19.459 * [backup-simplify]: Simplify 0 into 0
19.460 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
19.461 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
19.462 * [backup-simplify]: Simplify (- 0) into 0
19.462 * [backup-simplify]: Simplify (+ 0 0) into 0
19.462 * [taylor]: Taking taylor expansion of 0 in y
19.462 * [backup-simplify]: Simplify 0 into 0
19.462 * [taylor]: Taking taylor expansion of 0 in z
19.462 * [backup-simplify]: Simplify 0 into 0
19.462 * [backup-simplify]: Simplify 0 into 0
19.462 * [taylor]: Taking taylor expansion of 0 in z
19.462 * [backup-simplify]: Simplify 0 into 0
19.462 * [backup-simplify]: Simplify 0 into 0
19.462 * [taylor]: Taking taylor expansion of 0 in z
19.462 * [backup-simplify]: Simplify 0 into 0
19.462 * [backup-simplify]: Simplify 0 into 0
19.463 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
19.464 * [backup-simplify]: Simplify (- 0) into 0
19.464 * [taylor]: Taking taylor expansion of 0 in z
19.464 * [backup-simplify]: Simplify 0 into 0
19.464 * [backup-simplify]: Simplify 0 into 0
19.464 * [backup-simplify]: Simplify 0 into 0
19.464 * [backup-simplify]: Simplify (+ (* -1 (* z (* y 1))) (* 1 (* 1 (* y x)))) into (- (* x y) (* z y))
19.464 * [backup-simplify]: Simplify (- (- (* (/ 1 x) (/ 1 y)) 0) (* (/ 1 y) (/ 1 z))) into (- (/ 1 (* x y)) (/ 1 (* z y)))
19.464 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0
19.464 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z
19.464 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
19.464 * [taylor]: Taking taylor expansion of (* x y) in z
19.464 * [taylor]: Taking taylor expansion of x in z
19.464 * [backup-simplify]: Simplify x into x
19.464 * [taylor]: Taking taylor expansion of y in z
19.464 * [backup-simplify]: Simplify y into y
19.465 * [backup-simplify]: Simplify (* x y) into (* x y)
19.465 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
19.465 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
19.465 * [taylor]: Taking taylor expansion of (* z y) in z
19.465 * [taylor]: Taking taylor expansion of z in z
19.465 * [backup-simplify]: Simplify 0 into 0
19.465 * [backup-simplify]: Simplify 1 into 1
19.465 * [taylor]: Taking taylor expansion of y in z
19.465 * [backup-simplify]: Simplify y into y
19.465 * [backup-simplify]: Simplify (* 0 y) into 0
19.465 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
19.465 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
19.465 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
19.465 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
19.465 * [taylor]: Taking taylor expansion of (* x y) in y
19.465 * [taylor]: Taking taylor expansion of x in y
19.465 * [backup-simplify]: Simplify x into x
19.465 * [taylor]: Taking taylor expansion of y in y
19.466 * [backup-simplify]: Simplify 0 into 0
19.466 * [backup-simplify]: Simplify 1 into 1
19.466 * [backup-simplify]: Simplify (* x 0) into 0
19.466 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
19.466 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
19.466 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
19.466 * [taylor]: Taking taylor expansion of (* z y) in y
19.466 * [taylor]: Taking taylor expansion of z in y
19.466 * [backup-simplify]: Simplify z into z
19.466 * [taylor]: Taking taylor expansion of y in y
19.466 * [backup-simplify]: Simplify 0 into 0
19.466 * [backup-simplify]: Simplify 1 into 1
19.466 * [backup-simplify]: Simplify (* z 0) into 0
19.467 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
19.467 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
19.467 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
19.467 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
19.467 * [taylor]: Taking taylor expansion of (* x y) in x
19.467 * [taylor]: Taking taylor expansion of x in x
19.467 * [backup-simplify]: Simplify 0 into 0
19.467 * [backup-simplify]: Simplify 1 into 1
19.467 * [taylor]: Taking taylor expansion of y in x
19.467 * [backup-simplify]: Simplify y into y
19.467 * [backup-simplify]: Simplify (* 0 y) into 0
19.468 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
19.468 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
19.468 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
19.468 * [taylor]: Taking taylor expansion of (* z y) in x
19.468 * [taylor]: Taking taylor expansion of z in x
19.468 * [backup-simplify]: Simplify z into z
19.468 * [taylor]: Taking taylor expansion of y in x
19.468 * [backup-simplify]: Simplify y into y
19.468 * [backup-simplify]: Simplify (* z y) into (* z y)
19.468 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
19.468 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
19.468 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
19.468 * [taylor]: Taking taylor expansion of (* x y) in x
19.468 * [taylor]: Taking taylor expansion of x in x
19.468 * [backup-simplify]: Simplify 0 into 0
19.468 * [backup-simplify]: Simplify 1 into 1
19.468 * [taylor]: Taking taylor expansion of y in x
19.468 * [backup-simplify]: Simplify y into y
19.468 * [backup-simplify]: Simplify (* 0 y) into 0
19.469 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
19.469 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
19.469 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
19.469 * [taylor]: Taking taylor expansion of (* z y) in x
19.469 * [taylor]: Taking taylor expansion of z in x
19.469 * [backup-simplify]: Simplify z into z
19.469 * [taylor]: Taking taylor expansion of y in x
19.469 * [backup-simplify]: Simplify y into y
19.469 * [backup-simplify]: Simplify (* z y) into (* z y)
19.469 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
19.469 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
19.469 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.469 * [taylor]: Taking taylor expansion of y in y
19.469 * [backup-simplify]: Simplify 0 into 0
19.469 * [backup-simplify]: Simplify 1 into 1
19.470 * [backup-simplify]: Simplify (/ 1 1) into 1
19.470 * [taylor]: Taking taylor expansion of 1 in z
19.470 * [backup-simplify]: Simplify 1 into 1
19.471 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
19.471 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
19.471 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y)))
19.471 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* z y)))) into (- (/ 1 (* z y)))
19.471 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
19.471 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
19.471 * [taylor]: Taking taylor expansion of (* z y) in y
19.471 * [taylor]: Taking taylor expansion of z in y
19.471 * [backup-simplify]: Simplify z into z
19.471 * [taylor]: Taking taylor expansion of y in y
19.471 * [backup-simplify]: Simplify 0 into 0
19.471 * [backup-simplify]: Simplify 1 into 1
19.471 * [backup-simplify]: Simplify (* z 0) into 0
19.472 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
19.472 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
19.472 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
19.472 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
19.472 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.472 * [taylor]: Taking taylor expansion of z in z
19.472 * [backup-simplify]: Simplify 0 into 0
19.472 * [backup-simplify]: Simplify 1 into 1
19.472 * [backup-simplify]: Simplify (/ 1 1) into 1
19.473 * [backup-simplify]: Simplify (- 1) into -1
19.473 * [backup-simplify]: Simplify -1 into -1
19.474 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
19.474 * [taylor]: Taking taylor expansion of 0 in z
19.474 * [backup-simplify]: Simplify 0 into 0
19.474 * [backup-simplify]: Simplify 1 into 1
19.475 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
19.475 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
19.475 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
19.475 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
19.476 * [backup-simplify]: Simplify (- 0) into 0
19.476 * [backup-simplify]: Simplify (+ 0 0) into 0
19.476 * [taylor]: Taking taylor expansion of 0 in y
19.476 * [backup-simplify]: Simplify 0 into 0
19.477 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
19.477 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
19.477 * [backup-simplify]: Simplify (- 0) into 0
19.477 * [taylor]: Taking taylor expansion of 0 in z
19.478 * [backup-simplify]: Simplify 0 into 0
19.478 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.478 * [taylor]: Taking taylor expansion of 0 in z
19.478 * [backup-simplify]: Simplify 0 into 0
19.479 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
19.480 * [backup-simplify]: Simplify (- 0) into 0
19.480 * [backup-simplify]: Simplify 0 into 0
19.480 * [backup-simplify]: Simplify 0 into 0
19.480 * [backup-simplify]: Simplify 0 into 0
19.481 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
19.482 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
19.482 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
19.482 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
19.483 * [backup-simplify]: Simplify (- 0) into 0
19.483 * [backup-simplify]: Simplify (+ 0 0) into 0
19.483 * [taylor]: Taking taylor expansion of 0 in y
19.483 * [backup-simplify]: Simplify 0 into 0
19.483 * [taylor]: Taking taylor expansion of 0 in z
19.483 * [backup-simplify]: Simplify 0 into 0
19.484 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
19.484 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
19.485 * [backup-simplify]: Simplify (- 0) into 0
19.485 * [taylor]: Taking taylor expansion of 0 in z
19.485 * [backup-simplify]: Simplify 0 into 0
19.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.486 * [taylor]: Taking taylor expansion of 0 in z
19.486 * [backup-simplify]: Simplify 0 into 0
19.486 * [backup-simplify]: Simplify 0 into 0
19.486 * [backup-simplify]: Simplify 0 into 0
19.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.488 * [backup-simplify]: Simplify (- 0) into 0
19.488 * [backup-simplify]: Simplify 0 into 0
19.488 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1)))) into (- (* x y) (* z y))
19.489 * [backup-simplify]: Simplify (- (- (* (/ 1 (- x)) (/ 1 (- y))) 0) (* (/ 1 (- y)) (/ 1 (- z)))) into (- (/ 1 (* x y)) (/ 1 (* z y)))
19.489 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0
19.489 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z
19.489 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
19.489 * [taylor]: Taking taylor expansion of (* x y) in z
19.489 * [taylor]: Taking taylor expansion of x in z
19.489 * [backup-simplify]: Simplify x into x
19.489 * [taylor]: Taking taylor expansion of y in z
19.489 * [backup-simplify]: Simplify y into y
19.489 * [backup-simplify]: Simplify (* x y) into (* x y)
19.489 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
19.489 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
19.489 * [taylor]: Taking taylor expansion of (* z y) in z
19.489 * [taylor]: Taking taylor expansion of z in z
19.489 * [backup-simplify]: Simplify 0 into 0
19.489 * [backup-simplify]: Simplify 1 into 1
19.489 * [taylor]: Taking taylor expansion of y in z
19.489 * [backup-simplify]: Simplify y into y
19.489 * [backup-simplify]: Simplify (* 0 y) into 0
19.490 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
19.490 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
19.490 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
19.490 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
19.490 * [taylor]: Taking taylor expansion of (* x y) in y
19.490 * [taylor]: Taking taylor expansion of x in y
19.490 * [backup-simplify]: Simplify x into x
19.490 * [taylor]: Taking taylor expansion of y in y
19.490 * [backup-simplify]: Simplify 0 into 0
19.490 * [backup-simplify]: Simplify 1 into 1
19.490 * [backup-simplify]: Simplify (* x 0) into 0
19.491 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
19.491 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
19.491 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
19.491 * [taylor]: Taking taylor expansion of (* z y) in y
19.491 * [taylor]: Taking taylor expansion of z in y
19.491 * [backup-simplify]: Simplify z into z
19.491 * [taylor]: Taking taylor expansion of y in y
19.491 * [backup-simplify]: Simplify 0 into 0
19.491 * [backup-simplify]: Simplify 1 into 1
19.491 * [backup-simplify]: Simplify (* z 0) into 0
19.492 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
19.492 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
19.492 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
19.492 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
19.492 * [taylor]: Taking taylor expansion of (* x y) in x
19.492 * [taylor]: Taking taylor expansion of x in x
19.492 * [backup-simplify]: Simplify 0 into 0
19.492 * [backup-simplify]: Simplify 1 into 1
19.492 * [taylor]: Taking taylor expansion of y in x
19.492 * [backup-simplify]: Simplify y into y
19.492 * [backup-simplify]: Simplify (* 0 y) into 0
19.492 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
19.492 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
19.493 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
19.493 * [taylor]: Taking taylor expansion of (* z y) in x
19.493 * [taylor]: Taking taylor expansion of z in x
19.493 * [backup-simplify]: Simplify z into z
19.493 * [taylor]: Taking taylor expansion of y in x
19.493 * [backup-simplify]: Simplify y into y
19.493 * [backup-simplify]: Simplify (* z y) into (* z y)
19.493 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
19.493 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
19.493 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
19.493 * [taylor]: Taking taylor expansion of (* x y) in x
19.493 * [taylor]: Taking taylor expansion of x in x
19.493 * [backup-simplify]: Simplify 0 into 0
19.493 * [backup-simplify]: Simplify 1 into 1
19.493 * [taylor]: Taking taylor expansion of y in x
19.493 * [backup-simplify]: Simplify y into y
19.493 * [backup-simplify]: Simplify (* 0 y) into 0
19.494 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
19.494 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
19.494 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
19.494 * [taylor]: Taking taylor expansion of (* z y) in x
19.494 * [taylor]: Taking taylor expansion of z in x
19.494 * [backup-simplify]: Simplify z into z
19.494 * [taylor]: Taking taylor expansion of y in x
19.494 * [backup-simplify]: Simplify y into y
19.494 * [backup-simplify]: Simplify (* z y) into (* z y)
19.494 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
19.494 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
19.494 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.494 * [taylor]: Taking taylor expansion of y in y
19.494 * [backup-simplify]: Simplify 0 into 0
19.494 * [backup-simplify]: Simplify 1 into 1
19.495 * [backup-simplify]: Simplify (/ 1 1) into 1
19.495 * [taylor]: Taking taylor expansion of 1 in z
19.495 * [backup-simplify]: Simplify 1 into 1
19.496 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
19.496 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
19.496 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y)))
19.496 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* z y)))) into (- (/ 1 (* z y)))
19.496 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
19.496 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
19.496 * [taylor]: Taking taylor expansion of (* z y) in y
19.496 * [taylor]: Taking taylor expansion of z in y
19.496 * [backup-simplify]: Simplify z into z
19.496 * [taylor]: Taking taylor expansion of y in y
19.496 * [backup-simplify]: Simplify 0 into 0
19.496 * [backup-simplify]: Simplify 1 into 1
19.496 * [backup-simplify]: Simplify (* z 0) into 0
19.497 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
19.497 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
19.497 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
19.497 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
19.497 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.497 * [taylor]: Taking taylor expansion of z in z
19.497 * [backup-simplify]: Simplify 0 into 0
19.497 * [backup-simplify]: Simplify 1 into 1
19.497 * [backup-simplify]: Simplify (/ 1 1) into 1
19.498 * [backup-simplify]: Simplify (- 1) into -1
19.498 * [backup-simplify]: Simplify -1 into -1
19.499 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
19.499 * [taylor]: Taking taylor expansion of 0 in z
19.499 * [backup-simplify]: Simplify 0 into 0
19.499 * [backup-simplify]: Simplify 1 into 1
19.500 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
19.500 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
19.500 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
19.501 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
19.501 * [backup-simplify]: Simplify (- 0) into 0
19.501 * [backup-simplify]: Simplify (+ 0 0) into 0
19.501 * [taylor]: Taking taylor expansion of 0 in y
19.501 * [backup-simplify]: Simplify 0 into 0
19.502 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
19.502 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
19.502 * [backup-simplify]: Simplify (- 0) into 0
19.503 * [taylor]: Taking taylor expansion of 0 in z
19.503 * [backup-simplify]: Simplify 0 into 0
19.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.508 * [taylor]: Taking taylor expansion of 0 in z
19.508 * [backup-simplify]: Simplify 0 into 0
19.509 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
19.510 * [backup-simplify]: Simplify (- 0) into 0
19.510 * [backup-simplify]: Simplify 0 into 0
19.510 * [backup-simplify]: Simplify 0 into 0
19.510 * [backup-simplify]: Simplify 0 into 0
19.512 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
19.512 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
19.513 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
19.513 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
19.513 * [backup-simplify]: Simplify (- 0) into 0
19.514 * [backup-simplify]: Simplify (+ 0 0) into 0
19.514 * [taylor]: Taking taylor expansion of 0 in y
19.514 * [backup-simplify]: Simplify 0 into 0
19.514 * [taylor]: Taking taylor expansion of 0 in z
19.514 * [backup-simplify]: Simplify 0 into 0
19.515 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
19.515 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
19.515 * [backup-simplify]: Simplify (- 0) into 0
19.515 * [taylor]: Taking taylor expansion of 0 in z
19.515 * [backup-simplify]: Simplify 0 into 0
19.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.516 * [taylor]: Taking taylor expansion of 0 in z
19.516 * [backup-simplify]: Simplify 0 into 0
19.516 * [backup-simplify]: Simplify 0 into 0
19.516 * [backup-simplify]: Simplify 0 into 0
19.517 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.518 * [backup-simplify]: Simplify (- 0) into 0
19.518 * [backup-simplify]: Simplify 0 into 0
19.518 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1)))) into (- (* x y) (* z y))
19.518 * * * [progress]: simplifying candidates
19.519 * [simplify]: Simplifying:
  (fma (* (cbrt (- (* x y) 0)) (cbrt (- (* x y) 0))) (cbrt (- (* x y) 0)) (- (* z y)))
  (fma (- z) y (* z y))
  (fma (sqrt (- (* x y) 0)) (sqrt (- (* x y) 0)) (- (* z y)))
  (fma (- z) y (* z y))
  (fma 1 (- (* x y) 0) (- (* z y)))
  (fma (- z) y (* z y))
  (expm1 (- (- (* x y) 0) (* y z)))
  (log1p (- (- (* x y) 0) (* y z)))
  (- (* y z))
  (- (* y z))
  (- (* y z))
  (/ (/ (exp (* x y)) (exp 0)) (exp (* y z)))
  (/ (exp (- (* x y) 0)) (exp (* y z)))
  (log (- (- (* x y) 0) (* y z)))
  (exp (- (- (* x y) 0) (* y z)))
  (* (cbrt (- (- (* x y) 0) (* y z))) (cbrt (- (- (* x y) 0) (* y z))))
  (cbrt (- (- (* x y) 0) (* y z)))
  (* (* (- (- (* x y) 0) (* y z)) (- (- (* x y) 0) (* y z))) (- (- (* x y) 0) (* y z)))
  (sqrt (- (- (* x y) 0) (* y z)))
  (sqrt (- (- (* x y) 0) (* y z)))
  (- (pow (- (* x y) 0) 3) (pow (* y z) 3))
  (+ (* (- (* x y) 0) (- (* x y) 0)) (+ (* (* y z) (* y z)) (* (- (* x y) 0) (* y z))))
  (- (* y z))
  (- (* (- (* x y) 0) (- (* x y) 0)) (* (* y z) (* y z)))
  (+ (- (* x y) 0) (* y z))
  (- (fma (- (cbrt 0)) (* (cbrt 0) (cbrt 0)) (* (cbrt 0) (* (cbrt 0) (cbrt 0)))) (* y z))
  (- (fma (- (sqrt 0)) (sqrt 0) (* (sqrt 0) (sqrt 0))) (* y z))
  (- (fma (- 0) 1 (* 0 1)) (* y z))
  (- (- 0) (* y z))
  (- (- 0) (* y z))
  (+ 0 (* y z))
  (- (* y z))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
19.521 * * [simplify]: Extracting # 0 : cost  0
19.522 * * [simplify]: Extracting # 1 : cost  0
19.522 * * [simplify]: Extracting # 2 : cost  0
19.522 * * [simplify]: Extracting # 3 : cost  0
19.522 * * [simplify]: Extracting # 4 : cost  0
19.522 * * [simplify]: Extracting # 5 : cost  0
19.522 * * [simplify]: Extracting # 6 : cost  0
19.523 * * [simplify]: Extracting # 7 : cost  0
19.523 * * [simplify]: iteration  0 :  65  enodes  (cost  391 )
19.566 * * [simplify]: Extracting # 0 : cost  0
19.566 * * [simplify]: Extracting # 1 : cost  0
19.566 * * [simplify]: Extracting # 2 : cost  0
19.567 * * [simplify]: Extracting # 3 : cost  0
19.567 * * [simplify]: Extracting # 4 : cost  0
19.567 * * [simplify]: iteration  1 :  146  enodes  (cost  263 )
19.639 * * [simplify]: Extracting # 0 : cost  0
19.640 * * [simplify]: Extracting # 1 : cost  0
19.640 * * [simplify]: Extracting # 2 : cost  0
19.640 * * [simplify]: Extracting # 3 : cost  0
19.641 * * [simplify]: Extracting # 4 : cost  0
19.641 * * [simplify]: Extracting # 5 : cost  0
19.642 * * [simplify]: iteration  2 :  418  enodes  (cost  221 )
20.458 * * [simplify]: Extracting # 0 : cost  0
20.462 * * [simplify]: Extracting # 1 : cost  0
20.464 * * [simplify]: Extracting # 2 : cost  0
20.467 * * [simplify]: Extracting # 3 : cost  0
20.470 * * [simplify]: Extracting # 4 : cost  0
20.473 * * [simplify]: iteration  3 :  1771  enodes  (cost  212 )
25.487 * * [simplify]: Extracting # 0 : cost  0
25.500 * * [simplify]: Extracting # 1 : cost  0
25.507 * * [simplify]: Extracting # 2 : cost  0
25.511 * * [simplify]: Extracting # 3 : cost  0
25.515 * * [simplify]: Extracting # 4 : cost  0
25.519 * * [simplify]: iteration done:  5001  enodes  (cost  191 )
25.519 * [simplify]: Simplified to:
  (* (- x z) y)
  0
  (* (- x z) y)
  0
  (* (- x z) y)
  0
  (expm1 (* y (- x z)))
  (log1p (* y (- x z)))
  (* z (- y))
  (* z (- y))
  (* z (- y))
  (exp (* y (- x z)))
  (exp (* y (- x z)))
  (log (* y (- x z)))
  (exp (* y (- x z)))
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (pow (* (- x z) y) 3)
  (sqrt (* y (- x z)))
  (sqrt (* y (- x z)))
  (- (pow (* y x) 3) (pow (* y z) 3))
  (* y (fma (* z y) (+ x z) (* (* y x) x)))
  (* z (- y))
  (* (* (- x z) y) (* y (+ z x)))
  (* (+ x z) y)
  (* z (- y))
  (* z (- y))
  (* z (- y))
  (* z (- y))
  (* z (- y))
  (* z y)
  (* z (- y))
  (* (- x z) y)
  (* (- x z) y)
  (* (- x z) y)
25.519 * * * [progress]: adding candidates to table
25.577 * [progress]: [Phase 3 of 3] Extracting.
25.577 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* (- x z) y))> #<alt (λ (x y z) (- (- (* x y) 0) (* y z)))>)
25.577 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
25.577 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (* (- x z) y))> #<alt (λ (x y z) (- (- (* x y) 0) (* y z)))>)
25.602 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (* (- x z) y))> #<alt (λ (x y z) (- (- (* x y) 0) (* y z)))>)
25.626 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (* (- x z) y))> #<alt (λ (x y z) (- (- (* x y) 0) (* y z)))>)
25.647 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
25.647 * [simplify]: Simplifying:
  (- (- (* x y) 0) (* y z))
25.647 * * [simplify]: Extracting # 0 : cost  0
25.647 * * [simplify]: Extracting # 1 : cost  0
25.647 * * [simplify]: Extracting # 2 : cost  0
25.647 * * [simplify]: Extracting # 3 : cost  0
25.647 * * [simplify]: Extracting # 4 : cost  0
25.647 * * [simplify]: Extracting # 5 : cost  0
25.647 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
25.648 * * [simplify]: Extracting # 0 : cost  0
25.648 * * [simplify]: Extracting # 1 : cost  0
25.648 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
25.649 * * [simplify]: Extracting # 0 : cost  0
25.649 * * [simplify]: iteration done:  10  enodes  (cost  7 )
25.649 * [simplify]: Simplified to:
  (- (* y x) (* y z))
27.843 * [regime-testing]: Baseline error score: 0.015862504127904544
27.845 * [regime-testing]: Oracle error score: 0.005625703212901613
27.850 * [regime-testing]: End program error score: 0.015862504127904544
27.889 * [regime-testing]: Target error score: 0.01487685960745093