26.833 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.074 * * * [progress]: [2/2] Setting up program.
0.083 * [progress]: [Phase 2 of 3] Improving.
0.083 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y z t a b c i) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))>
0.083 * [simplify]: Simplifying:
  (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
0.083 * * [simplify]: iteration 0: 15 enodes
0.089 * * [simplify]: iteration 1: 27 enodes
0.098 * * [simplify]: iteration 2: 60 enodes
0.119 * * [simplify]: iteration 3: 110 enodes
0.521 * * [simplify]: iteration 4: 137 enodes
0.538 * * [simplify]: iteration 5: 139 enodes
0.555 * * [simplify]: iteration complete: 139 enodes
0.555 * * [simplify]: Extracting #0: cost 1 inf + 0
0.555 * * [simplify]: Extracting #1: cost 23 inf + 0
0.555 * * [simplify]: Extracting #2: cost 12 inf + 191
0.557 * * [simplify]: Extracting #3: cost 1 inf + 1508
0.559 * * [simplify]: Extracting #4: cost 0 inf + 1607
0.561 * [simplify]: Simplified to:
  (fma z t (fma x y (fma c i (* a b))))
0.570 * * [progress]: iteration 1 / 4
0.571 * * * [progress]: picking best candidate
0.575 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i) (fma z t (fma x y (fma c i (* a b)))))>
0.575 * * * [progress]: localizing error
0.596 * * * [progress]: generating rewritten candidates
0.596 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3 3)
0.596 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3)
0.597 * * * [progress]: generating series expansions
0.597 * * * * [progress]: [ 1 / 2 ] generating series at (2 3 3)
0.597 * [backup-simplify]: Simplify (fma c i (* a b)) into (fma c i (* a b))
0.597 * [approximate]: Taking taylor expansion of (fma c i (* a b)) in (c i a b) around 0
0.597 * [taylor]: Taking taylor expansion of (fma c i (* a b)) in b
0.597 * [taylor]: Rewrote expression to (+ (* c i) (* a b))
0.597 * [taylor]: Taking taylor expansion of (* c i) in b
0.597 * [taylor]: Taking taylor expansion of c in b
0.597 * [backup-simplify]: Simplify c into c
0.597 * [taylor]: Taking taylor expansion of i in b
0.597 * [backup-simplify]: Simplify i into i
0.597 * [taylor]: Taking taylor expansion of (* a b) in b
0.597 * [taylor]: Taking taylor expansion of a in b
0.597 * [backup-simplify]: Simplify a into a
0.597 * [taylor]: Taking taylor expansion of b in b
0.597 * [backup-simplify]: Simplify 0 into 0
0.597 * [backup-simplify]: Simplify 1 into 1
0.597 * [taylor]: Taking taylor expansion of (fma c i (* a b)) in a
0.597 * [taylor]: Rewrote expression to (+ (* c i) (* a b))
0.597 * [taylor]: Taking taylor expansion of (* c i) in a
0.597 * [taylor]: Taking taylor expansion of c in a
0.597 * [backup-simplify]: Simplify c into c
0.597 * [taylor]: Taking taylor expansion of i in a
0.597 * [backup-simplify]: Simplify i into i
0.597 * [taylor]: Taking taylor expansion of (* a b) in a
0.597 * [taylor]: Taking taylor expansion of a in a
0.597 * [backup-simplify]: Simplify 0 into 0
0.597 * [backup-simplify]: Simplify 1 into 1
0.598 * [taylor]: Taking taylor expansion of b in a
0.598 * [backup-simplify]: Simplify b into b
0.598 * [taylor]: Taking taylor expansion of (fma c i (* a b)) in i
0.598 * [taylor]: Rewrote expression to (+ (* c i) (* a b))
0.598 * [taylor]: Taking taylor expansion of (* c i) in i
0.598 * [taylor]: Taking taylor expansion of c in i
0.598 * [backup-simplify]: Simplify c into c
0.598 * [taylor]: Taking taylor expansion of i in i
0.598 * [backup-simplify]: Simplify 0 into 0
0.598 * [backup-simplify]: Simplify 1 into 1
0.598 * [taylor]: Taking taylor expansion of (* a b) in i
0.598 * [taylor]: Taking taylor expansion of a in i
0.598 * [backup-simplify]: Simplify a into a
0.598 * [taylor]: Taking taylor expansion of b in i
0.598 * [backup-simplify]: Simplify b into b
0.598 * [taylor]: Taking taylor expansion of (fma c i (* a b)) in c
0.598 * [taylor]: Rewrote expression to (+ (* c i) (* a b))
0.598 * [taylor]: Taking taylor expansion of (* c i) in c
0.598 * [taylor]: Taking taylor expansion of c in c
0.598 * [backup-simplify]: Simplify 0 into 0
0.598 * [backup-simplify]: Simplify 1 into 1
0.598 * [taylor]: Taking taylor expansion of i in c
0.598 * [backup-simplify]: Simplify i into i
0.598 * [taylor]: Taking taylor expansion of (* a b) in c
0.598 * [taylor]: Taking taylor expansion of a in c
0.598 * [backup-simplify]: Simplify a into a
0.598 * [taylor]: Taking taylor expansion of b in c
0.598 * [backup-simplify]: Simplify b into b
0.598 * [taylor]: Taking taylor expansion of (fma c i (* a b)) in c
0.598 * [taylor]: Rewrote expression to (+ (* c i) (* a b))
0.598 * [taylor]: Taking taylor expansion of (* c i) in c
0.598 * [taylor]: Taking taylor expansion of c in c
0.598 * [backup-simplify]: Simplify 0 into 0
0.598 * [backup-simplify]: Simplify 1 into 1
0.598 * [taylor]: Taking taylor expansion of i in c
0.598 * [backup-simplify]: Simplify i into i
0.598 * [taylor]: Taking taylor expansion of (* a b) in c
0.598 * [taylor]: Taking taylor expansion of a in c
0.598 * [backup-simplify]: Simplify a into a
0.598 * [taylor]: Taking taylor expansion of b in c
0.598 * [backup-simplify]: Simplify b into b
0.598 * [backup-simplify]: Simplify (* 0 i) into 0
0.598 * [backup-simplify]: Simplify (* a b) into (* a b)
0.598 * [backup-simplify]: Simplify (+ 0 (* a b)) into (* a b)
0.598 * [taylor]: Taking taylor expansion of (* a b) in i
0.598 * [taylor]: Taking taylor expansion of a in i
0.598 * [backup-simplify]: Simplify a into a
0.598 * [taylor]: Taking taylor expansion of b in i
0.598 * [backup-simplify]: Simplify b into b
0.599 * [backup-simplify]: Simplify (* a b) into (* a b)
0.599 * [taylor]: Taking taylor expansion of (* a b) in a
0.599 * [taylor]: Taking taylor expansion of a in a
0.599 * [backup-simplify]: Simplify 0 into 0
0.599 * [backup-simplify]: Simplify 1 into 1
0.599 * [taylor]: Taking taylor expansion of b in a
0.599 * [backup-simplify]: Simplify b into b
0.599 * [backup-simplify]: Simplify (* 0 b) into 0
0.599 * [taylor]: Taking taylor expansion of 0 in b
0.599 * [backup-simplify]: Simplify 0 into 0
0.599 * [backup-simplify]: Simplify 0 into 0
0.600 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 i)) into i
0.600 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0
0.600 * [backup-simplify]: Simplify (+ i 0) into i
0.600 * [taylor]: Taking taylor expansion of i in i
0.600 * [backup-simplify]: Simplify 0 into 0
0.600 * [backup-simplify]: Simplify 1 into 1
0.600 * [taylor]: Taking taylor expansion of 0 in a
0.600 * [backup-simplify]: Simplify 0 into 0
0.600 * [taylor]: Taking taylor expansion of 0 in b
0.600 * [backup-simplify]: Simplify 0 into 0
0.600 * [backup-simplify]: Simplify 0 into 0
0.600 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0
0.600 * [taylor]: Taking taylor expansion of 0 in a
0.600 * [backup-simplify]: Simplify 0 into 0
0.600 * [taylor]: Taking taylor expansion of 0 in b
0.600 * [backup-simplify]: Simplify 0 into 0
0.600 * [backup-simplify]: Simplify 0 into 0
0.601 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
0.601 * [taylor]: Taking taylor expansion of b in b
0.601 * [backup-simplify]: Simplify 0 into 0
0.601 * [backup-simplify]: Simplify 1 into 1
0.601 * [backup-simplify]: Simplify 0 into 0
0.601 * [backup-simplify]: Simplify 0 into 0
0.602 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 i))) into 0
0.603 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0
0.603 * [backup-simplify]: Simplify (+ 0 0) into 0
0.603 * [taylor]: Taking taylor expansion of 0 in i
0.603 * [backup-simplify]: Simplify 0 into 0
0.603 * [taylor]: Taking taylor expansion of 0 in a
0.603 * [backup-simplify]: Simplify 0 into 0
0.603 * [taylor]: Taking taylor expansion of 0 in b
0.603 * [backup-simplify]: Simplify 0 into 0
0.603 * [backup-simplify]: Simplify 0 into 0
0.603 * [backup-simplify]: Simplify 0 into 0
0.603 * [backup-simplify]: Simplify (fma (/ 1 c) (/ 1 i) (* (/ 1 a) (/ 1 b))) into (fma (/ 1 c) (/ 1 i) (/ 1 (* a b)))
0.603 * [approximate]: Taking taylor expansion of (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))) in (c i a b) around 0
0.603 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))) in b
0.604 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 i)) (/ 1 (* a b)))
0.604 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 i)) in b
0.604 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.604 * [taylor]: Taking taylor expansion of c in b
0.604 * [backup-simplify]: Simplify c into c
0.604 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.604 * [taylor]: Taking taylor expansion of (/ 1 i) in b
0.604 * [taylor]: Taking taylor expansion of i in b
0.604 * [backup-simplify]: Simplify i into i
0.604 * [backup-simplify]: Simplify (/ 1 i) into (/ 1 i)
0.604 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
0.604 * [taylor]: Taking taylor expansion of (* a b) in b
0.604 * [taylor]: Taking taylor expansion of a in b
0.604 * [backup-simplify]: Simplify a into a
0.604 * [taylor]: Taking taylor expansion of b in b
0.604 * [backup-simplify]: Simplify 0 into 0
0.604 * [backup-simplify]: Simplify 1 into 1
0.604 * [backup-simplify]: Simplify (* a 0) into 0
0.605 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
0.605 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.605 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))) in a
0.605 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 i)) (/ 1 (* a b)))
0.605 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 i)) in a
0.605 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.605 * [taylor]: Taking taylor expansion of c in a
0.605 * [backup-simplify]: Simplify c into c
0.605 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.605 * [taylor]: Taking taylor expansion of (/ 1 i) in a
0.605 * [taylor]: Taking taylor expansion of i in a
0.605 * [backup-simplify]: Simplify i into i
0.605 * [backup-simplify]: Simplify (/ 1 i) into (/ 1 i)
0.605 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.605 * [taylor]: Taking taylor expansion of (* a b) in a
0.605 * [taylor]: Taking taylor expansion of a in a
0.605 * [backup-simplify]: Simplify 0 into 0
0.605 * [backup-simplify]: Simplify 1 into 1
0.605 * [taylor]: Taking taylor expansion of b in a
0.605 * [backup-simplify]: Simplify b into b
0.606 * [backup-simplify]: Simplify (* 0 b) into 0
0.606 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
0.606 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.606 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))) in i
0.606 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 i)) (/ 1 (* a b)))
0.606 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 i)) in i
0.606 * [taylor]: Taking taylor expansion of (/ 1 c) in i
0.606 * [taylor]: Taking taylor expansion of c in i
0.606 * [backup-simplify]: Simplify c into c
0.606 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.606 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.606 * [taylor]: Taking taylor expansion of i in i
0.606 * [backup-simplify]: Simplify 0 into 0
0.606 * [backup-simplify]: Simplify 1 into 1
0.607 * [backup-simplify]: Simplify (/ 1 1) into 1
0.607 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in i
0.607 * [taylor]: Taking taylor expansion of (* a b) in i
0.607 * [taylor]: Taking taylor expansion of a in i
0.607 * [backup-simplify]: Simplify a into a
0.607 * [taylor]: Taking taylor expansion of b in i
0.607 * [backup-simplify]: Simplify b into b
0.607 * [backup-simplify]: Simplify (* a b) into (* a b)
0.607 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.607 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))) in c
0.607 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 i)) (/ 1 (* a b)))
0.607 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 i)) in c
0.607 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.607 * [taylor]: Taking taylor expansion of c in c
0.607 * [backup-simplify]: Simplify 0 into 0
0.608 * [backup-simplify]: Simplify 1 into 1
0.608 * [backup-simplify]: Simplify (/ 1 1) into 1
0.608 * [taylor]: Taking taylor expansion of (/ 1 i) in c
0.608 * [taylor]: Taking taylor expansion of i in c
0.608 * [backup-simplify]: Simplify i into i
0.608 * [backup-simplify]: Simplify (/ 1 i) into (/ 1 i)
0.608 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
0.608 * [taylor]: Taking taylor expansion of (* a b) in c
0.608 * [taylor]: Taking taylor expansion of a in c
0.608 * [backup-simplify]: Simplify a into a
0.608 * [taylor]: Taking taylor expansion of b in c
0.608 * [backup-simplify]: Simplify b into b
0.608 * [backup-simplify]: Simplify (* a b) into (* a b)
0.608 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.608 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))) in c
0.609 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 i)) (/ 1 (* a b)))
0.609 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 i)) in c
0.609 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.609 * [taylor]: Taking taylor expansion of c in c
0.609 * [backup-simplify]: Simplify 0 into 0
0.609 * [backup-simplify]: Simplify 1 into 1
0.609 * [backup-simplify]: Simplify (/ 1 1) into 1
0.609 * [taylor]: Taking taylor expansion of (/ 1 i) in c
0.609 * [taylor]: Taking taylor expansion of i in c
0.609 * [backup-simplify]: Simplify i into i
0.609 * [backup-simplify]: Simplify (/ 1 i) into (/ 1 i)
0.609 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
0.609 * [taylor]: Taking taylor expansion of (* a b) in c
0.609 * [taylor]: Taking taylor expansion of a in c
0.609 * [backup-simplify]: Simplify a into a
0.609 * [taylor]: Taking taylor expansion of b in c
0.609 * [backup-simplify]: Simplify b into b
0.610 * [backup-simplify]: Simplify (* a b) into (* a b)
0.610 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.610 * [backup-simplify]: Simplify (* 1 (/ 1 i)) into (/ 1 i)
0.610 * [backup-simplify]: Simplify (+ (/ 1 i) 0) into (/ 1 i)
0.610 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.610 * [taylor]: Taking taylor expansion of i in i
0.610 * [backup-simplify]: Simplify 0 into 0
0.610 * [backup-simplify]: Simplify 1 into 1
0.610 * [backup-simplify]: Simplify (/ 1 1) into 1
0.610 * [taylor]: Taking taylor expansion of 1 in a
0.610 * [backup-simplify]: Simplify 1 into 1
0.611 * [backup-simplify]: Simplify (- (+ (* (/ 1 i) (/ 0 i)))) into 0
0.611 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.612 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 i))) into 0
0.612 * [backup-simplify]: Simplify (+ 0 (/ 1 (* a b))) into (/ 1 (* a b))
0.612 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in i
0.612 * [taylor]: Taking taylor expansion of (* a b) in i
0.612 * [taylor]: Taking taylor expansion of a in i
0.612 * [backup-simplify]: Simplify a into a
0.612 * [taylor]: Taking taylor expansion of b in i
0.612 * [backup-simplify]: Simplify b into b
0.612 * [backup-simplify]: Simplify (* a b) into (* a b)
0.612 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.613 * [taylor]: Taking taylor expansion of 0 in a
0.613 * [backup-simplify]: Simplify 0 into 0
0.613 * [taylor]: Taking taylor expansion of 1 in b
0.613 * [backup-simplify]: Simplify 1 into 1
0.614 * [backup-simplify]: Simplify (- (+ (* (/ 1 i) (/ 0 i)) (* 0 (/ 0 i)))) into 0
0.614 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 i)))) into 0
0.615 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0
0.616 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0
0.616 * [backup-simplify]: Simplify (+ 0 0) into 0
0.616 * [taylor]: Taking taylor expansion of 0 in i
0.616 * [backup-simplify]: Simplify 0 into 0
0.616 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.616 * [taylor]: Taking taylor expansion of (* a b) in a
0.616 * [taylor]: Taking taylor expansion of a in a
0.616 * [backup-simplify]: Simplify 0 into 0
0.616 * [backup-simplify]: Simplify 1 into 1
0.616 * [taylor]: Taking taylor expansion of b in a
0.616 * [backup-simplify]: Simplify b into b
0.616 * [backup-simplify]: Simplify (* 0 b) into 0
0.617 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
0.617 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.617 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.617 * [taylor]: Taking taylor expansion of b in b
0.617 * [backup-simplify]: Simplify 0 into 0
0.617 * [backup-simplify]: Simplify 1 into 1
0.618 * [backup-simplify]: Simplify (/ 1 1) into 1
0.618 * [backup-simplify]: Simplify 1 into 1
0.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.619 * [taylor]: Taking taylor expansion of 0 in a
0.619 * [backup-simplify]: Simplify 0 into 0
0.619 * [taylor]: Taking taylor expansion of 0 in b
0.619 * [backup-simplify]: Simplify 0 into 0
0.619 * [taylor]: Taking taylor expansion of 0 in b
0.619 * [backup-simplify]: Simplify 0 into 0
0.619 * [backup-simplify]: Simplify 1 into 1
0.620 * [backup-simplify]: Simplify (- (+ (* (/ 1 i) (/ 0 i)) (* 0 (/ 0 i)) (* 0 (/ 0 i)))) into 0
0.621 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 i))))) into 0
0.622 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0
0.623 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0
0.623 * [backup-simplify]: Simplify (+ 0 0) into 0
0.624 * [taylor]: Taking taylor expansion of 0 in i
0.624 * [backup-simplify]: Simplify 0 into 0
0.624 * [taylor]: Taking taylor expansion of 0 in a
0.624 * [backup-simplify]: Simplify 0 into 0
0.624 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0
0.624 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0
0.624 * [taylor]: Taking taylor expansion of 0 in a
0.624 * [backup-simplify]: Simplify 0 into 0
0.625 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.625 * [taylor]: Taking taylor expansion of 0 in a
0.625 * [backup-simplify]: Simplify 0 into 0
0.626 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0
0.626 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.626 * [taylor]: Taking taylor expansion of 0 in b
0.626 * [backup-simplify]: Simplify 0 into 0
0.626 * [taylor]: Taking taylor expansion of 0 in b
0.626 * [backup-simplify]: Simplify 0 into 0
0.626 * [taylor]: Taking taylor expansion of 0 in b
0.626 * [backup-simplify]: Simplify 0 into 0
0.626 * [taylor]: Taking taylor expansion of 0 in b
0.626 * [backup-simplify]: Simplify 0 into 0
0.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [backup-simplify]: Simplify 0 into 0
0.628 * [backup-simplify]: Simplify (- (+ (* (/ 1 i) (/ 0 i)) (* 0 (/ 0 i)) (* 0 (/ 0 i)) (* 0 (/ 0 i)))) into 0
0.629 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 i)))))) into 0
0.635 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
0.635 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0
0.636 * [backup-simplify]: Simplify (+ 0 0) into 0
0.636 * [taylor]: Taking taylor expansion of 0 in i
0.636 * [backup-simplify]: Simplify 0 into 0
0.636 * [taylor]: Taking taylor expansion of 0 in a
0.636 * [backup-simplify]: Simplify 0 into 0
0.636 * [taylor]: Taking taylor expansion of 0 in a
0.636 * [backup-simplify]: Simplify 0 into 0
0.636 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0
0.636 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0
0.636 * [taylor]: Taking taylor expansion of 0 in a
0.636 * [backup-simplify]: Simplify 0 into 0
0.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.637 * [taylor]: Taking taylor expansion of 0 in a
0.637 * [backup-simplify]: Simplify 0 into 0
0.637 * [taylor]: Taking taylor expansion of 0 in b
0.637 * [backup-simplify]: Simplify 0 into 0
0.637 * [taylor]: Taking taylor expansion of 0 in b
0.637 * [backup-simplify]: Simplify 0 into 0
0.637 * [taylor]: Taking taylor expansion of 0 in b
0.637 * [backup-simplify]: Simplify 0 into 0
0.639 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 b)))) into 0
0.639 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
0.639 * [taylor]: Taking taylor expansion of 0 in b
0.639 * [backup-simplify]: Simplify 0 into 0
0.639 * [taylor]: Taking taylor expansion of 0 in b
0.639 * [backup-simplify]: Simplify 0 into 0
0.639 * [taylor]: Taking taylor expansion of 0 in b
0.639 * [backup-simplify]: Simplify 0 into 0
0.639 * [taylor]: Taking taylor expansion of 0 in b
0.639 * [backup-simplify]: Simplify 0 into 0
0.639 * [backup-simplify]: Simplify 0 into 0
0.639 * [backup-simplify]: Simplify 0 into 0
0.640 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 i)) (/ 1 (/ 1 c)))))) (* 1 (* (/ 1 (/ 1 b)) (* (/ 1 (/ 1 a)) (* 1 1))))) into (+ (* a b) (* i c))
0.640 * [backup-simplify]: Simplify (fma (/ 1 (- c)) (/ 1 (- i)) (* (/ 1 (- a)) (/ 1 (- b)))) into (fma (/ -1 c) (/ -1 i) (/ 1 (* a b)))
0.640 * [approximate]: Taking taylor expansion of (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))) in (c i a b) around 0
0.640 * [taylor]: Taking taylor expansion of (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))) in b
0.640 * [taylor]: Rewrote expression to (+ (* (/ -1 c) (/ -1 i)) (/ 1 (* a b)))
0.640 * [taylor]: Taking taylor expansion of (* (/ -1 c) (/ -1 i)) in b
0.640 * [taylor]: Taking taylor expansion of (/ -1 c) in b
0.640 * [taylor]: Taking taylor expansion of -1 in b
0.640 * [backup-simplify]: Simplify -1 into -1
0.640 * [taylor]: Taking taylor expansion of c in b
0.640 * [backup-simplify]: Simplify c into c
0.640 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c)
0.640 * [taylor]: Taking taylor expansion of (/ -1 i) in b
0.641 * [taylor]: Taking taylor expansion of -1 in b
0.641 * [backup-simplify]: Simplify -1 into -1
0.641 * [taylor]: Taking taylor expansion of i in b
0.641 * [backup-simplify]: Simplify i into i
0.641 * [backup-simplify]: Simplify (/ -1 i) into (/ -1 i)
0.641 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
0.641 * [taylor]: Taking taylor expansion of (* a b) in b
0.641 * [taylor]: Taking taylor expansion of a in b
0.641 * [backup-simplify]: Simplify a into a
0.641 * [taylor]: Taking taylor expansion of b in b
0.641 * [backup-simplify]: Simplify 0 into 0
0.641 * [backup-simplify]: Simplify 1 into 1
0.641 * [backup-simplify]: Simplify (* a 0) into 0
0.641 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
0.641 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.641 * [taylor]: Taking taylor expansion of (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))) in a
0.641 * [taylor]: Rewrote expression to (+ (* (/ -1 c) (/ -1 i)) (/ 1 (* a b)))
0.641 * [taylor]: Taking taylor expansion of (* (/ -1 c) (/ -1 i)) in a
0.641 * [taylor]: Taking taylor expansion of (/ -1 c) in a
0.642 * [taylor]: Taking taylor expansion of -1 in a
0.642 * [backup-simplify]: Simplify -1 into -1
0.642 * [taylor]: Taking taylor expansion of c in a
0.642 * [backup-simplify]: Simplify c into c
0.642 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c)
0.642 * [taylor]: Taking taylor expansion of (/ -1 i) in a
0.642 * [taylor]: Taking taylor expansion of -1 in a
0.642 * [backup-simplify]: Simplify -1 into -1
0.642 * [taylor]: Taking taylor expansion of i in a
0.642 * [backup-simplify]: Simplify i into i
0.642 * [backup-simplify]: Simplify (/ -1 i) into (/ -1 i)
0.642 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.642 * [taylor]: Taking taylor expansion of (* a b) in a
0.642 * [taylor]: Taking taylor expansion of a in a
0.642 * [backup-simplify]: Simplify 0 into 0
0.642 * [backup-simplify]: Simplify 1 into 1
0.642 * [taylor]: Taking taylor expansion of b in a
0.642 * [backup-simplify]: Simplify b into b
0.642 * [backup-simplify]: Simplify (* 0 b) into 0
0.642 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
0.642 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.642 * [taylor]: Taking taylor expansion of (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))) in i
0.643 * [taylor]: Rewrote expression to (+ (* (/ -1 c) (/ -1 i)) (/ 1 (* a b)))
0.643 * [taylor]: Taking taylor expansion of (* (/ -1 c) (/ -1 i)) in i
0.643 * [taylor]: Taking taylor expansion of (/ -1 c) in i
0.643 * [taylor]: Taking taylor expansion of -1 in i
0.643 * [backup-simplify]: Simplify -1 into -1
0.643 * [taylor]: Taking taylor expansion of c in i
0.643 * [backup-simplify]: Simplify c into c
0.643 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c)
0.643 * [taylor]: Taking taylor expansion of (/ -1 i) in i
0.643 * [taylor]: Taking taylor expansion of -1 in i
0.643 * [backup-simplify]: Simplify -1 into -1
0.643 * [taylor]: Taking taylor expansion of i in i
0.643 * [backup-simplify]: Simplify 0 into 0
0.643 * [backup-simplify]: Simplify 1 into 1
0.643 * [backup-simplify]: Simplify (/ -1 1) into -1
0.643 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in i
0.643 * [taylor]: Taking taylor expansion of (* a b) in i
0.643 * [taylor]: Taking taylor expansion of a in i
0.643 * [backup-simplify]: Simplify a into a
0.643 * [taylor]: Taking taylor expansion of b in i
0.643 * [backup-simplify]: Simplify b into b
0.644 * [backup-simplify]: Simplify (* a b) into (* a b)
0.644 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.644 * [taylor]: Taking taylor expansion of (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))) in c
0.644 * [taylor]: Rewrote expression to (+ (* (/ -1 c) (/ -1 i)) (/ 1 (* a b)))
0.644 * [taylor]: Taking taylor expansion of (* (/ -1 c) (/ -1 i)) in c
0.644 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.644 * [taylor]: Taking taylor expansion of -1 in c
0.644 * [backup-simplify]: Simplify -1 into -1
0.644 * [taylor]: Taking taylor expansion of c in c
0.644 * [backup-simplify]: Simplify 0 into 0
0.644 * [backup-simplify]: Simplify 1 into 1
0.644 * [backup-simplify]: Simplify (/ -1 1) into -1
0.644 * [taylor]: Taking taylor expansion of (/ -1 i) in c
0.644 * [taylor]: Taking taylor expansion of -1 in c
0.644 * [backup-simplify]: Simplify -1 into -1
0.644 * [taylor]: Taking taylor expansion of i in c
0.644 * [backup-simplify]: Simplify i into i
0.644 * [backup-simplify]: Simplify (/ -1 i) into (/ -1 i)
0.645 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
0.645 * [taylor]: Taking taylor expansion of (* a b) in c
0.645 * [taylor]: Taking taylor expansion of a in c
0.645 * [backup-simplify]: Simplify a into a
0.645 * [taylor]: Taking taylor expansion of b in c
0.645 * [backup-simplify]: Simplify b into b
0.645 * [backup-simplify]: Simplify (* a b) into (* a b)
0.645 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.645 * [taylor]: Taking taylor expansion of (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))) in c
0.645 * [taylor]: Rewrote expression to (+ (* (/ -1 c) (/ -1 i)) (/ 1 (* a b)))
0.645 * [taylor]: Taking taylor expansion of (* (/ -1 c) (/ -1 i)) in c
0.645 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.645 * [taylor]: Taking taylor expansion of -1 in c
0.645 * [backup-simplify]: Simplify -1 into -1
0.645 * [taylor]: Taking taylor expansion of c in c
0.645 * [backup-simplify]: Simplify 0 into 0
0.645 * [backup-simplify]: Simplify 1 into 1
0.645 * [backup-simplify]: Simplify (/ -1 1) into -1
0.646 * [taylor]: Taking taylor expansion of (/ -1 i) in c
0.646 * [taylor]: Taking taylor expansion of -1 in c
0.646 * [backup-simplify]: Simplify -1 into -1
0.646 * [taylor]: Taking taylor expansion of i in c
0.646 * [backup-simplify]: Simplify i into i
0.646 * [backup-simplify]: Simplify (/ -1 i) into (/ -1 i)
0.646 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
0.646 * [taylor]: Taking taylor expansion of (* a b) in c
0.646 * [taylor]: Taking taylor expansion of a in c
0.646 * [backup-simplify]: Simplify a into a
0.646 * [taylor]: Taking taylor expansion of b in c
0.646 * [backup-simplify]: Simplify b into b
0.646 * [backup-simplify]: Simplify (* a b) into (* a b)
0.646 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.646 * [backup-simplify]: Simplify (* -1 (/ -1 i)) into (/ 1 i)
0.646 * [backup-simplify]: Simplify (+ (/ 1 i) 0) into (/ 1 i)
0.646 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.646 * [taylor]: Taking taylor expansion of i in i
0.646 * [backup-simplify]: Simplify 0 into 0
0.646 * [backup-simplify]: Simplify 1 into 1
0.647 * [backup-simplify]: Simplify (/ 1 1) into 1
0.647 * [taylor]: Taking taylor expansion of 1 in a
0.647 * [backup-simplify]: Simplify 1 into 1
0.647 * [backup-simplify]: Simplify (- (/ 0 i) (+ (* (/ -1 i) (/ 0 i)))) into 0
0.648 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.648 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 i))) into 0
0.648 * [backup-simplify]: Simplify (+ 0 (/ 1 (* a b))) into (/ 1 (* a b))
0.648 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in i
0.648 * [taylor]: Taking taylor expansion of (* a b) in i
0.648 * [taylor]: Taking taylor expansion of a in i
0.648 * [backup-simplify]: Simplify a into a
0.648 * [taylor]: Taking taylor expansion of b in i
0.648 * [backup-simplify]: Simplify b into b
0.648 * [backup-simplify]: Simplify (* a b) into (* a b)
0.648 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.649 * [taylor]: Taking taylor expansion of 0 in a
0.649 * [backup-simplify]: Simplify 0 into 0
0.649 * [taylor]: Taking taylor expansion of 1 in b
0.649 * [backup-simplify]: Simplify 1 into 1
0.649 * [backup-simplify]: Simplify (- (/ 0 i) (+ (* (/ -1 i) (/ 0 i)) (* 0 (/ 0 i)))) into 0
0.650 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.651 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 i)))) into 0
0.651 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0
0.652 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0
0.652 * [backup-simplify]: Simplify (+ 0 0) into 0
0.652 * [taylor]: Taking taylor expansion of 0 in i
0.652 * [backup-simplify]: Simplify 0 into 0
0.652 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.652 * [taylor]: Taking taylor expansion of (* a b) in a
0.652 * [taylor]: Taking taylor expansion of a in a
0.652 * [backup-simplify]: Simplify 0 into 0
0.652 * [backup-simplify]: Simplify 1 into 1
0.652 * [taylor]: Taking taylor expansion of b in a
0.652 * [backup-simplify]: Simplify b into b
0.652 * [backup-simplify]: Simplify (* 0 b) into 0
0.653 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
0.653 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.653 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.653 * [taylor]: Taking taylor expansion of b in b
0.653 * [backup-simplify]: Simplify 0 into 0
0.653 * [backup-simplify]: Simplify 1 into 1
0.653 * [backup-simplify]: Simplify (/ 1 1) into 1
0.653 * [backup-simplify]: Simplify 1 into 1
0.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.654 * [taylor]: Taking taylor expansion of 0 in a
0.654 * [backup-simplify]: Simplify 0 into 0
0.654 * [taylor]: Taking taylor expansion of 0 in b
0.654 * [backup-simplify]: Simplify 0 into 0
0.654 * [taylor]: Taking taylor expansion of 0 in b
0.654 * [backup-simplify]: Simplify 0 into 0
0.654 * [backup-simplify]: Simplify 1 into 1
0.654 * [backup-simplify]: Simplify (- (/ 0 i) (+ (* (/ -1 i) (/ 0 i)) (* 0 (/ 0 i)) (* 0 (/ 0 i)))) into 0
0.655 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.657 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 i))))) into 0
0.657 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0
0.657 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0
0.658 * [backup-simplify]: Simplify (+ 0 0) into 0
0.658 * [taylor]: Taking taylor expansion of 0 in i
0.658 * [backup-simplify]: Simplify 0 into 0
0.658 * [taylor]: Taking taylor expansion of 0 in a
0.658 * [backup-simplify]: Simplify 0 into 0
0.658 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0
0.658 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0
0.658 * [taylor]: Taking taylor expansion of 0 in a
0.658 * [backup-simplify]: Simplify 0 into 0
0.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.659 * [taylor]: Taking taylor expansion of 0 in a
0.659 * [backup-simplify]: Simplify 0 into 0
0.660 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0
0.660 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.660 * [taylor]: Taking taylor expansion of 0 in b
0.660 * [backup-simplify]: Simplify 0 into 0
0.660 * [taylor]: Taking taylor expansion of 0 in b
0.660 * [backup-simplify]: Simplify 0 into 0
0.660 * [taylor]: Taking taylor expansion of 0 in b
0.660 * [backup-simplify]: Simplify 0 into 0
0.660 * [taylor]: Taking taylor expansion of 0 in b
0.660 * [backup-simplify]: Simplify 0 into 0
0.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.661 * [backup-simplify]: Simplify 0 into 0
0.661 * [backup-simplify]: Simplify 0 into 0
0.661 * [backup-simplify]: Simplify 0 into 0
0.661 * [backup-simplify]: Simplify 0 into 0
0.661 * [backup-simplify]: Simplify (- (/ 0 i) (+ (* (/ -1 i) (/ 0 i)) (* 0 (/ 0 i)) (* 0 (/ 0 i)) (* 0 (/ 0 i)))) into 0
0.662 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.664 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 i)))))) into 0
0.665 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
0.665 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0
0.665 * [backup-simplify]: Simplify (+ 0 0) into 0
0.665 * [taylor]: Taking taylor expansion of 0 in i
0.665 * [backup-simplify]: Simplify 0 into 0
0.665 * [taylor]: Taking taylor expansion of 0 in a
0.665 * [backup-simplify]: Simplify 0 into 0
0.665 * [taylor]: Taking taylor expansion of 0 in a
0.665 * [backup-simplify]: Simplify 0 into 0
0.666 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0
0.666 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0
0.666 * [taylor]: Taking taylor expansion of 0 in a
0.666 * [backup-simplify]: Simplify 0 into 0
0.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.667 * [taylor]: Taking taylor expansion of 0 in a
0.667 * [backup-simplify]: Simplify 0 into 0
0.667 * [taylor]: Taking taylor expansion of 0 in b
0.667 * [backup-simplify]: Simplify 0 into 0
0.667 * [taylor]: Taking taylor expansion of 0 in b
0.667 * [backup-simplify]: Simplify 0 into 0
0.667 * [taylor]: Taking taylor expansion of 0 in b
0.667 * [backup-simplify]: Simplify 0 into 0
0.668 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 b)))) into 0
0.669 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
0.669 * [taylor]: Taking taylor expansion of 0 in b
0.669 * [backup-simplify]: Simplify 0 into 0
0.669 * [taylor]: Taking taylor expansion of 0 in b
0.669 * [backup-simplify]: Simplify 0 into 0
0.669 * [taylor]: Taking taylor expansion of 0 in b
0.669 * [backup-simplify]: Simplify 0 into 0
0.669 * [taylor]: Taking taylor expansion of 0 in b
0.669 * [backup-simplify]: Simplify 0 into 0
0.669 * [backup-simplify]: Simplify 0 into 0
0.669 * [backup-simplify]: Simplify 0 into 0
0.670 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- i))) (/ 1 (/ 1 (- c))))))) (* 1 (* (/ 1 (/ 1 (- b))) (* (/ 1 (/ 1 (- a))) (* 1 1))))) into (+ (* a b) (* i c))
0.670 * * * * [progress]: [ 2 / 2 ] generating series at (2 3)
0.670 * [backup-simplify]: Simplify (fma x y (fma c i (* a b))) into (fma x y (fma c i (* a b)))
0.670 * [approximate]: Taking taylor expansion of (fma x y (fma c i (* a b))) in (x y c i a b) around 0
0.670 * [taylor]: Taking taylor expansion of (fma x y (fma c i (* a b))) in b
0.670 * [taylor]: Rewrote expression to (+ (* x y) (fma c i (* a b)))
0.670 * [taylor]: Taking taylor expansion of (* x y) in b
0.670 * [taylor]: Taking taylor expansion of x in b
0.670 * [backup-simplify]: Simplify x into x
0.670 * [taylor]: Taking taylor expansion of y in b
0.670 * [backup-simplify]: Simplify y into y
0.670 * [taylor]: Taking taylor expansion of (fma c i (* a b)) in b
0.670 * [taylor]: Rewrote expression to (+ (* c i) (* a b))
0.670 * [taylor]: Taking taylor expansion of (* c i) in b
0.671 * [taylor]: Taking taylor expansion of c in b
0.671 * [backup-simplify]: Simplify c into c
0.671 * [taylor]: Taking taylor expansion of i in b
0.671 * [backup-simplify]: Simplify i into i
0.671 * [taylor]: Taking taylor expansion of (* a b) in b
0.671 * [taylor]: Taking taylor expansion of a in b
0.671 * [backup-simplify]: Simplify a into a
0.671 * [taylor]: Taking taylor expansion of b in b
0.671 * [backup-simplify]: Simplify 0 into 0
0.671 * [backup-simplify]: Simplify 1 into 1
0.671 * [taylor]: Taking taylor expansion of (fma x y (fma c i (* a b))) in a
0.671 * [taylor]: Rewrote expression to (+ (* x y) (fma c i (* a b)))
0.671 * [taylor]: Taking taylor expansion of (* x y) in a
0.671 * [taylor]: Taking taylor expansion of x in a
0.671 * [backup-simplify]: Simplify x into x
0.671 * [taylor]: Taking taylor expansion of y in a
0.671 * [backup-simplify]: Simplify y into y
0.671 * [taylor]: Taking taylor expansion of (fma c i (* a b)) in a
0.671 * [taylor]: Rewrote expression to (+ (* c i) (* a b))
0.671 * [taylor]: Taking taylor expansion of (* c i) in a
0.671 * [taylor]: Taking taylor expansion of c in a
0.671 * [backup-simplify]: Simplify c into c
0.671 * [taylor]: Taking taylor expansion of i in a
0.671 * [backup-simplify]: Simplify i into i
0.671 * [taylor]: Taking taylor expansion of (* a b) in a
0.671 * [taylor]: Taking taylor expansion of a in a
0.671 * [backup-simplify]: Simplify 0 into 0
0.671 * [backup-simplify]: Simplify 1 into 1
0.671 * [taylor]: Taking taylor expansion of b in a
0.671 * [backup-simplify]: Simplify b into b
0.671 * [taylor]: Taking taylor expansion of (fma x y (fma c i (* a b))) in i
0.672 * [taylor]: Rewrote expression to (+ (* x y) (fma c i (* a b)))
0.672 * [taylor]: Taking taylor expansion of (* x y) in i
0.672 * [taylor]: Taking taylor expansion of x in i
0.672 * [backup-simplify]: Simplify x into x
0.672 * [taylor]: Taking taylor expansion of y in i
0.672 * [backup-simplify]: Simplify y into y
0.672 * [taylor]: Taking taylor expansion of (fma c i (* a b)) in i
0.672 * [taylor]: Rewrote expression to (+ (* c i) (* a b))
0.672 * [taylor]: Taking taylor expansion of (* c i) in i
0.672 * [taylor]: Taking taylor expansion of c in i
0.672 * [backup-simplify]: Simplify c into c
0.672 * [taylor]: Taking taylor expansion of i in i
0.672 * [backup-simplify]: Simplify 0 into 0
0.672 * [backup-simplify]: Simplify 1 into 1
0.672 * [taylor]: Taking taylor expansion of (* a b) in i
0.672 * [taylor]: Taking taylor expansion of a in i
0.672 * [backup-simplify]: Simplify a into a
0.672 * [taylor]: Taking taylor expansion of b in i
0.672 * [backup-simplify]: Simplify b into b
0.672 * [taylor]: Taking taylor expansion of (fma x y (fma c i (* a b))) in c
0.672 * [taylor]: Rewrote expression to (+ (* x y) (fma c i (* a b)))
0.672 * [taylor]: Taking taylor expansion of (* x y) in c
0.672 * [taylor]: Taking taylor expansion of x in c
0.672 * [backup-simplify]: Simplify x into x
0.672 * [taylor]: Taking taylor expansion of y in c
0.672 * [backup-simplify]: Simplify y into y
0.672 * [taylor]: Taking taylor expansion of (fma c i (* a b)) in c
0.672 * [taylor]: Rewrote expression to (+ (* c i) (* a b))
0.672 * [taylor]: Taking taylor expansion of (* c i) in c
0.672 * [taylor]: Taking taylor expansion of c in c
0.672 * [backup-simplify]: Simplify 0 into 0
0.672 * [backup-simplify]: Simplify 1 into 1
0.672 * [taylor]: Taking taylor expansion of i in c
0.673 * [backup-simplify]: Simplify i into i
0.673 * [taylor]: Taking taylor expansion of (* a b) in c
0.673 * [taylor]: Taking taylor expansion of a in c
0.673 * [backup-simplify]: Simplify a into a
0.673 * [taylor]: Taking taylor expansion of b in c
0.673 * [backup-simplify]: Simplify b into b
0.673 * [taylor]: Taking taylor expansion of (fma x y (fma c i (* a b))) in y
0.673 * [taylor]: Rewrote expression to (+ (* x y) (fma c i (* a b)))
0.673 * [taylor]: Taking taylor expansion of (* x y) in y
0.673 * [taylor]: Taking taylor expansion of x in y
0.673 * [backup-simplify]: Simplify x into x
0.673 * [taylor]: Taking taylor expansion of y in y
0.673 * [backup-simplify]: Simplify 0 into 0
0.673 * [backup-simplify]: Simplify 1 into 1
0.673 * [taylor]: Taking taylor expansion of (fma c i (* a b)) in y
0.673 * [taylor]: Rewrote expression to (+ (* c i) (* a b))
0.673 * [taylor]: Taking taylor expansion of (* c i) in y
0.673 * [taylor]: Taking taylor expansion of c in y
0.673 * [backup-simplify]: Simplify c into c
0.673 * [taylor]: Taking taylor expansion of i in y
0.673 * [backup-simplify]: Simplify i into i
0.673 * [taylor]: Taking taylor expansion of (* a b) in y
0.673 * [taylor]: Taking taylor expansion of a in y
0.673 * [backup-simplify]: Simplify a into a
0.673 * [taylor]: Taking taylor expansion of b in y
0.673 * [backup-simplify]: Simplify b into b
0.673 * [taylor]: Taking taylor expansion of (fma x y (fma c i (* a b))) in x
0.673 * [taylor]: Rewrote expression to (+ (* x y) (fma c i (* a b)))
0.673 * [taylor]: Taking taylor expansion of (* x y) in x
0.673 * [taylor]: Taking taylor expansion of x in x
0.673 * [backup-simplify]: Simplify 0 into 0
0.673 * [backup-simplify]: Simplify 1 into 1
0.673 * [taylor]: Taking taylor expansion of y in x
0.673 * [backup-simplify]: Simplify y into y
0.674 * [taylor]: Taking taylor expansion of (fma c i (* a b)) in x
0.674 * [taylor]: Rewrote expression to (+ (* c i) (* a b))
0.674 * [taylor]: Taking taylor expansion of (* c i) in x
0.674 * [taylor]: Taking taylor expansion of c in x
0.674 * [backup-simplify]: Simplify c into c
0.674 * [taylor]: Taking taylor expansion of i in x
0.674 * [backup-simplify]: Simplify i into i
0.674 * [taylor]: Taking taylor expansion of (* a b) in x
0.674 * [taylor]: Taking taylor expansion of a in x
0.674 * [backup-simplify]: Simplify a into a
0.674 * [taylor]: Taking taylor expansion of b in x
0.674 * [backup-simplify]: Simplify b into b
0.674 * [taylor]: Taking taylor expansion of (fma x y (fma c i (* a b))) in x
0.674 * [taylor]: Rewrote expression to (+ (* x y) (fma c i (* a b)))
0.674 * [taylor]: Taking taylor expansion of (* x y) in x
0.674 * [taylor]: Taking taylor expansion of x in x
0.674 * [backup-simplify]: Simplify 0 into 0
0.674 * [backup-simplify]: Simplify 1 into 1
0.674 * [taylor]: Taking taylor expansion of y in x
0.674 * [backup-simplify]: Simplify y into y
0.674 * [taylor]: Taking taylor expansion of (fma c i (* a b)) in x
0.674 * [taylor]: Rewrote expression to (+ (* c i) (* a b))
0.674 * [taylor]: Taking taylor expansion of (* c i) in x
0.674 * [taylor]: Taking taylor expansion of c in x
0.674 * [backup-simplify]: Simplify c into c
0.674 * [taylor]: Taking taylor expansion of i in x
0.674 * [backup-simplify]: Simplify i into i
0.674 * [taylor]: Taking taylor expansion of (* a b) in x
0.674 * [taylor]: Taking taylor expansion of a in x
0.674 * [backup-simplify]: Simplify a into a
0.674 * [taylor]: Taking taylor expansion of b in x
0.674 * [backup-simplify]: Simplify b into b
0.675 * [backup-simplify]: Simplify (* 0 y) into 0
0.675 * [backup-simplify]: Simplify (* c i) into (* i c)
0.675 * [backup-simplify]: Simplify (* a b) into (* a b)
0.675 * [backup-simplify]: Simplify (+ (* i c) (* a b)) into (+ (* a b) (* i c))
0.675 * [backup-simplify]: Simplify (+ 0 (+ (* a b) (* i c))) into (+ (* i c) (* a b))
0.675 * [taylor]: Taking taylor expansion of (+ (* i c) (* a b)) in y
0.675 * [taylor]: Taking taylor expansion of (* i c) in y
0.675 * [taylor]: Taking taylor expansion of i in y
0.675 * [backup-simplify]: Simplify i into i
0.675 * [taylor]: Taking taylor expansion of c in y
0.675 * [backup-simplify]: Simplify c into c
0.675 * [taylor]: Taking taylor expansion of (* a b) in y
0.675 * [taylor]: Taking taylor expansion of a in y
0.675 * [backup-simplify]: Simplify a into a
0.675 * [taylor]: Taking taylor expansion of b in y
0.675 * [backup-simplify]: Simplify b into b
0.675 * [backup-simplify]: Simplify (* i c) into (* i c)
0.675 * [backup-simplify]: Simplify (* a b) into (* a b)
0.675 * [backup-simplify]: Simplify (+ (* i c) (* a b)) into (+ (* a b) (* i c))
0.675 * [taylor]: Taking taylor expansion of (+ (* a b) (* i c)) in c
0.675 * [taylor]: Taking taylor expansion of (* a b) in c
0.675 * [taylor]: Taking taylor expansion of a in c
0.675 * [backup-simplify]: Simplify a into a
0.676 * [taylor]: Taking taylor expansion of b in c
0.676 * [backup-simplify]: Simplify b into b
0.676 * [taylor]: Taking taylor expansion of (* i c) in c
0.676 * [taylor]: Taking taylor expansion of i in c
0.676 * [backup-simplify]: Simplify i into i
0.676 * [taylor]: Taking taylor expansion of c in c
0.676 * [backup-simplify]: Simplify 0 into 0
0.676 * [backup-simplify]: Simplify 1 into 1
0.676 * [backup-simplify]: Simplify (* a b) into (* a b)
0.676 * [backup-simplify]: Simplify (* i 0) into 0
0.676 * [backup-simplify]: Simplify (+ (* a b) 0) into (* a b)
0.676 * [taylor]: Taking taylor expansion of (* a b) in i
0.676 * [taylor]: Taking taylor expansion of a in i
0.676 * [backup-simplify]: Simplify a into a
0.676 * [taylor]: Taking taylor expansion of b in i
0.676 * [backup-simplify]: Simplify b into b
0.676 * [backup-simplify]: Simplify (* a b) into (* a b)
0.676 * [taylor]: Taking taylor expansion of (* a b) in a
0.676 * [taylor]: Taking taylor expansion of a in a
0.676 * [backup-simplify]: Simplify 0 into 0
0.676 * [backup-simplify]: Simplify 1 into 1
0.676 * [taylor]: Taking taylor expansion of b in a
0.676 * [backup-simplify]: Simplify b into b
0.676 * [backup-simplify]: Simplify (* 0 b) into 0
0.676 * [taylor]: Taking taylor expansion of 0 in b
0.676 * [backup-simplify]: Simplify 0 into 0
0.676 * [backup-simplify]: Simplify 0 into 0
0.677 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.677 * [backup-simplify]: Simplify (+ (* c 0) (* 0 i)) into 0
0.677 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0
0.678 * [backup-simplify]: Simplify (+ 0 0) into 0
0.678 * [backup-simplify]: Simplify (+ y 0) into y
0.678 * [taylor]: Taking taylor expansion of y in y
0.678 * [backup-simplify]: Simplify 0 into 0
0.678 * [backup-simplify]: Simplify 1 into 1
0.678 * [taylor]: Taking taylor expansion of 0 in c
0.678 * [backup-simplify]: Simplify 0 into 0
0.678 * [taylor]: Taking taylor expansion of 0 in i
0.678 * [backup-simplify]: Simplify 0 into 0
0.678 * [taylor]: Taking taylor expansion of 0 in a
0.678 * [backup-simplify]: Simplify 0 into 0
0.678 * [taylor]: Taking taylor expansion of 0 in b
0.678 * [backup-simplify]: Simplify 0 into 0
0.678 * [backup-simplify]: Simplify 0 into 0
0.678 * [backup-simplify]: Simplify (+ (* i 0) (* 0 c)) into 0
0.678 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0
0.679 * [backup-simplify]: Simplify (+ 0 0) into 0
0.679 * [taylor]: Taking taylor expansion of 0 in c
0.679 * [backup-simplify]: Simplify 0 into 0
0.679 * [taylor]: Taking taylor expansion of 0 in i
0.679 * [backup-simplify]: Simplify 0 into 0
0.679 * [taylor]: Taking taylor expansion of 0 in a
0.679 * [backup-simplify]: Simplify 0 into 0
0.679 * [taylor]: Taking taylor expansion of 0 in b
0.679 * [backup-simplify]: Simplify 0 into 0
0.679 * [backup-simplify]: Simplify 0 into 0
0.679 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0
0.680 * [backup-simplify]: Simplify (+ (* i 1) (* 0 0)) into i
0.680 * [backup-simplify]: Simplify (+ 0 i) into i
0.680 * [taylor]: Taking taylor expansion of i in i
0.680 * [backup-simplify]: Simplify 0 into 0
0.680 * [backup-simplify]: Simplify 1 into 1
0.680 * [taylor]: Taking taylor expansion of 0 in a
0.680 * [backup-simplify]: Simplify 0 into 0
0.680 * [taylor]: Taking taylor expansion of 0 in b
0.680 * [backup-simplify]: Simplify 0 into 0
0.680 * [backup-simplify]: Simplify 0 into 0
0.680 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0
0.680 * [taylor]: Taking taylor expansion of 0 in a
0.680 * [backup-simplify]: Simplify 0 into 0
0.680 * [taylor]: Taking taylor expansion of 0 in b
0.680 * [backup-simplify]: Simplify 0 into 0
0.680 * [backup-simplify]: Simplify 0 into 0
0.680 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
0.680 * [taylor]: Taking taylor expansion of b in b
0.681 * [backup-simplify]: Simplify 0 into 0
0.681 * [backup-simplify]: Simplify 1 into 1
0.681 * [backup-simplify]: Simplify 0 into 0
0.681 * [backup-simplify]: Simplify 0 into 0
0.681 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (fma (/ 1 c) (/ 1 i) (* (/ 1 a) (/ 1 b)))) into (fma (/ 1 x) (/ 1 y) (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))))
0.681 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 1 c) (/ 1 i) (/ 1 (* a b)))) in (x y c i a b) around 0
0.681 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 1 c) (/ 1 i) (/ 1 (* a b)))) in b
0.681 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))))
0.681 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in b
0.681 * [taylor]: Taking taylor expansion of (/ 1 x) in b
0.681 * [taylor]: Taking taylor expansion of x in b
0.681 * [backup-simplify]: Simplify x into x
0.681 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.681 * [taylor]: Taking taylor expansion of (/ 1 y) in b
0.681 * [taylor]: Taking taylor expansion of y in b
0.681 * [backup-simplify]: Simplify y into y
0.681 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.681 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))) in b
0.682 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 i)) (/ 1 (* a b)))
0.682 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 i)) in b
0.682 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.682 * [taylor]: Taking taylor expansion of c in b
0.682 * [backup-simplify]: Simplify c into c
0.682 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.682 * [taylor]: Taking taylor expansion of (/ 1 i) in b
0.682 * [taylor]: Taking taylor expansion of i in b
0.682 * [backup-simplify]: Simplify i into i
0.682 * [backup-simplify]: Simplify (/ 1 i) into (/ 1 i)
0.682 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
0.682 * [taylor]: Taking taylor expansion of (* a b) in b
0.682 * [taylor]: Taking taylor expansion of a in b
0.682 * [backup-simplify]: Simplify a into a
0.682 * [taylor]: Taking taylor expansion of b in b
0.682 * [backup-simplify]: Simplify 0 into 0
0.682 * [backup-simplify]: Simplify 1 into 1
0.682 * [backup-simplify]: Simplify (* a 0) into 0
0.682 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
0.682 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.682 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 1 c) (/ 1 i) (/ 1 (* a b)))) in a
0.683 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))))
0.683 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in a
0.683 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.683 * [taylor]: Taking taylor expansion of x in a
0.683 * [backup-simplify]: Simplify x into x
0.683 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.683 * [taylor]: Taking taylor expansion of (/ 1 y) in a
0.683 * [taylor]: Taking taylor expansion of y in a
0.683 * [backup-simplify]: Simplify y into y
0.683 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.683 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))) in a
0.683 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 i)) (/ 1 (* a b)))
0.683 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 i)) in a
0.683 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.683 * [taylor]: Taking taylor expansion of c in a
0.683 * [backup-simplify]: Simplify c into c
0.683 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.683 * [taylor]: Taking taylor expansion of (/ 1 i) in a
0.683 * [taylor]: Taking taylor expansion of i in a
0.683 * [backup-simplify]: Simplify i into i
0.683 * [backup-simplify]: Simplify (/ 1 i) into (/ 1 i)
0.683 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.683 * [taylor]: Taking taylor expansion of (* a b) in a
0.683 * [taylor]: Taking taylor expansion of a in a
0.683 * [backup-simplify]: Simplify 0 into 0
0.683 * [backup-simplify]: Simplify 1 into 1
0.683 * [taylor]: Taking taylor expansion of b in a
0.683 * [backup-simplify]: Simplify b into b
0.684 * [backup-simplify]: Simplify (* 0 b) into 0
0.684 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
0.684 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.684 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 1 c) (/ 1 i) (/ 1 (* a b)))) in i
0.684 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))))
0.684 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in i
0.684 * [taylor]: Taking taylor expansion of (/ 1 x) in i
0.684 * [taylor]: Taking taylor expansion of x in i
0.684 * [backup-simplify]: Simplify x into x
0.684 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.684 * [taylor]: Taking taylor expansion of (/ 1 y) in i
0.684 * [taylor]: Taking taylor expansion of y in i
0.684 * [backup-simplify]: Simplify y into y
0.684 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.684 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))) in i
0.685 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 i)) (/ 1 (* a b)))
0.685 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 i)) in i
0.685 * [taylor]: Taking taylor expansion of (/ 1 c) in i
0.685 * [taylor]: Taking taylor expansion of c in i
0.685 * [backup-simplify]: Simplify c into c
0.685 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.685 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.685 * [taylor]: Taking taylor expansion of i in i
0.685 * [backup-simplify]: Simplify 0 into 0
0.685 * [backup-simplify]: Simplify 1 into 1
0.685 * [backup-simplify]: Simplify (/ 1 1) into 1
0.685 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in i
0.685 * [taylor]: Taking taylor expansion of (* a b) in i
0.685 * [taylor]: Taking taylor expansion of a in i
0.685 * [backup-simplify]: Simplify a into a
0.685 * [taylor]: Taking taylor expansion of b in i
0.685 * [backup-simplify]: Simplify b into b
0.685 * [backup-simplify]: Simplify (* a b) into (* a b)
0.685 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.685 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 1 c) (/ 1 i) (/ 1 (* a b)))) in c
0.686 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))))
0.686 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in c
0.686 * [taylor]: Taking taylor expansion of (/ 1 x) in c
0.686 * [taylor]: Taking taylor expansion of x in c
0.686 * [backup-simplify]: Simplify x into x
0.686 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.686 * [taylor]: Taking taylor expansion of (/ 1 y) in c
0.686 * [taylor]: Taking taylor expansion of y in c
0.686 * [backup-simplify]: Simplify y into y
0.686 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.686 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))) in c
0.686 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 i)) (/ 1 (* a b)))
0.686 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 i)) in c
0.686 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.686 * [taylor]: Taking taylor expansion of c in c
0.686 * [backup-simplify]: Simplify 0 into 0
0.686 * [backup-simplify]: Simplify 1 into 1
0.687 * [backup-simplify]: Simplify (/ 1 1) into 1
0.687 * [taylor]: Taking taylor expansion of (/ 1 i) in c
0.687 * [taylor]: Taking taylor expansion of i in c
0.687 * [backup-simplify]: Simplify i into i
0.687 * [backup-simplify]: Simplify (/ 1 i) into (/ 1 i)
0.687 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
0.687 * [taylor]: Taking taylor expansion of (* a b) in c
0.687 * [taylor]: Taking taylor expansion of a in c
0.687 * [backup-simplify]: Simplify a into a
0.687 * [taylor]: Taking taylor expansion of b in c
0.687 * [backup-simplify]: Simplify b into b
0.687 * [backup-simplify]: Simplify (* a b) into (* a b)
0.687 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.687 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 1 c) (/ 1 i) (/ 1 (* a b)))) in y
0.687 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))))
0.687 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y
0.687 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.687 * [taylor]: Taking taylor expansion of x in y
0.687 * [backup-simplify]: Simplify x into x
0.687 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.687 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.687 * [taylor]: Taking taylor expansion of y in y
0.687 * [backup-simplify]: Simplify 0 into 0
0.687 * [backup-simplify]: Simplify 1 into 1
0.688 * [backup-simplify]: Simplify (/ 1 1) into 1
0.688 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))) in y
0.688 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 i)) (/ 1 (* a b)))
0.688 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 i)) in y
0.688 * [taylor]: Taking taylor expansion of (/ 1 c) in y
0.688 * [taylor]: Taking taylor expansion of c in y
0.688 * [backup-simplify]: Simplify c into c
0.688 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.688 * [taylor]: Taking taylor expansion of (/ 1 i) in y
0.688 * [taylor]: Taking taylor expansion of i in y
0.688 * [backup-simplify]: Simplify i into i
0.688 * [backup-simplify]: Simplify (/ 1 i) into (/ 1 i)
0.688 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
0.688 * [taylor]: Taking taylor expansion of (* a b) in y
0.688 * [taylor]: Taking taylor expansion of a in y
0.688 * [backup-simplify]: Simplify a into a
0.688 * [taylor]: Taking taylor expansion of b in y
0.688 * [backup-simplify]: Simplify b into b
0.688 * [backup-simplify]: Simplify (* a b) into (* a b)
0.688 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.688 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 1 c) (/ 1 i) (/ 1 (* a b)))) in x
0.689 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))))
0.689 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
0.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.689 * [taylor]: Taking taylor expansion of x in x
0.689 * [backup-simplify]: Simplify 0 into 0
0.689 * [backup-simplify]: Simplify 1 into 1
0.689 * [backup-simplify]: Simplify (/ 1 1) into 1
0.689 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.689 * [taylor]: Taking taylor expansion of y in x
0.689 * [backup-simplify]: Simplify y into y
0.689 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.689 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))) in x
0.689 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 i)) (/ 1 (* a b)))
0.689 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 i)) in x
0.689 * [taylor]: Taking taylor expansion of (/ 1 c) in x
0.689 * [taylor]: Taking taylor expansion of c in x
0.689 * [backup-simplify]: Simplify c into c
0.689 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.689 * [taylor]: Taking taylor expansion of (/ 1 i) in x
0.689 * [taylor]: Taking taylor expansion of i in x
0.690 * [backup-simplify]: Simplify i into i
0.690 * [backup-simplify]: Simplify (/ 1 i) into (/ 1 i)
0.690 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
0.690 * [taylor]: Taking taylor expansion of (* a b) in x
0.690 * [taylor]: Taking taylor expansion of a in x
0.690 * [backup-simplify]: Simplify a into a
0.690 * [taylor]: Taking taylor expansion of b in x
0.690 * [backup-simplify]: Simplify b into b
0.690 * [backup-simplify]: Simplify (* a b) into (* a b)
0.690 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.690 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (fma (/ 1 c) (/ 1 i) (/ 1 (* a b)))) in x
0.690 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))))
0.690 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
0.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.690 * [backup-simplify]: Simplify 0 into 0
0.690 * [backup-simplify]: Simplify 1 into 1
0.690 * [backup-simplify]: Simplify (/ 1 1) into 1
0.690 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.691 * [taylor]: Taking taylor expansion of y in x
0.691 * [backup-simplify]: Simplify y into y
0.691 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.691 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 i) (/ 1 (* a b))) in x
0.691 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 i)) (/ 1 (* a b)))
0.691 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 i)) in x
0.691 * [taylor]: Taking taylor expansion of (/ 1 c) in x
0.691 * [taylor]: Taking taylor expansion of c in x
0.691 * [backup-simplify]: Simplify c into c
0.691 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c)
0.691 * [taylor]: Taking taylor expansion of (/ 1 i) in x
0.691 * [taylor]: Taking taylor expansion of i in x
0.691 * [backup-simplify]: Simplify i into i
0.691 * [backup-simplify]: Simplify (/ 1 i) into (/ 1 i)
0.691 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
0.691 * [taylor]: Taking taylor expansion of (* a b) in x
0.691 * [taylor]: Taking taylor expansion of a in x
0.691 * [backup-simplify]: Simplify a into a
0.691 * [taylor]: Taking taylor expansion of b in x
0.691 * [backup-simplify]: Simplify b into b
0.691 * [backup-simplify]: Simplify (* a b) into (* a b)
0.691 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.691 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
0.692 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.692 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.692 * [taylor]: Taking taylor expansion of y in y
0.692 * [backup-simplify]: Simplify 0 into 0
0.692 * [backup-simplify]: Simplify 1 into 1
0.692 * [backup-simplify]: Simplify (/ 1 1) into 1
0.692 * [taylor]: Taking taylor expansion of 1 in c
0.692 * [backup-simplify]: Simplify 1 into 1
0.692 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.693 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.693 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 y))) into 0
0.694 * [backup-simplify]: Simplify (* (/ 1 c) (/ 1 i)) into (/ 1 (* i c))
0.694 * [backup-simplify]: Simplify (+ (/ 1 (* i c)) (/ 1 (* a b))) into (+ (/ 1 (* i c)) (/ 1 (* a b)))
0.694 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 (* i c)) (/ 1 (* a b)))) into (+ (/ 1 (* i c)) (/ 1 (* a b)))
0.694 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* a b))) in y
0.694 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in y
0.694 * [taylor]: Taking taylor expansion of (* i c) in y
0.694 * [taylor]: Taking taylor expansion of i in y
0.694 * [backup-simplify]: Simplify i into i
0.694 * [taylor]: Taking taylor expansion of c in y
0.694 * [backup-simplify]: Simplify c into c
0.694 * [backup-simplify]: Simplify (* i c) into (* i c)
0.694 * [backup-simplify]: Simplify (/ 1 (* i c)) into (/ 1 (* i c))
0.694 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
0.694 * [taylor]: Taking taylor expansion of (* a b) in y
0.694 * [taylor]: Taking taylor expansion of a in y
0.694 * [backup-simplify]: Simplify a into a
0.694 * [taylor]: Taking taylor expansion of b in y
0.694 * [backup-simplify]: Simplify b into b
0.694 * [backup-simplify]: Simplify (* a b) into (* a b)
0.694 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.695 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.695 * [taylor]: Taking taylor expansion of 0 in c
0.695 * [backup-simplify]: Simplify 0 into 0
0.695 * [taylor]: Taking taylor expansion of 1 in i
0.695 * [backup-simplify]: Simplify 1 into 1
0.696 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.697 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
0.698 * [backup-simplify]: Simplify (- (+ (* (/ 1 i) (/ 0 i)))) into 0
0.698 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
0.698 * [backup-simplify]: Simplify (+ (* (/ 1 c) 0) (* 0 (/ 1 i))) into 0
0.698 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0
0.698 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0
0.698 * [backup-simplify]: Simplify (+ 0 0) into 0
0.699 * [backup-simplify]: Simplify (+ 0 0) into 0
0.699 * [taylor]: Taking taylor expansion of 0 in y
0.699 * [backup-simplify]: Simplify 0 into 0
0.699 * [backup-simplify]: Simplify (+ (/ 1 (* i c)) (/ 1 (* a b))) into (+ (/ 1 (* i c)) (/ 1 (* a b)))
0.699 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* a b))) in c
0.699 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in c
0.699 * [taylor]: Taking taylor expansion of (* i c) in c
0.699 * [taylor]: Taking taylor expansion of i in c
0.699 * [backup-simplify]: Simplify i into i
0.699 * [taylor]: Taking taylor expansion of c in c
0.699 * [backup-simplify]: Simplify 0 into 0
0.699 * [backup-simplify]: Simplify 1 into 1
0.699 * [backup-simplify]: Simplify (* i 0) into 0
0.700 * [backup-simplify]: Simplify (+ (* i 1) (* 0 0)) into i
0.700 * [backup-simplify]: Simplify (/ 1 i) into (/ 1 i)
0.700 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
0.700 * [taylor]: Taking taylor expansion of (* a b) in c
0.700 * [taylor]: Taking taylor expansion of a in c
0.700 * [backup-simplify]: Simplify a into a
0.700 * [taylor]: Taking taylor expansion of b in c
0.700 * [backup-simplify]: Simplify b into b
0.700 * [backup-simplify]: Simplify (* a b) into (* a b)
0.700 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.700 * [backup-simplify]: Simplify (+ (/ 1 i) 0) into (/ 1 i)
0.700 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.700 * [taylor]: Taking taylor expansion of i in i
0.700 * [backup-simplify]: Simplify 0 into 0
0.700 * [backup-simplify]: Simplify 1 into 1
0.701 * [backup-simplify]: Simplify (/ 1 1) into 1
0.701 * [taylor]: Taking taylor expansion of 1 in a
0.701 * [backup-simplify]: Simplify 1 into 1
0.702 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.702 * [taylor]: Taking taylor expansion of 0 in c
0.702 * [backup-simplify]: Simplify 0 into 0
0.702 * [taylor]: Taking taylor expansion of 0 in i
0.702 * [backup-simplify]: Simplify 0 into 0
0.702 * [taylor]: Taking taylor expansion of 0 in i
0.702 * [backup-simplify]: Simplify 0 into 0
0.702 * [taylor]: Taking taylor expansion of 1 in a
0.702 * [backup-simplify]: Simplify 1 into 1
0.702 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.703 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
0.705 * [backup-simplify]: Simplify (- (+ (* (/ 1 i) (/ 0 i)) (* 0 (/ 0 i)))) into 0
0.705 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
0.705 * [backup-simplify]: Simplify (+ (* (/ 1 c) 0) (+ (* 0 0) (* 0 (/ 1 i)))) into 0
0.706 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0
0.706 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0
0.707 * [backup-simplify]: Simplify (+ 0 0) into 0
0.707 * [backup-simplify]: Simplify (+ 0 0) into 0
0.707 * [taylor]: Taking taylor expansion of 0 in y
0.707 * [backup-simplify]: Simplify 0 into 0
0.707 * [taylor]: Taking taylor expansion of 0 in c
0.707 * [backup-simplify]: Simplify 0 into 0
0.707 * [backup-simplify]: Simplify (+ (* i 0) (* 0 c)) into 0
0.708 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* i c)) (/ 0 (* i c))))) into 0
0.708 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0
0.708 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0
0.708 * [backup-simplify]: Simplify (+ 0 0) into 0
0.708 * [taylor]: Taking taylor expansion of 0 in c
0.708 * [backup-simplify]: Simplify 0 into 0
0.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.709 * [taylor]: Taking taylor expansion of 0 in c
0.709 * [backup-simplify]: Simplify 0 into 0
0.710 * [backup-simplify]: Simplify (+ (* i 0) (+ (* 0 1) (* 0 0))) into 0
0.710 * [backup-simplify]: Simplify (- (+ (* (/ 1 i) (/ 0 i)))) into 0
0.710 * [backup-simplify]: Simplify (+ 0 (/ 1 (* a b))) into (/ 1 (* a b))
0.710 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in i
0.710 * [taylor]: Taking taylor expansion of (* a b) in i
0.710 * [taylor]: Taking taylor expansion of a in i
0.710 * [backup-simplify]: Simplify a into a
0.710 * [taylor]: Taking taylor expansion of b in i
0.711 * [backup-simplify]: Simplify b into b
0.711 * [backup-simplify]: Simplify (* a b) into (* a b)
0.711 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.711 * [taylor]: Taking taylor expansion of 0 in i
0.711 * [backup-simplify]: Simplify 0 into 0
0.711 * [taylor]: Taking taylor expansion of 0 in i
0.711 * [backup-simplify]: Simplify 0 into 0
0.711 * [taylor]: Taking taylor expansion of 0 in i
0.711 * [backup-simplify]: Simplify 0 into 0
0.712 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.712 * [taylor]: Taking taylor expansion of 0 in a
0.712 * [backup-simplify]: Simplify 0 into 0
0.712 * [taylor]: Taking taylor expansion of 0 in a
0.712 * [backup-simplify]: Simplify 0 into 0
0.712 * [taylor]: Taking taylor expansion of 0 in a
0.712 * [backup-simplify]: Simplify 0 into 0
0.712 * [taylor]: Taking taylor expansion of 0 in a
0.712 * [backup-simplify]: Simplify 0 into 0
0.712 * [taylor]: Taking taylor expansion of 1 in b
0.712 * [backup-simplify]: Simplify 1 into 1
0.712 * [taylor]: Taking taylor expansion of 1 in b
0.712 * [backup-simplify]: Simplify 1 into 1
0.713 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y)))))) into 0
0.716 * [backup-simplify]: Simplify (- (+ (* (/ 1 i) (/ 0 i)) (* 0 (/ 0 i)) (* 0 (/ 0 i)))) into 0
0.716 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0
0.717 * [backup-simplify]: Simplify (+ (* (/ 1 c) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 i))))) into 0
0.717 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
0.718 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0
0.726 * [backup-simplify]: Simplify (+ 0 0) into 0
0.727 * [backup-simplify]: Simplify (+ 0 0) into 0
0.727 * [taylor]: Taking taylor expansion of 0 in y
0.727 * [backup-simplify]: Simplify 0 into 0
0.727 * [taylor]: Taking taylor expansion of 0 in c
0.727 * [backup-simplify]: Simplify 0 into 0
0.727 * [taylor]: Taking taylor expansion of 0 in c
0.728 * [backup-simplify]: Simplify 0 into 0
0.728 * [backup-simplify]: Simplify (+ (* i 0) (+ (* 0 0) (* 0 c))) into 0
0.729 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* i c)) (/ 0 (* i c))) (* 0 (/ 0 (* i c))))) into 0
0.729 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0
0.729 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0
0.730 * [backup-simplify]: Simplify (+ 0 0) into 0
0.730 * [taylor]: Taking taylor expansion of 0 in c
0.730 * [backup-simplify]: Simplify 0 into 0
0.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.731 * [taylor]: Taking taylor expansion of 0 in c
0.731 * [backup-simplify]: Simplify 0 into 0
0.731 * [taylor]: Taking taylor expansion of 0 in i
0.731 * [backup-simplify]: Simplify 0 into 0
0.731 * [taylor]: Taking taylor expansion of 0 in i
0.731 * [backup-simplify]: Simplify 0 into 0
0.731 * [taylor]: Taking taylor expansion of 0 in i
0.731 * [backup-simplify]: Simplify 0 into 0
0.732 * [backup-simplify]: Simplify (+ (* i 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.732 * [backup-simplify]: Simplify (- (+ (* (/ 1 i) (/ 0 i)) (* 0 (/ 0 i)))) into 0
0.732 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0
0.732 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0
0.733 * [backup-simplify]: Simplify (+ 0 0) into 0
0.733 * [taylor]: Taking taylor expansion of 0 in i
0.733 * [backup-simplify]: Simplify 0 into 0
0.733 * [taylor]: Taking taylor expansion of 0 in i
0.733 * [backup-simplify]: Simplify 0 into 0
0.733 * [taylor]: Taking taylor expansion of 0 in i
0.733 * [backup-simplify]: Simplify 0 into 0
0.733 * [taylor]: Taking taylor expansion of 0 in i
0.733 * [backup-simplify]: Simplify 0 into 0
0.733 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.733 * [taylor]: Taking taylor expansion of (* a b) in a
0.733 * [taylor]: Taking taylor expansion of a in a
0.733 * [backup-simplify]: Simplify 0 into 0
0.733 * [backup-simplify]: Simplify 1 into 1
0.733 * [taylor]: Taking taylor expansion of b in a
0.733 * [backup-simplify]: Simplify b into b
0.733 * [backup-simplify]: Simplify (* 0 b) into 0
0.734 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
0.734 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.734 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.734 * [taylor]: Taking taylor expansion of b in b
0.734 * [backup-simplify]: Simplify 0 into 0
0.734 * [backup-simplify]: Simplify 1 into 1
0.734 * [backup-simplify]: Simplify (/ 1 1) into 1
0.734 * [backup-simplify]: Simplify 1 into 1
0.735 * [taylor]: Taking taylor expansion of 0 in a
0.735 * [backup-simplify]: Simplify 0 into 0
0.735 * [taylor]: Taking taylor expansion of 0 in a
0.735 * [backup-simplify]: Simplify 0 into 0
0.735 * [taylor]: Taking taylor expansion of 0 in a
0.735 * [backup-simplify]: Simplify 0 into 0
0.736 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.736 * [taylor]: Taking taylor expansion of 0 in a
0.736 * [backup-simplify]: Simplify 0 into 0
0.736 * [taylor]: Taking taylor expansion of 0 in a
0.736 * [backup-simplify]: Simplify 0 into 0
0.736 * [taylor]: Taking taylor expansion of 0 in a
0.736 * [backup-simplify]: Simplify 0 into 0
0.736 * [taylor]: Taking taylor expansion of 0 in a
0.736 * [backup-simplify]: Simplify 0 into 0
0.736 * [taylor]: Taking taylor expansion of 0 in b
0.736 * [backup-simplify]: Simplify 0 into 0
0.736 * [taylor]: Taking taylor expansion of 0 in b
0.736 * [backup-simplify]: Simplify 0 into 0
0.736 * [taylor]: Taking taylor expansion of 0 in b
0.736 * [backup-simplify]: Simplify 0 into 0
0.737 * [taylor]: Taking taylor expansion of 0 in b
0.737 * [backup-simplify]: Simplify 0 into 0
0.737 * [taylor]: Taking taylor expansion of 0 in b
0.737 * [backup-simplify]: Simplify 0 into 0
0.737 * [taylor]: Taking taylor expansion of 0 in b
0.737 * [backup-simplify]: Simplify 0 into 0
0.737 * [backup-simplify]: Simplify 1 into 1
0.737 * [backup-simplify]: Simplify 1 into 1
0.740 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))))) (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 i)) (* (/ 1 (/ 1 c)) (* 1 1)))))) (* 1 (* (/ 1 (/ 1 b)) (* (/ 1 (/ 1 a)) (* 1 (* 1 (* 1 1)))))))) into (+ (* a b) (+ (* i c) (* x y)))
0.740 * [backup-simplify]: Simplify (fma (/ 1 (- x)) (/ 1 (- y)) (fma (/ 1 (- c)) (/ 1 (- i)) (* (/ 1 (- a)) (/ 1 (- b))))) into (fma (/ -1 x) (/ -1 y) (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))))
0.740 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -1 c) (/ -1 i) (/ 1 (* a b)))) in (x y c i a b) around 0
0.740 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -1 c) (/ -1 i) (/ 1 (* a b)))) in b
0.740 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))))
0.740 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in b
0.740 * [taylor]: Taking taylor expansion of (/ -1 x) in b
0.740 * [taylor]: Taking taylor expansion of -1 in b
0.740 * [backup-simplify]: Simplify -1 into -1
0.740 * [taylor]: Taking taylor expansion of x in b
0.740 * [backup-simplify]: Simplify x into x
0.740 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.740 * [taylor]: Taking taylor expansion of (/ -1 y) in b
0.740 * [taylor]: Taking taylor expansion of -1 in b
0.740 * [backup-simplify]: Simplify -1 into -1
0.741 * [taylor]: Taking taylor expansion of y in b
0.741 * [backup-simplify]: Simplify y into y
0.741 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.741 * [taylor]: Taking taylor expansion of (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))) in b
0.741 * [taylor]: Rewrote expression to (+ (* (/ -1 c) (/ -1 i)) (/ 1 (* a b)))
0.741 * [taylor]: Taking taylor expansion of (* (/ -1 c) (/ -1 i)) in b
0.741 * [taylor]: Taking taylor expansion of (/ -1 c) in b
0.741 * [taylor]: Taking taylor expansion of -1 in b
0.741 * [backup-simplify]: Simplify -1 into -1
0.741 * [taylor]: Taking taylor expansion of c in b
0.741 * [backup-simplify]: Simplify c into c
0.741 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c)
0.741 * [taylor]: Taking taylor expansion of (/ -1 i) in b
0.741 * [taylor]: Taking taylor expansion of -1 in b
0.741 * [backup-simplify]: Simplify -1 into -1
0.741 * [taylor]: Taking taylor expansion of i in b
0.741 * [backup-simplify]: Simplify i into i
0.741 * [backup-simplify]: Simplify (/ -1 i) into (/ -1 i)
0.741 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
0.741 * [taylor]: Taking taylor expansion of (* a b) in b
0.741 * [taylor]: Taking taylor expansion of a in b
0.741 * [backup-simplify]: Simplify a into a
0.741 * [taylor]: Taking taylor expansion of b in b
0.741 * [backup-simplify]: Simplify 0 into 0
0.741 * [backup-simplify]: Simplify 1 into 1
0.741 * [backup-simplify]: Simplify (* a 0) into 0
0.742 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
0.742 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.742 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -1 c) (/ -1 i) (/ 1 (* a b)))) in a
0.742 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))))
0.742 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in a
0.742 * [taylor]: Taking taylor expansion of (/ -1 x) in a
0.742 * [taylor]: Taking taylor expansion of -1 in a
0.742 * [backup-simplify]: Simplify -1 into -1
0.742 * [taylor]: Taking taylor expansion of x in a
0.742 * [backup-simplify]: Simplify x into x
0.742 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.742 * [taylor]: Taking taylor expansion of (/ -1 y) in a
0.742 * [taylor]: Taking taylor expansion of -1 in a
0.742 * [backup-simplify]: Simplify -1 into -1
0.742 * [taylor]: Taking taylor expansion of y in a
0.742 * [backup-simplify]: Simplify y into y
0.742 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.742 * [taylor]: Taking taylor expansion of (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))) in a
0.743 * [taylor]: Rewrote expression to (+ (* (/ -1 c) (/ -1 i)) (/ 1 (* a b)))
0.743 * [taylor]: Taking taylor expansion of (* (/ -1 c) (/ -1 i)) in a
0.743 * [taylor]: Taking taylor expansion of (/ -1 c) in a
0.743 * [taylor]: Taking taylor expansion of -1 in a
0.743 * [backup-simplify]: Simplify -1 into -1
0.743 * [taylor]: Taking taylor expansion of c in a
0.743 * [backup-simplify]: Simplify c into c
0.743 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c)
0.743 * [taylor]: Taking taylor expansion of (/ -1 i) in a
0.743 * [taylor]: Taking taylor expansion of -1 in a
0.743 * [backup-simplify]: Simplify -1 into -1
0.743 * [taylor]: Taking taylor expansion of i in a
0.743 * [backup-simplify]: Simplify i into i
0.743 * [backup-simplify]: Simplify (/ -1 i) into (/ -1 i)
0.743 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.743 * [taylor]: Taking taylor expansion of (* a b) in a
0.743 * [taylor]: Taking taylor expansion of a in a
0.743 * [backup-simplify]: Simplify 0 into 0
0.743 * [backup-simplify]: Simplify 1 into 1
0.743 * [taylor]: Taking taylor expansion of b in a
0.743 * [backup-simplify]: Simplify b into b
0.743 * [backup-simplify]: Simplify (* 0 b) into 0
0.744 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
0.744 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.744 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -1 c) (/ -1 i) (/ 1 (* a b)))) in i
0.744 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))))
0.744 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in i
0.744 * [taylor]: Taking taylor expansion of (/ -1 x) in i
0.744 * [taylor]: Taking taylor expansion of -1 in i
0.744 * [backup-simplify]: Simplify -1 into -1
0.744 * [taylor]: Taking taylor expansion of x in i
0.744 * [backup-simplify]: Simplify x into x
0.744 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.744 * [taylor]: Taking taylor expansion of (/ -1 y) in i
0.744 * [taylor]: Taking taylor expansion of -1 in i
0.744 * [backup-simplify]: Simplify -1 into -1
0.744 * [taylor]: Taking taylor expansion of y in i
0.744 * [backup-simplify]: Simplify y into y
0.744 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.744 * [taylor]: Taking taylor expansion of (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))) in i
0.744 * [taylor]: Rewrote expression to (+ (* (/ -1 c) (/ -1 i)) (/ 1 (* a b)))
0.745 * [taylor]: Taking taylor expansion of (* (/ -1 c) (/ -1 i)) in i
0.745 * [taylor]: Taking taylor expansion of (/ -1 c) in i
0.745 * [taylor]: Taking taylor expansion of -1 in i
0.745 * [backup-simplify]: Simplify -1 into -1
0.745 * [taylor]: Taking taylor expansion of c in i
0.745 * [backup-simplify]: Simplify c into c
0.745 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c)
0.745 * [taylor]: Taking taylor expansion of (/ -1 i) in i
0.745 * [taylor]: Taking taylor expansion of -1 in i
0.745 * [backup-simplify]: Simplify -1 into -1
0.745 * [taylor]: Taking taylor expansion of i in i
0.745 * [backup-simplify]: Simplify 0 into 0
0.745 * [backup-simplify]: Simplify 1 into 1
0.745 * [backup-simplify]: Simplify (/ -1 1) into -1
0.745 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in i
0.745 * [taylor]: Taking taylor expansion of (* a b) in i
0.745 * [taylor]: Taking taylor expansion of a in i
0.745 * [backup-simplify]: Simplify a into a
0.745 * [taylor]: Taking taylor expansion of b in i
0.745 * [backup-simplify]: Simplify b into b
0.746 * [backup-simplify]: Simplify (* a b) into (* a b)
0.746 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.746 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -1 c) (/ -1 i) (/ 1 (* a b)))) in c
0.746 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))))
0.746 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in c
0.746 * [taylor]: Taking taylor expansion of (/ -1 x) in c
0.746 * [taylor]: Taking taylor expansion of -1 in c
0.746 * [backup-simplify]: Simplify -1 into -1
0.746 * [taylor]: Taking taylor expansion of x in c
0.746 * [backup-simplify]: Simplify x into x
0.746 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.746 * [taylor]: Taking taylor expansion of (/ -1 y) in c
0.746 * [taylor]: Taking taylor expansion of -1 in c
0.746 * [backup-simplify]: Simplify -1 into -1
0.746 * [taylor]: Taking taylor expansion of y in c
0.746 * [backup-simplify]: Simplify y into y
0.746 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.746 * [taylor]: Taking taylor expansion of (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))) in c
0.746 * [taylor]: Rewrote expression to (+ (* (/ -1 c) (/ -1 i)) (/ 1 (* a b)))
0.746 * [taylor]: Taking taylor expansion of (* (/ -1 c) (/ -1 i)) in c
0.746 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.746 * [taylor]: Taking taylor expansion of -1 in c
0.746 * [backup-simplify]: Simplify -1 into -1
0.746 * [taylor]: Taking taylor expansion of c in c
0.746 * [backup-simplify]: Simplify 0 into 0
0.746 * [backup-simplify]: Simplify 1 into 1
0.747 * [backup-simplify]: Simplify (/ -1 1) into -1
0.747 * [taylor]: Taking taylor expansion of (/ -1 i) in c
0.747 * [taylor]: Taking taylor expansion of -1 in c
0.747 * [backup-simplify]: Simplify -1 into -1
0.747 * [taylor]: Taking taylor expansion of i in c
0.747 * [backup-simplify]: Simplify i into i
0.747 * [backup-simplify]: Simplify (/ -1 i) into (/ -1 i)
0.747 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
0.747 * [taylor]: Taking taylor expansion of (* a b) in c
0.747 * [taylor]: Taking taylor expansion of a in c
0.747 * [backup-simplify]: Simplify a into a
0.747 * [taylor]: Taking taylor expansion of b in c
0.747 * [backup-simplify]: Simplify b into b
0.747 * [backup-simplify]: Simplify (* a b) into (* a b)
0.747 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.747 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -1 c) (/ -1 i) (/ 1 (* a b)))) in y
0.748 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))))
0.748 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y
0.748 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.748 * [taylor]: Taking taylor expansion of -1 in y
0.748 * [backup-simplify]: Simplify -1 into -1
0.748 * [taylor]: Taking taylor expansion of x in y
0.748 * [backup-simplify]: Simplify x into x
0.748 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.748 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.748 * [taylor]: Taking taylor expansion of -1 in y
0.748 * [backup-simplify]: Simplify -1 into -1
0.748 * [taylor]: Taking taylor expansion of y in y
0.748 * [backup-simplify]: Simplify 0 into 0
0.748 * [backup-simplify]: Simplify 1 into 1
0.748 * [backup-simplify]: Simplify (/ -1 1) into -1
0.749 * [taylor]: Taking taylor expansion of (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))) in y
0.749 * [taylor]: Rewrote expression to (+ (* (/ -1 c) (/ -1 i)) (/ 1 (* a b)))
0.749 * [taylor]: Taking taylor expansion of (* (/ -1 c) (/ -1 i)) in y
0.749 * [taylor]: Taking taylor expansion of (/ -1 c) in y
0.749 * [taylor]: Taking taylor expansion of -1 in y
0.749 * [backup-simplify]: Simplify -1 into -1
0.749 * [taylor]: Taking taylor expansion of c in y
0.749 * [backup-simplify]: Simplify c into c
0.749 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c)
0.749 * [taylor]: Taking taylor expansion of (/ -1 i) in y
0.749 * [taylor]: Taking taylor expansion of -1 in y
0.749 * [backup-simplify]: Simplify -1 into -1
0.749 * [taylor]: Taking taylor expansion of i in y
0.749 * [backup-simplify]: Simplify i into i
0.749 * [backup-simplify]: Simplify (/ -1 i) into (/ -1 i)
0.749 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
0.749 * [taylor]: Taking taylor expansion of (* a b) in y
0.749 * [taylor]: Taking taylor expansion of a in y
0.749 * [backup-simplify]: Simplify a into a
0.749 * [taylor]: Taking taylor expansion of b in y
0.749 * [backup-simplify]: Simplify b into b
0.749 * [backup-simplify]: Simplify (* a b) into (* a b)
0.749 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.749 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -1 c) (/ -1 i) (/ 1 (* a b)))) in x
0.749 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))))
0.750 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
0.750 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.750 * [taylor]: Taking taylor expansion of -1 in x
0.750 * [backup-simplify]: Simplify -1 into -1
0.750 * [taylor]: Taking taylor expansion of x in x
0.750 * [backup-simplify]: Simplify 0 into 0
0.750 * [backup-simplify]: Simplify 1 into 1
0.750 * [backup-simplify]: Simplify (/ -1 1) into -1
0.750 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.750 * [taylor]: Taking taylor expansion of -1 in x
0.750 * [backup-simplify]: Simplify -1 into -1
0.750 * [taylor]: Taking taylor expansion of y in x
0.750 * [backup-simplify]: Simplify y into y
0.750 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.750 * [taylor]: Taking taylor expansion of (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))) in x
0.750 * [taylor]: Rewrote expression to (+ (* (/ -1 c) (/ -1 i)) (/ 1 (* a b)))
0.751 * [taylor]: Taking taylor expansion of (* (/ -1 c) (/ -1 i)) in x
0.751 * [taylor]: Taking taylor expansion of (/ -1 c) in x
0.751 * [taylor]: Taking taylor expansion of -1 in x
0.751 * [backup-simplify]: Simplify -1 into -1
0.751 * [taylor]: Taking taylor expansion of c in x
0.751 * [backup-simplify]: Simplify c into c
0.751 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c)
0.751 * [taylor]: Taking taylor expansion of (/ -1 i) in x
0.751 * [taylor]: Taking taylor expansion of -1 in x
0.751 * [backup-simplify]: Simplify -1 into -1
0.751 * [taylor]: Taking taylor expansion of i in x
0.751 * [backup-simplify]: Simplify i into i
0.751 * [backup-simplify]: Simplify (/ -1 i) into (/ -1 i)
0.751 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
0.751 * [taylor]: Taking taylor expansion of (* a b) in x
0.751 * [taylor]: Taking taylor expansion of a in x
0.751 * [backup-simplify]: Simplify a into a
0.751 * [taylor]: Taking taylor expansion of b in x
0.751 * [backup-simplify]: Simplify b into b
0.751 * [backup-simplify]: Simplify (* a b) into (* a b)
0.751 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.751 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (fma (/ -1 c) (/ -1 i) (/ 1 (* a b)))) in x
0.751 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))))
0.751 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
0.751 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.751 * [taylor]: Taking taylor expansion of -1 in x
0.751 * [backup-simplify]: Simplify -1 into -1
0.751 * [taylor]: Taking taylor expansion of x in x
0.752 * [backup-simplify]: Simplify 0 into 0
0.752 * [backup-simplify]: Simplify 1 into 1
0.752 * [backup-simplify]: Simplify (/ -1 1) into -1
0.752 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.752 * [taylor]: Taking taylor expansion of -1 in x
0.752 * [backup-simplify]: Simplify -1 into -1
0.752 * [taylor]: Taking taylor expansion of y in x
0.752 * [backup-simplify]: Simplify y into y
0.752 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.752 * [taylor]: Taking taylor expansion of (fma (/ -1 c) (/ -1 i) (/ 1 (* a b))) in x
0.752 * [taylor]: Rewrote expression to (+ (* (/ -1 c) (/ -1 i)) (/ 1 (* a b)))
0.752 * [taylor]: Taking taylor expansion of (* (/ -1 c) (/ -1 i)) in x
0.752 * [taylor]: Taking taylor expansion of (/ -1 c) in x
0.752 * [taylor]: Taking taylor expansion of -1 in x
0.752 * [backup-simplify]: Simplify -1 into -1
0.752 * [taylor]: Taking taylor expansion of c in x
0.752 * [backup-simplify]: Simplify c into c
0.753 * [backup-simplify]: Simplify (/ -1 c) into (/ -1 c)
0.753 * [taylor]: Taking taylor expansion of (/ -1 i) in x
0.753 * [taylor]: Taking taylor expansion of -1 in x
0.753 * [backup-simplify]: Simplify -1 into -1
0.753 * [taylor]: Taking taylor expansion of i in x
0.753 * [backup-simplify]: Simplify i into i
0.753 * [backup-simplify]: Simplify (/ -1 i) into (/ -1 i)
0.753 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
0.753 * [taylor]: Taking taylor expansion of (* a b) in x
0.753 * [taylor]: Taking taylor expansion of a in x
0.753 * [backup-simplify]: Simplify a into a
0.753 * [taylor]: Taking taylor expansion of b in x
0.753 * [backup-simplify]: Simplify b into b
0.753 * [backup-simplify]: Simplify (* a b) into (* a b)
0.753 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.753 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
0.753 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.753 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.753 * [taylor]: Taking taylor expansion of y in y
0.753 * [backup-simplify]: Simplify 0 into 0
0.753 * [backup-simplify]: Simplify 1 into 1
0.754 * [backup-simplify]: Simplify (/ 1 1) into 1
0.754 * [taylor]: Taking taylor expansion of 1 in c
0.754 * [backup-simplify]: Simplify 1 into 1
0.754 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
0.755 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.755 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 y))) into 0
0.755 * [backup-simplify]: Simplify (* (/ -1 c) (/ -1 i)) into (/ 1 (* i c))
0.756 * [backup-simplify]: Simplify (+ (/ 1 (* i c)) (/ 1 (* a b))) into (+ (/ 1 (* i c)) (/ 1 (* a b)))
0.756 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 (* i c)) (/ 1 (* a b)))) into (+ (/ 1 (* i c)) (/ 1 (* a b)))
0.756 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* a b))) in y
0.756 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in y
0.756 * [taylor]: Taking taylor expansion of (* i c) in y
0.756 * [taylor]: Taking taylor expansion of i in y
0.756 * [backup-simplify]: Simplify i into i
0.756 * [taylor]: Taking taylor expansion of c in y
0.756 * [backup-simplify]: Simplify c into c
0.756 * [backup-simplify]: Simplify (* i c) into (* i c)
0.756 * [backup-simplify]: Simplify (/ 1 (* i c)) into (/ 1 (* i c))
0.756 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
0.756 * [taylor]: Taking taylor expansion of (* a b) in y
0.756 * [taylor]: Taking taylor expansion of a in y
0.756 * [backup-simplify]: Simplify a into a
0.756 * [taylor]: Taking taylor expansion of b in y
0.756 * [backup-simplify]: Simplify b into b
0.756 * [backup-simplify]: Simplify (* a b) into (* a b)
0.756 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.757 * [taylor]: Taking taylor expansion of 0 in c
0.757 * [backup-simplify]: Simplify 0 into 0
0.757 * [taylor]: Taking taylor expansion of 1 in i
0.757 * [backup-simplify]: Simplify 1 into 1
0.757 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.759 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.760 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0
0.760 * [backup-simplify]: Simplify (- (/ 0 i) (+ (* (/ -1 i) (/ 0 i)))) into 0
0.760 * [backup-simplify]: Simplify (- (/ 0 c) (+ (* (/ -1 c) (/ 0 c)))) into 0
0.760 * [backup-simplify]: Simplify (+ (* (/ -1 c) 0) (* 0 (/ -1 i))) into 0
0.760 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0
0.760 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0
0.761 * [backup-simplify]: Simplify (+ 0 0) into 0
0.761 * [backup-simplify]: Simplify (+ 0 0) into 0
0.761 * [taylor]: Taking taylor expansion of 0 in y
0.761 * [backup-simplify]: Simplify 0 into 0
0.761 * [backup-simplify]: Simplify (+ (/ 1 (* i c)) (/ 1 (* a b))) into (+ (/ 1 (* i c)) (/ 1 (* a b)))
0.761 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* a b))) in c
0.761 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in c
0.761 * [taylor]: Taking taylor expansion of (* i c) in c
0.761 * [taylor]: Taking taylor expansion of i in c
0.761 * [backup-simplify]: Simplify i into i
0.761 * [taylor]: Taking taylor expansion of c in c
0.762 * [backup-simplify]: Simplify 0 into 0
0.762 * [backup-simplify]: Simplify 1 into 1
0.762 * [backup-simplify]: Simplify (* i 0) into 0
0.762 * [backup-simplify]: Simplify (+ (* i 1) (* 0 0)) into i
0.762 * [backup-simplify]: Simplify (/ 1 i) into (/ 1 i)
0.762 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
0.762 * [taylor]: Taking taylor expansion of (* a b) in c
0.762 * [taylor]: Taking taylor expansion of a in c
0.762 * [backup-simplify]: Simplify a into a
0.762 * [taylor]: Taking taylor expansion of b in c
0.762 * [backup-simplify]: Simplify b into b
0.762 * [backup-simplify]: Simplify (* a b) into (* a b)
0.762 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.762 * [backup-simplify]: Simplify (+ (/ 1 i) 0) into (/ 1 i)
0.762 * [taylor]: Taking taylor expansion of (/ 1 i) in i
0.763 * [taylor]: Taking taylor expansion of i in i
0.763 * [backup-simplify]: Simplify 0 into 0
0.763 * [backup-simplify]: Simplify 1 into 1
0.763 * [backup-simplify]: Simplify (/ 1 1) into 1
0.763 * [taylor]: Taking taylor expansion of 1 in a
0.763 * [backup-simplify]: Simplify 1 into 1
0.764 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.764 * [taylor]: Taking taylor expansion of 0 in c
0.764 * [backup-simplify]: Simplify 0 into 0
0.764 * [taylor]: Taking taylor expansion of 0 in i
0.764 * [backup-simplify]: Simplify 0 into 0
0.764 * [taylor]: Taking taylor expansion of 0 in i
0.764 * [backup-simplify]: Simplify 0 into 0
0.764 * [taylor]: Taking taylor expansion of 1 in a
0.764 * [backup-simplify]: Simplify 1 into 1
0.765 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.766 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.767 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0
0.767 * [backup-simplify]: Simplify (- (/ 0 i) (+ (* (/ -1 i) (/ 0 i)) (* 0 (/ 0 i)))) into 0
0.767 * [backup-simplify]: Simplify (- (/ 0 c) (+ (* (/ -1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
0.768 * [backup-simplify]: Simplify (+ (* (/ -1 c) 0) (+ (* 0 0) (* 0 (/ -1 i)))) into 0
0.768 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0
0.769 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0
0.769 * [backup-simplify]: Simplify (+ 0 0) into 0
0.769 * [backup-simplify]: Simplify (+ 0 0) into 0
0.769 * [taylor]: Taking taylor expansion of 0 in y
0.769 * [backup-simplify]: Simplify 0 into 0
0.769 * [taylor]: Taking taylor expansion of 0 in c
0.769 * [backup-simplify]: Simplify 0 into 0
0.770 * [backup-simplify]: Simplify (+ (* i 0) (* 0 c)) into 0
0.770 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* i c)) (/ 0 (* i c))))) into 0
0.770 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0
0.770 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0
0.770 * [backup-simplify]: Simplify (+ 0 0) into 0
0.770 * [taylor]: Taking taylor expansion of 0 in c
0.770 * [backup-simplify]: Simplify 0 into 0
0.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.771 * [taylor]: Taking taylor expansion of 0 in c
0.771 * [backup-simplify]: Simplify 0 into 0
0.772 * [backup-simplify]: Simplify (+ (* i 0) (+ (* 0 1) (* 0 0))) into 0
0.772 * [backup-simplify]: Simplify (- (+ (* (/ 1 i) (/ 0 i)))) into 0
0.772 * [backup-simplify]: Simplify (+ 0 (/ 1 (* a b))) into (/ 1 (* a b))
0.772 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in i
0.772 * [taylor]: Taking taylor expansion of (* a b) in i
0.773 * [taylor]: Taking taylor expansion of a in i
0.773 * [backup-simplify]: Simplify a into a
0.773 * [taylor]: Taking taylor expansion of b in i
0.773 * [backup-simplify]: Simplify b into b
0.773 * [backup-simplify]: Simplify (* a b) into (* a b)
0.773 * [backup-simplify]: Simplify (/ 1 (* a b)) into (/ 1 (* a b))
0.773 * [taylor]: Taking taylor expansion of 0 in i
0.773 * [backup-simplify]: Simplify 0 into 0
0.773 * [taylor]: Taking taylor expansion of 0 in i
0.773 * [backup-simplify]: Simplify 0 into 0
0.773 * [taylor]: Taking taylor expansion of 0 in i
0.773 * [backup-simplify]: Simplify 0 into 0
0.774 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.774 * [taylor]: Taking taylor expansion of 0 in a
0.774 * [backup-simplify]: Simplify 0 into 0
0.774 * [taylor]: Taking taylor expansion of 0 in a
0.774 * [backup-simplify]: Simplify 0 into 0
0.774 * [taylor]: Taking taylor expansion of 0 in a
0.774 * [backup-simplify]: Simplify 0 into 0
0.774 * [taylor]: Taking taylor expansion of 0 in a
0.774 * [backup-simplify]: Simplify 0 into 0
0.774 * [taylor]: Taking taylor expansion of 1 in b
0.774 * [backup-simplify]: Simplify 1 into 1
0.774 * [taylor]: Taking taylor expansion of 1 in b
0.774 * [backup-simplify]: Simplify 1 into 1
0.775 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.776 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.777 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y)))))) into 0
0.778 * [backup-simplify]: Simplify (- (/ 0 i) (+ (* (/ -1 i) (/ 0 i)) (* 0 (/ 0 i)) (* 0 (/ 0 i)))) into 0
0.778 * [backup-simplify]: Simplify (- (/ 0 c) (+ (* (/ -1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0
0.779 * [backup-simplify]: Simplify (+ (* (/ -1 c) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 i))))) into 0
0.780 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
0.780 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0
0.780 * [backup-simplify]: Simplify (+ 0 0) into 0
0.781 * [backup-simplify]: Simplify (+ 0 0) into 0
0.781 * [taylor]: Taking taylor expansion of 0 in y
0.781 * [backup-simplify]: Simplify 0 into 0
0.781 * [taylor]: Taking taylor expansion of 0 in c
0.781 * [backup-simplify]: Simplify 0 into 0
0.781 * [taylor]: Taking taylor expansion of 0 in c
0.781 * [backup-simplify]: Simplify 0 into 0
0.781 * [backup-simplify]: Simplify (+ (* i 0) (+ (* 0 0) (* 0 c))) into 0
0.782 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* i c)) (/ 0 (* i c))) (* 0 (/ 0 (* i c))))) into 0
0.782 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 b))) into 0
0.782 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))) (* 0 (/ 0 (* a b))))) into 0
0.783 * [backup-simplify]: Simplify (+ 0 0) into 0
0.783 * [taylor]: Taking taylor expansion of 0 in c
0.783 * [backup-simplify]: Simplify 0 into 0
0.784 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.784 * [taylor]: Taking taylor expansion of 0 in c
0.784 * [backup-simplify]: Simplify 0 into 0
0.784 * [taylor]: Taking taylor expansion of 0 in i
0.784 * [backup-simplify]: Simplify 0 into 0
0.784 * [taylor]: Taking taylor expansion of 0 in i
0.784 * [backup-simplify]: Simplify 0 into 0
0.784 * [taylor]: Taking taylor expansion of 0 in i
0.784 * [backup-simplify]: Simplify 0 into 0
0.785 * [backup-simplify]: Simplify (+ (* i 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.785 * [backup-simplify]: Simplify (- (+ (* (/ 1 i) (/ 0 i)) (* 0 (/ 0 i)))) into 0
0.785 * [backup-simplify]: Simplify (+ (* a 0) (* 0 b)) into 0
0.785 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* a b)) (/ 0 (* a b))))) into 0
0.786 * [backup-simplify]: Simplify (+ 0 0) into 0
0.786 * [taylor]: Taking taylor expansion of 0 in i
0.786 * [backup-simplify]: Simplify 0 into 0
0.786 * [taylor]: Taking taylor expansion of 0 in i
0.786 * [backup-simplify]: Simplify 0 into 0
0.786 * [taylor]: Taking taylor expansion of 0 in i
0.786 * [backup-simplify]: Simplify 0 into 0
0.786 * [taylor]: Taking taylor expansion of 0 in i
0.786 * [backup-simplify]: Simplify 0 into 0
0.786 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.786 * [taylor]: Taking taylor expansion of (* a b) in a
0.786 * [taylor]: Taking taylor expansion of a in a
0.786 * [backup-simplify]: Simplify 0 into 0
0.786 * [backup-simplify]: Simplify 1 into 1
0.786 * [taylor]: Taking taylor expansion of b in a
0.786 * [backup-simplify]: Simplify b into b
0.787 * [backup-simplify]: Simplify (* 0 b) into 0
0.787 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
0.787 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.787 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.788 * [taylor]: Taking taylor expansion of b in b
0.788 * [backup-simplify]: Simplify 0 into 0
0.788 * [backup-simplify]: Simplify 1 into 1
0.788 * [backup-simplify]: Simplify (/ 1 1) into 1
0.788 * [backup-simplify]: Simplify 1 into 1
0.788 * [taylor]: Taking taylor expansion of 0 in a
0.788 * [backup-simplify]: Simplify 0 into 0
0.788 * [taylor]: Taking taylor expansion of 0 in a
0.788 * [backup-simplify]: Simplify 0 into 0
0.788 * [taylor]: Taking taylor expansion of 0 in a
0.788 * [backup-simplify]: Simplify 0 into 0
0.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.789 * [taylor]: Taking taylor expansion of 0 in a
0.789 * [backup-simplify]: Simplify 0 into 0
0.789 * [taylor]: Taking taylor expansion of 0 in a
0.789 * [backup-simplify]: Simplify 0 into 0
0.789 * [taylor]: Taking taylor expansion of 0 in a
0.790 * [backup-simplify]: Simplify 0 into 0
0.790 * [taylor]: Taking taylor expansion of 0 in a
0.790 * [backup-simplify]: Simplify 0 into 0
0.790 * [taylor]: Taking taylor expansion of 0 in b
0.790 * [backup-simplify]: Simplify 0 into 0
0.790 * [taylor]: Taking taylor expansion of 0 in b
0.790 * [backup-simplify]: Simplify 0 into 0
0.790 * [taylor]: Taking taylor expansion of 0 in b
0.790 * [backup-simplify]: Simplify 0 into 0
0.790 * [taylor]: Taking taylor expansion of 0 in b
0.790 * [backup-simplify]: Simplify 0 into 0
0.790 * [taylor]: Taking taylor expansion of 0 in b
0.790 * [backup-simplify]: Simplify 0 into 0
0.790 * [taylor]: Taking taylor expansion of 0 in b
0.790 * [backup-simplify]: Simplify 0 into 0
0.791 * [backup-simplify]: Simplify 1 into 1
0.791 * [backup-simplify]: Simplify 1 into 1
0.792 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))))) (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- i))) (* (/ 1 (/ 1 (- c))) (* 1 1)))))) (* 1 (* (/ 1 (/ 1 (- b))) (* (/ 1 (/ 1 (- a))) (* 1 (* 1 (* 1 1)))))))) into (+ (* a b) (+ (* i c) (* x y)))
0.793 * * * [progress]: simplifying candidates
0.793 * * * * [progress]: [ 1 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (fma x y (log1p (expm1 (fma c i (* a b)))))))>
0.793 * * * * [progress]: [ 2 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (fma x y (expm1 (log1p (fma c i (* a b)))))))>
0.793 * * * * [progress]: [ 3 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (fma x y (+ (* c i) (* a b)))))>
0.793 * * * * [progress]: [ 4 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (fma x y (pow (fma c i (* a b)) 1))))>
0.793 * * * * [progress]: [ 5 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (fma x y (exp (log (fma c i (* a b)))))))>
0.793 * * * * [progress]: [ 6 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (fma x y (log (exp (fma c i (* a b)))))))>
0.793 * * * * [progress]: [ 7 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (fma x y (* (* (cbrt (fma c i (* a b))) (cbrt (fma c i (* a b)))) (cbrt (fma c i (* a b)))))))>
0.793 * * * * [progress]: [ 8 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (fma x y (cbrt (* (* (fma c i (* a b)) (fma c i (* a b))) (fma c i (* a b)))))))>
0.793 * * * * [progress]: [ 9 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (fma x y (* (sqrt (fma c i (* a b))) (sqrt (fma c i (* a b)))))))>
0.793 * * * * [progress]: [ 10 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (fma x y (* 1 (fma c i (* a b))))))>
0.793 * * * * [progress]: [ 11 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (fma x y (posit16->real (real->posit16 (fma c i (* a b)))))))>
0.793 * * * * [progress]: [ 12 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (log1p (expm1 (fma x y (fma c i (* a b)))))))>
0.793 * * * * [progress]: [ 13 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (expm1 (log1p (fma x y (fma c i (* a b)))))))>
0.793 * * * * [progress]: [ 14 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (+ (* x y) (fma c i (* a b)))))>
0.794 * * * * [progress]: [ 15 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (pow (fma x y (fma c i (* a b))) 1)))>
0.794 * * * * [progress]: [ 16 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (exp (log (fma x y (fma c i (* a b)))))))>
0.794 * * * * [progress]: [ 17 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (log (exp (fma x y (fma c i (* a b)))))))>
0.794 * * * * [progress]: [ 18 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (* (* (cbrt (fma x y (fma c i (* a b)))) (cbrt (fma x y (fma c i (* a b))))) (cbrt (fma x y (fma c i (* a b)))))))>
0.794 * * * * [progress]: [ 19 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (cbrt (* (* (fma x y (fma c i (* a b))) (fma x y (fma c i (* a b)))) (fma x y (fma c i (* a b)))))))>
0.794 * * * * [progress]: [ 20 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (* (sqrt (fma x y (fma c i (* a b)))) (sqrt (fma x y (fma c i (* a b)))))))>
0.794 * * * * [progress]: [ 21 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (* 1 (fma x y (fma c i (* a b))))))>
0.794 * * * * [progress]: [ 22 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (posit16->real (real->posit16 (fma x y (fma c i (* a b)))))))>
0.794 * * * * [progress]: [ 23 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (fma x y 0)))>
0.794 * * * * [progress]: [ 24 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (fma x y (+ (* a b) (* i c)))))>
0.794 * * * * [progress]: [ 25 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (fma x y (+ (* a b) (* i c)))))>
0.794 * * * * [progress]: [ 26 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t 0))>
0.794 * * * * [progress]: [ 27 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (+ (* a b) (+ (* i c) (* x y)))))>
0.794 * * * * [progress]: [ 28 / 28 ] simplifiying candidate #<alt (λ (x y z t a b c i) (fma z t (+ (* a b) (+ (* i c) (* x y)))))>
0.795 * [simplify]: Simplifying:
  (expm1 (fma c i (* a b)))
  (log1p (fma c i (* a b)))
  (* c i)
  (log (fma c i (* a b)))
  (exp (fma c i (* a b)))
  (* (cbrt (fma c i (* a b))) (cbrt (fma c i (* a b))))
  (cbrt (fma c i (* a b)))
  (* (* (fma c i (* a b)) (fma c i (* a b))) (fma c i (* a b)))
  (sqrt (fma c i (* a b)))
  (sqrt (fma c i (* a b)))
  (real->posit16 (fma c i (* a b)))
  (expm1 (fma x y (fma c i (* a b))))
  (log1p (fma x y (fma c i (* a b))))
  (* x y)
  (log (fma x y (fma c i (* a b))))
  (exp (fma x y (fma c i (* a b))))
  (* (cbrt (fma x y (fma c i (* a b)))) (cbrt (fma x y (fma c i (* a b)))))
  (cbrt (fma x y (fma c i (* a b))))
  (* (* (fma x y (fma c i (* a b))) (fma x y (fma c i (* a b)))) (fma x y (fma c i (* a b))))
  (sqrt (fma x y (fma c i (* a b))))
  (sqrt (fma x y (fma c i (* a b))))
  (real->posit16 (fma x y (fma c i (* a b))))
  0
  (+ (* a b) (* i c))
  (+ (* a b) (* i c))
  0
  (+ (* a b) (+ (* i c) (* x y)))
  (+ (* a b) (+ (* i c) (* x y)))
