11.129 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.021 * * * [progress]: [2/2] Setting up program.
0.024 * [progress]: [Phase 2 of 3] Improving.
0.025 * [simplify]: Simplifying:
  (+ x (* y (+ z x)))
0.025 * * [simplify]: iteration 0: 6 enodes
0.026 * * [simplify]: iteration 1: 15 enodes
0.028 * * [simplify]: iteration 2: 25 enodes
0.031 * * [simplify]: iteration 3: 35 enodes
0.035 * * [simplify]: iteration 4: 39 enodes
0.039 * * [simplify]: iteration 5: 45 enodes
0.043 * * [simplify]: iteration 6: 50 enodes
0.047 * * [simplify]: iteration 7: 66 enodes
0.054 * * [simplify]: iteration 8: 107 enodes
0.068 * * [simplify]: iteration 9: 134 enodes
0.080 * * [simplify]: iteration 10: 174 enodes
0.097 * * [simplify]: iteration 11: 211 enodes
0.120 * * [simplify]: iteration 12: 280 enodes
0.153 * * [simplify]: iteration 13: 317 enodes
0.189 * * [simplify]: iteration 14: 410 enodes
0.270 * * [simplify]: iteration 15: 447 enodes
0.358 * * [simplify]: iteration 16: 564 enodes
0.463 * * [simplify]: iteration 17: 601 enodes
0.570 * * [simplify]: iteration 18: 742 enodes
0.660 * * [simplify]: iteration 19: 780 enodes
0.789 * * [simplify]: iteration 20: 945 enodes
0.897 * * [simplify]: iteration 21: 982 enodes
1.038 * * [simplify]: iteration 22: 1171 enodes
1.229 * * [simplify]: iteration 23: 1208 enodes
1.398 * * [simplify]: iteration 24: 1421 enodes
1.606 * * [simplify]: iteration 25: 1459 enodes
1.824 * * [simplify]: iteration 26: 1696 enodes
2.078 * * [simplify]: iteration 27: 1733 enodes
2.301 * * [simplify]: iteration 28: 1994 enodes
2.655 * * [simplify]: iteration 29: 2031 enodes
2.901 * * [simplify]: iteration 30: 2316 enodes
3.258 * * [simplify]: iteration 31: 2353 enodes
3.581 * * [simplify]: iteration 32: 2662 enodes
3.993 * * [simplify]: iteration 33: 2701 enodes
4.385 * * [simplify]: iteration 34: 3034 enodes
4.805 * * [simplify]: iteration 35: 3071 enodes
5.235 * * [simplify]: iteration 36: 3428 enodes
5.846 * * [simplify]: iteration 37: 3466 enodes
6.387 * * [simplify]: iteration 38: 3847 enodes
6.974 * * [simplify]: iteration 39: 3884 enodes
7.638 * * [simplify]: iteration 40: 4289 enodes
8.311 * * [simplify]: iteration 41: 4327 enodes
8.928 * * [simplify]: iteration 42: 4756 enodes
9.658 * * [simplify]: iteration 43: 4795 enodes
10.041 * * [simplify]: iteration complete: 5000 enodes
10.041 * * [simplify]: Extracting #0: cost 1 inf + 0
10.041 * * [simplify]: Extracting #1: cost 7 inf + 0
10.042 * * [simplify]: Extracting #2: cost 237 inf + 1
10.045 * * [simplify]: Extracting #3: cost 54 inf + 7767
10.050 * * [simplify]: Extracting #4: cost 0 inf + 10035
10.054 * [simplify]: Simplified to:
  (+ x (* (+ x z) y))
