12.268 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.100 * * * [progress]: [2/2] Setting up program. 0.103 * [progress]: [Phase 2 of 3] Improving. 0.104 * [simplify]: Simplifying: (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) 0.104 * * [simplify]: Extracting # 0 : cost 0 0.104 * * [simplify]: Extracting # 1 : cost 0 0.104 * * [simplify]: Extracting # 2 : cost 0 0.104 * * [simplify]: Extracting # 3 : cost 0 0.104 * * [simplify]: Extracting # 4 : cost 0 0.104 * * [simplify]: Extracting # 5 : cost 0 0.104 * * [simplify]: Extracting # 6 : cost 0 0.104 * * [simplify]: Extracting # 7 : cost 0 0.104 * * [simplify]: iteration 0 : 17 enodes (cost 17 ) 0.106 * * [simplify]: Extracting # 0 : cost 0 0.106 * * [simplify]: Extracting # 1 : cost 0 0.106 * * [simplify]: Extracting # 2 : cost 0 0.106 * * [simplify]: iteration 1 : 33 enodes (cost 16 ) 0.111 * * [simplify]: Extracting # 0 : cost 0 0.111 * * [simplify]: Extracting # 1 : cost 0 0.111 * * [simplify]: Extracting # 2 : cost 0 0.111 * * [simplify]: iteration 2 : 73 enodes (cost 16 ) 0.126 * * [simplify]: Extracting # 0 : cost 0 0.126 * * [simplify]: Extracting # 1 : cost 0 0.127 * * [simplify]: Extracting # 2 : cost 0 0.127 * * [simplify]: iteration 3 : 143 enodes (cost 16 ) 0.210 * * [simplify]: Extracting # 0 : cost 0 0.211 * * [simplify]: Extracting # 1 : cost 0 0.211 * * [simplify]: Extracting # 2 : cost 0 0.211 * * [simplify]: iteration 4 : 264 enodes (cost 15 ) 0.345 * * [simplify]: Extracting # 0 : cost 0 0.345 * * [simplify]: Extracting # 1 : cost 0 0.346 * * [simplify]: Extracting # 2 : cost 0 0.346 * * [simplify]: iteration 5 : 437 enodes (cost 15 ) 0.546 * * [simplify]: Extracting # 0 : cost 0 0.547 * * [simplify]: Extracting # 1 : cost 0 0.547 * * [simplify]: Extracting # 2 : cost 0 0.548 * * [simplify]: iteration 6 : 653 enodes (cost 15 ) 0.960 * * [simplify]: Extracting # 0 : cost 0 0.961 * * [simplify]: Extracting # 1 : cost 0 0.962 * * [simplify]: Extracting # 2 : cost 0 0.963 * * [simplify]: iteration 7 : 951 enodes (cost 15 ) 1.498 * * [simplify]: Extracting # 0 : cost 0 1.499 * * [simplify]: Extracting # 1 : cost 0 1.499 * * [simplify]: Extracting # 2 : cost 0 1.500 * * [simplify]: iteration 8 : 1201 enodes (cost 15 ) 2.595 * * [simplify]: Extracting # 0 : cost 0 2.596 * * [simplify]: Extracting # 1 : cost 0 2.596 * * [simplify]: iteration 9 : 1301 enodes (cost 15 ) 3.143 * * [simplify]: Extracting # 0 : cost 0 3.144 * * [simplify]: iteration done: 1301 enodes (cost 15 ) 3.144 * [simplify]: Simplified to: (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c))) 3.149 * * [progress]: iteration 1 / 4 3.149 * * * [progress]: picking best candidate 3.152 * * * * [pick]: Picked # 3.152 * * * [progress]: localizing error 3.167 * * * [progress]: generating rewritten candidates 3.167 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.173 * * * [progress]: generating series expansions 3.173 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.173 * [backup-simplify]: Simplify (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c))) into (fma (* 0.0625 z) t (fma x y (fma (* 0.25 a) (- b) c))) 3.174 * [approximate]: Taking taylor expansion of (fma (* 0.0625 z) t (fma x y (fma (* 0.25 a) (- b) c))) in (z t x y a b c) around 0 3.174 * [taylor]: Taking taylor expansion of (fma (* 0.0625 z) t (fma x y (fma (* 0.25 a) (- b) c))) in c 3.174 * [taylor]: Rewrote expression to (+ (* (* 0.0625 z) t) (fma x y (fma (* 0.25 a) (- b) c))) 3.174 * [taylor]: Taking taylor expansion of (* (* 0.0625 z) t) in c 3.174 * [taylor]: Taking taylor expansion of (* 0.0625 z) in c 3.174 * [taylor]: Taking taylor expansion of 0.0625 in c 3.174 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.174 * [taylor]: Taking taylor expansion of z in c 3.174 * [backup-simplify]: Simplify z into z 3.174 * [taylor]: Taking taylor expansion of t in c 3.174 * [backup-simplify]: Simplify t into t 3.174 * [taylor]: Taking taylor expansion of (fma x y (fma (* 0.25 a) (- b) c)) in c 3.174 * [taylor]: Rewrote expression to (+ (* x y) (fma (* 0.25 a) (- b) c)) 3.174 * [taylor]: Taking taylor expansion of (* x y) in c 3.174 * [taylor]: Taking taylor expansion of x in c 3.174 * [backup-simplify]: Simplify x into x 3.174 * [taylor]: Taking taylor expansion of y in c 3.174 * [backup-simplify]: Simplify y into y 3.174 * [taylor]: Taking taylor expansion of (fma (* 0.25 a) (- b) c) in c 3.174 * [taylor]: Rewrote expression to (+ (* (* 0.25 a) (- b)) c) 3.174 * [taylor]: Taking taylor expansion of (* (* 0.25 a) (- b)) in c 3.174 * [taylor]: Taking taylor expansion of (* 0.25 a) in c 3.174 * [taylor]: Taking taylor expansion of 0.25 in c 3.174 * [backup-simplify]: Simplify 0.25 into 0.25 3.174 * [taylor]: Taking taylor expansion of a in c 3.174 * [backup-simplify]: Simplify a into a 3.174 * [taylor]: Taking taylor expansion of (- b) in c 3.174 * [taylor]: Taking taylor expansion of b in c 3.174 * [backup-simplify]: Simplify b into b 3.174 * [taylor]: Taking taylor expansion of c in c 3.174 * [backup-simplify]: Simplify 0 into 0 3.174 * [backup-simplify]: Simplify 1 into 1 3.174 * [taylor]: Taking taylor expansion of (fma (* 0.0625 z) t (fma x y (fma (* 0.25 a) (- b) c))) in b 3.174 * [taylor]: Rewrote expression to (+ (* (* 0.0625 z) t) (fma x y (fma (* 0.25 a) (- b) c))) 3.174 * [taylor]: Taking taylor expansion of (* (* 0.0625 z) t) in b 3.175 * [taylor]: Taking taylor expansion of (* 0.0625 z) in b 3.175 * [taylor]: Taking taylor expansion of 0.0625 in b 3.175 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.175 * [taylor]: Taking taylor expansion of z in b 3.175 * [backup-simplify]: Simplify z into z 3.175 * [taylor]: Taking taylor expansion of t in b 3.175 * [backup-simplify]: Simplify t into t 3.175 * [taylor]: Taking taylor expansion of (fma x y (fma (* 0.25 a) (- b) c)) in b 3.175 * [taylor]: Rewrote expression to (+ (* x y) (fma (* 0.25 a) (- b) c)) 3.175 * [taylor]: Taking taylor expansion of (* x y) in b 3.175 * [taylor]: Taking taylor expansion of x in b 3.175 * [backup-simplify]: Simplify x into x 3.175 * [taylor]: Taking taylor expansion of y in b 3.175 * [backup-simplify]: Simplify y into y 3.175 * [taylor]: Taking taylor expansion of (fma (* 0.25 a) (- b) c) in b 3.175 * [taylor]: Rewrote expression to (+ (* (* 0.25 a) (- b)) c) 3.175 * [taylor]: Taking taylor expansion of (* (* 0.25 a) (- b)) in b 3.175 * [taylor]: Taking taylor expansion of (* 0.25 a) in b 3.175 * [taylor]: Taking taylor expansion of 0.25 in b 3.175 * [backup-simplify]: Simplify 0.25 into 0.25 3.175 * [taylor]: Taking taylor expansion of a in b 3.175 * [backup-simplify]: Simplify a into a 3.175 * [taylor]: Taking taylor expansion of (- b) in b 3.175 * [taylor]: Taking taylor expansion of b in b 3.175 * [backup-simplify]: Simplify 0 into 0 3.175 * [backup-simplify]: Simplify 1 into 1 3.175 * [taylor]: Taking taylor expansion of c in b 3.175 * [backup-simplify]: Simplify c into c 3.175 * [taylor]: Taking taylor expansion of (fma (* 0.0625 z) t (fma x y (fma (* 0.25 a) (- b) c))) in a 3.175 * [taylor]: Rewrote expression to (+ (* (* 0.0625 z) t) (fma x y (fma (* 0.25 a) (- b) c))) 3.175 * [taylor]: Taking taylor expansion of (* (* 0.0625 z) t) in a 3.175 * [taylor]: Taking taylor expansion of (* 0.0625 z) in a 3.175 * [taylor]: Taking taylor expansion of 0.0625 in a 3.175 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.175 * [taylor]: Taking taylor expansion of z in a 3.175 * [backup-simplify]: Simplify z into z 3.175 * [taylor]: Taking taylor expansion of t in a 3.175 * [backup-simplify]: Simplify t into t 3.175 * [taylor]: Taking taylor expansion of (fma x y (fma (* 0.25 a) (- b) c)) in a 3.175 * [taylor]: Rewrote expression to (+ (* x y) (fma (* 0.25 a) (- b) c)) 3.175 * [taylor]: Taking taylor expansion of (* x y) in a 3.176 * [taylor]: Taking taylor expansion of x in a 3.176 * [backup-simplify]: Simplify x into x 3.176 * [taylor]: Taking taylor expansion of y in a 3.176 * [backup-simplify]: Simplify y into y 3.176 * [taylor]: Taking taylor expansion of (fma (* 0.25 a) (- b) c) in a 3.176 * [taylor]: Rewrote expression to (+ (* (* 0.25 a) (- b)) c) 3.176 * [taylor]: Taking taylor expansion of (* (* 0.25 a) (- b)) in a 3.176 * [taylor]: Taking taylor expansion of (* 0.25 a) in a 3.176 * [taylor]: Taking taylor expansion of 0.25 in a 3.176 * [backup-simplify]: Simplify 0.25 into 0.25 3.176 * [taylor]: Taking taylor expansion of a in a 3.176 * [backup-simplify]: Simplify 0 into 0 3.176 * [backup-simplify]: Simplify 1 into 1 3.176 * [taylor]: Taking taylor expansion of (- b) in a 3.176 * [taylor]: Taking taylor expansion of b in a 3.176 * [backup-simplify]: Simplify b into b 3.176 * [taylor]: Taking taylor expansion of c in a 3.176 * [backup-simplify]: Simplify c into c 3.176 * [taylor]: Taking taylor expansion of (fma (* 0.0625 z) t (fma x y (fma (* 0.25 a) (- b) c))) in y 3.176 * [taylor]: Rewrote expression to (+ (* (* 0.0625 z) t) (fma x y (fma (* 0.25 a) (- b) c))) 3.176 * [taylor]: Taking taylor expansion of (* (* 0.0625 z) t) in y 3.176 * [taylor]: Taking taylor expansion of (* 0.0625 z) in y 3.176 * [taylor]: Taking taylor expansion of 0.0625 in y 3.176 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.176 * [taylor]: Taking taylor expansion of z in y 3.176 * [backup-simplify]: Simplify z into z 3.176 * [taylor]: Taking taylor expansion of t in y 3.176 * [backup-simplify]: Simplify t into t 3.176 * [taylor]: Taking taylor expansion of (fma x y (fma (* 0.25 a) (- b) c)) in y 3.176 * [taylor]: Rewrote expression to (+ (* x y) (fma (* 0.25 a) (- b) c)) 3.176 * [taylor]: Taking taylor expansion of (* x y) in y 3.176 * [taylor]: Taking taylor expansion of x in y 3.176 * [backup-simplify]: Simplify x into x 3.176 * [taylor]: Taking taylor expansion of y in y 3.176 * [backup-simplify]: Simplify 0 into 0 3.176 * [backup-simplify]: Simplify 1 into 1 3.176 * [taylor]: Taking taylor expansion of (fma (* 0.25 a) (- b) c) in y 3.176 * [taylor]: Rewrote expression to (+ (* (* 0.25 a) (- b)) c) 3.176 * [taylor]: Taking taylor expansion of (* (* 0.25 a) (- b)) in y 3.176 * [taylor]: Taking taylor expansion of (* 0.25 a) in y 3.176 * [taylor]: Taking taylor expansion of 0.25 in y 3.176 * [backup-simplify]: Simplify 0.25 into 0.25 3.176 * [taylor]: Taking taylor expansion of a in y 3.177 * [backup-simplify]: Simplify a into a 3.177 * [taylor]: Taking taylor expansion of (- b) in y 3.177 * [taylor]: Taking taylor expansion of b in y 3.177 * [backup-simplify]: Simplify b into b 3.177 * [taylor]: Taking taylor expansion of c in y 3.177 * [backup-simplify]: Simplify c into c 3.177 * [taylor]: Taking taylor expansion of (fma (* 0.0625 z) t (fma x y (fma (* 0.25 a) (- b) c))) in x 3.177 * [taylor]: Rewrote expression to (+ (* (* 0.0625 z) t) (fma x y (fma (* 0.25 a) (- b) c))) 3.177 * [taylor]: Taking taylor expansion of (* (* 0.0625 z) t) in x 3.177 * [taylor]: Taking taylor expansion of (* 0.0625 z) in x 3.177 * [taylor]: Taking taylor expansion of 0.0625 in x 3.177 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.177 * [taylor]: Taking taylor expansion of z in x 3.177 * [backup-simplify]: Simplify z into z 3.177 * [taylor]: Taking taylor expansion of t in x 3.177 * [backup-simplify]: Simplify t into t 3.177 * [taylor]: Taking taylor expansion of (fma x y (fma (* 0.25 a) (- b) c)) in x 3.177 * [taylor]: Rewrote expression to (+ (* x y) (fma (* 0.25 a) (- b) c)) 3.177 * [taylor]: Taking taylor expansion of (* x y) in x 3.177 * [taylor]: Taking taylor expansion of x in x 3.177 * [backup-simplify]: Simplify 0 into 0 3.177 * [backup-simplify]: Simplify 1 into 1 3.177 * [taylor]: Taking taylor expansion of y in x 3.177 * [backup-simplify]: Simplify y into y 3.177 * [taylor]: Taking taylor expansion of (fma (* 0.25 a) (- b) c) in x 3.177 * [taylor]: Rewrote expression to (+ (* (* 0.25 a) (- b)) c) 3.177 * [taylor]: Taking taylor expansion of (* (* 0.25 a) (- b)) in x 3.177 * [taylor]: Taking taylor expansion of (* 0.25 a) in x 3.177 * [taylor]: Taking taylor expansion of 0.25 in x 3.177 * [backup-simplify]: Simplify 0.25 into 0.25 3.177 * [taylor]: Taking taylor expansion of a in x 3.177 * [backup-simplify]: Simplify a into a 3.177 * [taylor]: Taking taylor expansion of (- b) in x 3.177 * [taylor]: Taking taylor expansion of b in x 3.177 * [backup-simplify]: Simplify b into b 3.177 * [taylor]: Taking taylor expansion of c in x 3.177 * [backup-simplify]: Simplify c into c 3.177 * [taylor]: Taking taylor expansion of (fma (* 0.0625 z) t (fma x y (fma (* 0.25 a) (- b) c))) in t 3.177 * [taylor]: Rewrote expression to (+ (* (* 0.0625 z) t) (fma x y (fma (* 0.25 a) (- b) c))) 3.177 * [taylor]: Taking taylor expansion of (* (* 0.0625 z) t) in t 3.177 * [taylor]: Taking taylor expansion of (* 0.0625 z) in t 3.177 * [taylor]: Taking taylor expansion of 0.0625 in t 3.177 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.177 * [taylor]: Taking taylor expansion of z in t 3.178 * [backup-simplify]: Simplify z into z 3.178 * [taylor]: Taking taylor expansion of t in t 3.178 * [backup-simplify]: Simplify 0 into 0 3.178 * [backup-simplify]: Simplify 1 into 1 3.178 * [taylor]: Taking taylor expansion of (fma x y (fma (* 0.25 a) (- b) c)) in t 3.178 * [taylor]: Rewrote expression to (+ (* x y) (fma (* 0.25 a) (- b) c)) 3.178 * [taylor]: Taking taylor expansion of (* x y) in t 3.178 * [taylor]: Taking taylor expansion of x in t 3.178 * [backup-simplify]: Simplify x into x 3.178 * [taylor]: Taking taylor expansion of y in t 3.178 * [backup-simplify]: Simplify y into y 3.178 * [taylor]: Taking taylor expansion of (fma (* 0.25 a) (- b) c) in t 3.178 * [taylor]: Rewrote expression to (+ (* (* 0.25 a) (- b)) c) 3.178 * [taylor]: Taking taylor expansion of (* (* 0.25 a) (- b)) in t 3.178 * [taylor]: Taking taylor expansion of (* 0.25 a) in t 3.178 * [taylor]: Taking taylor expansion of 0.25 in t 3.178 * [backup-simplify]: Simplify 0.25 into 0.25 3.178 * [taylor]: Taking taylor expansion of a in t 3.178 * [backup-simplify]: Simplify a into a 3.178 * [taylor]: Taking taylor expansion of (- b) in t 3.178 * [taylor]: Taking taylor expansion of b in t 3.178 * [backup-simplify]: Simplify b into b 3.178 * [taylor]: Taking taylor expansion of c in t 3.178 * [backup-simplify]: Simplify c into c 3.178 * [taylor]: Taking taylor expansion of (fma (* 0.0625 z) t (fma x y (fma (* 0.25 a) (- b) c))) in z 3.178 * [taylor]: Rewrote expression to (+ (* (* 0.0625 z) t) (fma x y (fma (* 0.25 a) (- b) c))) 3.178 * [taylor]: Taking taylor expansion of (* (* 0.0625 z) t) in z 3.178 * [taylor]: Taking taylor expansion of (* 0.0625 z) in z 3.178 * [taylor]: Taking taylor expansion of 0.0625 in z 3.178 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.178 * [taylor]: Taking taylor expansion of z in z 3.178 * [backup-simplify]: Simplify 0 into 0 3.178 * [backup-simplify]: Simplify 1 into 1 3.178 * [taylor]: Taking taylor expansion of t in z 3.178 * [backup-simplify]: Simplify t into t 3.178 * [taylor]: Taking taylor expansion of (fma x y (fma (* 0.25 a) (- b) c)) in z 3.178 * [taylor]: Rewrote expression to (+ (* x y) (fma (* 0.25 a) (- b) c)) 3.178 * [taylor]: Taking taylor expansion of (* x y) in z 3.178 * [taylor]: Taking taylor expansion of x in z 3.178 * [backup-simplify]: Simplify x into x 3.178 * [taylor]: Taking taylor expansion of y in z 3.178 * [backup-simplify]: Simplify y into y 3.178 * [taylor]: Taking taylor expansion of (fma (* 0.25 a) (- b) c) in z 3.179 * [taylor]: Rewrote expression to (+ (* (* 0.25 a) (- b)) c) 3.179 * [taylor]: Taking taylor expansion of (* (* 0.25 a) (- b)) in z 3.179 * [taylor]: Taking taylor expansion of (* 0.25 a) in z 3.179 * [taylor]: Taking taylor expansion of 0.25 in z 3.179 * [backup-simplify]: Simplify 0.25 into 0.25 3.179 * [taylor]: Taking taylor expansion of a in z 3.179 * [backup-simplify]: Simplify a into a 3.179 * [taylor]: Taking taylor expansion of (- b) in z 3.179 * [taylor]: Taking taylor expansion of b in z 3.179 * [backup-simplify]: Simplify b into b 3.179 * [taylor]: Taking taylor expansion of c in z 3.179 * [backup-simplify]: Simplify c into c 3.179 * [taylor]: Taking taylor expansion of (fma (* 0.0625 z) t (fma x y (fma (* 0.25 a) (- b) c))) in z 3.179 * [taylor]: Rewrote expression to (+ (* (* 0.0625 z) t) (fma x y (fma (* 0.25 a) (- b) c))) 3.179 * [taylor]: Taking taylor expansion of (* (* 0.0625 z) t) in z 3.179 * [taylor]: Taking taylor expansion of (* 0.0625 z) in z 3.179 * [taylor]: Taking taylor expansion of 0.0625 in z 3.179 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.179 * [taylor]: Taking taylor expansion of z in z 3.179 * [backup-simplify]: Simplify 0 into 0 3.179 * [backup-simplify]: Simplify 1 into 1 3.179 * [taylor]: Taking taylor expansion of t in z 3.179 * [backup-simplify]: Simplify t into t 3.179 * [taylor]: Taking taylor expansion of (fma x y (fma (* 0.25 a) (- b) c)) in z 3.179 * [taylor]: Rewrote expression to (+ (* x y) (fma (* 0.25 a) (- b) c)) 3.179 * [taylor]: Taking taylor expansion of (* x y) in z 3.179 * [taylor]: Taking taylor expansion of x in z 3.179 * [backup-simplify]: Simplify x into x 3.179 * [taylor]: Taking taylor expansion of y in z 3.179 * [backup-simplify]: Simplify y into y 3.179 * [taylor]: Taking taylor expansion of (fma (* 0.25 a) (- b) c) in z 3.179 * [taylor]: Rewrote expression to (+ (* (* 0.25 a) (- b)) c) 3.179 * [taylor]: Taking taylor expansion of (* (* 0.25 a) (- b)) in z 3.179 * [taylor]: Taking taylor expansion of (* 0.25 a) in z 3.179 * [taylor]: Taking taylor expansion of 0.25 in z 3.179 * [backup-simplify]: Simplify 0.25 into 0.25 3.179 * [taylor]: Taking taylor expansion of a in z 3.179 * [backup-simplify]: Simplify a into a 3.179 * [taylor]: Taking taylor expansion of (- b) in z 3.179 * [taylor]: Taking taylor expansion of b in z 3.179 * [backup-simplify]: Simplify b into b 3.179 * [taylor]: Taking taylor expansion of c in z 3.179 * [backup-simplify]: Simplify c into c 3.180 * [backup-simplify]: Simplify (* 0.0625 0) into 0 3.180 * [backup-simplify]: Simplify (* 0 t) into 0 3.180 * [backup-simplify]: Simplify (* x y) into (* x y) 3.180 * [backup-simplify]: Simplify (* 0.25 a) into (* 0.25 a) 3.180 * [backup-simplify]: Simplify (- b) into (- b) 3.180 * [backup-simplify]: Simplify (* (* 0.25 a) (- b)) into (* -0.25 (* a b)) 3.180 * [backup-simplify]: Simplify (+ (* -0.25 (* a b)) c) into (- c (* 0.25 (* a b))) 3.181 * [backup-simplify]: Simplify (+ (* x y) (- c (* 0.25 (* a b)))) into (- (+ (* x y) c) (* 0.25 (* a b))) 3.181 * [backup-simplify]: Simplify (+ 0 (- (+ (* x y) c) (* 0.25 (* a b)))) into (- (+ c (* x y)) (* 0.25 (* a b))) 3.181 * [taylor]: Taking taylor expansion of (- (+ c (* x y)) (* 0.25 (* a b))) in t 3.181 * [taylor]: Taking taylor expansion of (+ c (* x y)) in t 3.181 * [taylor]: Taking taylor expansion of c in t 3.181 * [backup-simplify]: Simplify c into c 3.181 * [taylor]: Taking taylor expansion of (* x y) in t 3.181 * [taylor]: Taking taylor expansion of x in t 3.181 * [backup-simplify]: Simplify x into x 3.181 * [taylor]: Taking taylor expansion of y in t 3.181 * [backup-simplify]: Simplify y into y 3.181 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in t 3.181 * [taylor]: Taking taylor expansion of 0.25 in t 3.181 * [backup-simplify]: Simplify 0.25 into 0.25 3.181 * [taylor]: Taking taylor expansion of (* a b) in t 3.181 * [taylor]: Taking taylor expansion of a in t 3.181 * [backup-simplify]: Simplify a into a 3.181 * [taylor]: Taking taylor expansion of b in t 3.181 * [backup-simplify]: Simplify b into b 3.181 * [backup-simplify]: Simplify (* x y) into (* x y) 3.181 * [backup-simplify]: Simplify (+ c (* x y)) into (+ (* x y) c) 3.181 * [backup-simplify]: Simplify (* a b) into (* a b) 3.181 * [backup-simplify]: Simplify (* 0.25 (* a b)) into (* 0.25 (* a b)) 3.181 * [backup-simplify]: Simplify (- (* 0.25 (* a b))) into (- (* 0.25 (* a b))) 3.181 * [backup-simplify]: Simplify (+ (+ (* x y) c) (- (* 0.25 (* a b)))) into (- (+ (* x y) c) (* 0.25 (* a b))) 3.181 * [taylor]: Taking taylor expansion of (- (+ (* x y) c) (* 0.25 (* a b))) in x 3.181 * [taylor]: Taking taylor expansion of (+ (* x y) c) in x 3.181 * [taylor]: Taking taylor expansion of (* x y) in x 3.181 * [taylor]: Taking taylor expansion of x in x 3.181 * [backup-simplify]: Simplify 0 into 0 3.181 * [backup-simplify]: Simplify 1 into 1 3.181 * [taylor]: Taking taylor expansion of y in x 3.181 * [backup-simplify]: Simplify y into y 3.181 * [taylor]: Taking taylor expansion of c in x 3.181 * [backup-simplify]: Simplify c into c 3.181 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in x 3.181 * [taylor]: Taking taylor expansion of 0.25 in x 3.182 * [backup-simplify]: Simplify 0.25 into 0.25 3.182 * [taylor]: Taking taylor expansion of (* a b) in x 3.182 * [taylor]: Taking taylor expansion of a in x 3.182 * [backup-simplify]: Simplify a into a 3.182 * [taylor]: Taking taylor expansion of b in x 3.182 * [backup-simplify]: Simplify b into b 3.182 * [backup-simplify]: Simplify (* 0 y) into 0 3.182 * [backup-simplify]: Simplify (+ 0 c) into c 3.182 * [backup-simplify]: Simplify (* a b) into (* a b) 3.182 * [backup-simplify]: Simplify (* 0.25 (* a b)) into (* 0.25 (* a b)) 3.182 * [backup-simplify]: Simplify (- (* 0.25 (* a b))) into (- (* 0.25 (* a b))) 3.182 * [backup-simplify]: Simplify (+ c (- (* 0.25 (* a b)))) into (- c (* 0.25 (* a b))) 3.182 * [taylor]: Taking taylor expansion of (- c (* 0.25 (* a b))) in y 3.182 * [taylor]: Taking taylor expansion of c in y 3.182 * [backup-simplify]: Simplify c into c 3.182 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in y 3.182 * [taylor]: Taking taylor expansion of 0.25 in y 3.182 * [backup-simplify]: Simplify 0.25 into 0.25 3.182 * [taylor]: Taking taylor expansion of (* a b) in y 3.182 * [taylor]: Taking taylor expansion of a in y 3.182 * [backup-simplify]: Simplify a into a 3.182 * [taylor]: Taking taylor expansion of b in y 3.182 * [backup-simplify]: Simplify b into b 3.182 * [backup-simplify]: Simplify (* a b) into (* a b) 3.182 * [backup-simplify]: Simplify (* 0.25 (* a b)) into (* 0.25 (* a b)) 3.182 * [backup-simplify]: Simplify (- (* 0.25 (* a b))) into (- (* 0.25 (* a b))) 3.182 * [backup-simplify]: Simplify (+ c (- (* 0.25 (* a b)))) into (- c (* 0.25 (* a b))) 3.182 * [taylor]: Taking taylor expansion of (- c (* 0.25 (* a b))) in a 3.183 * [taylor]: Taking taylor expansion of c in a 3.183 * [backup-simplify]: Simplify c into c 3.183 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in a 3.183 * [taylor]: Taking taylor expansion of 0.25 in a 3.183 * [backup-simplify]: Simplify 0.25 into 0.25 3.183 * [taylor]: Taking taylor expansion of (* a b) in a 3.183 * [taylor]: Taking taylor expansion of a in a 3.183 * [backup-simplify]: Simplify 0 into 0 3.183 * [backup-simplify]: Simplify 1 into 1 3.183 * [taylor]: Taking taylor expansion of b in a 3.183 * [backup-simplify]: Simplify b into b 3.183 * [backup-simplify]: Simplify (* 0 b) into 0 3.183 * [backup-simplify]: Simplify (* 0.25 0) into 0 3.184 * [backup-simplify]: Simplify (- 0) into 0 3.184 * [backup-simplify]: Simplify (+ c 0) into c 3.184 * [taylor]: Taking taylor expansion of c in b 3.184 * [backup-simplify]: Simplify c into c 3.184 * [taylor]: Taking taylor expansion of c in c 3.184 * [backup-simplify]: Simplify 0 into 0 3.184 * [backup-simplify]: Simplify 1 into 1 3.184 * [backup-simplify]: Simplify 0 into 0 3.186 * [backup-simplify]: Simplify (+ (* 0.0625 1) (* 0 0)) into 0.0625 3.186 * [backup-simplify]: Simplify (+ (* 0 0) (* 0.0625 t)) into (* 0.0625 t) 3.186 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 3.187 * [backup-simplify]: Simplify (- 0) into 0 3.187 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 a)) into 0 3.187 * [backup-simplify]: Simplify (- b) into (- b) 3.187 * [backup-simplify]: Simplify (+ (* (* 0.25 a) 0) (* 0 (- b))) into 0 3.188 * [backup-simplify]: Simplify (+ 0 0) into 0 3.188 * [backup-simplify]: Simplify (+ 0 0) into 0 3.188 * [backup-simplify]: Simplify (+ (* 0.0625 t) 0) into (* 0.0625 t) 3.188 * [taylor]: Taking taylor expansion of (* 0.0625 t) in t 3.188 * [taylor]: Taking taylor expansion of 0.0625 in t 3.188 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.188 * [taylor]: Taking taylor expansion of t in t 3.188 * [backup-simplify]: Simplify 0 into 0 3.188 * [backup-simplify]: Simplify 1 into 1 3.189 * [backup-simplify]: Simplify (* 0.0625 0) into 0 3.189 * [taylor]: Taking taylor expansion of 0 in x 3.189 * [backup-simplify]: Simplify 0 into 0 3.189 * [taylor]: Taking taylor expansion of 0 in y 3.189 * [backup-simplify]: Simplify 0 into 0 3.189 * [taylor]: Taking taylor expansion of 0 in a 3.189 * [backup-simplify]: Simplify 0 into 0 3.189 * [taylor]: Taking taylor expansion of 0 in b 3.189 * [backup-simplify]: Simplify 0 into 0 3.189 * [taylor]: Taking taylor expansion of 0 in c 3.189 * [backup-simplify]: Simplify 0 into 0 3.189 * [backup-simplify]: Simplify 0 into 0 3.189 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 3.190 * [backup-simplify]: Simplify (+ 0 0) into 0 3.190 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 3.190 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (* a b))) into 0 3.190 * [backup-simplify]: Simplify (- 0) into 0 3.191 * [backup-simplify]: Simplify (+ 0 0) into 0 3.191 * [taylor]: Taking taylor expansion of 0 in x 3.191 * [backup-simplify]: Simplify 0 into 0 3.191 * [taylor]: Taking taylor expansion of 0 in y 3.191 * [backup-simplify]: Simplify 0 into 0 3.191 * [taylor]: Taking taylor expansion of 0 in a 3.191 * [backup-simplify]: Simplify 0 into 0 3.191 * [taylor]: Taking taylor expansion of 0 in b 3.191 * [backup-simplify]: Simplify 0 into 0 3.191 * [taylor]: Taking taylor expansion of 0 in c 3.191 * [backup-simplify]: Simplify 0 into 0 3.191 * [backup-simplify]: Simplify 0 into 0 3.192 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.192 * [backup-simplify]: Simplify (+ y 0) into y 3.192 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 3.192 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (* a b))) into 0 3.193 * [backup-simplify]: Simplify (- 0) into 0 3.193 * [backup-simplify]: Simplify (+ y 0) into y 3.193 * [taylor]: Taking taylor expansion of y in y 3.193 * [backup-simplify]: Simplify 0 into 0 3.193 * [backup-simplify]: Simplify 1 into 1 3.193 * [taylor]: Taking taylor expansion of 0 in a 3.193 * [backup-simplify]: Simplify 0 into 0 3.193 * [taylor]: Taking taylor expansion of 0 in b 3.193 * [backup-simplify]: Simplify 0 into 0 3.193 * [taylor]: Taking taylor expansion of 0 in c 3.193 * [backup-simplify]: Simplify 0 into 0 3.193 * [backup-simplify]: Simplify 0 into 0 3.193 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 3.194 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (* a b))) into 0 3.194 * [backup-simplify]: Simplify (- 0) into 0 3.195 * [backup-simplify]: Simplify (+ 0 0) into 0 3.195 * [taylor]: Taking taylor expansion of 0 in a 3.195 * [backup-simplify]: Simplify 0 into 0 3.195 * [taylor]: Taking taylor expansion of 0 in b 3.195 * [backup-simplify]: Simplify 0 into 0 3.195 * [taylor]: Taking taylor expansion of 0 in c 3.195 * [backup-simplify]: Simplify 0 into 0 3.195 * [backup-simplify]: Simplify 0 into 0 3.195 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 3.196 * [backup-simplify]: Simplify (+ (* 0.25 b) (* 0 0)) into (* 0.25 b) 3.196 * [backup-simplify]: Simplify (- (* 0.25 b)) into (- (* 0.25 b)) 3.196 * [backup-simplify]: Simplify (+ 0 (- (* 0.25 b))) into (- (* 0.25 b)) 3.196 * [taylor]: Taking taylor expansion of (- (* 0.25 b)) in b 3.196 * [taylor]: Taking taylor expansion of (* 0.25 b) in b 3.196 * [taylor]: Taking taylor expansion of 0.25 in b 3.196 * [backup-simplify]: Simplify 0.25 into 0.25 3.196 * [taylor]: Taking taylor expansion of b in b 3.196 * [backup-simplify]: Simplify 0 into 0 3.196 * [backup-simplify]: Simplify 1 into 1 3.196 * [backup-simplify]: Simplify (* 0.25 0) into 0 3.197 * [backup-simplify]: Simplify (- 0) into 0 3.197 * [taylor]: Taking taylor expansion of 0 in c 3.197 * [backup-simplify]: Simplify 0 into 0 3.197 * [backup-simplify]: Simplify 0 into 0 3.197 * [backup-simplify]: Simplify 0 into 0 3.197 * [backup-simplify]: Simplify (fma (/ (/ 1 z) 16.0) (/ 1 t) (fma (/ 1 x) (/ 1 y) (fma (/ (/ 1 a) 4.0) (- (/ 1 b)) (/ 1 c)))) into (fma (/ 0.0625 z) (/ 1 t) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) 3.197 * [approximate]: Taking taylor expansion of (fma (/ 0.0625 z) (/ 1 t) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) in (z t x y a b c) around 0 3.197 * [taylor]: Taking taylor expansion of (fma (/ 0.0625 z) (/ 1 t) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) in c 3.197 * [taylor]: Rewrote expression to (+ (* (/ 0.0625 z) (/ 1 t)) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) 3.197 * [taylor]: Taking taylor expansion of (* (/ 0.0625 z) (/ 1 t)) in c 3.197 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in c 3.197 * [taylor]: Taking taylor expansion of 0.0625 in c 3.197 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.197 * [taylor]: Taking taylor expansion of z in c 3.197 * [backup-simplify]: Simplify z into z 3.197 * [backup-simplify]: Simplify (/ 0.0625 z) into (/ 0.0625 z) 3.197 * [taylor]: Taking taylor expansion of (/ 1 t) in c 3.197 * [taylor]: Taking taylor expansion of t in c 3.197 * [backup-simplify]: Simplify t into t 3.198 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 3.198 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) in c 3.198 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) 3.198 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in c 3.198 * [taylor]: Taking taylor expansion of (/ 1 x) in c 3.198 * [taylor]: Taking taylor expansion of x in c 3.198 * [backup-simplify]: Simplify x into x 3.198 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.198 * [taylor]: Taking taylor expansion of (/ 1 y) in c 3.198 * [taylor]: Taking taylor expansion of y in c 3.198 * [backup-simplify]: Simplify y into y 3.198 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.198 * [taylor]: Taking taylor expansion of (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)) in c 3.198 * [taylor]: Rewrote expression to (+ (* (/ 0.25 a) (- (/ 1 b))) (/ 1 c)) 3.198 * [taylor]: Taking taylor expansion of (* (/ 0.25 a) (- (/ 1 b))) in c 3.198 * [taylor]: Taking taylor expansion of (/ 0.25 a) in c 3.198 * [taylor]: Taking taylor expansion of 0.25 in c 3.198 * [backup-simplify]: Simplify 0.25 into 0.25 3.198 * [taylor]: Taking taylor expansion of a in c 3.198 * [backup-simplify]: Simplify a into a 3.198 * [backup-simplify]: Simplify (/ 0.25 a) into (/ 0.25 a) 3.198 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in c 3.198 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.198 * [taylor]: Taking taylor expansion of b in c 3.198 * [backup-simplify]: Simplify b into b 3.198 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.198 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.198 * [taylor]: Taking taylor expansion of c in c 3.198 * [backup-simplify]: Simplify 0 into 0 3.198 * [backup-simplify]: Simplify 1 into 1 3.198 * [backup-simplify]: Simplify (/ 1 1) into 1 3.199 * [taylor]: Taking taylor expansion of (fma (/ 0.0625 z) (/ 1 t) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) in b 3.199 * [taylor]: Rewrote expression to (+ (* (/ 0.0625 z) (/ 1 t)) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) 3.199 * [taylor]: Taking taylor expansion of (* (/ 0.0625 z) (/ 1 t)) in b 3.199 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in b 3.199 * [taylor]: Taking taylor expansion of 0.0625 in b 3.199 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.199 * [taylor]: Taking taylor expansion of z in b 3.199 * [backup-simplify]: Simplify z into z 3.199 * [backup-simplify]: Simplify (/ 0.0625 z) into (/ 0.0625 z) 3.199 * [taylor]: Taking taylor expansion of (/ 1 t) in b 3.199 * [taylor]: Taking taylor expansion of t in b 3.199 * [backup-simplify]: Simplify t into t 3.199 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 3.199 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) in b 3.199 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) 3.199 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in b 3.199 * [taylor]: Taking taylor expansion of (/ 1 x) in b 3.199 * [taylor]: Taking taylor expansion of x in b 3.199 * [backup-simplify]: Simplify x into x 3.199 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.199 * [taylor]: Taking taylor expansion of (/ 1 y) in b 3.199 * [taylor]: Taking taylor expansion of y in b 3.199 * [backup-simplify]: Simplify y into y 3.199 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.199 * [taylor]: Taking taylor expansion of (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)) in b 3.199 * [taylor]: Rewrote expression to (+ (* (/ 0.25 a) (- (/ 1 b))) (/ 1 c)) 3.199 * [taylor]: Taking taylor expansion of (* (/ 0.25 a) (- (/ 1 b))) in b 3.199 * [taylor]: Taking taylor expansion of (/ 0.25 a) in b 3.199 * [taylor]: Taking taylor expansion of 0.25 in b 3.199 * [backup-simplify]: Simplify 0.25 into 0.25 3.199 * [taylor]: Taking taylor expansion of a in b 3.199 * [backup-simplify]: Simplify a into a 3.199 * [backup-simplify]: Simplify (/ 0.25 a) into (/ 0.25 a) 3.199 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in b 3.199 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.199 * [taylor]: Taking taylor expansion of b in b 3.200 * [backup-simplify]: Simplify 0 into 0 3.200 * [backup-simplify]: Simplify 1 into 1 3.200 * [backup-simplify]: Simplify (/ 1 1) into 1 3.200 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.200 * [taylor]: Taking taylor expansion of c in b 3.200 * [backup-simplify]: Simplify c into c 3.200 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.200 * [taylor]: Taking taylor expansion of (fma (/ 0.0625 z) (/ 1 t) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) in a 3.200 * [taylor]: Rewrote expression to (+ (* (/ 0.0625 z) (/ 1 t)) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) 3.200 * [taylor]: Taking taylor expansion of (* (/ 0.0625 z) (/ 1 t)) in a 3.200 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in a 3.200 * [taylor]: Taking taylor expansion of 0.0625 in a 3.200 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.200 * [taylor]: Taking taylor expansion of z in a 3.200 * [backup-simplify]: Simplify z into z 3.200 * [backup-simplify]: Simplify (/ 0.0625 z) into (/ 0.0625 z) 3.200 * [taylor]: Taking taylor expansion of (/ 1 t) in a 3.200 * [taylor]: Taking taylor expansion of t in a 3.200 * [backup-simplify]: Simplify t into t 3.200 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 3.200 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) in a 3.200 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) 3.200 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in a 3.200 * [taylor]: Taking taylor expansion of (/ 1 x) in a 3.200 * [taylor]: Taking taylor expansion of x in a 3.200 * [backup-simplify]: Simplify x into x 3.200 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.200 * [taylor]: Taking taylor expansion of (/ 1 y) in a 3.200 * [taylor]: Taking taylor expansion of y in a 3.200 * [backup-simplify]: Simplify y into y 3.201 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.201 * [taylor]: Taking taylor expansion of (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)) in a 3.201 * [taylor]: Rewrote expression to (+ (* (/ 0.25 a) (- (/ 1 b))) (/ 1 c)) 3.201 * [taylor]: Taking taylor expansion of (* (/ 0.25 a) (- (/ 1 b))) in a 3.201 * [taylor]: Taking taylor expansion of (/ 0.25 a) in a 3.201 * [taylor]: Taking taylor expansion of 0.25 in a 3.201 * [backup-simplify]: Simplify 0.25 into 0.25 3.201 * [taylor]: Taking taylor expansion of a in a 3.201 * [backup-simplify]: Simplify 0 into 0 3.201 * [backup-simplify]: Simplify 1 into 1 3.201 * [backup-simplify]: Simplify (/ 0.25 1) into 0.25 3.201 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in a 3.201 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.201 * [taylor]: Taking taylor expansion of b in a 3.201 * [backup-simplify]: Simplify b into b 3.201 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.201 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.201 * [taylor]: Taking taylor expansion of c in a 3.201 * [backup-simplify]: Simplify c into c 3.201 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.201 * [taylor]: Taking taylor expansion of (fma (/ 0.0625 z) (/ 1 t) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) in y 3.201 * [taylor]: Rewrote expression to (+ (* (/ 0.0625 z) (/ 1 t)) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) 3.201 * [taylor]: Taking taylor expansion of (* (/ 0.0625 z) (/ 1 t)) in y 3.201 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in y 3.201 * [taylor]: Taking taylor expansion of 0.0625 in y 3.201 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.201 * [taylor]: Taking taylor expansion of z in y 3.201 * [backup-simplify]: Simplify z into z 3.202 * [backup-simplify]: Simplify (/ 0.0625 z) into (/ 0.0625 z) 3.202 * [taylor]: Taking taylor expansion of (/ 1 t) in y 3.202 * [taylor]: Taking taylor expansion of t in y 3.202 * [backup-simplify]: Simplify t into t 3.202 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 3.202 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) in y 3.202 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) 3.202 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y 3.202 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.202 * [taylor]: Taking taylor expansion of x in y 3.202 * [backup-simplify]: Simplify x into x 3.202 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.202 * [taylor]: Taking taylor expansion of y in y 3.202 * [backup-simplify]: Simplify 0 into 0 3.202 * [backup-simplify]: Simplify 1 into 1 3.202 * [backup-simplify]: Simplify (/ 1 1) into 1 3.202 * [taylor]: Taking taylor expansion of (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)) in y 3.202 * [taylor]: Rewrote expression to (+ (* (/ 0.25 a) (- (/ 1 b))) (/ 1 c)) 3.202 * [taylor]: Taking taylor expansion of (* (/ 0.25 a) (- (/ 1 b))) in y 3.202 * [taylor]: Taking taylor expansion of (/ 0.25 a) in y 3.202 * [taylor]: Taking taylor expansion of 0.25 in y 3.202 * [backup-simplify]: Simplify 0.25 into 0.25 3.202 * [taylor]: Taking taylor expansion of a in y 3.202 * [backup-simplify]: Simplify a into a 3.202 * [backup-simplify]: Simplify (/ 0.25 a) into (/ 0.25 a) 3.202 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in y 3.202 * [taylor]: Taking taylor expansion of (/ 1 b) in y 3.202 * [taylor]: Taking taylor expansion of b in y 3.202 * [backup-simplify]: Simplify b into b 3.203 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.203 * [taylor]: Taking taylor expansion of (/ 1 c) in y 3.203 * [taylor]: Taking taylor expansion of c in y 3.203 * [backup-simplify]: Simplify c into c 3.203 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.203 * [taylor]: Taking taylor expansion of (fma (/ 0.0625 z) (/ 1 t) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) in x 3.203 * [taylor]: Rewrote expression to (+ (* (/ 0.0625 z) (/ 1 t)) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) 3.203 * [taylor]: Taking taylor expansion of (* (/ 0.0625 z) (/ 1 t)) in x 3.203 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in x 3.203 * [taylor]: Taking taylor expansion of 0.0625 in x 3.203 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.203 * [taylor]: Taking taylor expansion of z in x 3.203 * [backup-simplify]: Simplify z into z 3.203 * [backup-simplify]: Simplify (/ 0.0625 z) into (/ 0.0625 z) 3.203 * [taylor]: Taking taylor expansion of (/ 1 t) in x 3.203 * [taylor]: Taking taylor expansion of t in x 3.203 * [backup-simplify]: Simplify t into t 3.203 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 3.203 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) in x 3.203 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) 3.203 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 3.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.203 * [taylor]: Taking taylor expansion of x in x 3.203 * [backup-simplify]: Simplify 0 into 0 3.203 * [backup-simplify]: Simplify 1 into 1 3.203 * [backup-simplify]: Simplify (/ 1 1) into 1 3.203 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.203 * [taylor]: Taking taylor expansion of y in x 3.203 * [backup-simplify]: Simplify y into y 3.204 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.204 * [taylor]: Taking taylor expansion of (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)) in x 3.204 * [taylor]: Rewrote expression to (+ (* (/ 0.25 a) (- (/ 1 b))) (/ 1 c)) 3.204 * [taylor]: Taking taylor expansion of (* (/ 0.25 a) (- (/ 1 b))) in x 3.204 * [taylor]: Taking taylor expansion of (/ 0.25 a) in x 3.204 * [taylor]: Taking taylor expansion of 0.25 in x 3.204 * [backup-simplify]: Simplify 0.25 into 0.25 3.204 * [taylor]: Taking taylor expansion of a in x 3.204 * [backup-simplify]: Simplify a into a 3.204 * [backup-simplify]: Simplify (/ 0.25 a) into (/ 0.25 a) 3.204 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in x 3.204 * [taylor]: Taking taylor expansion of (/ 1 b) in x 3.204 * [taylor]: Taking taylor expansion of b in x 3.204 * [backup-simplify]: Simplify b into b 3.204 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.204 * [taylor]: Taking taylor expansion of (/ 1 c) in x 3.204 * [taylor]: Taking taylor expansion of c in x 3.204 * [backup-simplify]: Simplify c into c 3.204 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.204 * [taylor]: Taking taylor expansion of (fma (/ 0.0625 z) (/ 1 t) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) in t 3.204 * [taylor]: Rewrote expression to (+ (* (/ 0.0625 z) (/ 1 t)) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) 3.204 * [taylor]: Taking taylor expansion of (* (/ 0.0625 z) (/ 1 t)) in t 3.204 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in t 3.204 * [taylor]: Taking taylor expansion of 0.0625 in t 3.204 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.204 * [taylor]: Taking taylor expansion of z in t 3.204 * [backup-simplify]: Simplify z into z 3.204 * [backup-simplify]: Simplify (/ 0.0625 z) into (/ 0.0625 z) 3.204 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.204 * [taylor]: Taking taylor expansion of t in t 3.204 * [backup-simplify]: Simplify 0 into 0 3.204 * [backup-simplify]: Simplify 1 into 1 3.205 * [backup-simplify]: Simplify (/ 1 1) into 1 3.205 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) in t 3.205 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) 3.205 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in t 3.205 * [taylor]: Taking taylor expansion of (/ 1 x) in t 3.205 * [taylor]: Taking taylor expansion of x in t 3.205 * [backup-simplify]: Simplify x into x 3.205 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.205 * [taylor]: Taking taylor expansion of (/ 1 y) in t 3.205 * [taylor]: Taking taylor expansion of y in t 3.205 * [backup-simplify]: Simplify y into y 3.205 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.205 * [taylor]: Taking taylor expansion of (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)) in t 3.205 * [taylor]: Rewrote expression to (+ (* (/ 0.25 a) (- (/ 1 b))) (/ 1 c)) 3.205 * [taylor]: Taking taylor expansion of (* (/ 0.25 a) (- (/ 1 b))) in t 3.205 * [taylor]: Taking taylor expansion of (/ 0.25 a) in t 3.205 * [taylor]: Taking taylor expansion of 0.25 in t 3.205 * [backup-simplify]: Simplify 0.25 into 0.25 3.205 * [taylor]: Taking taylor expansion of a in t 3.205 * [backup-simplify]: Simplify a into a 3.205 * [backup-simplify]: Simplify (/ 0.25 a) into (/ 0.25 a) 3.205 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in t 3.205 * [taylor]: Taking taylor expansion of (/ 1 b) in t 3.205 * [taylor]: Taking taylor expansion of b in t 3.205 * [backup-simplify]: Simplify b into b 3.205 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.205 * [taylor]: Taking taylor expansion of (/ 1 c) in t 3.205 * [taylor]: Taking taylor expansion of c in t 3.205 * [backup-simplify]: Simplify c into c 3.205 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.205 * [taylor]: Taking taylor expansion of (fma (/ 0.0625 z) (/ 1 t) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) in z 3.205 * [taylor]: Rewrote expression to (+ (* (/ 0.0625 z) (/ 1 t)) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) 3.205 * [taylor]: Taking taylor expansion of (* (/ 0.0625 z) (/ 1 t)) in z 3.205 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in z 3.205 * [taylor]: Taking taylor expansion of 0.0625 in z 3.206 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.206 * [taylor]: Taking taylor expansion of z in z 3.206 * [backup-simplify]: Simplify 0 into 0 3.206 * [backup-simplify]: Simplify 1 into 1 3.206 * [backup-simplify]: Simplify (/ 0.0625 1) into 0.0625 3.206 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.206 * [taylor]: Taking taylor expansion of t in z 3.206 * [backup-simplify]: Simplify t into t 3.206 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 3.206 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) in z 3.206 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) 3.206 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z 3.206 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.206 * [taylor]: Taking taylor expansion of x in z 3.206 * [backup-simplify]: Simplify x into x 3.206 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.206 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.206 * [taylor]: Taking taylor expansion of y in z 3.206 * [backup-simplify]: Simplify y into y 3.206 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.206 * [taylor]: Taking taylor expansion of (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)) in z 3.206 * [taylor]: Rewrote expression to (+ (* (/ 0.25 a) (- (/ 1 b))) (/ 1 c)) 3.206 * [taylor]: Taking taylor expansion of (* (/ 0.25 a) (- (/ 1 b))) in z 3.206 * [taylor]: Taking taylor expansion of (/ 0.25 a) in z 3.206 * [taylor]: Taking taylor expansion of 0.25 in z 3.206 * [backup-simplify]: Simplify 0.25 into 0.25 3.206 * [taylor]: Taking taylor expansion of a in z 3.206 * [backup-simplify]: Simplify a into a 3.207 * [backup-simplify]: Simplify (/ 0.25 a) into (/ 0.25 a) 3.207 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in z 3.207 * [taylor]: Taking taylor expansion of (/ 1 b) in z 3.207 * [taylor]: Taking taylor expansion of b in z 3.207 * [backup-simplify]: Simplify b into b 3.207 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.207 * [taylor]: Taking taylor expansion of (/ 1 c) in z 3.207 * [taylor]: Taking taylor expansion of c in z 3.207 * [backup-simplify]: Simplify c into c 3.207 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.207 * [taylor]: Taking taylor expansion of (fma (/ 0.0625 z) (/ 1 t) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) in z 3.207 * [taylor]: Rewrote expression to (+ (* (/ 0.0625 z) (/ 1 t)) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) 3.207 * [taylor]: Taking taylor expansion of (* (/ 0.0625 z) (/ 1 t)) in z 3.207 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in z 3.207 * [taylor]: Taking taylor expansion of 0.0625 in z 3.207 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.207 * [taylor]: Taking taylor expansion of z in z 3.207 * [backup-simplify]: Simplify 0 into 0 3.207 * [backup-simplify]: Simplify 1 into 1 3.207 * [backup-simplify]: Simplify (/ 0.0625 1) into 0.0625 3.207 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.207 * [taylor]: Taking taylor expansion of t in z 3.207 * [backup-simplify]: Simplify t into t 3.207 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 3.207 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) in z 3.207 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) 3.207 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z 3.207 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.208 * [taylor]: Taking taylor expansion of x in z 3.208 * [backup-simplify]: Simplify x into x 3.208 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.208 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.208 * [taylor]: Taking taylor expansion of y in z 3.208 * [backup-simplify]: Simplify y into y 3.208 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.208 * [taylor]: Taking taylor expansion of (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)) in z 3.208 * [taylor]: Rewrote expression to (+ (* (/ 0.25 a) (- (/ 1 b))) (/ 1 c)) 3.208 * [taylor]: Taking taylor expansion of (* (/ 0.25 a) (- (/ 1 b))) in z 3.208 * [taylor]: Taking taylor expansion of (/ 0.25 a) in z 3.208 * [taylor]: Taking taylor expansion of 0.25 in z 3.208 * [backup-simplify]: Simplify 0.25 into 0.25 3.208 * [taylor]: Taking taylor expansion of a in z 3.208 * [backup-simplify]: Simplify a into a 3.208 * [backup-simplify]: Simplify (/ 0.25 a) into (/ 0.25 a) 3.208 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in z 3.208 * [taylor]: Taking taylor expansion of (/ 1 b) in z 3.208 * [taylor]: Taking taylor expansion of b in z 3.208 * [backup-simplify]: Simplify b into b 3.208 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.208 * [taylor]: Taking taylor expansion of (/ 1 c) in z 3.208 * [taylor]: Taking taylor expansion of c in z 3.208 * [backup-simplify]: Simplify c into c 3.208 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.208 * [backup-simplify]: Simplify (* 0.0625 (/ 1 t)) into (/ 0.0625 t) 3.208 * [backup-simplify]: Simplify (+ (/ 0.0625 t) 0) into (* 0.0625 (/ 1 t)) 3.208 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 t)) in t 3.208 * [taylor]: Taking taylor expansion of 0.0625 in t 3.208 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.208 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.208 * [taylor]: Taking taylor expansion of t in t 3.208 * [backup-simplify]: Simplify 0 into 0 3.208 * [backup-simplify]: Simplify 1 into 1 3.209 * [backup-simplify]: Simplify (/ 1 1) into 1 3.209 * [backup-simplify]: Simplify (* 0.0625 1) into 0.0625 3.209 * [taylor]: Taking taylor expansion of 0.0625 in x 3.209 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.209 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 3.210 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.0625 (/ 0 1)))) into 0 3.210 * [backup-simplify]: Simplify (+ (* 0.0625 0) (* 0 (/ 1 t))) into 0 3.210 * [backup-simplify]: Simplify (* (/ 1 x) (/ 1 y)) into (/ 1 (* x y)) 3.210 * [backup-simplify]: Simplify (- (/ 1 b)) into (- (/ 1 b)) 3.210 * [backup-simplify]: Simplify (* (/ 0.25 a) (- (/ 1 b))) into (/ -0.25 (* a b)) 3.210 * [backup-simplify]: Simplify (+ (/ -0.25 (* a b)) (/ 1 c)) into (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) 3.210 * [backup-simplify]: Simplify (+ (/ 1 (* x y)) (- (/ 1 c) (* 0.25 (/ 1 (* a b))))) into (- (+ (/ 1 c) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) 3.211 * [backup-simplify]: Simplify (+ 0 (- (+ (/ 1 c) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b))))) into (- (+ (/ 1 (* x y)) (/ 1 c)) (* 0.25 (/ 1 (* a b)))) 3.211 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (/ 1 c)) (* 0.25 (/ 1 (* a b)))) in t 3.211 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 c)) in t 3.211 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 3.211 * [taylor]: Taking taylor expansion of (* x y) in t 3.211 * [taylor]: Taking taylor expansion of x in t 3.211 * [backup-simplify]: Simplify x into x 3.211 * [taylor]: Taking taylor expansion of y in t 3.211 * [backup-simplify]: Simplify y into y 3.211 * [backup-simplify]: Simplify (* x y) into (* x y) 3.211 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 3.211 * [taylor]: Taking taylor expansion of (/ 1 c) in t 3.211 * [taylor]: Taking taylor expansion of c in t 3.211 * [backup-simplify]: Simplify c into c 3.211 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.211 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in t 3.211 * [taylor]: Taking taylor expansion of 0.25 in t 3.211 * [backup-simplify]: Simplify 0.25 into 0.25 3.211 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 3.211 * [taylor]: Taking taylor expansion of (* a b) in t 3.211 * [taylor]: Taking taylor expansion of a in t 3.211 * [backup-simplify]: Simplify a into a 3.211 * [taylor]: Taking taylor expansion of b in t 3.211 * [backup-simplify]: Simplify b into b 3.212 * [backup-simplify]: Simplify (* a b) into (* a b) 3.212 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 3.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.213 * [backup-simplify]: Simplify (+ (* 0.0625 0) (* 0 1)) into 0 3.213 * [taylor]: Taking taylor expansion of 0 in x 3.213 * [backup-simplify]: Simplify 0 into 0 3.213 * [taylor]: Taking taylor expansion of 0.0625 in y 3.213 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.213 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 3.214 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.0625 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.214 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (* 0 (/ 1 t)))) into 0 3.214 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.215 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.215 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0) (* 0 (/ 1 y))) into 0 3.215 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.215 * [backup-simplify]: Simplify (- 0) into 0 3.215 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 0.25 a) (/ 0 a)))) into 0 3.215 * [backup-simplify]: Simplify (- (/ 1 b)) into (- (/ 1 b)) 3.215 * [backup-simplify]: Simplify (+ (* (/ 0.25 a) 0) (* 0 (- (/ 1 b)))) into 0 3.215 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 3.215 * [backup-simplify]: Simplify (+ 0 0) into 0 3.216 * [backup-simplify]: Simplify (+ 0 0) into 0 3.216 * [backup-simplify]: Simplify (+ 0 0) into 0 3.216 * [taylor]: Taking taylor expansion of 0 in t 3.216 * [backup-simplify]: Simplify 0 into 0 3.216 * [backup-simplify]: Simplify (+ (/ 1 (* x y)) (/ 1 c)) into (+ (/ 1 c) (/ 1 (* x y))) 3.216 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 3.216 * [backup-simplify]: Simplify (- (/ 0.25 (* a b))) into (- (* 0.25 (/ 1 (* a b)))) 3.216 * [backup-simplify]: Simplify (+ (+ (/ 1 c) (/ 1 (* x y))) (- (* 0.25 (/ 1 (* a b))))) into (- (+ (/ 1 c) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) 3.216 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in x 3.216 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 (* x y))) in x 3.216 * [taylor]: Taking taylor expansion of (/ 1 c) in x 3.216 * [taylor]: Taking taylor expansion of c in x 3.216 * [backup-simplify]: Simplify c into c 3.217 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.217 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.217 * [taylor]: Taking taylor expansion of (* x y) in x 3.217 * [taylor]: Taking taylor expansion of x in x 3.217 * [backup-simplify]: Simplify 0 into 0 3.217 * [backup-simplify]: Simplify 1 into 1 3.217 * [taylor]: Taking taylor expansion of y in x 3.217 * [backup-simplify]: Simplify y into y 3.217 * [backup-simplify]: Simplify (* 0 y) into 0 3.217 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.217 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.217 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in x 3.217 * [taylor]: Taking taylor expansion of 0.25 in x 3.217 * [backup-simplify]: Simplify 0.25 into 0.25 3.217 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 3.217 * [taylor]: Taking taylor expansion of (* a b) in x 3.217 * [taylor]: Taking taylor expansion of a in x 3.217 * [backup-simplify]: Simplify a into a 3.217 * [taylor]: Taking taylor expansion of b in x 3.217 * [backup-simplify]: Simplify b into b 3.217 * [backup-simplify]: Simplify (* a b) into (* a b) 3.217 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 3.217 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 3.217 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 3.217 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.217 * [taylor]: Taking taylor expansion of y in y 3.217 * [backup-simplify]: Simplify 0 into 0 3.217 * [backup-simplify]: Simplify 1 into 1 3.218 * [backup-simplify]: Simplify (/ 1 1) into 1 3.218 * [taylor]: Taking taylor expansion of 1 in a 3.218 * [backup-simplify]: Simplify 1 into 1 3.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.219 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (* 0 1))) into 0 3.219 * [taylor]: Taking taylor expansion of 0 in x 3.219 * [backup-simplify]: Simplify 0 into 0 3.219 * [taylor]: Taking taylor expansion of 0 in y 3.219 * [backup-simplify]: Simplify 0 into 0 3.219 * [taylor]: Taking taylor expansion of 0 in y 3.219 * [backup-simplify]: Simplify 0 into 0 3.219 * [taylor]: Taking taylor expansion of 0.0625 in a 3.219 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.219 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0 3.220 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.0625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.220 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 t))))) into 0 3.221 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.221 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.221 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 3.221 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.221 * [backup-simplify]: Simplify (- 0) into 0 3.222 * [backup-simplify]: Simplify (- 0) into 0 3.222 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 0.25 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 3.222 * [backup-simplify]: Simplify (- (/ 1 b)) into (- (/ 1 b)) 3.222 * [backup-simplify]: Simplify (+ (* (/ 0.25 a) 0) (+ (* 0 0) (* 0 (- (/ 1 b))))) into 0 3.222 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 3.222 * [backup-simplify]: Simplify (+ 0 0) into 0 3.223 * [backup-simplify]: Simplify (+ 0 0) into 0 3.223 * [backup-simplify]: Simplify (+ 0 0) into 0 3.223 * [taylor]: Taking taylor expansion of 0 in t 3.223 * [backup-simplify]: Simplify 0 into 0 3.223 * [taylor]: Taking taylor expansion of 0 in x 3.223 * [backup-simplify]: Simplify 0 into 0 3.223 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 3.223 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 3.223 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 3.223 * [backup-simplify]: Simplify (+ 0 0) into 0 3.224 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 3.224 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 3.224 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 3.224 * [backup-simplify]: Simplify (- 0) into 0 3.224 * [backup-simplify]: Simplify (+ 0 0) into 0 3.224 * [taylor]: Taking taylor expansion of 0 in x 3.224 * [backup-simplify]: Simplify 0 into 0 3.225 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.226 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.226 * [taylor]: Taking taylor expansion of 0 in x 3.226 * [backup-simplify]: Simplify 0 into 0 3.226 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.226 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.226 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 3.226 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 3.227 * [backup-simplify]: Simplify (- (/ 0.25 (* a b))) into (- (* 0.25 (/ 1 (* a b)))) 3.227 * [backup-simplify]: Simplify (+ (/ 1 c) (- (* 0.25 (/ 1 (* a b))))) into (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) 3.227 * [taylor]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in y 3.227 * [taylor]: Taking taylor expansion of (/ 1 c) in y 3.227 * [taylor]: Taking taylor expansion of c in y 3.227 * [backup-simplify]: Simplify c into c 3.227 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.227 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in y 3.227 * [taylor]: Taking taylor expansion of 0.25 in y 3.227 * [backup-simplify]: Simplify 0.25 into 0.25 3.227 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 3.227 * [taylor]: Taking taylor expansion of (* a b) in y 3.227 * [taylor]: Taking taylor expansion of a in y 3.227 * [backup-simplify]: Simplify a into a 3.227 * [taylor]: Taking taylor expansion of b in y 3.227 * [backup-simplify]: Simplify b into b 3.227 * [backup-simplify]: Simplify (* a b) into (* a b) 3.227 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 3.227 * [taylor]: Taking taylor expansion of 0 in y 3.227 * [backup-simplify]: Simplify 0 into 0 3.227 * [taylor]: Taking taylor expansion of 0 in y 3.227 * [backup-simplify]: Simplify 0 into 0 3.227 * [taylor]: Taking taylor expansion of 0 in y 3.227 * [backup-simplify]: Simplify 0 into 0 3.228 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.228 * [taylor]: Taking taylor expansion of 0 in a 3.228 * [backup-simplify]: Simplify 0 into 0 3.228 * [taylor]: Taking taylor expansion of 0 in a 3.228 * [backup-simplify]: Simplify 0 into 0 3.228 * [taylor]: Taking taylor expansion of 0 in a 3.228 * [backup-simplify]: Simplify 0 into 0 3.228 * [taylor]: Taking taylor expansion of 0 in a 3.228 * [backup-simplify]: Simplify 0 into 0 3.228 * [taylor]: Taking taylor expansion of 1 in b 3.228 * [backup-simplify]: Simplify 1 into 1 3.228 * [taylor]: Taking taylor expansion of 0.0625 in b 3.228 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.228 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0 3.229 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.0625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.230 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 t)))))) into 0 3.230 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.230 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.231 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 3.231 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.231 * [backup-simplify]: Simplify (- 0) into 0 3.231 * [backup-simplify]: Simplify (- 0) into 0 3.232 * [backup-simplify]: Simplify (- 0) into 0 3.232 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 0.25 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 3.232 * [backup-simplify]: Simplify (- (/ 1 b)) into (- (/ 1 b)) 3.232 * [backup-simplify]: Simplify (+ (* (/ 0.25 a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 b)))))) into 0 3.232 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0 3.233 * [backup-simplify]: Simplify (+ 0 0) into 0 3.233 * [backup-simplify]: Simplify (+ 0 0) into 0 3.233 * [backup-simplify]: Simplify (+ 0 0) into 0 3.233 * [taylor]: Taking taylor expansion of 0 in t 3.233 * [backup-simplify]: Simplify 0 into 0 3.233 * [taylor]: Taking taylor expansion of 0 in x 3.233 * [backup-simplify]: Simplify 0 into 0 3.233 * [taylor]: Taking taylor expansion of 0 in x 3.233 * [backup-simplify]: Simplify 0 into 0 3.234 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 3.234 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 3.234 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 3.234 * [backup-simplify]: Simplify (+ 0 0) into 0 3.234 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0 3.235 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 3.235 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 (* a b))))) into 0 3.235 * [backup-simplify]: Simplify (- 0) into 0 3.235 * [backup-simplify]: Simplify (+ 0 0) into 0 3.236 * [taylor]: Taking taylor expansion of 0 in x 3.236 * [backup-simplify]: Simplify 0 into 0 3.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.237 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.237 * [taylor]: Taking taylor expansion of 0 in x 3.237 * [backup-simplify]: Simplify 0 into 0 3.237 * [taylor]: Taking taylor expansion of 0 in y 3.237 * [backup-simplify]: Simplify 0 into 0 3.237 * [taylor]: Taking taylor expansion of 0 in y 3.237 * [backup-simplify]: Simplify 0 into 0 3.237 * [taylor]: Taking taylor expansion of 0 in y 3.237 * [backup-simplify]: Simplify 0 into 0 3.237 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 3.238 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 3.238 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.238 * [backup-simplify]: Simplify (+ 0 0) into 0 3.238 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 3.238 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 3.239 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 3.239 * [backup-simplify]: Simplify (- 0) into 0 3.239 * [backup-simplify]: Simplify (+ 0 0) into 0 3.239 * [taylor]: Taking taylor expansion of 0 in y 3.239 * [backup-simplify]: Simplify 0 into 0 3.239 * [taylor]: Taking taylor expansion of 0 in y 3.239 * [backup-simplify]: Simplify 0 into 0 3.239 * [taylor]: Taking taylor expansion of 0 in y 3.239 * [backup-simplify]: Simplify 0 into 0 3.239 * [taylor]: Taking taylor expansion of 0 in y 3.239 * [backup-simplify]: Simplify 0 into 0 3.240 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 3.240 * [backup-simplify]: Simplify (- (/ 0.25 (* a b))) into (- (* 0.25 (/ 1 (* a b)))) 3.240 * [backup-simplify]: Simplify (+ (/ 1 c) (- (* 0.25 (/ 1 (* a b))))) into (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) 3.240 * [taylor]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in a 3.240 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.240 * [taylor]: Taking taylor expansion of c in a 3.240 * [backup-simplify]: Simplify c into c 3.240 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.240 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 3.240 * [taylor]: Taking taylor expansion of 0.25 in a 3.240 * [backup-simplify]: Simplify 0.25 into 0.25 3.240 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 3.240 * [taylor]: Taking taylor expansion of (* a b) in a 3.240 * [taylor]: Taking taylor expansion of a in a 3.240 * [backup-simplify]: Simplify 0 into 0 3.240 * [backup-simplify]: Simplify 1 into 1 3.240 * [taylor]: Taking taylor expansion of b in a 3.240 * [backup-simplify]: Simplify b into b 3.240 * [backup-simplify]: Simplify (* 0 b) into 0 3.240 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 3.240 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.240 * [backup-simplify]: Simplify (* 0.25 (/ 1 b)) into (/ 0.25 b) 3.240 * [backup-simplify]: Simplify (- (/ 0.25 b)) into (- (* 0.25 (/ 1 b))) 3.241 * [backup-simplify]: Simplify (+ 0 (- (* 0.25 (/ 1 b)))) into (- (* 0.25 (/ 1 b))) 3.241 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 b))) in b 3.241 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 b)) in b 3.241 * [taylor]: Taking taylor expansion of 0.25 in b 3.241 * [backup-simplify]: Simplify 0.25 into 0.25 3.241 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.241 * [taylor]: Taking taylor expansion of b in b 3.241 * [backup-simplify]: Simplify 0 into 0 3.241 * [backup-simplify]: Simplify 1 into 1 3.241 * [backup-simplify]: Simplify (/ 1 1) into 1 3.241 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 3.241 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 3.241 * [taylor]: Taking taylor expansion of (- 0.25) in c 3.241 * [taylor]: Taking taylor expansion of 0.25 in c 3.241 * [backup-simplify]: Simplify 0.25 into 0.25 3.242 * [taylor]: Taking taylor expansion of 0 in a 3.242 * [backup-simplify]: Simplify 0 into 0 3.242 * [taylor]: Taking taylor expansion of 0 in a 3.242 * [backup-simplify]: Simplify 0 into 0 3.242 * [taylor]: Taking taylor expansion of 0 in a 3.242 * [backup-simplify]: Simplify 0 into 0 3.242 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.242 * [taylor]: Taking taylor expansion of 0 in a 3.242 * [backup-simplify]: Simplify 0 into 0 3.242 * [taylor]: Taking taylor expansion of 0 in a 3.242 * [backup-simplify]: Simplify 0 into 0 3.242 * [taylor]: Taking taylor expansion of 0 in a 3.242 * [backup-simplify]: Simplify 0 into 0 3.243 * [taylor]: Taking taylor expansion of 0 in a 3.243 * [backup-simplify]: Simplify 0 into 0 3.243 * [taylor]: Taking taylor expansion of 0 in b 3.243 * [backup-simplify]: Simplify 0 into 0 3.243 * [taylor]: Taking taylor expansion of 0 in b 3.243 * [backup-simplify]: Simplify 0 into 0 3.243 * [taylor]: Taking taylor expansion of 0 in b 3.243 * [backup-simplify]: Simplify 0 into 0 3.243 * [taylor]: Taking taylor expansion of 0 in b 3.243 * [backup-simplify]: Simplify 0 into 0 3.243 * [taylor]: Taking taylor expansion of 0 in b 3.243 * [backup-simplify]: Simplify 0 into 0 3.243 * [taylor]: Taking taylor expansion of 0 in b 3.243 * [backup-simplify]: Simplify 0 into 0 3.244 * [taylor]: Taking taylor expansion of 1 in c 3.244 * [backup-simplify]: Simplify 1 into 1 3.244 * [taylor]: Taking taylor expansion of 0.0625 in c 3.244 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.246 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0 3.247 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.0625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.249 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 t))))))) into 0 3.249 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.250 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.251 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y)))))) into 0 3.251 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.251 * [backup-simplify]: Simplify (- 0) into 0 3.252 * [backup-simplify]: Simplify (- 0) into 0 3.252 * [backup-simplify]: Simplify (- 0) into 0 3.252 * [backup-simplify]: Simplify (- 0) into 0 3.253 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 0.25 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 3.253 * [backup-simplify]: Simplify (- (/ 1 b)) into (- (/ 1 b)) 3.254 * [backup-simplify]: Simplify (+ (* (/ 0.25 a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 b))))))) into 0 3.255 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0 3.255 * [backup-simplify]: Simplify (+ 0 0) into 0 3.256 * [backup-simplify]: Simplify (+ 0 0) into 0 3.256 * [backup-simplify]: Simplify (+ 0 0) into 0 3.256 * [taylor]: Taking taylor expansion of 0 in t 3.256 * [backup-simplify]: Simplify 0 into 0 3.256 * [taylor]: Taking taylor expansion of 0 in x 3.256 * [backup-simplify]: Simplify 0 into 0 3.256 * [taylor]: Taking taylor expansion of 0 in x 3.256 * [backup-simplify]: Simplify 0 into 0 3.256 * [taylor]: Taking taylor expansion of 0 in x 3.256 * [backup-simplify]: Simplify 0 into 0 3.257 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 3.257 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 3.258 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0 3.258 * [backup-simplify]: Simplify (+ 0 0) into 0 3.259 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 3.259 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 3.261 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* a b)))))) into 0 3.261 * [backup-simplify]: Simplify (- 0) into 0 3.261 * [backup-simplify]: Simplify (+ 0 0) into 0 3.261 * [taylor]: Taking taylor expansion of 0 in x 3.261 * [backup-simplify]: Simplify 0 into 0 3.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.264 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.264 * [taylor]: Taking taylor expansion of 0 in x 3.264 * [backup-simplify]: Simplify 0 into 0 3.264 * [taylor]: Taking taylor expansion of 0 in y 3.264 * [backup-simplify]: Simplify 0 into 0 3.264 * [taylor]: Taking taylor expansion of 0 in y 3.264 * [backup-simplify]: Simplify 0 into 0 3.264 * [taylor]: Taking taylor expansion of 0 in y 3.264 * [backup-simplify]: Simplify 0 into 0 3.264 * [taylor]: Taking taylor expansion of 0 in y 3.264 * [backup-simplify]: Simplify 0 into 0 3.264 * [taylor]: Taking taylor expansion of 0 in y 3.264 * [backup-simplify]: Simplify 0 into 0 3.264 * [taylor]: Taking taylor expansion of 0 in y 3.264 * [backup-simplify]: Simplify 0 into 0 3.264 * [taylor]: Taking taylor expansion of 0 in y 3.265 * [backup-simplify]: Simplify 0 into 0 3.265 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 3.266 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 3.267 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.267 * [backup-simplify]: Simplify (+ 0 0) into 0 3.267 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0 3.268 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 3.269 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 (* a b))))) into 0 3.269 * [backup-simplify]: Simplify (- 0) into 0 3.269 * [backup-simplify]: Simplify (+ 0 0) into 0 3.269 * [taylor]: Taking taylor expansion of 0 in y 3.269 * [backup-simplify]: Simplify 0 into 0 3.270 * [taylor]: Taking taylor expansion of 0 in y 3.270 * [backup-simplify]: Simplify 0 into 0 3.270 * [taylor]: Taking taylor expansion of 0 in y 3.270 * [backup-simplify]: Simplify 0 into 0 3.270 * [taylor]: Taking taylor expansion of 0 in y 3.270 * [backup-simplify]: Simplify 0 into 0 3.270 * [taylor]: Taking taylor expansion of 0 in a 3.270 * [backup-simplify]: Simplify 0 into 0 3.270 * [taylor]: Taking taylor expansion of 0 in a 3.270 * [backup-simplify]: Simplify 0 into 0 3.270 * [taylor]: Taking taylor expansion of 0 in a 3.270 * [backup-simplify]: Simplify 0 into 0 3.270 * [taylor]: Taking taylor expansion of 0 in a 3.270 * [backup-simplify]: Simplify 0 into 0 3.270 * [taylor]: Taking taylor expansion of 0 in a 3.270 * [backup-simplify]: Simplify 0 into 0 3.270 * [taylor]: Taking taylor expansion of 0 in a 3.270 * [backup-simplify]: Simplify 0 into 0 3.270 * [taylor]: Taking taylor expansion of 0 in a 3.271 * [backup-simplify]: Simplify 0 into 0 3.271 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 3.271 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 3.271 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 3.272 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 3.272 * [backup-simplify]: Simplify (- 0) into 0 3.272 * [backup-simplify]: Simplify (+ 0 0) into 0 3.272 * [taylor]: Taking taylor expansion of 0 in a 3.272 * [backup-simplify]: Simplify 0 into 0 3.273 * [taylor]: Taking taylor expansion of 0 in a 3.273 * [backup-simplify]: Simplify 0 into 0 3.273 * [taylor]: Taking taylor expansion of 0 in a 3.273 * [backup-simplify]: Simplify 0 into 0 3.273 * [taylor]: Taking taylor expansion of 0 in a 3.273 * [backup-simplify]: Simplify 0 into 0 3.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.274 * [taylor]: Taking taylor expansion of 0 in a 3.274 * [backup-simplify]: Simplify 0 into 0 3.274 * [taylor]: Taking taylor expansion of 0 in a 3.274 * [backup-simplify]: Simplify 0 into 0 3.274 * [taylor]: Taking taylor expansion of 0 in a 3.274 * [backup-simplify]: Simplify 0 into 0 3.274 * [taylor]: Taking taylor expansion of 0 in a 3.274 * [backup-simplify]: Simplify 0 into 0 3.275 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 3.275 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.276 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 b))) into 0 3.276 * [backup-simplify]: Simplify (- 0) into 0 3.276 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 3.276 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.276 * [taylor]: Taking taylor expansion of c in b 3.276 * [backup-simplify]: Simplify c into c 3.277 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.277 * [taylor]: Taking taylor expansion of 0 in b 3.277 * [backup-simplify]: Simplify 0 into 0 3.277 * [taylor]: Taking taylor expansion of 0 in b 3.277 * [backup-simplify]: Simplify 0 into 0 3.277 * [taylor]: Taking taylor expansion of 0 in b 3.277 * [backup-simplify]: Simplify 0 into 0 3.277 * [taylor]: Taking taylor expansion of 0 in b 3.277 * [backup-simplify]: Simplify 0 into 0 3.277 * [taylor]: Taking taylor expansion of 0 in b 3.277 * [backup-simplify]: Simplify 0 into 0 3.277 * [taylor]: Taking taylor expansion of 0 in b 3.277 * [backup-simplify]: Simplify 0 into 0 3.277 * [taylor]: Taking taylor expansion of 0 in b 3.277 * [backup-simplify]: Simplify 0 into 0 3.277 * [taylor]: Taking taylor expansion of 0 in b 3.277 * [backup-simplify]: Simplify 0 into 0 3.278 * [taylor]: Taking taylor expansion of 0 in b 3.278 * [backup-simplify]: Simplify 0 into 0 3.278 * [taylor]: Taking taylor expansion of 0 in b 3.278 * [backup-simplify]: Simplify 0 into 0 3.278 * [taylor]: Taking taylor expansion of 0 in b 3.278 * [backup-simplify]: Simplify 0 into 0 3.278 * [taylor]: Taking taylor expansion of 0 in b 3.278 * [backup-simplify]: Simplify 0 into 0 3.278 * [taylor]: Taking taylor expansion of 0 in b 3.278 * [backup-simplify]: Simplify 0 into 0 3.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.280 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 1)) into 0 3.280 * [backup-simplify]: Simplify (- 0) into 0 3.280 * [taylor]: Taking taylor expansion of 0 in c 3.280 * [backup-simplify]: Simplify 0 into 0 3.281 * [taylor]: Taking taylor expansion of 0 in c 3.281 * [backup-simplify]: Simplify 0 into 0 3.281 * [taylor]: Taking taylor expansion of 0 in c 3.281 * [backup-simplify]: Simplify 0 into 0 3.281 * [taylor]: Taking taylor expansion of 0 in c 3.281 * [backup-simplify]: Simplify 0 into 0 3.281 * [taylor]: Taking taylor expansion of 0 in c 3.281 * [backup-simplify]: Simplify 0 into 0 3.281 * [taylor]: Taking taylor expansion of 0 in c 3.281 * [backup-simplify]: Simplify 0 into 0 3.281 * [taylor]: Taking taylor expansion of 0 in c 3.281 * [backup-simplify]: Simplify 0 into 0 3.282 * [taylor]: Taking taylor expansion of 0 in c 3.282 * [backup-simplify]: Simplify 0 into 0 3.282 * [taylor]: Taking taylor expansion of 0 in c 3.282 * [backup-simplify]: Simplify 0 into 0 3.283 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 3.284 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 3.284 * [backup-simplify]: Simplify 1 into 1 3.284 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.286 * [backup-simplify]: Simplify (+ (* 0.0625 (* 1 (* 1 (* 1 (* 1 (* 1 (* (/ 1 (/ 1 t)) (/ 1 (/ 1 z))))))))) (+ (* 1 (* 1 (* 1 (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (* 1 1))))))) (* (- 0.25) (* 1 (* (/ 1 (/ 1 b)) (* (/ 1 (/ 1 a)) (* 1 (* 1 (* 1 1))))))))) into (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) 3.287 * [backup-simplify]: Simplify (fma (/ (/ 1 (- z)) 16.0) (/ 1 (- t)) (fma (/ 1 (- x)) (/ 1 (- y)) (fma (/ (/ 1 (- a)) 4.0) (- (/ 1 (- b))) (/ 1 (- c))))) into (fma (/ -0.0625 z) (/ -1 t) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) 3.287 * [approximate]: Taking taylor expansion of (fma (/ -0.0625 z) (/ -1 t) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) in (z t x y a b c) around 0 3.287 * [taylor]: Taking taylor expansion of (fma (/ -0.0625 z) (/ -1 t) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) in c 3.287 * [taylor]: Rewrote expression to (+ (* (/ -0.0625 z) (/ -1 t)) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) 3.287 * [taylor]: Taking taylor expansion of (* (/ -0.0625 z) (/ -1 t)) in c 3.287 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in c 3.287 * [taylor]: Taking taylor expansion of -0.0625 in c 3.288 * [backup-simplify]: Simplify -0.0625 into -0.0625 3.288 * [taylor]: Taking taylor expansion of z in c 3.288 * [backup-simplify]: Simplify z into z 3.288 * [backup-simplify]: Simplify (/ -0.0625 z) into (/ -0.0625 z) 3.288 * [taylor]: Taking taylor expansion of (/ -1 t) in c 3.288 * [taylor]: Taking taylor expansion of -1 in c 3.288 * [backup-simplify]: Simplify -1 into -1 3.288 * [taylor]: Taking taylor expansion of t in c 3.288 * [backup-simplify]: Simplify t into t 3.288 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 3.288 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) in c 3.288 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) 3.288 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in c 3.288 * [taylor]: Taking taylor expansion of (/ -1 x) in c 3.288 * [taylor]: Taking taylor expansion of -1 in c 3.288 * [backup-simplify]: Simplify -1 into -1 3.288 * [taylor]: Taking taylor expansion of x in c 3.288 * [backup-simplify]: Simplify x into x 3.288 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.288 * [taylor]: Taking taylor expansion of (/ -1 y) in c 3.288 * [taylor]: Taking taylor expansion of -1 in c 3.288 * [backup-simplify]: Simplify -1 into -1 3.288 * [taylor]: Taking taylor expansion of y in c 3.288 * [backup-simplify]: Simplify y into y 3.288 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.288 * [taylor]: Taking taylor expansion of (fma (/ -0.25 a) (/ 1 b) (/ -1 c)) in c 3.289 * [taylor]: Rewrote expression to (+ (* (/ -0.25 a) (/ 1 b)) (/ -1 c)) 3.289 * [taylor]: Taking taylor expansion of (* (/ -0.25 a) (/ 1 b)) in c 3.289 * [taylor]: Taking taylor expansion of (/ -0.25 a) in c 3.289 * [taylor]: Taking taylor expansion of -0.25 in c 3.289 * [backup-simplify]: Simplify -0.25 into -0.25 3.289 * [taylor]: Taking taylor expansion of a in c 3.289 * [backup-simplify]: Simplify a into a 3.289 * [backup-simplify]: Simplify (/ -0.25 a) into (/ -0.25 a) 3.289 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.289 * [taylor]: Taking taylor expansion of b in c 3.289 * [backup-simplify]: Simplify b into b 3.289 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.289 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.289 * [taylor]: Taking taylor expansion of -1 in c 3.289 * [backup-simplify]: Simplify -1 into -1 3.289 * [taylor]: Taking taylor expansion of c in c 3.289 * [backup-simplify]: Simplify 0 into 0 3.289 * [backup-simplify]: Simplify 1 into 1 3.290 * [backup-simplify]: Simplify (/ -1 1) into -1 3.290 * [taylor]: Taking taylor expansion of (fma (/ -0.0625 z) (/ -1 t) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) in b 3.290 * [taylor]: Rewrote expression to (+ (* (/ -0.0625 z) (/ -1 t)) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) 3.290 * [taylor]: Taking taylor expansion of (* (/ -0.0625 z) (/ -1 t)) in b 3.290 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in b 3.290 * [taylor]: Taking taylor expansion of -0.0625 in b 3.290 * [backup-simplify]: Simplify -0.0625 into -0.0625 3.290 * [taylor]: Taking taylor expansion of z in b 3.290 * [backup-simplify]: Simplify z into z 3.290 * [backup-simplify]: Simplify (/ -0.0625 z) into (/ -0.0625 z) 3.290 * [taylor]: Taking taylor expansion of (/ -1 t) in b 3.290 * [taylor]: Taking taylor expansion of -1 in b 3.290 * [backup-simplify]: Simplify -1 into -1 3.290 * [taylor]: Taking taylor expansion of t in b 3.290 * [backup-simplify]: Simplify t into t 3.290 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 3.290 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) in b 3.290 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) 3.290 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in b 3.290 * [taylor]: Taking taylor expansion of (/ -1 x) in b 3.290 * [taylor]: Taking taylor expansion of -1 in b 3.290 * [backup-simplify]: Simplify -1 into -1 3.290 * [taylor]: Taking taylor expansion of x in b 3.290 * [backup-simplify]: Simplify x into x 3.290 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.291 * [taylor]: Taking taylor expansion of (/ -1 y) in b 3.291 * [taylor]: Taking taylor expansion of -1 in b 3.291 * [backup-simplify]: Simplify -1 into -1 3.291 * [taylor]: Taking taylor expansion of y in b 3.291 * [backup-simplify]: Simplify y into y 3.291 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.291 * [taylor]: Taking taylor expansion of (fma (/ -0.25 a) (/ 1 b) (/ -1 c)) in b 3.291 * [taylor]: Rewrote expression to (+ (* (/ -0.25 a) (/ 1 b)) (/ -1 c)) 3.291 * [taylor]: Taking taylor expansion of (* (/ -0.25 a) (/ 1 b)) in b 3.291 * [taylor]: Taking taylor expansion of (/ -0.25 a) in b 3.291 * [taylor]: Taking taylor expansion of -0.25 in b 3.291 * [backup-simplify]: Simplify -0.25 into -0.25 3.291 * [taylor]: Taking taylor expansion of a in b 3.291 * [backup-simplify]: Simplify a into a 3.291 * [backup-simplify]: Simplify (/ -0.25 a) into (/ -0.25 a) 3.291 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.291 * [taylor]: Taking taylor expansion of b in b 3.291 * [backup-simplify]: Simplify 0 into 0 3.291 * [backup-simplify]: Simplify 1 into 1 3.291 * [backup-simplify]: Simplify (/ 1 1) into 1 3.292 * [taylor]: Taking taylor expansion of (/ -1 c) in b 3.292 * [taylor]: Taking taylor expansion of -1 in b 3.292 * [backup-simplify]: Simplify -1 into -1 3.292 * [taylor]: Taking taylor expansion of c in b 3.292 * [backup-simplify]: Simplify c into c 3.292 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c) 3.292 * [taylor]: Taking taylor expansion of (fma (/ -0.0625 z) (/ -1 t) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) in a 3.292 * [taylor]: Rewrote expression to (+ (* (/ -0.0625 z) (/ -1 t)) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) 3.292 * [taylor]: Taking taylor expansion of (* (/ -0.0625 z) (/ -1 t)) in a 3.292 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in a 3.292 * [taylor]: Taking taylor expansion of -0.0625 in a 3.292 * [backup-simplify]: Simplify -0.0625 into -0.0625 3.292 * [taylor]: Taking taylor expansion of z in a 3.292 * [backup-simplify]: Simplify z into z 3.292 * [backup-simplify]: Simplify (/ -0.0625 z) into (/ -0.0625 z) 3.292 * [taylor]: Taking taylor expansion of (/ -1 t) in a 3.292 * [taylor]: Taking taylor expansion of -1 in a 3.292 * [backup-simplify]: Simplify -1 into -1 3.292 * [taylor]: Taking taylor expansion of t in a 3.292 * [backup-simplify]: Simplify t into t 3.292 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 3.292 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) in a 3.292 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) 3.292 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in a 3.292 * [taylor]: Taking taylor expansion of (/ -1 x) in a 3.293 * [taylor]: Taking taylor expansion of -1 in a 3.293 * [backup-simplify]: Simplify -1 into -1 3.293 * [taylor]: Taking taylor expansion of x in a 3.293 * [backup-simplify]: Simplify x into x 3.293 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.293 * [taylor]: Taking taylor expansion of (/ -1 y) in a 3.293 * [taylor]: Taking taylor expansion of -1 in a 3.293 * [backup-simplify]: Simplify -1 into -1 3.293 * [taylor]: Taking taylor expansion of y in a 3.293 * [backup-simplify]: Simplify y into y 3.293 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.293 * [taylor]: Taking taylor expansion of (fma (/ -0.25 a) (/ 1 b) (/ -1 c)) in a 3.293 * [taylor]: Rewrote expression to (+ (* (/ -0.25 a) (/ 1 b)) (/ -1 c)) 3.293 * [taylor]: Taking taylor expansion of (* (/ -0.25 a) (/ 1 b)) in a 3.293 * [taylor]: Taking taylor expansion of (/ -0.25 a) in a 3.293 * [taylor]: Taking taylor expansion of -0.25 in a 3.293 * [backup-simplify]: Simplify -0.25 into -0.25 3.293 * [taylor]: Taking taylor expansion of a in a 3.293 * [backup-simplify]: Simplify 0 into 0 3.293 * [backup-simplify]: Simplify 1 into 1 3.294 * [backup-simplify]: Simplify (/ -0.25 1) into -0.25 3.294 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.294 * [taylor]: Taking taylor expansion of b in a 3.294 * [backup-simplify]: Simplify b into b 3.294 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.294 * [taylor]: Taking taylor expansion of (/ -1 c) in a 3.294 * [taylor]: Taking taylor expansion of -1 in a 3.294 * [backup-simplify]: Simplify -1 into -1 3.294 * [taylor]: Taking taylor expansion of c in a 3.294 * [backup-simplify]: Simplify c into c 3.294 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c) 3.294 * [taylor]: Taking taylor expansion of (fma (/ -0.0625 z) (/ -1 t) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) in y 3.294 * [taylor]: Rewrote expression to (+ (* (/ -0.0625 z) (/ -1 t)) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) 3.294 * [taylor]: Taking taylor expansion of (* (/ -0.0625 z) (/ -1 t)) in y 3.294 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in y 3.294 * [taylor]: Taking taylor expansion of -0.0625 in y 3.294 * [backup-simplify]: Simplify -0.0625 into -0.0625 3.294 * [taylor]: Taking taylor expansion of z in y 3.294 * [backup-simplify]: Simplify z into z 3.294 * [backup-simplify]: Simplify (/ -0.0625 z) into (/ -0.0625 z) 3.294 * [taylor]: Taking taylor expansion of (/ -1 t) in y 3.294 * [taylor]: Taking taylor expansion of -1 in y 3.294 * [backup-simplify]: Simplify -1 into -1 3.294 * [taylor]: Taking taylor expansion of t in y 3.294 * [backup-simplify]: Simplify t into t 3.294 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 3.294 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) in y 3.295 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) 3.295 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y 3.295 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.295 * [taylor]: Taking taylor expansion of -1 in y 3.295 * [backup-simplify]: Simplify -1 into -1 3.295 * [taylor]: Taking taylor expansion of x in y 3.295 * [backup-simplify]: Simplify x into x 3.295 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.295 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.295 * [taylor]: Taking taylor expansion of -1 in y 3.295 * [backup-simplify]: Simplify -1 into -1 3.295 * [taylor]: Taking taylor expansion of y in y 3.295 * [backup-simplify]: Simplify 0 into 0 3.295 * [backup-simplify]: Simplify 1 into 1 3.295 * [backup-simplify]: Simplify (/ -1 1) into -1 3.295 * [taylor]: Taking taylor expansion of (fma (/ -0.25 a) (/ 1 b) (/ -1 c)) in y 3.295 * [taylor]: Rewrote expression to (+ (* (/ -0.25 a) (/ 1 b)) (/ -1 c)) 3.295 * [taylor]: Taking taylor expansion of (* (/ -0.25 a) (/ 1 b)) in y 3.295 * [taylor]: Taking taylor expansion of (/ -0.25 a) in y 3.295 * [taylor]: Taking taylor expansion of -0.25 in y 3.295 * [backup-simplify]: Simplify -0.25 into -0.25 3.295 * [taylor]: Taking taylor expansion of a in y 3.295 * [backup-simplify]: Simplify a into a 3.295 * [backup-simplify]: Simplify (/ -0.25 a) into (/ -0.25 a) 3.295 * [taylor]: Taking taylor expansion of (/ 1 b) in y 3.295 * [taylor]: Taking taylor expansion of b in y 3.295 * [backup-simplify]: Simplify b into b 3.295 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.296 * [taylor]: Taking taylor expansion of (/ -1 c) in y 3.296 * [taylor]: Taking taylor expansion of -1 in y 3.296 * [backup-simplify]: Simplify -1 into -1 3.296 * [taylor]: Taking taylor expansion of c in y 3.296 * [backup-simplify]: Simplify c into c 3.296 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c) 3.296 * [taylor]: Taking taylor expansion of (fma (/ -0.0625 z) (/ -1 t) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) in x 3.296 * [taylor]: Rewrote expression to (+ (* (/ -0.0625 z) (/ -1 t)) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) 3.296 * [taylor]: Taking taylor expansion of (* (/ -0.0625 z) (/ -1 t)) in x 3.296 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in x 3.296 * [taylor]: Taking taylor expansion of -0.0625 in x 3.296 * [backup-simplify]: Simplify -0.0625 into -0.0625 3.296 * [taylor]: Taking taylor expansion of z in x 3.296 * [backup-simplify]: Simplify z into z 3.296 * [backup-simplify]: Simplify (/ -0.0625 z) into (/ -0.0625 z) 3.296 * [taylor]: Taking taylor expansion of (/ -1 t) in x 3.296 * [taylor]: Taking taylor expansion of -1 in x 3.296 * [backup-simplify]: Simplify -1 into -1 3.296 * [taylor]: Taking taylor expansion of t in x 3.296 * [backup-simplify]: Simplify t into t 3.296 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 3.296 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) in x 3.296 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) 3.296 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 3.296 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.296 * [taylor]: Taking taylor expansion of -1 in x 3.296 * [backup-simplify]: Simplify -1 into -1 3.296 * [taylor]: Taking taylor expansion of x in x 3.296 * [backup-simplify]: Simplify 0 into 0 3.296 * [backup-simplify]: Simplify 1 into 1 3.297 * [backup-simplify]: Simplify (/ -1 1) into -1 3.297 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.297 * [taylor]: Taking taylor expansion of -1 in x 3.297 * [backup-simplify]: Simplify -1 into -1 3.297 * [taylor]: Taking taylor expansion of y in x 3.297 * [backup-simplify]: Simplify y into y 3.297 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.297 * [taylor]: Taking taylor expansion of (fma (/ -0.25 a) (/ 1 b) (/ -1 c)) in x 3.297 * [taylor]: Rewrote expression to (+ (* (/ -0.25 a) (/ 1 b)) (/ -1 c)) 3.297 * [taylor]: Taking taylor expansion of (* (/ -0.25 a) (/ 1 b)) in x 3.297 * [taylor]: Taking taylor expansion of (/ -0.25 a) in x 3.297 * [taylor]: Taking taylor expansion of -0.25 in x 3.297 * [backup-simplify]: Simplify -0.25 into -0.25 3.297 * [taylor]: Taking taylor expansion of a in x 3.297 * [backup-simplify]: Simplify a into a 3.297 * [backup-simplify]: Simplify (/ -0.25 a) into (/ -0.25 a) 3.297 * [taylor]: Taking taylor expansion of (/ 1 b) in x 3.297 * [taylor]: Taking taylor expansion of b in x 3.297 * [backup-simplify]: Simplify b into b 3.297 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.297 * [taylor]: Taking taylor expansion of (/ -1 c) in x 3.297 * [taylor]: Taking taylor expansion of -1 in x 3.297 * [backup-simplify]: Simplify -1 into -1 3.297 * [taylor]: Taking taylor expansion of c in x 3.297 * [backup-simplify]: Simplify c into c 3.297 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c) 3.297 * [taylor]: Taking taylor expansion of (fma (/ -0.0625 z) (/ -1 t) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) in t 3.297 * [taylor]: Rewrote expression to (+ (* (/ -0.0625 z) (/ -1 t)) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) 3.297 * [taylor]: Taking taylor expansion of (* (/ -0.0625 z) (/ -1 t)) in t 3.297 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in t 3.297 * [taylor]: Taking taylor expansion of -0.0625 in t 3.297 * [backup-simplify]: Simplify -0.0625 into -0.0625 3.297 * [taylor]: Taking taylor expansion of z in t 3.297 * [backup-simplify]: Simplify z into z 3.297 * [backup-simplify]: Simplify (/ -0.0625 z) into (/ -0.0625 z) 3.297 * [taylor]: Taking taylor expansion of (/ -1 t) in t 3.297 * [taylor]: Taking taylor expansion of -1 in t 3.297 * [backup-simplify]: Simplify -1 into -1 3.297 * [taylor]: Taking taylor expansion of t in t 3.298 * [backup-simplify]: Simplify 0 into 0 3.298 * [backup-simplify]: Simplify 1 into 1 3.298 * [backup-simplify]: Simplify (/ -1 1) into -1 3.298 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) in t 3.298 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) 3.298 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in t 3.298 * [taylor]: Taking taylor expansion of (/ -1 x) in t 3.298 * [taylor]: Taking taylor expansion of -1 in t 3.298 * [backup-simplify]: Simplify -1 into -1 3.298 * [taylor]: Taking taylor expansion of x in t 3.298 * [backup-simplify]: Simplify x into x 3.298 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.298 * [taylor]: Taking taylor expansion of (/ -1 y) in t 3.298 * [taylor]: Taking taylor expansion of -1 in t 3.298 * [backup-simplify]: Simplify -1 into -1 3.298 * [taylor]: Taking taylor expansion of y in t 3.298 * [backup-simplify]: Simplify y into y 3.298 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.298 * [taylor]: Taking taylor expansion of (fma (/ -0.25 a) (/ 1 b) (/ -1 c)) in t 3.298 * [taylor]: Rewrote expression to (+ (* (/ -0.25 a) (/ 1 b)) (/ -1 c)) 3.298 * [taylor]: Taking taylor expansion of (* (/ -0.25 a) (/ 1 b)) in t 3.298 * [taylor]: Taking taylor expansion of (/ -0.25 a) in t 3.298 * [taylor]: Taking taylor expansion of -0.25 in t 3.298 * [backup-simplify]: Simplify -0.25 into -0.25 3.298 * [taylor]: Taking taylor expansion of a in t 3.298 * [backup-simplify]: Simplify a into a 3.298 * [backup-simplify]: Simplify (/ -0.25 a) into (/ -0.25 a) 3.298 * [taylor]: Taking taylor expansion of (/ 1 b) in t 3.298 * [taylor]: Taking taylor expansion of b in t 3.299 * [backup-simplify]: Simplify b into b 3.299 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.299 * [taylor]: Taking taylor expansion of (/ -1 c) in t 3.299 * [taylor]: Taking taylor expansion of -1 in t 3.299 * [backup-simplify]: Simplify -1 into -1 3.299 * [taylor]: Taking taylor expansion of c in t 3.299 * [backup-simplify]: Simplify c into c 3.299 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c) 3.299 * [taylor]: Taking taylor expansion of (fma (/ -0.0625 z) (/ -1 t) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) in z 3.299 * [taylor]: Rewrote expression to (+ (* (/ -0.0625 z) (/ -1 t)) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) 3.299 * [taylor]: Taking taylor expansion of (* (/ -0.0625 z) (/ -1 t)) in z 3.299 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in z 3.299 * [taylor]: Taking taylor expansion of -0.0625 in z 3.299 * [backup-simplify]: Simplify -0.0625 into -0.0625 3.299 * [taylor]: Taking taylor expansion of z in z 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [backup-simplify]: Simplify 1 into 1 3.299 * [backup-simplify]: Simplify (/ -0.0625 1) into -0.0625 3.299 * [taylor]: Taking taylor expansion of (/ -1 t) in z 3.299 * [taylor]: Taking taylor expansion of -1 in z 3.299 * [backup-simplify]: Simplify -1 into -1 3.299 * [taylor]: Taking taylor expansion of t in z 3.299 * [backup-simplify]: Simplify t into t 3.299 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 3.299 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) in z 3.299 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) 3.299 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z 3.300 * [taylor]: Taking taylor expansion of (/ -1 x) in z 3.300 * [taylor]: Taking taylor expansion of -1 in z 3.300 * [backup-simplify]: Simplify -1 into -1 3.300 * [taylor]: Taking taylor expansion of x in z 3.300 * [backup-simplify]: Simplify x into x 3.300 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.300 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.300 * [taylor]: Taking taylor expansion of -1 in z 3.300 * [backup-simplify]: Simplify -1 into -1 3.300 * [taylor]: Taking taylor expansion of y in z 3.300 * [backup-simplify]: Simplify y into y 3.300 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.300 * [taylor]: Taking taylor expansion of (fma (/ -0.25 a) (/ 1 b) (/ -1 c)) in z 3.300 * [taylor]: Rewrote expression to (+ (* (/ -0.25 a) (/ 1 b)) (/ -1 c)) 3.300 * [taylor]: Taking taylor expansion of (* (/ -0.25 a) (/ 1 b)) in z 3.300 * [taylor]: Taking taylor expansion of (/ -0.25 a) in z 3.300 * [taylor]: Taking taylor expansion of -0.25 in z 3.300 * [backup-simplify]: Simplify -0.25 into -0.25 3.300 * [taylor]: Taking taylor expansion of a in z 3.300 * [backup-simplify]: Simplify a into a 3.300 * [backup-simplify]: Simplify (/ -0.25 a) into (/ -0.25 a) 3.300 * [taylor]: Taking taylor expansion of (/ 1 b) in z 3.300 * [taylor]: Taking taylor expansion of b in z 3.300 * [backup-simplify]: Simplify b into b 3.300 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.300 * [taylor]: Taking taylor expansion of (/ -1 c) in z 3.300 * [taylor]: Taking taylor expansion of -1 in z 3.300 * [backup-simplify]: Simplify -1 into -1 3.300 * [taylor]: Taking taylor expansion of c in z 3.300 * [backup-simplify]: Simplify c into c 3.300 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c) 3.300 * [taylor]: Taking taylor expansion of (fma (/ -0.0625 z) (/ -1 t) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) in z 3.300 * [taylor]: Rewrote expression to (+ (* (/ -0.0625 z) (/ -1 t)) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) 3.300 * [taylor]: Taking taylor expansion of (* (/ -0.0625 z) (/ -1 t)) in z 3.300 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in z 3.300 * [taylor]: Taking taylor expansion of -0.0625 in z 3.300 * [backup-simplify]: Simplify -0.0625 into -0.0625 3.300 * [taylor]: Taking taylor expansion of z in z 3.300 * [backup-simplify]: Simplify 0 into 0 3.300 * [backup-simplify]: Simplify 1 into 1 3.301 * [backup-simplify]: Simplify (/ -0.0625 1) into -0.0625 3.301 * [taylor]: Taking taylor expansion of (/ -1 t) in z 3.301 * [taylor]: Taking taylor expansion of -1 in z 3.301 * [backup-simplify]: Simplify -1 into -1 3.301 * [taylor]: Taking taylor expansion of t in z 3.301 * [backup-simplify]: Simplify t into t 3.301 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 3.301 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) in z 3.301 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) 3.301 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z 3.301 * [taylor]: Taking taylor expansion of (/ -1 x) in z 3.301 * [taylor]: Taking taylor expansion of -1 in z 3.301 * [backup-simplify]: Simplify -1 into -1 3.301 * [taylor]: Taking taylor expansion of x in z 3.301 * [backup-simplify]: Simplify x into x 3.301 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.301 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.301 * [taylor]: Taking taylor expansion of -1 in z 3.301 * [backup-simplify]: Simplify -1 into -1 3.301 * [taylor]: Taking taylor expansion of y in z 3.301 * [backup-simplify]: Simplify y into y 3.301 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.301 * [taylor]: Taking taylor expansion of (fma (/ -0.25 a) (/ 1 b) (/ -1 c)) in z 3.301 * [taylor]: Rewrote expression to (+ (* (/ -0.25 a) (/ 1 b)) (/ -1 c)) 3.301 * [taylor]: Taking taylor expansion of (* (/ -0.25 a) (/ 1 b)) in z 3.301 * [taylor]: Taking taylor expansion of (/ -0.25 a) in z 3.301 * [taylor]: Taking taylor expansion of -0.25 in z 3.301 * [backup-simplify]: Simplify -0.25 into -0.25 3.302 * [taylor]: Taking taylor expansion of a in z 3.302 * [backup-simplify]: Simplify a into a 3.302 * [backup-simplify]: Simplify (/ -0.25 a) into (/ -0.25 a) 3.302 * [taylor]: Taking taylor expansion of (/ 1 b) in z 3.302 * [taylor]: Taking taylor expansion of b in z 3.302 * [backup-simplify]: Simplify b into b 3.302 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.302 * [taylor]: Taking taylor expansion of (/ -1 c) in z 3.302 * [taylor]: Taking taylor expansion of -1 in z 3.302 * [backup-simplify]: Simplify -1 into -1 3.302 * [taylor]: Taking taylor expansion of c in z 3.302 * [backup-simplify]: Simplify c into c 3.302 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c) 3.302 * [backup-simplify]: Simplify (* -0.0625 (/ -1 t)) into (/ 0.0625 t) 3.302 * [backup-simplify]: Simplify (+ (/ 0.0625 t) 0) into (* 0.0625 (/ 1 t)) 3.302 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 t)) in t 3.302 * [taylor]: Taking taylor expansion of 0.0625 in t 3.302 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.302 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.302 * [taylor]: Taking taylor expansion of t in t 3.302 * [backup-simplify]: Simplify 0 into 0 3.302 * [backup-simplify]: Simplify 1 into 1 3.302 * [backup-simplify]: Simplify (/ 1 1) into 1 3.303 * [backup-simplify]: Simplify (* 0.0625 1) into 0.0625 3.303 * [taylor]: Taking taylor expansion of 0.0625 in x 3.303 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.303 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)))) into 0 3.307 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.0625 (/ 0 1)))) into 0 3.308 * [backup-simplify]: Simplify (+ (* -0.0625 0) (* 0 (/ -1 t))) into 0 3.308 * [backup-simplify]: Simplify (* (/ -1 x) (/ -1 y)) into (/ 1 (* x y)) 3.308 * [backup-simplify]: Simplify (* (/ -0.25 a) (/ 1 b)) into (/ -0.25 (* a b)) 3.308 * [backup-simplify]: Simplify (+ (/ -0.25 (* a b)) (/ -1 c)) into (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) 3.308 * [backup-simplify]: Simplify (+ (/ 1 (* x y)) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) into (- (/ 1 (* x y)) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) 3.308 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* x y)) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) into (- (/ 1 (* x y)) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) 3.308 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in t 3.308 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 3.308 * [taylor]: Taking taylor expansion of (* x y) in t 3.308 * [taylor]: Taking taylor expansion of x in t 3.308 * [backup-simplify]: Simplify x into x 3.308 * [taylor]: Taking taylor expansion of y in t 3.308 * [backup-simplify]: Simplify y into y 3.308 * [backup-simplify]: Simplify (* x y) into (* x y) 3.309 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 3.309 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in t 3.309 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in t 3.309 * [taylor]: Taking taylor expansion of 0.25 in t 3.309 * [backup-simplify]: Simplify 0.25 into 0.25 3.309 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 3.309 * [taylor]: Taking taylor expansion of (* a b) in t 3.309 * [taylor]: Taking taylor expansion of a in t 3.309 * [backup-simplify]: Simplify a into a 3.309 * [taylor]: Taking taylor expansion of b in t 3.309 * [backup-simplify]: Simplify b into b 3.309 * [backup-simplify]: Simplify (* a b) into (* a b) 3.309 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 3.309 * [taylor]: Taking taylor expansion of (/ 1 c) in t 3.309 * [taylor]: Taking taylor expansion of c in t 3.309 * [backup-simplify]: Simplify c into c 3.309 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.310 * [backup-simplify]: Simplify (+ (* 0.0625 0) (* 0 1)) into 0 3.310 * [taylor]: Taking taylor expansion of 0 in x 3.310 * [backup-simplify]: Simplify 0 into 0 3.310 * [taylor]: Taking taylor expansion of 0.0625 in y 3.310 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.310 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 3.311 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.0625 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.311 * [backup-simplify]: Simplify (+ (* -0.0625 0) (+ (* 0 0) (* 0 (/ -1 t)))) into 0 3.311 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 3.311 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 3.311 * [backup-simplify]: Simplify (+ (* (/ -1 x) 0) (* 0 (/ -1 y))) into 0 3.312 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.312 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -0.25 a) (/ 0 a)))) into 0 3.312 * [backup-simplify]: Simplify (+ (* (/ -0.25 a) 0) (* 0 (/ 1 b))) into 0 3.312 * [backup-simplify]: Simplify (- (/ 0 c) (+ (* (/ -1 c) (/ 0 c)))) into 0 3.312 * [backup-simplify]: Simplify (+ 0 0) into 0 3.312 * [backup-simplify]: Simplify (+ 0 0) into 0 3.312 * [backup-simplify]: Simplify (+ 0 0) into 0 3.312 * [taylor]: Taking taylor expansion of 0 in t 3.312 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 3.313 * [backup-simplify]: Simplify (+ (/ 0.25 (* a b)) (/ 1 c)) into (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) 3.313 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) into (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) 3.313 * [backup-simplify]: Simplify (+ (/ 1 (* x y)) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) into (- (/ 1 (* x y)) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) 3.313 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in x 3.313 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.313 * [taylor]: Taking taylor expansion of (* x y) in x 3.313 * [taylor]: Taking taylor expansion of x in x 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify 1 into 1 3.313 * [taylor]: Taking taylor expansion of y in x 3.313 * [backup-simplify]: Simplify y into y 3.313 * [backup-simplify]: Simplify (* 0 y) into 0 3.313 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.313 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.314 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in x 3.314 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in x 3.314 * [taylor]: Taking taylor expansion of 0.25 in x 3.314 * [backup-simplify]: Simplify 0.25 into 0.25 3.314 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 3.314 * [taylor]: Taking taylor expansion of (* a b) in x 3.314 * [taylor]: Taking taylor expansion of a in x 3.314 * [backup-simplify]: Simplify a into a 3.314 * [taylor]: Taking taylor expansion of b in x 3.314 * [backup-simplify]: Simplify b into b 3.314 * [backup-simplify]: Simplify (* a b) into (* a b) 3.314 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 3.314 * [taylor]: Taking taylor expansion of (/ 1 c) in x 3.314 * [taylor]: Taking taylor expansion of c in x 3.314 * [backup-simplify]: Simplify c into c 3.314 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.314 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 3.314 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.314 * [taylor]: Taking taylor expansion of y in y 3.314 * [backup-simplify]: Simplify 0 into 0 3.314 * [backup-simplify]: Simplify 1 into 1 3.314 * [backup-simplify]: Simplify (/ 1 1) into 1 3.314 * [taylor]: Taking taylor expansion of 1 in a 3.314 * [backup-simplify]: Simplify 1 into 1 3.315 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.315 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (* 0 1))) into 0 3.315 * [taylor]: Taking taylor expansion of 0 in x 3.315 * [backup-simplify]: Simplify 0 into 0 3.315 * [taylor]: Taking taylor expansion of 0 in y 3.315 * [backup-simplify]: Simplify 0 into 0 3.315 * [taylor]: Taking taylor expansion of 0 in y 3.315 * [backup-simplify]: Simplify 0 into 0 3.316 * [taylor]: Taking taylor expansion of 0.0625 in a 3.316 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.316 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0 3.316 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.0625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.317 * [backup-simplify]: Simplify (+ (* -0.0625 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 t))))) into 0 3.317 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.317 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.318 * [backup-simplify]: Simplify (+ (* (/ -1 x) 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 3.318 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.318 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -0.25 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 3.318 * [backup-simplify]: Simplify (+ (* (/ -0.25 a) 0) (+ (* 0 0) (* 0 (/ 1 b)))) into 0 3.318 * [backup-simplify]: Simplify (- (/ 0 c) (+ (* (/ -1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 3.319 * [backup-simplify]: Simplify (+ 0 0) into 0 3.319 * [backup-simplify]: Simplify (+ 0 0) into 0 3.319 * [backup-simplify]: Simplify (+ 0 0) into 0 3.319 * [taylor]: Taking taylor expansion of 0 in t 3.319 * [backup-simplify]: Simplify 0 into 0 3.319 * [taylor]: Taking taylor expansion of 0 in x 3.319 * [backup-simplify]: Simplify 0 into 0 3.319 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 3.319 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 3.319 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 3.319 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 3.320 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 3.320 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 3.320 * [backup-simplify]: Simplify (+ 0 0) into 0 3.320 * [backup-simplify]: Simplify (- 0) into 0 3.321 * [backup-simplify]: Simplify (+ 0 0) into 0 3.321 * [taylor]: Taking taylor expansion of 0 in x 3.321 * [backup-simplify]: Simplify 0 into 0 3.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.322 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.322 * [taylor]: Taking taylor expansion of 0 in x 3.322 * [backup-simplify]: Simplify 0 into 0 3.322 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.323 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.323 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 3.323 * [backup-simplify]: Simplify (+ (/ 0.25 (* a b)) (/ 1 c)) into (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) 3.323 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) into (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) 3.323 * [backup-simplify]: Simplify (+ 0 (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) into (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) 3.323 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in y 3.323 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in y 3.323 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in y 3.323 * [taylor]: Taking taylor expansion of 0.25 in y 3.323 * [backup-simplify]: Simplify 0.25 into 0.25 3.323 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 3.323 * [taylor]: Taking taylor expansion of (* a b) in y 3.323 * [taylor]: Taking taylor expansion of a in y 3.323 * [backup-simplify]: Simplify a into a 3.323 * [taylor]: Taking taylor expansion of b in y 3.324 * [backup-simplify]: Simplify b into b 3.324 * [backup-simplify]: Simplify (* a b) into (* a b) 3.324 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 3.324 * [taylor]: Taking taylor expansion of (/ 1 c) in y 3.324 * [taylor]: Taking taylor expansion of c in y 3.324 * [backup-simplify]: Simplify c into c 3.324 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.324 * [taylor]: Taking taylor expansion of 0 in y 3.324 * [backup-simplify]: Simplify 0 into 0 3.324 * [taylor]: Taking taylor expansion of 0 in y 3.324 * [backup-simplify]: Simplify 0 into 0 3.324 * [taylor]: Taking taylor expansion of 0 in y 3.324 * [backup-simplify]: Simplify 0 into 0 3.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.325 * [taylor]: Taking taylor expansion of 0 in a 3.325 * [backup-simplify]: Simplify 0 into 0 3.325 * [taylor]: Taking taylor expansion of 0 in a 3.325 * [backup-simplify]: Simplify 0 into 0 3.325 * [taylor]: Taking taylor expansion of 0 in a 3.325 * [backup-simplify]: Simplify 0 into 0 3.325 * [taylor]: Taking taylor expansion of 0 in a 3.325 * [backup-simplify]: Simplify 0 into 0 3.325 * [taylor]: Taking taylor expansion of 1 in b 3.325 * [backup-simplify]: Simplify 1 into 1 3.325 * [taylor]: Taking taylor expansion of 0.0625 in b 3.325 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.326 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0 3.327 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.0625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.328 * [backup-simplify]: Simplify (+ (* -0.0625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 t)))))) into 0 3.328 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.329 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.329 * [backup-simplify]: Simplify (+ (* (/ -1 x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0 3.330 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.330 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -0.25 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 3.331 * [backup-simplify]: Simplify (+ (* (/ -0.25 a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 b))))) into 0 3.331 * [backup-simplify]: Simplify (- (/ 0 c) (+ (* (/ -1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0 3.331 * [backup-simplify]: Simplify (+ 0 0) into 0 3.332 * [backup-simplify]: Simplify (+ 0 0) into 0 3.332 * [backup-simplify]: Simplify (+ 0 0) into 0 3.332 * [taylor]: Taking taylor expansion of 0 in t 3.332 * [backup-simplify]: Simplify 0 into 0 3.332 * [taylor]: Taking taylor expansion of 0 in x 3.332 * [backup-simplify]: Simplify 0 into 0 3.332 * [taylor]: Taking taylor expansion of 0 in x 3.332 * [backup-simplify]: Simplify 0 into 0 3.333 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 3.333 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 3.333 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0 3.333 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 3.334 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 (* a b))))) into 0 3.334 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 3.335 * [backup-simplify]: Simplify (+ 0 0) into 0 3.335 * [backup-simplify]: Simplify (- 0) into 0 3.336 * [backup-simplify]: Simplify (+ 0 0) into 0 3.336 * [taylor]: Taking taylor expansion of 0 in x 3.336 * [backup-simplify]: Simplify 0 into 0 3.336 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.338 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.338 * [taylor]: Taking taylor expansion of 0 in x 3.338 * [backup-simplify]: Simplify 0 into 0 3.338 * [taylor]: Taking taylor expansion of 0 in y 3.338 * [backup-simplify]: Simplify 0 into 0 3.338 * [taylor]: Taking taylor expansion of 0 in y 3.338 * [backup-simplify]: Simplify 0 into 0 3.338 * [taylor]: Taking taylor expansion of 0 in y 3.338 * [backup-simplify]: Simplify 0 into 0 3.339 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 3.339 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.340 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 3.340 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 3.340 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 3.340 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 3.341 * [backup-simplify]: Simplify (+ 0 0) into 0 3.341 * [backup-simplify]: Simplify (- 0) into 0 3.341 * [backup-simplify]: Simplify (+ 0 0) into 0 3.341 * [taylor]: Taking taylor expansion of 0 in y 3.341 * [backup-simplify]: Simplify 0 into 0 3.342 * [taylor]: Taking taylor expansion of 0 in y 3.342 * [backup-simplify]: Simplify 0 into 0 3.342 * [taylor]: Taking taylor expansion of 0 in y 3.342 * [backup-simplify]: Simplify 0 into 0 3.342 * [taylor]: Taking taylor expansion of 0 in y 3.342 * [backup-simplify]: Simplify 0 into 0 3.342 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 3.342 * [backup-simplify]: Simplify (+ (/ 0.25 (* a b)) (/ 1 c)) into (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) 3.342 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) into (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) 3.342 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in a 3.342 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in a 3.342 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 3.342 * [taylor]: Taking taylor expansion of 0.25 in a 3.342 * [backup-simplify]: Simplify 0.25 into 0.25 3.343 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 3.343 * [taylor]: Taking taylor expansion of (* a b) in a 3.343 * [taylor]: Taking taylor expansion of a in a 3.343 * [backup-simplify]: Simplify 0 into 0 3.343 * [backup-simplify]: Simplify 1 into 1 3.343 * [taylor]: Taking taylor expansion of b in a 3.343 * [backup-simplify]: Simplify b into b 3.343 * [backup-simplify]: Simplify (* 0 b) into 0 3.343 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 3.343 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.343 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.343 * [taylor]: Taking taylor expansion of c in a 3.343 * [backup-simplify]: Simplify c into c 3.343 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.343 * [backup-simplify]: Simplify (* 0.25 (/ 1 b)) into (/ 0.25 b) 3.343 * [backup-simplify]: Simplify (+ (/ 0.25 b) 0) into (* 0.25 (/ 1 b)) 3.344 * [backup-simplify]: Simplify (- (* 0.25 (/ 1 b))) into (- (* 0.25 (/ 1 b))) 3.344 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 b))) in b 3.344 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 b)) in b 3.344 * [taylor]: Taking taylor expansion of 0.25 in b 3.344 * [backup-simplify]: Simplify 0.25 into 0.25 3.344 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.344 * [taylor]: Taking taylor expansion of b in b 3.344 * [backup-simplify]: Simplify 0 into 0 3.344 * [backup-simplify]: Simplify 1 into 1 3.344 * [backup-simplify]: Simplify (/ 1 1) into 1 3.345 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 3.345 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 3.345 * [taylor]: Taking taylor expansion of (- 0.25) in c 3.345 * [taylor]: Taking taylor expansion of 0.25 in c 3.345 * [backup-simplify]: Simplify 0.25 into 0.25 3.345 * [taylor]: Taking taylor expansion of 0 in a 3.345 * [backup-simplify]: Simplify 0 into 0 3.345 * [taylor]: Taking taylor expansion of 0 in a 3.345 * [backup-simplify]: Simplify 0 into 0 3.345 * [taylor]: Taking taylor expansion of 0 in a 3.345 * [backup-simplify]: Simplify 0 into 0 3.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.346 * [taylor]: Taking taylor expansion of 0 in a 3.346 * [backup-simplify]: Simplify 0 into 0 3.346 * [taylor]: Taking taylor expansion of 0 in a 3.346 * [backup-simplify]: Simplify 0 into 0 3.346 * [taylor]: Taking taylor expansion of 0 in a 3.346 * [backup-simplify]: Simplify 0 into 0 3.346 * [taylor]: Taking taylor expansion of 0 in a 3.346 * [backup-simplify]: Simplify 0 into 0 3.347 * [taylor]: Taking taylor expansion of 0 in b 3.347 * [backup-simplify]: Simplify 0 into 0 3.347 * [taylor]: Taking taylor expansion of 0 in b 3.347 * [backup-simplify]: Simplify 0 into 0 3.347 * [taylor]: Taking taylor expansion of 0 in b 3.347 * [backup-simplify]: Simplify 0 into 0 3.347 * [taylor]: Taking taylor expansion of 0 in b 3.347 * [backup-simplify]: Simplify 0 into 0 3.347 * [taylor]: Taking taylor expansion of 0 in b 3.347 * [backup-simplify]: Simplify 0 into 0 3.347 * [taylor]: Taking taylor expansion of 0 in b 3.347 * [backup-simplify]: Simplify 0 into 0 3.347 * [taylor]: Taking taylor expansion of 1 in c 3.348 * [backup-simplify]: Simplify 1 into 1 3.348 * [taylor]: Taking taylor expansion of 0.0625 in c 3.348 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.349 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0 3.351 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.0625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.352 * [backup-simplify]: Simplify (+ (* -0.0625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 t))))))) into 0 3.353 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.353 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.354 * [backup-simplify]: Simplify (+ (* (/ -1 x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y)))))) into 0 3.354 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.355 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -0.25 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 3.356 * [backup-simplify]: Simplify (+ (* (/ -0.25 a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 b)))))) into 0 3.356 * [backup-simplify]: Simplify (- (/ 0 c) (+ (* (/ -1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0 3.356 * [backup-simplify]: Simplify (+ 0 0) into 0 3.357 * [backup-simplify]: Simplify (+ 0 0) into 0 3.357 * [backup-simplify]: Simplify (+ 0 0) into 0 3.357 * [taylor]: Taking taylor expansion of 0 in t 3.357 * [backup-simplify]: Simplify 0 into 0 3.357 * [taylor]: Taking taylor expansion of 0 in x 3.357 * [backup-simplify]: Simplify 0 into 0 3.357 * [taylor]: Taking taylor expansion of 0 in x 3.357 * [backup-simplify]: Simplify 0 into 0 3.357 * [taylor]: Taking taylor expansion of 0 in x 3.357 * [backup-simplify]: Simplify 0 into 0 3.358 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 3.358 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 3.359 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 3.360 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 3.361 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* a b)))))) into 0 3.361 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0 3.361 * [backup-simplify]: Simplify (+ 0 0) into 0 3.362 * [backup-simplify]: Simplify (- 0) into 0 3.362 * [backup-simplify]: Simplify (+ 0 0) into 0 3.362 * [taylor]: Taking taylor expansion of 0 in x 3.362 * [backup-simplify]: Simplify 0 into 0 3.363 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.364 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.364 * [taylor]: Taking taylor expansion of 0 in x 3.364 * [backup-simplify]: Simplify 0 into 0 3.364 * [taylor]: Taking taylor expansion of 0 in y 3.364 * [backup-simplify]: Simplify 0 into 0 3.364 * [taylor]: Taking taylor expansion of 0 in y 3.364 * [backup-simplify]: Simplify 0 into 0 3.365 * [taylor]: Taking taylor expansion of 0 in y 3.365 * [backup-simplify]: Simplify 0 into 0 3.365 * [taylor]: Taking taylor expansion of 0 in y 3.365 * [backup-simplify]: Simplify 0 into 0 3.365 * [taylor]: Taking taylor expansion of 0 in y 3.365 * [backup-simplify]: Simplify 0 into 0 3.365 * [taylor]: Taking taylor expansion of 0 in y 3.365 * [backup-simplify]: Simplify 0 into 0 3.365 * [taylor]: Taking taylor expansion of 0 in y 3.365 * [backup-simplify]: Simplify 0 into 0 3.367 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 3.367 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.367 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0 3.368 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 3.369 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 (* a b))))) into 0 3.369 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 3.369 * [backup-simplify]: Simplify (+ 0 0) into 0 3.369 * [backup-simplify]: Simplify (- 0) into 0 3.370 * [backup-simplify]: Simplify (+ 0 0) into 0 3.370 * [taylor]: Taking taylor expansion of 0 in y 3.370 * [backup-simplify]: Simplify 0 into 0 3.370 * [taylor]: Taking taylor expansion of 0 in y 3.370 * [backup-simplify]: Simplify 0 into 0 3.370 * [taylor]: Taking taylor expansion of 0 in y 3.370 * [backup-simplify]: Simplify 0 into 0 3.370 * [taylor]: Taking taylor expansion of 0 in y 3.370 * [backup-simplify]: Simplify 0 into 0 3.370 * [taylor]: Taking taylor expansion of 0 in a 3.370 * [backup-simplify]: Simplify 0 into 0 3.370 * [taylor]: Taking taylor expansion of 0 in a 3.370 * [backup-simplify]: Simplify 0 into 0 3.370 * [taylor]: Taking taylor expansion of 0 in a 3.370 * [backup-simplify]: Simplify 0 into 0 3.371 * [taylor]: Taking taylor expansion of 0 in a 3.371 * [backup-simplify]: Simplify 0 into 0 3.371 * [taylor]: Taking taylor expansion of 0 in a 3.371 * [backup-simplify]: Simplify 0 into 0 3.371 * [taylor]: Taking taylor expansion of 0 in a 3.371 * [backup-simplify]: Simplify 0 into 0 3.371 * [taylor]: Taking taylor expansion of 0 in a 3.371 * [backup-simplify]: Simplify 0 into 0 3.371 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 3.371 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 3.372 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 3.372 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 3.372 * [backup-simplify]: Simplify (+ 0 0) into 0 3.373 * [backup-simplify]: Simplify (- 0) into 0 3.373 * [taylor]: Taking taylor expansion of 0 in a 3.373 * [backup-simplify]: Simplify 0 into 0 3.373 * [taylor]: Taking taylor expansion of 0 in a 3.373 * [backup-simplify]: Simplify 0 into 0 3.373 * [taylor]: Taking taylor expansion of 0 in a 3.373 * [backup-simplify]: Simplify 0 into 0 3.373 * [taylor]: Taking taylor expansion of 0 in a 3.373 * [backup-simplify]: Simplify 0 into 0 3.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.374 * [taylor]: Taking taylor expansion of 0 in a 3.374 * [backup-simplify]: Simplify 0 into 0 3.374 * [taylor]: Taking taylor expansion of 0 in a 3.374 * [backup-simplify]: Simplify 0 into 0 3.374 * [taylor]: Taking taylor expansion of 0 in a 3.374 * [backup-simplify]: Simplify 0 into 0 3.374 * [taylor]: Taking taylor expansion of 0 in a 3.374 * [backup-simplify]: Simplify 0 into 0 3.375 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 3.376 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.376 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 b))) into 0 3.376 * [backup-simplify]: Simplify (+ 0 (/ 1 c)) into (/ 1 c) 3.376 * [backup-simplify]: Simplify (- (/ 1 c)) into (- (/ 1 c)) 3.376 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in b 3.376 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.376 * [taylor]: Taking taylor expansion of c in b 3.376 * [backup-simplify]: Simplify c into c 3.376 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.376 * [taylor]: Taking taylor expansion of 0 in b 3.376 * [backup-simplify]: Simplify 0 into 0 3.376 * [taylor]: Taking taylor expansion of 0 in b 3.376 * [backup-simplify]: Simplify 0 into 0 3.377 * [taylor]: Taking taylor expansion of 0 in b 3.377 * [backup-simplify]: Simplify 0 into 0 3.377 * [taylor]: Taking taylor expansion of 0 in b 3.377 * [backup-simplify]: Simplify 0 into 0 3.377 * [taylor]: Taking taylor expansion of 0 in b 3.377 * [backup-simplify]: Simplify 0 into 0 3.377 * [taylor]: Taking taylor expansion of 0 in b 3.377 * [backup-simplify]: Simplify 0 into 0 3.377 * [taylor]: Taking taylor expansion of 0 in b 3.377 * [backup-simplify]: Simplify 0 into 0 3.377 * [taylor]: Taking taylor expansion of 0 in b 3.377 * [backup-simplify]: Simplify 0 into 0 3.377 * [taylor]: Taking taylor expansion of 0 in b 3.377 * [backup-simplify]: Simplify 0 into 0 3.377 * [taylor]: Taking taylor expansion of 0 in b 3.377 * [backup-simplify]: Simplify 0 into 0 3.377 * [taylor]: Taking taylor expansion of 0 in b 3.377 * [backup-simplify]: Simplify 0 into 0 3.377 * [taylor]: Taking taylor expansion of 0 in b 3.377 * [backup-simplify]: Simplify 0 into 0 3.378 * [taylor]: Taking taylor expansion of 0 in b 3.378 * [backup-simplify]: Simplify 0 into 0 3.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.379 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 1)) into 0 3.379 * [backup-simplify]: Simplify (- 0) into 0 3.379 * [taylor]: Taking taylor expansion of 0 in c 3.379 * [backup-simplify]: Simplify 0 into 0 3.379 * [taylor]: Taking taylor expansion of 0 in c 3.379 * [backup-simplify]: Simplify 0 into 0 3.379 * [taylor]: Taking taylor expansion of 0 in c 3.380 * [backup-simplify]: Simplify 0 into 0 3.380 * [taylor]: Taking taylor expansion of 0 in c 3.380 * [backup-simplify]: Simplify 0 into 0 3.380 * [taylor]: Taking taylor expansion of 0 in c 3.380 * [backup-simplify]: Simplify 0 into 0 3.380 * [taylor]: Taking taylor expansion of 0 in c 3.380 * [backup-simplify]: Simplify 0 into 0 3.380 * [taylor]: Taking taylor expansion of 0 in c 3.380 * [backup-simplify]: Simplify 0 into 0 3.380 * [taylor]: Taking taylor expansion of 0 in c 3.380 * [backup-simplify]: Simplify 0 into 0 3.380 * [taylor]: Taking taylor expansion of 0 in c 3.380 * [backup-simplify]: Simplify 0 into 0 3.381 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 3.381 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 3.382 * [backup-simplify]: Simplify 1 into 1 3.382 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.383 * [backup-simplify]: Simplify (+ (* 0.0625 (* 1 (* 1 (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- t))) (/ 1 (/ 1 (- z)))))))))) (+ (* 1 (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (* 1 1))))))) (* (- 0.25) (* 1 (* (/ 1 (/ 1 (- b))) (* (/ 1 (/ 1 (- a))) (* 1 (* 1 (* 1 1))))))))) into (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) 3.383 * * * [progress]: simplifying candidates 3.384 * [simplify]: Simplifying: (expm1 (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))) (log1p (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))) (* (/ z 16.0) t) (log (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))) (exp (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))) (* (cbrt (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))) (cbrt (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c))))) (cbrt (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))) (* (* (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c))) (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))) (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))) (sqrt (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))) (sqrt (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))) 0 (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) 3.384 * * [simplify]: Extracting # 0 : cost 0 3.384 * * [simplify]: Extracting # 1 : cost 0 3.384 * * [simplify]: Extracting # 2 : cost 0 3.384 * * [simplify]: Extracting # 3 : cost 0 3.384 * * [simplify]: Extracting # 4 : cost 0 3.384 * * [simplify]: Extracting # 5 : cost 0 3.384 * * [simplify]: Extracting # 6 : cost 0 3.384 * * [simplify]: Extracting # 7 : cost 0 3.384 * * [simplify]: Extracting # 8 : cost 0 3.384 * * [simplify]: iteration 0 : 35 enodes (cost 228 ) 3.389 * * [simplify]: Extracting # 0 : cost 0 3.389 * * [simplify]: Extracting # 1 : cost 0 3.389 * * [simplify]: Extracting # 2 : cost 0 3.389 * * [simplify]: iteration 1 : 57 enodes (cost 226 ) 3.399 * * [simplify]: Extracting # 0 : cost 0 3.399 * * [simplify]: Extracting # 1 : cost 0 3.399 * * [simplify]: Extracting # 2 : cost 0 3.400 * * [simplify]: iteration 2 : 132 enodes (cost 196 ) 3.443 * * [simplify]: Extracting # 0 : cost 0 3.444 * * [simplify]: Extracting # 1 : cost 0 3.444 * * [simplify]: Extracting # 2 : cost 0 3.445 * * [simplify]: Extracting # 3 : cost 0 3.445 * * [simplify]: iteration 3 : 385 enodes (cost 196 ) 3.843 * * [simplify]: Extracting # 0 : cost 0 3.846 * * [simplify]: Extracting # 1 : cost 0 3.848 * * [simplify]: Extracting # 2 : cost 0 3.851 * * [simplify]: Extracting # 3 : cost 0 3.853 * * [simplify]: Extracting # 4 : cost 0 3.860 * * [simplify]: Extracting # 5 : cost 0 3.862 * * [simplify]: iteration 4 : 2127 enodes (cost 196 ) 4.740 * * [simplify]: Extracting # 0 : cost 0 4.751 * * [simplify]: Extracting # 1 : cost 0 4.762 * * [simplify]: Extracting # 2 : cost 0 4.769 * * [simplify]: Extracting # 3 : cost 0 4.779 * * [simplify]: Extracting # 4 : cost 0 4.785 * * [simplify]: iteration done: 5000 enodes (cost 196 ) 4.785 * [simplify]: Simplified to: (expm1 (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))) (log1p (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))) (* (/ z 16.0) t) (log (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))) (exp (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))) (* (cbrt (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))) (cbrt (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c))))) (cbrt (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))) (pow (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c))) 3) (sqrt (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))) (sqrt (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))) 0 (- (fma 0.0625 (* t z) (* x y)) (* 0.25 (* a b))) (- (fma 0.0625 (* t z) (* x y)) (* 0.25 (* a b))) 4.786 * * * [progress]: adding candidates to table 4.875 * [progress]: [Phase 3 of 3] Extracting. 4.881 * [simplify]: Simplifying: (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c))) 4.881 * * [simplify]: Extracting # 0 : cost 0 4.881 * * [simplify]: Extracting # 1 : cost 0 4.881 * * [simplify]: Extracting # 2 : cost 0 4.881 * * [simplify]: Extracting # 3 : cost 0 4.881 * * [simplify]: Extracting # 4 : cost 0 4.882 * * [simplify]: Extracting # 5 : cost 0 4.882 * * [simplify]: Extracting # 6 : cost 0 4.882 * * [simplify]: Extracting # 7 : cost 0 4.882 * * [simplify]: iteration 0 : 15 enodes (cost 15 ) 4.882 * * [simplify]: Extracting # 0 : cost 0 4.882 * * [simplify]: iteration done: 15 enodes (cost 15 ) 4.882 * [simplify]: Simplified to: (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c))) 7.126 * [regime-testing]: Baseline error score: 0.007397165270839144 7.129 * [regime-testing]: Oracle error score: 0.007397165270839144 7.129 * [regime-testing]: End program error score: 0.007397165270839144