0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.064 * * * [progress]: [2/2] Setting up program.
0.066 * [progress]: [Phase 2 of 3] Improving.
0.066 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a x) (- (exp (* a x)) 1))>
0.066 * [simplify]: Simplifying (- (exp (* a x)) 1)
0.066 * * [simplify]: iteration 1: (6 enodes)
0.069 * * [simplify]: iteration 2: (27 enodes)
0.073 * * [simplify]: iteration 3: (39 enodes)
0.080 * * [simplify]: iteration 4: (57 enodes)
0.105 * * [simplify]: iteration 5: (96 enodes)
0.135 * * [simplify]: iteration 6: (201 enodes)
0.193 * * [simplify]: iteration 7: (482 enodes)
0.506 * * [simplify]: iteration 8: (1508 enodes)
4.160 * * [simplify]: Extracting #0: cost 1 inf + 0
4.161 * * [simplify]: Extracting #1: cost 179 inf + 0
4.165 * * [simplify]: Extracting #2: cost 1277 inf + 2
4.180 * * [simplify]: Extracting #3: cost 1457 inf + 278
4.189 * * [simplify]: Extracting #4: cost 1412 inf + 11517
4.223 * * [simplify]: Extracting #5: cost 937 inf + 310552
4.444 * * [simplify]: Extracting #6: cost 119 inf + 995243
4.656 * * [simplify]: Extracting #7: cost 0 inf + 1084317
4.924 * * [simplify]: Extracting #8: cost 0 inf + 1076905
5.143 * * [simplify]: Extracting #9: cost 0 inf + 1074492
5.357 * * [simplify]: Extracting #10: cost 0 inf + 1073566
5.561 * [simplify]: Simplified to (expm1 (* a x))
5.572 * * [progress]: iteration 1 / 4
5.572 * * * [progress]: picking best candidate
5.576 * * * * [pick]: Picked  #<alt (λ (a x) (expm1 (* a x)))>
5.576 * * * [progress]: localizing error
5.587 * * * [progress]: generating rewritten candidates
5.587 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.588 * * * [progress]: generating series expansions
5.588 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.589 * [backup-simplify]: Simplify (expm1 (* a x)) into (expm1 (* a x))
5.589 * [approximate]: Taking taylor expansion of (expm1 (* a x)) in (a x) around 0
5.589 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x
5.589 * [taylor]: Rewrote expression to (- (exp (* a x)) 1)
5.589 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
5.589 * [taylor]: Taking taylor expansion of (* a x) in x
5.589 * [taylor]: Taking taylor expansion of a in x
5.589 * [backup-simplify]: Simplify a into a
5.589 * [taylor]: Taking taylor expansion of x in x
5.589 * [backup-simplify]: Simplify 0 into 0
5.589 * [backup-simplify]: Simplify 1 into 1
5.589 * [backup-simplify]: Simplify (* a 0) into 0
5.590 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
5.590 * [backup-simplify]: Simplify (exp 0) into 1
5.590 * [taylor]: Taking taylor expansion of 1 in x
5.590 * [backup-simplify]: Simplify 1 into 1
5.590 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a
5.590 * [taylor]: Rewrote expression to (- (exp (* a x)) 1)
5.590 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
5.590 * [taylor]: Taking taylor expansion of (* a x) in a
5.590 * [taylor]: Taking taylor expansion of a in a
5.590 * [backup-simplify]: Simplify 0 into 0
5.590 * [backup-simplify]: Simplify 1 into 1
5.590 * [taylor]: Taking taylor expansion of x in a
5.590 * [backup-simplify]: Simplify x into x
5.590 * [backup-simplify]: Simplify (* 0 x) into 0
5.591 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
5.591 * [backup-simplify]: Simplify (exp 0) into 1
5.591 * [taylor]: Taking taylor expansion of 1 in a
5.591 * [backup-simplify]: Simplify 1 into 1
5.591 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a
5.591 * [taylor]: Rewrote expression to (- (exp (* a x)) 1)
5.591 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
5.591 * [taylor]: Taking taylor expansion of (* a x) in a
5.591 * [taylor]: Taking taylor expansion of a in a
5.591 * [backup-simplify]: Simplify 0 into 0
5.591 * [backup-simplify]: Simplify 1 into 1
5.591 * [taylor]: Taking taylor expansion of x in a
5.591 * [backup-simplify]: Simplify x into x
5.591 * [backup-simplify]: Simplify (* 0 x) into 0
5.592 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
5.592 * [backup-simplify]: Simplify (exp 0) into 1
5.592 * [taylor]: Taking taylor expansion of 1 in a
5.592 * [backup-simplify]: Simplify 1 into 1
5.592 * [backup-simplify]: Simplify (- 1) into -1
5.593 * [backup-simplify]: Simplify (+ 1 -1) into 0
5.593 * [taylor]: Taking taylor expansion of 0 in x
5.593 * [backup-simplify]: Simplify 0 into 0
5.593 * [backup-simplify]: Simplify 0 into 0
5.593 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x
5.594 * [backup-simplify]: Simplify (- 0) into 0
5.594 * [backup-simplify]: Simplify (+ x 0) into x
5.594 * [taylor]: Taking taylor expansion of x in x
5.594 * [backup-simplify]: Simplify 0 into 0
5.594 * [backup-simplify]: Simplify 1 into 1
5.594 * [backup-simplify]: Simplify 0 into 0
5.594 * [backup-simplify]: Simplify 0 into 0
5.595 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
5.596 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2))
5.596 * [backup-simplify]: Simplify (- 0) into 0
5.596 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2))
5.596 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
5.596 * [taylor]: Taking taylor expansion of 1/2 in x
5.596 * [backup-simplify]: Simplify 1/2 into 1/2
5.596 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.596 * [taylor]: Taking taylor expansion of x in x
5.596 * [backup-simplify]: Simplify 0 into 0
5.596 * [backup-simplify]: Simplify 1 into 1
5.596 * [backup-simplify]: Simplify 1 into 1
5.597 * [backup-simplify]: Simplify 0 into 0
5.598 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0
5.599 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 3) 6)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/6 (pow x 3))
5.600 * [backup-simplify]: Simplify (- 0) into 0
5.600 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3))
5.600 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
5.600 * [taylor]: Taking taylor expansion of 1/6 in x
5.600 * [backup-simplify]: Simplify 1/6 into 1/6
5.600 * [taylor]: Taking taylor expansion of (pow x 3) in x
5.600 * [taylor]: Taking taylor expansion of x in x
5.600 * [backup-simplify]: Simplify 0 into 0
5.600 * [backup-simplify]: Simplify 1 into 1
5.600 * [backup-simplify]: Simplify 0 into 0
5.600 * [backup-simplify]: Simplify 0 into 0
5.602 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
5.605 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 4) 24)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/24 (pow x 4))
5.605 * [backup-simplify]: Simplify (- 0) into 0
5.606 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4))
5.606 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
5.606 * [taylor]: Taking taylor expansion of 1/24 in x
5.606 * [backup-simplify]: Simplify 1/24 into 1/24
5.606 * [taylor]: Taking taylor expansion of (pow x 4) in x
5.606 * [taylor]: Taking taylor expansion of x in x
5.606 * [backup-simplify]: Simplify 0 into 0
5.606 * [backup-simplify]: Simplify 1 into 1
5.606 * [backup-simplify]: Simplify (* 1 1) into 1
5.607 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
5.607 * [backup-simplify]: Simplify 1/2 into 1/2
5.607 * [backup-simplify]: Simplify 0 into 0
5.607 * [backup-simplify]: Simplify 0 into 0
5.609 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0
5.613 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 5) 120)) (* (/ (pow x 3) 6) (/ (pow 0 1) 1)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 2) 2)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/120 (pow x 5))
5.613 * [backup-simplify]: Simplify (- 0) into 0
5.613 * [backup-simplify]: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5))
5.613 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
5.613 * [taylor]: Taking taylor expansion of 1/120 in x
5.614 * [backup-simplify]: Simplify 1/120 into 1/120
5.614 * [taylor]: Taking taylor expansion of (pow x 5) in x
5.614 * [taylor]: Taking taylor expansion of x in x
5.614 * [backup-simplify]: Simplify 0 into 0
5.614 * [backup-simplify]: Simplify 1 into 1
5.614 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.615 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0
5.615 * [backup-simplify]: Simplify 0 into 0
5.615 * [backup-simplify]: Simplify 0 into 0
5.615 * [backup-simplify]: Simplify 0 into 0
5.618 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))))) into 0
5.625 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 6) 720)) (* (/ (pow x 4) 24) (/ (pow 0 1) 1)) (* (/ (pow x 3) 6) (/ (pow 0 1) 1)) (* (/ (pow x 2) 2) (/ (pow 0 2) 2)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/720 (pow x 6))
5.626 * [backup-simplify]: Simplify (- 0) into 0
5.626 * [backup-simplify]: Simplify (+ (* 1/720 (pow x 6)) 0) into (* 1/720 (pow x 6))
5.626 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x
5.626 * [taylor]: Taking taylor expansion of 1/720 in x
5.626 * [backup-simplify]: Simplify 1/720 into 1/720
5.626 * [taylor]: Taking taylor expansion of (pow x 6) in x
5.626 * [taylor]: Taking taylor expansion of x in x
5.626 * [backup-simplify]: Simplify 0 into 0
5.626 * [backup-simplify]: Simplify 1 into 1
5.627 * [backup-simplify]: Simplify (* 1 1) into 1
5.627 * [backup-simplify]: Simplify (* 1 1) into 1
5.627 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
5.627 * [backup-simplify]: Simplify 1/6 into 1/6
5.628 * [backup-simplify]: Simplify (+ (* 1/6 (pow (* x a) 3)) (+ (* 1/2 (pow (* x a) 2)) (* 1 (* x a)))) into (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
5.628 * [backup-simplify]: Simplify (expm1 (* (/ 1 a) (/ 1 x))) into (expm1 (/ 1 (* a x)))
5.628 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0
5.628 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x
5.628 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
5.629 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
5.629 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
5.629 * [taylor]: Taking taylor expansion of (* a x) in x
5.629 * [taylor]: Taking taylor expansion of a in x
5.629 * [backup-simplify]: Simplify a into a
5.629 * [taylor]: Taking taylor expansion of x in x
5.629 * [backup-simplify]: Simplify 0 into 0
5.629 * [backup-simplify]: Simplify 1 into 1
5.629 * [backup-simplify]: Simplify (* a 0) into 0
5.629 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
5.629 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
5.630 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
5.630 * [taylor]: Taking taylor expansion of 1 in x
5.630 * [backup-simplify]: Simplify 1 into 1
5.630 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
5.630 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
5.630 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
5.630 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
5.630 * [taylor]: Taking taylor expansion of (* a x) in a
5.630 * [taylor]: Taking taylor expansion of a in a
5.630 * [backup-simplify]: Simplify 0 into 0
5.630 * [backup-simplify]: Simplify 1 into 1
5.630 * [taylor]: Taking taylor expansion of x in a
5.630 * [backup-simplify]: Simplify x into x
5.630 * [backup-simplify]: Simplify (* 0 x) into 0
5.630 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
5.631 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.631 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
5.631 * [taylor]: Taking taylor expansion of 1 in a
5.631 * [backup-simplify]: Simplify 1 into 1
5.631 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
5.631 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
5.631 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
5.631 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
5.631 * [taylor]: Taking taylor expansion of (* a x) in a
5.631 * [taylor]: Taking taylor expansion of a in a
5.631 * [backup-simplify]: Simplify 0 into 0
5.631 * [backup-simplify]: Simplify 1 into 1
5.631 * [taylor]: Taking taylor expansion of x in a
5.631 * [backup-simplify]: Simplify x into x
5.631 * [backup-simplify]: Simplify (* 0 x) into 0
5.632 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
5.632 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.632 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
5.632 * [taylor]: Taking taylor expansion of 1 in a
5.632 * [backup-simplify]: Simplify 1 into 1
5.632 * [backup-simplify]: Simplify (- 1) into -1
5.632 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
5.632 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
5.632 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
5.632 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
5.632 * [taylor]: Taking taylor expansion of (* a x) in x
5.633 * [taylor]: Taking taylor expansion of a in x
5.633 * [backup-simplify]: Simplify a into a
5.633 * [taylor]: Taking taylor expansion of x in x
5.633 * [backup-simplify]: Simplify 0 into 0
5.633 * [backup-simplify]: Simplify 1 into 1
5.633 * [backup-simplify]: Simplify (* a 0) into 0
5.633 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
5.633 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
5.633 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
5.633 * [taylor]: Taking taylor expansion of 1 in x
5.633 * [backup-simplify]: Simplify 1 into 1
5.634 * [backup-simplify]: Simplify (- 1) into -1
5.634 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
5.634 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1)
5.634 * [backup-simplify]: Simplify (- 0) into 0
5.635 * [backup-simplify]: Simplify (+ 0 0) into 0
5.635 * [taylor]: Taking taylor expansion of 0 in x
5.635 * [backup-simplify]: Simplify 0 into 0
5.635 * [backup-simplify]: Simplify 0 into 0
5.635 * [backup-simplify]: Simplify (- 0) into 0
5.636 * [backup-simplify]: Simplify (+ 0 0) into 0
5.636 * [backup-simplify]: Simplify 0 into 0
5.636 * [backup-simplify]: Simplify (- 0) into 0
5.637 * [backup-simplify]: Simplify (+ 0 0) into 0
5.637 * [taylor]: Taking taylor expansion of 0 in x
5.637 * [backup-simplify]: Simplify 0 into 0
5.637 * [backup-simplify]: Simplify 0 into 0
5.637 * [backup-simplify]: Simplify 0 into 0
5.637 * [backup-simplify]: Simplify (- 0) into 0
5.637 * [backup-simplify]: Simplify (+ 0 0) into 0
5.637 * [backup-simplify]: Simplify 0 into 0
5.638 * [backup-simplify]: Simplify (- 0) into 0
5.638 * [backup-simplify]: Simplify (+ 0 0) into 0
5.638 * [taylor]: Taking taylor expansion of 0 in x
5.638 * [backup-simplify]: Simplify 0 into 0
5.638 * [backup-simplify]: Simplify 0 into 0
5.639 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) into (- (exp (* a x)) 1)
5.639 * [backup-simplify]: Simplify (expm1 (* (/ 1 (- a)) (/ 1 (- x)))) into (expm1 (/ 1 (* a x)))
5.639 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0
5.639 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x
5.639 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
5.639 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
5.639 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
5.639 * [taylor]: Taking taylor expansion of (* a x) in x
5.639 * [taylor]: Taking taylor expansion of a in x
5.639 * [backup-simplify]: Simplify a into a
5.639 * [taylor]: Taking taylor expansion of x in x
5.639 * [backup-simplify]: Simplify 0 into 0
5.639 * [backup-simplify]: Simplify 1 into 1
5.639 * [backup-simplify]: Simplify (* a 0) into 0
5.640 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
5.640 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
5.640 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
5.640 * [taylor]: Taking taylor expansion of 1 in x
5.640 * [backup-simplify]: Simplify 1 into 1
5.640 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
5.640 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
5.640 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
5.640 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
5.640 * [taylor]: Taking taylor expansion of (* a x) in a
5.640 * [taylor]: Taking taylor expansion of a in a
5.640 * [backup-simplify]: Simplify 0 into 0
5.640 * [backup-simplify]: Simplify 1 into 1
5.640 * [taylor]: Taking taylor expansion of x in a
5.640 * [backup-simplify]: Simplify x into x
5.640 * [backup-simplify]: Simplify (* 0 x) into 0
5.641 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
5.641 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.641 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
5.641 * [taylor]: Taking taylor expansion of 1 in a
5.641 * [backup-simplify]: Simplify 1 into 1
5.641 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
5.641 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
5.641 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
5.641 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
5.641 * [taylor]: Taking taylor expansion of (* a x) in a
5.641 * [taylor]: Taking taylor expansion of a in a
5.641 * [backup-simplify]: Simplify 0 into 0
5.641 * [backup-simplify]: Simplify 1 into 1
5.641 * [taylor]: Taking taylor expansion of x in a
5.641 * [backup-simplify]: Simplify x into x
5.641 * [backup-simplify]: Simplify (* 0 x) into 0
5.642 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
5.642 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.642 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
5.642 * [taylor]: Taking taylor expansion of 1 in a
5.642 * [backup-simplify]: Simplify 1 into 1
5.642 * [backup-simplify]: Simplify (- 1) into -1
5.642 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
5.642 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
5.642 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
5.642 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
5.643 * [taylor]: Taking taylor expansion of (* a x) in x
5.643 * [taylor]: Taking taylor expansion of a in x
5.643 * [backup-simplify]: Simplify a into a
5.643 * [taylor]: Taking taylor expansion of x in x
5.643 * [backup-simplify]: Simplify 0 into 0
5.643 * [backup-simplify]: Simplify 1 into 1
5.643 * [backup-simplify]: Simplify (* a 0) into 0
5.643 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
5.643 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
5.643 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
5.643 * [taylor]: Taking taylor expansion of 1 in x
5.643 * [backup-simplify]: Simplify 1 into 1
5.647 * [backup-simplify]: Simplify (- 1) into -1
5.647 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
5.647 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1)
5.648 * [backup-simplify]: Simplify (- 0) into 0
5.648 * [backup-simplify]: Simplify (+ 0 0) into 0
5.648 * [taylor]: Taking taylor expansion of 0 in x
5.649 * [backup-simplify]: Simplify 0 into 0
5.649 * [backup-simplify]: Simplify 0 into 0
5.649 * [backup-simplify]: Simplify (- 0) into 0
5.649 * [backup-simplify]: Simplify (+ 0 0) into 0
5.649 * [backup-simplify]: Simplify 0 into 0
5.650 * [backup-simplify]: Simplify (- 0) into 0
5.650 * [backup-simplify]: Simplify (+ 0 0) into 0
5.650 * [taylor]: Taking taylor expansion of 0 in x
5.650 * [backup-simplify]: Simplify 0 into 0
5.650 * [backup-simplify]: Simplify 0 into 0
5.650 * [backup-simplify]: Simplify 0 into 0
5.651 * [backup-simplify]: Simplify (- 0) into 0
5.651 * [backup-simplify]: Simplify (+ 0 0) into 0
5.651 * [backup-simplify]: Simplify 0 into 0
5.651 * [backup-simplify]: Simplify (- 0) into 0
5.652 * [backup-simplify]: Simplify (+ 0 0) into 0
5.652 * [taylor]: Taking taylor expansion of 0 in x
5.652 * [backup-simplify]: Simplify 0 into 0
5.652 * [backup-simplify]: Simplify 0 into 0
5.652 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) into (- (exp (* a x)) 1)
5.652 * * * [progress]: simplifying candidates
5.652 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (a x) (- (exp (* a x)) 1))>
5.652 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (a x) (log1p (expm1 (expm1 (* a x)))))>
5.652 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (a x) (expm1 (log1p (expm1 (* a x)))))>
5.652 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (a x) (expm1 (* a x)))>
5.652 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (a x) (pow (expm1 (* a x)) 1))>
5.652 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (a x) (exp (log (expm1 (* a x)))))>
5.652 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (a x) (log (exp (expm1 (* a x)))))>
5.652 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (a x) (* (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))) (cbrt (expm1 (* a x)))))>
5.653 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))>
5.653 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (a x) (* (sqrt (expm1 (* a x))) (sqrt (expm1 (* a x)))))>
5.653 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (a x) (* 1 (expm1 (* a x))))>
5.653 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (a x) (posit16->real (real->posit16 (expm1 (* a x)))))>
5.653 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (a x) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))))>
5.653 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (a x) (- (exp (* a x)) 1))>
5.653 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (a x) (- (exp (* a x)) 1))>
5.653 * [simplify]: Simplifying (exp (* a x)), (expm1 (expm1 (* a x))), (log1p (expm1 (* a x))), (log (expm1 (* a x))), (exp (expm1 (* a x))), (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))), (cbrt (expm1 (* a x))), (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))), (sqrt (expm1 (* a x))), (sqrt (expm1 (* a x))), (real->posit16 (expm1 (* a x))), (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))), (- (exp (* a x)) 1), (- (exp (* a x)) 1)
5.654 * * [simplify]: iteration 1: (31 enodes)
5.671 * * [simplify]: iteration 2: (129 enodes)
5.719 * * [simplify]: iteration 3: (279 enodes)
5.817 * * [simplify]: iteration 4: (765 enodes)
6.286 * * [simplify]: Extracting #0: cost 12 inf + 0
6.287 * * [simplify]: Extracting #1: cost 122 inf + 0
6.291 * * [simplify]: Extracting #2: cost 422 inf + 1384
6.302 * * [simplify]: Extracting #3: cost 361 inf + 19966
6.330 * * [simplify]: Extracting #4: cost 154 inf + 90514
6.360 * * [simplify]: Extracting #5: cost 19 inf + 154088
6.392 * * [simplify]: Extracting #6: cost 0 inf + 163129
6.419 * [simplify]: Simplified to (exp (* a x)), (expm1 (expm1 (* a x))), (* a x), (log (expm1 (* a x))), (exp (expm1 (* a x))), (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))), (cbrt (expm1 (* a x))), (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))), (sqrt (expm1 (* a x))), (sqrt (expm1 (* a x))), (real->posit16 (expm1 (* a x))), (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))), (expm1 (* a x)), (expm1 (* a x))
6.420 * * * [progress]: adding candidates to table
6.542 * * [progress]: iteration 2 / 4
6.542 * * * [progress]: picking best candidate
6.547 * * * * [pick]: Picked  #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
6.547 * * * [progress]: localizing error
6.570 * * * [progress]: generating rewritten candidates
6.570 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
6.570 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 2 2)
6.599 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
6.626 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 2)
6.701 * * * [progress]: generating series expansions
6.701 * * * * [progress]: [ 1 / 4 ] generating series at (2)
6.701 * [backup-simplify]: Simplify (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))) into (fma (* (pow a 2) (pow x 2)) 1/2 (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)))
6.701 * [approximate]: Taking taylor expansion of (fma (* (pow a 2) (pow x 2)) 1/2 (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))) in (a x) around 0
6.701 * [taylor]: Taking taylor expansion of (fma (* (pow a 2) (pow x 2)) 1/2 (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))) in x
6.701 * [taylor]: Rewrote expression to (+ (* (* (pow a 2) (pow x 2)) 1/2) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)))
6.701 * [taylor]: Taking taylor expansion of (* (* (pow a 2) (pow x 2)) 1/2) in x
6.701 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
6.701 * [taylor]: Taking taylor expansion of (pow a 2) in x
6.701 * [taylor]: Taking taylor expansion of a in x
6.701 * [backup-simplify]: Simplify a into a
6.701 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.701 * [taylor]: Taking taylor expansion of x in x
6.701 * [backup-simplify]: Simplify 0 into 0
6.701 * [backup-simplify]: Simplify 1 into 1
6.701 * [taylor]: Taking taylor expansion of 1/2 in x
6.701 * [backup-simplify]: Simplify 1/2 into 1/2
6.701 * [taylor]: Taking taylor expansion of (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)) in x
6.701 * [taylor]: Rewrote expression to (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))
6.701 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 3))) in x
6.701 * [taylor]: Taking taylor expansion of 1/6 in x
6.701 * [backup-simplify]: Simplify 1/6 into 1/6
6.701 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
6.701 * [taylor]: Taking taylor expansion of (pow a 3) in x
6.701 * [taylor]: Taking taylor expansion of a in x
6.701 * [backup-simplify]: Simplify a into a
6.701 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.702 * [taylor]: Taking taylor expansion of x in x
6.702 * [backup-simplify]: Simplify 0 into 0
6.702 * [backup-simplify]: Simplify 1 into 1
6.702 * [taylor]: Taking taylor expansion of (* a x) in x
6.702 * [taylor]: Taking taylor expansion of a in x
6.702 * [backup-simplify]: Simplify a into a
6.702 * [taylor]: Taking taylor expansion of x in x
6.702 * [backup-simplify]: Simplify 0 into 0
6.702 * [backup-simplify]: Simplify 1 into 1
6.702 * [taylor]: Taking taylor expansion of (fma (* (pow a 2) (pow x 2)) 1/2 (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))) in a
6.702 * [taylor]: Rewrote expression to (+ (* (* (pow a 2) (pow x 2)) 1/2) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)))
6.702 * [taylor]: Taking taylor expansion of (* (* (pow a 2) (pow x 2)) 1/2) in a
6.702 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
6.702 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.702 * [taylor]: Taking taylor expansion of a in a
6.702 * [backup-simplify]: Simplify 0 into 0
6.702 * [backup-simplify]: Simplify 1 into 1
6.702 * [taylor]: Taking taylor expansion of (pow x 2) in a
6.702 * [taylor]: Taking taylor expansion of x in a
6.702 * [backup-simplify]: Simplify x into x
6.702 * [taylor]: Taking taylor expansion of 1/2 in a
6.702 * [backup-simplify]: Simplify 1/2 into 1/2
6.702 * [taylor]: Taking taylor expansion of (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)) in a
6.702 * [taylor]: Rewrote expression to (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))
6.702 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 3))) in a
6.702 * [taylor]: Taking taylor expansion of 1/6 in a
6.702 * [backup-simplify]: Simplify 1/6 into 1/6
6.702 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.702 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.702 * [taylor]: Taking taylor expansion of a in a
6.702 * [backup-simplify]: Simplify 0 into 0
6.702 * [backup-simplify]: Simplify 1 into 1
6.702 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.702 * [taylor]: Taking taylor expansion of x in a
6.702 * [backup-simplify]: Simplify x into x
6.702 * [taylor]: Taking taylor expansion of (* a x) in a
6.702 * [taylor]: Taking taylor expansion of a in a
6.702 * [backup-simplify]: Simplify 0 into 0
6.702 * [backup-simplify]: Simplify 1 into 1
6.702 * [taylor]: Taking taylor expansion of x in a
6.702 * [backup-simplify]: Simplify x into x
6.702 * [taylor]: Taking taylor expansion of (fma (* (pow a 2) (pow x 2)) 1/2 (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))) in a
6.702 * [taylor]: Rewrote expression to (+ (* (* (pow a 2) (pow x 2)) 1/2) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)))
6.702 * [taylor]: Taking taylor expansion of (* (* (pow a 2) (pow x 2)) 1/2) in a
6.702 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
6.702 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.702 * [taylor]: Taking taylor expansion of a in a
6.702 * [backup-simplify]: Simplify 0 into 0
6.702 * [backup-simplify]: Simplify 1 into 1
6.702 * [taylor]: Taking taylor expansion of (pow x 2) in a
6.702 * [taylor]: Taking taylor expansion of x in a
6.702 * [backup-simplify]: Simplify x into x
6.702 * [taylor]: Taking taylor expansion of 1/2 in a
6.702 * [backup-simplify]: Simplify 1/2 into 1/2
6.702 * [taylor]: Taking taylor expansion of (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)) in a
6.702 * [taylor]: Rewrote expression to (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))
6.702 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 3))) in a
6.703 * [taylor]: Taking taylor expansion of 1/6 in a
6.703 * [backup-simplify]: Simplify 1/6 into 1/6
6.703 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.703 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.703 * [taylor]: Taking taylor expansion of a in a
6.703 * [backup-simplify]: Simplify 0 into 0
6.703 * [backup-simplify]: Simplify 1 into 1
6.703 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.703 * [taylor]: Taking taylor expansion of x in a
6.703 * [backup-simplify]: Simplify x into x
6.703 * [taylor]: Taking taylor expansion of (* a x) in a
6.703 * [taylor]: Taking taylor expansion of a in a
6.703 * [backup-simplify]: Simplify 0 into 0
6.703 * [backup-simplify]: Simplify 1 into 1
6.703 * [taylor]: Taking taylor expansion of x in a
6.703 * [backup-simplify]: Simplify x into x
6.703 * [backup-simplify]: Simplify (* 0 x) into 0
6.703 * [backup-simplify]: Simplify (+ 0 0) into 0
6.704 * [backup-simplify]: Simplify (+ 0 0) into 0
6.704 * [taylor]: Taking taylor expansion of 0 in x
6.704 * [backup-simplify]: Simplify 0 into 0
6.704 * [backup-simplify]: Simplify 0 into 0
6.704 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.704 * [backup-simplify]: Simplify (+ 0 x) into x
6.704 * [backup-simplify]: Simplify (+ 0 x) into x
6.704 * [taylor]: Taking taylor expansion of x in x
6.704 * [backup-simplify]: Simplify 0 into 0
6.704 * [backup-simplify]: Simplify 1 into 1
6.704 * [backup-simplify]: Simplify 0 into 0
6.704 * [backup-simplify]: Simplify 0 into 0
6.704 * [backup-simplify]: Simplify (* 1 1) into 1
6.704 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.704 * [backup-simplify]: Simplify (* 1 (pow x 2)) into (pow x 2)
6.705 * [backup-simplify]: Simplify (* (pow x 2) 1/2) into (* 1/2 (pow x 2))
6.705 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
6.705 * [backup-simplify]: Simplify (+ 0 0) into 0
6.705 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2))
6.705 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
6.706 * [taylor]: Taking taylor expansion of 1/2 in x
6.706 * [backup-simplify]: Simplify 1/2 into 1/2
6.706 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.706 * [taylor]: Taking taylor expansion of x in x
6.706 * [backup-simplify]: Simplify 0 into 0
6.706 * [backup-simplify]: Simplify 1 into 1
6.706 * [backup-simplify]: Simplify 1 into 1
6.706 * [backup-simplify]: Simplify 0 into 0
6.706 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
6.706 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.706 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow x 2))) into 0
6.707 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (* 0 1/2)) into 0
6.707 * [backup-simplify]: Simplify (* 1 1) into 1
6.707 * [backup-simplify]: Simplify (* 1 1) into 1
6.707 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.707 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
6.707 * [backup-simplify]: Simplify (* 1 (pow x 3)) into (pow x 3)
6.707 * [backup-simplify]: Simplify (* 1/6 (pow x 3)) into (* 1/6 (pow x 3))
6.708 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0
6.708 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3))
6.708 * [backup-simplify]: Simplify (+ 0 (* 1/6 (pow x 3))) into (* 1/6 (pow x 3))
6.708 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
6.708 * [taylor]: Taking taylor expansion of 1/6 in x
6.708 * [backup-simplify]: Simplify 1/6 into 1/6
6.708 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.708 * [taylor]: Taking taylor expansion of x in x
6.708 * [backup-simplify]: Simplify 0 into 0
6.709 * [backup-simplify]: Simplify 1 into 1
6.709 * [backup-simplify]: Simplify 0 into 0
6.709 * [backup-simplify]: Simplify 0 into 0
6.709 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
6.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow x 2)))) into 0
6.710 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (* 0 1/2))) into 0
6.711 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
6.711 * [backup-simplify]: Simplify (+ (* x 0) (* 0 (pow x 2))) into 0
6.711 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.711 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.712 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow x 3))) into 0
6.712 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (pow x 3))) into 0
6.713 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
6.713 * [backup-simplify]: Simplify (+ 0 0) into 0
6.713 * [backup-simplify]: Simplify (+ 0 0) into 0
6.713 * [taylor]: Taking taylor expansion of 0 in x
6.714 * [backup-simplify]: Simplify 0 into 0
6.714 * [backup-simplify]: Simplify 0 into 0
6.714 * [backup-simplify]: Simplify (* 1 1) into 1
6.714 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
6.714 * [backup-simplify]: Simplify 1/2 into 1/2
6.714 * [backup-simplify]: Simplify 0 into 0
6.714 * [backup-simplify]: Simplify 0 into 0
6.715 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
6.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2))))) into 0
6.717 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/2)))) into 0
6.717 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
6.717 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 (pow x 2)))) into 0
6.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow x 3)))) into 0
6.719 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (pow x 3)))) into 0
6.721 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0
6.721 * [backup-simplify]: Simplify (+ 0 0) into 0
6.721 * [backup-simplify]: Simplify (+ 0 0) into 0
6.721 * [taylor]: Taking taylor expansion of 0 in x
6.721 * [backup-simplify]: Simplify 0 into 0
6.721 * [backup-simplify]: Simplify 0 into 0
6.721 * [backup-simplify]: Simplify 0 into 0
6.722 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.722 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0
6.722 * [backup-simplify]: Simplify 0 into 0
6.722 * [backup-simplify]: Simplify 0 into 0
6.723 * [backup-simplify]: Simplify (+ (* 1/2 (pow (* x a) 2)) (* 1 (* x a))) into (+ (* a x) (* 1/2 (* (pow a 2) (pow x 2))))
6.723 * [backup-simplify]: Simplify (fma (* (* (/ 1 a) (/ 1 x)) (* (/ 1 a) (/ 1 x))) 1/2 (fma 1/6 (* (* (/ 1 a) (/ 1 x)) (* (* (/ 1 a) (/ 1 x)) (* (/ 1 a) (/ 1 x)))) (* (/ 1 a) (/ 1 x)))) into (fma (/ 1 (* (pow a 2) (pow x 2))) 1/2 (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))))
6.723 * [approximate]: Taking taylor expansion of (fma (/ 1 (* (pow a 2) (pow x 2))) 1/2 (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x)))) in (a x) around 0
6.723 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (pow a 2) (pow x 2))) 1/2 (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x)))) in x
6.723 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (pow a 2) (pow x 2))) 1/2) (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))))
6.723 * [taylor]: Taking taylor expansion of (* (/ 1 (* (pow a 2) (pow x 2))) 1/2) in x
6.723 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
6.723 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
6.723 * [taylor]: Taking taylor expansion of (pow a 2) in x
6.723 * [taylor]: Taking taylor expansion of a in x
6.723 * [backup-simplify]: Simplify a into a
6.723 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.723 * [taylor]: Taking taylor expansion of x in x
6.723 * [backup-simplify]: Simplify 0 into 0
6.723 * [backup-simplify]: Simplify 1 into 1
6.723 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.723 * [backup-simplify]: Simplify (* 1 1) into 1
6.723 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
6.724 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
6.724 * [taylor]: Taking taylor expansion of 1/2 in x
6.724 * [backup-simplify]: Simplify 1/2 into 1/2
6.724 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))) in x
6.724 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) (/ 1 (* a x)))
6.724 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) in x
6.724 * [taylor]: Taking taylor expansion of 1/6 in x
6.724 * [backup-simplify]: Simplify 1/6 into 1/6
6.724 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in x
6.724 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
6.724 * [taylor]: Taking taylor expansion of (pow a 3) in x
6.724 * [taylor]: Taking taylor expansion of a in x
6.724 * [backup-simplify]: Simplify a into a
6.724 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.724 * [taylor]: Taking taylor expansion of x in x
6.724 * [backup-simplify]: Simplify 0 into 0
6.724 * [backup-simplify]: Simplify 1 into 1
6.724 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.724 * [backup-simplify]: Simplify (* a (pow a 2)) into (pow a 3)
6.724 * [backup-simplify]: Simplify (* 1 1) into 1
6.724 * [backup-simplify]: Simplify (* 1 1) into 1
6.724 * [backup-simplify]: Simplify (* (pow a 3) 1) into (pow a 3)
6.725 * [backup-simplify]: Simplify (/ 1 (pow a 3)) into (/ 1 (pow a 3))
6.725 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.725 * [taylor]: Taking taylor expansion of (* a x) in x
6.725 * [taylor]: Taking taylor expansion of a in x
6.725 * [backup-simplify]: Simplify a into a
6.725 * [taylor]: Taking taylor expansion of x in x
6.725 * [backup-simplify]: Simplify 0 into 0
6.725 * [backup-simplify]: Simplify 1 into 1
6.725 * [backup-simplify]: Simplify (* a 0) into 0
6.725 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.725 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.725 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (pow a 2) (pow x 2))) 1/2 (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x)))) in a
6.725 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (pow a 2) (pow x 2))) 1/2) (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))))
6.725 * [taylor]: Taking taylor expansion of (* (/ 1 (* (pow a 2) (pow x 2))) 1/2) in a
6.725 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
6.725 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
6.725 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.725 * [taylor]: Taking taylor expansion of a in a
6.725 * [backup-simplify]: Simplify 0 into 0
6.725 * [backup-simplify]: Simplify 1 into 1
6.725 * [taylor]: Taking taylor expansion of (pow x 2) in a
6.725 * [taylor]: Taking taylor expansion of x in a
6.725 * [backup-simplify]: Simplify x into x
6.726 * [backup-simplify]: Simplify (* 1 1) into 1
6.726 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.726 * [backup-simplify]: Simplify (* 1 (pow x 2)) into (pow x 2)
6.726 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
6.726 * [taylor]: Taking taylor expansion of 1/2 in a
6.726 * [backup-simplify]: Simplify 1/2 into 1/2
6.726 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))) in a
6.726 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) (/ 1 (* a x)))
6.726 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) in a
6.726 * [taylor]: Taking taylor expansion of 1/6 in a
6.726 * [backup-simplify]: Simplify 1/6 into 1/6
6.726 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
6.726 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.726 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.726 * [taylor]: Taking taylor expansion of a in a
6.726 * [backup-simplify]: Simplify 0 into 0
6.726 * [backup-simplify]: Simplify 1 into 1
6.726 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.726 * [taylor]: Taking taylor expansion of x in a
6.726 * [backup-simplify]: Simplify x into x
6.726 * [backup-simplify]: Simplify (* 1 1) into 1
6.726 * [backup-simplify]: Simplify (* 1 1) into 1
6.727 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.727 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
6.727 * [backup-simplify]: Simplify (* 1 (pow x 3)) into (pow x 3)
6.727 * [backup-simplify]: Simplify (/ 1 (pow x 3)) into (/ 1 (pow x 3))
6.727 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.727 * [taylor]: Taking taylor expansion of (* a x) in a
6.727 * [taylor]: Taking taylor expansion of a in a
6.727 * [backup-simplify]: Simplify 0 into 0
6.727 * [backup-simplify]: Simplify 1 into 1
6.727 * [taylor]: Taking taylor expansion of x in a
6.727 * [backup-simplify]: Simplify x into x
6.727 * [backup-simplify]: Simplify (* 0 x) into 0
6.727 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.727 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.727 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (pow a 2) (pow x 2))) 1/2 (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x)))) in a
6.727 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (pow a 2) (pow x 2))) 1/2) (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))))
6.727 * [taylor]: Taking taylor expansion of (* (/ 1 (* (pow a 2) (pow x 2))) 1/2) in a
6.727 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
6.727 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
6.727 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.727 * [taylor]: Taking taylor expansion of a in a
6.727 * [backup-simplify]: Simplify 0 into 0
6.727 * [backup-simplify]: Simplify 1 into 1
6.727 * [taylor]: Taking taylor expansion of (pow x 2) in a
6.727 * [taylor]: Taking taylor expansion of x in a
6.727 * [backup-simplify]: Simplify x into x
6.728 * [backup-simplify]: Simplify (* 1 1) into 1
6.728 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.728 * [backup-simplify]: Simplify (* 1 (pow x 2)) into (pow x 2)
6.728 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
6.728 * [taylor]: Taking taylor expansion of 1/2 in a
6.728 * [backup-simplify]: Simplify 1/2 into 1/2
6.728 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))) in a
6.728 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) (/ 1 (* a x)))
6.728 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) in a
6.728 * [taylor]: Taking taylor expansion of 1/6 in a
6.728 * [backup-simplify]: Simplify 1/6 into 1/6
6.728 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
6.728 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.728 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.728 * [taylor]: Taking taylor expansion of a in a
6.728 * [backup-simplify]: Simplify 0 into 0
6.728 * [backup-simplify]: Simplify 1 into 1
6.728 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.728 * [taylor]: Taking taylor expansion of x in a
6.728 * [backup-simplify]: Simplify x into x
6.728 * [backup-simplify]: Simplify (* 1 1) into 1
6.729 * [backup-simplify]: Simplify (* 1 1) into 1
6.729 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.729 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
6.729 * [backup-simplify]: Simplify (* 1 (pow x 3)) into (pow x 3)
6.729 * [backup-simplify]: Simplify (/ 1 (pow x 3)) into (/ 1 (pow x 3))
6.729 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.729 * [taylor]: Taking taylor expansion of (* a x) in a
6.729 * [taylor]: Taking taylor expansion of a in a
6.729 * [backup-simplify]: Simplify 0 into 0
6.729 * [backup-simplify]: Simplify 1 into 1
6.729 * [taylor]: Taking taylor expansion of x in a
6.729 * [backup-simplify]: Simplify x into x
6.729 * [backup-simplify]: Simplify (* 0 x) into 0
6.729 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.729 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.729 * [backup-simplify]: Simplify (* 1/6 (/ 1 (pow x 3))) into (/ 1/6 (pow x 3))
6.730 * [backup-simplify]: Simplify (+ (/ 1/6 (pow x 3)) 0) into (* 1/6 (/ 1 (pow x 3)))
6.730 * [backup-simplify]: Simplify (+ 0 (* 1/6 (/ 1 (pow x 3)))) into (* 1/6 (/ 1 (pow x 3)))
6.730 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x
6.730 * [taylor]: Taking taylor expansion of 1/6 in x
6.730 * [backup-simplify]: Simplify 1/6 into 1/6
6.730 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
6.730 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.730 * [taylor]: Taking taylor expansion of x in x
6.730 * [backup-simplify]: Simplify 0 into 0
6.730 * [backup-simplify]: Simplify 1 into 1
6.730 * [backup-simplify]: Simplify (* 1 1) into 1
6.731 * [backup-simplify]: Simplify (* 1 1) into 1
6.731 * [backup-simplify]: Simplify (/ 1 1) into 1
6.732 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
6.732 * [backup-simplify]: Simplify 1/6 into 1/6
6.732 * [backup-simplify]: Simplify (* (/ 1 (pow x 2)) 1/2) into (/ 1/2 (pow x 2))
6.732 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
6.732 * [backup-simplify]: Simplify (+ (* x 0) (* 0 (pow x 2))) into 0
6.733 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.733 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.734 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow x 3))) into 0
6.734 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 3)) (/ 0 (pow x 3))))) into 0
6.735 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (/ 1 (pow x 3)))) into 0
6.735 * [backup-simplify]: Simplify (+ 0 0) into 0
6.735 * [backup-simplify]: Simplify (+ (/ 1/2 (pow x 2)) 0) into (* 1/2 (/ 1 (pow x 2)))
6.735 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
6.735 * [taylor]: Taking taylor expansion of 1/2 in x
6.735 * [backup-simplify]: Simplify 1/2 into 1/2
6.735 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.735 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.735 * [taylor]: Taking taylor expansion of x in x
6.735 * [backup-simplify]: Simplify 0 into 0
6.735 * [backup-simplify]: Simplify 1 into 1
6.736 * [backup-simplify]: Simplify (* 1 1) into 1
6.736 * [backup-simplify]: Simplify (/ 1 1) into 1
6.737 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.737 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.738 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.739 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
6.739 * [backup-simplify]: Simplify 0 into 0
6.739 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
6.740 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.740 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow x 2))) into 0
6.741 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0
6.741 * [backup-simplify]: Simplify (+ (* (/ 1 (pow x 2)) 0) (* 0 1/2)) into 0
6.742 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
6.742 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 (pow x 2)))) into 0
6.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.745 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow x 3)))) into 0
6.745 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 3)) (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))))) into 0
6.746 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (/ 1 (pow x 3))))) into 0
6.747 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
6.747 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
6.747 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.747 * [taylor]: Taking taylor expansion of x in x
6.747 * [backup-simplify]: Simplify 0 into 0
6.747 * [backup-simplify]: Simplify 1 into 1
6.747 * [backup-simplify]: Simplify (/ 1 1) into 1
6.748 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
6.748 * [backup-simplify]: Simplify 1/2 into 1/2
6.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.751 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
6.751 * [backup-simplify]: Simplify 0 into 0
6.752 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
6.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow x 2)))) into 0
6.754 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
6.755 * [backup-simplify]: Simplify (+ (* (/ 1 (pow x 2)) 0) (+ (* 0 0) (* 0 1/2))) into 0
6.756 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
6.757 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2))))) into 0
6.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.759 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 3))))) into 0
6.761 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 3)) (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))))) into 0
6.762 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow x 3)))))) into 0
6.763 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
6.763 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.763 * [backup-simplify]: Simplify (+ 0 0) into 0
6.763 * [backup-simplify]: Simplify (+ 0 0) into 0
6.763 * [taylor]: Taking taylor expansion of 0 in x
6.763 * [backup-simplify]: Simplify 0 into 0
6.764 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.765 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0
6.765 * [backup-simplify]: Simplify 0 into 0
6.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.768 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.769 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.769 * [backup-simplify]: Simplify 0 into 0
6.770 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
6.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2))))) into 0
6.772 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
6.773 * [backup-simplify]: Simplify (+ (* (/ 1 (pow x 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/2)))) into 0
6.774 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
6.776 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2)))))) into 0
6.780 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.782 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 3)))))) into 0
6.784 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 3)) (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))))) into 0
6.785 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow x 3))))))) into 0
6.787 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0
6.787 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.787 * [backup-simplify]: Simplify (+ 0 0) into 0
6.788 * [backup-simplify]: Simplify (+ 0 0) into 0
6.788 * [taylor]: Taking taylor expansion of 0 in x
6.788 * [backup-simplify]: Simplify 0 into 0
6.788 * [backup-simplify]: Simplify 1 into 1
6.789 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 a)))) (+ (* 1/2 (pow (* (/ 1 (/ 1 x)) (/ 1 (/ 1 a))) 2)) (* 1/6 (pow (* (/ 1 (/ 1 x)) (/ 1 (/ 1 a))) 3)))) into (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
6.790 * [backup-simplify]: Simplify (fma (* (* (/ 1 (- a)) (/ 1 (- x))) (* (/ 1 (- a)) (/ 1 (- x)))) 1/2 (fma 1/6 (* (* (/ 1 (- a)) (/ 1 (- x))) (* (* (/ 1 (- a)) (/ 1 (- x))) (* (/ 1 (- a)) (/ 1 (- x))))) (* (/ 1 (- a)) (/ 1 (- x))))) into (fma (/ 1 (* (pow a 2) (pow x 2))) 1/2 (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))))
6.790 * [approximate]: Taking taylor expansion of (fma (/ 1 (* (pow a 2) (pow x 2))) 1/2 (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x)))) in (a x) around 0
6.790 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (pow a 2) (pow x 2))) 1/2 (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x)))) in x
6.790 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (pow a 2) (pow x 2))) 1/2) (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))))
6.790 * [taylor]: Taking taylor expansion of (* (/ 1 (* (pow a 2) (pow x 2))) 1/2) in x
6.790 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
6.790 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
6.790 * [taylor]: Taking taylor expansion of (pow a 2) in x
6.790 * [taylor]: Taking taylor expansion of a in x
6.790 * [backup-simplify]: Simplify a into a
6.790 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.790 * [taylor]: Taking taylor expansion of x in x
6.790 * [backup-simplify]: Simplify 0 into 0
6.790 * [backup-simplify]: Simplify 1 into 1
6.790 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.791 * [backup-simplify]: Simplify (* 1 1) into 1
6.791 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
6.791 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
6.791 * [taylor]: Taking taylor expansion of 1/2 in x
6.791 * [backup-simplify]: Simplify 1/2 into 1/2
6.791 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))) in x
6.792 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) (/ 1 (* a x)))
6.792 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) in x
6.792 * [taylor]: Taking taylor expansion of 1/6 in x
6.792 * [backup-simplify]: Simplify 1/6 into 1/6
6.792 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in x
6.792 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
6.792 * [taylor]: Taking taylor expansion of (pow a 3) in x
6.792 * [taylor]: Taking taylor expansion of a in x
6.792 * [backup-simplify]: Simplify a into a
6.792 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.792 * [taylor]: Taking taylor expansion of x in x
6.792 * [backup-simplify]: Simplify 0 into 0
6.792 * [backup-simplify]: Simplify 1 into 1
6.792 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.792 * [backup-simplify]: Simplify (* a (pow a 2)) into (pow a 3)
6.793 * [backup-simplify]: Simplify (* 1 1) into 1
6.793 * [backup-simplify]: Simplify (* 1 1) into 1
6.793 * [backup-simplify]: Simplify (* (pow a 3) 1) into (pow a 3)
6.793 * [backup-simplify]: Simplify (/ 1 (pow a 3)) into (/ 1 (pow a 3))
6.793 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.793 * [taylor]: Taking taylor expansion of (* a x) in x
6.793 * [taylor]: Taking taylor expansion of a in x
6.793 * [backup-simplify]: Simplify a into a
6.793 * [taylor]: Taking taylor expansion of x in x
6.793 * [backup-simplify]: Simplify 0 into 0
6.793 * [backup-simplify]: Simplify 1 into 1
6.793 * [backup-simplify]: Simplify (* a 0) into 0
6.794 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.794 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.794 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (pow a 2) (pow x 2))) 1/2 (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x)))) in a
6.794 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (pow a 2) (pow x 2))) 1/2) (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))))
6.794 * [taylor]: Taking taylor expansion of (* (/ 1 (* (pow a 2) (pow x 2))) 1/2) in a
6.794 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
6.794 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
6.794 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.794 * [taylor]: Taking taylor expansion of a in a
6.794 * [backup-simplify]: Simplify 0 into 0
6.794 * [backup-simplify]: Simplify 1 into 1
6.794 * [taylor]: Taking taylor expansion of (pow x 2) in a
6.794 * [taylor]: Taking taylor expansion of x in a
6.794 * [backup-simplify]: Simplify x into x
6.795 * [backup-simplify]: Simplify (* 1 1) into 1
6.795 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.795 * [backup-simplify]: Simplify (* 1 (pow x 2)) into (pow x 2)
6.795 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
6.795 * [taylor]: Taking taylor expansion of 1/2 in a
6.795 * [backup-simplify]: Simplify 1/2 into 1/2
6.795 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))) in a
6.795 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) (/ 1 (* a x)))
6.795 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) in a
6.795 * [taylor]: Taking taylor expansion of 1/6 in a
6.795 * [backup-simplify]: Simplify 1/6 into 1/6
6.795 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
6.795 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.795 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.795 * [taylor]: Taking taylor expansion of a in a
6.795 * [backup-simplify]: Simplify 0 into 0
6.795 * [backup-simplify]: Simplify 1 into 1
6.795 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.795 * [taylor]: Taking taylor expansion of x in a
6.795 * [backup-simplify]: Simplify x into x
6.796 * [backup-simplify]: Simplify (* 1 1) into 1
6.796 * [backup-simplify]: Simplify (* 1 1) into 1
6.796 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.796 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
6.796 * [backup-simplify]: Simplify (* 1 (pow x 3)) into (pow x 3)
6.797 * [backup-simplify]: Simplify (/ 1 (pow x 3)) into (/ 1 (pow x 3))
6.797 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.797 * [taylor]: Taking taylor expansion of (* a x) in a
6.797 * [taylor]: Taking taylor expansion of a in a
6.797 * [backup-simplify]: Simplify 0 into 0
6.797 * [backup-simplify]: Simplify 1 into 1
6.797 * [taylor]: Taking taylor expansion of x in a
6.797 * [backup-simplify]: Simplify x into x
6.797 * [backup-simplify]: Simplify (* 0 x) into 0
6.797 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.797 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.797 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (pow a 2) (pow x 2))) 1/2 (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x)))) in a
6.797 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (pow a 2) (pow x 2))) 1/2) (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))))
6.797 * [taylor]: Taking taylor expansion of (* (/ 1 (* (pow a 2) (pow x 2))) 1/2) in a
6.797 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
6.798 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
6.798 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.798 * [taylor]: Taking taylor expansion of a in a
6.798 * [backup-simplify]: Simplify 0 into 0
6.798 * [backup-simplify]: Simplify 1 into 1
6.798 * [taylor]: Taking taylor expansion of (pow x 2) in a
6.798 * [taylor]: Taking taylor expansion of x in a
6.798 * [backup-simplify]: Simplify x into x
6.798 * [backup-simplify]: Simplify (* 1 1) into 1
6.798 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.798 * [backup-simplify]: Simplify (* 1 (pow x 2)) into (pow x 2)
6.798 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
6.798 * [taylor]: Taking taylor expansion of 1/2 in a
6.798 * [backup-simplify]: Simplify 1/2 into 1/2
6.798 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))) in a
6.799 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) (/ 1 (* a x)))
6.799 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) in a
6.799 * [taylor]: Taking taylor expansion of 1/6 in a
6.799 * [backup-simplify]: Simplify 1/6 into 1/6
6.799 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
6.799 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.799 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.799 * [taylor]: Taking taylor expansion of a in a
6.799 * [backup-simplify]: Simplify 0 into 0
6.799 * [backup-simplify]: Simplify 1 into 1
6.799 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.799 * [taylor]: Taking taylor expansion of x in a
6.799 * [backup-simplify]: Simplify x into x
6.799 * [backup-simplify]: Simplify (* 1 1) into 1
6.800 * [backup-simplify]: Simplify (* 1 1) into 1
6.800 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.800 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
6.800 * [backup-simplify]: Simplify (* 1 (pow x 3)) into (pow x 3)
6.800 * [backup-simplify]: Simplify (/ 1 (pow x 3)) into (/ 1 (pow x 3))
6.800 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.800 * [taylor]: Taking taylor expansion of (* a x) in a
6.800 * [taylor]: Taking taylor expansion of a in a
6.800 * [backup-simplify]: Simplify 0 into 0
6.800 * [backup-simplify]: Simplify 1 into 1
6.800 * [taylor]: Taking taylor expansion of x in a
6.800 * [backup-simplify]: Simplify x into x
6.800 * [backup-simplify]: Simplify (* 0 x) into 0
6.801 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.801 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.801 * [backup-simplify]: Simplify (* 1/6 (/ 1 (pow x 3))) into (/ 1/6 (pow x 3))
6.801 * [backup-simplify]: Simplify (+ (/ 1/6 (pow x 3)) 0) into (* 1/6 (/ 1 (pow x 3)))
6.801 * [backup-simplify]: Simplify (+ 0 (* 1/6 (/ 1 (pow x 3)))) into (* 1/6 (/ 1 (pow x 3)))
6.801 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x
6.801 * [taylor]: Taking taylor expansion of 1/6 in x
6.801 * [backup-simplify]: Simplify 1/6 into 1/6
6.801 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
6.801 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.801 * [taylor]: Taking taylor expansion of x in x
6.801 * [backup-simplify]: Simplify 0 into 0
6.801 * [backup-simplify]: Simplify 1 into 1
6.802 * [backup-simplify]: Simplify (* 1 1) into 1
6.802 * [backup-simplify]: Simplify (* 1 1) into 1
6.803 * [backup-simplify]: Simplify (/ 1 1) into 1
6.803 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
6.803 * [backup-simplify]: Simplify 1/6 into 1/6
6.803 * [backup-simplify]: Simplify (* (/ 1 (pow x 2)) 1/2) into (/ 1/2 (pow x 2))
6.803 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
6.803 * [backup-simplify]: Simplify (+ (* x 0) (* 0 (pow x 2))) into 0
6.804 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.805 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.805 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow x 3))) into 0
6.805 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 3)) (/ 0 (pow x 3))))) into 0
6.806 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (/ 1 (pow x 3)))) into 0
6.806 * [backup-simplify]: Simplify (+ 0 0) into 0
6.806 * [backup-simplify]: Simplify (+ (/ 1/2 (pow x 2)) 0) into (* 1/2 (/ 1 (pow x 2)))
6.806 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
6.806 * [taylor]: Taking taylor expansion of 1/2 in x
6.806 * [backup-simplify]: Simplify 1/2 into 1/2
6.806 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.806 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.806 * [taylor]: Taking taylor expansion of x in x
6.806 * [backup-simplify]: Simplify 0 into 0
6.806 * [backup-simplify]: Simplify 1 into 1
6.807 * [backup-simplify]: Simplify (* 1 1) into 1
6.807 * [backup-simplify]: Simplify (/ 1 1) into 1
6.807 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.808 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.808 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.808 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
6.808 * [backup-simplify]: Simplify 0 into 0
6.809 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
6.809 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.809 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow x 2))) into 0
6.809 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0
6.810 * [backup-simplify]: Simplify (+ (* (/ 1 (pow x 2)) 0) (* 0 1/2)) into 0
6.810 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
6.810 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 (pow x 2)))) into 0
6.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow x 3)))) into 0
6.812 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 3)) (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))))) into 0
6.813 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (/ 1 (pow x 3))))) into 0
6.813 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
6.813 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
6.813 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.813 * [taylor]: Taking taylor expansion of x in x
6.813 * [backup-simplify]: Simplify 0 into 0
6.813 * [backup-simplify]: Simplify 1 into 1
6.813 * [backup-simplify]: Simplify (/ 1 1) into 1
6.814 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
6.814 * [backup-simplify]: Simplify 1/2 into 1/2
6.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.816 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
6.816 * [backup-simplify]: Simplify 0 into 0
6.817 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
6.817 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow x 2)))) into 0
6.818 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
6.819 * [backup-simplify]: Simplify (+ (* (/ 1 (pow x 2)) 0) (+ (* 0 0) (* 0 1/2))) into 0
6.819 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
6.820 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2))))) into 0
6.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 3))))) into 0
6.823 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 3)) (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))))) into 0
6.824 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow x 3)))))) into 0
6.825 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
6.825 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.825 * [backup-simplify]: Simplify (+ 0 0) into 0
6.825 * [backup-simplify]: Simplify (+ 0 0) into 0
6.825 * [taylor]: Taking taylor expansion of 0 in x
6.825 * [backup-simplify]: Simplify 0 into 0
6.826 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.827 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0
6.827 * [backup-simplify]: Simplify 0 into 0
6.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.829 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.829 * [backup-simplify]: Simplify 0 into 0
6.830 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
6.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2))))) into 0
6.831 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
6.832 * [backup-simplify]: Simplify (+ (* (/ 1 (pow x 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/2)))) into 0
6.833 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
6.834 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2)))))) into 0
6.834 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 3)))))) into 0
6.836 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 3)) (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))))) into 0
6.837 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow x 3))))))) into 0
6.838 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0
6.839 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.839 * [backup-simplify]: Simplify (+ 0 0) into 0
6.839 * [backup-simplify]: Simplify (+ 0 0) into 0
6.839 * [taylor]: Taking taylor expansion of 0 in x
6.839 * [backup-simplify]: Simplify 0 into 0
6.840 * [backup-simplify]: Simplify 1 into 1
6.840 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- a))))) (+ (* 1/2 (pow (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- a)))) 2)) (* 1/6 (pow (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- a)))) 3)))) into (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
6.841 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 2 2)
6.841 * [backup-simplify]: Simplify (* (* a x) (* a x)) into (* (pow a 2) (pow x 2))
6.841 * [approximate]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in (a x) around 0
6.841 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
6.841 * [taylor]: Taking taylor expansion of (pow a 2) in x
6.841 * [taylor]: Taking taylor expansion of a in x
6.841 * [backup-simplify]: Simplify a into a
6.841 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.841 * [taylor]: Taking taylor expansion of x in x
6.841 * [backup-simplify]: Simplify 0 into 0
6.841 * [backup-simplify]: Simplify 1 into 1
6.841 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
6.841 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.841 * [taylor]: Taking taylor expansion of a in a
6.841 * [backup-simplify]: Simplify 0 into 0
6.841 * [backup-simplify]: Simplify 1 into 1
6.841 * [taylor]: Taking taylor expansion of (pow x 2) in a
6.841 * [taylor]: Taking taylor expansion of x in a
6.841 * [backup-simplify]: Simplify x into x
6.841 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
6.841 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.842 * [taylor]: Taking taylor expansion of a in a
6.842 * [backup-simplify]: Simplify 0 into 0
6.842 * [backup-simplify]: Simplify 1 into 1
6.842 * [taylor]: Taking taylor expansion of (pow x 2) in a
6.842 * [taylor]: Taking taylor expansion of x in a
6.842 * [backup-simplify]: Simplify x into x
6.842 * [backup-simplify]: Simplify (* 1 1) into 1
6.842 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.842 * [backup-simplify]: Simplify (* 1 (pow x 2)) into (pow x 2)
6.842 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.842 * [taylor]: Taking taylor expansion of x in x
6.842 * [backup-simplify]: Simplify 0 into 0
6.842 * [backup-simplify]: Simplify 1 into 1
6.843 * [backup-simplify]: Simplify (* 1 1) into 1
6.843 * [backup-simplify]: Simplify 1 into 1
6.843 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
6.844 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.844 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow x 2))) into 0
6.844 * [taylor]: Taking taylor expansion of 0 in x
6.844 * [backup-simplify]: Simplify 0 into 0
6.844 * [backup-simplify]: Simplify 0 into 0
6.845 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.845 * [backup-simplify]: Simplify 0 into 0
6.846 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
6.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow x 2)))) into 0
6.847 * [taylor]: Taking taylor expansion of 0 in x
6.847 * [backup-simplify]: Simplify 0 into 0
6.847 * [backup-simplify]: Simplify 0 into 0
6.847 * [backup-simplify]: Simplify 0 into 0
6.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.848 * [backup-simplify]: Simplify 0 into 0
6.849 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
6.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2))))) into 0
6.852 * [taylor]: Taking taylor expansion of 0 in x
6.852 * [backup-simplify]: Simplify 0 into 0
6.852 * [backup-simplify]: Simplify 0 into 0
6.852 * [backup-simplify]: Simplify (* 1 (pow (* x a) 2)) into (* (pow a 2) (pow x 2))
6.852 * [backup-simplify]: Simplify (* (* (/ 1 a) (/ 1 x)) (* (/ 1 a) (/ 1 x))) into (/ 1 (* (pow a 2) (pow x 2)))
6.852 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in (a x) around 0
6.852 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
6.852 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
6.852 * [taylor]: Taking taylor expansion of (pow a 2) in x
6.852 * [taylor]: Taking taylor expansion of a in x
6.852 * [backup-simplify]: Simplify a into a
6.852 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.853 * [taylor]: Taking taylor expansion of x in x
6.853 * [backup-simplify]: Simplify 0 into 0
6.853 * [backup-simplify]: Simplify 1 into 1
6.853 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.853 * [backup-simplify]: Simplify (* 1 1) into 1
6.853 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
6.853 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
6.853 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
6.853 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
6.853 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.853 * [taylor]: Taking taylor expansion of a in a
6.853 * [backup-simplify]: Simplify 0 into 0
6.853 * [backup-simplify]: Simplify 1 into 1
6.854 * [taylor]: Taking taylor expansion of (pow x 2) in a
6.854 * [taylor]: Taking taylor expansion of x in a
6.854 * [backup-simplify]: Simplify x into x
6.854 * [backup-simplify]: Simplify (* 1 1) into 1
6.854 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.854 * [backup-simplify]: Simplify (* 1 (pow x 2)) into (pow x 2)
6.854 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
6.854 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
6.854 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
6.854 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.855 * [taylor]: Taking taylor expansion of a in a
6.855 * [backup-simplify]: Simplify 0 into 0
6.855 * [backup-simplify]: Simplify 1 into 1
6.855 * [taylor]: Taking taylor expansion of (pow x 2) in a
6.855 * [taylor]: Taking taylor expansion of x in a
6.855 * [backup-simplify]: Simplify x into x
6.855 * [backup-simplify]: Simplify (* 1 1) into 1
6.855 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.855 * [backup-simplify]: Simplify (* 1 (pow x 2)) into (pow x 2)
6.855 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
6.855 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.855 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.855 * [taylor]: Taking taylor expansion of x in x
6.855 * [backup-simplify]: Simplify 0 into 0
6.855 * [backup-simplify]: Simplify 1 into 1
6.856 * [backup-simplify]: Simplify (* 1 1) into 1
6.856 * [backup-simplify]: Simplify (/ 1 1) into 1
6.856 * [backup-simplify]: Simplify 1 into 1
6.856 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
6.857 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.858 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow x 2))) into 0
6.858 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0
6.858 * [taylor]: Taking taylor expansion of 0 in x
6.858 * [backup-simplify]: Simplify 0 into 0
6.858 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.859 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.859 * [backup-simplify]: Simplify 0 into 0
6.860 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
6.861 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.862 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow x 2)))) into 0
6.862 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
6.862 * [taylor]: Taking taylor expansion of 0 in x
6.862 * [backup-simplify]: Simplify 0 into 0
6.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.864 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.864 * [backup-simplify]: Simplify 0 into 0
6.865 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
6.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2))))) into 0
6.867 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
6.867 * [taylor]: Taking taylor expansion of 0 in x
6.867 * [backup-simplify]: Simplify 0 into 0
6.867 * [backup-simplify]: Simplify 0 into 0
6.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.869 * [backup-simplify]: Simplify 0 into 0
6.871 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
6.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2)))))) into 0
6.874 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
6.874 * [taylor]: Taking taylor expansion of 0 in x
6.874 * [backup-simplify]: Simplify 0 into 0
6.874 * [backup-simplify]: Simplify 0 into 0
6.874 * [backup-simplify]: Simplify 0 into 0
6.874 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (/ 1 x)) (/ 1 (/ 1 a))) 2)) into (* (pow a 2) (pow x 2))
6.875 * [backup-simplify]: Simplify (* (* (/ 1 (- a)) (/ 1 (- x))) (* (/ 1 (- a)) (/ 1 (- x)))) into (/ 1 (* (pow a 2) (pow x 2)))
6.875 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in (a x) around 0
6.875 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
6.875 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
6.875 * [taylor]: Taking taylor expansion of (pow a 2) in x
6.875 * [taylor]: Taking taylor expansion of a in x
6.875 * [backup-simplify]: Simplify a into a
6.875 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.875 * [taylor]: Taking taylor expansion of x in x
6.875 * [backup-simplify]: Simplify 0 into 0
6.875 * [backup-simplify]: Simplify 1 into 1
6.875 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.876 * [backup-simplify]: Simplify (* 1 1) into 1
6.876 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
6.876 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
6.876 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
6.876 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
6.876 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.876 * [taylor]: Taking taylor expansion of a in a
6.876 * [backup-simplify]: Simplify 0 into 0
6.876 * [backup-simplify]: Simplify 1 into 1
6.876 * [taylor]: Taking taylor expansion of (pow x 2) in a
6.876 * [taylor]: Taking taylor expansion of x in a
6.876 * [backup-simplify]: Simplify x into x
6.876 * [backup-simplify]: Simplify (* 1 1) into 1
6.877 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.877 * [backup-simplify]: Simplify (* 1 (pow x 2)) into (pow x 2)
6.877 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
6.877 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
6.877 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
6.877 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.877 * [taylor]: Taking taylor expansion of a in a
6.877 * [backup-simplify]: Simplify 0 into 0
6.877 * [backup-simplify]: Simplify 1 into 1
6.877 * [taylor]: Taking taylor expansion of (pow x 2) in a
6.877 * [taylor]: Taking taylor expansion of x in a
6.877 * [backup-simplify]: Simplify x into x
6.877 * [backup-simplify]: Simplify (* 1 1) into 1
6.877 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.878 * [backup-simplify]: Simplify (* 1 (pow x 2)) into (pow x 2)
6.878 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
6.878 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.878 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.878 * [taylor]: Taking taylor expansion of x in x
6.878 * [backup-simplify]: Simplify 0 into 0
6.878 * [backup-simplify]: Simplify 1 into 1
6.878 * [backup-simplify]: Simplify (* 1 1) into 1
6.879 * [backup-simplify]: Simplify (/ 1 1) into 1
6.879 * [backup-simplify]: Simplify 1 into 1
6.879 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
6.879 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.880 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow x 2))) into 0
6.880 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0
6.880 * [taylor]: Taking taylor expansion of 0 in x
6.880 * [backup-simplify]: Simplify 0 into 0
6.881 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.882 * [backup-simplify]: Simplify 0 into 0
6.882 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
6.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.884 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow x 2)))) into 0
6.884 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
6.884 * [taylor]: Taking taylor expansion of 0 in x
6.884 * [backup-simplify]: Simplify 0 into 0
6.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.886 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.886 * [backup-simplify]: Simplify 0 into 0
6.887 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
6.888 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2))))) into 0
6.890 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
6.890 * [taylor]: Taking taylor expansion of 0 in x
6.890 * [backup-simplify]: Simplify 0 into 0
6.890 * [backup-simplify]: Simplify 0 into 0
6.891 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.892 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.892 * [backup-simplify]: Simplify 0 into 0
6.893 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
6.894 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.896 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2)))))) into 0
6.896 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
6.897 * [taylor]: Taking taylor expansion of 0 in x
6.897 * [backup-simplify]: Simplify 0 into 0
6.897 * [backup-simplify]: Simplify 0 into 0
6.897 * [backup-simplify]: Simplify 0 into 0
6.897 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- a)))) 2)) into (* (pow a 2) (pow x 2))
6.897 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
6.897 * [backup-simplify]: Simplify (* (* a x) (* a x)) into (* (pow a 2) (pow x 2))
6.897 * [approximate]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in (a x) around 0
6.897 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
6.897 * [taylor]: Taking taylor expansion of (pow a 2) in x
6.897 * [taylor]: Taking taylor expansion of a in x
6.897 * [backup-simplify]: Simplify a into a
6.897 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.897 * [taylor]: Taking taylor expansion of x in x
6.897 * [backup-simplify]: Simplify 0 into 0
6.897 * [backup-simplify]: Simplify 1 into 1
6.897 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
6.897 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.897 * [taylor]: Taking taylor expansion of a in a
6.898 * [backup-simplify]: Simplify 0 into 0
6.898 * [backup-simplify]: Simplify 1 into 1
6.898 * [taylor]: Taking taylor expansion of (pow x 2) in a
6.898 * [taylor]: Taking taylor expansion of x in a
6.898 * [backup-simplify]: Simplify x into x
6.898 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
6.898 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.898 * [taylor]: Taking taylor expansion of a in a
6.898 * [backup-simplify]: Simplify 0 into 0
6.898 * [backup-simplify]: Simplify 1 into 1
6.898 * [taylor]: Taking taylor expansion of (pow x 2) in a
6.898 * [taylor]: Taking taylor expansion of x in a
6.898 * [backup-simplify]: Simplify x into x
6.898 * [backup-simplify]: Simplify (* 1 1) into 1
6.898 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.899 * [backup-simplify]: Simplify (* 1 (pow x 2)) into (pow x 2)
6.899 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.899 * [taylor]: Taking taylor expansion of x in x
6.899 * [backup-simplify]: Simplify 0 into 0
6.899 * [backup-simplify]: Simplify 1 into 1
6.899 * [backup-simplify]: Simplify (* 1 1) into 1
6.899 * [backup-simplify]: Simplify 1 into 1
6.899 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
6.900 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.900 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow x 2))) into 0
6.900 * [taylor]: Taking taylor expansion of 0 in x
6.900 * [backup-simplify]: Simplify 0 into 0
6.901 * [backup-simplify]: Simplify 0 into 0
6.901 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.901 * [backup-simplify]: Simplify 0 into 0
6.902 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
6.903 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow x 2)))) into 0
6.904 * [taylor]: Taking taylor expansion of 0 in x
6.904 * [backup-simplify]: Simplify 0 into 0
6.904 * [backup-simplify]: Simplify 0 into 0
6.904 * [backup-simplify]: Simplify 0 into 0
6.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.905 * [backup-simplify]: Simplify 0 into 0
6.906 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
6.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2))))) into 0
6.909 * [taylor]: Taking taylor expansion of 0 in x
6.909 * [backup-simplify]: Simplify 0 into 0
6.909 * [backup-simplify]: Simplify 0 into 0
6.909 * [backup-simplify]: Simplify (* 1 (pow (* x a) 2)) into (* (pow a 2) (pow x 2))
6.909 * [backup-simplify]: Simplify (* (* (/ 1 a) (/ 1 x)) (* (/ 1 a) (/ 1 x))) into (/ 1 (* (pow a 2) (pow x 2)))
6.909 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in (a x) around 0
6.909 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
6.909 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
6.909 * [taylor]: Taking taylor expansion of (pow a 2) in x
6.909 * [taylor]: Taking taylor expansion of a in x
6.909 * [backup-simplify]: Simplify a into a
6.909 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.909 * [taylor]: Taking taylor expansion of x in x
6.909 * [backup-simplify]: Simplify 0 into 0
6.909 * [backup-simplify]: Simplify 1 into 1
6.909 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.910 * [backup-simplify]: Simplify (* 1 1) into 1
6.910 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
6.910 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
6.910 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
6.910 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
6.910 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.910 * [taylor]: Taking taylor expansion of a in a
6.910 * [backup-simplify]: Simplify 0 into 0
6.910 * [backup-simplify]: Simplify 1 into 1
6.910 * [taylor]: Taking taylor expansion of (pow x 2) in a
6.910 * [taylor]: Taking taylor expansion of x in a
6.910 * [backup-simplify]: Simplify x into x
6.911 * [backup-simplify]: Simplify (* 1 1) into 1
6.911 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.911 * [backup-simplify]: Simplify (* 1 (pow x 2)) into (pow x 2)
6.911 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
6.911 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
6.911 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
6.911 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.911 * [taylor]: Taking taylor expansion of a in a
6.911 * [backup-simplify]: Simplify 0 into 0
6.911 * [backup-simplify]: Simplify 1 into 1
6.911 * [taylor]: Taking taylor expansion of (pow x 2) in a
6.911 * [taylor]: Taking taylor expansion of x in a
6.911 * [backup-simplify]: Simplify x into x
6.911 * [backup-simplify]: Simplify (* 1 1) into 1
6.912 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.912 * [backup-simplify]: Simplify (* 1 (pow x 2)) into (pow x 2)
6.912 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
6.912 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.912 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.912 * [taylor]: Taking taylor expansion of x in x
6.912 * [backup-simplify]: Simplify 0 into 0
6.912 * [backup-simplify]: Simplify 1 into 1
6.912 * [backup-simplify]: Simplify (* 1 1) into 1
6.913 * [backup-simplify]: Simplify (/ 1 1) into 1
6.913 * [backup-simplify]: Simplify 1 into 1
6.913 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
6.914 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.914 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow x 2))) into 0
6.914 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0
6.914 * [taylor]: Taking taylor expansion of 0 in x
6.914 * [backup-simplify]: Simplify 0 into 0
6.917 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.918 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.918 * [backup-simplify]: Simplify 0 into 0
6.919 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
6.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow x 2)))) into 0
6.921 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
6.921 * [taylor]: Taking taylor expansion of 0 in x
6.921 * [backup-simplify]: Simplify 0 into 0
6.922 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.923 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.923 * [backup-simplify]: Simplify 0 into 0
6.923 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
6.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.926 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2))))) into 0
6.926 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
6.926 * [taylor]: Taking taylor expansion of 0 in x
6.926 * [backup-simplify]: Simplify 0 into 0
6.926 * [backup-simplify]: Simplify 0 into 0
6.926 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.927 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.927 * [backup-simplify]: Simplify 0 into 0
6.928 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
6.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2)))))) into 0
6.930 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
6.930 * [taylor]: Taking taylor expansion of 0 in x
6.930 * [backup-simplify]: Simplify 0 into 0
6.930 * [backup-simplify]: Simplify 0 into 0
6.930 * [backup-simplify]: Simplify 0 into 0
6.930 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (/ 1 x)) (/ 1 (/ 1 a))) 2)) into (* (pow a 2) (pow x 2))
6.930 * [backup-simplify]: Simplify (* (* (/ 1 (- a)) (/ 1 (- x))) (* (/ 1 (- a)) (/ 1 (- x)))) into (/ 1 (* (pow a 2) (pow x 2)))
6.930 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in (a x) around 0
6.930 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
6.930 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
6.930 * [taylor]: Taking taylor expansion of (pow a 2) in x
6.930 * [taylor]: Taking taylor expansion of a in x
6.930 * [backup-simplify]: Simplify a into a
6.930 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.930 * [taylor]: Taking taylor expansion of x in x
6.930 * [backup-simplify]: Simplify 0 into 0
6.930 * [backup-simplify]: Simplify 1 into 1
6.930 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.931 * [backup-simplify]: Simplify (* 1 1) into 1
6.931 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
6.931 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
6.931 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
6.931 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
6.931 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.931 * [taylor]: Taking taylor expansion of a in a
6.931 * [backup-simplify]: Simplify 0 into 0
6.931 * [backup-simplify]: Simplify 1 into 1
6.931 * [taylor]: Taking taylor expansion of (pow x 2) in a
6.931 * [taylor]: Taking taylor expansion of x in a
6.931 * [backup-simplify]: Simplify x into x
6.931 * [backup-simplify]: Simplify (* 1 1) into 1
6.931 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.931 * [backup-simplify]: Simplify (* 1 (pow x 2)) into (pow x 2)
6.931 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
6.931 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
6.931 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
6.931 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.931 * [taylor]: Taking taylor expansion of a in a
6.931 * [backup-simplify]: Simplify 0 into 0
6.931 * [backup-simplify]: Simplify 1 into 1
6.931 * [taylor]: Taking taylor expansion of (pow x 2) in a
6.931 * [taylor]: Taking taylor expansion of x in a
6.931 * [backup-simplify]: Simplify x into x
6.932 * [backup-simplify]: Simplify (* 1 1) into 1
6.932 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.932 * [backup-simplify]: Simplify (* 1 (pow x 2)) into (pow x 2)
6.932 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
6.932 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.932 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.932 * [taylor]: Taking taylor expansion of x in x
6.932 * [backup-simplify]: Simplify 0 into 0
6.932 * [backup-simplify]: Simplify 1 into 1
6.932 * [backup-simplify]: Simplify (* 1 1) into 1
6.932 * [backup-simplify]: Simplify (/ 1 1) into 1
6.932 * [backup-simplify]: Simplify 1 into 1
6.933 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
6.933 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.933 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow x 2))) into 0
6.933 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0
6.933 * [taylor]: Taking taylor expansion of 0 in x
6.933 * [backup-simplify]: Simplify 0 into 0
6.934 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.934 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.934 * [backup-simplify]: Simplify 0 into 0
6.935 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
6.935 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.936 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow x 2)))) into 0
6.936 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
6.936 * [taylor]: Taking taylor expansion of 0 in x
6.936 * [backup-simplify]: Simplify 0 into 0
6.936 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.937 * [backup-simplify]: Simplify 0 into 0
6.937 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
6.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.939 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2))))) into 0
6.939 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
6.939 * [taylor]: Taking taylor expansion of 0 in x
6.939 * [backup-simplify]: Simplify 0 into 0
6.939 * [backup-simplify]: Simplify 0 into 0
6.940 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.940 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.940 * [backup-simplify]: Simplify 0 into 0
6.941 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
6.941 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.942 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2)))))) into 0
6.943 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0
6.943 * [taylor]: Taking taylor expansion of 0 in x
6.943 * [backup-simplify]: Simplify 0 into 0
6.943 * [backup-simplify]: Simplify 0 into 0
6.943 * [backup-simplify]: Simplify 0 into 0
6.943 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- a)))) 2)) into (* (pow a 2) (pow x 2))
6.943 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 2)
6.943 * [backup-simplify]: Simplify (* (* a x) (* (* a x) (* a x))) into (* (pow a 3) (pow x 3))
6.943 * [approximate]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in (a x) around 0
6.943 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
6.943 * [taylor]: Taking taylor expansion of (pow a 3) in x
6.943 * [taylor]: Taking taylor expansion of a in x
6.943 * [backup-simplify]: Simplify a into a
6.943 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.943 * [taylor]: Taking taylor expansion of x in x
6.943 * [backup-simplify]: Simplify 0 into 0
6.943 * [backup-simplify]: Simplify 1 into 1
6.943 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.943 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.943 * [taylor]: Taking taylor expansion of a in a
6.943 * [backup-simplify]: Simplify 0 into 0
6.943 * [backup-simplify]: Simplify 1 into 1
6.943 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.943 * [taylor]: Taking taylor expansion of x in a
6.943 * [backup-simplify]: Simplify x into x
6.943 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.943 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.943 * [taylor]: Taking taylor expansion of a in a
6.943 * [backup-simplify]: Simplify 0 into 0
6.943 * [backup-simplify]: Simplify 1 into 1
6.943 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.943 * [taylor]: Taking taylor expansion of x in a
6.943 * [backup-simplify]: Simplify x into x
6.944 * [backup-simplify]: Simplify (* 1 1) into 1
6.944 * [backup-simplify]: Simplify (* 1 1) into 1
6.944 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.944 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
6.944 * [backup-simplify]: Simplify (* 1 (pow x 3)) into (pow x 3)
6.944 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.944 * [taylor]: Taking taylor expansion of x in x
6.944 * [backup-simplify]: Simplify 0 into 0
6.944 * [backup-simplify]: Simplify 1 into 1
6.944 * [backup-simplify]: Simplify (* 1 1) into 1
6.945 * [backup-simplify]: Simplify (* 1 1) into 1
6.945 * [backup-simplify]: Simplify 1 into 1
6.945 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
6.945 * [backup-simplify]: Simplify (+ (* x 0) (* 0 (pow x 2))) into 0
6.945 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.946 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.946 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow x 3))) into 0
6.946 * [taylor]: Taking taylor expansion of 0 in x
6.946 * [backup-simplify]: Simplify 0 into 0
6.946 * [backup-simplify]: Simplify 0 into 0
6.946 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.947 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.947 * [backup-simplify]: Simplify 0 into 0
6.947 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
6.947 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 (pow x 2)))) into 0
6.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.949 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow x 3)))) into 0
6.949 * [taylor]: Taking taylor expansion of 0 in x
6.949 * [backup-simplify]: Simplify 0 into 0
6.949 * [backup-simplify]: Simplify 0 into 0
6.949 * [backup-simplify]: Simplify 0 into 0
6.950 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.950 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.950 * [backup-simplify]: Simplify 0 into 0
6.951 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
6.951 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2))))) into 0
6.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.953 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.953 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 3))))) into 0
6.953 * [taylor]: Taking taylor expansion of 0 in x
6.953 * [backup-simplify]: Simplify 0 into 0
6.954 * [backup-simplify]: Simplify 0 into 0
6.954 * [backup-simplify]: Simplify (* 1 (pow (* x a) 3)) into (* (pow a 3) (pow x 3))
6.954 * [backup-simplify]: Simplify (* (* (/ 1 a) (/ 1 x)) (* (* (/ 1 a) (/ 1 x)) (* (/ 1 a) (/ 1 x)))) into (/ 1 (* (pow a 3) (pow x 3)))
6.954 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in (a x) around 0
6.954 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in x
6.954 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
6.954 * [taylor]: Taking taylor expansion of (pow a 3) in x
6.954 * [taylor]: Taking taylor expansion of a in x
6.954 * [backup-simplify]: Simplify a into a
6.954 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.954 * [taylor]: Taking taylor expansion of x in x
6.954 * [backup-simplify]: Simplify 0 into 0
6.954 * [backup-simplify]: Simplify 1 into 1
6.954 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.954 * [backup-simplify]: Simplify (* a (pow a 2)) into (pow a 3)
6.955 * [backup-simplify]: Simplify (* 1 1) into 1
6.955 * [backup-simplify]: Simplify (* 1 1) into 1
6.955 * [backup-simplify]: Simplify (* (pow a 3) 1) into (pow a 3)
6.955 * [backup-simplify]: Simplify (/ 1 (pow a 3)) into (/ 1 (pow a 3))
6.955 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
6.955 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.955 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.956 * [taylor]: Taking taylor expansion of a in a
6.956 * [backup-simplify]: Simplify 0 into 0
6.956 * [backup-simplify]: Simplify 1 into 1
6.956 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.956 * [taylor]: Taking taylor expansion of x in a
6.956 * [backup-simplify]: Simplify x into x
6.956 * [backup-simplify]: Simplify (* 1 1) into 1
6.956 * [backup-simplify]: Simplify (* 1 1) into 1
6.956 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.957 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
6.957 * [backup-simplify]: Simplify (* 1 (pow x 3)) into (pow x 3)
6.957 * [backup-simplify]: Simplify (/ 1 (pow x 3)) into (/ 1 (pow x 3))
6.957 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
6.957 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.957 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.957 * [taylor]: Taking taylor expansion of a in a
6.957 * [backup-simplify]: Simplify 0 into 0
6.957 * [backup-simplify]: Simplify 1 into 1
6.957 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.957 * [taylor]: Taking taylor expansion of x in a
6.957 * [backup-simplify]: Simplify x into x
6.957 * [backup-simplify]: Simplify (* 1 1) into 1
6.958 * [backup-simplify]: Simplify (* 1 1) into 1
6.958 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.958 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
6.958 * [backup-simplify]: Simplify (* 1 (pow x 3)) into (pow x 3)
6.958 * [backup-simplify]: Simplify (/ 1 (pow x 3)) into (/ 1 (pow x 3))
6.958 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
6.958 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.958 * [taylor]: Taking taylor expansion of x in x
6.958 * [backup-simplify]: Simplify 0 into 0
6.958 * [backup-simplify]: Simplify 1 into 1
6.959 * [backup-simplify]: Simplify (* 1 1) into 1
6.959 * [backup-simplify]: Simplify (* 1 1) into 1
6.960 * [backup-simplify]: Simplify (/ 1 1) into 1
6.960 * [backup-simplify]: Simplify 1 into 1
6.960 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
6.960 * [backup-simplify]: Simplify (+ (* x 0) (* 0 (pow x 2))) into 0
6.960 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.961 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.962 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow x 3))) into 0
6.962 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 3)) (/ 0 (pow x 3))))) into 0
6.962 * [taylor]: Taking taylor expansion of 0 in x
6.962 * [backup-simplify]: Simplify 0 into 0
6.962 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.963 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.964 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.964 * [backup-simplify]: Simplify 0 into 0
6.964 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
6.965 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 (pow x 2)))) into 0
6.966 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.967 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.968 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow x 3)))) into 0
6.968 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 3)) (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))))) into 0
6.968 * [taylor]: Taking taylor expansion of 0 in x
6.968 * [backup-simplify]: Simplify 0 into 0
6.969 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.970 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.971 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.971 * [backup-simplify]: Simplify 0 into 0
6.972 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
6.973 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2))))) into 0
6.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.975 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 3))))) into 0
6.975 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 3)) (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))))) into 0
6.975 * [taylor]: Taking taylor expansion of 0 in x
6.975 * [backup-simplify]: Simplify 0 into 0
6.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.977 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.977 * [backup-simplify]: Simplify 0 into 0
6.978 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
6.978 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2)))))) into 0
6.979 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.981 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 3)))))) into 0
6.981 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 3)) (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))))) into 0
6.981 * [taylor]: Taking taylor expansion of 0 in x
6.981 * [backup-simplify]: Simplify 0 into 0
6.981 * [backup-simplify]: Simplify 0 into 0
6.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.983 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.983 * [backup-simplify]: Simplify 0 into 0
6.984 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0
6.985 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2))))))) into 0
6.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.986 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.987 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 3))))))) into 0
6.988 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 3)) (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))))) into 0
6.988 * [taylor]: Taking taylor expansion of 0 in x
6.988 * [backup-simplify]: Simplify 0 into 0
6.988 * [backup-simplify]: Simplify 0 into 0
6.988 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (/ 1 x)) (/ 1 (/ 1 a))) 3)) into (* (pow a 3) (pow x 3))
6.988 * [backup-simplify]: Simplify (* (* (/ 1 (- a)) (/ 1 (- x))) (* (* (/ 1 (- a)) (/ 1 (- x))) (* (/ 1 (- a)) (/ 1 (- x))))) into (/ 1 (* (pow a 3) (pow x 3)))
6.988 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in (a x) around 0
6.988 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in x
6.988 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
6.988 * [taylor]: Taking taylor expansion of (pow a 3) in x
6.988 * [taylor]: Taking taylor expansion of a in x
6.988 * [backup-simplify]: Simplify a into a
6.988 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.988 * [taylor]: Taking taylor expansion of x in x
6.988 * [backup-simplify]: Simplify 0 into 0
6.988 * [backup-simplify]: Simplify 1 into 1
6.988 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.988 * [backup-simplify]: Simplify (* a (pow a 2)) into (pow a 3)
6.989 * [backup-simplify]: Simplify (* 1 1) into 1
6.989 * [backup-simplify]: Simplify (* 1 1) into 1
6.989 * [backup-simplify]: Simplify (* (pow a 3) 1) into (pow a 3)
6.989 * [backup-simplify]: Simplify (/ 1 (pow a 3)) into (/ 1 (pow a 3))
6.989 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
6.989 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.989 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.989 * [taylor]: Taking taylor expansion of a in a
6.989 * [backup-simplify]: Simplify 0 into 0
6.989 * [backup-simplify]: Simplify 1 into 1
6.989 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.989 * [taylor]: Taking taylor expansion of x in a
6.989 * [backup-simplify]: Simplify x into x
6.989 * [backup-simplify]: Simplify (* 1 1) into 1
6.989 * [backup-simplify]: Simplify (* 1 1) into 1
6.990 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.990 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
6.990 * [backup-simplify]: Simplify (* 1 (pow x 3)) into (pow x 3)
6.990 * [backup-simplify]: Simplify (/ 1 (pow x 3)) into (/ 1 (pow x 3))
6.990 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
6.990 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.990 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.990 * [taylor]: Taking taylor expansion of a in a
6.990 * [backup-simplify]: Simplify 0 into 0
6.990 * [backup-simplify]: Simplify 1 into 1
6.990 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.990 * [taylor]: Taking taylor expansion of x in a
6.990 * [backup-simplify]: Simplify x into x
6.990 * [backup-simplify]: Simplify (* 1 1) into 1
6.990 * [backup-simplify]: Simplify (* 1 1) into 1
6.990 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.990 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
6.990 * [backup-simplify]: Simplify (* 1 (pow x 3)) into (pow x 3)
6.990 * [backup-simplify]: Simplify (/ 1 (pow x 3)) into (/ 1 (pow x 3))
6.991 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
6.991 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.991 * [taylor]: Taking taylor expansion of x in x
6.991 * [backup-simplify]: Simplify 0 into 0
6.991 * [backup-simplify]: Simplify 1 into 1
6.991 * [backup-simplify]: Simplify (* 1 1) into 1
6.991 * [backup-simplify]: Simplify (* 1 1) into 1
6.991 * [backup-simplify]: Simplify (/ 1 1) into 1
6.991 * [backup-simplify]: Simplify 1 into 1
6.991 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
6.991 * [backup-simplify]: Simplify (+ (* x 0) (* 0 (pow x 2))) into 0
6.992 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.992 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.993 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow x 3))) into 0
6.993 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 3)) (/ 0 (pow x 3))))) into 0
6.993 * [taylor]: Taking taylor expansion of 0 in x
6.993 * [backup-simplify]: Simplify 0 into 0
6.993 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.994 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.994 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.994 * [backup-simplify]: Simplify 0 into 0
6.994 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
6.995 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 (pow x 2)))) into 0
6.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.996 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.996 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow x 3)))) into 0
6.996 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 3)) (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))))) into 0
6.996 * [taylor]: Taking taylor expansion of 0 in x
6.996 * [backup-simplify]: Simplify 0 into 0
6.997 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.997 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.998 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.998 * [backup-simplify]: Simplify 0 into 0
6.998 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
6.999 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2))))) into 0
7.000 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.000 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.001 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 3))))) into 0
7.001 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 3)) (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))))) into 0
7.001 * [taylor]: Taking taylor expansion of 0 in x
7.001 * [backup-simplify]: Simplify 0 into 0
7.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.003 * [backup-simplify]: Simplify 0 into 0
7.004 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
7.005 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2)))))) into 0
7.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 3)))))) into 0
7.008 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 3)) (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))))) into 0
7.008 * [taylor]: Taking taylor expansion of 0 in x
7.009 * [backup-simplify]: Simplify 0 into 0
7.009 * [backup-simplify]: Simplify 0 into 0
7.009 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.010 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.011 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.011 * [backup-simplify]: Simplify 0 into 0
7.012 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0
7.013 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2))))))) into 0
7.014 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 3))))))) into 0
7.017 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 3)) (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))) (* 0 (/ 0 (pow x 3))))) into 0
7.017 * [taylor]: Taking taylor expansion of 0 in x
7.018 * [backup-simplify]: Simplify 0 into 0
7.018 * [backup-simplify]: Simplify 0 into 0
7.018 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- a)))) 3)) into (* (pow a 3) (pow x 3))
7.018 * * * [progress]: simplifying candidates
7.018 * * * * [progress]: [ 1 / 163 ] simplifiying candidate #<alt (λ (a x) (log1p (expm1 (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))))>
7.018 * * * * [progress]: [ 2 / 163 ] simplifiying candidate #<alt (λ (a x) (expm1 (log1p (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))))>
7.018 * * * * [progress]: [ 3 / 163 ] simplifiying candidate #<alt (λ (a x) (+ (* (* (* a x) (* a x)) 1/2) (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.018 * * * * [progress]: [ 4 / 163 ] simplifiying candidate #<alt (λ (a x) (pow (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))) 1))>
7.018 * * * * [progress]: [ 5 / 163 ] simplifiying candidate #<alt (λ (a x) (exp (log (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))))>
7.018 * * * * [progress]: [ 6 / 163 ] simplifiying candidate #<alt (λ (a x) (log (exp (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))))>
7.018 * * * * [progress]: [ 7 / 163 ] simplifiying candidate #<alt (λ (a x) (* (* (cbrt (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x)))) (cbrt (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))) (cbrt (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))))>
7.018 * * * * [progress]: [ 8 / 163 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x)))) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))))>
7.018 * * * * [progress]: [ 9 / 163 ] simplifiying candidate #<alt (λ (a x) (* (sqrt (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x)))) (sqrt (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))))>
7.018 * * * * [progress]: [ 10 / 163 ] simplifiying candidate #<alt (λ (a x) (* 1 (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x)))))>
7.018 * * * * [progress]: [ 11 / 163 ] simplifiying candidate #<alt (λ (a x) (posit16->real (real->posit16 (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))))>
7.018 * * * * [progress]: [ 12 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (log1p (expm1 (* (* a x) (* a x))))) (* a x))))>
7.018 * * * * [progress]: [ 13 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (expm1 (log1p (* (* a x) (* a x))))) (* a x))))>
7.018 * * * * [progress]: [ 14 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (pow (* a x) (+ 1 1))) (* a x))))>
7.018 * * * * [progress]: [ 15 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (pow (* a x) (+ 1 1))) (* a x))))>
7.018 * * * * [progress]: [ 16 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (pow (* a x) (+ 1 1))) (* a x))))>
7.019 * * * * [progress]: [ 17 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (pow (* a x) (+ 1 1))) (* a x))))>
7.019 * * * * [progress]: [ 18 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (pow (* (* a x) (* a x)) 1)) (* a x))))>
7.019 * * * * [progress]: [ 19 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (pow (* (* a x) (* a x)) 1)) (* a x))))>
7.019 * * * * [progress]: [ 20 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (pow (* (* a x) (* a x)) 1)) (* a x))))>
7.019 * * * * [progress]: [ 21 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (pow (* (* a x) (* a x)) 1)) (* a x))))>
7.019 * * * * [progress]: [ 22 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (pow (* a x) 2)) (* a x))))>
7.019 * * * * [progress]: [ 23 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (pow (* a x) (+ 1 1))) (* a x))))>
7.019 * * * * [progress]: [ 24 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (pow (* a x) (+ 1 1))) (* a x))))>
7.019 * * * * [progress]: [ 25 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (pow (* (* a x) (* a x)) 1)) (* a x))))>
7.019 * * * * [progress]: [ 26 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (exp (+ (+ (log a) (log x)) (+ (log a) (log x))))) (* a x))))>
7.019 * * * * [progress]: [ 27 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (exp (+ (+ (log a) (log x)) (log (* a x))))) (* a x))))>
7.019 * * * * [progress]: [ 28 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (exp (+ (log (* a x)) (+ (log a) (log x))))) (* a x))))>
7.019 * * * * [progress]: [ 29 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (exp (+ (log (* a x)) (log (* a x))))) (* a x))))>
7.019 * * * * [progress]: [ 30 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (exp (log (* (* a x) (* a x))))) (* a x))))>
7.019 * * * * [progress]: [ 31 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (log (exp (* (* a x) (* a x))))) (* a x))))>
7.019 * * * * [progress]: [ 32 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (cbrt (* (* (* (* a a) a) (* (* x x) x)) (* (* (* a a) a) (* (* x x) x))))) (* a x))))>
7.019 * * * * [progress]: [ 33 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (cbrt (* (* (* (* a a) a) (* (* x x) x)) (* (* (* a x) (* a x)) (* a x))))) (* a x))))>
7.019 * * * * [progress]: [ 34 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (cbrt (* (* (* (* a x) (* a x)) (* a x)) (* (* (* a a) a) (* (* x x) x))))) (* a x))))>
7.019 * * * * [progress]: [ 35 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (cbrt (* (* (* (* a x) (* a x)) (* a x)) (* (* (* a x) (* a x)) (* a x))))) (* a x))))>
7.019 * * * * [progress]: [ 36 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* (cbrt (* (* a x) (* a x))) (cbrt (* (* a x) (* a x)))) (cbrt (* (* a x) (* a x))))) (* a x))))>
7.019 * * * * [progress]: [ 37 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (cbrt (* (* (* (* a x) (* a x)) (* (* a x) (* a x))) (* (* a x) (* a x))))) (* a x))))>
7.019 * * * * [progress]: [ 38 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (sqrt (* (* a x) (* a x))) (sqrt (* (* a x) (* a x))))) (* a x))))>
7.019 * * * * [progress]: [ 39 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* 1 (* (* a x) (* a x)))) (* a x))))>
7.019 * * * * [progress]: [ 40 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a a) (* x x))) (* a x))))>
7.020 * * * * [progress]: [ 41 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (pow (* a x) (* 2 1))) (* a x))))>
7.020 * * * * [progress]: [ 42 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (pow (* a x) (* 2 1))) (* a x))))>
7.020 * * * * [progress]: [ 43 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (pow (* a x) (* 2 1))) (* a x))))>
7.020 * * * * [progress]: [ 44 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (pow (* a x) (* 2 1))) (* a x))))>
7.020 * * * * [progress]: [ 45 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* (* a x) a) x)) (* a x))))>
7.020 * * * * [progress]: [ 46 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* a (* x (* a x)))) (* a x))))>
7.020 * * * * [progress]: [ 47 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (posit16->real (real->posit16 (* (* a x) (* a x))))) (* a x))))>
7.020 * * * * [progress]: [ 48 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.020 * * * * [progress]: [ 49 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (log1p (expm1 (* (* a x) (* a x)))) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.020 * * * * [progress]: [ 50 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (expm1 (log1p (* (* a x) (* a x)))) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.020 * * * * [progress]: [ 51 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (pow (* a x) (+ 1 1)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.020 * * * * [progress]: [ 52 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (pow (* a x) (+ 1 1)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.020 * * * * [progress]: [ 53 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (pow (* a x) (+ 1 1)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.020 * * * * [progress]: [ 54 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (pow (* a x) (+ 1 1)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.020 * * * * [progress]: [ 55 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (pow (* (* a x) (* a x)) 1) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.020 * * * * [progress]: [ 56 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (pow (* (* a x) (* a x)) 1) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.020 * * * * [progress]: [ 57 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (pow (* (* a x) (* a x)) 1) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.020 * * * * [progress]: [ 58 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (pow (* (* a x) (* a x)) 1) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.020 * * * * [progress]: [ 59 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (pow (* a x) 2) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.020 * * * * [progress]: [ 60 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (pow (* a x) (+ 1 1)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.020 * * * * [progress]: [ 61 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (pow (* a x) (+ 1 1)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.020 * * * * [progress]: [ 62 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (pow (* (* a x) (* a x)) 1) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.020 * * * * [progress]: [ 63 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (exp (+ (+ (log a) (log x)) (+ (log a) (log x)))) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 64 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (exp (+ (+ (log a) (log x)) (log (* a x)))) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 65 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (exp (+ (log (* a x)) (+ (log a) (log x)))) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 66 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (exp (+ (log (* a x)) (log (* a x)))) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 67 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (exp (log (* (* a x) (* a x)))) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 68 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (log (exp (* (* a x) (* a x)))) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 69 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (cbrt (* (* (* (* a a) a) (* (* x x) x)) (* (* (* a a) a) (* (* x x) x)))) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 70 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (cbrt (* (* (* (* a a) a) (* (* x x) x)) (* (* (* a x) (* a x)) (* a x)))) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 71 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (cbrt (* (* (* (* a x) (* a x)) (* a x)) (* (* (* a a) a) (* (* x x) x)))) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 72 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (cbrt (* (* (* (* a x) (* a x)) (* a x)) (* (* (* a x) (* a x)) (* a x)))) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 73 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* (cbrt (* (* a x) (* a x))) (cbrt (* (* a x) (* a x)))) (cbrt (* (* a x) (* a x)))) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 74 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (cbrt (* (* (* (* a x) (* a x)) (* (* a x) (* a x))) (* (* a x) (* a x)))) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 75 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (sqrt (* (* a x) (* a x))) (sqrt (* (* a x) (* a x)))) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 76 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* 1 (* (* a x) (* a x))) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 77 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a a) (* x x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 78 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (pow (* a x) (* 2 1)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 79 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (pow (* a x) (* 2 1)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 80 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (pow (* a x) (* 2 1)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 81 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (pow (* a x) (* 2 1)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 82 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* (* a x) a) x) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 83 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* a (* x (* a x))) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 84 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (posit16->real (real->posit16 (* (* a x) (* a x)))) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 85 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.021 * * * * [progress]: [ 86 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (log1p (expm1 (* (* a x) (* (* a x) (* a x))))) (* a x))))>
7.021 * * * * [progress]: [ 87 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (expm1 (log1p (* (* a x) (* (* a x) (* a x))))) (* a x))))>
7.021 * * * * [progress]: [ 88 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 (+ 1 1))) (* a x))))>
7.022 * * * * [progress]: [ 89 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 (+ 1 1))) (* a x))))>
7.022 * * * * [progress]: [ 90 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 (+ 1 1))) (* a x))))>
7.022 * * * * [progress]: [ 91 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 (+ 1 1))) (* a x))))>
7.022 * * * * [progress]: [ 92 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 2)) (* a x))))>
7.022 * * * * [progress]: [ 93 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 (+ 1 1))) (* a x))))>
7.022 * * * * [progress]: [ 94 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 (+ 1 1))) (* a x))))>
7.022 * * * * [progress]: [ 95 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 (* 2 1))) (* a x))))>
7.022 * * * * [progress]: [ 96 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 (* 2 1))) (* a x))))>
7.022 * * * * [progress]: [ 97 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 (* 2 1))) (* a x))))>
7.022 * * * * [progress]: [ 98 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 (* 2 1))) (* a x))))>
7.022 * * * * [progress]: [ 99 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 (+ 1 1))) (* a x))))>
7.022 * * * * [progress]: [ 100 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 (+ 1 1))) (* a x))))>
7.022 * * * * [progress]: [ 101 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 (+ 1 1))) (* a x))))>
7.022 * * * * [progress]: [ 102 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 (+ 1 1))) (* a x))))>
7.022 * * * * [progress]: [ 103 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 2)) (* a x))))>
7.022 * * * * [progress]: [ 104 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 (+ 1 1))) (* a x))))>
7.022 * * * * [progress]: [ 105 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 (+ 1 1))) (* a x))))>
7.022 * * * * [progress]: [ 106 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 (* 2 1))) (* a x))))>
7.022 * * * * [progress]: [ 107 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 (* 2 1))) (* a x))))>
7.022 * * * * [progress]: [ 108 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 (* 2 1))) (* a x))))>
7.022 * * * * [progress]: [ 109 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) (+ 1 (* 2 1))) (* a x))))>
7.022 * * * * [progress]: [ 110 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* (* a x) (* (* a x) (* a x))) 1) (* a x))))>
7.023 * * * * [progress]: [ 111 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* (* a x) (* (* a x) (* a x))) 1) (* a x))))>
7.023 * * * * [progress]: [ 112 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* (* a x) (* (* a x) (* a x))) 1) (* a x))))>
7.023 * * * * [progress]: [ 113 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* (* a x) (* (* a x) (* a x))) 1) (* a x))))>
7.023 * * * * [progress]: [ 114 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* (* a x) (* (* a x) (* a x))) 1) (* a x))))>
7.023 * * * * [progress]: [ 115 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* (* a x) (* (* a x) (* a x))) 1) (* a x))))>
7.023 * * * * [progress]: [ 116 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* (* a x) (* (* a x) (* a x))) 1) (* a x))))>
7.023 * * * * [progress]: [ 117 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* (* a x) (* (* a x) (* a x))) 1) (* a x))))>
7.023 * * * * [progress]: [ 118 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* (* a x) (* (* a x) (* a x))) 1) (* a x))))>
7.023 * * * * [progress]: [ 119 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* (* a x) (* (* a x) (* a x))) 1) (* a x))))>
7.023 * * * * [progress]: [ 120 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* (* a x) (* (* a x) (* a x))) 1) (* a x))))>
7.023 * * * * [progress]: [ 121 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (exp (+ (+ (log a) (log x)) (+ (+ (log a) (log x)) (+ (log a) (log x))))) (* a x))))>
7.023 * * * * [progress]: [ 122 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (exp (+ (+ (log a) (log x)) (+ (+ (log a) (log x)) (log (* a x))))) (* a x))))>
7.023 * * * * [progress]: [ 123 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (exp (+ (+ (log a) (log x)) (+ (log (* a x)) (+ (log a) (log x))))) (* a x))))>
7.023 * * * * [progress]: [ 124 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (exp (+ (+ (log a) (log x)) (+ (log (* a x)) (log (* a x))))) (* a x))))>
7.023 * * * * [progress]: [ 125 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (exp (+ (+ (log a) (log x)) (log (* (* a x) (* a x))))) (* a x))))>
7.024 * * * * [progress]: [ 126 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (exp (+ (log (* a x)) (+ (+ (log a) (log x)) (+ (log a) (log x))))) (* a x))))>
7.024 * * * * [progress]: [ 127 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (exp (+ (log (* a x)) (+ (+ (log a) (log x)) (log (* a x))))) (* a x))))>
7.024 * * * * [progress]: [ 128 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (exp (+ (log (* a x)) (+ (log (* a x)) (+ (log a) (log x))))) (* a x))))>
7.024 * * * * [progress]: [ 129 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (exp (+ (log (* a x)) (+ (log (* a x)) (log (* a x))))) (* a x))))>
7.024 * * * * [progress]: [ 130 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (exp (+ (log (* a x)) (log (* (* a x) (* a x))))) (* a x))))>
7.024 * * * * [progress]: [ 131 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (exp (log (* (* a x) (* (* a x) (* a x))))) (* a x))))>
7.024 * * * * [progress]: [ 132 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (log (exp (* (* a x) (* (* a x) (* a x))))) (* a x))))>
7.024 * * * * [progress]: [ 133 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (pow (* a x) 3) (* a x))))>
7.024 * * * * [progress]: [ 134 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (cbrt (* (* (* (* a a) a) (* (* x x) x)) (* (* (* (* a a) a) (* (* x x) x)) (* (* (* a a) a) (* (* x x) x))))) (* a x))))>
7.024 * * * * [progress]: [ 135 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (cbrt (* (* (* (* a a) a) (* (* x x) x)) (* (* (* (* a a) a) (* (* x x) x)) (* (* (* a x) (* a x)) (* a x))))) (* a x))))>
7.024 * * * * [progress]: [ 136 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (cbrt (* (* (* (* a a) a) (* (* x x) x)) (* (* (* (* a x) (* a x)) (* a x)) (* (* (* a a) a) (* (* x x) x))))) (* a x))))>
7.024 * * * * [progress]: [ 137 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (cbrt (* (* (* (* a a) a) (* (* x x) x)) (* (* (* (* a x) (* a x)) (* a x)) (* (* (* a x) (* a x)) (* a x))))) (* a x))))>
7.024 * * * * [progress]: [ 138 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (cbrt (* (* (* (* a a) a) (* (* x x) x)) (* (* (* (* a x) (* a x)) (* (* a x) (* a x))) (* (* a x) (* a x))))) (* a x))))>
7.024 * * * * [progress]: [ 139 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (cbrt (* (* (* (* a x) (* a x)) (* a x)) (* (* (* (* a a) a) (* (* x x) x)) (* (* (* a a) a) (* (* x x) x))))) (* a x))))>
7.024 * * * * [progress]: [ 140 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (cbrt (* (* (* (* a x) (* a x)) (* a x)) (* (* (* (* a a) a) (* (* x x) x)) (* (* (* a x) (* a x)) (* a x))))) (* a x))))>
7.024 * * * * [progress]: [ 141 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (cbrt (* (* (* (* a x) (* a x)) (* a x)) (* (* (* (* a x) (* a x)) (* a x)) (* (* (* a a) a) (* (* x x) x))))) (* a x))))>
7.024 * * * * [progress]: [ 142 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (cbrt (* (* (* (* a x) (* a x)) (* a x)) (* (* (* (* a x) (* a x)) (* a x)) (* (* (* a x) (* a x)) (* a x))))) (* a x))))>
7.025 * * * * [progress]: [ 143 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (cbrt (* (* (* (* a x) (* a x)) (* a x)) (* (* (* (* a x) (* a x)) (* (* a x) (* a x))) (* (* a x) (* a x))))) (* a x))))>
7.026 * * * * [progress]: [ 144 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* (cbrt (* (* a x) (* (* a x) (* a x)))) (cbrt (* (* a x) (* (* a x) (* a x))))) (cbrt (* (* a x) (* (* a x) (* a x))))) (* a x))))>
7.026 * * * * [progress]: [ 145 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (cbrt (* (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x)))) (* (* a x) (* (* a x) (* a x))))) (* a x))))>
7.026 * * * * [progress]: [ 146 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (sqrt (* (* a x) (* (* a x) (* a x)))) (sqrt (* (* a x) (* (* a x) (* a x))))) (* a x))))>
7.026 * * * * [progress]: [ 147 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* 1 (* (* a x) (* (* a x) (* a x)))) (* a x))))>
7.026 * * * * [progress]: [ 148 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* (* a x) (* a x)) (* a x)) (* a x))))>
7.026 * * * * [progress]: [ 149 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* a (* x (* (* a x) (* a x)))) (* a x))))>
7.026 * * * * [progress]: [ 150 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (posit16->real (real->posit16 (* (* a x) (* (* a x) (* a x))))) (* a x))))>
7.026 * * * * [progress]: [ 151 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* (* a x) (* a x)) (* a x)) (* a x))))>
7.027 * * * * [progress]: [ 152 / 163 ] simplifiying candidate #<alt (λ (a x) (+ (* a x) (* 1/2 (* (pow a 2) (pow x 2)))))>
7.027 * * * * [progress]: [ 153 / 163 ] simplifiying candidate #<alt (λ (a x) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))))>
7.027 * * * * [progress]: [ 154 / 163 ] simplifiying candidate #<alt (λ (a x) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))))>
7.027 * * * * [progress]: [ 155 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (pow a 2) (pow x 2))) (* a x))))>
7.027 * * * * [progress]: [ 156 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (pow a 2) (pow x 2))) (* a x))))>
7.027 * * * * [progress]: [ 157 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (pow a 2) (pow x 2))) (* a x))))>
7.027 * * * * [progress]: [ 158 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (pow a 2) (pow x 2)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.027 * * * * [progress]: [ 159 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (pow a 2) (pow x 2)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.027 * * * * [progress]: [ 160 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (pow a 2) (pow x 2)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))>
7.027 * * * * [progress]: [ 161 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))))>
7.027 * * * * [progress]: [ 162 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))))>
7.027 * * * * [progress]: [ 163 / 163 ] simplifiying candidate #<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))))>
7.028 * [simplify]: Simplifying (expm1 (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x)))), (log1p (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x)))), (* (* (* a x) (* a x)) 1/2), (log (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x)))), (exp (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x)))), (* (cbrt (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x)))) (cbrt (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))), (cbrt (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x)))), (* (* (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x)))) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x)))), (sqrt (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x)))), (sqrt (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x)))), (real->posit16 (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x)))), (expm1 (* (* a x) (* a x))), (log1p (* (* a x) (* a x))), (+ 1 1), (+ 1 1), (+ 1 1), (+ 1 1), (* (* a x) (* a x)), (* (* a x) (* a x)), (* (* a x) (* a x)), (* (* a x) (* a x)), (+ 1 1), (+ 1 1), (+ (+ (log a) (log x)) (+ (log a) (log x))), (+ (+ (log a) (log x)) (log (* a x))), (+ (log (* a x)) (+ (log a) (log x))), (+ (log (* a x)) (log (* a x))), (log (* (* a x) (* a x))), (exp (* (* a x) (* a x))), (* (* (* (* a a) a) (* (* x x) x)) (* (* (* a a) a) (* (* x x) x))), (* (* (* (* a a) a) (* (* x x) x)) (* (* (* a x) (* a x)) (* a x))), (* (* (* (* a x) (* a x)) (* a x)) (* (* (* a a) a) (* (* x x) x))), (* (* (* (* a x) (* a x)) (* a x)) (* (* (* a x) (* a x)) (* a x))), (* (cbrt (* (* a x) (* a x))) (cbrt (* (* a x) (* a x)))), (cbrt (* (* a x) (* a x))), (* (* (* (* a x) (* a x)) (* (* a x) (* a x))) (* (* a x) (* a x))), (sqrt (* (* a x) (* a x))), (sqrt (* (* a x) (* a x))), (* a a), (* x x), (* 2 1), (* 2 1), (* 2 1), (* 2 1), (* (* a x) a), (* x (* a x)), (real->posit16 (* (* a x) (* a x))), (expm1 (* (* a x) (* a x))), (log1p (* (* a x) (* a x))), (+ 1 1), (+ 1 1), (+ 1 1), (+ 1 1), (* (* a x) (* a x)), (* (* a x) (* a x)), (* (* a x) (* a x)), (* (* a x) (* a x)), (+ 1 1), (+ 1 1), (+ (+ (log a) (log x)) (+ (log a) (log x))), (+ (+ (log a) (log x)) (log (* a x))), (+ (log (* a x)) (+ (log a) (log x))), (+ (log (* a x)) (log (* a x))), (log (* (* a x) (* a x))), (exp (* (* a x) (* a x))), (* (* (* (* a a) a) (* (* x x) x)) (* (* (* a a) a) (* (* x x) x))), (* (* (* (* a a) a) (* (* x x) x)) (* (* (* a x) (* a x)) (* a x))), (* (* (* (* a x) (* a x)) (* a x)) (* (* (* a a) a) (* (* x x) x))), (* (* (* (* a x) (* a x)) (* a x)) (* (* (* a x) (* a x)) (* a x))), (* (cbrt (* (* a x) (* a x))) (cbrt (* (* a x) (* a x)))), (cbrt (* (* a x) (* a x))), (* (* (* (* a x) (* a x)) (* (* a x) (* a x))) (* (* a x) (* a x))), (sqrt (* (* a x) (* a x))), (sqrt (* (* a x) (* a x))), (* a a), (* x x), (* 2 1), (* 2 1), (* 2 1), (* 2 1), (* (* a x) a), (* x (* a x)), (real->posit16 (* (* a x) (* a x))), (expm1 (* (* a x) (* (* a x) (* a x)))), (log1p (* (* a x) (* (* a x) (* a x)))), (+ 1 (+ 1 1)), (+ 1 (+ 1 1)), (+ 1 (+ 1 1)), (+ 1 (+ 1 1)), (+ 1 2), (+ 1 (+ 1 1)), (+ 1 (+ 1 1)), (+ 1 (* 2 1)), (+ 1 (* 2 1)), (+ 1 (* 2 1)), (+ 1 (* 2 1)), (+ 1 (+ 1 1)), (+ 1 (+ 1 1)), (+ 1 (+ 1 1)), (+ 1 (+ 1 1)), (+ 1 2), (+ 1 (+ 1 1)), (+ 1 (+ 1 1)), (+ 1 (* 2 1)), (+ 1 (* 2 1)), (+ 1 (* 2 1)), (+ 1 (* 2 1)), (* (* a x) (* (* a x) (* a x))), (* (* a x) (* (* a x) (* a x))), (* (* a x) (* (* a x) (* a x))), (* (* a x) (* (* a x) (* a x))), (* (* a x) (* (* a x) (* a x))), (* (* a x) (* (* a x) (* a x))), (* (* a x) (* (* a x) (* a x))), (* (* a x) (* (* a x) (* a x))), (* (* a x) (* (* a x) (* a x))), (* (* a x) (* (* a x) (* a x))), (+ (+ (log a) (log x)) (+ (+ (log a) (log x)) (+ (log a) (log x)))), (+ (+ (log a) (log x)) (+ (+ (log a) (log x)) (log (* a x)))), (+ (+ (log a) (log x)) (+ (log (* a x)) (+ (log a) (log x)))), (+ (+ (log a) (log x)) (+ (log (* a x)) (log (* a x)))), (+ (+ (log a) (log x)) (log (* (* a x) (* a x)))), (+ (log (* a x)) (+ (+ (log a) (log x)) (+ (log a) (log x)))), (+ (log (* a x)) (+ (+ (log a) (log x)) (log (* a x)))), (+ (log (* a x)) (+ (log (* a x)) (+ (log a) (log x)))), (+ (log (* a x)) (+ (log (* a x)) (log (* a x)))), (+ (log (* a x)) (log (* (* a x) (* a x)))), (log (* (* a x) (* (* a x) (* a x)))), (exp (* (* a x) (* (* a x) (* a x)))), (* (* (* (* a a) a) (* (* x x) x)) (* (* (* (* a a) a) (* (* x x) x)) (* (* (* a a) a) (* (* x x) x)))), (* (* (* (* a a) a) (* (* x x) x)) (* (* (* (* a a) a) (* (* x x) x)) (* (* (* a x) (* a x)) (* a x)))), (* (* (* (* a a) a) (* (* x x) x)) (* (* (* (* a x) (* a x)) (* a x)) (* (* (* a a) a) (* (* x x) x)))), (* (* (* (* a a) a) (* (* x x) x)) (* (* (* (* a x) (* a x)) (* a x)) (* (* (* a x) (* a x)) (* a x)))), (* (* (* (* a a) a) (* (* x x) x)) (* (* (* (* a x) (* a x)) (* (* a x) (* a x))) (* (* a x) (* a x)))), (* (* (* (* a x) (* a x)) (* a x)) (* (* (* (* a a) a) (* (* x x) x)) (* (* (* a a) a) (* (* x x) x)))), (* (* (* (* a x) (* a x)) (* a x)) (* (* (* (* a a) a) (* (* x x) x)) (* (* (* a x) (* a x)) (* a x)))), (* (* (* (* a x) (* a x)) (* a x)) (* (* (* (* a x) (* a x)) (* a x)) (* (* (* a a) a) (* (* x x) x)))), (* (* (* (* a x) (* a x)) (* a x)) (* (* (* (* a x) (* a x)) (* a x)) (* (* (* a x) (* a x)) (* a x)))), (* (* (* (* a x) (* a x)) (* a x)) (* (* (* (* a x) (* a x)) (* (* a x) (* a x))) (* (* a x) (* a x)))), (* (cbrt (* (* a x) (* (* a x) (* a x)))) (cbrt (* (* a x) (* (* a x) (* a x))))), (cbrt (* (* a x) (* (* a x) (* a x)))), (* (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x)))) (* (* a x) (* (* a x) (* a x)))), (sqrt (* (* a x) (* (* a x) (* a x)))), (sqrt (* (* a x) (* (* a x) (* a x)))), (* (* a x) (* a x)), (* x (* (* a x) (* a x))), (real->posit16 (* (* a x) (* (* a x) (* a x)))), (+ (* a x) (* 1/2 (* (pow a 2) (pow x 2)))), (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))), (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))), (* (pow a 2) (pow x 2)), (* (pow a 2) (pow x 2)), (* (pow a 2) (pow x 2)), (* (pow a 2) (pow x 2)), (* (pow a 2) (pow x 2)), (* (pow a 2) (pow x 2)), (* (pow a 3) (pow x 3)), (* (pow a 3) (pow x 3)), (* (pow a 3) (pow x 3))
7.030 * * [simplify]: iteration 1: (100 enodes)
7.090 * * [simplify]: iteration 2: (377 enodes)
7.259 * * [simplify]: iteration 3: (989 enodes)
8.701 * * [simplify]: Extracting #0: cost 38 inf + 0
8.701 * * [simplify]: Extracting #1: cost 320 inf + 2
8.705 * * [simplify]: Extracting #2: cost 833 inf + 2196
8.717 * * [simplify]: Extracting #3: cost 691 inf + 53596
8.769 * * [simplify]: Extracting #4: cost 210 inf + 191004
8.867 * * [simplify]: Extracting #5: cost 7 inf + 254120
8.934 * * [simplify]: Extracting #6: cost 0 inf + 251378
9.034 * * [simplify]: Extracting #7: cost 0 inf + 249955
9.133 * [simplify]: Simplified to (expm1 (fma (* (* a x) (* a x)) 1/2 (fma (* (* a x) (* (* a x) (* a x))) 1/6 (* a x)))), (log1p (fma (* (* a x) (* a x)) 1/2 (fma (* (* a x) (* (* a x) (* a x))) 1/6 (* a x)))), (* (* (* a x) (* a x)) 1/2), (log (fma (* (* a x) (* a x)) 1/2 (fma (* (* a x) (* (* a x) (* a x))) 1/6 (* a x)))), (exp (fma (* (* a x) (* a x)) 1/2 (fma (* (* a x) (* (* a x) (* a x))) 1/6 (* a x)))), (* (cbrt (fma (* (* a x) (* a x)) 1/2 (fma (* (* a x) (* (* a x) (* a x))) 1/6 (* a x)))) (cbrt (fma (* (* a x) (* a x)) 1/2 (fma (* (* a x) (* (* a x) (* a x))) 1/6 (* a x))))), (cbrt (fma (* (* a x) (* a x)) 1/2 (fma (* (* a x) (* (* a x) (* a x))) 1/6 (* a x)))), (* (fma (* (* a x) (* a x)) 1/2 (fma (* (* a x) (* (* a x) (* a x))) 1/6 (* a x))) (* (fma (* (* a x) (* a x)) 1/2 (fma (* (* a x) (* (* a x) (* a x))) 1/6 (* a x))) (fma (* (* a x) (* a x)) 1/2 (fma (* (* a x) (* (* a x) (* a x))) 1/6 (* a x))))), (sqrt (fma (* (* a x) (* a x)) 1/2 (fma (* (* a x) (* (* a x) (* a x))) 1/6 (* a x)))), (sqrt (fma (* (* a x) (* a x)) 1/2 (fma (* (* a x) (* (* a x) (* a x))) 1/6 (* a x)))), (real->posit16 (fma (* (* a x) (* a x)) 1/2 (fma (* (* a x) (* (* a x) (* a x))) 1/6 (* a x)))), (expm1 (* (* a x) (* a x))), (log1p (* (* a x) (* a x))), 2, 2, 2, 2, (* (* a x) (* a x)), (* (* a x) (* a x)), (* (* a x) (* a x)), (* (* a x) (* a x)), 2, 2, (+ (log (* a x)) (log (* a x))), (+ (log (* a x)) (log (* a x))), (+ (log (* a x)) (log (* a x))), (+ (log (* a x)) (log (* a x))), (+ (log (* a x)) (log (* a x))), (exp (* (* a x) (* a x))), (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x)))), (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x)))), (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x)))), (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x)))), (* (cbrt (* (* a x) (* a x))) (cbrt (* (* a x) (* a x)))), (cbrt (* (* a x) (* a x))), (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x)))), (fabs (* a x)), (fabs (* a x)), (* a a), (* x x), 2, 2, 2, 2, (* a (* a x)), (* (* x x) a), (real->posit16 (* (* a x) (* a x))), (expm1 (* (* a x) (* a x))), (log1p (* (* a x) (* a x))), 2, 2, 2, 2, (* (* a x) (* a x)), (* (* a x) (* a x)), (* (* a x) (* a x)), (* (* a x) (* a x)), 2, 2, (+ (log (* a x)) (log (* a x))), (+ (log (* a x)) (log (* a x))), (+ (log (* a x)) (log (* a x))), (+ (log (* a x)) (log (* a x))), (+ (log (* a x)) (log (* a x))), (exp (* (* a x) (* a x))), (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x)))), (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x)))), (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x)))), (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x)))), (* (cbrt (* (* a x) (* a x))) (cbrt (* (* a x) (* a x)))), (cbrt (* (* a x) (* a x))), (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x)))), (fabs (* a x)), (fabs (* a x)), (* a a), (* x x), 2, 2, 2, 2, (* a (* a x)), (* (* x x) a), (real->posit16 (* (* a x) (* a x))), (expm1 (* (* a x) (* (* a x) (* a x)))), (log1p (* (* a x) (* (* a x) (* a x)))), 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, (* (* a x) (* (* a x) (* a x))), (* (* a x) (* (* a x) (* a x))), (* (* a x) (* (* a x) (* a x))), (* (* a x) (* (* a x) (* a x))), (* (* a x) (* (* a x) (* a x))), (* (* a x) (* (* a x) (* a x))), (* (* a x) (* (* a x) (* a x))), (* (* a x) (* (* a x) (* a x))), (* (* a x) (* (* a x) (* a x))), (* (* a x) (* (* a x) (* a x))), (* (log (* a x)) 3), (* (log (* a x)) 3), (* (log (* a x)) 3), (* (log (* a x)) 3), (* (log (* a x)) 3), (* (log (* a x)) 3), (* (log (* a x)) 3), (* (log (* a x)) 3), (* (log (* a x)) 3), (* (log (* a x)) 3), (* (log (* a x)) 3), (exp (* (* a x) (* (* a x) (* a x)))), (* (* (* a x) (* (* a x) (* a x))) (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x))))), (* (* (* a x) (* (* a x) (* a x))) (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x))))), (* (* (* a x) (* (* a x) (* a x))) (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x))))), (* (* (* a x) (* (* a x) (* a x))) (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x))))), (* (* (* a x) (* (* a x) (* a x))) (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x))))), (* (* (* a x) (* (* a x) (* a x))) (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x))))), (* (* (* a x) (* (* a x) (* a x))) (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x))))), (* (* (* a x) (* (* a x) (* a x))) (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x))))), (* (* (* a x) (* (* a x) (* a x))) (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x))))), (* (* (* a x) (* (* a x) (* a x))) (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x))))), (* (* a x) (* a x)), (* a x), (* (* (* a x) (* (* a x) (* a x))) (* (* (* a x) (* (* a x) (* a x))) (* (* a x) (* (* a x) (* a x))))), (sqrt (* (* a x) (* (* a x) (* a x)))), (sqrt (* (* a x) (* (* a x) (* a x)))), (* (* a x) (* a x)), (* x (* (* a x) (* a x))), (real->posit16 (* (* a x) (* (* a x) (* a x)))), (fma 1/2 (* (* a x) (* a x)) (* a x)), (fma (* (* a x) (* a x)) 1/2 (fma (* (* a x) (* (* a x) (* a x))) 1/6 (* a x))), (fma (* (* a x) (* a x)) 1/2 (fma (* (* a x) (* (* a x) (* a x))) 1/6 (* a x))), (* (* a x) (* a x)), (* (* a x) (* a x)), (* (* a x) (* a x)), (* (* a x) (* a x)), (* (* a x) (* a x)), (* (* a x) (* a x)), (* (* a x) (* (* a x) (* a x))), (* (* a x) (* (* a x) (* a x))), (* (* a x) (* (* a x) (* a x)))
9.147 * * * [progress]: adding candidates to table
10.616 * [progress]: [Phase 3 of 3] Extracting.
10.616 * * [regime]: Finding splitpoints for: (#<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))> #<alt (λ (a x) (expm1 (* a x)))>)
10.616 * * * [regime-changes]: Trying 3 branch expressions: (x a (* a x))
10.616 * * * * [regimes]: Trying to branch on x from (#<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))> #<alt (λ (a x) (expm1 (* a x)))>)
10.638 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))> #<alt (λ (a x) (expm1 (* a x)))>)
10.660 * * * * [regimes]: Trying to branch on (* a x) from (#<alt (λ (a x) (fma (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* a x) (* (* a x) (* a x))) (* a x))))> #<alt (λ (a x) (expm1 (* a x)))>)
10.683 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
10.683 * [simplify]: Simplifying (expm1 (* a x))
10.683 * * [simplify]: iteration 1: (4 enodes)
10.683 * * [simplify]: iteration 2: (5 enodes)
10.683 * * [simplify]: Extracting #0: cost 1 inf + 0
10.683 * * [simplify]: Extracting #1: cost 2 inf + 0
10.683 * * [simplify]: Extracting #2: cost 4 inf + 0
10.683 * * [simplify]: Extracting #3: cost 2 inf + 2
10.683 * * [simplify]: Extracting #4: cost 0 inf + 156
10.684 * [simplify]: Simplified to (expm1 (* a x))
13.695 * [regime-testing]: Baseline error score: 0.015316054001957303
13.697 * [regime-testing]: Oracle error score: 0.014690975867190455
13.703 * [regime-testing]: End program error score: 0.015316054001957303
13.781 * [regime-testing]: Target error score: 0.18998775719379807