10.055 * * [progress]: iteration 1 / 4
10.055 * * * [progress]: picking best candidate
10.058 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* y (+ z x))))>
10.058 * * * [progress]: localizing error
10.067 * * * [progress]: generating rewritten candidates
10.067 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
10.086 * * * [progress]: generating series expansions
10.086 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
10.086 * [backup-simplify]: Simplify (* y (+ z x)) into (* (+ x z) y)
10.086 * [approximate]: Taking taylor expansion of (* (+ x z) y) in (y z x) around 0
10.086 * [taylor]: Taking taylor expansion of (* (+ x z) y) in x
10.086 * [taylor]: Taking taylor expansion of (+ x z) in x
10.086 * [taylor]: Taking taylor expansion of x in x
10.086 * [backup-simplify]: Simplify 0 into 0
10.086 * [backup-simplify]: Simplify 1 into 1
10.086 * [taylor]: Taking taylor expansion of z in x
10.086 * [backup-simplify]: Simplify z into z
10.087 * [taylor]: Taking taylor expansion of y in x
10.087 * [backup-simplify]: Simplify y into y
10.087 * [taylor]: Taking taylor expansion of (* (+ x z) y) in z
10.087 * [taylor]: Taking taylor expansion of (+ x z) in z
10.087 * [taylor]: Taking taylor expansion of x in z
10.087 * [backup-simplify]: Simplify x into x
10.087 * [taylor]: Taking taylor expansion of z in z
10.087 * [backup-simplify]: Simplify 0 into 0
10.087 * [backup-simplify]: Simplify 1 into 1
10.087 * [taylor]: Taking taylor expansion of y in z
10.087 * [backup-simplify]: Simplify y into y
10.087 * [taylor]: Taking taylor expansion of (* (+ x z) y) in y
10.087 * [taylor]: Taking taylor expansion of (+ x z) in y
10.087 * [taylor]: Taking taylor expansion of x in y
10.087 * [backup-simplify]: Simplify x into x
10.087 * [taylor]: Taking taylor expansion of z in y
10.087 * [backup-simplify]: Simplify z into z
10.087 * [taylor]: Taking taylor expansion of y in y
10.087 * [backup-simplify]: Simplify 0 into 0
10.087 * [backup-simplify]: Simplify 1 into 1
10.087 * [taylor]: Taking taylor expansion of (* (+ x z) y) in y
10.087 * [taylor]: Taking taylor expansion of (+ x z) in y
10.087 * [taylor]: Taking taylor expansion of x in y
10.087 * [backup-simplify]: Simplify x into x
10.087 * [taylor]: Taking taylor expansion of z in y
10.087 * [backup-simplify]: Simplify z into z
10.087 * [taylor]: Taking taylor expansion of y in y
10.087 * [backup-simplify]: Simplify 0 into 0
10.087 * [backup-simplify]: Simplify 1 into 1
10.087 * [backup-simplify]: Simplify (+ x z) into (+ x z)
10.087 * [backup-simplify]: Simplify (* (+ x z) 0) into 0
10.087 * [taylor]: Taking taylor expansion of 0 in z
10.087 * [backup-simplify]: Simplify 0 into 0
10.087 * [taylor]: Taking taylor expansion of 0 in x
10.087 * [backup-simplify]: Simplify 0 into 0
10.087 * [backup-simplify]: Simplify 0 into 0
10.088 * [backup-simplify]: Simplify (+ 0 0) into 0
10.088 * [backup-simplify]: Simplify (+ (* (+ x z) 1) (* 0 0)) into (+ x z)
10.088 * [taylor]: Taking taylor expansion of (+ x z) in z
10.088 * [taylor]: Taking taylor expansion of x in z
10.088 * [backup-simplify]: Simplify x into x
10.088 * [taylor]: Taking taylor expansion of z in z
10.088 * [backup-simplify]: Simplify 0 into 0
10.088 * [backup-simplify]: Simplify 1 into 1
10.088 * [backup-simplify]: Simplify (+ x 0) into x
10.088 * [taylor]: Taking taylor expansion of x in x
10.088 * [backup-simplify]: Simplify 0 into 0
10.088 * [backup-simplify]: Simplify 1 into 1
10.088 * [backup-simplify]: Simplify 0 into 0
10.088 * [taylor]: Taking taylor expansion of 0 in x
10.088 * [backup-simplify]: Simplify 0 into 0
10.088 * [backup-simplify]: Simplify 0 into 0
10.088 * [backup-simplify]: Simplify 0 into 0
10.088 * [backup-simplify]: Simplify (+ 0 0) into 0
10.089 * [backup-simplify]: Simplify (+ (* (+ x z) 0) (+ (* 0 1) (* 0 0))) into 0
10.089 * [taylor]: Taking taylor expansion of 0 in z
10.089 * [backup-simplify]: Simplify 0 into 0
10.089 * [taylor]: Taking taylor expansion of 0 in x
10.089 * [backup-simplify]: Simplify 0 into 0
10.089 * [backup-simplify]: Simplify 0 into 0
10.089 * [backup-simplify]: Simplify (+ 0 1) into 1
10.089 * [taylor]: Taking taylor expansion of 1 in x
10.089 * [backup-simplify]: Simplify 1 into 1
10.089 * [backup-simplify]: Simplify 1 into 1
10.089 * [taylor]: Taking taylor expansion of 0 in x
10.089 * [backup-simplify]: Simplify 0 into 0
10.089 * [backup-simplify]: Simplify 0 into 0
10.089 * [backup-simplify]: Simplify 1 into 1
10.089 * [backup-simplify]: Simplify 0 into 0
10.089 * [backup-simplify]: Simplify 0 into 0
10.090 * [backup-simplify]: Simplify (+ 0 0) into 0
10.090 * [backup-simplify]: Simplify (+ (* (+ x z) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
10.090 * [taylor]: Taking taylor expansion of 0 in z
10.090 * [backup-simplify]: Simplify 0 into 0
10.090 * [taylor]: Taking taylor expansion of 0 in x
10.090 * [backup-simplify]: Simplify 0 into 0
10.090 * [backup-simplify]: Simplify 0 into 0
10.090 * [taylor]: Taking taylor expansion of 0 in x
10.090 * [backup-simplify]: Simplify 0 into 0
10.090 * [backup-simplify]: Simplify 0 into 0
10.091 * [backup-simplify]: Simplify (+ 0 0) into 0
10.091 * [taylor]: Taking taylor expansion of 0 in x
10.091 * [backup-simplify]: Simplify 0 into 0
10.091 * [backup-simplify]: Simplify 0 into 0
10.091 * [taylor]: Taking taylor expansion of 0 in x
10.091 * [backup-simplify]: Simplify 0 into 0
10.091 * [backup-simplify]: Simplify 0 into 0
10.091 * [backup-simplify]: Simplify (+ (* 1 (* x (* 1 y))) (* 1 (* 1 (* z y)))) into (+ (* z y) (* x y))
10.091 * [backup-simplify]: Simplify (* (/ 1 y) (+ (/ 1 z) (/ 1 x))) into (/ (+ (/ 1 x) (/ 1 z)) y)
10.091 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in (y z x) around 0
10.091 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in x
10.091 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in x
10.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.091 * [taylor]: Taking taylor expansion of x in x
10.091 * [backup-simplify]: Simplify 0 into 0
10.091 * [backup-simplify]: Simplify 1 into 1
10.091 * [backup-simplify]: Simplify (/ 1 1) into 1
10.091 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.091 * [taylor]: Taking taylor expansion of z in x
10.091 * [backup-simplify]: Simplify z into z
10.091 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.091 * [taylor]: Taking taylor expansion of y in x
10.091 * [backup-simplify]: Simplify y into y
10.092 * [backup-simplify]: Simplify (+ 1 0) into 1
10.092 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.092 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in z
10.092 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
10.092 * [taylor]: Taking taylor expansion of (/ 1 x) in z
10.092 * [taylor]: Taking taylor expansion of x in z
10.092 * [backup-simplify]: Simplify x into x
10.092 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.092 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.092 * [taylor]: Taking taylor expansion of z in z
10.092 * [backup-simplify]: Simplify 0 into 0
10.092 * [backup-simplify]: Simplify 1 into 1
10.092 * [backup-simplify]: Simplify (/ 1 1) into 1
10.092 * [taylor]: Taking taylor expansion of y in z
10.092 * [backup-simplify]: Simplify y into y
10.092 * [backup-simplify]: Simplify (+ 0 1) into 1
10.092 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.093 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in y
10.093 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in y
10.093 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.093 * [taylor]: Taking taylor expansion of x in y
10.093 * [backup-simplify]: Simplify x into x
10.093 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.093 * [taylor]: Taking taylor expansion of (/ 1 z) in y
10.093 * [taylor]: Taking taylor expansion of z in y
10.093 * [backup-simplify]: Simplify z into z
10.093 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.093 * [taylor]: Taking taylor expansion of y in y
10.093 * [backup-simplify]: Simplify 0 into 0
10.093 * [backup-simplify]: Simplify 1 into 1
10.093 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 z)) into (+ (/ 1 x) (/ 1 z))
10.093 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 z)) 1) into (+ (/ 1 x) (/ 1 z))
10.093 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in y
10.093 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in y
10.093 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.093 * [taylor]: Taking taylor expansion of x in y
10.093 * [backup-simplify]: Simplify x into x
10.093 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.093 * [taylor]: Taking taylor expansion of (/ 1 z) in y
10.093 * [taylor]: Taking taylor expansion of z in y
10.093 * [backup-simplify]: Simplify z into z
10.093 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.093 * [taylor]: Taking taylor expansion of y in y
10.093 * [backup-simplify]: Simplify 0 into 0
10.093 * [backup-simplify]: Simplify 1 into 1
10.093 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 z)) into (+ (/ 1 x) (/ 1 z))
10.093 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 z)) 1) into (+ (/ 1 x) (/ 1 z))
10.093 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
10.093 * [taylor]: Taking taylor expansion of (/ 1 x) in z
10.093 * [taylor]: Taking taylor expansion of x in z
10.093 * [backup-simplify]: Simplify x into x
10.093 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.093 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.093 * [taylor]: Taking taylor expansion of z in z
10.093 * [backup-simplify]: Simplify 0 into 0
10.093 * [backup-simplify]: Simplify 1 into 1
10.094 * [backup-simplify]: Simplify (/ 1 1) into 1
10.094 * [backup-simplify]: Simplify (+ 0 1) into 1
10.094 * [taylor]: Taking taylor expansion of 1 in x
10.094 * [backup-simplify]: Simplify 1 into 1
10.094 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
10.094 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
10.094 * [backup-simplify]: Simplify (+ 0 0) into 0
10.095 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) (/ 1 z)) (/ 0 1)))) into 0
10.095 * [taylor]: Taking taylor expansion of 0 in z
10.095 * [backup-simplify]: Simplify 0 into 0
10.096 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.096 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
10.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.096 * [taylor]: Taking taylor expansion of x in x
10.096 * [backup-simplify]: Simplify 0 into 0
10.096 * [backup-simplify]: Simplify 1 into 1
10.096 * [backup-simplify]: Simplify (/ 1 1) into 1
10.096 * [backup-simplify]: Simplify 1 into 1
10.096 * [backup-simplify]: Simplify 1 into 1
10.096 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
10.096 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.097 * [backup-simplify]: Simplify (+ 0 0) into 0
10.097 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.097 * [taylor]: Taking taylor expansion of 0 in z
10.097 * [backup-simplify]: Simplify 0 into 0
10.098 * [taylor]: Taking taylor expansion of 0 in x
10.098 * [backup-simplify]: Simplify 0 into 0
10.098 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
10.098 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.098 * [backup-simplify]: Simplify (+ 0 0) into 0
10.098 * [taylor]: Taking taylor expansion of 0 in x
10.098 * [backup-simplify]: Simplify 0 into 0
10.099 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.099 * [backup-simplify]: Simplify 0 into 0
10.099 * [backup-simplify]: Simplify 0 into 0
10.099 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
10.099 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.099 * [backup-simplify]: Simplify (+ 0 0) into 0
10.101 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.101 * [taylor]: Taking taylor expansion of 0 in z
10.101 * [backup-simplify]: Simplify 0 into 0
10.101 * [taylor]: Taking taylor expansion of 0 in x
10.101 * [backup-simplify]: Simplify 0 into 0
10.101 * [taylor]: Taking taylor expansion of 0 in x
10.101 * [backup-simplify]: Simplify 0 into 0
10.101 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
10.101 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.102 * [backup-simplify]: Simplify (+ 0 0) into 0
10.102 * [taylor]: Taking taylor expansion of 0 in x
10.102 * [backup-simplify]: Simplify 0 into 0
10.102 * [backup-simplify]: Simplify 0 into 0
10.102 * [backup-simplify]: Simplify 0 into 0
10.102 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.102 * [backup-simplify]: Simplify 0 into 0
10.102 * [backup-simplify]: Simplify 0 into 0
10.102 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y))))) (* 1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 y)))))) into (+ (* z y) (* x y))
10.103 * [backup-simplify]: Simplify (* (/ 1 (- y)) (+ (/ 1 (- z)) (/ 1 (- x)))) into (/ (+ (/ 1 x) (/ 1 z)) y)
10.103 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in (y z x) around 0
10.103 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in x
10.103 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in x
10.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.103 * [taylor]: Taking taylor expansion of x in x
10.103 * [backup-simplify]: Simplify 0 into 0
10.103 * [backup-simplify]: Simplify 1 into 1
10.103 * [backup-simplify]: Simplify (/ 1 1) into 1
10.103 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.103 * [taylor]: Taking taylor expansion of z in x
10.103 * [backup-simplify]: Simplify z into z
10.103 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.103 * [taylor]: Taking taylor expansion of y in x
10.103 * [backup-simplify]: Simplify y into y
10.103 * [backup-simplify]: Simplify (+ 1 0) into 1
10.103 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.103 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in z
10.103 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
10.103 * [taylor]: Taking taylor expansion of (/ 1 x) in z
10.103 * [taylor]: Taking taylor expansion of x in z
10.103 * [backup-simplify]: Simplify x into x
10.103 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.103 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.103 * [taylor]: Taking taylor expansion of z in z
10.103 * [backup-simplify]: Simplify 0 into 0
10.103 * [backup-simplify]: Simplify 1 into 1
10.104 * [backup-simplify]: Simplify (/ 1 1) into 1
10.104 * [taylor]: Taking taylor expansion of y in z
10.104 * [backup-simplify]: Simplify y into y
10.104 * [backup-simplify]: Simplify (+ 0 1) into 1
10.104 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.104 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in y
10.104 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in y
10.104 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.104 * [taylor]: Taking taylor expansion of x in y
10.104 * [backup-simplify]: Simplify x into x
10.104 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.104 * [taylor]: Taking taylor expansion of (/ 1 z) in y
10.104 * [taylor]: Taking taylor expansion of z in y
10.104 * [backup-simplify]: Simplify z into z
10.104 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.104 * [taylor]: Taking taylor expansion of y in y
10.104 * [backup-simplify]: Simplify 0 into 0
10.104 * [backup-simplify]: Simplify 1 into 1
10.104 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 z)) into (+ (/ 1 x) (/ 1 z))
10.104 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 z)) 1) into (+ (/ 1 x) (/ 1 z))
10.104 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in y
10.104 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in y
10.104 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.104 * [taylor]: Taking taylor expansion of x in y
10.104 * [backup-simplify]: Simplify x into x
10.105 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.105 * [taylor]: Taking taylor expansion of (/ 1 z) in y
10.105 * [taylor]: Taking taylor expansion of z in y
10.105 * [backup-simplify]: Simplify z into z
10.105 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.105 * [taylor]: Taking taylor expansion of y in y
10.105 * [backup-simplify]: Simplify 0 into 0
10.105 * [backup-simplify]: Simplify 1 into 1
10.105 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 z)) into (+ (/ 1 x) (/ 1 z))
10.105 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 z)) 1) into (+ (/ 1 x) (/ 1 z))
10.105 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
10.105 * [taylor]: Taking taylor expansion of (/ 1 x) in z
10.105 * [taylor]: Taking taylor expansion of x in z
10.105 * [backup-simplify]: Simplify x into x
10.105 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.105 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.105 * [taylor]: Taking taylor expansion of z in z
10.105 * [backup-simplify]: Simplify 0 into 0
10.105 * [backup-simplify]: Simplify 1 into 1
10.105 * [backup-simplify]: Simplify (/ 1 1) into 1
10.105 * [backup-simplify]: Simplify (+ 0 1) into 1
10.105 * [taylor]: Taking taylor expansion of 1 in x
10.106 * [backup-simplify]: Simplify 1 into 1
10.106 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
10.106 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
10.106 * [backup-simplify]: Simplify (+ 0 0) into 0
10.106 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) (/ 1 z)) (/ 0 1)))) into 0
10.106 * [taylor]: Taking taylor expansion of 0 in z
10.107 * [backup-simplify]: Simplify 0 into 0
10.107 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.107 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
10.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.107 * [taylor]: Taking taylor expansion of x in x
10.107 * [backup-simplify]: Simplify 0 into 0
10.107 * [backup-simplify]: Simplify 1 into 1
10.107 * [backup-simplify]: Simplify (/ 1 1) into 1
10.107 * [backup-simplify]: Simplify 1 into 1
10.107 * [backup-simplify]: Simplify 1 into 1
10.107 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
10.108 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.108 * [backup-simplify]: Simplify (+ 0 0) into 0
10.109 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.109 * [taylor]: Taking taylor expansion of 0 in z
10.109 * [backup-simplify]: Simplify 0 into 0
10.109 * [taylor]: Taking taylor expansion of 0 in x
10.109 * [backup-simplify]: Simplify 0 into 0
10.109 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
10.109 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.110 * [backup-simplify]: Simplify (+ 0 0) into 0
10.110 * [taylor]: Taking taylor expansion of 0 in x
10.110 * [backup-simplify]: Simplify 0 into 0
10.110 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.110 * [backup-simplify]: Simplify 0 into 0
10.110 * [backup-simplify]: Simplify 0 into 0
10.110 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
10.110 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.111 * [backup-simplify]: Simplify (+ 0 0) into 0
10.112 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.112 * [taylor]: Taking taylor expansion of 0 in z
10.112 * [backup-simplify]: Simplify 0 into 0
10.112 * [taylor]: Taking taylor expansion of 0 in x
10.113 * [backup-simplify]: Simplify 0 into 0
10.113 * [taylor]: Taking taylor expansion of 0 in x
10.113 * [backup-simplify]: Simplify 0 into 0
10.113 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
10.114 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.114 * [backup-simplify]: Simplify (+ 0 0) into 0
10.114 * [taylor]: Taking taylor expansion of 0 in x
10.114 * [backup-simplify]: Simplify 0 into 0
10.114 * [backup-simplify]: Simplify 0 into 0
10.114 * [backup-simplify]: Simplify 0 into 0
10.115 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.115 * [backup-simplify]: Simplify 0 into 0
10.115 * [backup-simplify]: Simplify 0 into 0
10.116 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y)))))) (* 1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- y))))))) into (+ (* z y) (* x y))
10.116 * * * [progress]: simplifying candidates
10.116 * [simplify]: Simplifying:
  (* y (+ z x))
  (+ (log y) (log (+ z x)))
  (log (* y (+ z x)))
  (exp (* y (+ z x)))
  (* (* (* y y) y) (* (* (+ z x) (+ z x)) (+ z x)))
  (* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))
  (cbrt (* y (+ z x)))
  (* (* (* y (+ z x)) (* y (+ z x))) (* y (+ z x)))
  (sqrt (* y (+ z x)))
  (sqrt (* y (+ z x)))
  (* (sqrt y) (sqrt (+ z x)))
  (* (sqrt y) (sqrt (+ z x)))
  (* y z)
  (* y x)
  (* z y)
  (* x y)
  (* y (* (cbrt (+ z x)) (cbrt (+ z x))))
  (* y (sqrt (+ z x)))
  (* y 1)
  (* y 1)
  (* (cbrt y) (+ z x))
  (* (sqrt y) (+ z x))
  (* y (+ z x))
  (* y (+ (pow z 3) (pow x 3)))
  (* y (- (* z z) (* x x)))
  (+ (* z y) (* x y))
  (+ (* z y) (* x y))
  (+ (* z y) (* x y))
10.117 * * [simplify]: iteration 0: 46 enodes
10.132 * * [simplify]: iteration 1: 140 enodes
10.165 * * [simplify]: iteration 2: 470 enodes
10.629 * * [simplify]: iteration 3: 2325 enodes
11.299 * * [simplify]: iteration complete: 5115 enodes
11.300 * * [simplify]: Extracting #0: cost 19 inf + 0
11.300 * * [simplify]: Extracting #1: cost 268 inf + 1
11.308 * * [simplify]: Extracting #2: cost 1113 inf + 8745
11.335 * * [simplify]: Extracting #3: cost 1278 inf + 79122
11.406 * * [simplify]: Extracting #4: cost 277 inf + 280913
11.483 * * [simplify]: Extracting #5: cost 24 inf + 336827
11.617 * * [simplify]: Extracting #6: cost 9 inf + 338010
11.725 * * [simplify]: Extracting #7: cost 0 inf + 340287
11.812 * [simplify]: Simplified to:
  (* (+ z x) y)
  (log (* (+ z x) y))
  (log (* (+ z x) y))
  (exp (* (+ z x) y))
  (* (* (+ z x) y) (* (* (+ z x) y) (* (+ z x) y)))
  (* (cbrt (* (+ z x) y)) (cbrt (* (+ z x) y)))
  (cbrt (* (+ z x) y))
  (* (* (+ z x) y) (* (* (+ z x) y) (* (+ z x) y)))
  (sqrt (* (+ z x) y))
  (sqrt (* (+ z x) y))
  (* (sqrt y) (sqrt (+ z x)))
  (* (sqrt y) (sqrt (+ z x)))
  (* z y)
  (* y x)
  (* z y)
  (* y x)
  (* y (* (cbrt (+ z x)) (cbrt (+ z x))))
  (* y (sqrt (+ z x)))
  y
  y
  (* (+ z x) (cbrt y))
  (* (sqrt y) (+ z x))
  (* (+ z x) y)
  (* y (+ (* (* x x) x) (* (* z z) z)))
  (* y (* (+ z x) (- z x)))
  (* (+ z x) y)
  (* (+ z x) y)
  (* (+ z x) y)
