40.684 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.073 * * * [progress]: [2/2] Setting up program. 0.080 * [progress]: [Phase 2 of 3] Improving. 0.080 * [simplify]: Simplifying: (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) 0.080 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.080 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.080 * * [simplify]: Extracting # 2 : cost 4 inf + 1 0.080 * * [simplify]: Extracting # 3 : cost 8 inf + 1 0.080 * * [simplify]: Extracting # 4 : cost 13 inf + 2 0.081 * * [simplify]: Extracting # 5 : cost 8 inf + 132 0.081 * * [simplify]: Extracting # 6 : cost 3 inf + 301 0.081 * * [simplify]: Extracting # 7 : cost 0 inf + 1083 0.081 * * [simplify]: iteration 0 : 17 enodes (cost 329 ) 0.083 * * [simplify]: Extracting # 0 : cost 0 inf + 1083 0.083 * * [simplify]: Extracting # 1 : cost 5 inf + 1008 0.084 * * [simplify]: Extracting # 2 : cost 0 inf + 1545 0.084 * * [simplify]: iteration 1 : 33 enodes (cost 304 ) 0.088 * * [simplify]: Extracting # 0 : cost 0 inf + 1545 0.088 * * [simplify]: Extracting # 1 : cost 16 inf + 1545 0.090 * * [simplify]: Extracting # 2 : cost 0 inf + 3539 0.091 * * [simplify]: iteration 2 : 73 enodes (cost 304 ) 0.109 * * [simplify]: Extracting # 0 : cost 0 inf + 3539 0.112 * * [simplify]: Extracting # 1 : cost 10 inf + 3087 0.114 * * [simplify]: Extracting # 2 : cost 0 inf + 4198 0.116 * * [simplify]: iteration 3 : 147 enodes (cost 304 ) 0.181 * * [simplify]: Extracting # 0 : cost 0 inf + 4198 0.185 * * [simplify]: Extracting # 1 : cost 70 inf + 3485 0.191 * * [simplify]: Extracting # 2 : cost 0 inf + 14498 0.198 * * [simplify]: iteration 4 : 405 enodes (cost 279 ) 0.467 * * [simplify]: Extracting # 0 : cost 0 inf + 14498 0.486 * * [simplify]: Extracting # 1 : cost 212 inf + 10369 0.510 * * [simplify]: Extracting # 2 : cost 0 inf + 42565 0.535 * * [simplify]: Extracting # 3 : cost 0 inf + 42540 0.558 * * [simplify]: iteration 5 : 1378 enodes (cost 279 ) 2.312 * * [simplify]: Extracting # 0 : cost 0 inf + 42540 2.453 * * [simplify]: Extracting # 1 : cost 871 inf + 19492 2.495 * * [simplify]: Extracting # 2 : cost 0 inf + 163000 2.544 * * [simplify]: iteration done: 5000 enodes (cost 279 ) 2.544 * [simplify]: Simplified to: (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0)))) 2.554 * * [progress]: iteration 1 / 4 2.554 * * * [progress]: picking best candidate 2.562 * * * * [pick]: Picked # 2.562 * * * [progress]: localizing error 2.598 * * * [progress]: generating rewritten candidates 2.598 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3 3) 2.610 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.613 * * * [progress]: generating series expansions 2.613 * * * * [progress]: [ 1 / 2 ] generating series at (2 3 3) 2.613 * [backup-simplify]: Simplify (- c (/ (* a b) 4.0)) into (- c (* 0.25 (* a b))) 2.613 * [approximate]: Taking taylor expansion of (- c (* 0.25 (* a b))) in (c a b) around 0 2.613 * [taylor]: Taking taylor expansion of (- c (* 0.25 (* a b))) in b 2.613 * [taylor]: Taking taylor expansion of c in b 2.613 * [backup-simplify]: Simplify c into c 2.613 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in b 2.613 * [taylor]: Taking taylor expansion of 0.25 in b 2.613 * [backup-simplify]: Simplify 0.25 into 0.25 2.613 * [taylor]: Taking taylor expansion of (* a b) in b 2.613 * [taylor]: Taking taylor expansion of a in b 2.613 * [backup-simplify]: Simplify a into a 2.613 * [taylor]: Taking taylor expansion of b in b 2.613 * [backup-simplify]: Simplify 0 into 0 2.613 * [backup-simplify]: Simplify 1 into 1 2.613 * [taylor]: Taking taylor expansion of (- c (* 0.25 (* a b))) in a 2.613 * [taylor]: Taking taylor expansion of c in a 2.613 * [backup-simplify]: Simplify c into c 2.613 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in a 2.613 * [taylor]: Taking taylor expansion of 0.25 in a 2.613 * [backup-simplify]: Simplify 0.25 into 0.25 2.613 * [taylor]: Taking taylor expansion of (* a b) in a 2.614 * [taylor]: Taking taylor expansion of a in a 2.614 * [backup-simplify]: Simplify 0 into 0 2.614 * [backup-simplify]: Simplify 1 into 1 2.614 * [taylor]: Taking taylor expansion of b in a 2.614 * [backup-simplify]: Simplify b into b 2.614 * [taylor]: Taking taylor expansion of (- c (* 0.25 (* a b))) in c 2.614 * [taylor]: Taking taylor expansion of c in c 2.614 * [backup-simplify]: Simplify 0 into 0 2.614 * [backup-simplify]: Simplify 1 into 1 2.614 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in c 2.614 * [taylor]: Taking taylor expansion of 0.25 in c 2.614 * [backup-simplify]: Simplify 0.25 into 0.25 2.614 * [taylor]: Taking taylor expansion of (* a b) in c 2.614 * [taylor]: Taking taylor expansion of a in c 2.614 * [backup-simplify]: Simplify a into a 2.614 * [taylor]: Taking taylor expansion of b in c 2.614 * [backup-simplify]: Simplify b into b 2.614 * [taylor]: Taking taylor expansion of (- c (* 0.25 (* a b))) in c 2.614 * [taylor]: Taking taylor expansion of c in c 2.614 * [backup-simplify]: Simplify 0 into 0 2.614 * [backup-simplify]: Simplify 1 into 1 2.614 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in c 2.614 * [taylor]: Taking taylor expansion of 0.25 in c 2.614 * [backup-simplify]: Simplify 0.25 into 0.25 2.614 * [taylor]: Taking taylor expansion of (* a b) in c 2.614 * [taylor]: Taking taylor expansion of a in c 2.614 * [backup-simplify]: Simplify a into a 2.614 * [taylor]: Taking taylor expansion of b in c 2.614 * [backup-simplify]: Simplify b into b 2.614 * [backup-simplify]: Simplify (* a b) into (* a b) 2.614 * [backup-simplify]: Simplify (* 0.25 (* a b)) into (* 0.25 (* a b)) 2.614 * [backup-simplify]: Simplify (- (* 0.25 (* a b))) into (- (* 0.25 (* a b))) 2.615 * [backup-simplify]: Simplify (+ 0 (- (* 0.25 (* a b)))) into (- (* 0.25 (* a b))) 2.615 * [taylor]: Taking taylor expansion of (- (* 0.25 (* a b))) in a 2.615 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in a 2.615 * [taylor]: Taking taylor expansion of 0.25 in a 2.615 * [backup-simplify]: Simplify 0.25 into 0.25 2.615 * [taylor]: Taking taylor expansion of (* a b) in a 2.615 * [taylor]: Taking taylor expansion of a in a 2.615 * [backup-simplify]: Simplify 0 into 0 2.615 * [backup-simplify]: Simplify 1 into 1 2.615 * [taylor]: Taking taylor expansion of b in a 2.615 * [backup-simplify]: Simplify b into b 2.615 * [backup-simplify]: Simplify (* 0 b) into 0 2.616 * [backup-simplify]: Simplify (* 0.25 0) into 0 2.616 * [backup-simplify]: Simplify (- 0) into 0 2.616 * [taylor]: Taking taylor expansion of 0 in b 2.616 * [backup-simplify]: Simplify 0 into 0 2.616 * [backup-simplify]: Simplify 0 into 0 2.616 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.616 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (* a b))) into 0 2.617 * [backup-simplify]: Simplify (- 0) into 0 2.617 * [backup-simplify]: Simplify (+ 1 0) into 1 2.617 * [taylor]: Taking taylor expansion of 1 in a 2.617 * [backup-simplify]: Simplify 1 into 1 2.617 * [taylor]: Taking taylor expansion of 1 in b 2.617 * [backup-simplify]: Simplify 1 into 1 2.617 * [backup-simplify]: Simplify 1 into 1 2.618 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 2.618 * [backup-simplify]: Simplify (+ (* 0.25 b) (* 0 0)) into (* 0.25 b) 2.618 * [backup-simplify]: Simplify (- (* 0.25 b)) into (- (* 0.25 b)) 2.618 * [taylor]: Taking taylor expansion of (- (* 0.25 b)) in b 2.618 * [taylor]: Taking taylor expansion of (* 0.25 b) in b 2.618 * [taylor]: Taking taylor expansion of 0.25 in b 2.618 * [backup-simplify]: Simplify 0.25 into 0.25 2.618 * [taylor]: Taking taylor expansion of b in b 2.618 * [backup-simplify]: Simplify 0 into 0 2.618 * [backup-simplify]: Simplify 1 into 1 2.619 * [backup-simplify]: Simplify (* 0.25 0) into 0 2.619 * [backup-simplify]: Simplify (- 0) into 0 2.619 * [backup-simplify]: Simplify 0 into 0 2.619 * [backup-simplify]: Simplify 0 into 0 2.620 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0 2.620 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (* a b)))) into 0 2.621 * [backup-simplify]: Simplify (- 0) into 0 2.621 * [backup-simplify]: Simplify (+ 0 0) into 0 2.621 * [taylor]: Taking taylor expansion of 0 in a 2.621 * [backup-simplify]: Simplify 0 into 0 2.621 * [taylor]: Taking taylor expansion of 0 in b 2.621 * [backup-simplify]: Simplify 0 into 0 2.621 * [backup-simplify]: Simplify 0 into 0 2.621 * [taylor]: Taking taylor expansion of 0 in b 2.621 * [backup-simplify]: Simplify 0 into 0 2.621 * [backup-simplify]: Simplify 0 into 0 2.622 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 2.623 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 b) (* 0 0))) into 0 2.623 * [backup-simplify]: Simplify (- 0) into 0 2.623 * [taylor]: Taking taylor expansion of 0 in b 2.623 * [backup-simplify]: Simplify 0 into 0 2.623 * [backup-simplify]: Simplify 0 into 0 2.623 * [backup-simplify]: Simplify 0 into 0 2.623 * [backup-simplify]: Simplify (* 1 (* 1 (* 1 c))) into c 2.623 * [backup-simplify]: Simplify (- (/ 1 c) (/ (* (/ 1 a) (/ 1 b)) 4.0)) into (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) 2.623 * [approximate]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in (c a b) around 0 2.623 * [taylor]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in b 2.623 * [taylor]: Taking taylor expansion of (/ 1 c) in b 2.623 * [taylor]: Taking taylor expansion of c in b 2.623 * [backup-simplify]: Simplify c into c 2.623 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.624 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in b 2.624 * [taylor]: Taking taylor expansion of 0.25 in b 2.624 * [backup-simplify]: Simplify 0.25 into 0.25 2.624 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 2.624 * [taylor]: Taking taylor expansion of (* a b) in b 2.624 * [taylor]: Taking taylor expansion of a in b 2.624 * [backup-simplify]: Simplify a into a 2.624 * [taylor]: Taking taylor expansion of b in b 2.624 * [backup-simplify]: Simplify 0 into 0 2.624 * [backup-simplify]: Simplify 1 into 1 2.624 * [backup-simplify]: Simplify (* a 0) into 0 2.624 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 2.624 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.624 * [taylor]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in a 2.624 * [taylor]: Taking taylor expansion of (/ 1 c) in a 2.624 * [taylor]: Taking taylor expansion of c in a 2.624 * [backup-simplify]: Simplify c into c 2.624 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.624 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 2.624 * [taylor]: Taking taylor expansion of 0.25 in a 2.624 * [backup-simplify]: Simplify 0.25 into 0.25 2.624 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 2.624 * [taylor]: Taking taylor expansion of (* a b) in a 2.624 * [taylor]: Taking taylor expansion of a in a 2.625 * [backup-simplify]: Simplify 0 into 0 2.625 * [backup-simplify]: Simplify 1 into 1 2.625 * [taylor]: Taking taylor expansion of b in a 2.625 * [backup-simplify]: Simplify b into b 2.625 * [backup-simplify]: Simplify (* 0 b) into 0 2.625 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 2.625 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.625 * [taylor]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in c 2.625 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.625 * [taylor]: Taking taylor expansion of c in c 2.625 * [backup-simplify]: Simplify 0 into 0 2.625 * [backup-simplify]: Simplify 1 into 1 2.625 * [backup-simplify]: Simplify (/ 1 1) into 1 2.626 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in c 2.626 * [taylor]: Taking taylor expansion of 0.25 in c 2.626 * [backup-simplify]: Simplify 0.25 into 0.25 2.626 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c 2.626 * [taylor]: Taking taylor expansion of (* a b) in c 2.626 * [taylor]: Taking taylor expansion of a in c 2.626 * [backup-simplify]: Simplify a into a 2.626 * [taylor]: Taking taylor expansion of b in c 2.626 * [backup-simplify]: Simplify b into b 2.626 * [backup-simplify]: Simplify (* a b) into (* a b) 2.626 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.626 * [taylor]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in c 2.626 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.626 * [taylor]: Taking taylor expansion of c in c 2.626 * [backup-simplify]: Simplify 0 into 0 2.626 * [backup-simplify]: Simplify 1 into 1 2.626 * [backup-simplify]: Simplify (/ 1 1) into 1 2.626 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in c 2.626 * [taylor]: Taking taylor expansion of 0.25 in c 2.626 * [backup-simplify]: Simplify 0.25 into 0.25 2.626 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c 2.626 * [taylor]: Taking taylor expansion of (* a b) in c 2.626 * [taylor]: Taking taylor expansion of a in c 2.626 * [backup-simplify]: Simplify a into a 2.626 * [taylor]: Taking taylor expansion of b in c 2.627 * [backup-simplify]: Simplify b into b 2.627 * [backup-simplify]: Simplify (* a b) into (* a b) 2.627 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.627 * [backup-simplify]: Simplify (+ 1 0) into 1 2.627 * [taylor]: Taking taylor expansion of 1 in a 2.627 * [backup-simplify]: Simplify 1 into 1 2.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.628 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 2.628 * [backup-simplify]: Simplify (- (/ 0.25 (* a b))) into (- (* 0.25 (/ 1 (* a b)))) 2.628 * [backup-simplify]: Simplify (+ 0 (- (* 0.25 (/ 1 (* a b))))) into (- (* 0.25 (/ 1 (* a b)))) 2.628 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (* a b)))) in a 2.628 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 2.628 * [taylor]: Taking taylor expansion of 0.25 in a 2.628 * [backup-simplify]: Simplify 0.25 into 0.25 2.628 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 2.628 * [taylor]: Taking taylor expansion of (* a b) in a 2.628 * [taylor]: Taking taylor expansion of a in a 2.628 * [backup-simplify]: Simplify 0 into 0 2.628 * [backup-simplify]: Simplify 1 into 1 2.628 * [taylor]: Taking taylor expansion of b in a 2.628 * [backup-simplify]: Simplify b into b 2.628 * [backup-simplify]: Simplify (* 0 b) into 0 2.629 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 2.629 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.629 * [backup-simplify]: Simplify (* 0.25 (/ 1 b)) into (/ 0.25 b) 2.629 * [backup-simplify]: Simplify (- (/ 0.25 b)) into (- (* 0.25 (/ 1 b))) 2.629 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 b))) in b 2.629 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 b)) in b 2.629 * [taylor]: Taking taylor expansion of 0.25 in b 2.629 * [backup-simplify]: Simplify 0.25 into 0.25 2.629 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.629 * [taylor]: Taking taylor expansion of b in b 2.629 * [backup-simplify]: Simplify 0 into 0 2.629 * [backup-simplify]: Simplify 1 into 1 2.629 * [backup-simplify]: Simplify (/ 1 1) into 1 2.630 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 2.630 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 2.631 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 2.631 * [taylor]: Taking taylor expansion of 1 in b 2.631 * [backup-simplify]: Simplify 1 into 1 2.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.631 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.632 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 2.632 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 2.632 * [backup-simplify]: Simplify (- 0) into 0 2.633 * [backup-simplify]: Simplify (+ 0 0) into 0 2.633 * [taylor]: Taking taylor expansion of 0 in a 2.633 * [backup-simplify]: Simplify 0 into 0 2.634 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 2.634 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 2.634 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 b))) into 0 2.634 * [backup-simplify]: Simplify (- 0) into 0 2.634 * [taylor]: Taking taylor expansion of 0 in b 2.634 * [backup-simplify]: Simplify 0 into 0 2.634 * [taylor]: Taking taylor expansion of 0 in b 2.635 * [backup-simplify]: Simplify 0 into 0 2.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.636 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 1)) into 0 2.636 * [backup-simplify]: Simplify (- 0) into 0 2.636 * [backup-simplify]: Simplify 0 into 0 2.636 * [backup-simplify]: Simplify 1 into 1 2.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.637 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0 2.638 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.638 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 (* a b))))) into 0 2.639 * [backup-simplify]: Simplify (- 0) into 0 2.639 * [backup-simplify]: Simplify (+ 0 0) into 0 2.639 * [taylor]: Taking taylor expansion of 0 in a 2.639 * [backup-simplify]: Simplify 0 into 0 2.639 * [taylor]: Taking taylor expansion of 0 in b 2.639 * [backup-simplify]: Simplify 0 into 0 2.640 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 b)))) into 0 2.640 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 2.641 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 b)))) into 0 2.641 * [backup-simplify]: Simplify (- 0) into 0 2.641 * [taylor]: Taking taylor expansion of 0 in b 2.641 * [backup-simplify]: Simplify 0 into 0 2.641 * [taylor]: Taking taylor expansion of 0 in b 2.641 * [backup-simplify]: Simplify 0 into 0 2.642 * [backup-simplify]: Simplify 0 into 0 2.642 * [backup-simplify]: Simplify 0 into 0 2.642 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.643 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 1))) into 0 2.643 * [backup-simplify]: Simplify (- 0) into 0 2.643 * [backup-simplify]: Simplify 0 into 0 2.643 * [backup-simplify]: Simplify 0 into 0 2.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.645 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 2.645 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.646 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* a b)))))) into 0 2.647 * [backup-simplify]: Simplify (- 0) into 0 2.647 * [backup-simplify]: Simplify (+ 0 0) into 0 2.647 * [taylor]: Taking taylor expansion of 0 in a 2.647 * [backup-simplify]: Simplify 0 into 0 2.647 * [taylor]: Taking taylor expansion of 0 in b 2.647 * [backup-simplify]: Simplify 0 into 0 2.647 * [taylor]: Taking taylor expansion of 0 in b 2.647 * [backup-simplify]: Simplify 0 into 0 2.648 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0 2.649 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 2.650 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 b))))) into 0 2.650 * [backup-simplify]: Simplify (- 0) into 0 2.650 * [taylor]: Taking taylor expansion of 0 in b 2.650 * [backup-simplify]: Simplify 0 into 0 2.650 * [taylor]: Taking taylor expansion of 0 in b 2.650 * [backup-simplify]: Simplify 0 into 0 2.650 * [backup-simplify]: Simplify 0 into 0 2.650 * [backup-simplify]: Simplify 0 into 0 2.651 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 c))))) (* (- 0.25) (* (/ 1 (/ 1 b)) (* (/ 1 (/ 1 a)) 1)))) into (- c (* 0.25 (* a b))) 2.651 * [backup-simplify]: Simplify (- (/ 1 (- c)) (/ (* (/ 1 (- a)) (/ 1 (- b))) 4.0)) into (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) 2.651 * [approximate]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in (c a b) around 0 2.651 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in b 2.651 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in b 2.651 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in b 2.651 * [taylor]: Taking taylor expansion of 0.25 in b 2.651 * [backup-simplify]: Simplify 0.25 into 0.25 2.651 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 2.651 * [taylor]: Taking taylor expansion of (* a b) in b 2.651 * [taylor]: Taking taylor expansion of a in b 2.651 * [backup-simplify]: Simplify a into a 2.651 * [taylor]: Taking taylor expansion of b in b 2.651 * [backup-simplify]: Simplify 0 into 0 2.651 * [backup-simplify]: Simplify 1 into 1 2.651 * [backup-simplify]: Simplify (* a 0) into 0 2.652 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 2.652 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.652 * [taylor]: Taking taylor expansion of (/ 1 c) in b 2.652 * [taylor]: Taking taylor expansion of c in b 2.652 * [backup-simplify]: Simplify c into c 2.652 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.652 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in a 2.652 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in a 2.652 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 2.652 * [taylor]: Taking taylor expansion of 0.25 in a 2.652 * [backup-simplify]: Simplify 0.25 into 0.25 2.652 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 2.652 * [taylor]: Taking taylor expansion of (* a b) in a 2.652 * [taylor]: Taking taylor expansion of a in a 2.652 * [backup-simplify]: Simplify 0 into 0 2.652 * [backup-simplify]: Simplify 1 into 1 2.652 * [taylor]: Taking taylor expansion of b in a 2.652 * [backup-simplify]: Simplify b into b 2.652 * [backup-simplify]: Simplify (* 0 b) into 0 2.653 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 2.653 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.653 * [taylor]: Taking taylor expansion of (/ 1 c) in a 2.653 * [taylor]: Taking taylor expansion of c in a 2.653 * [backup-simplify]: Simplify c into c 2.653 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.653 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in c 2.653 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in c 2.653 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in c 2.653 * [taylor]: Taking taylor expansion of 0.25 in c 2.653 * [backup-simplify]: Simplify 0.25 into 0.25 2.653 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c 2.653 * [taylor]: Taking taylor expansion of (* a b) in c 2.653 * [taylor]: Taking taylor expansion of a in c 2.653 * [backup-simplify]: Simplify a into a 2.653 * [taylor]: Taking taylor expansion of b in c 2.653 * [backup-simplify]: Simplify b into b 2.653 * [backup-simplify]: Simplify (* a b) into (* a b) 2.653 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.653 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.653 * [taylor]: Taking taylor expansion of c in c 2.653 * [backup-simplify]: Simplify 0 into 0 2.653 * [backup-simplify]: Simplify 1 into 1 2.654 * [backup-simplify]: Simplify (/ 1 1) into 1 2.654 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in c 2.654 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in c 2.654 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in c 2.654 * [taylor]: Taking taylor expansion of 0.25 in c 2.654 * [backup-simplify]: Simplify 0.25 into 0.25 2.654 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c 2.654 * [taylor]: Taking taylor expansion of (* a b) in c 2.654 * [taylor]: Taking taylor expansion of a in c 2.654 * [backup-simplify]: Simplify a into a 2.654 * [taylor]: Taking taylor expansion of b in c 2.654 * [backup-simplify]: Simplify b into b 2.654 * [backup-simplify]: Simplify (* a b) into (* a b) 2.654 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.654 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.654 * [taylor]: Taking taylor expansion of c in c 2.654 * [backup-simplify]: Simplify 0 into 0 2.654 * [backup-simplify]: Simplify 1 into 1 2.654 * [backup-simplify]: Simplify (/ 1 1) into 1 2.655 * [backup-simplify]: Simplify (+ 0 1) into 1 2.655 * [backup-simplify]: Simplify (- 1) into -1 2.655 * [taylor]: Taking taylor expansion of -1 in a 2.655 * [backup-simplify]: Simplify -1 into -1 2.655 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 2.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.656 * [backup-simplify]: Simplify (+ (/ 0.25 (* a b)) 0) into (* 0.25 (/ 1 (* a b))) 2.656 * [backup-simplify]: Simplify (- (* 0.25 (/ 1 (* a b)))) into (- (* 0.25 (/ 1 (* a b)))) 2.656 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (* a b)))) in a 2.656 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 2.656 * [taylor]: Taking taylor expansion of 0.25 in a 2.656 * [backup-simplify]: Simplify 0.25 into 0.25 2.656 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 2.656 * [taylor]: Taking taylor expansion of (* a b) in a 2.656 * [taylor]: Taking taylor expansion of a in a 2.656 * [backup-simplify]: Simplify 0 into 0 2.657 * [backup-simplify]: Simplify 1 into 1 2.657 * [taylor]: Taking taylor expansion of b in a 2.657 * [backup-simplify]: Simplify b into b 2.657 * [backup-simplify]: Simplify (* 0 b) into 0 2.657 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 2.657 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.657 * [backup-simplify]: Simplify (* 0.25 (/ 1 b)) into (/ 0.25 b) 2.657 * [backup-simplify]: Simplify (- (/ 0.25 b)) into (- (* 0.25 (/ 1 b))) 2.657 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 b))) in b 2.657 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 b)) in b 2.657 * [taylor]: Taking taylor expansion of 0.25 in b 2.657 * [backup-simplify]: Simplify 0.25 into 0.25 2.657 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.657 * [taylor]: Taking taylor expansion of b in b 2.657 * [backup-simplify]: Simplify 0 into 0 2.657 * [backup-simplify]: Simplify 1 into 1 2.658 * [backup-simplify]: Simplify (/ 1 1) into 1 2.658 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 2.658 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 2.659 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 2.659 * [taylor]: Taking taylor expansion of -1 in b 2.659 * [backup-simplify]: Simplify -1 into -1 2.659 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.659 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 2.660 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 2.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.661 * [backup-simplify]: Simplify (+ 0 0) into 0 2.661 * [backup-simplify]: Simplify (- 0) into 0 2.661 * [taylor]: Taking taylor expansion of 0 in a 2.661 * [backup-simplify]: Simplify 0 into 0 2.662 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 2.662 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 2.662 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 b))) into 0 2.662 * [backup-simplify]: Simplify (- 0) into 0 2.662 * [taylor]: Taking taylor expansion of 0 in b 2.662 * [backup-simplify]: Simplify 0 into 0 2.662 * [taylor]: Taking taylor expansion of 0 in b 2.662 * [backup-simplify]: Simplify 0 into 0 2.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.663 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 1)) into 0 2.663 * [backup-simplify]: Simplify (- 0) into 0 2.663 * [backup-simplify]: Simplify 0 into 0 2.663 * [backup-simplify]: Simplify -1 into -1 2.664 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0 2.664 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.664 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 (* a b))))) into 0 2.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.665 * [backup-simplify]: Simplify (+ 0 0) into 0 2.665 * [backup-simplify]: Simplify (- 0) into 0 2.665 * [taylor]: Taking taylor expansion of 0 in a 2.665 * [backup-simplify]: Simplify 0 into 0 2.666 * [taylor]: Taking taylor expansion of 0 in b 2.666 * [backup-simplify]: Simplify 0 into 0 2.666 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 b)))) into 0 2.666 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 2.667 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 b)))) into 0 2.667 * [backup-simplify]: Simplify (- 0) into 0 2.667 * [taylor]: Taking taylor expansion of 0 in b 2.667 * [backup-simplify]: Simplify 0 into 0 2.667 * [taylor]: Taking taylor expansion of 0 in b 2.667 * [backup-simplify]: Simplify 0 into 0 2.667 * [backup-simplify]: Simplify 0 into 0 2.667 * [backup-simplify]: Simplify 0 into 0 2.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.668 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 1))) into 0 2.669 * [backup-simplify]: Simplify (- 0) into 0 2.669 * [backup-simplify]: Simplify 0 into 0 2.669 * [backup-simplify]: Simplify 0 into 0 2.669 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 2.669 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.670 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* a b)))))) into 0 2.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.671 * [backup-simplify]: Simplify (+ 0 0) into 0 2.671 * [backup-simplify]: Simplify (- 0) into 0 2.671 * [taylor]: Taking taylor expansion of 0 in a 2.671 * [backup-simplify]: Simplify 0 into 0 2.671 * [taylor]: Taking taylor expansion of 0 in b 2.671 * [backup-simplify]: Simplify 0 into 0 2.671 * [taylor]: Taking taylor expansion of 0 in b 2.671 * [backup-simplify]: Simplify 0 into 0 2.672 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0 2.672 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 2.673 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 b))))) into 0 2.673 * [backup-simplify]: Simplify (- 0) into 0 2.673 * [taylor]: Taking taylor expansion of 0 in b 2.673 * [backup-simplify]: Simplify 0 into 0 2.673 * [taylor]: Taking taylor expansion of 0 in b 2.673 * [backup-simplify]: Simplify 0 into 0 2.673 * [backup-simplify]: Simplify 0 into 0 2.673 * [backup-simplify]: Simplify 0 into 0 2.674 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- c)))))) (* (- 0.25) (* (/ 1 (/ 1 (- b))) (* (/ 1 (/ 1 (- a))) 1)))) into (- c (* 0.25 (* a b))) 2.674 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.674 * [backup-simplify]: Simplify (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0)))) into (fma t (* 0.0625 z) (fma x y (- c (* 0.25 (* a b))))) 2.674 * [approximate]: Taking taylor expansion of (fma t (* 0.0625 z) (fma x y (- c (* 0.25 (* a b))))) in (t z x y c a b) around 0 2.674 * [taylor]: Taking taylor expansion of (fma t (* 0.0625 z) (fma x y (- c (* 0.25 (* a b))))) in b 2.674 * [taylor]: Rewrote expression to (+ (* t (* 0.0625 z)) (fma x y (- c (* 0.25 (* a b))))) 2.674 * [taylor]: Taking taylor expansion of (* t (* 0.0625 z)) in b 2.674 * [taylor]: Taking taylor expansion of t in b 2.674 * [backup-simplify]: Simplify t into t 2.674 * [taylor]: Taking taylor expansion of (* 0.0625 z) in b 2.674 * [taylor]: Taking taylor expansion of 0.0625 in b 2.674 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.674 * [taylor]: Taking taylor expansion of z in b 2.674 * [backup-simplify]: Simplify z into z 2.674 * [taylor]: Taking taylor expansion of (fma x y (- c (* 0.25 (* a b)))) in b 2.674 * [taylor]: Rewrote expression to (+ (* x y) (- c (* 0.25 (* a b)))) 2.675 * [taylor]: Taking taylor expansion of (* x y) in b 2.675 * [taylor]: Taking taylor expansion of x in b 2.675 * [backup-simplify]: Simplify x into x 2.675 * [taylor]: Taking taylor expansion of y in b 2.675 * [backup-simplify]: Simplify y into y 2.675 * [taylor]: Taking taylor expansion of (- c (* 0.25 (* a b))) in b 2.675 * [taylor]: Taking taylor expansion of c in b 2.675 * [backup-simplify]: Simplify c into c 2.675 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in b 2.675 * [taylor]: Taking taylor expansion of 0.25 in b 2.675 * [backup-simplify]: Simplify 0.25 into 0.25 2.675 * [taylor]: Taking taylor expansion of (* a b) in b 2.675 * [taylor]: Taking taylor expansion of a in b 2.675 * [backup-simplify]: Simplify a into a 2.675 * [taylor]: Taking taylor expansion of b in b 2.675 * [backup-simplify]: Simplify 0 into 0 2.675 * [backup-simplify]: Simplify 1 into 1 2.675 * [taylor]: Taking taylor expansion of (fma t (* 0.0625 z) (fma x y (- c (* 0.25 (* a b))))) in a 2.675 * [taylor]: Rewrote expression to (+ (* t (* 0.0625 z)) (fma x y (- c (* 0.25 (* a b))))) 2.675 * [taylor]: Taking taylor expansion of (* t (* 0.0625 z)) in a 2.675 * [taylor]: Taking taylor expansion of t in a 2.675 * [backup-simplify]: Simplify t into t 2.675 * [taylor]: Taking taylor expansion of (* 0.0625 z) in a 2.675 * [taylor]: Taking taylor expansion of 0.0625 in a 2.675 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.675 * [taylor]: Taking taylor expansion of z in a 2.675 * [backup-simplify]: Simplify z into z 2.675 * [taylor]: Taking taylor expansion of (fma x y (- c (* 0.25 (* a b)))) in a 2.675 * [taylor]: Rewrote expression to (+ (* x y) (- c (* 0.25 (* a b)))) 2.675 * [taylor]: Taking taylor expansion of (* x y) in a 2.675 * [taylor]: Taking taylor expansion of x in a 2.675 * [backup-simplify]: Simplify x into x 2.675 * [taylor]: Taking taylor expansion of y in a 2.675 * [backup-simplify]: Simplify y into y 2.675 * [taylor]: Taking taylor expansion of (- c (* 0.25 (* a b))) in a 2.675 * [taylor]: Taking taylor expansion of c in a 2.675 * [backup-simplify]: Simplify c into c 2.675 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in a 2.675 * [taylor]: Taking taylor expansion of 0.25 in a 2.675 * [backup-simplify]: Simplify 0.25 into 0.25 2.675 * [taylor]: Taking taylor expansion of (* a b) in a 2.675 * [taylor]: Taking taylor expansion of a in a 2.675 * [backup-simplify]: Simplify 0 into 0 2.675 * [backup-simplify]: Simplify 1 into 1 2.675 * [taylor]: Taking taylor expansion of b in a 2.675 * [backup-simplify]: Simplify b into b 2.675 * [taylor]: Taking taylor expansion of (fma t (* 0.0625 z) (fma x y (- c (* 0.25 (* a b))))) in c 2.675 * [taylor]: Rewrote expression to (+ (* t (* 0.0625 z)) (fma x y (- c (* 0.25 (* a b))))) 2.675 * [taylor]: Taking taylor expansion of (* t (* 0.0625 z)) in c 2.675 * [taylor]: Taking taylor expansion of t in c 2.676 * [backup-simplify]: Simplify t into t 2.676 * [taylor]: Taking taylor expansion of (* 0.0625 z) in c 2.676 * [taylor]: Taking taylor expansion of 0.0625 in c 2.676 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.676 * [taylor]: Taking taylor expansion of z in c 2.676 * [backup-simplify]: Simplify z into z 2.676 * [taylor]: Taking taylor expansion of (fma x y (- c (* 0.25 (* a b)))) in c 2.676 * [taylor]: Rewrote expression to (+ (* x y) (- c (* 0.25 (* a b)))) 2.676 * [taylor]: Taking taylor expansion of (* x y) in c 2.676 * [taylor]: Taking taylor expansion of x in c 2.676 * [backup-simplify]: Simplify x into x 2.676 * [taylor]: Taking taylor expansion of y in c 2.676 * [backup-simplify]: Simplify y into y 2.676 * [taylor]: Taking taylor expansion of (- c (* 0.25 (* a b))) in c 2.676 * [taylor]: Taking taylor expansion of c in c 2.676 * [backup-simplify]: Simplify 0 into 0 2.676 * [backup-simplify]: Simplify 1 into 1 2.676 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in c 2.676 * [taylor]: Taking taylor expansion of 0.25 in c 2.676 * [backup-simplify]: Simplify 0.25 into 0.25 2.676 * [taylor]: Taking taylor expansion of (* a b) in c 2.676 * [taylor]: Taking taylor expansion of a in c 2.676 * [backup-simplify]: Simplify a into a 2.676 * [taylor]: Taking taylor expansion of b in c 2.676 * [backup-simplify]: Simplify b into b 2.676 * [taylor]: Taking taylor expansion of (fma t (* 0.0625 z) (fma x y (- c (* 0.25 (* a b))))) in y 2.676 * [taylor]: Rewrote expression to (+ (* t (* 0.0625 z)) (fma x y (- c (* 0.25 (* a b))))) 2.676 * [taylor]: Taking taylor expansion of (* t (* 0.0625 z)) in y 2.676 * [taylor]: Taking taylor expansion of t in y 2.676 * [backup-simplify]: Simplify t into t 2.676 * [taylor]: Taking taylor expansion of (* 0.0625 z) in y 2.676 * [taylor]: Taking taylor expansion of 0.0625 in y 2.676 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.676 * [taylor]: Taking taylor expansion of z in y 2.676 * [backup-simplify]: Simplify z into z 2.676 * [taylor]: Taking taylor expansion of (fma x y (- c (* 0.25 (* a b)))) in y 2.676 * [taylor]: Rewrote expression to (+ (* x y) (- c (* 0.25 (* a b)))) 2.676 * [taylor]: Taking taylor expansion of (* x y) in y 2.676 * [taylor]: Taking taylor expansion of x in y 2.676 * [backup-simplify]: Simplify x into x 2.676 * [taylor]: Taking taylor expansion of y in y 2.676 * [backup-simplify]: Simplify 0 into 0 2.676 * [backup-simplify]: Simplify 1 into 1 2.676 * [taylor]: Taking taylor expansion of (- c (* 0.25 (* a b))) in y 2.676 * [taylor]: Taking taylor expansion of c in y 2.676 * [backup-simplify]: Simplify c into c 2.676 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in y 2.676 * [taylor]: Taking taylor expansion of 0.25 in y 2.676 * [backup-simplify]: Simplify 0.25 into 0.25 2.676 * [taylor]: Taking taylor expansion of (* a b) in y 2.676 * [taylor]: Taking taylor expansion of a in y 2.677 * [backup-simplify]: Simplify a into a 2.677 * [taylor]: Taking taylor expansion of b in y 2.677 * [backup-simplify]: Simplify b into b 2.677 * [taylor]: Taking taylor expansion of (fma t (* 0.0625 z) (fma x y (- c (* 0.25 (* a b))))) in x 2.677 * [taylor]: Rewrote expression to (+ (* t (* 0.0625 z)) (fma x y (- c (* 0.25 (* a b))))) 2.677 * [taylor]: Taking taylor expansion of (* t (* 0.0625 z)) in x 2.677 * [taylor]: Taking taylor expansion of t in x 2.677 * [backup-simplify]: Simplify t into t 2.677 * [taylor]: Taking taylor expansion of (* 0.0625 z) in x 2.677 * [taylor]: Taking taylor expansion of 0.0625 in x 2.677 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.677 * [taylor]: Taking taylor expansion of z in x 2.677 * [backup-simplify]: Simplify z into z 2.677 * [taylor]: Taking taylor expansion of (fma x y (- c (* 0.25 (* a b)))) in x 2.677 * [taylor]: Rewrote expression to (+ (* x y) (- c (* 0.25 (* a b)))) 2.677 * [taylor]: Taking taylor expansion of (* x y) in x 2.677 * [taylor]: Taking taylor expansion of x in x 2.677 * [backup-simplify]: Simplify 0 into 0 2.677 * [backup-simplify]: Simplify 1 into 1 2.677 * [taylor]: Taking taylor expansion of y in x 2.677 * [backup-simplify]: Simplify y into y 2.677 * [taylor]: Taking taylor expansion of (- c (* 0.25 (* a b))) in x 2.677 * [taylor]: Taking taylor expansion of c in x 2.677 * [backup-simplify]: Simplify c into c 2.677 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in x 2.677 * [taylor]: Taking taylor expansion of 0.25 in x 2.677 * [backup-simplify]: Simplify 0.25 into 0.25 2.677 * [taylor]: Taking taylor expansion of (* a b) in x 2.677 * [taylor]: Taking taylor expansion of a in x 2.677 * [backup-simplify]: Simplify a into a 2.677 * [taylor]: Taking taylor expansion of b in x 2.677 * [backup-simplify]: Simplify b into b 2.677 * [taylor]: Taking taylor expansion of (fma t (* 0.0625 z) (fma x y (- c (* 0.25 (* a b))))) in z 2.677 * [taylor]: Rewrote expression to (+ (* t (* 0.0625 z)) (fma x y (- c (* 0.25 (* a b))))) 2.677 * [taylor]: Taking taylor expansion of (* t (* 0.0625 z)) in z 2.677 * [taylor]: Taking taylor expansion of t in z 2.677 * [backup-simplify]: Simplify t into t 2.677 * [taylor]: Taking taylor expansion of (* 0.0625 z) in z 2.677 * [taylor]: Taking taylor expansion of 0.0625 in z 2.677 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.677 * [taylor]: Taking taylor expansion of z in z 2.677 * [backup-simplify]: Simplify 0 into 0 2.677 * [backup-simplify]: Simplify 1 into 1 2.677 * [taylor]: Taking taylor expansion of (fma x y (- c (* 0.25 (* a b)))) in z 2.677 * [taylor]: Rewrote expression to (+ (* x y) (- c (* 0.25 (* a b)))) 2.677 * [taylor]: Taking taylor expansion of (* x y) in z 2.677 * [taylor]: Taking taylor expansion of x in z 2.678 * [backup-simplify]: Simplify x into x 2.678 * [taylor]: Taking taylor expansion of y in z 2.678 * [backup-simplify]: Simplify y into y 2.678 * [taylor]: Taking taylor expansion of (- c (* 0.25 (* a b))) in z 2.678 * [taylor]: Taking taylor expansion of c in z 2.678 * [backup-simplify]: Simplify c into c 2.678 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in z 2.678 * [taylor]: Taking taylor expansion of 0.25 in z 2.678 * [backup-simplify]: Simplify 0.25 into 0.25 2.678 * [taylor]: Taking taylor expansion of (* a b) in z 2.678 * [taylor]: Taking taylor expansion of a in z 2.678 * [backup-simplify]: Simplify a into a 2.678 * [taylor]: Taking taylor expansion of b in z 2.678 * [backup-simplify]: Simplify b into b 2.678 * [taylor]: Taking taylor expansion of (fma t (* 0.0625 z) (fma x y (- c (* 0.25 (* a b))))) in t 2.678 * [taylor]: Rewrote expression to (+ (* t (* 0.0625 z)) (fma x y (- c (* 0.25 (* a b))))) 2.678 * [taylor]: Taking taylor expansion of (* t (* 0.0625 z)) in t 2.678 * [taylor]: Taking taylor expansion of t in t 2.678 * [backup-simplify]: Simplify 0 into 0 2.678 * [backup-simplify]: Simplify 1 into 1 2.678 * [taylor]: Taking taylor expansion of (* 0.0625 z) in t 2.678 * [taylor]: Taking taylor expansion of 0.0625 in t 2.678 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.678 * [taylor]: Taking taylor expansion of z in t 2.678 * [backup-simplify]: Simplify z into z 2.678 * [taylor]: Taking taylor expansion of (fma x y (- c (* 0.25 (* a b)))) in t 2.678 * [taylor]: Rewrote expression to (+ (* x y) (- c (* 0.25 (* a b)))) 2.678 * [taylor]: Taking taylor expansion of (* x y) in t 2.678 * [taylor]: Taking taylor expansion of x in t 2.678 * [backup-simplify]: Simplify x into x 2.678 * [taylor]: Taking taylor expansion of y in t 2.678 * [backup-simplify]: Simplify y into y 2.678 * [taylor]: Taking taylor expansion of (- c (* 0.25 (* a b))) in t 2.678 * [taylor]: Taking taylor expansion of c in t 2.678 * [backup-simplify]: Simplify c into c 2.678 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in t 2.678 * [taylor]: Taking taylor expansion of 0.25 in t 2.678 * [backup-simplify]: Simplify 0.25 into 0.25 2.678 * [taylor]: Taking taylor expansion of (* a b) in t 2.678 * [taylor]: Taking taylor expansion of a in t 2.678 * [backup-simplify]: Simplify a into a 2.678 * [taylor]: Taking taylor expansion of b in t 2.678 * [backup-simplify]: Simplify b into b 2.678 * [taylor]: Taking taylor expansion of (fma t (* 0.0625 z) (fma x y (- c (* 0.25 (* a b))))) in t 2.678 * [taylor]: Rewrote expression to (+ (* t (* 0.0625 z)) (fma x y (- c (* 0.25 (* a b))))) 2.678 * [taylor]: Taking taylor expansion of (* t (* 0.0625 z)) in t 2.678 * [taylor]: Taking taylor expansion of t in t 2.678 * [backup-simplify]: Simplify 0 into 0 2.678 * [backup-simplify]: Simplify 1 into 1 2.678 * [taylor]: Taking taylor expansion of (* 0.0625 z) in t 2.678 * [taylor]: Taking taylor expansion of 0.0625 in t 2.678 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.679 * [taylor]: Taking taylor expansion of z in t 2.679 * [backup-simplify]: Simplify z into z 2.679 * [taylor]: Taking taylor expansion of (fma x y (- c (* 0.25 (* a b)))) in t 2.679 * [taylor]: Rewrote expression to (+ (* x y) (- c (* 0.25 (* a b)))) 2.679 * [taylor]: Taking taylor expansion of (* x y) in t 2.679 * [taylor]: Taking taylor expansion of x in t 2.679 * [backup-simplify]: Simplify x into x 2.679 * [taylor]: Taking taylor expansion of y in t 2.679 * [backup-simplify]: Simplify y into y 2.679 * [taylor]: Taking taylor expansion of (- c (* 0.25 (* a b))) in t 2.679 * [taylor]: Taking taylor expansion of c in t 2.679 * [backup-simplify]: Simplify c into c 2.679 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in t 2.679 * [taylor]: Taking taylor expansion of 0.25 in t 2.679 * [backup-simplify]: Simplify 0.25 into 0.25 2.679 * [taylor]: Taking taylor expansion of (* a b) in t 2.679 * [taylor]: Taking taylor expansion of a in t 2.679 * [backup-simplify]: Simplify a into a 2.679 * [taylor]: Taking taylor expansion of b in t 2.679 * [backup-simplify]: Simplify b into b 2.679 * [backup-simplify]: Simplify (* 0.0625 z) into (* 0.0625 z) 2.679 * [backup-simplify]: Simplify (* 0 (* 0.0625 z)) into 0 2.679 * [backup-simplify]: Simplify (* x y) into (* x y) 2.679 * [backup-simplify]: Simplify (* a b) into (* a b) 2.679 * [backup-simplify]: Simplify (* 0.25 (* a b)) into (* 0.25 (* a b)) 2.679 * [backup-simplify]: Simplify (- (* 0.25 (* a b))) into (- (* 0.25 (* a b))) 2.679 * [backup-simplify]: Simplify (+ c (- (* 0.25 (* a b)))) into (- c (* 0.25 (* a b))) 2.679 * [backup-simplify]: Simplify (+ (* x y) (- c (* 0.25 (* a b)))) into (- (+ c (* x y)) (* 0.25 (* a b))) 2.680 * [backup-simplify]: Simplify (+ 0 (- (+ c (* x y)) (* 0.25 (* a b)))) into (- (+ c (* x y)) (* 0.25 (* a b))) 2.680 * [taylor]: Taking taylor expansion of (- (+ c (* x y)) (* 0.25 (* a b))) in z 2.680 * [taylor]: Taking taylor expansion of (+ c (* x y)) in z 2.680 * [taylor]: Taking taylor expansion of c in z 2.680 * [backup-simplify]: Simplify c into c 2.680 * [taylor]: Taking taylor expansion of (* x y) in z 2.680 * [taylor]: Taking taylor expansion of x in z 2.680 * [backup-simplify]: Simplify x into x 2.680 * [taylor]: Taking taylor expansion of y in z 2.680 * [backup-simplify]: Simplify y into y 2.680 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in z 2.680 * [taylor]: Taking taylor expansion of 0.25 in z 2.680 * [backup-simplify]: Simplify 0.25 into 0.25 2.680 * [taylor]: Taking taylor expansion of (* a b) in z 2.680 * [taylor]: Taking taylor expansion of a in z 2.680 * [backup-simplify]: Simplify a into a 2.680 * [taylor]: Taking taylor expansion of b in z 2.680 * [backup-simplify]: Simplify b into b 2.680 * [backup-simplify]: Simplify (* x y) into (* x y) 2.680 * [backup-simplify]: Simplify (+ c (* x y)) into (+ c (* x y)) 2.680 * [backup-simplify]: Simplify (* a b) into (* a b) 2.680 * [backup-simplify]: Simplify (* 0.25 (* a b)) into (* 0.25 (* a b)) 2.680 * [backup-simplify]: Simplify (- (* 0.25 (* a b))) into (- (* 0.25 (* a b))) 2.680 * [backup-simplify]: Simplify (+ (+ c (* x y)) (- (* 0.25 (* a b)))) into (- (+ c (* x y)) (* 0.25 (* a b))) 2.680 * [taylor]: Taking taylor expansion of (- (+ c (* x y)) (* 0.25 (* a b))) in x 2.680 * [taylor]: Taking taylor expansion of (+ c (* x y)) in x 2.680 * [taylor]: Taking taylor expansion of c in x 2.680 * [backup-simplify]: Simplify c into c 2.680 * [taylor]: Taking taylor expansion of (* x y) in x 2.680 * [taylor]: Taking taylor expansion of x in x 2.680 * [backup-simplify]: Simplify 0 into 0 2.680 * [backup-simplify]: Simplify 1 into 1 2.680 * [taylor]: Taking taylor expansion of y in x 2.680 * [backup-simplify]: Simplify y into y 2.680 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in x 2.680 * [taylor]: Taking taylor expansion of 0.25 in x 2.680 * [backup-simplify]: Simplify 0.25 into 0.25 2.680 * [taylor]: Taking taylor expansion of (* a b) in x 2.680 * [taylor]: Taking taylor expansion of a in x 2.680 * [backup-simplify]: Simplify a into a 2.680 * [taylor]: Taking taylor expansion of b in x 2.680 * [backup-simplify]: Simplify b into b 2.680 * [backup-simplify]: Simplify (* 0 y) into 0 2.681 * [backup-simplify]: Simplify (+ c 0) into c 2.681 * [backup-simplify]: Simplify (* a b) into (* a b) 2.681 * [backup-simplify]: Simplify (* 0.25 (* a b)) into (* 0.25 (* a b)) 2.681 * [backup-simplify]: Simplify (- (* 0.25 (* a b))) into (- (* 0.25 (* a b))) 2.681 * [backup-simplify]: Simplify (+ c (- (* 0.25 (* a b)))) into (- c (* 0.25 (* a b))) 2.681 * [taylor]: Taking taylor expansion of (- c (* 0.25 (* a b))) in y 2.681 * [taylor]: Taking taylor expansion of c in y 2.681 * [backup-simplify]: Simplify c into c 2.681 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in y 2.681 * [taylor]: Taking taylor expansion of 0.25 in y 2.681 * [backup-simplify]: Simplify 0.25 into 0.25 2.681 * [taylor]: Taking taylor expansion of (* a b) in y 2.681 * [taylor]: Taking taylor expansion of a in y 2.681 * [backup-simplify]: Simplify a into a 2.681 * [taylor]: Taking taylor expansion of b in y 2.681 * [backup-simplify]: Simplify b into b 2.681 * [backup-simplify]: Simplify (* a b) into (* a b) 2.681 * [backup-simplify]: Simplify (* 0.25 (* a b)) into (* 0.25 (* a b)) 2.681 * [backup-simplify]: Simplify (- (* 0.25 (* a b))) into (- (* 0.25 (* a b))) 2.681 * [backup-simplify]: Simplify (+ c (- (* 0.25 (* a b)))) into (- c (* 0.25 (* a b))) 2.681 * [taylor]: Taking taylor expansion of (- c (* 0.25 (* a b))) in c 2.681 * [taylor]: Taking taylor expansion of c in c 2.681 * [backup-simplify]: Simplify 0 into 0 2.681 * [backup-simplify]: Simplify 1 into 1 2.681 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in c 2.681 * [taylor]: Taking taylor expansion of 0.25 in c 2.681 * [backup-simplify]: Simplify 0.25 into 0.25 2.681 * [taylor]: Taking taylor expansion of (* a b) in c 2.681 * [taylor]: Taking taylor expansion of a in c 2.681 * [backup-simplify]: Simplify a into a 2.681 * [taylor]: Taking taylor expansion of b in c 2.681 * [backup-simplify]: Simplify b into b 2.681 * [backup-simplify]: Simplify (* a b) into (* a b) 2.681 * [backup-simplify]: Simplify (* 0.25 (* a b)) into (* 0.25 (* a b)) 2.682 * [backup-simplify]: Simplify (- (* 0.25 (* a b))) into (- (* 0.25 (* a b))) 2.682 * [backup-simplify]: Simplify (+ 0 (- (* 0.25 (* a b)))) into (- (* 0.25 (* a b))) 2.682 * [taylor]: Taking taylor expansion of (- (* 0.25 (* a b))) in a 2.682 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in a 2.682 * [taylor]: Taking taylor expansion of 0.25 in a 2.682 * [backup-simplify]: Simplify 0.25 into 0.25 2.682 * [taylor]: Taking taylor expansion of (* a b) in a 2.682 * [taylor]: Taking taylor expansion of a in a 2.682 * [backup-simplify]: Simplify 0 into 0 2.682 * [backup-simplify]: Simplify 1 into 1 2.682 * [taylor]: Taking taylor expansion of b in a 2.682 * [backup-simplify]: Simplify b into b 2.682 * [backup-simplify]: Simplify (* 0 b) into 0 2.682 * [backup-simplify]: Simplify (* 0.25 0) into 0 2.682 * [backup-simplify]: Simplify (- 0) into 0 2.682 * [taylor]: Taking taylor expansion of 0 in b 2.682 * [backup-simplify]: Simplify 0 into 0 2.682 * [backup-simplify]: Simplify 0 into 0 2.683 * [backup-simplify]: Simplify (+ (* 0.0625 0) (* 0 z)) into 0 2.683 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* 0.0625 z))) into (* 0.0625 z) 2.683 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 2.683 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.683 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (* a b))) into 0 2.684 * [backup-simplify]: Simplify (- 0) into 0 2.684 * [backup-simplify]: Simplify (+ 0 0) into 0 2.684 * [backup-simplify]: Simplify (+ 0 0) into 0 2.684 * [backup-simplify]: Simplify (+ (* 0.0625 z) 0) into (* 0.0625 z) 2.684 * [taylor]: Taking taylor expansion of (* 0.0625 z) in z 2.684 * [taylor]: Taking taylor expansion of 0.0625 in z 2.684 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.684 * [taylor]: Taking taylor expansion of z in z 2.684 * [backup-simplify]: Simplify 0 into 0 2.684 * [backup-simplify]: Simplify 1 into 1 2.685 * [backup-simplify]: Simplify (* 0.0625 0) into 0 2.685 * [taylor]: Taking taylor expansion of 0 in x 2.685 * [backup-simplify]: Simplify 0 into 0 2.685 * [taylor]: Taking taylor expansion of 0 in y 2.685 * [backup-simplify]: Simplify 0 into 0 2.685 * [taylor]: Taking taylor expansion of 0 in c 2.685 * [backup-simplify]: Simplify 0 into 0 2.685 * [taylor]: Taking taylor expansion of 0 in a 2.685 * [backup-simplify]: Simplify 0 into 0 2.685 * [taylor]: Taking taylor expansion of 0 in b 2.685 * [backup-simplify]: Simplify 0 into 0 2.685 * [backup-simplify]: Simplify 0 into 0 2.685 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 2.685 * [backup-simplify]: Simplify (+ 0 0) into 0 2.685 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.685 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (* a b))) into 0 2.686 * [backup-simplify]: Simplify (- 0) into 0 2.686 * [backup-simplify]: Simplify (+ 0 0) into 0 2.686 * [taylor]: Taking taylor expansion of 0 in x 2.686 * [backup-simplify]: Simplify 0 into 0 2.686 * [taylor]: Taking taylor expansion of 0 in y 2.686 * [backup-simplify]: Simplify 0 into 0 2.686 * [taylor]: Taking taylor expansion of 0 in c 2.686 * [backup-simplify]: Simplify 0 into 0 2.686 * [taylor]: Taking taylor expansion of 0 in a 2.686 * [backup-simplify]: Simplify 0 into 0 2.686 * [taylor]: Taking taylor expansion of 0 in b 2.686 * [backup-simplify]: Simplify 0 into 0 2.686 * [backup-simplify]: Simplify 0 into 0 2.686 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.686 * [backup-simplify]: Simplify (+ 0 y) into y 2.687 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.687 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (* a b))) into 0 2.687 * [backup-simplify]: Simplify (- 0) into 0 2.687 * [backup-simplify]: Simplify (+ y 0) into y 2.687 * [taylor]: Taking taylor expansion of y in y 2.687 * [backup-simplify]: Simplify 0 into 0 2.687 * [backup-simplify]: Simplify 1 into 1 2.687 * [taylor]: Taking taylor expansion of 0 in c 2.687 * [backup-simplify]: Simplify 0 into 0 2.687 * [taylor]: Taking taylor expansion of 0 in a 2.687 * [backup-simplify]: Simplify 0 into 0 2.687 * [taylor]: Taking taylor expansion of 0 in b 2.687 * [backup-simplify]: Simplify 0 into 0 2.687 * [backup-simplify]: Simplify 0 into 0 2.687 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.688 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (* a b))) into 0 2.688 * [backup-simplify]: Simplify (- 0) into 0 2.688 * [backup-simplify]: Simplify (+ 0 0) into 0 2.688 * [taylor]: Taking taylor expansion of 0 in c 2.688 * [backup-simplify]: Simplify 0 into 0 2.688 * [taylor]: Taking taylor expansion of 0 in a 2.688 * [backup-simplify]: Simplify 0 into 0 2.688 * [taylor]: Taking taylor expansion of 0 in b 2.688 * [backup-simplify]: Simplify 0 into 0 2.688 * [backup-simplify]: Simplify 0 into 0 2.688 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.689 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (* a b))) into 0 2.689 * [backup-simplify]: Simplify (- 0) into 0 2.689 * [backup-simplify]: Simplify (+ 1 0) into 1 2.689 * [taylor]: Taking taylor expansion of 1 in a 2.689 * [backup-simplify]: Simplify 1 into 1 2.689 * [taylor]: Taking taylor expansion of 1 in b 2.689 * [backup-simplify]: Simplify 1 into 1 2.689 * [backup-simplify]: Simplify 1 into 1 2.689 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 2.690 * [backup-simplify]: Simplify (+ (* 0.25 b) (* 0 0)) into (* 0.25 b) 2.690 * [backup-simplify]: Simplify (- (* 0.25 b)) into (- (* 0.25 b)) 2.690 * [taylor]: Taking taylor expansion of (- (* 0.25 b)) in b 2.690 * [taylor]: Taking taylor expansion of (* 0.25 b) in b 2.690 * [taylor]: Taking taylor expansion of 0.25 in b 2.690 * [backup-simplify]: Simplify 0.25 into 0.25 2.690 * [taylor]: Taking taylor expansion of b in b 2.690 * [backup-simplify]: Simplify 0 into 0 2.690 * [backup-simplify]: Simplify 1 into 1 2.690 * [backup-simplify]: Simplify (* 0.25 0) into 0 2.690 * [backup-simplify]: Simplify (- 0) into 0 2.690 * [backup-simplify]: Simplify 0 into 0 2.690 * [backup-simplify]: Simplify 0 into 0 2.691 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (* 0 z))) into 0 2.692 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* 0.0625 z)))) into 0 2.692 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 2.692 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0 2.693 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (* a b)))) into 0 2.693 * [backup-simplify]: Simplify (- 0) into 0 2.693 * [backup-simplify]: Simplify (+ 0 0) into 0 2.693 * [backup-simplify]: Simplify (+ 0 0) into 0 2.694 * [backup-simplify]: Simplify (+ 0 0) into 0 2.694 * [taylor]: Taking taylor expansion of 0 in z 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [taylor]: Taking taylor expansion of 0 in x 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [taylor]: Taking taylor expansion of 0 in y 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [taylor]: Taking taylor expansion of 0 in c 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [taylor]: Taking taylor expansion of 0 in a 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [taylor]: Taking taylor expansion of 0 in b 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [backup-simplify]: Simplify 0 into 0 2.695 * [backup-simplify]: Simplify (+ (* 0.0625 1) (* 0 0)) into 0.0625 2.695 * [taylor]: Taking taylor expansion of 0.0625 in x 2.695 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.695 * [taylor]: Taking taylor expansion of 0.0625 in y 2.695 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.695 * [taylor]: Taking taylor expansion of 0.0625 in c 2.695 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.695 * [taylor]: Taking taylor expansion of 0.0625 in a 2.695 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.695 * [taylor]: Taking taylor expansion of 0.0625 in b 2.695 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.695 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.695 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 2.696 * [backup-simplify]: Simplify (+ 0 0) into 0 2.696 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0 2.697 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (* a b)))) into 0 2.697 * [backup-simplify]: Simplify (- 0) into 0 2.697 * [backup-simplify]: Simplify (+ 0 0) into 0 2.697 * [taylor]: Taking taylor expansion of 0 in x 2.697 * [backup-simplify]: Simplify 0 into 0 2.697 * [taylor]: Taking taylor expansion of 0 in y 2.697 * [backup-simplify]: Simplify 0 into 0 2.697 * [taylor]: Taking taylor expansion of 0 in c 2.698 * [backup-simplify]: Simplify 0 into 0 2.698 * [taylor]: Taking taylor expansion of 0 in a 2.698 * [backup-simplify]: Simplify 0 into 0 2.698 * [taylor]: Taking taylor expansion of 0 in b 2.698 * [backup-simplify]: Simplify 0 into 0 2.698 * [backup-simplify]: Simplify 0 into 0 2.698 * [taylor]: Taking taylor expansion of 0 in y 2.698 * [backup-simplify]: Simplify 0 into 0 2.698 * [taylor]: Taking taylor expansion of 0 in c 2.698 * [backup-simplify]: Simplify 0 into 0 2.698 * [taylor]: Taking taylor expansion of 0 in a 2.698 * [backup-simplify]: Simplify 0 into 0 2.698 * [taylor]: Taking taylor expansion of 0 in b 2.698 * [backup-simplify]: Simplify 0 into 0 2.698 * [backup-simplify]: Simplify 0 into 0 2.698 * [taylor]: Taking taylor expansion of 0 in y 2.698 * [backup-simplify]: Simplify 0 into 0 2.698 * [taylor]: Taking taylor expansion of 0 in c 2.698 * [backup-simplify]: Simplify 0 into 0 2.698 * [taylor]: Taking taylor expansion of 0 in a 2.698 * [backup-simplify]: Simplify 0 into 0 2.698 * [taylor]: Taking taylor expansion of 0 in b 2.698 * [backup-simplify]: Simplify 0 into 0 2.698 * [backup-simplify]: Simplify 0 into 0 2.699 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 2.699 * [backup-simplify]: Simplify (+ 0 0) into 0 2.699 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0 2.700 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (* a b)))) into 0 2.700 * [backup-simplify]: Simplify (- 0) into 0 2.701 * [backup-simplify]: Simplify (+ 0 0) into 0 2.701 * [taylor]: Taking taylor expansion of 0 in y 2.701 * [backup-simplify]: Simplify 0 into 0 2.701 * [taylor]: Taking taylor expansion of 0 in c 2.701 * [backup-simplify]: Simplify 0 into 0 2.701 * [taylor]: Taking taylor expansion of 0 in a 2.701 * [backup-simplify]: Simplify 0 into 0 2.701 * [taylor]: Taking taylor expansion of 0 in b 2.701 * [backup-simplify]: Simplify 0 into 0 2.701 * [backup-simplify]: Simplify 0 into 0 2.701 * [taylor]: Taking taylor expansion of 0 in c 2.701 * [backup-simplify]: Simplify 0 into 0 2.701 * [taylor]: Taking taylor expansion of 0 in a 2.701 * [backup-simplify]: Simplify 0 into 0 2.701 * [taylor]: Taking taylor expansion of 0 in b 2.701 * [backup-simplify]: Simplify 0 into 0 2.701 * [backup-simplify]: Simplify 0 into 0 2.701 * [taylor]: Taking taylor expansion of 0 in c 2.701 * [backup-simplify]: Simplify 0 into 0 2.701 * [taylor]: Taking taylor expansion of 0 in a 2.701 * [backup-simplify]: Simplify 0 into 0 2.701 * [taylor]: Taking taylor expansion of 0 in b 2.701 * [backup-simplify]: Simplify 0 into 0 2.701 * [backup-simplify]: Simplify 0 into 0 2.705 * [backup-simplify]: Simplify (+ (* 0.0625 (* 1 (* 1 (* 1 (* 1 (* 1 (* z t))))))) (* 1 (* 1 (* 1 (* c (* 1 (* 1 (* 1 1)))))))) into (+ c (* 0.0625 (* t z))) 2.706 * [backup-simplify]: Simplify (fma (/ 1 t) (/ (/ 1 z) 16.0) (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (/ (* (/ 1 a) (/ 1 b)) 4.0)))) into (fma (/ 1 t) (/ 0.0625 z) (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b)))))) 2.706 * [approximate]: Taking taylor expansion of (fma (/ 1 t) (/ 0.0625 z) (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b)))))) in (t z x y c a b) around 0 2.706 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (/ 0.0625 z) (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b)))))) in b 2.706 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (/ 0.0625 z)) (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b)))))) 2.706 * [taylor]: Taking taylor expansion of (* (/ 1 t) (/ 0.0625 z)) in b 2.706 * [taylor]: Taking taylor expansion of (/ 1 t) in b 2.706 * [taylor]: Taking taylor expansion of t in b 2.706 * [backup-simplify]: Simplify t into t 2.706 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.706 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in b 2.706 * [taylor]: Taking taylor expansion of 0.0625 in b 2.706 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.706 * [taylor]: Taking taylor expansion of z in b 2.706 * [backup-simplify]: Simplify z into z 2.706 * [backup-simplify]: Simplify (/ 0.0625 z) into (/ 0.0625 z) 2.706 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b))))) in b 2.706 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (- (/ 1 c) (* 0.25 (/ 1 (* a b))))) 2.706 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in b 2.706 * [taylor]: Taking taylor expansion of (/ 1 x) in b 2.706 * [taylor]: Taking taylor expansion of x in b 2.706 * [backup-simplify]: Simplify x into x 2.707 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.707 * [taylor]: Taking taylor expansion of (/ 1 y) in b 2.707 * [taylor]: Taking taylor expansion of y in b 2.707 * [backup-simplify]: Simplify y into y 2.707 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.707 * [taylor]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in b 2.707 * [taylor]: Taking taylor expansion of (/ 1 c) in b 2.707 * [taylor]: Taking taylor expansion of c in b 2.707 * [backup-simplify]: Simplify c into c 2.707 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.707 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in b 2.707 * [taylor]: Taking taylor expansion of 0.25 in b 2.707 * [backup-simplify]: Simplify 0.25 into 0.25 2.707 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 2.707 * [taylor]: Taking taylor expansion of (* a b) in b 2.707 * [taylor]: Taking taylor expansion of a in b 2.707 * [backup-simplify]: Simplify a into a 2.707 * [taylor]: Taking taylor expansion of b in b 2.707 * [backup-simplify]: Simplify 0 into 0 2.707 * [backup-simplify]: Simplify 1 into 1 2.707 * [backup-simplify]: Simplify (* a 0) into 0 2.708 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 2.708 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.708 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (/ 0.0625 z) (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b)))))) in a 2.708 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (/ 0.0625 z)) (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b)))))) 2.708 * [taylor]: Taking taylor expansion of (* (/ 1 t) (/ 0.0625 z)) in a 2.708 * [taylor]: Taking taylor expansion of (/ 1 t) in a 2.708 * [taylor]: Taking taylor expansion of t in a 2.708 * [backup-simplify]: Simplify t into t 2.708 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.708 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in a 2.708 * [taylor]: Taking taylor expansion of 0.0625 in a 2.708 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.708 * [taylor]: Taking taylor expansion of z in a 2.708 * [backup-simplify]: Simplify z into z 2.708 * [backup-simplify]: Simplify (/ 0.0625 z) into (/ 0.0625 z) 2.708 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b))))) in a 2.708 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (- (/ 1 c) (* 0.25 (/ 1 (* a b))))) 2.708 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in a 2.708 * [taylor]: Taking taylor expansion of (/ 1 x) in a 2.708 * [taylor]: Taking taylor expansion of x in a 2.708 * [backup-simplify]: Simplify x into x 2.708 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.708 * [taylor]: Taking taylor expansion of (/ 1 y) in a 2.708 * [taylor]: Taking taylor expansion of y in a 2.708 * [backup-simplify]: Simplify y into y 2.709 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.709 * [taylor]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in a 2.709 * [taylor]: Taking taylor expansion of (/ 1 c) in a 2.709 * [taylor]: Taking taylor expansion of c in a 2.709 * [backup-simplify]: Simplify c into c 2.709 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.709 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 2.709 * [taylor]: Taking taylor expansion of 0.25 in a 2.709 * [backup-simplify]: Simplify 0.25 into 0.25 2.709 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 2.709 * [taylor]: Taking taylor expansion of (* a b) in a 2.709 * [taylor]: Taking taylor expansion of a in a 2.709 * [backup-simplify]: Simplify 0 into 0 2.709 * [backup-simplify]: Simplify 1 into 1 2.709 * [taylor]: Taking taylor expansion of b in a 2.709 * [backup-simplify]: Simplify b into b 2.709 * [backup-simplify]: Simplify (* 0 b) into 0 2.709 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 2.709 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.709 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (/ 0.0625 z) (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b)))))) in c 2.710 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (/ 0.0625 z)) (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b)))))) 2.710 * [taylor]: Taking taylor expansion of (* (/ 1 t) (/ 0.0625 z)) in c 2.710 * [taylor]: Taking taylor expansion of (/ 1 t) in c 2.710 * [taylor]: Taking taylor expansion of t in c 2.710 * [backup-simplify]: Simplify t into t 2.710 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.710 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in c 2.710 * [taylor]: Taking taylor expansion of 0.0625 in c 2.710 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.710 * [taylor]: Taking taylor expansion of z in c 2.710 * [backup-simplify]: Simplify z into z 2.710 * [backup-simplify]: Simplify (/ 0.0625 z) into (/ 0.0625 z) 2.710 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b))))) in c 2.710 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (- (/ 1 c) (* 0.25 (/ 1 (* a b))))) 2.710 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in c 2.710 * [taylor]: Taking taylor expansion of (/ 1 x) in c 2.710 * [taylor]: Taking taylor expansion of x in c 2.710 * [backup-simplify]: Simplify x into x 2.710 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.710 * [taylor]: Taking taylor expansion of (/ 1 y) in c 2.710 * [taylor]: Taking taylor expansion of y in c 2.710 * [backup-simplify]: Simplify y into y 2.710 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.710 * [taylor]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in c 2.710 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.710 * [taylor]: Taking taylor expansion of c in c 2.710 * [backup-simplify]: Simplify 0 into 0 2.710 * [backup-simplify]: Simplify 1 into 1 2.711 * [backup-simplify]: Simplify (/ 1 1) into 1 2.711 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in c 2.711 * [taylor]: Taking taylor expansion of 0.25 in c 2.711 * [backup-simplify]: Simplify 0.25 into 0.25 2.711 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c 2.711 * [taylor]: Taking taylor expansion of (* a b) in c 2.711 * [taylor]: Taking taylor expansion of a in c 2.711 * [backup-simplify]: Simplify a into a 2.711 * [taylor]: Taking taylor expansion of b in c 2.711 * [backup-simplify]: Simplify b into b 2.711 * [backup-simplify]: Simplify (* a b) into (* a b) 2.711 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.711 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (/ 0.0625 z) (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b)))))) in y 2.711 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (/ 0.0625 z)) (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b)))))) 2.711 * [taylor]: Taking taylor expansion of (* (/ 1 t) (/ 0.0625 z)) in y 2.711 * [taylor]: Taking taylor expansion of (/ 1 t) in y 2.711 * [taylor]: Taking taylor expansion of t in y 2.712 * [backup-simplify]: Simplify t into t 2.712 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.712 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in y 2.712 * [taylor]: Taking taylor expansion of 0.0625 in y 2.712 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.712 * [taylor]: Taking taylor expansion of z in y 2.712 * [backup-simplify]: Simplify z into z 2.712 * [backup-simplify]: Simplify (/ 0.0625 z) into (/ 0.0625 z) 2.712 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b))))) in y 2.712 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (- (/ 1 c) (* 0.25 (/ 1 (* a b))))) 2.712 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y 2.712 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.712 * [taylor]: Taking taylor expansion of x in y 2.712 * [backup-simplify]: Simplify x into x 2.712 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.712 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.712 * [taylor]: Taking taylor expansion of y in y 2.712 * [backup-simplify]: Simplify 0 into 0 2.712 * [backup-simplify]: Simplify 1 into 1 2.712 * [backup-simplify]: Simplify (/ 1 1) into 1 2.712 * [taylor]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in y 2.713 * [taylor]: Taking taylor expansion of (/ 1 c) in y 2.713 * [taylor]: Taking taylor expansion of c in y 2.713 * [backup-simplify]: Simplify c into c 2.713 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.713 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in y 2.713 * [taylor]: Taking taylor expansion of 0.25 in y 2.713 * [backup-simplify]: Simplify 0.25 into 0.25 2.713 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 2.713 * [taylor]: Taking taylor expansion of (* a b) in y 2.713 * [taylor]: Taking taylor expansion of a in y 2.713 * [backup-simplify]: Simplify a into a 2.713 * [taylor]: Taking taylor expansion of b in y 2.713 * [backup-simplify]: Simplify b into b 2.713 * [backup-simplify]: Simplify (* a b) into (* a b) 2.713 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.713 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (/ 0.0625 z) (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b)))))) in x 2.713 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (/ 0.0625 z)) (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b)))))) 2.713 * [taylor]: Taking taylor expansion of (* (/ 1 t) (/ 0.0625 z)) in x 2.713 * [taylor]: Taking taylor expansion of (/ 1 t) in x 2.713 * [taylor]: Taking taylor expansion of t in x 2.713 * [backup-simplify]: Simplify t into t 2.713 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.713 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in x 2.713 * [taylor]: Taking taylor expansion of 0.0625 in x 2.713 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.713 * [taylor]: Taking taylor expansion of z in x 2.713 * [backup-simplify]: Simplify z into z 2.713 * [backup-simplify]: Simplify (/ 0.0625 z) into (/ 0.0625 z) 2.714 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b))))) in x 2.714 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (- (/ 1 c) (* 0.25 (/ 1 (* a b))))) 2.714 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 2.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.714 * [taylor]: Taking taylor expansion of x in x 2.714 * [backup-simplify]: Simplify 0 into 0 2.714 * [backup-simplify]: Simplify 1 into 1 2.714 * [backup-simplify]: Simplify (/ 1 1) into 1 2.714 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.714 * [taylor]: Taking taylor expansion of y in x 2.714 * [backup-simplify]: Simplify y into y 2.714 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.714 * [taylor]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in x 2.714 * [taylor]: Taking taylor expansion of (/ 1 c) in x 2.714 * [taylor]: Taking taylor expansion of c in x 2.714 * [backup-simplify]: Simplify c into c 2.714 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.714 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in x 2.714 * [taylor]: Taking taylor expansion of 0.25 in x 2.714 * [backup-simplify]: Simplify 0.25 into 0.25 2.714 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 2.714 * [taylor]: Taking taylor expansion of (* a b) in x 2.715 * [taylor]: Taking taylor expansion of a in x 2.715 * [backup-simplify]: Simplify a into a 2.715 * [taylor]: Taking taylor expansion of b in x 2.715 * [backup-simplify]: Simplify b into b 2.715 * [backup-simplify]: Simplify (* a b) into (* a b) 2.715 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.715 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (/ 0.0625 z) (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b)))))) in z 2.715 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (/ 0.0625 z)) (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b)))))) 2.715 * [taylor]: Taking taylor expansion of (* (/ 1 t) (/ 0.0625 z)) in z 2.715 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.715 * [taylor]: Taking taylor expansion of t in z 2.715 * [backup-simplify]: Simplify t into t 2.715 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.715 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in z 2.715 * [taylor]: Taking taylor expansion of 0.0625 in z 2.715 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.715 * [taylor]: Taking taylor expansion of z in z 2.715 * [backup-simplify]: Simplify 0 into 0 2.715 * [backup-simplify]: Simplify 1 into 1 2.716 * [backup-simplify]: Simplify (/ 0.0625 1) into 0.0625 2.716 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b))))) in z 2.716 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (- (/ 1 c) (* 0.25 (/ 1 (* a b))))) 2.716 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z 2.716 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.716 * [taylor]: Taking taylor expansion of x in z 2.716 * [backup-simplify]: Simplify x into x 2.716 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.716 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.716 * [taylor]: Taking taylor expansion of y in z 2.716 * [backup-simplify]: Simplify y into y 2.716 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.716 * [taylor]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in z 2.716 * [taylor]: Taking taylor expansion of (/ 1 c) in z 2.716 * [taylor]: Taking taylor expansion of c in z 2.716 * [backup-simplify]: Simplify c into c 2.716 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.716 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in z 2.716 * [taylor]: Taking taylor expansion of 0.25 in z 2.716 * [backup-simplify]: Simplify 0.25 into 0.25 2.716 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 2.716 * [taylor]: Taking taylor expansion of (* a b) in z 2.716 * [taylor]: Taking taylor expansion of a in z 2.716 * [backup-simplify]: Simplify a into a 2.716 * [taylor]: Taking taylor expansion of b in z 2.716 * [backup-simplify]: Simplify b into b 2.716 * [backup-simplify]: Simplify (* a b) into (* a b) 2.717 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.717 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (/ 0.0625 z) (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b)))))) in t 2.717 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (/ 0.0625 z)) (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b)))))) 2.717 * [taylor]: Taking taylor expansion of (* (/ 1 t) (/ 0.0625 z)) in t 2.717 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.717 * [taylor]: Taking taylor expansion of t in t 2.717 * [backup-simplify]: Simplify 0 into 0 2.717 * [backup-simplify]: Simplify 1 into 1 2.717 * [backup-simplify]: Simplify (/ 1 1) into 1 2.717 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in t 2.717 * [taylor]: Taking taylor expansion of 0.0625 in t 2.717 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.717 * [taylor]: Taking taylor expansion of z in t 2.717 * [backup-simplify]: Simplify z into z 2.717 * [backup-simplify]: Simplify (/ 0.0625 z) into (/ 0.0625 z) 2.717 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b))))) in t 2.717 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (- (/ 1 c) (* 0.25 (/ 1 (* a b))))) 2.718 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in t 2.718 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.718 * [taylor]: Taking taylor expansion of x in t 2.718 * [backup-simplify]: Simplify x into x 2.718 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.718 * [taylor]: Taking taylor expansion of (/ 1 y) in t 2.718 * [taylor]: Taking taylor expansion of y in t 2.718 * [backup-simplify]: Simplify y into y 2.718 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.718 * [taylor]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in t 2.718 * [taylor]: Taking taylor expansion of (/ 1 c) in t 2.718 * [taylor]: Taking taylor expansion of c in t 2.718 * [backup-simplify]: Simplify c into c 2.718 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.718 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in t 2.718 * [taylor]: Taking taylor expansion of 0.25 in t 2.718 * [backup-simplify]: Simplify 0.25 into 0.25 2.718 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 2.718 * [taylor]: Taking taylor expansion of (* a b) in t 2.718 * [taylor]: Taking taylor expansion of a in t 2.718 * [backup-simplify]: Simplify a into a 2.718 * [taylor]: Taking taylor expansion of b in t 2.718 * [backup-simplify]: Simplify b into b 2.718 * [backup-simplify]: Simplify (* a b) into (* a b) 2.718 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.718 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (/ 0.0625 z) (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b)))))) in t 2.718 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (/ 0.0625 z)) (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b)))))) 2.718 * [taylor]: Taking taylor expansion of (* (/ 1 t) (/ 0.0625 z)) in t 2.719 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.719 * [taylor]: Taking taylor expansion of t in t 2.719 * [backup-simplify]: Simplify 0 into 0 2.719 * [backup-simplify]: Simplify 1 into 1 2.719 * [backup-simplify]: Simplify (/ 1 1) into 1 2.719 * [taylor]: Taking taylor expansion of (/ 0.0625 z) in t 2.719 * [taylor]: Taking taylor expansion of 0.0625 in t 2.719 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.719 * [taylor]: Taking taylor expansion of z in t 2.719 * [backup-simplify]: Simplify z into z 2.719 * [backup-simplify]: Simplify (/ 0.0625 z) into (/ 0.0625 z) 2.719 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (- (/ 1 c) (* 0.25 (/ 1 (* a b))))) in t 2.719 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (- (/ 1 c) (* 0.25 (/ 1 (* a b))))) 2.719 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in t 2.719 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.719 * [taylor]: Taking taylor expansion of x in t 2.719 * [backup-simplify]: Simplify x into x 2.719 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.719 * [taylor]: Taking taylor expansion of (/ 1 y) in t 2.719 * [taylor]: Taking taylor expansion of y in t 2.719 * [backup-simplify]: Simplify y into y 2.720 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.720 * [taylor]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in t 2.720 * [taylor]: Taking taylor expansion of (/ 1 c) in t 2.720 * [taylor]: Taking taylor expansion of c in t 2.720 * [backup-simplify]: Simplify c into c 2.720 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.720 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in t 2.720 * [taylor]: Taking taylor expansion of 0.25 in t 2.720 * [backup-simplify]: Simplify 0.25 into 0.25 2.720 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 2.720 * [taylor]: Taking taylor expansion of (* a b) in t 2.720 * [taylor]: Taking taylor expansion of a in t 2.720 * [backup-simplify]: Simplify a into a 2.720 * [taylor]: Taking taylor expansion of b in t 2.720 * [backup-simplify]: Simplify b into b 2.720 * [backup-simplify]: Simplify (* a b) into (* a b) 2.720 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.720 * [backup-simplify]: Simplify (* 1 (/ 0.0625 z)) into (/ 0.0625 z) 2.720 * [backup-simplify]: Simplify (+ (/ 0.0625 z) 0) into (* 0.0625 (/ 1 z)) 2.720 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 z)) in z 2.720 * [taylor]: Taking taylor expansion of 0.0625 in z 2.720 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.720 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.720 * [taylor]: Taking taylor expansion of z in z 2.720 * [backup-simplify]: Simplify 0 into 0 2.720 * [backup-simplify]: Simplify 1 into 1 2.721 * [backup-simplify]: Simplify (/ 1 1) into 1 2.721 * [backup-simplify]: Simplify (* 0.0625 1) into 0.0625 2.721 * [taylor]: Taking taylor expansion of 0.0625 in x 2.721 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.722 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.0625 z) (/ 0 z)))) into 0 2.722 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.723 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 0.0625 z))) into 0 2.723 * [backup-simplify]: Simplify (* (/ 1 x) (/ 1 y)) into (/ 1 (* x y)) 2.723 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 2.723 * [backup-simplify]: Simplify (- (/ 0.25 (* a b))) into (- (* 0.25 (/ 1 (* a b)))) 2.723 * [backup-simplify]: Simplify (+ (/ 1 c) (- (* 0.25 (/ 1 (* a b))))) into (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) 2.723 * [backup-simplify]: Simplify (+ (/ 1 (* x y)) (- (/ 1 c) (* 0.25 (/ 1 (* a b))))) into (- (+ (/ 1 (* x y)) (/ 1 c)) (* 0.25 (/ 1 (* a b)))) 2.724 * [backup-simplify]: Simplify (+ 0 (- (+ (/ 1 (* x y)) (/ 1 c)) (* 0.25 (/ 1 (* a b))))) into (- (+ (/ 1 c) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) 2.724 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in z 2.724 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 (* x y))) in z 2.724 * [taylor]: Taking taylor expansion of (/ 1 c) in z 2.724 * [taylor]: Taking taylor expansion of c in z 2.724 * [backup-simplify]: Simplify c into c 2.724 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.724 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 2.724 * [taylor]: Taking taylor expansion of (* x y) in z 2.724 * [taylor]: Taking taylor expansion of x in z 2.724 * [backup-simplify]: Simplify x into x 2.724 * [taylor]: Taking taylor expansion of y in z 2.724 * [backup-simplify]: Simplify y into y 2.724 * [backup-simplify]: Simplify (* x y) into (* x y) 2.724 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 2.724 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in z 2.724 * [taylor]: Taking taylor expansion of 0.25 in z 2.724 * [backup-simplify]: Simplify 0.25 into 0.25 2.724 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 2.724 * [taylor]: Taking taylor expansion of (* a b) in z 2.724 * [taylor]: Taking taylor expansion of a in z 2.724 * [backup-simplify]: Simplify a into a 2.724 * [taylor]: Taking taylor expansion of b in z 2.724 * [backup-simplify]: Simplify b into b 2.724 * [backup-simplify]: Simplify (* a b) into (* a b) 2.724 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.725 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.726 * [backup-simplify]: Simplify (+ (* 0.0625 0) (* 0 1)) into 0 2.726 * [taylor]: Taking taylor expansion of 0 in x 2.726 * [backup-simplify]: Simplify 0 into 0 2.726 * [taylor]: Taking taylor expansion of 0.0625 in y 2.726 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.726 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.0625 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 2.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 0.0625 z)))) into 0 2.728 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.728 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 2.728 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0) (* 0 (/ 1 y))) into 0 2.728 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 2.728 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.728 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 2.729 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 2.729 * [backup-simplify]: Simplify (- 0) into 0 2.729 * [backup-simplify]: Simplify (+ 0 0) into 0 2.730 * [backup-simplify]: Simplify (+ 0 0) into 0 2.730 * [backup-simplify]: Simplify (+ 0 0) into 0 2.730 * [taylor]: Taking taylor expansion of 0 in z 2.730 * [backup-simplify]: Simplify 0 into 0 2.730 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 (* x y))) into (+ (/ 1 (* x y)) (/ 1 c)) 2.730 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 2.730 * [backup-simplify]: Simplify (- (/ 0.25 (* a b))) into (- (* 0.25 (/ 1 (* a b)))) 2.731 * [backup-simplify]: Simplify (+ (+ (/ 1 (* x y)) (/ 1 c)) (- (* 0.25 (/ 1 (* a b))))) into (- (+ (/ 1 (* x y)) (/ 1 c)) (* 0.25 (/ 1 (* a b)))) 2.731 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (/ 1 c)) (* 0.25 (/ 1 (* a b)))) in x 2.731 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 c)) in x 2.731 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.731 * [taylor]: Taking taylor expansion of (* x y) in x 2.731 * [taylor]: Taking taylor expansion of x in x 2.731 * [backup-simplify]: Simplify 0 into 0 2.731 * [backup-simplify]: Simplify 1 into 1 2.731 * [taylor]: Taking taylor expansion of y in x 2.731 * [backup-simplify]: Simplify y into y 2.731 * [backup-simplify]: Simplify (* 0 y) into 0 2.731 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.731 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.731 * [taylor]: Taking taylor expansion of (/ 1 c) in x 2.731 * [taylor]: Taking taylor expansion of c in x 2.731 * [backup-simplify]: Simplify c into c 2.732 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.732 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in x 2.732 * [taylor]: Taking taylor expansion of 0.25 in x 2.732 * [backup-simplify]: Simplify 0.25 into 0.25 2.732 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 2.732 * [taylor]: Taking taylor expansion of (* a b) in x 2.732 * [taylor]: Taking taylor expansion of a in x 2.732 * [backup-simplify]: Simplify a into a 2.732 * [taylor]: Taking taylor expansion of b in x 2.732 * [backup-simplify]: Simplify b into b 2.732 * [backup-simplify]: Simplify (* a b) into (* a b) 2.732 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.732 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 2.732 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 2.732 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.732 * [taylor]: Taking taylor expansion of y in y 2.732 * [backup-simplify]: Simplify 0 into 0 2.732 * [backup-simplify]: Simplify 1 into 1 2.732 * [backup-simplify]: Simplify (/ 1 1) into 1 2.733 * [taylor]: Taking taylor expansion of 1 in c 2.733 * [backup-simplify]: Simplify 1 into 1 2.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.734 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (* 0 1))) into 0 2.734 * [taylor]: Taking taylor expansion of 0 in x 2.734 * [backup-simplify]: Simplify 0 into 0 2.734 * [taylor]: Taking taylor expansion of 0 in y 2.734 * [backup-simplify]: Simplify 0 into 0 2.734 * [taylor]: Taking taylor expansion of 0 in y 2.734 * [backup-simplify]: Simplify 0 into 0 2.734 * [taylor]: Taking taylor expansion of 0.0625 in c 2.734 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.734 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.0625 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 2.735 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 0.0625 z))))) into 0 2.735 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.736 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.736 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 2.736 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.736 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0 2.736 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.737 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 (* a b))))) into 0 2.737 * [backup-simplify]: Simplify (- 0) into 0 2.737 * [backup-simplify]: Simplify (+ 0 0) into 0 2.738 * [backup-simplify]: Simplify (+ 0 0) into 0 2.738 * [backup-simplify]: Simplify (+ 0 0) into 0 2.738 * [taylor]: Taking taylor expansion of 0 in z 2.738 * [backup-simplify]: Simplify 0 into 0 2.738 * [taylor]: Taking taylor expansion of 0 in x 2.738 * [backup-simplify]: Simplify 0 into 0 2.738 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 2.738 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 2.738 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 2.739 * [backup-simplify]: Simplify (+ 0 0) into 0 2.739 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.739 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 2.739 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 2.740 * [backup-simplify]: Simplify (- 0) into 0 2.740 * [backup-simplify]: Simplify (+ 0 0) into 0 2.740 * [taylor]: Taking taylor expansion of 0 in x 2.740 * [backup-simplify]: Simplify 0 into 0 2.741 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.742 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.742 * [taylor]: Taking taylor expansion of 0 in x 2.742 * [backup-simplify]: Simplify 0 into 0 2.743 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 2.743 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.743 * [backup-simplify]: Simplify (+ 0 (/ 1 c)) into (/ 1 c) 2.743 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 2.743 * [backup-simplify]: Simplify (- (/ 0.25 (* a b))) into (- (* 0.25 (/ 1 (* a b)))) 2.743 * [backup-simplify]: Simplify (+ (/ 1 c) (- (* 0.25 (/ 1 (* a b))))) into (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) 2.743 * [taylor]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in y 2.743 * [taylor]: Taking taylor expansion of (/ 1 c) in y 2.743 * [taylor]: Taking taylor expansion of c in y 2.743 * [backup-simplify]: Simplify c into c 2.743 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.743 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in y 2.744 * [taylor]: Taking taylor expansion of 0.25 in y 2.744 * [backup-simplify]: Simplify 0.25 into 0.25 2.744 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 2.744 * [taylor]: Taking taylor expansion of (* a b) in y 2.744 * [taylor]: Taking taylor expansion of a in y 2.744 * [backup-simplify]: Simplify a into a 2.744 * [taylor]: Taking taylor expansion of b in y 2.744 * [backup-simplify]: Simplify b into b 2.744 * [backup-simplify]: Simplify (* a b) into (* a b) 2.744 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.744 * [taylor]: Taking taylor expansion of 0 in y 2.744 * [backup-simplify]: Simplify 0 into 0 2.744 * [taylor]: Taking taylor expansion of 0 in y 2.744 * [backup-simplify]: Simplify 0 into 0 2.744 * [taylor]: Taking taylor expansion of 0 in y 2.744 * [backup-simplify]: Simplify 0 into 0 2.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.745 * [taylor]: Taking taylor expansion of 0 in c 2.745 * [backup-simplify]: Simplify 0 into 0 2.745 * [taylor]: Taking taylor expansion of 0 in c 2.745 * [backup-simplify]: Simplify 0 into 0 2.745 * [taylor]: Taking taylor expansion of 0 in c 2.745 * [backup-simplify]: Simplify 0 into 0 2.745 * [taylor]: Taking taylor expansion of 0 in c 2.745 * [backup-simplify]: Simplify 0 into 0 2.745 * [taylor]: Taking taylor expansion of 1 in a 2.745 * [backup-simplify]: Simplify 1 into 1 2.745 * [taylor]: Taking taylor expansion of 0.0625 in a 2.745 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.746 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.0625 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 2.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 0.0625 z)))))) into 0 2.748 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.748 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.749 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 2.749 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.750 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 2.750 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.752 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* a b)))))) into 0 2.752 * [backup-simplify]: Simplify (- 0) into 0 2.752 * [backup-simplify]: Simplify (+ 0 0) into 0 2.753 * [backup-simplify]: Simplify (+ 0 0) into 0 2.753 * [backup-simplify]: Simplify (+ 0 0) into 0 2.753 * [taylor]: Taking taylor expansion of 0 in z 2.753 * [backup-simplify]: Simplify 0 into 0 2.753 * [taylor]: Taking taylor expansion of 0 in x 2.753 * [backup-simplify]: Simplify 0 into 0 2.753 * [taylor]: Taking taylor expansion of 0 in x 2.753 * [backup-simplify]: Simplify 0 into 0 2.753 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.754 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 2.754 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 2.754 * [backup-simplify]: Simplify (+ 0 0) into 0 2.755 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0 2.755 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.756 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 (* a b))))) into 0 2.756 * [backup-simplify]: Simplify (- 0) into 0 2.756 * [backup-simplify]: Simplify (+ 0 0) into 0 2.756 * [taylor]: Taking taylor expansion of 0 in x 2.756 * [backup-simplify]: Simplify 0 into 0 2.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.758 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.758 * [taylor]: Taking taylor expansion of 0 in x 2.758 * [backup-simplify]: Simplify 0 into 0 2.758 * [taylor]: Taking taylor expansion of 0 in y 2.758 * [backup-simplify]: Simplify 0 into 0 2.758 * [taylor]: Taking taylor expansion of 0 in y 2.758 * [backup-simplify]: Simplify 0 into 0 2.759 * [taylor]: Taking taylor expansion of 0 in y 2.759 * [backup-simplify]: Simplify 0 into 0 2.760 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 2.760 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.760 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 2.760 * [backup-simplify]: Simplify (+ 0 0) into 0 2.760 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.760 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 2.761 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 2.761 * [backup-simplify]: Simplify (- 0) into 0 2.762 * [backup-simplify]: Simplify (+ 0 0) into 0 2.762 * [taylor]: Taking taylor expansion of 0 in y 2.762 * [backup-simplify]: Simplify 0 into 0 2.762 * [taylor]: Taking taylor expansion of 0 in y 2.762 * [backup-simplify]: Simplify 0 into 0 2.762 * [taylor]: Taking taylor expansion of 0 in y 2.762 * [backup-simplify]: Simplify 0 into 0 2.762 * [taylor]: Taking taylor expansion of 0 in y 2.762 * [backup-simplify]: Simplify 0 into 0 2.762 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 2.762 * [backup-simplify]: Simplify (- (/ 0.25 (* a b))) into (- (* 0.25 (/ 1 (* a b)))) 2.762 * [backup-simplify]: Simplify (+ (/ 1 c) (- (* 0.25 (/ 1 (* a b))))) into (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) 2.762 * [taylor]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in c 2.762 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.762 * [taylor]: Taking taylor expansion of c in c 2.762 * [backup-simplify]: Simplify 0 into 0 2.763 * [backup-simplify]: Simplify 1 into 1 2.763 * [backup-simplify]: Simplify (/ 1 1) into 1 2.763 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in c 2.763 * [taylor]: Taking taylor expansion of 0.25 in c 2.763 * [backup-simplify]: Simplify 0.25 into 0.25 2.763 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c 2.763 * [taylor]: Taking taylor expansion of (* a b) in c 2.763 * [taylor]: Taking taylor expansion of a in c 2.763 * [backup-simplify]: Simplify a into a 2.763 * [taylor]: Taking taylor expansion of b in c 2.763 * [backup-simplify]: Simplify b into b 2.763 * [backup-simplify]: Simplify (* a b) into (* a b) 2.763 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.764 * [backup-simplify]: Simplify (+ 1 0) into 1 2.764 * [taylor]: Taking taylor expansion of 1 in a 2.764 * [backup-simplify]: Simplify 1 into 1 2.764 * [taylor]: Taking taylor expansion of 0 in c 2.764 * [backup-simplify]: Simplify 0 into 0 2.764 * [taylor]: Taking taylor expansion of 0 in c 2.764 * [backup-simplify]: Simplify 0 into 0 2.764 * [taylor]: Taking taylor expansion of 0 in c 2.764 * [backup-simplify]: Simplify 0 into 0 2.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.765 * [taylor]: Taking taylor expansion of 0 in c 2.765 * [backup-simplify]: Simplify 0 into 0 2.765 * [taylor]: Taking taylor expansion of 0 in c 2.765 * [backup-simplify]: Simplify 0 into 0 2.765 * [taylor]: Taking taylor expansion of 0 in c 2.765 * [backup-simplify]: Simplify 0 into 0 2.765 * [taylor]: Taking taylor expansion of 0 in c 2.765 * [backup-simplify]: Simplify 0 into 0 2.765 * [taylor]: Taking taylor expansion of 0 in a 2.765 * [backup-simplify]: Simplify 0 into 0 2.765 * [taylor]: Taking taylor expansion of 0 in a 2.765 * [backup-simplify]: Simplify 0 into 0 2.765 * [taylor]: Taking taylor expansion of 0 in a 2.765 * [backup-simplify]: Simplify 0 into 0 2.765 * [taylor]: Taking taylor expansion of 0 in a 2.765 * [backup-simplify]: Simplify 0 into 0 2.765 * [taylor]: Taking taylor expansion of 0 in a 2.765 * [backup-simplify]: Simplify 0 into 0 2.766 * [taylor]: Taking taylor expansion of 0 in a 2.766 * [backup-simplify]: Simplify 0 into 0 2.766 * [taylor]: Taking taylor expansion of 1 in b 2.766 * [backup-simplify]: Simplify 1 into 1 2.766 * [taylor]: Taking taylor expansion of 0.0625 in b 2.766 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.767 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.0625 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 2.768 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 0.0625 z))))))) into 0 2.770 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.770 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.771 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y)))))) into 0 2.772 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.773 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0 2.773 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))) (* 0 (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.774 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* a b))))))) into 0 2.775 * [backup-simplify]: Simplify (- 0) into 0 2.775 * [backup-simplify]: Simplify (+ 0 0) into 0 2.775 * [backup-simplify]: Simplify (+ 0 0) into 0 2.776 * [backup-simplify]: Simplify (+ 0 0) into 0 2.776 * [taylor]: Taking taylor expansion of 0 in z 2.776 * [backup-simplify]: Simplify 0 into 0 2.776 * [taylor]: Taking taylor expansion of 0 in x 2.776 * [backup-simplify]: Simplify 0 into 0 2.776 * [taylor]: Taking taylor expansion of 0 in x 2.776 * [backup-simplify]: Simplify 0 into 0 2.776 * [taylor]: Taking taylor expansion of 0 in x 2.776 * [backup-simplify]: Simplify 0 into 0 2.776 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.777 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.777 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 2.777 * [backup-simplify]: Simplify (+ 0 0) into 0 2.778 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 2.779 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.780 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* a b)))))) into 0 2.780 * [backup-simplify]: Simplify (- 0) into 0 2.780 * [backup-simplify]: Simplify (+ 0 0) into 0 2.780 * [taylor]: Taking taylor expansion of 0 in x 2.780 * [backup-simplify]: Simplify 0 into 0 2.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.783 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.783 * [taylor]: Taking taylor expansion of 0 in x 2.783 * [backup-simplify]: Simplify 0 into 0 2.783 * [taylor]: Taking taylor expansion of 0 in y 2.783 * [backup-simplify]: Simplify 0 into 0 2.783 * [taylor]: Taking taylor expansion of 0 in y 2.783 * [backup-simplify]: Simplify 0 into 0 2.783 * [taylor]: Taking taylor expansion of 0 in y 2.783 * [backup-simplify]: Simplify 0 into 0 2.783 * [taylor]: Taking taylor expansion of 0 in y 2.783 * [backup-simplify]: Simplify 0 into 0 2.783 * [taylor]: Taking taylor expansion of 0 in y 2.783 * [backup-simplify]: Simplify 0 into 0 2.783 * [taylor]: Taking taylor expansion of 0 in y 2.783 * [backup-simplify]: Simplify 0 into 0 2.783 * [taylor]: Taking taylor expansion of 0 in y 2.783 * [backup-simplify]: Simplify 0 into 0 2.785 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 2.785 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.785 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.785 * [backup-simplify]: Simplify (+ 0 0) into 0 2.786 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0 2.786 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.787 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 (* a b))))) into 0 2.787 * [backup-simplify]: Simplify (- 0) into 0 2.787 * [backup-simplify]: Simplify (+ 0 0) into 0 2.787 * [taylor]: Taking taylor expansion of 0 in y 2.787 * [backup-simplify]: Simplify 0 into 0 2.787 * [taylor]: Taking taylor expansion of 0 in y 2.787 * [backup-simplify]: Simplify 0 into 0 2.788 * [taylor]: Taking taylor expansion of 0 in y 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [taylor]: Taking taylor expansion of 0 in y 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [taylor]: Taking taylor expansion of 0 in c 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [taylor]: Taking taylor expansion of 0 in c 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [taylor]: Taking taylor expansion of 0 in c 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [taylor]: Taking taylor expansion of 0 in c 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [taylor]: Taking taylor expansion of 0 in c 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [taylor]: Taking taylor expansion of 0 in c 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [taylor]: Taking taylor expansion of 0 in c 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 2.789 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.789 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 2.789 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 2.790 * [backup-simplify]: Simplify (- 0) into 0 2.790 * [backup-simplify]: Simplify (+ 0 0) into 0 2.790 * [taylor]: Taking taylor expansion of 0 in c 2.790 * [backup-simplify]: Simplify 0 into 0 2.790 * [taylor]: Taking taylor expansion of 0 in c 2.790 * [backup-simplify]: Simplify 0 into 0 2.790 * [taylor]: Taking taylor expansion of 0 in c 2.790 * [backup-simplify]: Simplify 0 into 0 2.790 * [taylor]: Taking taylor expansion of 0 in c 2.790 * [backup-simplify]: Simplify 0 into 0 2.791 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.791 * [taylor]: Taking taylor expansion of 0 in c 2.791 * [backup-simplify]: Simplify 0 into 0 2.791 * [taylor]: Taking taylor expansion of 0 in c 2.791 * [backup-simplify]: Simplify 0 into 0 2.791 * [taylor]: Taking taylor expansion of 0 in c 2.791 * [backup-simplify]: Simplify 0 into 0 2.791 * [taylor]: Taking taylor expansion of 0 in c 2.791 * [backup-simplify]: Simplify 0 into 0 2.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.792 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 2.792 * [backup-simplify]: Simplify (- (/ 0.25 (* a b))) into (- (* 0.25 (/ 1 (* a b)))) 2.793 * [backup-simplify]: Simplify (+ 0 (- (* 0.25 (/ 1 (* a b))))) into (- (* 0.25 (/ 1 (* a b)))) 2.793 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (* a b)))) in a 2.793 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 2.793 * [taylor]: Taking taylor expansion of 0.25 in a 2.793 * [backup-simplify]: Simplify 0.25 into 0.25 2.793 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 2.793 * [taylor]: Taking taylor expansion of (* a b) in a 2.793 * [taylor]: Taking taylor expansion of a in a 2.793 * [backup-simplify]: Simplify 0 into 0 2.793 * [backup-simplify]: Simplify 1 into 1 2.793 * [taylor]: Taking taylor expansion of b in a 2.793 * [backup-simplify]: Simplify b into b 2.793 * [backup-simplify]: Simplify (* 0 b) into 0 2.793 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 2.793 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.793 * [backup-simplify]: Simplify (* 0.25 (/ 1 b)) into (/ 0.25 b) 2.793 * [backup-simplify]: Simplify (- (/ 0.25 b)) into (- (* 0.25 (/ 1 b))) 2.794 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 b))) in b 2.794 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 b)) in b 2.794 * [taylor]: Taking taylor expansion of 0.25 in b 2.794 * [backup-simplify]: Simplify 0.25 into 0.25 2.794 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.794 * [taylor]: Taking taylor expansion of b in b 2.794 * [backup-simplify]: Simplify 0 into 0 2.794 * [backup-simplify]: Simplify 1 into 1 2.794 * [backup-simplify]: Simplify (/ 1 1) into 1 2.794 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 2.795 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 2.795 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 2.795 * [taylor]: Taking taylor expansion of 0 in a 2.795 * [backup-simplify]: Simplify 0 into 0 2.795 * [taylor]: Taking taylor expansion of 0 in a 2.795 * [backup-simplify]: Simplify 0 into 0 2.795 * [taylor]: Taking taylor expansion of 0 in a 2.795 * [backup-simplify]: Simplify 0 into 0 2.795 * [taylor]: Taking taylor expansion of 0 in a 2.795 * [backup-simplify]: Simplify 0 into 0 2.796 * [taylor]: Taking taylor expansion of 0 in a 2.796 * [backup-simplify]: Simplify 0 into 0 2.796 * [taylor]: Taking taylor expansion of 0 in a 2.796 * [backup-simplify]: Simplify 0 into 0 2.796 * [taylor]: Taking taylor expansion of 0 in a 2.796 * [backup-simplify]: Simplify 0 into 0 2.796 * [taylor]: Taking taylor expansion of 0 in a 2.796 * [backup-simplify]: Simplify 0 into 0 2.796 * [taylor]: Taking taylor expansion of 0 in a 2.796 * [backup-simplify]: Simplify 0 into 0 2.796 * [taylor]: Taking taylor expansion of 0 in a 2.796 * [backup-simplify]: Simplify 0 into 0 2.796 * [taylor]: Taking taylor expansion of 0 in a 2.796 * [backup-simplify]: Simplify 0 into 0 2.796 * [taylor]: Taking taylor expansion of 0 in a 2.796 * [backup-simplify]: Simplify 0 into 0 2.796 * [taylor]: Taking taylor expansion of 0 in a 2.796 * [backup-simplify]: Simplify 0 into 0 2.797 * [taylor]: Taking taylor expansion of 1 in b 2.797 * [backup-simplify]: Simplify 1 into 1 2.797 * [taylor]: Taking taylor expansion of 0 in b 2.797 * [backup-simplify]: Simplify 0 into 0 2.797 * [taylor]: Taking taylor expansion of 0 in b 2.797 * [backup-simplify]: Simplify 0 into 0 2.797 * [taylor]: Taking taylor expansion of 0 in b 2.797 * [backup-simplify]: Simplify 0 into 0 2.797 * [taylor]: Taking taylor expansion of 0 in b 2.797 * [backup-simplify]: Simplify 0 into 0 2.797 * [taylor]: Taking taylor expansion of 0 in b 2.797 * [backup-simplify]: Simplify 0 into 0 2.798 * [taylor]: Taking taylor expansion of 0 in b 2.798 * [backup-simplify]: Simplify 0 into 0 2.798 * [taylor]: Taking taylor expansion of 0 in b 2.798 * [backup-simplify]: Simplify 0 into 0 2.798 * [taylor]: Taking taylor expansion of 0 in b 2.798 * [backup-simplify]: Simplify 0 into 0 2.799 * [backup-simplify]: Simplify 1 into 1 2.800 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.801 * [backup-simplify]: Simplify (+ (* 0.0625 (* 1 (* 1 (* 1 (* 1 (* 1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 t))))))))) (+ (* 1 (* 1 (* 1 (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (* 1 1))))))) (* (- 0.25) (* (/ 1 (/ 1 b)) (* (/ 1 (/ 1 a)) (* 1 (* 1 (* 1 (* 1 1))))))))) into (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) 2.802 * [backup-simplify]: Simplify (fma (/ 1 (- t)) (/ (/ 1 (- z)) 16.0) (fma (/ 1 (- x)) (/ 1 (- y)) (- (/ 1 (- c)) (/ (* (/ 1 (- a)) (/ 1 (- b))) 4.0)))) into (fma (/ -1 t) (/ -0.0625 z) (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))))) 2.802 * [approximate]: Taking taylor expansion of (fma (/ -1 t) (/ -0.0625 z) (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))))) in (t z x y c a b) around 0 2.802 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (/ -0.0625 z) (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))))) in b 2.802 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (/ -0.0625 z)) (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))))) 2.802 * [taylor]: Taking taylor expansion of (* (/ -1 t) (/ -0.0625 z)) in b 2.802 * [taylor]: Taking taylor expansion of (/ -1 t) in b 2.802 * [taylor]: Taking taylor expansion of -1 in b 2.802 * [backup-simplify]: Simplify -1 into -1 2.802 * [taylor]: Taking taylor expansion of t in b 2.802 * [backup-simplify]: Simplify t into t 2.802 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 2.802 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in b 2.802 * [taylor]: Taking taylor expansion of -0.0625 in b 2.803 * [backup-simplify]: Simplify -0.0625 into -0.0625 2.803 * [taylor]: Taking taylor expansion of z in b 2.803 * [backup-simplify]: Simplify z into z 2.803 * [backup-simplify]: Simplify (/ -0.0625 z) into (/ -0.0625 z) 2.803 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) in b 2.803 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) 2.803 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in b 2.803 * [taylor]: Taking taylor expansion of (/ -1 x) in b 2.803 * [taylor]: Taking taylor expansion of -1 in b 2.803 * [backup-simplify]: Simplify -1 into -1 2.803 * [taylor]: Taking taylor expansion of x in b 2.803 * [backup-simplify]: Simplify x into x 2.803 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.803 * [taylor]: Taking taylor expansion of (/ -1 y) in b 2.803 * [taylor]: Taking taylor expansion of -1 in b 2.803 * [backup-simplify]: Simplify -1 into -1 2.803 * [taylor]: Taking taylor expansion of y in b 2.803 * [backup-simplify]: Simplify y into y 2.803 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.803 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in b 2.803 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in b 2.803 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in b 2.803 * [taylor]: Taking taylor expansion of 0.25 in b 2.803 * [backup-simplify]: Simplify 0.25 into 0.25 2.803 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 2.803 * [taylor]: Taking taylor expansion of (* a b) in b 2.803 * [taylor]: Taking taylor expansion of a in b 2.803 * [backup-simplify]: Simplify a into a 2.803 * [taylor]: Taking taylor expansion of b in b 2.803 * [backup-simplify]: Simplify 0 into 0 2.803 * [backup-simplify]: Simplify 1 into 1 2.804 * [backup-simplify]: Simplify (* a 0) into 0 2.804 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 2.804 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.804 * [taylor]: Taking taylor expansion of (/ 1 c) in b 2.804 * [taylor]: Taking taylor expansion of c in b 2.804 * [backup-simplify]: Simplify c into c 2.804 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.804 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (/ -0.0625 z) (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))))) in a 2.804 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (/ -0.0625 z)) (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))))) 2.804 * [taylor]: Taking taylor expansion of (* (/ -1 t) (/ -0.0625 z)) in a 2.804 * [taylor]: Taking taylor expansion of (/ -1 t) in a 2.804 * [taylor]: Taking taylor expansion of -1 in a 2.804 * [backup-simplify]: Simplify -1 into -1 2.804 * [taylor]: Taking taylor expansion of t in a 2.804 * [backup-simplify]: Simplify t into t 2.804 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 2.805 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in a 2.805 * [taylor]: Taking taylor expansion of -0.0625 in a 2.805 * [backup-simplify]: Simplify -0.0625 into -0.0625 2.805 * [taylor]: Taking taylor expansion of z in a 2.805 * [backup-simplify]: Simplify z into z 2.805 * [backup-simplify]: Simplify (/ -0.0625 z) into (/ -0.0625 z) 2.805 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) in a 2.805 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) 2.805 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in a 2.805 * [taylor]: Taking taylor expansion of (/ -1 x) in a 2.805 * [taylor]: Taking taylor expansion of -1 in a 2.805 * [backup-simplify]: Simplify -1 into -1 2.805 * [taylor]: Taking taylor expansion of x in a 2.805 * [backup-simplify]: Simplify x into x 2.805 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.805 * [taylor]: Taking taylor expansion of (/ -1 y) in a 2.805 * [taylor]: Taking taylor expansion of -1 in a 2.805 * [backup-simplify]: Simplify -1 into -1 2.805 * [taylor]: Taking taylor expansion of y in a 2.805 * [backup-simplify]: Simplify y into y 2.805 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.805 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in a 2.805 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in a 2.805 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 2.805 * [taylor]: Taking taylor expansion of 0.25 in a 2.805 * [backup-simplify]: Simplify 0.25 into 0.25 2.805 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 2.805 * [taylor]: Taking taylor expansion of (* a b) in a 2.805 * [taylor]: Taking taylor expansion of a in a 2.805 * [backup-simplify]: Simplify 0 into 0 2.806 * [backup-simplify]: Simplify 1 into 1 2.806 * [taylor]: Taking taylor expansion of b in a 2.806 * [backup-simplify]: Simplify b into b 2.806 * [backup-simplify]: Simplify (* 0 b) into 0 2.806 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 2.806 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.806 * [taylor]: Taking taylor expansion of (/ 1 c) in a 2.806 * [taylor]: Taking taylor expansion of c in a 2.806 * [backup-simplify]: Simplify c into c 2.806 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.806 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (/ -0.0625 z) (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))))) in c 2.806 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (/ -0.0625 z)) (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))))) 2.806 * [taylor]: Taking taylor expansion of (* (/ -1 t) (/ -0.0625 z)) in c 2.806 * [taylor]: Taking taylor expansion of (/ -1 t) in c 2.807 * [taylor]: Taking taylor expansion of -1 in c 2.807 * [backup-simplify]: Simplify -1 into -1 2.807 * [taylor]: Taking taylor expansion of t in c 2.807 * [backup-simplify]: Simplify t into t 2.807 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 2.807 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in c 2.807 * [taylor]: Taking taylor expansion of -0.0625 in c 2.807 * [backup-simplify]: Simplify -0.0625 into -0.0625 2.807 * [taylor]: Taking taylor expansion of z in c 2.807 * [backup-simplify]: Simplify z into z 2.807 * [backup-simplify]: Simplify (/ -0.0625 z) into (/ -0.0625 z) 2.807 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) in c 2.807 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) 2.807 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in c 2.807 * [taylor]: Taking taylor expansion of (/ -1 x) in c 2.807 * [taylor]: Taking taylor expansion of -1 in c 2.807 * [backup-simplify]: Simplify -1 into -1 2.807 * [taylor]: Taking taylor expansion of x in c 2.807 * [backup-simplify]: Simplify x into x 2.807 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.807 * [taylor]: Taking taylor expansion of (/ -1 y) in c 2.807 * [taylor]: Taking taylor expansion of -1 in c 2.807 * [backup-simplify]: Simplify -1 into -1 2.807 * [taylor]: Taking taylor expansion of y in c 2.807 * [backup-simplify]: Simplify y into y 2.807 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.807 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in c 2.808 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in c 2.808 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in c 2.808 * [taylor]: Taking taylor expansion of 0.25 in c 2.808 * [backup-simplify]: Simplify 0.25 into 0.25 2.808 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c 2.808 * [taylor]: Taking taylor expansion of (* a b) in c 2.808 * [taylor]: Taking taylor expansion of a in c 2.808 * [backup-simplify]: Simplify a into a 2.808 * [taylor]: Taking taylor expansion of b in c 2.808 * [backup-simplify]: Simplify b into b 2.808 * [backup-simplify]: Simplify (* a b) into (* a b) 2.808 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.808 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.808 * [taylor]: Taking taylor expansion of c in c 2.808 * [backup-simplify]: Simplify 0 into 0 2.808 * [backup-simplify]: Simplify 1 into 1 2.808 * [backup-simplify]: Simplify (/ 1 1) into 1 2.808 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (/ -0.0625 z) (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))))) in y 2.809 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (/ -0.0625 z)) (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))))) 2.809 * [taylor]: Taking taylor expansion of (* (/ -1 t) (/ -0.0625 z)) in y 2.809 * [taylor]: Taking taylor expansion of (/ -1 t) in y 2.809 * [taylor]: Taking taylor expansion of -1 in y 2.809 * [backup-simplify]: Simplify -1 into -1 2.809 * [taylor]: Taking taylor expansion of t in y 2.809 * [backup-simplify]: Simplify t into t 2.809 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 2.809 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in y 2.809 * [taylor]: Taking taylor expansion of -0.0625 in y 2.809 * [backup-simplify]: Simplify -0.0625 into -0.0625 2.809 * [taylor]: Taking taylor expansion of z in y 2.809 * [backup-simplify]: Simplify z into z 2.809 * [backup-simplify]: Simplify (/ -0.0625 z) into (/ -0.0625 z) 2.809 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) in y 2.809 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) 2.809 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y 2.809 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.809 * [taylor]: Taking taylor expansion of -1 in y 2.809 * [backup-simplify]: Simplify -1 into -1 2.809 * [taylor]: Taking taylor expansion of x in y 2.809 * [backup-simplify]: Simplify x into x 2.809 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.809 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.809 * [taylor]: Taking taylor expansion of -1 in y 2.809 * [backup-simplify]: Simplify -1 into -1 2.809 * [taylor]: Taking taylor expansion of y in y 2.809 * [backup-simplify]: Simplify 0 into 0 2.809 * [backup-simplify]: Simplify 1 into 1 2.810 * [backup-simplify]: Simplify (/ -1 1) into -1 2.810 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in y 2.810 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in y 2.810 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in y 2.810 * [taylor]: Taking taylor expansion of 0.25 in y 2.810 * [backup-simplify]: Simplify 0.25 into 0.25 2.810 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 2.810 * [taylor]: Taking taylor expansion of (* a b) in y 2.810 * [taylor]: Taking taylor expansion of a in y 2.810 * [backup-simplify]: Simplify a into a 2.810 * [taylor]: Taking taylor expansion of b in y 2.810 * [backup-simplify]: Simplify b into b 2.810 * [backup-simplify]: Simplify (* a b) into (* a b) 2.810 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.810 * [taylor]: Taking taylor expansion of (/ 1 c) in y 2.810 * [taylor]: Taking taylor expansion of c in y 2.810 * [backup-simplify]: Simplify c into c 2.810 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.810 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (/ -0.0625 z) (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))))) in x 2.811 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (/ -0.0625 z)) (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))))) 2.811 * [taylor]: Taking taylor expansion of (* (/ -1 t) (/ -0.0625 z)) in x 2.811 * [taylor]: Taking taylor expansion of (/ -1 t) in x 2.811 * [taylor]: Taking taylor expansion of -1 in x 2.811 * [backup-simplify]: Simplify -1 into -1 2.811 * [taylor]: Taking taylor expansion of t in x 2.811 * [backup-simplify]: Simplify t into t 2.811 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 2.811 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in x 2.811 * [taylor]: Taking taylor expansion of -0.0625 in x 2.811 * [backup-simplify]: Simplify -0.0625 into -0.0625 2.811 * [taylor]: Taking taylor expansion of z in x 2.811 * [backup-simplify]: Simplify z into z 2.811 * [backup-simplify]: Simplify (/ -0.0625 z) into (/ -0.0625 z) 2.811 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) in x 2.811 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) 2.811 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 2.811 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.811 * [taylor]: Taking taylor expansion of -1 in x 2.811 * [backup-simplify]: Simplify -1 into -1 2.811 * [taylor]: Taking taylor expansion of x in x 2.811 * [backup-simplify]: Simplify 0 into 0 2.811 * [backup-simplify]: Simplify 1 into 1 2.812 * [backup-simplify]: Simplify (/ -1 1) into -1 2.812 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.812 * [taylor]: Taking taylor expansion of -1 in x 2.812 * [backup-simplify]: Simplify -1 into -1 2.812 * [taylor]: Taking taylor expansion of y in x 2.812 * [backup-simplify]: Simplify y into y 2.812 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.812 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in x 2.812 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in x 2.812 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in x 2.812 * [taylor]: Taking taylor expansion of 0.25 in x 2.812 * [backup-simplify]: Simplify 0.25 into 0.25 2.812 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 2.812 * [taylor]: Taking taylor expansion of (* a b) in x 2.812 * [taylor]: Taking taylor expansion of a in x 2.812 * [backup-simplify]: Simplify a into a 2.812 * [taylor]: Taking taylor expansion of b in x 2.812 * [backup-simplify]: Simplify b into b 2.812 * [backup-simplify]: Simplify (* a b) into (* a b) 2.812 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.813 * [taylor]: Taking taylor expansion of (/ 1 c) in x 2.813 * [taylor]: Taking taylor expansion of c in x 2.813 * [backup-simplify]: Simplify c into c 2.813 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.813 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (/ -0.0625 z) (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))))) in z 2.813 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (/ -0.0625 z)) (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))))) 2.813 * [taylor]: Taking taylor expansion of (* (/ -1 t) (/ -0.0625 z)) in z 2.813 * [taylor]: Taking taylor expansion of (/ -1 t) in z 2.813 * [taylor]: Taking taylor expansion of -1 in z 2.813 * [backup-simplify]: Simplify -1 into -1 2.813 * [taylor]: Taking taylor expansion of t in z 2.813 * [backup-simplify]: Simplify t into t 2.813 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 2.813 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in z 2.813 * [taylor]: Taking taylor expansion of -0.0625 in z 2.813 * [backup-simplify]: Simplify -0.0625 into -0.0625 2.813 * [taylor]: Taking taylor expansion of z in z 2.813 * [backup-simplify]: Simplify 0 into 0 2.813 * [backup-simplify]: Simplify 1 into 1 2.814 * [backup-simplify]: Simplify (/ -0.0625 1) into -0.0625 2.814 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) in z 2.814 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) 2.814 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z 2.814 * [taylor]: Taking taylor expansion of (/ -1 x) in z 2.814 * [taylor]: Taking taylor expansion of -1 in z 2.814 * [backup-simplify]: Simplify -1 into -1 2.814 * [taylor]: Taking taylor expansion of x in z 2.814 * [backup-simplify]: Simplify x into x 2.814 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.814 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.814 * [taylor]: Taking taylor expansion of -1 in z 2.814 * [backup-simplify]: Simplify -1 into -1 2.814 * [taylor]: Taking taylor expansion of y in z 2.814 * [backup-simplify]: Simplify y into y 2.814 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.814 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in z 2.814 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in z 2.814 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in z 2.814 * [taylor]: Taking taylor expansion of 0.25 in z 2.814 * [backup-simplify]: Simplify 0.25 into 0.25 2.814 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 2.814 * [taylor]: Taking taylor expansion of (* a b) in z 2.814 * [taylor]: Taking taylor expansion of a in z 2.814 * [backup-simplify]: Simplify a into a 2.814 * [taylor]: Taking taylor expansion of b in z 2.814 * [backup-simplify]: Simplify b into b 2.814 * [backup-simplify]: Simplify (* a b) into (* a b) 2.814 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.815 * [taylor]: Taking taylor expansion of (/ 1 c) in z 2.815 * [taylor]: Taking taylor expansion of c in z 2.815 * [backup-simplify]: Simplify c into c 2.815 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.815 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (/ -0.0625 z) (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))))) in t 2.815 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (/ -0.0625 z)) (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))))) 2.815 * [taylor]: Taking taylor expansion of (* (/ -1 t) (/ -0.0625 z)) in t 2.815 * [taylor]: Taking taylor expansion of (/ -1 t) in t 2.815 * [taylor]: Taking taylor expansion of -1 in t 2.815 * [backup-simplify]: Simplify -1 into -1 2.815 * [taylor]: Taking taylor expansion of t in t 2.815 * [backup-simplify]: Simplify 0 into 0 2.815 * [backup-simplify]: Simplify 1 into 1 2.815 * [backup-simplify]: Simplify (/ -1 1) into -1 2.815 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in t 2.815 * [taylor]: Taking taylor expansion of -0.0625 in t 2.815 * [backup-simplify]: Simplify -0.0625 into -0.0625 2.815 * [taylor]: Taking taylor expansion of z in t 2.816 * [backup-simplify]: Simplify z into z 2.816 * [backup-simplify]: Simplify (/ -0.0625 z) into (/ -0.0625 z) 2.816 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) in t 2.816 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) 2.816 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in t 2.816 * [taylor]: Taking taylor expansion of (/ -1 x) in t 2.816 * [taylor]: Taking taylor expansion of -1 in t 2.816 * [backup-simplify]: Simplify -1 into -1 2.816 * [taylor]: Taking taylor expansion of x in t 2.816 * [backup-simplify]: Simplify x into x 2.816 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.816 * [taylor]: Taking taylor expansion of (/ -1 y) in t 2.816 * [taylor]: Taking taylor expansion of -1 in t 2.816 * [backup-simplify]: Simplify -1 into -1 2.816 * [taylor]: Taking taylor expansion of y in t 2.816 * [backup-simplify]: Simplify y into y 2.816 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.816 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in t 2.816 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in t 2.816 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in t 2.816 * [taylor]: Taking taylor expansion of 0.25 in t 2.816 * [backup-simplify]: Simplify 0.25 into 0.25 2.816 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 2.816 * [taylor]: Taking taylor expansion of (* a b) in t 2.816 * [taylor]: Taking taylor expansion of a in t 2.816 * [backup-simplify]: Simplify a into a 2.816 * [taylor]: Taking taylor expansion of b in t 2.816 * [backup-simplify]: Simplify b into b 2.816 * [backup-simplify]: Simplify (* a b) into (* a b) 2.817 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.817 * [taylor]: Taking taylor expansion of (/ 1 c) in t 2.817 * [taylor]: Taking taylor expansion of c in t 2.817 * [backup-simplify]: Simplify c into c 2.817 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.817 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (/ -0.0625 z) (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))))) in t 2.817 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (/ -0.0625 z)) (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))))) 2.817 * [taylor]: Taking taylor expansion of (* (/ -1 t) (/ -0.0625 z)) in t 2.817 * [taylor]: Taking taylor expansion of (/ -1 t) in t 2.817 * [taylor]: Taking taylor expansion of -1 in t 2.817 * [backup-simplify]: Simplify -1 into -1 2.817 * [taylor]: Taking taylor expansion of t in t 2.817 * [backup-simplify]: Simplify 0 into 0 2.817 * [backup-simplify]: Simplify 1 into 1 2.817 * [backup-simplify]: Simplify (/ -1 1) into -1 2.817 * [taylor]: Taking taylor expansion of (/ -0.0625 z) in t 2.817 * [taylor]: Taking taylor expansion of -0.0625 in t 2.817 * [backup-simplify]: Simplify -0.0625 into -0.0625 2.818 * [taylor]: Taking taylor expansion of z in t 2.818 * [backup-simplify]: Simplify z into z 2.818 * [backup-simplify]: Simplify (/ -0.0625 z) into (/ -0.0625 z) 2.818 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) in t 2.818 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) 2.818 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in t 2.818 * [taylor]: Taking taylor expansion of (/ -1 x) in t 2.818 * [taylor]: Taking taylor expansion of -1 in t 2.818 * [backup-simplify]: Simplify -1 into -1 2.818 * [taylor]: Taking taylor expansion of x in t 2.818 * [backup-simplify]: Simplify x into x 2.818 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.818 * [taylor]: Taking taylor expansion of (/ -1 y) in t 2.818 * [taylor]: Taking taylor expansion of -1 in t 2.818 * [backup-simplify]: Simplify -1 into -1 2.818 * [taylor]: Taking taylor expansion of y in t 2.818 * [backup-simplify]: Simplify y into y 2.818 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.818 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in t 2.818 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in t 2.818 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in t 2.818 * [taylor]: Taking taylor expansion of 0.25 in t 2.818 * [backup-simplify]: Simplify 0.25 into 0.25 2.818 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 2.818 * [taylor]: Taking taylor expansion of (* a b) in t 2.818 * [taylor]: Taking taylor expansion of a in t 2.818 * [backup-simplify]: Simplify a into a 2.818 * [taylor]: Taking taylor expansion of b in t 2.818 * [backup-simplify]: Simplify b into b 2.818 * [backup-simplify]: Simplify (* a b) into (* a b) 2.819 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.819 * [taylor]: Taking taylor expansion of (/ 1 c) in t 2.819 * [taylor]: Taking taylor expansion of c in t 2.819 * [backup-simplify]: Simplify c into c 2.819 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.819 * [backup-simplify]: Simplify (* -1 (/ -0.0625 z)) into (/ 0.0625 z) 2.819 * [backup-simplify]: Simplify (+ (/ 0.0625 z) 0) into (* 0.0625 (/ 1 z)) 2.819 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 z)) in z 2.819 * [taylor]: Taking taylor expansion of 0.0625 in z 2.819 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.819 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.819 * [taylor]: Taking taylor expansion of z in z 2.819 * [backup-simplify]: Simplify 0 into 0 2.819 * [backup-simplify]: Simplify 1 into 1 2.819 * [backup-simplify]: Simplify (/ 1 1) into 1 2.820 * [backup-simplify]: Simplify (* 0.0625 1) into 0.0625 2.820 * [taylor]: Taking taylor expansion of 0.0625 in x 2.820 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.820 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -0.0625 z) (/ 0 z)))) into 0 2.821 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 2.821 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -0.0625 z))) into 0 2.821 * [backup-simplify]: Simplify (* (/ -1 x) (/ -1 y)) into (/ 1 (* x y)) 2.821 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 2.821 * [backup-simplify]: Simplify (+ (/ 0.25 (* a b)) (/ 1 c)) into (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) 2.822 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) into (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) 2.822 * [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.822 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* x y)) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) into (- (/ 1 (* x y)) (+ (/ 1 c) (* 0.25 (/ 1 (* a b))))) 2.822 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 c) (* 0.25 (/ 1 (* a b))))) in z 2.822 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 2.822 * [taylor]: Taking taylor expansion of (* x y) in z 2.822 * [taylor]: Taking taylor expansion of x in z 2.822 * [backup-simplify]: Simplify x into x 2.822 * [taylor]: Taking taylor expansion of y in z 2.822 * [backup-simplify]: Simplify y into y 2.822 * [backup-simplify]: Simplify (* x y) into (* x y) 2.823 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 2.823 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (* 0.25 (/ 1 (* a b)))) in z 2.823 * [taylor]: Taking taylor expansion of (/ 1 c) in z 2.823 * [taylor]: Taking taylor expansion of c in z 2.823 * [backup-simplify]: Simplify c into c 2.823 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.823 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in z 2.823 * [taylor]: Taking taylor expansion of 0.25 in z 2.823 * [backup-simplify]: Simplify 0.25 into 0.25 2.823 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 2.823 * [taylor]: Taking taylor expansion of (* a b) in z 2.823 * [taylor]: Taking taylor expansion of a in z 2.823 * [backup-simplify]: Simplify a into a 2.823 * [taylor]: Taking taylor expansion of b in z 2.823 * [backup-simplify]: Simplify b into b 2.823 * [backup-simplify]: Simplify (* a b) into (* a b) 2.823 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.824 * [backup-simplify]: Simplify (+ (* 0.0625 0) (* 0 1)) into 0 2.824 * [taylor]: Taking taylor expansion of 0 in x 2.824 * [backup-simplify]: Simplify 0 into 0 2.824 * [taylor]: Taking taylor expansion of 0.0625 in y 2.824 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.825 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -0.0625 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 2.825 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.826 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -0.0625 z)))) into 0 2.826 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 2.826 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 2.826 * [backup-simplify]: Simplify (+ (* (/ -1 x) 0) (* 0 (/ -1 y))) into 0 2.827 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.827 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 2.827 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 2.827 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 2.828 * [backup-simplify]: Simplify (+ 0 0) into 0 2.828 * [backup-simplify]: Simplify (- 0) into 0 2.828 * [backup-simplify]: Simplify (+ 0 0) into 0 2.829 * [backup-simplify]: Simplify (+ 0 0) into 0 2.829 * [taylor]: Taking taylor expansion of 0 in z 2.829 * [backup-simplify]: Simplify 0 into 0 2.829 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 2.829 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 0.25 (* a b))) into (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) 2.829 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) into (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) 2.829 * [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.829 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in x 2.829 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.829 * [taylor]: Taking taylor expansion of (* x y) in x 2.829 * [taylor]: Taking taylor expansion of x in x 2.829 * [backup-simplify]: Simplify 0 into 0 2.829 * [backup-simplify]: Simplify 1 into 1 2.829 * [taylor]: Taking taylor expansion of y in x 2.830 * [backup-simplify]: Simplify y into y 2.830 * [backup-simplify]: Simplify (* 0 y) into 0 2.830 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.830 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.830 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in x 2.830 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in x 2.830 * [taylor]: Taking taylor expansion of 0.25 in x 2.830 * [backup-simplify]: Simplify 0.25 into 0.25 2.830 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 2.830 * [taylor]: Taking taylor expansion of (* a b) in x 2.830 * [taylor]: Taking taylor expansion of a in x 2.830 * [backup-simplify]: Simplify a into a 2.830 * [taylor]: Taking taylor expansion of b in x 2.830 * [backup-simplify]: Simplify b into b 2.830 * [backup-simplify]: Simplify (* a b) into (* a b) 2.830 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.830 * [taylor]: Taking taylor expansion of (/ 1 c) in x 2.830 * [taylor]: Taking taylor expansion of c in x 2.830 * [backup-simplify]: Simplify c into c 2.830 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.831 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 2.831 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.831 * [taylor]: Taking taylor expansion of y in y 2.831 * [backup-simplify]: Simplify 0 into 0 2.831 * [backup-simplify]: Simplify 1 into 1 2.831 * [backup-simplify]: Simplify (/ 1 1) into 1 2.831 * [taylor]: Taking taylor expansion of 1 in c 2.831 * [backup-simplify]: Simplify 1 into 1 2.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.833 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (* 0 1))) into 0 2.833 * [taylor]: Taking taylor expansion of 0 in x 2.833 * [backup-simplify]: Simplify 0 into 0 2.833 * [taylor]: Taking taylor expansion of 0 in y 2.833 * [backup-simplify]: Simplify 0 into 0 2.833 * [taylor]: Taking taylor expansion of 0 in y 2.833 * [backup-simplify]: Simplify 0 into 0 2.833 * [taylor]: Taking taylor expansion of 0.0625 in c 2.833 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.834 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -0.0625 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 2.834 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.835 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -0.0625 z))))) into 0 2.836 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.836 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.836 * [backup-simplify]: Simplify (+ (* (/ -1 x) 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 2.837 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0 2.837 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.837 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 (* a b))))) into 0 2.838 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.838 * [backup-simplify]: Simplify (+ 0 0) into 0 2.838 * [backup-simplify]: Simplify (- 0) into 0 2.839 * [backup-simplify]: Simplify (+ 0 0) into 0 2.839 * [backup-simplify]: Simplify (+ 0 0) into 0 2.839 * [taylor]: Taking taylor expansion of 0 in z 2.839 * [backup-simplify]: Simplify 0 into 0 2.839 * [taylor]: Taking taylor expansion of 0 in x 2.839 * [backup-simplify]: Simplify 0 into 0 2.839 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 2.839 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 2.839 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 2.839 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.840 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 2.840 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 2.840 * [backup-simplify]: Simplify (+ 0 0) into 0 2.841 * [backup-simplify]: Simplify (- 0) into 0 2.841 * [backup-simplify]: Simplify (+ 0 0) into 0 2.841 * [taylor]: Taking taylor expansion of 0 in x 2.841 * [backup-simplify]: Simplify 0 into 0 2.842 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.843 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.843 * [taylor]: Taking taylor expansion of 0 in x 2.843 * [backup-simplify]: Simplify 0 into 0 2.843 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 2.844 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.844 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 2.844 * [backup-simplify]: Simplify (+ (/ 0.25 (* a b)) (/ 1 c)) into (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) 2.844 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) into (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) 2.844 * [backup-simplify]: Simplify (+ 0 (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)))) into (- (+ (/ 1 c) (* 0.25 (/ 1 (* a b))))) 2.844 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (* 0.25 (/ 1 (* a b))))) in y 2.844 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (* 0.25 (/ 1 (* a b)))) in y 2.844 * [taylor]: Taking taylor expansion of (/ 1 c) in y 2.844 * [taylor]: Taking taylor expansion of c in y 2.844 * [backup-simplify]: Simplify c into c 2.844 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.844 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in y 2.844 * [taylor]: Taking taylor expansion of 0.25 in y 2.844 * [backup-simplify]: Simplify 0.25 into 0.25 2.845 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 2.845 * [taylor]: Taking taylor expansion of (* a b) in y 2.845 * [taylor]: Taking taylor expansion of a in y 2.845 * [backup-simplify]: Simplify a into a 2.845 * [taylor]: Taking taylor expansion of b in y 2.845 * [backup-simplify]: Simplify b into b 2.845 * [backup-simplify]: Simplify (* a b) into (* a b) 2.845 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.845 * [taylor]: Taking taylor expansion of 0 in y 2.845 * [backup-simplify]: Simplify 0 into 0 2.845 * [taylor]: Taking taylor expansion of 0 in y 2.845 * [backup-simplify]: Simplify 0 into 0 2.845 * [taylor]: Taking taylor expansion of 0 in y 2.845 * [backup-simplify]: Simplify 0 into 0 2.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.848 * [taylor]: Taking taylor expansion of 0 in c 2.848 * [backup-simplify]: Simplify 0 into 0 2.848 * [taylor]: Taking taylor expansion of 0 in c 2.848 * [backup-simplify]: Simplify 0 into 0 2.848 * [taylor]: Taking taylor expansion of 0 in c 2.848 * [backup-simplify]: Simplify 0 into 0 2.848 * [taylor]: Taking taylor expansion of 0 in c 2.848 * [backup-simplify]: Simplify 0 into 0 2.848 * [taylor]: Taking taylor expansion of 1 in a 2.848 * [backup-simplify]: Simplify 1 into 1 2.848 * [taylor]: Taking taylor expansion of 0.0625 in a 2.848 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.849 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -0.0625 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 2.850 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.851 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -0.0625 z)))))) into 0 2.851 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.852 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.852 * [backup-simplify]: Simplify (+ (* (/ -1 x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0 2.853 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 2.853 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.854 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* a b)))))) into 0 2.855 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.855 * [backup-simplify]: Simplify (+ 0 0) into 0 2.855 * [backup-simplify]: Simplify (- 0) into 0 2.856 * [backup-simplify]: Simplify (+ 0 0) into 0 2.856 * [backup-simplify]: Simplify (+ 0 0) into 0 2.856 * [taylor]: Taking taylor expansion of 0 in z 2.856 * [backup-simplify]: Simplify 0 into 0 2.856 * [taylor]: Taking taylor expansion of 0 in x 2.856 * [backup-simplify]: Simplify 0 into 0 2.856 * [taylor]: Taking taylor expansion of 0 in x 2.856 * [backup-simplify]: Simplify 0 into 0 2.857 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 2.857 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 2.857 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.857 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0 2.858 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.858 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 (* a b))))) into 0 2.859 * [backup-simplify]: Simplify (+ 0 0) into 0 2.859 * [backup-simplify]: Simplify (- 0) into 0 2.859 * [backup-simplify]: Simplify (+ 0 0) into 0 2.859 * [taylor]: Taking taylor expansion of 0 in x 2.859 * [backup-simplify]: Simplify 0 into 0 2.860 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.861 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.861 * [taylor]: Taking taylor expansion of 0 in x 2.861 * [backup-simplify]: Simplify 0 into 0 2.861 * [taylor]: Taking taylor expansion of 0 in y 2.861 * [backup-simplify]: Simplify 0 into 0 2.861 * [taylor]: Taking taylor expansion of 0 in y 2.861 * [backup-simplify]: Simplify 0 into 0 2.861 * [taylor]: Taking taylor expansion of 0 in y 2.861 * [backup-simplify]: Simplify 0 into 0 2.862 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 2.863 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.863 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.863 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 2.863 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 2.863 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 2.864 * [backup-simplify]: Simplify (+ 0 0) into 0 2.864 * [backup-simplify]: Simplify (- 0) into 0 2.864 * [backup-simplify]: Simplify (+ 0 0) into 0 2.864 * [taylor]: Taking taylor expansion of 0 in y 2.864 * [backup-simplify]: Simplify 0 into 0 2.864 * [taylor]: Taking taylor expansion of 0 in y 2.864 * [backup-simplify]: Simplify 0 into 0 2.865 * [taylor]: Taking taylor expansion of 0 in y 2.865 * [backup-simplify]: Simplify 0 into 0 2.865 * [taylor]: Taking taylor expansion of 0 in y 2.865 * [backup-simplify]: Simplify 0 into 0 2.865 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 2.865 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 0.25 (* a b))) into (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) 2.865 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) into (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) 2.865 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in c 2.865 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in c 2.865 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in c 2.865 * [taylor]: Taking taylor expansion of 0.25 in c 2.865 * [backup-simplify]: Simplify 0.25 into 0.25 2.865 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c 2.865 * [taylor]: Taking taylor expansion of (* a b) in c 2.865 * [taylor]: Taking taylor expansion of a in c 2.865 * [backup-simplify]: Simplify a into a 2.865 * [taylor]: Taking taylor expansion of b in c 2.865 * [backup-simplify]: Simplify b into b 2.865 * [backup-simplify]: Simplify (* a b) into (* a b) 2.866 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b)) 2.866 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.866 * [taylor]: Taking taylor expansion of c in c 2.866 * [backup-simplify]: Simplify 0 into 0 2.866 * [backup-simplify]: Simplify 1 into 1 2.866 * [backup-simplify]: Simplify (/ 1 1) into 1 2.866 * [backup-simplify]: Simplify (+ 0 1) into 1 2.867 * [backup-simplify]: Simplify (- 1) into -1 2.867 * [taylor]: Taking taylor expansion of -1 in a 2.867 * [backup-simplify]: Simplify -1 into -1 2.867 * [taylor]: Taking taylor expansion of 0 in c 2.867 * [backup-simplify]: Simplify 0 into 0 2.867 * [taylor]: Taking taylor expansion of 0 in c 2.867 * [backup-simplify]: Simplify 0 into 0 2.867 * [taylor]: Taking taylor expansion of 0 in c 2.867 * [backup-simplify]: Simplify 0 into 0 2.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.868 * [taylor]: Taking taylor expansion of 0 in c 2.868 * [backup-simplify]: Simplify 0 into 0 2.868 * [taylor]: Taking taylor expansion of 0 in c 2.868 * [backup-simplify]: Simplify 0 into 0 2.868 * [taylor]: Taking taylor expansion of 0 in c 2.868 * [backup-simplify]: Simplify 0 into 0 2.868 * [taylor]: Taking taylor expansion of 0 in c 2.868 * [backup-simplify]: Simplify 0 into 0 2.868 * [taylor]: Taking taylor expansion of 0 in a 2.868 * [backup-simplify]: Simplify 0 into 0 2.868 * [taylor]: Taking taylor expansion of 0 in a 2.868 * [backup-simplify]: Simplify 0 into 0 2.868 * [taylor]: Taking taylor expansion of 0 in a 2.868 * [backup-simplify]: Simplify 0 into 0 2.868 * [taylor]: Taking taylor expansion of 0 in a 2.868 * [backup-simplify]: Simplify 0 into 0 2.868 * [taylor]: Taking taylor expansion of 0 in a 2.868 * [backup-simplify]: Simplify 0 into 0 2.869 * [taylor]: Taking taylor expansion of 0 in a 2.869 * [backup-simplify]: Simplify 0 into 0 2.869 * [taylor]: Taking taylor expansion of 1 in b 2.869 * [backup-simplify]: Simplify 1 into 1 2.869 * [taylor]: Taking taylor expansion of 0.0625 in b 2.869 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.870 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -0.0625 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 2.871 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.873 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -0.0625 z))))))) into 0 2.873 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.873 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.874 * [backup-simplify]: Simplify (+ (* (/ -1 x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y)))))) into 0 2.875 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0 2.876 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))) (* 0 (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.877 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* a b))))))) into 0 2.877 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.877 * [backup-simplify]: Simplify (+ 0 0) into 0 2.878 * [backup-simplify]: Simplify (- 0) into 0 2.878 * [backup-simplify]: Simplify (+ 0 0) into 0 2.878 * [backup-simplify]: Simplify (+ 0 0) into 0 2.878 * [taylor]: Taking taylor expansion of 0 in z 2.878 * [backup-simplify]: Simplify 0 into 0 2.878 * [taylor]: Taking taylor expansion of 0 in x 2.878 * [backup-simplify]: Simplify 0 into 0 2.879 * [taylor]: Taking taylor expansion of 0 in x 2.879 * [backup-simplify]: Simplify 0 into 0 2.879 * [taylor]: Taking taylor expansion of 0 in x 2.879 * [backup-simplify]: Simplify 0 into 0 2.879 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.880 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 2.880 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.880 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 2.881 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.882 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* a b)))))) into 0 2.882 * [backup-simplify]: Simplify (+ 0 0) into 0 2.883 * [backup-simplify]: Simplify (- 0) into 0 2.883 * [backup-simplify]: Simplify (+ 0 0) into 0 2.883 * [taylor]: Taking taylor expansion of 0 in x 2.883 * [backup-simplify]: Simplify 0 into 0 2.884 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.885 * [backup-simplify]: Simplify (+ (* 0.0625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.885 * [taylor]: Taking taylor expansion of 0 in x 2.885 * [backup-simplify]: Simplify 0 into 0 2.885 * [taylor]: Taking taylor expansion of 0 in y 2.885 * [backup-simplify]: Simplify 0 into 0 2.885 * [taylor]: Taking taylor expansion of 0 in y 2.885 * [backup-simplify]: Simplify 0 into 0 2.885 * [taylor]: Taking taylor expansion of 0 in y 2.885 * [backup-simplify]: Simplify 0 into 0 2.885 * [taylor]: Taking taylor expansion of 0 in y 2.885 * [backup-simplify]: Simplify 0 into 0 2.885 * [taylor]: Taking taylor expansion of 0 in y 2.885 * [backup-simplify]: Simplify 0 into 0 2.885 * [taylor]: Taking taylor expansion of 0 in y 2.886 * [backup-simplify]: Simplify 0 into 0 2.886 * [taylor]: Taking taylor expansion of 0 in y 2.886 * [backup-simplify]: Simplify 0 into 0 2.887 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 2.887 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.887 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0 2.888 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0 2.888 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 (* a b))))) into 0 2.889 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.889 * [backup-simplify]: Simplify (+ 0 0) into 0 2.889 * [backup-simplify]: Simplify (- 0) into 0 2.890 * [backup-simplify]: Simplify (+ 0 0) into 0 2.890 * [taylor]: Taking taylor expansion of 0 in y 2.890 * [backup-simplify]: Simplify 0 into 0 2.890 * [taylor]: Taking taylor expansion of 0 in y 2.890 * [backup-simplify]: Simplify 0 into 0 2.890 * [taylor]: Taking taylor expansion of 0 in y 2.890 * [backup-simplify]: Simplify 0 into 0 2.890 * [taylor]: Taking taylor expansion of 0 in y 2.890 * [backup-simplify]: Simplify 0 into 0 2.890 * [taylor]: Taking taylor expansion of 0 in c 2.890 * [backup-simplify]: Simplify 0 into 0 2.890 * [taylor]: Taking taylor expansion of 0 in c 2.890 * [backup-simplify]: Simplify 0 into 0 2.890 * [taylor]: Taking taylor expansion of 0 in c 2.890 * [backup-simplify]: Simplify 0 into 0 2.890 * [taylor]: Taking taylor expansion of 0 in c 2.890 * [backup-simplify]: Simplify 0 into 0 2.890 * [taylor]: Taking taylor expansion of 0 in c 2.890 * [backup-simplify]: Simplify 0 into 0 2.890 * [taylor]: Taking taylor expansion of 0 in c 2.890 * [backup-simplify]: Simplify 0 into 0 2.890 * [taylor]: Taking taylor expansion of 0 in c 2.890 * [backup-simplify]: Simplify 0 into 0 2.891 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 2.891 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0 2.891 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0 2.891 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 (* a b)))) into 0 2.892 * [backup-simplify]: Simplify (+ 0 0) into 0 2.892 * [backup-simplify]: Simplify (- 0) into 0 2.892 * [taylor]: Taking taylor expansion of 0 in c 2.892 * [backup-simplify]: Simplify 0 into 0 2.892 * [taylor]: Taking taylor expansion of 0 in c 2.892 * [backup-simplify]: Simplify 0 into 0 2.892 * [taylor]: Taking taylor expansion of 0 in c 2.892 * [backup-simplify]: Simplify 0 into 0 2.892 * [taylor]: Taking taylor expansion of 0 in c 2.892 * [backup-simplify]: Simplify 0 into 0 2.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.893 * [taylor]: Taking taylor expansion of 0 in c 2.893 * [backup-simplify]: Simplify 0 into 0 2.893 * [taylor]: Taking taylor expansion of 0 in c 2.893 * [backup-simplify]: Simplify 0 into 0 2.893 * [taylor]: Taking taylor expansion of 0 in c 2.893 * [backup-simplify]: Simplify 0 into 0 2.893 * [taylor]: Taking taylor expansion of 0 in c 2.893 * [backup-simplify]: Simplify 0 into 0 2.894 * [backup-simplify]: Simplify (* 0.25 (/ 1 (* a b))) into (/ 0.25 (* a b)) 2.894 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.894 * [backup-simplify]: Simplify (+ (/ 0.25 (* a b)) 0) into (* 0.25 (/ 1 (* a b))) 2.895 * [backup-simplify]: Simplify (- (* 0.25 (/ 1 (* a b)))) into (- (* 0.25 (/ 1 (* a b)))) 2.895 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (* a b)))) in a 2.895 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 2.895 * [taylor]: Taking taylor expansion of 0.25 in a 2.895 * [backup-simplify]: Simplify 0.25 into 0.25 2.895 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 2.895 * [taylor]: Taking taylor expansion of (* a b) in a 2.895 * [taylor]: Taking taylor expansion of a in a 2.895 * [backup-simplify]: Simplify 0 into 0 2.895 * [backup-simplify]: Simplify 1 into 1 2.895 * [taylor]: Taking taylor expansion of b in a 2.895 * [backup-simplify]: Simplify b into b 2.895 * [backup-simplify]: Simplify (* 0 b) into 0 2.895 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 2.895 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.895 * [backup-simplify]: Simplify (* 0.25 (/ 1 b)) into (/ 0.25 b) 2.895 * [backup-simplify]: Simplify (- (/ 0.25 b)) into (- (* 0.25 (/ 1 b))) 2.895 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 b))) in b 2.895 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 b)) in b 2.896 * [taylor]: Taking taylor expansion of 0.25 in b 2.896 * [backup-simplify]: Simplify 0.25 into 0.25 2.896 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.896 * [taylor]: Taking taylor expansion of b in b 2.896 * [backup-simplify]: Simplify 0 into 0 2.896 * [backup-simplify]: Simplify 1 into 1 2.896 * [backup-simplify]: Simplify (/ 1 1) into 1 2.896 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 2.897 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 2.897 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 2.897 * [taylor]: Taking taylor expansion of 0 in a 2.897 * [backup-simplify]: Simplify 0 into 0 2.897 * [taylor]: Taking taylor expansion of 0 in a 2.897 * [backup-simplify]: Simplify 0 into 0 2.897 * [taylor]: Taking taylor expansion of 0 in a 2.897 * [backup-simplify]: Simplify 0 into 0 2.897 * [taylor]: Taking taylor expansion of 0 in a 2.897 * [backup-simplify]: Simplify 0 into 0 2.897 * [taylor]: Taking taylor expansion of 0 in a 2.897 * [backup-simplify]: Simplify 0 into 0 2.897 * [taylor]: Taking taylor expansion of 0 in a 2.897 * [backup-simplify]: Simplify 0 into 0 2.898 * [taylor]: Taking taylor expansion of 0 in a 2.898 * [backup-simplify]: Simplify 0 into 0 2.898 * [taylor]: Taking taylor expansion of 0 in a 2.898 * [backup-simplify]: Simplify 0 into 0 2.898 * [taylor]: Taking taylor expansion of 0 in a 2.898 * [backup-simplify]: Simplify 0 into 0 2.898 * [taylor]: Taking taylor expansion of 0 in a 2.898 * [backup-simplify]: Simplify 0 into 0 2.898 * [taylor]: Taking taylor expansion of 0 in a 2.898 * [backup-simplify]: Simplify 0 into 0 2.898 * [taylor]: Taking taylor expansion of 0 in a 2.898 * [backup-simplify]: Simplify 0 into 0 2.898 * [taylor]: Taking taylor expansion of 0 in a 2.898 * [backup-simplify]: Simplify 0 into 0 2.899 * [taylor]: Taking taylor expansion of -1 in b 2.899 * [backup-simplify]: Simplify -1 into -1 2.899 * [taylor]: Taking taylor expansion of 0 in b 2.899 * [backup-simplify]: Simplify 0 into 0 2.899 * [taylor]: Taking taylor expansion of 0 in b 2.899 * [backup-simplify]: Simplify 0 into 0 2.899 * [taylor]: Taking taylor expansion of 0 in b 2.899 * [backup-simplify]: Simplify 0 into 0 2.899 * [taylor]: Taking taylor expansion of 0 in b 2.899 * [backup-simplify]: Simplify 0 into 0 2.899 * [taylor]: Taking taylor expansion of 0 in b 2.899 * [backup-simplify]: Simplify 0 into 0 2.899 * [taylor]: Taking taylor expansion of 0 in b 2.899 * [backup-simplify]: Simplify 0 into 0 2.900 * [taylor]: Taking taylor expansion of 0 in b 2.900 * [backup-simplify]: Simplify 0 into 0 2.900 * [taylor]: Taking taylor expansion of 0 in b 2.900 * [backup-simplify]: Simplify 0 into 0 2.902 * [backup-simplify]: Simplify 1 into 1 2.902 * [backup-simplify]: Simplify 0.0625 into 0.0625 2.903 * [backup-simplify]: Simplify (+ (* 0.0625 (* 1 (* 1 (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- t)))))))))) (+ (* 1 (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (* 1 1))))))) (* (- 0.25) (* (/ 1 (/ 1 (- b))) (* (/ 1 (/ 1 (- a))) (* 1 (* 1 (* 1 (* 1 1))))))))) into (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) 2.904 * * * [progress]: simplifying candidates 2.905 * [simplify]: Simplifying: (fma (* (cbrt c) (cbrt c)) (cbrt c) (- (* (cbrt (/ (* a b) 4.0)) (* (cbrt (/ (* a b) 4.0)) (cbrt (/ (* a b) 4.0)))))) (fma (- (cbrt (/ (* a b) 4.0))) (* (cbrt (/ (* a b) 4.0)) (cbrt (/ (* a b) 4.0))) (* (cbrt (/ (* a b) 4.0)) (* (cbrt (/ (* a b) 4.0)) (cbrt (/ (* a b) 4.0))))) (fma (* (cbrt c) (cbrt c)) (cbrt c) (- (* (sqrt (/ (* a b) 4.0)) (sqrt (/ (* a b) 4.0))))) (fma (- (sqrt (/ (* a b) 4.0))) (sqrt (/ (* a b) 4.0)) (* (sqrt (/ (* a b) 4.0)) (sqrt (/ (* a b) 4.0)))) (fma (* (cbrt c) (cbrt c)) (cbrt c) (- (* (/ b (cbrt 4.0)) (/ a (* (cbrt 4.0) (cbrt 4.0)))))) (fma (- (/ b (cbrt 4.0))) (/ a (* (cbrt 4.0) (cbrt 4.0))) (* (/ b (cbrt 4.0)) (/ a (* (cbrt 4.0) (cbrt 4.0))))) (fma (* (cbrt c) (cbrt c)) (cbrt c) (- (* (/ b (sqrt 4.0)) (/ a (sqrt 4.0))))) (fma (- (/ b (sqrt 4.0))) (/ a (sqrt 4.0)) (* (/ b (sqrt 4.0)) (/ a (sqrt 4.0)))) (fma (* (cbrt c) (cbrt c)) (cbrt c) (- (* (/ b 4.0) (/ a 1)))) (fma (- (/ b 4.0)) (/ a 1) (* (/ b 4.0) (/ a 1))) (fma (* (cbrt c) (cbrt c)) (cbrt c) (- (* (/ (* a b) 4.0) 1))) (fma (- (/ (* a b) 4.0)) 1 (* (/ (* a b) 4.0) 1)) (fma (* (cbrt c) (cbrt c)) (cbrt c) (- (* (/ 1 4.0) (* a b)))) (fma (- (/ 1 4.0)) (* a b) (* (/ 1 4.0) (* a b))) (fma (sqrt c) (sqrt c) (- (* (cbrt (/ (* a b) 4.0)) (* (cbrt (/ (* a b) 4.0)) (cbrt (/ (* a b) 4.0)))))) (fma (- (cbrt (/ (* a b) 4.0))) (* (cbrt (/ (* a b) 4.0)) (cbrt (/ (* a b) 4.0))) (* (cbrt (/ (* a b) 4.0)) (* (cbrt (/ (* a b) 4.0)) (cbrt (/ (* a b) 4.0))))) (fma (sqrt c) (sqrt c) (- (* (sqrt (/ (* a b) 4.0)) (sqrt (/ (* a b) 4.0))))) (fma (- (sqrt (/ (* a b) 4.0))) (sqrt (/ (* a b) 4.0)) (* (sqrt (/ (* a b) 4.0)) (sqrt (/ (* a b) 4.0)))) (fma (sqrt c) (sqrt c) (- (* (/ b (cbrt 4.0)) (/ a (* (cbrt 4.0) (cbrt 4.0)))))) (fma (- (/ b (cbrt 4.0))) (/ a (* (cbrt 4.0) (cbrt 4.0))) (* (/ b (cbrt 4.0)) (/ a (* (cbrt 4.0) (cbrt 4.0))))) (fma (sqrt c) (sqrt c) (- (* (/ b (sqrt 4.0)) (/ a (sqrt 4.0))))) (fma (- (/ b (sqrt 4.0))) (/ a (sqrt 4.0)) (* (/ b (sqrt 4.0)) (/ a (sqrt 4.0)))) (fma (sqrt c) (sqrt c) (- (* (/ b 4.0) (/ a 1)))) (fma (- (/ b 4.0)) (/ a 1) (* (/ b 4.0) (/ a 1))) (fma (sqrt c) (sqrt c) (- (* (/ (* a b) 4.0) 1))) (fma (- (/ (* a b) 4.0)) 1 (* (/ (* a b) 4.0) 1)) (fma (sqrt c) (sqrt c) (- (* (/ 1 4.0) (* a b)))) (fma (- (/ 1 4.0)) (* a b) (* (/ 1 4.0) (* a b))) (fma 1 c (- (* (cbrt (/ (* a b) 4.0)) (* (cbrt (/ (* a b) 4.0)) (cbrt (/ (* a b) 4.0)))))) (fma (- (cbrt (/ (* a b) 4.0))) (* (cbrt (/ (* a b) 4.0)) (cbrt (/ (* a b) 4.0))) (* (cbrt (/ (* a b) 4.0)) (* (cbrt (/ (* a b) 4.0)) (cbrt (/ (* a b) 4.0))))) (fma 1 c (- (* (sqrt (/ (* a b) 4.0)) (sqrt (/ (* a b) 4.0))))) (fma (- (sqrt (/ (* a b) 4.0))) (sqrt (/ (* a b) 4.0)) (* (sqrt (/ (* a b) 4.0)) (sqrt (/ (* a b) 4.0)))) (fma 1 c (- (* (/ b (cbrt 4.0)) (/ a (* (cbrt 4.0) (cbrt 4.0)))))) (fma (- (/ b (cbrt 4.0))) (/ a (* (cbrt 4.0) (cbrt 4.0))) (* (/ b (cbrt 4.0)) (/ a (* (cbrt 4.0) (cbrt 4.0))))) (fma 1 c (- (* (/ b (sqrt 4.0)) (/ a (sqrt 4.0))))) (fma (- (/ b (sqrt 4.0))) (/ a (sqrt 4.0)) (* (/ b (sqrt 4.0)) (/ a (sqrt 4.0)))) (fma 1 c (- (* (/ b 4.0) (/ a 1)))) (fma (- (/ b 4.0)) (/ a 1) (* (/ b 4.0) (/ a 1))) (fma 1 c (- (* (/ (* a b) 4.0) 1))) (fma (- (/ (* a b) 4.0)) 1 (* (/ (* a b) 4.0) 1)) (fma 1 c (- (* (/ 1 4.0) (* a b)))) (fma (- (/ 1 4.0)) (* a b) (* (/ 1 4.0) (* a b))) (expm1 (- c (/ (* a b) 4.0))) (log1p (- c (/ (* a b) 4.0))) (- (/ (* a b) 4.0)) (- (/ (* a b) 4.0)) (- (/ (* a b) 4.0)) (/ (exp c) (exp (/ (* a b) 4.0))) (log (- c (/ (* a b) 4.0))) (exp (- c (/ (* a b) 4.0))) (* (cbrt (- c (/ (* a b) 4.0))) (cbrt (- c (/ (* a b) 4.0)))) (cbrt (- c (/ (* a b) 4.0))) (* (* (- c (/ (* a b) 4.0)) (- c (/ (* a b) 4.0))) (- c (/ (* a b) 4.0))) (sqrt (- c (/ (* a b) 4.0))) (sqrt (- c (/ (* a b) 4.0))) (- (pow c 3) (pow (/ (* a b) 4.0) 3)) (+ (* c c) (+ (* (/ (* a b) 4.0) (/ (* a b) 4.0)) (* c (/ (* a b) 4.0)))) (- (/ (* a b) 4.0)) (- (* c c) (* (/ (* a b) 4.0) (/ (* a b) 4.0))) (+ c (/ (* a b) 4.0)) (+ (sqrt c) (sqrt (/ (* a b) 4.0))) (- (sqrt c) (sqrt (/ (* a b) 4.0))) (- c (/ (* a b) 4.0)) (- (/ (* a b) 4.0)) (expm1 (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))) (log1p (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))) (* t (/ z 16.0)) (log (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))) (exp (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))) (* (cbrt (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))) (cbrt (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0)))))) (cbrt (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))) (* (* (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0)))) (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))) (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))) (sqrt (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))) (sqrt (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))) c (- c (* 0.25 (* a b))) (- c (* 0.25 (* a b))) (+ c (* 0.0625 (* t z))) (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) 2.907 * * [simplify]: Extracting # 0 : cost 58 inf + 0 2.907 * * [simplify]: Extracting # 1 : cost 103 inf + 1 2.907 * * [simplify]: Extracting # 2 : cost 115 inf + 358 2.908 * * [simplify]: Extracting # 3 : cost 103 inf + 1486 2.909 * * [simplify]: Extracting # 4 : cost 58 inf + 8860 2.912 * * [simplify]: Extracting # 5 : cost 22 inf + 16829 2.915 * * [simplify]: Extracting # 6 : cost 3 inf + 22425 2.918 * * [simplify]: Extracting # 7 : cost 0 inf + 23471 2.921 * * [simplify]: iteration 0 : 126 enodes (cost 20786 ) 2.951 * * [simplify]: Extracting # 0 : cost 0 inf + 23471 2.955 * * [simplify]: Extracting # 1 : cost 42 inf + 20755 2.960 * * [simplify]: Extracting # 2 : cost 4 inf + 24937 2.965 * * [simplify]: Extracting # 3 : cost 2 inf + 25016 2.971 * * [simplify]: Extracting # 4 : cost 0 inf + 25604 2.979 * * [simplify]: iteration 1 : 284 enodes (cost 18984 ) 3.096 * * [simplify]: Extracting # 0 : cost 0 inf + 25604 3.108 * * [simplify]: Extracting # 1 : cost 278 inf + 18956 3.124 * * [simplify]: Extracting # 2 : cost 3 inf + 59345 3.140 * * [simplify]: Extracting # 3 : cost 2 inf + 58938 3.151 * * [simplify]: Extracting # 4 : cost 0 inf + 59444 3.167 * * [simplify]: iteration 2 : 1070 enodes (cost 16195 ) 4.224 * * [simplify]: Extracting # 0 : cost 0 inf + 59444 4.283 * * [simplify]: Extracting # 1 : cost 1566 inf + 45202 4.338 * * [simplify]: Extracting # 2 : cost 81 inf + 251258 4.394 * * [simplify]: Extracting # 3 : cost 72 inf + 249865 4.453 * * [simplify]: Extracting # 4 : cost 15 inf + 259613 4.524 * * [simplify]: Extracting # 5 : cost 0 inf + 264145 4.584 * * [simplify]: iteration done: 5001 enodes (cost 14208 ) 4.584 * [simplify]: Simplified to: (- (* (* (cbrt c) (cbrt c)) (cbrt c)) (/ a (/ 4.0 b))) 0 (- (* (* (cbrt c) (cbrt c)) (cbrt c)) (/ a (/ 4.0 b))) 0 (- (* (* (cbrt c) (cbrt c)) (cbrt c)) (* (/ b (cbrt 4.0)) (/ a (* (cbrt 4.0) (cbrt 4.0))))) (+ (- (* (/ b (cbrt 4.0)) (/ a (* (cbrt 4.0) (cbrt 4.0))))) (* (/ b (cbrt 4.0)) (/ a (* (cbrt 4.0) (cbrt 4.0))))) (- (* (* (cbrt c) (cbrt c)) (cbrt c)) (* (/ b (sqrt 4.0)) (/ a (sqrt 4.0)))) (+ (- (* (/ b (sqrt 4.0)) (/ a (sqrt 4.0)))) (* (/ b (sqrt 4.0)) (/ a (sqrt 4.0)))) (- (* (* (cbrt c) (cbrt c)) (cbrt c)) (/ a (/ 4.0 b))) 0 (- (* (* (cbrt c) (cbrt c)) (cbrt c)) (/ a (/ 4.0 b))) 0 (- (* (* (cbrt c) (cbrt c)) (cbrt c)) (/ a (/ 4.0 b))) 0 (- c (/ (* a b) 4.0)) 0 (- c (/ (* a b) 4.0)) 0 (- c (* (/ b (cbrt 4.0)) (/ a (* (cbrt 4.0) (cbrt 4.0))))) (+ (- (* (/ b (cbrt 4.0)) (/ a (* (cbrt 4.0) (cbrt 4.0))))) (* (/ b (cbrt 4.0)) (/ a (* (cbrt 4.0) (cbrt 4.0))))) (- c (* (/ b (sqrt 4.0)) (/ a (sqrt 4.0)))) (+ (- (* (/ b (sqrt 4.0)) (/ a (sqrt 4.0)))) (* (/ b (sqrt 4.0)) (/ a (sqrt 4.0)))) (- c (/ (* a b) 4.0)) 0 (- c (/ (* a b) 4.0)) 0 (- c (/ (* a b) 4.0)) 0 (- c (/ (* a b) 4.0)) 0 (- c (/ (* a b) 4.0)) 0 (- c (* (/ b (cbrt 4.0)) (/ a (* (cbrt 4.0) (cbrt 4.0))))) (+ (- (* (/ b (cbrt 4.0)) (/ a (* (cbrt 4.0) (cbrt 4.0))))) (* (/ b (cbrt 4.0)) (/ a (* (cbrt 4.0) (cbrt 4.0))))) (- c (* (/ b (sqrt 4.0)) (/ a (sqrt 4.0)))) (+ (- (* (/ b (sqrt 4.0)) (/ a (sqrt 4.0)))) (* (/ b (sqrt 4.0)) (/ a (sqrt 4.0)))) (- c (/ (* a b) 4.0)) 0 (- c (/ (* a b) 4.0)) 0 (- c (/ (* a b) 4.0)) 0 (expm1 (- c (/ (* a b) 4.0))) (log1p (- c (/ (* a b) 4.0))) (- (/ a (/ 4.0 b))) (- (/ a (/ 4.0 b))) (- (/ a (/ 4.0 b))) (exp (- c (/ (* a b) 4.0))) (log (- c (/ (* a b) 4.0))) (exp (- c (/ (* a b) 4.0))) (* (cbrt (- c (/ (* a b) 4.0))) (cbrt (- c (/ (* a b) 4.0)))) (cbrt (- c (/ (* a b) 4.0))) (* (* (- c (/ (* a b) 4.0)) (- c (/ (* a b) 4.0))) (- c (/ (* a b) 4.0))) (sqrt (- c (/ (* a b) 4.0))) (sqrt (- c (/ (* a b) 4.0))) (- (* (* c c) c) (* (/ (* a b) 4.0) (* (/ (* a b) 4.0) (/ (* a b) 4.0)))) (fma c c (* (/ (* a b) 4.0) (+ (/ (* a b) 4.0) c))) (- (/ a (/ 4.0 b))) (- (* c c) (* (/ (* a b) 4.0) (/ (* a b) 4.0))) (fma (/ a 4.0) b c) (+ (sqrt c) (sqrt (/ (* a b) 4.0))) (- (sqrt c) (sqrt (/ (* a b) 4.0))) (- c (/ (* a b) 4.0)) (- (/ a (/ 4.0 b))) (expm1 (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))) (log1p (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))) (* t (/ z 16.0)) (log (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))) (exp (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))) (* (cbrt (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))) (cbrt (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0)))))) (cbrt (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))) (* (* (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0)))) (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))) (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))) (sqrt (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))) (sqrt (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))) c (- c (* 0.25 (* a b))) (- c (* 0.25 (* a b))) (fma 0.0625 (* t z) c) (- (fma 0.0625 (* t z) (* x y)) (* 0.25 (* a b))) (- (fma 0.0625 (* t z) (* x y)) (* 0.25 (* a b))) 4.590 * * * [progress]: adding candidates to table 4.971 * [progress]: [Phase 3 of 3] Extracting. 4.978 * [simplify]: Simplifying: (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0)))) 4.978 * * [simplify]: Extracting # 0 : cost 1 inf + 0 4.978 * * [simplify]: Extracting # 1 : cost 4 inf + 0 4.978 * * [simplify]: Extracting # 2 : cost 8 inf + 1 4.979 * * [simplify]: Extracting # 3 : cost 5 inf + 47 4.979 * * [simplify]: Extracting # 4 : cost 6 inf + 48 4.979 * * [simplify]: Extracting # 5 : cost 7 inf + 49 4.979 * * [simplify]: Extracting # 6 : cost 3 inf + 176 4.979 * * [simplify]: Extracting # 7 : cost 1 inf + 481 4.979 * * [simplify]: Extracting # 8 : cost 0 inf + 760 4.979 * * [simplify]: iteration 0 : 15 enodes (cost 279 ) 4.980 * * [simplify]: Extracting # 0 : cost 0 inf + 760 4.981 * * [simplify]: iteration 1 : 16 enodes (cost 279 ) 4.981 * * [simplify]: Extracting # 0 : cost 0 inf + 760 4.982 * * [simplify]: iteration done: 16 enodes (cost 279 ) 4.982 * [simplify]: Simplified to: (fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0)))) 7.731 * [regime-testing]: Baseline error score: 0.033025368796279826 7.741 * [regime-testing]: Oracle error score: 0.033025368796279826 7.741 * [regime-testing]: End program error score: 0.033025368796279826