83.791 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.029 * * * [progress]: [2/2] Setting up program. 0.032 * [progress]: [Phase 2 of 3] Improving. 0.032 * [simplify]: Simplifying using # : (+ (* (+ (* x y) z) y) t) 0.033 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.034 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 0.035 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 0.038 * * [simplify]: iteration 3 : 31 enodes (cost 9 ) 0.042 * * [simplify]: iteration 4 : 33 enodes (cost 9 ) 0.046 * * [simplify]: iteration done : 33 enodes (cost 9 ) 0.046 * [simplify]: Simplified to: (+ (* (+ (* x y) z) y) t) 0.046 * * [progress]: iteration 1 / 4 0.046 * * * [progress]: picking best candidate 0.049 * * * * [pick]: Picked # 0.049 * * * [progress]: localizing error 0.065 * * * [progress]: generating rewritten candidates 0.065 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.072 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 0.076 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.084 * * * [progress]: generating series expansions 0.084 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.084 * [approximate]: Taking taylor expansion of (* y (+ (* x y) z)) in (x y z) around 0 0.084 * [taylor]: Taking taylor expansion of (* y (+ (* x y) z)) in z 0.084 * [taylor]: Taking taylor expansion of y in z 0.084 * [taylor]: Taking taylor expansion of (+ (* x y) z) in z 0.084 * [taylor]: Taking taylor expansion of (* x y) in z 0.084 * [taylor]: Taking taylor expansion of x in z 0.085 * [taylor]: Taking taylor expansion of y in z 0.085 * [taylor]: Taking taylor expansion of z in z 0.085 * [taylor]: Taking taylor expansion of (* y (+ (* x y) z)) in y 0.085 * [taylor]: Taking taylor expansion of y in y 0.085 * [taylor]: Taking taylor expansion of (+ (* x y) z) in y 0.085 * [taylor]: Taking taylor expansion of (* x y) in y 0.085 * [taylor]: Taking taylor expansion of x in y 0.085 * [taylor]: Taking taylor expansion of y in y 0.085 * [taylor]: Taking taylor expansion of z in y 0.085 * [taylor]: Taking taylor expansion of (* y (+ (* x y) z)) in x 0.085 * [taylor]: Taking taylor expansion of y in x 0.085 * [taylor]: Taking taylor expansion of (+ (* x y) z) in x 0.085 * [taylor]: Taking taylor expansion of (* x y) in x 0.085 * [taylor]: Taking taylor expansion of x in x 0.085 * [taylor]: Taking taylor expansion of y in x 0.085 * [taylor]: Taking taylor expansion of z in x 0.085 * [taylor]: Taking taylor expansion of (* y (+ (* x y) z)) in x 0.085 * [taylor]: Taking taylor expansion of y in x 0.085 * [taylor]: Taking taylor expansion of (+ (* x y) z) in x 0.085 * [taylor]: Taking taylor expansion of (* x y) in x 0.085 * [taylor]: Taking taylor expansion of x in x 0.085 * [taylor]: Taking taylor expansion of y in x 0.085 * [taylor]: Taking taylor expansion of z in x 0.085 * [taylor]: Taking taylor expansion of (* z y) in y 0.085 * [taylor]: Taking taylor expansion of z in y 0.085 * [taylor]: Taking taylor expansion of y in y 0.085 * [taylor]: Taking taylor expansion of 0 in z 0.085 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.085 * [taylor]: Taking taylor expansion of y in y 0.085 * [taylor]: Taking taylor expansion of z in z 0.085 * [taylor]: Taking taylor expansion of 0 in y 0.085 * [taylor]: Taking taylor expansion of 0 in z 0.086 * [taylor]: Taking taylor expansion of 0 in z 0.086 * [taylor]: Taking taylor expansion of 0 in y 0.086 * [taylor]: Taking taylor expansion of 0 in z 0.086 * [taylor]: Taking taylor expansion of 0 in z 0.086 * [taylor]: Taking taylor expansion of 1 in z 0.086 * [taylor]: Taking taylor expansion of 0 in z 0.086 * [taylor]: Taking taylor expansion of 0 in y 0.086 * [taylor]: Taking taylor expansion of 0 in z 0.086 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 (* x y))) y) in (x y z) around 0 0.087 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 (* x y))) y) in z 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in z 0.087 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.087 * [taylor]: Taking taylor expansion of z in z 0.087 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.087 * [taylor]: Taking taylor expansion of (* x y) in z 0.087 * [taylor]: Taking taylor expansion of x in z 0.087 * [taylor]: Taking taylor expansion of y in z 0.087 * [taylor]: Taking taylor expansion of y in z 0.087 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 (* x y))) y) in y 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in y 0.087 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.087 * [taylor]: Taking taylor expansion of z in y 0.087 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.087 * [taylor]: Taking taylor expansion of (* x y) in y 0.087 * [taylor]: Taking taylor expansion of x in y 0.087 * [taylor]: Taking taylor expansion of y in y 0.087 * [taylor]: Taking taylor expansion of y in y 0.087 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 (* x y))) y) in x 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x 0.087 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.087 * [taylor]: Taking taylor expansion of z in x 0.087 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.087 * [taylor]: Taking taylor expansion of (* x y) in x 0.087 * [taylor]: Taking taylor expansion of x in x 0.087 * [taylor]: Taking taylor expansion of y in x 0.087 * [taylor]: Taking taylor expansion of y in x 0.087 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 (* x y))) y) in x 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x 0.087 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.087 * [taylor]: Taking taylor expansion of z in x 0.087 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.087 * [taylor]: Taking taylor expansion of (* x y) in x 0.087 * [taylor]: Taking taylor expansion of x in x 0.088 * [taylor]: Taking taylor expansion of y in x 0.088 * [taylor]: Taking taylor expansion of y in x 0.088 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.088 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.088 * [taylor]: Taking taylor expansion of y in y 0.088 * [taylor]: Taking taylor expansion of 1 in z 0.088 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.088 * [taylor]: Taking taylor expansion of (* z y) in y 0.088 * [taylor]: Taking taylor expansion of z in y 0.088 * [taylor]: Taking taylor expansion of y in y 0.088 * [taylor]: Taking taylor expansion of 0 in z 0.089 * [taylor]: Taking taylor expansion of 0 in y 0.089 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.089 * [taylor]: Taking taylor expansion of z in z 0.089 * [taylor]: Taking taylor expansion of 0 in z 0.089 * [taylor]: Taking taylor expansion of 0 in y 0.089 * [taylor]: Taking taylor expansion of 0 in z 0.089 * [taylor]: Taking taylor expansion of 0 in z 0.090 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* x y)) (/ 1 z)) y)) in (x y z) around 0 0.090 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* x y)) (/ 1 z)) y)) in z 0.090 * [taylor]: Taking taylor expansion of -1 in z 0.090 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x y)) (/ 1 z)) y) in z 0.090 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in z 0.090 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.090 * [taylor]: Taking taylor expansion of (* x y) in z 0.090 * [taylor]: Taking taylor expansion of x in z 0.090 * [taylor]: Taking taylor expansion of y in z 0.090 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.090 * [taylor]: Taking taylor expansion of z in z 0.090 * [taylor]: Taking taylor expansion of y in z 0.090 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* x y)) (/ 1 z)) y)) in y 0.090 * [taylor]: Taking taylor expansion of -1 in y 0.090 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x y)) (/ 1 z)) y) in y 0.090 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in y 0.090 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.090 * [taylor]: Taking taylor expansion of (* x y) in y 0.090 * [taylor]: Taking taylor expansion of x in y 0.090 * [taylor]: Taking taylor expansion of y in y 0.090 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.090 * [taylor]: Taking taylor expansion of z in y 0.090 * [taylor]: Taking taylor expansion of y in y 0.091 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* x y)) (/ 1 z)) y)) in x 0.091 * [taylor]: Taking taylor expansion of -1 in x 0.091 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x y)) (/ 1 z)) y) in x 0.091 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in x 0.091 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.091 * [taylor]: Taking taylor expansion of (* x y) in x 0.091 * [taylor]: Taking taylor expansion of x in x 0.091 * [taylor]: Taking taylor expansion of y in x 0.091 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.091 * [taylor]: Taking taylor expansion of z in x 0.091 * [taylor]: Taking taylor expansion of y in x 0.091 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* x y)) (/ 1 z)) y)) in x 0.091 * [taylor]: Taking taylor expansion of -1 in x 0.091 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x y)) (/ 1 z)) y) in x 0.091 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in x 0.091 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.091 * [taylor]: Taking taylor expansion of (* x y) in x 0.091 * [taylor]: Taking taylor expansion of x in x 0.091 * [taylor]: Taking taylor expansion of y in x 0.091 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.091 * [taylor]: Taking taylor expansion of z in x 0.091 * [taylor]: Taking taylor expansion of y in x 0.091 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y 0.091 * [taylor]: Taking taylor expansion of -1 in y 0.091 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.091 * [taylor]: Taking taylor expansion of y in y 0.091 * [taylor]: Taking taylor expansion of -1 in z 0.092 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.092 * [taylor]: Taking taylor expansion of (* z y) in y 0.092 * [taylor]: Taking taylor expansion of z in y 0.092 * [taylor]: Taking taylor expansion of y in y 0.092 * [taylor]: Taking taylor expansion of 0 in z 0.093 * [taylor]: Taking taylor expansion of 0 in y 0.093 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.093 * [taylor]: Taking taylor expansion of z in z 0.093 * [taylor]: Taking taylor expansion of 0 in z 0.093 * [taylor]: Taking taylor expansion of 0 in y 0.093 * [taylor]: Taking taylor expansion of 0 in z 0.094 * [taylor]: Taking taylor expansion of 0 in z 0.094 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 0.094 * [approximate]: Taking taylor expansion of (+ (* x y) z) in (x y z) around 0 0.094 * [taylor]: Taking taylor expansion of (+ (* x y) z) in z 0.094 * [taylor]: Taking taylor expansion of (* x y) in z 0.094 * [taylor]: Taking taylor expansion of x in z 0.094 * [taylor]: Taking taylor expansion of y in z 0.094 * [taylor]: Taking taylor expansion of z in z 0.094 * [taylor]: Taking taylor expansion of (+ (* x y) z) in y 0.094 * [taylor]: Taking taylor expansion of (* x y) in y 0.094 * [taylor]: Taking taylor expansion of x in y 0.094 * [taylor]: Taking taylor expansion of y in y 0.094 * [taylor]: Taking taylor expansion of z in y 0.094 * [taylor]: Taking taylor expansion of (+ (* x y) z) in x 0.094 * [taylor]: Taking taylor expansion of (* x y) in x 0.094 * [taylor]: Taking taylor expansion of x in x 0.094 * [taylor]: Taking taylor expansion of y in x 0.094 * [taylor]: Taking taylor expansion of z in x 0.094 * [taylor]: Taking taylor expansion of (+ (* x y) z) in x 0.094 * [taylor]: Taking taylor expansion of (* x y) in x 0.094 * [taylor]: Taking taylor expansion of x in x 0.094 * [taylor]: Taking taylor expansion of y in x 0.094 * [taylor]: Taking taylor expansion of z in x 0.094 * [taylor]: Taking taylor expansion of z in y 0.094 * [taylor]: Taking taylor expansion of z in z 0.094 * [taylor]: Taking taylor expansion of y in y 0.094 * [taylor]: Taking taylor expansion of 0 in z 0.095 * [taylor]: Taking taylor expansion of 0 in z 0.095 * [taylor]: Taking taylor expansion of 0 in y 0.095 * [taylor]: Taking taylor expansion of 0 in z 0.095 * [taylor]: Taking taylor expansion of 1 in z 0.095 * [taylor]: Taking taylor expansion of 0 in z 0.095 * [taylor]: Taking taylor expansion of 0 in y 0.095 * [taylor]: Taking taylor expansion of 0 in z 0.095 * [taylor]: Taking taylor expansion of 0 in z 0.095 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in (x y z) around 0 0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in z 0.095 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.095 * [taylor]: Taking taylor expansion of z in z 0.095 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.095 * [taylor]: Taking taylor expansion of (* x y) in z 0.095 * [taylor]: Taking taylor expansion of x in z 0.095 * [taylor]: Taking taylor expansion of y in z 0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in y 0.095 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.095 * [taylor]: Taking taylor expansion of z in y 0.095 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.095 * [taylor]: Taking taylor expansion of (* x y) in y 0.095 * [taylor]: Taking taylor expansion of x in y 0.095 * [taylor]: Taking taylor expansion of y in y 0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x 0.095 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.096 * [taylor]: Taking taylor expansion of z in x 0.096 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.096 * [taylor]: Taking taylor expansion of (* x y) in x 0.096 * [taylor]: Taking taylor expansion of x in x 0.096 * [taylor]: Taking taylor expansion of y in x 0.096 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x 0.096 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.096 * [taylor]: Taking taylor expansion of z in x 0.096 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.096 * [taylor]: Taking taylor expansion of (* x y) in x 0.096 * [taylor]: Taking taylor expansion of x in x 0.096 * [taylor]: Taking taylor expansion of y in x 0.096 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.096 * [taylor]: Taking taylor expansion of y in y 0.096 * [taylor]: Taking taylor expansion of 1 in z 0.096 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.096 * [taylor]: Taking taylor expansion of z in y 0.096 * [taylor]: Taking taylor expansion of 0 in z 0.096 * [taylor]: Taking taylor expansion of 0 in y 0.096 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.096 * [taylor]: Taking taylor expansion of z in z 0.097 * [taylor]: Taking taylor expansion of 0 in z 0.097 * [taylor]: Taking taylor expansion of 0 in y 0.097 * [taylor]: Taking taylor expansion of 0 in z 0.097 * [taylor]: Taking taylor expansion of 0 in z 0.097 * [taylor]: Taking taylor expansion of 0 in z 0.097 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in (x y z) around 0 0.097 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in z 0.097 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.097 * [taylor]: Taking taylor expansion of (* x y) in z 0.097 * [taylor]: Taking taylor expansion of x in z 0.097 * [taylor]: Taking taylor expansion of y in z 0.097 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.097 * [taylor]: Taking taylor expansion of z in z 0.098 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in y 0.098 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.098 * [taylor]: Taking taylor expansion of (* x y) in y 0.098 * [taylor]: Taking taylor expansion of x in y 0.098 * [taylor]: Taking taylor expansion of y in y 0.098 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.098 * [taylor]: Taking taylor expansion of z in y 0.098 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in x 0.098 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.098 * [taylor]: Taking taylor expansion of (* x y) in x 0.098 * [taylor]: Taking taylor expansion of x in x 0.098 * [taylor]: Taking taylor expansion of y in x 0.098 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.098 * [taylor]: Taking taylor expansion of z in x 0.098 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in x 0.098 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.098 * [taylor]: Taking taylor expansion of (* x y) in x 0.098 * [taylor]: Taking taylor expansion of x in x 0.098 * [taylor]: Taking taylor expansion of y in x 0.098 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.098 * [taylor]: Taking taylor expansion of z in x 0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.098 * [taylor]: Taking taylor expansion of y in y 0.098 * [taylor]: Taking taylor expansion of 1 in z 0.098 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y 0.098 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.098 * [taylor]: Taking taylor expansion of z in y 0.099 * [taylor]: Taking taylor expansion of 0 in z 0.099 * [taylor]: Taking taylor expansion of 0 in y 0.099 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 0.099 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.099 * [taylor]: Taking taylor expansion of z in z 0.099 * [taylor]: Taking taylor expansion of 0 in z 0.099 * [taylor]: Taking taylor expansion of 0 in y 0.099 * [taylor]: Taking taylor expansion of 0 in z 0.099 * [taylor]: Taking taylor expansion of 0 in z 0.099 * [taylor]: Taking taylor expansion of 0 in z 0.100 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.100 * [approximate]: Taking taylor expansion of (+ (* x (pow y 2)) (+ t (* z y))) in (x y z t) around 0 0.100 * [taylor]: Taking taylor expansion of (+ (* x (pow y 2)) (+ t (* z y))) in t 0.100 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in t 0.100 * [taylor]: Taking taylor expansion of x in t 0.100 * [taylor]: Taking taylor expansion of (pow y 2) in t 0.100 * [taylor]: Taking taylor expansion of y in t 0.100 * [taylor]: Taking taylor expansion of (+ t (* z y)) in t 0.100 * [taylor]: Taking taylor expansion of t in t 0.100 * [taylor]: Taking taylor expansion of (* z y) in t 0.100 * [taylor]: Taking taylor expansion of z in t 0.100 * [taylor]: Taking taylor expansion of y in t 0.100 * [taylor]: Taking taylor expansion of (+ (* x (pow y 2)) (+ t (* z y))) in z 0.100 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in z 0.100 * [taylor]: Taking taylor expansion of x in z 0.100 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.100 * [taylor]: Taking taylor expansion of y in z 0.100 * [taylor]: Taking taylor expansion of (+ t (* z y)) in z 0.100 * [taylor]: Taking taylor expansion of t in z 0.100 * [taylor]: Taking taylor expansion of (* z y) in z 0.100 * [taylor]: Taking taylor expansion of z in z 0.100 * [taylor]: Taking taylor expansion of y in z 0.100 * [taylor]: Taking taylor expansion of (+ (* x (pow y 2)) (+ t (* z y))) in y 0.100 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 0.100 * [taylor]: Taking taylor expansion of x in y 0.100 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.100 * [taylor]: Taking taylor expansion of y in y 0.100 * [taylor]: Taking taylor expansion of (+ t (* z y)) in y 0.100 * [taylor]: Taking taylor expansion of t in y 0.100 * [taylor]: Taking taylor expansion of (* z y) in y 0.100 * [taylor]: Taking taylor expansion of z in y 0.100 * [taylor]: Taking taylor expansion of y in y 0.100 * [taylor]: Taking taylor expansion of (+ (* x (pow y 2)) (+ t (* z y))) in x 0.100 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 0.100 * [taylor]: Taking taylor expansion of x in x 0.100 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.100 * [taylor]: Taking taylor expansion of y in x 0.100 * [taylor]: Taking taylor expansion of (+ t (* z y)) in x 0.100 * [taylor]: Taking taylor expansion of t in x 0.101 * [taylor]: Taking taylor expansion of (* z y) in x 0.101 * [taylor]: Taking taylor expansion of z in x 0.101 * [taylor]: Taking taylor expansion of y in x 0.101 * [taylor]: Taking taylor expansion of (+ (* x (pow y 2)) (+ t (* z y))) in x 0.101 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 0.101 * [taylor]: Taking taylor expansion of x in x 0.101 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.101 * [taylor]: Taking taylor expansion of y in x 0.101 * [taylor]: Taking taylor expansion of (+ t (* z y)) in x 0.101 * [taylor]: Taking taylor expansion of t in x 0.101 * [taylor]: Taking taylor expansion of (* z y) in x 0.101 * [taylor]: Taking taylor expansion of z in x 0.101 * [taylor]: Taking taylor expansion of y in x 0.101 * [taylor]: Taking taylor expansion of (+ t (* z y)) in y 0.101 * [taylor]: Taking taylor expansion of t in y 0.101 * [taylor]: Taking taylor expansion of (* z y) in y 0.101 * [taylor]: Taking taylor expansion of z in y 0.101 * [taylor]: Taking taylor expansion of y in y 0.101 * [taylor]: Taking taylor expansion of t in z 0.101 * [taylor]: Taking taylor expansion of t in t 0.101 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.101 * [taylor]: Taking taylor expansion of y in y 0.101 * [taylor]: Taking taylor expansion of z in z 0.101 * [taylor]: Taking taylor expansion of 0 in t 0.102 * [taylor]: Taking taylor expansion of 0 in t 0.102 * [taylor]: Taking taylor expansion of 0 in y 0.102 * [taylor]: Taking taylor expansion of 0 in z 0.102 * [taylor]: Taking taylor expansion of 0 in t 0.102 * [taylor]: Taking taylor expansion of 0 in z 0.102 * [taylor]: Taking taylor expansion of 0 in t 0.102 * [taylor]: Taking taylor expansion of 1 in t 0.102 * [taylor]: Taking taylor expansion of 0 in t 0.102 * [taylor]: Taking taylor expansion of 0 in y 0.102 * [taylor]: Taking taylor expansion of 0 in z 0.102 * [taylor]: Taking taylor expansion of 0 in t 0.102 * [taylor]: Taking taylor expansion of 0 in z 0.102 * [taylor]: Taking taylor expansion of 0 in t 0.103 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 t) (/ 1 (* x (pow y 2))))) in (x y z t) around 0 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 t) (/ 1 (* x (pow y 2))))) in t 0.103 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t 0.103 * [taylor]: Taking taylor expansion of (* z y) in t 0.103 * [taylor]: Taking taylor expansion of z in t 0.103 * [taylor]: Taking taylor expansion of y in t 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* x (pow y 2)))) in t 0.103 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.103 * [taylor]: Taking taylor expansion of t in t 0.103 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in t 0.103 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in t 0.103 * [taylor]: Taking taylor expansion of x in t 0.103 * [taylor]: Taking taylor expansion of (pow y 2) in t 0.103 * [taylor]: Taking taylor expansion of y in t 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 t) (/ 1 (* x (pow y 2))))) in z 0.103 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.103 * [taylor]: Taking taylor expansion of (* z y) in z 0.103 * [taylor]: Taking taylor expansion of z in z 0.103 * [taylor]: Taking taylor expansion of y in z 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* x (pow y 2)))) in z 0.103 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.104 * [taylor]: Taking taylor expansion of t in z 0.104 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in z 0.104 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in z 0.104 * [taylor]: Taking taylor expansion of x in z 0.104 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.104 * [taylor]: Taking taylor expansion of y in z 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 t) (/ 1 (* x (pow y 2))))) in y 0.104 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.104 * [taylor]: Taking taylor expansion of (* z y) in y 0.104 * [taylor]: Taking taylor expansion of z in y 0.104 * [taylor]: Taking taylor expansion of y in y 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* x (pow y 2)))) in y 0.104 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.104 * [taylor]: Taking taylor expansion of t in y 0.104 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 0.104 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 0.104 * [taylor]: Taking taylor expansion of x in y 0.104 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.104 * [taylor]: Taking taylor expansion of y in y 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 t) (/ 1 (* x (pow y 2))))) in x 0.104 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.104 * [taylor]: Taking taylor expansion of (* z y) in x 0.104 * [taylor]: Taking taylor expansion of z in x 0.104 * [taylor]: Taking taylor expansion of y in x 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* x (pow y 2)))) in x 0.104 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.104 * [taylor]: Taking taylor expansion of t in x 0.104 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 0.104 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 0.104 * [taylor]: Taking taylor expansion of x in x 0.104 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.104 * [taylor]: Taking taylor expansion of y in x 0.105 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 t) (/ 1 (* x (pow y 2))))) in x 0.105 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.105 * [taylor]: Taking taylor expansion of (* z y) in x 0.105 * [taylor]: Taking taylor expansion of z in x 0.105 * [taylor]: Taking taylor expansion of y in x 0.105 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* x (pow y 2)))) in x 0.105 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.105 * [taylor]: Taking taylor expansion of t in x 0.105 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 0.105 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 0.105 * [taylor]: Taking taylor expansion of x in x 0.105 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.105 * [taylor]: Taking taylor expansion of y in x 0.105 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.105 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.105 * [taylor]: Taking taylor expansion of y in y 0.105 * [taylor]: Taking taylor expansion of 1 in z 0.106 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 t)) in y 0.106 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.106 * [taylor]: Taking taylor expansion of (* z y) in y 0.106 * [taylor]: Taking taylor expansion of z in y 0.106 * [taylor]: Taking taylor expansion of y in y 0.106 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.106 * [taylor]: Taking taylor expansion of t in y 0.106 * [taylor]: Taking taylor expansion of 0 in z 0.106 * [taylor]: Taking taylor expansion of 1 in t 0.107 * [taylor]: Taking taylor expansion of 0 in y 0.107 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.107 * [taylor]: Taking taylor expansion of z in z 0.107 * [taylor]: Taking taylor expansion of 1 in t 0.107 * [taylor]: Taking taylor expansion of 0 in z 0.107 * [taylor]: Taking taylor expansion of 0 in t 0.107 * [taylor]: Taking taylor expansion of 0 in t 0.108 * [taylor]: Taking taylor expansion of 0 in y 0.108 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.108 * [taylor]: Taking taylor expansion of t in z 0.108 * [taylor]: Taking taylor expansion of 0 in z 0.108 * [taylor]: Taking taylor expansion of 0 in t 0.108 * [taylor]: Taking taylor expansion of 0 in t 0.108 * [taylor]: Taking taylor expansion of 0 in t 0.108 * [taylor]: Taking taylor expansion of 0 in t 0.109 * [taylor]: Taking taylor expansion of 0 in y 0.109 * [taylor]: Taking taylor expansion of 0 in z 0.109 * [taylor]: Taking taylor expansion of 0 in z 0.109 * [taylor]: Taking taylor expansion of 0 in z 0.109 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.109 * [taylor]: Taking taylor expansion of t in t 0.110 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 t) (/ 1 (* x (pow y 2))))) in (x y z t) around 0 0.110 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 t) (/ 1 (* x (pow y 2))))) in t 0.110 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t 0.110 * [taylor]: Taking taylor expansion of (* z y) in t 0.110 * [taylor]: Taking taylor expansion of z in t 0.110 * [taylor]: Taking taylor expansion of y in t 0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* x (pow y 2)))) in t 0.110 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.110 * [taylor]: Taking taylor expansion of t in t 0.110 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in t 0.110 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in t 0.110 * [taylor]: Taking taylor expansion of x in t 0.110 * [taylor]: Taking taylor expansion of (pow y 2) in t 0.110 * [taylor]: Taking taylor expansion of y in t 0.110 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 t) (/ 1 (* x (pow y 2))))) in z 0.110 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.110 * [taylor]: Taking taylor expansion of (* z y) in z 0.110 * [taylor]: Taking taylor expansion of z in z 0.110 * [taylor]: Taking taylor expansion of y in z 0.111 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* x (pow y 2)))) in z 0.111 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.111 * [taylor]: Taking taylor expansion of t in z 0.111 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in z 0.111 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in z 0.111 * [taylor]: Taking taylor expansion of x in z 0.111 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.111 * [taylor]: Taking taylor expansion of y in z 0.111 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 t) (/ 1 (* x (pow y 2))))) in y 0.111 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.111 * [taylor]: Taking taylor expansion of (* z y) in y 0.111 * [taylor]: Taking taylor expansion of z in y 0.111 * [taylor]: Taking taylor expansion of y in y 0.111 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* x (pow y 2)))) in y 0.111 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.111 * [taylor]: Taking taylor expansion of t in y 0.111 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 0.111 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 0.111 * [taylor]: Taking taylor expansion of x in y 0.111 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.111 * [taylor]: Taking taylor expansion of y in y 0.111 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 t) (/ 1 (* x (pow y 2))))) in x 0.111 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.111 * [taylor]: Taking taylor expansion of (* z y) in x 0.111 * [taylor]: Taking taylor expansion of z in x 0.111 * [taylor]: Taking taylor expansion of y in x 0.111 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* x (pow y 2)))) in x 0.111 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.111 * [taylor]: Taking taylor expansion of t in x 0.111 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 0.111 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 0.111 * [taylor]: Taking taylor expansion of x in x 0.111 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.112 * [taylor]: Taking taylor expansion of y in x 0.112 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 t) (/ 1 (* x (pow y 2))))) in x 0.112 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.112 * [taylor]: Taking taylor expansion of (* z y) in x 0.112 * [taylor]: Taking taylor expansion of z in x 0.112 * [taylor]: Taking taylor expansion of y in x 0.112 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* x (pow y 2)))) in x 0.112 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.112 * [taylor]: Taking taylor expansion of t in x 0.112 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 0.112 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 0.112 * [taylor]: Taking taylor expansion of x in x 0.112 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.112 * [taylor]: Taking taylor expansion of y in x 0.113 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow y 2))) in y 0.113 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.113 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.113 * [taylor]: Taking taylor expansion of y in y 0.113 * [taylor]: Taking taylor expansion of (neg 1) in z 0.113 * [taylor]: Taking taylor expansion of 1 in z 0.113 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 t)) in y 0.113 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.113 * [taylor]: Taking taylor expansion of (* z y) in y 0.113 * [taylor]: Taking taylor expansion of z in y 0.113 * [taylor]: Taking taylor expansion of y in y 0.113 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.113 * [taylor]: Taking taylor expansion of t in y 0.113 * [taylor]: Taking taylor expansion of 0 in z 0.113 * [taylor]: Taking taylor expansion of (neg 1) in t 0.113 * [taylor]: Taking taylor expansion of 1 in t 0.114 * [taylor]: Taking taylor expansion of 0 in y 0.114 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.114 * [taylor]: Taking taylor expansion of z in z 0.114 * [taylor]: Taking taylor expansion of 1 in t 0.114 * [taylor]: Taking taylor expansion of 0 in z 0.114 * [taylor]: Taking taylor expansion of 0 in t 0.114 * [taylor]: Taking taylor expansion of 0 in t 0.115 * [taylor]: Taking taylor expansion of 0 in y 0.115 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in z 0.115 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.115 * [taylor]: Taking taylor expansion of t in z 0.115 * [taylor]: Taking taylor expansion of 0 in z 0.115 * [taylor]: Taking taylor expansion of 0 in t 0.115 * [taylor]: Taking taylor expansion of 0 in t 0.115 * [taylor]: Taking taylor expansion of 0 in t 0.115 * [taylor]: Taking taylor expansion of 0 in t 0.116 * [taylor]: Taking taylor expansion of 0 in y 0.116 * [taylor]: Taking taylor expansion of 0 in z 0.116 * [taylor]: Taking taylor expansion of 0 in z 0.117 * [taylor]: Taking taylor expansion of 0 in z 0.117 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t 0.117 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.117 * [taylor]: Taking taylor expansion of t in t 0.117 * * * [progress]: simplifying candidates 0.118 * [simplify]: Simplifying using # : (* (+ (* x y) z) y) (+ (log (+ (* x y) z)) (log y)) (log (* (+ (* x y) z) y)) (exp (* (+ (* x y) z) y)) (* (* (* (+ (* x y) z) (+ (* x y) z)) (+ (* x y) z)) (* (* y y) y)) (* (cbrt (* (+ (* x y) z) y)) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y)) (* (* (* (+ (* x y) z) y) (* (+ (* x y) z) y)) (* (+ (* x y) z) y)) (sqrt (* (+ (* x y) z) y)) (sqrt (* (+ (* x y) z) y)) (* (sqrt (+ (* x y) z)) (sqrt y)) (* (sqrt (+ (* x y) z)) (sqrt y)) (* (+ (* x y) z) (* (cbrt y) (cbrt y))) (* (+ (* x y) z) (sqrt y)) (* (+ (* x y) z) 1) (* (cbrt (+ (* x y) z)) y) (* (sqrt (+ (* x y) z)) y) (* (+ (* x y) z) y) (* (+ (pow (* x y) 3) (pow z 3)) y) (* (- (* (* x y) (* x y)) (* z z)) y) (* (exp (* x y)) (exp z)) (log (+ (* x y) z)) (exp (+ (* x y) z)) (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (cbrt (+ (* x y) z)) (* (* (+ (* x y) z) (+ (* x y) z)) (+ (* x y) z)) (sqrt (+ (* x y) z)) (sqrt (+ (* x y) z)) (+ (pow (* x y) 3) (pow z 3)) (+ (* (* x y) (* x y)) (- (* z z) (* (* x y) z))) (- (* (* x y) (* x y)) (* z z)) (- (* x y) z) (* (exp (* (+ (* x y) z) y)) (exp t)) (log (+ (* (+ (* x y) z) y) t)) (exp (+ (* (+ (* x y) z) y) t)) (* (cbrt (+ (* (+ (* x y) z) y) t)) (cbrt (+ (* (+ (* x y) z) y) t))) (cbrt (+ (* (+ (* x y) z) y) t)) (* (* (+ (* (+ (* x y) z) y) t) (+ (* (+ (* x y) z) y) t)) (+ (* (+ (* x y) z) y) t)) (sqrt (+ (* (+ (* x y) z) y) t)) (sqrt (+ (* (+ (* x y) z) y) t)) (+ (pow (* (+ (* x y) z) y) 3) (pow t 3)) (+ (* (* (+ (* x y) z) y) (* (+ (* x y) z) y)) (- (* t t) (* (* (+ (* x y) z) y) t))) (- (* (* (+ (* x y) z) y) (* (+ (* x y) z) y)) (* t t)) (- (* (+ (* x y) z) y) t) (+ (* x (pow y 2)) (* z y)) (+ (* x (pow y 2)) (* z y)) (+ (* x (pow y 2)) (* z y)) (+ (* x y) z) (+ (* x y) z) (+ (* x y) z) (+ t (* z y)) (+ (* x (pow y 2)) (+ t (* z y))) (+ (* x (pow y 2)) (+ t (* z y))) 0.120 * * [simplify]: iteration 0 : 78 enodes (cost 569 ) 0.132 * * [simplify]: iteration 1 : 211 enodes (cost 547 ) 0.177 * * [simplify]: iteration 2 : 683 enodes (cost 497 ) 0.399 * * [simplify]: iteration 3 : 2485 enodes (cost 486 ) 1.118 * * [simplify]: iteration done : 5000 enodes (cost 486 ) 1.119 * [simplify]: Simplified to: (* (+ (* x y) z) y) (log (* y (+ (* x y) z))) (log (* y (+ (* x y) z))) (exp (* (+ (* x y) z) y)) (pow (* (+ (* x y) z) y) 3) (* (cbrt (* (+ (* x y) z) y)) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y)) (pow (* (+ (* x y) z) y) 3) (sqrt (* (+ (* x y) z) y)) (sqrt (* (+ (* x y) z) y)) (* (sqrt (+ (* x y) z)) (sqrt y)) (* (sqrt (+ (* x y) z)) (sqrt y)) (* (+ (* x y) z) (* (cbrt y) (cbrt y))) (* (+ (* x y) z) (sqrt y)) (+ z (* y x)) (* (cbrt (+ (* x y) z)) y) (* (sqrt (+ (* x y) z)) y) (* (+ (* x y) z) y) (* (+ (pow (* x y) 3) (pow z 3)) y) (* (- (* (* x y) (* x y)) (* z z)) y) (exp (+ (* x y) z)) (log (+ (* x y) z)) (exp (+ (* x y) z)) (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (cbrt (+ (* x y) z)) (pow (+ (* x y) z) 3) (sqrt (+ (* x y) z)) (sqrt (+ (* x y) z)) (+ (pow (* x y) 3) (pow z 3)) (+ (* (* y x) (- (* y x) z)) (* z z)) (- (* (* x y) (* x y)) (* z z)) (- (* x y) z) (exp (+ (* (+ (* x y) z) y) t)) (log (+ (* (+ (* x y) z) y) t)) (exp (+ (* (+ (* x y) z) y) t)) (* (cbrt (+ (* (+ (* x y) z) y) t)) (cbrt (+ (* (+ (* x y) z) y) t))) (cbrt (+ (* (+ (* x y) z) y) t)) (pow (+ (* (+ (* x y) z) y) t) 3) (sqrt (+ (* (+ (* x y) z) y) t)) (sqrt (+ (* (+ (* x y) z) y) t)) (+ (pow (* (+ (* x y) z) y) 3) (pow t 3)) (- (* t t) (* (* y (+ (* x y) z)) (- t (* (+ (* x y) z) y)))) (- (* (* (+ (* x y) z) y) (* (+ (* x y) z) y)) (* t t)) (- (* (+ (* x y) z) y) t) (* (+ (* x y) z) y) (* (+ (* x y) z) y) (* (+ (* x y) z) y) (+ z (* y x)) (+ z (* y x)) (+ z (* y x)) (+ t (* z y)) (+ (* (+ (* x y) z) y) t) (+ (* (+ (* x y) z) y) t) 1.119 * * * [progress]: adding candidates to table 1.177 * * [progress]: iteration 2 / 4 1.178 * * * [progress]: picking best candidate 1.196 * * * * [pick]: Picked # 1.196 * * * [progress]: localizing error 1.207 * * * [progress]: generating rewritten candidates 1.207 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.208 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 1.210 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1) 1.211 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 1.219 * * * [progress]: generating series expansions 1.219 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.219 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 1.219 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.219 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.219 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.219 * [taylor]: Taking taylor expansion of 1/3 in y 1.219 * [taylor]: Taking taylor expansion of (log y) in y 1.219 * [taylor]: Taking taylor expansion of y in y 1.220 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.220 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.220 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.220 * [taylor]: Taking taylor expansion of 1/3 in y 1.220 * [taylor]: Taking taylor expansion of (log y) in y 1.220 * [taylor]: Taking taylor expansion of y in y 1.233 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 1.233 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.233 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.233 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.233 * [taylor]: Taking taylor expansion of 1/3 in y 1.233 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.233 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.233 * [taylor]: Taking taylor expansion of y in y 1.233 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.233 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.233 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.233 * [taylor]: Taking taylor expansion of 1/3 in y 1.233 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.233 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.233 * [taylor]: Taking taylor expansion of y in y 1.241 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 1.241 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 1.241 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.241 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.241 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.241 * [taylor]: Taking taylor expansion of 1/3 in y 1.241 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.241 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.241 * [taylor]: Taking taylor expansion of y in y 1.241 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.241 * [taylor]: Taking taylor expansion of -1 in y 1.241 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 1.241 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.241 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.241 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.241 * [taylor]: Taking taylor expansion of 1/3 in y 1.241 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.241 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.241 * [taylor]: Taking taylor expansion of y in y 1.241 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.241 * [taylor]: Taking taylor expansion of -1 in y 1.250 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 1.250 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 1.250 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.250 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.250 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.250 * [taylor]: Taking taylor expansion of 1/3 in y 1.251 * [taylor]: Taking taylor expansion of (log y) in y 1.251 * [taylor]: Taking taylor expansion of y in y 1.251 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.251 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.251 * [taylor]: Taking taylor expansion of 1/3 in y 1.251 * [taylor]: Taking taylor expansion of (log y) in y 1.251 * [taylor]: Taking taylor expansion of y in y 1.258 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 1.258 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.258 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.258 * [taylor]: Taking taylor expansion of 1/3 in y 1.258 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.258 * [taylor]: Taking taylor expansion of y in y 1.258 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.258 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.258 * [taylor]: Taking taylor expansion of 1/3 in y 1.258 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.258 * [taylor]: Taking taylor expansion of y in y 1.265 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 1.265 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 1.265 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.266 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.266 * [taylor]: Taking taylor expansion of 1/3 in y 1.266 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.266 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.266 * [taylor]: Taking taylor expansion of y in y 1.266 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.266 * [taylor]: Taking taylor expansion of -1 in y 1.266 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 1.266 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.266 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.266 * [taylor]: Taking taylor expansion of 1/3 in y 1.266 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.266 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.266 * [taylor]: Taking taylor expansion of y in y 1.266 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.266 * [taylor]: Taking taylor expansion of -1 in y 1.275 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1) 1.275 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 1.275 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.275 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.275 * [taylor]: Taking taylor expansion of 1/3 in y 1.275 * [taylor]: Taking taylor expansion of (log y) in y 1.275 * [taylor]: Taking taylor expansion of y in y 1.275 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.275 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.275 * [taylor]: Taking taylor expansion of 1/3 in y 1.275 * [taylor]: Taking taylor expansion of (log y) in y 1.275 * [taylor]: Taking taylor expansion of y in y 1.282 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 1.282 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.282 * [taylor]: Taking taylor expansion of 1/3 in y 1.282 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.282 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.282 * [taylor]: Taking taylor expansion of y in y 1.283 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.283 * [taylor]: Taking taylor expansion of 1/3 in y 1.283 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.283 * [taylor]: Taking taylor expansion of y in y 1.290 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 1.290 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 1.290 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.290 * [taylor]: Taking taylor expansion of 1/3 in y 1.290 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.290 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.290 * [taylor]: Taking taylor expansion of y in y 1.290 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.290 * [taylor]: Taking taylor expansion of -1 in y 1.290 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 1.291 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.291 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.291 * [taylor]: Taking taylor expansion of 1/3 in y 1.291 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.291 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.291 * [taylor]: Taking taylor expansion of y in y 1.291 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.291 * [taylor]: Taking taylor expansion of -1 in y 1.300 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 1.300 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/3) in (y) around 0 1.300 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 1.300 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 1.300 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 1.300 * [taylor]: Taking taylor expansion of 1/3 in y 1.300 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 1.300 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.300 * [taylor]: Taking taylor expansion of y in y 1.300 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 1.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 1.301 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 1.301 * [taylor]: Taking taylor expansion of 1/3 in y 1.301 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 1.301 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.301 * [taylor]: Taking taylor expansion of y in y 1.308 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in (y) around 0 1.308 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 1.308 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 1.308 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 1.308 * [taylor]: Taking taylor expansion of 1/3 in y 1.308 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 1.309 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.309 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.309 * [taylor]: Taking taylor expansion of y in y 1.309 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 1.309 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 1.309 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 1.309 * [taylor]: Taking taylor expansion of 1/3 in y 1.309 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 1.309 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.309 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.309 * [taylor]: Taking taylor expansion of y in y 1.317 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in (y) around 0 1.317 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y 1.317 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 1.317 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.317 * [taylor]: Taking taylor expansion of -1 in y 1.317 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 1.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 1.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 1.317 * [taylor]: Taking taylor expansion of 1/3 in y 1.317 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 1.317 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.317 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.317 * [taylor]: Taking taylor expansion of y in y 1.317 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y 1.317 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 1.317 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.317 * [taylor]: Taking taylor expansion of -1 in y 1.318 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 1.318 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 1.318 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 1.318 * [taylor]: Taking taylor expansion of 1/3 in y 1.318 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 1.318 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.318 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.318 * [taylor]: Taking taylor expansion of y in y 1.335 * * * [progress]: simplifying candidates 1.336 * [simplify]: Simplifying using # : (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)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (exp (* 1/3 (+ (* 2 (log y)) (log 1)))) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 y)))))) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 y))))))) 1.339 * * [simplify]: iteration 0 : 76 enodes (cost 590 ) 1.349 * * [simplify]: iteration 1 : 151 enodes (cost 526 ) 1.371 * * [simplify]: iteration 2 : 449 enodes (cost 466 ) 1.473 * * [simplify]: iteration 3 : 1166 enodes (cost 417 ) 1.667 * * [simplify]: iteration 4 : 2502 enodes (cost 378 ) 2.115 * * [simplify]: iteration done : 5000 enodes (cost 378 ) 2.116 * [simplify]: Simplified to: (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (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 (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (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 (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (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) (pow y 2/3) 2 (log (pow y 2/3)) (log (pow y 2/3)) (exp (pow y 2/3)) (* y y) (* (cbrt (pow y 2/3)) (cbrt (pow y 2/3))) (cbrt (pow y 2/3)) (* y y) (fabs (cbrt y)) (fabs (cbrt y)) (* (cbrt (pow y 2/3)) (cbrt (pow y 2/3))) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) 1 (pow y 2/3) (pow (cbrt (cbrt y)) 4) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt y) (cbrt y) 1 (pow y 2/3) (* (cbrt (sqrt 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 y) (cbrt y) 2/3 2 (* (cbrt y) (cbrt (pow y 2/3))) (* (cbrt (sqrt y)) (cbrt y)) (cbrt y) (* (cbrt (cbrt y)) (pow (cbrt (cbrt y)) 4)) (pow (sqrt (cbrt y)) 3) (cbrt y) (pow (cbrt (cbrt y)) 4) (* (cbrt (sqrt y)) (cbrt y)) (pow y 2/3) (pow (cbrt (cbrt y)) 4) (pow (sqrt (cbrt y)) 3) (pow y 2/3) (cbrt y) (cbrt y) (* (cbrt -1) (cbrt (/ 1 (/ -1 y)))) (cbrt y) (cbrt y) (* (cbrt -1) (cbrt (/ 1 (/ -1 y)))) (cbrt y) (cbrt y) (* (cbrt -1) (cbrt (/ 1 (/ -1 y)))) (pow y 2/3) (pow y 2/3) (* (pow (/ -1 y) -2/3) (pow (cbrt -1) 2)) 2.116 * * * [progress]: adding candidates to table 2.199 * * [progress]: iteration 3 / 4 2.199 * * * [progress]: picking best candidate 2.216 * * * * [pick]: Picked # 2.216 * * * [progress]: localizing error 2.231 * * * [progress]: generating rewritten candidates 2.231 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2) 2.233 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2) 2.235 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1) 2.237 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1) 2.239 * * * [progress]: generating series expansions 2.240 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2) 2.240 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 2.240 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 2.240 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 2.240 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 2.240 * [taylor]: Taking taylor expansion of 1/9 in y 2.240 * [taylor]: Taking taylor expansion of (log y) in y 2.240 * [taylor]: Taking taylor expansion of y in y 2.240 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 2.240 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 2.240 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 2.240 * [taylor]: Taking taylor expansion of 1/9 in y 2.240 * [taylor]: Taking taylor expansion of (log y) in y 2.240 * [taylor]: Taking taylor expansion of y in y 2.247 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 2.247 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 2.247 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 2.247 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 2.247 * [taylor]: Taking taylor expansion of 1/9 in y 2.247 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.247 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.247 * [taylor]: Taking taylor expansion of y in y 2.247 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 2.247 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 2.247 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 2.247 * [taylor]: Taking taylor expansion of 1/9 in y 2.247 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.247 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.247 * [taylor]: Taking taylor expansion of y in y 2.255 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 2.255 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 2.255 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 2.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 2.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 2.255 * [taylor]: Taking taylor expansion of 1/3 in y 2.255 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 2.255 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.255 * [taylor]: Taking taylor expansion of -1 in y 2.255 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 2.255 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 2.256 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 2.256 * [taylor]: Taking taylor expansion of 1/9 in y 2.256 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.256 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.256 * [taylor]: Taking taylor expansion of y in y 2.256 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 2.256 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 2.256 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 2.256 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 2.256 * [taylor]: Taking taylor expansion of 1/3 in y 2.256 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 2.256 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.256 * [taylor]: Taking taylor expansion of -1 in y 2.256 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 2.256 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 2.256 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 2.256 * [taylor]: Taking taylor expansion of 1/9 in y 2.256 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.256 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.256 * [taylor]: Taking taylor expansion of y in y 2.274 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2) 2.274 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 2.274 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 2.274 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 2.274 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 2.274 * [taylor]: Taking taylor expansion of 1/9 in y 2.274 * [taylor]: Taking taylor expansion of (log y) in y 2.274 * [taylor]: Taking taylor expansion of y in y 2.275 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 2.275 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 2.275 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 2.275 * [taylor]: Taking taylor expansion of 1/9 in y 2.275 * [taylor]: Taking taylor expansion of (log y) in y 2.275 * [taylor]: Taking taylor expansion of y in y 2.281 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 2.282 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 2.282 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 2.282 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 2.282 * [taylor]: Taking taylor expansion of 1/9 in y 2.282 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.282 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.282 * [taylor]: Taking taylor expansion of y in y 2.282 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 2.282 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 2.282 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 2.282 * [taylor]: Taking taylor expansion of 1/9 in y 2.282 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.282 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.282 * [taylor]: Taking taylor expansion of y in y 2.289 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 2.290 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 2.290 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 2.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 2.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 2.290 * [taylor]: Taking taylor expansion of 1/3 in y 2.290 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 2.290 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.290 * [taylor]: Taking taylor expansion of -1 in y 2.290 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 2.290 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 2.290 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 2.290 * [taylor]: Taking taylor expansion of 1/9 in y 2.290 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.290 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.290 * [taylor]: Taking taylor expansion of y in y 2.290 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 2.290 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 2.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 2.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 2.290 * [taylor]: Taking taylor expansion of 1/3 in y 2.290 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 2.290 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.290 * [taylor]: Taking taylor expansion of -1 in y 2.291 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 2.291 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 2.291 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 2.291 * [taylor]: Taking taylor expansion of 1/9 in y 2.291 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.291 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.291 * [taylor]: Taking taylor expansion of y in y 2.315 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1) 2.315 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 2.315 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 2.315 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 2.315 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 2.315 * [taylor]: Taking taylor expansion of 1/9 in y 2.315 * [taylor]: Taking taylor expansion of (log y) in y 2.315 * [taylor]: Taking taylor expansion of y in y 2.315 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 2.315 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 2.316 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 2.316 * [taylor]: Taking taylor expansion of 1/9 in y 2.316 * [taylor]: Taking taylor expansion of (log y) in y 2.316 * [taylor]: Taking taylor expansion of y in y 2.322 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 2.322 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 2.322 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 2.322 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 2.322 * [taylor]: Taking taylor expansion of 1/9 in y 2.322 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.322 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.322 * [taylor]: Taking taylor expansion of y in y 2.323 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 2.323 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 2.323 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 2.323 * [taylor]: Taking taylor expansion of 1/9 in y 2.323 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.323 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.323 * [taylor]: Taking taylor expansion of y in y 2.330 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 2.330 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 2.330 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 2.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 2.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 2.330 * [taylor]: Taking taylor expansion of 1/3 in y 2.330 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 2.330 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.330 * [taylor]: Taking taylor expansion of -1 in y 2.330 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 2.330 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 2.330 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 2.330 * [taylor]: Taking taylor expansion of 1/9 in y 2.330 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.330 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.330 * [taylor]: Taking taylor expansion of y in y 2.331 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 2.331 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 2.331 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 2.331 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 2.331 * [taylor]: Taking taylor expansion of 1/3 in y 2.331 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 2.331 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.331 * [taylor]: Taking taylor expansion of -1 in y 2.331 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 2.331 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 2.331 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 2.331 * [taylor]: Taking taylor expansion of 1/9 in y 2.331 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.331 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.331 * [taylor]: Taking taylor expansion of y in y 2.349 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1) 2.349 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 2.349 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.349 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.349 * [taylor]: Taking taylor expansion of 1/3 in y 2.349 * [taylor]: Taking taylor expansion of (log y) in y 2.349 * [taylor]: Taking taylor expansion of y in y 2.349 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.349 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.349 * [taylor]: Taking taylor expansion of 1/3 in y 2.349 * [taylor]: Taking taylor expansion of (log y) in y 2.349 * [taylor]: Taking taylor expansion of y in y 2.356 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 2.356 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.356 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.356 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.356 * [taylor]: Taking taylor expansion of 1/3 in y 2.356 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.356 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.356 * [taylor]: Taking taylor expansion of y in y 2.356 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.356 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.356 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.356 * [taylor]: Taking taylor expansion of 1/3 in y 2.356 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.356 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.356 * [taylor]: Taking taylor expansion of y in y 2.364 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 2.364 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 2.364 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.364 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.364 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.364 * [taylor]: Taking taylor expansion of 1/3 in y 2.364 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.364 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.364 * [taylor]: Taking taylor expansion of y in y 2.364 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.364 * [taylor]: Taking taylor expansion of -1 in y 2.364 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 2.365 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.365 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.365 * [taylor]: Taking taylor expansion of 1/3 in y 2.365 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.365 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.365 * [taylor]: Taking taylor expansion of y in y 2.365 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.365 * [taylor]: Taking taylor expansion of -1 in y 2.374 * * * [progress]: simplifying candidates 2.375 * [simplify]: Simplifying using # : (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (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)) (exp (* 1/9 (+ (log y) (log 1)))) (exp (* 1/9 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/9 (- (log 1) (log (/ -1 y))))) (pow (cbrt -1) 1/3)) (exp (* 1/9 (+ (log y) (log 1)))) (exp (* 1/9 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/9 (- (log 1) (log (/ -1 y))))) (pow (cbrt -1) 1/3)) (exp (* 1/9 (+ (log y) (log 1)))) (exp (* 1/9 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/9 (- (log 1) (log (/ -1 y))))) (pow (cbrt -1) 1/3)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) 2.376 * * [simplify]: iteration 0 : 53 enodes (cost 449 ) 2.382 * * [simplify]: iteration 1 : 100 enodes (cost 423 ) 2.401 * * [simplify]: iteration 2 : 184 enodes (cost 374 ) 2.421 * * [simplify]: iteration 3 : 367 enodes (cost 343 ) 2.474 * * [simplify]: iteration 4 : 860 enodes (cost 339 ) 2.675 * * [simplify]: iteration 5 : 2977 enodes (cost 323 ) 3.356 * * [simplify]: iteration done : 5000 enodes (cost 323 ) 3.356 * [simplify]: Simplified to: (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) 1 (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) 1 (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) 1 (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (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)) (pow y 1/9) (pow y 1/9) (* (pow (* -1 y) 1/9) (cbrt (cbrt -1))) (pow y 1/9) (pow y 1/9) (* (pow (* -1 y) 1/9) (cbrt (cbrt -1))) (pow y 1/9) (pow y 1/9) (* (pow (* -1 y) 1/9) (cbrt (cbrt -1))) (cbrt y) (cbrt y) (* (cbrt -1) (cbrt (* -1 y))) 3.356 * * * [progress]: adding candidates to table 3.430 * * [progress]: iteration 4 / 4 3.430 * * * [progress]: picking best candidate 3.441 * * * * [pick]: Picked # 3.441 * * * [progress]: localizing error 3.451 * * * [progress]: generating rewritten candidates 3.451 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 3.457 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 3.463 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 3.479 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 3.487 * * * [progress]: generating series expansions 3.487 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 3.487 * [approximate]: Taking taylor expansion of (+ (* x y) z) in (x y z) around 0 3.487 * [taylor]: Taking taylor expansion of (+ (* x y) z) in z 3.487 * [taylor]: Taking taylor expansion of (* x y) in z 3.487 * [taylor]: Taking taylor expansion of x in z 3.487 * [taylor]: Taking taylor expansion of y in z 3.487 * [taylor]: Taking taylor expansion of z in z 3.487 * [taylor]: Taking taylor expansion of (+ (* x y) z) in y 3.487 * [taylor]: Taking taylor expansion of (* x y) in y 3.487 * [taylor]: Taking taylor expansion of x in y 3.487 * [taylor]: Taking taylor expansion of y in y 3.487 * [taylor]: Taking taylor expansion of z in y 3.487 * [taylor]: Taking taylor expansion of (+ (* x y) z) in x 3.487 * [taylor]: Taking taylor expansion of (* x y) in x 3.487 * [taylor]: Taking taylor expansion of x in x 3.487 * [taylor]: Taking taylor expansion of y in x 3.487 * [taylor]: Taking taylor expansion of z in x 3.487 * [taylor]: Taking taylor expansion of (+ (* x y) z) in x 3.487 * [taylor]: Taking taylor expansion of (* x y) in x 3.487 * [taylor]: Taking taylor expansion of x in x 3.487 * [taylor]: Taking taylor expansion of y in x 3.487 * [taylor]: Taking taylor expansion of z in x 3.487 * [taylor]: Taking taylor expansion of z in y 3.487 * [taylor]: Taking taylor expansion of z in z 3.487 * [taylor]: Taking taylor expansion of y in y 3.487 * [taylor]: Taking taylor expansion of 0 in z 3.487 * [taylor]: Taking taylor expansion of 0 in z 3.487 * [taylor]: Taking taylor expansion of 0 in y 3.488 * [taylor]: Taking taylor expansion of 0 in z 3.488 * [taylor]: Taking taylor expansion of 1 in z 3.488 * [taylor]: Taking taylor expansion of 0 in z 3.488 * [taylor]: Taking taylor expansion of 0 in y 3.488 * [taylor]: Taking taylor expansion of 0 in z 3.488 * [taylor]: Taking taylor expansion of 0 in z 3.488 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in (x y z) around 0 3.488 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in z 3.488 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.488 * [taylor]: Taking taylor expansion of z in z 3.488 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 3.488 * [taylor]: Taking taylor expansion of (* x y) in z 3.488 * [taylor]: Taking taylor expansion of x in z 3.488 * [taylor]: Taking taylor expansion of y in z 3.488 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in y 3.488 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.488 * [taylor]: Taking taylor expansion of z in y 3.488 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.488 * [taylor]: Taking taylor expansion of (* x y) in y 3.488 * [taylor]: Taking taylor expansion of x in y 3.488 * [taylor]: Taking taylor expansion of y in y 3.488 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x 3.488 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.488 * [taylor]: Taking taylor expansion of z in x 3.489 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.489 * [taylor]: Taking taylor expansion of (* x y) in x 3.489 * [taylor]: Taking taylor expansion of x in x 3.489 * [taylor]: Taking taylor expansion of y in x 3.489 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x 3.489 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.489 * [taylor]: Taking taylor expansion of z in x 3.489 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.489 * [taylor]: Taking taylor expansion of (* x y) in x 3.489 * [taylor]: Taking taylor expansion of x in x 3.489 * [taylor]: Taking taylor expansion of y in x 3.489 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.489 * [taylor]: Taking taylor expansion of y in y 3.489 * [taylor]: Taking taylor expansion of 1 in z 3.489 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.489 * [taylor]: Taking taylor expansion of z in y 3.489 * [taylor]: Taking taylor expansion of 0 in z 3.489 * [taylor]: Taking taylor expansion of 0 in y 3.489 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.489 * [taylor]: Taking taylor expansion of z in z 3.490 * [taylor]: Taking taylor expansion of 0 in z 3.490 * [taylor]: Taking taylor expansion of 0 in y 3.490 * [taylor]: Taking taylor expansion of 0 in z 3.490 * [taylor]: Taking taylor expansion of 0 in z 3.490 * [taylor]: Taking taylor expansion of 0 in z 3.490 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in (x y z) around 0 3.490 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in z 3.490 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 3.490 * [taylor]: Taking taylor expansion of (* x y) in z 3.490 * [taylor]: Taking taylor expansion of x in z 3.490 * [taylor]: Taking taylor expansion of y in z 3.491 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.491 * [taylor]: Taking taylor expansion of z in z 3.491 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in y 3.491 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.491 * [taylor]: Taking taylor expansion of (* x y) in y 3.491 * [taylor]: Taking taylor expansion of x in y 3.491 * [taylor]: Taking taylor expansion of y in y 3.491 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.491 * [taylor]: Taking taylor expansion of z in y 3.491 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in x 3.491 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.491 * [taylor]: Taking taylor expansion of (* x y) in x 3.491 * [taylor]: Taking taylor expansion of x in x 3.491 * [taylor]: Taking taylor expansion of y in x 3.491 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.491 * [taylor]: Taking taylor expansion of z in x 3.491 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in x 3.491 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.491 * [taylor]: Taking taylor expansion of (* x y) in x 3.491 * [taylor]: Taking taylor expansion of x in x 3.491 * [taylor]: Taking taylor expansion of y in x 3.491 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.491 * [taylor]: Taking taylor expansion of z in x 3.491 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.491 * [taylor]: Taking taylor expansion of y in y 3.491 * [taylor]: Taking taylor expansion of 1 in z 3.491 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y 3.492 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.492 * [taylor]: Taking taylor expansion of z in y 3.492 * [taylor]: Taking taylor expansion of 0 in z 3.492 * [taylor]: Taking taylor expansion of 0 in y 3.492 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.492 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.492 * [taylor]: Taking taylor expansion of z in z 3.492 * [taylor]: Taking taylor expansion of 0 in z 3.492 * [taylor]: Taking taylor expansion of 0 in y 3.492 * [taylor]: Taking taylor expansion of 0 in z 3.492 * [taylor]: Taking taylor expansion of 0 in z 3.492 * [taylor]: Taking taylor expansion of 0 in z 3.493 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 3.493 * [approximate]: Taking taylor expansion of (pow (+ (* x y) z) 3) in (x y z) around 0 3.493 * [taylor]: Taking taylor expansion of (pow (+ (* x y) z) 3) in z 3.493 * [taylor]: Taking taylor expansion of (+ (* x y) z) in z 3.493 * [taylor]: Taking taylor expansion of (* x y) in z 3.493 * [taylor]: Taking taylor expansion of x in z 3.493 * [taylor]: Taking taylor expansion of y in z 3.493 * [taylor]: Taking taylor expansion of z in z 3.493 * [taylor]: Taking taylor expansion of (pow (+ (* x y) z) 3) in y 3.493 * [taylor]: Taking taylor expansion of (+ (* x y) z) in y 3.493 * [taylor]: Taking taylor expansion of (* x y) in y 3.493 * [taylor]: Taking taylor expansion of x in y 3.493 * [taylor]: Taking taylor expansion of y in y 3.493 * [taylor]: Taking taylor expansion of z in y 3.493 * [taylor]: Taking taylor expansion of (pow (+ (* x y) z) 3) in x 3.493 * [taylor]: Taking taylor expansion of (+ (* x y) z) in x 3.493 * [taylor]: Taking taylor expansion of (* x y) in x 3.493 * [taylor]: Taking taylor expansion of x in x 3.493 * [taylor]: Taking taylor expansion of y in x 3.493 * [taylor]: Taking taylor expansion of z in x 3.493 * [taylor]: Taking taylor expansion of (pow (+ (* x y) z) 3) in x 3.493 * [taylor]: Taking taylor expansion of (+ (* x y) z) in x 3.493 * [taylor]: Taking taylor expansion of (* x y) in x 3.493 * [taylor]: Taking taylor expansion of x in x 3.493 * [taylor]: Taking taylor expansion of y in x 3.493 * [taylor]: Taking taylor expansion of z in x 3.494 * [taylor]: Taking taylor expansion of (pow z 3) in y 3.494 * [taylor]: Taking taylor expansion of z in y 3.494 * [taylor]: Taking taylor expansion of (pow z 3) in z 3.494 * [taylor]: Taking taylor expansion of z in z 3.494 * [taylor]: Taking taylor expansion of (* 3 (* (pow z 2) y)) in y 3.494 * [taylor]: Taking taylor expansion of 3 in y 3.494 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 3.494 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.494 * [taylor]: Taking taylor expansion of z in y 3.494 * [taylor]: Taking taylor expansion of y in y 3.494 * [taylor]: Taking taylor expansion of 0 in z 3.494 * [taylor]: Taking taylor expansion of 0 in z 3.495 * [taylor]: Taking taylor expansion of (* 3 (* z (pow y 2))) in y 3.495 * [taylor]: Taking taylor expansion of 3 in y 3.495 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y 3.495 * [taylor]: Taking taylor expansion of z in y 3.495 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.495 * [taylor]: Taking taylor expansion of y in y 3.495 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 3.495 * [taylor]: Taking taylor expansion of 3 in z 3.495 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.495 * [taylor]: Taking taylor expansion of z in z 3.495 * [taylor]: Taking taylor expansion of 0 in z 3.496 * [taylor]: Taking taylor expansion of (pow y 3) in y 3.496 * [taylor]: Taking taylor expansion of y in y 3.496 * [taylor]: Taking taylor expansion of 0 in z 3.496 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 (* x y))) 3) in (x y z) around 0 3.496 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 (* x y))) 3) in z 3.496 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in z 3.496 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.496 * [taylor]: Taking taylor expansion of z in z 3.496 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 3.496 * [taylor]: Taking taylor expansion of (* x y) in z 3.496 * [taylor]: Taking taylor expansion of x in z 3.496 * [taylor]: Taking taylor expansion of y in z 3.496 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 (* x y))) 3) in y 3.496 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in y 3.496 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.496 * [taylor]: Taking taylor expansion of z in y 3.496 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.496 * [taylor]: Taking taylor expansion of (* x y) in y 3.496 * [taylor]: Taking taylor expansion of x in y 3.496 * [taylor]: Taking taylor expansion of y in y 3.497 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 (* x y))) 3) in x 3.497 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x 3.497 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.497 * [taylor]: Taking taylor expansion of z in x 3.497 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.497 * [taylor]: Taking taylor expansion of (* x y) in x 3.497 * [taylor]: Taking taylor expansion of x in x 3.497 * [taylor]: Taking taylor expansion of y in x 3.497 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 (* x y))) 3) in x 3.497 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x 3.497 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.497 * [taylor]: Taking taylor expansion of z in x 3.497 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.497 * [taylor]: Taking taylor expansion of (* x y) in x 3.497 * [taylor]: Taking taylor expansion of x in x 3.497 * [taylor]: Taking taylor expansion of y in x 3.497 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 3.497 * [taylor]: Taking taylor expansion of (pow y 3) in y 3.497 * [taylor]: Taking taylor expansion of y in y 3.497 * [taylor]: Taking taylor expansion of 1 in z 3.498 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* z (pow y 2)))) in y 3.498 * [taylor]: Taking taylor expansion of 3 in y 3.498 * [taylor]: Taking taylor expansion of (/ 1 (* z (pow y 2))) in y 3.498 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y 3.498 * [taylor]: Taking taylor expansion of z in y 3.498 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.498 * [taylor]: Taking taylor expansion of y in y 3.498 * [taylor]: Taking taylor expansion of 0 in z 3.499 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow z 2) y))) in y 3.499 * [taylor]: Taking taylor expansion of 3 in y 3.499 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 3.499 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 3.499 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.499 * [taylor]: Taking taylor expansion of z in y 3.499 * [taylor]: Taking taylor expansion of y in y 3.499 * [taylor]: Taking taylor expansion of (/ 3 z) in z 3.499 * [taylor]: Taking taylor expansion of 3 in z 3.499 * [taylor]: Taking taylor expansion of z in z 3.499 * [taylor]: Taking taylor expansion of 0 in z 3.500 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 3.500 * [taylor]: Taking taylor expansion of (pow z 3) in y 3.500 * [taylor]: Taking taylor expansion of z in y 3.500 * [taylor]: Taking taylor expansion of 0 in z 3.500 * [taylor]: Taking taylor expansion of 0 in z 3.501 * [taylor]: Taking taylor expansion of 0 in y 3.501 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 3.501 * [taylor]: Taking taylor expansion of 3 in z 3.501 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.501 * [taylor]: Taking taylor expansion of z in z 3.501 * [taylor]: Taking taylor expansion of 0 in z 3.501 * [taylor]: Taking taylor expansion of 0 in z 3.502 * [taylor]: Taking taylor expansion of 0 in y 3.503 * [taylor]: Taking taylor expansion of 0 in z 3.503 * [taylor]: Taking taylor expansion of 0 in z 3.503 * [taylor]: Taking taylor expansion of 0 in z 3.504 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 z)) 3) in (x y z) around 0 3.504 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 z)) 3) in z 3.504 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in z 3.504 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 3.504 * [taylor]: Taking taylor expansion of (* x y) in z 3.504 * [taylor]: Taking taylor expansion of x in z 3.504 * [taylor]: Taking taylor expansion of y in z 3.504 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.504 * [taylor]: Taking taylor expansion of z in z 3.504 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 z)) 3) in y 3.504 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in y 3.504 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.504 * [taylor]: Taking taylor expansion of (* x y) in y 3.504 * [taylor]: Taking taylor expansion of x in y 3.504 * [taylor]: Taking taylor expansion of y in y 3.504 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.504 * [taylor]: Taking taylor expansion of z in y 3.504 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 z)) 3) in x 3.504 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in x 3.504 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.504 * [taylor]: Taking taylor expansion of (* x y) in x 3.505 * [taylor]: Taking taylor expansion of x in x 3.505 * [taylor]: Taking taylor expansion of y in x 3.505 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.505 * [taylor]: Taking taylor expansion of z in x 3.505 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 z)) 3) in x 3.505 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in x 3.505 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.505 * [taylor]: Taking taylor expansion of (* x y) in x 3.505 * [taylor]: Taking taylor expansion of x in x 3.505 * [taylor]: Taking taylor expansion of y in x 3.505 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.505 * [taylor]: Taking taylor expansion of z in x 3.505 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 3.505 * [taylor]: Taking taylor expansion of (pow y 3) in y 3.505 * [taylor]: Taking taylor expansion of y in y 3.505 * [taylor]: Taking taylor expansion of 1 in z 3.506 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (* z (pow y 2))))) in y 3.506 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* z (pow y 2)))) in y 3.506 * [taylor]: Taking taylor expansion of 3 in y 3.506 * [taylor]: Taking taylor expansion of (/ 1 (* z (pow y 2))) in y 3.506 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y 3.506 * [taylor]: Taking taylor expansion of z in y 3.506 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.506 * [taylor]: Taking taylor expansion of y in y 3.506 * [taylor]: Taking taylor expansion of 0 in z 3.507 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow z 2) y))) in y 3.507 * [taylor]: Taking taylor expansion of 3 in y 3.507 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 3.507 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 3.507 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.507 * [taylor]: Taking taylor expansion of z in y 3.507 * [taylor]: Taking taylor expansion of y in y 3.507 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 z))) in z 3.507 * [taylor]: Taking taylor expansion of (* 3 (/ 1 z)) in z 3.507 * [taylor]: Taking taylor expansion of 3 in z 3.507 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.507 * [taylor]: Taking taylor expansion of z in z 3.507 * [taylor]: Taking taylor expansion of 0 in z 3.508 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow z 3))) in y 3.508 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 3.508 * [taylor]: Taking taylor expansion of (pow z 3) in y 3.508 * [taylor]: Taking taylor expansion of z in y 3.508 * [taylor]: Taking taylor expansion of 0 in z 3.508 * [taylor]: Taking taylor expansion of 0 in z 3.509 * [taylor]: Taking taylor expansion of 0 in y 3.509 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 3.509 * [taylor]: Taking taylor expansion of 3 in z 3.509 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.509 * [taylor]: Taking taylor expansion of z in z 3.509 * [taylor]: Taking taylor expansion of 0 in z 3.510 * [taylor]: Taking taylor expansion of 0 in z 3.510 * [taylor]: Taking taylor expansion of 0 in y 3.511 * [taylor]: Taking taylor expansion of 0 in z 3.511 * [taylor]: Taking taylor expansion of 0 in z 3.512 * [taylor]: Taking taylor expansion of 0 in z 3.512 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 3.513 * [approximate]: Taking taylor expansion of (* y (+ (* x y) z)) in (x y z) around 0 3.513 * [taylor]: Taking taylor expansion of (* y (+ (* x y) z)) in z 3.513 * [taylor]: Taking taylor expansion of y in z 3.513 * [taylor]: Taking taylor expansion of (+ (* x y) z) in z 3.513 * [taylor]: Taking taylor expansion of (* x y) in z 3.513 * [taylor]: Taking taylor expansion of x in z 3.513 * [taylor]: Taking taylor expansion of y in z 3.513 * [taylor]: Taking taylor expansion of z in z 3.513 * [taylor]: Taking taylor expansion of (* y (+ (* x y) z)) in y 3.513 * [taylor]: Taking taylor expansion of y in y 3.513 * [taylor]: Taking taylor expansion of (+ (* x y) z) in y 3.513 * [taylor]: Taking taylor expansion of (* x y) in y 3.513 * [taylor]: Taking taylor expansion of x in y 3.513 * [taylor]: Taking taylor expansion of y in y 3.513 * [taylor]: Taking taylor expansion of z in y 3.513 * [taylor]: Taking taylor expansion of (* y (+ (* x y) z)) in x 3.513 * [taylor]: Taking taylor expansion of y in x 3.513 * [taylor]: Taking taylor expansion of (+ (* x y) z) in x 3.513 * [taylor]: Taking taylor expansion of (* x y) in x 3.513 * [taylor]: Taking taylor expansion of x in x 3.513 * [taylor]: Taking taylor expansion of y in x 3.513 * [taylor]: Taking taylor expansion of z in x 3.513 * [taylor]: Taking taylor expansion of (* y (+ (* x y) z)) in x 3.513 * [taylor]: Taking taylor expansion of y in x 3.513 * [taylor]: Taking taylor expansion of (+ (* x y) z) in x 3.513 * [taylor]: Taking taylor expansion of (* x y) in x 3.513 * [taylor]: Taking taylor expansion of x in x 3.513 * [taylor]: Taking taylor expansion of y in x 3.513 * [taylor]: Taking taylor expansion of z in x 3.513 * [taylor]: Taking taylor expansion of (* z y) in y 3.513 * [taylor]: Taking taylor expansion of z in y 3.513 * [taylor]: Taking taylor expansion of y in y 3.514 * [taylor]: Taking taylor expansion of 0 in z 3.514 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.514 * [taylor]: Taking taylor expansion of y in y 3.514 * [taylor]: Taking taylor expansion of z in z 3.514 * [taylor]: Taking taylor expansion of 0 in y 3.514 * [taylor]: Taking taylor expansion of 0 in z 3.514 * [taylor]: Taking taylor expansion of 0 in z 3.514 * [taylor]: Taking taylor expansion of 0 in y 3.514 * [taylor]: Taking taylor expansion of 0 in z 3.514 * [taylor]: Taking taylor expansion of 0 in z 3.514 * [taylor]: Taking taylor expansion of 1 in z 3.514 * [taylor]: Taking taylor expansion of 0 in z 3.514 * [taylor]: Taking taylor expansion of 0 in y 3.515 * [taylor]: Taking taylor expansion of 0 in z 3.515 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 (* x y))) y) in (x y z) around 0 3.515 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 (* x y))) y) in z 3.515 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in z 3.515 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.515 * [taylor]: Taking taylor expansion of z in z 3.515 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 3.515 * [taylor]: Taking taylor expansion of (* x y) in z 3.515 * [taylor]: Taking taylor expansion of x in z 3.515 * [taylor]: Taking taylor expansion of y in z 3.515 * [taylor]: Taking taylor expansion of y in z 3.515 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 (* x y))) y) in y 3.515 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in y 3.515 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.515 * [taylor]: Taking taylor expansion of z in y 3.515 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.515 * [taylor]: Taking taylor expansion of (* x y) in y 3.515 * [taylor]: Taking taylor expansion of x in y 3.515 * [taylor]: Taking taylor expansion of y in y 3.515 * [taylor]: Taking taylor expansion of y in y 3.515 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 (* x y))) y) in x 3.515 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x 3.515 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.516 * [taylor]: Taking taylor expansion of z in x 3.516 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.516 * [taylor]: Taking taylor expansion of (* x y) in x 3.516 * [taylor]: Taking taylor expansion of x in x 3.516 * [taylor]: Taking taylor expansion of y in x 3.516 * [taylor]: Taking taylor expansion of y in x 3.516 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 (* x y))) y) in x 3.516 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x 3.516 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.516 * [taylor]: Taking taylor expansion of z in x 3.516 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.516 * [taylor]: Taking taylor expansion of (* x y) in x 3.516 * [taylor]: Taking taylor expansion of x in x 3.516 * [taylor]: Taking taylor expansion of y in x 3.516 * [taylor]: Taking taylor expansion of y in x 3.516 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.516 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.516 * [taylor]: Taking taylor expansion of y in y 3.516 * [taylor]: Taking taylor expansion of 1 in z 3.516 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 3.516 * [taylor]: Taking taylor expansion of (* z y) in y 3.516 * [taylor]: Taking taylor expansion of z in y 3.516 * [taylor]: Taking taylor expansion of y in y 3.517 * [taylor]: Taking taylor expansion of 0 in z 3.517 * [taylor]: Taking taylor expansion of 0 in y 3.517 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.517 * [taylor]: Taking taylor expansion of z in z 3.517 * [taylor]: Taking taylor expansion of 0 in z 3.518 * [taylor]: Taking taylor expansion of 0 in y 3.518 * [taylor]: Taking taylor expansion of 0 in z 3.518 * [taylor]: Taking taylor expansion of 0 in z 3.518 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* x y)) (/ 1 z)) y)) in (x y z) around 0 3.518 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* x y)) (/ 1 z)) y)) in z 3.518 * [taylor]: Taking taylor expansion of -1 in z 3.518 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x y)) (/ 1 z)) y) in z 3.518 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in z 3.518 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 3.518 * [taylor]: Taking taylor expansion of (* x y) in z 3.518 * [taylor]: Taking taylor expansion of x in z 3.518 * [taylor]: Taking taylor expansion of y in z 3.519 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.519 * [taylor]: Taking taylor expansion of z in z 3.519 * [taylor]: Taking taylor expansion of y in z 3.519 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* x y)) (/ 1 z)) y)) in y 3.519 * [taylor]: Taking taylor expansion of -1 in y 3.519 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x y)) (/ 1 z)) y) in y 3.519 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in y 3.519 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.519 * [taylor]: Taking taylor expansion of (* x y) in y 3.519 * [taylor]: Taking taylor expansion of x in y 3.519 * [taylor]: Taking taylor expansion of y in y 3.519 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.519 * [taylor]: Taking taylor expansion of z in y 3.519 * [taylor]: Taking taylor expansion of y in y 3.519 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* x y)) (/ 1 z)) y)) in x 3.519 * [taylor]: Taking taylor expansion of -1 in x 3.519 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x y)) (/ 1 z)) y) in x 3.519 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in x 3.519 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.519 * [taylor]: Taking taylor expansion of (* x y) in x 3.519 * [taylor]: Taking taylor expansion of x in x 3.519 * [taylor]: Taking taylor expansion of y in x 3.519 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.519 * [taylor]: Taking taylor expansion of z in x 3.519 * [taylor]: Taking taylor expansion of y in x 3.519 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* x y)) (/ 1 z)) y)) in x 3.519 * [taylor]: Taking taylor expansion of -1 in x 3.519 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x y)) (/ 1 z)) y) in x 3.519 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in x 3.519 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.519 * [taylor]: Taking taylor expansion of (* x y) in x 3.519 * [taylor]: Taking taylor expansion of x in x 3.519 * [taylor]: Taking taylor expansion of y in x 3.520 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.520 * [taylor]: Taking taylor expansion of z in x 3.520 * [taylor]: Taking taylor expansion of y in x 3.520 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y 3.520 * [taylor]: Taking taylor expansion of -1 in y 3.520 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.520 * [taylor]: Taking taylor expansion of y in y 3.520 * [taylor]: Taking taylor expansion of -1 in z 3.520 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 3.520 * [taylor]: Taking taylor expansion of (* z y) in y 3.520 * [taylor]: Taking taylor expansion of z in y 3.520 * [taylor]: Taking taylor expansion of y in y 3.520 * [taylor]: Taking taylor expansion of 0 in z 3.521 * [taylor]: Taking taylor expansion of 0 in y 3.521 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.521 * [taylor]: Taking taylor expansion of z in z 3.521 * [taylor]: Taking taylor expansion of 0 in z 3.522 * [taylor]: Taking taylor expansion of 0 in y 3.522 * [taylor]: Taking taylor expansion of 0 in z 3.522 * [taylor]: Taking taylor expansion of 0 in z 3.522 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 3.522 * [approximate]: Taking taylor expansion of (+ (* x y) z) in (x y z) around 0 3.522 * [taylor]: Taking taylor expansion of (+ (* x y) z) in z 3.522 * [taylor]: Taking taylor expansion of (* x y) in z 3.522 * [taylor]: Taking taylor expansion of x in z 3.522 * [taylor]: Taking taylor expansion of y in z 3.523 * [taylor]: Taking taylor expansion of z in z 3.523 * [taylor]: Taking taylor expansion of (+ (* x y) z) in y 3.523 * [taylor]: Taking taylor expansion of (* x y) in y 3.523 * [taylor]: Taking taylor expansion of x in y 3.523 * [taylor]: Taking taylor expansion of y in y 3.523 * [taylor]: Taking taylor expansion of z in y 3.523 * [taylor]: Taking taylor expansion of (+ (* x y) z) in x 3.523 * [taylor]: Taking taylor expansion of (* x y) in x 3.523 * [taylor]: Taking taylor expansion of x in x 3.523 * [taylor]: Taking taylor expansion of y in x 3.523 * [taylor]: Taking taylor expansion of z in x 3.523 * [taylor]: Taking taylor expansion of (+ (* x y) z) in x 3.523 * [taylor]: Taking taylor expansion of (* x y) in x 3.523 * [taylor]: Taking taylor expansion of x in x 3.523 * [taylor]: Taking taylor expansion of y in x 3.523 * [taylor]: Taking taylor expansion of z in x 3.523 * [taylor]: Taking taylor expansion of z in y 3.523 * [taylor]: Taking taylor expansion of z in z 3.523 * [taylor]: Taking taylor expansion of y in y 3.523 * [taylor]: Taking taylor expansion of 0 in z 3.523 * [taylor]: Taking taylor expansion of 0 in z 3.523 * [taylor]: Taking taylor expansion of 0 in y 3.523 * [taylor]: Taking taylor expansion of 0 in z 3.523 * [taylor]: Taking taylor expansion of 1 in z 3.523 * [taylor]: Taking taylor expansion of 0 in z 3.523 * [taylor]: Taking taylor expansion of 0 in y 3.523 * [taylor]: Taking taylor expansion of 0 in z 3.523 * [taylor]: Taking taylor expansion of 0 in z 3.524 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in (x y z) around 0 3.524 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in z 3.524 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.524 * [taylor]: Taking taylor expansion of z in z 3.524 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 3.524 * [taylor]: Taking taylor expansion of (* x y) in z 3.524 * [taylor]: Taking taylor expansion of x in z 3.524 * [taylor]: Taking taylor expansion of y in z 3.524 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in y 3.524 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.524 * [taylor]: Taking taylor expansion of z in y 3.524 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.524 * [taylor]: Taking taylor expansion of (* x y) in y 3.524 * [taylor]: Taking taylor expansion of x in y 3.524 * [taylor]: Taking taylor expansion of y in y 3.524 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x 3.524 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.524 * [taylor]: Taking taylor expansion of z in x 3.524 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.524 * [taylor]: Taking taylor expansion of (* x y) in x 3.524 * [taylor]: Taking taylor expansion of x in x 3.524 * [taylor]: Taking taylor expansion of y in x 3.524 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x 3.524 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.524 * [taylor]: Taking taylor expansion of z in x 3.524 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.524 * [taylor]: Taking taylor expansion of (* x y) in x 3.524 * [taylor]: Taking taylor expansion of x in x 3.524 * [taylor]: Taking taylor expansion of y in x 3.524 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.524 * [taylor]: Taking taylor expansion of y in y 3.525 * [taylor]: Taking taylor expansion of 1 in z 3.525 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.525 * [taylor]: Taking taylor expansion of z in y 3.525 * [taylor]: Taking taylor expansion of 0 in z 3.525 * [taylor]: Taking taylor expansion of 0 in y 3.525 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.525 * [taylor]: Taking taylor expansion of z in z 3.525 * [taylor]: Taking taylor expansion of 0 in z 3.525 * [taylor]: Taking taylor expansion of 0 in y 3.525 * [taylor]: Taking taylor expansion of 0 in z 3.525 * [taylor]: Taking taylor expansion of 0 in z 3.526 * [taylor]: Taking taylor expansion of 0 in z 3.526 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in (x y z) around 0 3.526 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in z 3.526 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 3.526 * [taylor]: Taking taylor expansion of (* x y) in z 3.526 * [taylor]: Taking taylor expansion of x in z 3.526 * [taylor]: Taking taylor expansion of y in z 3.526 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.526 * [taylor]: Taking taylor expansion of z in z 3.526 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in y 3.526 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.526 * [taylor]: Taking taylor expansion of (* x y) in y 3.526 * [taylor]: Taking taylor expansion of x in y 3.526 * [taylor]: Taking taylor expansion of y in y 3.526 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.526 * [taylor]: Taking taylor expansion of z in y 3.526 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in x 3.526 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.526 * [taylor]: Taking taylor expansion of (* x y) in x 3.526 * [taylor]: Taking taylor expansion of x in x 3.526 * [taylor]: Taking taylor expansion of y in x 3.526 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.526 * [taylor]: Taking taylor expansion of z in x 3.526 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in x 3.526 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.527 * [taylor]: Taking taylor expansion of (* x y) in x 3.527 * [taylor]: Taking taylor expansion of x in x 3.527 * [taylor]: Taking taylor expansion of y in x 3.527 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.527 * [taylor]: Taking taylor expansion of z in x 3.527 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.527 * [taylor]: Taking taylor expansion of y in y 3.527 * [taylor]: Taking taylor expansion of 1 in z 3.527 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y 3.527 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.527 * [taylor]: Taking taylor expansion of z in y 3.527 * [taylor]: Taking taylor expansion of 0 in z 3.527 * [taylor]: Taking taylor expansion of 0 in y 3.527 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.527 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.527 * [taylor]: Taking taylor expansion of z in z 3.527 * [taylor]: Taking taylor expansion of 0 in z 3.528 * [taylor]: Taking taylor expansion of 0 in y 3.528 * [taylor]: Taking taylor expansion of 0 in z 3.528 * [taylor]: Taking taylor expansion of 0 in z 3.528 * [taylor]: Taking taylor expansion of 0 in z 3.528 * * * [progress]: simplifying candidates 3.530 * [simplify]: Simplifying using # : (log (cbrt (pow (+ (* x y) z) 3))) (exp (cbrt (pow (+ (* x y) z) 3))) (cbrt (pow (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) 3)) (cbrt (pow (cbrt (+ (* x y) z)) 3)) (cbrt (pow (sqrt (+ (* x y) z)) 3)) (cbrt (pow (sqrt (+ (* x y) z)) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (* x y) z) 3)) (cbrt (* (+ (* x y) z) (+ (* x y) z))) (cbrt (+ (* x y) z)) (cbrt (* (cbrt (pow (+ (* x y) z) 3)) (cbrt (pow (+ (* x y) z) 3)))) (cbrt (cbrt (pow (+ (* x y) z) 3))) (cbrt (pow (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) 3)) (cbrt (pow (cbrt (+ (* x y) z)) 3)) (cbrt (pow (sqrt (+ (* x y) z)) 3)) (cbrt (pow (sqrt (+ (* x y) z)) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (* x y) z) 3)) (cbrt (+ (* x y) z)) (cbrt (* (+ (* x y) z) (+ (* x y) z))) (cbrt (sqrt (pow (+ (* x y) z) 3))) (cbrt (sqrt (pow (+ (* x y) z) 3))) (cbrt 1) (cbrt (pow (+ (* x y) z) 3)) (cbrt (pow (+ (* x y) z) (/ 3 2))) (cbrt (pow (+ (* x y) z) (/ 3 2))) (cbrt (pow (+ (pow (* x y) 3) (pow z 3)) 3)) (cbrt (pow (+ (* (* x y) (* x y)) (- (* z z) (* (* x y) z))) 3)) (cbrt (pow (- (* (* x y) (* x y)) (* z z)) 3)) (cbrt (pow (- (* x y) z) 3)) (* (cbrt (cbrt (pow (+ (* x y) z) 3))) (cbrt (cbrt (pow (+ (* x y) z) 3)))) (cbrt (cbrt (pow (+ (* x y) z) 3))) (* (* (cbrt (pow (+ (* x y) z) 3)) (cbrt (pow (+ (* x y) z) 3))) (cbrt (pow (+ (* x y) z) 3))) (sqrt (cbrt (pow (+ (* x y) z) 3))) (sqrt (cbrt (pow (+ (* x y) z) 3))) (* (log (+ (* x y) z)) 3) (* (log (+ (* x y) z)) 3) (* 1 3) (pow (+ (* x y) z) (* (cbrt 3) (cbrt 3))) (pow (+ (* x y) z) (sqrt 3)) (pow (+ (* x y) z) 1) (pow (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) 3) (pow (cbrt (+ (* x y) z)) 3) (pow (sqrt (+ (* x y) z)) 3) (pow (sqrt (+ (* x y) z)) 3) (pow 1 3) (pow (+ (* x y) z) 3) (* (+ (* x y) z) (+ (* x y) z)) (log (pow (+ (* x y) z) 3)) (exp (pow (+ (* x y) z) 3)) (* (cbrt (pow (+ (* x y) z) 3)) (cbrt (pow (+ (* x y) z) 3))) (cbrt (pow (+ (* x y) z) 3)) (* (* (pow (+ (* x y) z) 3) (pow (+ (* x y) z) 3)) (pow (+ (* x y) z) 3)) (pow (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) 3) (pow (cbrt (+ (* x y) z)) 3) (pow (sqrt (+ (* x y) z)) 3) (pow (sqrt (+ (* x y) z)) 3) (pow 1 3) (pow (+ (* x y) z) 3) (pow (+ (pow (* x y) 3) (pow z 3)) 3) (pow (+ (* (* x y) (* x y)) (- (* z z) (* (* x y) z))) 3) (pow (- (* (* x y) (* x y)) (* z z)) 3) (pow (- (* x y) z) 3) (* (+ (* x y) z) (+ (* x y) z)) (sqrt (pow (+ (* x y) z) 3)) (sqrt (pow (+ (* x y) z) 3)) (pow (+ (* x y) z) (/ 3 2)) (pow (+ (* x y) z) (/ 3 2)) (* (cbrt (pow (+ (* x y) z) 3)) y) (+ (log (cbrt (pow (+ (* x y) z) 3))) (log y)) (log (* (cbrt (pow (+ (* x y) z) 3)) y)) (exp (* (cbrt (pow (+ (* x y) z) 3)) y)) (* (pow (+ (* x y) z) 3) (* (* y y) y)) (* (cbrt (* (cbrt (pow (+ (* x y) z) 3)) y)) (cbrt (* (cbrt (pow (+ (* x y) z) 3)) y))) (cbrt (* (cbrt (pow (+ (* x y) z) 3)) y)) (* (* (* (cbrt (pow (+ (* x y) z) 3)) y) (* (cbrt (pow (+ (* x y) z) 3)) y)) (* (cbrt (pow (+ (* x y) z) 3)) y)) (sqrt (* (cbrt (pow (+ (* x y) z) 3)) y)) (sqrt (* (cbrt (pow (+ (* x y) z) 3)) y)) (* (cbrt (pow (sqrt (+ (* x y) z)) 3)) (sqrt y)) (* (cbrt (pow (sqrt (+ (* x y) z)) 3)) (sqrt y)) (* (cbrt (pow (sqrt (+ (* x y) z)) 3)) (sqrt y)) (* (cbrt (pow (sqrt (+ (* x y) z)) 3)) (sqrt y)) (* (cbrt (sqrt (pow (+ (* x y) z) 3))) (sqrt y)) (* (cbrt (sqrt (pow (+ (* x y) z) 3))) (sqrt y)) (* (cbrt (pow (+ (* x y) z) (/ 3 2))) (sqrt y)) (* (cbrt (pow (+ (* x y) z) (/ 3 2))) (sqrt y)) (* (sqrt (cbrt (pow (+ (* x y) z) 3))) (sqrt y)) (* (sqrt (cbrt (pow (+ (* x y) z) 3))) (sqrt y)) (* (cbrt (pow (+ (* x y) z) 3)) (* (cbrt y) (cbrt y))) (* (cbrt (pow (+ (* x y) z) 3)) (sqrt y)) (* (cbrt (pow (+ (* x y) z) 3)) 1) (* (cbrt (pow (cbrt (+ (* x y) z)) 3)) y) (* (cbrt (pow (sqrt (+ (* x y) z)) 3)) y) (* (cbrt (pow (+ (* x y) z) 3)) y) (* (cbrt (+ (* x y) z)) y) (* (cbrt (cbrt (pow (+ (* x y) z) 3))) y) (* (cbrt (pow (cbrt (+ (* x y) z)) 3)) y) (* (cbrt (pow (sqrt (+ (* x y) z)) 3)) y) (* (cbrt (pow (+ (* x y) z) 3)) y) (* (cbrt (* (+ (* x y) z) (+ (* x y) z))) y) (* (cbrt (sqrt (pow (+ (* x y) z) 3))) y) (* (cbrt (pow (+ (* x y) z) 3)) y) (* (cbrt (pow (+ (* x y) z) (/ 3 2))) y) (* (cbrt (cbrt (pow (+ (* x y) z) 3))) y) (* (sqrt (cbrt (pow (+ (* x y) z) 3))) y) (* (cbrt (pow (+ (* x y) z) 3)) y) (* (cbrt (pow (+ (pow (* x y) 3) (pow z 3)) 3)) y) (* (cbrt (pow (- (* (* x y) (* x y)) (* z z)) 3)) y) (* (exp (* x y)) (exp z)) (log (+ (* x y) z)) (exp (+ (* x y) z)) (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (cbrt (+ (* x y) z)) (* (* (+ (* x y) z) (+ (* x y) z)) (+ (* x y) z)) (sqrt (+ (* x y) z)) (sqrt (+ (* x y) z)) (+ (pow (* x y) 3) (pow z 3)) (+ (* (* x y) (* x y)) (- (* z z) (* (* x y) z))) (- (* (* x y) (* x y)) (* z z)) (- (* x y) z) (+ (* x y) z) (+ (* x y) z) (+ (* x y) z) 0 (+ (* (pow x 3) (pow y 3)) (+ (* 3 (* x (* (pow z 2) y))) (* 3 (* (pow x 2) (* z (pow y 2)))))) (+ (* (pow x 3) (pow y 3)) (+ (* 3 (* x (* (pow z 2) y))) (* 3 (* (pow x 2) (* z (pow y 2)))))) (+ (* x (pow y 2)) (* z y)) (+ (* x (pow y 2)) (* z y)) (+ (* x (pow y 2)) (* z y)) (+ (* x y) z) (+ (* x y) z) (+ (* x y) z) 3.534 * * [simplify]: iteration 0 : 124 enodes (cost 1397 ) 3.552 * * [simplify]: iteration 1 : 318 enodes (cost 1144 ) 3.633 * * [simplify]: iteration 2 : 1281 enodes (cost 1035 ) 4.035 * * [simplify]: iteration done : 5000 enodes (cost 1027 ) 4.035 * [simplify]: Simplified to: (log (+ (* x y) z)) (exp (+ (* x y) z)) (cbrt (pow (+ z (* x y)) 2)) (cbrt (+ (* x y) z)) (sqrt (+ (* x y) z)) (sqrt (+ (* x y) z)) 1 (+ (* x y) z) (cbrt (pow (+ z (* x y)) 2)) (cbrt (+ (* x y) z)) (cbrt (pow (+ z (* x y)) 2)) (cbrt (+ (* x y) z)) (cbrt (pow (+ z (* x y)) 2)) (cbrt (+ (* x y) z)) (sqrt (+ (* x y) z)) (sqrt (+ (* x y) z)) 1 (+ (* x y) z) (cbrt (+ (* x y) z)) (cbrt (pow (+ z (* x y)) 2)) (cbrt (sqrt (pow (+ (* x y) z) 3))) (cbrt (sqrt (pow (+ (* x y) z) 3))) 1 (+ (* x y) z) (cbrt (pow (+ (* x y) z) 3/2)) (cbrt (pow (+ (* x y) z) 3/2)) (+ (pow (* x y) 3) (pow z 3)) (+ (* z (- z (* x y))) (* (* x y) (* x y))) (- (* (* x y) (* x y)) (* z z)) (- (* x y) z) (cbrt (pow (+ z (* x y)) 2)) (cbrt (+ (* x y) z)) (pow (+ z (* x y)) 3) (sqrt (+ (* x y) z)) (sqrt (+ (* x y) z)) (* (log (+ (* x y) z)) 3) (* (log (+ (* x y) z)) 3) 3 (pow (+ (* x y) z) (* (cbrt 3) (cbrt 3))) (pow (+ (* x y) z) (sqrt 3)) (+ (* x y) z) (pow (+ z (* x y)) 2) (+ (* x y) z) (pow (sqrt (+ (* x y) z)) 3) (pow (sqrt (+ (* x y) z)) 3) 1 (pow (+ z (* x y)) 3) (pow (+ z (* x y)) 2) (* (log (+ (* x y) z)) 3) (exp (pow (+ (* x y) z) 3)) (pow (+ z (* x y)) 2) (+ (* x y) z) (pow (pow (+ (* x y) z) 3) 3) (pow (+ z (* x y)) 2) (+ (* x y) z) (pow (sqrt (+ (* x y) z)) 3) (pow (sqrt (+ (* x y) z)) 3) 1 (pow (+ z (* x y)) 3) (pow (+ (pow (* x y) 3) (pow z 3)) 3) (pow (+ (* z (- z (* x y))) (* (* x y) (* x y))) 3) (pow (- (* (* x y) (* x y)) (* z z)) 3) (pow (- (* x y) z) 3) (pow (+ z (* x y)) 2) (sqrt (pow (+ (* x y) z) 3)) (sqrt (pow (+ (* x y) z) 3)) (pow (+ (* x y) z) 3/2) (pow (+ (* x y) z) 3/2) (* (+ z (* x y)) y) (log (* y (+ (* x y) z))) (log (* y (+ (* x y) z))) (exp (* (+ (* x y) z) y)) (pow (* y (+ (* x y) z)) 3) (* (cbrt (* (+ (* x y) z) y)) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y)) (pow (* y (+ (* x y) z)) 3) (sqrt (* (+ (* x y) z) y)) (sqrt (* (+ (* x y) z) y)) (* (sqrt y) (sqrt (+ (* x y) z))) (* (sqrt y) (sqrt (+ (* x y) z))) (* (sqrt y) (sqrt (+ (* x y) z))) (* (sqrt y) (sqrt (+ (* x y) z))) (* (cbrt (sqrt (pow (+ (* x y) z) 3))) (sqrt y)) (* (cbrt (sqrt (pow (+ (* x y) z) 3))) (sqrt y)) (* (sqrt y) (cbrt (pow (+ (* x y) z) 3/2))) (* (sqrt y) (cbrt (pow (+ (* x y) z) 3/2))) (* (sqrt y) (sqrt (+ (* x y) z))) (* (sqrt y) (sqrt (+ (* x y) z))) (* (* (cbrt y) (cbrt y)) (+ (* x y) z)) (* (+ (* x y) z) (sqrt y)) (+ (* x y) z) (* (cbrt (+ (* x y) z)) y) (* y (sqrt (+ (* x y) z))) (* (+ z (* x y)) y) (* (cbrt (+ (* x y) z)) y) (* (cbrt (+ (* x y) z)) y) (* (cbrt (+ (* x y) z)) y) (* y (sqrt (+ (* x y) z))) (* (+ z (* x y)) y) (* (cbrt (pow (+ z (* x y)) 2)) y) (* (cbrt (sqrt (pow (+ (* x y) z) 3))) y) (* (+ z (* x y)) y) (* (cbrt (pow (+ (* x y) z) 3/2)) y) (* (cbrt (+ (* x y) z)) y) (* y (sqrt (+ (* x y) z))) (* (+ z (* x y)) y) (* (+ (pow (* x y) 3) (pow z 3)) y) (* (- (* (* x y) (* x y)) (* z z)) y) (exp (+ (* x y) z)) (log (+ (* x y) z)) (exp (+ (* x y) z)) (cbrt (pow (+ z (* x y)) 2)) (cbrt (+ (* x y) z)) (pow (+ z (* x y)) 3) (sqrt (+ (* x y) z)) (sqrt (+ (* x y) z)) (+ (pow (* x y) 3) (pow z 3)) (+ (* z (- z (* x y))) (* (* x y) (* x y))) (- (* (* x y) (* x y)) (* z z)) (- (* x y) z) (+ (* x y) z) (+ (* x y) z) (+ (* x y) z) 0 (+ (pow (* x y) 3) (* 3 (+ (* x (* (pow z 2) y)) (* (pow x 2) (* z (pow y 2)))))) (+ (pow (* x y) 3) (* 3 (+ (* x (* (pow z 2) y)) (* (pow x 2) (* z (pow y 2)))))) (* (+ z (* x y)) y) (* (+ z (* x y)) y) (* (+ z (* x y)) y) (+ (* x y) z) (+ (* x y) z) (+ (* x y) z) 4.036 * * * [progress]: adding candidates to table 4.444 * [progress]: [Phase 3 of 3] Extracting. 4.444 * * [regime]: Finding splitpoints for: (# # # # # # #) 4.446 * * * [regime-changes]: Trying 6 branch expressions: ((* (+ (* x y) z) y) (+ (* (+ (* x y) z) y) t) t z y x) 4.446 * * * * [regimes]: Trying to branch on (* (+ (* x y) z) y) from (# # # # # # #) 4.516 * * * * [regimes]: Trying to branch on (+ (* (+ (* x y) z) y) t) from (# # # # # # #) 4.586 * * * * [regimes]: Trying to branch on t from (# # # # # # #) 4.655 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 4.723 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 4.790 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 4.858 * * * [regime]: Found split indices: #