11.813 * * * [progress]: adding candidates to table
11.937 * * [progress]: iteration 2 / 4
11.937 * * * [progress]: picking best candidate
11.951 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (+ (* y z) (* y x))))>
11.951 * * * [progress]: localizing error
11.970 * * * [progress]: generating rewritten candidates
11.970 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
11.982 * * * [progress]: generating series expansions
11.982 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
11.982 * [backup-simplify]: Simplify (+ (* y z) (* y x)) into (+ (* z y) (* x y))
11.982 * [approximate]: Taking taylor expansion of (+ (* z y) (* x y)) in (y z x) around 0
11.982 * [taylor]: Taking taylor expansion of (+ (* z y) (* x y)) in x
11.982 * [taylor]: Taking taylor expansion of (* z y) in x
11.982 * [taylor]: Taking taylor expansion of z in x
11.982 * [backup-simplify]: Simplify z into z
11.982 * [taylor]: Taking taylor expansion of y in x
11.982 * [backup-simplify]: Simplify y into y
11.982 * [taylor]: Taking taylor expansion of (* x y) in x
11.982 * [taylor]: Taking taylor expansion of x in x
11.982 * [backup-simplify]: Simplify 0 into 0
11.982 * [backup-simplify]: Simplify 1 into 1
11.982 * [taylor]: Taking taylor expansion of y in x
11.982 * [backup-simplify]: Simplify y into y
11.982 * [taylor]: Taking taylor expansion of (+ (* z y) (* x y)) in z
11.982 * [taylor]: Taking taylor expansion of (* z y) in z
11.982 * [taylor]: Taking taylor expansion of z in z
11.982 * [backup-simplify]: Simplify 0 into 0
11.982 * [backup-simplify]: Simplify 1 into 1
11.982 * [taylor]: Taking taylor expansion of y in z
11.982 * [backup-simplify]: Simplify y into y
11.983 * [taylor]: Taking taylor expansion of (* x y) in z
11.983 * [taylor]: Taking taylor expansion of x in z
11.983 * [backup-simplify]: Simplify x into x
11.983 * [taylor]: Taking taylor expansion of y in z
11.983 * [backup-simplify]: Simplify y into y
11.983 * [taylor]: Taking taylor expansion of (+ (* z y) (* x y)) in y
11.983 * [taylor]: Taking taylor expansion of (* z y) in y
11.983 * [taylor]: Taking taylor expansion of z in y
11.983 * [backup-simplify]: Simplify z into z
11.983 * [taylor]: Taking taylor expansion of y in y
11.983 * [backup-simplify]: Simplify 0 into 0
11.983 * [backup-simplify]: Simplify 1 into 1
11.983 * [taylor]: Taking taylor expansion of (* x y) in y
11.983 * [taylor]: Taking taylor expansion of x in y
11.983 * [backup-simplify]: Simplify x into x
11.983 * [taylor]: Taking taylor expansion of y in y
11.983 * [backup-simplify]: Simplify 0 into 0
11.983 * [backup-simplify]: Simplify 1 into 1
11.983 * [taylor]: Taking taylor expansion of (+ (* z y) (* x y)) in y
11.983 * [taylor]: Taking taylor expansion of (* z y) in y
11.983 * [taylor]: Taking taylor expansion of z in y
11.983 * [backup-simplify]: Simplify z into z
11.983 * [taylor]: Taking taylor expansion of y in y
11.983 * [backup-simplify]: Simplify 0 into 0
11.983 * [backup-simplify]: Simplify 1 into 1
11.983 * [taylor]: Taking taylor expansion of (* x y) in y
11.983 * [taylor]: Taking taylor expansion of x in y
11.983 * [backup-simplify]: Simplify x into x
11.983 * [taylor]: Taking taylor expansion of y in y
11.983 * [backup-simplify]: Simplify 0 into 0
11.983 * [backup-simplify]: Simplify 1 into 1
11.983 * [backup-simplify]: Simplify (* z 0) into 0
11.983 * [backup-simplify]: Simplify (* x 0) into 0
11.984 * [backup-simplify]: Simplify (+ 0 0) into 0
11.984 * [taylor]: Taking taylor expansion of 0 in z
11.984 * [backup-simplify]: Simplify 0 into 0
11.984 * [taylor]: Taking taylor expansion of 0 in x
11.984 * [backup-simplify]: Simplify 0 into 0
11.984 * [backup-simplify]: Simplify 0 into 0
11.985 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
11.985 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
11.985 * [backup-simplify]: Simplify (+ z x) into (+ x z)
11.985 * [taylor]: Taking taylor expansion of (+ x z) in z
11.985 * [taylor]: Taking taylor expansion of x in z
11.985 * [backup-simplify]: Simplify x into x
11.985 * [taylor]: Taking taylor expansion of z in z
11.985 * [backup-simplify]: Simplify 0 into 0
11.985 * [backup-simplify]: Simplify 1 into 1
11.985 * [backup-simplify]: Simplify (+ x 0) into x
11.985 * [taylor]: Taking taylor expansion of x in x
11.985 * [backup-simplify]: Simplify 0 into 0
11.985 * [backup-simplify]: Simplify 1 into 1
11.985 * [backup-simplify]: Simplify 0 into 0
11.985 * [taylor]: Taking taylor expansion of 0 in x
11.985 * [backup-simplify]: Simplify 0 into 0
11.985 * [backup-simplify]: Simplify 0 into 0
11.986 * [backup-simplify]: Simplify 0 into 0
11.986 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
11.987 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
11.987 * [backup-simplify]: Simplify (+ 0 0) into 0
11.987 * [taylor]: Taking taylor expansion of 0 in z
11.987 * [backup-simplify]: Simplify 0 into 0
11.987 * [taylor]: Taking taylor expansion of 0 in x
11.987 * [backup-simplify]: Simplify 0 into 0
11.987 * [backup-simplify]: Simplify 0 into 0
11.988 * [backup-simplify]: Simplify (+ 0 1) into 1
11.988 * [taylor]: Taking taylor expansion of 1 in x
11.988 * [backup-simplify]: Simplify 1 into 1
11.988 * [backup-simplify]: Simplify 1 into 1
11.988 * [taylor]: Taking taylor expansion of 0 in x
11.988 * [backup-simplify]: Simplify 0 into 0
11.988 * [backup-simplify]: Simplify 0 into 0
11.988 * [backup-simplify]: Simplify 1 into 1
11.988 * [backup-simplify]: Simplify 0 into 0
11.988 * [backup-simplify]: Simplify 0 into 0
11.989 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
11.994 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
11.994 * [backup-simplify]: Simplify (+ 0 0) into 0
11.994 * [taylor]: Taking taylor expansion of 0 in z
11.994 * [backup-simplify]: Simplify 0 into 0
11.995 * [taylor]: Taking taylor expansion of 0 in x
11.995 * [backup-simplify]: Simplify 0 into 0
11.995 * [backup-simplify]: Simplify 0 into 0
11.995 * [taylor]: Taking taylor expansion of 0 in x
11.995 * [backup-simplify]: Simplify 0 into 0
11.995 * [backup-simplify]: Simplify 0 into 0
11.995 * [backup-simplify]: Simplify (+ 0 0) into 0
11.995 * [taylor]: Taking taylor expansion of 0 in x
11.995 * [backup-simplify]: Simplify 0 into 0
11.995 * [backup-simplify]: Simplify 0 into 0
11.995 * [taylor]: Taking taylor expansion of 0 in x
11.995 * [backup-simplify]: Simplify 0 into 0
11.995 * [backup-simplify]: Simplify 0 into 0
11.996 * [backup-simplify]: Simplify (+ (* 1 (* x (* 1 y))) (* 1 (* 1 (* z y)))) into (+ (* z y) (* x y))
11.996 * [backup-simplify]: Simplify (+ (* (/ 1 y) (/ 1 z)) (* (/ 1 y) (/ 1 x))) into (+ (/ 1 (* x y)) (/ 1 (* z y)))
11.996 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in (y z x) around 0
11.996 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in x
11.996 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
11.996 * [taylor]: Taking taylor expansion of (* x y) in x
11.996 * [taylor]: Taking taylor expansion of x in x
11.996 * [backup-simplify]: Simplify 0 into 0
11.996 * [backup-simplify]: Simplify 1 into 1
11.996 * [taylor]: Taking taylor expansion of y in x
11.996 * [backup-simplify]: Simplify y into y
11.996 * [backup-simplify]: Simplify (* 0 y) into 0
11.996 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
11.997 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.997 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
11.997 * [taylor]: Taking taylor expansion of (* z y) in x
11.997 * [taylor]: Taking taylor expansion of z in x
11.997 * [backup-simplify]: Simplify z into z
11.997 * [taylor]: Taking taylor expansion of y in x
11.997 * [backup-simplify]: Simplify y into y
11.997 * [backup-simplify]: Simplify (* z y) into (* z y)
11.997 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
11.997 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in z
11.997 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
11.997 * [taylor]: Taking taylor expansion of (* x y) in z
11.997 * [taylor]: Taking taylor expansion of x in z
11.997 * [backup-simplify]: Simplify x into x
11.997 * [taylor]: Taking taylor expansion of y in z
11.997 * [backup-simplify]: Simplify y into y
11.997 * [backup-simplify]: Simplify (* x y) into (* x y)
11.997 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
11.997 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
11.997 * [taylor]: Taking taylor expansion of (* z y) in z
11.997 * [taylor]: Taking taylor expansion of z in z
11.998 * [backup-simplify]: Simplify 0 into 0
11.998 * [backup-simplify]: Simplify 1 into 1
11.998 * [taylor]: Taking taylor expansion of y in z
11.998 * [backup-simplify]: Simplify y into y
11.998 * [backup-simplify]: Simplify (* 0 y) into 0
11.998 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
11.998 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.998 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in y
11.998 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
11.998 * [taylor]: Taking taylor expansion of (* x y) in y
11.998 * [taylor]: Taking taylor expansion of x in y
11.998 * [backup-simplify]: Simplify x into x
11.998 * [taylor]: Taking taylor expansion of y in y
11.998 * [backup-simplify]: Simplify 0 into 0
11.998 * [backup-simplify]: Simplify 1 into 1
11.998 * [backup-simplify]: Simplify (* x 0) into 0
11.999 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
11.999 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.999 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
11.999 * [taylor]: Taking taylor expansion of (* z y) in y
11.999 * [taylor]: Taking taylor expansion of z in y
11.999 * [backup-simplify]: Simplify z into z
11.999 * [taylor]: Taking taylor expansion of y in y
11.999 * [backup-simplify]: Simplify 0 into 0
11.999 * [backup-simplify]: Simplify 1 into 1
11.999 * [backup-simplify]: Simplify (* z 0) into 0
11.999 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
11.999 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
12.000 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in y
12.000 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
12.000 * [taylor]: Taking taylor expansion of (* x y) in y
12.000 * [taylor]: Taking taylor expansion of x in y
12.000 * [backup-simplify]: Simplify x into x
12.000 * [taylor]: Taking taylor expansion of y in y
12.000 * [backup-simplify]: Simplify 0 into 0
12.000 * [backup-simplify]: Simplify 1 into 1
12.000 * [backup-simplify]: Simplify (* x 0) into 0
12.000 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
12.000 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
12.000 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
12.000 * [taylor]: Taking taylor expansion of (* z y) in y
12.000 * [taylor]: Taking taylor expansion of z in y
12.000 * [backup-simplify]: Simplify z into z
12.000 * [taylor]: Taking taylor expansion of y in y
12.000 * [backup-simplify]: Simplify 0 into 0
12.000 * [backup-simplify]: Simplify 1 into 1
12.000 * [backup-simplify]: Simplify (* z 0) into 0
12.001 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
12.001 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
12.001 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 z)) into (+ (/ 1 x) (/ 1 z))
12.001 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
12.001 * [taylor]: Taking taylor expansion of (/ 1 x) in z
12.001 * [taylor]: Taking taylor expansion of x in z
12.001 * [backup-simplify]: Simplify x into x
12.001 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
12.001 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.001 * [taylor]: Taking taylor expansion of z in z
12.001 * [backup-simplify]: Simplify 0 into 0
12.001 * [backup-simplify]: Simplify 1 into 1
12.002 * [backup-simplify]: Simplify (/ 1 1) into 1
12.002 * [backup-simplify]: Simplify (+ 0 1) into 1
12.002 * [taylor]: Taking taylor expansion of 1 in x
12.002 * [backup-simplify]: Simplify 1 into 1
12.003 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
12.003 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
12.004 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
12.004 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
12.004 * [backup-simplify]: Simplify (+ 0 0) into 0
12.004 * [taylor]: Taking taylor expansion of 0 in z
12.004 * [backup-simplify]: Simplify 0 into 0
12.005 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.005 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
12.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.005 * [taylor]: Taking taylor expansion of x in x
12.005 * [backup-simplify]: Simplify 0 into 0
12.005 * [backup-simplify]: Simplify 1 into 1
12.005 * [backup-simplify]: Simplify (/ 1 1) into 1
12.005 * [backup-simplify]: Simplify 1 into 1
12.006 * [backup-simplify]: Simplify 1 into 1
12.006 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
12.006 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
12.008 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
12.008 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
12.008 * [backup-simplify]: Simplify (+ 0 0) into 0
12.008 * [taylor]: Taking taylor expansion of 0 in z
12.008 * [backup-simplify]: Simplify 0 into 0
12.008 * [taylor]: Taking taylor expansion of 0 in x
12.008 * [backup-simplify]: Simplify 0 into 0
12.008 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
12.009 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.010 * [backup-simplify]: Simplify (+ 0 0) into 0
12.010 * [taylor]: Taking taylor expansion of 0 in x
12.010 * [backup-simplify]: Simplify 0 into 0
12.010 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.010 * [backup-simplify]: Simplify 0 into 0
12.010 * [backup-simplify]: Simplify 0 into 0
12.011 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
12.011 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
12.012 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
12.012 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
12.012 * [backup-simplify]: Simplify (+ 0 0) into 0
12.012 * [taylor]: Taking taylor expansion of 0 in z
12.012 * [backup-simplify]: Simplify 0 into 0
12.012 * [taylor]: Taking taylor expansion of 0 in x
12.012 * [backup-simplify]: Simplify 0 into 0
12.012 * [taylor]: Taking taylor expansion of 0 in x
12.012 * [backup-simplify]: Simplify 0 into 0
12.012 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
12.013 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.013 * [backup-simplify]: Simplify (+ 0 0) into 0
12.013 * [taylor]: Taking taylor expansion of 0 in x
12.013 * [backup-simplify]: Simplify 0 into 0
12.013 * [backup-simplify]: Simplify 0 into 0
12.013 * [backup-simplify]: Simplify 0 into 0
12.014 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.014 * [backup-simplify]: Simplify 0 into 0
12.014 * [backup-simplify]: Simplify 0 into 0
12.014 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y))))) (* 1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 y)))))) into (+ (* z y) (* x y))
12.014 * [backup-simplify]: Simplify (+ (* (/ 1 (- y)) (/ 1 (- z))) (* (/ 1 (- y)) (/ 1 (- x)))) into (+ (/ 1 (* x y)) (/ 1 (* z y)))
12.014 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in (y z x) around 0
12.014 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in x
12.014 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
12.014 * [taylor]: Taking taylor expansion of (* x y) in x
12.014 * [taylor]: Taking taylor expansion of x in x
12.014 * [backup-simplify]: Simplify 0 into 0
12.014 * [backup-simplify]: Simplify 1 into 1
12.014 * [taylor]: Taking taylor expansion of y in x
12.014 * [backup-simplify]: Simplify y into y
12.014 * [backup-simplify]: Simplify (* 0 y) into 0
12.015 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
12.015 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
12.015 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
12.015 * [taylor]: Taking taylor expansion of (* z y) in x
12.015 * [taylor]: Taking taylor expansion of z in x
12.015 * [backup-simplify]: Simplify z into z
12.015 * [taylor]: Taking taylor expansion of y in x
12.015 * [backup-simplify]: Simplify y into y
12.015 * [backup-simplify]: Simplify (* z y) into (* z y)
12.015 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
12.015 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in z
12.015 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
12.015 * [taylor]: Taking taylor expansion of (* x y) in z
12.015 * [taylor]: Taking taylor expansion of x in z
12.015 * [backup-simplify]: Simplify x into x
12.015 * [taylor]: Taking taylor expansion of y in z
12.015 * [backup-simplify]: Simplify y into y
12.015 * [backup-simplify]: Simplify (* x y) into (* x y)
12.015 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
12.015 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
12.015 * [taylor]: Taking taylor expansion of (* z y) in z
12.015 * [taylor]: Taking taylor expansion of z in z
12.015 * [backup-simplify]: Simplify 0 into 0
12.015 * [backup-simplify]: Simplify 1 into 1
12.015 * [taylor]: Taking taylor expansion of y in z
12.015 * [backup-simplify]: Simplify y into y
12.015 * [backup-simplify]: Simplify (* 0 y) into 0
12.015 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
12.016 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
12.016 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in y
12.016 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
12.016 * [taylor]: Taking taylor expansion of (* x y) in y
12.016 * [taylor]: Taking taylor expansion of x in y
12.016 * [backup-simplify]: Simplify x into x
12.016 * [taylor]: Taking taylor expansion of y in y
12.016 * [backup-simplify]: Simplify 0 into 0
12.016 * [backup-simplify]: Simplify 1 into 1
12.016 * [backup-simplify]: Simplify (* x 0) into 0
12.016 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
12.016 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
12.016 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
12.016 * [taylor]: Taking taylor expansion of (* z y) in y
12.016 * [taylor]: Taking taylor expansion of z in y
12.016 * [backup-simplify]: Simplify z into z
12.016 * [taylor]: Taking taylor expansion of y in y
12.016 * [backup-simplify]: Simplify 0 into 0
12.016 * [backup-simplify]: Simplify 1 into 1
12.016 * [backup-simplify]: Simplify (* z 0) into 0
12.016 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
12.016 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
12.016 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in y
12.016 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
12.016 * [taylor]: Taking taylor expansion of (* x y) in y
12.016 * [taylor]: Taking taylor expansion of x in y
12.017 * [backup-simplify]: Simplify x into x
12.017 * [taylor]: Taking taylor expansion of y in y
12.017 * [backup-simplify]: Simplify 0 into 0
12.017 * [backup-simplify]: Simplify 1 into 1
12.017 * [backup-simplify]: Simplify (* x 0) into 0
12.017 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
12.017 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
12.017 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
12.017 * [taylor]: Taking taylor expansion of (* z y) in y
12.017 * [taylor]: Taking taylor expansion of z in y
12.017 * [backup-simplify]: Simplify z into z
12.017 * [taylor]: Taking taylor expansion of y in y
12.017 * [backup-simplify]: Simplify 0 into 0
12.017 * [backup-simplify]: Simplify 1 into 1
12.017 * [backup-simplify]: Simplify (* z 0) into 0
12.017 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
12.017 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
12.017 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 z)) into (+ (/ 1 x) (/ 1 z))
12.017 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
12.017 * [taylor]: Taking taylor expansion of (/ 1 x) in z
12.017 * [taylor]: Taking taylor expansion of x in z
12.018 * [backup-simplify]: Simplify x into x
12.018 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
12.018 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.018 * [taylor]: Taking taylor expansion of z in z
12.018 * [backup-simplify]: Simplify 0 into 0
12.018 * [backup-simplify]: Simplify 1 into 1
12.018 * [backup-simplify]: Simplify (/ 1 1) into 1
12.018 * [backup-simplify]: Simplify (+ 0 1) into 1
12.018 * [taylor]: Taking taylor expansion of 1 in x
12.018 * [backup-simplify]: Simplify 1 into 1
12.019 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
12.019 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
12.019 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
12.019 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
12.019 * [backup-simplify]: Simplify (+ 0 0) into 0
12.019 * [taylor]: Taking taylor expansion of 0 in z
12.019 * [backup-simplify]: Simplify 0 into 0
12.020 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.020 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
12.020 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.020 * [taylor]: Taking taylor expansion of x in x
12.020 * [backup-simplify]: Simplify 0 into 0
12.020 * [backup-simplify]: Simplify 1 into 1
12.020 * [backup-simplify]: Simplify (/ 1 1) into 1
12.020 * [backup-simplify]: Simplify 1 into 1
12.020 * [backup-simplify]: Simplify 1 into 1
12.021 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
12.021 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
12.021 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
12.021 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
12.022 * [backup-simplify]: Simplify (+ 0 0) into 0
12.022 * [taylor]: Taking taylor expansion of 0 in z
12.022 * [backup-simplify]: Simplify 0 into 0
12.022 * [taylor]: Taking taylor expansion of 0 in x
12.022 * [backup-simplify]: Simplify 0 into 0
12.022 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
12.022 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.022 * [backup-simplify]: Simplify (+ 0 0) into 0
12.023 * [taylor]: Taking taylor expansion of 0 in x
12.023 * [backup-simplify]: Simplify 0 into 0
12.023 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.023 * [backup-simplify]: Simplify 0 into 0
12.023 * [backup-simplify]: Simplify 0 into 0
12.024 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
12.024 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
12.024 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
12.024 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
12.025 * [backup-simplify]: Simplify (+ 0 0) into 0
12.025 * [taylor]: Taking taylor expansion of 0 in z
12.025 * [backup-simplify]: Simplify 0 into 0
12.025 * [taylor]: Taking taylor expansion of 0 in x
12.025 * [backup-simplify]: Simplify 0 into 0
12.025 * [taylor]: Taking taylor expansion of 0 in x
12.025 * [backup-simplify]: Simplify 0 into 0
12.025 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
12.025 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.026 * [backup-simplify]: Simplify (+ 0 0) into 0
12.026 * [taylor]: Taking taylor expansion of 0 in x
12.026 * [backup-simplify]: Simplify 0 into 0
12.026 * [backup-simplify]: Simplify 0 into 0
12.026 * [backup-simplify]: Simplify 0 into 0
12.026 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.026 * [backup-simplify]: Simplify 0 into 0
12.026 * [backup-simplify]: Simplify 0 into 0
12.026 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y)))))) (* 1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- y))))))) into (+ (* z y) (* x y))
12.027 * * * [progress]: simplifying candidates
12.027 * [simplify]: Simplifying:
  (* (exp (* y z)) (exp (* y x)))
  (log (+ (* y z) (* y x)))
  (exp (+ (* y z) (* y x)))
  (* (cbrt (+ (* y z) (* y x))) (cbrt (+ (* y z) (* y x))))
  (cbrt (+ (* y z) (* y x)))
  (* (* (+ (* y z) (* y x)) (+ (* y z) (* y x))) (+ (* y z) (* y x)))
  (sqrt (+ (* y z) (* y x)))
  (sqrt (+ (* y z) (* y x)))
  (+ (pow (* y z) 3) (pow (* y x) 3))
  (+ (* (* y z) (* y z)) (- (* (* y x) (* y x)) (* (* y z) (* y x))))
  (- (* (* y z) (* y z)) (* (* y x) (* y x)))
  (- (* y z) (* y x))
  (+ z x)
  (+ (* z y) (* x y))
  (+ (* z y) (* x y))
  (+ (* z y) (* x y))
