19.889 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.080 * * * [progress]: [2/2] Setting up program. 0.085 * [progress]: [Phase 2 of 3] Improving. 0.085 * [simplify]: Simplifying: (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) 0.085 * * [simplify]: Extracting # 0 : cost 0 0.085 * * [simplify]: Extracting # 1 : cost 0 0.085 * * [simplify]: Extracting # 2 : cost 0 0.085 * * [simplify]: Extracting # 3 : cost 0 0.085 * * [simplify]: Extracting # 4 : cost 0 0.085 * * [simplify]: Extracting # 5 : cost 0 0.085 * * [simplify]: Extracting # 6 : cost 0 0.086 * * [simplify]: Extracting # 7 : cost 0 0.086 * * [simplify]: iteration 0 : 17 enodes (cost 17 ) 0.090 * * [simplify]: Extracting # 0 : cost 0 0.090 * * [simplify]: Extracting # 1 : cost 0 0.090 * * [simplify]: Extracting # 2 : cost 0 0.090 * * [simplify]: iteration 1 : 33 enodes (cost 16 ) 0.100 * * [simplify]: Extracting # 0 : cost 0 0.100 * * [simplify]: Extracting # 1 : cost 0 0.100 * * [simplify]: Extracting # 2 : cost 0 0.100 * * [simplify]: iteration 2 : 73 enodes (cost 16 ) 0.124 * * [simplify]: Extracting # 0 : cost 0 0.124 * * [simplify]: Extracting # 1 : cost 0 0.124 * * [simplify]: Extracting # 2 : cost 0 0.125 * * [simplify]: iteration 3 : 147 enodes (cost 16 ) 0.190 * * [simplify]: Extracting # 0 : cost 0 0.191 * * [simplify]: Extracting # 1 : cost 0 0.191 * * [simplify]: Extracting # 2 : cost 0 0.191 * * [simplify]: iteration 4 : 405 enodes (cost 15 ) 0.460 * * [simplify]: Extracting # 0 : cost 0 0.462 * * [simplify]: Extracting # 1 : cost 0 0.463 * * [simplify]: Extracting # 2 : cost 0 0.465 * * [simplify]: iteration 5 : 1373 enodes (cost 15 ) 2.260 * * [simplify]: Extracting # 0 : cost 0 2.283 * * [simplify]: Extracting # 1 : cost 0 2.289 * * [simplify]: Extracting # 2 : cost 0 2.295 * * [simplify]: Extracting # 3 : cost 0 2.300 * * [simplify]: iteration done: 5000 enodes (cost 15 ) 2.301 * [simplify]: Simplified to: (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c))) 2.308 * * [progress]: iteration 1 / 4 2.308 * * * [progress]: picking best candidate 2.312 * * * * [pick]: Picked # 2.312 * * * [progress]: localizing error 2.342 * * * [progress]: generating rewritten candidates 2.342 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.343 * * * [progress]: generating series expansions 2.343 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.344 * [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))) 2.344 * [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 2.344 * [taylor]: Taking taylor expansion of (fma (* 0.0625 z) t (fma x y (fma (* 0.25 a) (- b) c))) in c 2.344 * [taylor]: Rewrote expression to (+ (* (* 0.0625 z) t) (fma x y (fma (* 0.25 a) (- b) c))) 2.344 * [taylor]: Taking taylor expansion of (* (* 0.0625 z) t) in c 2.344 * [taylor]: Taking taylor expansion of (* 0.0625 z) in c 2.344 * [taylor]: Taking taylor expansion of 0.0625 in c 2.344 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.344 * [taylor]: Taking taylor expansion of z in c 2.344 * [backup-simplify]: Simplify z into z 2.344 * [taylor]: Taking taylor expansion of t in c 2.344 * [backup-simplify]: Simplify t into t 2.344 * [taylor]: Taking taylor expansion of (fma x y (fma (* 0.25 a) (- b) c)) in c 2.344 * [taylor]: Rewrote expression to (+ (* x y) (fma (* 0.25 a) (- b) c)) 2.344 * [taylor]: Taking taylor expansion of (* x y) in c 2.344 * [taylor]: Taking taylor expansion of x in c 2.344 * [backup-simplify]: Simplify x into x 2.344 * [taylor]: Taking taylor expansion of y in c 2.344 * [backup-simplify]: Simplify y into y 2.344 * [taylor]: Taking taylor expansion of (fma (* 0.25 a) (- b) c) in c 2.345 * [taylor]: Rewrote expression to (+ (* (* 0.25 a) (- b)) c) 2.345 * [taylor]: Taking taylor expansion of (* (* 0.25 a) (- b)) in c 2.345 * [taylor]: Taking taylor expansion of (* 0.25 a) in c 2.345 * [taylor]: Taking taylor expansion of 0.25 in c 2.345 * [backup-simplify]: Simplify 0.25 into 0.25 2.345 * [taylor]: Taking taylor expansion of a in c 2.345 * [backup-simplify]: Simplify a into a 2.345 * [taylor]: Taking taylor expansion of (- b) in c 2.345 * [taylor]: Taking taylor expansion of b in c 2.345 * [backup-simplify]: Simplify b into b 2.345 * [taylor]: Taking taylor expansion of c in c 2.345 * [backup-simplify]: Simplify 0 into 0 2.345 * [backup-simplify]: Simplify 1 into 1 2.345 * [taylor]: Taking taylor expansion of (fma (* 0.0625 z) t (fma x y (fma (* 0.25 a) (- b) c))) in b 2.346 * [taylor]: Rewrote expression to (+ (* (* 0.0625 z) t) (fma x y (fma (* 0.25 a) (- b) c))) 2.346 * [taylor]: Taking taylor expansion of (* (* 0.0625 z) t) in b 2.346 * [taylor]: Taking taylor expansion of (* 0.0625 z) in b 2.346 * [taylor]: Taking taylor expansion of 0.0625 in b 2.346 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.346 * [taylor]: Taking taylor expansion of z in b 2.346 * [backup-simplify]: Simplify z into z 2.346 * [taylor]: Taking taylor expansion of t in b 2.346 * [backup-simplify]: Simplify t into t 2.346 * [taylor]: Taking taylor expansion of (fma x y (fma (* 0.25 a) (- b) c)) in b 2.346 * [taylor]: Rewrote expression to (+ (* x y) (fma (* 0.25 a) (- b) c)) 2.346 * [taylor]: Taking taylor expansion of (* x y) in b 2.346 * [taylor]: Taking taylor expansion of x in b 2.346 * [backup-simplify]: Simplify x into x 2.346 * [taylor]: Taking taylor expansion of y in b 2.346 * [backup-simplify]: Simplify y into y 2.346 * [taylor]: Taking taylor expansion of (fma (* 0.25 a) (- b) c) in b 2.346 * [taylor]: Rewrote expression to (+ (* (* 0.25 a) (- b)) c) 2.347 * [taylor]: Taking taylor expansion of (* (* 0.25 a) (- b)) in b 2.347 * [taylor]: Taking taylor expansion of (* 0.25 a) in b 2.347 * [taylor]: Taking taylor expansion of 0.25 in b 2.347 * [backup-simplify]: Simplify 0.25 into 0.25 2.347 * [taylor]: Taking taylor expansion of a in b 2.347 * [backup-simplify]: Simplify a into a 2.347 * [taylor]: Taking taylor expansion of (- b) in b 2.347 * [taylor]: Taking taylor expansion of b in b 2.347 * [backup-simplify]: Simplify 0 into 0 2.347 * [backup-simplify]: Simplify 1 into 1 2.347 * [taylor]: Taking taylor expansion of c in b 2.347 * [backup-simplify]: Simplify c into c 2.347 * [taylor]: Taking taylor expansion of (fma (* 0.0625 z) t (fma x y (fma (* 0.25 a) (- b) c))) in a 2.347 * [taylor]: Rewrote expression to (+ (* (* 0.0625 z) t) (fma x y (fma (* 0.25 a) (- b) c))) 2.347 * [taylor]: Taking taylor expansion of (* (* 0.0625 z) t) in a 2.347 * [taylor]: Taking taylor expansion of (* 0.0625 z) in a 2.347 * [taylor]: Taking taylor expansion of 0.0625 in a 2.347 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.347 * [taylor]: Taking taylor expansion of z in a 2.347 * [backup-simplify]: Simplify z into z 2.347 * [taylor]: Taking taylor expansion of t in a 2.347 * [backup-simplify]: Simplify t into t 2.347 * [taylor]: Taking taylor expansion of (fma x y (fma (* 0.25 a) (- b) c)) in a 2.347 * [taylor]: Rewrote expression to (+ (* x y) (fma (* 0.25 a) (- b) c)) 2.347 * [taylor]: Taking taylor expansion of (* x y) in a 2.347 * [taylor]: Taking taylor expansion of x in a 2.347 * [backup-simplify]: Simplify x into x 2.347 * [taylor]: Taking taylor expansion of y in a 2.348 * [backup-simplify]: Simplify y into y 2.348 * [taylor]: Taking taylor expansion of (fma (* 0.25 a) (- b) c) in a 2.348 * [taylor]: Rewrote expression to (+ (* (* 0.25 a) (- b)) c) 2.348 * [taylor]: Taking taylor expansion of (* (* 0.25 a) (- b)) in a 2.348 * [taylor]: Taking taylor expansion of (* 0.25 a) in a 2.348 * [taylor]: Taking taylor expansion of 0.25 in a 2.348 * [backup-simplify]: Simplify 0.25 into 0.25 2.348 * [taylor]: Taking taylor expansion of a in a 2.348 * [backup-simplify]: Simplify 0 into 0 2.348 * [backup-simplify]: Simplify 1 into 1 2.348 * [taylor]: Taking taylor expansion of (- b) in a 2.348 * [taylor]: Taking taylor expansion of b in a 2.348 * [backup-simplify]: Simplify b into b 2.348 * [taylor]: Taking taylor expansion of c in a 2.348 * [backup-simplify]: Simplify c into c 2.348 * [taylor]: Taking taylor expansion of (fma (* 0.0625 z) t (fma x y (fma (* 0.25 a) (- b) c))) in y 2.348 * [taylor]: Rewrote expression to (+ (* (* 0.0625 z) t) (fma x y (fma (* 0.25 a) (- b) c))) 2.348 * [taylor]: Taking taylor expansion of (* (* 0.0625 z) t) in y 2.348 * [taylor]: Taking taylor expansion of (* 0.0625 z) in y 2.348 * [taylor]: Taking taylor expansion of 0.0625 in y 2.348 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.348 * [taylor]: Taking taylor expansion of z in y 2.348 * [backup-simplify]: Simplify z into z 2.348 * [taylor]: Taking taylor expansion of t in y 2.348 * [backup-simplify]: Simplify t into t 2.348 * [taylor]: Taking taylor expansion of (fma x y (fma (* 0.25 a) (- b) c)) in y 2.349 * [taylor]: Rewrote expression to (+ (* x y) (fma (* 0.25 a) (- b) c)) 2.349 * [taylor]: Taking taylor expansion of (* x y) in y 2.349 * [taylor]: Taking taylor expansion of x in y 2.349 * [backup-simplify]: Simplify x into x 2.349 * [taylor]: Taking taylor expansion of y in y 2.349 * [backup-simplify]: Simplify 0 into 0 2.349 * [backup-simplify]: Simplify 1 into 1 2.349 * [taylor]: Taking taylor expansion of (fma (* 0.25 a) (- b) c) in y 2.349 * [taylor]: Rewrote expression to (+ (* (* 0.25 a) (- b)) c) 2.349 * [taylor]: Taking taylor expansion of (* (* 0.25 a) (- b)) in y 2.349 * [taylor]: Taking taylor expansion of (* 0.25 a) in y 2.349 * [taylor]: Taking taylor expansion of 0.25 in y 2.349 * [backup-simplify]: Simplify 0.25 into 0.25 2.349 * [taylor]: Taking taylor expansion of a in y 2.349 * [backup-simplify]: Simplify a into a 2.349 * [taylor]: Taking taylor expansion of (- b) in y 2.349 * [taylor]: Taking taylor expansion of b in y 2.349 * [backup-simplify]: Simplify b into b 2.349 * [taylor]: Taking taylor expansion of c in y 2.349 * [backup-simplify]: Simplify c into c 2.349 * [taylor]: Taking taylor expansion of (fma (* 0.0625 z) t (fma x y (fma (* 0.25 a) (- b) c))) in x 2.349 * [taylor]: Rewrote expression to (+ (* (* 0.0625 z) t) (fma x y (fma (* 0.25 a) (- b) c))) 2.349 * [taylor]: Taking taylor expansion of (* (* 0.0625 z) t) in x 2.349 * [taylor]: Taking taylor expansion of (* 0.0625 z) in x 2.349 * [taylor]: Taking taylor expansion of 0.0625 in x 2.349 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.350 * [taylor]: Taking taylor expansion of z in x 2.350 * [backup-simplify]: Simplify z into z 2.350 * [taylor]: Taking taylor expansion of t in x 2.350 * [backup-simplify]: Simplify t into t 2.350 * [taylor]: Taking taylor expansion of (fma x y (fma (* 0.25 a) (- b) c)) in x 2.350 * [taylor]: Rewrote expression to (+ (* x y) (fma (* 0.25 a) (- b) c)) 2.350 * [taylor]: Taking taylor expansion of (* x y) in x 2.350 * [taylor]: Taking taylor expansion of x in x 2.350 * [backup-simplify]: Simplify 0 into 0 2.350 * [backup-simplify]: Simplify 1 into 1 2.350 * [taylor]: Taking taylor expansion of y in x 2.350 * [backup-simplify]: Simplify y into y 2.350 * [taylor]: Taking taylor expansion of (fma (* 0.25 a) (- b) c) in x 2.350 * [taylor]: Rewrote expression to (+ (* (* 0.25 a) (- b)) c) 2.350 * [taylor]: Taking taylor expansion of (* (* 0.25 a) (- b)) in x 2.350 * [taylor]: Taking taylor expansion of (* 0.25 a) in x 2.350 * [taylor]: Taking taylor expansion of 0.25 in x 2.350 * [backup-simplify]: Simplify 0.25 into 0.25 2.350 * [taylor]: Taking taylor expansion of a in x 2.350 * [backup-simplify]: Simplify a into a 2.350 * [taylor]: Taking taylor expansion of (- b) in x 2.350 * [taylor]: Taking taylor expansion of b in x 2.350 * [backup-simplify]: Simplify b into b 2.350 * [taylor]: Taking taylor expansion of c in x 2.350 * [backup-simplify]: Simplify c into c 2.350 * [taylor]: Taking taylor expansion of (fma (* 0.0625 z) t (fma x y (fma (* 0.25 a) (- b) c))) in t 2.351 * [taylor]: Rewrote expression to (+ (* (* 0.0625 z) t) (fma x y (fma (* 0.25 a) (- b) c))) 2.351 * [taylor]: Taking taylor expansion of (* (* 0.0625 z) t) in t 2.351 * [taylor]: Taking taylor expansion of (* 0.0625 z) in t 2.351 * [taylor]: Taking taylor expansion of 0.0625 in t 2.351 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.351 * [taylor]: Taking taylor expansion of z in t 2.351 * [backup-simplify]: Simplify z into z 2.351 * [taylor]: Taking taylor expansion of t in t 2.351 * [backup-simplify]: Simplify 0 into 0 2.351 * [backup-simplify]: Simplify 1 into 1 2.351 * [taylor]: Taking taylor expansion of (fma x y (fma (* 0.25 a) (- b) c)) in t 2.351 * [taylor]: Rewrote expression to (+ (* x y) (fma (* 0.25 a) (- b) c)) 2.351 * [taylor]: Taking taylor expansion of (* x y) in t 2.351 * [taylor]: Taking taylor expansion of x in t 2.351 * [backup-simplify]: Simplify x into x 2.351 * [taylor]: Taking taylor expansion of y in t 2.351 * [backup-simplify]: Simplify y into y 2.351 * [taylor]: Taking taylor expansion of (fma (* 0.25 a) (- b) c) in t 2.351 * [taylor]: Rewrote expression to (+ (* (* 0.25 a) (- b)) c) 2.351 * [taylor]: Taking taylor expansion of (* (* 0.25 a) (- b)) in t 2.351 * [taylor]: Taking taylor expansion of (* 0.25 a) in t 2.351 * [taylor]: Taking taylor expansion of 0.25 in t 2.351 * [backup-simplify]: Simplify 0.25 into 0.25 2.351 * [taylor]: Taking taylor expansion of a in t 2.351 * [backup-simplify]: Simplify a into a 2.352 * [taylor]: Taking taylor expansion of (- b) in t 2.352 * [taylor]: Taking taylor expansion of b in t 2.352 * [backup-simplify]: Simplify b into b 2.352 * [taylor]: Taking taylor expansion of c in t 2.352 * [backup-simplify]: Simplify c into c 2.352 * [taylor]: Taking taylor expansion of (fma (* 0.0625 z) t (fma x y (fma (* 0.25 a) (- b) c))) in z 2.352 * [taylor]: Rewrote expression to (+ (* (* 0.0625 z) t) (fma x y (fma (* 0.25 a) (- b) c))) 2.352 * [taylor]: Taking taylor expansion of (* (* 0.0625 z) t) in z 2.352 * [taylor]: Taking taylor expansion of (* 0.0625 z) in z 2.352 * [taylor]: Taking taylor expansion of 0.0625 in z 2.352 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.352 * [taylor]: Taking taylor expansion of z in z 2.352 * [backup-simplify]: Simplify 0 into 0 2.352 * [backup-simplify]: Simplify 1 into 1 2.352 * [taylor]: Taking taylor expansion of t in z 2.352 * [backup-simplify]: Simplify t into t 2.352 * [taylor]: Taking taylor expansion of (fma x y (fma (* 0.25 a) (- b) c)) in z 2.352 * [taylor]: Rewrote expression to (+ (* x y) (fma (* 0.25 a) (- b) c)) 2.352 * [taylor]: Taking taylor expansion of (* x y) in z 2.352 * [taylor]: Taking taylor expansion of x in z 2.352 * [backup-simplify]: Simplify x into x 2.352 * [taylor]: Taking taylor expansion of y in z 2.352 * [backup-simplify]: Simplify y into y 2.352 * [taylor]: Taking taylor expansion of (fma (* 0.25 a) (- b) c) in z 2.353 * [taylor]: Rewrote expression to (+ (* (* 0.25 a) (- b)) c) 2.353 * [taylor]: Taking taylor expansion of (* (* 0.25 a) (- b)) in z 2.353 * [taylor]: Taking taylor expansion of (* 0.25 a) in z 2.353 * [taylor]: Taking taylor expansion of 0.25 in z 2.353 * [backup-simplify]: Simplify 0.25 into 0.25 2.353 * [taylor]: Taking taylor expansion of a in z 2.353 * [backup-simplify]: Simplify a into a 2.353 * [taylor]: Taking taylor expansion of (- b) in z 2.353 * [taylor]: Taking taylor expansion of b in z 2.353 * [backup-simplify]: Simplify b into b 2.353 * [taylor]: Taking taylor expansion of c in z 2.353 * [backup-simplify]: Simplify c into c 2.353 * [taylor]: Taking taylor expansion of (fma (* 0.0625 z) t (fma x y (fma (* 0.25 a) (- b) c))) in z 2.353 * [taylor]: Rewrote expression to (+ (* (* 0.0625 z) t) (fma x y (fma (* 0.25 a) (- b) c))) 2.353 * [taylor]: Taking taylor expansion of (* (* 0.0625 z) t) in z 2.353 * [taylor]: Taking taylor expansion of (* 0.0625 z) in z 2.353 * [taylor]: Taking taylor expansion of 0.0625 in z 2.353 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.353 * [taylor]: Taking taylor expansion of z in z 2.353 * [backup-simplify]: Simplify 0 into 0 2.353 * [backup-simplify]: Simplify 1 into 1 2.353 * [taylor]: Taking taylor expansion of t in z 2.353 * [backup-simplify]: Simplify t into t 2.353 * [taylor]: Taking taylor expansion of (fma x y (fma (* 0.25 a) (- b) c)) in z 2.354 * [taylor]: Rewrote expression to (+ (* x y) (fma (* 0.25 a) (- b) c)) 2.354 * [taylor]: Taking taylor expansion of (* x y) in z 2.354 * [taylor]: Taking taylor expansion of x in z 2.354 * [backup-simplify]: Simplify x into x 2.354 * [taylor]: Taking taylor expansion of y in z 2.354 * [backup-simplify]: Simplify y into y 2.354 * [taylor]: Taking taylor expansion of (fma (* 0.25 a) (- b) c) in z 2.354 * [taylor]: Rewrote expression to (+ (* (* 0.25 a) (- b)) c) 2.354 * [taylor]: Taking taylor expansion of (* (* 0.25 a) (- b)) in z 2.354 * [taylor]: Taking taylor expansion of (* 0.25 a) in z 2.354 * [taylor]: Taking taylor expansion of 0.25 in z 2.354 * [backup-simplify]: Simplify 0.25 into 0.25 2.354 * [taylor]: Taking taylor expansion of a in z 2.354 * [backup-simplify]: Simplify a into a 2.354 * [taylor]: Taking taylor expansion of (- b) in z 2.354 * [taylor]: Taking taylor expansion of b in z 2.354 * [backup-simplify]: Simplify b into b 2.354 * [taylor]: Taking taylor expansion of c in z 2.354 * [backup-simplify]: Simplify c into c 2.355 * [backup-simplify]: Simplify (* 0.0625 0) into 0 2.355 * [backup-simplify]: Simplify (* 0 t) into 0 2.355 * [backup-simplify]: Simplify (* x y) into (* x y) 2.355 * [backup-simplify]: Simplify (* 0.25 a) into (* 0.25 a) 2.355 * [backup-simplify]: Simplify (- b) into (- b) 2.355 * [backup-simplify]: Simplify (* (* 0.25 a) (- b)) into (* -0.25 (* a b)) 2.356 * [backup-simplify]: Simplify (+ (* -0.25 (* a b)) c) into (- c (* 0.25 (* a b))) 2.356 * [backup-simplify]: Simplify (+ (* x y) (- c (* 0.25 (* a b)))) into (- (+ (* x y) c) (* 0.25 (* a b))) 2.356 * [backup-simplify]: Simplify (+ 0 (- (+ (* x y) c) (* 0.25 (* a b)))) into (- (+ c (* x y)) (* 0.25 (* a b))) 2.356 * [taylor]: Taking taylor expansion of (- (+ c (* x y)) (* 0.25 (* a b))) in t 2.356 * [taylor]: Taking taylor expansion of (+ c (* x y)) in t 2.356 * [taylor]: Taking taylor expansion of c in t 2.356 * [backup-simplify]: Simplify c into c 2.356 * [taylor]: Taking taylor expansion of (* x y) in t 2.356 * [taylor]: Taking taylor expansion of x in t 2.356 * [backup-simplify]: Simplify x into x 2.356 * [taylor]: Taking taylor expansion of y in t 2.356 * [backup-simplify]: Simplify y into y 2.356 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in t 2.356 * [taylor]: Taking taylor expansion of 0.25 in t 2.356 * [backup-simplify]: Simplify 0.25 into 0.25 2.356 * [taylor]: Taking taylor expansion of (* a b) in t 2.356 * [taylor]: Taking taylor expansion of a in t 2.356 * [backup-simplify]: Simplify a into a 2.356 * [taylor]: Taking taylor expansion of b in t 2.357 * [backup-simplify]: Simplify b into b 2.357 * [backup-simplify]: Simplify (* x y) into (* x y) 2.357 * [backup-simplify]: Simplify (+ c (* x y)) into (+ (* x y) c) 2.357 * [backup-simplify]: Simplify (* a b) into (* a b) 2.357 * [backup-simplify]: Simplify (* 0.25 (* a b)) into (* 0.25 (* a b)) 2.357 * [backup-simplify]: Simplify (- (* 0.25 (* a b))) into (- (* 0.25 (* a b))) 2.357 * [backup-simplify]: Simplify (+ (+ (* x y) c) (- (* 0.25 (* a b)))) into (- (+ (* x y) c) (* 0.25 (* a b))) 2.357 * [taylor]: Taking taylor expansion of (- (+ (* x y) c) (* 0.25 (* a b))) in x 2.357 * [taylor]: Taking taylor expansion of (+ (* x y) c) in x 2.357 * [taylor]: Taking taylor expansion of (* x y) in x 2.357 * [taylor]: Taking taylor expansion of x in x 2.357 * [backup-simplify]: Simplify 0 into 0 2.357 * [backup-simplify]: Simplify 1 into 1 2.357 * [taylor]: Taking taylor expansion of y in x 2.357 * [backup-simplify]: Simplify y into y 2.357 * [taylor]: Taking taylor expansion of c in x 2.357 * [backup-simplify]: Simplify c into c 2.357 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in x 2.357 * [taylor]: Taking taylor expansion of 0.25 in x 2.357 * [backup-simplify]: Simplify 0.25 into 0.25 2.357 * [taylor]: Taking taylor expansion of (* a b) in x 2.357 * [taylor]: Taking taylor expansion of a in x 2.357 * [backup-simplify]: Simplify a into a 2.357 * [taylor]: Taking taylor expansion of b in x 2.357 * [backup-simplify]: Simplify b into b 2.358 * [backup-simplify]: Simplify (* 0 y) into 0 2.358 * [backup-simplify]: Simplify (+ 0 c) into c 2.358 * [backup-simplify]: Simplify (* a b) into (* a b) 2.358 * [backup-simplify]: Simplify (* 0.25 (* a b)) into (* 0.25 (* a b)) 2.358 * [backup-simplify]: Simplify (- (* 0.25 (* a b))) into (- (* 0.25 (* a b))) 2.358 * [backup-simplify]: Simplify (+ c (- (* 0.25 (* a b)))) into (- c (* 0.25 (* a b))) 2.358 * [taylor]: Taking taylor expansion of (- c (* 0.25 (* a b))) in y 2.358 * [taylor]: Taking taylor expansion of c in y 2.358 * [backup-simplify]: Simplify c into c 2.358 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in y 2.358 * [taylor]: Taking taylor expansion of 0.25 in y 2.358 * [backup-simplify]: Simplify 0.25 into 0.25 2.358 * [taylor]: Taking taylor expansion of (* a b) in y 2.358 * [taylor]: Taking taylor expansion of a in y 2.358 * [backup-simplify]: Simplify a into a 2.358 * [taylor]: Taking taylor expansion of b in y 2.358 * [backup-simplify]: Simplify b into b 2.358 * [backup-simplify]: Simplify (* a b) into (* a b) 2.358 * [backup-simplify]: Simplify (* 0.25 (* a b)) into (* 0.25 (* a b)) 2.358 * [backup-simplify]: Simplify (- (* 0.25 (* a b))) into (- (* 0.25 (* a b))) 2.359 * [backup-simplify]: Simplify (+ c (- (* 0.25 (* a b)))) into (- c (* 0.25 (* a b))) 2.359 * [taylor]: Taking taylor expansion of (- c (* 0.25 (* a b))) in a 2.359 * [taylor]: Taking taylor expansion of c in a 2.359 * [backup-simplify]: Simplify c into c 2.359 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in a 2.359 * [taylor]: Taking taylor expansion of 0.25 in a 2.359 * [backup-simplify]: Simplify 0.25 into 0.25 2.359 * [taylor]: Taking taylor expansion of (* a b) in a 2.359 * [taylor]: Taking taylor expansion of a in a 2.359 * [backup-simplify]: Simplify 0 into 0 2.359 * [backup-simplify]: Simplify 1 into 1 2.359 * [taylor]: Taking taylor expansion of b in a 2.359 * [backup-simplify]: Simplify b into b 2.359 * [backup-simplify]: Simplify (* 0 b) into 0 2.360 * [backup-simplify]: Simplify (* 0.25 0) into 0 2.360 * [backup-simplify]: Simplify (- 0) into 0 2.360 * [backup-simplify]: Simplify (+ c 0) into c 2.360 * [taylor]: Taking taylor expansion of c in b 2.360 * [backup-simplify]: Simplify c into c 2.360 * [taylor]: Taking taylor expansion of c in c 2.360 * [backup-simplify]: Simplify 0 into 0 2.360 * [backup-simplify]: Simplify 1 into 1 2.360 * [backup-simplify]: Simplify 0 into 0 2.361 * [backup-simplify]: Simplify (+ (* 0.0625 1) (* 0 0)) into 0.0625 2.362 * [backup-simplify]: Simplify (+ (* 0 0) (* 0.0625 t)) into (* 0.0625 t) 2.362 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 2.362 * [backup-simplify]: Simplify (- 0) into 0 2.363 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 a)) into 0 2.363 * [backup-simplify]: Simplify (- b) into (- b) 2.363 * [backup-simplify]: Simplify (+ (* (* 0.25 a) 0) (* 0 (- b))) into 0 2.363 * [backup-simplify]: Simplify (+ 0 0) into 0 2.363 * [backup-simplify]: Simplify (+ 0 0) into 0 2.364 * [backup-simplify]: Simplify (+ (* 0.0625 t) 0) into (* 0.0625 t) 2.364 * [taylor]: Taking taylor expansion of (* 0.0625 t) in t 2.364 * [taylor]: Taking taylor expansion of 0.0625 in t 2.364 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.364 * [taylor]: Taking taylor expansion of t in t 2.364 * [backup-simplify]: Simplify 0 into 0 2.364 * [backup-simplify]: Simplify 1 into 1 2.364 * [backup-simplify]: Simplify (* 0.0625 0) into 0 2.364 * [taylor]: Taking taylor expansion of 0 in x 2.364 * [backup-simplify]: Simplify 0 into 0 2.364 * [taylor]: Taking taylor expansion of 0 in y 2.364 * [backup-simplify]: Simplify 0 into 0 2.364 * [taylor]: Taking taylor expansion of 0 in a 2.364 * [backup-simplify]: Simplify 0 into 0 2.364 * [taylor]: Taking taylor expansion of 0 in b 2.364 * [backup-simplify]: Simplify 0 into 0 2.364 * [taylor]: Taking taylor expansion of 0 in c 2.364 * [backup-simplify]: Simplify 0 into 0 2.364 * [backup-simplify]: Simplify 0 into 0 2.364 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 2.365 * [backup-simplify]: Simplify (+ 0 0) into 0 2.365 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.365 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (* a b))) into 0 2.366 * [backup-simplify]: Simplify (- 0) into 0 2.366 * [backup-simplify]: Simplify (+ 0 0) into 0 2.366 * [taylor]: Taking taylor expansion of 0 in x 2.366 * [backup-simplify]: Simplify 0 into 0 2.366 * [taylor]: Taking taylor expansion of 0 in y 2.366 * [backup-simplify]: Simplify 0 into 0 2.366 * [taylor]: Taking taylor expansion of 0 in a 2.366 * [backup-simplify]: Simplify 0 into 0 2.366 * [taylor]: Taking taylor expansion of 0 in b 2.366 * [backup-simplify]: Simplify 0 into 0 2.366 * [taylor]: Taking taylor expansion of 0 in c 2.366 * [backup-simplify]: Simplify 0 into 0 2.366 * [backup-simplify]: Simplify 0 into 0 2.367 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.367 * [backup-simplify]: Simplify (+ y 0) into y 2.367 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.367 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (* a b))) into 0 2.368 * [backup-simplify]: Simplify (- 0) into 0 2.368 * [backup-simplify]: Simplify (+ y 0) into y 2.368 * [taylor]: Taking taylor expansion of y in y 2.368 * [backup-simplify]: Simplify 0 into 0 2.368 * [backup-simplify]: Simplify 1 into 1 2.368 * [taylor]: Taking taylor expansion of 0 in a 2.368 * [backup-simplify]: Simplify 0 into 0 2.368 * [taylor]: Taking taylor expansion of 0 in b 2.368 * [backup-simplify]: Simplify 0 into 0 2.368 * [taylor]: Taking taylor expansion of 0 in c 2.368 * [backup-simplify]: Simplify 0 into 0 2.368 * [backup-simplify]: Simplify 0 into 0 2.368 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.368 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (* a b))) into 0 2.369 * [backup-simplify]: Simplify (- 0) into 0 2.369 * [backup-simplify]: Simplify (+ 0 0) into 0 2.369 * [taylor]: Taking taylor expansion of 0 in a 2.369 * [backup-simplify]: Simplify 0 into 0 2.369 * [taylor]: Taking taylor expansion of 0 in b 2.369 * [backup-simplify]: Simplify 0 into 0 2.369 * [taylor]: Taking taylor expansion of 0 in c 2.369 * [backup-simplify]: Simplify 0 into 0 2.369 * [backup-simplify]: Simplify 0 into 0 2.370 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 2.370 * [backup-simplify]: Simplify (+ (* 0.25 b) (* 0 0)) into (* 0.25 b) 2.370 * [backup-simplify]: Simplify (- (* 0.25 b)) into (- (* 0.25 b)) 2.370 * [backup-simplify]: Simplify (+ 0 (- (* 0.25 b))) into (- (* 0.25 b)) 2.370 * [taylor]: Taking taylor expansion of (- (* 0.25 b)) in b 2.370 * [taylor]: Taking taylor expansion of (* 0.25 b) in b 2.370 * [taylor]: Taking taylor expansion of 0.25 in b 2.370 * [backup-simplify]: Simplify 0.25 into 0.25 2.370 * [taylor]: Taking taylor expansion of b in b 2.370 * [backup-simplify]: Simplify 0 into 0 2.370 * [backup-simplify]: Simplify 1 into 1 2.371 * [backup-simplify]: Simplify (* 0.25 0) into 0 2.371 * [backup-simplify]: Simplify (- 0) into 0 2.371 * [taylor]: Taking taylor expansion of 0 in c 2.371 * [backup-simplify]: Simplify 0 into 0 2.371 * [backup-simplify]: Simplify 0 into 0 2.371 * [backup-simplify]: Simplify 0 into 0 2.372 * [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)))) 2.372 * [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 2.372 * [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 2.372 * [taylor]: Rewrote expression to (+ (* (/ 0.0625 z) (/ 1 t)) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) 2.372 * [taylor]: Taking taylor expansion of (* (/ 0.0625 z) (/ 1 t)) in c 2.372 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in c 2.372 * [taylor]: Taking taylor expansion of 0.0625 in c 2.372 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.372 * [taylor]: Taking taylor expansion of z in c 2.372 * [backup-simplify]: Simplify z into z 2.372 * [backup-simplify]: Simplify (/ 0.0625 z) into (/ 0.0625 z) 2.372 * [taylor]: Taking taylor expansion of (/ 1 t) in c 2.372 * [taylor]: Taking taylor expansion of t in c 2.372 * [backup-simplify]: Simplify t into t 2.372 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.372 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) in c 2.373 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) 2.373 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in c 2.373 * [taylor]: Taking taylor expansion of (/ 1 x) in c 2.373 * [taylor]: Taking taylor expansion of x in c 2.373 * [backup-simplify]: Simplify x into x 2.373 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.373 * [taylor]: Taking taylor expansion of (/ 1 y) in c 2.373 * [taylor]: Taking taylor expansion of y in c 2.373 * [backup-simplify]: Simplify y into y 2.373 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.373 * [taylor]: Taking taylor expansion of (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)) in c 2.373 * [taylor]: Rewrote expression to (+ (* (/ 0.25 a) (- (/ 1 b))) (/ 1 c)) 2.373 * [taylor]: Taking taylor expansion of (* (/ 0.25 a) (- (/ 1 b))) in c 2.373 * [taylor]: Taking taylor expansion of (/ 0.25 a) in c 2.373 * [taylor]: Taking taylor expansion of 0.25 in c 2.373 * [backup-simplify]: Simplify 0.25 into 0.25 2.373 * [taylor]: Taking taylor expansion of a in c 2.373 * [backup-simplify]: Simplify a into a 2.373 * [backup-simplify]: Simplify (/ 0.25 a) into (/ 0.25 a) 2.373 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in c 2.373 * [taylor]: Taking taylor expansion of (/ 1 b) in c 2.373 * [taylor]: Taking taylor expansion of b in c 2.373 * [backup-simplify]: Simplify b into b 2.373 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.373 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.373 * [taylor]: Taking taylor expansion of c in c 2.373 * [backup-simplify]: Simplify 0 into 0 2.373 * [backup-simplify]: Simplify 1 into 1 2.374 * [backup-simplify]: Simplify (/ 1 1) into 1 2.374 * [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 2.374 * [taylor]: Rewrote expression to (+ (* (/ 0.0625 z) (/ 1 t)) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) 2.374 * [taylor]: Taking taylor expansion of (* (/ 0.0625 z) (/ 1 t)) in b 2.374 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in b 2.374 * [taylor]: Taking taylor expansion of 0.0625 in b 2.374 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.374 * [taylor]: Taking taylor expansion of z in b 2.374 * [backup-simplify]: Simplify z into z 2.374 * [backup-simplify]: Simplify (/ 0.0625 z) into (/ 0.0625 z) 2.374 * [taylor]: Taking taylor expansion of (/ 1 t) in b 2.374 * [taylor]: Taking taylor expansion of t in b 2.374 * [backup-simplify]: Simplify t into t 2.374 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.374 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) in b 2.375 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) 2.375 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in b 2.375 * [taylor]: Taking taylor expansion of (/ 1 x) in b 2.375 * [taylor]: Taking taylor expansion of x in b 2.375 * [backup-simplify]: Simplify x into x 2.375 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.375 * [taylor]: Taking taylor expansion of (/ 1 y) in b 2.375 * [taylor]: Taking taylor expansion of y in b 2.375 * [backup-simplify]: Simplify y into y 2.375 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.375 * [taylor]: Taking taylor expansion of (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)) in b 2.375 * [taylor]: Rewrote expression to (+ (* (/ 0.25 a) (- (/ 1 b))) (/ 1 c)) 2.375 * [taylor]: Taking taylor expansion of (* (/ 0.25 a) (- (/ 1 b))) in b 2.375 * [taylor]: Taking taylor expansion of (/ 0.25 a) in b 2.375 * [taylor]: Taking taylor expansion of 0.25 in b 2.375 * [backup-simplify]: Simplify 0.25 into 0.25 2.375 * [taylor]: Taking taylor expansion of a in b 2.375 * [backup-simplify]: Simplify a into a 2.375 * [backup-simplify]: Simplify (/ 0.25 a) into (/ 0.25 a) 2.375 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in b 2.375 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.375 * [taylor]: Taking taylor expansion of b in b 2.375 * [backup-simplify]: Simplify 0 into 0 2.375 * [backup-simplify]: Simplify 1 into 1 2.376 * [backup-simplify]: Simplify (/ 1 1) into 1 2.376 * [taylor]: Taking taylor expansion of (/ 1 c) in b 2.376 * [taylor]: Taking taylor expansion of c in b 2.376 * [backup-simplify]: Simplify c into c 2.376 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.376 * [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 2.376 * [taylor]: Rewrote expression to (+ (* (/ 0.0625 z) (/ 1 t)) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) 2.376 * [taylor]: Taking taylor expansion of (* (/ 0.0625 z) (/ 1 t)) in a 2.376 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in a 2.376 * [taylor]: Taking taylor expansion of 0.0625 in a 2.376 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.376 * [taylor]: Taking taylor expansion of z in a 2.376 * [backup-simplify]: Simplify z into z 2.376 * [backup-simplify]: Simplify (/ 0.0625 z) into (/ 0.0625 z) 2.376 * [taylor]: Taking taylor expansion of (/ 1 t) in a 2.376 * [taylor]: Taking taylor expansion of t in a 2.376 * [backup-simplify]: Simplify t into t 2.377 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.377 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) in a 2.377 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) 2.377 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in a 2.377 * [taylor]: Taking taylor expansion of (/ 1 x) in a 2.377 * [taylor]: Taking taylor expansion of x in a 2.377 * [backup-simplify]: Simplify x into x 2.377 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.377 * [taylor]: Taking taylor expansion of (/ 1 y) in a 2.377 * [taylor]: Taking taylor expansion of y in a 2.377 * [backup-simplify]: Simplify y into y 2.377 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.377 * [taylor]: Taking taylor expansion of (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)) in a 2.377 * [taylor]: Rewrote expression to (+ (* (/ 0.25 a) (- (/ 1 b))) (/ 1 c)) 2.377 * [taylor]: Taking taylor expansion of (* (/ 0.25 a) (- (/ 1 b))) in a 2.377 * [taylor]: Taking taylor expansion of (/ 0.25 a) in a 2.377 * [taylor]: Taking taylor expansion of 0.25 in a 2.377 * [backup-simplify]: Simplify 0.25 into 0.25 2.377 * [taylor]: Taking taylor expansion of a in a 2.377 * [backup-simplify]: Simplify 0 into 0 2.377 * [backup-simplify]: Simplify 1 into 1 2.378 * [backup-simplify]: Simplify (/ 0.25 1) into 0.25 2.378 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in a 2.378 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.378 * [taylor]: Taking taylor expansion of b in a 2.378 * [backup-simplify]: Simplify b into b 2.378 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.378 * [taylor]: Taking taylor expansion of (/ 1 c) in a 2.378 * [taylor]: Taking taylor expansion of c in a 2.378 * [backup-simplify]: Simplify c into c 2.378 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.378 * [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 2.378 * [taylor]: Rewrote expression to (+ (* (/ 0.0625 z) (/ 1 t)) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) 2.378 * [taylor]: Taking taylor expansion of (* (/ 0.0625 z) (/ 1 t)) in y 2.378 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in y 2.378 * [taylor]: Taking taylor expansion of 0.0625 in y 2.378 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.378 * [taylor]: Taking taylor expansion of z in y 2.378 * [backup-simplify]: Simplify z into z 2.378 * [backup-simplify]: Simplify (/ 0.0625 z) into (/ 0.0625 z) 2.378 * [taylor]: Taking taylor expansion of (/ 1 t) in y 2.378 * [taylor]: Taking taylor expansion of t in y 2.379 * [backup-simplify]: Simplify t into t 2.379 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.379 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) in y 2.379 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) 2.379 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y 2.379 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.379 * [taylor]: Taking taylor expansion of x in y 2.379 * [backup-simplify]: Simplify x into x 2.379 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.379 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.379 * [taylor]: Taking taylor expansion of y in y 2.379 * [backup-simplify]: Simplify 0 into 0 2.379 * [backup-simplify]: Simplify 1 into 1 2.379 * [backup-simplify]: Simplify (/ 1 1) into 1 2.379 * [taylor]: Taking taylor expansion of (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)) in y 2.379 * [taylor]: Rewrote expression to (+ (* (/ 0.25 a) (- (/ 1 b))) (/ 1 c)) 2.379 * [taylor]: Taking taylor expansion of (* (/ 0.25 a) (- (/ 1 b))) in y 2.380 * [taylor]: Taking taylor expansion of (/ 0.25 a) in y 2.380 * [taylor]: Taking taylor expansion of 0.25 in y 2.380 * [backup-simplify]: Simplify 0.25 into 0.25 2.380 * [taylor]: Taking taylor expansion of a in y 2.380 * [backup-simplify]: Simplify a into a 2.380 * [backup-simplify]: Simplify (/ 0.25 a) into (/ 0.25 a) 2.380 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in y 2.380 * [taylor]: Taking taylor expansion of (/ 1 b) in y 2.380 * [taylor]: Taking taylor expansion of b in y 2.380 * [backup-simplify]: Simplify b into b 2.380 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.380 * [taylor]: Taking taylor expansion of (/ 1 c) in y 2.380 * [taylor]: Taking taylor expansion of c in y 2.380 * [backup-simplify]: Simplify c into c 2.380 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.380 * [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 2.380 * [taylor]: Rewrote expression to (+ (* (/ 0.0625 z) (/ 1 t)) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) 2.380 * [taylor]: Taking taylor expansion of (* (/ 0.0625 z) (/ 1 t)) in x 2.380 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in x 2.380 * [taylor]: Taking taylor expansion of 0.0625 in x 2.380 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.380 * [taylor]: Taking taylor expansion of z in x 2.380 * [backup-simplify]: Simplify z into z 2.380 * [backup-simplify]: Simplify (/ 0.0625 z) into (/ 0.0625 z) 2.380 * [taylor]: Taking taylor expansion of (/ 1 t) in x 2.380 * [taylor]: Taking taylor expansion of t in x 2.380 * [backup-simplify]: Simplify t into t 2.381 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.381 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) in x 2.381 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) 2.381 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 2.381 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.381 * [taylor]: Taking taylor expansion of x in x 2.381 * [backup-simplify]: Simplify 0 into 0 2.381 * [backup-simplify]: Simplify 1 into 1 2.381 * [backup-simplify]: Simplify (/ 1 1) into 1 2.381 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.381 * [taylor]: Taking taylor expansion of y in x 2.381 * [backup-simplify]: Simplify y into y 2.381 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.381 * [taylor]: Taking taylor expansion of (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)) in x 2.381 * [taylor]: Rewrote expression to (+ (* (/ 0.25 a) (- (/ 1 b))) (/ 1 c)) 2.381 * [taylor]: Taking taylor expansion of (* (/ 0.25 a) (- (/ 1 b))) in x 2.381 * [taylor]: Taking taylor expansion of (/ 0.25 a) in x 2.382 * [taylor]: Taking taylor expansion of 0.25 in x 2.382 * [backup-simplify]: Simplify 0.25 into 0.25 2.382 * [taylor]: Taking taylor expansion of a in x 2.382 * [backup-simplify]: Simplify a into a 2.382 * [backup-simplify]: Simplify (/ 0.25 a) into (/ 0.25 a) 2.382 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in x 2.382 * [taylor]: Taking taylor expansion of (/ 1 b) in x 2.382 * [taylor]: Taking taylor expansion of b in x 2.382 * [backup-simplify]: Simplify b into b 2.382 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.382 * [taylor]: Taking taylor expansion of (/ 1 c) in x 2.382 * [taylor]: Taking taylor expansion of c in x 2.382 * [backup-simplify]: Simplify c into c 2.382 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.382 * [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 2.382 * [taylor]: Rewrote expression to (+ (* (/ 0.0625 z) (/ 1 t)) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) 2.382 * [taylor]: Taking taylor expansion of (* (/ 0.0625 z) (/ 1 t)) in t 2.382 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in t 2.382 * [taylor]: Taking taylor expansion of 0.0625 in t 2.382 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.382 * [taylor]: Taking taylor expansion of z in t 2.382 * [backup-simplify]: Simplify z into z 2.382 * [backup-simplify]: Simplify (/ 0.0625 z) into (/ 0.0625 z) 2.382 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.382 * [taylor]: Taking taylor expansion of t in t 2.382 * [backup-simplify]: Simplify 0 into 0 2.382 * [backup-simplify]: Simplify 1 into 1 2.383 * [backup-simplify]: Simplify (/ 1 1) into 1 2.383 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) in t 2.383 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) 2.383 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in t 2.383 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.383 * [taylor]: Taking taylor expansion of x in t 2.383 * [backup-simplify]: Simplify x into x 2.383 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.383 * [taylor]: Taking taylor expansion of (/ 1 y) in t 2.383 * [taylor]: Taking taylor expansion of y in t 2.383 * [backup-simplify]: Simplify y into y 2.383 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.383 * [taylor]: Taking taylor expansion of (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)) in t 2.383 * [taylor]: Rewrote expression to (+ (* (/ 0.25 a) (- (/ 1 b))) (/ 1 c)) 2.383 * [taylor]: Taking taylor expansion of (* (/ 0.25 a) (- (/ 1 b))) in t 2.383 * [taylor]: Taking taylor expansion of (/ 0.25 a) in t 2.383 * [taylor]: Taking taylor expansion of 0.25 in t 2.384 * [backup-simplify]: Simplify 0.25 into 0.25 2.384 * [taylor]: Taking taylor expansion of a in t 2.384 * [backup-simplify]: Simplify a into a 2.384 * [backup-simplify]: Simplify (/ 0.25 a) into (/ 0.25 a) 2.384 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in t 2.384 * [taylor]: Taking taylor expansion of (/ 1 b) in t 2.384 * [taylor]: Taking taylor expansion of b in t 2.384 * [backup-simplify]: Simplify b into b 2.384 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.384 * [taylor]: Taking taylor expansion of (/ 1 c) in t 2.384 * [taylor]: Taking taylor expansion of c in t 2.384 * [backup-simplify]: Simplify c into c 2.384 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.384 * [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 2.384 * [taylor]: Rewrote expression to (+ (* (/ 0.0625 z) (/ 1 t)) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) 2.384 * [taylor]: Taking taylor expansion of (* (/ 0.0625 z) (/ 1 t)) in z 2.384 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in z 2.384 * [taylor]: Taking taylor expansion of 0.0625 in z 2.384 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.384 * [taylor]: Taking taylor expansion of z in z 2.384 * [backup-simplify]: Simplify 0 into 0 2.384 * [backup-simplify]: Simplify 1 into 1 2.385 * [backup-simplify]: Simplify (/ 0.0625 1) into 0.0625 2.385 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.385 * [taylor]: Taking taylor expansion of t in z 2.385 * [backup-simplify]: Simplify t into t 2.385 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.385 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) in z 2.385 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) 2.385 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z 2.385 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.385 * [taylor]: Taking taylor expansion of x in z 2.385 * [backup-simplify]: Simplify x into x 2.385 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.385 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.385 * [taylor]: Taking taylor expansion of y in z 2.385 * [backup-simplify]: Simplify y into y 2.385 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.385 * [taylor]: Taking taylor expansion of (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)) in z 2.385 * [taylor]: Rewrote expression to (+ (* (/ 0.25 a) (- (/ 1 b))) (/ 1 c)) 2.385 * [taylor]: Taking taylor expansion of (* (/ 0.25 a) (- (/ 1 b))) in z 2.385 * [taylor]: Taking taylor expansion of (/ 0.25 a) in z 2.385 * [taylor]: Taking taylor expansion of 0.25 in z 2.385 * [backup-simplify]: Simplify 0.25 into 0.25 2.385 * [taylor]: Taking taylor expansion of a in z 2.386 * [backup-simplify]: Simplify a into a 2.386 * [backup-simplify]: Simplify (/ 0.25 a) into (/ 0.25 a) 2.386 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in z 2.386 * [taylor]: Taking taylor expansion of (/ 1 b) in z 2.386 * [taylor]: Taking taylor expansion of b in z 2.386 * [backup-simplify]: Simplify b into b 2.386 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.386 * [taylor]: Taking taylor expansion of (/ 1 c) in z 2.386 * [taylor]: Taking taylor expansion of c in z 2.386 * [backup-simplify]: Simplify c into c 2.386 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.386 * [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 2.386 * [taylor]: Rewrote expression to (+ (* (/ 0.0625 z) (/ 1 t)) (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)))) 2.386 * [taylor]: Taking taylor expansion of (* (/ 0.0625 z) (/ 1 t)) in z 2.386 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in z 2.386 * [taylor]: Taking taylor expansion of 0.0625 in z 2.386 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.386 * [taylor]: Taking taylor expansion of z in z 2.386 * [backup-simplify]: Simplify 0 into 0 2.386 * [backup-simplify]: Simplify 1 into 1 2.387 * [backup-simplify]: Simplify (/ 0.0625 1) into 0.0625 2.387 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.387 * [taylor]: Taking taylor expansion of t in z 2.387 * [backup-simplify]: Simplify t into t 2.387 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.387 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) in z 2.387 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c))) 2.387 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z 2.387 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.387 * [taylor]: Taking taylor expansion of x in z 2.387 * [backup-simplify]: Simplify x into x 2.387 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.387 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.387 * [taylor]: Taking taylor expansion of y in z 2.387 * [backup-simplify]: Simplify y into y 2.387 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.387 * [taylor]: Taking taylor expansion of (fma (/ 0.25 a) (- (/ 1 b)) (/ 1 c)) in z 2.387 * [taylor]: Rewrote expression to (+ (* (/ 0.25 a) (- (/ 1 b))) (/ 1 c)) 2.387 * [taylor]: Taking taylor expansion of (* (/ 0.25 a) (- (/ 1 b))) in z 2.387 * [taylor]: Taking taylor expansion of (/ 0.25 a) in z 2.387 * [taylor]: Taking taylor expansion of 0.25 in z 2.388 * [backup-simplify]: Simplify 0.25 into 0.25 2.388 * [taylor]: Taking taylor expansion of a in z 2.388 * [backup-simplify]: Simplify a into a 2.388 * [backup-simplify]: Simplify (/ 0.25 a) into (/ 0.25 a) 2.388 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in z 2.388 * [taylor]: Taking taylor expansion of (/ 1 b) in z 2.388 * [taylor]: Taking taylor expansion of b in z 2.388 * [backup-simplify]: Simplify b into b 2.388 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.388 * [taylor]: Taking taylor expansion of (/ 1 c) in z 2.388 * [taylor]: Taking taylor expansion of c in z 2.388 * [backup-simplify]: Simplify c into c 2.388 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.388 * [backup-simplify]: Simplify (* 0.0625 (/ 1 t)) into (/ 0.0625 t) 2.388 * [backup-simplify]: Simplify (+ (/ 0.0625 t) 0) into (* 0.0625 (/ 1 t)) 2.388 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 t)) in t 2.388 * [taylor]: Taking taylor expansion of 0.0625 in t 2.388 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.388 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.388 * [taylor]: Taking taylor expansion of t in t 2.388 * [backup-simplify]: Simplify 0 into 0 2.388 * [backup-simplify]: Simplify 1 into 1 2.389 * [backup-simplify]: Simplify (/ 1 1) into 1 2.389 * [backup-simplify]: Simplify (* 0.0625 1) into 0.0625 2.389 * [taylor]: Taking taylor expansion of 0.0625 in x 2.389 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.389 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 2.390 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.0625 (/ 0 1)))) into 0 2.390 * [backup-simplify]: Simplify (+ (* 0.0625 0) (* 0 (/ 1 t))) into 0 2.390 * [backup-simplify]: Simplify (* (/ 1 x) (/ 1 y)) into (/ 1 (* x y)) 2.390 * [backup-simplify]: Simplify (- (/ 1 b)) into (- (/ 1 b)) 2.391 * [backup-simplify]: Simplify (* (/ 0.25 a) (- (/ 1 b))) into (/ -0.25 (* a b)) 2.391 * [backup-simplify]: Simplify (+ (/ -0.25 (* a b)) (/ 1 c)) into (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) 2.391 * [backup-simplify]: Simplify (+ (/ 1 (* x y)) (- (/ 1 c) (* 0.25 (/ 1 (* a b))))) into (- (+ (/ 1 c) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) 2.391 * [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)))) 2.391 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (/ 1 c)) (* 0.25 (/ 1 (* a b)))) in t 2.391 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 c)) in t 2.391 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 2.391 * [taylor]: Taking taylor expansion of (* x y) in t 2.391 * [taylor]: Taking taylor expansion of x in t 2.391 * [backup-simplify]: Simplify x into x 2.391 * [taylor]: Taking taylor expansion of y in t 2.391 * [backup-simplify]: Simplify y into y 2.392 * [backup-simplify]: Simplify (* x y) into (* x y) 2.392 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 2.392 * [taylor]: Taking taylor expansion of (/ 1 c) in t 2.392 * [taylor]: Taking taylor expansion of c in t 2.392 * [backup-simplify]: Simplify c into c 2.392 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.392 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in t 2.392 * [taylor]: Taking taylor expansion of 0.25 in t 2.392 * [backup-simplify]: Simplify 0.25 into 0.25 2.392 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 2.392 * [taylor]: Taking taylor expansion of (* a b) in t 2.392 * [taylor]: Taking taylor expansion of a in t 2.392 * [backup-simplify]: Simplify a into a 2.392 * [taylor]: Taking taylor expansion of b in t 2.392 * [backup-simplify]: Simplify b into b 2.392 * [backup-simplify]: Simplify (* a b) into (* a b) 2.392 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.393 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.393 * [backup-simplify]: Simplify (+ (* 0.0625 0) (* 0 1)) into 0 2.393 * [taylor]: Taking taylor expansion of 0 in x 2.393 * [backup-simplify]: Simplify 0 into 0 2.393 * [taylor]: Taking taylor expansion of 0.0625 in y 2.393 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.394 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 2.394 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.0625 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.395 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (* 0 (/ 1 t)))) into 0 2.395 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.395 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 2.395 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0) (* 0 (/ 1 y))) into 0 2.396 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 2.396 * [backup-simplify]: Simplify (- 0) into 0 2.396 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 0.25 a) (/ 0 a)))) into 0 2.396 * [backup-simplify]: Simplify (- (/ 1 b)) into (- (/ 1 b)) 2.396 * [backup-simplify]: Simplify (+ (* (/ 0.25 a) 0) (* 0 (- (/ 1 b)))) into 0 2.396 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 2.397 * [backup-simplify]: Simplify (+ 0 0) into 0 2.397 * [backup-simplify]: Simplify (+ 0 0) into 0 2.397 * [backup-simplify]: Simplify (+ 0 0) into 0 2.397 * [taylor]: Taking taylor expansion of 0 in t 2.397 * [backup-simplify]: Simplify 0 into 0 2.397 * [backup-simplify]: Simplify (+ (/ 1 (* x y)) (/ 1 c)) into (+ (/ 1 c) (/ 1 (* x y))) 2.398 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 2.398 * [backup-simplify]: Simplify (- (/ 0.25 (* a b))) into (- (* 0.25 (/ 1 (* a b)))) 2.398 * [backup-simplify]: Simplify (+ (+ (/ 1 c) (/ 1 (* x y))) (- (* 0.25 (/ 1 (* a b))))) into (- (+ (/ 1 c) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) 2.398 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in x 2.398 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 (* x y))) in x 2.398 * [taylor]: Taking taylor expansion of (/ 1 c) in x 2.398 * [taylor]: Taking taylor expansion of c in x 2.398 * [backup-simplify]: Simplify c into c 2.398 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.398 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.398 * [taylor]: Taking taylor expansion of (* x y) in x 2.398 * [taylor]: Taking taylor expansion of x in x 2.398 * [backup-simplify]: Simplify 0 into 0 2.398 * [backup-simplify]: Simplify 1 into 1 2.398 * [taylor]: Taking taylor expansion of y in x 2.398 * [backup-simplify]: Simplify y into y 2.398 * [backup-simplify]: Simplify (* 0 y) into 0 2.399 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.399 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.399 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in x 2.399 * [taylor]: Taking taylor expansion of 0.25 in x 2.399 * [backup-simplify]: Simplify 0.25 into 0.25 2.399 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 2.399 * [taylor]: Taking taylor expansion of (* a b) in x 2.399 * [taylor]: Taking taylor expansion of a in x 2.399 * [backup-simplify]: Simplify a into a 2.399 * [taylor]: Taking taylor expansion of b in x 2.399 * [backup-simplify]: Simplify b into b 2.399 * [backup-simplify]: Simplify (* a b) into (* a b) 2.399 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.399 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 2.399 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 2.399 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.400 * [taylor]: Taking taylor expansion of y in y 2.400 * [backup-simplify]: Simplify 0 into 0 2.400 * [backup-simplify]: Simplify 1 into 1 2.400 * [backup-simplify]: Simplify (/ 1 1) into 1 2.400 * [taylor]: Taking taylor expansion of 1 in a 2.400 * [backup-simplify]: Simplify 1 into 1 2.401 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.401 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (* 0 1))) into 0 2.401 * [taylor]: Taking taylor expansion of 0 in x 2.402 * [backup-simplify]: Simplify 0 into 0 2.402 * [taylor]: Taking taylor expansion of 0 in y 2.402 * [backup-simplify]: Simplify 0 into 0 2.402 * [taylor]: Taking taylor expansion of 0 in y 2.402 * [backup-simplify]: Simplify 0 into 0 2.402 * [taylor]: Taking taylor expansion of 0.0625 in a 2.402 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.402 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0 2.403 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.0625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.404 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 t))))) into 0 2.404 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.404 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.405 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 2.405 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 2.405 * [backup-simplify]: Simplify (- 0) into 0 2.406 * [backup-simplify]: Simplify (- 0) into 0 2.406 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 0.25 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 2.406 * [backup-simplify]: Simplify (- (/ 1 b)) into (- (/ 1 b)) 2.406 * [backup-simplify]: Simplify (+ (* (/ 0.25 a) 0) (+ (* 0 0) (* 0 (- (/ 1 b))))) into 0 2.407 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.407 * [backup-simplify]: Simplify (+ 0 0) into 0 2.407 * [backup-simplify]: Simplify (+ 0 0) into 0 2.408 * [backup-simplify]: Simplify (+ 0 0) into 0 2.408 * [taylor]: Taking taylor expansion of 0 in t 2.408 * [backup-simplify]: Simplify 0 into 0 2.408 * [taylor]: Taking taylor expansion of 0 in x 2.408 * [backup-simplify]: Simplify 0 into 0 2.408 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 2.408 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 2.408 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 2.408 * [backup-simplify]: Simplify (+ 0 0) into 0 2.408 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.409 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 2.409 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 2.409 * [backup-simplify]: Simplify (- 0) into 0 2.410 * [backup-simplify]: Simplify (+ 0 0) into 0 2.410 * [taylor]: Taking taylor expansion of 0 in x 2.410 * [backup-simplify]: Simplify 0 into 0 2.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.411 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.412 * [taylor]: Taking taylor expansion of 0 in x 2.412 * [backup-simplify]: Simplify 0 into 0 2.412 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 2.412 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.412 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 2.413 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 2.413 * [backup-simplify]: Simplify (- (/ 0.25 (* a b))) into (- (* 0.25 (/ 1 (* a b)))) 2.413 * [backup-simplify]: Simplify (+ (/ 1 c) (- (* 0.25 (/ 1 (* a b))))) into (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) 2.413 * [taylor]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in y 2.413 * [taylor]: Taking taylor expansion of (/ 1 c) in y 2.413 * [taylor]: Taking taylor expansion of c in y 2.413 * [backup-simplify]: Simplify c into c 2.413 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.413 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in y 2.413 * [taylor]: Taking taylor expansion of 0.25 in y 2.413 * [backup-simplify]: Simplify 0.25 into 0.25 2.413 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 2.413 * [taylor]: Taking taylor expansion of (* a b) in y 2.413 * [taylor]: Taking taylor expansion of a in y 2.413 * [backup-simplify]: Simplify a into a 2.413 * [taylor]: Taking taylor expansion of b in y 2.413 * [backup-simplify]: Simplify b into b 2.413 * [backup-simplify]: Simplify (* a b) into (* a b) 2.413 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.413 * [taylor]: Taking taylor expansion of 0 in y 2.414 * [backup-simplify]: Simplify 0 into 0 2.414 * [taylor]: Taking taylor expansion of 0 in y 2.414 * [backup-simplify]: Simplify 0 into 0 2.414 * [taylor]: Taking taylor expansion of 0 in y 2.414 * [backup-simplify]: Simplify 0 into 0 2.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.414 * [taylor]: Taking taylor expansion of 0 in a 2.414 * [backup-simplify]: Simplify 0 into 0 2.414 * [taylor]: Taking taylor expansion of 0 in a 2.414 * [backup-simplify]: Simplify 0 into 0 2.415 * [taylor]: Taking taylor expansion of 0 in a 2.415 * [backup-simplify]: Simplify 0 into 0 2.415 * [taylor]: Taking taylor expansion of 0 in a 2.415 * [backup-simplify]: Simplify 0 into 0 2.415 * [taylor]: Taking taylor expansion of 1 in b 2.415 * [backup-simplify]: Simplify 1 into 1 2.415 * [taylor]: Taking taylor expansion of 0.0625 in b 2.415 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.416 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0 2.416 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.0625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.418 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 t)))))) into 0 2.418 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.418 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.419 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 2.419 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 2.419 * [backup-simplify]: Simplify (- 0) into 0 2.420 * [backup-simplify]: Simplify (- 0) into 0 2.420 * [backup-simplify]: Simplify (- 0) into 0 2.420 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 0.25 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 2.420 * [backup-simplify]: Simplify (- (/ 1 b)) into (- (/ 1 b)) 2.421 * [backup-simplify]: Simplify (+ (* (/ 0.25 a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 b)))))) into 0 2.421 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.421 * [backup-simplify]: Simplify (+ 0 0) into 0 2.422 * [backup-simplify]: Simplify (+ 0 0) into 0 2.422 * [backup-simplify]: Simplify (+ 0 0) into 0 2.422 * [taylor]: Taking taylor expansion of 0 in t 2.422 * [backup-simplify]: Simplify 0 into 0 2.422 * [taylor]: Taking taylor expansion of 0 in x 2.422 * [backup-simplify]: Simplify 0 into 0 2.422 * [taylor]: Taking taylor expansion of 0 in x 2.422 * [backup-simplify]: Simplify 0 into 0 2.423 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 2.423 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 2.423 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.423 * [backup-simplify]: Simplify (+ 0 0) into 0 2.424 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0 2.424 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.425 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 (* a b))))) into 0 2.425 * [backup-simplify]: Simplify (- 0) into 0 2.426 * [backup-simplify]: Simplify (+ 0 0) into 0 2.426 * [taylor]: Taking taylor expansion of 0 in x 2.426 * [backup-simplify]: Simplify 0 into 0 2.427 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.428 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.428 * [taylor]: Taking taylor expansion of 0 in x 2.428 * [backup-simplify]: Simplify 0 into 0 2.428 * [taylor]: Taking taylor expansion of 0 in y 2.428 * [backup-simplify]: Simplify 0 into 0 2.428 * [taylor]: Taking taylor expansion of 0 in y 2.428 * [backup-simplify]: Simplify 0 into 0 2.428 * [taylor]: Taking taylor expansion of 0 in y 2.428 * [backup-simplify]: Simplify 0 into 0 2.429 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 2.430 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 2.430 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.430 * [backup-simplify]: Simplify (+ 0 0) into 0 2.430 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.430 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 2.431 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 2.431 * [backup-simplify]: Simplify (- 0) into 0 2.431 * [backup-simplify]: Simplify (+ 0 0) into 0 2.431 * [taylor]: Taking taylor expansion of 0 in y 2.431 * [backup-simplify]: Simplify 0 into 0 2.431 * [taylor]: Taking taylor expansion of 0 in y 2.431 * [backup-simplify]: Simplify 0 into 0 2.432 * [taylor]: Taking taylor expansion of 0 in y 2.432 * [backup-simplify]: Simplify 0 into 0 2.432 * [taylor]: Taking taylor expansion of 0 in y 2.432 * [backup-simplify]: Simplify 0 into 0 2.432 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 2.432 * [backup-simplify]: Simplify (- (/ 0.25 (* a b))) into (- (* 0.25 (/ 1 (* a b)))) 2.432 * [backup-simplify]: Simplify (+ (/ 1 c) (- (* 0.25 (/ 1 (* a b))))) into (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) 2.432 * [taylor]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in a 2.432 * [taylor]: Taking taylor expansion of (/ 1 c) in a 2.432 * [taylor]: Taking taylor expansion of c in a 2.432 * [backup-simplify]: Simplify c into c 2.432 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.432 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 2.432 * [taylor]: Taking taylor expansion of 0.25 in a 2.432 * [backup-simplify]: Simplify 0.25 into 0.25 2.432 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 2.432 * [taylor]: Taking taylor expansion of (* a b) in a 2.432 * [taylor]: Taking taylor expansion of a in a 2.432 * [backup-simplify]: Simplify 0 into 0 2.432 * [backup-simplify]: Simplify 1 into 1 2.432 * [taylor]: Taking taylor expansion of b in a 2.432 * [backup-simplify]: Simplify b into b 2.433 * [backup-simplify]: Simplify (* 0 b) into 0 2.433 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 2.433 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.433 * [backup-simplify]: Simplify (* 0.25 (/ 1 b)) into (/ 0.25 b) 2.433 * [backup-simplify]: Simplify (- (/ 0.25 b)) into (- (* 0.25 (/ 1 b))) 2.433 * [backup-simplify]: Simplify (+ 0 (- (* 0.25 (/ 1 b)))) into (- (* 0.25 (/ 1 b))) 2.433 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 b))) in b 2.433 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 b)) in b 2.433 * [taylor]: Taking taylor expansion of 0.25 in b 2.433 * [backup-simplify]: Simplify 0.25 into 0.25 2.433 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.433 * [taylor]: Taking taylor expansion of b in b 2.433 * [backup-simplify]: Simplify 0 into 0 2.433 * [backup-simplify]: Simplify 1 into 1 2.434 * [backup-simplify]: Simplify (/ 1 1) into 1 2.434 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 2.434 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 2.435 * [taylor]: Taking taylor expansion of (- 0.25) in c 2.435 * [taylor]: Taking taylor expansion of 0.25 in c 2.435 * [backup-simplify]: Simplify 0.25 into 0.25 2.435 * [taylor]: Taking taylor expansion of 0 in a 2.435 * [backup-simplify]: Simplify 0 into 0 2.435 * [taylor]: Taking taylor expansion of 0 in a 2.435 * [backup-simplify]: Simplify 0 into 0 2.435 * [taylor]: Taking taylor expansion of 0 in a 2.435 * [backup-simplify]: Simplify 0 into 0 2.436 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.436 * [taylor]: Taking taylor expansion of 0 in a 2.436 * [backup-simplify]: Simplify 0 into 0 2.436 * [taylor]: Taking taylor expansion of 0 in a 2.436 * [backup-simplify]: Simplify 0 into 0 2.436 * [taylor]: Taking taylor expansion of 0 in a 2.436 * [backup-simplify]: Simplify 0 into 0 2.436 * [taylor]: Taking taylor expansion of 0 in a 2.436 * [backup-simplify]: Simplify 0 into 0 2.436 * [taylor]: Taking taylor expansion of 0 in b 2.436 * [backup-simplify]: Simplify 0 into 0 2.436 * [taylor]: Taking taylor expansion of 0 in b 2.436 * [backup-simplify]: Simplify 0 into 0 2.436 * [taylor]: Taking taylor expansion of 0 in b 2.436 * [backup-simplify]: Simplify 0 into 0 2.436 * [taylor]: Taking taylor expansion of 0 in b 2.436 * [backup-simplify]: Simplify 0 into 0 2.436 * [taylor]: Taking taylor expansion of 0 in b 2.436 * [backup-simplify]: Simplify 0 into 0 2.436 * [taylor]: Taking taylor expansion of 0 in b 2.437 * [backup-simplify]: Simplify 0 into 0 2.437 * [taylor]: Taking taylor expansion of 1 in c 2.437 * [backup-simplify]: Simplify 1 into 1 2.437 * [taylor]: Taking taylor expansion of 0.0625 in c 2.437 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.438 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0 2.439 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.0625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.441 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 t))))))) into 0 2.441 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.441 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.442 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y)))))) into 0 2.442 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 2.443 * [backup-simplify]: Simplify (- 0) into 0 2.443 * [backup-simplify]: Simplify (- 0) into 0 2.443 * [backup-simplify]: Simplify (- 0) into 0 2.444 * [backup-simplify]: Simplify (- 0) into 0 2.444 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 0.25 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 2.444 * [backup-simplify]: Simplify (- (/ 1 b)) into (- (/ 1 b)) 2.445 * [backup-simplify]: Simplify (+ (* (/ 0.25 a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 b))))))) into 0 2.445 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.446 * [backup-simplify]: Simplify (+ 0 0) into 0 2.446 * [backup-simplify]: Simplify (+ 0 0) into 0 2.446 * [backup-simplify]: Simplify (+ 0 0) into 0 2.446 * [taylor]: Taking taylor expansion of 0 in t 2.446 * [backup-simplify]: Simplify 0 into 0 2.446 * [taylor]: Taking taylor expansion of 0 in x 2.446 * [backup-simplify]: Simplify 0 into 0 2.446 * [taylor]: Taking taylor expansion of 0 in x 2.446 * [backup-simplify]: Simplify 0 into 0 2.446 * [taylor]: Taking taylor expansion of 0 in x 2.447 * [backup-simplify]: Simplify 0 into 0 2.447 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.448 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 2.448 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.448 * [backup-simplify]: Simplify (+ 0 0) into 0 2.449 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 2.449 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.450 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* a b)))))) into 0 2.450 * [backup-simplify]: Simplify (- 0) into 0 2.451 * [backup-simplify]: Simplify (+ 0 0) into 0 2.451 * [taylor]: Taking taylor expansion of 0 in x 2.451 * [backup-simplify]: Simplify 0 into 0 2.451 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.453 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.453 * [taylor]: Taking taylor expansion of 0 in x 2.453 * [backup-simplify]: Simplify 0 into 0 2.453 * [taylor]: Taking taylor expansion of 0 in y 2.453 * [backup-simplify]: Simplify 0 into 0 2.453 * [taylor]: Taking taylor expansion of 0 in y 2.453 * [backup-simplify]: Simplify 0 into 0 2.453 * [taylor]: Taking taylor expansion of 0 in y 2.453 * [backup-simplify]: Simplify 0 into 0 2.453 * [taylor]: Taking taylor expansion of 0 in y 2.453 * [backup-simplify]: Simplify 0 into 0 2.453 * [taylor]: Taking taylor expansion of 0 in y 2.453 * [backup-simplify]: Simplify 0 into 0 2.453 * [taylor]: Taking taylor expansion of 0 in y 2.453 * [backup-simplify]: Simplify 0 into 0 2.453 * [taylor]: Taking taylor expansion of 0 in y 2.453 * [backup-simplify]: Simplify 0 into 0 2.453 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.455 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 2.455 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.455 * [backup-simplify]: Simplify (+ 0 0) into 0 2.456 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0 2.456 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.457 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 (* a b))))) into 0 2.457 * [backup-simplify]: Simplify (- 0) into 0 2.457 * [backup-simplify]: Simplify (+ 0 0) into 0 2.457 * [taylor]: Taking taylor expansion of 0 in y 2.457 * [backup-simplify]: Simplify 0 into 0 2.457 * [taylor]: Taking taylor expansion of 0 in y 2.457 * [backup-simplify]: Simplify 0 into 0 2.457 * [taylor]: Taking taylor expansion of 0 in y 2.457 * [backup-simplify]: Simplify 0 into 0 2.458 * [taylor]: Taking taylor expansion of 0 in y 2.458 * [backup-simplify]: Simplify 0 into 0 2.458 * [taylor]: Taking taylor expansion of 0 in a 2.458 * [backup-simplify]: Simplify 0 into 0 2.458 * [taylor]: Taking taylor expansion of 0 in a 2.458 * [backup-simplify]: Simplify 0 into 0 2.458 * [taylor]: Taking taylor expansion of 0 in a 2.458 * [backup-simplify]: Simplify 0 into 0 2.458 * [taylor]: Taking taylor expansion of 0 in a 2.458 * [backup-simplify]: Simplify 0 into 0 2.458 * [taylor]: Taking taylor expansion of 0 in a 2.458 * [backup-simplify]: Simplify 0 into 0 2.458 * [taylor]: Taking taylor expansion of 0 in a 2.458 * [backup-simplify]: Simplify 0 into 0 2.458 * [taylor]: Taking taylor expansion of 0 in a 2.458 * [backup-simplify]: Simplify 0 into 0 2.458 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 2.458 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.459 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 2.459 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 2.459 * [backup-simplify]: Simplify (- 0) into 0 2.460 * [backup-simplify]: Simplify (+ 0 0) into 0 2.460 * [taylor]: Taking taylor expansion of 0 in a 2.460 * [backup-simplify]: Simplify 0 into 0 2.460 * [taylor]: Taking taylor expansion of 0 in a 2.460 * [backup-simplify]: Simplify 0 into 0 2.460 * [taylor]: Taking taylor expansion of 0 in a 2.460 * [backup-simplify]: Simplify 0 into 0 2.460 * [taylor]: Taking taylor expansion of 0 in a 2.460 * [backup-simplify]: Simplify 0 into 0 2.461 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.461 * [taylor]: Taking taylor expansion of 0 in a 2.461 * [backup-simplify]: Simplify 0 into 0 2.461 * [taylor]: Taking taylor expansion of 0 in a 2.461 * [backup-simplify]: Simplify 0 into 0 2.461 * [taylor]: Taking taylor expansion of 0 in a 2.461 * [backup-simplify]: Simplify 0 into 0 2.461 * [taylor]: Taking taylor expansion of 0 in a 2.461 * [backup-simplify]: Simplify 0 into 0 2.462 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 2.462 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 2.462 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 b))) into 0 2.463 * [backup-simplify]: Simplify (- 0) into 0 2.463 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 2.463 * [taylor]: Taking taylor expansion of (/ 1 c) in b 2.463 * [taylor]: Taking taylor expansion of c in b 2.463 * [backup-simplify]: Simplify c into c 2.463 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.463 * [taylor]: Taking taylor expansion of 0 in b 2.463 * [backup-simplify]: Simplify 0 into 0 2.463 * [taylor]: Taking taylor expansion of 0 in b 2.463 * [backup-simplify]: Simplify 0 into 0 2.463 * [taylor]: Taking taylor expansion of 0 in b 2.463 * [backup-simplify]: Simplify 0 into 0 2.463 * [taylor]: Taking taylor expansion of 0 in b 2.463 * [backup-simplify]: Simplify 0 into 0 2.463 * [taylor]: Taking taylor expansion of 0 in b 2.463 * [backup-simplify]: Simplify 0 into 0 2.464 * [taylor]: Taking taylor expansion of 0 in b 2.464 * [backup-simplify]: Simplify 0 into 0 2.464 * [taylor]: Taking taylor expansion of 0 in b 2.464 * [backup-simplify]: Simplify 0 into 0 2.464 * [taylor]: Taking taylor expansion of 0 in b 2.464 * [backup-simplify]: Simplify 0 into 0 2.464 * [taylor]: Taking taylor expansion of 0 in b 2.464 * [backup-simplify]: Simplify 0 into 0 2.464 * [taylor]: Taking taylor expansion of 0 in b 2.464 * [backup-simplify]: Simplify 0 into 0 2.464 * [taylor]: Taking taylor expansion of 0 in b 2.464 * [backup-simplify]: Simplify 0 into 0 2.464 * [taylor]: Taking taylor expansion of 0 in b 2.464 * [backup-simplify]: Simplify 0 into 0 2.464 * [taylor]: Taking taylor expansion of 0 in b 2.464 * [backup-simplify]: Simplify 0 into 0 2.465 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.466 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 1)) into 0 2.466 * [backup-simplify]: Simplify (- 0) into 0 2.466 * [taylor]: Taking taylor expansion of 0 in c 2.466 * [backup-simplify]: Simplify 0 into 0 2.466 * [taylor]: Taking taylor expansion of 0 in c 2.466 * [backup-simplify]: Simplify 0 into 0 2.467 * [taylor]: Taking taylor expansion of 0 in c 2.467 * [backup-simplify]: Simplify 0 into 0 2.467 * [taylor]: Taking taylor expansion of 0 in c 2.467 * [backup-simplify]: Simplify 0 into 0 2.467 * [taylor]: Taking taylor expansion of 0 in c 2.467 * [backup-simplify]: Simplify 0 into 0 2.467 * [taylor]: Taking taylor expansion of 0 in c 2.467 * [backup-simplify]: Simplify 0 into 0 2.467 * [taylor]: Taking taylor expansion of 0 in c 2.467 * [backup-simplify]: Simplify 0 into 0 2.467 * [taylor]: Taking taylor expansion of 0 in c 2.467 * [backup-simplify]: Simplify 0 into 0 2.467 * [taylor]: Taking taylor expansion of 0 in c 2.467 * [backup-simplify]: Simplify 0 into 0 2.469 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 2.469 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 2.469 * [backup-simplify]: Simplify 1 into 1 2.470 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.471 * [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))) 2.472 * [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)))) 2.472 * [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 2.472 * [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 2.472 * [taylor]: Rewrote expression to (+ (* (/ -0.0625 z) (/ -1 t)) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) 2.472 * [taylor]: Taking taylor expansion of (* (/ -0.0625 z) (/ -1 t)) in c 2.472 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in c 2.472 * [taylor]: Taking taylor expansion of -0.0625 in c 2.472 * [backup-simplify]: Simplify -0.0625 into -0.0625 2.472 * [taylor]: Taking taylor expansion of z in c 2.472 * [backup-simplify]: Simplify z into z 2.472 * [backup-simplify]: Simplify (/ -0.0625 z) into (/ -0.0625 z) 2.472 * [taylor]: Taking taylor expansion of (/ -1 t) in c 2.472 * [taylor]: Taking taylor expansion of -1 in c 2.472 * [backup-simplify]: Simplify -1 into -1 2.473 * [taylor]: Taking taylor expansion of t in c 2.473 * [backup-simplify]: Simplify t into t 2.473 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 2.473 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) in c 2.473 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) 2.473 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in c 2.473 * [taylor]: Taking taylor expansion of (/ -1 x) in c 2.473 * [taylor]: Taking taylor expansion of -1 in c 2.473 * [backup-simplify]: Simplify -1 into -1 2.473 * [taylor]: Taking taylor expansion of x in c 2.473 * [backup-simplify]: Simplify x into x 2.473 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.473 * [taylor]: Taking taylor expansion of (/ -1 y) in c 2.473 * [taylor]: Taking taylor expansion of -1 in c 2.473 * [backup-simplify]: Simplify -1 into -1 2.473 * [taylor]: Taking taylor expansion of y in c 2.473 * [backup-simplify]: Simplify y into y 2.473 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.473 * [taylor]: Taking taylor expansion of (fma (/ -0.25 a) (/ 1 b) (/ -1 c)) in c 2.473 * [taylor]: Rewrote expression to (+ (* (/ -0.25 a) (/ 1 b)) (/ -1 c)) 2.473 * [taylor]: Taking taylor expansion of (* (/ -0.25 a) (/ 1 b)) in c 2.473 * [taylor]: Taking taylor expansion of (/ -0.25 a) in c 2.473 * [taylor]: Taking taylor expansion of -0.25 in c 2.473 * [backup-simplify]: Simplify -0.25 into -0.25 2.473 * [taylor]: Taking taylor expansion of a in c 2.474 * [backup-simplify]: Simplify a into a 2.474 * [backup-simplify]: Simplify (/ -0.25 a) into (/ -0.25 a) 2.474 * [taylor]: Taking taylor expansion of (/ 1 b) in c 2.474 * [taylor]: Taking taylor expansion of b in c 2.474 * [backup-simplify]: Simplify b into b 2.474 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.474 * [taylor]: Taking taylor expansion of (/ -1 c) in c 2.474 * [taylor]: Taking taylor expansion of -1 in c 2.474 * [backup-simplify]: Simplify -1 into -1 2.474 * [taylor]: Taking taylor expansion of c in c 2.474 * [backup-simplify]: Simplify 0 into 0 2.474 * [backup-simplify]: Simplify 1 into 1 2.482 * [backup-simplify]: Simplify (/ -1 1) into -1 2.482 * [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 2.482 * [taylor]: Rewrote expression to (+ (* (/ -0.0625 z) (/ -1 t)) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) 2.482 * [taylor]: Taking taylor expansion of (* (/ -0.0625 z) (/ -1 t)) in b 2.482 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in b 2.482 * [taylor]: Taking taylor expansion of -0.0625 in b 2.482 * [backup-simplify]: Simplify -0.0625 into -0.0625 2.482 * [taylor]: Taking taylor expansion of z in b 2.482 * [backup-simplify]: Simplify z into z 2.482 * [backup-simplify]: Simplify (/ -0.0625 z) into (/ -0.0625 z) 2.482 * [taylor]: Taking taylor expansion of (/ -1 t) in b 2.482 * [taylor]: Taking taylor expansion of -1 in b 2.483 * [backup-simplify]: Simplify -1 into -1 2.483 * [taylor]: Taking taylor expansion of t in b 2.483 * [backup-simplify]: Simplify t into t 2.483 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 2.483 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) in b 2.483 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) 2.483 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in b 2.483 * [taylor]: Taking taylor expansion of (/ -1 x) in b 2.483 * [taylor]: Taking taylor expansion of -1 in b 2.483 * [backup-simplify]: Simplify -1 into -1 2.483 * [taylor]: Taking taylor expansion of x in b 2.483 * [backup-simplify]: Simplify x into x 2.483 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.483 * [taylor]: Taking taylor expansion of (/ -1 y) in b 2.483 * [taylor]: Taking taylor expansion of -1 in b 2.483 * [backup-simplify]: Simplify -1 into -1 2.483 * [taylor]: Taking taylor expansion of y in b 2.483 * [backup-simplify]: Simplify y into y 2.483 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.483 * [taylor]: Taking taylor expansion of (fma (/ -0.25 a) (/ 1 b) (/ -1 c)) in b 2.483 * [taylor]: Rewrote expression to (+ (* (/ -0.25 a) (/ 1 b)) (/ -1 c)) 2.483 * [taylor]: Taking taylor expansion of (* (/ -0.25 a) (/ 1 b)) in b 2.483 * [taylor]: Taking taylor expansion of (/ -0.25 a) in b 2.483 * [taylor]: Taking taylor expansion of -0.25 in b 2.483 * [backup-simplify]: Simplify -0.25 into -0.25 2.483 * [taylor]: Taking taylor expansion of a in b 2.483 * [backup-simplify]: Simplify a into a 2.484 * [backup-simplify]: Simplify (/ -0.25 a) into (/ -0.25 a) 2.484 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.484 * [taylor]: Taking taylor expansion of b in b 2.484 * [backup-simplify]: Simplify 0 into 0 2.484 * [backup-simplify]: Simplify 1 into 1 2.484 * [backup-simplify]: Simplify (/ 1 1) into 1 2.484 * [taylor]: Taking taylor expansion of (/ -1 c) in b 2.484 * [taylor]: Taking taylor expansion of -1 in b 2.484 * [backup-simplify]: Simplify -1 into -1 2.484 * [taylor]: Taking taylor expansion of c in b 2.484 * [backup-simplify]: Simplify c into c 2.484 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c) 2.484 * [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 2.485 * [taylor]: Rewrote expression to (+ (* (/ -0.0625 z) (/ -1 t)) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) 2.485 * [taylor]: Taking taylor expansion of (* (/ -0.0625 z) (/ -1 t)) in a 2.485 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in a 2.485 * [taylor]: Taking taylor expansion of -0.0625 in a 2.485 * [backup-simplify]: Simplify -0.0625 into -0.0625 2.485 * [taylor]: Taking taylor expansion of z in a 2.485 * [backup-simplify]: Simplify z into z 2.485 * [backup-simplify]: Simplify (/ -0.0625 z) into (/ -0.0625 z) 2.485 * [taylor]: Taking taylor expansion of (/ -1 t) in a 2.485 * [taylor]: Taking taylor expansion of -1 in a 2.485 * [backup-simplify]: Simplify -1 into -1 2.485 * [taylor]: Taking taylor expansion of t in a 2.485 * [backup-simplify]: Simplify t into t 2.485 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 2.485 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) in a 2.485 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) 2.485 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in a 2.485 * [taylor]: Taking taylor expansion of (/ -1 x) in a 2.485 * [taylor]: Taking taylor expansion of -1 in a 2.485 * [backup-simplify]: Simplify -1 into -1 2.485 * [taylor]: Taking taylor expansion of x in a 2.485 * [backup-simplify]: Simplify x into x 2.486 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.486 * [taylor]: Taking taylor expansion of (/ -1 y) in a 2.486 * [taylor]: Taking taylor expansion of -1 in a 2.486 * [backup-simplify]: Simplify -1 into -1 2.486 * [taylor]: Taking taylor expansion of y in a 2.486 * [backup-simplify]: Simplify y into y 2.486 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.486 * [taylor]: Taking taylor expansion of (fma (/ -0.25 a) (/ 1 b) (/ -1 c)) in a 2.486 * [taylor]: Rewrote expression to (+ (* (/ -0.25 a) (/ 1 b)) (/ -1 c)) 2.486 * [taylor]: Taking taylor expansion of (* (/ -0.25 a) (/ 1 b)) in a 2.486 * [taylor]: Taking taylor expansion of (/ -0.25 a) in a 2.486 * [taylor]: Taking taylor expansion of -0.25 in a 2.486 * [backup-simplify]: Simplify -0.25 into -0.25 2.486 * [taylor]: Taking taylor expansion of a in a 2.486 * [backup-simplify]: Simplify 0 into 0 2.486 * [backup-simplify]: Simplify 1 into 1 2.486 * [backup-simplify]: Simplify (/ -0.25 1) into -0.25 2.486 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.486 * [taylor]: Taking taylor expansion of b in a 2.487 * [backup-simplify]: Simplify b into b 2.487 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.487 * [taylor]: Taking taylor expansion of (/ -1 c) in a 2.487 * [taylor]: Taking taylor expansion of -1 in a 2.487 * [backup-simplify]: Simplify -1 into -1 2.487 * [taylor]: Taking taylor expansion of c in a 2.487 * [backup-simplify]: Simplify c into c 2.487 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c) 2.487 * [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 2.487 * [taylor]: Rewrote expression to (+ (* (/ -0.0625 z) (/ -1 t)) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) 2.487 * [taylor]: Taking taylor expansion of (* (/ -0.0625 z) (/ -1 t)) in y 2.487 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in y 2.487 * [taylor]: Taking taylor expansion of -0.0625 in y 2.487 * [backup-simplify]: Simplify -0.0625 into -0.0625 2.487 * [taylor]: Taking taylor expansion of z in y 2.487 * [backup-simplify]: Simplify z into z 2.487 * [backup-simplify]: Simplify (/ -0.0625 z) into (/ -0.0625 z) 2.487 * [taylor]: Taking taylor expansion of (/ -1 t) in y 2.487 * [taylor]: Taking taylor expansion of -1 in y 2.487 * [backup-simplify]: Simplify -1 into -1 2.487 * [taylor]: Taking taylor expansion of t in y 2.487 * [backup-simplify]: Simplify t into t 2.487 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 2.487 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) in y 2.487 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) 2.488 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y 2.488 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.488 * [taylor]: Taking taylor expansion of -1 in y 2.488 * [backup-simplify]: Simplify -1 into -1 2.488 * [taylor]: Taking taylor expansion of x in y 2.488 * [backup-simplify]: Simplify x into x 2.488 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.488 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.488 * [taylor]: Taking taylor expansion of -1 in y 2.488 * [backup-simplify]: Simplify -1 into -1 2.488 * [taylor]: Taking taylor expansion of y in y 2.488 * [backup-simplify]: Simplify 0 into 0 2.488 * [backup-simplify]: Simplify 1 into 1 2.488 * [backup-simplify]: Simplify (/ -1 1) into -1 2.488 * [taylor]: Taking taylor expansion of (fma (/ -0.25 a) (/ 1 b) (/ -1 c)) in y 2.488 * [taylor]: Rewrote expression to (+ (* (/ -0.25 a) (/ 1 b)) (/ -1 c)) 2.488 * [taylor]: Taking taylor expansion of (* (/ -0.25 a) (/ 1 b)) in y 2.488 * [taylor]: Taking taylor expansion of (/ -0.25 a) in y 2.488 * [taylor]: Taking taylor expansion of -0.25 in y 2.489 * [backup-simplify]: Simplify -0.25 into -0.25 2.489 * [taylor]: Taking taylor expansion of a in y 2.489 * [backup-simplify]: Simplify a into a 2.489 * [backup-simplify]: Simplify (/ -0.25 a) into (/ -0.25 a) 2.489 * [taylor]: Taking taylor expansion of (/ 1 b) in y 2.489 * [taylor]: Taking taylor expansion of b in y 2.489 * [backup-simplify]: Simplify b into b 2.489 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.489 * [taylor]: Taking taylor expansion of (/ -1 c) in y 2.489 * [taylor]: Taking taylor expansion of -1 in y 2.489 * [backup-simplify]: Simplify -1 into -1 2.489 * [taylor]: Taking taylor expansion of c in y 2.489 * [backup-simplify]: Simplify c into c 2.489 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c) 2.489 * [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 2.489 * [taylor]: Rewrote expression to (+ (* (/ -0.0625 z) (/ -1 t)) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) 2.489 * [taylor]: Taking taylor expansion of (* (/ -0.0625 z) (/ -1 t)) in x 2.489 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in x 2.489 * [taylor]: Taking taylor expansion of -0.0625 in x 2.489 * [backup-simplify]: Simplify -0.0625 into -0.0625 2.489 * [taylor]: Taking taylor expansion of z in x 2.489 * [backup-simplify]: Simplify z into z 2.489 * [backup-simplify]: Simplify (/ -0.0625 z) into (/ -0.0625 z) 2.489 * [taylor]: Taking taylor expansion of (/ -1 t) in x 2.489 * [taylor]: Taking taylor expansion of -1 in x 2.489 * [backup-simplify]: Simplify -1 into -1 2.489 * [taylor]: Taking taylor expansion of t in x 2.489 * [backup-simplify]: Simplify t into t 2.489 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 2.490 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) in x 2.490 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) 2.490 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 2.490 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.490 * [taylor]: Taking taylor expansion of -1 in x 2.490 * [backup-simplify]: Simplify -1 into -1 2.490 * [taylor]: Taking taylor expansion of x in x 2.490 * [backup-simplify]: Simplify 0 into 0 2.490 * [backup-simplify]: Simplify 1 into 1 2.490 * [backup-simplify]: Simplify (/ -1 1) into -1 2.490 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.490 * [taylor]: Taking taylor expansion of -1 in x 2.490 * [backup-simplify]: Simplify -1 into -1 2.490 * [taylor]: Taking taylor expansion of y in x 2.490 * [backup-simplify]: Simplify y into y 2.490 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.490 * [taylor]: Taking taylor expansion of (fma (/ -0.25 a) (/ 1 b) (/ -1 c)) in x 2.491 * [taylor]: Rewrote expression to (+ (* (/ -0.25 a) (/ 1 b)) (/ -1 c)) 2.491 * [taylor]: Taking taylor expansion of (* (/ -0.25 a) (/ 1 b)) in x 2.491 * [taylor]: Taking taylor expansion of (/ -0.25 a) in x 2.491 * [taylor]: Taking taylor expansion of -0.25 in x 2.491 * [backup-simplify]: Simplify -0.25 into -0.25 2.491 * [taylor]: Taking taylor expansion of a in x 2.491 * [backup-simplify]: Simplify a into a 2.491 * [backup-simplify]: Simplify (/ -0.25 a) into (/ -0.25 a) 2.491 * [taylor]: Taking taylor expansion of (/ 1 b) in x 2.491 * [taylor]: Taking taylor expansion of b in x 2.491 * [backup-simplify]: Simplify b into b 2.491 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.491 * [taylor]: Taking taylor expansion of (/ -1 c) in x 2.491 * [taylor]: Taking taylor expansion of -1 in x 2.491 * [backup-simplify]: Simplify -1 into -1 2.491 * [taylor]: Taking taylor expansion of c in x 2.491 * [backup-simplify]: Simplify c into c 2.491 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c) 2.491 * [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 2.491 * [taylor]: Rewrote expression to (+ (* (/ -0.0625 z) (/ -1 t)) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) 2.491 * [taylor]: Taking taylor expansion of (* (/ -0.0625 z) (/ -1 t)) in t 2.491 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in t 2.491 * [taylor]: Taking taylor expansion of -0.0625 in t 2.491 * [backup-simplify]: Simplify -0.0625 into -0.0625 2.491 * [taylor]: Taking taylor expansion of z in t 2.491 * [backup-simplify]: Simplify z into z 2.491 * [backup-simplify]: Simplify (/ -0.0625 z) into (/ -0.0625 z) 2.491 * [taylor]: Taking taylor expansion of (/ -1 t) in t 2.492 * [taylor]: Taking taylor expansion of -1 in t 2.492 * [backup-simplify]: Simplify -1 into -1 2.492 * [taylor]: Taking taylor expansion of t in t 2.492 * [backup-simplify]: Simplify 0 into 0 2.492 * [backup-simplify]: Simplify 1 into 1 2.492 * [backup-simplify]: Simplify (/ -1 1) into -1 2.492 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) in t 2.492 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) 2.492 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in t 2.492 * [taylor]: Taking taylor expansion of (/ -1 x) in t 2.492 * [taylor]: Taking taylor expansion of -1 in t 2.492 * [backup-simplify]: Simplify -1 into -1 2.492 * [taylor]: Taking taylor expansion of x in t 2.492 * [backup-simplify]: Simplify x into x 2.492 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.492 * [taylor]: Taking taylor expansion of (/ -1 y) in t 2.492 * [taylor]: Taking taylor expansion of -1 in t 2.492 * [backup-simplify]: Simplify -1 into -1 2.492 * [taylor]: Taking taylor expansion of y in t 2.492 * [backup-simplify]: Simplify y into y 2.493 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.493 * [taylor]: Taking taylor expansion of (fma (/ -0.25 a) (/ 1 b) (/ -1 c)) in t 2.493 * [taylor]: Rewrote expression to (+ (* (/ -0.25 a) (/ 1 b)) (/ -1 c)) 2.493 * [taylor]: Taking taylor expansion of (* (/ -0.25 a) (/ 1 b)) in t 2.493 * [taylor]: Taking taylor expansion of (/ -0.25 a) in t 2.493 * [taylor]: Taking taylor expansion of -0.25 in t 2.493 * [backup-simplify]: Simplify -0.25 into -0.25 2.493 * [taylor]: Taking taylor expansion of a in t 2.493 * [backup-simplify]: Simplify a into a 2.493 * [backup-simplify]: Simplify (/ -0.25 a) into (/ -0.25 a) 2.493 * [taylor]: Taking taylor expansion of (/ 1 b) in t 2.493 * [taylor]: Taking taylor expansion of b in t 2.493 * [backup-simplify]: Simplify b into b 2.493 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.493 * [taylor]: Taking taylor expansion of (/ -1 c) in t 2.493 * [taylor]: Taking taylor expansion of -1 in t 2.493 * [backup-simplify]: Simplify -1 into -1 2.493 * [taylor]: Taking taylor expansion of c in t 2.493 * [backup-simplify]: Simplify c into c 2.493 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c) 2.493 * [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 2.493 * [taylor]: Rewrote expression to (+ (* (/ -0.0625 z) (/ -1 t)) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) 2.493 * [taylor]: Taking taylor expansion of (* (/ -0.0625 z) (/ -1 t)) in z 2.493 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in z 2.493 * [taylor]: Taking taylor expansion of -0.0625 in z 2.494 * [backup-simplify]: Simplify -0.0625 into -0.0625 2.494 * [taylor]: Taking taylor expansion of z in z 2.494 * [backup-simplify]: Simplify 0 into 0 2.494 * [backup-simplify]: Simplify 1 into 1 2.494 * [backup-simplify]: Simplify (/ -0.0625 1) into -0.0625 2.494 * [taylor]: Taking taylor expansion of (/ -1 t) in z 2.494 * [taylor]: Taking taylor expansion of -1 in z 2.494 * [backup-simplify]: Simplify -1 into -1 2.494 * [taylor]: Taking taylor expansion of t in z 2.494 * [backup-simplify]: Simplify t into t 2.494 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 2.494 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) in z 2.494 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) 2.494 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z 2.494 * [taylor]: Taking taylor expansion of (/ -1 x) in z 2.494 * [taylor]: Taking taylor expansion of -1 in z 2.494 * [backup-simplify]: Simplify -1 into -1 2.494 * [taylor]: Taking taylor expansion of x in z 2.495 * [backup-simplify]: Simplify x into x 2.495 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.495 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.495 * [taylor]: Taking taylor expansion of -1 in z 2.495 * [backup-simplify]: Simplify -1 into -1 2.495 * [taylor]: Taking taylor expansion of y in z 2.495 * [backup-simplify]: Simplify y into y 2.495 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.495 * [taylor]: Taking taylor expansion of (fma (/ -0.25 a) (/ 1 b) (/ -1 c)) in z 2.495 * [taylor]: Rewrote expression to (+ (* (/ -0.25 a) (/ 1 b)) (/ -1 c)) 2.495 * [taylor]: Taking taylor expansion of (* (/ -0.25 a) (/ 1 b)) in z 2.495 * [taylor]: Taking taylor expansion of (/ -0.25 a) in z 2.495 * [taylor]: Taking taylor expansion of -0.25 in z 2.495 * [backup-simplify]: Simplify -0.25 into -0.25 2.495 * [taylor]: Taking taylor expansion of a in z 2.495 * [backup-simplify]: Simplify a into a 2.495 * [backup-simplify]: Simplify (/ -0.25 a) into (/ -0.25 a) 2.495 * [taylor]: Taking taylor expansion of (/ 1 b) in z 2.495 * [taylor]: Taking taylor expansion of b in z 2.495 * [backup-simplify]: Simplify b into b 2.495 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.495 * [taylor]: Taking taylor expansion of (/ -1 c) in z 2.495 * [taylor]: Taking taylor expansion of -1 in z 2.495 * [backup-simplify]: Simplify -1 into -1 2.495 * [taylor]: Taking taylor expansion of c in z 2.495 * [backup-simplify]: Simplify c into c 2.495 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c) 2.495 * [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 2.496 * [taylor]: Rewrote expression to (+ (* (/ -0.0625 z) (/ -1 t)) (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c)))) 2.496 * [taylor]: Taking taylor expansion of (* (/ -0.0625 z) (/ -1 t)) in z 2.496 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in z 2.496 * [taylor]: Taking taylor expansion of -0.0625 in z 2.496 * [backup-simplify]: Simplify -0.0625 into -0.0625 2.496 * [taylor]: Taking taylor expansion of z in z 2.496 * [backup-simplify]: Simplify 0 into 0 2.496 * [backup-simplify]: Simplify 1 into 1 2.496 * [backup-simplify]: Simplify (/ -0.0625 1) into -0.0625 2.496 * [taylor]: Taking taylor expansion of (/ -1 t) in z 2.496 * [taylor]: Taking taylor expansion of -1 in z 2.496 * [backup-simplify]: Simplify -1 into -1 2.496 * [taylor]: Taking taylor expansion of t in z 2.496 * [backup-simplify]: Simplify t into t 2.496 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 2.496 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) in z 2.497 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -0.25 a) (/ 1 b) (/ -1 c))) 2.497 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z 2.497 * [taylor]: Taking taylor expansion of (/ -1 x) in z 2.497 * [taylor]: Taking taylor expansion of -1 in z 2.497 * [backup-simplify]: Simplify -1 into -1 2.497 * [taylor]: Taking taylor expansion of x in z 2.497 * [backup-simplify]: Simplify x into x 2.497 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.497 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.497 * [taylor]: Taking taylor expansion of -1 in z 2.497 * [backup-simplify]: Simplify -1 into -1 2.497 * [taylor]: Taking taylor expansion of y in z 2.497 * [backup-simplify]: Simplify y into y 2.497 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.497 * [taylor]: Taking taylor expansion of (fma (/ -0.25 a) (/ 1 b) (/ -1 c)) in z 2.497 * [taylor]: Rewrote expression to (+ (* (/ -0.25 a) (/ 1 b)) (/ -1 c)) 2.497 * [taylor]: Taking taylor expansion of (* (/ -0.25 a) (/ 1 b)) in z 2.497 * [taylor]: Taking taylor expansion of (/ -0.25 a) in z 2.497 * [taylor]: Taking taylor expansion of -0.25 in z 2.497 * [backup-simplify]: Simplify -0.25 into -0.25 2.497 * [taylor]: Taking taylor expansion of a in z 2.497 * [backup-simplify]: Simplify a into a 2.497 * [backup-simplify]: Simplify (/ -0.25 a) into (/ -0.25 a) 2.497 * [taylor]: Taking taylor expansion of (/ 1 b) in z 2.497 * [taylor]: Taking taylor expansion of b in z 2.497 * [backup-simplify]: Simplify b into b 2.497 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.497 * [taylor]: Taking taylor expansion of (/ -1 c) in z 2.497 * [taylor]: Taking taylor expansion of -1 in z 2.498 * [backup-simplify]: Simplify -1 into -1 2.498 * [taylor]: Taking taylor expansion of c in z 2.498 * [backup-simplify]: Simplify c into c 2.498 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c) 2.498 * [backup-simplify]: Simplify (* -0.0625 (/ -1 t)) into (/ 0.0625 t) 2.498 * [backup-simplify]: Simplify (+ (/ 0.0625 t) 0) into (* 0.0625 (/ 1 t)) 2.498 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 t)) in t 2.498 * [taylor]: Taking taylor expansion of 0.0625 in t 2.498 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.498 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.498 * [taylor]: Taking taylor expansion of t in t 2.498 * [backup-simplify]: Simplify 0 into 0 2.498 * [backup-simplify]: Simplify 1 into 1 2.498 * [backup-simplify]: Simplify (/ 1 1) into 1 2.499 * [backup-simplify]: Simplify (* 0.0625 1) into 0.0625 2.499 * [taylor]: Taking taylor expansion of 0.0625 in x 2.499 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.499 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)))) into 0 2.500 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.0625 (/ 0 1)))) into 0 2.500 * [backup-simplify]: Simplify (+ (* -0.0625 0) (* 0 (/ -1 t))) into 0 2.500 * [backup-simplify]: Simplify (* (/ -1 x) (/ -1 y)) into (/ 1 (* x y)) 2.500 * [backup-simplify]: Simplify (* (/ -0.25 a) (/ 1 b)) into (/ -0.25 (* a b)) 2.500 * [backup-simplify]: Simplify (+ (/ -0.25 (* a b)) (/ -1 c)) into (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) 2.501 * [backup-simplify]: Simplify (+ (/ 1 (* x y)) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) into (- (/ 1 (* x y)) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) 2.501 * [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))) 2.501 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in t 2.501 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 2.501 * [taylor]: Taking taylor expansion of (* x y) in t 2.501 * [taylor]: Taking taylor expansion of x in t 2.501 * [backup-simplify]: Simplify x into x 2.501 * [taylor]: Taking taylor expansion of y in t 2.501 * [backup-simplify]: Simplify y into y 2.501 * [backup-simplify]: Simplify (* x y) into (* x y) 2.501 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 2.501 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in t 2.501 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in t 2.501 * [taylor]: Taking taylor expansion of 0.25 in t 2.502 * [backup-simplify]: Simplify 0.25 into 0.25 2.502 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 2.502 * [taylor]: Taking taylor expansion of (* a b) in t 2.502 * [taylor]: Taking taylor expansion of a in t 2.502 * [backup-simplify]: Simplify a into a 2.502 * [taylor]: Taking taylor expansion of b in t 2.502 * [backup-simplify]: Simplify b into b 2.502 * [backup-simplify]: Simplify (* a b) into (* a b) 2.502 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.502 * [taylor]: Taking taylor expansion of (/ 1 c) in t 2.502 * [taylor]: Taking taylor expansion of c in t 2.502 * [backup-simplify]: Simplify c into c 2.502 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.503 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.503 * [backup-simplify]: Simplify (+ (* 0.0625 0) (* 0 1)) into 0 2.503 * [taylor]: Taking taylor expansion of 0 in x 2.503 * [backup-simplify]: Simplify 0 into 0 2.503 * [taylor]: Taking taylor expansion of 0.0625 in y 2.503 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.504 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 2.504 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.0625 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.505 * [backup-simplify]: Simplify (+ (* -0.0625 0) (+ (* 0 0) (* 0 (/ -1 t)))) into 0 2.505 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 2.505 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 2.506 * [backup-simplify]: Simplify (+ (* (/ -1 x) 0) (* 0 (/ -1 y))) into 0 2.506 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 2.506 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -0.25 a) (/ 0 a)))) into 0 2.506 * [backup-simplify]: Simplify (+ (* (/ -0.25 a) 0) (* 0 (/ 1 b))) into 0 2.506 * [backup-simplify]: Simplify (- (/ 0 c) (+ (* (/ -1 c) (/ 0 c)))) into 0 2.507 * [backup-simplify]: Simplify (+ 0 0) into 0 2.507 * [backup-simplify]: Simplify (+ 0 0) into 0 2.507 * [backup-simplify]: Simplify (+ 0 0) into 0 2.507 * [taylor]: Taking taylor expansion of 0 in t 2.507 * [backup-simplify]: Simplify 0 into 0 2.507 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 2.507 * [backup-simplify]: Simplify (+ (/ 0.25 (* a b)) (/ 1 c)) into (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) 2.508 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) into (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) 2.508 * [backup-simplify]: Simplify (+ (/ 1 (* x y)) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) into (- (/ 1 (* x y)) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) 2.508 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in x 2.508 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.508 * [taylor]: Taking taylor expansion of (* x y) in x 2.508 * [taylor]: Taking taylor expansion of x in x 2.508 * [backup-simplify]: Simplify 0 into 0 2.508 * [backup-simplify]: Simplify 1 into 1 2.508 * [taylor]: Taking taylor expansion of y in x 2.508 * [backup-simplify]: Simplify y into y 2.508 * [backup-simplify]: Simplify (* 0 y) into 0 2.509 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.509 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.509 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in x 2.509 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in x 2.509 * [taylor]: Taking taylor expansion of 0.25 in x 2.509 * [backup-simplify]: Simplify 0.25 into 0.25 2.509 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 2.509 * [taylor]: Taking taylor expansion of (* a b) in x 2.509 * [taylor]: Taking taylor expansion of a in x 2.509 * [backup-simplify]: Simplify a into a 2.509 * [taylor]: Taking taylor expansion of b in x 2.509 * [backup-simplify]: Simplify b into b 2.509 * [backup-simplify]: Simplify (* a b) into (* a b) 2.509 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.509 * [taylor]: Taking taylor expansion of (/ 1 c) in x 2.509 * [taylor]: Taking taylor expansion of c in x 2.509 * [backup-simplify]: Simplify c into c 2.509 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.509 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 2.509 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.509 * [taylor]: Taking taylor expansion of y in y 2.509 * [backup-simplify]: Simplify 0 into 0 2.509 * [backup-simplify]: Simplify 1 into 1 2.510 * [backup-simplify]: Simplify (/ 1 1) into 1 2.510 * [taylor]: Taking taylor expansion of 1 in a 2.510 * [backup-simplify]: Simplify 1 into 1 2.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.511 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (* 0 1))) into 0 2.511 * [taylor]: Taking taylor expansion of 0 in x 2.511 * [backup-simplify]: Simplify 0 into 0 2.511 * [taylor]: Taking taylor expansion of 0 in y 2.511 * [backup-simplify]: Simplify 0 into 0 2.511 * [taylor]: Taking taylor expansion of 0 in y 2.511 * [backup-simplify]: Simplify 0 into 0 2.512 * [taylor]: Taking taylor expansion of 0.0625 in a 2.512 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.512 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0 2.513 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.0625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.514 * [backup-simplify]: Simplify (+ (* -0.0625 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 t))))) into 0 2.514 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.514 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.514 * [backup-simplify]: Simplify (+ (* (/ -1 x) 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 2.515 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 2.515 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -0.25 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 2.515 * [backup-simplify]: Simplify (+ (* (/ -0.25 a) 0) (+ (* 0 0) (* 0 (/ 1 b)))) into 0 2.515 * [backup-simplify]: Simplify (- (/ 0 c) (+ (* (/ -1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.516 * [backup-simplify]: Simplify (+ 0 0) into 0 2.516 * [backup-simplify]: Simplify (+ 0 0) into 0 2.516 * [backup-simplify]: Simplify (+ 0 0) into 0 2.516 * [taylor]: Taking taylor expansion of 0 in t 2.516 * [backup-simplify]: Simplify 0 into 0 2.516 * [taylor]: Taking taylor expansion of 0 in x 2.517 * [backup-simplify]: Simplify 0 into 0 2.517 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 2.517 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 2.517 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.517 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 2.517 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 2.518 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 2.518 * [backup-simplify]: Simplify (+ 0 0) into 0 2.518 * [backup-simplify]: Simplify (- 0) into 0 2.519 * [backup-simplify]: Simplify (+ 0 0) into 0 2.519 * [taylor]: Taking taylor expansion of 0 in x 2.519 * [backup-simplify]: Simplify 0 into 0 2.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.520 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.520 * [taylor]: Taking taylor expansion of 0 in x 2.520 * [backup-simplify]: Simplify 0 into 0 2.521 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 2.521 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.521 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 2.521 * [backup-simplify]: Simplify (+ (/ 0.25 (* a b)) (/ 1 c)) into (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) 2.522 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) into (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) 2.522 * [backup-simplify]: Simplify (+ 0 (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) into (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) 2.522 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in y 2.522 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in y 2.522 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in y 2.522 * [taylor]: Taking taylor expansion of 0.25 in y 2.522 * [backup-simplify]: Simplify 0.25 into 0.25 2.522 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 2.522 * [taylor]: Taking taylor expansion of (* a b) in y 2.522 * [taylor]: Taking taylor expansion of a in y 2.522 * [backup-simplify]: Simplify a into a 2.522 * [taylor]: Taking taylor expansion of b in y 2.522 * [backup-simplify]: Simplify b into b 2.522 * [backup-simplify]: Simplify (* a b) into (* a b) 2.522 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.522 * [taylor]: Taking taylor expansion of (/ 1 c) in y 2.522 * [taylor]: Taking taylor expansion of c in y 2.522 * [backup-simplify]: Simplify c into c 2.522 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.522 * [taylor]: Taking taylor expansion of 0 in y 2.522 * [backup-simplify]: Simplify 0 into 0 2.523 * [taylor]: Taking taylor expansion of 0 in y 2.523 * [backup-simplify]: Simplify 0 into 0 2.523 * [taylor]: Taking taylor expansion of 0 in y 2.523 * [backup-simplify]: Simplify 0 into 0 2.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.523 * [taylor]: Taking taylor expansion of 0 in a 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [taylor]: Taking taylor expansion of 0 in a 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [taylor]: Taking taylor expansion of 0 in a 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [taylor]: Taking taylor expansion of 0 in a 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [taylor]: Taking taylor expansion of 1 in b 2.524 * [backup-simplify]: Simplify 1 into 1 2.524 * [taylor]: Taking taylor expansion of 0.0625 in b 2.524 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.525 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0 2.525 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.0625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.527 * [backup-simplify]: Simplify (+ (* -0.0625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 t)))))) into 0 2.527 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.527 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.528 * [backup-simplify]: Simplify (+ (* (/ -1 x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0 2.528 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 2.528 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -0.25 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 2.529 * [backup-simplify]: Simplify (+ (* (/ -0.25 a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 b))))) into 0 2.530 * [backup-simplify]: Simplify (- (/ 0 c) (+ (* (/ -1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.530 * [backup-simplify]: Simplify (+ 0 0) into 0 2.530 * [backup-simplify]: Simplify (+ 0 0) into 0 2.531 * [backup-simplify]: Simplify (+ 0 0) into 0 2.531 * [taylor]: Taking taylor expansion of 0 in t 2.531 * [backup-simplify]: Simplify 0 into 0 2.531 * [taylor]: Taking taylor expansion of 0 in x 2.531 * [backup-simplify]: Simplify 0 into 0 2.531 * [taylor]: Taking taylor expansion of 0 in x 2.531 * [backup-simplify]: Simplify 0 into 0 2.531 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 2.532 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 2.532 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0 2.532 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.533 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 (* a b))))) into 0 2.533 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.534 * [backup-simplify]: Simplify (+ 0 0) into 0 2.534 * [backup-simplify]: Simplify (- 0) into 0 2.534 * [backup-simplify]: Simplify (+ 0 0) into 0 2.535 * [taylor]: Taking taylor expansion of 0 in x 2.535 * [backup-simplify]: Simplify 0 into 0 2.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.536 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.536 * [taylor]: Taking taylor expansion of 0 in x 2.537 * [backup-simplify]: Simplify 0 into 0 2.537 * [taylor]: Taking taylor expansion of 0 in y 2.537 * [backup-simplify]: Simplify 0 into 0 2.537 * [taylor]: Taking taylor expansion of 0 in y 2.537 * [backup-simplify]: Simplify 0 into 0 2.537 * [taylor]: Taking taylor expansion of 0 in y 2.537 * [backup-simplify]: Simplify 0 into 0 2.538 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 2.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.538 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 2.539 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 2.539 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 2.539 * [backup-simplify]: Simplify (+ 0 0) into 0 2.540 * [backup-simplify]: Simplify (- 0) into 0 2.540 * [backup-simplify]: Simplify (+ 0 0) into 0 2.540 * [taylor]: Taking taylor expansion of 0 in y 2.540 * [backup-simplify]: Simplify 0 into 0 2.540 * [taylor]: Taking taylor expansion of 0 in y 2.540 * [backup-simplify]: Simplify 0 into 0 2.540 * [taylor]: Taking taylor expansion of 0 in y 2.540 * [backup-simplify]: Simplify 0 into 0 2.540 * [taylor]: Taking taylor expansion of 0 in y 2.540 * [backup-simplify]: Simplify 0 into 0 2.541 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 2.541 * [backup-simplify]: Simplify (+ (/ 0.25 (* a b)) (/ 1 c)) into (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) 2.541 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) into (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) 2.541 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in a 2.541 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in a 2.541 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 2.541 * [taylor]: Taking taylor expansion of 0.25 in a 2.541 * [backup-simplify]: Simplify 0.25 into 0.25 2.541 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 2.541 * [taylor]: Taking taylor expansion of (* a b) in a 2.541 * [taylor]: Taking taylor expansion of a in a 2.541 * [backup-simplify]: Simplify 0 into 0 2.541 * [backup-simplify]: Simplify 1 into 1 2.541 * [taylor]: Taking taylor expansion of b in a 2.541 * [backup-simplify]: Simplify b into b 2.541 * [backup-simplify]: Simplify (* 0 b) into 0 2.542 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 2.542 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.542 * [taylor]: Taking taylor expansion of (/ 1 c) in a 2.542 * [taylor]: Taking taylor expansion of c in a 2.542 * [backup-simplify]: Simplify c into c 2.542 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.542 * [backup-simplify]: Simplify (* 0.25 (/ 1 b)) into (/ 0.25 b) 2.542 * [backup-simplify]: Simplify (+ (/ 0.25 b) 0) into (* 0.25 (/ 1 b)) 2.542 * [backup-simplify]: Simplify (- (* 0.25 (/ 1 b))) into (- (* 0.25 (/ 1 b))) 2.542 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 b))) in b 2.542 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 b)) in b 2.542 * [taylor]: Taking taylor expansion of 0.25 in b 2.542 * [backup-simplify]: Simplify 0.25 into 0.25 2.542 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.542 * [taylor]: Taking taylor expansion of b in b 2.542 * [backup-simplify]: Simplify 0 into 0 2.542 * [backup-simplify]: Simplify 1 into 1 2.543 * [backup-simplify]: Simplify (/ 1 1) into 1 2.543 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 2.543 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 2.543 * [taylor]: Taking taylor expansion of (- 0.25) in c 2.543 * [taylor]: Taking taylor expansion of 0.25 in c 2.544 * [backup-simplify]: Simplify 0.25 into 0.25 2.544 * [taylor]: Taking taylor expansion of 0 in a 2.544 * [backup-simplify]: Simplify 0 into 0 2.544 * [taylor]: Taking taylor expansion of 0 in a 2.544 * [backup-simplify]: Simplify 0 into 0 2.544 * [taylor]: Taking taylor expansion of 0 in a 2.544 * [backup-simplify]: Simplify 0 into 0 2.545 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.545 * [taylor]: Taking taylor expansion of 0 in a 2.545 * [backup-simplify]: Simplify 0 into 0 2.545 * [taylor]: Taking taylor expansion of 0 in a 2.545 * [backup-simplify]: Simplify 0 into 0 2.545 * [taylor]: Taking taylor expansion of 0 in a 2.545 * [backup-simplify]: Simplify 0 into 0 2.545 * [taylor]: Taking taylor expansion of 0 in a 2.545 * [backup-simplify]: Simplify 0 into 0 2.545 * [taylor]: Taking taylor expansion of 0 in b 2.545 * [backup-simplify]: Simplify 0 into 0 2.545 * [taylor]: Taking taylor expansion of 0 in b 2.545 * [backup-simplify]: Simplify 0 into 0 2.545 * [taylor]: Taking taylor expansion of 0 in b 2.545 * [backup-simplify]: Simplify 0 into 0 2.545 * [taylor]: Taking taylor expansion of 0 in b 2.545 * [backup-simplify]: Simplify 0 into 0 2.545 * [taylor]: Taking taylor expansion of 0 in b 2.545 * [backup-simplify]: Simplify 0 into 0 2.546 * [taylor]: Taking taylor expansion of 0 in b 2.546 * [backup-simplify]: Simplify 0 into 0 2.546 * [taylor]: Taking taylor expansion of 1 in c 2.546 * [backup-simplify]: Simplify 1 into 1 2.546 * [taylor]: Taking taylor expansion of 0.0625 in c 2.546 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.547 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0 2.548 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.0625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.550 * [backup-simplify]: Simplify (+ (* -0.0625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 t))))))) into 0 2.550 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.550 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.552 * [backup-simplify]: Simplify (+ (* (/ -1 x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y)))))) into 0 2.552 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 2.552 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -0.25 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 2.553 * [backup-simplify]: Simplify (+ (* (/ -0.25 a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 b)))))) into 0 2.553 * [backup-simplify]: Simplify (- (/ 0 c) (+ (* (/ -1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.554 * [backup-simplify]: Simplify (+ 0 0) into 0 2.554 * [backup-simplify]: Simplify (+ 0 0) into 0 2.554 * [backup-simplify]: Simplify (+ 0 0) into 0 2.554 * [taylor]: Taking taylor expansion of 0 in t 2.555 * [backup-simplify]: Simplify 0 into 0 2.555 * [taylor]: Taking taylor expansion of 0 in x 2.555 * [backup-simplify]: Simplify 0 into 0 2.555 * [taylor]: Taking taylor expansion of 0 in x 2.555 * [backup-simplify]: Simplify 0 into 0 2.555 * [taylor]: Taking taylor expansion of 0 in x 2.555 * [backup-simplify]: Simplify 0 into 0 2.556 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.556 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 2.557 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 2.557 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.558 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* a b)))))) into 0 2.558 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.559 * [backup-simplify]: Simplify (+ 0 0) into 0 2.559 * [backup-simplify]: Simplify (- 0) into 0 2.559 * [backup-simplify]: Simplify (+ 0 0) into 0 2.559 * [taylor]: Taking taylor expansion of 0 in x 2.560 * [backup-simplify]: Simplify 0 into 0 2.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.562 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.562 * [taylor]: Taking taylor expansion of 0 in x 2.562 * [backup-simplify]: Simplify 0 into 0 2.562 * [taylor]: Taking taylor expansion of 0 in y 2.562 * [backup-simplify]: Simplify 0 into 0 2.562 * [taylor]: Taking taylor expansion of 0 in y 2.562 * [backup-simplify]: Simplify 0 into 0 2.562 * [taylor]: Taking taylor expansion of 0 in y 2.562 * [backup-simplify]: Simplify 0 into 0 2.562 * [taylor]: Taking taylor expansion of 0 in y 2.562 * [backup-simplify]: Simplify 0 into 0 2.562 * [taylor]: Taking taylor expansion of 0 in y 2.562 * [backup-simplify]: Simplify 0 into 0 2.562 * [taylor]: Taking taylor expansion of 0 in y 2.562 * [backup-simplify]: Simplify 0 into 0 2.562 * [taylor]: Taking taylor expansion of 0 in y 2.562 * [backup-simplify]: Simplify 0 into 0 2.564 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 2.564 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.564 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0 2.565 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.565 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 (* a b))))) into 0 2.565 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.566 * [backup-simplify]: Simplify (+ 0 0) into 0 2.566 * [backup-simplify]: Simplify (- 0) into 0 2.566 * [backup-simplify]: Simplify (+ 0 0) into 0 2.566 * [taylor]: Taking taylor expansion of 0 in y 2.566 * [backup-simplify]: Simplify 0 into 0 2.566 * [taylor]: Taking taylor expansion of 0 in y 2.566 * [backup-simplify]: Simplify 0 into 0 2.566 * [taylor]: Taking taylor expansion of 0 in y 2.566 * [backup-simplify]: Simplify 0 into 0 2.566 * [taylor]: Taking taylor expansion of 0 in y 2.566 * [backup-simplify]: Simplify 0 into 0 2.567 * [taylor]: Taking taylor expansion of 0 in a 2.567 * [backup-simplify]: Simplify 0 into 0 2.567 * [taylor]: Taking taylor expansion of 0 in a 2.567 * [backup-simplify]: Simplify 0 into 0 2.567 * [taylor]: Taking taylor expansion of 0 in a 2.567 * [backup-simplify]: Simplify 0 into 0 2.567 * [taylor]: Taking taylor expansion of 0 in a 2.567 * [backup-simplify]: Simplify 0 into 0 2.567 * [taylor]: Taking taylor expansion of 0 in a 2.567 * [backup-simplify]: Simplify 0 into 0 2.567 * [taylor]: Taking taylor expansion of 0 in a 2.567 * [backup-simplify]: Simplify 0 into 0 2.567 * [taylor]: Taking taylor expansion of 0 in a 2.567 * [backup-simplify]: Simplify 0 into 0 2.567 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.567 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 2.568 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 2.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 2.568 * [backup-simplify]: Simplify (+ 0 0) into 0 2.568 * [backup-simplify]: Simplify (- 0) into 0 2.569 * [taylor]: Taking taylor expansion of 0 in a 2.569 * [backup-simplify]: Simplify 0 into 0 2.569 * [taylor]: Taking taylor expansion of 0 in a 2.569 * [backup-simplify]: Simplify 0 into 0 2.569 * [taylor]: Taking taylor expansion of 0 in a 2.569 * [backup-simplify]: Simplify 0 into 0 2.569 * [taylor]: Taking taylor expansion of 0 in a 2.569 * [backup-simplify]: Simplify 0 into 0 2.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.570 * [taylor]: Taking taylor expansion of 0 in a 2.570 * [backup-simplify]: Simplify 0 into 0 2.570 * [taylor]: Taking taylor expansion of 0 in a 2.570 * [backup-simplify]: Simplify 0 into 0 2.570 * [taylor]: Taking taylor expansion of 0 in a 2.570 * [backup-simplify]: Simplify 0 into 0 2.570 * [taylor]: Taking taylor expansion of 0 in a 2.570 * [backup-simplify]: Simplify 0 into 0 2.571 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 2.571 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 2.571 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 b))) into 0 2.572 * [backup-simplify]: Simplify (+ 0 (/ 1 c)) into (/ 1 c) 2.572 * [backup-simplify]: Simplify (- (/ 1 c)) into (- (/ 1 c)) 2.572 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in b 2.572 * [taylor]: Taking taylor expansion of (/ 1 c) in b 2.572 * [taylor]: Taking taylor expansion of c in b 2.572 * [backup-simplify]: Simplify c into c 2.572 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.572 * [taylor]: Taking taylor expansion of 0 in b 2.572 * [backup-simplify]: Simplify 0 into 0 2.572 * [taylor]: Taking taylor expansion of 0 in b 2.572 * [backup-simplify]: Simplify 0 into 0 2.572 * [taylor]: Taking taylor expansion of 0 in b 2.572 * [backup-simplify]: Simplify 0 into 0 2.572 * [taylor]: Taking taylor expansion of 0 in b 2.572 * [backup-simplify]: Simplify 0 into 0 2.572 * [taylor]: Taking taylor expansion of 0 in b 2.572 * [backup-simplify]: Simplify 0 into 0 2.572 * [taylor]: Taking taylor expansion of 0 in b 2.572 * [backup-simplify]: Simplify 0 into 0 2.572 * [taylor]: Taking taylor expansion of 0 in b 2.572 * [backup-simplify]: Simplify 0 into 0 2.573 * [taylor]: Taking taylor expansion of 0 in b 2.573 * [backup-simplify]: Simplify 0 into 0 2.573 * [taylor]: Taking taylor expansion of 0 in b 2.573 * [backup-simplify]: Simplify 0 into 0 2.573 * [taylor]: Taking taylor expansion of 0 in b 2.573 * [backup-simplify]: Simplify 0 into 0 2.573 * [taylor]: Taking taylor expansion of 0 in b 2.573 * [backup-simplify]: Simplify 0 into 0 2.573 * [taylor]: Taking taylor expansion of 0 in b 2.573 * [backup-simplify]: Simplify 0 into 0 2.573 * [taylor]: Taking taylor expansion of 0 in b 2.573 * [backup-simplify]: Simplify 0 into 0 2.574 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.575 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 1)) into 0 2.575 * [backup-simplify]: Simplify (- 0) into 0 2.575 * [taylor]: Taking taylor expansion of 0 in c 2.575 * [backup-simplify]: Simplify 0 into 0 2.575 * [taylor]: Taking taylor expansion of 0 in c 2.575 * [backup-simplify]: Simplify 0 into 0 2.575 * [taylor]: Taking taylor expansion of 0 in c 2.575 * [backup-simplify]: Simplify 0 into 0 2.575 * [taylor]: Taking taylor expansion of 0 in c 2.575 * [backup-simplify]: Simplify 0 into 0 2.576 * [taylor]: Taking taylor expansion of 0 in c 2.576 * [backup-simplify]: Simplify 0 into 0 2.576 * [taylor]: Taking taylor expansion of 0 in c 2.576 * [backup-simplify]: Simplify 0 into 0 2.576 * [taylor]: Taking taylor expansion of 0 in c 2.576 * [backup-simplify]: Simplify 0 into 0 2.576 * [taylor]: Taking taylor expansion of 0 in c 2.576 * [backup-simplify]: Simplify 0 into 0 2.576 * [taylor]: Taking taylor expansion of 0 in c 2.576 * [backup-simplify]: Simplify 0 into 0 2.578 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 2.578 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 2.579 * [backup-simplify]: Simplify 1 into 1 2.579 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.581 * [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))) 2.581 * * * [progress]: simplifying candidates 2.581 * [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))) 2.582 * * [simplify]: Extracting # 0 : cost 0 2.582 * * [simplify]: Extracting # 1 : cost 0 2.582 * * [simplify]: Extracting # 2 : cost 0 2.582 * * [simplify]: Extracting # 3 : cost 0 2.582 * * [simplify]: Extracting # 4 : cost 0 2.582 * * [simplify]: Extracting # 5 : cost 0 2.583 * * [simplify]: Extracting # 6 : cost 0 2.583 * * [simplify]: Extracting # 7 : cost 0 2.583 * * [simplify]: Extracting # 8 : cost 0 2.583 * * [simplify]: iteration 0 : 35 enodes (cost 228 ) 2.592 * * [simplify]: Extracting # 0 : cost 0 2.592 * * [simplify]: Extracting # 1 : cost 0 2.592 * * [simplify]: Extracting # 2 : cost 0 2.592 * * [simplify]: iteration 1 : 57 enodes (cost 226 ) 2.609 * * [simplify]: Extracting # 0 : cost 0 2.610 * * [simplify]: Extracting # 1 : cost 0 2.610 * * [simplify]: Extracting # 2 : cost 0 2.610 * * [simplify]: iteration 2 : 132 enodes (cost 196 ) 2.669 * * [simplify]: Extracting # 0 : cost 0 2.670 * * [simplify]: Extracting # 1 : cost 0 2.671 * * [simplify]: Extracting # 2 : cost 0 2.671 * * [simplify]: Extracting # 3 : cost 0 2.672 * * [simplify]: iteration 3 : 387 enodes (cost 196 ) 2.954 * * [simplify]: Extracting # 0 : cost 0 2.957 * * [simplify]: Extracting # 1 : cost 0 2.960 * * [simplify]: Extracting # 2 : cost 0 2.962 * * [simplify]: Extracting # 3 : cost 0 2.965 * * [simplify]: Extracting # 4 : cost 0 2.967 * * [simplify]: Extracting # 5 : cost 0 2.970 * * [simplify]: iteration 4 : 2295 enodes (cost 196 ) 3.938 * * [simplify]: Extracting # 0 : cost 0 3.948 * * [simplify]: Extracting # 1 : cost 0 3.959 * * [simplify]: Extracting # 2 : cost 0 3.977 * * [simplify]: Extracting # 3 : cost 0 3.984 * * [simplify]: Extracting # 4 : cost 0 3.990 * * [simplify]: iteration done: 5002 enodes (cost 196 ) 3.990 * [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))) 3.991 * * * [progress]: adding candidates to table 4.041 * [progress]: [Phase 3 of 3] Extracting. 4.044 * [simplify]: Simplifying: (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c))) 4.045 * * [simplify]: Extracting # 0 : cost 0 4.045 * * [simplify]: Extracting # 1 : cost 0 4.045 * * [simplify]: Extracting # 2 : cost 0 4.045 * * [simplify]: Extracting # 3 : cost 0 4.045 * * [simplify]: Extracting # 4 : cost 0 4.045 * * [simplify]: Extracting # 5 : cost 0 4.045 * * [simplify]: Extracting # 6 : cost 0 4.045 * * [simplify]: Extracting # 7 : cost 0 4.045 * * [simplify]: iteration 0 : 15 enodes (cost 15 ) 4.046 * * [simplify]: Extracting # 0 : cost 0 4.046 * * [simplify]: iteration done: 15 enodes (cost 15 ) 4.046 * [simplify]: Simplified to: (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c))) 6.599 * [regime-testing]: Baseline error score: 0.005698832666673479 6.601 * [regime-testing]: Oracle error score: 0.005698832666673479 6.601 * [regime-testing]: End program error score: 0.005698832666673479