0.796 * * [simplify]: iteration 0: 36 enodes
0.808 * * [simplify]: iteration 1: 49 enodes
0.824 * * [simplify]: iteration 2: 91 enodes
0.868 * * [simplify]: iteration 3: 327 enodes
1.222 * * [simplify]: iteration 4: 1691 enodes
1.866 * * [simplify]: iteration complete: 5011 enodes
1.866 * * [simplify]: Extracting #0: cost 23 inf + 0
1.867 * * [simplify]: Extracting #1: cost 206 inf + 1
1.874 * * [simplify]: Extracting #2: cost 1083 inf + 5009
1.899 * * [simplify]: Extracting #3: cost 907 inf + 84836
2.012 * * [simplify]: Extracting #4: cost 153 inf + 296999
2.145 * * [simplify]: Extracting #5: cost 10 inf + 349291
2.305 * * [simplify]: Extracting #6: cost 0 inf + 354213
2.449 * [simplify]: Simplified to:
  (expm1 (fma c i (* a b)))
  (log1p (fma c i (* a b)))
  (* c i)
  (log (fma c i (* a b)))
  (exp (fma c i (* a b)))
  (* (cbrt (fma c i (* a b))) (cbrt (fma c i (* a b))))
  (cbrt (fma c i (* a b)))
  (* (fma c i (* a b)) (* (fma c i (* a b)) (fma c i (* a b))))
  (sqrt (fma c i (* a b)))
  (sqrt (fma c i (* a b)))
  (real->posit16 (fma c i (* a b)))
  (expm1 (fma a b (fma y x (* c i))))
  (log1p (fma a b (fma y x (* c i))))
  (* y x)
  (log (fma a b (fma y x (* c i))))
  (exp (fma a b (fma y x (* c i))))
  (* (cbrt (fma a b (fma y x (* c i)))) (cbrt (fma a b (fma y x (* c i)))))
  (cbrt (fma a b (fma y x (* c i))))
  (* (* (fma a b (fma y x (* c i))) (fma a b (fma y x (* c i)))) (fma a b (fma y x (* c i))))
  (sqrt (fma a b (fma y x (* c i))))
  (sqrt (fma a b (fma y x (* c i))))
  (real->posit16 (fma a b (fma y x (* c i))))
  0
  (fma c i (* a b))
  (fma c i (* a b))
  0
  (fma a b (fma y x (* c i)))
  (fma a b (fma y x (* c i)))
2.451 * * * [progress]: adding candidates to table
2.698 * [progress]: [Phase 3 of 3] Extracting.
2.707 * [simplify]: Simplifying:
  (fma z t (fma x y (fma c i (* a b))))
2.707 * * [simplify]: iteration 0: 12 enodes
2.708 * * [simplify]: iteration 1: 13 enodes
2.708 * * [simplify]: iteration complete: 13 enodes
2.708 * * [simplify]: Extracting #0: cost 1 inf + 0
2.708 * * [simplify]: Extracting #1: cost 4 inf + 0
2.708 * * [simplify]: Extracting #2: cost 5 inf + 2
2.708 * * [simplify]: Extracting #3: cost 6 inf + 4
2.708 * * [simplify]: Extracting #4: cost 6 inf + 6
2.709 * * [simplify]: Extracting #5: cost 0 inf + 518
2.709 * [simplify]: Simplified to:
  (fma z t (fma x y (fma c i (* b a))))
5.864 * [regime-testing]: Baseline error score: 0.012626578322290286
5.867 * [regime-testing]: Oracle error score: 0.012626578322290286
5.867 * [regime-testing]: End program error score: 0.012626578322290286