12.027 * * [simplify]: iteration 0: 31 enodes
12.037 * * [simplify]: iteration 1: 100 enodes
12.084 * * [simplify]: iteration 2: 388 enodes
12.285 * * [simplify]: iteration 3: 1245 enodes
13.962 * * [simplify]: iteration 4: 3478 enodes
15.205 * * [simplify]: iteration complete: 5000 enodes
15.205 * * [simplify]: Extracting #0: cost 12 inf + 0
15.206 * * [simplify]: Extracting #1: cost 177 inf + 0
15.210 * * [simplify]: Extracting #2: cost 726 inf + 1309
15.220 * * [simplify]: Extracting #3: cost 933 inf + 8974
15.246 * * [simplify]: Extracting #4: cost 567 inf + 107706
15.318 * * [simplify]: Extracting #5: cost 108 inf + 274291
15.388 * * [simplify]: Extracting #6: cost 21 inf + 305619
15.491 * * [simplify]: Extracting #7: cost 2 inf + 309642
15.558 * * [simplify]: Extracting #8: cost 0 inf + 310230
15.647 * [simplify]: Simplified to:
  (exp (* (+ z x) y))
  (log (* (+ z x) y))
  (exp (* (+ z x) y))
  (* (cbrt (* (+ z x) y)) (cbrt (* (+ z x) y)))
  (cbrt (* (+ z x) y))
  (* (* (+ z x) y) (* (* (+ z x) y) (* (+ z x) y)))
  (sqrt (* (+ z x) y))
  (sqrt (* (+ z x) y))
  (+ (* (* y z) (* (* y z) (* y z))) (* (* x y) (* (* x y) (* x y))))
  (* (* y (+ (* x (- x z)) (* z z))) y)
  (* (+ z x) (* (- z x) (* y y)))
  (* (- z x) y)
  (+ z x)
  (* (+ z x) y)
  (* (+ z x) y)
  (* (+ z x) y)
