20.780 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.029 * [progress]: [Phase 2 of 3] Improving. 0.029 * [simplify]: Simplifying: (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)) 0.029 * [simplify]: Sending expressions to egg_math: (+ h5 (/ (* h4 (- (+ h3 (* h0 h2)) h1)) h0)) 0.086 * * [progress]: iteration 1 / 4 0.086 * * * [progress]: picking best candidate 0.090 * * * * [pick]: Picked # 0.090 * * * [progress]: localizing error 0.099 * * * [progress]: generating rewritten candidates 0.099 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.106 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2 1) 0.123 * * * [progress]: generating series expansions 0.123 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.124 * [backup-simplify]: Simplify (- 1.0 (* 4.0 (- (/ (- z x) y) 0.25))) into (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) 0.124 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in (z x y) around 0 0.124 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in y 0.124 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in y 0.124 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in y 0.124 * [taylor]: Taking taylor expansion of 4.0 in y 0.124 * [backup-simplify]: Simplify 4.0 into 4.0 0.124 * [taylor]: Taking taylor expansion of (/ x y) in y 0.124 * [taylor]: Taking taylor expansion of x in y 0.124 * [backup-simplify]: Simplify x into x 0.124 * [taylor]: Taking taylor expansion of y in y 0.124 * [backup-simplify]: Simplify 0 into 0 0.124 * [backup-simplify]: Simplify 1 into 1 0.124 * [backup-simplify]: Simplify (/ x 1) into x 0.124 * [taylor]: Taking taylor expansion of 2.0 in y 0.124 * [backup-simplify]: Simplify 2.0 into 2.0 0.124 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y 0.124 * [taylor]: Taking taylor expansion of 4.0 in y 0.124 * [backup-simplify]: Simplify 4.0 into 4.0 0.124 * [taylor]: Taking taylor expansion of (/ z y) in y 0.124 * [taylor]: Taking taylor expansion of z in y 0.124 * [backup-simplify]: Simplify z into z 0.124 * [taylor]: Taking taylor expansion of y in y 0.124 * [backup-simplify]: Simplify 0 into 0 0.124 * [backup-simplify]: Simplify 1 into 1 0.124 * [backup-simplify]: Simplify (/ z 1) into z 0.124 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in x 0.124 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in x 0.124 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x 0.124 * [taylor]: Taking taylor expansion of 4.0 in x 0.124 * [backup-simplify]: Simplify 4.0 into 4.0 0.124 * [taylor]: Taking taylor expansion of (/ x y) in x 0.124 * [taylor]: Taking taylor expansion of x in x 0.124 * [backup-simplify]: Simplify 0 into 0 0.124 * [backup-simplify]: Simplify 1 into 1 0.124 * [taylor]: Taking taylor expansion of y in x 0.124 * [backup-simplify]: Simplify y into y 0.124 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.124 * [taylor]: Taking taylor expansion of 2.0 in x 0.124 * [backup-simplify]: Simplify 2.0 into 2.0 0.124 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x 0.124 * [taylor]: Taking taylor expansion of 4.0 in x 0.124 * [backup-simplify]: Simplify 4.0 into 4.0 0.124 * [taylor]: Taking taylor expansion of (/ z y) in x 0.124 * [taylor]: Taking taylor expansion of z in x 0.125 * [backup-simplify]: Simplify z into z 0.125 * [taylor]: Taking taylor expansion of y in x 0.125 * [backup-simplify]: Simplify y into y 0.125 * [backup-simplify]: Simplify (/ z y) into (/ z y) 0.125 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in z 0.125 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in z 0.125 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in z 0.125 * [taylor]: Taking taylor expansion of 4.0 in z 0.125 * [backup-simplify]: Simplify 4.0 into 4.0 0.125 * [taylor]: Taking taylor expansion of (/ x y) in z 0.125 * [taylor]: Taking taylor expansion of x in z 0.125 * [backup-simplify]: Simplify x into x 0.125 * [taylor]: Taking taylor expansion of y in z 0.125 * [backup-simplify]: Simplify y into y 0.125 * [backup-simplify]: Simplify (/ x y) into (/ x y) 0.125 * [taylor]: Taking taylor expansion of 2.0 in z 0.125 * [backup-simplify]: Simplify 2.0 into 2.0 0.125 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z 0.125 * [taylor]: Taking taylor expansion of 4.0 in z 0.125 * [backup-simplify]: Simplify 4.0 into 4.0 0.125 * [taylor]: Taking taylor expansion of (/ z y) in z 0.125 * [taylor]: Taking taylor expansion of z in z 0.125 * [backup-simplify]: Simplify 0 into 0 0.125 * [backup-simplify]: Simplify 1 into 1 0.125 * [taylor]: Taking taylor expansion of y in z 0.125 * [backup-simplify]: Simplify y into y 0.125 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.125 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in z 0.125 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in z 0.125 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in z 0.125 * [taylor]: Taking taylor expansion of 4.0 in z 0.125 * [backup-simplify]: Simplify 4.0 into 4.0 0.125 * [taylor]: Taking taylor expansion of (/ x y) in z 0.125 * [taylor]: Taking taylor expansion of x in z 0.125 * [backup-simplify]: Simplify x into x 0.125 * [taylor]: Taking taylor expansion of y in z 0.125 * [backup-simplify]: Simplify y into y 0.125 * [backup-simplify]: Simplify (/ x y) into (/ x y) 0.125 * [taylor]: Taking taylor expansion of 2.0 in z 0.125 * [backup-simplify]: Simplify 2.0 into 2.0 0.125 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z 0.125 * [taylor]: Taking taylor expansion of 4.0 in z 0.125 * [backup-simplify]: Simplify 4.0 into 4.0 0.125 * [taylor]: Taking taylor expansion of (/ z y) in z 0.125 * [taylor]: Taking taylor expansion of z in z 0.125 * [backup-simplify]: Simplify 0 into 0 0.125 * [backup-simplify]: Simplify 1 into 1 0.125 * [taylor]: Taking taylor expansion of y in z 0.125 * [backup-simplify]: Simplify y into y 0.125 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.126 * [backup-simplify]: Simplify (* 4.0 (/ x y)) into (* 4.0 (/ x y)) 0.126 * [backup-simplify]: Simplify (+ (* 4.0 (/ x y)) 2.0) into (+ (* 4.0 (/ x y)) 2.0) 0.126 * [backup-simplify]: Simplify (+ (+ (* 4.0 (/ x y)) 2.0) 0) into (+ (* 4.0 (/ x y)) 2.0) 0.126 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in x 0.126 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x 0.126 * [taylor]: Taking taylor expansion of 4.0 in x 0.126 * [backup-simplify]: Simplify 4.0 into 4.0 0.126 * [taylor]: Taking taylor expansion of (/ x y) in x 0.126 * [taylor]: Taking taylor expansion of x in x 0.126 * [backup-simplify]: Simplify 0 into 0 0.126 * [backup-simplify]: Simplify 1 into 1 0.126 * [taylor]: Taking taylor expansion of y in x 0.126 * [backup-simplify]: Simplify y into y 0.126 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.126 * [taylor]: Taking taylor expansion of 2.0 in x 0.126 * [backup-simplify]: Simplify 2.0 into 2.0 0.126 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.126 * [taylor]: Taking taylor expansion of 2.0 in y 0.127 * [backup-simplify]: Simplify 2.0 into 2.0 0.127 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ x y) (/ 0 y)))) into 0 0.127 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ x y))) into 0 0.127 * [backup-simplify]: Simplify (+ 0 0) into 0 0.127 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y) 0.127 * [backup-simplify]: Simplify (- (/ 4.0 y)) into (- (* 4.0 (/ 1 y))) 0.127 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 y)))) into (- (* 4.0 (/ 1 y))) 0.127 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in x 0.127 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 0.127 * [taylor]: Taking taylor expansion of 4.0 in x 0.128 * [backup-simplify]: Simplify 4.0 into 4.0 0.128 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.128 * [taylor]: Taking taylor expansion of y in x 0.128 * [backup-simplify]: Simplify y into y 0.128 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.128 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y) 0.128 * [backup-simplify]: Simplify (- (/ 4.0 y)) into (- (* 4.0 (/ 1 y))) 0.128 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y 0.128 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 0.128 * [taylor]: Taking taylor expansion of 4.0 in y 0.128 * [backup-simplify]: Simplify 4.0 into 4.0 0.128 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.128 * [taylor]: Taking taylor expansion of y in y 0.128 * [backup-simplify]: Simplify 0 into 0 0.128 * [backup-simplify]: Simplify 1 into 1 0.128 * [backup-simplify]: Simplify (/ 1 1) into 1 0.128 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 0.129 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 0.129 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 0.129 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y) 0.129 * [backup-simplify]: Simplify (+ (/ 4.0 y) 0) into (* 4.0 (/ 1 y)) 0.129 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 0.129 * [taylor]: Taking taylor expansion of 4.0 in y 0.129 * [backup-simplify]: Simplify 4.0 into 4.0 0.129 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.129 * [taylor]: Taking taylor expansion of y in y 0.129 * [backup-simplify]: Simplify 0 into 0 0.129 * [backup-simplify]: Simplify 1 into 1 0.129 * [backup-simplify]: Simplify (/ 1 1) into 1 0.130 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 0.130 * [backup-simplify]: Simplify 4.0 into 4.0 0.130 * [backup-simplify]: Simplify 2.0 into 2.0 0.130 * [backup-simplify]: Simplify (+ 2.0 (+ (* 4.0 (* (/ 1 y) (* x 1))) (* (- 4.0) (* (/ 1 y) (* 1 z))))) into (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) 0.130 * [backup-simplify]: Simplify (- 1.0 (* 4.0 (- (/ (- (/ 1 z) (/ 1 x)) (/ 1 y)) 0.25))) into (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) 0.130 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in (z x y) around 0 0.130 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in y 0.130 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in y 0.130 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y 0.130 * [taylor]: Taking taylor expansion of 4.0 in y 0.130 * [backup-simplify]: Simplify 4.0 into 4.0 0.130 * [taylor]: Taking taylor expansion of (/ y x) in y 0.130 * [taylor]: Taking taylor expansion of y in y 0.131 * [backup-simplify]: Simplify 0 into 0 0.131 * [backup-simplify]: Simplify 1 into 1 0.131 * [taylor]: Taking taylor expansion of x in y 0.131 * [backup-simplify]: Simplify x into x 0.131 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.131 * [taylor]: Taking taylor expansion of 2.0 in y 0.131 * [backup-simplify]: Simplify 2.0 into 2.0 0.131 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y 0.131 * [taylor]: Taking taylor expansion of 4.0 in y 0.131 * [backup-simplify]: Simplify 4.0 into 4.0 0.131 * [taylor]: Taking taylor expansion of (/ y z) in y 0.131 * [taylor]: Taking taylor expansion of y in y 0.131 * [backup-simplify]: Simplify 0 into 0 0.131 * [backup-simplify]: Simplify 1 into 1 0.131 * [taylor]: Taking taylor expansion of z in y 0.131 * [backup-simplify]: Simplify z into z 0.131 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.131 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x 0.131 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x 0.131 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 0.131 * [taylor]: Taking taylor expansion of 4.0 in x 0.131 * [backup-simplify]: Simplify 4.0 into 4.0 0.131 * [taylor]: Taking taylor expansion of (/ y x) in x 0.131 * [taylor]: Taking taylor expansion of y in x 0.131 * [backup-simplify]: Simplify y into y 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [backup-simplify]: Simplify 0 into 0 0.131 * [backup-simplify]: Simplify 1 into 1 0.131 * [backup-simplify]: Simplify (/ y 1) into y 0.131 * [taylor]: Taking taylor expansion of 2.0 in x 0.131 * [backup-simplify]: Simplify 2.0 into 2.0 0.131 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x 0.131 * [taylor]: Taking taylor expansion of 4.0 in x 0.131 * [backup-simplify]: Simplify 4.0 into 4.0 0.131 * [taylor]: Taking taylor expansion of (/ y z) in x 0.131 * [taylor]: Taking taylor expansion of y in x 0.131 * [backup-simplify]: Simplify y into y 0.131 * [taylor]: Taking taylor expansion of z in x 0.131 * [backup-simplify]: Simplify z into z 0.131 * [backup-simplify]: Simplify (/ y z) into (/ y z) 0.131 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in z 0.131 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in z 0.131 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z 0.131 * [taylor]: Taking taylor expansion of 4.0 in z 0.131 * [backup-simplify]: Simplify 4.0 into 4.0 0.131 * [taylor]: Taking taylor expansion of (/ y x) in z 0.131 * [taylor]: Taking taylor expansion of y in z 0.131 * [backup-simplify]: Simplify y into y 0.131 * [taylor]: Taking taylor expansion of x in z 0.131 * [backup-simplify]: Simplify x into x 0.131 * [backup-simplify]: Simplify (/ y x) into (/ y x) 0.131 * [taylor]: Taking taylor expansion of 2.0 in z 0.131 * [backup-simplify]: Simplify 2.0 into 2.0 0.131 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 0.131 * [taylor]: Taking taylor expansion of 4.0 in z 0.131 * [backup-simplify]: Simplify 4.0 into 4.0 0.132 * [taylor]: Taking taylor expansion of (/ y z) in z 0.132 * [taylor]: Taking taylor expansion of y in z 0.132 * [backup-simplify]: Simplify y into y 0.132 * [taylor]: Taking taylor expansion of z in z 0.132 * [backup-simplify]: Simplify 0 into 0 0.132 * [backup-simplify]: Simplify 1 into 1 0.132 * [backup-simplify]: Simplify (/ y 1) into y 0.132 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in z 0.132 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in z 0.132 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z 0.132 * [taylor]: Taking taylor expansion of 4.0 in z 0.132 * [backup-simplify]: Simplify 4.0 into 4.0 0.132 * [taylor]: Taking taylor expansion of (/ y x) in z 0.132 * [taylor]: Taking taylor expansion of y in z 0.132 * [backup-simplify]: Simplify y into y 0.132 * [taylor]: Taking taylor expansion of x in z 0.132 * [backup-simplify]: Simplify x into x 0.132 * [backup-simplify]: Simplify (/ y x) into (/ y x) 0.132 * [taylor]: Taking taylor expansion of 2.0 in z 0.132 * [backup-simplify]: Simplify 2.0 into 2.0 0.132 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 0.132 * [taylor]: Taking taylor expansion of 4.0 in z 0.132 * [backup-simplify]: Simplify 4.0 into 4.0 0.132 * [taylor]: Taking taylor expansion of (/ y z) in z 0.132 * [taylor]: Taking taylor expansion of y in z 0.132 * [backup-simplify]: Simplify y into y 0.132 * [taylor]: Taking taylor expansion of z in z 0.132 * [backup-simplify]: Simplify 0 into 0 0.132 * [backup-simplify]: Simplify 1 into 1 0.132 * [backup-simplify]: Simplify (/ y 1) into y 0.132 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 0.132 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y)) 0.132 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 y))) into (- (* 4.0 y)) 0.132 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in x 0.132 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 0.132 * [taylor]: Taking taylor expansion of 4.0 in x 0.132 * [backup-simplify]: Simplify 4.0 into 4.0 0.132 * [taylor]: Taking taylor expansion of y in x 0.132 * [backup-simplify]: Simplify y into y 0.132 * [backup-simplify]: Simplify (* 4.0 (/ y x)) into (* 4.0 (/ y x)) 0.132 * [backup-simplify]: Simplify (+ (* 4.0 (/ y x)) 2.0) into (+ (* 4.0 (/ y x)) 2.0) 0.133 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 0.133 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 0.133 * [backup-simplify]: Simplify (- 0) into 0 0.134 * [backup-simplify]: Simplify (+ (+ (* 4.0 (/ y x)) 2.0) 0) into (+ (* 4.0 (/ y x)) 2.0) 0.134 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x 0.134 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 0.134 * [taylor]: Taking taylor expansion of 4.0 in x 0.134 * [backup-simplify]: Simplify 4.0 into 4.0 0.134 * [taylor]: Taking taylor expansion of (/ y x) in x 0.134 * [taylor]: Taking taylor expansion of y in x 0.134 * [backup-simplify]: Simplify y into y 0.134 * [taylor]: Taking taylor expansion of x in x 0.134 * [backup-simplify]: Simplify 0 into 0 0.134 * [backup-simplify]: Simplify 1 into 1 0.134 * [backup-simplify]: Simplify (/ y 1) into y 0.134 * [taylor]: Taking taylor expansion of 2.0 in x 0.134 * [backup-simplify]: Simplify 2.0 into 2.0 0.134 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 0.134 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y) 0.134 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.134 * [taylor]: Taking taylor expansion of 4.0 in y 0.134 * [backup-simplify]: Simplify 4.0 into 4.0 0.134 * [taylor]: Taking taylor expansion of y in y 0.134 * [backup-simplify]: Simplify 0 into 0 0.134 * [backup-simplify]: Simplify 1 into 1 0.134 * [backup-simplify]: Simplify (* 4.0 0) into 0 0.134 * [backup-simplify]: Simplify 0 into 0 0.134 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 0.134 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y)) 0.134 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 0.134 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.135 * [taylor]: Taking taylor expansion of 4.0 in y 0.135 * [backup-simplify]: Simplify 4.0 into 4.0 0.135 * [taylor]: Taking taylor expansion of y in y 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify 1 into 1 0.135 * [backup-simplify]: Simplify (* 4.0 0) into 0 0.135 * [backup-simplify]: Simplify (- 0) into 0 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ y x) (/ 0 x)))) into 0 0.136 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y x))) into 0 0.136 * [backup-simplify]: Simplify (+ 0 0) into 0 0.137 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.137 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0 0.137 * [backup-simplify]: Simplify (- 0) into 0 0.137 * [backup-simplify]: Simplify (+ 0 0) into 0 0.137 * [taylor]: Taking taylor expansion of 0 in x 0.138 * [backup-simplify]: Simplify 0 into 0 0.138 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 0.138 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 0.139 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.139 * [taylor]: Taking taylor expansion of 2.0 in y 0.139 * [backup-simplify]: Simplify 2.0 into 2.0 0.139 * [backup-simplify]: Simplify 2.0 into 2.0 0.139 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 0.139 * [backup-simplify]: Simplify (- 0) into 0 0.139 * [taylor]: Taking taylor expansion of 0 in y 0.139 * [backup-simplify]: Simplify 0 into 0 0.139 * [backup-simplify]: Simplify 0 into 0 0.140 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 0.140 * [backup-simplify]: Simplify 4.0 into 4.0 0.141 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 0.141 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 0.141 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 0.142 * [backup-simplify]: Simplify (+ (* (- 4.0) (* (/ 1 y) (* 1 (/ 1 (/ 1 z))))) (+ (* 4.0 (* (/ 1 y) (* (/ 1 (/ 1 x)) 1))) 2.0)) into (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) 0.142 * [backup-simplify]: Simplify (- 1.0 (* 4.0 (- (/ (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y))) 0.25))) into (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) 0.142 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in (z x y) around 0 0.142 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in y 0.142 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in y 0.142 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y 0.142 * [taylor]: Taking taylor expansion of 4.0 in y 0.142 * [backup-simplify]: Simplify 4.0 into 4.0 0.142 * [taylor]: Taking taylor expansion of (/ y x) in y 0.142 * [taylor]: Taking taylor expansion of y in y 0.142 * [backup-simplify]: Simplify 0 into 0 0.142 * [backup-simplify]: Simplify 1 into 1 0.142 * [taylor]: Taking taylor expansion of x in y 0.142 * [backup-simplify]: Simplify x into x 0.142 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.142 * [taylor]: Taking taylor expansion of 2.0 in y 0.143 * [backup-simplify]: Simplify 2.0 into 2.0 0.143 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y 0.143 * [taylor]: Taking taylor expansion of 4.0 in y 0.143 * [backup-simplify]: Simplify 4.0 into 4.0 0.143 * [taylor]: Taking taylor expansion of (/ y z) in y 0.143 * [taylor]: Taking taylor expansion of y in y 0.143 * [backup-simplify]: Simplify 0 into 0 0.143 * [backup-simplify]: Simplify 1 into 1 0.143 * [taylor]: Taking taylor expansion of z in y 0.143 * [backup-simplify]: Simplify z into z 0.143 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.143 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x 0.143 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x 0.143 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 0.143 * [taylor]: Taking taylor expansion of 4.0 in x 0.143 * [backup-simplify]: Simplify 4.0 into 4.0 0.143 * [taylor]: Taking taylor expansion of (/ y x) in x 0.143 * [taylor]: Taking taylor expansion of y in x 0.143 * [backup-simplify]: Simplify y into y 0.143 * [taylor]: Taking taylor expansion of x in x 0.143 * [backup-simplify]: Simplify 0 into 0 0.143 * [backup-simplify]: Simplify 1 into 1 0.143 * [backup-simplify]: Simplify (/ y 1) into y 0.143 * [taylor]: Taking taylor expansion of 2.0 in x 0.143 * [backup-simplify]: Simplify 2.0 into 2.0 0.143 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x 0.143 * [taylor]: Taking taylor expansion of 4.0 in x 0.143 * [backup-simplify]: Simplify 4.0 into 4.0 0.143 * [taylor]: Taking taylor expansion of (/ y z) in x 0.143 * [taylor]: Taking taylor expansion of y in x 0.143 * [backup-simplify]: Simplify y into y 0.143 * [taylor]: Taking taylor expansion of z in x 0.143 * [backup-simplify]: Simplify z into z 0.143 * [backup-simplify]: Simplify (/ y z) into (/ y z) 0.143 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in z 0.143 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in z 0.143 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z 0.143 * [taylor]: Taking taylor expansion of 4.0 in z 0.143 * [backup-simplify]: Simplify 4.0 into 4.0 0.143 * [taylor]: Taking taylor expansion of (/ y x) in z 0.143 * [taylor]: Taking taylor expansion of y in z 0.143 * [backup-simplify]: Simplify y into y 0.143 * [taylor]: Taking taylor expansion of x in z 0.143 * [backup-simplify]: Simplify x into x 0.143 * [backup-simplify]: Simplify (/ y x) into (/ y x) 0.143 * [taylor]: Taking taylor expansion of 2.0 in z 0.143 * [backup-simplify]: Simplify 2.0 into 2.0 0.143 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 0.143 * [taylor]: Taking taylor expansion of 4.0 in z 0.143 * [backup-simplify]: Simplify 4.0 into 4.0 0.143 * [taylor]: Taking taylor expansion of (/ y z) in z 0.143 * [taylor]: Taking taylor expansion of y in z 0.143 * [backup-simplify]: Simplify y into y 0.143 * [taylor]: Taking taylor expansion of z in z 0.143 * [backup-simplify]: Simplify 0 into 0 0.143 * [backup-simplify]: Simplify 1 into 1 0.143 * [backup-simplify]: Simplify (/ y 1) into y 0.143 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in z 0.144 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in z 0.144 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z 0.144 * [taylor]: Taking taylor expansion of 4.0 in z 0.144 * [backup-simplify]: Simplify 4.0 into 4.0 0.144 * [taylor]: Taking taylor expansion of (/ y x) in z 0.144 * [taylor]: Taking taylor expansion of y in z 0.144 * [backup-simplify]: Simplify y into y 0.144 * [taylor]: Taking taylor expansion of x in z 0.144 * [backup-simplify]: Simplify x into x 0.144 * [backup-simplify]: Simplify (/ y x) into (/ y x) 0.144 * [taylor]: Taking taylor expansion of 2.0 in z 0.144 * [backup-simplify]: Simplify 2.0 into 2.0 0.144 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 0.144 * [taylor]: Taking taylor expansion of 4.0 in z 0.144 * [backup-simplify]: Simplify 4.0 into 4.0 0.144 * [taylor]: Taking taylor expansion of (/ y z) in z 0.144 * [taylor]: Taking taylor expansion of y in z 0.144 * [backup-simplify]: Simplify y into y 0.144 * [taylor]: Taking taylor expansion of z in z 0.144 * [backup-simplify]: Simplify 0 into 0 0.144 * [backup-simplify]: Simplify 1 into 1 0.144 * [backup-simplify]: Simplify (/ y 1) into y 0.144 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 0.144 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y)) 0.144 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 y))) into (- (* 4.0 y)) 0.144 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in x 0.144 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 0.144 * [taylor]: Taking taylor expansion of 4.0 in x 0.144 * [backup-simplify]: Simplify 4.0 into 4.0 0.144 * [taylor]: Taking taylor expansion of y in x 0.144 * [backup-simplify]: Simplify y into y 0.144 * [backup-simplify]: Simplify (* 4.0 (/ y x)) into (* 4.0 (/ y x)) 0.144 * [backup-simplify]: Simplify (+ (* 4.0 (/ y x)) 2.0) into (+ (* 4.0 (/ y x)) 2.0) 0.145 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 0.145 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 0.145 * [backup-simplify]: Simplify (- 0) into 0 0.145 * [backup-simplify]: Simplify (+ (+ (* 4.0 (/ y x)) 2.0) 0) into (+ (* 4.0 (/ y x)) 2.0) 0.146 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x 0.146 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 0.146 * [taylor]: Taking taylor expansion of 4.0 in x 0.146 * [backup-simplify]: Simplify 4.0 into 4.0 0.146 * [taylor]: Taking taylor expansion of (/ y x) in x 0.146 * [taylor]: Taking taylor expansion of y in x 0.146 * [backup-simplify]: Simplify y into y 0.146 * [taylor]: Taking taylor expansion of x in x 0.146 * [backup-simplify]: Simplify 0 into 0 0.146 * [backup-simplify]: Simplify 1 into 1 0.146 * [backup-simplify]: Simplify (/ y 1) into y 0.146 * [taylor]: Taking taylor expansion of 2.0 in x 0.146 * [backup-simplify]: Simplify 2.0 into 2.0 0.146 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 0.146 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y) 0.146 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.146 * [taylor]: Taking taylor expansion of 4.0 in y 0.146 * [backup-simplify]: Simplify 4.0 into 4.0 0.146 * [taylor]: Taking taylor expansion of y in y 0.146 * [backup-simplify]: Simplify 0 into 0 0.146 * [backup-simplify]: Simplify 1 into 1 0.146 * [backup-simplify]: Simplify (* 4.0 0) into 0 0.146 * [backup-simplify]: Simplify 0 into 0 0.146 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 0.146 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y)) 0.146 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 0.146 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.146 * [taylor]: Taking taylor expansion of 4.0 in y 0.146 * [backup-simplify]: Simplify 4.0 into 4.0 0.146 * [taylor]: Taking taylor expansion of y in y 0.146 * [backup-simplify]: Simplify 0 into 0 0.146 * [backup-simplify]: Simplify 1 into 1 0.147 * [backup-simplify]: Simplify (* 4.0 0) into 0 0.147 * [backup-simplify]: Simplify (- 0) into 0 0.147 * [backup-simplify]: Simplify 0 into 0 0.147 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ y x) (/ 0 x)))) into 0 0.147 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y x))) into 0 0.148 * [backup-simplify]: Simplify (+ 0 0) into 0 0.148 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.149 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0 0.149 * [backup-simplify]: Simplify (- 0) into 0 0.149 * [backup-simplify]: Simplify (+ 0 0) into 0 0.149 * [taylor]: Taking taylor expansion of 0 in x 0.149 * [backup-simplify]: Simplify 0 into 0 0.150 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 0.150 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 0.150 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.151 * [taylor]: Taking taylor expansion of 2.0 in y 0.151 * [backup-simplify]: Simplify 2.0 into 2.0 0.151 * [backup-simplify]: Simplify 2.0 into 2.0 0.151 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 0.151 * [backup-simplify]: Simplify (- 0) into 0 0.151 * [taylor]: Taking taylor expansion of 0 in y 0.151 * [backup-simplify]: Simplify 0 into 0 0.151 * [backup-simplify]: Simplify 0 into 0 0.152 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 0.152 * [backup-simplify]: Simplify 4.0 into 4.0 0.153 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 0.153 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 0.153 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 0.154 * [backup-simplify]: Simplify (+ (* (- 4.0) (* (/ 1 (- y)) (* 1 (/ 1 (/ 1 (- z)))))) (+ (* 4.0 (* (/ 1 (- y)) (* (/ 1 (/ 1 (- x))) 1))) 2.0)) into (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) 0.154 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2 1) 0.154 * [backup-simplify]: Simplify (/ (- z x) y) into (/ (- z x) y) 0.154 * [approximate]: Taking taylor expansion of (/ (- z x) y) in (z x y) around 0 0.154 * [taylor]: Taking taylor expansion of (/ (- z x) y) in y 0.154 * [taylor]: Taking taylor expansion of (- z x) in y 0.154 * [taylor]: Taking taylor expansion of z in y 0.154 * [backup-simplify]: Simplify z into z 0.154 * [taylor]: Taking taylor expansion of x in y 0.154 * [backup-simplify]: Simplify x into x 0.154 * [taylor]: Taking taylor expansion of y in y 0.154 * [backup-simplify]: Simplify 0 into 0 0.154 * [backup-simplify]: Simplify 1 into 1 0.154 * [backup-simplify]: Simplify (- x) into (- x) 0.154 * [backup-simplify]: Simplify (+ z (- x)) into (- z x) 0.154 * [backup-simplify]: Simplify (/ (- z x) 1) into (- z x) 0.154 * [taylor]: Taking taylor expansion of (/ (- z x) y) in x 0.154 * [taylor]: Taking taylor expansion of (- z x) in x 0.154 * [taylor]: Taking taylor expansion of z in x 0.154 * [backup-simplify]: Simplify z into z 0.154 * [taylor]: Taking taylor expansion of x in x 0.154 * [backup-simplify]: Simplify 0 into 0 0.154 * [backup-simplify]: Simplify 1 into 1 0.154 * [taylor]: Taking taylor expansion of y in x 0.154 * [backup-simplify]: Simplify y into y 0.155 * [backup-simplify]: Simplify (- 0) into 0 0.155 * [backup-simplify]: Simplify (+ z 0) into z 0.155 * [backup-simplify]: Simplify (/ z y) into (/ z y) 0.155 * [taylor]: Taking taylor expansion of (/ (- z x) y) in z 0.155 * [taylor]: Taking taylor expansion of (- z x) in z 0.155 * [taylor]: Taking taylor expansion of z in z 0.155 * [backup-simplify]: Simplify 0 into 0 0.155 * [backup-simplify]: Simplify 1 into 1 0.155 * [taylor]: Taking taylor expansion of x in z 0.155 * [backup-simplify]: Simplify x into x 0.155 * [taylor]: Taking taylor expansion of y in z 0.155 * [backup-simplify]: Simplify y into y 0.155 * [backup-simplify]: Simplify (- x) into (- x) 0.155 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 0.155 * [backup-simplify]: Simplify (/ (- x) y) into (* -1 (/ x y)) 0.155 * [taylor]: Taking taylor expansion of (/ (- z x) y) in z 0.155 * [taylor]: Taking taylor expansion of (- z x) in z 0.155 * [taylor]: Taking taylor expansion of z in z 0.155 * [backup-simplify]: Simplify 0 into 0 0.155 * [backup-simplify]: Simplify 1 into 1 0.155 * [taylor]: Taking taylor expansion of x in z 0.155 * [backup-simplify]: Simplify x into x 0.155 * [taylor]: Taking taylor expansion of y in z 0.155 * [backup-simplify]: Simplify y into y 0.155 * [backup-simplify]: Simplify (- x) into (- x) 0.155 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 0.155 * [backup-simplify]: Simplify (/ (- x) y) into (* -1 (/ x y)) 0.155 * [taylor]: Taking taylor expansion of (* -1 (/ x y)) in x 0.155 * [taylor]: Taking taylor expansion of -1 in x 0.155 * [backup-simplify]: Simplify -1 into -1 0.155 * [taylor]: Taking taylor expansion of (/ x y) in x 0.155 * [taylor]: Taking taylor expansion of x in x 0.155 * [backup-simplify]: Simplify 0 into 0 0.155 * [backup-simplify]: Simplify 1 into 1 0.155 * [taylor]: Taking taylor expansion of y in x 0.155 * [backup-simplify]: Simplify y into y 0.155 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.156 * [backup-simplify]: Simplify (- 0) into 0 0.156 * [backup-simplify]: Simplify (+ 1 0) into 1 0.156 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* (* -1 (/ x y)) (/ 0 y)))) into (/ 1 y) 0.156 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.156 * [taylor]: Taking taylor expansion of y in x 0.156 * [backup-simplify]: Simplify y into y 0.156 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.156 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.156 * [taylor]: Taking taylor expansion of y in y 0.156 * [backup-simplify]: Simplify 0 into 0 0.156 * [backup-simplify]: Simplify 1 into 1 0.157 * [backup-simplify]: Simplify (/ 1 1) into 1 0.157 * [backup-simplify]: Simplify 1 into 1 0.157 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y) 0.157 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.157 * [taylor]: Taking taylor expansion of -1 in y 0.157 * [backup-simplify]: Simplify -1 into -1 0.157 * [taylor]: Taking taylor expansion of y in y 0.157 * [backup-simplify]: Simplify 0 into 0 0.157 * [backup-simplify]: Simplify 1 into 1 0.157 * [backup-simplify]: Simplify (/ -1 1) into -1 0.157 * [backup-simplify]: Simplify -1 into -1 0.157 * [backup-simplify]: Simplify (- 0) into 0 0.157 * [backup-simplify]: Simplify (+ 0 0) into 0 0.158 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ x y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0 0.158 * [taylor]: Taking taylor expansion of 0 in x 0.158 * [backup-simplify]: Simplify 0 into 0 0.158 * [taylor]: Taking taylor expansion of 0 in y 0.158 * [backup-simplify]: Simplify 0 into 0 0.158 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.158 * [taylor]: Taking taylor expansion of 0 in y 0.158 * [backup-simplify]: Simplify 0 into 0 0.158 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 0.158 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 y))) into 0 0.158 * [taylor]: Taking taylor expansion of 0 in y 0.158 * [backup-simplify]: Simplify 0 into 0 0.159 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.159 * [backup-simplify]: Simplify 0 into 0 0.159 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.159 * [backup-simplify]: Simplify 0 into 0 0.160 * [backup-simplify]: Simplify (- 0) into 0 0.160 * [backup-simplify]: Simplify (+ 0 0) into 0 0.160 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ x y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.160 * [taylor]: Taking taylor expansion of 0 in x 0.160 * [backup-simplify]: Simplify 0 into 0 0.160 * [taylor]: Taking taylor expansion of 0 in y 0.160 * [backup-simplify]: Simplify 0 into 0 0.160 * [taylor]: Taking taylor expansion of 0 in y 0.160 * [backup-simplify]: Simplify 0 into 0 0.160 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.160 * [taylor]: Taking taylor expansion of 0 in y 0.160 * [backup-simplify]: Simplify 0 into 0 0.160 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.167 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 0.167 * [taylor]: Taking taylor expansion of 0 in y 0.167 * [backup-simplify]: Simplify 0 into 0 0.167 * [backup-simplify]: Simplify 0 into 0 0.167 * [backup-simplify]: Simplify 0 into 0 0.167 * [backup-simplify]: Simplify 0 into 0 0.168 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.168 * [backup-simplify]: Simplify 0 into 0 0.168 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 y) (* x 1))) (* 1 (* (/ 1 y) (* 1 z)))) into (- (/ z y) (/ x y)) 0.168 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) (/ 1 y)) into (* y (- (/ 1 z) (/ 1 x))) 0.168 * [approximate]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in (z x y) around 0 0.168 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y 0.168 * [taylor]: Taking taylor expansion of y in y 0.168 * [backup-simplify]: Simplify 0 into 0 0.168 * [backup-simplify]: Simplify 1 into 1 0.168 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 0.168 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.168 * [taylor]: Taking taylor expansion of z in y 0.168 * [backup-simplify]: Simplify z into z 0.168 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.168 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.168 * [taylor]: Taking taylor expansion of x in y 0.168 * [backup-simplify]: Simplify x into x 0.168 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.168 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 0.168 * [taylor]: Taking taylor expansion of y in x 0.168 * [backup-simplify]: Simplify y into y 0.168 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 0.168 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.168 * [taylor]: Taking taylor expansion of z in x 0.168 * [backup-simplify]: Simplify z into z 0.168 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.168 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.168 * [taylor]: Taking taylor expansion of x in x 0.168 * [backup-simplify]: Simplify 0 into 0 0.168 * [backup-simplify]: Simplify 1 into 1 0.169 * [backup-simplify]: Simplify (/ 1 1) into 1 0.169 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z 0.169 * [taylor]: Taking taylor expansion of y in z 0.169 * [backup-simplify]: Simplify y into y 0.169 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 0.169 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.169 * [taylor]: Taking taylor expansion of z in z 0.169 * [backup-simplify]: Simplify 0 into 0 0.169 * [backup-simplify]: Simplify 1 into 1 0.169 * [backup-simplify]: Simplify (/ 1 1) into 1 0.169 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.169 * [taylor]: Taking taylor expansion of x in z 0.169 * [backup-simplify]: Simplify x into x 0.169 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.169 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z 0.169 * [taylor]: Taking taylor expansion of y in z 0.169 * [backup-simplify]: Simplify y into y 0.169 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 0.169 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.169 * [taylor]: Taking taylor expansion of z in z 0.169 * [backup-simplify]: Simplify 0 into 0 0.169 * [backup-simplify]: Simplify 1 into 1 0.169 * [backup-simplify]: Simplify (/ 1 1) into 1 0.170 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.170 * [taylor]: Taking taylor expansion of x in z 0.170 * [backup-simplify]: Simplify x into x 0.170 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.170 * [backup-simplify]: Simplify (+ 1 0) into 1 0.170 * [backup-simplify]: Simplify (* y 1) into y 0.170 * [taylor]: Taking taylor expansion of y in x 0.170 * [backup-simplify]: Simplify y into y 0.170 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.171 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 0.171 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 0.171 * [backup-simplify]: Simplify (+ (* y (- (/ 1 x))) (* 0 1)) into (- (/ y x)) 0.171 * [taylor]: Taking taylor expansion of (- (/ y x)) in x 0.171 * [taylor]: Taking taylor expansion of (/ y x) in x 0.171 * [taylor]: Taking taylor expansion of y in x 0.171 * [backup-simplify]: Simplify y into y 0.171 * [taylor]: Taking taylor expansion of x in x 0.171 * [backup-simplify]: Simplify 0 into 0 0.171 * [backup-simplify]: Simplify 1 into 1 0.171 * [backup-simplify]: Simplify (/ y 1) into y 0.171 * [backup-simplify]: Simplify (- y) into (- y) 0.171 * [taylor]: Taking taylor expansion of (- y) in y 0.171 * [taylor]: Taking taylor expansion of y in y 0.171 * [backup-simplify]: Simplify 0 into 0 0.171 * [backup-simplify]: Simplify 1 into 1 0.171 * [backup-simplify]: Simplify (- 0) into 0 0.171 * [backup-simplify]: Simplify 0 into 0 0.171 * [taylor]: Taking taylor expansion of y in y 0.171 * [backup-simplify]: Simplify 0 into 0 0.171 * [backup-simplify]: Simplify 1 into 1 0.172 * [backup-simplify]: Simplify 0 into 0 0.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.172 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.172 * [backup-simplify]: Simplify (- 0) into 0 0.173 * [backup-simplify]: Simplify (+ 0 0) into 0 0.173 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 x))) (* 0 1))) into 0 0.173 * [taylor]: Taking taylor expansion of 0 in x 0.173 * [backup-simplify]: Simplify 0 into 0 0.173 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 0.174 * [backup-simplify]: Simplify (- 0) into 0 0.174 * [taylor]: Taking taylor expansion of 0 in y 0.174 * [backup-simplify]: Simplify 0 into 0 0.174 * [backup-simplify]: Simplify 0 into 0 0.174 * [taylor]: Taking taylor expansion of 0 in y 0.174 * [backup-simplify]: Simplify 0 into 0 0.174 * [backup-simplify]: Simplify 0 into 0 0.174 * [backup-simplify]: Simplify (- 1) into -1 0.174 * [backup-simplify]: Simplify -1 into -1 0.174 * [backup-simplify]: Simplify 1 into 1 0.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.175 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.175 * [backup-simplify]: Simplify (- 0) into 0 0.175 * [backup-simplify]: Simplify (+ 0 0) into 0 0.176 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 x))) (* 0 1)))) into 0 0.176 * [taylor]: Taking taylor expansion of 0 in x 0.176 * [backup-simplify]: Simplify 0 into 0 0.176 * [taylor]: Taking taylor expansion of 0 in y 0.176 * [backup-simplify]: Simplify 0 into 0 0.176 * [backup-simplify]: Simplify 0 into 0 0.177 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.177 * [backup-simplify]: Simplify (- 0) into 0 0.177 * [taylor]: Taking taylor expansion of 0 in y 0.177 * [backup-simplify]: Simplify 0 into 0 0.177 * [backup-simplify]: Simplify 0 into 0 0.177 * [taylor]: Taking taylor expansion of 0 in y 0.177 * [backup-simplify]: Simplify 0 into 0 0.177 * [backup-simplify]: Simplify 0 into 0 0.177 * [backup-simplify]: Simplify 0 into 0 0.177 * [backup-simplify]: Simplify 0 into 0 0.177 * [backup-simplify]: Simplify (- 0) into 0 0.177 * [backup-simplify]: Simplify 0 into 0 0.178 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 y) (* 1 (/ 1 (/ 1 z))))) (* -1 (* (/ 1 y) (* (/ 1 (/ 1 x)) 1)))) into (- (/ z y) (/ x y)) 0.178 * [backup-simplify]: Simplify (/ (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y))) into (* -1 (* y (- (/ 1 x) (/ 1 z)))) 0.178 * [approximate]: Taking taylor expansion of (* -1 (* y (- (/ 1 x) (/ 1 z)))) in (z x y) around 0 0.178 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 x) (/ 1 z)))) in y 0.178 * [taylor]: Taking taylor expansion of -1 in y 0.178 * [backup-simplify]: Simplify -1 into -1 0.178 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y 0.178 * [taylor]: Taking taylor expansion of y in y 0.178 * [backup-simplify]: Simplify 0 into 0 0.178 * [backup-simplify]: Simplify 1 into 1 0.178 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 0.178 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.178 * [taylor]: Taking taylor expansion of x in y 0.178 * [backup-simplify]: Simplify x into x 0.178 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.178 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.178 * [taylor]: Taking taylor expansion of z in y 0.178 * [backup-simplify]: Simplify z into z 0.178 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.178 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 x) (/ 1 z)))) in x 0.178 * [taylor]: Taking taylor expansion of -1 in x 0.178 * [backup-simplify]: Simplify -1 into -1 0.178 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 0.178 * [taylor]: Taking taylor expansion of y in x 0.178 * [backup-simplify]: Simplify y into y 0.178 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 0.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.178 * [taylor]: Taking taylor expansion of x in x 0.178 * [backup-simplify]: Simplify 0 into 0 0.178 * [backup-simplify]: Simplify 1 into 1 0.179 * [backup-simplify]: Simplify (/ 1 1) into 1 0.179 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.179 * [taylor]: Taking taylor expansion of z in x 0.179 * [backup-simplify]: Simplify z into z 0.179 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.179 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 x) (/ 1 z)))) in z 0.179 * [taylor]: Taking taylor expansion of -1 in z 0.179 * [backup-simplify]: Simplify -1 into -1 0.179 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in z 0.179 * [taylor]: Taking taylor expansion of y in z 0.179 * [backup-simplify]: Simplify y into y 0.179 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 0.179 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.179 * [taylor]: Taking taylor expansion of x in z 0.179 * [backup-simplify]: Simplify x into x 0.179 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.179 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.179 * [taylor]: Taking taylor expansion of z in z 0.179 * [backup-simplify]: Simplify 0 into 0 0.179 * [backup-simplify]: Simplify 1 into 1 0.179 * [backup-simplify]: Simplify (/ 1 1) into 1 0.179 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 x) (/ 1 z)))) in z 0.179 * [taylor]: Taking taylor expansion of -1 in z 0.179 * [backup-simplify]: Simplify -1 into -1 0.179 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in z 0.179 * [taylor]: Taking taylor expansion of y in z 0.179 * [backup-simplify]: Simplify y into y 0.179 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 0.179 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.179 * [taylor]: Taking taylor expansion of x in z 0.179 * [backup-simplify]: Simplify x into x 0.179 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.179 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.179 * [taylor]: Taking taylor expansion of z in z 0.179 * [backup-simplify]: Simplify 0 into 0 0.179 * [backup-simplify]: Simplify 1 into 1 0.180 * [backup-simplify]: Simplify (/ 1 1) into 1 0.180 * [backup-simplify]: Simplify (- 1) into -1 0.180 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.180 * [backup-simplify]: Simplify (* y -1) into (* -1 y) 0.180 * [backup-simplify]: Simplify (* -1 (* -1 y)) into y 0.180 * [taylor]: Taking taylor expansion of y in x 0.180 * [backup-simplify]: Simplify y into y 0.181 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.181 * [backup-simplify]: Simplify (- 0) into 0 0.181 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 0.181 * [backup-simplify]: Simplify (+ (* y (/ 1 x)) (* 0 -1)) into (/ y x) 0.182 * [backup-simplify]: Simplify (+ (* -1 (/ y x)) (* 0 (* -1 y))) into (- (/ y x)) 0.182 * [taylor]: Taking taylor expansion of (- (/ y x)) in x 0.182 * [taylor]: Taking taylor expansion of (/ y x) in x 0.182 * [taylor]: Taking taylor expansion of y in x 0.182 * [backup-simplify]: Simplify y into y 0.182 * [taylor]: Taking taylor expansion of x in x 0.182 * [backup-simplify]: Simplify 0 into 0 0.182 * [backup-simplify]: Simplify 1 into 1 0.182 * [backup-simplify]: Simplify (/ y 1) into y 0.182 * [backup-simplify]: Simplify (- y) into (- y) 0.182 * [taylor]: Taking taylor expansion of (- y) in y 0.182 * [taylor]: Taking taylor expansion of y in y 0.182 * [backup-simplify]: Simplify 0 into 0 0.182 * [backup-simplify]: Simplify 1 into 1 0.182 * [backup-simplify]: Simplify (- 0) into 0 0.182 * [backup-simplify]: Simplify 0 into 0 0.182 * [taylor]: Taking taylor expansion of y in y 0.182 * [backup-simplify]: Simplify 0 into 0 0.182 * [backup-simplify]: Simplify 1 into 1 0.182 * [backup-simplify]: Simplify 0 into 0 0.182 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.183 * [backup-simplify]: Simplify (- 0) into 0 0.183 * [backup-simplify]: Simplify (+ 0 0) into 0 0.184 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (/ 1 x)) (* 0 -1))) into 0 0.184 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ y x)) (* 0 (* -1 y)))) into 0 0.184 * [taylor]: Taking taylor expansion of 0 in x 0.184 * [backup-simplify]: Simplify 0 into 0 0.184 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 0.185 * [backup-simplify]: Simplify (- 0) into 0 0.185 * [taylor]: Taking taylor expansion of 0 in y 0.185 * [backup-simplify]: Simplify 0 into 0 0.185 * [backup-simplify]: Simplify 0 into 0 0.185 * [taylor]: Taking taylor expansion of 0 in y 0.185 * [backup-simplify]: Simplify 0 into 0 0.185 * [backup-simplify]: Simplify 0 into 0 0.185 * [backup-simplify]: Simplify (- 1) into -1 0.185 * [backup-simplify]: Simplify -1 into -1 0.185 * [backup-simplify]: Simplify 1 into 1 0.185 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.186 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.186 * [backup-simplify]: Simplify (- 0) into 0 0.186 * [backup-simplify]: Simplify (+ 0 0) into 0 0.187 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (/ 1 x)) (* 0 -1)))) into 0 0.188 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ y x)) (* 0 (* -1 y))))) into 0 0.188 * [taylor]: Taking taylor expansion of 0 in x 0.188 * [backup-simplify]: Simplify 0 into 0 0.188 * [taylor]: Taking taylor expansion of 0 in y 0.188 * [backup-simplify]: Simplify 0 into 0 0.188 * [backup-simplify]: Simplify 0 into 0 0.190 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.190 * [backup-simplify]: Simplify (- 0) into 0 0.190 * [taylor]: Taking taylor expansion of 0 in y 0.190 * [backup-simplify]: Simplify 0 into 0 0.190 * [backup-simplify]: Simplify 0 into 0 0.190 * [taylor]: Taking taylor expansion of 0 in y 0.190 * [backup-simplify]: Simplify 0 into 0 0.190 * [backup-simplify]: Simplify 0 into 0 0.190 * [backup-simplify]: Simplify 0 into 0 0.190 * [backup-simplify]: Simplify 0 into 0 0.190 * [backup-simplify]: Simplify (- 0) into 0 0.190 * [backup-simplify]: Simplify 0 into 0 0.191 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- y)) (* 1 (/ 1 (/ 1 (- z)))))) (* -1 (* (/ 1 (- y)) (* (/ 1 (/ 1 (- x))) 1)))) into (- (/ z y) (/ x y)) 0.191 * * * [progress]: simplifying candidates 0.192 * [simplify]: Simplifying: (/ (exp 1.0) (exp (* 4.0 (- (/ (- z x) y) 0.25)))) (log (- 1.0 (* 4.0 (- (/ (- z x) y) 0.25)))) (exp (- 1.0 (* 4.0 (- (/ (- z x) y) 0.25)))) (* (cbrt (- 1.0 (* 4.0 (- (/ (- z x) y) 0.25)))) (cbrt (- 1.0 (* 4.0 (- (/ (- z x) y) 0.25))))) (cbrt (- 1.0 (* 4.0 (- (/ (- z x) y) 0.25)))) (* (* (- 1.0 (* 4.0 (- (/ (- z x) y) 0.25))) (- 1.0 (* 4.0 (- (/ (- z x) y) 0.25)))) (- 1.0 (* 4.0 (- (/ (- z x) y) 0.25)))) (sqrt (- 1.0 (* 4.0 (- (/ (- z x) y) 0.25)))) (sqrt (- 1.0 (* 4.0 (- (/ (- z x) y) 0.25)))) (- (pow 1.0 3) (pow (* 4.0 (- (/ (- z x) y) 0.25)) 3)) (+ (* 1.0 1.0) (+ (* (* 4.0 (- (/ (- z x) y) 0.25)) (* 4.0 (- (/ (- z x) y) 0.25))) (* 1.0 (* 4.0 (- (/ (- z x) y) 0.25))))) (- (* 4.0 (- (/ (- z x) y) 0.25))) (- (* 1.0 1.0) (* (* 4.0 (- (/ (- z x) y) 0.25)) (* 4.0 (- (/ (- z x) y) 0.25)))) (+ 1.0 (* 4.0 (- (/ (- z x) y) 0.25))) (- 1.0 (* 4.0 (/ (- z x) y))) (- 1.0 (* 4.0 (/ (- z x) y))) (- 1.0 (* (/ (- z x) y) 4.0)) (- 1.0 (* (/ (- z x) y) 4.0)) (- (* 4.0 (- (/ (- z x) y) 0.25))) (- (log (- z x)) (log y)) (log (/ (- z x) y)) (exp (/ (- z x) y)) (/ (* (* (- z x) (- z x)) (- z x)) (* (* y y) y)) (* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y))) (cbrt (/ (- z x) y)) (* (* (/ (- z x) y) (/ (- z x) y)) (/ (- z x) y)) (sqrt (/ (- z x) y)) (sqrt (/ (- z x) y)) (- (- z x)) (- y) (/ z y) (/ x y) (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y))) (/ (cbrt (- z x)) (cbrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y)) (/ (cbrt (- z x)) (sqrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) 1) (/ (cbrt (- z x)) y) (/ (sqrt (- z x)) (* (cbrt y) (cbrt y))) (/ (sqrt (- z x)) (cbrt y)) (/ (sqrt (- z x)) (sqrt y)) (/ (sqrt (- z x)) (sqrt y)) (/ (sqrt (- z x)) 1) (/ (sqrt (- z x)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- z x) (cbrt y)) (/ 1 (sqrt y)) (/ (- z x) (sqrt y)) (/ 1 1) (/ (- z x) y) (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))) (/ (- (sqrt z) (sqrt x)) (cbrt y)) (/ (+ (sqrt z) (sqrt x)) (sqrt y)) (/ (- (sqrt z) (sqrt x)) (sqrt y)) (/ (+ (sqrt z) (sqrt x)) 1) (/ (- (sqrt z) (sqrt x)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- z x) (cbrt y)) (/ 1 (sqrt y)) (/ (- z x) (sqrt y)) (/ 1 1) (/ (- z x) y) (/ 1 y) (/ y (- z x)) (/ (- z x) (* (cbrt y) (cbrt y))) (/ (- z x) (sqrt y)) (/ (- z x) 1) (/ y (cbrt (- z x))) (/ y (sqrt (- z x))) (/ y (- z x)) (/ y (- (sqrt z) (sqrt x))) (/ y (- z x)) (* y (+ (* z z) (+ (* x x) (* z x)))) (* y (+ z x)) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) (- (/ z y) (/ x y)) (- (/ z y) (/ x y)) (- (/ z y) (/ x y)) 0.192 * [simplify]: Sending expressions to egg_math: (/ (exp h5) (exp (* h4 (- (/ (- h3 h2) h1) h0)))) (log (- h5 (* h4 (- (/ (- h3 h2) h1) h0)))) (exp (- h5 (* h4 (- (/ (- h3 h2) h1) h0)))) (* (cbrt (- h5 (* h4 (- (/ (- h3 h2) h1) h0)))) (cbrt (- h5 (* h4 (- (/ (- h3 h2) h1) h0))))) (cbrt (- h5 (* h4 (- (/ (- h3 h2) h1) h0)))) (* (* (- h5 (* h4 (- (/ (- h3 h2) h1) h0))) (- h5 (* h4 (- (/ (- h3 h2) h1) h0)))) (- h5 (* h4 (- (/ (- h3 h2) h1) h0)))) (sqrt (- h5 (* h4 (- (/ (- h3 h2) h1) h0)))) (sqrt (- h5 (* h4 (- (/ (- h3 h2) h1) h0)))) (- (pow h5 3) (pow (* h4 (- (/ (- h3 h2) h1) h0)) 3)) (+ (* h5 h5) (+ (* (* h4 (- (/ (- h3 h2) h1) h0)) (* h4 (- (/ (- h3 h2) h1) h0))) (* h5 (* h4 (- (/ (- h3 h2) h1) h0))))) (- (* h4 (- (/ (- h3 h2) h1) h0))) (- (* h5 h5) (* (* h4 (- (/ (- h3 h2) h1) h0)) (* h4 (- (/ (- h3 h2) h1) h0)))) (+ h5 (* h4 (- (/ (- h3 h2) h1) h0))) (- h5 (* h4 (/ (- h3 h2) h1))) (- h5 (* h4 (/ (- h3 h2) h1))) (- h5 (* (/ (- h3 h2) h1) h4)) (- h5 (* (/ (- h3 h2) h1) h4)) (- (* h4 (- (/ (- h3 h2) h1) h0))) (- (log (- h3 h2)) (log h1)) (log (/ (- h3 h2) h1)) (exp (/ (- h3 h2) h1)) (/ (* (* (- h3 h2) (- h3 h2)) (- h3 h2)) (* (* h1 h1) h1)) (* (cbrt (/ (- h3 h2) h1)) (cbrt (/ (- h3 h2) h1))) (cbrt (/ (- h3 h2) h1)) (* (* (/ (- h3 h2) h1) (/ (- h3 h2) h1)) (/ (- h3 h2) h1)) (sqrt (/ (- h3 h2) h1)) (sqrt (/ (- h3 h2) h1)) (- (- h3 h2)) (- h1) (/ h3 h1) (/ h2 h1) (/ (* (cbrt (- h3 h2)) (cbrt (- h3 h2))) (* (cbrt h1) (cbrt h1))) (/ (cbrt (- h3 h2)) (cbrt h1)) (/ (* (cbrt (- h3 h2)) (cbrt (- h3 h2))) (sqrt h1)) (/ (cbrt (- h3 h2)) (sqrt h1)) (/ (* (cbrt (- h3 h2)) (cbrt (- h3 h2))) 1) (/ (cbrt (- h3 h2)) h1) (/ (sqrt (- h3 h2)) (* (cbrt h1) (cbrt h1))) (/ (sqrt (- h3 h2)) (cbrt h1)) (/ (sqrt (- h3 h2)) (sqrt h1)) (/ (sqrt (- h3 h2)) (sqrt h1)) (/ (sqrt (- h3 h2)) 1) (/ (sqrt (- h3 h2)) h1) (/ 1 (* (cbrt h1) (cbrt h1))) (/ (- h3 h2) (cbrt h1)) (/ 1 (sqrt h1)) (/ (- h3 h2) (sqrt h1)) (/ 1 1) (/ (- h3 h2) h1) (/ (+ (sqrt h3) (sqrt h2)) (* (cbrt h1) (cbrt h1))) (/ (- (sqrt h3) (sqrt h2)) (cbrt h1)) (/ (+ (sqrt h3) (sqrt h2)) (sqrt h1)) (/ (- (sqrt h3) (sqrt h2)) (sqrt h1)) (/ (+ (sqrt h3) (sqrt h2)) 1) (/ (- (sqrt h3) (sqrt h2)) h1) (/ 1 (* (cbrt h1) (cbrt h1))) (/ (- h3 h2) (cbrt h1)) (/ 1 (sqrt h1)) (/ (- h3 h2) (sqrt h1)) (/ 1 1) (/ (- h3 h2) h1) (/ 1 h1) (/ h1 (- h3 h2)) (/ (- h3 h2) (* (cbrt h1) (cbrt h1))) (/ (- h3 h2) (sqrt h1)) (/ (- h3 h2) 1) (/ h1 (cbrt (- h3 h2))) (/ h1 (sqrt (- h3 h2))) (/ h1 (- h3 h2)) (/ h1 (- (sqrt h3) (sqrt h2))) (/ h1 (- h3 h2)) (* h1 (+ (* h3 h3) (+ (* h2 h2) (* h3 h2)))) (* h1 (+ h3 h2)) (- (+ (* h4 (/ h2 h1)) h6) (* h4 (/ h3 h1))) (- (+ (* h4 (/ h2 h1)) h6) (* h4 (/ h3 h1))) (- (+ (* h4 (/ h2 h1)) h6) (* h4 (/ h3 h1))) (- (/ h3 h1) (/ h2 h1)) (- (/ h3 h1) (/ h2 h1)) (- (/ h3 h1) (/ h2 h1)) 0.242 * * * [progress]: adding candidates to table 0.417 * * [progress]: iteration 2 / 4 0.417 * * * [progress]: picking best candidate 0.423 * * * * [pick]: Picked # 0.423 * * * [progress]: localizing error 0.435 * * * [progress]: generating rewritten candidates 0.435 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 2) 0.476 * * * [progress]: generating series expansions 0.476 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 2) 0.476 * [backup-simplify]: Simplify (- (/ x y) (/ z y)) into (- (/ x y) (/ z y)) 0.476 * [approximate]: Taking taylor expansion of (- (/ x y) (/ z y)) in (x y z) around 0 0.476 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in z 0.476 * [taylor]: Taking taylor expansion of (/ x y) in z 0.476 * [taylor]: Taking taylor expansion of x in z 0.476 * [backup-simplify]: Simplify x into x 0.476 * [taylor]: Taking taylor expansion of y in z 0.476 * [backup-simplify]: Simplify y into y 0.476 * [backup-simplify]: Simplify (/ x y) into (/ x y) 0.476 * [taylor]: Taking taylor expansion of (/ z y) in z 0.476 * [taylor]: Taking taylor expansion of z in z 0.476 * [backup-simplify]: Simplify 0 into 0 0.476 * [backup-simplify]: Simplify 1 into 1 0.476 * [taylor]: Taking taylor expansion of y in z 0.476 * [backup-simplify]: Simplify y into y 0.476 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.476 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in y 0.476 * [taylor]: Taking taylor expansion of (/ x y) in y 0.476 * [taylor]: Taking taylor expansion of x in y 0.476 * [backup-simplify]: Simplify x into x 0.476 * [taylor]: Taking taylor expansion of y in y 0.476 * [backup-simplify]: Simplify 0 into 0 0.476 * [backup-simplify]: Simplify 1 into 1 0.476 * [backup-simplify]: Simplify (/ x 1) into x 0.476 * [taylor]: Taking taylor expansion of (/ z y) in y 0.476 * [taylor]: Taking taylor expansion of z in y 0.476 * [backup-simplify]: Simplify z into z 0.476 * [taylor]: Taking taylor expansion of y in y 0.476 * [backup-simplify]: Simplify 0 into 0 0.476 * [backup-simplify]: Simplify 1 into 1 0.476 * [backup-simplify]: Simplify (/ z 1) into z 0.476 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x 0.476 * [taylor]: Taking taylor expansion of (/ x y) in x 0.476 * [taylor]: Taking taylor expansion of x in x 0.476 * [backup-simplify]: Simplify 0 into 0 0.476 * [backup-simplify]: Simplify 1 into 1 0.476 * [taylor]: Taking taylor expansion of y in x 0.476 * [backup-simplify]: Simplify y into y 0.476 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.477 * [taylor]: Taking taylor expansion of (/ z y) in x 0.477 * [taylor]: Taking taylor expansion of z in x 0.477 * [backup-simplify]: Simplify z into z 0.477 * [taylor]: Taking taylor expansion of y in x 0.477 * [backup-simplify]: Simplify y into y 0.477 * [backup-simplify]: Simplify (/ z y) into (/ z y) 0.477 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x 0.477 * [taylor]: Taking taylor expansion of (/ x y) in x 0.477 * [taylor]: Taking taylor expansion of x in x 0.477 * [backup-simplify]: Simplify 0 into 0 0.477 * [backup-simplify]: Simplify 1 into 1 0.477 * [taylor]: Taking taylor expansion of y in x 0.477 * [backup-simplify]: Simplify y into y 0.477 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.477 * [taylor]: Taking taylor expansion of (/ z y) in x 0.477 * [taylor]: Taking taylor expansion of z in x 0.477 * [backup-simplify]: Simplify z into z 0.477 * [taylor]: Taking taylor expansion of y in x 0.477 * [backup-simplify]: Simplify y into y 0.477 * [backup-simplify]: Simplify (/ z y) into (/ z y) 0.477 * [backup-simplify]: Simplify (- (/ z y)) into (- (/ z y)) 0.477 * [backup-simplify]: Simplify (+ 0 (- (/ z y))) into (- (/ z y)) 0.477 * [taylor]: Taking taylor expansion of (- (/ z y)) in y 0.477 * [taylor]: Taking taylor expansion of (/ z y) in y 0.477 * [taylor]: Taking taylor expansion of z in y 0.477 * [backup-simplify]: Simplify z into z 0.477 * [taylor]: Taking taylor expansion of y in y 0.477 * [backup-simplify]: Simplify 0 into 0 0.477 * [backup-simplify]: Simplify 1 into 1 0.477 * [backup-simplify]: Simplify (/ z 1) into z 0.477 * [backup-simplify]: Simplify (- z) into (- z) 0.477 * [taylor]: Taking taylor expansion of (- z) in z 0.477 * [taylor]: Taking taylor expansion of z in z 0.477 * [backup-simplify]: Simplify 0 into 0 0.477 * [backup-simplify]: Simplify 1 into 1 0.478 * [backup-simplify]: Simplify (- 0) into 0 0.478 * [backup-simplify]: Simplify 0 into 0 0.478 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 0.478 * [backup-simplify]: Simplify (- 0) into 0 0.478 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 0.478 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.478 * [taylor]: Taking taylor expansion of y in y 0.478 * [backup-simplify]: Simplify 0 into 0 0.478 * [backup-simplify]: Simplify 1 into 1 0.479 * [backup-simplify]: Simplify (/ 1 1) into 1 0.479 * [taylor]: Taking taylor expansion of 1 in z 0.479 * [backup-simplify]: Simplify 1 into 1 0.479 * [backup-simplify]: Simplify 1 into 1 0.479 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 0.479 * [backup-simplify]: Simplify (- 0) into 0 0.479 * [taylor]: Taking taylor expansion of 0 in z 0.479 * [backup-simplify]: Simplify 0 into 0 0.479 * [backup-simplify]: Simplify 0 into 0 0.480 * [backup-simplify]: Simplify (- 1) into -1 0.480 * [backup-simplify]: Simplify -1 into -1 0.480 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 0.480 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.480 * [backup-simplify]: Simplify (- 0) into 0 0.480 * [backup-simplify]: Simplify (+ 0 0) into 0 0.480 * [taylor]: Taking taylor expansion of 0 in y 0.480 * [backup-simplify]: Simplify 0 into 0 0.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.481 * [taylor]: Taking taylor expansion of 0 in z 0.481 * [backup-simplify]: Simplify 0 into 0 0.481 * [backup-simplify]: Simplify 0 into 0 0.482 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.482 * [backup-simplify]: Simplify (- 0) into 0 0.482 * [taylor]: Taking taylor expansion of 0 in z 0.482 * [backup-simplify]: Simplify 0 into 0 0.482 * [backup-simplify]: Simplify 0 into 0 0.482 * [backup-simplify]: Simplify 0 into 0 0.482 * [backup-simplify]: Simplify 0 into 0 0.482 * [backup-simplify]: Simplify (- 0) into 0 0.482 * [backup-simplify]: Simplify 0 into 0 0.483 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.483 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.483 * [backup-simplify]: Simplify (- 0) into 0 0.483 * [backup-simplify]: Simplify (+ 0 0) into 0 0.483 * [taylor]: Taking taylor expansion of 0 in y 0.483 * [backup-simplify]: Simplify 0 into 0 0.483 * [taylor]: Taking taylor expansion of 0 in z 0.483 * [backup-simplify]: Simplify 0 into 0 0.483 * [backup-simplify]: Simplify 0 into 0 0.483 * [backup-simplify]: Simplify (+ (* -1 (* z (* (/ 1 y) 1))) (* 1 (* 1 (* (/ 1 y) x)))) into (- (/ x y) (/ z y)) 0.484 * [backup-simplify]: Simplify (- (/ (/ 1 x) (/ 1 y)) (/ (/ 1 z) (/ 1 y))) into (- (/ y x) (/ y z)) 0.484 * [approximate]: Taking taylor expansion of (- (/ y x) (/ y z)) in (x y z) around 0 0.484 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z 0.484 * [taylor]: Taking taylor expansion of (/ y x) in z 0.484 * [taylor]: Taking taylor expansion of y in z 0.484 * [backup-simplify]: Simplify y into y 0.484 * [taylor]: Taking taylor expansion of x in z 0.484 * [backup-simplify]: Simplify x into x 0.484 * [backup-simplify]: Simplify (/ y x) into (/ y x) 0.484 * [taylor]: Taking taylor expansion of (/ y z) in z 0.484 * [taylor]: Taking taylor expansion of y in z 0.484 * [backup-simplify]: Simplify y into y 0.484 * [taylor]: Taking taylor expansion of z in z 0.484 * [backup-simplify]: Simplify 0 into 0 0.484 * [backup-simplify]: Simplify 1 into 1 0.484 * [backup-simplify]: Simplify (/ y 1) into y 0.484 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y 0.484 * [taylor]: Taking taylor expansion of (/ y x) in y 0.484 * [taylor]: Taking taylor expansion of y in y 0.484 * [backup-simplify]: Simplify 0 into 0 0.484 * [backup-simplify]: Simplify 1 into 1 0.484 * [taylor]: Taking taylor expansion of x in y 0.484 * [backup-simplify]: Simplify x into x 0.484 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.484 * [taylor]: Taking taylor expansion of (/ y z) in y 0.484 * [taylor]: Taking taylor expansion of y in y 0.484 * [backup-simplify]: Simplify 0 into 0 0.484 * [backup-simplify]: Simplify 1 into 1 0.484 * [taylor]: Taking taylor expansion of z in y 0.484 * [backup-simplify]: Simplify z into z 0.484 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.484 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x 0.484 * [taylor]: Taking taylor expansion of (/ y x) in x 0.484 * [taylor]: Taking taylor expansion of y in x 0.484 * [backup-simplify]: Simplify y into y 0.484 * [taylor]: Taking taylor expansion of x in x 0.484 * [backup-simplify]: Simplify 0 into 0 0.484 * [backup-simplify]: Simplify 1 into 1 0.484 * [backup-simplify]: Simplify (/ y 1) into y 0.484 * [taylor]: Taking taylor expansion of (/ y z) in x 0.484 * [taylor]: Taking taylor expansion of y in x 0.484 * [backup-simplify]: Simplify y into y 0.484 * [taylor]: Taking taylor expansion of z in x 0.484 * [backup-simplify]: Simplify z into z 0.484 * [backup-simplify]: Simplify (/ y z) into (/ y z) 0.484 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x 0.484 * [taylor]: Taking taylor expansion of (/ y x) in x 0.484 * [taylor]: Taking taylor expansion of y in x 0.484 * [backup-simplify]: Simplify y into y 0.484 * [taylor]: Taking taylor expansion of x in x 0.484 * [backup-simplify]: Simplify 0 into 0 0.484 * [backup-simplify]: Simplify 1 into 1 0.484 * [backup-simplify]: Simplify (/ y 1) into y 0.484 * [taylor]: Taking taylor expansion of (/ y z) in x 0.485 * [taylor]: Taking taylor expansion of y in x 0.485 * [backup-simplify]: Simplify y into y 0.485 * [taylor]: Taking taylor expansion of z in x 0.485 * [backup-simplify]: Simplify z into z 0.485 * [backup-simplify]: Simplify (/ y z) into (/ y z) 0.485 * [backup-simplify]: Simplify (+ y 0) into y 0.485 * [taylor]: Taking taylor expansion of y in y 0.485 * [backup-simplify]: Simplify 0 into 0 0.485 * [backup-simplify]: Simplify 1 into 1 0.485 * [taylor]: Taking taylor expansion of 1 in z 0.485 * [backup-simplify]: Simplify 1 into 1 0.485 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 0.485 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z)) 0.485 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z)) 0.485 * [taylor]: Taking taylor expansion of (- (/ y z)) in y 0.485 * [taylor]: Taking taylor expansion of (/ y z) in y 0.485 * [taylor]: Taking taylor expansion of y in y 0.485 * [backup-simplify]: Simplify 0 into 0 0.485 * [backup-simplify]: Simplify 1 into 1 0.485 * [taylor]: Taking taylor expansion of z in y 0.486 * [backup-simplify]: Simplify z into z 0.486 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.486 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 0.486 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.486 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.486 * [taylor]: Taking taylor expansion of z in z 0.486 * [backup-simplify]: Simplify 0 into 0 0.486 * [backup-simplify]: Simplify 1 into 1 0.486 * [backup-simplify]: Simplify (/ 1 1) into 1 0.486 * [backup-simplify]: Simplify (- 1) into -1 0.486 * [backup-simplify]: Simplify -1 into -1 0.486 * [taylor]: Taking taylor expansion of 0 in z 0.486 * [backup-simplify]: Simplify 0 into 0 0.486 * [backup-simplify]: Simplify 1 into 1 0.487 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.487 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 0.487 * [backup-simplify]: Simplify (- 0) into 0 0.488 * [backup-simplify]: Simplify (+ 0 0) into 0 0.488 * [taylor]: Taking taylor expansion of 0 in y 0.488 * [backup-simplify]: Simplify 0 into 0 0.488 * [taylor]: Taking taylor expansion of 0 in z 0.488 * [backup-simplify]: Simplify 0 into 0 0.488 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 0.488 * [backup-simplify]: Simplify (- 0) into 0 0.488 * [taylor]: Taking taylor expansion of 0 in z 0.488 * [backup-simplify]: Simplify 0 into 0 0.488 * [taylor]: Taking taylor expansion of 0 in z 0.488 * [backup-simplify]: Simplify 0 into 0 0.489 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.489 * [backup-simplify]: Simplify (- 0) into 0 0.489 * [backup-simplify]: Simplify 0 into 0 0.489 * [backup-simplify]: Simplify 0 into 0 0.489 * [backup-simplify]: Simplify 0 into 0 0.490 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.490 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.490 * [backup-simplify]: Simplify (- 0) into 0 0.491 * [backup-simplify]: Simplify (+ 0 0) into 0 0.491 * [taylor]: Taking taylor expansion of 0 in y 0.491 * [backup-simplify]: Simplify 0 into 0 0.491 * [taylor]: Taking taylor expansion of 0 in z 0.491 * [backup-simplify]: Simplify 0 into 0 0.491 * [taylor]: Taking taylor expansion of 0 in z 0.491 * [backup-simplify]: Simplify 0 into 0 0.491 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.491 * [backup-simplify]: Simplify (- 0) into 0 0.491 * [taylor]: Taking taylor expansion of 0 in z 0.491 * [backup-simplify]: Simplify 0 into 0 0.491 * [taylor]: Taking taylor expansion of 0 in z 0.491 * [backup-simplify]: Simplify 0 into 0 0.491 * [backup-simplify]: Simplify 0 into 0 0.491 * [backup-simplify]: Simplify 0 into 0 0.491 * [backup-simplify]: Simplify 0 into 0 0.491 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 y) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 y) 1)))) into (- (/ x y) (/ z y)) 0.492 * [backup-simplify]: Simplify (- (/ (/ 1 (- x)) (/ 1 (- y))) (/ (/ 1 (- z)) (/ 1 (- y)))) into (- (/ y x) (/ y z)) 0.492 * [approximate]: Taking taylor expansion of (- (/ y x) (/ y z)) in (x y z) around 0 0.492 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z 0.492 * [taylor]: Taking taylor expansion of (/ y x) in z 0.492 * [taylor]: Taking taylor expansion of y in z 0.492 * [backup-simplify]: Simplify y into y 0.492 * [taylor]: Taking taylor expansion of x in z 0.492 * [backup-simplify]: Simplify x into x 0.492 * [backup-simplify]: Simplify (/ y x) into (/ y x) 0.492 * [taylor]: Taking taylor expansion of (/ y z) in z 0.492 * [taylor]: Taking taylor expansion of y in z 0.492 * [backup-simplify]: Simplify y into y 0.492 * [taylor]: Taking taylor expansion of z in z 0.492 * [backup-simplify]: Simplify 0 into 0 0.492 * [backup-simplify]: Simplify 1 into 1 0.492 * [backup-simplify]: Simplify (/ y 1) into y 0.492 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y 0.492 * [taylor]: Taking taylor expansion of (/ y x) in y 0.492 * [taylor]: Taking taylor expansion of y in y 0.492 * [backup-simplify]: Simplify 0 into 0 0.492 * [backup-simplify]: Simplify 1 into 1 0.492 * [taylor]: Taking taylor expansion of x in y 0.492 * [backup-simplify]: Simplify x into x 0.492 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.492 * [taylor]: Taking taylor expansion of (/ y z) in y 0.492 * [taylor]: Taking taylor expansion of y in y 0.492 * [backup-simplify]: Simplify 0 into 0 0.492 * [backup-simplify]: Simplify 1 into 1 0.492 * [taylor]: Taking taylor expansion of z in y 0.492 * [backup-simplify]: Simplify z into z 0.492 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.492 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x 0.492 * [taylor]: Taking taylor expansion of (/ y x) in x 0.492 * [taylor]: Taking taylor expansion of y in x 0.492 * [backup-simplify]: Simplify y into y 0.492 * [taylor]: Taking taylor expansion of x in x 0.492 * [backup-simplify]: Simplify 0 into 0 0.492 * [backup-simplify]: Simplify 1 into 1 0.492 * [backup-simplify]: Simplify (/ y 1) into y 0.492 * [taylor]: Taking taylor expansion of (/ y z) in x 0.492 * [taylor]: Taking taylor expansion of y in x 0.492 * [backup-simplify]: Simplify y into y 0.492 * [taylor]: Taking taylor expansion of z in x 0.492 * [backup-simplify]: Simplify z into z 0.492 * [backup-simplify]: Simplify (/ y z) into (/ y z) 0.492 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x 0.492 * [taylor]: Taking taylor expansion of (/ y x) in x 0.492 * [taylor]: Taking taylor expansion of y in x 0.492 * [backup-simplify]: Simplify y into y 0.492 * [taylor]: Taking taylor expansion of x in x 0.492 * [backup-simplify]: Simplify 0 into 0 0.493 * [backup-simplify]: Simplify 1 into 1 0.493 * [backup-simplify]: Simplify (/ y 1) into y 0.493 * [taylor]: Taking taylor expansion of (/ y z) in x 0.493 * [taylor]: Taking taylor expansion of y in x 0.493 * [backup-simplify]: Simplify y into y 0.493 * [taylor]: Taking taylor expansion of z in x 0.493 * [backup-simplify]: Simplify z into z 0.493 * [backup-simplify]: Simplify (/ y z) into (/ y z) 0.493 * [backup-simplify]: Simplify (+ y 0) into y 0.493 * [taylor]: Taking taylor expansion of y in y 0.493 * [backup-simplify]: Simplify 0 into 0 0.493 * [backup-simplify]: Simplify 1 into 1 0.493 * [taylor]: Taking taylor expansion of 1 in z 0.493 * [backup-simplify]: Simplify 1 into 1 0.493 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 0.493 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z)) 0.493 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z)) 0.493 * [taylor]: Taking taylor expansion of (- (/ y z)) in y 0.494 * [taylor]: Taking taylor expansion of (/ y z) in y 0.494 * [taylor]: Taking taylor expansion of y in y 0.494 * [backup-simplify]: Simplify 0 into 0 0.494 * [backup-simplify]: Simplify 1 into 1 0.494 * [taylor]: Taking taylor expansion of z in y 0.494 * [backup-simplify]: Simplify z into z 0.494 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.494 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 0.494 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.494 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.494 * [taylor]: Taking taylor expansion of z in z 0.494 * [backup-simplify]: Simplify 0 into 0 0.494 * [backup-simplify]: Simplify 1 into 1 0.494 * [backup-simplify]: Simplify (/ 1 1) into 1 0.494 * [backup-simplify]: Simplify (- 1) into -1 0.494 * [backup-simplify]: Simplify -1 into -1 0.494 * [taylor]: Taking taylor expansion of 0 in z 0.494 * [backup-simplify]: Simplify 0 into 0 0.494 * [backup-simplify]: Simplify 1 into 1 0.495 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.495 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 0.495 * [backup-simplify]: Simplify (- 0) into 0 0.496 * [backup-simplify]: Simplify (+ 0 0) into 0 0.496 * [taylor]: Taking taylor expansion of 0 in y 0.496 * [backup-simplify]: Simplify 0 into 0 0.496 * [taylor]: Taking taylor expansion of 0 in z 0.496 * [backup-simplify]: Simplify 0 into 0 0.496 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 0.496 * [backup-simplify]: Simplify (- 0) into 0 0.496 * [taylor]: Taking taylor expansion of 0 in z 0.496 * [backup-simplify]: Simplify 0 into 0 0.496 * [taylor]: Taking taylor expansion of 0 in z 0.496 * [backup-simplify]: Simplify 0 into 0 0.497 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.497 * [backup-simplify]: Simplify (- 0) into 0 0.497 * [backup-simplify]: Simplify 0 into 0 0.497 * [backup-simplify]: Simplify 0 into 0 0.497 * [backup-simplify]: Simplify 0 into 0 0.498 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.498 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.498 * [backup-simplify]: Simplify (- 0) into 0 0.499 * [backup-simplify]: Simplify (+ 0 0) into 0 0.499 * [taylor]: Taking taylor expansion of 0 in y 0.499 * [backup-simplify]: Simplify 0 into 0 0.499 * [taylor]: Taking taylor expansion of 0 in z 0.499 * [backup-simplify]: Simplify 0 into 0 0.499 * [taylor]: Taking taylor expansion of 0 in z 0.499 * [backup-simplify]: Simplify 0 into 0 0.499 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.499 * [backup-simplify]: Simplify (- 0) into 0 0.499 * [taylor]: Taking taylor expansion of 0 in z 0.499 * [backup-simplify]: Simplify 0 into 0 0.499 * [taylor]: Taking taylor expansion of 0 in z 0.499 * [backup-simplify]: Simplify 0 into 0 0.499 * [backup-simplify]: Simplify 0 into 0 0.499 * [backup-simplify]: Simplify 0 into 0 0.499 * [backup-simplify]: Simplify 0 into 0 0.499 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) 1)))) into (- (/ x y) (/ z y)) 0.500 * * * [progress]: simplifying candidates 0.500 * [simplify]: Simplifying: (/ (exp (/ x y)) (exp (/ z y))) (log (- (/ x y) (/ z y))) (exp (- (/ x y) (/ z 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))) (- x z) (- (* x y) (* y z)) (* y y) (- (pow (/ x y) 3) (pow (/ z y) 3)) (+ (* (/ x y) (/ x y)) (+ (* (/ z y) (/ z y)) (* (/ x y) (/ z y)))) (- (/ z y)) (- (* (/ x y) (/ x y)) (* (/ z y) (/ z y))) (+ (/ x y) (/ z y)) (+ (sqrt (/ x y)) (sqrt (/ z y))) (- (sqrt (/ x y)) (sqrt (/ z y))) (+ (sqrt (/ x y)) (/ (sqrt z) (sqrt y))) (- (sqrt (/ x y)) (/ (sqrt z) (sqrt y))) (+ (/ (sqrt x) (sqrt y)) (sqrt (/ z y))) (- (/ (sqrt x) (sqrt y)) (sqrt (/ z y))) (+ (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y))) (- (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y))) (- (/ x (cbrt y)) (/ z (cbrt y))) (- (/ x (sqrt y)) (/ z (sqrt y))) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) (- x z) (- (/ z y)) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) 0.500 * [simplify]: Sending expressions to egg_math: (/ (exp (/ h2 h0)) (exp (/ h1 h0))) (log (- (/ h2 h0) (/ h1 h0))) (exp (- (/ h2 h0) (/ h1 h0))) (* (cbrt (- (/ h2 h0) (/ h1 h0))) (cbrt (- (/ h2 h0) (/ h1 h0)))) (cbrt (- (/ h2 h0) (/ h1 h0))) (* (* (- (/ h2 h0) (/ h1 h0)) (- (/ h2 h0) (/ h1 h0))) (- (/ h2 h0) (/ h1 h0))) (sqrt (- (/ h2 h0) (/ h1 h0))) (sqrt (- (/ h2 h0) (/ h1 h0))) (- h2 h1) (- (* h2 h0) (* h0 h1)) (* h0 h0) (- (pow (/ h2 h0) 3) (pow (/ h1 h0) 3)) (+ (* (/ h2 h0) (/ h2 h0)) (+ (* (/ h1 h0) (/ h1 h0)) (* (/ h2 h0) (/ h1 h0)))) (- (/ h1 h0)) (- (* (/ h2 h0) (/ h2 h0)) (* (/ h1 h0) (/ h1 h0))) (+ (/ h2 h0) (/ h1 h0)) (+ (sqrt (/ h2 h0)) (sqrt (/ h1 h0))) (- (sqrt (/ h2 h0)) (sqrt (/ h1 h0))) (+ (sqrt (/ h2 h0)) (/ (sqrt h1) (sqrt h0))) (- (sqrt (/ h2 h0)) (/ (sqrt h1) (sqrt h0))) (+ (/ (sqrt h2) (sqrt h0)) (sqrt (/ h1 h0))) (- (/ (sqrt h2) (sqrt h0)) (sqrt (/ h1 h0))) (+ (/ (sqrt h2) (sqrt h0)) (/ (sqrt h1) (sqrt h0))) (- (/ (sqrt h2) (sqrt h0)) (/ (sqrt h1) (sqrt h0))) (- (/ h2 (cbrt h0)) (/ h1 (cbrt h0))) (- (/ h2 (sqrt h0)) (/ h1 (sqrt h0))) (- (/ h2 h0) (/ h1 h0)) (- (/ h2 h0) (/ h1 h0)) (- h2 h1) (- (/ h1 h0)) (- (/ h2 h0) (/ h1 h0)) (- (/ h2 h0) (/ h1 h0)) (- (/ h2 h0) (/ h1 h0)) 0.616 * * * [progress]: adding candidates to table 0.696 * * [progress]: iteration 3 / 4 0.696 * * * [progress]: picking best candidate 0.698 * * * * [pick]: Picked # 0.698 * * * [progress]: localizing error 0.707 * * * [progress]: generating rewritten candidates 0.707 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 2) 0.750 * * * [progress]: generating series expansions 0.750 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 2) 0.750 * [backup-simplify]: Simplify (* (/ 1 y) (- x z)) into (/ (- x z) y) 0.750 * [approximate]: Taking taylor expansion of (/ (- x z) y) in (y x z) around 0 0.750 * [taylor]: Taking taylor expansion of (/ (- x z) y) in z 0.750 * [taylor]: Taking taylor expansion of (- x z) in z 0.750 * [taylor]: Taking taylor expansion of x in z 0.750 * [backup-simplify]: Simplify x into x 0.750 * [taylor]: Taking taylor expansion of z in z 0.750 * [backup-simplify]: Simplify 0 into 0 0.750 * [backup-simplify]: Simplify 1 into 1 0.750 * [taylor]: Taking taylor expansion of y in z 0.750 * [backup-simplify]: Simplify y into y 0.750 * [backup-simplify]: Simplify (- 0) into 0 0.751 * [backup-simplify]: Simplify (+ x 0) into x 0.751 * [backup-simplify]: Simplify (/ x y) into (/ x y) 0.751 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x 0.751 * [taylor]: Taking taylor expansion of (- x z) in x 0.751 * [taylor]: Taking taylor expansion of x in x 0.751 * [backup-simplify]: Simplify 0 into 0 0.751 * [backup-simplify]: Simplify 1 into 1 0.751 * [taylor]: Taking taylor expansion of z in x 0.751 * [backup-simplify]: Simplify z into z 0.751 * [taylor]: Taking taylor expansion of y in x 0.751 * [backup-simplify]: Simplify y into y 0.751 * [backup-simplify]: Simplify (- z) into (- z) 0.751 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 0.751 * [backup-simplify]: Simplify (/ (- z) y) into (* -1 (/ z y)) 0.751 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y 0.751 * [taylor]: Taking taylor expansion of (- x z) in y 0.751 * [taylor]: Taking taylor expansion of x in y 0.751 * [backup-simplify]: Simplify x into x 0.751 * [taylor]: Taking taylor expansion of z in y 0.751 * [backup-simplify]: Simplify z into z 0.751 * [taylor]: Taking taylor expansion of y in y 0.751 * [backup-simplify]: Simplify 0 into 0 0.751 * [backup-simplify]: Simplify 1 into 1 0.751 * [backup-simplify]: Simplify (- z) into (- z) 0.751 * [backup-simplify]: Simplify (+ x (- z)) into (- x z) 0.751 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z) 0.751 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y 0.751 * [taylor]: Taking taylor expansion of (- x z) in y 0.751 * [taylor]: Taking taylor expansion of x in y 0.751 * [backup-simplify]: Simplify x into x 0.751 * [taylor]: Taking taylor expansion of z in y 0.751 * [backup-simplify]: Simplify z into z 0.751 * [taylor]: Taking taylor expansion of y in y 0.751 * [backup-simplify]: Simplify 0 into 0 0.751 * [backup-simplify]: Simplify 1 into 1 0.751 * [backup-simplify]: Simplify (- z) into (- z) 0.751 * [backup-simplify]: Simplify (+ x (- z)) into (- x z) 0.751 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z) 0.751 * [taylor]: Taking taylor expansion of (- x z) in x 0.751 * [taylor]: Taking taylor expansion of x in x 0.751 * [backup-simplify]: Simplify 0 into 0 0.751 * [backup-simplify]: Simplify 1 into 1 0.751 * [taylor]: Taking taylor expansion of z in x 0.752 * [backup-simplify]: Simplify z into z 0.752 * [backup-simplify]: Simplify (- z) into (- z) 0.752 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 0.752 * [taylor]: Taking taylor expansion of (- z) in z 0.752 * [taylor]: Taking taylor expansion of z in z 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify 1 into 1 0.752 * [backup-simplify]: Simplify (- 0) into 0 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify (- 0) into 0 0.752 * [backup-simplify]: Simplify (+ 0 0) into 0 0.753 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- x z) (/ 0 1)))) into 0 0.753 * [taylor]: Taking taylor expansion of 0 in x 0.753 * [backup-simplify]: Simplify 0 into 0 0.753 * [taylor]: Taking taylor expansion of 0 in z 0.753 * [backup-simplify]: Simplify 0 into 0 0.753 * [backup-simplify]: Simplify 0 into 0 0.753 * [backup-simplify]: Simplify (- 0) into 0 0.754 * [backup-simplify]: Simplify (+ 1 0) into 1 0.754 * [taylor]: Taking taylor expansion of 1 in z 0.754 * [backup-simplify]: Simplify 1 into 1 0.754 * [backup-simplify]: Simplify 1 into 1 0.754 * [backup-simplify]: Simplify (- 1) into -1 0.754 * [backup-simplify]: Simplify -1 into -1 0.754 * [backup-simplify]: Simplify (- 0) into 0 0.754 * [backup-simplify]: Simplify (+ 0 0) into 0 0.755 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- x z) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.755 * [taylor]: Taking taylor expansion of 0 in x 0.755 * [backup-simplify]: Simplify 0 into 0 0.755 * [taylor]: Taking taylor expansion of 0 in z 0.755 * [backup-simplify]: Simplify 0 into 0 0.755 * [backup-simplify]: Simplify 0 into 0 0.755 * [taylor]: Taking taylor expansion of 0 in z 0.755 * [backup-simplify]: Simplify 0 into 0 0.755 * [backup-simplify]: Simplify 0 into 0 0.756 * [backup-simplify]: Simplify (- 0) into 0 0.756 * [backup-simplify]: Simplify (+ 0 0) into 0 0.756 * [taylor]: Taking taylor expansion of 0 in z 0.756 * [backup-simplify]: Simplify 0 into 0 0.756 * [backup-simplify]: Simplify 0 into 0 0.756 * [backup-simplify]: Simplify 0 into 0 0.756 * [backup-simplify]: Simplify 0 into 0 0.756 * [backup-simplify]: Simplify (- 0) into 0 0.756 * [backup-simplify]: Simplify 0 into 0 0.756 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 (/ 1 y)))) (* 1 (* 1 (* x (/ 1 y))))) into (- (/ x y) (/ z y)) 0.756 * [backup-simplify]: Simplify (* (/ 1 (/ 1 y)) (- (/ 1 x) (/ 1 z))) into (* y (- (/ 1 x) (/ 1 z))) 0.756 * [approximate]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in (y x z) around 0 0.756 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in z 0.757 * [taylor]: Taking taylor expansion of y in z 0.757 * [backup-simplify]: Simplify y into y 0.757 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 0.757 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.757 * [taylor]: Taking taylor expansion of x in z 0.757 * [backup-simplify]: Simplify x into x 0.757 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.757 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.757 * [taylor]: Taking taylor expansion of z in z 0.757 * [backup-simplify]: Simplify 0 into 0 0.757 * [backup-simplify]: Simplify 1 into 1 0.757 * [backup-simplify]: Simplify (/ 1 1) into 1 0.757 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 0.757 * [taylor]: Taking taylor expansion of y in x 0.757 * [backup-simplify]: Simplify y into y 0.757 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 0.757 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.757 * [taylor]: Taking taylor expansion of x in x 0.757 * [backup-simplify]: Simplify 0 into 0 0.757 * [backup-simplify]: Simplify 1 into 1 0.757 * [backup-simplify]: Simplify (/ 1 1) into 1 0.757 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.757 * [taylor]: Taking taylor expansion of z in x 0.757 * [backup-simplify]: Simplify z into z 0.757 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.757 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y 0.757 * [taylor]: Taking taylor expansion of y in y 0.757 * [backup-simplify]: Simplify 0 into 0 0.757 * [backup-simplify]: Simplify 1 into 1 0.757 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 0.757 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.757 * [taylor]: Taking taylor expansion of x in y 0.758 * [backup-simplify]: Simplify x into x 0.758 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.758 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.758 * [taylor]: Taking taylor expansion of z in y 0.758 * [backup-simplify]: Simplify z into z 0.758 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.758 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y 0.758 * [taylor]: Taking taylor expansion of y in y 0.758 * [backup-simplify]: Simplify 0 into 0 0.758 * [backup-simplify]: Simplify 1 into 1 0.758 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 0.758 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.758 * [taylor]: Taking taylor expansion of x in y 0.758 * [backup-simplify]: Simplify x into x 0.758 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.758 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.758 * [taylor]: Taking taylor expansion of z in y 0.758 * [backup-simplify]: Simplify z into z 0.758 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.758 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 0.758 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 0.758 * [backup-simplify]: Simplify (* 0 (- (/ 1 x) (/ 1 z))) into 0 0.758 * [taylor]: Taking taylor expansion of 0 in x 0.758 * [backup-simplify]: Simplify 0 into 0 0.758 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.758 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.759 * [backup-simplify]: Simplify (- 0) into 0 0.759 * [backup-simplify]: Simplify (+ 0 0) into 0 0.759 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 x) (/ 1 z)))) into (- (/ 1 x) (/ 1 z)) 0.759 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 0.759 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.759 * [taylor]: Taking taylor expansion of x in x 0.759 * [backup-simplify]: Simplify 0 into 0 0.759 * [backup-simplify]: Simplify 1 into 1 0.759 * [backup-simplify]: Simplify (/ 1 1) into 1 0.759 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.759 * [taylor]: Taking taylor expansion of z in x 0.759 * [backup-simplify]: Simplify z into z 0.760 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.760 * [backup-simplify]: Simplify (+ 1 0) into 1 0.760 * [taylor]: Taking taylor expansion of 1 in z 0.760 * [backup-simplify]: Simplify 1 into 1 0.760 * [taylor]: Taking taylor expansion of 0 in z 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.760 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.760 * [backup-simplify]: Simplify (- 0) into 0 0.761 * [backup-simplify]: Simplify (+ 0 0) into 0 0.761 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (/ 1 x) (/ 1 z))))) into 0 0.761 * [taylor]: Taking taylor expansion of 0 in x 0.761 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.762 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 0.762 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 0.762 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.762 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.762 * [taylor]: Taking taylor expansion of z in z 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify 1 into 1 0.762 * [backup-simplify]: Simplify (/ 1 1) into 1 0.762 * [backup-simplify]: Simplify (- 1) into -1 0.762 * [backup-simplify]: Simplify -1 into -1 0.762 * [taylor]: Taking taylor expansion of 0 in z 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify 1 into 1 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.763 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.763 * [backup-simplify]: Simplify (- 0) into 0 0.763 * [backup-simplify]: Simplify (+ 0 0) into 0 0.764 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z)))))) into 0 0.764 * [taylor]: Taking taylor expansion of 0 in x 0.764 * [backup-simplify]: Simplify 0 into 0 0.764 * [taylor]: Taking taylor expansion of 0 in z 0.764 * [backup-simplify]: Simplify 0 into 0 0.764 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.765 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.765 * [backup-simplify]: Simplify (- 0) into 0 0.765 * [backup-simplify]: Simplify (+ 0 0) into 0 0.765 * [taylor]: Taking taylor expansion of 0 in z 0.765 * [backup-simplify]: Simplify 0 into 0 0.765 * [taylor]: Taking taylor expansion of 0 in z 0.765 * [backup-simplify]: Simplify 0 into 0 0.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.766 * [backup-simplify]: Simplify (- 0) into 0 0.766 * [backup-simplify]: Simplify 0 into 0 0.766 * [backup-simplify]: Simplify 0 into 0 0.766 * [backup-simplify]: Simplify 0 into 0 0.766 * [backup-simplify]: Simplify 0 into 0 0.766 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.766 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.766 * [backup-simplify]: Simplify (- 0) into 0 0.767 * [backup-simplify]: Simplify (+ 0 0) into 0 0.768 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z))))))) into 0 0.768 * [taylor]: Taking taylor expansion of 0 in x 0.768 * [backup-simplify]: Simplify 0 into 0 0.768 * [taylor]: Taking taylor expansion of 0 in z 0.768 * [backup-simplify]: Simplify 0 into 0 0.768 * [taylor]: Taking taylor expansion of 0 in z 0.768 * [backup-simplify]: Simplify 0 into 0 0.769 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.769 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.769 * [backup-simplify]: Simplify (- 0) into 0 0.769 * [backup-simplify]: Simplify (+ 0 0) into 0 0.769 * [taylor]: Taking taylor expansion of 0 in z 0.769 * [backup-simplify]: Simplify 0 into 0 0.770 * [taylor]: Taking taylor expansion of 0 in z 0.770 * [backup-simplify]: Simplify 0 into 0 0.770 * [backup-simplify]: Simplify 0 into 0 0.770 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 y)))) (* -1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 y))))) into (- (/ x y) (/ z y)) 0.770 * [backup-simplify]: Simplify (* (/ 1 (/ 1 (- y))) (- (/ 1 (- x)) (/ 1 (- z)))) into (* -1 (* y (- (/ 1 z) (/ 1 x)))) 0.770 * [approximate]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in (y x z) around 0 0.770 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in z 0.770 * [taylor]: Taking taylor expansion of -1 in z 0.770 * [backup-simplify]: Simplify -1 into -1 0.770 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z 0.770 * [taylor]: Taking taylor expansion of y in z 0.770 * [backup-simplify]: Simplify y into y 0.770 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 0.770 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.770 * [taylor]: Taking taylor expansion of z in z 0.770 * [backup-simplify]: Simplify 0 into 0 0.770 * [backup-simplify]: Simplify 1 into 1 0.771 * [backup-simplify]: Simplify (/ 1 1) into 1 0.771 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.771 * [taylor]: Taking taylor expansion of x in z 0.771 * [backup-simplify]: Simplify x into x 0.771 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.771 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x 0.771 * [taylor]: Taking taylor expansion of -1 in x 0.771 * [backup-simplify]: Simplify -1 into -1 0.771 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 0.771 * [taylor]: Taking taylor expansion of y in x 0.771 * [backup-simplify]: Simplify y into y 0.771 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 0.771 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.771 * [taylor]: Taking taylor expansion of z in x 0.771 * [backup-simplify]: Simplify z into z 0.771 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.771 * [taylor]: Taking taylor expansion of x in x 0.771 * [backup-simplify]: Simplify 0 into 0 0.771 * [backup-simplify]: Simplify 1 into 1 0.771 * [backup-simplify]: Simplify (/ 1 1) into 1 0.771 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in y 0.771 * [taylor]: Taking taylor expansion of -1 in y 0.771 * [backup-simplify]: Simplify -1 into -1 0.771 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y 0.771 * [taylor]: Taking taylor expansion of y in y 0.771 * [backup-simplify]: Simplify 0 into 0 0.771 * [backup-simplify]: Simplify 1 into 1 0.771 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 0.771 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.771 * [taylor]: Taking taylor expansion of z in y 0.771 * [backup-simplify]: Simplify z into z 0.771 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.771 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.771 * [taylor]: Taking taylor expansion of x in y 0.771 * [backup-simplify]: Simplify x into x 0.771 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.771 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in y 0.771 * [taylor]: Taking taylor expansion of -1 in y 0.772 * [backup-simplify]: Simplify -1 into -1 0.772 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y 0.772 * [taylor]: Taking taylor expansion of y in y 0.772 * [backup-simplify]: Simplify 0 into 0 0.772 * [backup-simplify]: Simplify 1 into 1 0.772 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 0.772 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.772 * [taylor]: Taking taylor expansion of z in y 0.772 * [backup-simplify]: Simplify z into z 0.772 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.772 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.772 * [taylor]: Taking taylor expansion of x in y 0.772 * [backup-simplify]: Simplify x into x 0.772 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.772 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 0.772 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 0.772 * [backup-simplify]: Simplify (* 0 (- (/ 1 z) (/ 1 x))) into 0 0.772 * [backup-simplify]: Simplify (* -1 0) into 0 0.772 * [taylor]: Taking taylor expansion of 0 in x 0.772 * [backup-simplify]: Simplify 0 into 0 0.772 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.772 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.773 * [backup-simplify]: Simplify (- 0) into 0 0.773 * [backup-simplify]: Simplify (+ 0 0) into 0 0.773 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 z) (/ 1 x)))) into (- (/ 1 z) (/ 1 x)) 0.774 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 z) (/ 1 x))) (* 0 0)) into (- (/ 1 x) (/ 1 z)) 0.774 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 0.774 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.774 * [taylor]: Taking taylor expansion of x in x 0.774 * [backup-simplify]: Simplify 0 into 0 0.774 * [backup-simplify]: Simplify 1 into 1 0.774 * [backup-simplify]: Simplify (/ 1 1) into 1 0.774 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.774 * [taylor]: Taking taylor expansion of z in x 0.774 * [backup-simplify]: Simplify z into z 0.774 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.774 * [backup-simplify]: Simplify (+ 1 0) into 1 0.774 * [taylor]: Taking taylor expansion of 1 in z 0.774 * [backup-simplify]: Simplify 1 into 1 0.774 * [taylor]: Taking taylor expansion of 0 in z 0.774 * [backup-simplify]: Simplify 0 into 0 0.774 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.775 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.775 * [backup-simplify]: Simplify (- 0) into 0 0.775 * [backup-simplify]: Simplify (+ 0 0) into 0 0.776 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0 0.776 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (/ 1 z) (/ 1 x))) (* 0 0))) into 0 0.776 * [taylor]: Taking taylor expansion of 0 in x 0.776 * [backup-simplify]: Simplify 0 into 0 0.777 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.777 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 0.777 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 0.777 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.777 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.777 * [taylor]: Taking taylor expansion of z in z 0.777 * [backup-simplify]: Simplify 0 into 0 0.777 * [backup-simplify]: Simplify 1 into 1 0.777 * [backup-simplify]: Simplify (/ 1 1) into 1 0.777 * [backup-simplify]: Simplify (- 1) into -1 0.777 * [backup-simplify]: Simplify -1 into -1 0.777 * [taylor]: Taking taylor expansion of 0 in z 0.777 * [backup-simplify]: Simplify 0 into 0 0.777 * [backup-simplify]: Simplify 1 into 1 0.777 * [backup-simplify]: Simplify 0 into 0 0.778 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.778 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.778 * [backup-simplify]: Simplify (- 0) into 0 0.778 * [backup-simplify]: Simplify (+ 0 0) into 0 0.779 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x)))))) into 0 0.780 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 x))) (* 0 0)))) into 0 0.780 * [taylor]: Taking taylor expansion of 0 in x 0.780 * [backup-simplify]: Simplify 0 into 0 0.780 * [taylor]: Taking taylor expansion of 0 in z 0.780 * [backup-simplify]: Simplify 0 into 0 0.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.780 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.781 * [backup-simplify]: Simplify (- 0) into 0 0.781 * [backup-simplify]: Simplify (+ 0 0) into 0 0.781 * [taylor]: Taking taylor expansion of 0 in z 0.781 * [backup-simplify]: Simplify 0 into 0 0.781 * [taylor]: Taking taylor expansion of 0 in z 0.781 * [backup-simplify]: Simplify 0 into 0 0.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.781 * [backup-simplify]: Simplify (- 0) into 0 0.782 * [backup-simplify]: Simplify 0 into 0 0.782 * [backup-simplify]: Simplify 0 into 0 0.782 * [backup-simplify]: Simplify 0 into 0 0.782 * [backup-simplify]: Simplify 0 into 0 0.782 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.782 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.782 * [backup-simplify]: Simplify (- 0) into 0 0.782 * [backup-simplify]: Simplify (+ 0 0) into 0 0.783 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x))))))) into 0 0.784 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 x))) (* 0 0))))) into 0 0.784 * [taylor]: Taking taylor expansion of 0 in x 0.784 * [backup-simplify]: Simplify 0 into 0 0.784 * [taylor]: Taking taylor expansion of 0 in z 0.784 * [backup-simplify]: Simplify 0 into 0 0.784 * [taylor]: Taking taylor expansion of 0 in z 0.784 * [backup-simplify]: Simplify 0 into 0 0.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.785 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.785 * [backup-simplify]: Simplify (- 0) into 0 0.785 * [backup-simplify]: Simplify (+ 0 0) into 0 0.786 * [taylor]: Taking taylor expansion of 0 in z 0.786 * [backup-simplify]: Simplify 0 into 0 0.786 * [taylor]: Taking taylor expansion of 0 in z 0.786 * [backup-simplify]: Simplify 0 into 0 0.786 * [backup-simplify]: Simplify 0 into 0 0.786 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (- y))))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (- y)))))) into (- (/ x y) (/ z y)) 0.786 * * * [progress]: simplifying candidates 0.787 * [simplify]: Simplifying: (* (/ 1 y) (- x z)) (+ (- (log y)) (log (- x z))) (+ (- 0 (log y)) (log (- x z))) (+ (- (log 1) (log y)) (log (- x z))) (+ (log (/ 1 y)) (log (- x z))) (log (* (/ 1 y) (- x z))) (exp (* (/ 1 y) (- x z))) (* (/ (* (* 1 1) 1) (* (* y y) y)) (* (* (- x z) (- x z)) (- x z))) (* (* (* (/ 1 y) (/ 1 y)) (/ 1 y)) (* (* (- x z) (- x z)) (- x z))) (* (cbrt (* (/ 1 y) (- x z))) (cbrt (* (/ 1 y) (- x z)))) (cbrt (* (/ 1 y) (- x z))) (* (* (* (/ 1 y) (- x z)) (* (/ 1 y) (- x z))) (* (/ 1 y) (- x z))) (sqrt (* (/ 1 y) (- x z))) (sqrt (* (/ 1 y) (- x z))) (* 1 (- (pow x 3) (pow z 3))) (* y (+ (* x x) (+ (* z z) (* x z)))) (* 1 (- (* x x) (* z z))) (* y (+ x z)) (* (sqrt (/ 1 y)) (sqrt (- x z))) (* (sqrt (/ 1 y)) (sqrt (- x z))) (* (/ (sqrt 1) (sqrt y)) (sqrt (- x z))) (* (/ (sqrt 1) (sqrt y)) (sqrt (- x z))) (* (/ 1 (sqrt y)) (sqrt (- x z))) (* (/ 1 (sqrt y)) (sqrt (- x z))) (* (/ 1 y) x) (* (/ 1 y) (- z)) (* (/ 1 y) x) (* (/ 1 y) (- z)) (* x (/ 1 y)) (* (- z) (/ 1 y)) (* x (/ 1 y)) (* (- z) (/ 1 y)) (* (/ 1 y) (* (cbrt (- x z)) (cbrt (- x z)))) (* (/ 1 y) (sqrt (- x z))) (* (/ 1 y) 1) (* (/ 1 y) (+ (sqrt x) (sqrt z))) (* (/ 1 y) 1) (* (cbrt (/ 1 y)) (- x z)) (* (sqrt (/ 1 y)) (- x z)) (* (/ (cbrt 1) (cbrt y)) (- x z)) (* (/ (cbrt 1) (sqrt y)) (- x z)) (* (/ (cbrt 1) y) (- x z)) (* (/ (sqrt 1) (cbrt y)) (- x z)) (* (/ (sqrt 1) (sqrt y)) (- x z)) (* (/ (sqrt 1) y) (- x z)) (* (/ 1 (cbrt y)) (- x z)) (* (/ 1 (sqrt y)) (- x z)) (* (/ 1 y) (- x z)) (* (/ 1 y) (- x z)) (* (/ 1 y) (- x z)) (* (/ 1 y) (- (pow x 3) (pow z 3))) (* (/ 1 y) (- (* x x) (* z z))) (* 1 (- x z)) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) 0.787 * [simplify]: Sending expressions to egg_math: (* (/ 1 h2) (- h1 h0)) (+ (- (log h2)) (log (- h1 h0))) (+ (- 0 (log h2)) (log (- h1 h0))) (+ (- (log 1) (log h2)) (log (- h1 h0))) (+ (log (/ 1 h2)) (log (- h1 h0))) (log (* (/ 1 h2) (- h1 h0))) (exp (* (/ 1 h2) (- h1 h0))) (* (/ (* (* 1 1) 1) (* (* h2 h2) h2)) (* (* (- h1 h0) (- h1 h0)) (- h1 h0))) (* (* (* (/ 1 h2) (/ 1 h2)) (/ 1 h2)) (* (* (- h1 h0) (- h1 h0)) (- h1 h0))) (* (cbrt (* (/ 1 h2) (- h1 h0))) (cbrt (* (/ 1 h2) (- h1 h0)))) (cbrt (* (/ 1 h2) (- h1 h0))) (* (* (* (/ 1 h2) (- h1 h0)) (* (/ 1 h2) (- h1 h0))) (* (/ 1 h2) (- h1 h0))) (sqrt (* (/ 1 h2) (- h1 h0))) (sqrt (* (/ 1 h2) (- h1 h0))) (* 1 (- (pow h1 3) (pow h0 3))) (* h2 (+ (* h1 h1) (+ (* h0 h0) (* h1 h0)))) (* 1 (- (* h1 h1) (* h0 h0))) (* h2 (+ h1 h0)) (* (sqrt (/ 1 h2)) (sqrt (- h1 h0))) (* (sqrt (/ 1 h2)) (sqrt (- h1 h0))) (* (/ (sqrt 1) (sqrt h2)) (sqrt (- h1 h0))) (* (/ (sqrt 1) (sqrt h2)) (sqrt (- h1 h0))) (* (/ 1 (sqrt h2)) (sqrt (- h1 h0))) (* (/ 1 (sqrt h2)) (sqrt (- h1 h0))) (* (/ 1 h2) h1) (* (/ 1 h2) (- h0)) (* (/ 1 h2) h1) (* (/ 1 h2) (- h0)) (* h1 (/ 1 h2)) (* (- h0) (/ 1 h2)) (* h1 (/ 1 h2)) (* (- h0) (/ 1 h2)) (* (/ 1 h2) (* (cbrt (- h1 h0)) (cbrt (- h1 h0)))) (* (/ 1 h2) (sqrt (- h1 h0))) (* (/ 1 h2) 1) (* (/ 1 h2) (+ (sqrt h1) (sqrt h0))) (* (/ 1 h2) 1) (* (cbrt (/ 1 h2)) (- h1 h0)) (* (sqrt (/ 1 h2)) (- h1 h0)) (* (/ (cbrt 1) (cbrt h2)) (- h1 h0)) (* (/ (cbrt 1) (sqrt h2)) (- h1 h0)) (* (/ (cbrt 1) h2) (- h1 h0)) (* (/ (sqrt 1) (cbrt h2)) (- h1 h0)) (* (/ (sqrt 1) (sqrt h2)) (- h1 h0)) (* (/ (sqrt 1) h2) (- h1 h0)) (* (/ 1 (cbrt h2)) (- h1 h0)) (* (/ 1 (sqrt h2)) (- h1 h0)) (* (/ 1 h2) (- h1 h0)) (* (/ 1 h2) (- h1 h0)) (* (/ 1 h2) (- h1 h0)) (* (/ 1 h2) (- (pow h1 3) (pow h0 3))) (* (/ 1 h2) (- (* h1 h1) (* h0 h0))) (* 1 (- h1 h0)) (- (/ h1 h2) (/ h0 h2)) (- (/ h1 h2) (/ h0 h2)) (- (/ h1 h2) (/ h0 h2)) 0.843 * * * [progress]: adding candidates to table 0.938 * [progress]: [Phase 3 of 3] Extracting. 0.938 * * [regime]: Finding splitpoints for: (# #) 0.939 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 0.939 * * * * [regimes]: Trying to branch on z from (# #) 0.955 * * * * [regimes]: Trying to branch on y from (# #) 0.974 * * * * [regimes]: Trying to branch on x from (# #) 0.988 * * * [regime]: Found split indices: #