15.649 * * * [progress]: adding candidates to table
15.745 * * [progress]: iteration 3 / 4
15.745 * * * [progress]: picking best candidate
15.753 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ z x)))))>
15.753 * * * [progress]: localizing error
15.788 * * * [progress]: generating rewritten candidates
15.788 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
15.790 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
15.792 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
15.793 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
15.813 * * * [progress]: generating series expansions
15.813 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
15.815 * [backup-simplify]: Simplify (cbrt y) into (pow y 1/3)
15.815 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
15.815 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
15.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
15.815 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
15.815 * [taylor]: Taking taylor expansion of 1/3 in y
15.815 * [backup-simplify]: Simplify 1/3 into 1/3
15.815 * [taylor]: Taking taylor expansion of (log y) in y
15.815 * [taylor]: Taking taylor expansion of y in y
15.815 * [backup-simplify]: Simplify 0 into 0
15.815 * [backup-simplify]: Simplify 1 into 1
15.816 * [backup-simplify]: Simplify (log 1) into 0
15.817 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
15.817 * [backup-simplify]: Simplify (* 1/3 (log y)) into (* 1/3 (log y))
15.817 * [backup-simplify]: Simplify (exp (* 1/3 (log y))) into (pow y 1/3)
15.817 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
15.817 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
15.817 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
15.817 * [taylor]: Taking taylor expansion of 1/3 in y
15.817 * [backup-simplify]: Simplify 1/3 into 1/3
15.817 * [taylor]: Taking taylor expansion of (log y) in y
15.817 * [taylor]: Taking taylor expansion of y in y
15.817 * [backup-simplify]: Simplify 0 into 0
15.817 * [backup-simplify]: Simplify 1 into 1
15.818 * [backup-simplify]: Simplify (log 1) into 0
15.818 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
15.818 * [backup-simplify]: Simplify (* 1/3 (log y)) into (* 1/3 (log y))
15.818 * [backup-simplify]: Simplify (exp (* 1/3 (log y))) into (pow y 1/3)
15.819 * [backup-simplify]: Simplify (pow y 1/3) into (pow y 1/3)
15.820 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
15.821 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
15.821 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log y))) into 0
15.822 * [backup-simplify]: Simplify (* (exp (* 1/3 (log y))) (+ (* (/ (pow 0 1) 1)))) into 0
15.822 * [backup-simplify]: Simplify 0 into 0
15.825 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
15.826 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
15.827 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log y)))) into 0
15.828 * [backup-simplify]: Simplify (* (exp (* 1/3 (log y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.828 * [backup-simplify]: Simplify 0 into 0
15.833 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
15.834 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
15.835 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log y))))) into 0
15.837 * [backup-simplify]: Simplify (* (exp (* 1/3 (log y))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
15.837 * [backup-simplify]: Simplify 0 into 0
15.848 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
15.849 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
15.850 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log y)))))) into 0
15.853 * [backup-simplify]: Simplify (* (exp (* 1/3 (log y))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.853 * [backup-simplify]: Simplify 0 into 0
15.871 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
15.871 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
15.873 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log y))))))) into 0
15.877 * [backup-simplify]: Simplify (* (exp (* 1/3 (log y))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
15.877 * [backup-simplify]: Simplify 0 into 0
15.904 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
15.904 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
15.906 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log y)))))))) into 0
15.909 * [backup-simplify]: Simplify (* (exp (* 1/3 (log y))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.909 * [backup-simplify]: Simplify 0 into 0
15.909 * [backup-simplify]: Simplify (pow y 1/3) into (pow y 1/3)
15.909 * [backup-simplify]: Simplify (cbrt (/ 1 y)) into (pow (/ 1 y) 1/3)
15.909 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
15.909 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
15.909 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
15.909 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
15.909 * [taylor]: Taking taylor expansion of 1/3 in y
15.909 * [backup-simplify]: Simplify 1/3 into 1/3
15.909 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
15.909 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.909 * [taylor]: Taking taylor expansion of y in y
15.909 * [backup-simplify]: Simplify 0 into 0
15.909 * [backup-simplify]: Simplify 1 into 1
15.910 * [backup-simplify]: Simplify (/ 1 1) into 1
15.910 * [backup-simplify]: Simplify (log 1) into 0
15.910 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
15.910 * [backup-simplify]: Simplify (* 1/3 (- (log y))) into (* -1/3 (log y))
15.910 * [backup-simplify]: Simplify (exp (* -1/3 (log y))) into (pow y -1/3)
15.910 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
15.910 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
15.910 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
15.910 * [taylor]: Taking taylor expansion of 1/3 in y
15.910 * [backup-simplify]: Simplify 1/3 into 1/3
15.910 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
15.910 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.910 * [taylor]: Taking taylor expansion of y in y
15.910 * [backup-simplify]: Simplify 0 into 0
15.910 * [backup-simplify]: Simplify 1 into 1
15.911 * [backup-simplify]: Simplify (/ 1 1) into 1
15.911 * [backup-simplify]: Simplify (log 1) into 0
15.911 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
15.911 * [backup-simplify]: Simplify (* 1/3 (- (log y))) into (* -1/3 (log y))
15.911 * [backup-simplify]: Simplify (exp (* -1/3 (log y))) into (pow y -1/3)
15.911 * [backup-simplify]: Simplify (pow y -1/3) into (pow y -1/3)
15.912 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.913 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
15.913 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
15.913 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log y)))) into 0
15.914 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 1) 1)))) into 0
15.914 * [backup-simplify]: Simplify 0 into 0
15.914 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.916 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
15.916 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
15.917 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log y))))) into 0
15.918 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.918 * [backup-simplify]: Simplify 0 into 0
15.918 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.921 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
15.921 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
15.922 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y)))))) into 0
15.923 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
15.923 * [backup-simplify]: Simplify 0 into 0
15.924 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.929 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
15.929 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
15.930 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y))))))) into 0
15.932 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.933 * [backup-simplify]: Simplify 0 into 0
15.934 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.953 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
15.953 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
15.955 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y)))))))) into 0
15.960 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
15.960 * [backup-simplify]: Simplify 0 into 0
15.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.987 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
15.988 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
15.989 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y))))))))) into 0
15.994 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.994 * [backup-simplify]: Simplify 0 into 0
15.994 * [backup-simplify]: Simplify (pow (/ 1 y) -1/3) into (pow (/ 1 y) -1/3)
15.994 * [backup-simplify]: Simplify (cbrt (/ 1 (- y))) into (* (cbrt -1) (pow (/ 1 y) 1/3))
15.994 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
15.994 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
15.994 * [taylor]: Taking taylor expansion of (cbrt -1) in y
15.994 * [taylor]: Taking taylor expansion of -1 in y
15.994 * [backup-simplify]: Simplify -1 into -1
15.995 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
15.995 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
15.995 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
15.995 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
15.996 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
15.996 * [taylor]: Taking taylor expansion of 1/3 in y
15.996 * [backup-simplify]: Simplify 1/3 into 1/3
15.996 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
15.996 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.996 * [taylor]: Taking taylor expansion of y in y
15.996 * [backup-simplify]: Simplify 0 into 0
15.996 * [backup-simplify]: Simplify 1 into 1
15.996 * [backup-simplify]: Simplify (/ 1 1) into 1
15.996 * [backup-simplify]: Simplify (log 1) into 0
15.996 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
15.996 * [backup-simplify]: Simplify (* 1/3 (- (log y))) into (* -1/3 (log y))
15.997 * [backup-simplify]: Simplify (exp (* -1/3 (log y))) into (pow y -1/3)
15.997 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
15.997 * [taylor]: Taking taylor expansion of (cbrt -1) in y
15.997 * [taylor]: Taking taylor expansion of -1 in y
15.997 * [backup-simplify]: Simplify -1 into -1
15.997 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
15.997 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
15.997 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
15.997 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
15.997 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
15.997 * [taylor]: Taking taylor expansion of 1/3 in y
15.997 * [backup-simplify]: Simplify 1/3 into 1/3
15.997 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
15.998 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.998 * [taylor]: Taking taylor expansion of y in y
15.998 * [backup-simplify]: Simplify 0 into 0
15.998 * [backup-simplify]: Simplify 1 into 1
15.998 * [backup-simplify]: Simplify (/ 1 1) into 1
15.998 * [backup-simplify]: Simplify (log 1) into 0
15.998 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
15.998 * [backup-simplify]: Simplify (* 1/3 (- (log y))) into (* -1/3 (log y))
15.998 * [backup-simplify]: Simplify (exp (* -1/3 (log y))) into (pow y -1/3)
15.999 * [backup-simplify]: Simplify (* (cbrt -1) (pow y -1/3)) into (* (cbrt -1) (pow (/ 1 y) 1/3))
15.999 * [backup-simplify]: Simplify (* (cbrt -1) (pow (/ 1 y) 1/3)) into (* (cbrt -1) (pow (/ 1 y) 1/3))
16.000 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.000 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
16.001 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.001 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log y)))) into 0
16.002 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 1) 1)))) into 0
16.002 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (* 0 (pow y -1/3))) into 0
16.002 * [backup-simplify]: Simplify 0 into 0
16.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.004 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
16.004 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.005 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log y))))) into 0
16.006 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.007 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
16.007 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (* 0 (pow y -1/3)))) into 0
16.008 * [backup-simplify]: Simplify 0 into 0
16.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.011 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
16.011 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.012 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y)))))) into 0
16.013 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.013 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0
16.014 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y -1/3))))) into 0
16.014 * [backup-simplify]: Simplify 0 into 0
16.015 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.026 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
16.027 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.029 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y))))))) into 0
16.031 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.034 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
16.036 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y -1/3)))))) into 0
16.036 * [backup-simplify]: Simplify 0 into 0
16.037 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.049 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
16.050 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.051 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y)))))))) into 0
16.053 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.054 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0
16.055 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y -1/3))))))) into 0
16.055 * [backup-simplify]: Simplify 0 into 0
16.056 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.072 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
16.073 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.074 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y))))))))) into 0
16.077 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.079 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
16.080 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y -1/3)))))))) into 0
16.080 * [backup-simplify]: Simplify 0 into 0
16.081 * [backup-simplify]: Simplify (* (cbrt -1) (pow (/ 1 (/ 1 (- y))) 1/3)) into (* (cbrt -1) (pow (* y -1) 1/3))
16.081 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
16.081 * [backup-simplify]: Simplify (cbrt y) into (pow y 1/3)
16.081 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
16.081 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
16.081 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
16.081 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
16.081 * [taylor]: Taking taylor expansion of 1/3 in y
16.081 * [backup-simplify]: Simplify 1/3 into 1/3
16.081 * [taylor]: Taking taylor expansion of (log y) in y
16.081 * [taylor]: Taking taylor expansion of y in y
16.081 * [backup-simplify]: Simplify 0 into 0
16.081 * [backup-simplify]: Simplify 1 into 1
16.081 * [backup-simplify]: Simplify (log 1) into 0
16.082 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
16.082 * [backup-simplify]: Simplify (* 1/3 (log y)) into (* 1/3 (log y))
16.082 * [backup-simplify]: Simplify (exp (* 1/3 (log y))) into (pow y 1/3)
16.082 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
16.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
16.082 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
16.082 * [taylor]: Taking taylor expansion of 1/3 in y
16.082 * [backup-simplify]: Simplify 1/3 into 1/3
16.082 * [taylor]: Taking taylor expansion of (log y) in y
16.082 * [taylor]: Taking taylor expansion of y in y
16.082 * [backup-simplify]: Simplify 0 into 0
16.082 * [backup-simplify]: Simplify 1 into 1
16.082 * [backup-simplify]: Simplify (log 1) into 0
16.083 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
16.083 * [backup-simplify]: Simplify (* 1/3 (log y)) into (* 1/3 (log y))
16.083 * [backup-simplify]: Simplify (exp (* 1/3 (log y))) into (pow y 1/3)
16.083 * [backup-simplify]: Simplify (pow y 1/3) into (pow y 1/3)
16.084 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
16.084 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
16.085 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log y))) into 0
16.085 * [backup-simplify]: Simplify (* (exp (* 1/3 (log y))) (+ (* (/ (pow 0 1) 1)))) into 0
16.085 * [backup-simplify]: Simplify 0 into 0
16.087 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
16.087 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
16.088 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log y)))) into 0
16.089 * [backup-simplify]: Simplify (* (exp (* 1/3 (log y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.089 * [backup-simplify]: Simplify 0 into 0
16.093 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
16.094 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
16.094 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log y))))) into 0
16.095 * [backup-simplify]: Simplify (* (exp (* 1/3 (log y))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.095 * [backup-simplify]: Simplify 0 into 0
16.101 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
16.102 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
16.103 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log y)))))) into 0
16.104 * [backup-simplify]: Simplify (* (exp (* 1/3 (log y))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.104 * [backup-simplify]: Simplify 0 into 0
16.113 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
16.114 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
16.115 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log y))))))) into 0
16.117 * [backup-simplify]: Simplify (* (exp (* 1/3 (log y))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.117 * [backup-simplify]: Simplify 0 into 0
16.134 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
16.134 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
16.136 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log y)))))))) into 0
16.139 * [backup-simplify]: Simplify (* (exp (* 1/3 (log y))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.139 * [backup-simplify]: Simplify 0 into 0
16.139 * [backup-simplify]: Simplify (pow y 1/3) into (pow y 1/3)
16.139 * [backup-simplify]: Simplify (cbrt (/ 1 y)) into (pow (/ 1 y) 1/3)
16.139 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
16.139 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
16.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
16.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
16.139 * [taylor]: Taking taylor expansion of 1/3 in y
16.139 * [backup-simplify]: Simplify 1/3 into 1/3
16.139 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.139 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.139 * [taylor]: Taking taylor expansion of y in y
16.139 * [backup-simplify]: Simplify 0 into 0
16.139 * [backup-simplify]: Simplify 1 into 1
16.140 * [backup-simplify]: Simplify (/ 1 1) into 1
16.140 * [backup-simplify]: Simplify (log 1) into 0
16.141 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.141 * [backup-simplify]: Simplify (* 1/3 (- (log y))) into (* -1/3 (log y))
16.141 * [backup-simplify]: Simplify (exp (* -1/3 (log y))) into (pow y -1/3)
16.141 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
16.141 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
16.141 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
16.141 * [taylor]: Taking taylor expansion of 1/3 in y
16.141 * [backup-simplify]: Simplify 1/3 into 1/3
16.141 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.141 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.141 * [taylor]: Taking taylor expansion of y in y
16.141 * [backup-simplify]: Simplify 0 into 0
16.141 * [backup-simplify]: Simplify 1 into 1
16.142 * [backup-simplify]: Simplify (/ 1 1) into 1
16.142 * [backup-simplify]: Simplify (log 1) into 0
16.142 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.143 * [backup-simplify]: Simplify (* 1/3 (- (log y))) into (* -1/3 (log y))
16.143 * [backup-simplify]: Simplify (exp (* -1/3 (log y))) into (pow y -1/3)
16.143 * [backup-simplify]: Simplify (pow y -1/3) into (pow y -1/3)
16.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.145 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
16.146 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.146 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log y)))) into 0
16.147 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 1) 1)))) into 0
16.147 * [backup-simplify]: Simplify 0 into 0
16.148 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.151 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
16.152 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.153 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log y))))) into 0
16.154 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.154 * [backup-simplify]: Simplify 0 into 0
16.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.160 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
16.161 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.162 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y)))))) into 0
16.164 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.164 * [backup-simplify]: Simplify 0 into 0
16.165 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.176 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
16.176 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.178 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y))))))) into 0
16.181 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.181 * [backup-simplify]: Simplify 0 into 0
16.182 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.200 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
16.203 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.206 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y)))))))) into 0
16.210 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.210 * [backup-simplify]: Simplify 0 into 0
16.211 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.241 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
16.241 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.243 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y))))))))) into 0
16.246 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.246 * [backup-simplify]: Simplify 0 into 0
16.246 * [backup-simplify]: Simplify (pow (/ 1 y) -1/3) into (pow (/ 1 y) -1/3)
16.246 * [backup-simplify]: Simplify (cbrt (/ 1 (- y))) into (* (cbrt -1) (pow (/ 1 y) 1/3))
16.247 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
16.247 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
16.247 * [taylor]: Taking taylor expansion of (cbrt -1) in y
16.247 * [taylor]: Taking taylor expansion of -1 in y
16.247 * [backup-simplify]: Simplify -1 into -1
16.247 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
16.247 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
16.248 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
16.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
16.248 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
16.248 * [taylor]: Taking taylor expansion of 1/3 in y
16.248 * [backup-simplify]: Simplify 1/3 into 1/3
16.248 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.248 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.248 * [taylor]: Taking taylor expansion of y in y
16.248 * [backup-simplify]: Simplify 0 into 0
16.248 * [backup-simplify]: Simplify 1 into 1
16.248 * [backup-simplify]: Simplify (/ 1 1) into 1
16.248 * [backup-simplify]: Simplify (log 1) into 0
16.248 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.249 * [backup-simplify]: Simplify (* 1/3 (- (log y))) into (* -1/3 (log y))
16.249 * [backup-simplify]: Simplify (exp (* -1/3 (log y))) into (pow y -1/3)
16.249 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
16.249 * [taylor]: Taking taylor expansion of (cbrt -1) in y
16.249 * [taylor]: Taking taylor expansion of -1 in y
16.249 * [backup-simplify]: Simplify -1 into -1
16.249 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
16.249 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
16.249 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
16.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
16.249 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
16.249 * [taylor]: Taking taylor expansion of 1/3 in y
16.249 * [backup-simplify]: Simplify 1/3 into 1/3
16.249 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.249 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.250 * [taylor]: Taking taylor expansion of y in y
16.250 * [backup-simplify]: Simplify 0 into 0
16.250 * [backup-simplify]: Simplify 1 into 1
16.250 * [backup-simplify]: Simplify (/ 1 1) into 1
16.250 * [backup-simplify]: Simplify (log 1) into 0
16.250 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.250 * [backup-simplify]: Simplify (* 1/3 (- (log y))) into (* -1/3 (log y))
16.250 * [backup-simplify]: Simplify (exp (* -1/3 (log y))) into (pow y -1/3)
16.251 * [backup-simplify]: Simplify (* (cbrt -1) (pow y -1/3)) into (* (cbrt -1) (pow (/ 1 y) 1/3))
16.252 * [backup-simplify]: Simplify (* (cbrt -1) (pow (/ 1 y) 1/3)) into (* (cbrt -1) (pow (/ 1 y) 1/3))
16.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.254 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
16.254 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.255 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log y)))) into 0
16.255 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 1) 1)))) into 0
16.256 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (* 0 (pow y -1/3))) into 0
16.256 * [backup-simplify]: Simplify 0 into 0
16.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.260 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
16.260 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.261 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log y))))) into 0
16.263 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.264 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
16.265 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (* 0 (pow y -1/3)))) into 0
16.265 * [backup-simplify]: Simplify 0 into 0
16.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.271 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
16.272 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.273 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y)))))) into 0
16.275 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.277 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0
16.278 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y -1/3))))) into 0
16.278 * [backup-simplify]: Simplify 0 into 0
16.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.290 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
16.291 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.293 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y))))))) into 0
16.296 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.298 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
16.300 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y -1/3)))))) into 0
16.300 * [backup-simplify]: Simplify 0 into 0
16.301 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.318 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
16.319 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.321 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y)))))))) into 0
16.325 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.326 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0
16.328 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y -1/3))))))) into 0
16.329 * [backup-simplify]: Simplify 0 into 0
16.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.363 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
16.364 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.366 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y))))))))) into 0
16.372 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.374 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
16.377 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y -1/3)))))))) into 0
16.377 * [backup-simplify]: Simplify 0 into 0
16.378 * [backup-simplify]: Simplify (* (cbrt -1) (pow (/ 1 (/ 1 (- y))) 1/3)) into (* (cbrt -1) (pow (* y -1) 1/3))
16.378 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
16.378 * [backup-simplify]: Simplify (cbrt y) into (pow y 1/3)
16.378 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
16.378 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
16.378 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
16.378 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
16.378 * [taylor]: Taking taylor expansion of 1/3 in y
16.378 * [backup-simplify]: Simplify 1/3 into 1/3
16.378 * [taylor]: Taking taylor expansion of (log y) in y
16.378 * [taylor]: Taking taylor expansion of y in y
16.378 * [backup-simplify]: Simplify 0 into 0
16.378 * [backup-simplify]: Simplify 1 into 1
16.379 * [backup-simplify]: Simplify (log 1) into 0
16.379 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
16.379 * [backup-simplify]: Simplify (* 1/3 (log y)) into (* 1/3 (log y))
16.379 * [backup-simplify]: Simplify (exp (* 1/3 (log y))) into (pow y 1/3)
16.379 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
16.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
16.379 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
16.380 * [taylor]: Taking taylor expansion of 1/3 in y
16.380 * [backup-simplify]: Simplify 1/3 into 1/3
16.380 * [taylor]: Taking taylor expansion of (log y) in y
16.380 * [taylor]: Taking taylor expansion of y in y
16.380 * [backup-simplify]: Simplify 0 into 0
16.380 * [backup-simplify]: Simplify 1 into 1
16.380 * [backup-simplify]: Simplify (log 1) into 0
16.380 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
16.381 * [backup-simplify]: Simplify (* 1/3 (log y)) into (* 1/3 (log y))
16.381 * [backup-simplify]: Simplify (exp (* 1/3 (log y))) into (pow y 1/3)
16.381 * [backup-simplify]: Simplify (pow y 1/3) into (pow y 1/3)
16.382 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
16.383 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
16.383 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log y))) into 0
16.384 * [backup-simplify]: Simplify (* (exp (* 1/3 (log y))) (+ (* (/ (pow 0 1) 1)))) into 0
16.384 * [backup-simplify]: Simplify 0 into 0
16.387 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
16.388 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
16.389 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log y)))) into 0
16.390 * [backup-simplify]: Simplify (* (exp (* 1/3 (log y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.390 * [backup-simplify]: Simplify 0 into 0
16.395 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
16.396 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
16.397 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log y))))) into 0
16.399 * [backup-simplify]: Simplify (* (exp (* 1/3 (log y))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.399 * [backup-simplify]: Simplify 0 into 0
16.410 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
16.411 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
16.412 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log y)))))) into 0
16.415 * [backup-simplify]: Simplify (* (exp (* 1/3 (log y))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.415 * [backup-simplify]: Simplify 0 into 0
16.432 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
16.433 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
16.434 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log y))))))) into 0
16.436 * [backup-simplify]: Simplify (* (exp (* 1/3 (log y))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.437 * [backup-simplify]: Simplify 0 into 0
16.453 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
16.453 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
16.455 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log y)))))))) into 0
16.458 * [backup-simplify]: Simplify (* (exp (* 1/3 (log y))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.458 * [backup-simplify]: Simplify 0 into 0
16.458 * [backup-simplify]: Simplify (pow y 1/3) into (pow y 1/3)
16.458 * [backup-simplify]: Simplify (cbrt (/ 1 y)) into (pow (/ 1 y) 1/3)
16.458 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
16.458 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
16.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
16.458 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
16.458 * [taylor]: Taking taylor expansion of 1/3 in y
16.458 * [backup-simplify]: Simplify 1/3 into 1/3
16.458 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.458 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.458 * [taylor]: Taking taylor expansion of y in y
16.458 * [backup-simplify]: Simplify 0 into 0
16.458 * [backup-simplify]: Simplify 1 into 1
16.458 * [backup-simplify]: Simplify (/ 1 1) into 1
16.459 * [backup-simplify]: Simplify (log 1) into 0
16.459 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.459 * [backup-simplify]: Simplify (* 1/3 (- (log y))) into (* -1/3 (log y))
16.459 * [backup-simplify]: Simplify (exp (* -1/3 (log y))) into (pow y -1/3)
16.459 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
16.459 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
16.459 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
16.459 * [taylor]: Taking taylor expansion of 1/3 in y
16.459 * [backup-simplify]: Simplify 1/3 into 1/3
16.459 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.459 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.459 * [taylor]: Taking taylor expansion of y in y
16.459 * [backup-simplify]: Simplify 0 into 0
16.459 * [backup-simplify]: Simplify 1 into 1
16.459 * [backup-simplify]: Simplify (/ 1 1) into 1
16.460 * [backup-simplify]: Simplify (log 1) into 0
16.460 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.460 * [backup-simplify]: Simplify (* 1/3 (- (log y))) into (* -1/3 (log y))
16.460 * [backup-simplify]: Simplify (exp (* -1/3 (log y))) into (pow y -1/3)
16.460 * [backup-simplify]: Simplify (pow y -1/3) into (pow y -1/3)
16.461 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.461 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
16.462 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.462 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log y)))) into 0
16.462 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 1) 1)))) into 0
16.463 * [backup-simplify]: Simplify 0 into 0
16.463 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.466 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
16.467 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.468 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log y))))) into 0
16.469 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.470 * [backup-simplify]: Simplify 0 into 0
16.471 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.478 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
16.479 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.480 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y)))))) into 0
16.480 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.481 * [backup-simplify]: Simplify 0 into 0
16.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.487 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
16.487 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.488 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y))))))) into 0
16.489 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.490 * [backup-simplify]: Simplify 0 into 0
16.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.499 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
16.500 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.501 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y)))))))) into 0
16.503 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.503 * [backup-simplify]: Simplify 0 into 0
16.504 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.519 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
16.520 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.521 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y))))))))) into 0
16.524 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.524 * [backup-simplify]: Simplify 0 into 0
16.524 * [backup-simplify]: Simplify (pow (/ 1 y) -1/3) into (pow (/ 1 y) -1/3)
16.524 * [backup-simplify]: Simplify (cbrt (/ 1 (- y))) into (* (cbrt -1) (pow (/ 1 y) 1/3))
16.524 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
16.524 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
16.524 * [taylor]: Taking taylor expansion of (cbrt -1) in y
16.524 * [taylor]: Taking taylor expansion of -1 in y
16.524 * [backup-simplify]: Simplify -1 into -1
16.525 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
16.525 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
16.525 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
16.525 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
16.525 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
16.525 * [taylor]: Taking taylor expansion of 1/3 in y
16.525 * [backup-simplify]: Simplify 1/3 into 1/3
16.525 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.525 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.525 * [taylor]: Taking taylor expansion of y in y
16.525 * [backup-simplify]: Simplify 0 into 0
16.525 * [backup-simplify]: Simplify 1 into 1
16.526 * [backup-simplify]: Simplify (/ 1 1) into 1
16.526 * [backup-simplify]: Simplify (log 1) into 0
16.526 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.526 * [backup-simplify]: Simplify (* 1/3 (- (log y))) into (* -1/3 (log y))
16.526 * [backup-simplify]: Simplify (exp (* -1/3 (log y))) into (pow y -1/3)
16.526 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
16.526 * [taylor]: Taking taylor expansion of (cbrt -1) in y
16.526 * [taylor]: Taking taylor expansion of -1 in y
16.526 * [backup-simplify]: Simplify -1 into -1
16.527 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
16.527 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
16.527 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
16.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
16.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
16.527 * [taylor]: Taking taylor expansion of 1/3 in y
16.527 * [backup-simplify]: Simplify 1/3 into 1/3
16.527 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.527 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.527 * [taylor]: Taking taylor expansion of y in y
16.527 * [backup-simplify]: Simplify 0 into 0
16.527 * [backup-simplify]: Simplify 1 into 1
16.528 * [backup-simplify]: Simplify (/ 1 1) into 1
16.528 * [backup-simplify]: Simplify (log 1) into 0
16.528 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.528 * [backup-simplify]: Simplify (* 1/3 (- (log y))) into (* -1/3 (log y))
16.528 * [backup-simplify]: Simplify (exp (* -1/3 (log y))) into (pow y -1/3)
16.529 * [backup-simplify]: Simplify (* (cbrt -1) (pow y -1/3)) into (* (cbrt -1) (pow (/ 1 y) 1/3))
16.529 * [backup-simplify]: Simplify (* (cbrt -1) (pow (/ 1 y) 1/3)) into (* (cbrt -1) (pow (/ 1 y) 1/3))
16.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.530 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
16.531 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.531 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log y)))) into 0
16.531 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 1) 1)))) into 0
16.532 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (* 0 (pow y -1/3))) into 0
16.532 * [backup-simplify]: Simplify 0 into 0
16.533 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.534 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
16.534 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.535 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log y))))) into 0
16.536 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.536 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
16.537 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (* 0 (pow y -1/3)))) into 0
16.537 * [backup-simplify]: Simplify 0 into 0
16.538 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.541 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
16.541 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.542 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y)))))) into 0
16.543 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.543 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0
16.544 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y -1/3))))) into 0
16.544 * [backup-simplify]: Simplify 0 into 0
16.545 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.550 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
16.551 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.552 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y))))))) into 0
16.553 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.554 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
16.555 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y -1/3)))))) into 0
16.555 * [backup-simplify]: Simplify 0 into 0
16.556 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.573 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
16.574 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.576 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y)))))))) into 0
16.581 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.582 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0
16.584 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y -1/3))))))) into 0
16.585 * [backup-simplify]: Simplify 0 into 0
16.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.616 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
16.617 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
16.619 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y))))))))) into 0
16.625 * [backup-simplify]: Simplify (* (exp (* -1/3 (log y))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.627 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
16.630 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y -1/3)))))))) into 0
16.630 * [backup-simplify]: Simplify 0 into 0
16.631 * [backup-simplify]: Simplify (* (cbrt -1) (pow (/ 1 (/ 1 (- y))) 1/3)) into (* (cbrt -1) (pow (* y -1) 1/3))
16.631 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
16.631 * [backup-simplify]: Simplify (* (cbrt y) (cbrt y)) into (pow (pow y 2) 1/3)
16.631 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/3) in (y) around 0
16.631 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y
16.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y
16.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y
16.631 * [taylor]: Taking taylor expansion of 1/3 in y
16.631 * [backup-simplify]: Simplify 1/3 into 1/3
16.631 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
16.631 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.631 * [taylor]: Taking taylor expansion of y in y
16.631 * [backup-simplify]: Simplify 0 into 0
16.631 * [backup-simplify]: Simplify 1 into 1
16.632 * [backup-simplify]: Simplify (* 1 1) into 1
16.632 * [backup-simplify]: Simplify (log 1) into 0
16.633 * [backup-simplify]: Simplify (+ (* (- -2) (log y)) 0) into (* 2 (log y))
16.633 * [backup-simplify]: Simplify (* 1/3 (* 2 (log y))) into (* 2/3 (log y))
16.633 * [backup-simplify]: Simplify (exp (* 2/3 (log y))) into (pow y 2/3)
16.633 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y
16.633 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y
16.633 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y
16.633 * [taylor]: Taking taylor expansion of 1/3 in y
16.633 * [backup-simplify]: Simplify 1/3 into 1/3
16.633 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
16.633 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.633 * [taylor]: Taking taylor expansion of y in y
16.633 * [backup-simplify]: Simplify 0 into 0
16.633 * [backup-simplify]: Simplify 1 into 1
16.633 * [backup-simplify]: Simplify (* 1 1) into 1
16.634 * [backup-simplify]: Simplify (log 1) into 0
16.634 * [backup-simplify]: Simplify (+ (* (- -2) (log y)) 0) into (* 2 (log y))
16.634 * [backup-simplify]: Simplify (* 1/3 (* 2 (log y))) into (* 2/3 (log y))
16.635 * [backup-simplify]: Simplify (exp (* 2/3 (log y))) into (pow y 2/3)
16.635 * [backup-simplify]: Simplify (pow y 2/3) into (pow y 2/3)
16.635 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.637 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
16.637 * [backup-simplify]: Simplify (+ (* (- -2) (log y)) 0) into (* 2 (log y))
16.638 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (* 2 (log y)))) into 0
16.639 * [backup-simplify]: Simplify (* (exp (* 2/3 (log y))) (+ (* (/ (pow 0 1) 1)))) into 0
16.639 * [backup-simplify]: Simplify 0 into 0
16.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.643 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
16.643 * [backup-simplify]: Simplify (+ (* (- -2) (log y)) 0) into (* 2 (log y))
16.644 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (* 2 (log y))))) into 0
16.646 * [backup-simplify]: Simplify (* (exp (* 2/3 (log y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.646 * [backup-simplify]: Simplify 0 into 0
16.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.652 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
16.653 * [backup-simplify]: Simplify (+ (* (- -2) (log y)) 0) into (* 2 (log y))
16.654 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 2 (log y)))))) into 0
16.656 * [backup-simplify]: Simplify (* (exp (* 2/3 (log y))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.656 * [backup-simplify]: Simplify 0 into 0
16.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.667 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
16.668 * [backup-simplify]: Simplify (+ (* (- -2) (log y)) 0) into (* 2 (log y))
16.669 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 2 (log y))))))) into 0
16.672 * [backup-simplify]: Simplify (* (exp (* 2/3 (log y))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.672 * [backup-simplify]: Simplify 0 into 0
16.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.687 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
16.687 * [backup-simplify]: Simplify (+ (* (- -2) (log y)) 0) into (* 2 (log y))
16.688 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 2 (log y)))))))) into 0
16.690 * [backup-simplify]: Simplify (* (exp (* 2/3 (log y))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.690 * [backup-simplify]: Simplify 0 into 0
16.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.710 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
16.710 * [backup-simplify]: Simplify (+ (* (- -2) (log y)) 0) into (* 2 (log y))
16.711 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 2 (log y))))))))) into 0
16.715 * [backup-simplify]: Simplify (* (exp (* 2/3 (log y))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.715 * [backup-simplify]: Simplify 0 into 0
16.715 * [backup-simplify]: Simplify (pow y 2/3) into (pow y 2/3)
16.715 * [backup-simplify]: Simplify (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) into (pow (/ 1 (pow y 2)) 1/3)
16.715 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in (y) around 0
16.715 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
16.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
16.715 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
16.715 * [taylor]: Taking taylor expansion of 1/3 in y
16.715 * [backup-simplify]: Simplify 1/3 into 1/3
16.715 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
16.715 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
16.715 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.715 * [taylor]: Taking taylor expansion of y in y
16.715 * [backup-simplify]: Simplify 0 into 0
16.716 * [backup-simplify]: Simplify 1 into 1
16.716 * [backup-simplify]: Simplify (* 1 1) into 1
16.716 * [backup-simplify]: Simplify (/ 1 1) into 1
16.717 * [backup-simplify]: Simplify (log 1) into 0
16.717 * [backup-simplify]: Simplify (+ (* (- 2) (log y)) 0) into (- (* 2 (log y)))
16.717 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log y)))) into (* -2/3 (log y))
16.717 * [backup-simplify]: Simplify (exp (* -2/3 (log y))) into (pow y -2/3)
16.717 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
16.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
16.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
16.718 * [taylor]: Taking taylor expansion of 1/3 in y
16.718 * [backup-simplify]: Simplify 1/3 into 1/3
16.718 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
16.718 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
16.718 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.718 * [taylor]: Taking taylor expansion of y in y
16.718 * [backup-simplify]: Simplify 0 into 0
16.718 * [backup-simplify]: Simplify 1 into 1
16.718 * [backup-simplify]: Simplify (* 1 1) into 1
16.719 * [backup-simplify]: Simplify (/ 1 1) into 1
16.719 * [backup-simplify]: Simplify (log 1) into 0
16.719 * [backup-simplify]: Simplify (+ (* (- 2) (log y)) 0) into (- (* 2 (log y)))
16.720 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log y)))) into (* -2/3 (log y))
16.720 * [backup-simplify]: Simplify (exp (* -2/3 (log y))) into (pow y -2/3)
16.720 * [backup-simplify]: Simplify (pow y -2/3) into (pow y -2/3)
16.721 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.721 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.723 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
16.723 * [backup-simplify]: Simplify (+ (* (- 2) (log y)) 0) into (- (* 2 (log y)))
16.724 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (* 2 (log y))))) into 0
16.725 * [backup-simplify]: Simplify (* (exp (* -2/3 (log y))) (+ (* (/ (pow 0 1) 1)))) into 0
16.725 * [backup-simplify]: Simplify 0 into 0
16.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.730 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
16.730 * [backup-simplify]: Simplify (+ (* (- 2) (log y)) 0) into (- (* 2 (log y)))
16.731 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 2 (log y)))))) into 0
16.732 * [backup-simplify]: Simplify (* (exp (* -2/3 (log y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.732 * [backup-simplify]: Simplify 0 into 0
16.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.735 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
16.736 * [backup-simplify]: Simplify (+ (* (- 2) (log y)) 0) into (- (* 2 (log y)))
16.737 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 2 (log y))))))) into 0
16.738 * [backup-simplify]: Simplify (* (exp (* -2/3 (log y))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.738 * [backup-simplify]: Simplify 0 into 0
16.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.744 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
16.745 * [backup-simplify]: Simplify (+ (* (- 2) (log y)) 0) into (- (* 2 (log y)))
16.746 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 2 (log y)))))))) into 0
16.747 * [backup-simplify]: Simplify (* (exp (* -2/3 (log y))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.748 * [backup-simplify]: Simplify 0 into 0
16.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.749 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.758 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
16.759 * [backup-simplify]: Simplify (+ (* (- 2) (log y)) 0) into (- (* 2 (log y)))
16.760 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 2 (log y))))))))) into 0
16.762 * [backup-simplify]: Simplify (* (exp (* -2/3 (log y))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.762 * [backup-simplify]: Simplify 0 into 0
16.763 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.764 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.792 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
16.793 * [backup-simplify]: Simplify (+ (* (- 2) (log y)) 0) into (- (* 2 (log y)))
16.794 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 2 (log y)))))))))) into 0
16.797 * [backup-simplify]: Simplify (* (exp (* -2/3 (log y))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.797 * [backup-simplify]: Simplify 0 into 0
16.798 * [backup-simplify]: Simplify (pow (/ 1 y) -2/3) into (pow (/ 1 y) -2/3)
16.798 * [backup-simplify]: Simplify (* (cbrt (/ 1 (- y))) (cbrt (/ 1 (- y)))) into (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3))
16.798 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in (y) around 0
16.798 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y
16.798 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
16.798 * [taylor]: Taking taylor expansion of (cbrt -1) in y
16.798 * [taylor]: Taking taylor expansion of -1 in y
16.798 * [backup-simplify]: Simplify -1 into -1
16.798 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
16.799 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
16.799 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
16.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
16.799 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
16.799 * [taylor]: Taking taylor expansion of 1/3 in y
16.799 * [backup-simplify]: Simplify 1/3 into 1/3
16.799 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
16.799 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
16.799 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.799 * [taylor]: Taking taylor expansion of y in y
16.799 * [backup-simplify]: Simplify 0 into 0
16.799 * [backup-simplify]: Simplify 1 into 1
16.799 * [backup-simplify]: Simplify (* 1 1) into 1
16.799 * [backup-simplify]: Simplify (/ 1 1) into 1
16.800 * [backup-simplify]: Simplify (log 1) into 0
16.800 * [backup-simplify]: Simplify (+ (* (- 2) (log y)) 0) into (- (* 2 (log y)))
16.800 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log y)))) into (* -2/3 (log y))
16.800 * [backup-simplify]: Simplify (exp (* -2/3 (log y))) into (pow y -2/3)
16.800 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y
16.800 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
16.800 * [taylor]: Taking taylor expansion of (cbrt -1) in y
16.800 * [taylor]: Taking taylor expansion of -1 in y
16.800 * [backup-simplify]: Simplify -1 into -1
16.800 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
16.801 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
16.801 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
16.801 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
16.801 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
16.801 * [taylor]: Taking taylor expansion of 1/3 in y
16.801 * [backup-simplify]: Simplify 1/3 into 1/3
16.801 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
16.801 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
16.801 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.801 * [taylor]: Taking taylor expansion of y in y
16.801 * [backup-simplify]: Simplify 0 into 0
16.801 * [backup-simplify]: Simplify 1 into 1
16.801 * [backup-simplify]: Simplify (* 1 1) into 1
16.801 * [backup-simplify]: Simplify (/ 1 1) into 1
16.802 * [backup-simplify]: Simplify (log 1) into 0
16.807 * [backup-simplify]: Simplify (+ (* (- 2) (log y)) 0) into (- (* 2 (log y)))
16.807 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log y)))) into (* -2/3 (log y))
16.807 * [backup-simplify]: Simplify (exp (* -2/3 (log y))) into (pow y -2/3)
16.808 * [backup-simplify]: Simplify (* (cbrt -1) (cbrt -1)) into (pow (cbrt -1) 2)
16.809 * [backup-simplify]: Simplify (* (pow (cbrt -1) 2) (pow y -2/3)) into (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3))
16.810 * [backup-simplify]: Simplify (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) into (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3))
16.811 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.811 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.812 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
16.812 * [backup-simplify]: Simplify (+ (* (- 2) (log y)) 0) into (- (* 2 (log y)))
16.813 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (* 2 (log y))))) into 0
16.813 * [backup-simplify]: Simplify (* (exp (* -2/3 (log y))) (+ (* (/ (pow 0 1) 1)))) into 0
16.814 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (* 0 (cbrt -1))) into 0
16.814 * [backup-simplify]: Simplify (+ (* (pow (cbrt -1) 2) 0) (* 0 (pow y -2/3))) into 0
16.814 * [backup-simplify]: Simplify 0 into 0
16.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.817 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
16.817 * [backup-simplify]: Simplify (+ (* (- 2) (log y)) 0) into (- (* 2 (log y)))
16.818 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 2 (log y)))))) into 0
16.818 * [backup-simplify]: Simplify (* (exp (* -2/3 (log y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.819 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
16.820 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (* 0 (cbrt -1)))) into 0
16.821 * [backup-simplify]: Simplify (+ (* (pow (cbrt -1) 2) 0) (+ (* 0 0) (* 0 (pow y -2/3)))) into 0
16.821 * [backup-simplify]: Simplify 0 into 0
16.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.825 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
16.825 * [backup-simplify]: Simplify (+ (* (- 2) (log y)) 0) into (- (* 2 (log y)))
16.826 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 2 (log y))))))) into 0
16.827 * [backup-simplify]: Simplify (* (exp (* -2/3 (log y))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.828 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0
16.829 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt -1))))) into 0
16.830 * [backup-simplify]: Simplify (+ (* (pow (cbrt -1) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y -2/3))))) into 0
16.830 * [backup-simplify]: Simplify 0 into 0
16.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.838 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
16.839 * [backup-simplify]: Simplify (+ (* (- 2) (log y)) 0) into (- (* 2 (log y)))
16.841 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 2 (log y)))))))) into 0
16.844 * [backup-simplify]: Simplify (* (exp (* -2/3 (log y))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.846 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
16.848 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt -1)))))) into 0
16.850 * [backup-simplify]: Simplify (+ (* (pow (cbrt -1) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y -2/3)))))) into 0
16.850 * [backup-simplify]: Simplify 0 into 0
16.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.860 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
16.861 * [backup-simplify]: Simplify (+ (* (- 2) (log y)) 0) into (- (* 2 (log y)))
16.862 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 2 (log y))))))))) into 0
16.864 * [backup-simplify]: Simplify (* (exp (* -2/3 (log y))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.865 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0
16.866 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt -1))))))) into 0
16.868 * [backup-simplify]: Simplify (+ (* (pow (cbrt -1) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y -2/3))))))) into 0
16.868 * [backup-simplify]: Simplify 0 into 0
16.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.891 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
16.891 * [backup-simplify]: Simplify (+ (* (- 2) (log y)) 0) into (- (* 2 (log y)))
16.894 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 2 (log y)))))))))) into 0
16.900 * [backup-simplify]: Simplify (* (exp (* -2/3 (log y))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.902 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
16.903 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt -1)))))))) into 0
16.906 * [backup-simplify]: Simplify (+ (* (pow (cbrt -1) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y -2/3)))))))) into 0
16.906 * [backup-simplify]: Simplify 0 into 0
16.908 * [backup-simplify]: Simplify (* (pow (cbrt -1) 2) (pow (/ 1 (pow (/ 1 (- y)) 2)) 1/3)) into (* (pow (cbrt -1) 2) (pow (pow y 2) 1/3))
16.908 * * * [progress]: simplifying candidates
16.910 * [simplify]: Simplifying:
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (+ 1/3 1/3)
  (+ 1 1)
  (* y y)
  (* (cbrt y) (cbrt y))
  (+ 1 1)
  (+ (log (cbrt y)) (log (cbrt y)))
  (log (* (cbrt y) (cbrt y)))
  (exp (* (cbrt y) (cbrt y)))
  (* y y)
  (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (* (cbrt y) (cbrt y)))
  (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))
  (sqrt (* (cbrt y) (cbrt y)))
  (sqrt (* (cbrt y) (cbrt y)))
  (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt y) (cbrt y))
  (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (* (sqrt (cbrt y)) (sqrt (cbrt y)))
  (* (sqrt (cbrt y)) (sqrt (cbrt y)))
  (* 1 1)
  (* (cbrt y) (cbrt y))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (sqrt (cbrt y)) (cbrt (sqrt y)))
  (* (sqrt (cbrt y)) (cbrt (sqrt y)))
  (* (sqrt (cbrt y)) (sqrt (cbrt y)))
  (* (sqrt (cbrt y)) (sqrt (cbrt y)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt y) (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt y) (cbrt (sqrt y)))
  (* (cbrt y) (cbrt 1))
  (* (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (* (cbrt y) (sqrt (cbrt y)))
  (* (cbrt y) 1)
  (* (cbrt (cbrt y)) (cbrt y))
  (* (cbrt (sqrt y)) (cbrt y))
  (* (cbrt y) (cbrt y))
  (* (cbrt (cbrt y)) (cbrt y))
  (* (sqrt (cbrt y)) (cbrt y))
  (* (cbrt y) (cbrt y))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (cbrt -1) (pow (* y -1) 1/3))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (cbrt -1) (pow (* y -1) 1/3))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (cbrt -1) (pow (* y -1) 1/3))
  (pow y 2/3)
  (pow (/ 1 y) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow y 2) 1/3))
16.911 * * [simplify]: iteration 0: 61 enodes
16.946 * * [simplify]: iteration 1: 136 enodes
17.010 * * [simplify]: iteration 2: 377 enodes
17.207 * * [simplify]: iteration 3: 971 enodes
17.944 * * [simplify]: iteration 4: 3114 enodes
19.686 * * [simplify]: iteration complete: 5028 enodes
19.686 * * [simplify]: Extracting #0: cost 29 inf + 0
19.687 * * [simplify]: Extracting #1: cost 450 inf + 1042
19.691 * * [simplify]: Extracting #2: cost 1201 inf + 3289
19.704 * * [simplify]: Extracting #3: cost 1326 inf + 27662
19.727 * * [simplify]: Extracting #4: cost 770 inf + 253585
19.793 * * [simplify]: Extracting #5: cost 117 inf + 557278
19.888 * * [simplify]: Extracting #6: cost 0 inf + 629017
19.954 * [simplify]: Simplified to:
  (* (log y) 1/3)
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (* (log y) 1/3)
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (* (log y) 1/3)
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  2/3
  2
  (* y y)
  (* (cbrt y) (cbrt y))
  2
  (* (log y) 2/3)
  (* (log y) 2/3)
  (exp (* (cbrt y) (cbrt y)))
  (* y y)
  (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (* (cbrt y) (cbrt y)))
  (* y y)
  (fabs (cbrt y))
  (fabs (cbrt y))
  (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  1
  (* (cbrt y) (cbrt y))
  (* (cbrt (cbrt y)) (cbrt y))
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt y)
  (cbrt y)
  1
  (* (cbrt y) (cbrt y))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (sqrt (cbrt y)) (cbrt (sqrt y)))
  (* (sqrt (cbrt y)) (cbrt (sqrt y)))
  (* (sqrt (cbrt y)) (cbrt (sqrt y)))
  (* (sqrt (cbrt y)) (cbrt (sqrt y)))
  (cbrt y)
  (cbrt y)
  2/3
  2
  (* (cbrt y) (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt y) (cbrt (sqrt y)))
  (cbrt y)
  (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt y))
  (* (cbrt y) (sqrt (cbrt y)))
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt y))
  (* (cbrt y) (cbrt (sqrt y)))
  (* (cbrt y) (cbrt y))
  (* (cbrt (cbrt y)) (cbrt y))
  (* (cbrt y) (sqrt (cbrt y)))
  (* (cbrt y) (cbrt y))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt -1) (cbrt (- y)))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt -1) (cbrt (- y)))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt -1) (cbrt (- y)))
  (* (cbrt y) (cbrt y))
  (pow (/ 1 y) -2/3)
  (* (* (cbrt y) (cbrt -1)) (* (cbrt y) (cbrt -1)))
19.963 * * * [progress]: adding candidates to table
20.454 * [progress]: [Phase 3 of 3] Extracting.
20.454 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ x (+ (* y z) (* y x))))> #<alt (λ (x y z) (+ x (* y (+ z x))))> #<alt (λ (x y z) (+ x (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ z x)))))>)
20.454 * * * [regime-changes]: Trying 4 branch expressions: ((+ x (* y (+ z x))) z y x)
20.454 * * * * [regimes]: Trying to branch on (+ x (* y (+ z x))) from (#<alt (λ (x y z) (+ x (+ (* y z) (* y x))))> #<alt (λ (x y z) (+ x (* y (+ z x))))> #<alt (λ (x y z) (+ x (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ z x)))))>)
20.508 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ x (+ (* y z) (* y x))))> #<alt (λ (x y z) (+ x (* y (+ z x))))> #<alt (λ (x y z) (+ x (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ z x)))))>)
20.559 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ x (+ (* y z) (* y x))))> #<alt (λ (x y z) (+ x (* y (+ z x))))> #<alt (λ (x y z) (+ x (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ z x)))))>)
20.595 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ x (+ (* y z) (* y x))))> #<alt (λ (x y z) (+ x (* y (+ z x))))> #<alt (λ (x y z) (+ x (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ z x)))))>)
20.656 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
20.656 * [simplify]: Simplifying:
  (+ x (* y (+ z x)))
20.656 * * [simplify]: iteration 0: 6 enodes
20.657 * * [simplify]: iteration 1: 9 enodes
20.658 * * [simplify]: iteration complete: 9 enodes
20.658 * * [simplify]: Extracting #0: cost 1 inf + 0
20.658 * * [simplify]: Extracting #1: cost 3 inf + 0
20.658 * * [simplify]: Extracting #2: cost 4 inf + 1
20.658 * * [simplify]: Extracting #3: cost 4 inf + 2
20.658 * * [simplify]: Extracting #4: cost 0 inf + 251
20.658 * [simplify]: Simplified to:
  (+ x (* (+ x z) y))
22.018 * [regime-testing]: Baseline error score: 0.015251906488311038
22.030 * [regime-testing]: Oracle error score: 0.008626078259782472
22.057 * [regime-testing]: End program error score: 0.015251906488311038